 equal to y?
False
Let b = -16 - -13. Let u be 1*b/(-9) + (-3)/(-3). Which is smaller: u or -0.1?
-0.1
Suppose 24*b + 5*b - 725 = 0. Which is smaller: 24 or b?
24
Suppose 60*k + 58*k + 280 = 128*k. Let w be 2/5 + 286/10. Which is bigger: w or k?
w
Let z = 3 + 9. Let w be -78*2/z*-2 - -4. Is w less than 30?
False
Let l = -190.1 - -201. Let n = 9.9 - l. Does 40 = n?
False
Let z = -1891.935 - -1892. Which is bigger: -9 or z?
z
Let b be 114191/1155 - (32/(-15) + 2). Which is bigger: 0.7 or b?
b
Let c(j) = j**2 + 3*j - 71. Let i be c(-10). Is i at least 12/65?
False
Let n = -39 + 19. Is n >= 2?
False
Let r be (-2 + -5)*6/(-7). Let b(g) = -g**2 + 3*g + 7. Let x be b(5). Let w be r*(87/(-27) - x). Which is bigger: w or -2?
w
Suppose s + 8*g - 3*g - 115 = 0, 5*g + 695 = 5*s. Let t be ((-10)/s*-3)/(-1). Which is bigger: t or 1?
1
Let s = -0.086 + 75.086. Which is greater: -1/3 or s?
s
Let x be 2 + 5 + ((-5648)/(-212))/(-4). Is 1 > x?
True
Let i(v) = -6*v - 24 + 16*v - 6*v. Let k be i(6). Is k at most 5/8?
True
Let q = 0.195 - -0.005. Let v = 1 + 2. Do q and v have the same value?
False
Let u = -4.59 + 6.89. Is 6 != u?
True
Let y(v) = v**3 - 4*v**2 - 18*v + 13. Let o be y(6). Which is smaller: -24 or o?
-24
Let b be ((-105)/(-25) + -3)*-5. Let o(g) = g**3 + 5*g**2 - 7*g - 1. Let y be o(b). Is 0 at least y?
False
Suppose 0 = a + 2, -a - 237 - 69 = 4*i. Which is bigger: i or -74?
-74
Let d = -0.4 + 0.48. Let u = 1.2 + -1.18. Let o = u + d. Which is smaller: o or -0.03?
-0.03
Let y = -678 - -677. Suppose -4*b + 5*z = -26, 4*b + z - 14 = -0*z. Suppose 3 = -b*t - 5*k, 0 = -2*t + 7*t + 2*k + 8. Which is bigger: y or t?
y
Let u be 49/(-52) + (-13)/(-13). Let f = 217/156 - u. Let s(q) = q**3 + 3*q**2 - 5*q. Let n be s(-4). Does n = f?
False
Let r = -0.5 + 0.6. Let s = -0.081 - -9.481. Let v = s - 9. Is v greater than or equal to r?
True
Let q = 12 + -9. Let s = -266 + 265. Is s bigger than q?
False
Suppose -5895*x = -5887*x - 16. Which is smaller: x or 1/4?
1/4
Let j(k) = k - 10. Let q(c) = -5*c + 51. Let l(g) = -11*j(g) - 2*q(g). Let h be l(20). Which is smaller: h or -1?
h
Suppose 2*j = -5*s - 1, -8 = -0*s + 2*s - 3*j. Let l be (s - (-14)/18) + (-676)/36. Is -19 not equal to l?
False
Let k be (9/30)/3*1/(-4). Let d = k + 433/40. Which is bigger: d or 11?
11
Let v = -121 + 121. Is v greater than 101?
False
Let b(a) be the third derivative of a**6/120 - a**5/12 + a**4/4 - 8*a**3/3 - 28*a**2. Let z be b(4). Which is bigger: -7 or z?
-7
Let p = 42 + -40. Suppose p = 4*y + 2*d, 3*y + 7 = 4*d + 3. Is -2/97 greater than y?
False
Suppose -4*i - 20 = 64. Let b be (i/(-91))/(6/8). Is 1 at most b?
False
Let i be (-5 - -10)/(-5) + -45. Let h = -85 - i. Are h and -39 unequal?
False
Let u = -42663/53 - -805. Which is smaller: 1 or u?
u
Let q be (-10)/4*(-4)/10. Let f be 77/38 - (143/(-22) - -8). Is q < f?
False
Let n = 26 - 20. Let r = n + -12. Which is bigger: r or -4?
-4
Let o = 38 - 39.9. Let v = o - -2. Let d = 512 + -512.03. Is d at most as big as v?
True
Let l(m) = m**3 + 2*m**2 + 2*m + 1. Let i be l(-1). Suppose r = 2 - i. Is r greater than 4?
False
Suppose 2*c - 2*m - m - 403 = 0, 3*m - 373 = -2*c. Suppose 3*z - 23 = -c. Let p be z/(-76) + (-2)/8. Is -3/13 at most as big as p?
True
Let v = 40677 - 22301. Let d be 14/(-35) + v/90. Let u = 204 - d. Is 3 less than u?
False
Let z = -1093 - -1092.9. Which is smaller: 63 or z?
z
Let a = 429 + -432. Is 1 smaller than a?
False
Let n = 18 + -18. Let u = n + 0. Suppose 2*l - 3*h = 0, -5*h = -u*l - 5*l. Which is smaller: l or -2/27?
-2/27
Let x be (63 + 78/(-6))*(-16 + -1). Is -851 < x?
True
Suppose -x - 636 + 153 = 0. Let m be 8/14*(x/70 - -7). Which is smaller: m or -1?
-1
Let n = -3.221 + 0.021. Let b = -1.5 + 2.7. Let l = n + b. Is l < -1/2?
True
Let a be (-660)/25*((-297)/(-18) - -6). Which is bigger: a or -592?
-592
Let i = 3.24 + -3.34. Which is smaller: -444 or i?
-444
Let a(q) = -29*q**3 + 2*q + 1. Let y be a(-1). Let l = 26 - y. Is l greater than 2?
False
Let a be (20/60)/((-254)/(-6)). Let b = 38 + -38. Is a != b?
True
Let y(u) = -9*u**2 + 18*u - 17. Let d be y(3). Which is bigger: -39 or d?
-39
Suppose -3*g - 11 = 2*k, -3*g + k - 21 = -2*k. Let x = 5 + g. Do 38 and x have the same value?
False
Suppose 9*m - 4*j + 336 = 7*m, -20 = 4*j. Is m <= -177?
True
Suppose 5*h + 2*p = -1 + 4, 4*p - 11 = -5*h. Which is smaller: -1425 or h?
-1425
Let k = 20.8 - 20.8. Let j = -1.1 - -0.1. Let b = j + -4. Which is greater: b or k?
k
Let n be 16/240*-3*(-1 - 0). Suppose 0 = 4*c + b - 9, 4*b = -5*c - b + 15. Let o(y) = -y**3 + 3*y**2 - 2*y. Let z be o(c). Which is greater: n or z?
n
Let f(q) = q**2 + 3*q + 1. Let i be 0/(8 + -1 + -4). Suppose g + 3*g + 12 = i. Let n be f(g). Is n at least -2/23?
True
Let l be 3/(-9)*((-76)/16 - -4). Let w(s) = -1. Let c(q) = -q - 3. Let u(a) = c(a) + 2*w(a). Let j be u(-5). Is l at most as big as j?
False
Let t = -740 + 865. Which is smaller: t or 128?
t
Suppose -3*v - 2*p = 3 - 2, -5*v - 2*p = -1. Let c be -2 + v + 2 + 65. Let k be 258/c + 1 + -4. Is k greater than 0?
True
Let g = 46 - 47. Let p be (14 - g)*(-16)/(-216). Which is bigger: 1 or p?
p
Suppose 0 = -5*i - 2*m + 10, 3*i = 8*i + 4*m - 10. Let r be (-8)/32*i/4. Is r smaller than -1?
False
Let z be (-7)/(1 + 5/(-4)). Which is smaller: 0.07 or z?
0.07
Let f = 577 - 21347/37. Let u be 11/3 + 4/(-6). Suppose 0*t = u*t. Are f and t nonequal?
True
Let i = -7976/101541 + 14/187. Which is smaller: i or 1?
i
Let j be (300/(-40))/((-9)/(-30)). Which is smaller: -171/7 or j?
j
Let m be ((-10124)/(-16) - 3) + (-1)/(-4). Let t = 4426/7 - m. Let k be 1/(-2 - 5/(-2)). Is k >= t?
False
Suppose 2*c - 7*j + 107 = -4*j, 0 = -j - 3. Which is smaller: c or -64?
-64
Suppose -5*w = -0 - 5. Let v be 22/(-11) - 428/(-10). Let q = 1617/40 - v. Is w bigger than q?
True
Let g be (-8*9/108)/((-4)/(-6)). Is g < 376?
True
Let o be (-4)/(-34) + (-4 - 166/(-34)). Which is smaller: o or 3/193?
3/193
Let u = -318 - -2238/7. Which is bigger: 1 or u?
u
Let t be 1/(-20) + (-2)/(-8). Let k = 25 - 22.8. Let m = k + -1.2. Which is bigger: m or t?
m
Let w(c) = 2*c**2 + 66*c - 42. Let r be w(-34). Which is smaller: 22 or r?
22
Suppose 64 = 3*q - i, -5*q + 100 = -5*i + 2*i. Is q bigger than 18?
True
Let w = 0.0056 + -20.9056. Let t = -20 - w. Let d = t + -1. Is -4 at least d?
False
Let p be 13470/(-12)*1/(-90). Let h be (-2 - 0)*(-49)/8. Let l = h - p. Which is greater: l or 1/3?
1/3
Let b = 1.1 - 2.1. Let y = 0 - -1. Let j = y + b. Is j at least as big as 1?
False
Suppose -g = 4*q + 72, g - q = q - 60. Is g less than -63?
True
Let a be ((-3)/(30/(-25)))/((-20)/(-48)). Which is bigger: 27/4 or a?
27/4
Let z = -8/1245 - -30311/2490. Let x = z + -341/30. Is x <= -1/6?
False
Let o(d) = -17*d - 118. Let l be o(-7). Which is greater: 2 or l?
2
Let m be ((-2)/6)/(256/(-72)). Let l = -89/96 + m. Let i(o) = o**2 - 7*o - 9. Let w be i(8). Which is smaller: w or l?
w
Let o(b) = -22*b + 4. Let v(i) = -i - 15. Let z be v(-16). Let k be o(z). Are -18 and k equal?
True
Let x = 3/83 - 365/7802. Is 1 > x?
True
Let w be 2/5 + 2/(-5). Let x = -16/9 - -143/45. Is x greater than w?
True
Let i = 15/2 - 73/10. Let c = -40 + 39.63. Let a = c - -0.42. Is a less than i?
True
Let w = -135126/913 - -148. Which is greater: 1 or w?
1
Let q = -0.36 - -3.06. Let r = q - 1.7. Let a = -58 - -78. Is a at least r?
True
Suppose 3*o - 5*b = o + 800, 3*b = -5*o + 2000. Does o = 401?
False
Suppose 3*k - 3*t = 9, 3*t - 33 + 6 = -3*k. Let p(s) = -s + 5. Let d be p(k). Which is smaller: d or -1/11?
d
Let o(g) = -2*g**3 + 3*g**2 - 4*g + 2. Let h be o(2). Let t = h - -29. Is t bigger than 18?
True
Suppose -9*b = 151 + 416. Let o = b + 57. Is -7 <= o?
True
Let r be (-111)/(-5)*1/(-21). Let t = 322 + -1616/5. Let l = r - t. Which is greater: 0 or l?
l
Suppose -4 = 3*i + 11. Let r = -1 + i. Let c be (2/3)/((-24)/252). Which is smaller: r or c?
c
Let c = -954 - -3051. Is c equal to 2096?
False
Let j(x) = -x**3 + 6*x**2 - 9*x + 55. Let q be j(6). Let t = 0.7 + -0.2. Let s = 0.7 - t. Which is smaller: q or s?
s
Let f = 22 - 271. Let l = f + 3239/13. Suppose 5*i + 2*u + 9 - 16 = 0, -4*i = -4*u. Are l and i non-equal?
True
Let t(p) = 2*p + 38. Let w be t(-19). Let m = 3442 + -65380/19. Do w and m have the same value?
False
Suppo