 d(2). Let m be 10*((-1338)/28)/(-3). Let g = m - 159. Is g greater than u?
False
Let v be (566/(-30) - 2) + (-20)/25. Which is smaller: -21 or v?
v
Suppose 0*x + 2 = x. Let v be (10/(-40))/(x/(-6)). Which is smaller: v or 2?
v
Let f = 52541/78681867 - -3/30181. Which is smaller: -1 or f?
-1
Let v be 25/((-250)/6) - 2/5. Is v less than or equal to -7/362?
True
Let t = -117 - -201. Suppose 0 = 3*i + 2*l + t, i + 3*l + 24 = l. Is i greater than -29?
False
Let t(o) = 2*o**2 + 15*o + 1. Let p be t(-8). Is p at most as big as 4?
False
Let p(s) = -s**2 - 15*s - 17. Let f be p(-5). Let u = f - 137/4. Let q(a) = -a**3 - 5*a**2 - 4*a. Let r be q(-4). Is r at least u?
True
Let y be -4 - (-1 + 45)*2*-2. Which is smaller: 174 or y?
y
Let a = 4.9 - 5. Suppose -s + 7 = q + 2*q, -3*s = -q - 41. Which is smaller: s or a?
a
Let d = 775 + -774.478. Which is smaller: -2 or d?
-2
Let c = 85 - 77. Let f be 12*(69/300 + (-2)/c). Which is smaller: f or 0.2?
f
Let a be (-7)/(-42)*-2 - 101/(-312). Which is bigger: 0 or a?
0
Let k be (4 - (1 + 1)) + -7. Let j be (8/(-10))/((-18)/45). Let y be (-6)/9*3 - j. Which is bigger: k or y?
y
Let k be 40/(-4)*(-6)/(-37935)*9. Which is greater: 1 or k?
1
Let b = -2360 + 2418. Which is bigger: b or 56?
b
Let h(v) = -v**2 + 4*v + 7. Let k be h(6). Let a = k + 1. Suppose -2*c + 9 = -5*c. Is c <= a?
False
Suppose -15*t + 1888 = 88. Which is greater: 119 or t?
t
Let a(f) = f**2 + 28*f - 40. Let p be a(-36). Is 248 != p?
False
Let k = 172.04 + -172. Which is bigger: -2 or k?
k
Let f(l) = -l**2 + 4. Let r be f(0). Let x be (-8)/(-20)*(2 + r/8). Which is smaller: x or -16?
-16
Let t(q) = -q**3 - 5*q**2 + 42*q + 145. Let j be t(-8). Suppose 0*x + 16 = 4*x. Which is greater: j or x?
x
Let u(g) = g**2 - 4*g + 3. Let r be u(8). Suppose -z - 2*z + 2*t = -r, -28 = -4*z - 2*t. Suppose z = 3*v, 2*v = h - v - 1. Which is bigger: 9 or h?
h
Let m(l) = l**3 - 8*l**2 - 8*l + 5. Let a be m(6). Is -114 >= a?
True
Let f = -1.97 - -2. Let h = 0.23 - f. Let l = -11.3 + 12. Is h less than or equal to l?
True
Let o(x) = -3*x - 2. Let m be o(-10). Suppose -4*t - 35 = -5*z, -3*z + 1 = -4*t - m. Let i be z/(-6) + (-2)/(-20). Is -6 bigger than i?
False
Let j(i) = -72*i**2 + 5*i - 5. Let n be j(1). Which is greater: n or -73?
n
Let h = -221/246 + -11/41. Let x be (-4)/(-10)*(0 + -5). Is x smaller than h?
True
Let w = 115/57 + 6/19. Let s = -13 - -16. Which is greater: s or w?
s
Let o = -0.123 + 1.123. Which is greater: -352 or o?
o
Suppose -33 = -4*v - 37, 5*v + 65 = -4*t. Is t smaller than -230/17?
True
Suppose 7 + 28 = 5*f. Let s be (0 - -1)*(14 + -13). Suppose f = 2*x + s. Is x > 3?
False
Let j(x) = 38*x**3 + x**2 + 3*x - 9. Let s be j(2). Is s < 308?
True
Suppose 21*v - 140 = 11*v. Suppose 5*c - v*c + 630 = 0. Are 70 and c nonequal?
False
Let i be -3 + 1 - (-17)/((-595)/(-98)). Let u = -4 - -6. Is i bigger than u?
False
Let h = 857324/1359 + -2259/151. Let y = h - 615. Let f = 2/9 - y. Which is greater: f or -2?
f
Let n(s) = s - 6. Let i be n(-5). Suppose 0 = 13*m + 80 - 314. Let l = m + -30. Is i at most l?
False
Let n be -109 + -2 - (-245)/35. Are n and -104 equal?
True
Let j = 0.06 + 0.54. Let i = -0.38 + -0.02. Let q = j - i. Do q and -0.4 have different values?
True
Suppose 0*g + 4*g - 8 = 0. Suppose 8*y - 15 = 3*y + 4*s, 4*y - 3*s = 12. Suppose -k - 4 = -4*i - 0*k, 5*i - 5 = -y*k. Which is bigger: g or i?
g
Suppose -11*w - 71 + 5 = 0. Does -11 = w?
False
Let i(b) = 8*b - 48. Let y be i(6). Is 1/63 equal to y?
False
Let a = 568/1395 - 2/279. Let n = 0.14 - 0.62. Is a != n?
True
Let u be (3/(-2))/((-9)/(-336)). Let c be 3/(8/36 - 95/306). Let b = u - c. Are -22 and b non-equal?
False
Let p be -1 + 4 + 21 + 2. Let o = p + -18. Is o bigger than 6?
True
Let l be 4*(-4 - (-68)/16). Let o be (64/(-12))/(l/9). Let m be (-8)/o - (-302)/(-12). Does 1 = m?
False
Let r = 101.7 - 109.7. Which is bigger: r or -13/4?
-13/4
Let i be (-3 + (-27)/(-12))*32/1. Let m be i/(-4) + -2*1. Is -0.04 at most m?
True
Let h = -0.85 - -3.1. Let g = h + -0.05. Which is bigger: -0.1 or g?
g
Suppose -4*r = 5*f + 134, 2*f + 1 = 2*r + 59. Let c = -29 - r. Suppose -3*b + 5*v + 1 = 2, -4*v - 7 = -5*b. Which is smaller: b or c?
c
Let k be 10/25 - 11/165. Is -3/62 >= k?
False
Let g = -1215/658 - 1/94. Suppose -2*v - 2*v = 4. Which is smaller: v or g?
g
Let f = 2.8 + -2. Let l = f - -3.2. Let c be -1*4*((-66)/(-60))/(-11). Which is smaller: c or l?
c
Let c be 1/(1 + -2 + 0). Let p be (-1)/(c - (-14)/16). Do p and 8 have the same value?
True
Let r = 9 - 18. Let v = 1 - r. Let g = -157 + 158. Which is bigger: g or v?
v
Let s = 4/49 + -32/49. Let i = -0.93 + -0.17. Let p = -1 - i. Which is smaller: s or p?
s
Let z = -14 + 24. Suppose -2*r - z = 3*p, 0*r + 17 = -3*r - 5*p. Which is bigger: r or 2?
2
Let u be (-24)/84 + (-9696)/21. Are -463 and u non-equal?
True
Let w = -6 - -10. Let v be (w + 2)/(-3) - -115. Let m = 221/2 - v. Which is smaller: -4 or m?
-4
Let w(o) = -o**3 + 5*o**2 + o - 2. Let f be w(5). Suppose f = 2*a - 3*a, 0 = 3*l + 5*a + 204. Which is smaller: l or -64?
-64
Let c = 342 - 340. Is 68 at least as big as c?
True
Let a be 215 - -2 - (-8)/2. Which is smaller: 1/2 or a?
1/2
Let a = 27 + -40. Let u = 17 + a. Let t = -7 + u. Which is smaller: -1 or t?
t
Let w(a) = a**2 - 5*a + 1. Let f = 18 - 13. Let r be w(f). Which is greater: 8/5 or r?
8/5
Let q be (-146)/(-4) - 8/(-32). Is 37 smaller than q?
False
Let g = 19.21 + -19.21. Let d = 0.5 + 1.5. Let h = -3 + d. Is h at most g?
True
Let t = 222 - 314. Is -94 <= t?
True
Let t(p) = -9*p - 6. Let i be t(-6). Suppose r - 189 = -139. Is i at least as big as r?
False
Let q = -38 + 44. Suppose q*b - 36 = -0*b. Which is greater: 1/4 or b?
b
Let y be 8 + (-3)/((-4)/4). Let a = y - 23. Let n = 12 + a. Which is smaller: n or 2/5?
n
Suppose 5 = 5*s + 35. Let n(b) = b + 13. Let f be n(-18). Do f and s have the same value?
False
Suppose 0 = 9*m - 9. Let y be -10*2*3/6. Let h be ((-1)/y)/(2/(-2)). Do h and m have different values?
True
Suppose 3*y - 5*y = -4, 3*h + 2*y = 1. Let t = h - -6. Suppose 0 = 4*f + f - t. Is -1/5 less than or equal to f?
True
Let n = -83 - -83. Let p be n/((2/5)/((-6)/(-30))). Is 6/29 >= p?
True
Suppose 10*i = 9*i - 2*k + 6, 5*i - 2*k = 66. Let n be (-3)/(-6) + ((-27)/i - -2). Which is greater: n or 15/8?
15/8
Suppose 0 = 5*n - 4*z + 545, -n - 206 = n - 4*z. Do n and -113 have different values?
False
Let n = 20 - 30. Suppose 4*g - 16 = 0, 3*g = 3*w - 5*w - 10. Are n and w non-equal?
True
Let a = -1073 - -1073. Is a not equal to -688?
True
Let t = -1.1 - -1.2. Let s = -2.3 - 2.7. Which is smaller: s or t?
s
Let u(y) = -y**3 + 7*y**2 + 9*y - 6. Let o be u(8). Suppose -3 - o = 5*z. Suppose -49*h = -198 + 51. Is z bigger than h?
False
Let p be (-3)/(-15) - (-3 - (-236)/55). Let j(n) = -n**3 - 7*n**2. Let s = 16 + -23. Let h be j(s). Is h bigger than p?
True
Let p(b) = 4*b**2 - 2 + 7 - 4 - 12*b**2 - 9*b + b**3. Let d be p(9). Which is smaller: d or 1/5?
1/5
Let z(u) = -u**3 - 3*u**2 + 15*u + 14. Let t be z(-3). Is -1/2 less than or equal to t?
False
Let g = -2/727 - 4340/7997. Let u(z) = -z**2 + 4*z. Let l be u(4). Which is smaller: l or g?
g
Suppose -4*v + 7*x = 5*x, 5*v - 2 = 3*x. Which is smaller: 83 or v?
v
Let h = 16 + -11. Suppose -2*n - 5*i - 8 = 0, -3*i - 28 = -6*n - 16. Which is bigger: h or n?
h
Suppose j + 0 - 32 = 0. Let n = j - 30. Which is bigger: n or 10/17?
n
Suppose 0 = 27*o + 151 + 173. Do o and -15 have the same value?
False
Let k = 6 + -5. Let u be ((-14)/(-644))/(k/6). Which is smaller: 0 or u?
0
Let r(k) = -k**3 - 5*k**2 + 2*k + 2. Let z be r(-5). Suppose 5*v + 5 = 5*t, -5*t - 40 = 5*v - 3*t. Which is smaller: z or v?
z
Let q(y) = 3*y**3 + 5*y**2 - 3*y + 24. Let t be q(-5). Which is smaller: -212 or t?
-212
Let q be 5 + -7 + 4 + -2. Let i be 4/6 - (-144)/(-189) - q. Which is greater: 1 or i?
1
Suppose 3*l - 2*x = 0, 3*x = 2*l - 2*x. Suppose l*z - 3*z + 2*s + 6 = 0, -z - 9 = 3*s. Which is greater: -13/5 or z?
z
Let h be 2*((-12)/36 + (-94)/(-48)). Let q = 8 - 5. Which is greater: h or q?
h
Let r = 147 - 145. Suppose -r*z + 9 = -11*z. Are 1/85 and z equal?
False
Let b = 37 + -114. Which is greater: b or -74?
-74
Suppose 3*x - 9 - 15 = 0. Suppose 2*s + x = s. Let f be 1 + -2 + (-18)/s. Is 1 less than or e