ppose -5*q + n + w = -0*q, -4*n = -3*q + 39. Which is smaller: -3 or q?
-3
Let s = -998 + 998.9. Which is smaller: -1.79 or s?
-1.79
Let k be (-16)/6*(-3)/2. Suppose k*u = 4*d + 8, 3*d + 1 = 5*u + d. Let s = -1.106 - -0.106. Is s at least u?
True
Let l(a) = -2*a**2 + 2*a - 3. Let h be l(2). Let t = 4 + h. Let u = 37 - 37.1. Is u bigger than t?
True
Let j be (2 + -3 - 2) + -37. Which is greater: j or -42?
j
Let r be (2/4251)/((-3)/1413). Let q = 1/109 - r. Is q < 1?
True
Let r = 0.827 - 1.827. Is r >= 1/66?
False
Let x = -0.5 + -0.16. Let t = 0.56 + x. Let l = 18 - 11. Which is smaller: l or t?
t
Suppose -8*h + 35 = -6*h - 3*u, -90 = -5*h + 5*u. Which is smaller: h or 8?
8
Let y = -68 - -128. Let u = y - 60.1. Which is greater: 25 or u?
25
Let z(k) = -k + 9. Let w be z(6). Let i = -7 - -12. Suppose -i = -w*o + 7, -o - 4 = -4*j. Which is bigger: -2 or j?
j
Let u = -57 + 60. Suppose -u*x - h = 4*h + 36, 0 = -4*x + h - 25. Is -2 <= x?
False
Let v = -11.52 - -9.8. Let n = v + -0.28. Do 2/3 and n have the same value?
False
Let t = -0.038 + 64.038. Let o = t - 54. Is -2/3 not equal to o?
True
Let b = -86 + 41. Let y = b - -70. Let x be 0 + 7/63*6. Which is smaller: x or y?
x
Suppose -5*q + 2*i = 0, -10*q + 8*q = -i - 1. Which is bigger: q or 0?
0
Let x = 879 + -877. Let v be ((-22)/(-6))/(20/6). Is v less than x?
True
Let a = 6 - 25. Let v = 13.3 - 3.3. Let l = a + v. Which is smaller: l or 1/4?
l
Let a = 9 + -6. Suppose -5*f = -5*p + 40, -5*f = 3*p + 1 - 25. Suppose 4*t - 2 = 2*z, 2*t - 5*z + 11 = -p. Is a != t?
False
Let s = 1583 - 1581. Which is bigger: 447/2 or s?
447/2
Let x be (-2 + 33/(-6))*-4. Let a = 30 - x. Let j = -3263/7 - -465. Which is smaller: j or a?
j
Let p = -5 - -18. Let t = -17 + p. Is -2 equal to t?
False
Let p = 2/159 + 100/477. Suppose 4*b = 2*y - 14, -8*b + 7*b = 3*y + 7. Is p greater than y?
True
Suppose 1 = -2*x + 5. Let t(h) = -8*h**x - 1 + 6*h**2 + h**3 + 3*h**2. Let l be t(0). Are l and -2 unequal?
True
Let f(n) = -n**3 - 13*n**2 - 14*n - 9. Let b be f(-12). Suppose 0 = -4*u - 16, p = u - 5*u - b. Is p less than -25?
False
Let w = 1098 + -1111. Is w bigger than 1/6?
False
Let a(y) = 5*y + 35. Let b be a(-6). Suppose b*v + 5*v = -10. Which is bigger: v or -7/5?
v
Suppose -5*o + 4 = -11. Let v(l) = -l**2 + 23*l - 19. Let i be v(22). Suppose 5*j - 10 = -2*c - 0*c, 0 = -o*c - 3*j - i. Is -5 != c?
False
Suppose t = 4*f + 12, 4*t + 3 = 5*f + 18. Suppose 5*m - 25 = 0, -m - 332 - 14 = -3*o. Let n be (-4)/(-18) - ((-40)/o)/(-2). Is n at least as big as t?
True
Let b be ((-1173)/(-129) + -9)/8. Which is smaller: 0 or b?
0
Let x = -1 - 0. Let i = -1 + x. Let d = 213 + -213. Is i greater than d?
False
Let o be -5*3/(-10)*(-8)/(-6). Let z = -816/2365 - 4/215. Let d = z - -19/22. Is d at least o?
False
Let p be (-4)/1*(-26 - -5)/7. Is p less than 17?
True
Let s(q) = q**3 + 37*q**2 - 77*q + 57. Let i be s(-39). Is 14 at most i?
True
Let h be ((-1)/3)/((-6)/18). Let g(c) = c**3 - c**2 - c. Let q be g(h). Let b be q*4/10*-30. Which is bigger: b or -1?
b
Suppose -4*m + 0 = 4, 3*m - 3889 = -4*i. Do i and 973 have different values?
False
Suppose -i = 4*u + 15, -5*i = -2*i - 5*u - 40. Suppose 0 = 4*g - i*g + 4. Suppose 0*y + y = 0, 3*y - 80 = g*s. Which is smaller: s or -21?
-21
Suppose 0 = -5*d - 117 - 18. Is d at most -29?
False
Let y(q) = q**3 + 5*q**2 + 4*q + 3. Let l be y(-4). Let v = 6 - 1. Suppose 5*a - 10 = 3*f - 2, 28 = 2*f + v*a. Which is smaller: f or l?
l
Suppose -3*a = -11 - 4. Suppose -14 = -2*z - 4*t, 2*z + a*t = -z + 25. Suppose m + 71 = 5*d, -d + 2*m - 1 = -2*m. Is z equal to d?
True
Suppose 12*n - 9*n - 12 = 0. Let o(b) = b**3 - 3*b**2 - 4. Let g be o(n). Which is smaller: 10 or g?
10
Let z = 16.44 + -18.44. Is -3/52 less than or equal to z?
False
Suppose -4*b - 4*v + v = 3, 19 = 3*b - 2*v. Let w(l) = l**2 + 4*l + 4. Let h be w(-6). Suppose 5*s - g + 7 = 36, -2*g - h = -3*s. Which is smaller: b or s?
b
Let f(k) = -5*k - 51. Let b be f(-4). Which is bigger: b or -33?
b
Let l(r) = -r**3 + 4*r**2 - 8. Let u be l(3). Is 5/144 >= u?
False
Let i(o) = 69*o - 253. Let n be i(11). Does 1 = n?
False
Suppose 10*s = 9 + 41. Suppose 6*o - s = 1. Let h = 4 - 0. Do h and o have different values?
True
Suppose h + h = 4*t + 8, 4*h - 4 = 2*t. Let q(m) = m**3 + m**2 - 3*m - 2. Let s be q(t). Let d be ((-35)/((-315)/(-36)))/((-22)/(-1)). Which is smaller: d or s?
d
Let s = 125 + 249. Is 1/3 >= s?
False
Let y be (-6786670878)/7160 - (-12)/15. Let n = y - -947858. Let f = 2/179 + n. Is 1 <= f?
False
Let z be (-40)/15*3/(-23). Let x = z - -298/69. Which is smaller: x or 6?
x
Let y(c) = -c**2 - 6*c + 15. Let f be y(-7). Let x = f + -6. Suppose -3*z + x*z = -1. Is z bigger than -1?
True
Let n(m) = -2*m - 58. Let o be n(-36). Suppose 0 = 5*t + l - 0*l + 2, 3*t - l - 2 = 0. Is o at most as big as t?
False
Let h = -65 - -94. Let w = h - 16. Is 1 less than or equal to w?
True
Let g(s) = s - 21 + 6*s + 10 - s**2. Let p be g(5). Is 1/9 < p?
False
Let q be 4 + -8 - (-2 + (1 - 3)). Which is smaller: -2/125 or q?
-2/125
Let i = 0.1241 + -364.1241. Is i > 2/7?
False
Let m be (-6)/138*21 - (2 - 2). Which is bigger: m or -1?
m
Let j(q) = 6*q - 37. Let h be j(18). Is h smaller than 74?
True
Let a be (64/80)/(5/(-25)*-7). Which is smaller: a or -27?
-27
Let v be -1 + 2 - (-2 + 1). Suppose 3*d - 18 = -2*a, 3 = -v*a + 3*a. Suppose -4*q = -d*m - 3 + 19, 0 = q - 4*m + 13. Is -4 at most as big as q?
True
Let o = 6341/12 - 528. Let a = o - -1/4. Which is smaller: a or 7?
a
Let z = -46 - -31. Let u(n) = n + 20. Let f be u(z). Suppose 10 = 2*o - o + 5*y, f*o + 5*y - 10 = 0. Is 1/4 equal to o?
False
Let x = -3.98 - 0.02. Let g be 5*((-696)/15)/(-4). Let l = g + -59. Which is greater: l or x?
l
Let d = -130.9 + 128. Let x = d - -0.9. Is 0.12 at least x?
True
Let s = -50 - -50.94. Let g = -4.05 - -3.4. Let d = s + g. Is -1/3 not equal to d?
True
Let i(d) = -d**3 - 9*d**2 + d + 10. Let b be i(-9). Let o be ((-56)/84)/((-2)/10 - 0). Let p = 71/24 - o. Is p greater than or equal to b?
False
Let j(f) = f**2 + 6*f - 8. Let y be 2/((24/(-21))/4). Let k be j(y). Is k less than -2/3?
True
Let l be 1*2/(1/182*-4). Is -92 less than or equal to l?
True
Let x be (1 - (-214)/4)/(43/(-86)). Is -109 greater than or equal to x?
True
Let h be (3 - -12) + 2 + 0/(-5). Suppose 11*t - h - 148 = 0. Is 10 at most as big as t?
True
Suppose -z + 5*p - 67 = 0, 2*z + 57 = -4*p - 7. Suppose 0 = -5*l - 105 - 100. Which is greater: l or z?
l
Let a = -73 + 138. Which is smaller: 67 or a?
a
Let g = -51.9 - -51.86. Is g >= 130?
False
Suppose 75 = u - 5*u - 3*n, 93 = -5*u - 3*n. Let o be (-72)/u + (-42)/10. Which is smaller: 0.23 or o?
o
Let d = -1169 + 1168.992. Is 0.2 bigger than d?
True
Suppose 2 = -6*k + 8*k. Is k greater than 16.1?
False
Let l be (-5)/(-8)*(0 - 2). Let t(s) = -5*s + 90. Suppose 0 = 12*u - 5*u - 126. Let b be t(u). Does b = l?
False
Let u(p) = p**2 + p - 4. Let g(z) = z + 2. Let w be g(-6). Let r be u(w). Let n be r/10*(-11)/44. Do n and 1/4 have the same value?
False
Let v = -856/39 + -200/13. Let o = v + 551/15. Is o >= -1?
True
Let u = 6 - 12. Let x = 25 - 21. Let t be (-21)/28*x/(-6). Is u not equal to t?
True
Let w be (8 - 4)/(-4) + -4. Let m be (-28)/w + (-4)/(-10). Suppose -q = -0*u - u, 5*q - m = -u. Which is bigger: -4/15 or u?
u
Let m = 4/25 + -41/100. Which is bigger: 2.5 or m?
2.5
Let w be 18192/(-42) + (-18)/(-126). Is w bigger than -433?
False
Let p be (-2 + -2 + 3)/(4/(-72)). Suppose -10*x = -7*x - p. Is 6 bigger than x?
False
Let q be -4 + 0 - (3 + 1 + -875). Does q = 868?
False
Suppose 5*y - 4*t + 23 = 0, 11 = -5*y + t - 6. Suppose -5*p - 3*b = -7*p + 49, 2*b + 128 = 5*p. Suppose 0 = 4*k + s + 4, p = -5*k + s + 3*s. Are y and k equal?
False
Let j = -3.24 + 0.24. Let a = j + 2.98. Let c = -0.02 - a. Is c bigger than -4?
True
Let w = 1223 + -1224. Is w less than 40?
True
Let g = -0.4 - 0.2. Let v = -44.4 + 44. Let h = g + v. Which is smaller: -2/5 or h?
h
Let f be 36/(-8)*-4 + 4/2. Let n be f/(-8)*(-1)/5. Which is bigger: 1/4 or n?
n
Let m = 0.2 - 1.2. Let i = 5.4 - m. Let c = i + 0.6. Which is smaller: c or -1/2?
-1/2
Let g = 3 - 4. Suppose -40 + 25 = -3*b. Suppose -b*k + 7 = 22. Which is smaller: k or g?
k
Let f be (3 - 7)*(-501)/(-12). Which is greater: f or 1?
1
