t w = -588 + z. Let f be (-9 - -4) + (4 - -2). Which is smaller: f or w?
w
Let y(g) = g**3 + 11*g**2 + 10*g - 8. Let s be y(-4). Suppose -5*r = -9*r - s. Let f = -34 + 17. Is r less than f?
False
Let k = -15/2 + 7. Let t be (-2)/(-9)*3/4. Which is greater: t or k?
t
Let w = -4205 + 4210. Let i = -0.6 - -0.2. Are i and w equal?
False
Suppose 0 = 5*d - l - 6, -4*d + 20 = 4*l - 4. Suppose -5*r + 0*j - j = -163, 0 = 4*r + 2*j - 134. Let b be (r/3)/2*(-9)/(-20). Is b less than d?
False
Let a be (-72)/60*80/6. Let z = a + 26. Let v be 140/21*12/z. Is v <= 8?
True
Suppose 5*g = g - 68. Let x = -10 - g. Suppose x*m - 3*m - 49 = 3*v, 5*m + v - 47 = 0. Which is greater: m or 11?
11
Let f = -173029/3231 + 482/9. Is -1 less than f?
True
Let i(a) be the first derivative of -a**4/4 - 4*a**3 - a**2/2 - 20*a + 35. Let n be i(-12). Is -8 smaller than n?
False
Let a = -2544 + 2580. Is 38 less than or equal to a?
False
Let g be (17/(-3) + 6)*-2*1. Is g at most as big as 57?
True
Let h = -188 - -1314/7. Let j = 33.2 - 1.2. Let g = j - 32.1. Which is smaller: h or g?
h
Suppose 7*f - 2767 + 7135 = 0. Let v be 6/(-10) - (f/285)/4. Is -1 less than or equal to v?
True
Let m be ((-9)/(-42))/(9/(-12)). Suppose -8 = -18*v + 16*v. Suppose v*g + 2*q = 0, -q + 4 = 4*g - 0. Are g and m equal?
False
Let t = -745/2 - -358. Is -14 at least t?
True
Suppose -5*y = -5*b - 275, 4*y - 205 = -5*b + 15. Suppose 0 = 15*t + 465 + 105. Let u = y + t. Which is smaller: u or -1?
-1
Let z be (-4)/(-16) + (-4)/32*-14. Suppose -2*h = 5*b - 11, 2*h + b = -z*h + 13. Are h and 20/13 equal?
False
Let c = 84/97 - -14544/679. Which is greater: c or -1?
c
Let y(x) = -3*x**3 + 15*x**2 + 6*x - 7. Let d(r) = -4*r**3 + 16*r**2 + 5*r - 8. Let k(s) = 4*d(s) - 5*y(s). Let h be k(-10). Which is greater: h or 2?
h
Suppose 0 = 4*z + r - 6, -4*r = 7*z - 4*z - 11. Is z less than 1/32?
False
Let z(a) = -5*a + 0*a - 1 - 37 + 0*a. Let d be z(0). Which is greater: d or -36?
-36
Suppose -8 = 2*z + 2*n, n = -2*n - 12. Let r be (5960/(-375))/(-8) + 4/(-2). Let v = -58/1275 + r. Is z <= v?
False
Let r = -3 + 2. Let d be ((-5)/(-15) - (-40)/15)/(-5). Is r at least as big as d?
False
Let s be ((-10)/(-15))/((-10)/525). Which is greater: -34 or s?
-34
Let n = 91 + 80. Suppose -8*t + 17*t + n = 0. Is t less than or equal to -93/5?
True
Let x = -1.07 + 1.15. Which is smaller: 0.18 or x?
x
Let p = 83 - 61. Suppose 25*h - 23*h = -p. Is -12 less than h?
True
Let p be 120/18*2*(-6)/4. Let r be (-8)/30 - (0 + 12/p). Which is greater: -0.3 or r?
r
Let j(c) = -15*c - 224. Let w be j(-16). Is -12 not equal to w?
True
Let p = -44 - -48. Let r be (-16)/6*(-6)/p. Which is smaller: 5 or r?
r
Suppose -7*n = 19*n + 4290. Is -165 != n?
False
Let q = 34427/6018 - 330/59. Which is smaller: -1 or q?
-1
Suppose 0 = 6*c - 2 - 4. Let v = -226843/1738191 + -32/6367. Let n = v + -2/273. Which is greater: n or c?
c
Let p(k) = 6*k + 27. Let o be p(-4). Which is smaller: -5 or o?
-5
Let i = 44 + -40. Let r = i - 5. Is r greater than or equal to 7?
False
Let r = 18 + -15. Suppose 0 = 4*o - 8, -r*x - 5*o = 2*x - 115. Let c be 4/3 - 7/x. Are 12 and c unequal?
True
Suppose 6*z = -6*z - 1080. Let h = z - -91. Is h not equal to 4?
True
Let q = -0.052 - 3.048. Is q <= -0.1?
True
Let w = -57 - -28. Which is bigger: w or 0?
0
Suppose 230 = -3*w - f, w - 5*f + 92 = 26. Is -3 <= w?
False
Suppose -143*d - 113 = -30*d. Is d != -2/515?
True
Let t(p) = p**3 - 4*p**2 + 4*p + 1. Let y be t(3). Let x be 8 + y - (4 - 3). Which is greater: 10 or x?
x
Suppose -5*j = 9 + 1. Let g be 0 - (-1 - 11/(-6)). Which is smaller: j or g?
j
Let t = -13 - -14. Let b(g) = -t - 12*g**2 - 10*g**2 + 20*g**2 + 13*g. Let v be b(6). Which is smaller: 6 or v?
v
Suppose -5*s = -u - 5, -3*u + 0*u - 2 = -2*s. Let f be 10 + (-595)/51 + 331/195. Which is greater: u or f?
f
Let f(h) = 62*h - 348. Let r be f(9). Is r >= 0?
True
Let u(l) = 2*l**2 - 32*l + 52. Let h be u(14). Is -16/3 >= h?
False
Let n(g) = 4*g - 3*g + 3 - 1 - 1. Let q be n(4). Suppose 24 = -5*k + 2*k + v, q*k + 3*v = -54. Is k <= -10?
False
Let q = -3 - -4. Suppose 5*b + 0 - 65 = 0. Let x = 10 - b. Which is smaller: q or x?
x
Let x = -0.9 + 5.6. Let u = x - 0.7. Which is smaller: u or 3?
3
Suppose 4*t - 51 = -5*n, 72*t - 76*t + 24 = -4*n. Is -4 < t?
True
Let d be (-2)/(-18) - (-136)/72. Suppose -d*p - 3*u = -3*p + 10, u + 3 = 0. Which is smaller: p or -21/8?
-21/8
Let v = 145 - 124. Are 26 and v unequal?
True
Let h = 60.057 + -0.057. Let c = h - 98. Do -2 and c have different values?
True
Suppose -6*c + 0*c = -132. Suppose -l + 5*o = -4*l + 2, -o - c = -5*l. Is 4 < l?
False
Let l = 3.96 + 0.04. Let z = -47 - -42.9. Let v = z + l. Which is smaller: -0.01 or v?
v
Let q(n) = 4*n**2 + 108*n - 3. Let c be q(-27). Let g = 19885/4 - 4914. Let k = g - 58. Which is smaller: k or c?
c
Let h = 1180 - 1183. Is h less than or equal to 0.54?
True
Let v = 906 - 907.91. Which is smaller: v or 0.2?
v
Suppose 2 = -v - 2*b - 4, 0 = 3*v + 3*b + 3. Let c be (-7)/(-5) - (-4)/(-10). Which is smaller: c or v?
c
Let b be (24/16)/(25/(-2130)). Which is greater: b or -128?
b
Let f be (2 + 7 + -12)/((-2)/50). Does f = 76?
False
Let s = 491 + -1460. Let g = s - -28097/29. Let c(i) = 5*i + 9. Let u be c(-2). Is g at least u?
True
Let d = -4 + 7. Suppose -2*q = -d*q - 5. Let g = 4 + -10. Is q smaller than g?
False
Let m = 38.1 - 38.2. Is m smaller than 0.04?
True
Suppose 0*i = 4*i + 124. Is -31 at least i?
True
Let y = -11 - -17. Let g(i) = 2*i**2 + 10*i + 15. Let k be g(-3). Suppose -k*t + 63 = 45. Is y less than or equal to t?
True
Let r be 4/6 - 3668/5493. Which is bigger: 0 or r?
0
Suppose 15 = 5*r + 4*v, 0*v = 4*r + 2*v - 6. Let i be 60/9*(r - 2). Which is smaller: -21 or i?
-21
Let q = -36 - 33. Let p = q - -81. Which is smaller: p or -2/13?
-2/13
Let l(h) = 2 - 13 - 6 + 3*h - 8. Let b be l(8). Is -2/99 smaller than b?
False
Suppose -x - 21*z + 272 = -25*z, -4*x + 1139 = z. Which is greater: x or 285?
285
Let d(p) = -p**3 - 7*p**2 + 7*p - 11. Let a be d(-8). Let t be 4/a*8/1296. Let w = t - -265/2673. Is w > -1?
True
Let o = 12 - 12.05. Let w = -0.15 - o. Let u = w - -0.2. Is -2 greater than u?
False
Let t be (-290)/20*(-2 + 264/130). Let g be (-31)/(-52) + 2/8. Let q = t + g. Is 0 greater than or equal to q?
False
Let r = 35 + -61. Is 0 at least as big as r?
True
Suppose x + 14 = -5*w, -2*w + 0*x = -2*x + 8. Let v be (-2 + 90/27)/(20/(-42)). Which is smaller: v or w?
w
Let c = 25 + -17. Suppose c = 3*v - 7. Do 6 and v have the same value?
False
Let n = 134/9 + -400/27. Let d be ((-6)/(9/3))/(2/(-1)). Which is smaller: n or d?
n
Let p be (-255)/2016 - 6*(-5)/315. Let b = -1 - -1. Is p > b?
False
Let y be 0 + 0 + 4/2. Suppose y*p + 5 - 17 = -5*h, 3*p - 4 = -4*h. Suppose -9 - 1 = 5*o, 4*j - h = 2*o. Is 2/41 greater than j?
True
Let w be (5 + (-33)/6)/(-5). Is -41 smaller than w?
True
Let u = 6 + 0. Suppose -u - 10 = -g. Suppose 2*f = 5*n + 33, 2*f + g = 6*f. Are n and -5 nonequal?
False
Let w = 56.88 + -57. Let q = 0.12 + w. Which is smaller: 0.09 or q?
q
Suppose 0 = -2*g - 3*l - 0*l - 291, 3*g - l = -409. Let b be (g/24 - -5)*10/(-3). Is -1 less than b?
True
Let w be (112/24)/7 - 458/(-78). Which is smaller: w or 8?
w
Let w(f) = 3*f**2 - 7*f - 1. Let d be w(3). Let o = -4 + d. Let i be o/(-4) - 82/56. Which is greater: i or -1?
-1
Suppose 3*h - 506 = 505. Let g = -9100/27 + h. Do g and -1 have the same value?
False
Let i = 1217 - 110745/91. Which is bigger: 0 or i?
i
Let c = -215/6 - -36. Do c and 1/17 have different values?
True
Suppose 2*h = 3*s - 0*s - 173, 2*h + 4*s = -180. Do -87 and h have the same value?
False
Let g = -7 + 9. Suppose 0 = t - 1 - 4, -4*t = -g*d - 22. Is -1/27 bigger than d?
True
Let b(n) = n**3 - n**2 - 21*n + 34. Let f be b(4). Which is bigger: -26/47 or f?
-26/47
Suppose 3*j + 2*d - 37 = 0, 0 = 5*d - 0*d + 20. Let n be (3*5/j)/(-83 + 4). Which is smaller: n or 0?
n
Let h = 177 + -180.1. Let n = h - -0.1. Is 12 at most n?
False
Let n = 0.13 + -0.23. Which is bigger: n or 173?
173
Let w(u) be the third derivative of -u**4/24 + 2*u**3/3 - 2*u**2. Let z be (6/5)/((-6)/(-60)). Let q be w(z). Is -8 < q?
False
Let o = -1/746 - 2099/103694. Is -1 <= o?
True
Suppose 57*p - 23 = 80*p. Which is bigger: p or 1/193?
1/193
Let t = -32.4 + 34