Let q = 3110/7 + -442. Is 1 less than or equal to q?
True
Let g(m) = -m - 9. Let h(z) = z + 9. Let k(j) = -6*g(j) - 7*h(j). Let f be k(-9). Is f greater than 0?
False
Let h = -260 + 7542/29. Is 3 at most as big as h?
False
Suppose -3*s = -5*q - 56, 4*q - 7 = 1. Which is bigger: 23 or s?
23
Let r = -7/72 + 1021/8280. Is r smaller than 1?
True
Let m be (-2)/(-4) + 9/(-2). Let h = -14 - -12. Does m = h?
False
Let y = 4 - 2. Let n(j) = 3*j - 2*j**2 + 0*j**3 - j**3 - 2*j**y - 1 + 2*j**3. Let d be n(2). Is -4 <= d?
True
Let h = -29 + 48. Let f = 25 - h. Is f at most 6?
True
Suppose 1 = s + u, 3*s - 3*u - 1 = -8*u. Suppose 3*y = s*y + 3. Suppose 5 = -0*t + t, y*v + 11 = t. Is v != 1?
True
Let c = 55 - 57. Is 31 greater than or equal to c?
True
Let d = 420 + -4638/11. Which is bigger: d or -1?
-1
Let f = 2 + -2. Suppose 0 = 10*l - 36 - 34. Is l equal to f?
False
Suppose -5*q = -8*q + 30. Let k be (-1)/2 - (-13)/q. Which is smaller: -1/2 or k?
-1/2
Suppose -3*y + u - 3 - 1 = 0, -y - u = -4. Suppose 5*s + 6 = o, -o - 3 = -y*s + 4*s. Suppose n - o = 0, 0 + 3 = -3*h + 3*n. Are 0 and h equal?
True
Suppose -2 = -0*v + v. Let m = 16 - 17. Which is bigger: m or v?
m
Let t = -235 + 233.07. Let h = -0.07 + t. Which is greater: h or 3?
3
Suppose 8*g = 4*g - 56. Let h be ((-41)/6)/((-2)/4). Let o = g + h. Are -3 and o equal?
False
Let w = -77 + 77.04. Is -0.16 bigger than w?
False
Let r = -42 + -9. Is r not equal to -51?
False
Let g be ((-6)/40)/(1/4). Let o be (-1)/(120/58 - 2). Let i = o + 14. Which is greater: g or i?
i
Let i(f) = f**3 + 5*f**2 + 3*f - 5. Let x be i(-4). Which is greater: x or -4/17?
-4/17
Suppose 2*d - 79 = -89. Which is bigger: d or -18/5?
-18/5
Suppose a + 5*m = -4*a + 35, -13 = -4*a - m. Is a > 0.09?
True
Let q = 5.83 - 0.63. Let i = q + -5. Is 0.1 greater than i?
False
Let q(j) = j - 5. Let s be q(5). Is -1/8 at least as big as s?
False
Let m = -69 - -70. Let c = 9679/21 + -461. Which is smaller: m or c?
c
Let k be (-20)/(2*(1 + -2)). Let i be ((-4)/(-10))/(4/k). Let h(m) = m**2 - 2*m - 2. Let a be h(3). Is a less than or equal to i?
True
Let b(j) = j**3 + 9*j**2 + j + 11. Let s be b(-9). Suppose s*h = -5*i + i + 8, 2*h = -3*i + 7. Is 1 bigger than i?
False
Suppose 13*j + 40 = 8*j. Let n be ((-32)/j)/(10/1). Which is greater: n or 1?
1
Let z be (-1 - (-2)/1) + 1. Let r be (6/8)/(1/4). Suppose d - 2 + 3 = z*w, 3*d - 3 = r*w. Which is bigger: 2 or d?
d
Let l(q) = 6*q + 3. Let p be l(-2). Let f = -14 - p. Is 0 <= f?
False
Let m = 7 - 3. Let w = -8 - m. Let q = w - -8. Do 2/7 and q have the same value?
False
Let q be (3/(-9))/(1/(-27)). Let y be 3*2/q - 0. Let t = 3 + -1. Is y at least as big as t?
False
Let b be 3*(3 - 24/9). Let f(q) = -3*q**2. Let i be f(b). Is -1 less than or equal to i?
False
Suppose -2*i = 3*i + 20. Let g be (15/12)/((-1)/i). Suppose -g*v - 21 = -6. Is -3 bigger than v?
False
Let r = 695 + -6275/9. Which is bigger: r or -1?
-1
Let i(h) = 2*h + 13*h**2 - 2 - 23*h**2 + 12*h**2 - h**3. Let j be i(3). Is -6 greater than j?
False
Let a be 51/34*-2*1. Is -3 bigger than a?
False
Let q = 8 - 4. Which is bigger: 0.1 or q?
q
Let z = 32.8 + -33. Suppose 0 = -b - 0*b. Suppose -3*f + 3 = -b*f. Which is smaller: f or z?
z
Suppose 2*l + 2*d = -3*l + 6, 2*l - 2*d = 8. Let m be 1 - -2 - (6 - l). Is 0 less than m?
False
Let q(r) = 0*r - r + 7 + 0*r. Let p be q(8). Let u be -1*(p - -4)/15. Are u and 2/5 equal?
False
Let g = 52 - 207/4. Let c be ((-2)/(-14))/((-16)/(-56)). Which is greater: g or c?
c
Suppose -4*m + 4*t + 10 = 2, -3*m = 4*t + 8. Suppose -3*a + 6 = -m. Is a smaller than 3/4?
False
Let s be (-48)/135 - 4/(-30). Does s = -50?
False
Let s = -3.7 - -4. Let j = 0.3 - s. Let k = 1 - 0.8. Which is smaller: j or k?
j
Let j be (-7)/(-63)*3/2. Is j greater than or equal to -0.1?
True
Let n be (-470)/(-9) + 4/(-18). Let q be (-2)/n*112/(-3). Let k = q + -10/13. Is 3 >= k?
True
Suppose 2*s - 326 = 88. Let f be (2/(-6))/(5/s). Let k = 1163/85 + f. Is k less than or equal to 0?
True
Let s = -4 + 7. Suppose s*k + 4*b = 17, 0 = -k + 4*b - 2 - 3. Is k less than 2?
False
Let a = 0.04 - 3.04. Let m = 0.04 + -1.04. Are a and m equal?
False
Let a = 33.1 + -33. Is 29 less than a?
False
Suppose -5*z = -2*z - 3. Suppose 0*s - 3 = -3*s. Let p = s - 0. Does z = p?
True
Let y = 17/111 - 2885/1443. Is -3 at least y?
False
Let f(o) = -o + 9. Let w be f(17). Let u = -2 - w. Which is bigger: u or 1/3?
u
Let f(x) = x**3 - 6*x**2 - 5*x - 14. Let v be f(7). Which is smaller: v or 1/59?
v
Let v(g) = g**3 - 13*g**2 + g - 12. Let i be v(13). Is i >= 2/41?
True
Let y = 1 + -6. Let b be ((-3)/(-12))/(y/8). Suppose 0 = -4*a - 2*s - 8, -2*a - 4*s - 10 = -0. Is a > b?
False
Let j = 10 + -17. Let f = 6 + j. Is -2 <= f?
True
Let l(p) = p**3 - 11*p**2 + 5*p + 15. Let x be l(11). Let o be (6/(-10))/((-77)/x). Does 2 = o?
False
Let z(v) = v**2 - v. Let x be z(-1). Let l = 73/42 - 7/6. Which is greater: l or x?
x
Let z = -60 - -40. Let q be 2/z - 6/15. Which is smaller: 0.5 or q?
q
Suppose 3*p = 2*p. Let j(a) = 4*a + a**3 - 3 + 4 + 0 + 1 + 4*a**2. Let b be j(-3). Is p at most b?
False
Let f(b) = 9*b**2 - b. Let v be f(1). Let z = v - 3. Suppose 6*p - 14 = -2*c + 2*p, -z*p = 3*c - 19. Do c and 1 have different values?
True
Suppose 0 = -d + 4*f - 0*f - 14, 3*d + 2*f = 0. Let j = -149 - -145. Are d and j equal?
False
Let u(l) = l**3 + 4*l**2 - l + 2. Let c be u(-4). Let g = c + -5. Do g and -1/11 have the same value?
False
Let k(f) = -2*f**3 - f**2 + 4*f + 3. Let i be k(-2). Suppose 3*b + i = 37. Is 11 at least b?
True
Let f(d) = -d**2 - 9*d + 2. Let n be f(-9). Which is smaller: n or 4/5?
4/5
Let h = -19 + 20. Is 1 greater than h?
False
Let m = -21 - -19. Is m not equal to -5?
True
Let s = 25/93 + 2/31. Which is greater: 1 or s?
1
Suppose -15 = 5*r - 8*r. Let s be (-6)/(-15) - (-23)/r. Which is smaller: 6 or s?
s
Let o be 48/42*1*2/(-8). Which is smaller: 0.19 or o?
o
Let s be 0 + (1 - 1) + 0. Let t be 76482/(-156)*4/(-6). Let p = t - 327. Are s and p equal?
False
Let b = 21 + -167/8. Suppose 3*k - 4*n + 1 = 6, -2*k = -3*n - 4. Does k = b?
False
Let r = 5 + 0.4. Let n = r - -0.6. Let t = 5 - n. Are t and 0.1 nonequal?
True
Let y be (-2)/4*(2 + 618). Let p = -2174/7 - y. Which is bigger: -1 or p?
p
Let n = -0.18 + 0.29. Let o = n - 4.11. Is 1/2 bigger than o?
True
Suppose 4*u + 2*m = -24, -4*u + 10 = 4*m + 30. Let h be 1/3 - (-1)/6. Is h at least as big as u?
True
Let x be 20/(-70) - 78/70. Is 0 < x?
False
Suppose 0 = 5*c - u + 1, 3*c + 4*u + 19 = -0*u. Let y = 37 + -13. Let b = -51/2 + y. Which is smaller: c or b?
b
Let v be ((-16)/(-464))/(2/(-6) - 0). Which is smaller: 0 or v?
v
Suppose -9*o = -3*o - 42. Which is smaller: 8 or o?
o
Let y(v) = 7*v - 37. Let h be y(11). Is 39 < h?
True
Let w be 0*1/2*1. Let b = w - -5. Do b and 6 have the same value?
False
Let m(t) = -t**3 - 8*t**2 - 7*t + 2. Let j be m(-7). Let k be j - ((0 - -1) + 0). Let v = k - 1. Are v and 1/2 non-equal?
True
Let q = -29 + 37.5. Let r = -9 + q. Is -0.2 < r?
False
Let a(j) = j**3 - 4*j**2 - 7*j + 5. Let r be a(5). Let q = 5 + r. Which is smaller: q or 2/17?
q
Let o = -29 + 26. Is o greater than or equal to 0.1?
False
Let a(g) = -g**2 - 5*g - 5. Let n be a(-4). Is n at least -6?
True
Let k = 3 - 2.98. Let v = 2.02 - k. Let g = 2 - v. Which is smaller: g or -0.1?
-0.1
Let n = 25 - -8. Let h be 93/n + (-4)/(-22). Suppose -h*l = -4*d + 29, -4*d + 32 = -0*d - 4*l. Is d greater than or equal to 4?
True
Suppose -3 = 3*w - 6. Let k = 53/10 + -19/5. Is w greater than k?
False
Let f = 1 + -1. Let h be 48/21 + 4/(-14). Let a be h/(-3) - 4/48. Is f > a?
True
Let g be (-495)/1050 + (-2)/(-5). Which is greater: 1 or g?
1
Let a = 12 + 1. Let u = a + -16. Which is greater: u or -2?
-2
Let k be ((-4)/(-3))/(1/(-3)). Let p be (-1)/((-2)/k + 0). Which is bigger: -3 or p?
p
Let t = -49 - -38. Which is smaller: t or -10?
t
Let d = 2 - 6. Let y be (5/15)/((-1)/9). Which is smaller: y or d?
d
Let j = -9 + 6. Let s = 3 - 3. Is s less than or equal to j?
False
Let m = 51/2 + -26. Let g be 3/(-4) - 1/4. Which is greater: g or m?
m
Let t = -18 + 17. Let k = -2903/45 + 622/9. Let r = k + -4. Is t < r?
True
Suppose 2*y + 5*s = -17, 3*s + 6 = y + 2*y. Which is greater: y or 5/36?
5/36
Suppose -s - s - 4 = 0. Let q be s/(-4) + (