n + 32. Which is smaller: n or 10?
10
Let q be -2 + (10 + -2)/1. Let h be q + (64/2 - -3). Is h greater than 41?
False
Suppose 213*t - 158 - 520 = -126*t. Let u(w) = -16*w**2. Let j be u(2). Is j less than t?
True
Let q be -1 - (-1 - 0) - 30/228. Let o = -137/114 + q. Is -2 greater than o?
False
Let t = 168 + -291. Let y = t + 121. Is -7 at most y?
True
Let z = 317 - 140. Let b = z + -196. Which is greater: 3 or b?
3
Let t be (0/(-2))/((-24)/8). Let z be (6 - 0) + 0 + t. Let g = -251/510 - 2/255. Is z != g?
True
Let b be 23 + -20 + -1 + 17. Suppose 0 = 3*z + 7 - b, 2*z + 32 = 5*v. Let q be (-78)/v*2/(-9). Which is greater: 1 or q?
q
Let t be (22 + -2)*(-2)/(-4). Suppose 8 = 2*y + t. Is y at most as big as 1/317?
True
Let j(n) be the first derivative of 2 - 1/3*n**3 - 12*n + 13/2*n**2. Let p be j(12). Is p at least as big as 30?
False
Suppose 3*q + 5 = 4*u, -3*u = u - 4*q - 4. Suppose -v - 21 = -u*l - 6*v, 2*l = 2*v. Suppose 0 = r - l*j + 14, j = 6*r - r. Which is bigger: r or 7/8?
r
Let v(j) = -88*j + 139. Let h be v(2). Suppose -5*p = l - 2*p + 30, 3*l + p + 114 = 0. Which is smaller: l or h?
l
Let f(t) = 4*t + 468. Let u be f(0). Let x = u + -654. Which is bigger: -185 or x?
-185
Let j = -366/595 - -9/17. Let c = -59/170 + 5/34. Let z = j + c. Is z greater than 6?
False
Let c = -6090 + 6088. Which is smaller: c or -288?
-288
Let u = -72.1 + 84. Let i = -9.9 + u. Which is greater: i or 3/5?
i
Let x = -0.0487 - -0.2037. Let d = x - -0.295. Are d and 0.2 unequal?
True
Let r be 8790822/5536 + (3/16)/3. Is r > 1584?
True
Let c be 6 + (-3 + 10 - 1451/114). Which is smaller: c or -1?
-1
Let n = 5 + -3. Suppose -94*o + 136 = 230. Is o equal to n?
False
Let c = 7767 - 1281551/165. Let b = 1513/1155 - c. Is b smaller than 2?
True
Let g be (2192/728 + -3)*2. Is g at least as big as -9?
True
Let k(t) = 6*t**2 - 13*t - 8. Let r be k(-4). Suppose 0 = 11*j + 47 + r. Is j less than or equal to -16?
True
Let u be (-8762)/(-15) - (1 + (-104)/120). Let w = 499 - u. Is 1 not equal to w?
True
Suppose 2*l + 2*l + 34 = u, 3*l = -4*u + 60. Suppose 6 = -6*k + u. Suppose k = -6*g + 2. Which is smaller: g or 3/7?
g
Let d = 11.8 + -11.948. Let h = d + 0.186. Is h < 1?
True
Let o(v) = -v**3 + 32*v**2 + 8*v + 218. Let n be o(33). Which is bigger: -608 or n?
n
Let g(w) = w - 1. Let n(x) = -2*x + 42. Suppose 9*t - 15*t = 6. Let d(p) = t*n(p) - 4*g(p). Let m be d(-18). Is m smaller than -0.1?
True
Let l = 3974 + -5950. Which is bigger: -1975 or l?
-1975
Let b = 164 - 164. Suppose b = -272*u + 277*u - 5. Which is greater: 2/7 or u?
u
Suppose 0 = -35*d + 46*d - 11. Is d < -6/47?
False
Suppose 36*x + 63*x + 181 = -82*x. Is 7/5184 <= x?
False
Let k = 5551/16617 + -7/573. Which is smaller: 1 or k?
k
Let t = 13969.9 + -13970. Is -283/6 > t?
False
Let b(i) = i**3 + 3*i**2 - 3*i + 5. Let o be b(-4). Let a = -353535.93 - -353535. Are o and a nonequal?
True
Let l be -3 - (116/(-8) - -1)*(-64)/16224. Which is smaller: l or -2?
l
Let t = -37459.6 + 37460. Which is greater: t or -1279?
t
Let k = -2/7059 + 1696/449423. Suppose 0 = 2*z + 2*y + 10, -5*y - 8 = -4*z + 8. Which is bigger: z or k?
k
Suppose 12*m + 2*x - 4579 - 6579 = 0, 5*m = 3*x + 4630. Is 928 at least m?
False
Suppose 0 = -26*o - 92 - 38. Which is smaller: 91 or o?
o
Let q be (-27)/(5 + -32) - 1200/1226. Which is smaller: q or 1?
q
Suppose 535 = 5*w - 5*g, g + 113 = w + 2*g. Suppose 4*q + w = -7*q. Which is bigger: q or -5?
-5
Let k be ((-20)/15 + 2)/((-1)/(-81)). Let m = k - 52. Suppose -18 = -m*i - 6. Is 6 at most as big as i?
True
Let d(h) = 322*h + 3222. Let b be d(-10). Is b >= -498?
True
Let o be 3/(-9)*(240/(-24) + 3). Are 55/3 and o unequal?
True
Let u be 103/4 + 9/(-48)*4. Let r be (u/250)/(134/65 - 2). Which is greater: 2 or r?
2
Suppose -222*j + 9 = -219*j. Suppose j*r = 22*f - 17*f + 17, f - 11 = -3*r. Let a be -3 + 1 + 248/123. Which is smaller: f or a?
f
Let c = -20299 + 1197640/59. Let y(v) = -v**2 + 9*v + 10. Let n be y(10). Is c bigger than n?
False
Let v(y) = -y**3 - 23*y**2 - 132*y - 22. Let q be v(-10). Are -26/103 and q nonequal?
True
Let j = -87 + -532. Is -1235/2 bigger than j?
True
Let s = 4/2871 - -102391/5742. Is s less than or equal to 18?
True
Let j = -248 + 272. Suppose -35*l + 37*l = j. Let p(v) = -v**3 + 5*v**2 + 9*v - 8. Let b be p(6). Is b bigger than l?
False
Suppose 3*y + 12 = 0, -15 - 481 = 5*x - y. Suppose 0 = a + 4, 2*i + 4*a = 7*a - 186. Which is smaller: i or x?
x
Let k be (((-393)/(-2))/(-3))/(-2). Let d = -2324 - -2357. Which is smaller: d or k?
k
Suppose 2*o = 6*o - 20. Let r be (-1)/3 + o/15. Let k = -11848/148725 - 2/5949. Is k bigger than r?
False
Let o = 148.9 - 140. Let q = 8.9 - o. Let z = 8 - -21. Which is bigger: q or z?
z
Let o = -0.1726 + 113.2726. Let a = o - 93.1. Is 0.12 less than or equal to a?
True
Let l be (333/54 + -6)*12/2. Let y be (l - -80) + 1 - 0. Are y and 80 equal?
False
Let s = -1674025/2912 - -41/2912. Is -576 <= s?
True
Let z(x) be the third derivative of 11*x**4/12 + 41*x**3/6 + x**2 + 33*x. Let i be z(-6). Are i and -274/3 unequal?
True
Let b(q) = -q + 11. Let m be b(7). Let o be 3 - 3 - 795/(20/m). Let l be 48/(-3807)*o - 2. Which is greater: l or 0?
l
Let p(h) = h**2 + h + 13. Let q be p(0). Suppose -2*v + z + q = -2, 4*v - 4*z = 24. Suppose v = -5*f + 5*u + 159, 0 = -5*f + u + 146. Are f and 30 unequal?
True
Let w = -4653 - -3291. Is 1 smaller than w?
False
Let q = 4315 + -927723/215. Let l be (-5)/(-4) + 5/(-20). Suppose -11*c - l = -10*c. Are q and c unequal?
True
Let q be (-4)/(-10)*1*(-193 + 8). Which is smaller: q or 2?
q
Let d = 3 + -4. Suppose -335*a + 340*a = 10. Suppose 2*n - a = -3*y, 5*y = 3*n - 65 + 24. Is n at least as big as d?
True
Let j = -52 + 18. Let a = 34 + j. Suppose -5*o - 77 + 22 = a. Which is greater: o or -8?
-8
Let m be ((-5)/(-20)*0)/2. Let r(j) = j**3 - 10*j**2 + 2. Let c be r(10). Suppose -c*v + 10 - 12 = m. Which is greater: -3/7 or v?
-3/7
Let i = 558.802 + -0.802. Let b = i - 557.69. Which is smaller: -2/9 or b?
-2/9
Let p = -161 + 170. Let l(z) = -z**2 + 14*z + 62. Let t be l(p). Is t < 0?
False
Suppose f = 12 + 35. Let b be 2 - 4/8*0. Suppose k + f = -4*q, -k - 11 = b*q + 2*k. Which is bigger: q or -14?
q
Let i be 19/2 - (-40)/(-8). Is i greater than or equal to 126?
False
Suppose -g + 30 = -5*x, -4*x - 36 = -3*g + 54. Let y be (6/12)/(2/168). Let n = y - 12. Is g greater than or equal to n?
True
Let h = 14587 - 13524. Which is greater: h or 1061?
h
Let g = -559267/28 + 19974. Which is greater: g or 3/8?
3/8
Let r(f) = 8*f + 63. Let c = 1206 + -1219. Let h be r(c). Let t(g) = 12*g + 6. Let q be t(-4). Which is smaller: h or q?
q
Let w = -377.1 - -400. Let b = w + -21.5. Is -1 <= b?
True
Let d be (-354)/(-826)*(-7)/6*23244/9. Which is smaller: -1290 or d?
d
Let d be 14*4/(5 + 3). Let z be (23/d + (-2 - 1))/(-4). Suppose -4*l + 2 = 5*x, -57 = 2*x - 61. Are z and l unequal?
True
Let t = -0.1439 - 690.8561. Let q = t - -692. Let j be 0 + 0 - -1 - -23. Which is bigger: j or q?
j
Let m = 32 + -38. Suppose 0*h = -h + 4*q + 16, h + 4*q = -8. Is m greater than or equal to h?
False
Let r be 46989/9407 - (2 - -3). Which is smaller: r or -8?
-8
Let z = 56 + -362. Let f = z + 305. Which is greater: -30/91 or f?
-30/91
Let d be (-3)/7 - (6 - (-268312)/(-41720)). Let p = -748447411 - -23976512808491/32035. Let w = p - d. Is w < 0?
True
Let u(k) = k**3 + 9*k**2 - 11*k - 14. Let f be u(-10). Let z(x) = 3*x + 54. Let m be z(f). Which is smaller: 43 or m?
m
Let i be (7497/(-27) - -15)/(14/12 + -1). Is i <= -1578?
False
Let k be (-83 - 3)*28/(-8). Let y = -15612 + 15914. Which is greater: k or y?
y
Let g be 116 - (8/2 + -1). Suppose -g = -c + 76. Suppose -3*q - c = 4*q. Does -29 = q?
False
Let g = -25.3 + 36.8. Let b = 11.3 - g. Which is greater: 0.4 or b?
0.4
Let j be 168/9 - 5/(-15)*-2. Let b be 0 + -3 - 9*(-12)/j. Suppose b*c = 2*d - 68, 0*d = -d - 2*c + 48. Is d at least 39?
True
Let g = -40.5 - -33.5. Is -295 greater than or equal to g?
False
Suppose -73*l - 5*f = -72*l - 1714, -8490 = -5*l - 5*f. Do l and 1694 have different values?
False
Let m(r) = 69 - 13 - 3*r - 12. Let h be m(14). Suppose -h*s = -p - 24, -16 = 5*s - 7*s - p. Is 31/3 >= s?
True
Let i = 37.92937 - -0.10763. Let v = i + -0.037. Let s = v - 37. Which is smalle