 c*u, -x = -3*u - 3*x + 11. Is -2/11 >= u?
False
Suppose 0 = -3*z - 4*r + 4, r + 6 + 2 = -3*z. Let m be (5/46)/(z/14). Let y = m - -3/23. Is y not equal to 0.3?
True
Let w = 44/5 + -38/5. Let f(k) = k - 10. Let m = 115 - 105. Let h be f(m). Which is bigger: h or w?
w
Let h = 2998.22 + -3034. Let v = -0.02 + h. Let u = v + 36. Are 1/3 and u equal?
False
Let s = 57 - 58. Is s > -2?
True
Let p = 51 - 45. Let q be (3/8)/(p/4). Is q bigger than 3?
False
Let t = 252 - 4541/18. Let n = -2/9 + t. Let l = 0.4968 + 0.0032. Is n at most as big as l?
True
Suppose 13 - 5 = 4*l. Suppose l*v = j - 4, -4*j + 0*v = -5*v - 10. Is j at most -4/15?
False
Let y = -16 - -46. Suppose 4*b - 20 = -0*b, 3*b = 3*j - y. Suppose v - 5*w + 0 = 15, -2*v + j = -5*w. Is 2/13 < v?
False
Let n be (-7)/((-147)/(-4218)) - (-3)/(-21). Is n bigger than -201?
False
Suppose 5*i + 20 = 7*i. Suppose 2*m + 1 = -3*j - 2, -2*m - 5 = 5*j. Suppose m = 2*w - 0*w - i. Which is bigger: 6 or w?
6
Let y = -2136 + 2061. Is y less than or equal to -74?
True
Let f = -18 - -28. Let x = -61 - -69. Let h = x - f. Which is bigger: -0.2 or h?
-0.2
Let s = 0.1 - 3.1. Let x = s + 2.9. Let c = 3.37 - 3.37. Is c >= x?
True
Let b = -15.5 + 17.5. Is 0.3 greater than b?
False
Suppose 3*i = -0*l - 3*l + 54, 0 = 2*i + l - 33. Does 0 = i?
False
Suppose 15 = -13*t + 9*t + 3*s, 17 = -4*t + 5*s. Which is greater: -76/29 or t?
-76/29
Let f = -93.1 + 93. Is -131 at most as big as f?
True
Let o = 2 - 3. Let p = -40 - -41. Let n be p*2 - (-84)/(-51). Which is bigger: o or n?
n
Let t = -110 - -121. Suppose t*u = -4*u - 960. Does -64 = u?
True
Let f be 1 - (-2 + 24/8). Which is smaller: 2/1239 or f?
f
Suppose 11 = -7*n - 3. Let y(l) = 13*l + 6. Let j be y(n). Is j at least as big as -17?
False
Let j be (-4)/(-20) - (-114)/30. Suppose -59 = 5*u + 3*o + 37, -j*u + o - 70 = 0. Which is bigger: -17 or u?
-17
Suppose 3*h - 3*y + 5*y = -7, -5*y = -3*h + 28. Are 2/6645 and h unequal?
True
Let a = 35 - 35. Suppose a*d + 120 = -4*d. Let v be ((-68)/d)/(10/(-15)). Which is greater: v or -3?
-3
Let x = 14 - 23. Let w = 0.377 - 16.377. Let h = w - x. Is -0.1 at least as big as h?
True
Suppose 3*m = -k + 6 - 3, -5*k = 4*m - 4. Suppose -h - 2*x = -3*h + 4, 0 = x + m. Let q = -1/33 - -40/231. Is q not equal to h?
True
Let z = -564 + 471. Which is greater: z or 0?
0
Let k(q) = 8*q**2 + 7*q - 40. Let u be k(5). Which is greater: u or 196?
196
Let o(c) = 4*c**2 - 94*c + 49. Let s be o(23). Let f(t) = t**3 - 5*t**2 + t + 2. Let r be f(5). Which is greater: s or r?
r
Let t = -1.78 + 0.18. Let m = t - -1.6. Is m <= 8?
True
Suppose -4*f - 2 + 17 = 3*p, 2*f - p = -5. Is f equal to 6/271?
False
Suppose 0 = -4*n + 1 + 75. Suppose -5*h + 7 = 3*p - 20, -4*h + n = 5*p. Suppose -a = -2*o - 13, o - 21 = -h*a + a. Are 4 and a equal?
False
Let g = 111 + -103. Suppose -g*s + 3*s - 15 = 0. Which is smaller: -23 or s?
-23
Let b be -1*(0/11)/5. Which is smaller: -36/29 or b?
-36/29
Let u(n) = -n**3 - 7*n**2 + n + 9. Let r be u(-7). Suppose g + 2*w - 7 = 6*w, -2*w = -r*g + 8. Is 8/5 bigger than g?
False
Suppose 5*j = 3*j. Let h = -0.187 + 0.207. Is j equal to h?
False
Let m(w) = -4*w**3 + 3*w**2 - 10*w + 14. Let c be m(3). Is c != -97?
False
Let m(t) = t**2 - t + 1. Let r be m(-7). Suppose -18 = 3*c - r. Which is smaller: 15 or c?
c
Let q be (-5)/(-10) - 3/(30/5). Are q and -4/1545 equal?
False
Let o = 122 - -32. Which is greater: o or 151?
o
Suppose -13*o + 4*o = 270. Let f = -29 - o. Is f at least -2/7?
True
Suppose -4*l + 0*l = -8. Suppose -u - 67 = 4*q - 1, l = -u. Let j be (2/(-3))/(4/96). Is j < q?
False
Let d(j) = -2*j**3 + 13*j**2 - 4*j - 10. Let b be d(6). Suppose -b*q + 10*q - 408 = 0. Are 50 and q equal?
False
Let x be (-8*3/(-12))/(2/(-3)). Is x at least as big as -28?
True
Let o(l) = -l**2 + 23*l + 49. Suppose -2*a = -r + 6*r - 123, 0 = -r + 5*a + 30. Let i be o(r). Which is smaller: i or -5/16?
i
Let t = -4816 - -4767.42. Let c = 49 + t. Is -1/3 < c?
True
Let p be -1*(3 - -17) - (-5 - -1). Let r be (2 - 8/p)*22/30. Which is greater: r or 2?
2
Let y(b) = b**2 - 10*b + 6. Let o be y(10). Let g be o/(-15)*(-150)/(-8). Is g >= -9?
True
Let g be (-20624)/84 + 6/9. Let z = -244 - g. Let v = -1 - -2. Which is smaller: z or v?
z
Let r = -31 - -30. Suppose 4*w + 1 + 7 = 0. Is w smaller than r?
True
Let l = 5843.9 + -5843. Let m = 5.4 + -0.4. Let s = 7 - m. Is l less than s?
True
Let k be ((-1)/((-4)/10))/(1/4). Which is smaller: k or 2?
2
Suppose -3*x + 26 + 34 = 0. Suppose x = -4*m - 4. Is -17/3 smaller than m?
False
Let h(a) = -2*a**3 + 4*a**2 + a - 2. Let d be h(2). Suppose -4*q - 2 = 38. Let u be (-20)/(-52)*(-4)/q. Do d and u have different values?
True
Let q = 8.93 + -7.13. Suppose -3*a + 10 - 34 = 0. Let j be (a/24)/(10/12). Is j bigger than q?
False
Suppose -7*w + 288 = -w. Suppose -4*m + 2*y - w = 0, -2*m = 2*y + 13 + 5. Let t = -10 + 0. Which is smaller: t or m?
m
Let r(v) = -2*v**3 + 36*v**2 - 40*v + 34. Let s be r(17). Are -67 and s unequal?
True
Suppose 26*j + 1025 = 30613. Which is smaller: 1136 or j?
1136
Let m be 50/(-4)*12/15. Let p be (-16)/m + (-4)/(-10). Do 2 and p have the same value?
True
Let g = 606 + -521. Which is greater: 0.4 or g?
g
Let t = 31 + -28. Let f(b) = 5*b**2 - 1. Let s be f(1). Suppose -s = v - t. Is v equal to -3/13?
False
Suppose 0 = 3*n - 3*o - 237, -16 = 7*o - 3*o. Is 76 not equal to n?
True
Let z be (138/(-5))/((-50)/125). Is z equal to 68?
False
Let q = -25 - -10. Let s(f) = -f**3 + 16*f**2 - 2*f + 18. Let j be s(16). Which is bigger: q or j?
j
Let w be (5/(-1))/((-115)/23). Are 2/311 and w equal?
False
Suppose 4*u = -0*u. Let n be 1*26 - -20*1/(-4). Suppose 3*f = -u*f + n. Does f = 6?
False
Let f(g) = -g**3 + 10*g**2 - 13*g - 9. Let u be f(8). Suppose -11 = -y + 5*x, 0*x + 5*x + u = 5*y. Is 4/37 at most y?
True
Let x = -6053/2 + 453943/150. Does x = 1?
False
Let g(n) = -88*n**2 - 9*n - 1. Let s be g(3). Which is smaller: s or 1/2?
s
Let n = -29.5 - -32. Let g = n - 2.3. Which is greater: 4 or g?
4
Suppose 4*x - 3*x = -4*t + 352, 3*x + 2*t - 1086 = 0. Let q be (-94)/x*-2 + 10/(-35). Which is greater: q or 1?
1
Let v = 0.22 - 0.3. Let i = -0.12 + v. Let l = -1.6 - 2.4. Do i and l have different values?
True
Let m = 374/7 - 53. Let l(f) = f - 6. Let s be l(5). Let q be (s + 2/(-2))/2. Is q smaller than m?
True
Let p be ((-3340)/(-28) - -3)*7/28. Which is smaller: 30 or p?
30
Let l be (-4)/((-602)/(-105) - 18/3). Which is greater: l or 192/13?
l
Let w be 1554/24 + 4/16. Suppose 0 = 12*r + 17 - w. Is 7 smaller than r?
False
Suppose 5*b + 2 + 8 = 0, -2*p - 3*b + 52 = 0. Let f be (-60)/p + -2 + 4. Let z = -347 - -346.9. Is z bigger than f?
False
Let l = -7 + 6. Let q = l + 4. Suppose p - q = -5. Which is bigger: -1 or p?
-1
Let y = 0.864 + -0.99. Let c = 0.226 + y. Which is greater: -15 or c?
c
Let b = -9.16 + 9. Let i = -385.9 + 386. Is i smaller than b?
False
Let j = 0.023 + 2.677. Let k = j - 2.6. Which is smaller: 0.5 or k?
k
Let b be ((-1)/(-39))/(828/(-5589)). Which is smaller: b or 0?
b
Suppose 4 = -3*i + 1. Let u be (-13)/4 + (-3 - (-39)/12). Let x be 3 - u/((-90)/87). Which is greater: i or x?
x
Let u(x) = x**3 - 8*x**2 - 16*x + 80. Let m be u(7). Does m = -92?
False
Let n = 111 - 56. Let k(o) = -19*o + 16. Let d be k(-2). Is d at least as big as n?
False
Let m be (1/(-183))/((-4)/(-1148)). Let g = m - 6/61. Is -1 at most g?
False
Suppose 28*l = 34*l + 126. Suppose 1 = -i - 22. Is i greater than l?
False
Suppose r - 6*r - 10 = 2*x, 2*x + 10 = 5*r. Suppose u - 5*i + 21 = 0, -5*i + r*i = -4*u - 9. Suppose u*m + 3 = 7. Are m and 3/13 nonequal?
True
Suppose 2*g + 20*g = 462. Let z be (4/8)/(1/(-46)). Let p = g + z. Which is greater: -1 or p?
-1
Let s = 2596 - 2588. Which is greater: s or -42?
s
Suppose -2*n = 47 - 21. Let u(p) = p**3 + 12*p**2 - 15*p - 17. Let q be u(n). Let j be q + -16 + (1 - 0). Is j bigger than -6?
False
Suppose 135*h + 440 = 137*h. Which is smaller: 223 or h?
h
Let o = 0.1 + -0.1. Suppose 19 = 2*p - 9. Suppose 0 = 2*n + p - 4. Is o less than or equal to n?
False
Let h be (-2)/(-10) + (-132)/110. Let y(m) = -2*m**3 + 2*m**2 - 2*m - 3. Let u be y(h). Which is bigger: u or 32/9?
32/9
Let i(c) be the first derivative of c**4/4 - 10*c**3/3 - c**2 - 23*c - 19. Let o be i(10). Is o less than 