 = -236 + 234. Let s = -23 + 24.01. Let c = s - 1. Is c not equal to p?
True
Let k = 0.4 - 0.5. Let m = 0.29 + -1.29. Which is greater: m or k?
k
Let h(g) = 2*g**2 + g - 1. Let k be h(-2). Let p be -2 + k + 0 - 0. Suppose -p*y = -y. Is y > -4/11?
True
Let n = 0.05 + 0.19. Let z = n - 0.2. Let b = -2973 + 2973. Which is bigger: b or z?
z
Let b = 16 + -15. Let x(r) = -r + 2. Let z be x(-5). Suppose -z = 5*s - 4*f, 4*f - 12 = -0*f. Are b and s equal?
True
Let w = -4.32 - -0.32. Let p = w - -1. Which is smaller: p or 0?
p
Let u(z) = 4*z**2 + 12*z - 4. Let f(s) = -s**2 - s + 1. Let b(d) = 3*f(d) + u(d). Let x be b(-9). Is x greater than -3/20?
False
Let o = -0.1 + 0.03. Let v = o + 0.07. Let u(b) = b**3 - 5*b**2 - 6*b - 14. Let c be u(6). Do c and v have the same value?
False
Let o be 3*(4 - 50/12). Let k be (6/10)/((-12)/(-50)). Is k less than or equal to o?
False
Suppose -2*t + 3*l = 4*l - 8, 3*l - 18 = -3*t. Suppose t*b - 3*k = -34, -b = 2*k - 3*k + 15. Is b at most as big as -10?
True
Suppose 2*k + 4*j = -2*k, 5*j = -20. Suppose 6*z - 7*z = 0. Suppose k*i = -z*i + 36. Is -1 at least i?
False
Let t be 10/15 - 2/3. Let u = -2/3 - t. Is -1 equal to u?
False
Let h = -19.36 - -6.36. Which is bigger: h or -69?
h
Let y be ((-2244)/(-36))/(-17) + 0 + -3. Which is smaller: -9 or y?
-9
Let f(i) = -i**2 + 6*i - 3. Let q be f(6). Let l = -71.13 - -0.13. Let j = l - -70.8. Are q and j equal?
False
Let f be (-7)/((-168)/(-208))*114. Is f smaller than -988?
False
Suppose -5*u - 330 = 5*j - 15, -5*u + 6*j = 271. Is -55 at least as big as u?
True
Let k be (-927)/15 - (-5 - (-52)/10). Is -62 at least k?
True
Let i = -5 - -6. Let y be 4 + (9/(-45) - (-1358)/(-360)). Do i and y have different values?
True
Let g = -11/2295 - 1815202/29835. Let t = 61 + g. Which is greater: t or -1?
t
Let z(c) = -3*c**2 + 37. Let w be z(5). Is -39 less than w?
True
Let t = 112 - 107. Let n = 15 + -9. Which is smaller: n or t?
t
Let m(p) = -p**2 + 9*p + 6. Let d be m(-10). Is -1 smaller than d?
False
Let l = 42 - -116. Let v = -158.3 + l. Which is bigger: v or 7?
7
Let v be 10/((-6)/10 - -1). Suppose -4*a - 3*r + 99 = 0, -r + 3*r + 6 = 0. Which is smaller: v or a?
v
Let v = 33 + -63. Let m = v + 13. Is m at most as big as 0?
True
Suppose 2*z - 15 + 1 = 0. Which is smaller: 32/5 or z?
32/5
Let h = 120.7 - 120.6. Let k = -33.1 - -35. Is k at most h?
False
Suppose -1 = 3*y - 7. Suppose 2*h = 6*h + 16, 1 = -3*v + 2*h. Let c be v/y*4/(-6). Is c greater than 1?
False
Suppose t = 9 + 14. Let q be 24 + (-1)/(4/(-4)). Is t greater than or equal to q?
False
Suppose -237 - 171 = -3*b. Is b greater than or equal to 137?
False
Let s = -940 - -938. Is s at least as big as -4?
True
Let m = 1195/56 - 5/8. Which is greater: 22 or m?
22
Let x = -2 + 3. Let f = 29 + -18. Let q = f - 11.2. Is x bigger than q?
True
Suppose -95 = -3*w - 602. Let c = 673/4 + w. Which is smaller: c or 1/7?
c
Suppose 16*p + 3 = 13*p. Is -4/53 != p?
True
Let q be -1 + 116 - (5 - (0 + 4)). Let s = q + -154. Which is smaller: s or -122/3?
-122/3
Let b = 15.185 + 3.343. Let p = 3.518 - b. Let a = 15 + p. Which is smaller: 1 or a?
a
Let f be (-16)/(-10)*500/8. Let h be 208/f + (1 - 3). Is -1 <= h?
True
Let b = -485.5 - 11.5. Do 1 and b have the same value?
False
Let h = -87 - -85. Which is smaller: h or 0.2?
h
Suppose -5*b = 3*u - 24, 2*b + 0 = 6. Suppose f = c + 5, 0 = -4*f + u*c - c + 14. Suppose -f*t + 3 = -3*t. Which is greater: 0 or t?
0
Suppose -6 - 50 = -2*j. Let b = -16 + j. Let p be 12/(-2*9/b). Which is smaller: -7 or p?
p
Let s(x) = 2*x**2 + 1. Let b be s(-1). Suppose -5*q + 89 = -6*y + b*y, -4*q + 58 = 2*y. Let t = 8 - q. Which is greater: t or -7?
-7
Let k = 5 - 17.6. Let b = 21.5 + k. Is b less than -1/3?
False
Let d be (-8)/44 - ((-262)/(-11) + -1). Let t be ((-7)/(-4 - -39))/(4/470). Which is smaller: d or t?
t
Let m = 8340 - 33687/4. Is -1 <= m?
False
Suppose -3*d + 96 = d. Let y = 24 - d. Let m be 2 + 2 + -17 + y. Which is smaller: m or -14?
-14
Suppose -5*u = 10 + 20. Suppose -32 - 46 = 13*h. Let r be ((-9)/u)/(h/(-8)). Is 4 greater than or equal to r?
True
Let y = 226 + -226. Let u be 0/(2 + 1) + -3. Which is smaller: y or u?
u
Let b = -22 + 21. Which is smaller: b or -998?
-998
Suppose -2 = y - 4. Suppose -y*k = -4*k + 52. Suppose -5*r + 51 = 3*g, k = 3*g - r - 7. Is 11 greater than g?
False
Let w be 2/(-12)*3*(-16)/(-148). Which is greater: 1 or w?
1
Let o(d) = -2*d**3 + 4*d**2 - 2*d. Let s be o(2). Let i be 3/3 + s - -2. Let w = -2 - -2. Is w less than or equal to i?
False
Let s(t) = t + 19. Let g be s(21). Let v be (g/14)/((30/(-5))/12). Is v less than or equal to -6?
False
Let s = 5.1 - 5. Let f be 44/(-2) - 44/11. Let o be f/39*6/(-8). Which is greater: s or o?
o
Let i be -1 + (-1 - 2) + 81. Let y = -78 + i. Which is greater: -2/23 or y?
-2/23
Let n be (-30)/16*((-196)/35)/(-4). Which is greater: -4 or n?
n
Let q be (-1)/3 + (-290)/(-858). Let i = q - 719/858. Let c(m) = 27*m + 863. Let o be c(-32). Is i equal to o?
False
Let p(k) = k**2 - 27*k + 79. Let h be p(13). Is -4 less than or equal to h?
False
Let t be 2/(-15) - (-2454)/180. Let b = 13 - t. Let o(w) = -w + 2. Let y be o(3). Is y less than b?
True
Let x be (-75 + 1)*10/(-5). Suppose x = -0*o + 4*o. Let z = -7 + o. Are 29 and z non-equal?
True
Let y = 1/445 - -4437/5785. Suppose -36*i + 4545 = 4509. Is y at least i?
False
Let u = -9 - -9.3. Let a = -0.2 + u. Let f = -0.135 - -0.035. Which is smaller: a or f?
f
Suppose 4*z = 22 + 22. Suppose 3*p = -z - 28. Let h = p + 16. Are 4 and h unequal?
True
Let o = 0.1 + 0. Suppose 126 - 114 = -6*i. Let m be 4*(i/5)/((-12)/(-195)). Which is smaller: m or o?
m
Let i be (-27)/(-660)*(-45)/(-108). Is 0 bigger than i?
False
Let c(s) = -2*s - 13. Let v be c(-12). Suppose 4*o = -4 + 44. Is v at most as big as o?
False
Let o = -2.5 + -15.5. Let b = -30 - o. Let j = b + 13. Which is smaller: -2/7 or j?
-2/7
Let s = 11.98 - 0.58. Let b = -11.45 + s. Which is bigger: 0.1 or b?
0.1
Let b = 2231 + -751848/337. Is b bigger than -1?
True
Let k = -485 + 484. Let d be 1 - (74/68 - 0). Is k at most as big as d?
True
Let p(q) = q**3 + 8*q**2 + 5*q + 4. Suppose 2*b + b - 2*m + 22 = 0, 0 = 5*b + 4*m + 22. Let o be p(b). Which is bigger: 45 or o?
o
Let w = 27 + -45. Let x be 11/76 + w/72. Let q = -0.2 - -0.1. Are q and x non-equal?
True
Let l be 1005/75 + (-6)/15. Which is greater: 17 or l?
17
Let y be (-6)/4*6/(-3). Let n be 3 - (6/y + 1). Suppose 2*s + a - 25 = n, -5*s + 2*a + 40 = -0*s. Is s at least as big as 10?
True
Let i(z) be the third derivative of -z**6/120 + 7*z**5/60 - z**4/4 - 5*z**3/6 + z**2. Let t be i(6). Let a(m) = -4*m**2 + 11. Let u be a(2). Is t less than u?
False
Suppose -4*y = 3*p - 590, -p + 296 = 2*y + p. Let f = y - 335. Let k = f + 9263/49. Is k < -1?
False
Let n = -1 - -2. Suppose -5*k - 14*k = 57. Let p be 135/(-444) + k/(-12). Which is smaller: n or p?
p
Suppose -5 = 5*v + 3*j - j, -3*v + 2*j = -13. Let t be (-2 - v/(-1)) + 1*2. Which is greater: t or 7/17?
t
Let i(k) = 2*k**3 + 5*k**2 - 2. Let z be i(-4). Let y = z - -51. Is y equal to 2/3?
False
Let f = -3.3311 - 0.0249. Let r = f + 0.196. Let a = -0.16 - r. Is 0.1 > a?
False
Suppose 6 = -5*x + 46. Let u = 11 - -5. Let l = u - 7. Which is greater: x or l?
l
Let o = -625.1 + 625. Is o bigger than -283?
True
Let n = 38 - 40. Let t(v) = v**3 - 4*v**2 - 5*v - 1. Let j be t(5). Let u = j - -2. Which is bigger: n or u?
u
Let l = 204 + -13257/65. Which is greater: -1 or l?
l
Let g(w) = -w**3 - 20*w**2 - 75*w - 402. Let x be g(-17). Let k be 5 - (0 - 0)*1. Which is bigger: x or k?
x
Let d(h) = h**3 + 7*h**2 - 18*h - 62. Let q be d(-6). Which is greater: 81 or q?
q
Let d = -12/11 + 82/55. Let a = -2 - -3. Which is smaller: a or d?
d
Let o be (-1768)/(-6) + 14/(-21). Let b = o + -36. Let x = 1543/6 - b. Are -1 and x equal?
False
Let c be (28/(-42))/((1/(-21))/(-1)). Let t = c + 27/2. Which is smaller: 0.9 or t?
t
Let h = 280 + -295. Which is smaller: 5 or h?
h
Let p be (-2 - 1)*(16/3)/(-1). Which is bigger: 3/4 or p?
p
Let h = -78 + 86. Let a be (-196)/120*h/(-14). Which is bigger: 2 or a?
2
Let k be (2 + 0)/(4/36). Is 27 less than or equal to k?
False
Let y(t) = 7*t**2 - 1. Let c be y(-1). Suppose 0 = -2*b + 3*b. Suppose 3*g + 2*g = -o + 21, 2*o - 2*g 