Is c < 2/3?
False
Let c(g) = g**2 + 2*g - 1. Let n be c(1). Suppose -x = n*x. Let j be -2*(-2)/8*x. Which is smaller: 1 or j?
j
Let s = 8614/9 - 956. Let w = 61/63 - s. Let r = 3 - 3. Which is bigger: r or w?
r
Let j = 10 + 7. Let l = -19 + j. Which is smaller: l or -2/3?
l
Let w(i) = -i - 2. Let v be w(-5). Suppose 2*x - 4*k - 14 = 0, 4*x - x = 3*k + 30. Suppose -3*l + x = -q, -15 = -v*l + 5*q + 2. Which is greater: l or 3?
l
Let h be ((-23)/(-46))/((-39)/(-2)). Which is greater: h or 0?
h
Let s = -3 + 2. Let r = 14/9 + -55/18. Is r > s?
False
Suppose 0 = -5*v + 2*y - 7*y - 25, 9 = 3*v - 3*y. Let z(m) = -m**3 - 2*m**2 - m. Let d be z(v). Which is smaller: d or 1/3?
d
Let b(d) = d**3 + 9*d**2 + 9*d + 9. Let h be b(-8). Let n be (-2 + h)*(0 - 1). Let g be n*3/9*1. Which is smaller: 1 or g?
g
Let u = 7 - 2. Suppose -3*p - 6*q + 4*q = -5, -p - 21 = -u*q. Are -1 and p unequal?
False
Suppose -k + 6*k = 10. Let b(h) = -9*h + 1. Let f(w) = -19*w + 2. Let n(d) = -9*b(d) + 4*f(d). Let m be n(1). Which is smaller: k or m?
k
Suppose 4 - 14 = 2*k. Let v = -4 - k. Suppose 2*h - 5*h = 0. Is v less than or equal to h?
False
Let f(q) be the second derivative of -q**5/20 - q**4/12 + q**2 - 2*q. Let s be f(-2). Is s > 5?
True
Suppose -4*f + 85 = 5*v, -2*v + 3*v + 3*f = 6. Let y be 9/v*3/(-9). Are y and -1 equal?
False
Let x(o) = 11*o**2 - o. Let t be x(-1). Is t at most 12?
True
Let f(x) = -x + 7. Let a be f(6). Suppose 0 = -3*c + 18 - 0. Let t(i) = i**2 - 6*i + 2. Let n be t(c). Which is greater: a or n?
n
Let d = 64 + -76. Is -1/5 less than d?
False
Let a(i) = 2*i**3 + 2*i**2 + i + 2. Let x be a(-2). Let b(t) = 3*t - 59. Let f be b(17). Is f at most x?
True
Suppose 13*v = 139 - 48. Is v greater than or equal to 63/8?
False
Suppose -3*p + 7 = 1. Suppose -8 = 2*v, v + 2*v + 18 = p*k. Let m = 2 - k. Is m at least as big as 0?
False
Suppose 4*w + 3*r = -0*w - 12, 4*r = -4*w - 8. Let p = w - -6. Is 3/4 >= p?
True
Let h be (4 + 0)/(-22 + 32). Is 37 >= h?
True
Let b(z) be the third derivative of z**6/120 + z**5/30 - z**4/6 - z**3/2 - 2*z**2. Let n be b(-3). Suppose 3 = -3*t - 0. Do t and n have the same value?
False
Suppose n = 5*l + 21, l = -3*n + 6*l + 43. Which is smaller: n or 35/3?
n
Let q = 5291/115 + -46. Is 0 at most q?
True
Let d = -3 + -3. Are d and -2/3 nonequal?
True
Let l = -1 - -13. Let d = l - 11.91. Which is greater: d or 1?
1
Suppose -8*g + 0*g = -104. Is 13 < g?
False
Let y = 188/429 - 10/39. Let p be 315/49 + -7 - 6/14. Which is smaller: p or y?
p
Suppose m = -5*n + 27, 2*m - 4*n = -3*m + 19. Let o = m - 8. Do 1 and o have the same value?
False
Suppose -12 = -3*c + 2*c. Suppose -c - 4 = 4*x - 2*p, -10 = 4*x + p. Let m be (-1 - x) + (-10)/4. Which is greater: m or 1/4?
1/4
Suppose -m + 13 = -5*p - 3*m, -5*p + 4*m = -11. Suppose -4*q = 1 + 11. Do q and p have the same value?
False
Let j be -7 + 0 + 3 + 3. Are j and -3 nonequal?
True
Suppose -6 = -5*q + 4. Is q != -1?
True
Let s(f) = -2*f + 2. Let z be s(4). Suppose 15 = -4*o + o. Is o at most z?
False
Let v = -26 - -5. Is v > -21?
False
Let m = -517 + 21194/41. Let s be ((-230)/(-1845))/(8/(-6)). Let l = s + m. Which is greater: -1 or l?
l
Let f = -1 + 3. Suppose -8 = -f*q - 0*q. Let l be (q/(-6))/(2/(-3)). Is l < 2?
True
Let i be (-10)/35 - 436/(-7). Suppose -5*g + i = 12. Which is greater: g or 9?
g
Let u = 0 - -1. Suppose -a + 50 = -6*a. Let h = 10 + a. Is u > h?
True
Let l(b) = b**3 + 7*b**2 + 4*b - 4. Let m be l(-6). Suppose -x + m = 7. Are -1 and x equal?
False
Suppose 3 = -2*x - 41. Is -22 > x?
False
Suppose 2*f = 5*s + 23, 3*f = -2*f - 2*s + 43. Let l be (-235)/45 - (-2)/f. Is l at most -5?
True
Let n = 3 + -4. Suppose 2 - 4 = -q. Let c = n + q. Which is smaller: c or 0?
0
Let p be 1*-2 + 5 + -1. Suppose 7 + 5 = -3*y. Let o = 8 + y. Is o bigger than p?
True
Let u be 255/18 - (-2 + (-39)/(-18)). Which is smaller: 11 or u?
11
Suppose 0 = -6*u - 2 + 8. Let m = -1 - 26. Let g be ((-1)/3)/(m/(-6)). Which is bigger: g or u?
u
Let l(f) = -2*f - 15. Let c be l(-8). Is c <= -1?
False
Let s(b) = 2*b + 7. Let l be s(-6). Let j(v) = -11*v - 15. Let q be j(-5). Let p be q/(-7) + 10/(-35). Which is bigger: l or p?
l
Let m = -6 - -5. Let w = 0 + m. Which is greater: w or -3/4?
-3/4
Let b be (-20)/(-30) + 13/21. Which is smaller: b or -2/3?
-2/3
Let a = 305 - 1825/6. Does a = 0?
False
Let w be -2*3/114*2. Let r = w + 65/76. Which is greater: 3 or r?
3
Let r(o) = -o**2 - 9*o - 12. Let g be r(-9). Do -15 and g have the same value?
False
Suppose -3*f - 2 - 4 = 0. Let v = 0.42 - -13.58. Let g = v - 13.9. Are f and g unequal?
True
Let j(r) = -r - 6. Let g be j(-11). Which is greater: 6 or g?
6
Let t be 3*((-11)/(-3) - 0). Let p be (-6)/4*176/(-24). Does t = p?
True
Let n = 14 + -14. Is -1/17 not equal to n?
True
Let b(k) = 2*k**2 + 4*k - 3. Let o be b(-3). Is 1 != o?
True
Let m = -5.3 - -3.3. Which is smaller: -1/3 or m?
m
Suppose 1 = -2*i + 9. Let j be i*(58/(-28) + 2). Let z be ((-5)/2)/(-5) - 1. Is j bigger than z?
True
Let r be 2 + (-64)/36 + (-86)/(-99). Is 2 equal to r?
False
Let y = 2 + 8. Let x = y - 9.6. Let g = 0.3 + x. Which is smaller: g or -1/4?
-1/4
Let v = 13 - 5. Let b = v + -11. Let i(x) = x - 1. Let z be i(-1). Does z = b?
False
Let a = 87 + -96. Which is smaller: a or -39/5?
a
Let n = -120 + 489/4. Which is bigger: n or 2?
n
Let p be (-37)/(-6) - (-3)/(-18). Let v be 2/18 - 2/p. Which is smaller: v or 0?
v
Suppose 2*k + 6 = 3*v, 2*k + 0*k = 0. Let b be 2/v*(4 - 2). Do b and 3/2 have different values?
True
Suppose 2*a = 3*w + 2 + 3, 6 = -3*a. Let j(m) = -m**2 - m + 4. Let n be j(w). Which is bigger: n or 0.1?
0.1
Suppose -4*m + m + 6 = 0. Suppose -m*y + 3 + 2 = -r, 0 = y - 1. Let j be 1 - (r + 29/6). Is j less than or equal to -1?
False
Suppose 1 + 1 = -2*x. Let k = 0.5 - 0.7. Let q = -0.1 - k. Do x and q have the same value?
False
Let n = 0.21 - 0.18. Suppose 5 = -4*p + s, 4*p - 14 = -4*s + 6. Is p less than or equal to n?
True
Let m = -6 + 6. Suppose -c - 3*r - 10 + 2 = m, 3*r = c + 8. Let b = 4 + c. Is -3 at most b?
False
Suppose 5*w = -28 + 8. Let d = 4 + w. Let f be 1/(1/(-5)) + d. Is f >= -4?
False
Suppose -4*h + 8 = 0, v - 6*v + 2*h = 9. Let l be 1/(v/(-2)*2). Which is smaller: l or 1/8?
1/8
Suppose 5*q + 0*q + c = 0, -2*q = c. Suppose -m - 2*n + 10 = q, 4 = -0*n + n. Suppose g - 5*r + r = -m, 0 = 3*g + 4*r - 10. Which is greater: 3 or g?
3
Let d = -19 + 19. Suppose 6 = -2*r + 4*z, 0 = 2*r - 5*z + 2*z + 5. Which is smaller: r or d?
r
Let m(h) = -3*h. Let c be m(0). Which is smaller: c or 2/25?
c
Let x = 9.06 - 9. Is -2/3 <= x?
True
Let o = -15 - -40. Let j = 31 - o. Let u be 1/(1/8*2). Is u greater than j?
False
Let w = 12 - 9. Which is smaller: w or 2?
2
Let y = 0.6 + -0.63. Suppose 5*i = -3 + 8. Which is greater: i or y?
i
Let m = -0.057 + -38.943. Is m < 1/3?
True
Suppose g + 25 = -4*b, -2 + 22 = -g - 3*b. Is -7 != g?
True
Let t be -5*(-7)/((-105)/(-6)). Suppose 25 = 2*j - 2*b - b, j + t*b + 5 = 0. Suppose 2*q = -5*c, j*c - 2*c + 19 = -5*q. Is c not equal to 1?
True
Let z = 1/122 - -28/305. Let j(y) = y**3 - 7*y**2 - 2*y + 14. Let n be j(7). Is n equal to z?
False
Let x = -0.5 + 0.3. Is -4/13 bigger than x?
False
Suppose -4*v = 5*z - 6 - 31, 0 = 5*v - 2*z - 5. Is 3 > v?
False
Suppose 6*x - 2*x - 119 = 5*d, 4*x - 2*d - 122 = 0. Let t = x - 22. Suppose 3*j + 4*m = -t, m + 2 = -j - 0. Which is smaller: 6/5 or j?
j
Suppose 0*f - 4*f = 0. Let l = 1618/99 - 192/11. Does l = f?
False
Suppose -5*q + 4*v - 37 = -16, -3*v = -q - 13. Which is smaller: -2/3 or q?
q
Let m be 2/3 - 4/(-3). Suppose 0 = m*d - 4*d. Suppose 5*s = -0*s - 5*h + 10, d = 3*h + 3. Is s at least as big as 3?
True
Suppose 0 = -v - 4, 6*y = y + 4*v + 36. Which is smaller: y or 2?
2
Let f be 2/(-7) - (-5 - -5 - 0). Which is smaller: -0.04 or f?
f
Let i be (-2 - 2/(-2))*-1. Let f be (-10 - -14)*i/(-1). Which is greater: -5 or f?
f
Let f(g) = g + 14. Let a be f(-10). Are 3 and a unequal?
True
Suppose 0 = 3*p + p - x - 7, 5*p + 7 = -4*x. Let f(m) = m + 1. Let t be f(p). Suppose -4*z + z - t = 2*u, 0 = -u - 1. Which is smaller: z or -1?
-1
Let q = -18 - -8. Which is smaller: -11 or q?
-11
Suppose -269 = -n - 261. Which is smaller: 11 or n?
n
Let j = -106551978/7 - -15259533. Let u = j - 37896. Let l = u - -74. Is -1 not equal 