
Let j = 65/276 - -1/69. Let y = -6 - -9. Suppose 5 - 62 = -y*g. Which is greater: g or j?
g
Let h = -34 + 39. Suppose -h*v - n + 11 = -27, 3*v + 2*n - 20 = 0. Let q be (-18)/v + 5/20. Which is greater: q or -10?
q
Suppose -2*z + 2*h - 86 = 0, 2*z + 4*h + 268 = 194. Which is greater: -30 or z?
-30
Let v = 4302 - 2084. Let f = 1034 - v. Let c = 15344/13 + f. Are c and -4 equal?
False
Let s be 93/(-217) + 1629/(-21). Let p be s/6*(-1 - 5 - -5). Let d(r) = -r**2 - 5*r + 1. Let a be d(-5). Which is greater: a or p?
p
Let a(r) = -5*r**2 - 13*r + 1. Let s be a(-3). Let p be 632/(-168) - (2 + s). Which is smaller: -0.1 or p?
p
Let q = 284/27 + -1109/108. Which is smaller: 5/2521 or q?
5/2521
Let w be 9027/(-693) - (5 - 18). Which is smaller: w or -3.6?
-3.6
Let a = 0.11 - 0.01. Let w = 33 + 9. Let x be (-7)/w - 561/(-18). Which is smaller: a or x?
a
Let q be 821/(12/(-90) + 34/30). Is 2462/3 less than or equal to q?
True
Suppose -15*u = u - 429 - 9811. Which is bigger: 8310/13 or u?
u
Suppose 5*k - 11*j + 44 = -8*j, 38 = -5*k + j. Let c be (4/k)/((-20)/14). Is c at most -53/6?
False
Let a = 121230 + -219062604/1807. Is a greater than 1?
False
Let w = -178 - -300. Let b = -122.027 + w. Which is smaller: b or -2/9?
-2/9
Let y be 2/((-8)/20*1) - 3. Let c(d) = -d**2 + 18*d - 12. Let j be c(17). Suppose 0 = 5*z + 2*b + 8 + 31, 4*z + 51 = j*b. Which is smaller: y or z?
z
Suppose 6256 = g + 3*y, -5*g - y + 28625 + 2669 = 0. Is g at least 6258?
True
Let t be (1 - 0)*(1 - 2). Let k be (3/8)/(1308/1272 + -1). Let p = k - 1871/140. Which is greater: p or t?
p
Let k be 9*(-5)/15 - (-10623)/3543. Let n = 84 - 85. Is n > k?
False
Let l = -15 - -21. Let q be ((-1)/((-3)/l*54))/(-1). Is q at most 1?
True
Let w(h) be the third derivative of -1/120*h**6 - 20*h**2 + 0 + 1/24*h**4 + 0*h - 7/6*h**3 + 1/20*h**5. Let g be w(3). Is -1 != g?
True
Let h = -2282 + 6488. Let c = -189256/45 + h. Which is smaller: 1 or c?
c
Suppose 5*l = -y + 971, -5*l = 5*y + 128 - 1103. Which is smaller: 12 or l?
12
Let l(k) = -k**2 + 12*k + 26. Let c be l(14). Let b be (-2 - c)*5/10. Suppose 3*p - 3*m + 3 = b, 0*p + 4*p - 2 = m. Which is smaller: p or -2/109?
-2/109
Let a = 654.8 + -635. Which is smaller: -1 or a?
-1
Let b(r) = 2*r**3 + 55*r**2 - 20*r - 1268. Let q be b(-27). Is q at most 17/55?
False
Let u = -10281/2624 - -160/41. Which is greater: u or 0?
0
Let r = -5.3632 - 1.2368. Is 28/5 != r?
True
Let m be 42/189 + 2/(-9). Suppose -f - 3*f - h + 91 = 0, m = -2*f - 2*h + 50. Are f and 127/6 unequal?
True
Suppose -42*w + 27*w + 31 = -14. Is w equal to 1319?
False
Let z be (-1162)/(-84) + -14 + (-284)/24. Let k(o) = -o**3 - 4*o**2 + 3*o - 4. Let j be k(-4). Is j less than z?
True
Let l(u) = -33*u - u**2 + 24*u - u**3 + 25 + 24 + 16*u**2. Let d be l(15). Which is greater: -87 or d?
d
Let w = 1227.4 - 603.4. Which is smaller: 0 or w?
0
Let w be ((3/2)/(-3))/((-50)/400). Let a(b) = -34*b + 83. Let u be a(w). Is u < -56?
False
Let q be (-2)/6 + 5831/19698. Let m = q - -104/3685. Do m and 1 have different values?
True
Let o = -30.91 - -30.91. Which is greater: o or 8.39?
8.39
Suppose 3*a = 14*d - 9*d - 3229, 6 = -2*a. Is 644 bigger than d?
False
Let h = -5.9 - -28.9. Let t = 2.7106 - -0.2894. Is h != t?
True
Let p(v) = -v**3 - 11*v**2 + 14*v - 19. Let w be p(-9). Do -310 and w have the same value?
False
Let j(k) be the first derivative of -67*k**2/2 + 46*k + 47. Let v be j(6). Is -356 >= v?
True
Suppose -5*u + 4*j + 465 = -800, -5*u - 5*j = -1220. Let q = -300 + u. Which is smaller: q or -49?
q
Let h be 6/4*100/5. Let i = -217 - -132. Let w = i + 115. Are w and h unequal?
False
Let w = -25 - -36. Let u = w + -13. Let q = -22/47 + -43/611. Which is bigger: q or u?
q
Suppose 392 = -820*c + 827*c. Let q be (-4 - 2)*2008/12. Let r be (-2)/(-9) - q/18. Are c and r equal?
True
Let s be 13 + 12284/(-962) + 800/26. Let i be 122/4 - (-3)/6. Is s < i?
False
Let f = 10081 + -11439. Which is bigger: f or -1359?
f
Let d = 214.87 + 0.63. Let x = d - 211. Which is greater: -2/3 or x?
x
Let k = -1316 - -1316. Is 2/519 at least as big as k?
True
Let c = -13 - -13.2. Let y(a) = -a**3 - 11*a**2 - 2*a - 12. Let u be y(-11). Let g = u + -77/8. Is c at most g?
True
Let m = -24 + 12. Let d(q) = -q**2 + 13*q - 18. Let j be d(12). Let h be ((-10)/j)/(15/6). Which is smaller: m or h?
m
Let i be (-4 + 5)/(1940/125). Is 0 at most i?
True
Suppose 143 = -2*v + 11*m - 10*m, 3*m = 3*v + 213. Which is bigger: -61 or v?
-61
Suppose -9*n + 135 = -1008. Which is smaller: n or -1?
-1
Let s be 229*1/(245/(-1640) - (-10)/80). Are s and -9391 nonequal?
True
Let y(h) = -h**3 - 2*h**2 - 9*h - 86. Let t be y(-7). Suppose -f + 888 = -5*f - 2*s, f + 5*s + t = 0. Is -221 at most as big as f?
False
Let c be (-1)/(-3)*(-299)/368. Let r = c - -7/16. Let b be (-5 - -2) + 3 - -6*1. Are r and b nonequal?
True
Let g = -61.9 + 47. Let f = g + 16. Let z = -4285.1 - -4285. Are f and z non-equal?
True
Suppose 0 = 4*j + 12, -5*l + 0*j + 17 = -4*j. Let t be (9 - (-2 + l + 1)) + 3. Let c be (-9 + 6)*t/531. Is c at least 0?
False
Let m(g) = -g**3 - 94*g**2 + 9*g + 672. Let i be m(-94). Are i and -177 non-equal?
True
Let y = 29 + -25. Let u(d) = -9*d**2 + 7 + 5*d**2 + 5*d - d**2 + y*d**2. Let t be u(-2). Which is bigger: t or -23/3?
t
Let x = 124502107/79632630 + -9689/34473. Let n = x - 58/45. Let q(o) = o + 3. Let w be q(-2). Which is greater: w or n?
w
Let g be 0 - 2 - (0 + 110). Let k = -15392 - -15502. Let h = g + k. Are h and -2/39 non-equal?
True
Suppose 15 = -4*g + 3*u - 6*u, -4*g - u = 5. Which is smaller: 1/5112 or g?
g
Let w = 1.2357 - 1.9327. Does w = -5?
False
Let y = -2.76 + -1. Let v = y - -3.56. Let u be -2 + 3/(45/34). Are v and u non-equal?
True
Suppose 73*x = 70*x + 12. Suppose -x*s = -3*s - 1, 0 = 4*b + 4*s - 4. Is 5/4 > b?
True
Suppose -2454 + 464 = 13*d + 1598. Is -3582/13 at least d?
True
Let r = -1760 - -1769. Let w = 14 - 5. Is r at least as big as w?
True
Let v be ((-11979)/(-1197) + -10)*8. Are v and 2 unequal?
True
Let n be 6*(-4)/15*1/1412. Is n smaller than -1?
False
Let s = 985 - 986. Do -3/1214 and s have different values?
True
Let a(r) = r + 19. Let v be a(-8). Suppose -3*x = 3*y - 12, -4*y + 4*x + 6 + 2 = 0. Suppose -3*g = 3*k - 27, 4*g - 5*g + 5*k + y = 0. Is g greater than v?
False
Let s = 251 - 250. Let m be (36/(-300))/(s/5). Is m > 0.022?
False
Let b be (3/(-5))/(28/30 + -1). Let p = 752 - 748. Which is bigger: b or p?
b
Let p(n) = -113*n**3 + 23*n**2 - 12*n - 59. Let d be p(-3). Which is smaller: 3237 or d?
d
Let a = -103 + 107. Suppose -b = t + a, 0 = 3*b - 0*b + 4*t + 15. Let p be (8/10 - b)/((-2)/(-10)). Which is bigger: 5 or p?
p
Let g(u) = u**2 + 37*u + 68. Let b be g(-39). Suppose -166*z = -b*z + 160. Is z != -105/13?
True
Let d be (46425/30925 + (-18)/12)/(9/(-24)). Which is smaller: 0 or d?
d
Let v = -0.033 - -13.733. Let l = v - 15.7. Which is greater: 85/2 or l?
85/2
Suppose -2 = -r - 3. Let s = -14.01 - -8.2. Let x = 6.4 + s. Which is smaller: r or x?
r
Let c(q) = -3*q**3 - 5*q**2 - 6*q - 6645. Let b be c(0). Is b greater than or equal to -6646?
True
Let o(n) = -2*n**3 - 61*n**2 - 6*n - 13. Let t be o(-30). Which is smaller: -731 or t?
t
Let u = 6165 + -6165. Let o be 150/28 - (-4)/(-8). Let m = o - 381/77. Which is bigger: m or u?
u
Suppose -21*z = 142 + 194. Let n(k) = 2*k**2 + 35*k + 59. Let o be n(z). Is 11 at least as big as o?
True
Let z = -0.0088 + 2.2088. Let u be (-3 - 42/(-5)) + -5. Is u < z?
True
Let o be 4 + (0/(-2) - (-45)/(-11)). Let k = -1087/33 - -98/3. Let x = o - k. Is x less than 2/11?
False
Let t(m) = 8*m + 2. Let k be t(3). Suppose 61*n + a = 62*n - 20, -12 = -n + 3*a. Which is smaller: n or k?
n
Let g = 60 + -59.948. Let t = g - -41.948. Let u = t - 41.55. Which is smaller: u or 0.1?
0.1
Let u(m) = -24*m + 9. Let o be u(-9). Suppose 20 = 7*q - o. Let v be 10/q + (-330)/(-21). Is v at most as big as 17?
True
Let l = -9.3 - -2. Let x = l + 7. Is 1/14 less than x?
False
Let x be (-460)/552 - (-23)/6. Suppose 0*n + 2*o - 171 = x*n, -3*o + 114 = -2*n. Which is greater: -59 or n?
n
Suppose 4*n - 486 - 158 = 0. Suppose 176*o - 166*o = 1610. Is o less than or equal to n?
True
Suppose 3*q - 5*p - 53 = 0, q = -0*q - p + 23. Let h = -1 - -4. Let b be q/(-12) - (h + -1 + -4). Is -0.02 at mos