= -2.972 + 53.982. Let x = u - 51. Is l smaller than x?
True
Let w(y) = y**3 - 5*y**2 - 13*y + 41. Let m be w(6). Is 3/25 smaller than m?
False
Let s = -1066/15 + 71. Suppose -8 = 6*h + 10. Let x be h + 4 - (-1 + 2). Is x less than s?
False
Let x be (1012/(-424) - -2)*4. Let k = -9864/6307 - x. Which is smaller: k or -1?
-1
Let y(u) = 4*u**2 - u - 2. Let j be y(-1). Suppose 6*h = h - 5*p, h + j*p = 6. Is h greater than or equal to 2?
False
Let t be 51/57 + (-11)/((-55)/(-15)). Is -2 greater than or equal to t?
True
Let x(u) = 3*u + 3. Let y be x(0). Suppose y*b - 2*t + 10 = 0, 3*b = -2*b - t + 5. Which is bigger: 3/5 or b?
3/5
Let b = 16 - 7. Let d = b - 9.1. Let c = d - 0.9. Which is greater: 3 or c?
3
Let i = 2 + -7. Let g = 909 - 912. Which is smaller: g or i?
i
Let f = 2351/6 - 406. Which is smaller: -14 or f?
f
Let y be 6 - (138/15)/((-8)/(-40)). Let p(q) = 4*q**3 - 4*q**2 - 2*q + 4. Let h be p(3). Let b be ((-2)/(-16))/(h/y). Do b and 1 have the same value?
False
Let v be ((-40)/(-6))/((-18)/(-27)). Suppose v*j - 6*j = -368. Let a be 28/j + 1/3. Is -1 < a?
True
Let d = 1522 + -1520.3. Let k = -0.26 - -1.96. Let o = d - k. Which is smaller: o or 2/11?
o
Let h be ((-126)/12)/(-3 - -12). Let g = 0.97 + 0.03. Which is smaller: g or h?
h
Let y(t) = 13*t**2 + 5*t + 6. Let g be y(-1). Let d = g + -279/20. Suppose 0 = 4*r - 4 - 0. Which is smaller: d or r?
d
Let z = 55964/35 - 1599. Suppose -5*f - 10 = -3*d + 3, 5*f + 5*d + 5 = 0. Let x be f/(2 + -4) - 0. Does x = z?
False
Suppose 3*y + 6 = -2*b, -2*y + 2 - 6 = 2*b. Let m(p) = -p - 1. Let k be m(y). Suppose -5*j - 20 = 0, -3*w - 3*j + 18 = 6. Which is bigger: w or k?
w
Let g(b) = b**3 + 6*b**2 + b - 4. Let y be g(-5). Let f = 37.1 + -8.1. Let z = f - 29. Is y less than or equal to z?
False
Suppose 0 = -7*q + 4*q + 42. Let g = -34 + q. Let y = -20 - g. Are 2 and y unequal?
True
Let x be 4/(-12) - (-1)/3. Let l be 2 + ((-363)/(-143))/((-10)/8). Let d = 301/780 - l. Is x > d?
False
Let y be (1*2/142)/(-1). Let t(d) = -d**2 - 27*d - 163. Let i be t(-18). Which is bigger: y or i?
y
Let w(q) = 2*q**2 + 7*q + 6. Let n be w(-5). Suppose 4*j - 84 = m, 56*j - 2*m + 12 = 57*j. Is j > n?
False
Let q = -343 - -346. Which is smaller: q or 20?
q
Let t be -1037 + (-2 - -9) + (-10)/10. Is t > -1032?
True
Let t be (-7)/21 - 22/(-3). Suppose 11 = 7*u - 66. Is t less than u?
True
Let w(v) be the second derivative of -v**3/6 + 19*v**2/2 + v. Let z be w(14). Is z at most as big as 4?
False
Suppose -21988*s + 21997*s = -81. Let b(m) = m + 6. Let q be b(-5). Let a be (-14 - -2)/q - -2. Which is greater: s or a?
s
Let b = -3.8 - -5.5. Let v = 2 - b. Suppose 4*q - 18 = -5*f, -2*f = -6*f - 2*q + 12. Which is smaller: f or v?
v
Suppose -2*f + 0*f = -8. Suppose -k + 2*x = -15, 4*k = 5*x + 24 + 21. Suppose 0 = k*b - 4 - 6. Is f at least as big as b?
True
Suppose -u - 12 = 38. Let c = -48 - u. Which is smaller: 3 or c?
c
Let p(l) be the second derivative of l**5/20 - 7*l**4/12 - 7*l**3/6 - 3*l**2 - 5*l. Let q be p(8). Let r = -365/4 + 92. Is r > q?
False
Let b(n) = -89*n - 25. Let x be b(4). Which is smaller: x or -382?
-382
Let x be (-6)/(-2) + (-26)/(-2). Suppose 147*k = 141*k + 90. Is x not equal to k?
True
Let d be 15/160*(-3938)/33. Which is smaller: -12 or d?
-12
Let u = -14 + 14. Let r = 0 + u. Let o be r + -1*(-4 + 1). Is o smaller than 4?
True
Let c be 1*2018*-9*(-9)/(-162). Which is greater: 0 or c?
0
Let k be (2/3)/(2652/(-531) - -5). Suppose 3*i = -4*g + 114, -5*g + 22 = 5*i - k. Is g at most as big as -0.1?
False
Suppose 0 = f + 4*f. Let c = -4332 + 26377/6. Let q = c - 5009/78. Which is greater: q or f?
f
Let y be (-10 - -7 - -18) + (-3 - 1). Suppose 3*b + y = 2*h, -2 = 4*b - 2*h + 12. Which is smaller: 1 or b?
b
Let g = -10/13 - -397/533. Let f = -25383/4 + 5203207/820. Let a = f + g. Is a greater than 1/4?
False
Suppose 81*p - 76*p = -4825. Is p less than -965?
False
Let w be (-6)/9 - 3/((-9)/53). Suppose 5*p = 22 - w. Is p bigger than 1/20?
True
Let y = -0.03 - -4.03. Let d = -47 - -41. Let z = y + d. Which is bigger: -3 or z?
z
Let s = 24/17 + -449/306. Which is smaller: -1 or s?
-1
Let m be ((-1)/(-5))/(2/50). Suppose 2*s - 4*x = -34, 2*s - 4*x + 41 = -s. Let t = s - m. Is -14 less than t?
True
Let l be 3592/(-46) - (-30)/345. Which is smaller: -76 or l?
l
Let u = -1/30 - -7/10. Let a = -0.17 + 7.17. Let l = -8 + a. Is l not equal to u?
True
Let j be (2/(-2))/(1 - 0). Let t = -9 + 13. Suppose -4 = 4*r + 2*x + x, 4 = -t*r + 4*x. Are r and j nonequal?
False
Let j = 67/2 + -33. Suppose v + 0*v - 1 = 0. Let h be -1 + (v - 9/(-12)). Which is greater: j or h?
h
Let q = 7 + -3. Let b be (-64)/12 - q/6. Let h = -15 - -10. Which is smaller: h or b?
b
Let o(k) = -k**3 - 13*k**2 - 8*k - 15. Let y be o(-12). Let a be 12/21 - 62/y. Which is bigger: 2 or a?
2
Let n be (-420)/(-147)*(1 + 6). Suppose 3*w = 5 - n. Let f(s) = -s**2 - 13*s - 16. Let x be f(-12). Which is smaller: x or w?
w
Let g be (2 + -3)*(18/(-19))/3. Suppose -6 = -x - 2. Let o be 0/(x/(-2)) - 1. Are g and o equal?
False
Let m(n) = 2*n**2 + 127*n + 66. Let k be m(-63). Let t(h) = 8*h - 1. Let g be t(2). Which is greater: g or k?
g
Suppose 5*s - 75 = 3*x, -3*s + 3*x + 29 = -2*x. Suppose -s - 9 = 9*p. Is -1 < p?
False
Let c be (-450)/(-1050) + (0 - 78/(-14)). Is c <= 4/17?
False
Suppose 32*a - 900 = 1180. Is a bigger than 67?
False
Let b = 4.2 - 1.2. Let o = -1.7 - -6.7. Which is smaller: o or b?
b
Suppose 150 = -4*g - 2. Let i = -1151 + 1149. Which is greater: g or i?
i
Let h = 89 - 126. Let t = h - -64. Let b be 2/9 + 21/t. Which is smaller: b or -2/11?
-2/11
Suppose -19 - 51 = -5*j. Let l = -107 - -81. Let t = l + j. Is -12 >= t?
True
Let t be ((-204)/(-14))/(-18 - -17). Is t less than -15?
False
Suppose q - 5*t = 14 + 11, 0 = q - t - 9. Suppose 0*b - 5*b + 20 = d, 3*b - 12 = -4*d. Is b < q?
True
Let j = -0.3 + 0.35. Let g = j - -2.95. Let d = g + 2. Which is bigger: 1/4 or d?
d
Let k be 7/(-7) + -46 + -2. Let a = 50 + k. Is 4/7 less than or equal to a?
True
Let w = -198/5 + 2837/70. Let d = -3/7 + w. Let m = -195/4 - -49. Is d equal to m?
False
Let k = -1542/9325 - -2/373. Let i = k + 254/1275. Which is greater: 1 or i?
1
Let f = -0.1 - -0.12. Let j be ((-16)/48)/((-14)/162) + -2 + -2. Is j less than f?
True
Let p = -377 - -326. Which is smaller: p or 3?
p
Let l = -1876/5 + 374. Let v = l + 81/55. Is v greater than 0?
True
Let o = 3.71 - 0.01. Let c = -3.8 + o. Is -7 > c?
False
Let m(n) = 12*n - 35. Let z be m(5). Suppose -c = -z - 22. Is c != 47?
False
Suppose 0 = -2*w + 62 + 10. Suppose -w = -i + 4*i. Let r = 12 + i. Is r at least as big as 2?
False
Suppose 12 - 2 = w. Suppose -3*s - o = -22 - 6, 0 = -3*s - 4*o + 22. Are w and s equal?
True
Suppose i + 166 = 163. Is i less than or equal to -3/5?
True
Suppose 0 = w - f - 331, 3*w - 41 - 942 = -2*f. Which is smaller: w or 330?
w
Suppose -t + 4*q - 584 = 3*t, t - 2*q = -147. Let u = 97 + t. Is -49 bigger than u?
False
Let z = -4.3 - -3.4. Let l = z + 0.6. Is 0.2 bigger than l?
True
Suppose 15*b - 18*b + 9 = 0. Suppose 0 = 2*m + w + 5, 0 = 4*m - b*w + 4*w + 11. Is m at most as big as -0.3?
True
Let x = -0.02 + -1.98. Suppose -2*m - 3*r = -5, 0 = r - 3 + 6. Let g be ((-8)/112)/((-2)/m). Which is greater: g or x?
g
Let k = 0.02 + -0.12. Let l = -8773/9 - -975. Is l equal to k?
False
Let z = -13/161 + -8/23. Are 44 and z equal?
False
Suppose 6 = -3*s, 4*r = -3*s - 1662 - 720. Is -594 at most r?
True
Let l(a) = -a**3 + 6*a**2 - 7*a + 6. Let u be l(5). Let z be 2/(-3 + 5 + u). Which is greater: 2/95 or z?
2/95
Let g = 7 - -4. Let n be (4 - 5)/(1/(-3)). Let x be n/3 - g/13. Which is smaller: -1/3 or x?
-1/3
Let m(k) = -5*k**2 - 37*k - 13. Let c be m(-7). Are c and -3/122 non-equal?
True
Let v be 56/(-16)*(-2)/(-5). Is v equal to -2?
False
Let h = -5 - -4. Let b = 0.009 - 2.909. Let g = 10.9 + b. Is h < g?
True
Let g(v) = v**2 + v - 4. Let z be g(0). Let l be (z/3)/(((-30)/(-9))/(-5)). Which is smaller: l or 22/13?
22/13
Let c be 2 - -3 - (-13 + -712). Which is smaller: 729 or c?
729
Let j(y) = -y**2 + 11*y - 2. Let p be j(10). Suppose -5*h + 7 = -p. Suppose x + h*i - 9 = 0, 2*x - 2*i - 2 = -0. Which is smaller: 6 or x?
x
Let y(q) = 4*q + 15. Let x be y(-6). Let c be 8/32 - x/(-4). Let b(d) = d + 2. Let p be