7?
t
Let r = -6 - -5.92. Let t = 234 + -233. Is r != t?
True
Suppose -137 = 9*f + 25. Let q = f - -18. Is q less than or equal to -1/59?
False
Suppose 0 = 3*f + q + 239, 5*f + 219 + 180 = -q. Which is smaller: f or -79?
f
Let c = -1972793/554 + 3561. Which is greater: c or 1?
1
Let i = -293.1 + 293. Which is smaller: i or 29?
i
Let t = -0.044 - -21.044. Let v = 20 - t. Which is greater: v or -4?
v
Let o(p) = -10 + 8 - 2 + 7*p + 2 + p**2. Let j be o(-6). Let c = 1 + -1. Is c != j?
True
Let f = 6/5 + -92/85. Let c = 15 - 25. Let b = -10 - c. Which is smaller: f or b?
b
Let z = -235 + 201. Is -172/5 smaller than z?
True
Suppose 0 = -2*w + w. Suppose w = -3*n + 4*h - 4, -3*h + 0 = 5*n - 3. Let c be (-9)/(-21)*8/(-3). Are c and n nonequal?
True
Suppose 4*c + 66 = 326. Suppose 4*g + c = -15. Let k = -26 - g. Are -6 and k equal?
True
Let r = -2.98 + -0.02. Let n = r + 2.4. Let z = n - 3.4. Is z at most as big as -2/7?
True
Suppose 2*u - 10 = -3*u. Let r be ((-1)/(-8))/(4/(-12)). Is r at most u?
True
Suppose -2*m = -9*m + 21. Suppose m*p - 4*p = 76. Which is bigger: p or -77?
p
Suppose -94 = -3*c + 2*g, 6*c + g = c + 161. Which is bigger: c or 21?
c
Let s(r) = 10*r - 64. Let p be s(19). Which is greater: p or 135?
135
Let y(b) = -24*b + 240. Let m be y(10). Which is smaller: 1/1948 or m?
m
Suppose -2*y + 4*d - 9 = -3*y, 5*d - 69 = -4*y. Let b be 6/y + 2680/175. Let s = b - 2433/155. Is s <= -1?
False
Let l(z) = -z - 6. Let o be l(-8). Suppose -o*a = -336 + 48. Let b be 2/(-8) + 52/a. Which is smaller: 1 or b?
b
Let x = 0.53 + -1.53. Let n = 62.014 + -62. Which is greater: n or x?
n
Let p = -218 + 65. Let m = p + 110. Is -44 greater than m?
False
Suppose 3*i + 5 + 1 = 0. Suppose -o - 3*h + 4 = 0, 2*o + 9*h = 14*h - 3. Let m be -1*o/(-18)*i. Is -1 smaller than m?
True
Let w = 86/13 - 576/91. Is -126 greater than w?
False
Let b = 38.2 - 11.2. Let i = b + -27. Which is smaller: -47 or i?
-47
Let b be (-70)/165*3/(-4). Let k = -107/198 + b. Which is smaller: 0 or k?
k
Suppose 0 = 3*y - 6*y + 21. Suppose y*i - 149 = 5. Is i at most 23?
True
Suppose 0*f - 44 = -2*f. Let z = f + -2. Suppose x - z = -4*x. Is -2 at least as big as x?
False
Suppose 0 = 145*d - 151*d + 6. Which is bigger: d or -2/323?
d
Let k be (1/(-7)*4)/2. Suppose -2*l + 12 + 6 = 0. Let y be (-5)/21*1 - (-3)/l. Is y > k?
True
Let z = 1708 + -1876. Which is smaller: -169 or z?
-169
Let b be (((-15)/2)/5 + 1)*2. Is b bigger than -2/219?
False
Let n be 12 + 0 + (2 - 0). Suppose 2*u + 11 = -3*q - 5, -3*q = -4*u - n. Which is smaller: q or -6/5?
q
Let b(q) = 37*q - 370. Let v be b(10). Is v != -15/86?
True
Let g be 3 - (-1 + 1) - -6. Let t = -26 + g. Suppose -90 = -2*h + 7*h. Which is bigger: h or t?
t
Let f(b) = 2*b**2 + b + 47. Let h be f(0). Which is smaller: 46 or h?
46
Let u be ((-14)/70)/(2/(-1 - 19)). Let k be (1/6)/((-1)/u*1). Is -1/6 less than or equal to k?
False
Suppose -5*c + z + 760 = 0, -c + 3*z - 10 + 176 = 0. Suppose -4*h - 3*o + c = -3*h, 5*h + 5*o = 745. Let r = h - 1923/13. Is 1 bigger than r?
True
Let i be (-4)/40 - 405/(-5050). Which is smaller: i or -0.2?
-0.2
Suppose 8*i - 1 = 7*i, 0 = -4*a + 3*i - 19. Let h = 41 + -27. Let j be a/h + (-2)/(-7). Which is bigger: j or -2?
j
Let y = -1213/11 + 110. Is 1.7 > y?
True
Let n be -1 - (-2 + -2 + 2). Let l be ((0 + 0)/(-3))/2. Suppose m + n - 6 = l. Which is greater: m or 4?
m
Suppose 0 = -9*z - 588 + 1596. Which is smaller: 113 or z?
z
Let a = -654 + 654. Is -12/13 less than or equal to a?
True
Suppose 6*s - 3*s = 147. Let z = s - 34. Is z != 15?
False
Let i = -1943 - -1946. Is i bigger than 0.082?
True
Let j = -6 + -5. Suppose 3*o = 6 - 3, -m = 3*o - 21. Let u be ((-6)/m)/((-2)/(-66)). Is j at most as big as u?
True
Let u(n) be the first derivative of n**4/4 - 10*n**3/3 - 5*n**2 - 12*n + 10. Let b be u(11). Let o = 20 - 20.09. Does o = b?
False
Let f = 0 + 1. Let j(i) = 16*i**3 + i**2 - i. Let t be j(f). Is t greater than 15?
True
Let m = 26/239 - 816/3107. Let n be (-1 + -2 + 2)*-1. Is m equal to n?
False
Let y = -16 - 6. Let j be (2/9 - 1606/99) + -6. Are j and y unequal?
False
Let o(r) = -10*r + 268. Let h be o(27). Which is greater: h or -48/29?
-48/29
Let u(x) = 2*x - 8. Let o be u(6). Let v be 5/(-95) - 38852/(-7524). Is o less than or equal to v?
True
Suppose 18 - 3 = 5*v. Suppose -2*r + 5 = v. Which is smaller: r or -4/3?
-4/3
Let o(x) = -x**2 - 8*x - 3. Let r be o(-7). Suppose -r*g - 16 = w + 8, 4*g + 4*w + 12 = 0. Is -7 less than or equal to g?
True
Let g(w) = w + 314. Let l be g(0). Let p = -2192/7 + l. Let n = 43 - 43. Which is bigger: p or n?
p
Let p(i) = -i**3 - 29*i**2 - 29*i - 26. Let g be p(-28). Which is greater: g or -36?
g
Let q be 3146/11690 + (-2)/5. Let p = 2/167 - q. Which is smaller: 10 or p?
p
Let s be (-2)/(-5) - 56/(-10). Let c = -372 - -375. Is s greater than or equal to c?
True
Suppose -3*l + 12 = -0*l - 2*r, 3*l - 5*r = 12. Let y be l/(-2) + 28 + -6. Suppose 5*t + y = 3*g, g - 2*g - 5*t = 0. Is 5 not equal to g?
False
Suppose 4*m + 63 = -5*h + 10*h, 0 = 4*h - 12. Is -1 greater than m?
True
Let a = 596 - 416. Suppose 0 = -10*n + 40 - a. Does n = -14?
True
Suppose -k = 2*l + 1, -3 = -4*l + 3*k - 20. Let r be l/(-5) + (-3 - 8/5). Which is smaller: r or -4?
r
Suppose 16*z - 13*z = 24. Let y(k) = k**3 - 8*k**2 - k + 11. Let b be y(z). Which is greater: 0.07 or b?
b
Suppose 4*y - 8 = -0*y. Let m be (-45)/(-4)*3/60. Which is greater: y or m?
y
Let h be (((-120)/12)/(-10))/(-1 + 0). Which is bigger: 7 or h?
7
Let p = 27.1 - 4.1. Let a = p + -22.7. Is a greater than 10?
False
Let t = -30.86 - -30.8. Which is smaller: t or 0.13?
t
Suppose 0*c + 60 = -4*c. Let j = 103 + -130. Let h = j - c. Is h bigger than -12?
False
Let m(h) = h - 2. Let o be m(1). Let n = -7 - -6. Let b be 1 + n + 6/(-3). Is o >= b?
True
Let k be (-18)/4*(-8)/(-33). Suppose -8 = 5*x + 2. Which is greater: k or x?
k
Let n = 155 + -155. Is n less than -2/97?
False
Let n(v) = -v**3 - v**2 + 2*v + 3. Let r be n(-2). Suppose -93 = 2*k - 309. Let f be r + 0 + k/(-28). Which is greater: 0 or f?
0
Let j(r) = 2*r - 19. Let c(l) = 2*l + 41. Let i be c(-17). Let v be j(i). Let h be ((-2)/5)/((-2)/(-30)). Is h less than or equal to v?
True
Let u = 10 - 11. Let l be u/(-2)*(-2)/67. Which is greater: l or 1?
1
Let t(j) = j**3 - 9*j**2 + 13*j - 58. Let s be t(10). Do s and 174 have the same value?
False
Let j be (-1*1)/((-5)/(-2)). Let h = 13 - 11.4. Let r = h + -1.3. Is r less than j?
False
Let i = -279 + 94. Is -186 less than i?
True
Let a = -69 + 689/10. Let k be ((-2)/(-6))/((-1)/(-15) - 0). Suppose 0*h + 5 = -k*h - w, h = -4*w - 1. Is h at least a?
False
Let v be 3/(-6)*(8 + -2). Let g(s) = -s**2 - 3*s - 1. Let r be g(v). Are r and -1/2 equal?
False
Let x = -240 + 233. Is -7 <= x?
True
Suppose -3*a + 2 = -5*a. Let d be ((-138)/(-1012))/(6/11). Which is smaller: a or d?
a
Let a be (1/2)/(1/(-2)). Let x be a/2 - (-1604)/40. Let j = 39 - x. Which is bigger: 0 or j?
0
Let g(j) = 3*j + 37. Let i be g(-11). Let c be (3 - 1)*(i - 2). Which is smaller: -0.4 or c?
-0.4
Let w = 882 + -880. Let s = 0.1 - 1.1. Which is smaller: s or w?
s
Let g = -18 - -18.2. Let j = 29 + -31. Which is smaller: g or j?
j
Let m be ((-1)/(-16)*-11)/(160/(-640)). Which is greater: m or -0.3?
m
Let q = 2591 - 2563. Is q bigger than -10?
True
Let v(w) = 6*w**2 + 37*w + 21. Let q be v(-10). Is q greater than 251?
False
Suppose 8*y - 203 = -163. Let w = -13 - -19. Which is smaller: w or y?
y
Let c = -65 + 8. Let n be (c/(-152))/((-6)/(-4)). Is 1 < n?
False
Let z be (-105)/(-140)*(-2)/6. Let b = 1.6 + -1.43. Which is greater: z or b?
b
Let w = -10/211 + -735/6752. Which is smaller: 1 or w?
w
Let p(r) = -3*r + 35. Let l be p(11). Suppose 4*x - 7 = 5*s, -s - l = -x - 0*s. Which is smaller: x or -0.08?
-0.08
Let d(v) = -v**3 - 11*v**2 - 12*v - 12. Let r be d(-10). Let t be (6/7)/(r/(-56)). Let b be t/(-4) - (-42)/(-44). Is 0 less than b?
True
Let s = -245 - -138. Which is bigger: -108 or s?
s
Let o = -18 + 12. Let g be 10/o*(-3)/2. Let i(h) = h**3 - 2*h**2 + 2*h. Let v be i(2). Is v < g?
False
Let b(y) = 2*y - 6. Let a be b(3). Suppose -4*s = -3 - 9. Suppose s*w - 17 - 8 = 4*f, 4*f = 4*w - 28. Is a equal to w?
False
Let v be (-11)/(-1) + -12 + 9. Suppose -36 = 2*l - 4*l. Let o be (l/(-15)