ue
Suppose -36*y + 34 + 2 = 0. Which is greater: -2/681 or y?
y
Let u be (1 - 2*(-5 + 3)) + 399. Is 404 >= u?
True
Suppose -666 = 8*u - 5*u. Let q be -4 + -33*28/u. Is q less than -1?
False
Suppose -57*t + 56*t + 96 = 0. Is 98 <= t?
False
Suppose -3 = -4*y + 13. Let q be (-76)/(-10) + y/10. Let k be q/3 - 1/(-3). Are k and 2 nonequal?
True
Let q(l) = -l**2 + 3*l + 2. Let p be q(3). Is p less than -1/24?
False
Let j(z) = -z**3 - 4*z. Let t be j(0). Let i be (1/3)/1 - 0. Which is smaller: i or t?
t
Let l be 8/54*(-12 + (-405)/(-30)). Which is bigger: l or -8?
l
Let r = -32.67 - -33. Let g = 1.27 - 1.2. Let d = r + g. Is -1/3 greater than d?
False
Suppose 0 = t - 0 - 4. Suppose 2*n + 4*d = 22, 0 = t*d + 31 - 11. Let j be 14/n*(-12)/22. Is j bigger than 0?
False
Let o(y) = y + 7. Let d be o(-8). Let m = -223/170 - -24/17. Is d at least m?
False
Let d(j) = 2*j. Let r be d(4). Let b be 2/r*144/63. Let t be (3/(-6))/(2/(-4)). Is b at most t?
True
Let i = 23 - 23. Suppose -5*x - 2*c = i, -2*x - 3*c = -3*x. Is 1 bigger than x?
True
Suppose -29*r - 15456 = 63*r. Do r and -2/3 have different values?
True
Let s(l) = 2*l**3 - l**2 + 2*l**2 - 2*l**2 + 0*l**2 + 4 - 4*l. Let q be s(2). Is 7 < q?
True
Let y(s) = -s**3 + 8*s**2 - 9*s + 10. Let f be y(6). Is 0.3 != f?
True
Let o be 28/476*1*2. Which is bigger: -0.02 or o?
o
Let w = -414.6 + 415. Are 0.55 and w non-equal?
True
Let h(i) = i**3 - 4*i**2 - 6*i + 5. Let z = -3 - -8. Let s be h(z). Let u = 216/11 - 3445/176. Is u bigger than s?
True
Let g(r) = r**2 - 6*r. Suppose 2*z + 9 = 25. Let q be g(z). Suppose -2*k + 0*k + 80 = -5*b, -5*k + q = -b. Is -16 > b?
False
Suppose 47*x = 46*x + 36. Is x < 36?
False
Suppose -1331 = 38*m - 49*m. Is 118 greater than or equal to m?
False
Let m(h) = h**3 + 2*h**2 - h - 2. Let p be m(-1). Suppose 8*o - 27 - 13 = p. Which is smaller: 4 or o?
4
Let b be -1*(12 + 7)*1. Which is smaller: b or -96/5?
-96/5
Suppose 0 = -233*n + 264*n. Which is bigger: -7/19 or n?
n
Let r be ((-44)/(-319))/(-4 + -42). Do r and 1 have the same value?
False
Suppose -938 - 744 = 29*n. Which is greater: n or -59?
n
Suppose -3*z = -9*z - 24. Suppose -2*w + 0*w - 5*s - 11 = 0, -3*w - 3*s = 3. Suppose 3*o + 2*r - w = o, -5*o + 2*r = 30. Is z at least o?
True
Let p = -28.831 - -28.6. Which is greater: p or 0?
0
Let x be (-792)/(-10) + (184/(-20) - -9). Is x greater than or equal to 86?
False
Let k = -16 + 19. Suppose -5*t = -2*u - 5, u = 3*u + 3*t - k. Is 0 greater than or equal to u?
True
Let j = 7.79 + 0.41. Let d = 271 + -279. Let n = d + j. Which is greater: -0.1 or n?
n
Let d = -869/6 - -11441/78. Let i = d - 79/78. Which is greater: 2 or i?
2
Let f = -0.65 - -0.05. Let h = f - -0.9. Let g = -2.8513 + -0.1487. Which is smaller: g or h?
g
Let y = -61 + 65. Suppose -2*i = 4*b - 10, 4 = -2*i + 2*b - y. Let u = -1 - 4. Is i at least as big as u?
True
Let u = -0.119 - -0.08. Let a = u - -0.059. Let w = -1 + -1. Is w >= a?
False
Let i = -30 + 65. Suppose p + i = 2*a, 2*a - 50 = -3*a - 5*p. Let c = a - 14. Is c < 2/13?
False
Let q(c) = c**3 - 8*c**2 + 2*c - 5. Let b be q(8). Let s(t) = -50*t**2 + 1. Let w be s(1). Let o = -39 - w. Which is bigger: b or o?
b
Suppose 2*l - 3 = -4*q + 3*q, 4*q - 12 = -3*l. Which is smaller: l or 4/5?
l
Let s be 15/(-79)*1/(-5)*4. Is 1 < s?
False
Let c = -776 + 863. Is c at least as big as 87?
True
Suppose 0 = -9*l - 497 + 173. Let x = l - -37. Which is smaller: x or -1/8?
-1/8
Suppose -1 = 4*u + u + 2*x, -x = 4*u - 1. Suppose u = o + 4. Let a be (-9)/(-111)*(-2)/o. Which is smaller: 0 or a?
0
Let v = -741 + 730. Which is bigger: -3 or v?
-3
Let l be 1638/(-399) + 2/19. Suppose -6 = -4*t + 5*z, t - 4 = 2*z - 1. Is l < t?
True
Let l = 1/5286 - 105839/629034. Is l <= 0?
True
Let q = -6.08 + 6.08. Does -0.17 = q?
False
Suppose 4 + 1 = 5*n. Let h be ((-1)/(-3))/(n/15). Let s be 12/27*1*9/(-6). Is h >= s?
True
Let h be 3/(-4)*(-4 + 8 + 1888). Is h greater than -1419?
False
Let m(l) = -2*l**3 + 9*l**2 + 8*l - 15. Let d be m(5). Let a(c) = -c**3 + 4*c**2 + 6*c - 4. Let f be a(5). Let x be f + 9/102 - 1. Is d > x?
False
Let z = 0.7 + -0.3. Let c = 52.84 + 6.36. Let v = -59 + c. Is z >= v?
True
Let q(h) = 3*h + h - 3*h + 9. Let k be q(-15). Let y(n) = n**3 + 8*n**2 + 13*n + 5. Let c be y(k). Is -3/34 at most c?
False
Let l = -0.009 - 0.013. Let u = l + 3.022. Which is smaller: 0 or u?
0
Let j = 0 + -0.11. Let i = -0.21 - j. Suppose -3*m - 3 = c + 8, 0 = 3*m - c + 19. Is m bigger than i?
False
Let a = -70 - -75.8. Let v = -5.7 + a. Let g(b) = b**3 + 5*b**2 + 3*b + 3. Let i be g(-4). Is i not equal to v?
True
Let x = -820 - -1165. Let i be x/300 - (-1)/4. Is 2 not equal to i?
True
Suppose 28 = -4*i - 4*n, -n + 30 - 1 = -2*i. Let c = i + 13. Let x be (-3)/14*2*c. Which is greater: x or 0?
0
Suppose z - 5 = 0, 0*z + 2*z - 13 = -r. Suppose 39 = 6*j - r. Suppose 3*u + 5 = -j. Which is bigger: u or -6?
u
Let v be 63/385 - ((-1)/11 - 0). Which is smaller: v or -1?
-1
Let z = 53.994 - -0.006. Let j = -79 + z. Let p = j + 25.06. Which is bigger: p or -0.2?
p
Suppose -9*r - 42*r = -1836. Is 36 > r?
False
Let x = 68 + -67.928. Let m = x - 0.072. Is m > -52?
True
Let o = -4.29 - -0.29. Which is smaller: -20 or o?
-20
Let o(k) = 2*k**2 - 97*k + 184. Let y be o(45). Is -133 at most y?
True
Let x be (0 - (-2)/(-33)) + 0/(-1). Let b = x + 19/495. Which is bigger: b or 0?
0
Let w = 73991/18 + -4117. Is w at most -5?
True
Let y = -1667/528 + 35/16. Are y and -1 nonequal?
True
Let j(c) = -4*c**3 + 20*c + 5*c**3 - 30*c - 14*c**2 - 33. Let g be j(15). Which is smaller: 43 or g?
g
Let i be 176/(-18) - (-8)/(-36). Let s be (i/(-15))/((-4)/6). Let l(o) = -15*o - 195. Let u be l(-13). Is u smaller than s?
False
Let z(i) = i**2 - 10*i + 1. Let w be z(10). Is 2/343 at least as big as w?
False
Let f = 27.8 - 1.8. Let p = f - 27. Let s = -1/17 - -21/68. Are p and s non-equal?
True
Let l = 734 - 849. Which is bigger: 0.2 or l?
0.2
Let u = -27 + 29. Let a be 2/(-9) + u/9. Do 3 and a have different values?
True
Let j = 110 - 84. Suppose 5*c + 19 = -w, -5*w - 3*c - j = -c. Which is smaller: -5/2 or w?
w
Let b = -351 + -149. Let n be (-96)/10*b/990. Let d = -24/11 + n. Does 4 = d?
False
Let s = 51 - 51. Is -28 at most s?
True
Let k be 16/(-78)*(-9)/6. Let m = -0.7 - 0.3. Do k and m have different values?
True
Let c(l) = 2*l + 14. Let d be c(-7). Suppose z - 7 + 24 = d. Which is bigger: -2 or z?
-2
Suppose -5*i = i - 4*b, 0 = -2*i - 2*b - 10. Let j be (-3)/(-22)*(-4)/1. Which is bigger: j or i?
j
Let o be 4 + (-275)/((-5)/1). Which is smaller: o or 58?
58
Let b(t) = t**3 - 7*t**2 - 2*t + 13. Let z be b(7). Which is greater: z or -1/505?
-1/505
Suppose 3*x + 5 = -7. Let y be (-129)/x - (8 + -9). Let w = y + -33. Which is smaller: -1/3 or w?
-1/3
Let q = 8.4 + -10. Which is bigger: 0 or q?
0
Let s be 9 + -1 + -9 + (3 - 0). Which is smaller: s or 3?
s
Suppose -3*k - 9*g = -5*g + 13, 3*k + 5*g = -17. Are 1/477 and k non-equal?
True
Let b(a) = a + 3. Suppose -3*w + 4*w = 7. Let l be b(w). Let q = l - 10. Which is bigger: q or 2?
2
Let j(r) = -r**2 - 13*r + 196. Let i be j(-22). Is 0.37 less than i?
False
Let a(n) = -n**3 - 3*n**2 - 1. Let i be a(1). Is 15 >= i?
True
Let w = 11 + -11.03. Let p = -1.322 - -1.522. Is w smaller than p?
True
Suppose -2*a - 4 = -16. Suppose 4*w = 3*k + 30, 0 = -2*w - 5*k + a - 4. Let t be 3/(-3) + (w - 4). Is t bigger than 1?
False
Suppose 4*n - 10 = 5*p + 6*n, 0 = 5*p - 5*n - 25. Let j = 3405/311 + -1559872/147103. Let r = j + -7/43. Is r not equal to p?
True
Suppose 2*w = 6*w. Suppose r + w*r = -2. Do r and 2 have the same value?
False
Suppose 2*s - 10*s + 48 = 0. Is 4 greater than s?
False
Let o = -170149/13981 + -15/1271. Is -13 >= o?
False
Let p be (-8)/10*107/(-4). Is 22 less than p?
False
Let b = -0.00378 - 5.99622. Let l = 4 + -4.04. Is b >= l?
False
Let p = -2 - -4. Let c be -3*2 - p - -1. Let w be (-5)/c + (-10)/(-35). Which is smaller: w or 2/5?
2/5
Let x be (-2)/3*3 - -1 - -14. Which is smaller: x or 15?
x
Let s be (4/(-6))/((-3)/(-450)*-2). Let i be s/(-60) + (-1)/(-1). Let y = -2 - -2. Is y greater than i?
False
Let s be 2/(-6) + 462/(-18). Let u = s - -38. Let p(d) = -12*d**3 + 1. Let h be p(-1). Is u > h?
False
Let v = -4.3 + 7.9. Let a = 3.9 - v. Which is smaller: a or 0.02?
0.0