True
Suppose 2*o - 2*j + 26 = 0, o + 0*o - 12 = -4*j. Let l be o/(-14) - 22230/38437. Which is smaller: 0 or l?
l
Let s(p) = p**3 + 19*p**2 + 34*p + 1. Let m be s(-17). Is m <= -11/56?
False
Suppose 9*z - z = 176. Is z at most 21?
False
Let w = 131 - 671. Let s = -50222/93 - w. Which is greater: -1 or s?
s
Let g(l) = 205*l**2 - 3*l + 20. Let t be g(3). Let c = t + -131782/71. Is 0 bigger than c?
True
Let a = -42818 + 42786. Let y be (-12)/(1*(-6)/16). Let l be (-1 - y - -1) + -1. Does a = l?
False
Let x(k) = k**2 + 9*k - 8. Let y be x(-10). Let h(g) = -2*g**2 - 1 + 3*g**y - 2*g**2 - 1 + 6*g. Let p be h(6). Which is bigger: p or 5?
5
Suppose 12*v + 37 + 107 = 0. Let n = v + 36. Are n and 24 non-equal?
False
Suppose 0 = 4*d + j + 2585, 3*d + 2*j = 4*j - 1925. Let u be (-39)/d + 1/15*-3. Which is smaller: 1 or u?
u
Let t = -2.015 + 4.015. Which is bigger: -919 or t?
t
Let j(w) = -14*w**2 - 3*w + 4. Let v be j(2). Let d = 57 + v. Which is smaller: d or -1/3?
d
Let j(m) = m + 4. Let n be j(-10). Let a be (-40)/n - 5/(-15). Suppose 2*d - a*d = -25. Is 6 <= d?
False
Let x = 7.53 - 8.33. Which is smaller: -4.3 or x?
-4.3
Let m = -10 - -11. Suppose 2*n - m = 3. Let v = -1 + n. Is 0 greater than v?
False
Suppose -2*i - 8 = -4*v, -i + 5*i = -2*v - 6. Let o = -2.9 + -0.2. Let d = 3.5 + o. Is d less than i?
False
Let z = -24.5 + 18.5. Is -1/2 < z?
False
Let c be 2/(-2) - 0 - (-2 - -16). Let u be (-8)/4 + 64/28. Which is smaller: c or u?
c
Let p be 403/20 + 12/(-16). Let o = p + -5519/285. Are 0 and o equal?
False
Suppose -o - 69 = 2*d, 10*d = 13*d + 12. Which is smaller: o or -62?
-62
Let j be (-1)/(-11)*(0 - -20). Is j less than -0.06?
False
Let x = -41.05 + 42. Let o = 0.2 - x. Let r = o - 0.25. Do r and 5 have the same value?
False
Let d(a) = -a**3 - 10*a**2 + 29*a + 295. Let g be d(-10). Let z = -150/13 + 1603/104. Is z greater than g?
False
Let g be 2/(-5) + 6/15. Let t = 2 + g. Suppose 20 = 4*s + 5*o, 5*s + 0*o - t*o = -8. Is s bigger than 2/7?
False
Let r = 0 - -4. Let i = -68 - -72. Is i bigger than r?
False
Suppose -2*d + 55 = 2*d - 3*g, 0 = 5*d - 3*g - 68. Let q = d - 9. Let r = q - -9. Is 12 bigger than r?
False
Let y = 59323/755 - 393/5. Is y less than -1?
False
Let y be 9/(-2)*(-2)/3. Suppose -y*s - 3 = -2*q + 3, 5*q + 7 = 2*s. Which is bigger: 1 or s?
1
Let a = -9707/1662 + 2/277. Which is greater: a or 1?
1
Let c = -1138 + 1134. Is -130/29 less than or equal to c?
True
Suppose -u + 45*u = -8*u - 832. Suppose -3*g - 7 = 41. Is u less than g?
False
Let i = -31493018/644175 - -2/71575. Let x be -1 - (2 - 2) - 48. Let b = x - i. Which is bigger: 0.1 or b?
0.1
Let o = 0.22 + 13.78. Let u = o - 12.4. Let x = u + -0.6. Which is greater: -3/5 or x?
x
Let c = -318 + 256. Which is smaller: c or -184/3?
c
Let y = 5.09 - 7. Let v = y + 2. Let i = v - -0.11. Are 3 and i equal?
False
Let o = 729 + -728. Do -0.355 and o have the same value?
False
Let a(b) = -b - 1. Let h be a(-4). Suppose 2*r = h*r. Suppose -2*l + 7*l = -2*t - 17, 4*l + 2*t + 14 = r. Is -3 greater than l?
False
Let f = 132 - 104. Is 30 smaller than f?
False
Let v(x) = x**2 + 7*x + 1. Let p(z) = z**2 + 8*z + 1. Let h(a) = 2*p(a) - 3*v(a). Let m be h(-5). Which is smaller: -8/21 or m?
m
Let a(m) = -m**3 - 7*m**2 - 7*m - 1. Let s be a(-6). Suppose -w - 1 = -5*p - 3*w, p + s = -3*w. Let u = 10 - 11. Which is bigger: u or p?
p
Let d = 0 - 0.1. Suppose l = -3*m + 3*l - 217, 4*l = -4*m - 276. Let p = m - -72. Which is bigger: d or p?
p
Let r be (-18)/(-5) + 12/(-20). Let n(u) = 4*u**3 + u**2 - 1. Let g be n(1). Let x be g/((-12)/r) - -15. Is x greater than or equal to 15?
False
Let b = -48 + 48.43. Let u = b - 0.03. Let s = 0.1 + -0.1. Which is greater: u or s?
u
Let l(b) = -6*b. Let x be l(-1). Let y be 18/9 - (-1 + 1). Let h = 3 + y. Is h less than x?
True
Suppose 0 = 2*t - 2*m - 2, 5*t = m + 1. Suppose 5*h - 12 = 8. Suppose -6*k + k + 30 = -3*x, h*k - 22 = 2*x. Is t not equal to x?
True
Let s(l) = l**2 - l - 8. Let r be (-165)/(-22)*(-4)/(-5). Let p be s(r). Is p not equal to 23?
True
Let g = -1269 + 1905. Is g greater than 638?
False
Suppose 0 = -3*y - 0*y - 4*u + 14, 5*u = -3*y + 13. Let n be y/8 + 1/(24/(-42)). Which is greater: -9/5 or n?
n
Let p = -16.1 - 12.7. Let z = p + 27. Let c = -1.4 - z. Which is greater: c or 0?
c
Let w = -199 - -448. Let m = w - 252.77. Let d = 0.23 - m. Which is bigger: d or 0.2?
d
Suppose -26*u = -28*u - 52. Let g = 42 + u. Which is smaller: g or -1?
-1
Let a be -1 + ((-2)/(-10))/(6/20). Let b = -1.9 + -0.1. Let q = 11 + b. Which is greater: a or q?
q
Let l be (70/252)/(5/60*20). Let f = -3 + 0. Which is greater: l or f?
l
Let p(a) be the third derivative of a**5/60 - a**4/6 - 10*a**2. Let h be p(3). Let k be 4 + (57 - h)/(-4). Do k and -11 have the same value?
True
Let j be 114/10 + (28/5 - 5). Let b be -3 + -3 + -8 + j. Which is smaller: -3 or b?
-3
Let u be 50/6*((-5)/25 + 1). Which is greater: u or 8?
8
Let n = 1007 + -999. Are 11 and n non-equal?
True
Let c = 651 - 660. Which is smaller: 4 or c?
c
Suppose -2 - 2 = 4*f. Let u be 16/(-3)*(-42)/28. Suppose 4*k + u*y + 4 = 4*y, 4*k + 7 = -5*y. Is f greater than k?
False
Let u be 76/(-165) + 2/5. Let d = -9 + 12. Suppose t + 3*x + d = 0, -4*x + 1 - 5 = 4*t. Which is greater: u or t?
t
Let h = -3 + 3.03. Let l = h + -0.06. Let u = -0.03 - l. Which is bigger: u or 1.2?
1.2
Let p = -764 - -736. Which is bigger: p or -27?
-27
Let s be ((-42)/(-3) - 1)*-1. Suppose 2*i - 85 = -3*i. Let v = i - 29. Which is greater: s or v?
v
Suppose -19 + 12 = -7*x. Let h(d) = -d. Let j be h(-5). Let b be (-1 - 0)/((-1)/j). Is b at least as big as x?
True
Let m(s) = s**3 - s + 2. Let o be m(1). Suppose -5*k + 10 = 5*y, -y - o = -2*k + 5. Which is smaller: y or -6?
-6
Suppose 18 = 5*r - 4*g, -4*r + g - 2 = 6*g. Let h = -1 + r. Let c be -74*2/(-140) - (1 - 0). Which is greater: h or c?
h
Let o = 3 - 3. Let d(c) = c - 8. Let j be d(o). Let g = -16 - j. Is g bigger than -9?
True
Suppose -1488 = -20*i - 25*i + 14*i. Suppose -x - h = -50, h - 2*h = -2. Is x at most as big as i?
True
Let w = -0.6 + 0.6. Let y = -51.9 + -11.1. Which is bigger: w or y?
w
Suppose -3*k = 14*k - 102. Is -60 equal to k?
False
Let m be (-830)/215 - (-13 + 9). Does m = 1?
False
Let d = 1315/28 + -320/7. Does 14/11 = d?
False
Let z = 3 + 3. Suppose z*q + 20 = 10*q. Suppose -q*c + 3*x = 20, 5*c - x - x = -20. Do c and -22/7 have the same value?
False
Let p = -1853 - -1854. Which is smaller: -2/373 or p?
-2/373
Suppose -3*y + 7 = 1. Let w be y + -1 - (1 + -1). Let x be 2/(-10) + 32/360. Which is greater: x or w?
w
Let i = -598 - -552.3. Let n = i + 47. Which is greater: n or -2/5?
n
Let h(b) = -4*b + 23. Let y(x) = 2*x - 12. Suppose -4*j + 8*j + 44 = 0. Let c(w) = j*y(w) - 6*h(w). Let v be c(3). Is 3/10 bigger than v?
True
Suppose 2*q - 7*p + 3*p = -18, -4*q - 3 = 3*p. Let n = -3/200 - 477/200. Which is greater: q or n?
n
Suppose 0 = -2*o + 5*x + 177, 5*o - 14*x + 10*x - 434 = 0. Is -2 less than or equal to o?
True
Let c be (-36)/(-42)*-1*-28. Let v = 101 + -78. Is v > c?
False
Suppose 5*g = -p + 24, -5 = 3*g - p - 21. Suppose j = -2*m + 4 + 3, 2*m = -g*j + 27. Which is smaller: m or -1/18?
-1/18
Let y(q) = -3*q**2 - 100*q - 25. Let c be y(-32). Is c at most as big as 103?
True
Suppose -7 - 2 = -3*u. Let l be 1 - ((-2)/1 + u). Suppose 0 = 4*z + b - 20 - l, -3*b + 24 = 3*z. Which is bigger: 6 or z?
6
Let s = -796 + 315. Let r = 3345/7 + s. Which is bigger: r or -2?
-2
Let l(q) = 24*q + 2. Let a be l(-3). Let b(d) = 810*d - 4120. Let n be b(5). Is a > n?
False
Let x(i) = i - 63. Let r be x(13). Are r and -48 non-equal?
True
Let o be 196/8 + 12/8. Let d = o - 26. Suppose d = 5*k - 15, 3*s + 18 = 2*s + 3*k. Is s >= -9?
True
Let y be (-4)/(-6) + (392/(-150))/4. Which is smaller: 0 or y?
0
Let n be 4 + ((-157984)/68)/4. Let q = -577 - n. Is q < 0?
True
Let a = -0.031 - 0.069. Is a > -28?
True
Let n be (-6)/10 - (-2 - 3153/(-45)). Let j = n + 68. Which is smaller: j or -38?
-38
Let k be 47*6/(-210) - -1. Which is bigger: 0 or k?
0
Let t(n) be the first derivative of -5*n**3/3 - n**2 + n + 1. Let c be t(1). Suppose -q - 5 + 4 = 4*i, -1 = -i. Which is smaller: c or q?
c
Let f = 0.23 - 12.23. Let m = f - -12.1. Is m != 0.12?
True
Let d be 1 - (-83 - (-4)/(20/(-15))). Is d 