False
Suppose 2*r - 4 = -2*r + w, 0 = 5*w - 20. Suppose -2 = -3*f + 13. Suppose f*g - 5 = -2*c, c + 1 = 2*c + 3*g. Which is bigger: r or c?
c
Suppose 0 = -6*s + 4*s + 4. Suppose s*l + 1 = o, -3*l = -0*l + 4*o + 29. Is -5 <= l?
True
Let o = 37 - 1092. Is -1056 at most o?
True
Let x(s) = s**3 + 8*s**2 - 19*s + 10. Let g be x(-10). Is -3/421 <= g?
True
Suppose 4*z - m + 1091 = 0, 1363 = -5*z - 0*z + m. Are -272 and z unequal?
False
Let x(f) = -f**3 - 4*f**2 - 7*f - 5. Let l be x(-4). Let o = -1233 + 1208. Let b = o + l. Is -8/5 smaller than b?
False
Let b be (10/3)/((-7)/21). Suppose -55 = -3*o - 2*o. Let g = b + o. Is g less than 2?
True
Let i = 56.4 + -18.3. Let r = i + -38. Is r at most -23?
False
Let k(t) = -14*t - 88. Let x be k(-21). Is 205 less than x?
True
Let h = -2401 + 2241. Which is smaller: h or -317/2?
h
Let s(i) = -i**3 + 30*i**2 + 33*i - 22. Let k be s(31). Is k at most as big as 165/4?
True
Let d(c) = -c - 50. Let m be d(-6). Which is smaller: m or -42?
m
Suppose 0 = 2*q - 3*o - 309, -o = 3*q - 256 - 224. Let l = -803/5 + q. Which is smaller: l or -1?
l
Let q = -2 - -3. Let z = 84 + -85.2. Let c = z + q. Is 4 smaller than c?
False
Let c = 0.437 + 20.663. Let g = -21 + c. Let k(b) = b**3 - 4*b**2 - 3*b - 6. Let q be k(5). Which is smaller: q or g?
g
Let x = -277/30 + 41/6. Let r be -1 - ((-48)/6 + 10). Which is smaller: x or r?
r
Let p = -836/2975 - 2/425. Let f = -11261/27 + 417. Is p greater than or equal to f?
False
Suppose 6*i - 156 = 5*i. Let d = 1094/7 - i. Suppose -5 = 4*j - 9. Is d bigger than j?
False
Let w(g) = 47*g - 234. Let n be w(5). Is 4/565 bigger than n?
False
Suppose -5*y + 4*a = -9*y + 16, -2*y - 1 = -a. Do -1/4129 and y have different values?
True
Let a(w) = w + 4. Let v be a(0). Suppose 16*s = 12*s + 24. Suppose -4*h = -7*h + s. Is v smaller than h?
False
Let r be 6/(-206)*(-2)/(-3). Suppose -1636*t = -1663*t. Which is smaller: t or r?
r
Let p(o) = -13*o**2 + 3*o + 18. Let a(d) = -7*d**2 + d + 9. Let s(l) = 11*a(l) - 6*p(l). Suppose 13 = r + 5*b, 18 = -r + 3*r + 2*b. Let y be s(r). Is y > 1/21?
False
Let j be ((-206)/(-6))/(12/252). Is j greater than or equal to 721?
True
Let l = -6 - -11. Suppose -10*s = -5*s - l. Suppose -5*p - 5*y + 20 = 0, 0 = -0*p + p - 2*y - 1. Which is smaller: p or s?
s
Suppose -3*b = -5*b. Suppose 4*p = 16, -n + b*p = -5*p + 18. Let s(v) = v**2 + v. Let i be s(1). Are n and i nonequal?
False
Let o(p) = -1 + 4*p**2 + 3 - 5*p**2 - 3*p - 3. Let u be o(-1). Is 3 greater than u?
True
Suppose -350 - 154 = -14*z. Which is bigger: 34 or z?
z
Let j be (63/105)/((-2)/(-30)). Let z = -9 - -11. Suppose -2 = -z*p + 4*y, y = -4*p - 3 + 43. Does j = p?
True
Let p be (45/36)/(2/16). Suppose 0 = -8*y + p*y - 160. Is y < 79?
False
Let v = -278 + 252. Is -101/4 not equal to v?
True
Let k be (-1*(-3235)/(-10))/3. Let d = 108 + k. Which is smaller: -0.3 or d?
-0.3
Let t(o) = -2*o**2 - 6*o - 4. Let x be t(-4). Let c = -1 + 5. Suppose -3*d - 3*a - 18 = 0, 3*d + 53 = c*a - 0. Which is smaller: d or x?
x
Suppose -4*v + 2*s - 3*s = 28, -s - 20 = 3*v. Let n = 10 + v. Suppose -3*q + 4*d = -13, -18 = -n*q + 6*d - d. Is q != 4/9?
True
Let w be (1 - (-2 - (-455)/(-10)))*14. Which is smaller: 680 or w?
w
Suppose 9*v - p = 4*v + 37, -v = -p - 5. Which is greater: 9 or v?
9
Let q = -24 + 37. Let z = q + -6. Is 2 greater than or equal to z?
False
Suppose -2*n + 4*b = -68, -77*n + 5*b - 47 = -80*n. Do n and 0.1 have the same value?
False
Let w(o) = o**2 + 33*o - 140. Let p be w(-37). Which is greater: p or 38?
38
Let s(q) = 2*q**2 - 16*q + 13. Let j be s(7). Which is smaller: -1/81 or j?
j
Let l = -66.708 - -66.2. Which is smaller: 0.1 or l?
l
Let a = -21 + 46. Let d = 15 - a. Let h be (-1)/4 + d/(-20). Which is bigger: 3 or h?
3
Suppose 0 = -5*h - 1 - 4, -2*h - 202 = 4*s. Is s at most -51?
False
Let z(q) = 110*q - 448. Let d be z(4). Is d > -9?
True
Let u(l) = -l + 10. Let k be u(5). Suppose 0 = 5*q - 20, 0*g - 111 = -k*g + q. Is 24 <= g?
False
Let h(w) = -w**3 + 6*w**2 - 6*w + 3. Let r = -20 + 25. Suppose 0*c + 20 = r*c. Let t be h(c). Are t and 2 nonequal?
True
Suppose 3*k = -3*g + 9, -2*g - 3*k + 27 = -8*k. Which is bigger: -8 or g?
g
Let i = 177 + -92. Is 1/4 less than i?
True
Let r = -6 + 8. Let y = 1.483 + -0.483. Is r equal to y?
False
Let l(q) = -39*q**3 - 7*q**2 + 6*q + 1. Let n be l(1). Which is bigger: n or -38?
-38
Suppose 14*x = -3*x + 17. Let k = 2.2 + 0.2. Let q = k - -0.6. Is x != q?
True
Suppose -5*v - 2*x = 83, 3*v - 5*x - 46 = 6*v. Is v >= -65/4?
False
Let h = 4.5 - 2.4. Let m = -0.9 - h. Is m <= 1/3?
True
Let v = -7270288/949 - -7661. Is v >= 0?
True
Let l(h) = 6*h - 1. Let j be l(1). Suppose z - 2*z - 37 = j*a, z = a - 43. Is z <= -42?
True
Let p(z) = 2*z - 27. Let q be p(14). Suppose 3 = -2*d + q. Are -1/5 and d equal?
False
Let t(y) = 113*y**3 + y**2 + 2*y - 2. Let i be t(1). Is i at least 113?
True
Let z = -20 - -18.62. Let q = z - -0.38. Let a = 2.92 - -0.08. Which is smaller: q or a?
q
Let n be (60/6)/(-5) + (-123)/(-75). Are 0 and n nonequal?
True
Let a = -1/404 - -1631/6060. Is a at least -1?
True
Let k = -119.1 - -114. Let c = 5 + k. Let i = 309/4 + -77. Which is greater: c or i?
i
Let l = 436 - 426. Which is greater: l or 180/17?
180/17
Let t = 1 + -2. Suppose -y - 5 + 3 = 0. Is t equal to y?
False
Let u = 11583 + -80918/7. Which is bigger: 22 or u?
u
Suppose 2*y = 10, 2*p - 2*y = -3*p - 15. Let r = -22 - -151/7. Is r at least p?
True
Let h = -33 - -36. Let b be 5 - (h + -3 + 1). Is b equal to 7?
False
Suppose -5*s - 2*u + 5 = 0, 1 - 2 = -s + 4*u. Let h be 4/(-2)*(-6)/4. Suppose h*c = 4*c. Which is smaller: s or c?
c
Let x be (92 + -1)/(-11 - 270/(-24)). Is 365 greater than x?
True
Let s = 96.132 + -0.132. Let l = -95.99 + s. Which is smaller: 1/3 or l?
l
Let b be 5*((-428)/(-140) - 3). Let n = -1 - 1. Let o = -2 - n. Which is bigger: b or o?
b
Let d be (-40)/(-24) + -2 - 910/6. Which is bigger: d or -150?
-150
Suppose 0 = 2*b - a + 20, -4*b - 52 + 18 = a. Let l = -663 - -658. Which is bigger: b or l?
l
Suppose 1 = u + 2. Suppose -5*l = 2 - 17. Let q be 14*(l - (-2)/u). Is 15 <= q?
False
Let v be (2 + -7)/(12 - 17). Let s = 165 - 814/5. Do s and v have different values?
True
Let k be 6/((-3)/3*10). Which is bigger: -39 or k?
k
Let v(y) = y - 3. Let t be v(6). Let s(m) = -1 - 2 + m + 2 + t. Let l be s(4). Which is bigger: 0 or l?
l
Suppose 0 = 16*k - 47 + 31. Which is smaller: -269 or k?
-269
Let a(v) = -24*v + 33. Let u be a(2). Is u at least as big as -15?
True
Let n = 7 + -5. Suppose -l = 3*d - n, 2*d + 6 = 4*l - l. Let x be (1 + (-1 - 0))/1. Are x and l equal?
False
Let f be (19/(-1))/(0 - -1). Let x(k) = k + 32. Let d be x(f). Is 10 at most d?
True
Suppose 0 = 5*s + s - 0*s. Is 22/101 != s?
True
Suppose 0 = 2*s - 4*u + u - 2, 0 = -s + u. Which is greater: -5/2 or s?
s
Let z = -383 - -371. Which is smaller: z or -0.06?
z
Let a(m) = 2 - 1 + m**2 - 2 + 11*m**2. Let v be a(-1). Let t(k) = k + 12. Let d be t(0). Which is smaller: v or d?
v
Suppose -2*d = 4*t - 164, 5*t - 313 = -5*d + d. Let h = d - 73. Which is bigger: h or -2/33?
-2/33
Suppose 2*m + 0*m = -26. Let k be (-2)/(-6) + (-1005)/45. Let t = -36 - k. Is t bigger than m?
False
Let d = -0.04 - -0.41. Let a = d + 21.63. Let r = a - 23. Which is smaller: 1.3 or r?
r
Let s be (-312)/(-450)*(-2)/(8/10). Let p = -4 + 1. Which is greater: p or s?
s
Suppose 0 = -w - 4*t + 82, -2*t - 223 = -4*w + 3*t. Let n = -1508 - -1509. Is n less than w?
True
Let k = -95/303 + -2/101. Let v = 0.51 - 0.56. Let l = -0.02 - v. Which is bigger: l or k?
l
Let f = -2.2 + 2. Let d = -234 + 29. Let u = d + 221. Is f less than u?
True
Let t = 4.8 + -25.8. Let f = -3.2 - 26.8. Let h = t - f. Which is smaller: h or -0.1?
-0.1
Let t(p) = p**3 - 12*p**2 + 3*p - 32. Let d be t(12). Let a(n) = -n**3 + 2*n**2 + 4*n + 16. Let j be a(d). Let v = 2/55 - 149/2585. Which is smaller: j or v?
v
Suppose 2*s = -5*a + 6, -s + 5*a + 1 = -2. Suppose 0*p = s*p - 3. Let b be (-36)/189*21/(-9). Is p not equal to b?
True
Let g = -49838/35 + 7974/5. Which is smaller: g or 170?
170
Let n = -1.468 + 2.668. Are n and -0.037 equal?
False
Let b(s) = -s**2 + 12*s - 36. Let r be b(6). Suppose -4*p - 4*w + 132 = r, -5*p + 2*w = -2*w - 156. Do 30 and p have different values?
True
Suppose 1