ual to q?
False
Let a(k) = k**2 - 31*k - 5016. Let n be a(88). Is -13/683 greater than n?
False
Let w = -47.79 + 166.79. Do -0.11 and w have different values?
True
Let u(o) = o**2 - o - 32. Let n be u(5). Let x be 7 + 86/n - (-158)/12. Suppose 0 = f + 2*f, g = -f + x. Which is smaller: 16 or g?
g
Let q = 435 - 412. Suppose -23 = -5*i + t + 92, -3*t = -i + q. Is i > 116/5?
False
Let u be (10670/(-1340) + 8)*20/(-25). Suppose 0 = 2*n - 4*n + j + 11, j - 3 = 0. Let p = n - 7. Is u != p?
True
Let n(y) = -2*y + 4. Let c be n(0). Suppose -c*l = -7*l + 6. Let q = -9 - -9. Which is greater: q or l?
l
Suppose 0 = 63*a - 54*a + 9. Which is bigger: -2/891 or a?
-2/891
Let n = -636/5 - -629/5. Is n >= 0.1?
False
Let h be (-1 + 0/4)/((-8)/(-328)). Suppose 4*d + 348 = 104. Let b = d + 20. Is h at most as big as b?
True
Let s be 100/28 + 6/14. Let r(w) = w**3 - 6*w**2 + 2*w + 4. Let k be r(s). Let m = 15 + k. Do -5 and m have different values?
False
Let h = 5.3 - 0.3. Let r = 80 + -86. Let l = h + r. Is l <= 46?
True
Suppose -2694 = 11*k - 5*k. Let f = 450 + k. Is -2/1371 < f?
True
Let l = -4614 - -4691. Which is smaller: 78 or l?
l
Let a = 71.0725 - 70.47. Is a >= 0?
True
Let p = 76 + -69.6. Let j = -2.4 + p. Let d = -0.6 + 4.6. Are d and j nonequal?
False
Let z be (-2)/11 - (-149384)/354552. Let g be (-5695)/(-1659) + -3 + 6/(-14). Let m = z - g. Is m at least as big as 0?
True
Let j(c) be the second derivative of 5*c**3/3 - 35*c**2 - 6*c. Let i be j(7). Suppose 5*w + 10 = 0, -5*w = -5*x - i*x - 15. Are -9 and x nonequal?
True
Suppose 2*v = -5*t + 343, -2*v + 75 = -14*t + 15*t. Suppose 2*p - h = 3*p + t, -4*p - 243 = -h. Which is greater: -61 or p?
-61
Let i = -3060 + 3050. Let a = 53.6 + -55. Which is smaller: i or a?
i
Let i(o) = -11*o**3 + 3*o**2 - 84*o + 229. Let a be i(7). Is -3984 greater than or equal to a?
True
Suppose -3951 = 2*t + 3*x, t - 4*x + 274 = -1729. Which is smaller: t or -1984?
-1984
Suppose -4*s = -7*s + 6. Let h(v) = 272*v + 2. Let y be h(s). Suppose -13*l + 6*l = -y. Is 78 <= l?
True
Let h be 2916/66 - (93/(-33) + 3). Suppose 5*c - h = 16*c. Let j be 2 - c*(-4)/12 - 2. Which is smaller: -2 or j?
-2
Let c(h) = -2*h**3 - 27*h**2 - 14*h - 9. Let g be c(-13). Suppose -g*n = -411 + 15. Is 101 smaller than n?
False
Let l = 104 - 59. Suppose -l = -3*a - 135. Suppose -26*j + 38 = -h + 61, -h - 39 = 5*j. Which is greater: h or a?
h
Suppose 15*w + 61 - 226 = 0. Suppose -5*v = 35 - 95. Let g = v - w. Is -5 at most as big as g?
True
Suppose -2*w = 6*w - 6*w - 3202. Which is smaller: 1602 or w?
w
Suppose 5*r - 3*v = 51, 0 = 4*r - 5*v + 6 - 52. Let q = r + -41/6. Which is bigger: 2 or q?
q
Let l(q) = 9*q**3 + 129*q**2 + 1343*q - 17. Let y be l(-11). Which is smaller: -33479/3 or y?
y
Let x = -11.4 - -11.405. Let g = x - 2.005. Which is bigger: g or 0.7?
0.7
Let b = -1.96 + -0.04. Suppose u - 2 = 0, 2*v - 4*u + 38 = -v. Let c be 55/v + 5 + 0. Does c = b?
False
Let t = -2.96 + 3. Let h = -0.04 + t. Let j = -2294 + 11483/5. Is j bigger than h?
True
Suppose -101*r - 2834 = 27*r - 106514. Which is smaller: 812 or r?
r
Let f = -14 + 14.17. Let w = 46/3 + -16. Are f and w unequal?
True
Let y be (-40)/112 + 8/(-56) + 157/2. Is y equal to 95?
False
Let y be 10/(-55) - -57*6/66 - 14. Is -1/3 at most as big as y?
False
Let c = -1.0481 - -0.5581. Which is smaller: c or -0.01?
c
Suppose -48*m + 50*m = 2. Let z = -964516/5 - -26945113/140. Let j = 438 + z. Which is smaller: j or m?
j
Let i(d) = d**2 + 2*d - 24. Let h be i(-5). Let z be (-10)/(90/h) + (-4)/2. Which is bigger: z or -2/367?
-2/367
Let w be ((-3804)/(-9))/(168/18 - 10). Is -639 > w?
False
Suppose 13*j - 98 = -18 - 2. Let l be (-220)/(-48) + (-2)/(-3). Do l and j have the same value?
False
Let v = -0.2 + -0.3. Let d = 113653 - 113661. Is v >= d?
True
Let b = 105 + -71. Let i = b - 33.85. Is i equal to -2/3?
False
Let n = -14 + 13. Let z be (-16)/(-6) - 1 - (1177/(-21) + 58). Is n smaller than z?
True
Let d = 1606.4 - 1152.8. Which is smaller: 0.3 or d?
0.3
Let w be (-1)/14*-1538 - 10. Do w and 100 have different values?
True
Let f(v) = 59*v**2 - 299*v + 14. Let s be f(5). Suppose 0 = 5*h - 3*h. Suppose h*o + 21 = -3*o. Which is smaller: o or s?
o
Let h(y) = -54 + 63 + y**2 - 19*y - 2*y**2. Let p be h(-19). Which is greater: p or 13?
13
Let o = 1.1 + 124.9. Let q = -125.96 + o. Which is smaller: 5 or q?
q
Suppose -7*v + 301 = 980. Let x = v + 124. Which is bigger: x or 23?
x
Let y = -0.49 - -2.11. Let r = -0.68 + y. Let x = r + -0.89. Which is greater: x or -2?
x
Let w = -52 - -51. Let r be (19 - -5)*(-10)/75. Is w >= r?
True
Suppose 4*q - 8 = q - 4*k, q + 3*k - 1 = 0. Let h be q - ((-9)/(-3) - (2 + -3)). Which is greater: -4/7 or h?
h
Let h = -2176.9 - -2177. Let l = -215 + 66. Is h greater than l?
True
Let t(o) = o**2 + 52*o - 2486. Let w be t(31). Is w < 431/5?
False
Let u = 626/9 - 70. Suppose t = -2*j - 116 + 137, -2*j = 3*t - 47. Suppose 8*w = -5*w + t. Which is greater: u or w?
w
Suppose -641 = b - 5*p, 4*b + p = -3011 + 468. Let w be (-3 + (-1917)/b)/((-663)/(-104)). Is w >= 1?
False
Let c = 5428 + -5383. Is c greater than or equal to 48?
False
Suppose 0 = -12*i + 5*i + 98. Let t be (i - 15)*(-16)/(-2). Let f be (-2)/4*t/4. Does -4/11 = f?
False
Suppose 24*w + 1403 = -1491 - 346. Is -137 less than w?
True
Suppose 5*a = 6*a - 6. Let q(m) = -9*m + a*m**2 - 214 - m**3 + 111 + 110. Let u be q(5). Do 3 and u have the same value?
False
Let q(w) = -w**3 + 23*w**2 - 14*w + 48. Let t be q(22). Let j = t - 195. Which is smaller: j or -1?
-1
Let s be (2 + -12)*(2/22)/1. Let z be (-1*1)/(11/(-66)). Let a be ((-1)/z)/(1/(-3)). Which is smaller: a or s?
s
Let i = -11037 + 11870. Is i bigger than 841?
False
Let j = 1.87 - 18.67. Let g = 17 + j. Let i = 259/6 + -128/3. Is g not equal to i?
True
Let b = 8.828 - -0.072. Let i = b + -9. Which is smaller: 206 or i?
i
Let k = 25768 + -25835. Which is greater: k or -59?
-59
Let x = -31112 - -31112.262. Which is greater: 1 or x?
1
Suppose -2*f + 2*l = 12, -2*l + 4 = -0*f + 2*f. Let m be 44/(-2)*(-1)/f. Suppose -160 = -23*q - 436. Which is bigger: q or m?
m
Let c = -5495 - -6260. Is 765 bigger than c?
False
Let c = -6.4 + 6. Let i(t) = t**3 + 23*t**2 - 23*t + 19. Let x be i(-24). Is x equal to c?
False
Let c = -178 + 129. Let f = -18 - c. Which is bigger: 0 or f?
f
Suppose 31 = -22*q - 13. Let h be 1 + 10 + -5 - q*13. Which is smaller: 26 or h?
26
Let t be 4 + -329 + 1/(-2)*10. Let j be (-12)/22 + (-10410)/t. Is j < 97/3?
True
Let c = -16.9 + 21. Let o = 8.2 - c. Let a = o + -4.16. Is 1/2 not equal to a?
True
Let p = -3442 + 3444. Let j = 28 - 76. Which is smaller: p or j?
j
Let h be (0 - 1)*1*1 - 167. Let l = h - -140. Is -23 >= l?
True
Let l be 32/10 - 32/160. Suppose -d = l, -6 = 2*a - 4*d + 6*d. Is a greater than 3?
False
Suppose -135 = -5*n - y + 29, -2*y = 3*n - 90. Is 535/16 bigger than n?
False
Let f be 7536/(-1570)*100/6. Is -1038/13 not equal to f?
True
Suppose 4758 = 7*f - 2522. Let m be ((f/6)/13)/((-4)/(-6)). Let z be 1/(-10)*(-6)/((-48)/m). Which is bigger: z or 62?
62
Let f be -13 - ((-800)/1392 + -12). Is 0 < f?
False
Let y be 170 + -159 - (-11)/(-1). Let x be 2 - (-40)/(-18) - 1445/(-6426). Which is smaller: x or y?
y
Suppose 0 = -n + u - 96, -5*n + 193*u - 564 = 195*u. Let g(w) = -4*w**2 + w - 1. Let x be g(-5). Which is greater: n or x?
x
Let r be (-46)/(-104) - 10/40. Let s = -21163 - -21164. Which is bigger: s or r?
s
Let f = -61/2 + 30. Suppose 0 = -4*v + i - 0*i + 163, 3*v + 3*i - 141 = 0. Let n be 22/v - (-7)/(-147)*-3. Which is bigger: f or n?
n
Suppose 213 = -3*u - 3*k, -u - 216 = 2*u + 4*k. Let j be 85/u*2*7/30. Which is bigger: j or 0?
0
Let k = 1510 - 1460. Is k greater than 1/39?
True
Suppose 4*f - 4*t = 12, f = 8*t - 12*t + 8. Suppose -2*v = -f, 0*b - 2*b - 26 = 2*v. Is b >= -74/5?
False
Suppose 7*f - 13 = 29. Suppose -4*v = -5*t + 783, 2*v + 0*v = f. Are t and 159 unequal?
False
Let b = -2 - -7. Let n be (-5)/(-35) + ((-180)/(-63) - -1). Suppose -z - 2*g + 3*g = -3, -b*g = -n*z + 15. Is z <= 0?
True
Suppose 5*s + 5*v - 1645 = 0, -v = -5*s - 7*s + 4013. Is 335 > s?
True
Let q = -588 - -704. Is q less than or equal to 121?
True
Let q be (-3868)/(-3190) - (72 - 71). Let z = q - 4/319. Which is greater: z or -47?
z
Let c(i) = -2*i**3