Let x = -0.122 - -5.122. Which is smaller: -0.2 or x?
-0.2
Let s = 25 - 18. Suppose s*k - 6*k = -8. Let l(p) = -p - 2. Let n be l(6). Is k equal to n?
True
Suppose -136*d = -135*d + 4. Is -36 != d?
True
Let q = -4333/12 - 434/3. Let c = q - -511. Which is bigger: c or 6?
6
Let q be 4/(-8)*1/(-2). Let v be (6/(-9))/((-1)/6). Let u be v/(-5) - (-2 + 0). Which is smaller: u or q?
q
Let b be 18*-16*(0 - 1/6). Let q = b + -34. Which is bigger: q or 15?
15
Let c(s) be the third derivative of 7*s**4/24 - 25*s**3/3 + 21*s**2. Let h be c(12). Which is greater: 33 or h?
h
Suppose -7 = -4*l - 3. Let a be (-4 - -1)*(282/(-90) + 3). Does a = l?
False
Suppose 0 = -2*w + w + 3. Suppose w*p + 15 + 36 = 0. Let h = -17 - p. Is -1 > h?
False
Let x be 7/(-28) + (-285)/12. Let a be ((-3)/(-54))/((-3)/x). Let c = 2 + -2. Are c and a unequal?
True
Suppose -4*a + 76 = 4*b, 2*b - 6*a = -2*a + 20. Is b greater than 26?
False
Let d(k) = -k**3 - 3*k**2 + 4*k + 1. Let p be d(-4). Let s be (24/48)/(0 - (-3)/5). Which is bigger: p or s?
p
Let r(z) = 18*z**2 - 3*z + 2. Let l be r(1). Suppose -o + 8 - 27 = -3*v, -o - l = -2*v. Which is bigger: o or -14?
o
Suppose 0 = 4*m - 8, -3*m = d + 2*m - 11. Let p = 6 - -2. Let s be p/34*7/(-28). Is d greater than s?
True
Let i(g) = -20*g**2 + 2*g - 1. Let s be i(1). Let x = s + 16. Let t(h) = -2*h - 4. Let u be t(x). Is 0 bigger than u?
False
Let f be (8/6)/((-5)/((-420)/(-8))). Which is bigger: f or 3?
3
Let g(n) be the first derivative of -5*n**2/2 - 2*n - 1. Let a be g(2). Let b be 13/(-28) + (-9)/a. Is b at least as big as 0.1?
True
Suppose -139 = -4*f + 41. Suppose -c = 2*c - f. Let b = c + -16. Which is bigger: b or -2/11?
-2/11
Let u be (-6)/((-6)/(-352)*8). Which is bigger: u or -51?
u
Let p = -0.3 - -0.5. Let v = 18 - 9. Suppose 0 = -4*y + y - v. Which is greater: y or p?
p
Let k be 8 - 1 - (2 - 12). Which is bigger: 14 or k?
k
Let c(s) = 10*s + 25 + 18*s**2 + 2 - 17*s**2 - 7. Let m be c(-7). Which is smaller: -30/19 or m?
-30/19
Let q be ((-4)/6)/(3 - (-85)/(-30)). Let k = 3 - 8. Are k and q non-equal?
True
Let y = 0.05 + 11.95. Let r = y + -10.5. Let b = 1 - r. Which is smaller: -1 or b?
-1
Let v = 29 - 43. Let b = 1074 - 1075. Which is bigger: b or v?
b
Let j = -0.0554 - -2.0554. Which is smaller: -351 or j?
-351
Let y(k) = -9*k + 20. Let i(d) = -3*d + 7. Let r(m) = -11*i(m) + 4*y(m). Let g be r(-3). Let c be -2 + 5*3/g. Which is greater: c or -2/3?
-2/3
Let y = 2272/20691 - -3/2299. Let b = 2 + -3. Which is smaller: b or y?
b
Let s(k) = 11*k - 32. Let t be s(4). Let m = t - 19. Which is bigger: m or -8?
m
Let a = 6625/8 - 829. Suppose -2*x - 2 - 2 = 0. Is a equal to x?
False
Let c = 67/4 + -2755/164. Let k = -67 + 66. Which is greater: k or c?
c
Let n = 1 - -1. Let p = 5 - n. Let w be (-10)/(-3)*p/(-12). Does w = -1?
False
Suppose -3*y - 160 = -8*y. Suppose -23*f - y = -19*f. Suppose g = 5*g + 28. Which is bigger: f or g?
g
Let p = -0.1 - -9.1. Let t = 6 + p. Let q = 1 - t. Is q at least as big as -2/7?
False
Let v = -973/4656 - -1/1552. Is v not equal to -1?
True
Suppose a - 2 = -0. Let p = 4 - a. Suppose -5*g - 10 = -3*h, h - p*h + 8 = -4*g. Which is smaller: -3/7 or h?
-3/7
Suppose 2*a - 88 = -2*m, 2*m - a + 4*a - 89 = 0. Let b = m + -43. Let y be 10/78 - 3/(-9). Which is greater: y or b?
y
Let t = -11645496/661 + 17618. Which is bigger: t or -1?
t
Let v be (8/154)/(536/(-112) - -5). Which is bigger: v or 1?
1
Suppose -5*c - 5 = -15. Let d be (9/24)/(c/4). Suppose 6 = -u + 8. Which is smaller: u or d?
d
Let y(g) = 2*g**3 + 9*g**2 + 3*g + 3. Let u be y(-5). Let l = u + 50. Which is bigger: 10 or l?
l
Suppose -32 - 13 = -9*b. Suppose 0 = j - b*h + 9, 3*h = 4*j + h. Is j > 18?
False
Let h = -1/222591 + 129473771/1335546. Let l = h - 97. Is 1 bigger than l?
True
Let x = -0.1074 - -1.1074. Which is smaller: x or -5/126?
-5/126
Suppose 3*i - 81 = 3*m, -5*i - 4*m = -28 - 89. Let d(y) = y**3 - 24*y**2 - 24*y - 25. Let l be d(i). Which is smaller: l or 2/45?
l
Let n = 9087/2977205 + -1/22385. Let m = n - 2039/14630. Is m greater than or equal to 1?
False
Suppose 0*l - 2*c = 2*l + 2, -2*l = 3*c + 1. Let g(t) = 10*t**3 - t**2 + 4*t + 5. Let j be g(l). Is j < -88?
False
Let v be 0/(2/1 - 0). Let k = -3004/5 - -6928/15. Let g = k + 139. Which is smaller: g or v?
v
Let o = 59 + -55. Suppose -o*y = y - 0*y. Is 1/19 less than or equal to y?
False
Suppose 5*v + 43 + 34 = -3*t, 4*t + 5*v = -101. Is t less than -4?
True
Let s = -0.9 - 2.1. Let z be (2/(-4) - 1)/((-42)/84). Which is greater: s or z?
z
Let x = 42 - 87. Let o = 23 - x. Let q be (-7)/12 - (-51)/o. Which is smaller: 0 or q?
0
Let v(d) = -2*d + 8. Let i be 1 + 4/(-2)*-5. Suppose 0 = 8*b - i - 13. Let n be v(b). Are n and 4 equal?
False
Let j(a) = 14*a + 62. Let v be j(11). Let h = v - 1516/7. Which is smaller: -3/5 or h?
-3/5
Suppose 125 = 9*y - 4*y. Let x be ((-11)/(-5))/((-20)/y). Let j(o) = -3*o + 11. Let m be j(5). Which is bigger: x or m?
x
Let u be (3 - 11)*-1 + -4. Suppose -2 = -3*q - u*z, 4 = -4*q + 5*q + 3*z. Is q greater than or equal to -12/11?
False
Let o = 0.26 - 0.03. Let j = o - 0.43. Let r = j + 0.2. Is 0 smaller than r?
False
Suppose 4*c = -0*c - 3*i - 654, 156 = -c + 3*i. Which is smaller: c or -0.1?
c
Let y = 7 + -4. Let b = 9 + -6. Suppose -5*s = -2*t + 4*t + 3, b*t = y. Which is bigger: -2 or s?
s
Let s = -10 + 18. Let k = 22/3 - s. Let h = 89 + -448/5. Which is smaller: k or h?
k
Let k be (-4)/(-1956)*3435 - 7. Which is smaller: k or -1?
-1
Suppose 139*q = 151*q + 5208. Is q at least -433?
False
Let v(x) = -x**2 - 7*x - 70. Let j be v(-8). Which is bigger: -77 or j?
-77
Let f = -1266.273 - -1266. Which is greater: -1/7 or f?
-1/7
Let q be -9*4*3/36. Let w be q/(-6)*(1 + 5). Let c be (w + 15/(-6))*8. Which is smaller: 5 or c?
c
Let i = -5.79 + 7.49. Are -8/3 and i nonequal?
True
Let b = 0.53 + 1.17. Let s = b + -1.8. Which is smaller: s or 61/3?
s
Let z = 2303/3544 + -15056843/14760760. Let b = -28/85 - z. Are 1 and b non-equal?
True
Let r = 2399 + -251893/105. Suppose -4*g + 3*t = -9*g + 143, 2*g + t - 57 = 0. Let d be 2/(-5) + g/20. Do r and d have the same value?
False
Let u = -2381/4 + 604. Which is bigger: 8 or u?
u
Let u = 0.216 - 0.216. Let h = -0.2 + -0.8. Which is bigger: h or u?
u
Let z(y) = y**3 + 5*y**2 + 7*y + 10. Let i be z(-4). Let u(x) = 2*x**3 + 3*x**2 - 3*x - 1. Let r be u(i). Is r > 0.2?
True
Let x be 78/140*(1 + 0). Let j = -352/5915 + 2/845. Let h = j + x. Is 0 not equal to h?
True
Suppose 3*w - 5 - 13 = 0. Suppose 3*o = w*o - 6. Let y be (-5)/(-15) + o/3. Which is smaller: 2 or y?
y
Let f = -41 + 44. Let j(t) be the third derivative of t**5/60 + t**4/8 - 7*t**3/6 - t**2. Let s be j(-5). Is f at least as big as s?
True
Let z = -36/7 - -79/14. Which is bigger: 43/5 or z?
43/5
Let a be (240/200)/(17/(-5)). Which is smaller: 1 or a?
a
Suppose -5*p + 0 + 9 = -2*n, n = 3*p - 5. Let j = 5 - 3. Suppose -p = -u - j. Is u < -4?
False
Suppose -3*d - 6 = a, 0 = 2*d - 6*a + 4*a + 4. Let w be (0 + -3)/(-3 - -4). Let n = d - w. Is n at least -0.9?
True
Let v(x) = -7*x + 154. Let g be v(-3). Is g less than 1?
False
Let k(t) = 2*t**2 + 14*t. Let j be k(-7). Suppose j*r = 2*r. Suppose r*s + 5*s = 0. Do 1/5 and s have the same value?
False
Let o = 0 + 0.2. Let a(p) = -9*p - 20. Let h(r) = -11*r - 21. Let l(d) = 6*a(d) - 5*h(d). Let t be l(7). Which is greater: t or o?
o
Let t = -705 + 834. Which is bigger: 126 or t?
t
Let x = -890.877 - -892. Which is bigger: -2/3 or x?
x
Suppose -5*z = -3 - 7. Let j(n) = -5*n - n**3 + 5 - 2*n**2 + n**z - 12*n + 22*n. Let k be j(-2). Is k smaller than 0?
True
Let v be -4 + (88/20 - 0). Is v greater than or equal to -1/19?
True
Let b = -29 + 24. Let a be (-3)/b - (-1188)/45. Is a >= 26?
True
Let m(t) = t**3 - 5*t**2 + 3*t - 5. Let i be m(3). Let v be i/152 - 1/(-4). Are v and 1 unequal?
True
Let u = 4569988/5789 - 5526/7. Which is greater: u or 1?
1
Let l = 2150 - 2196. Which is smaller: l or -233/5?
-233/5
Let c = -0.436 - -0.716. Do -6/5 and c have the same value?
False
Let p(d) = -d**2 - d. Let i(s) = -5*s**2 - 19*s - 4. Let y(v) = -i(v) + 6*p(v). Let b be y(13). Let h be (-2)/(-3)*2 + -1. Which is bigger: h or b?
b
Let m be 116/(-6)*(2 + (-7)/2). Let h = -29 + m. Is h <= -0.1?
False
Let b = 15.184 + -0.184. Let g 