?
48
Let f = 38 + -44. Let w = f - -11. Is w less than 5?
False
Let y = -232/3 - -78. Let q = -1.95 - -1.77. Is y less than q?
False
Let w = 131 - 653/5. Let i = 1.1 - 0.3. Is i >= w?
True
Let m be ((-5)/(-20) - 0)*(-388)/3. Let s = -497/15 - m. Suppose -2*f = -5*f. Which is greater: s or f?
f
Let p = -179.4 + 179.3. Which is bigger: p or 347?
347
Let q(b) = -378*b**3 - b**2 - 2*b. Let h be q(-2). Let w be (-6080)/h - (-2)/1. Let j = -197/756 - w. Are 1/2 and j unequal?
True
Let h = 0.223 - 290.223. Let a = 292.78 + h. Let d = 0.22 + a. Which is smaller: 0 or d?
0
Let p(d) = -d - 5. Let z be p(-6). Suppose 4*k - 2*y + 3*y + 83 = 0, -k = 2*y + 19. Let q = 18 + k. Which is smaller: q or z?
q
Let f be (18/27)/((-20)/(-14)). Which is smaller: 1 or f?
f
Let u = 17056/9 - 1900. Does u = -6?
False
Suppose 2*j = -0*j + 20. Let p be ((-12)/j)/((-2)/5). Suppose 0 = p*n + 15 + 15. Is -10 less than n?
False
Suppose 10 - 3 = l. Let f(w) = -w**2 + 6*w - 5. Let n be f(l). Are n and -13 equal?
False
Let q = 248581/13384 - 3/1912. Let h = -5221/280 + q. Which is smaller: h or 1?
h
Let u be (-16)/(-12)*18/(-32). Suppose 0 = x + 5*a + 9 + 6, 0 = x + 2*a + 3. Suppose x*y - 2*q = 14, 2*q = 2*y - 0*q - 2. Is y >= u?
True
Let r(h) = -2*h**2 + 14*h - 26. Let x be (3*8/(-36)*3)/(-1). Let q be r(x). Let a = 16 + -22. Is a less than q?
False
Let b = -9/31 + 187/217. Let n(k) = 11*k - 33. Let q be n(3). Let y be (26/39*(q + 3))/(-2). Is y at most as big as b?
True
Let i = 96 + -95. Do 4 and i have the same value?
False
Let g = 146 + -133.7. Let c = -12.1 + g. Which is bigger: 4/7 or c?
4/7
Let a = 246 - 275. Which is greater: a or 1/11?
1/11
Let s(f) be the first derivative of -5*f**3/6 - f**2/2 - 2*f + 4. Let m(v) be the first derivative of s(v). Let x be m(-4). Is 19 at most x?
True
Let b = -0.014 + -2.686. Which is smaller: b or 2/31?
b
Let r = 167 - 166. Are -2/71 and r non-equal?
True
Suppose -2*k = l - 2, 5*l - 55 = 5*k - 0*k. Let u be 6 - l - (-10)/4. Which is smaller: u or -13?
-13
Let v = -0.03 - -0.33. Let z = v - 0.5. Is z smaller than -0.02?
True
Let b = -0.227 - 87.773. Which is smaller: 1/3 or b?
b
Suppose b = -2*i - 2, 0*b + 3*i = 4*b + 8. Let g be (1 + -1)/(0 - b). Let s = -153 + 3059/20. Are g and s unequal?
True
Suppose 2*z + 6 = -16. Let j = -16 - -28. Suppose -8*x + 40 = -j*x. Are z and x non-equal?
True
Let m be (-1)/(-5)*17 - (-4)/(-10). Suppose -m*p = 6 + 9. Which is greater: p or -10?
p
Let u(x) = 4*x**3 + 3*x**2 + 4*x + 1. Let m be u(-2). Let y = m + 27. Let t be (30/(-32) + 1)*-3. Is y less than or equal to t?
False
Let o = -1475861909/715 - -2064143. Let w = 8/55 + o. Is 2 less than or equal to w?
False
Let o(d) = -6*d + 121. Let i be o(20). Is -21/5 bigger than i?
False
Let o(m) = 23*m - 231. Let j be o(11). Suppose 0 = -3*s + 2*s. Is s at least as big as j?
False
Suppose -14*v - 2 + 590 = 0. Let a be (-8)/(48/v) - (-1 + -3). Is -1 <= a?
False
Let y = -12 - -12. Let c = -18/5 + 3. Is y greater than c?
True
Let d = -364/51 + -9/17. Suppose 5*l = 21 + 19. Let i = d + l. Are i and 2/9 equal?
False
Let s(u) be the second derivative of -u**3/6 + 13*u**2/2 - 2*u. Suppose -62*n = -58*n - 56. Let o be s(n). Which is bigger: o or 2?
2
Let o(p) = p**2 - 3*p - 2. Let g be o(2). Let d be (-22)/60 - 2/g. Is 1 < d?
False
Let t = 214 - 197. Is -5 > t?
False
Let d(v) = 2*v + 37. Let q be d(-13). Is q bigger than 21/2?
True
Let m(u) = u**3 - u**2 - u. Let p be m(-1). Let j be (3211/(-494))/((-14)/(-4)). Which is smaller: j or p?
j
Let s = -225 - -146. Is s smaller than -77?
True
Let o = 121 + -118.47. Let x = o - 2.4. Are x and 0 nonequal?
True
Suppose 0 = 3*w - 4*l + 376, 0 = 3*w - 5*w + l - 249. Let t be (-24)/(-60) + w/10. Suppose 36 = 3*d - 6*d. Is d greater than t?
False
Let o = 40 - 35. Let q be -4*o/10 + 2/14. Is -1 > q?
True
Let p = -17 - -37. Let q be 26*1*(-10)/p. Let j = q + 4. Is -10 less than or equal to j?
True
Let h be (-3)/5 + 13/((-845)/(-39)). Let p = -4 + 0. Let y be ((-1)/(-15))/(p/(-6)). Which is smaller: y or h?
h
Suppose 0 = -100*k + 107*k - 7. Are 1/2058 and k equal?
False
Let s be (-82)/((-3 + 1)*1). Let a = -59 + s. Let b be (-51)/a - 2/(-3). Is b at most 4?
True
Let f = 78 + -83. Let o = -27 - -53/2. Which is greater: f or o?
o
Let g = 38.7 + -4.7. Let i = g - 34. Let f = 41/1071 + 5/63. Is i < f?
True
Let c(o) = -o**2 + 8*o + 13. Let d be c(9). Suppose -42 = d*f + 2. Let v(z) = z + 13. Let m be v(f). Is 3 at least as big as m?
True
Let r = 98 - 114. Is -19 != r?
True
Let d(w) = -w**3 + 4*w**2 - 12*w + 3. Let h be d(6). Is -143 less than or equal to h?
True
Let o = 58.6 - 53. Let i = o + -3.9. Let g = i + -1.7. Which is smaller: g or -2?
-2
Let k = -17.98 - -17.9. Is 8 at least as big as k?
True
Suppose 59*q - 64*q = 20. Let p be (-1)/q - 17/(-28). Do p and 0 have the same value?
False
Let q be (7/(-3) - -2)/((-1)/3). Let n = -8.5 - -7.63. Let s = n - 0.13. Is q bigger than s?
True
Let p(o) = -o**2 + 7*o - 7. Suppose 7*j + 33 = 4*w + 4*j, 4*w + 3*j = 63. Suppose 5*i - w - 18 = 0. Let b be p(i). Does 5 = b?
False
Let a = -1542/5497 - -13/46. Which is smaller: 0 or a?
0
Suppose -2*i + 8 = 2*i + 2*l, -i = l - 1. Suppose -w = i*w. Let h = -11.27 - -0.27. Does h = w?
False
Let j = -1086197/72 + 116885/8. Let p = 475 + j. Is 0 smaller than p?
False
Let b = 84/13 + -995/156. Suppose 15*t = 12*t - 9. Let i be 2/12*t*0. Is b equal to i?
False
Let j(h) = -3*h - 1. Let s be j(-1). Suppose 9 + 141 = -25*i. Let f be (4/138)/(s/i). Which is greater: 1 or f?
1
Let o be ((-4)/(-8))/((-15)/2460). Which is smaller: -80 or o?
o
Suppose 94 = 7*j - 81. Which is smaller: j or 24?
24
Suppose 4*s = 5*a - 8 + 2, -5*s + 13 = 4*a. Suppose 4*y - 22 = 2*r, a*r = -3*r + 4*y - 73. Suppose -6*m - 93 = 15. Which is greater: r or m?
r
Suppose -8120 = -13*v + 9*v. Let y be v/12 - 3/9. Let n = -168 + y. Is n bigger than 1?
False
Let q be 5*(-2)/(2/(-1)). Suppose 2*d + 12 = 3*j, 3*j - 5 - 7 = -q*d. Let u = -5639/8 - -704. Is d at least u?
True
Let w = 22.89 + -23. Let u = -0.21 - w. Is -0.12 < u?
True
Let g be 3/1*2/12. Let m = -909 - -910. Which is bigger: g or m?
m
Let i = -6 - -5.9. Let u = 535.038 - 535. Is u > i?
True
Let p(x) = -30*x**2 + 4*x + 14. Let f be p(-3). Is f at most -269?
False
Suppose 0 = 4*z - 48 - 0. Suppose -z*y = 5 - 41. Does y = 7?
False
Let r be (-3)/6*(-2 - 4). Suppose r = -c + 5. Is c greater than 0?
True
Let s be 3 + ((-6)/8)/((-16)/768). Let d = 37 - s. Is d < -7/6?
True
Let f = 203/36 + -23/4. Suppose -3*p + p - 16 = 5*x, 0 = -5*x - 5*p - 25. Let y be (x/4)/((-12)/(-24)). Which is bigger: y or f?
f
Let u = -29 - -33. Let s be (-8)/(-32) - 3/u. Which is greater: -1 or s?
s
Let x(m) be the first derivative of 2*m**2 + 24*m + 5. Let w be x(-7). Which is greater: w or -9?
w
Let z(d) = d**3 - 8*d**2 - 20*d + 127. Let w be z(9). Which is smaller: 29 or w?
w
Let r = -179 + 197. Are 4/9 and r unequal?
True
Let g = 919.9 + -920. Does -19.8 = g?
False
Let b(t) = -t - 14. Let y(i) = -i**2 + 10*i - 22. Let h be y(9). Let w be b(h). Is -1/29 greater than w?
True
Let c = 19214/3 + -6332. Let d = c + -8060/111. Which is bigger: 0 or d?
d
Let j = 4.9 - -0.1. Let w = j + -11. Let u = w + 6. Which is smaller: u or -3?
-3
Let l(x) = 3*x**3 + 167*x**2 - 50*x - 121. Let d be l(-56). Which is smaller: -456 or d?
d
Let f be ((-2)/(-6))/((-2)/((-30)/(-7))). Suppose 3*p + 1 = -2. Let a be (-2 - (1 + p)) + 1. Do a and f have different values?
True
Suppose -3*c + 2*p - 4 = 0, 0 = -3*c - 20*p + 23*p - 6. Which is smaller: -2/3339 or c?
-2/3339
Let i = -881 + 557. Is i greater than or equal to -324?
True
Suppose -19*a = -20*a - 1. Is -23 > a?
False
Let y be (-1)/3 - (-20)/6. Let g = 3 - y. Let h = -1065 - -33013/31. Is h >= g?
False
Suppose 4*z = -2*f - 12, -7*f + 30 = -2*f - 5*z. Suppose f*v = -2, -4*p = -v + 2*v + 1. Is p bigger than -6/43?
True
Let j = 69937/13761 - 347/139. Let l = 5/553 + 14323/6083. Let c = j - l. Which is greater: 2 or c?
2
Let h = 656 + -324. Let q = h + -980/3. Do q and 6 have different values?
True
Let w = -0.163 + -68.837. Let o = w + 69. Is 0.03 equal to o?
False
Let m = -370 + 366. Which is greater: m or -88/17?
m
Suppose 5*j + l - 189 = 0, 2*j - 2*l - 1 = 65. Which is smaller: 36 or j?
36
Let y = 2759 - 2787. Which is bigger: 12 or y?