o = 535 + -25149/47. Which is bigger: o or 0?
0
Let v = 47 - 47. Is v at most as big as -1/76?
False
Let p = 0.013 + -0.213. Let s = -2.2 - -0.2. Is p bigger than s?
True
Let f(t) = -2*t. Let w be f(-1). Suppose -w*a - 2*z + 0*z = -8, 2*z + 12 = 3*a. Is 4 >= a?
True
Let a = -1.17 + 0.17. Suppose 2*o = -2*o - 4. Is o less than or equal to a?
True
Let z be ((-2)/28)/(3/(-4)). Let m be (-9)/(36/(-16))*-1. Let v(q) = -q**3 - 3*q**2 + 2*q - 8. Let h be v(m). Is h smaller than z?
True
Let o = 39743/216 - 184. Let s = -47/216 + o. Let i be (-1)/(-3) - 10/(-6). Is s bigger than i?
False
Suppose -c - 2*h + 6 = -3*h, 12 = -4*c - 5*h. Suppose 0 = 2*k - c*a + 5*a - 9, -5*k - 5*a = -15. Are k and 4/7 equal?
False
Let u(o) = -29*o**2 - o + 1. Let x = 1 - 0. Let t be u(x). Let w = -147/5 - t. Which is smaller: w or 0?
w
Let x = 29/8 + -443/120. Suppose -3*s = 5*k - 13, 4 = 4*k - 2*k. Which is greater: x or s?
s
Let j = -61 - -111. Let x = 1509 + -4379/3. Let z = j - x. Are 1 and z unequal?
True
Suppose 0 = -0*d + 4*d - 4. Suppose -2*v + 3*v - d = -x, 2*x - 2 = 5*v. Suppose v = -f + 2*f. Which is greater: -0.2 or f?
f
Let k = -11 - -11.26. Let t = 0.01 - k. Let l = t + 0.05. Which is smaller: -0.3 or l?
-0.3
Let d = 0.4135 - 21.5035. Let c = d - -21. Let l = 1 + -1. Which is bigger: l or c?
l
Let d = -7 + 7. Let s be (-4)/12*d/(-3). Is -5 less than s?
True
Suppose -2*l + 9 = -3*c, -3 = 2*c - 1. Suppose -6 = -6*x + l*x. Which is smaller: 3 or x?
x
Suppose -4*s = -4*l, -2*s - 7*l + 12 = -3*l. Is 5/4 not equal to s?
True
Suppose 0 = 4*y - 0 + 4. Let g = -354 + 356. Is y <= g?
True
Let w = -15 - -14. Which is smaller: -6 or w?
-6
Let r be 12/(-400)*(-1 + -23)*5. Is r not equal to 3?
True
Let y = -2 - -1. Let h(i) = i**3 + 9*i**2 + i + 4. Let m be h(-9). Let g = m - y. Is g greater than or equal to -4?
True
Let j = -8 - -8. Are j and 0 equal?
True
Let h = 0.16 + -0.26. Are h and -1/5 non-equal?
True
Let y be (-1 + 2 + 0)*1. Let n = -3 - -5. Is y greater than n?
False
Suppose -3*b + 2 = -5*b. Let g be b + 2*27/6. Is 7 greater than g?
False
Let h = 10 + -9. Is h >= 5?
False
Let j = -2 - -1. Let w = 32.4 - 33. Which is bigger: j or w?
w
Let u be (1/2)/((-2)/4). Let f be 5/(-10)*1*24/33. Which is bigger: u or f?
f
Suppose 0 = -4*n + 10 - 30. Suppose 0 = 3*o + o + 20. Let q = o - n. Are q and -1 unequal?
True
Suppose -2*p - 2*p - 24 = 0. Let b = -3 + -5. Which is greater: p or b?
p
Let y = 54 + -33. Let j be (-2534)/y*(-3)/(-5). Let n = 72 + j. Which is greater: 6 or n?
6
Let n(x) = -x**2 - 17*x - 29. Let f be n(-15). Which is smaller: f or 4/5?
4/5
Let h be (-1 + 2)/((-4)/(-12)). Suppose h*q + 1 = 2*q + 4*r, -3*r = 2*q + 2. Which is smaller: 0 or q?
q
Suppose 24 = -24*x + 27*x. Is x at most -0.02?
False
Suppose -3*m - 4*a = 17, -5*m = 5*a + 30 - 10. Is m greater than or equal to 2?
False
Let y = 11 - 12. Let s = 5 + y. Which is smaller: s or 5?
s
Suppose -v - 5*q = -q - 17, -4*v = q - 8. Suppose 4 = 3*o + v. Which is greater: o or 1/6?
o
Let f(o) = -o**2 + 3*o - 2. Let p be f(3). Suppose -5*w = 3*c + 7 - 4, -2 = 2*c - 3*w. Let a be (2 + -3)/(c/p). Which is greater: 0 or a?
0
Suppose -13 = -t - 4. Suppose -3*m + t = -0*m. Suppose m = -4*z + z. Which is bigger: z or -3/5?
-3/5
Let q be 2/(-1) - (-38)/16. Let t = -21 + 20. Which is bigger: q or t?
q
Suppose 5*z = z + 12. Let l(d) = -d**3 + 2*d**2 + 3*d - 1. Let f be l(z). Let y be (f/(-4))/((-9)/12). Are 1 and y nonequal?
True
Let l = -59 + 529/9. Suppose 2*m - 2*p + 8 = 6*m, -4*m + p + 2 = 0. Which is bigger: l or m?
m
Let j be (-516)/26 + 36/(-234). Which is smaller: -24 or j?
-24
Suppose i = 3*m + 2*m, i = -m. Let n = 0.1 + -2.1. Is i != n?
True
Let z(i) = -i**3 + 3*i**2 - i. Let h be z(3). Let l be (6/9)/((-2)/h). Is -2 < l?
True
Suppose -l = 1 - 8. Let k(d) = d**2 - 6*d - 8. Let a be k(l). Is 0 != a?
True
Suppose -h - 1 = 1. Suppose 2*r + 4 = 0, 2*k - 2*r - 4 = 3*k. Suppose -4*g - 4 = -k*g. Is g at most as big as h?
False
Let n = -595/11 - -54. Let h(w) = w**2 + w. Let p(c) = 3*c**2 + 6*c - 1. Let k(y) = -4*h(y) + p(y). Let j be k(2). Is j >= n?
False
Let c be ((-35)/28)/(2/18). Is c greater than -11?
False
Suppose -3*q - 53 = -5*m, -2*m + 4*m - 2*q - 22 = 0. Let j = m - 9. Let r be 1/(-4)*(0 - 1). Is r at least j?
False
Let s = -89 - -621/7. Let z be 4/3 - (-1)/(-3). Is s less than z?
True
Let y = -10 + 11. Let t(a) = -6*a**3 - a**2 + 2*a - 1. Let p be t(y). Which is bigger: -7 or p?
p
Let q = 65 - 65. Which is smaller: -1/23 or q?
-1/23
Let x = 15 + -21. Let a(p) = p**3 + 6*p**2 + 2. Let w be a(x). Suppose 6 = -5*b + 2*r, 2*b + w - 8 = 5*r. Are -3 and b equal?
False
Let u = 12 - 11.6. Let y = u - 0.3. Suppose -5*n + 37 = 3*g, n = 3*n + 2*g - 18. Which is smaller: y or n?
y
Let i(q) = -2*q**2 + 11*q - 13. Let s be i(7). Is s <= -34?
True
Let t = 83 - 83. Is 3/10 > t?
True
Let j be ((-99)/12)/(6/(-16)). Let y = j + -16. Which is greater: y or 5?
y
Let v(h) = h**2 + 7*h + 4. Let k be v(-5). Let b = 9 + k. Let w be (6/4)/(b/(-4)). Are -2 and w equal?
True
Let t = -2 - -5. Suppose -d = 3*z + t, -3 = d + 2*z - 0. Let c be (-1*6)/2 - d. Which is smaller: -1 or c?
-1
Let w = 0.4 - 0.28. Let c = w - 0.12. Is c greater than -3/4?
True
Suppose 0 = 3*p - 0 - 3. Let d = p - 1. Suppose -3*o - 5 - 1 = -3*i, 4*i - 3*o = 6. Is d bigger than i?
False
Let w = -8719/3800 + 87/38. Let b = w - 383/3400. Which is smaller: b or -1?
-1
Suppose 0 = 4*z - 2*z + 2. Which is smaller: z or 0.08?
z
Let z = -0.053 - -0.253. Is 0 smaller than z?
True
Let o = 0 + 0. Let c = 178 + -178.1. Is c less than or equal to o?
True
Let i = -49/3 - -151/9. Do i and 1 have the same value?
False
Suppose 8*z - 45 + 13 = 0. Is z > -4?
True
Let l = 301 - 1185/4. Which is smaller: l or 1?
1
Let k be ((-54)/15)/((-6)/(-15)). Is -8 bigger than k?
True
Let y(m) = m - 9. Let d(t) = -t + 9. Let a(l) = -5*d(l) - 4*y(l). Let c be a(12). Suppose -2*j + 5 = c*j. Which is smaller: 2 or j?
j
Suppose 0*s = -s + 4. Suppose 0*t + 6 = -s*t + 5*v, 5*v - 9 = t. Is 1 not equal to t?
False
Let o be (-22)/21 + (-5)/(-15). Is o at most -1?
False
Let g be 34/8 + 2/(-8). Suppose -71*t + 42 = -29. Are g and t unequal?
True
Let y = -5/2 + 2. Which is smaller: y or -6/11?
-6/11
Suppose -3 - 5 = -4*m. Let a be (m/(-4))/((-1)/(-378)). Let q be 4/18 - (-96)/a. Which is smaller: 0 or q?
q
Let l = -355/413 + 1/413. Suppose -v = -5*o - 2 - 3, 5*o + 3*v + 5 = 0. Which is greater: o or l?
l
Suppose -3*q + 1 = -4*q. Is 0 > q?
True
Let z = -5 + 4. Let x be (-1)/(-6) - (-23)/(-30). Is z less than x?
True
Let l be 8/6 + (-22)/(-33). Let g = 1889/6 - 314. Which is smaller: l or g?
g
Let w = -2 - -2.02. Let u = w - 2.02. Let q = 13/3 - 23/6. Which is smaller: u or q?
u
Suppose -2*a + 2 = 0, 0*h + 5*a = -h + 9. Suppose 3*m + 2 + h = 0. Is -3 equal to m?
False
Let m(o) = -o**2 + 5*o - 3. Let u be m(4). Which is greater: -78 or u?
u
Let m = 30 - 18. Let o = m + -12. Which is smaller: o or 0.2?
o
Let s = -2.35 - 0.35. Let r = -3 - s. Is r bigger than 0.01?
False
Let q be ((-10)/(-15))/(6/63). Is q equal to 8?
False
Let b(o) = -o**3 - 9*o**2 - 8*o + 6. Let v be b(-8). Let u be (v/5)/((-4)/(-20)). Let i be (-15)/(-2)*2/3. Which is greater: u or i?
u
Let j be (-5194)/(-16) + -1 - 3. Let o = j - 321. Which is bigger: 1 or o?
1
Suppose -4*t = 5*f + 156, -2*f = -f - 4*t + 12. Does f = -53/2?
False
Suppose 2*f + 23 = -19. Let h = -11 - f. Let y = h + -11. Which is bigger: -4/7 or y?
-4/7
Suppose 12 = -5*y - 3*t - 5, 5*t + 20 = 0. Suppose 4*x - 4 = 2*x. Suppose v = -x*v. Is y less than v?
True
Let i(h) = -h**3 - 8*h**2 - 9*h - 13. Let k be i(-7). Do k and 4/9 have different values?
True
Let b = -117 - -119. Which is greater: b or -7?
b
Let k(y) = y**3 - 4*y**2 + 3. Let m be k(3). Let g be m/(-5)*20/27. Is g bigger than 2?
False
Let g = 140 - 142.07. Let j = 0.07 + g. Let f = -1 - j. Which is bigger: f or -4?
f
Let s be (-5)/4 - (-1)/4. Is s equal to -2/41?
False
Suppose -4*h = -6*h - 2. Which is smaller: h or -6/13?
h
Let i = 71 - 637/9. Is i at least 1?
False
Suppose -f = 2*f. Let n = 5 + -10. Let q = n - -5.1. Which is smaller: q or f?
f
Let u = 0.9 - 4.9. Let z = 0.76 - -2.34. Let m = 3 - z. Do u and m have the same value?
False
Let q = -1373/33 + 208/5. Which is smaller: q or 0?
q
Let h be 2 - 2 - (-2)/(-7