et v = -7 - -4. Let z = c - v. Is -1/3 >= z?
False
Let a = 10441/780 - 161/12. Let r be (-7)/(3/3 + 0). Let f(w) = -w**3 - 7*w**2 - w - 8. Let h be f(r). Which is greater: h or a?
a
Let c = -11/84 + -2333/1428. Which is bigger: c or 0.1?
0.1
Let a(o) = o - 2. Let c be a(7). Let t be 3*(20/(-3))/c. Let k be 6/16*t/(-6). Which is smaller: 0 or k?
0
Suppose w - 3*o - 12 = 0, 3*o - o + 8 = 0. Let h be -1*(w + 3/(-3)). Let y be ((-3)/(-4))/((-3)/(-2)). Which is smaller: y or h?
y
Let c be 3/(-4) - 50/40. Let j be 65/42 + c/(-12). Which is bigger: 2/5 or j?
j
Let p(i) = -i**2 - 5*i - 5. Let o be p(-2). Which is greater: o or 1/731?
o
Let c = -207 - -176. Let j = 0.9 + -0.8. Do c and j have the same value?
False
Let x = 30 + -24. Let g be (-2)/(-1) + (-11)/x. Which is smaller: g or 0?
0
Let p(k) be the second derivative of -k**3/3 - 5*k**2 - 4*k. Let g be p(8). Let q be (-2)/(-2) + g/22. Which is greater: 1 or q?
1
Let n(b) = -b**3 - 3*b**2 + 3. Let c be n(-3). Let y be (2/1 + 1)/c. Which is greater: 3/14 or y?
y
Suppose 0 = -9*g - 12*g - 504. Which is smaller: -25 or g?
-25
Let j = -90/7 + 1529/119. Let f = 0 + 0. Which is smaller: f or j?
j
Let l = 9.181 - -0.019. Let p = l - 9.3. Is -75 greater than or equal to p?
False
Let m be 1 - ((-7)/((-147)/34) - 0). Let h = 128/105 + m. Let d(r) = -r + 8. Let o be d(6). Which is bigger: o or h?
o
Let r(q) = q**3 + 8*q**2 + 3*q + 11. Let n be r(-8). Let m = n - -13. Which is bigger: m or -2/31?
m
Let l = 23.04 - 2.24. Let k = l - -7.2. Is 1 != k?
True
Suppose -63 = -f - 6. Let d = 55 - f. Is d greater than -1?
False
Let o be 2/5 - (-264)/(-585). Let a(x) = x**2 - 4*x - 11. Let h be a(6). Is o greater than or equal to h?
False
Let f = -10 + 24. Let t = f + -23. Let m = 8 + t. Are 0.1 and m equal?
False
Suppose 3*t + 16*k = 17*k + 1350, -t - 5*k + 450 = 0. Which is greater: t or 453?
453
Let l(t) = 270*t + 2. Let s be l(1). Let i be (-2020)/s + 2 + 2. Let m = 3/17 + i. Is m > -2?
False
Suppose -4*k + 4 = 0, -3*j + k = 3*k - 11. Let s be (-14)/(-5) - 6/(-30). Suppose s*y + t - 11 = -3*t, 5*t = -2*y + 12. Are j and y equal?
False
Suppose 0 = -5*p + 2*k + 16, p + 2*k - 4*k - 8 = 0. Suppose -13 = -3*t + p. Let l = 13 - t. Which is smaller: -1 or l?
-1
Let x = 925 - 67524/73. Suppose 25 = 16*l + 25. Which is smaller: l or x?
l
Let z = -0.31 + -3.69. Let k = z + 6.5. Let j = -2.3 + k. Which is smaller: j or -0.5?
-0.5
Let n = 27/4 + -7. Let u be 4*2/4 - 3. Do u and n have different values?
True
Let h be (-480)/230 - (-2 + 0). Let t = 29/69 + h. Which is smaller: t or -14?
-14
Suppose 492 = 2*u + g, 2*u - 4*g - 645 + 163 = 0. Is u < 244?
False
Let a = 195 + -203. Is 2 != a?
True
Suppose 13*r = 7*r + 18. Let n(f) = -f**3 - 7*f**2 + 8*f + 3. Let x be n(-8). Suppose -o = -4 + x. Which is smaller: o or r?
o
Let k = -12 - -13. Suppose 4*j + 2*h = -14, -h - k = -2*h. Let m be (j/(-8))/(1/(-3)). Which is greater: 0 or m?
0
Let i = 1 - -15. Let c = -45 + 27. Let p = i + c. Which is smaller: 1/5 or p?
p
Suppose 0 = -y - y + 14. Let c(q) = q**3 - 8*q**2 + 7*q. Let t be c(y). Let v be 0 - t - 54/(-60). Which is bigger: v or 1?
1
Let p = -306092/171 + 1790. Let n = -354 - -353. Is n greater than p?
False
Let n = -9.3 - -1.3. Let i = -252 + 259.9. Let r = n + i. Which is greater: 2/23 or r?
2/23
Let b be (-10)/15 + ((-6)/(-2))/(-9). Which is greater: b or 28?
28
Let h = 1411 - 1410. Is -2/217 at most h?
True
Let s = -575 - -3455/6. Let w be 6/5*(-5)/(-2). Let a be 3 - (w - (-2 - -4)). Do s and a have different values?
True
Let c = 309 + -310. Let w = 8070/13 - 624. Which is bigger: w or c?
c
Suppose 0 = -y + l - 3, 3*l - 23 = -3*y - 2*l. Let a be (1/3)/(126/81*-3). Which is greater: y or a?
y
Let u(b) = b + 1. Let h be u(-1). Suppose -3*v = -3*k + 12, v + 0*k - 5*k + 4 = h. Is -1 >= v?
True
Let u be -20 + 0 + -4 + 6. Let j be (-18 + 15)*(u/(-8) + -2). Let l be (12/40)/(3/4). Which is smaller: j or l?
j
Let d = 1.42 - 0.64. Let f = d - 0.862. Is f at most as big as 0?
True
Let t = -191.472 - -191.7. Do -0.06 and t have the same value?
False
Let z = -2/653 + 877/73136. Which is bigger: z or -2?
z
Let c = -217 - -85. Let z be ((-531)/c)/(2/152). Let b = -306 + z. Is b greater than or equal to -1?
True
Let x = 159 - 160.1. Which is bigger: -1.5 or x?
x
Let x(q) = -q + 9. Let i be x(7). Let u = -76 + 76.2. Is u < i?
True
Let f(o) = o**2 + 6*o - 1. Let j be f(-6). Let k be (-4)/12*j*3. Is k at most 3?
True
Let s(c) be the second derivative of -c**5/20 + c**4/3 + c**2/2 - 2*c. Let a be s(3). Let f be a/(-28) + (-14)/(-28). Is -1/2 < f?
True
Suppose -5*q + 3*m - 56 = 0, 3*m = q - 0*m + 4. Let p = 10 + q. Let b = 11 - p. Is 1/2 greater than b?
False
Suppose -2*q = -2*b - 34, -3*b = 6*q - 2*q - 96. Which is greater: 228/11 or q?
q
Let m = 41.3 - 52.6. Is -2 greater than m?
True
Let d(h) = 0*h - 3*h - h**3 + 0 + 1 - 2*h**2 + 6*h**2. Let r be 5 + (-1 - -2)*-2. Let l be d(r). Are -2/9 and l non-equal?
True
Let l be (-6944)/3468 + 20/10. Which is smaller: l or 1?
l
Let x = 1669.1 + -1669. Let i = -14 - -3. Are i and x equal?
False
Suppose 13*m - 116 - 79 = 0. Which is smaller: 17 or m?
m
Let k be (28 - 29)*14/2*-1. Suppose -f - k = -8. Do f and -19 have different values?
True
Suppose -4*q + d = -2*q + 20, 0 = -2*d + 8. Let y be (3 - -1) + 112/q. Which is bigger: -19/2 or y?
-19/2
Let k = -70 - -69.4. Let d(g) = -g**3 + 7*g**2 - 5*g - 6. Suppose 0 = -p - 4*z + 14, 5*z + 17 = 4*p + 3. Let b be d(p). Is k smaller than b?
True
Let l be 20 + -21 - 1*44. Which is greater: l or -43?
-43
Let j = -8077/282 + 167/6. Which is bigger: 0 or j?
0
Let l = 126 + -101. Suppose r - 3*v + l = 0, 3*r = -10*v + 5*v - 61. Is r >= -20?
False
Suppose 14*y + 3*o - 1208 = 12*y, 4*y - 2418 = -5*o. Which is smaller: y or 608?
y
Suppose 381 = -3*r - 5*n, 4*r + 5*n = -211 - 297. Which is smaller: -122 or r?
r
Let k = -18 - -24. Suppose 0*g = k*g - 42. Is g less than 5?
False
Let r be (4/(-1))/(8*(-10)/20). Which is bigger: 8/85 or r?
r
Let t = -1177/3649 - -10/41. Which is greater: t or -1?
t
Let a = 2452 + -2452.07. Are -33/2 and a non-equal?
True
Let i(z) = -2 - 2 + 3*z**2 - z**3 + 6*z - 8 + 3. Let p be i(4). Which is smaller: 3/7 or p?
p
Suppose 2*b - 27 = -b. Suppose 2*u - b - 3 = 0. Suppose 5*d + 25 = 3*f, 3*f - 11 = -0*f - 2*d. Is f < u?
True
Let z be (-2)/(-6) - 40/(-24). Let p be ((-18)/(-33))/(z/16). Let l = p - 42/11. Which is smaller: 1 or l?
l
Suppose -5*c = -2*c - 9. Let l be c + -4 + 5 + -2. Suppose 55 = -l*t - 3*t. Is t smaller than -11?
False
Let u = 8 - -10. Suppose -19 + u = k. Let d be (-2 + (1 - 0))/(-10). Is k less than d?
True
Let v = -180 + 148. Let s be (-2)/((-8)/60 - v/15). Let n = 0 - -1. Is s not equal to n?
True
Suppose 0 = 10*j + 14 - 94. Suppose 0 = -2*p - 0*p - y - 6, -y - j = 4*p. Which is smaller: 2 or p?
p
Let k(b) = 5*b**3 - 17*b**2 + 20*b - 39. Let n(z) = -4*z**3 + 18*z**2 - 21*z + 39. Let f(h) = 3*k(h) + 4*n(h). Let u be f(20). Which is bigger: -40 or u?
-40
Let z(o) = 7*o**3 - 2*o + 6*o**2 + 4*o - 6*o**2 - 2. Let v be z(1). Is -0.2 smaller than v?
True
Suppose 10*u = 4*u - 6. Suppose -3*q + 2*q - 240 = 0. Let m be (0 - -1)*(-10)/q. Which is smaller: m or u?
u
Suppose -6*v + 12 = -24. Let p = 5 - 0. Suppose -v + 56 = -p*u. Is -9 greater than or equal to u?
True
Let q = 1/189934 + 4225972/11301073. Let s = q + -2/7. Is s <= -1?
False
Suppose -v = 7*p - 6*p - 73, 3*v + 405 = 5*p. Let u = -58 + p. Which is smaller: 21 or u?
u
Let i be (-7)/(-21)*(-1 + 4). Let o = i - 19. Let a = o + 19. Which is smaller: -1/12 or a?
-1/12
Suppose -2 = -2*m + 3*m. Suppose -c + 8 = -3*c. Let b(d) = -d**3 - 3*d**2 + 6*d + 4. Let q be b(c). Is m less than or equal to q?
False
Let v be 21/(378/12)*(-747)/(-6). Is v equal to 94?
False
Suppose -849 = -11*k + 713. Is 141 greater than or equal to k?
False
Let p be (-15)/(-45) + 1/(-3). Is -1 greater than or equal to p?
False
Let v = 6147 + -6111. Let j be (1/(-1))/((-2)/74). Is v at least j?
False
Let o = -175 - -170.45. Let v = 0.55 + o. Which is smaller: 2 or v?
v
Let x be 2/(7 + (-157)/1). Does x = -1?
False
Let c = 1/2134 - 523899/4268. Let z = c + 122. Suppose 3*l + 2*l + 5 = 0. Is l >= z?
False
Let d be 35/5 - (-1519)/(-224). Which is smaller: 0 or d?
0
Let t be (-160)/28*(-2)/(-4). Let y be (-4)/(-22) 