Let w = -21 - -21. Let x = -30 + 42. Let v = x - 37. Is w at least as big as v?
True
Suppose 90 = 4*p - 86. Do p and 43 have the same value?
False
Let a be (-113)/2 - -2*6/(-8). Let c = a + 51. Which is greater: c or -6?
-6
Suppose 0 = q - 2*x - 706, x - 555 = -3*q + 1570. Do q and 706 have the same value?
False
Suppose 2*p - 20 = -3*y, 6 = 2*y - 2. Suppose -3*i + 66 = -7*i + 2*u, -58 = 2*i + p*u. Is -19 at most as big as i?
True
Suppose 0 = -9*o - 4*o - o. Which is smaller: o or 16/11?
o
Let d = 46 - 51. Let v = d - -4. Are 23 and v nonequal?
True
Let a = -2 - -4. Suppose 0 = 3*d + x + a*x - 60, 4*x = -16. Let m(s) = -61*s + 328. Let z be m(5). Is z greater than d?
False
Let c be 18/(-10) + 268/335. Are -1/1076 and c equal?
False
Let c = 12246341/1019 + -12018. Which is greater: 1 or c?
1
Suppose 72*s - 64*s + 16 = 0. Let k(x) = -x + 2. Let o be k(2). Which is smaller: o or s?
s
Let j be (-56)/(-7) + (-2)/(-1). Suppose 0 = 5*p + 3*c + j, -c = 3*p + p + 1. Is -2/29 at least as big as p?
False
Suppose -160*t - 494 = -1134. Let h = -27516 + 495413/18. Let q = -40/9 + h. Which is greater: t or q?
t
Suppose 5*a + 2*c + 30 = 0, c + 0 = 2*a + 21. Let b be ((-28)/a)/(25/(-30)). Is -5 < b?
True
Let n = 404/3 + -136. Let h = 22.7 - 20. Let r = h + -3. Which is bigger: n or r?
r
Suppose 0 = 19*l - 15*l + 120. Which is smaller: l or -27?
l
Let f = 8 + -7. Suppose -j - 4*c = f + 12, -3*j = -4*c - 25. Which is smaller: j or 5?
j
Let i = 41.021 + -41. Let y = i + -3.121. Let c = y - -3. Is c at least as big as -2?
True
Suppose 0*o - 3*o = 0. Let f(s) = s**3 + 6*s**2 + 5*s + 5. Let q be f(-5). Suppose l - q*g - 16 = 0, 3*l + o*l - 3*g - 12 = 0. Is -1/19 greater than l?
False
Suppose 2*x = 3*x - 1. Let b be (2/5)/(42/15 - x). Which is smaller: b or -1?
-1
Let u(p) = 4*p**3 - p**3 - 7 - 9*p**2 - 3*p**3 + 15*p + p**3. Let o be u(7). Are 1/3 and o nonequal?
True
Let c = 4.3 - 17.8. Let x = c + 16. Which is bigger: 2/7 or x?
x
Let m = 48 + -36. Suppose -2*d - m = -3*a, -2*a + 8 = d - 7. Let b(x) = x**3 - 7*x**2 + 8*x - 6. Let c be b(6). Does c = a?
True
Let c be (5 - 552/112)*14. Which is greater: c or 2/1959?
c
Let n = -668 + 273. Does n = -395?
True
Suppose 5*l = 9*l, 5*l + 168 = 4*k. Let r be (-2 - (-69)/k)*4. Is r != -1?
True
Suppose -2*u - 3 = -5*u. Let s be -8 + 1 + (2 - 4). Let b be (u/(s/12))/1. Which is greater: -2 or b?
b
Let h = -2351/6 + 380. Which is greater: h or -11?
-11
Suppose 3*u - 21 = -4*q - q, 2*q - 5*u + 4 = 0. Let k(a) = 2*a**3 - a**2 + 4*a - 1. Let j be k(q). Let i = -36 + j. Does 19 = i?
False
Let i = 255/4 - 65. Which is bigger: -1/14 or i?
-1/14
Let z = 4 - -3. Suppose -i = -2, -z = b - i + 2*i. Is b <= -9?
True
Suppose -5*s + 44 = -5*n + 9, 4*n = 2*s - 28. Let f(b) = -b**3 - 8*b**2 - 10*b - 14. Let z be f(n). Which is smaller: z or 31/5?
31/5
Suppose -288 = 8*i - 560. Which is smaller: 27 or i?
27
Let x = -119 + 119. Suppose x = 2*j, 0 = 2*p + j + 4*j + 2. Which is smaller: p or -2/79?
p
Let w(i) = -i**3 - 3*i**2 - 5*i + 14. Let j be w(-6). Let a = j - 204. Is 0.1 at least a?
True
Let k = -373 + 345. Is k smaller than -23?
True
Suppose -11*y + 9*y + 10 = -x, 2*y - 10 = -3*x. Suppose -6*u + u + o - 15 = x, -2*u - 3*o = 23. Is -4 > u?
False
Suppose -4*c - 5*s + 194 = -59, 0 = -5*c - 4*s + 323. Suppose 253 = 3*p + 52. Is c bigger than p?
False
Let f = 88.91 + 0.09. Let m = -88 + f. Let w = -181/5 - -187/5. Is m smaller than w?
True
Let w = -23 - -25. Let s be (1/w - -1)*96/(-72). Which is smaller: -8/13 or s?
s
Suppose 4*i = -0*i + 1512. Let r be (-2)/5 + i/(-30). Is r at least -12?
False
Suppose -23*v + 20*v - 3*x = 6, 4*v = 2*x + 4. Which is bigger: 5/119 or v?
5/119
Let w = 16467/19 - 1281373/1463. Let n = w + 68/7. Let u = 38 - 37. Which is smaller: u or n?
n
Let h be 6/(-7) + 13/(-91). Which is smaller: 9/53 or h?
h
Let c = -2646 - -920809/348. Which is smaller: -1 or c?
-1
Let s = -27 + 82/3. Let u = 17 - 17.7. Let b = u - -5.7. Is s <= b?
True
Suppose -10*b - 16 = -236. Which is smaller: 23 or b?
b
Suppose -136 = -t + 3*t. Let l = 22 + t. Is -46 equal to l?
True
Let y = -39 + 38.62. Let x = 6.08 + -6. Let p = x + y. Is p at most 0.1?
True
Let g be (-3 + -1)/(6/(-26)*-10). Which is bigger: 0 or g?
0
Let s be (-12)/70 - 4/10. Let u be -1 + 3/(-6)*-6. Suppose 7*j - 3*j = 2*d - 2, u*d - 2 = -2*j. Which is smaller: j or s?
s
Suppose 3*m - 5*w - 15 = 0, -25 = -5*m - 2*w - 0*w. Suppose b - 7*o + 15 = -2*o, 3*b = -m*o + 15. Suppose b = 6*t - 5*t + 2. Are t and -2 unequal?
False
Let u(r) = r**3 + 3*r**2 - 4*r + 1. Let a be u(-3). Let p = a - 23. Is p at most -11?
False
Let j = -31204/7 + 4478. Which is bigger: j or 21?
21
Let d = -1.743 - -1.643. Which is smaller: d or 1.27?
d
Let n(k) = k**3 - 4*k**2 + 2*k - 3. Let x be n(4). Suppose x*g - 2 = 3*v + 3, -2*v + g - 1 = 0. Which is smaller: 1/48 or v?
v
Let b(z) = -z**2 - 11*z - 1. Let j be b(-10). Suppose j*t - t = 1008. Is t > 0?
True
Let r(a) = a**3 - 4*a**2 - 7*a + 2. Let i be r(5). Let s be ((-3)/24)/(2/i). Which is smaller: -0.04 or s?
-0.04
Suppose -8 = b - 9. Let i be b + (-4)/(-8)*2. Is i less than 12/5?
True
Let w(r) = -70*r. Let s be w(1). Suppose 54*i + 690 = 44*i. Which is greater: s or i?
i
Let n = -0.108 + 0.078. Let k be ((-6)/(-8))/(-1 - 2). Is n greater than or equal to k?
True
Let n be (4 - -3) + 2 - 4. Suppose -n*d - 12 = -8*d. Is 30/7 less than or equal to d?
False
Suppose -12 = -a - 2*a. Suppose a*r - r = 0. Let y = -55 + 52. Is r greater than y?
True
Let v(s) = -2*s + 22. Let b be v(10). Let n(m) = 2*m + 6. Let i be n(b). Is 13 less than i?
False
Suppose 6*x - 51 = 3. Let h be (-6)/8*(-2)/x*-3. Which is greater: h or -6?
h
Let a(q) = -5*q**2 + 6*q + 75. Let i be a(10). Which is smaller: i or -367?
-367
Suppose 2*m - 4*s = -10, 2*m + 0*s - 5*s = -15. Suppose 3*a + q = -4*q, -a = m*q. Let f = 4 + -4. Is a > f?
False
Let m be 3/2*1 + -2. Let v = 6 - 8. Let t be (1/v)/((-14)/(-28)). Do t and m have the same value?
False
Let t = -712 + 705.89. Let b = -0.11 - t. Let p = -5.2 + b. Which is smaller: p or 0?
0
Suppose 8*l + 19 = -13. Let x be (5/l + 1)*(-16)/4. Is x at least as big as 6/19?
True
Let h = 104 - 16. Let l = 88 - h. Is l at least as big as 9?
False
Suppose -4*m + 26 = 18. Let y be (m - (-1 - 0)) + (-33)/15. Suppose 0 = -s + 3*s. Which is greater: s or y?
y
Suppose 5*w + 163 = 3*i, 2*w + 66 = i - 0*i. Let v be w/(-14)*12/(-15). Is v not equal to -6?
True
Let v(u) = -7*u**2 - 42*u + 10. Let n(x) = -4*x**2 - 21*x + 5. Let o(f) = 5*n(f) - 3*v(f). Let j be o(-22). Is j smaller than 18?
True
Suppose 0 = -3*r - 6, -3*r = -2*o + 2*r + 6. Let w = 0.23 - 1.45. Let d = w - -0.22. Is o smaller than d?
True
Suppose -2*y = -y + 5*i + 14, y + 14 = 3*i. Let t be 9 + -27 + (-1 + 0)*-4. Does t = y?
True
Let j be (-6)/12*(-1 + 1)/(-2). Which is smaller: -1/82 or j?
-1/82
Suppose 326*a - 90 = 308*a. Are a and -3/7 non-equal?
True
Let i be 1 - (-1 + 3/(-3)). Suppose 3*z + 117 = 3*b + 2*z, -9 = -i*z. Let t be ((-1)/3)/((-5)/b). Do t and 3 have different values?
True
Let h = -16 + 19. Let s be 4 + (-1)/1*h. Let u be (200/68 + -3)/s. Which is smaller: u or 1?
u
Suppose -5*z - 2 = -12. Suppose l - 17 = -4*v, 2*v - 11 = 5*l - z*v. Is l bigger than 9/7?
False
Let q(t) = t**2 + 34*t - 11. Let l be q(-35). Is 5 < l?
True
Let a = -174 - -173.8. Is 104/7 >= a?
True
Let p = 6 - 22. Let y = 13 + p. Let a = 0 - 1. Is y >= a?
False
Let h = -0.03 - -80.03. Let q = h - 48. Do 1/2 and q have the same value?
False
Let i = 143 + -146. Do i and 65 have different values?
True
Suppose 770 = -10*i + 5*i. Let z = i + 1076/7. Is z at least as big as -0.2?
False
Suppose 3*k - 1050 = -3*z, 41*z - 1740 = -5*k + 46*z. Is 350 equal to k?
False
Let y(r) = r**2 + 4*r + 2. Let l(g) = g**2 + 4*g - 2. Let i be l(-4). Let q be y(i). Let m be ((-10)/(-3))/(q/12). Are -20 and m equal?
True
Let u be (198 - 191)*(-1 + 10/14). Let o = -356 - -3551/10. Which is greater: o or u?
o
Let u = 42 - 108. Let j = u + 65. Which is greater: 5/14 or j?
5/14
Let h = -1.4 + 1.19. Let x = -2.21 - h. Which is smaller: 1/5 or x?
x
Suppose -148 = 17*x - 13*x. Do x and -34 have different values?
True
Suppose 5*d - 5*w + 33 = -42, 3*w + 5 = -2*d. Let a = 6 - 1. Let r be a/(d/(-6)) - 0. Are 3 and r nonequal?
False
Suppose -21*f - 684 = 1143.