 -27*o + 321 = 888. Let g = -71 + 48. Is o bigger than g?
True
Let x(y) = -2*y**3 - 10*y**2 + 4*y - 14. Let q be x(-6). Which is greater: q or 37?
37
Let s be (-2)/(-12)*70 + (-2)/(-6). Let f = -13 + s. Let j = -6 + 1. Is f at most as big as j?
False
Suppose -5*j = -28 + 8. Let s be (-1 - (-2 + j)) + 6. Is s != 2?
True
Suppose 13*c = 14*c - 1. Which is bigger: c or 1/162?
c
Let r = -417 - -420. Which is smaller: -1/54 or r?
-1/54
Let f = -173/40 - -2157/40. Let n = f - 50. Is n smaller than -37?
False
Suppose 1350 = 2*i + 4*i. Let h be 4 + 12/9*i/(-74). Which is bigger: h or -2/7?
h
Let m be 46/(-529) - 1062/(-46). Does 19 = m?
False
Let t = -72 - -27. Let z be 10/(-4)*(-36)/t. Let i be 16/14 - z/(-14). Which is smaller: i or 5?
i
Let w = 8 - -2. Let s = 11.5 - w. Let x = 1.6 - s. Which is smaller: 1.1 or x?
x
Let h = 95 + -54. Let q = h + -43. Which is smaller: -16/11 or q?
q
Let a(f) = -3*f + 5. Let t be a(-4). Suppose 3*b + 5*x - t = -0*x, 3*b = 4*x + 8. Which is smaller: b or -2/3?
-2/3
Let v(w) = -4*w**2 - 17*w - 2. Let t be v(-4). Is t <= -108?
False
Let c be -1 + (-2)/((-36)/(-58)). Let m be -6 + 304/(-380) + 38/10. Which is smaller: m or c?
c
Let c(h) = -h**3 + 8*h**2 - 2*h + 15. Let s be c(8). Which is smaller: -3/104 or s?
s
Let j be (2/3)/(4/(-240)*5). Which is smaller: j or -4?
j
Let b be 2/4*9*8/(-1884). Which is greater: b or 1?
1
Let w be 753*6/(-1512) + (0 - -3). Is -1 at least w?
False
Let r = -337 + 350. Let b = -6/5 - -13/15. Is r at most as big as b?
False
Suppose 9639 = 5*r - 1641. Let i = r + -430898/191. Is 0 at least as big as i?
True
Suppose 2*d = -d + 3. Let x = 11.891 - -0.109. Which is greater: x or d?
x
Let s be (-16)/(-40) - (-86)/10. Let r be ((-16)/6)/(1/3). Let q = r + s. Which is smaller: -4/13 or q?
-4/13
Let m(n) = -n**2 - 19*n - 32. Let b(r) = r - 23. Let a be b(7). Let j be m(a). Does 1/3 = j?
False
Let i(q) = -q**3 - q**2 + 1. Let u(g) = -2*g**3 - g**2 + 2. Let p(r) = 5*i(r) - 2*u(r). Let m be p(-1). Is 6/35 smaller than m?
False
Let c = 0 - 0.1. Let w(n) be the first derivative of n**3/3 + 5*n**2/2 + 2*n - 12. Let f be w(-5). Which is greater: c or f?
f
Suppose -16 = -3*d + 20. Let p = -0.2 - -0.3. Which is greater: d or p?
d
Suppose -17*x + 19*x = 56. Let a = 27 - x. Is a bigger than -1/12?
False
Let g be (40/(-10))/((-4)/6). Let s = 16 + -20. Let v be (-34)/s - 3/6. Is v less than or equal to g?
False
Suppose -4 = -g, -6*o + o = 3*g - 12. Suppose o*j - 3*j = 0. Let s = -3207/7 + 459. Is j greater than or equal to s?
False
Let w = -97 + 127. Suppose -w = 3*v + q + 2*q, v + 4*q = -16. Is 4 smaller than v?
False
Let o be (3 + 1 + 5)/1. Let r be (-4)/(-39)*(-8)/(48/o). Which is smaller: 1 or r?
r
Let t = -0.132 - 7.868. Is 66 not equal to t?
True
Let g = -255009/43 + 5931. Let k = g - -176/301. Which is greater: 1 or k?
k
Suppose 25*d = 5*d + 2020. Which is smaller: d or 100?
100
Suppose -5*h + 25 = 4*t, 4*t - 4 = -4*h + 20. Let w = -17.79 + -0.21. Let x = -25 - w. Which is smaller: h or x?
x
Let z = 344/15 + -23. Is 1.3 smaller than z?
False
Let a be 2 + 4 - (-1 + 3). Suppose -3*i = 2*o - 16, -8*i + 14 = -a*i - o. Suppose -11 = -12*m + 1. Is i smaller than m?
False
Let k = 1337 - 1330. Suppose 3*f - 30 = -4*y, -y + 9 = 2*f - 2*y. Is k less than f?
False
Let b be (-10)/35 - (-18)/14. Does b = 3/77?
False
Suppose -26 = -3*b - 4*m + 51, -4*b + 102 = 5*m. Is b >= 65/3?
True
Suppose -135*v = -136*v + 4. Is 7 at most as big as v?
False
Suppose -6*k - 3*h = -2*k - 4, -4 = -4*k - 4*h. Let j(f) = f**2 + 7*f - 5. Let b be j(-7). Let z be -4 - ((-645)/(-33))/b. Is k at least z?
True
Suppose -20*x + 32 = -12*x. Let q be x*(-3 + (-267)/(-90)). Let j(f) = f**3 + 4*f**2 + 2*f - 2. Let w be j(-3). Are q and w unequal?
True
Let l be (((-28)/12)/7)/(15/153). Suppose y + 3*h = -16, 8*h - 3*h = 2*y - 12. Is y at most l?
True
Let q be (2 + 2)*(-3)/(-6). Suppose 8 - q = -2*p. Suppose -2*v + 2*z = 0, -5*v - z - 15 = 3. Is p smaller than v?
False
Suppose -5*c = -c + 48. Let a = 17 + c. Which is bigger: a or -7?
a
Let g(o) = 12*o**2 + 9. Let y be g(-3). Let b be 3 - ((-345)/y)/(-1). Which is greater: b or 0?
b
Let i be 2/(-4) + ((-6)/(-4))/(-3). Which is smaller: -23/11 or i?
-23/11
Let w = 39.5 - 33. Let i = -20 - -13. Let u = w + i. Which is smaller: 0 or u?
u
Suppose 4*g - 4*d - 32 = 0, -4*g - 10 = g + 5*d. Let c be 2 - -3*g/(-9). Suppose 2*k + 5*o - 18 = 0, -16 = -3*o - o. Which is smaller: k or c?
k
Suppose 2*l - 68 = 4*j, -17*l = 4*j - 14*l + 48. Is -122/9 >= j?
True
Suppose 21*m + 31*m - 1144 = 0. Is m equal to 22?
True
Let u = -861 - -500. Which is smaller: -363 or u?
-363
Let y = 5 + -2. Suppose -y = 2*i - 7. Suppose -123*s + 5 = -128*s. Is s at most as big as i?
True
Suppose 4*m - 26 = -q + 3*q, 0 = -m + 3*q + 14. Let u be 5 + (0 - -2) - 1. Is u equal to m?
False
Let l = -47 + 45. Suppose 2 = -3*n + 8. Let a be (n/7)/(1/7). Is a > l?
True
Suppose 8 = 3*c - 2*z, -8*c + 4*c + 3*z + 10 = 0. Suppose -4*q = -2*f + 83 - 75, 5*q - 2*f + 8 = 0. Is c bigger than q?
True
Let n = 10.45 + -10.15. Is n greater than 18?
False
Let l = -64.34 - -1.34. Let d = -60 - l. Which is smaller: d or 0.5?
0.5
Let k = -82.3 - -80.3. Which is greater: k or 2/435?
2/435
Let z be 1*9 - (7 - 4). Let x be (-12)/z - (1 + -6). Suppose -x*c + 0 = -3. Is c at least as big as -3/10?
True
Let z = -105 - -104. Is z > -1/255?
False
Let c be 27639/259 + (-2)/(-7). Which is bigger: c or 106?
c
Suppose -22 = 3*j - 0*j + 5*k, k = -j - 4. Let w = 13 + -7. Let z = -6.07 + w. Is z greater than j?
False
Suppose -4*l - 5*k = -2*l - 49, k = 1. Suppose 13*x - 15*x + 44 = 0. Is x > l?
False
Let p be ((-9)/90)/((-16)/1420). Is 10 less than or equal to p?
False
Suppose 8*z = -30 - 42. Is z less than -33/4?
True
Let n = -5.152 - -5.41. Which is smaller: 0.2 or n?
0.2
Let j = -10.9 + 11. Let p be 18 - (4 - (-2 - -4)). Suppose 0*g = 2*g - p. Which is smaller: j or g?
j
Let v be (0 + -1)/((-1)/(-10)). Let b = -27722 + 83138/3. Which is smaller: v or b?
v
Suppose 2*f - 5*f = 132. Let u = -43 - f. Which is bigger: u or 5/13?
u
Let i = 95 - 94.94. Let q = i - 13.06. Which is bigger: q or 0.3?
0.3
Let i be ((-420)/80 + 5)/(1/((-8)/262)). Let v(k) = -2*k**2 + 1. Let p be v(-1). Which is greater: i or p?
i
Let m = -386.1 - -360. Let b = -28 - m. Let t = b + -0.1. Which is greater: -1 or t?
-1
Suppose 3*o + 0*o - j + 5 = 0, 0 = o - 4*j + 20. Let u = 223 - 225. Is u < o?
True
Let y = -429 - -618. Is y smaller than 189?
False
Let k be (-2 - 18)/((-95)/(-20) + -5). Suppose -3*r = -8*r - k. Which is smaller: r or -17?
-17
Suppose u + 17 = -3*v - 24, 0 = -2*v - u - 29. Let g(l) = l**2 - l + 2. Let y be g(3). Let i = y + v. Is -4 smaller than i?
False
Let u = 3 - 6. Let x = u + -1. Let k be 2 - x/((-8)/3). Do 0 and k have different values?
True
Let c = 6 - 5. Let s = 784 + -819. Which is smaller: c or s?
s
Suppose 0 = -n + 2*n - 11. Suppose -a + 4*u = -17, -5*a + 5*u + 28 = -27. Which is greater: n or a?
n
Let d = -1 - -3. Suppose 15 = -d*q + r + 4*r, 3*q + 32 = -2*r. Let n(v) = v**2 + 10*v + 12. Let f be n(-7). Is q less than or equal to f?
True
Suppose -15*j + 38 = -292. Let s = 2 - 0. Suppose 115 = s*b + 3*b. Which is greater: j or b?
b
Let f be ((-4)/12)/((-1)/(-46)). Let t = f - -16. Which is smaller: t or -3.2?
-3.2
Suppose -o + 5*z - 197 = 0, -109*z + 106*z - 189 = o. Which is bigger: o or -193?
o
Suppose 0 = 4*a + a. Suppose -2*t + a*t - 2 = 0. Let g = -662 + 13904/21. Which is bigger: t or g?
g
Suppose 3*b + 16 = -5*v - b, 5*b = -3*v - 20. Suppose -3*q + 7 = -4*q. Let w(u) = u**2 + 6*u - 6. Let g be w(q). Which is greater: g or v?
g
Let s = -54.9 + 55. Let k(y) = -y**2 - 11*y. Let w be k(-12). Let h be (-32)/(-3)*w/(-8). Which is smaller: s or h?
s
Suppose -8*x + 20*x = 564. Which is smaller: x or 0?
0
Let r be 15/(-4) - (-4)/(-16). Suppose -4*t - 9 = c - 2*c, -4*c + 6 = -t. Let l be c*(-2 - -3)*-5. Are l and r nonequal?
True
Suppose 32*b - 35*b + 39 = 0. Let c be (-1)/(1/(-6)) + 2. Suppose -c*f + 3*f + 60 = 0. Which is bigger: f or b?
b
Suppose -49*w + 52 = 3. Is -3/71 != w?
True
Let f(x) = -3*x**2 + 12*x + 2. Let y(w) = -w**3 + 3*w**2 - 4*w + 4. Let p be y(3). Let u be f(p). Let o = -6577/23 - u. Is o != 1?
True
Let n = 0.148 + -0.09. Which is smaller: -1 or n?
-1
Let w be 