o**2 - 2*o. Let v be b(0). Does v = 5?
False
Suppose -q = -182 - 106. Let b be q/141 + (0 - 2). Which is bigger: -1 or b?
b
Let j(i) = i**3 - 10*i**2 + 7*i + 11. Let q be j(9). Let k = q + 79. Let a be (k/4 - 2)/(-1). Is -17 >= a?
False
Let d = 3.6 - 3.36. Let y = d + -0.14. Is -0.4 >= y?
False
Let h = 339 + -351. Is h greater than 10?
False
Let r be 4/6 - 1*(-3013)/3. Are r and 1006 non-equal?
True
Let v be 710/8 + 4 + (-165)/44. Is v >= 87?
True
Let y = -24.213 + 0.013. Let j = -31 + 7. Let h = j - y. Which is greater: 0.3 or h?
0.3
Let t(k) = -k - 1. Let s be t(-4). Let h = 833 + -833.2. Is s > h?
True
Let t = 2988 - 8252. Let g be 8/(-14) + (-4)/t*724. Which is smaller: g or -1?
-1
Let j = 0.2 - 1.1. Let s = j + -0.1. Let t = s + 0.2. Does t = -0.1?
False
Suppose 1 = s - 4*f - 1, -64 = -5*s + 2*f. Suppose -2*q = -l + 3*l - s, 0 = -3*q + 15. Let g = -6.9 - 2.1. Is l < g?
False
Let k = -10 + 12.1. Let a = k + -3.1. Let m = -223/1125 - 3/125. Is m at least as big as a?
True
Let v = 12.47 + -13.47. Which is bigger: v or -0.004?
-0.004
Let z(t) = -t + 38. Let f be z(0). Suppose 58 + f = 4*p. Is 25 bigger than p?
True
Let w be 4/314*57/(-38). Is 1 greater than or equal to w?
True
Let i = 16.4 + -16.5. Let l = 32.06 - 33. Let z = l + 1. Which is smaller: z or i?
i
Suppose -4*c = 3*q + 24 + 48, -3*c - 69 = 3*q. Which is greater: q or -17?
-17
Let v = -54.9 - -66. Let w = -1.2 - 9.8. Let l = w + v. Which is greater: l or 1?
1
Let y(s) = s**3 + 3*s**2 - 1. Let z be 3/7 + 104/(-14). Let h = 6 + z. Let d be y(h). Which is smaller: 5 or d?
d
Let t = -14.34 + 14.09. Which is greater: 4/5 or t?
4/5
Let u = -14 + 21. Let s be (-2)/(u/((-42)/4)). Let f = -2 + s. Are 2 and f nonequal?
True
Let p = 10732437/164752 - 3/23536. Let q = -65 + p. Is q bigger than 1?
False
Suppose z - 2*n - 37 = 0, 179 = 5*z + n - 5*n. Which is bigger: z or 39?
39
Let y = -21 - -19. Are -0.1 and y nonequal?
True
Suppose -3*v + 5*h + 23 = -0*h, 2*v + 4*h - 8 = 0. Let o be 2/(-15)*v/14. Let i = -2 + 2. Which is greater: o or i?
i
Let f be 112/24 - (-1)/3. Let l be f*(0 + (-1 - 2)). Let y = 3 + l. Which is greater: y or -11?
-11
Let v = 1 + 3. Let c(g) = -g - 9. Let r be c(-9). Suppose r = 2*m - v*m - 22. Is -10 at least m?
True
Suppose 4*v - 5*v + 2 = 0. Suppose -2*k - 4*r = -8, -v*k = 4*r + r - 5. Suppose 0 = 13*y - 8*y - 60. Which is greater: k or y?
y
Let o be (9/12 - 11/4) + 5. Suppose -29 = 5*v + y + 87, o*v + 5*y + 52 = 0. Which is greater: -22 or v?
-22
Let i = -5 - 10. Let b = -12 - i. Suppose -13 = b*q + 5. Is q smaller than -8?
False
Let v = 14.1 - 57.1. Let d = v + 71. Which is smaller: d or 0?
0
Let x(s) = s + 27. Let q be x(-31). Is -6 less than or equal to q?
True
Let d(b) = -b**3 + 4*b**2 - b - 6. Let k be d(3). Let a be (-2)/10*(5 + k). Does a = -1?
True
Let b(c) = -5*c**3 - 15*c**2 + c - 28. Let r(u) = -4*u**3 - 14*u**2 + u - 27. Let q(p) = -5*b(p) + 6*r(p). Let n be q(9). Is n greater than or equal to -14?
True
Let s be (-12)/16*-25*4. Suppose r - s = 4*r. Let b = -24 - r. Is 0 at most b?
True
Let g = 654 + -638. Let u(o) = -o + 4. Let i be u(3). Is g greater than i?
True
Let y(z) = 2*z - 4. Suppose 2*i - 2*v = 4, -i - v = 2*i - 10. Let j be y(i). Which is smaller: -3 or j?
-3
Suppose -11948 = 16*s + 1012. Do -811 and s have the same value?
False
Let s = -3/340 - 2347/3740. Which is bigger: s or -1?
s
Let h be (6/(-4))/((-3)/(-36)). Let v be (-2)/(-8)*h/75. Let q = v + 109/150. Is q >= -2/5?
True
Suppose -y - 2*p - 74 = 3*y, -4*y = -2*p + 86. Let k be (432/(-60))/(3/y). Let z be (-50)/k + 2/3. Does z = 0?
False
Suppose z - 3*l = 3*z + 21, -5 = 5*l. Let m(f) = 11*f + 14. Let p(c) = -7*c - 9. Let b(n) = -5*m(n) - 8*p(n). Let v be b(z). Is v greater than -7?
False
Let r be 3/(-7) + 2001/161. Which is greater: 11 or r?
r
Let t = 9494/3 - 3058. Let o = t - 108. Is o <= -2?
False
Suppose 3*l - 6*l = -2*z + 37, -z + 46 = 4*l. Suppose 3*a = -f - z, 4*a + 3*f = -16 - 17. Let r be 29/(-3) + 2/3. Is r >= a?
True
Let m = -17673991 - -414030912409/23426. Let w = -2/689 - m. Which is smaller: 1 or w?
w
Suppose 4*b = -5*y + 4, y + 3 = 2*b + 1. Suppose -2*v - 2*k - 10 = y, -3*v - k - 9 = 2*v. Which is bigger: v or -3/4?
-3/4
Let k = -2991/5 - -596. Suppose -5*p = -4*z - 8, -3*p = z - 0*z - 15. Let a be 8/(-12) + (-1)/z. Is a > k?
True
Suppose 5*s + u - 821 = 0, 7*s + 4*u = 8*s - 181. Which is bigger: 162 or s?
s
Let z = 3042117/476 - 6391. Is z < 0?
False
Suppose 0*o = o - 2, 4*u + o - 202 = 0. Suppose u*l = 56*l. Which is smaller: 4/37 or l?
l
Suppose 0 = h + 3*h + 20, -5*c - 3*h - 65 = 0. Suppose -6*b - 30 = -3*b. Let w = b - c. Is w not equal to 2?
True
Suppose 35 = 5*i - 5*y, 5*i + 2*y + 2*y = 26. Suppose 13 = 3*s + 4*v, 4*v = i + 10. Which is bigger: 1/67 or s?
1/67
Let x = 4607/6 - 804. Let a = x - -107/3. Is -18 at least a?
False
Suppose -11*r = -12*r + 60. Let m = r - 12. Is 49 greater than m?
True
Let p = 255.1 - 256. Is -3/2 bigger than p?
False
Let j = -111.1 - -0.1. Let o = j + 110. Let m be -8*(-3)/(-84)*-2. Is o less than or equal to m?
True
Suppose 3*u = u - 38. Let i = 360 - 339. Let r = u + i. Is 2 smaller than r?
False
Let z = -124 + 870/7. Suppose -26*b - 5506 + 3634 = 0. Is z >= b?
True
Let d = -2662868/126135 - -2/14015. Is -21 greater than or equal to d?
True
Let j = 64 + -53. Suppose 5*r = 3*x + 28, -6*x - 19 = -2*x - 3*r. Which is smaller: j or x?
x
Suppose 88*w - 97*w + 9 = 0. Does w = 0?
False
Let i = -161 + 143. Let q(m) = m**3 + 20*m**2 + 36*m + 5. Let l be q(i). Suppose 5*j - 3*p + 0 = 15, 4*p - 50 = -5*j. Is j equal to l?
False
Let w be (-20)/5*3*(-20)/24. Is w at most 11?
True
Let k = 77 + -1000/13. Let q(g) = 3*g**2 - 73*g - 49. Let w be q(25). Which is smaller: w or k?
k
Let z = -1545.9 + 1546. Which is smaller: z or 31?
z
Suppose 2*c + i = 64, -3*i - 2*i = 2*c - 56. Let u = c + -33. Is u <= 1/13?
True
Let y(x) = -x**2 - 4*x + 7. Let d be y(-5). Suppose -d*a - 14 = -4*a. Suppose 19 = 3*q - 5. Is q at most as big as a?
False
Let n(q) = 3*q - 29. Let v be n(9). Let y be (-30)/21 + v + 10/7. Do 18 and y have the same value?
False
Let u(f) = -2*f**3 + 6*f**2 + f + 11. Let d be u(5). Let v = 46 + d. Is -39 greater than or equal to v?
False
Suppose -3*j = -2*n - 19, 2*j + 31 = -4*n + j. Is n at most 0?
True
Let i be (4/(-10))/(5456/80). Is i less than or equal to -1?
False
Let z(d) = 91*d - 352. Let n be z(11). Which is smaller: 648 or n?
648
Let d = -8.14 - -0.14. Let x = -0.028 - -0.038. Is x bigger than d?
True
Let l be 10 - 17 - (2 - 1). Let q = -3 - l. Suppose 0 = -p - q*f + 15, -8*p + 3*p + 3*f = 9. Which is bigger: p or 1?
1
Suppose -5*t = -3*f - 28, 38*t = 3*f + 34*t + 23. Is f != 6/173?
True
Let i(y) = -y - 21. Let s be i(-20). Let x(q) = q + 2. Let j be x(s). Is j equal to 10/7?
False
Let i = -16.2 - -7.1. Let x = -0.9 + i. Let g = 9 + x. Which is smaller: g or -0.06?
g
Let p(n) = n - 2. Let s be p(1). Let y be 384/10 + 6/(-15). Let o be 8/y*(-6)/24. Is o less than s?
False
Let s = 0.063 - -34.037. Let n = 34 - s. Is -0.03 greater than or equal to n?
True
Let h = -75 + 73. Let z = -30 - -27.9. Let r = h - z. Which is bigger: r or -0.4?
r
Let n = 119 + 104. Which is smaller: 1 or n?
1
Let s = 0.78 + -0.58. Let d = 3/13 + 17/39. Are s and d nonequal?
True
Let r(u) = u**2 + 9*u + 50. Let n be r(-6). Does 27 = n?
False
Let c = -12.2461 + 0.0661. Let w = -0.18 - c. Let z = w + -2. Is z <= 0.1?
False
Suppose 43*o = 52*o. Which is greater: o or 2/329?
2/329
Let f = 35.052 + -0.752. Which is smaller: f or 1?
1
Let a = -0.4 - -0.2. Let t = -32.6 - 0.4. Let q = 35 + t. Which is smaller: q or a?
a
Let k = 366 - 365.8. Do k and 27/2 have the same value?
False
Let h = -4/141 + 149/282. Which is smaller: 0.6 or h?
h
Let d = 172.2 - 152. Let v = -20 + d. Let p = 6/31 - 4/341. Which is smaller: p or v?
p
Let v(t) = -5 + 3 - 5 - t + 4. Let m be v(1). Let f be 0 + (-7 + 3 - m). Which is smaller: f or 2?
f
Let h be (57/(-152))/(-3 - (-525)/(-4)). Is h at most as big as -1?
False
Let w = 0 - 1. Let a = 190704956/33 + -5779487. Let q = a + 549. Do q and w have the same value?
False
Let p = -593 - -614. Let k = 0.84 - -20.26. Let d = p - k. Is d > 1?
False
Let u be 0 + 0 - (-5 + 6 - 9). Let n be (-162)/1431*2/u. Is n > -1?
True
Let i = 6.6 - 3.6. Let u = 41 - 4