(-2)/f)/(2/(-6)). Is c equal to -1?
True
Let x = 137/201 + -1/67. Is 2 less than x?
False
Let h = 0 - 0.04. Suppose 0 = 3*q + 1 + 5. Is q at most h?
True
Let q = -25/12 + 11/6. Let g(k) = -k**2 - 9*k - 9. Let o be g(-8). Do o and q have the same value?
False
Suppose 9*o = 6*o + 120. Is 38 bigger than o?
False
Let d be 0 + (6 - 1) + -1. Suppose 0*q - d*q = 0. Is q less than -3/7?
False
Suppose 4*n = 1 - 25. Let l be n + 5 - 1*-1. Do l and -1 have the same value?
False
Let n be (-2)/(-4) - (-1)/2. Let h = 3 - n. Let r be h + (-12 - (-1 - 2)). Which is bigger: -6 or r?
-6
Let n(v) = v**3 - 2*v**2 - v - 5. Let w be n(3). Let h = 3 + -2. Let b be (5/(-2) - -2)*h. Is b equal to w?
False
Let x = -128 + 127. Is x less than or equal to 3/80?
True
Let r = 127.73 + -128. Are -2 and r non-equal?
True
Let z = 3135/344 - 150/43. Let s = z + -389/72. Let t be -2 + 2 - (-2)/(-2). Is s at least t?
True
Suppose -2*n - b + 5*b = -60, 0 = 4*b - 16. Which is smaller: n or 36?
36
Let l = -152 + 2898/19. Which is greater: l or 0?
l
Let a = 6 + -3. Let g be a/(((-30)/4)/(-5)). Which is bigger: -2 or g?
g
Let q(z) = -z**2 + z. Let d(c) = 5*c**2 - 7*c - 1. Let s(j) = d(j) + 4*q(j). Let x be s(4). Let o be 0 - -2 - x - -1. Is o at least as big as 0?
True
Let y be (-12)/39*2/4. Suppose -4 = 4*v - 0. Let i(s) = 2*s + 1. Let m be i(v). Is y != m?
True
Let v = -6.1 + -1.9. Let q = v + 8. Is q at most as big as 0.3?
True
Let c = 24 + -49. Let t = c - -24.04. Let a = t - 0.04. Which is greater: -0.1 or a?
-0.1
Let u = 7 + 1. Let k be u/(-12)*30/4. Let i = k + 6. Are i and 1 nonequal?
False
Suppose 4*c + 4*d + 24 + 4 = 0, -5 = 3*c - 5*d. Let r(f) = -f**3 + 2*f**2 - 6*f + 23. Let t be r(3). Which is smaller: c or t?
c
Let t = -13 - -19. Let k = -7 + t. Which is greater: k or 1/4?
1/4
Let f = -5 + 5. Do f and 3/14 have the same value?
False
Suppose 3 = -2*i + 7. Suppose i*g - 6*g = -12. Is 3 > g?
False
Let u(w) = w + 11. Let l be u(-11). Is 2/25 at most l?
False
Let i be 4/(-14) - (-10)/(-14). Let x(d) = -d**3. Let f be x(i). Are f and 1/2 equal?
False
Let g be ((-1)/1)/((-3)/(-3)). Suppose 2*s - 1 = 1. Let c be g*(1 - (s + -3)). Which is greater: c or -7/3?
-7/3
Let h = 39 - 39.071. Is h != 0?
True
Let k = -8 + 12. Let u = 1 - k. Let g be 0/(-1 - 1*u). Is 1/2 equal to g?
False
Let a be (-16)/(-12) + (-2)/(-3). Let l(v) = 3*v**2 + 1 - v**2 - 2*v**a + 2*v**2 + v. Let b be l(-1). Which is bigger: 3/5 or b?
b
Let p(v) = v**3 - 9*v**2 - 8*v - 10. Let a be p(10). Is 12 at most a?
False
Suppose -4*r - 11 = 2*b - 1, 0 = 3*b - 4*r - 5. Is 2/29 bigger than b?
True
Suppose 2*c - 5*k - 14 = 0, 0*k + 7 = c + 3*k. Let a = -5 + c. Let g be (a + -8)*(-6)/9. Is 1 less than g?
True
Let d = 9.7 - 4.7. Let i = -0.03 - 0.07. Are d and i non-equal?
True
Let p = 2 - 1. Let l = -284.1 + 284. Is l equal to p?
False
Let j be -6 + 9 - (-278)/(-94). Which is smaller: j or -1?
-1
Let m be 16/12*6/8. Is m at most as big as 0?
False
Suppose 11*d - 30 = 6*d. Which is bigger: 0 or d?
d
Let d be 6/(-15) + (-24)/15. Let i(r) = -r**3 + r**2 + r + 2. Let p be i(0). Does d = p?
False
Let r(m) = -m**3 - 5*m**2 - m - 4. Let c = -11 + 6. Let s be r(c). Is 2 <= s?
False
Let f be 1 + (4 - (2 - 1)). Let j be (-297)/36*12/(-27). Which is greater: j or f?
f
Let l(t) = t**3 - 12*t**2 + 13*t - 11. Let z be l(11). Does 11 = z?
True
Let y = 0.2 - 3.2. Let g = -1.5 + 2. Let k = g - 0.6. Is y bigger than k?
False
Suppose -5*x - 15 = 5*m, 4*m + x = -0*x - 6. Let l = 2 + 0. Which is bigger: l or m?
l
Suppose -2*j + 1 = -3. Let b be 0*(-2 + -1 + j). Suppose b = -3*c + 6, 0*t + c + 8 = -5*t. Is t at least -3?
True
Let q(f) = -2*f - 4. Let d be q(-4). Let v(k) = -4*k. Let s(w) = -11*w + 1. Let x(r) = -3*s(r) + 8*v(r). Let o be x(d). Are 1 and o non-equal?
False
Let h be 2/(-1) + (-4 - 228/32). Is -12 > h?
True
Suppose -37 = -q - 5*a, -2*q = -3*a + 6*a - 60. Which is greater: q or 26?
q
Let o = 0.07 - -28.93. Let z = 24 - o. Which is greater: z or -0.1?
-0.1
Let r = -7 + 4. Let p = r - -3. Suppose -x + 6*x = p. Which is smaller: x or 2/9?
x
Suppose -f - 12 = -2*j + 4*f, -4*f = 4*j + 4. Let d = 8186/31 - 264. Which is bigger: j or d?
j
Let i = 8 - 6. Suppose 2 = -i*w + 12. Is 5 less than or equal to w?
True
Let x = 1 - 1. Let y be (-12)/(-20)*(0 + 5). Suppose x = -y*w + 6*w. Which is bigger: w or -1/4?
w
Let b(z) = -z. Let n be b(0). Let t(k) = k**3 - 2*k**2 + 3*k - 1. Let m be t(1). Are n and m nonequal?
True
Let w = 4 - -4. Let j(u) = u**3 - 9*u**2 + 8*u - 2. Let i be j(w). Suppose 9 + 6 = -5*c. Which is smaller: c or i?
c
Suppose 4*f + 8 = 4*p, -3*p - f - f = -21. Suppose 4*t + 15 = -3*j, 4*t + 14 = 3*j - p*j. Is 0 greater than j?
True
Let n be 18/22 + 8/44. Are n and -1/4 non-equal?
True
Let x = -9 + 17. Is 8 at least x?
True
Suppose m = -5*o - 15 - 2, 0 = -5*m + 4*o + 31. Let t be -1 + 1 - 3/m. Which is bigger: t or 1?
1
Let c(q) = q**2 + 4*q - 8. Let z be c(-6). Suppose -n - 3*n = -z. Suppose -2*f + g = 0, g = -5*f - 0*g. Are n and f non-equal?
True
Let z be (19 - 4)*5/(-15). Suppose 2*t - 4*t - 11 = -3*f, 3*t + 5*f + 7 = 0. Is z less than or equal to t?
True
Let w(z) = 6*z - 59. Let i be w(10). Is i < 1?
False
Let i be (0 + -2 - 7)*4/(-6). Is i >= 44/7?
False
Let f = -0.75 - 0.21. Let v = -0.04 + f. Let y be 0 + 7 + (1 - 3). Which is bigger: v or y?
y
Let v be 6/(-8) - (-12)/16. Let m be v + 6/(-8) - -2. Is m at most as big as -1?
False
Let c = -16/645 - -5/86. Is c < -1?
False
Let q = -417/634 + -10864109/10778. Let k = q + 1009. Is -1 >= k?
False
Suppose -5 = 3*j - 14. Let y be 1 - ((-9)/j + 1). Are y and 3 unequal?
False
Let w be (-100)/(-60)*6/(-8). Is -5/6 != w?
True
Let b(g) = 2*g - 8. Let y be b(6). Suppose h - 3*w = -h + 13, -y*h + 5*w = -27. Suppose 3*z + 1 = -h. Is z greater than -3?
False
Suppose -11 + 4 = y. Which is smaller: -33/4 or y?
-33/4
Let o = 14.9 - 8.9. Is o bigger than 15?
False
Suppose -4*w - 6 + 2 = 0. Which is greater: 4 or w?
4
Let w = 105 - 104.9. Is -1/30 smaller than w?
True
Let n = -4.2 - -4.2. Which is greater: 3/5 or n?
3/5
Let l = -0.19 - -1.19. Which is smaller: 7 or l?
l
Suppose 4*n = 4*p - 2*p - 46, 2*n = -4. Which is bigger: 0 or p?
p
Let o be (-714)/2838 + (-2)/(-11). Which is greater: o or 1?
1
Let k = -120 - -63. Is k equal to -57?
True
Suppose 5*a = -4*n - 13, -3*a - 3 = 3*n - 6*a. Let s(f) = -f**3 + 9*f**2 + 2*f - 12. Let m be s(9). Let c be ((-1)/(-3))/((-2)/m). Which is smaller: c or n?
n
Suppose x - 11 + 3 = 0. Let j(r) = 0*r - r + 4 + 2. Let z be j(x). Are -2/3 and z nonequal?
True
Let v(r) = r - 7. Let m be v(4). Let a be 1 + (-1 - m)/4. Let k = 23/3 - 8. Which is smaller: a or k?
k
Suppose 5*s = -0*d - d + 19, -12 = 4*d - 2*s. Let h be (-3)/5*d/(-3). Suppose -4*q = -0*q. Which is bigger: q or h?
q
Let y be -13 + 11 + 0 + 1. Let r be ((-628)/(-212))/y - -3. Which is smaller: r or -1?
-1
Let a(s) = -2*s + 5. Let z be a(6). Let p = -6 - z. Suppose -x + 4 = p. Which is bigger: x or 7/3?
x
Let u = 2 + -3. Let a be ((-6)/(-126))/((-1)/3). Which is greater: a or u?
a
Let w = 108 - 113. Let h(v) = -v - 8. Let d be h(-4). Which is bigger: d or w?
d
Let c(u) = -2*u**3 - 4*u**2 + 3*u - 1. Let a(g) = 3*g**3 + 5*g**2 - 4*g + 1. Let m(r) = 3*a(r) + 4*c(r). Let l be m(-2). Is -13 bigger than l?
False
Suppose -30 = 3*l + 3*r, 4*l - 5 = -r - 30. Let i = l + 6. Which is greater: i or -1/7?
i
Let f = 27 - 31. Is -4 < f?
False
Let i be (-136)/288 - (-6)/27. Let n be (254/(-4))/(6/(-4)). Let u = -43 + n. Which is smaller: u or i?
u
Let y(m) = -m**2 + 14*m - 4. Let x be y(10). Suppose 3*f + f = x. Let r(u) = -u**2 + 8*u + 8. Let d be r(f). Is -1 smaller than d?
False
Let i = -8.2 + 9. Let w = -0.7 + i. Let z = -0.1 + w. Is -1/4 at least as big as z?
False
Let t = 2 - 2. Let v be 143/(-4) + -6 + 9. Let p = v - -33. Which is bigger: t or p?
p
Suppose 0 = -2*p + 5 + 5. Suppose -3*f + 2*f = -p. Suppose f*z = 2*z - 3. Is z greater than 1/3?
False
Suppose 3*b + 6*b = 4*b. Let u be (-3)/26*8/6. Which is bigger: b or u?
b
Let k = 0.03 + -14.03. Let x = -16 - k. Which is smaller: 1 or x?
x
Let u(q) = 4*q + 2*q**2 + 6*q**3 - 5*q**3 - 6*q - q. Let h be u(-3). Which is smaller: 1/4 or h?
h
Let a be ((-163257)/459)/(3/9). Let u = a + 1067. Are u and 0 equal?
False
Let n = 54/35 - 7/5. Which is smaller: n or 11