-1 - j = 4*q. Is q at most as big as -3?
False
Suppose 0 = -m - 4, -3*m - 2*m - 22 = -2*p. Let w(d) = 8 - 6 + 2 - 2 - 3*d. Let s be w(1). Is p at least as big as s?
True
Let g = 0 - -1/2. Let u be 12/(-8) + 9/6. Suppose 5*v + q - 10 = u, -2*v = -6*q + 2*q + 18. Is g >= v?
False
Let y = 9 - 8.4. Is 0 > y?
False
Let x be 6/4 + -1 + 1. Let i = 8 - 3. Suppose 4 = 4*u + h - 0*h, -i*u + 4*h = -5. Which is bigger: x or u?
x
Suppose -2*j + 23 = h, 0 = h - 5*h - 4. Let f be j/(-10)*(-4)/60. Is 0 bigger than f?
False
Let u be (-5)/10 - 31/(-2). Let d = 20 - u. Do d and 6 have the same value?
False
Suppose -5*b - 25 = i, 34 = -4*b - 2*i + 4*i. Which is bigger: -5 or b?
-5
Let j = -60 + 60. Does 0.08 = j?
False
Let u = -3675 - -7180. Let j = 266387/76 - u. Let b = 3/19 + j. Which is bigger: -0.3 or b?
b
Suppose 7*k - 8*k + 5 = 0. Is 3 >= k?
False
Let b be (-982)/4*(-4)/20. Let u = b - 218/5. Which is smaller: 7 or u?
u
Let t = 7.92 + -3.98. Let v = t + 0.06. Let p = v - 6. Which is bigger: -1 or p?
-1
Let n = 2.19 - 0.29. Let p = 0.9 - n. Is -1/8 less than p?
False
Suppose -5*m + 0*m = -15. Suppose -m*x + 5*x + 12 = 0. Is x <= -6?
True
Let u = 2 + -5. Let x be 8/u + 3/(-9). Is -1 > x?
True
Let j = -3 - 3. Let m = j + 7. Suppose -m = -i + 4. Do i and 6 have different values?
True
Let c = 0.3 - 0.1. Let i = -0.15 + 0.35. Let y = i - c. Which is bigger: y or 2?
2
Let c = 158/689 + -4/53. Let k = c + 7/39. Let z(h) = h**3 - 15*h**2 - 1. Let x be z(15). Are x and k nonequal?
True
Suppose -7 = 3*i + 2. Let o = i + 7. Let m = o + -3. Which is bigger: 1/10 or m?
m
Let g be (-215)/(-142) - 2 - (-1)/2. Which is smaller: g or -1?
-1
Suppose 0*r + 4 = 2*r. Let k be 0 - (8/(-6))/r. Is 2 not equal to k?
True
Let y be ((7 + -3)/(-1))/(-6). Suppose -t = -0*t - 5. Suppose t*k = k + 4. Which is smaller: k or y?
y
Let q be -106 + -1*(-2 - -1). Let y = 296229/2845 - -44/569. Let a = q + y. Which is greater: -1 or a?
a
Let a = -97 + 483/5. Let w be ((-3)/(-30))/((-14)/(-140)). Is a at least as big as w?
False
Suppose -b + 5*b = 20. Suppose 11*w - 7*w - 16 = 0. Suppose n + w*n = b. Which is smaller: -4/13 or n?
-4/13
Let a = 47 + -47. Suppose 3*d = 4*q + 13, 0*q + 2*q = 2*d - 6. Let b be (d/2)/(3/6). Which is smaller: b or a?
b
Let a(r) = 2*r - 1. Let p be a(0). Let n be (3/(3/2))/13. Which is greater: p or n?
n
Let i be 1/(-2)*(-92)/(-6). Is i >= -8?
True
Let l = 27 - 27. Let d be (-1 + l)/((-3)/(-3)). Which is greater: 3/10 or d?
3/10
Let f(y) = -2*y - 4. Let t be f(9). Let d be (-74)/(-44) + 4/t. Which is smaller: d or 3?
d
Let q(o) = -14*o**2 + 32*o + 11. Let i(p) = -5*p**2 + 11*p + 4. Let l(y) = -11*i(y) + 4*q(y). Let b be l(7). Is -4/7 greater than b?
False
Let f(g) = g + 19. Let o be f(-10). Which is smaller: o or 10?
o
Let x = -34/15 - -4348/1905. Is -1 bigger than x?
False
Let j = 92 - 60. Which is smaller: 33 or j?
j
Let b = -38 - -21. Is 1 less than or equal to b?
False
Let s(u) = -u**3 + 3*u**2 + 2*u - 6. Let d be s(3). Let o = -2 + 1. Which is smaller: o or d?
o
Let w(m) = -3*m - 18. Let h(f) = f + 6. Let i(s) = 11*h(s) + 4*w(s). Let o be i(-7). Are 0.5 and o nonequal?
True
Let a be (4/18)/(28/(-42)). Which is greater: a or 1?
1
Let o be (5 - 1) + (-126)/33. Is o greater than or equal to 0?
True
Let n = -12 - -33. Let d be (-6)/15 + n/15. Let w be 1 + 1 + 1 + -1. Which is smaller: d or w?
d
Let k = 6 - -3. Let v = -10 + k. Are -1 and v unequal?
False
Let w = -0.18 + 0.08. Let a(r) = 2*r**2 - r + 1. Let h be a(1). Let y be (h/5)/(3/(-15)). Is y at least w?
False
Let t be 33/7 - 6/(-21). Suppose 0 = 3*y - k + 1, 0*k = -t*y - 3*k - 11. Which is bigger: y or 1/3?
1/3
Let m = 13.9 - -4.1. Let p = m + -17.6. Are 0 and p non-equal?
True
Let o = 4.03 + -0.03. Let c = 4.1 - o. Let a = -652/5 + 130. Does a = c?
False
Let b(n) = -n**2 - 4*n. Let y be b(-4). Let w = 1 + y. Let i be w + -1 + (-2)/(-3). Is -1 smaller than i?
True
Let k = -5 + 4.8. Let b = 0.1 - -0.3. Let j = -0.5 + b. Which is greater: k or j?
j
Suppose -2*n + 3*c = 2*c - 9, 4*n = -2*c - 2. Suppose -n*o - 1 = -o. Let w be o*(-2 + (-2)/(-2)). Is w <= -2/17?
False
Let q = 24586471 - 148084315410/6023. Let t = -3/317 + q. Which is greater: -1 or t?
t
Let s = 3.509 - 0.109. Is 2/5 <= s?
True
Let k be (-58)/(-6) + (-2)/3. Suppose 3*a - o = 0, -o + k = 3*a + 3. Are a and 1 unequal?
False
Let x = 289/158 - -1/237. Which is smaller: 3 or x?
x
Let b = 0.013 - 0.243. Let x = b + 0.13. Which is smaller: -11 or x?
-11
Suppose 2*d + 14 = 2*o, 5*d + 3*o + 25 = -18. Let y be ((-3)/d)/(1/4). Is 2 bigger than y?
True
Let b(l) = 16*l + 4. Let i be b(-2). Is i <= -28?
True
Let v be -1 + 2/((-2)/(-3)). Let h be (-14)/(-198) + v/6. Let x = h - 2/11. Which is smaller: x or -1?
-1
Let y be -2*(-1)/2 - -6. Let z(c) = c - 7. Let h be z(y). Let a be h*((-9)/6 + 2). Is a at most 0?
True
Let o be 115/(-9) - 4/18. Let n = 11 + o. Let g(v) = 2*v. Let b be g(-1). Is n < b?
False
Let g = -33.3 + 48. Let s = 15 - g. Is s smaller than 0?
False
Suppose 0 = -4*u + 210 - 62. Are u and 38 unequal?
True
Suppose 0 = -4*c - 5 + 1. Let v(f) = 2*f**2 + 16*f - 18. Let l be v(-9). Which is smaller: l or c?
c
Suppose 2*b = -0*b + 3*j - 7, 0 = 3*b + 3*j - 27. Let v be (2/3)/(b/6). Is 0.2 equal to v?
False
Let g be (8/3)/((-4)/42). Let t = g + 111/4. Suppose -5*i - 23 = -8. Are t and i equal?
False
Let t be (-18)/6 + (0 - -2). Let p = 2.2 - 2. Is p at most t?
False
Let b = 34 - 31. Let n(a) = a**3 - a**2 + 8. Let p be n(0). Let x be (-3)/(((-18)/p)/3). Is b not equal to x?
True
Suppose -8*w - 9 = 15. Let c = 1 + -4. Do c and w have the same value?
True
Suppose 2*r = -2*r + 80. Let f be 7/((-49)/r) - -3. Is 1 != f?
True
Let j(b) = -3*b**2 + b - 1. Let v be j(1). Let d = -4 - v. Which is smaller: d or 1/6?
d
Let c = 215869/7 + -30778. Let a = 60 - c. Which is greater: 2/5 or a?
2/5
Suppose 2*n + 4*m = 18, -4*n = 3*m - 14 + 3. Is -1 smaller than n?
False
Suppose -5*u - 11 - 12 = -4*y, -3*y + 9 = -u. Is y smaller than -1?
False
Suppose -2*d = 5*i - 7, 2*i - 5*d = 3*i + 17. Let b be -1 - (27/(-6) + 10/5). Which is smaller: b or i?
b
Let o(h) = h**2 + 4*h. Let n be o(-5). Which is bigger: n or 4?
n
Let y = 120 - 1441/12. Is -0.1 less than or equal to y?
True
Let r = -2020 + 123223/61. Let c be 1404/1220 + 0/(-3). Let n = c + r. Which is greater: n or 0?
n
Suppose -9*u + 5 = -4*u. Let k be (-2)/(-7) + 18/(-14). Which is greater: k or u?
u
Let o = -1/18 + -1/9. Let p = 1 - 2. Which is bigger: p or o?
o
Let a = 0.15 + 0.35. Is a less than 0?
False
Let v be 2/(-1) + 1 + -1. Let t = -1 - v. Are t and 2 equal?
False
Let j = 0.043 - 2.743. Which is bigger: -1 or j?
-1
Let o = 20.8 - 7.5. Let m = o - 14. Is 1 <= m?
False
Let x be 1/(-3) - (-6)/(-9). Is x bigger than -1?
False
Let t = 7.2 - 7.141. Which is smaller: 1/4 or t?
t
Let a = 29 + -20. Are a and 9 unequal?
False
Suppose j - 5*j = 0. Suppose j = 2*y + q + 3 + 1, -3*y = 4*q + 16. Let i be (0 - y - -2) + -4. Is i > -1?
False
Suppose 34 = a - 5*g, -13 = -2*a + 5*g + 40. Is 18 greater than a?
False
Let y = 2.9 - 3. Let b = -18/77 + 1/11. Do y and b have the same value?
False
Let j = 0.17 - -12.83. Let i = j - 15. Is i bigger than 0.05?
False
Suppose -5*y + 5*u + 6 = -4, 3*y = 4*u + 10. Let f = -5 + 2. Is f > y?
False
Let u = -0.43 - 1.57. Is u greater than 0?
False
Let u = 35 + -25. Let m = 11 - u. Let k(q) = -2*q - 1. Let a be k(-1). Is m bigger than a?
False
Let k(x) = 3*x + 4. Let p be k(-8). Let n = -44 - p. Is -24 less than n?
False
Suppose d - 4 = -3*d. Let s be 1 + (d - 36/15). Is s < -1?
False
Suppose w + 20 = -2*p - 8, 0 = 3*w - 4*p + 44. Is -21 greater than or equal to w?
False
Let m(b) = b**2 - b - 1. Let g be m(2). Let l = 3 + -5. Let x be l/((-11 - -1)/(-2)). Is x >= g?
False
Let u be 8 - (3 - (3 + -2)). Suppose 0 = z - d + 3*d + u, -5*z - d - 3 = 0. Is z greater than 1?
False
Suppose -356 = 5*g + 94. Let o be (-74)/g - (-4)/(-18). Which is bigger: 0 or o?
o
Let v = 19 + -19. Is v bigger than 0?
False
Let h be (-9)/(-195) + 8/52. Which is bigger: 1 or h?
1
Let z be 14*-2*18/21. Let f be (2/(-4))/(2/z). Suppose j = -4*q - 19, j - f*j - 2*q - 5 = 0. Is 2/3 smaller than j?
True
Let x be (11 - 7 - (5 - 1))/(-1). Which is smaller: x or 2?
x
Let x = -0.2 + 0.25. Let u = x - 0. Does u = -2?
False
Suppose -1 