 -2*u - 12*o = -13*o + 2. Let j be w(u). Is j at least as big as -20?
True
Let n(m) = -14*m + 592. Let d be n(56). Is -194 equal to d?
False
Let x = 15.6 - 17. Suppose y - 17 = 5*c, 3*y = 2*c - c + 9. Let n be y/3*(-12)/(-9 + 5). Is x less than or equal to n?
True
Let o = -33 + -384. Let n = o - -419.9. Does n = -0.5?
False
Suppose -t + 3 = 0, 2*u - t - 8 = t. Suppose -27 = -x - h, -4*h - u = 9. Let o = 31 - x. Which is bigger: o or 2/167?
2/167
Suppose 15*k - 300 = -75. Let y be -3 - ((-618)/170 + 6/k). Which is bigger: 1 or y?
1
Suppose 7*w + 300 - 25 = -68. Are w and 4/7 nonequal?
True
Suppose 27*u + 1484 = 23*u + 2*a, a + 4 = 0. Is -375 smaller than u?
True
Let a = -0.02 + -1.98. Let q = -357.8 + 358.8. Is a not equal to q?
True
Let x = -8241 - -8305. Which is greater: x or -3?
x
Let f = 7.1 + -7. Let t = 163 - 91. Let c = t - 75. Which is smaller: c or f?
c
Let z be (25 + -91)/(2/9). Let v be ((-9)/z)/(2/24). Let h = 27/44 - v. Is -1.2 smaller than h?
True
Let s = 7292 + -7293. Which is greater: -52/9 or s?
s
Let u be (-764)/(-108) - (-94)/(-1269). Suppose 3 = k + 1. Suppose -2*o + n = 6 - 22, o = -2*n - k. Which is bigger: u or o?
u
Suppose -307*t = -299*t + 1992. Which is smaller: -256 or t?
-256
Let k be (-11 + 14)/(174/(-59) - -3). Suppose -k*m = -57*m + 18. Which is bigger: m or -64/7?
m
Let i be 3*(-11 + 26340/(-45)). Which is smaller: i or -1790?
-1790
Suppose -2*j = -5*s - 25 + 74, -3*s = j - 36. Suppose -s*d = 11*d + 1298. Which is smaller: d or -62?
-62
Let v = 4370 + -4362. Which is greater: v or 2/1563?
v
Let n = 49 + -40. Let i be (n + -8)/(40/19). Let y = -7/8 + i. Which is greater: 2 or y?
2
Let v = 17169 - 6661573/388. Is 1 less than v?
False
Suppose -2*d + 168 = -3*b - 0*b, 5*d = -15. Let a = b - -295. Let u be a/(-60) + 1 + 3. Is -1 at least as big as u?
False
Let j be 32/(-336)*(-6)/(-32). Suppose 0*s - 3*s = s. Which is greater: s or j?
s
Let v be -4*6/(-52)*14886/10287. Let k = v - 2/1651. Let o be 9/4*(-2)/12. Is o bigger than k?
False
Suppose 790 - 27394 = -442*u - 297*u. Let f be ((-12)/10)/((-2)/60). Do f and u have the same value?
True
Let l(u) = 2*u**3 + 12*u**2 - 13*u - 9. Suppose -26 = -6*i + 10*i - f, 10 = -i + 2*f. Let b be l(i). Which is greater: 74 or b?
74
Let f = 1 + -2. Let s = -0.01538 - 13.12962. Let t = s + 0.145. Are f and t equal?
False
Let r be 300/125 + 2/(-5). Suppose 0 = -3*i - 8*y + 10*y + 10, y + 7 = r*i. Is 14 > i?
True
Let h(i) = 14*i - 1208. Let k be h(37). Are k and -2072/3 unequal?
True
Let s = -38 - -44. Suppose 0 = -10*i - 46 + s. Let z be 1*2/i*(-20)/130. Is z smaller than -1?
False
Let v be (-4)/(-20) + 22/(-10) + 328 + 97. Which is smaller: v or 428?
v
Let i(v) = 2*v**3 - 11*v**2 + 9*v - 8. Let f be i(5). Let j be (f/(-258))/(9/6). Which is greater: j or 0?
0
Let v(y) = -25*y + y**2 - 20*y + 36*y. Let m be v(6). Let r be 3/m - 53/(-390). Is r smaller than 0?
True
Let a(p) be the third derivative of -p**6/120 + p**5/15 + p**4/4 - p**3/3 + 35*p**2. Let b be a(5). Is -2 at least as big as b?
False
Suppose 116 = 5*w - 74. Let p = -138 + w. Let o = p + 114. Does o = 14?
True
Let d be 1100/(-4125) - 368/(-30). Which is smaller: d or 311/29?
311/29
Let v(y) = 3*y + 31. Let a be v(-7). Suppose -315 = -a*w - 1155. Let k be 3/(-5) - w/(-385). Is k greater than or equal to -2?
True
Let h = -14912 - -14911.92. Is -165 not equal to h?
True
Suppose -x + 3*x = 256. Suppose a - 93*m + 89*m - 161 = 0, 2*a + 3*m = 234. Does a = x?
False
Suppose 3*l = 3*i + 69, 25 = -5*l + i + 148. Suppose 0 = 19*r - 193 - 92. Let b be (-6 - 3)/(r/24 - 1). Is l at most as big as b?
False
Suppose -172*n = -181*n - 54. Let w be (8/(-2) + 1)/(n/(-8)). Let s be -3*(12/9)/4. Do s and w have the same value?
False
Let a(l) = -509*l + 38. Let m be a(-2). Is 1057 bigger than m?
True
Let j = -1286741/10100 + 637/5. Is j < 1?
True
Suppose -22 = f + 135. Let n = f - -298. Suppose -4*q + 3*j + n = 0, -6*j - 177 = -5*q - 3*j. Is q at most as big as 35?
False
Let n be ((-11154)/(-1596) - (4 - -3))/((-3)/8). Is -1 at least as big as n?
False
Let f(q) be the first derivative of -q**2 - 30*q + 18. Let u be f(-16). Suppose i - 2*o + 3 = 0, i - u*i - o - 18 = 0. Which is smaller: i or -12?
i
Let s = -13240 - -13749. Which is greater: s or 2551/5?
2551/5
Let m(n) = -10*n**2 - 7. Let c(r) = -8*r**2 + r - 7. Let i(g) = -6*c(g) + 5*m(g). Let p be i(-4). Which is smaller: p or 2/1425?
p
Let p be 3/(3/2) - (-15 + 15). Suppose 3*q + p*b = -16 - 6, -2*q = -5*b + 40. Is q at least -12?
True
Let f = 718 - 715. Suppose -p - r = 209 - 7, 2*r + 605 = -f*p. Is -202 greater than p?
False
Let f(u) = -2*u**3 - 2*u**2 + u. Let a be f(1). Suppose -5*q - 13 = -2*y, 5*q + 37 = 4*y + 16. Which is smaller: q or a?
a
Let r be (90/270)/(1/(-542)). Let u(x) = 2*x**2 + 14*x - 181. Let h be u(0). Is h at least r?
False
Let o be 33380/6230 - 156/273. Which is smaller: 5 or o?
o
Suppose -7*n + 341 - 348 = 0. Let o be (-92)/20 + (-5)/n. Is o greater than -2.5?
True
Suppose 46 = -23*p - 23. Let l be 4 - (13 - 10)*p/9. Let g(a) = a**2 + 9*a + 12. Let x be g(-8). Which is greater: x or l?
l
Let y(k) be the first derivative of k**4/4 - 5*k**3/3 + 3*k**2 - 3*k - 1. Let b be y(4). Let u be (-9)/5 - 1386/(-220). Is u less than b?
True
Let d(a) = 9*a + 0*a**2 - 48*a - 3 + a**2 + 1. Let i be d(39). Is i less than -36/13?
False
Let x be 35/(-10) + 19901/(-14). Is x != -1427?
True
Let p = 1248.3 - 1173. Let y = p - -1. Let n = -76 + y. Which is bigger: 0.01 or n?
n
Suppose -55 = 6*o - 17*o. Suppose -5*k + o*t - 1 - 4 = 0, -k - 10 = -4*t. Suppose 0 = -2*j + k*g - 2, -4*g + 12 = -6*j + 10*j. Which is smaller: j or 2/135?
2/135
Let w = 251.875 + 0.125. Let y = -159 + w. Is y at most as big as 2?
False
Let q be -10*((-18)/45 + (-4077)/(-30)). Is q bigger than -1354?
False
Let n be (-4459)/(-742) + (-49)/7 + 1. Let m(g) = -g**3 - 6*g**2 - 4*g + 9. Let x be m(-5). Suppose -x*f + 3*w = -5, -w - 4*w = 15. Which is bigger: n or f?
n
Let n(c) = -c**3 + 73*c**2 + 234*c - 449. Let l be n(76). Are -15/2 and l non-equal?
True
Let f = 1040.2 - 1040. Let s = 33 + -16. Which is smaller: s or f?
f
Suppose -18*m + 21*m = 4*l + 70, 126 = 5*m - 2*l. Suppose 24 = 2*c - m*c. Which is bigger: 2/21 or c?
2/21
Let r = -12580 - -12580. Is r smaller than 5.316?
True
Let o be -2 + (11/(-6))/(70/(-75)). Let d be -2 + ((-1)/2 - 10/(-4)). Which is bigger: d or o?
d
Let w be (3/((-15)/(-10)))/((-4)/(-6)). Suppose -w*c + 17 = k, 4*c - 4*k = -12 + 56. Which is smaller: c or 48/7?
48/7
Suppose i + 3 = 0, 5*c - 5*i = 25 - 15. Let s be (-1)/(-2) - 609/266. Which is smaller: c or s?
s
Let k = -1221.19 - -1221.13. Let w be (-15)/(1/1 - -1). Which is smaller: w or k?
w
Let x = -33 - -34.89. Let u = 0.89 - x. Which is smaller: u or 0.047?
u
Suppose -3*w + 1133 = 2*n, -n - 135 = -5*w - 669. Which is smaller: 557 or n?
557
Let l = -18635913/25121665 - 1/74545. Which is greater: -2/5 or l?
-2/5
Let m = -10491 + 10490.173. Which is smaller: -4 or m?
-4
Let y be (1 + (-21)/12)*602/(-6). Let k = 585165 - 25743937/44. Let q = y - k. Which is smaller: q or -1/3?
-1/3
Let m be (-2)/1 + (-1)/(2/(-84)). Let y = m - 46. Let o be (5 - y) + 2*(-3)/(-6). Which is smaller: o or 10?
10
Suppose -6*o = -11 - 1. Suppose -o*c = -1 + 39. Suppose 54 = -25*d + 22*d. Is c > d?
False
Let v(m) = 7*m - 3*m - 7*m - 7. Let d be v(-3). Suppose -5*g = -q - d*q - 2, -3 = -3*g. Which is bigger: q or 5/17?
q
Suppose -5 = 2*d + 5*a, 0 = -8*d + 5*d + 5*a + 30. Suppose 4*v = -4, 2*n = d*n - 4*v - 25. Which is smaller: 14/9 or n?
14/9
Suppose 133*j - 837902 = -j. Is j less than or equal to 6252?
False
Let i = 374 + -130. Let y = -987 + 1232. Is y less than i?
False
Let d(j) = -30*j. Let v be d(4). Let n(w) = 11*w - 28. Let i be n(12). Let k be 1/(3/2) + i/v. Which is bigger: -1 or k?
k
Let t = -85.9 + 81. Let f = 4.27 + t. Let g = f - -1.33. Which is greater: g or -0.3?
g
Let b = -8279.9 - -8280. Which is smaller: 1/325 or b?
1/325
Let w(c) = c**2 - 7*c + 1. Let q be w(4). Let r(b) = b**2 + 3*b + 5. Let g be r(q). Let v be 0 - (g/9 + 2). Do -11 and v have different values?
True
Let m = 1007 - 1026. Let j(t) = -t**3 + 4*t**2 + 10*t - 8. Let v be j(6). Let i = m - v. Is i equal to -1/13?
False
Let z be 1668/(-45) + 10/15 + (-39)/65. Which is smaller: z or