4)/(-6) - 0). Which is smaller: k or 1/6?
1/6
Let g = 25 + -25.1. Is -7 greater than g?
False
Suppose -4*a + 4*l + 104 = 0, -5*l - 106 + 18 = -3*a. Let k = 106/5 - a. Let z be 0/(-2) - -1*1. Is k <= z?
True
Suppose k = -3*k. Let q = 200/3 - 70. Let x = 8/3 + q. Is k smaller than x?
False
Let b be (-6)/4 + 1/(-2). Let l be -2 + (-18)/(-5) + b. Suppose -4*x - 5 = i, -5*x - 2*i = -4*i - 10. Are x and l equal?
False
Let x be 3 - 1 - -1 - 5. Let n = -5 + x. Is -7 at least as big as n?
True
Let p(g) = g**3 - 10*g**2 - 1. Let o be p(10). Is 0 > o?
True
Let z be (-2)/2 - (-9)/1. Let x be (-6)/9 + z/(-6). Let n = 35 - 38. Is x greater than n?
True
Let i be (1/(-6))/((-4)/6). Which is smaller: i or 1?
i
Let g = 58 + -48. Which is bigger: -0.2 or g?
g
Let f = -1749 + 3477. Suppose 8*a = 5*a - f. Let d = -13246/23 - a. Is d <= 0?
False
Let a be (-4)/(-6)*108/30. Let r = -47/30 + a. Which is smaller: 0 or r?
0
Let x(l) = l + 6. Let b be x(-5). Suppose 3*t = -1 + 10. Suppose o = -s + 2*o + b, -3 = -t*o. Which is smaller: s or 3/2?
3/2
Suppose d - 10 = -5. Suppose 0 = d*i - 10*i. Which is greater: i or -5?
i
Suppose 6*r = 4*r. Which is smaller: -1/103 or r?
-1/103
Let k be (2/16)/(3/18). Let g(l) = -l**3 - 7*l**2 - 7*l - 4. Let h be -6*(-1 - (-4)/2). Let p be g(h). Is p at least k?
True
Suppose -11 - 1 = -4*v. Let f be v/2 - (-94)/(-68). Which is bigger: f or 2/7?
2/7
Let i = 6893 - 33812/5. Let n = -131 + i. Which is smaller: n or 12?
n
Let s = 5 + -4. Let y be (s/2)/((-2)/(-24)). Let j(b) = -b**2 + 6*b. Let t be j(y). Which is smaller: 1 or t?
t
Suppose 3 = -2*n + 5. Are n and 2/19 non-equal?
True
Let n = -8 - -15. Is 8 less than n?
False
Suppose -2*m = 2*m - 248. Let g be (m/(-4))/(3/6). Let q = -281/9 - g. Is 1 >= q?
True
Let l be (-1)/2*(-6)/(-1). Let c be (-3242)/(-30) - (-2)/l. Let v = 107 - c. Is v smaller than -0.3?
True
Let z = -588913/207 + 2845. Let r = 229/2277 - z. Do 0 and r have different values?
True
Suppose -17*j + 12 = -11*j. Is j at most as big as 2/3?
False
Let t(q) = -92*q**2 + q. Let s be t(1). Let v be 0 - 642/(-7) - 1. Let l = s + v. Which is greater: 1 or l?
1
Let p be ((-2)/5)/(4/6). Let q be ((-5)/3)/(-5)*0. Which is greater: q or p?
q
Suppose 0*f = 3*f - y + 8, -20 = f + 4*y. Let s = 118 - 122. Is f at most s?
True
Let i = -4.6 - -2.5. Let o = -2 - i. Is o at most as big as 9?
True
Let b be 6/(-4)*12/18. Which is smaller: b or 10?
b
Let w = 11 - 17. Let i = 0 + w. Is i smaller than -1?
True
Suppose -16*v - 3 = -19*v. Is 8/7 greater than v?
True
Let o(q) = -q**3 - 5*q**2 + 3. Let f be o(-5). Suppose h - f*h = 8. Which is greater: h or -5?
h
Let m = -47 + 47. Which is smaller: 5/6 or m?
m
Suppose 14 = -2*x + 2*k, -3*x = x + 4*k + 28. Which is smaller: -6 or x?
x
Let a = 2 - 1. Let k be 0 - 0 - (2 + -5). Is a at most as big as k?
True
Let d be -2*(0 + -2)/4. Let y(b) = -b**3 - 10*b**2 + 2. Let u be y(-10). Let o be (0/(u/(-1)))/d. Is -0.1 > o?
False
Let l = 74 - 188/3. Which is smaller: 12 or l?
l
Let n(y) = -5*y**2 + y**2 + 2 - y**3 + 0 + 7*y - 2*y. Let j be n(-5). Which is bigger: 3 or j?
3
Let r = -31 + 34. Which is smaller: 3/7 or r?
3/7
Let y(i) = i - 8. Let w be y(5). Is -2 less than w?
False
Let k = -138 - -136. Does 1 = k?
False
Let i be -2 - 0 - (-1 + -1). Let q be ((-12)/15)/2 + 1/10. Is i greater than or equal to q?
True
Let q = 3/23 - 84/115. Which is bigger: 2 or q?
2
Suppose 0 = n - 4 + 3. Suppose -6 + n = -5*q. Suppose -p + 9 = 4*h - 0, -5*h + 7 = -3*p. Is p smaller than q?
False
Let d be (-1)/2*0 - -14. Let q(h) = 10*h**2 - 4*h. Let w be q(-1). Are d and w non-equal?
False
Let u = -3362/21 + 160. Is u smaller than 1?
True
Let l = -7.86 + 8. Which is bigger: 0.02 or l?
l
Suppose -v + 8 = -4*a - 4*v, -4*v - 4 = 2*a. Let j be a/(-8) + 84/(-208). Suppose -3*u + 3 + 0 = 3*s, 3*u = -s + 5. Is s not equal to j?
True
Let c = 74 - -69. Is c greater than 143?
False
Let v = 3.94 + 0.06. Let j = v - 4.1. Does j = 0.3?
False
Let m(y) = y**2 + 6*y + 5. Let b be m(-5). Suppose b = -4*s - 3*c + 2*c + 51, -2*s + 15 = -3*c. Let l be (-2)/(-2) - s/8. Which is bigger: 0.3 or l?
0.3
Let k = 0.22 - -0.08. Let s = -0.3 + k. Let w = 5 - 6. Is s greater than or equal to w?
True
Let k be (-14)/30*(-20)/(-70). Which is bigger: 1 or k?
1
Let q = 0.06 + -0.96. Let n = -0.7 - q. Is n at least -1/3?
True
Let z = 4.1 + -4. Let u = 0.43 + -0.4. Let h = 3.03 - u. Which is smaller: z or h?
z
Suppose -5 = -q + 2. Let c be ((-2)/q - 0)*-7. Which is greater: 2/3 or c?
c
Suppose c + 4*c = -5. Is c >= 3/10?
False
Suppose 3*i + 2 - 1 = -j, -4*j - 19 = -3*i. Is -3/32 at least as big as i?
False
Let r = 738 - 27304/37. Which is bigger: r or -1?
r
Let v(q) = q**3 + 5*q**2 - 2*q - 9. Let a be v(-6). Let r be (526/(-20))/(12/(-15)). Let g = r + a. Are g and 0 equal?
False
Let o = 1953 - 5947/3. Let d = 95 + -67. Let x = d + o. Which is greater: x or -1?
-1
Let i = 0.7 - 0.8. Which is greater: -2 or i?
i
Let p = 2 - 1. Let r be (p/2)/((-9)/(-581)). Let o = r + -65/2. Which is bigger: o or 1?
1
Suppose 0 = -3*f - 3*x + 12, 0*x - 4*x + 20 = 0. Is f at least as big as 2/161?
False
Let a = 0.15 + -0.05. Is -1 bigger than a?
False
Let k = -6 - -6.1. Let m be 5/7 - 7/7. Which is greater: m or k?
k
Let q = -5 + -8. Let h = 40/3 + q. Do h and 0 have the same value?
False
Let y = 3 - 15. Which is bigger: y or -1?
-1
Let i(a) = -a**2 + 11*a - 8. Let q be i(10). Suppose 14 = -4*y - 2*h - q, -4*y + 5*h + 12 = 0. Are y and 0 equal?
False
Let i be (-4)/12*12/(-86). Let s = 155/559 - i. Which is smaller: 1 or s?
s
Let t = -15 - -10. Suppose 5*o - 4*f - 11 = 0, 4*f + 11 = -5. Let s be 1 + (o - (-12)/(-3)). Is s less than or equal to t?
False
Let o = -12 - -6. Let i be (-66)/144 - (-1)/8. Is o smaller than i?
True
Let p(s) = s**3 + 3*s**2 - 6*s - 2. Let d be p(-4). Suppose d = y + 2*y. Suppose 2 = y*h - 2. Are h and 2 unequal?
False
Let a = 8 - 3. Suppose -v + 3 = a. Let r = 0 - 0.2. Which is smaller: v or r?
v
Suppose 45 = 6*p - 3*p. Let t be (-2)/p*(-15)/(-10). Let o = -1.1 + 0.1. Which is greater: o or t?
t
Let k be (-2)/(-2) - 4/(-2). Suppose -3*h - 32 + 6 = 4*p, -11 = k*h + p. Let v be (1 - 2)/(-1 + 2). Which is bigger: v or h?
v
Let f be (8 - 1) + 3/(-1). Suppose k + 5 = -f*k. Is k at most 1/5?
True
Let q be 12/33 - (1 - 1). Suppose 4*v + 10 = 14. Is q less than or equal to v?
True
Let s = 0.14 - -2.26. Let n = 2 - s. Let v = n - -2.4. Is v greater than or equal to -0.3?
True
Let z = 8 + -4. Is 4 at least as big as z?
True
Let j = 17 + -12. Let f(r) = -2*r**3 + r**2 + r + 1. Let z be f(-1). Which is greater: z or j?
j
Let f be (-4)/((-8)/10) - 4. Do 1/3 and f have the same value?
False
Let j = -1266/5 - -252. Are -1 and j nonequal?
True
Let b = 1108/9 - 123. Let r(f) = -f + 1. Let m be r(1). Let x be (1 - 0)*(1 + m). Is x bigger than b?
True
Let j = 3 - 2.8. Let v = 5 - 4.8. Do v and j have different values?
False
Suppose -4*m + 1 = -3*c - 15, 5*m + 3*c + 7 = 0. Is -0.2 less than or equal to m?
True
Suppose -15 = -5*j, 6*j - 4*j = 2*y. Which is greater: y or 4?
4
Let p be 2 - (-1 - (-2 - -21)). Let b be (-8)/28 + p/28. Let h(t) = t**2 - 3*t - 4. Let z be h(4). Are z and b nonequal?
True
Suppose 0 = 4*g - 3*g - 2. Let i be (-8)/32 - 50/(-8). Let w be (-4*9/i)/(-2). Which is smaller: g or w?
g
Let r = -73 + 52. Let i be 27/r + (-4)/(-14). Which is smaller: -2 or i?
-2
Suppose -33 - 37 = 2*a. Is -34 greater than or equal to a?
True
Suppose -2*r - 2*g = -2, -5*g = 4*r - 0*g - 6. Suppose -9 = -4*i - h + 2, -3*h = -3*i + 12. Let y be (-3)/(-5) + i/(-15). Is y <= r?
False
Let a = -0.07 + -13.93. Let b = a + 13.9. Let k(i) = i**3 + 6*i**2 - 6*i + 7. Let n be k(-7). Is b at most as big as n?
True
Let q be ((-18)/(-27))/((-4)/6). Is q bigger than 14?
False
Suppose -3*i + 18 = -3*a, -4*i - 4*a + 32 = -0*a. Suppose 2*c = -5*r - 2*c + 18, -c = -2. Let k be r/i*(4 - 3). Is k >= -1?
True
Let y = 0 + 0.2. Suppose -2*m + 5 = 2*s - 1, s + 5 = m. Suppose -m*p - 2*f + 2 = 0, p + f + 4 = 5*f. Which is bigger: y or p?
y
Suppose -4 = -2*h - 18. Is h greater than or equal to -7?
True
Suppose -2*y + 9 = 3*o, 2*y - 2*o - 4 = -0*y. Let j be ((-240)/6)/(1 - 0). Let m be 6/(-10) + (-144)/j. Is y less than or equal to m?
True
Let o(l) = -2*l**2 + l + 2. Let a be o(-1). Let k be a/(3/30*2). Which is