 = -3*j + 45, 0*j + 5*j - 79 = 3*u. Is 1 equal to j?
False
Let q = -15 + 31. Suppose q = 5*g + 6. Let o(w) = w**2 - 4*w + 3. Let d be o(g). Which is smaller: -2 or d?
-2
Let w = 33 + -20. Suppose 5*k - w = -5*a - 3, -2*a = -5*k - 18. Is 0 at least as big as k?
True
Let d = -14 + 15. Which is smaller: 1/3 or d?
1/3
Let k = 6/19 + 27/95. Which is smaller: k or -2?
-2
Suppose 5*i = -2*u + 5*u - 11, -1 = -2*u - 3*i. Let h be u/(-4) - (-1)/(-2). Are 1/29 and h unequal?
True
Let b(u) = u**3 + 13*u**2 - 16*u - 34. Let g be b(-14). Does -6 = g?
True
Suppose 0 = -3*k + 12*k + 36. Is -4 at most k?
True
Let i = 1783/4 - 449. Let l = 47/12 + i. Is l > 2/11?
True
Suppose 3 + 2 = -5*d. Let w = -1 + d. Let l = -57/2 - -28. Is w at most l?
True
Let l be (2/6)/((-14)/(-168)). Suppose 3*q - l*q = 2*i + 11, 4*i - 13 = 3*q. Is q greater than or equal to -7?
True
Let h = -51/8 + 341/56. Is 5.7 smaller than h?
False
Let c be (-14)/(-4)*300/175. Is c less than 0.1?
False
Let y = 3/4 + -11/12. Let f = -6/7 + 5/14. Which is greater: f or y?
y
Let k = 12 + -71. Is -61 at most as big as k?
True
Let r = -0.27 - -7.37. Let y = -7 + r. Is -2 greater than or equal to y?
False
Let d(s) = -s**3 + 6. Let n be d(0). Suppose 4*z + 3 = 3*x, z = x - n*x + 5. Let w = -6 - -6. Is z < w?
False
Let z = -0.12 - 9.88. Let d = z + 9.9. Which is greater: -3 or d?
d
Let x = 0.336 - 6.276. Let m = x + 6. Let u = m + -1.06. Is u >= -2/7?
False
Suppose 0 = -7*w + 3*w - 12. Is 0 at most w?
False
Let f = 3/2 + 0. Let p(z) = -z**3 + 9*z**2 + 10*z + 2. Let v be p(10). Is v at most as big as f?
False
Suppose -4*l = t + 4*t - 13, 0 = -4*l - 12. Suppose -1 + 17 = -3*n - t*a, 0 = 2*n - 5*a - 6. Is n >= -4/5?
False
Let v be ((-3)/18)/((-4)/6). Is -10 at least as big as v?
False
Suppose 0 = -5*i + 5*p + 10, 5*i - 2*p - 6 = p. Let g = -0.1 + 0.1. Is i bigger than g?
False
Let z(o) = -o - 12. Let c be z(-14). Suppose 0 = c*a - a. Which is smaller: a or 1/8?
a
Let o(j) = 2*j**3 - 2*j**3 - 4 + 4*j + 4*j - j**3 + 2*j**2. Let y be o(4). Let q be 2/(-2 + 0)*5. Is y >= q?
True
Let n = -8 - -5. Let x = 4 + n. Let d be 3/(-2)*(-1)/(-3). Which is smaller: x or d?
d
Let x(y) = -24*y**3 + 2*y + 1. Let c be x(-1). Let r = -43 + c. Let p be ((-8)/r)/(3/5). Is p greater than or equal to 1?
False
Let t = -45 - -6. Is -39 at least as big as t?
True
Let m(t) = -3*t + 1. Suppose g - 4 = -3*g. Let p be m(g). Is -4 equal to p?
False
Suppose 0*r = 2*r. Is r at most as big as -2/129?
False
Let c = 5 - -123. Let l = -1281/10 + c. Which is bigger: l or 1?
1
Suppose -3*o + 3*q = 18, 0 = -0*q + q. Let x = -19 - o. Is x less than -12?
True
Let d = 3.7 - 3.7. Which is bigger: 1/30 or d?
1/30
Suppose h + 3*o = -2, -4*h + 0*o + 57 = -o. Is 13 <= h?
True
Suppose 3*q + 2 = 23. Suppose 5*b - b - 60 = 0. Suppose -b + q = 2*k. Does k = -1?
False
Let y = 20 - 21. Is y at most -5/6?
True
Let y = 3.28 + -4.28. Let h = 2 - 2.1. Is y at least as big as h?
False
Suppose 0 = -2*y - y. Let j be (6/27)/(2/6). Is j < y?
False
Suppose 6*n - 2 = 22. Is 4 bigger than n?
False
Let m = 2.1 - -0.9. Which is bigger: m or 0.1?
m
Let j = 10 + -14. Let g = j + 5. Which is smaller: g or -1/4?
-1/4
Let t(n) = 5 + 4*n**2 - n**3 + 2*n - 4 - n - 4*n. Let d be t(2). Suppose 19 = 2*g - 3*h, -2*g - 1 = d*h - 2. Is 6 at most as big as g?
False
Suppose 2*m - 5*m - 4*j = -197, 0 = -2*j + 4. Is m greater than or equal to 62?
True
Let d = 0.069 - 0.069. Let k = 4 + -1. Let p = k + -5. Is d at least as big as p?
True
Suppose -2*c = 4*x - 42, 4*c - 2*x - x - 117 = 0. Is c <= -3?
False
Let n = -9 - -3. Let h be n*2*3/(-24). Which is bigger: h or 1?
h
Suppose 0 = 5*g + 5*y, -2*g - y = -0*y + 2. Let w be g/10*(-6)/9. Which is smaller: w or 1?
w
Suppose 0 = 2*h - 14 + 6. Let s(v) = v**3 + 5*v**2 + 2*v - 3. Let o be s(-4). Which is greater: o or h?
o
Let q = -0.34 + 0.44. Which is bigger: 21 or q?
21
Suppose -j + 2*n = 4*n - 14, -2*j - 7 = -3*n. Suppose -j*d + 8 = -0. Is 1/2 smaller than d?
True
Let y = 1.04 - 0.04. Which is bigger: y or 1/2?
y
Let p(s) = -2*s**3 + 3*s - 7. Let a(r) = r**3 - 2*r + 4. Let n(x) = 5*a(x) + 3*p(x). Let c be n(0). Let q be -2 - (-5)/2 - 28/40. Is c greater than q?
False
Let h be 2/(-42) - (-1 + 8/12). Let s = -1 + 3. Suppose z + 4 = -s*j, -3*j - 2*z + 5 = 13. Which is bigger: h or j?
h
Let r be ((-18)/(-12))/(3/20). Let k be (-2)/r + (-6)/(-10). Is -1 less than k?
True
Let t = -23 - -51/2. Which is bigger: t or 4?
4
Let a(m) = m**3 + 6*m**2 + 6*m + 6. Let j be a(-5). Which is greater: j or 2/113?
j
Suppose 3*r = 3, -4*o = -0*o + 3*r + 1. Is 12 less than o?
False
Suppose i + 16 = 5*d, i - 5*d = -6*d - 10. Let w be ((-2)/i)/(-2)*3287. Let g = -299 - w. Is g less than 0?
True
Suppose -4*d + d = 6. Let a be (-2)/(-8)*(-8)/(-2). Which is bigger: d or a?
a
Let w(x) = x**2 + 9*x + 18. Let l be w(-8). Are 10 and l nonequal?
False
Let t = 3 - 2.9. Let q be (20/25)/(2/10). Let k be -1 - -2 - -2 - q. Is k less than or equal to t?
True
Let j = 38 + -31. Is 2 >= j?
False
Suppose 12*x = 16*x - 44. Which is smaller: 2 or x?
2
Let f be (-4)/(-6) - (-4)/(-6). Let g be (-1)/(-91)*-2*-162. Let v = g + -50/13. Which is smaller: v or f?
v
Let m be 1/((-2)/(-4)) + -4. Let y be (-4)/(-36) - (-17)/9. Let a be ((-6)/(-4) + -3)*y. Is m > a?
True
Let k = 2/7 - 17/35. Let m = 2/91 - -24/91. Is k less than or equal to m?
True
Let z = -6.1 - -1.6. Let a = z + -0.1. Let x = 5 + a. Which is bigger: -0.1 or x?
x
Let k = -9 - -5. Let t be (-1)/9*(k + 7). Is 0 greater than t?
True
Suppose p + 36 = -2*h - 2*p, 2*p = 3*h + 80. Is -22 > h?
True
Suppose 0 = -5*c + 2*c. Let a = 1 - c. Is -2 <= a?
True
Let v(b) = b**3 + 4*b**2 - 2*b - 3. Let i be v(-4). Let o = -12 + 12. Suppose o = l - 3 - 3. Is i at most l?
True
Let m = 0.1 - 8.1. Let v = m - -14. Is 0 != v?
True
Suppose 0*r + 24 = 4*r. Suppose -4*s = 2 - r. Let h = 9/37 + 103/185. Is h greater than s?
False
Let z = 25 + -38. Is z != -13?
False
Let t be 30/(-12)*(-3)/30. Which is greater: t or -0.19?
t
Let v be (-2)/45 + (-14)/63. Is v > 0?
False
Let n be -7 + 6 - 11*2/(-34). Which is smaller: n or 0?
n
Let z = -14 - -13.8. Which is smaller: z or -4?
-4
Let z = 21.1 + -24. Let r = z - -3. Let u = -0.2 + 0.3. Is r < u?
False
Suppose -865 + 225 = -4*b. Suppose -a - b = 5*v, 0*a = v + 4*a + 13. Let n be 57/231 + (-6)/v. Which is smaller: -1 or n?
-1
Suppose v + 3*k = 39, -2*k + 15 = k. Suppose -2*n + n + 3*h + 14 = 0, n - 5*h - v = 0. Is 1 not equal to n?
True
Let v be (-3)/(-5)*(9 - 4). Suppose -v*j = -7*j. Is 6/5 greater than or equal to j?
True
Let y = 8257/22 - 376. Let m = y + 2/11. Is 0.1 equal to m?
False
Let h = 5.4 - 3.4. Which is greater: h or 5/4?
h
Let g(d) = d**3 + 7*d**2 + 7*d + 7. Let j = 10 - 16. Let i be g(j). Is 1 >= i?
True
Let j be (-6)/8*(-56)/(-105). Which is bigger: 0 or j?
0
Let h = 17 + -5. Let y = -12.3 + h. Is y bigger than 0.2?
False
Suppose 0 = 5*f - 5, 5*n + 2*f = -2*f + 99. Is 16 greater than or equal to n?
False
Suppose -2*t + t = 100. Is t equal to -100?
True
Let x(p) = -p**2 - 6*p + 4. Let z be x(-6). Let r = -12 - -16. Is r less than z?
False
Let j = 8 - 4. Let l be ((-14)/j - -3)*-2. Is 2/3 equal to l?
False
Suppose -2*a + 38 = -42. Let b be a/(-18) - (2 - 4). Let z = -3/76 + -4/19. Are b and z unequal?
True
Let r = -43 + 44.18. Let k = -0.18 + r. Are 2/13 and k unequal?
True
Let s = 8.9 + 0.1. Is -1 > s?
False
Suppose 4*p - 3*p = -s - 1, p - 1 = 0. Let x be (s/(-6))/((-4)/16). Which is greater: x or -2?
x
Let x(v) = v**2 + 5*v - 3. Let i be x(-6). Let u = -38 + 42. Which is smaller: u or i?
i
Suppose 0 = -0*n - 2*n - 18. Let j = n - -10. Let q be (-40)/(-18) + 2 + -4. Is j < q?
False
Let u = -46.8 + 42. Let p = u - -5. Is -0.1 less than p?
True
Let u(s) = s**3 + 10*s**2 + 7*s + 8. Let q be u(-8). Suppose -6*y = -4*y + q. Let h be y/(-75) - (-4)/(-10). Is h at most 2?
True
Let j = 11 - 8. Suppose -4*s - 18 = -4*a + a, -40 = 5*s + 5*a. Let r be (-1)/(s/(-3))*-6. Is r bigger than j?
False
Let z = 16 + -10. Suppose -16 = 5*g - 7*g. Let h = z - g. Which is bigger: -3 or h?
h
Suppose -4*t - 6 = -i, 5*t = -0*i - 3*i - 33. Let d(r) = r**2 + 6*r. Let x be d(i). Let w = 8 - 8. Is w at most as big as x?
True
Suppose 0 = -5*a - s + 7, 5*s - 10 = -0. Let t be (102/28)/a*-54. Let c = t - -197. Is -1/4 smaller tha