 w = b - 56. Is 9 at most as big as w?
True
Suppose -4*h = c + 357, 4*h + 8*c + 372 = 4*c. Let x be (-1)/(-4) + h/(-32). Suppose 11 = 3*o + 2*f, x = 5*o + f - 6. Which is smaller: o or 2/17?
2/17
Let s be (((-13)/(-3))/(-1))/((-57)/(-684)). Let n = -52 - s. Which is bigger: n or 16/11?
16/11
Let z be (6/39 - (-102)/(-156))*-76. Let p = z + -23. Which is greater: p or 14?
p
Let f be (0 - -867) + (-14)/98*-14. Is 870 != f?
True
Suppose 4*i - c = 3*c + 168, -4*i + 178 = -2*c. Which is greater: i or 39?
i
Let p be 3 + 1/(-1) - 1. Suppose 3*y - p = -4. Let o = 454 - 454.1. Which is bigger: y or o?
o
Let p(g) = -g**2 + 3*g + 7. Suppose -4*a - 12 = -4. Let h be p(a). Which is smaller: h or 2?
h
Let o(m) = -m**2 + m - 7. Let u be (-1 - (3 + -5)) + 0 + -1. Let g be o(u). Which is smaller: -2 or g?
g
Let y be (21/9)/(2/6). Are y and 3 non-equal?
True
Let c(i) = -8*i + 5. Let z be c(0). Suppose 0 = z*u - 20, 0 = -2*d + 7*d + 3*u - 147. Is 26 equal to d?
False
Let k = 131 + -5385/41. Is 1 < k?
False
Let g(a) = a**2 + 33*a + 173. Let k be g(-16). Is k smaller than -101?
False
Suppose 2*z + 5*n = 6*z + 40, -2*z - 20 = 4*n. Let k = z - -81/8. Let s = -3 - -4. Which is greater: k or s?
s
Let a be ((-5 - -4)*-2)/(-2). Let y = -3 + a. Suppose 4*t = -6*m + 4*m - 22, -2*m = t + 13. Which is smaller: y or t?
y
Let b(j) = j. Let k be b(5). Suppose -q = k*s + 10, -2*q + s + 3*s = -22. Suppose v - 1 = q. Is v smaller than 4?
False
Let k be 5 + (-152)/28 - (-60)/(-1036). Is k at most as big as 1?
True
Suppose 3*u + u + 76 = 0. Let q(v) = -28*v - 1. Let r be q(-1). Let t = r + u. Does t = 2?
False
Suppose 0 = 12*n + 304 - 28. Which is smaller: n or -27?
-27
Let z = -254 + 276. Suppose -x + 8 + 13 = 0. Which is bigger: z or x?
z
Let q = 14.26 - 14.26. Which is smaller: q or 240?
q
Let w(o) = -o**3 - 11*o**2 - 22*o - 8. Let d be w(-10). Let q = 136 - d. Let s = 76 - 52. Is q smaller than s?
False
Let r be (-71)/4 - 2/8. Let w = r - -19. Let b be w - (-4 + 2)/(-2). Is 1 at most as big as b?
False
Let f = -579 + 599. Which is greater: f or -17?
f
Let y be (-1 - (-590)/21) + (-124)/186. Which is greater: y or 26?
y
Suppose -2*n + 0*n = 0. Let m be (1/(-20))/(28/(-784)). Do n and m have different values?
True
Suppose -2*a = -5*n - 0*n - 23, 6 = 3*a + 2*n. Let g be (a/14)/((-2)/2). Let i = -0.142 + 0.342. Which is smaller: g or i?
g
Suppose 5*h = -1 - 19. Let p be 3*(328/104 + h/26). Let z be (0 - 18/2)*-1. Is p equal to z?
True
Let s = -47 - -53. Suppose 31 + 41 = s*n. Which is bigger: 9 or n?
n
Let o = 281 - 1685/6. Which is smaller: 1 or o?
o
Let z = -56/5 + 107/10. Suppose 0 = -n + 4*n. Is z != n?
True
Let l(c) = -c**2 + 12*c + 4. Let i be l(12). Let q be (12/i - 29)*-1. Suppose -r + 5*v + q = 0, -2*r + r + 2*v = -11. Do r and 2/31 have the same value?
False
Let u be 14*(24/21 - 2). Let a = u + 13. Let j be a + 2 - (-3 - -1). Which is greater: 4 or j?
j
Suppose v - 5*v + 84 = 0. Let q be -1 + -2 + v + -15. Suppose 4*o + 5*g - 30 = -8, -4*g = q*o - 16. Is -1 equal to o?
False
Let r be (9 + 3)/(-4) + 4*2. Suppose -20 = -r*g + 5*i, 10 = 2*g - i + 7. Let o = -75 + 899/12. Are g and o equal?
False
Let l be ((-3)/5 + 0)/((-2)/10). Let i = -5 + 9. Which is greater: i or l?
i
Let f be -1 + (1 - 4/18). Let c = 765 + -766. Which is greater: f or c?
f
Suppose b = -u + 10, -b + 37 = u + 3*u. Is 9 equal to u?
True
Let z be 9 + -1 - (8 + 3/(-1)). Let v(x) = -2*x**2 - 3*x. Let r be v(-4). Let o be 8/r*z/6. Are o and 0 nonequal?
True
Let o be -5*1 + (-1 - -2). Let a be -1 + -1 + (4 - 2). Suppose -20 = 4*k - a*k. Is k at least o?
False
Let s(j) = j**3 - 5*j**2 + 5*j - 6. Suppose 5*r = -30 - 125. Let k = r + 35. Let u be s(k). Which is bigger: 2 or u?
2
Let a(h) = h**2 - 3. Let x be a(3). Which is smaller: x or 44/9?
44/9
Let s = -26 - -39. Let h = -1 + s. Suppose -p + h = -5*p. Do p and -2 have the same value?
False
Let s be (-670)/500 - (-1)/(-2)*-3. Let j = -7 + 7. Is s at least j?
True
Let r = 25/18 - -5/18. Let o be ((-4)/(-14))/((-135)/35 + 4). Which is greater: r or o?
o
Suppose 5*n - 8 - 15 = 2*a, -11 = a - 3*n. Let z be a/6 + (-7)/(-21). Do 1.4 and z have the same value?
False
Suppose 480 = 828*k - 833*k. Is k greater than or equal to -97?
True
Let q = 3 - 2. Let h = 277/804 - -16/67. Let s = h + -11/24. Is q greater than or equal to s?
True
Let v = -0.25 + 12.25. Let s = 18 - v. Let c = -13 + s. Is c less than -2?
True
Suppose -4*u + j + 4*j = 39, -j = -3. Let g be (-6 + 27)*(-4)/(-3). Let h be g/(-98) + ((-71)/(-28) - 2). Do u and h have different values?
True
Let c = 32 + -34. Let g = 12.27 - 0.27. Which is greater: c or g?
g
Let a(z) = z + 3*z - z**2 - 11 - z + 7. Let s be a(2). Let l be (6/4)/((-1)/s). Which is bigger: l or 4?
4
Let a(l) = l**3 - 2*l**2 - 15*l - 13. Let z(p) = 2*p**3 - 3*p**2 - 30*p - 25. Let d(o) = 5*a(o) - 3*z(o). Let i be d(-4). Which is smaller: -12 or i?
-12
Let b = -37 - 11. Let h = b - 42. Which is bigger: -0.1 or h?
-0.1
Let m = 0 + 1. Let q = 173 - 115. Let b = q - 60. Which is smaller: m or b?
b
Let m(g) = -7*g - 63. Let j be m(-9). Which is smaller: j or 2/23?
j
Let w(i) = -i**3 - 6*i**2 + 3*i + 17. Suppose -5*v - 2*h - 22 = -0*h, -3*h + 6 = v. Let b be w(v). Is b at least as big as 1/4?
False
Let f be -7 + (-66)/231 + (-702)/(-98). Is f at most as big as -1?
False
Let j = -18 - -15. Let t(a) = -a**2 - 3*a + 4. Let l be t(-3). Suppose 15 = -5*r + l*f, -4 = 4*r - 5*f + 8. Is j < r?
False
Suppose q + 33 = -g + 3*g, 0 = -q - 3. Suppose 228*s = 225*s + 42. Which is greater: s or g?
g
Let f be 20/18 + 20/90. Let h(z) = 0*z - z + 8 + 2*z - 2*z. Let v be h(8). Is f at least as big as v?
True
Let o be (-162)/10 - 8/10. Let h be 9/(-3) - 2 - o. Which is smaller: h or 13?
h
Suppose 5*o - 15 + 5 = -j, -3*j + 5*o = -10. Suppose -c = i - 3*c + 14, -3*c + 49 = -j*i. Are i and -7 unequal?
True
Let g = 1510.08 + -1510. Let h = 1.32 - 1.5. Let n = g + h. Which is greater: n or 0.13?
0.13
Let l = 41 - 42. Let y = 47/44 + -20/11. Which is greater: y or l?
y
Let t = -7.99 - -7.9. Let m = -3.11 - -3. Let q = t + m. Which is smaller: -2 or q?
-2
Let p = 49 - 49.5. Is p less than or equal to -2/3?
False
Let a = -29 + 29.01. Is 0.13 at most as big as a?
False
Let f = -33/4 + 1873/228. Suppose a - 32 = -31*a. Do f and a have the same value?
False
Let v be ((-1)/214)/(-1 + (-20)/(-16)). Let j be (-8)/(-40) + 12/15. Is v bigger than j?
False
Let r(q) = -5 - 7*q + 3*q + 9. Let m be r(1). Which is bigger: m or 4/5?
4/5
Let t(j) = j**3 + 3*j**2 - 3*j + 9. Let u be t(-5). Let i be 1 + u/(-2) + -4. Is i not equal to 12?
True
Let b = 506 - 2275/4. Is -63 greater than or equal to b?
False
Let h be 45/6 - 9/6. Suppose 0*f - h*f - 24 = 0. Let o = 5 + f. Which is smaller: o or 9/5?
o
Let r = 2138/23 - 93. Let q be 0 - (1 + (-28)/20). Which is greater: q or r?
q
Let j = 9661/103824 + -13/144. Let r = 414/721 - j. Which is smaller: 0 or r?
0
Let d be (-2)/(-6) - (-8)/(-6). Is d < 2/259?
True
Suppose 8 = 100*b - 108*b. Let f = -2267/2964 - 1/228. Which is smaller: f or b?
b
Let w be (-2 + 19/(-9))/(14/(-6)). Let p be (12 - (-6)/(-3))/(-7). Let x = w + p. Which is bigger: x or 0?
x
Suppose -3*s + 568 = -4*s + 5*c, 4*s = 4*c - 2336. Are -589 and s nonequal?
True
Suppose -1104 = 3*l - 63. Which is smaller: -346 or l?
l
Let z = 5 - 1. Let i = -392 - -437. Let g be (i/(-10))/(2/z). Do g and -10 have the same value?
False
Let t(f) = f**3 + f**2 + f + 23. Let n be t(0). Let m = n + -7. Is m > 0.2?
True
Let l = -105 + -1. Which is greater: -105 or l?
-105
Let m(c) = -c**2 - 14*c + 29. Let b be m(-16). Let n be -6*(4 + 2/b). Is -19 greater than n?
True
Suppose -23*y = 116 + 482. Let q be ((-2)/4)/((-3)/(-162)). Which is greater: y or q?
y
Suppose -32 = 4*q - 8. Is -32/5 < q?
True
Let u = -38 + 43. Suppose -2*b = 4*f + 10, 0 = u*f + 9*b - 13*b - 7. Is -1/120 at least as big as f?
True
Suppose 34 = 4*i + 10. Suppose 6 = 2*s - 2*j, i*j = -2*s + 4*j + 10. Which is greater: 3 or s?
s
Let s = 141 + -135. Is s at least as big as -0.3?
True
Suppose -12 = 7*v - 3*v, -5*o + 4*v = -27. Let q = o + -4. Let k(r) = r**2 - 5*r - 5. Let u be k(6). Which is smaller: q or u?
q
Let k = 13821/8 + -1730. Which is smaller: -2 or k?
k
Suppose 40 = -2*m - 3*m. Let y = m - -7. Is y > 4/31?
False
Suppose -6*r + 2*r -