 0, -m - 34 = i + m. Let j be (-1)/(3 + i/12). Is j less than or equal to 3?
True
Suppose -15 = -8*g + 3*g. Suppose 0 = g*q - b - 41, q + 4*b = -q + 46. Let o = 14 - q. Which is smaller: o or 2/11?
o
Let g be (55/(-205))/(5/10). Which is smaller: -2 or g?
-2
Let f = -38.1 - -80.1. Which is bigger: 0.3 or f?
f
Let l(n) = 12*n + 67. Let t be l(5). Which is bigger: t or 126?
t
Let l = 55.043 - 55. Let p = -0.057 - l. Which is smaller: p or -0.049?
p
Let b = -9.39 + 9.49. Let p = 0.13 - -0.24. Which is greater: p or b?
p
Let f(k) = 444*k - k**3 - 448*k - 4*k**2 + 9*k**2. Let a be f(4). Are 9/11 and a unequal?
True
Let q = -94 + 97. Suppose 0 = -5*w - 20, -5*x - 4*w - 4 = 12. Is x less than q?
True
Suppose -k - 32 = 3*k. Let l = 46 - 48. Let i = l - k. Is i less than 5?
False
Let t = 12 + -11. Let o(b) = -b**3 + 8*b**2 + 8*b + 9. Let j be -1*(1 - -1 - 11). Let z be o(j). Is t less than z?
False
Let k be ((-40)/(-24))/(2/(-6)). Which is smaller: k or -106?
-106
Let p(h) = -h**3 - h**2 + h - 10. Let d = 39 - 39. Let l be p(d). Is -2/17 at most l?
False
Let l be (29 - 85)*64/(-44). Which is smaller: 80 or l?
80
Let m be -1 + 5 + (0 - -1) + -12. Let z(d) be the third derivative of 3*d**6/40 + d**2. Let w be z(-1). Are m and w unequal?
True
Let l be (-7)/(-2) + (-3)/6. Let u(k) = 9*k**2 - 2*k + 1. Let b be u(1). Suppose -l = 4*q + m, -3*m = -4*q + b*q + 9. Which is greater: 1 or q?
1
Suppose -4*j - 2*d = 38, 0*d = 4*j + 4*d + 44. Let o(p) = p**2 + 4*p. Let h be o(-4). Suppose h = 4*s - 16 + 48. Is s <= j?
True
Let i be -4*(-2177)/98 + 2/14. Which is smaller: i or 86?
86
Suppose 2*p - 139 + 49 = 0. Let k be 3/6 - p/(-10). Suppose -5*d = 3*j - 23, 4*j - 4*d = -k - 7. Which is smaller: j or -27?
-27
Let m = -52/15 + 101/120. Is -3 != m?
True
Let s(x) = 2*x**2 + 22*x + 6. Let v be s(-10). Are -102/7 and v non-equal?
True
Let f be (0 + 1/(-3))/(105/630). Which is greater: -7/6 or f?
-7/6
Let b(h) = -h**2 - 9*h - 14. Suppose z + 4*p + 6 = 0, 2*z + 24 = -2*z - p. Let c be b(z). Suppose -15 = c*m - 11. Is 0 less than or equal to m?
False
Let b = 12 + -17. Let f(w) = 6*w + 8. Let x be f(b). Let u = x + 20. Which is smaller: -1 or u?
u
Let u = 4568091/1253 + -25521/7. Which is bigger: u or -1?
u
Let l(c) = -c**3 + 22*c**2 + 33*c + 29. Let p be l(24). Is -332 > p?
False
Let y(z) = z**2 - 11*z - 470. Let a be y(-17). Is 133/25 equal to a?
False
Let g = 1047 - 1040. Do 67/11 and g have the same value?
False
Let f = -0.257 - 0.043. Let g = -2 + 1.8. Let l = 0.2 + g. Which is bigger: l or f?
l
Let j(m) = -m + 6. Let a be j(7). Let h(c) = 44*c**3 + 2*c + 2. Let o be h(a). Let f be (o/6)/(46/(-69)). Which is smaller: f or 12?
f
Let d = -71.237 - -0.237. Is 0 equal to d?
False
Let z = -2652.8 + 2653. Is -0.311 at least as big as z?
False
Let r = 6.7754 + 0.0846. Let p = -7 + r. Let d = p + 0.34. Is -1 not equal to d?
True
Let o = 3 - 2.7. Let y = 163/1260 - -1/252. Does o = y?
False
Suppose -2*k - 48 = 2*k. Let t = 12 + k. Let a be 1*(t - -1)/(-1). Is a < 1?
True
Let z(y) = y**2 - 12*y - 7. Let a be z(13). Let w be (0 + (-8)/a)/(8/204). Which is smaller: w or -0.1?
w
Let l = -168 + 126. Suppose 3*q + 2*q + 190 = -3*u, -q - 51 = -2*u. Which is smaller: q or l?
l
Suppose -3*a = -13 + 4. Let w be (-12)/18 + (-1)/a. Which is greater: w or -1/52?
-1/52
Let v be -1 - (1 + -1 + -2). Let c = v + -2. Let j be 22*c/(-8)*-4. Is j >= -10?
False
Let d = -54/67 - -149/268. Which is bigger: -0.19 or d?
-0.19
Suppose -2*o = -a - 14 + 10, -a + o = 2. Which is smaller: -2/85 or a?
-2/85
Suppose -4*w + 1704 = -4*g, -5*w = 2*g - 458 + 1289. Are -423 and g unequal?
False
Let f be (0 - (-4)/(-66))*63/(-280). Let s = -157/220 + f. Which is smaller: -2/9 or s?
s
Let i = 2337 + -264084/113. Which is greater: 1 or i?
1
Suppose 2*n - 4*x = -22, -6*n + n + 1 = 4*x. Let l(k) be the third derivative of k**6/120 - k**5/12 + k**4/8 + 5*k**3/6 + k**2. Let s be l(4). Is s < n?
False
Let i = 12387/8 + -3111/2. Let u = 11/8 - i. Let z = u + -9. Is 0.5 >= z?
True
Let w = -18 + 23. Suppose -w*m - 2*o = -o - 2, -4*m = -3*o + 6. Does m = 1?
False
Let g = 11615/21 + -553. Which is greater: 0 or g?
g
Let u = -1.5 - -16.5. Which is smaller: 6 or u?
6
Let h = 8 - 36. Let g = -82/3 - h. Let y = -1300/7 + 186. Which is greater: y or g?
g
Let k(o) be the third derivative of o**6/120 - o**5/12 + 5*o**4/24 - 5*o**3/6 + 33*o**2. Let j be k(4). Which is bigger: j or 1/13?
1/13
Let i be 1 + (-27)/25 - 32055/(-414750). Which is bigger: i or -1?
i
Let k be 28 - (0 + 2 + -2 + 3). Which is smaller: 28 or k?
k
Suppose -x + 6*q = q - 32, -x + 3*q = -26. Let z = x + -23. Let v be (-6)/(-52)*(-8)/z. Is v != 0?
True
Let p = -10 - -35. Let f be p/24 - (-18)/(-27). Are 1 and f equal?
False
Let r = -247 - -246. Which is bigger: -2/217 or r?
-2/217
Let j(k) = 12 + 3 - 2 + k. Let d be j(-11). Suppose -4*w + 0 = -a - 5, d = -a + w. Which is greater: 2 or a?
2
Suppose 0 = 2*y - 5*b + 11, 6 = 2*y + 5*b - 13. Let f be 134 + (y - 0)/(-1). Let k = -1189/9 + f. Is 1/3 at least as big as k?
True
Let x = -2.76 + -32.24. Let j = 10 - 9. Is x bigger than j?
False
Suppose 3*k - 15 = -3*x, -x = -479*k + 482*k - 11. Let j = 10 + -12.5. Does x = j?
False
Suppose 451 = -21*n - 20*n. Is n equal to -10?
False
Suppose 4*c - 338 = -18. Suppose 0 = -m + r + c, 5*m - 198 = -4*r + 193. Which is smaller: m or 78?
78
Let k be (3 + -6)/((-5)/55). Let l = 34 - k. Which is smaller: l or -5?
-5
Let n = -8 + 10. Suppose -12 = -4*s + 4*p, 3*s = -s + n*p + 6. Let g be (8 - 0)*(-6 - 855/(-140)). Is g > s?
True
Suppose -5*p - 22 = -27. Is p less than -3/14?
False
Let u = -1736 + 1737. Are u and 18/119 unequal?
True
Let s = -1/631 + -3781/3155. Is -2 smaller than s?
True
Let o be (0/(-2))/((-12)/(-4)). Suppose 4*n + 4*w + 28 = o, 0*w + w = 3*n + 1. Let j be (-9 - 2)/(-1 - n). Is j <= -11?
True
Let f = 2.05 - 0.05. Which is greater: 1/3 or f?
f
Let d = -37 + 41. Suppose 5*p = 4*c + d, -3*c - 4 = -3*p - 1. Which is bigger: c or 8?
8
Let q = 3.388 + -1392.388. Is q smaller than -0.2?
True
Suppose -126 = -3*t - 3*p, 6*t - 204 = t - 3*p. Suppose 23*v = -4*i + 26*v + 170, v = 5*i - 196. Do t and i have the same value?
False
Suppose -3*j = -4*f + 38, -2*f + j + 20 = -0*f. Suppose 5*n + 16 = -5*s - 4, n - f = 4*s. Which is greater: s or -1?
-1
Suppose -4*g = -5*s + 24, 3*g - 3*s = 7*g - 8. Which is smaller: 1/38 or g?
g
Let h = -532 - -327. Is h smaller than 0.4?
True
Let x = 2484 - 2495. Is 9 <= x?
False
Let s(i) = i - 8. Let o be s(23). Which is bigger: -3/2 or o?
o
Let c = -857.8 + 858. Do c and 144 have the same value?
False
Let u be ((-3)/15 - 18/10)*-1. Suppose -2*q + 3*m = 102, m - u = -0. Is q < -49?
False
Suppose 3*k + p - 16 = 0, 6*p + 40 = 5*k + p. Which is smaller: 0.177 or k?
0.177
Suppose 0 = 5*d + h + 20, 4*d - 1 - 7 = 4*h. Let k be (-20 - 0)*(-1 - -4)/d. Which is bigger: k or 18?
k
Let n = 4.2 + -25.2. Let p = 0.1729 - 1.1729. Is p greater than or equal to n?
True
Suppose 10*b - 6*b + 24 = 0. Let q be 174/(-21) + (-4)/(-14). Do b and q have the same value?
False
Let n = -52/53 + 1311/742. Let y be 8/(-7)*(-1)/(-4). Let a = n + y. Are a and 8 equal?
False
Let x = -3 - -6. Suppose x*y - 24 = -6. Let b = 14 - y. Is b greater than 7?
True
Let v = -20384/17 - -1198. Is v less than -1/4?
True
Let y = 572 + -1684/3. Let j = y - 230/21. Let n = 7 + 0. Which is bigger: n or j?
n
Let x be (0 - -3) + (10 - 1). Let n = 7 - -5. Let a = n - x. Which is smaller: -1/4 or a?
-1/4
Let l = 0.16 - 0.34. Let c = l + -0.02. Let m = 24 - 17. Are m and c non-equal?
True
Let v = -3/5 - -31/35. Suppose 3*x = 7*x + 36. Let d = x - -8. Which is smaller: d or v?
d
Let i = -15.91 - -15.82. Which is smaller: 4 or i?
i
Let u = 1760 + -1441. Which is greater: u or 321?
321
Let f = 4 - 7. Let z = f + -2. Let c = z + 5. Which is smaller: 3 or c?
c
Let h = -19 - -100. Let l = -80.9 + h. Is l greater than or equal to 18/5?
False
Let x(o) = o**2 + 8*o - 27. Let v be x(-10). Suppose 7*a + 80 = 3*a. Let n be a/(-112) - (-3)/v. Which is smaller: 0 or n?
n
Let x = -8.6 + 8.6. Let t = 5515/196 - 117/49. Let p = t - 47/2. Which is bigger: p or x?
p
Let q be (21/(-14))/((-1)/36704). Let g = q - 604749/11. Let h = g - 79. Which is bigger: 0 or h?
0
Let h be (-56969)/5203 + 11 + (-2)/(-11). Which is gre