
u
Let a(s) = s**3 - 2*s**2 + 2*s. Let r be a(2). Let z = r + 0. Suppose 5*o + 3*k - 13 = 3*o, -4*k = -4*o - z. Is 2 equal to o?
True
Suppose 0*f = 3*f - 3. Is f >= 4/13?
True
Let k = 0 + -1. Let l = -6.8 - -6.4. Is l bigger than k?
True
Suppose 0 = 3*z + c + 5 + 22, -2*c = -5*z - 34. Let l be (-2)/z + (-2)/(-8). Let b be (5 + 33/(-6))/((-7)/(-4)). Is b equal to l?
False
Let x(b) = -4*b - 19. Let v be x(-5). Is v greater than or equal to 2?
False
Let k = -1.4 - -1. Let w = k + 0.5. Which is greater: 6 or w?
6
Let a(j) = j**3 - 3*j**2 - 3. Let o be a(3). Suppose 5 - 2 = -u. Let s = -3 - u. Which is bigger: o or s?
s
Let i = 4.9 - -1.1. Let u = i - 5. Is u not equal to 1/2?
True
Let y = 6 - 10. Let d = -6 - y. Which is bigger: d or -1?
-1
Let k = 19 + -75/4. Which is smaller: k or 0?
0
Suppose -h + 23 + 12 = 0. Are 34 and h equal?
False
Let x be -3 + ((-1904)/(-130) - (-6)/39). Which is smaller: x or 12?
x
Let f = -9 + 17. Let a be 12/120*(-10)/f. Is 1 greater than a?
True
Let q = 6 - 4. Let s be (3/24)/(q/(-4)). Which is greater: s or 0?
0
Let x(c) = -c**2 + 1. Suppose 26 = -p - 4*i + 3, 4*p + 7 = i. Let r be x(p). Which is smaller: -0.1 or r?
r
Let f = 9/10 + -12/5. Is f bigger than -3?
True
Suppose -3*a + 0*l - 4*l - 16 = 0, -a + 5*l = -20. Suppose 2*m - 3*m - 1 = a. Is m equal to -4/9?
False
Suppose 8 = 4*y - 4*k, -2*y - 2 = 3*y + k. Suppose 0*h + 10 = 2*h. Suppose -l + 9 = 3*v + v, -h*v = -l. Which is smaller: v or y?
y
Let j(a) = -a**3 + a**2 + 6*a - 4. Let b be j(4). Let z be 39*(b/(-6))/7. Are 1/2 and z nonequal?
True
Let d = -5 - -14. Let r = 10 - d. Is r at most 1/3?
False
Let f be (1 + -1)/(-2) - 3. Let q be 1 - (1 + f) - 1. Is 2 > q?
False
Let l = -0.6 + 0.6. Which is smaller: -27 or l?
-27
Let u(d) = -6*d + 33. Let y be u(6). Which is greater: 2 or y?
2
Let a = -29 - -35. Are 11 and a equal?
False
Let u = 19.8 - 20. Let t = -0.7 - 0.3. Are u and t non-equal?
True
Suppose -4*u - 2 = -22. Suppose -76 = 4*z - 2*n, 3*n - 68 = 4*z + u*n. Let h be z/(-21) + (-3)/3. Which is smaller: h or -1?
-1
Suppose 3*o = -2*d - 6, 0*o + 5*o = 0. Suppose 3*b - 13 = -4. Let v = b + d. Is v greater than or equal to 0?
True
Let h(m) = m**2 - m + 3. Let d be h(0). Suppose -5*z = -5*v + 20, d*z = 4*z - 2*v + 9. Let s be 3 + 0 + 1*-2. Is z > s?
False
Let y = -157 + 4709/30. Which is smaller: -1 or y?
-1
Suppose -7*x + 2*x = 0. Let t be 0/(3 - x) - 5. Are -6 and t non-equal?
True
Let o be ((-9)/(-68) - (-48)/64) + -1. Which is smaller: o or 1?
o
Let r = -5 + 8. Suppose p - 5*p = -12. Suppose -l + r*t + 10 = -p, -8 = 2*t. Is 0 at most l?
True
Suppose 5*a = 3*u - 3, 4*a = 4*u - u - 6. Let c = u + -1. Do -2/5 and c have the same value?
False
Let c = 32 + -161/5. Suppose -18 = -3*p - 3*v, 6*p - 2*p + v - 9 = 0. Is p at most as big as c?
False
Let f = 16 + -11. Suppose -9 = z + f*w - 2, 3*z = -w - 7. Which is smaller: z or -9/7?
z
Suppose -3*l - 3*i = -18, 0 = -l - 3*i - i + 12. Suppose 2*n + l = -0. Let x be (-20)/(-8) + n + 0. Is x equal to 0?
False
Suppose 4*x = 5*n + 25, -x + 2*x - 5 = n. Let d be 16/6 - (3 + x). Suppose 0 = 3*a - 3*p - 1 - 2, 2*p + 1 = a. Is d at least a?
False
Let w = 29 - 32. Are -11/3 and w unequal?
True
Let a = -9.86 - 0.14. Let l = -10.1 - a. Which is bigger: l or 3?
3
Let y be 5*1/10*-8. Is 1 < y?
False
Let o(z) = 21*z**2 + z - 1. Let h be o(2). Let d be (1/3)/(h/30). Is 1 > d?
True
Let d = -3.02 + 3. Let n = 4.02 + d. Let w = n + -3. Is -3/2 smaller than w?
True
Suppose 5*c - 7 = -2*c. Which is smaller: -2/37 or c?
-2/37
Let n be (-25)/(-14) - (40/(-35))/(-4). Suppose 0 = 5*z + 5. Let g(m) = 2*m**2 + m + 1. Let y be g(z). Is n at most as big as y?
True
Suppose -4*c + 14 = -6*c. Let j(q) = -q - 5. Let o be j(c). Suppose o*a + 0 = 2. Which is bigger: 0 or a?
a
Let k = 27 - 28. Let s = -2 - -1.7. Is s >= k?
True
Let h be 34/(-60) - 1/(-2). Let w be ((-5)/((-60)/8))/(14/(-21)). Is h equal to w?
False
Suppose 5*r - 29 + 24 = 0. Is r at most as big as -2/5?
False
Let a = -26 - -25. Which is bigger: -2 or a?
a
Let x(z) = -19*z + 9. Let f be x(5). Let s = f + 775/9. Is 1 smaller than s?
False
Let l be (-2)/16*16/8. Let f = -0.3 - -1.3. Let p = f + -0.9. Is p equal to l?
False
Suppose -6 + 3 = 3*c. Is c at most -2/59?
True
Let w(m) = m**2 - 14*m - 2. Let d be w(14). Is d <= -3?
False
Suppose -3*a = -12 - 48. Let v be (-1)/4 - a/(-16). Let u be 1/(-2) + (-14)/(-16). Does v = u?
False
Let j be (-16)/(-12) - 1/3. Let r be j*(-1 - (-1 + -5)). Let d be (-2)/(((-50)/(-4))/r). Which is smaller: 0 or d?
d
Suppose -2*g - 16 + 4 = -4*q, 2*q = 6. Which is smaller: -0.78 or g?
-0.78
Let j(d) = d**2 - 3*d + 25. Let q be j(0). Suppose 4*u - 9*u = q. Which is bigger: -4 or u?
-4
Let z(j) = 5*j - 1. Suppose 3*x + p = 17, 0 = -3*x - 0*p - 5*p + 13. Let n = x - 5. Let w be z(n). Which is smaller: 3 or w?
3
Let d = 289 + -296.61. Let v = -0.51 - d. Let y = 0.1 - v. Which is smaller: -1/4 or y?
y
Let g(k) = 3*k**3 - k**2. Let r be g(1). Suppose -3*h - o = r*h + 42, -o + 3 = 0. Is -9 bigger than h?
False
Let u be (-7)/(-2) - 2/2. Let p = 2 - u. Let o = 13.2 - 13. Which is bigger: p or o?
o
Let c(h) = -h**3 + 9*h**2 - h + 10. Let g be c(9). Let n = g - 0. Let b = 19/52 + -8/13. Which is greater: b or n?
n
Let z = 16 - 8. Let y be (-3)/4 - 2/z. Let v be 51/(-21) - (-2 + y). Which is smaller: 0.1 or v?
0.1
Let f = 4.7 - 5. Which is greater: f or -2/7?
-2/7
Suppose 5*j - 2*h - 26 = 0, 0*j + h - 20 = -3*j. Let r be ((-3)/j)/((-3)/18). Let s = r + -2. Is s less than 4/9?
False
Let p be (-3 - -3)/(0 + 2). Suppose p = -3*l + 8*l. Which is smaller: l or -0.3?
-0.3
Suppose 4*a - 70 = 70. Suppose 4*f - 2*u + 10 = 0, a = -3*f - 0*f - 4*u. Let c be 6*2/2*-1. Which is smaller: c or f?
c
Suppose 4*p + 21 = -3*p. Is p less than or equal to -3?
True
Suppose 4*b = -5*z + 5 + 34, b = 5*z - 9. Suppose -t - b - 4 = 0. Which is bigger: -9 or t?
-9
Let s(c) = -13*c + 29. Let x(g) = 3*g - 7. Suppose 0 = 5*d - 8 - 2. Let t(a) = d*s(a) + 9*x(a). Let o be t(5). Which is greater: 1 or o?
1
Suppose 15 = 3*o + j, 4*o = -0*o + 2*j + 20. Is o at most as big as -2?
False
Let j = 7 + -7. Is j > 1?
False
Let w be (-14)/(-6) + 6/(-18). Let q be (7/(-14))/(w/4). Let j = q + -2. Is j < -0.2?
True
Suppose -3 = -p, 3*l + l - 3*p - 99 = 0. Is 28 greater than l?
True
Let k = 53 + -52. Is k smaller than 2/11?
False
Let k = 3.1 + -3. Let u = 0.07 - 2.07. Let y = -2.3 - u. Does k = y?
False
Let n be ((-1)/3)/(2/3). Which is bigger: n or 9?
9
Suppose -2*h - 20 = -5*y, -2*y - 20 = -4*h - 7*y. Let w = -0.4 - -0.9. Let n = w - 0.6. Is n less than or equal to h?
True
Suppose -4*t + 5*n = -12, -4*t - 2*n = 6 + 10. Let a = -2/1509 - 1495/10563. Which is smaller: a or t?
t
Suppose -5*m - 74 = -69. Let c = -290/693 + -2/77. Which is smaller: c or m?
m
Suppose h - 3*h + 8 = 0. Suppose h*d - 7 = -19. Do d and -2 have the same value?
False
Let x be -1 + 0 + 2 - 2. Let t be 15/(-9)*(2 - x). Which is smaller: t or -2?
t
Suppose -5 = -7*d - 19. Let i = -2 + 0. Are i and d equal?
True
Let v(m) = 4*m**2 - 59*m - 17. Let f be v(15). Is -4 < f?
True
Let v be -3 + (-1)/(-8)*62. Which is greater: v or 6?
6
Suppose 7*w - j = 3*w - 28, 2*j = -2*w - 4. Let x be 1/(-6) + (-5)/w. Suppose 2*c + 5*i - 17 = 0, -4*c - 15 + 4 = -5*i. Which is bigger: c or x?
c
Let p be (-2 - 0) + 2 + 3. Suppose 8*v = 2*v + 30. Suppose 0 = p*s - 4*a - 7, -v*s + 2*a = -s + 4. Which is greater: -1 or s?
-1
Let m be -7 - -10 - (-6)/(-2). Is 2/3 bigger than m?
True
Let y = -20 + 13. Let h = -6 - y. Is h equal to 1?
True
Suppose 304 = 4*l - a, -l - a - 3*a = -59. Let k = -449/6 + l. Which is bigger: 0 or k?
k
Let z = -0.5 + 23.5. Let h = 23.1 - z. Is -5 > h?
False
Let h be 2*1/1 + -6. Suppose 0 = 5*l - 3 + 28. Which is smaller: h or l?
l
Suppose -3*g + 97 - 40 = -5*p, 0 = 4*p + g + 49. Let m be (-1)/p - (-1)/(-3). Is 0 equal to m?
False
Let n be (-1 - 10/(-6))/((-2)/(-3)). Which is greater: 2/5 or n?
n
Let r(h) = h**2 - 9*h + 1. Let c be r(9). Let l = 3/4 - c. Which is smaller: 2 or l?
l
Let l be (-2)/(-4)*0 - 1. Let i(c) = c**3 - 12*c**2 + 12*c - 14. Let x be i(11). Let v be -1 + 1/(x/(-2)). Which is smaller: v or l?
l
Let f = 0 - -10. Suppose -4*i + 2 = -f. Which is greater: i or 2?
i
Suppose 10*g + 15 = 5*g. Let i(r) = 2*r + 4. Let q be i(g). Let u be 2/