uppose -6*z + 3 = -9*z. Is -2 greater than or equal to z?
False
Let x = 1342 - 41598/31. Which is smaller: x or 1?
x
Let w be (6/(-4))/((-15)/4). Suppose -2*d - 33 = 2*d + 5*t, 5*d = 2*t. Let j(s) = s + 1. Let b be j(d). Which is bigger: b or w?
w
Suppose 15*n = 11*n - 36. Which is smaller: n or -7?
n
Let i = 0 - -1. Let l = i - 0. Let w = -4 - -4. Is w != l?
True
Suppose z = -3*z + 68. Let b = z + -11. Suppose t = -4*a - 1, b*t + 2*a - 13 = t. Which is smaller: 2 or t?
2
Let z = -47 + 46. Which is smaller: z or 1/76?
z
Suppose 5*f = -7 - 38. Which is smaller: f or -10?
-10
Suppose -23 = z + 4*p, 0*p + 4*p = -5*z - 35. Let v be 2/(-7) + 0 + 0. Which is greater: z or v?
v
Let i be (-74)/(-22) - (4 - 1). Suppose 3*c - 7*c = 0. Which is bigger: c or i?
i
Suppose 4*r - 4*n = 20, -n - 15 = 4*r + 2*n. Suppose 3*l + 2*l = 0. Suppose -3*c + c = l. Is c bigger than r?
False
Let a be 1 - 4 - (-15)/6. Suppose 0 = -3*j + 4*q + 7, -15 = -4*j - 3*q + 11. Let m be 2/j - (-12)/(-5). Which is smaller: a or m?
m
Let l be 1/(-8) + 36/32. Is l greater than or equal to -3/29?
True
Let h be (75 - -1)*(-4)/(-14). Let o be 2*(3 + 8 + 0). Let x = o - h. Is x >= 1?
False
Let a = -3 + 5. Let l = -0.06 + 0.26. Let b = l - 1.2. Which is smaller: b or a?
b
Let f = -2.4 - 5.5. Let j = f + 8. Is -1 > j?
False
Let t = 61 + -60.9. Is t less than -6?
False
Suppose 2*q + 3*q = -405. Let u be 14585/180 - 2/8. Let x = q + u. Is x greater than -2?
True
Suppose -2*i + 2 = -0. Suppose -i = 3*l - 10. Let q be (-4)/6*l/2. Which is bigger: q or 0?
0
Let z = -10 + 9. Let k = -1 - z. Are k and 0 equal?
True
Let v = -8 + -4. Is v > -11?
False
Let b be (-1 - 30/(-33))/(8/24). Are b and 1 equal?
False
Let q be (-4)/(4/(-2)) - 1. Let o = -2 + q. Let w = 82/5 - 16. Which is smaller: o or w?
o
Let n(a) = a**3 + 5*a**2 - 3*a - 11. Let m be n(-5). Which is bigger: 0 or m?
m
Let p = -11 - 1. Let x = p + 11. Which is bigger: -1/3 or x?
-1/3
Let r = -4 - -3. Is r less than or equal to -2/19?
True
Let r = -7 - -10. Suppose -w - b = -2*w + 2, 5*b = r*w - 14. Let t be (-9)/12*(-8)/w. Which is smaller: t or -2?
t
Suppose -c - 1 = -2*c. Is c > 2?
False
Let w = 53 - 74. Let u = w + 25. Which is smaller: u or 0.3?
0.3
Suppose -3*h + 6 = -4*h. Suppose n + 10 = 2*n. Let a = h + n. Which is smaller: 3 or a?
3
Let h = 410/13 + -18476/585. Which is smaller: -1 or h?
-1
Let a(h) = h**2 + 4*h + 1. Let d be a(-4). Let t be (-1)/(-1) - 7*3. Let f be d*(t/11 - -2). Is 0 smaller than f?
True
Let a = -6 - -3. Let k = a - -4. Which is smaller: k or -2/27?
-2/27
Let q be -3 - -5 - 14/10. Suppose -5*u = 2*a - 8 - 1, u - 3*a + 5 = 0. Which is bigger: q or u?
u
Let q = -9 + 5. Is -1 at least q?
True
Suppose 3*z - z - 2 = 2*t, 3*z + 1 = t. Let r be (2 + -2)/((-2)/z). Which is greater: r or 2/21?
2/21
Let l = -3.78 - 0.22. Let c = 2 + l. Which is greater: c or -4?
c
Let z(q) be the third derivative of 3*q**6/40 - q**5/60 - 5*q**2. Let y be z(1). Are y and 8 equal?
True
Let t(o) = -o**3 - o**2 + o - 1. Let m(l) = 3*l**3 + 10*l**2 + 5*l - 3. Let y(j) = -m(j) - 4*t(j). Let q be y(7). Which is greater: -8 or q?
q
Suppose 2 = -4*t + 2*c, -c + 13 = 4*t - 0*c. Let p be ((-8)/60)/(t - 1). Is -1 at most as big as p?
True
Let j = -2 + 12. Let m be j/(-9) - (-6)/6. Is m <= -1?
False
Let z = -26 - -26. Is z <= -4?
False
Let q = 0.05 - 0.05. Which is greater: -1/11 or q?
q
Let j = -44 + 46. Is j less than or equal to -39?
False
Suppose -2*y - y = 117. Let i = -18 - y. Let g = i - 14. Is 7 at most g?
True
Let t = -0.8 + 0.86. Let y = -38 - -33.1. Let w = -5 - y. Which is smaller: w or t?
w
Let a be (-2)/(-4)*-6*80/24. Let c(q) = q**3 - 6*q**2 - q - 2. Let g be c(6). Is a != g?
True
Suppose 5*i + 4*z = 3*z - 32, 3*i + 8 = 5*z. Which is bigger: i or -8?
i
Let x(h) = -2*h + 1 - 2*h - h**3 + 3*h + h**2. Let w be x(1). Let t be -2 + 1/(-2)*w. Which is smaller: -3 or t?
-3
Let f be 2/3 - (-1 + 2). Let h be (60/(-98))/5*-7. Is f != h?
True
Let o = -40 + 34. Is o at most as big as -8?
False
Let j be 1/(9/6 - 1). Let l = -6 + 11. Suppose 7*k = -4*b + l*k - 2, 2*b - 14 = 2*k. Is b >= j?
True
Let w be -1 + 0 + 13/9. Let j = 13 - 11. Suppose -b - 2*v = -1, -2 = -j*b - 4*v + 3*v. Which is smaller: b or w?
w
Suppose -4*d + 7 = -17. Suppose -d = -3*h + 4*o, -3*h + 3 = 5*o - 3. Let c be (-3 + h)*(-3)/(-7). Which is greater: c or 1?
1
Let u(o) = 214*o. Let i be u(-2). Let t be 3/(-5) + i/20. Let w be t/(-16) - 3/3. Is w at least 1?
False
Let n = -4536/341 + 294/31. Does -3 = n?
False
Let g = 5/11 + -4/33. Which is smaller: 0 or g?
0
Let j be 7 - (5 + -1) - 2. Which is greater: j or 2?
2
Let g be 3/(9/3)*1. Let b(s) = 33*s**3 + s**2 - 1. Let h be b(g). Let o be (-2)/(-15)*(-15)/h. Are o and 0 unequal?
True
Let f be (9/2)/((-15)/(-6)). Let o = f - 199/105. Which is greater: o or 1?
1
Let a = 2/935 + -2012/66385. Does -1 = a?
False
Let r = 7325/11 + -667. Which is smaller: -1 or r?
r
Let q(l) = -l - 6. Let w be q(-6). Does -1/4 = w?
False
Let o = -32919/4 - -8282. Let z = 111/2 - o. Which is bigger: z or 4?
4
Let x = -1.7 + 1.5. Which is bigger: 2 or x?
2
Suppose 0 = -0*d - 3*d - 3. Is d <= 2?
True
Suppose 4*l + 2*z = 2, -2*z + 1 = -3*l + 8*l. Which is smaller: -10/33 or l?
l
Let y be 24/(-9) - (-2)/3. Suppose 8*s + 2 = 10*s. Does y = s?
False
Suppose 3*z = -4 - 8. Is -3 at most as big as z?
False
Let h = 8 + -7.5. Let x = 0.4 - h. Is x at most as big as -2/3?
False
Let m = 3 + -2. Does m = 5/6?
False
Let t = -28/45 + 2/9. Which is greater: -4.1 or t?
t
Suppose 4*p = -c - 8, -p = 3*c - 2*c + 2. Let d = -4 - p. Let h be 4*-1 - (-3 - d). Are -2 and h unequal?
True
Let h = 35 + -14. Suppose 0*t + t + 3*l + 7 = 0, -3*t + 5*l = -h. Is t >= 3?
False
Let x(a) = -2*a - 1. Let n be x(-1). Let j be (-2)/(-6) - 752/(-360). Let p = j + -20/9. Are p and n non-equal?
True
Suppose 0 = 2*a - 101 + 101. Which is smaller: a or -1/85?
-1/85
Let r = -13 + 8. Let j = r + 11. Suppose 5*m = j*m - 2. Which is smaller: 3/2 or m?
3/2
Let j(w) = -w + 4. Let g be j(3). Which is bigger: g or 0.06?
g
Let j be (-4)/6*114/(-4). Let y = j + -18. Is y >= 2/5?
True
Suppose 0 = -4*r - 2*w - 3*w - 19, -3*r = 5*w + 18. Is r bigger than 1/5?
False
Suppose 49 = -4*u - 0*g - g, 4*u - 2*g = -34. Let r = -7 - u. Let d be 17/(-35) - r/(-14). Which is bigger: 0 or d?
0
Let u(v) = v**3 + 3*v**2 + 2*v - 1. Let g be u(-2). Let w = -14 + 7. Let l = w - -61/9. Which is smaller: l or g?
g
Let k(q) = q - 2 - 2 - 1 + 1. Let b be k(4). Is b < -1/3?
False
Let m be (-57)/4 - 2/(-4). Let w = m + 14. Is w at most 0?
False
Let m = -0.05 - -0.05. Is m >= -15?
True
Let j = 27 - -12. Suppose -4*r + 17 = -j. Let m be 2/(-7) + 4/r. Which is smaller: -1 or m?
-1
Suppose 0 = 3*b - 22 - 2. Let r = 2 - -1. Suppose r*o = b*o. Which is smaller: o or -2/11?
-2/11
Suppose 13 = d + 16. Is d at least as big as -4?
True
Let l(m) = m + 1. Let p be l(7). Let b = p - 1. Which is greater: b or 5?
b
Let c = 93 + -55. Is -0.1 at least as big as c?
False
Let n be 4/(3 + -2) + -1. Suppose n*c = -2*c + 5, -5*m = -5*c + 5. Let d = -9 - -8. Is d > m?
False
Suppose 14*f = 11*f + 27. Is 8 at least f?
False
Let q(b) = -b**3 - 15*b**2 - b - 19. Let w be q(-15). Let c(n) = n**3 + 2*n**2 - 3*n - 4. Let v be c(-3). Is v not equal to w?
False
Let u = 660 + -23102/35. Is u != 1?
True
Let c = -44.8 + 45. Which is greater: -93 or c?
c
Suppose 4*d = -d - 20. Let g(c) = c**2 + 4*c + 5. Let s be g(d). Let k be (-1)/s*3/1. Is k at most -1?
False
Let t = 0.03 - 0.09. Let b = 4.06 + t. Which is smaller: b or -1?
-1
Let t = 0.8 + -0.7. Is -17 smaller than t?
True
Suppose -31 = -7*k - 3. Is k greater than or equal to -3?
True
Let w be (-969)/321 + (-6)/(-2). Let u = w + -85/1177. Is u > 1?
False
Let s = 0.2 + -0.2. Let o = s - -2. Let p = -21 - -85/4. Do o and p have different values?
True
Let y = -16/8439 - -2610512/25317. Let q = y + -103. Suppose -3*u - 3 = k + 3, 3*u - 6 = 3*k. Is q at least as big as u?
True
Let z be ((-18)/21)/3 - 36/21. Let t be (-17)/4 - (-2)/8. Are t and z equal?
False
Suppose 0 = -5*a + 2*s + 68 + 222, 3*s = -15. Which is greater: 54 or a?
a
Let v be (7/(-3))/(9/(-27)). Does v = 7?
True
Suppose -5*k = -3*k - 2*u - 16, -4*u - 16 = -2*k. Are k and -1/4 non-equal?
True
Let w = -51.1 - -51. Suppose 0 = 6*x - x - 25. Which is smaller: