 + -33. Let m = d - -12.7. Which is smaller: -4 or m?
-4
Let c = -1174 - -1170. Let t = -15 - -21.3. Let l = 6 - t. Is l >= c?
True
Let k = 1735/132 + -93/22. Let i = 8/3 - k. Which is smaller: -7 or i?
-7
Suppose -4*w = 7 - 15. Let f be -3 + w + (-1 - -4). Suppose -2*n = -n. Which is bigger: f or n?
f
Let l(p) = p**2 - 18*p + 61. Let z be l(14). Let s be (0 + -1)/((-6)/(11 - z)). Is 2/11 <= s?
True
Suppose 2*t - 38 = b, 0*b + 2*b - 104 = -5*t. Let r = -18 + t. Suppose 3*l = -4*w + 22, w + 0 = l + r. Which is smaller: w or 5?
w
Let y(k) = k**2 + 3*k - 29. Let j be y(-7). Which is greater: j or 131?
131
Suppose 0 = -3*y - 2*z + 138, -4*z + 142 - 10 = 3*y. Let n = -39 + y. Which is greater: 0.2 or n?
n
Let v(h) = -h**2 - 9*h - 15. Let j be v(-6). Suppose j*w = w. Suppose w = 3*t + 6 + 9. Is -9/2 greater than t?
True
Let w(f) = 38*f - 159. Let k be w(6). Which is smaller: k or 67?
67
Let w = -21.8 + 22. Let r = 1 - 0.5. Let g = r + -0.3. Is g >= w?
True
Suppose 0*u + u = 4*x + 8, 0 = 4*u - 2*x + 24. Let c be 8/(-12)*(-18)/(-4). Let i = u - c. Which is greater: i or -6?
i
Let j = 36.8 - 36. Let i = j - 0.2. Is 3 smaller than i?
False
Suppose 0 = -5*f + 6*f - 1. Let k = -15 - -20. Suppose -3*p = -k*i - 25, 5*i + 0*p = -p - 5. Are f and i nonequal?
True
Let l = -20 + 26. Suppose 4*d = m + 51, -d = -l*d - m + 66. Let x(c) = 2*c - 18. Let v be x(d). Do 7 and v have the same value?
False
Suppose 14 - 4 = j - 4*t, -5*t - 6 = 2*j. Let i = -668179861488/3665 - -182313743. Let g = -2/733 + i. Which is smaller: j or g?
g
Suppose 2 = z - 4*q - 1, 0 = -3*z - 4*q - 39. Let t(a) = -a - 3. Let f be t(z). Let l be (2/6)/((-2)/f). Is l at most as big as 2/11?
True
Let q(d) = -4 + 4*d - 2*d - d. Let n(l) = -3*l + 11. Let z(b) = 4*n(b) + 11*q(b). Let v be z(0). Which is greater: 1/6 or v?
1/6
Suppose 5*h + 6 = -5*w - 4, -2*h = 4. Is w < 3/257?
True
Let l = 496.2 - 496. Which is smaller: l or -70/9?
-70/9
Let w(c) = 2*c**3 - c**2 - c - 3. Let d(y) = y**3 + y**2 + y - 1. Let p(m) = d(m) - w(m). Let j be p(3). Is -1/6 <= j?
False
Let u = -98 + 106.4. Let x = u - 0.5. Let i = x - 9. Is -2 != i?
True
Suppose -3*w = -2*z + 978, 0 = 4*z + 17*w - 16*w - 1984. Is 494 at most as big as z?
True
Let c be (-6)/(-36) - 6759/(-270). Is c > 26?
False
Let z be (14/(-35))/((-16)/(-10)). Which is greater: z or 41?
41
Let p = -7/13 + 1/26. Which is smaller: p or -89?
-89
Let b be (-18)/(-20) + 3/4*-2. Which is smaller: -5 or b?
-5
Suppose -w - 3*w + 98 = -5*r, -2*r + 2*w - 40 = 0. Suppose -18*u + i - 2 = -16*u, 3*u + 4*i - 30 = 0. Do u and r have different values?
True
Suppose 4*j + 721 = 3*c, -j = -c - 0*j + 242. Suppose 0 = 9*i - 104 - c. Is 38 smaller than i?
True
Let p = 0.31 + 3.19. Let r = 4.5 - p. Which is greater: -1.3 or r?
r
Suppose -44 = -3*j + 4*y, -5*j + 0*j + 112 = 3*y. Let l = -21 + j. Which is smaller: -2/11 or l?
l
Suppose 12*p - 2*g = 7*p + 13, -4*p - 16 = 5*g. Which is smaller: p or -1/99?
-1/99
Let i be (4/(-2) - 0) + (-195)/(-80). Is 1 less than i?
False
Let o be 8/6 - (-2)/(-6). Let l = 26 + -14. Let t be (-33)/(-228) + (-3)/l. Is t smaller than o?
True
Let r(n) = 2*n**3 + 54*n**2 + 3*n + 82. Let h be r(-27). Which is smaller: h or 36/97?
36/97
Let a = 87 + -43. Let i = 4/457 + 40665/914. Which is bigger: i or a?
i
Let g = -37 + 39. Let t be (4*8)/(6/6 - g). Which is greater: t or -31?
-31
Let m = -0.1608 + 0.0608. Let x = -102 - -65. Which is greater: m or x?
m
Let o(j) = 10*j**2 - 1. Let x be o(-2). Let d = x + -39. Do 2 and d have different values?
True
Suppose -2*g - m + 2 = 0, -9 = 3*g - 2*g - 2*m. Let j = 2/6165 - 181253/6165. Let s = -2763/95 - j. Do s and g have the same value?
False
Let n = 925 - 117477/127. Is 1 greater than n?
True
Let t(n) = 14*n**2 + 2*n - 1. Let q be t(-1). Suppose -3*k + 0*u + 2*u = -q, -k = -u - 4. Let d be (18/(-20))/(1/(-2)). Which is bigger: k or d?
k
Let l = 23 - 22. Which is bigger: l or -3/533?
l
Suppose 24*h + 31 - 7 = 0. Is h greater than or equal to -13/22?
False
Let s(i) = i + 40. Let n be s(-15). Let l = n + -97/4. Suppose -2*m + 6 - 2 = 0. Do l and m have the same value?
False
Let f(n) = n**3 - 10. Let i be f(3). Is -1.9 at most i?
True
Let h be 2/(-4) - (5 + 230/(-4)). Let m = h - 52. Do m and -9/8 have the same value?
False
Let k = -82 + -14. Let f = 135 + k. Which is smaller: f or 38?
38
Let h = 51.58 - 52. Let p = -2.42 - h. Which is smaller: -12 or p?
-12
Suppose 19*g - 15*g - 12 = 0. Which is smaller: -3 or g?
-3
Let s(p) = -4*p - 25. Let k be s(-7). Suppose 0 = 4*j - j + k*d + 21, 3*j - 5*d + 21 = 0. Which is smaller: -1 or j?
j
Let i(f) = -7*f + 112. Let v be i(15). Let m(y) = y + 3. Let q be m(3). Suppose q*c + 1 = v*c. Which is greater: -1/20 or c?
c
Let a = 50.35 + -49. Let r = a + 0.15. Let t = 1.5 - r. Which is greater: -4 or t?
t
Let t = -1819 + 1814. Is t greater than or equal to -134/25?
True
Suppose 3*s + 3*s = 432. Which is smaller: 73 or s?
s
Let w be ((-15)/(-3) - 9)*-4. Is w <= 0.09?
False
Let b(m) = -m - 154. Let c be b(-43). Is 0 at most as big as c?
False
Suppose 0 = -0*v + 4*v + 12. Let b(h) = -h**2 + h + 3. Let a be b(v). Suppose -39 = 5*z - 3*i + 31, 3*z = -3*i - 18. Is a <= z?
False
Let z = -552 - -552. Is z at least -12/593?
True
Let y = -0.056 - -11.056. Let w = 3 - y. Which is smaller: 6 or w?
w
Let o be (-8 - (1 - 3))*-1. Suppose 0 = o*l - 89 - 31. Does 21 = l?
False
Let j = 2335/6184 - 2/773. Let n(a) = a**3 + 8*a**2 + 9*a + 16. Let y be n(-7). Suppose -y*o - 1 - 1 = 4*u, -3*u - 4*o = -1. Which is bigger: u or j?
j
Suppose -4*v + 2*y + 132 = 0, 5*y - 115 = -2*v - 37. Which is smaller: 36 or v?
v
Suppose -y = -12*y + 902. Is y != 84?
True
Suppose -54*t - 39 = -15*t. Are 539 and t nonequal?
True
Let q(g) = 2*g**2 - 4*g + 10. Let l be q(4). Which is smaller: 128/5 or l?
128/5
Let q be (-4)/10 + (-22)/(-55). Suppose q = s + 4 - 6. Is 2 less than or equal to s?
True
Let v = -23 + 26. Let s = 21 - 20. Is v greater than or equal to s?
True
Let c = -222.5 - -224. Is -3/2 at least c?
False
Let k = 678 - 683. Let m = 15 - 22. Which is bigger: m or k?
k
Let t = -0.2 + 2.2. Let b(i) = -i**3 + 9*i**2 + 8*i + 22. Let u be b(10). Suppose -3*s + u*s - 7 = 0. Which is greater: t or s?
t
Let f = -1738 + 1023. Let d = -726.03 - f. Let r = d + 0.03. Is r at least -1?
False
Let s(g) = -g**3 - 2*g**2 + 3*g. Let v be s(-5). Are v and 58 equal?
False
Let t = 990 + -993. Suppose -j - 6 + 2 = 5*z, -4*z - 3*j = 1. Which is smaller: t or z?
t
Suppose -3*z - 4*t = 2, 0*z - 3*z + t = -23. Suppose 3*q = r + z, r = -3*q - 0*q. Which is bigger: -1/50 or q?
q
Let h(r) = -r + 5. Let j(w) = w**2 + 2*w - 2. Let k be j(-4). Let a be h(k). Let i = 175/12 + -59/4. Is a smaller than i?
True
Let a(u) = -6*u + 203. Let r be a(21). Which is smaller: r or 80?
r
Let j be (1/(-2))/((-8)/16) - 28. Let l = 27 + j. Is l < -7/16?
False
Let s = 125704/73 - 1722. Let y(z) = z**2 + 17*z + 15. Let m be y(-16). Which is smaller: m or s?
m
Let g be ((-4)/(-14))/(((-456)/42)/(-4)). Which is smaller: 47/5 or g?
g
Let j(t) = -4*t + 2. Let x be j(-18). Let n = x - 516/7. Is n at least as big as -1?
True
Let p = 12/17 + 105/68. Which is smaller: p or 3?
p
Let d = 107766031/240 + -449026. Let i = d - -14/15. Is 1 at most as big as i?
False
Let i(m) = 9*m - 1. Let p = -3 - -4. Let r be i(p). Suppose 21*x - 46*x = -150. Are r and x equal?
False
Let j be ((-390)/14 - 0) + 10/(-70). Is j < -28?
False
Let s = 87 + -189. Let k = s - -101. Is k greater than or equal to 1/19?
False
Suppose 4*a + y + 102 = -232, -5*a - y = 418. Which is bigger: -85 or a?
a
Let q = -2/18491 - 2903079/73964. Which is bigger: 1 or q?
1
Let k be (-12)/(-8)*(-20)/15*152. Is -304 >= k?
True
Let k(t) = t - 3. Let a be k(0). Let v(z) = -z**3 - 4*z**2 + z + 1. Let d be v(a). Is d > -2/3?
False
Suppose -3*n = 2*c + 25, 4*c + 10 = 3*n - c. Suppose 2*g + 12 = 6*g. Let x be 0*(2 - (4 - g)). Is x at most as big as n?
False
Let f = 311.91 + -303. Let s = -0.71 + f. Let b = -9 + s. Is 1/3 < b?
False
Let x be (3/(-3))/(14/8). Let c = -0.12 - -0.02. Let p = 1.9 - c. Which is bigger: p or x?
p
Suppose 8 = 2*q, 3*q - 1 = 3*y + 5. Suppose 0*k - y*k + 20 = 0. Let i = -4 - -13. Is i equal to k?
False
Let a be 4/((1/(-11))/((-11)/(-2))). Is -241 > a?
True
Suppose 5*a - 5*f - 25 = 0, f + 8 = -f