 -131 - -129. Is -4 greater than w?
False
Suppose b + 9 = 3*g, -b - 6 = -2*g + 3*b. Let m be (24/16)/(g/2). Is -4 at least m?
False
Let j(p) = p - 3. Let s be j(2). Is -4/21 at least s?
True
Let c = -26 + 12. Let i be 49/c - 2/4. Which is greater: i or -0.1?
-0.1
Let l(t) = -t**2 + 4*t + 1. Let c be l(4). Is 6/19 greater than c?
False
Let d = -457 + 2271/5. Let l be 0 + (-9)/(-6)*-2. Is l less than or equal to d?
True
Let g(v) = v**2 - 7*v + 3. Let j be g(5). Let x = -6 - j. Is x at most as big as -1/4?
False
Let x = 7/33 + 5/11. Let g(h) = -2*h - 5. Let v(d) = -d - 1. Let s(i) = -g(i) + v(i). Let r be s(-8). Is x not equal to r?
True
Let y(p) = 5*p - 15. Let l be y(3). Is 10/33 not equal to l?
True
Suppose -7 = -5*w + 23. Let s = 5 - w. Is 2 smaller than s?
False
Let r = 8 + -14. Let d(o) = o**3 - 5*o**2 + 3*o. Suppose 5*u + 10 = 0, -i - 4*u - 2 = 4. Let c be d(i). Is r != c?
False
Let o(j) = -j**2 - 10*j - 10. Let l be o(-9). Let v be ((-4)/6 - l)*12. Suppose -v*k - 3*z = 6, 3*k + 0*k + 17 = 4*z. Which is smaller: k or -4?
-4
Let g = 3 - 0. Let b = 2.7 - g. Let s = -0.7 + b. Does -1 = s?
True
Let l be (-1)/(-2) + (-34)/(-4). Let g = l + -7. Which is smaller: g or 3?
g
Suppose x + 6*x = 63. Let r(n) = n**2 + n - 3. Let y be r(-4). Is x >= y?
True
Let u(l) = -l**3 - 14*l**2 + 13*l - 34. Let p be u(-15). Which is smaller: p or -1?
p
Suppose 2*n + 5*g = -18, -3*n + 7*n - 3*g = -36. Is 1 smaller than n?
False
Let k = -21 - -25. Is k > 14/3?
False
Let z = 23.41 - 0.41. Let s = z + -25. Let m = 0.1 + -0.2. Is s greater than or equal to m?
False
Let u be (0/((-25)/5))/2. Which is smaller: u or 21?
u
Let k = -179131 - -30452107/170. Let p = k + 18/17. Is 0 <= p?
True
Let b(c) = c - 9. Let a be b(2). Is -4 smaller than a?
False
Suppose 7*o - 2*i - 6 = 3*o, -5*o = 5*i + 15. Is 0 at most as big as o?
True
Suppose 4*u = -3*g + 4 + 4, 0 = 5*g + 4*u - 8. Suppose g = -3*c + 5*c. Let v be (-1 + 2)/1 + 0. Is v < c?
False
Let l = -68342 + 820955/12. Let q = l + -71. Is 0 at most as big as q?
False
Let h be (-16 + -71)*(1 + 0 + -2). Is 87 less than or equal to h?
True
Let g = 2126121/10726 - 24485/124. Let y = g + -2/173. Let q(j) = j**3 - 5*j**2 + 4*j + 1. Let o be q(4). Is y greater than or equal to o?
False
Suppose 8*l - 30 = 3*l. Suppose 2*n = 6*n - 12. Suppose -5*j = -2*v - 8, -3*v - 2 + 8 = -n*j. Is v >= l?
True
Let p = -24 - -20. Which is smaller: -2 or p?
p
Let x = -103 - -102. Is x at least -12/29?
False
Let w(g) = 3*g + 85. Let s be w(-28). Suppose -3 = 5*c - 13. Suppose 2*u - 12 = -c. Is s smaller than u?
True
Let b(q) = q**2 - 2*q - 4. Suppose -2*y - 3*y + 17 = 3*j, 5*y - 5 = 0. Suppose 0*z + 6 = j*v + 2*z, 5*z + 21 = 2*v. Let l be b(v). Which is smaller: 2/35 or l?
l
Let k = -3 + 3. Let i(x) = -6*x + 42. Let b be i(7). Is k greater than b?
False
Let c = 8 - -2. Let z be c/5*(-1)/3. Let j = -2 + 2. Is j greater than z?
True
Let h = 9.3 - 9. Let k = -0.9 - -0.6. Let g = h + k. Does 0 = g?
True
Let j = -79 - -393/5. Which is greater: j or -1?
j
Let n(x) = 5 - x**2 + 8*x + 0 - 2*x. Let u be n(7). Let s be (u + 1)*(1 + 0). Which is smaller: -2/7 or s?
s
Let a be 14/10 - -4*5/(-50). Which is bigger: a or 1/33?
a
Let b be 9/15 + 127/(-20). Does b = -5?
False
Let s(b) = 3*b**2 - 13*b - 29. Let j be s(-3). Which is smaller: j or 38?
j
Suppose 3*m = -5*s + 33, -4*m + 18 + 21 = 5*s. Suppose m*c = c - 135. Let x be -1 + 0 - c/33. Are x and -1/4 nonequal?
True
Let b(z) = -z**3 - 9*z**2 - 11*z - 7. Let l be b(-8). Let g = l - 23. Is g equal to -8?
False
Let t(g) = g**2 + 9*g + 6. Let b be t(-8). Let i = b - -2. Is -6/13 >= i?
False
Let c = 1 + -1. Suppose 0*j + 4*j = c. Is j smaller than -1?
False
Let v(p) = p**3 - 3*p**2 - 3*p + 3. Let t be v(3). Let l be (15/(-6))/(3/t). Let a = 2 - 1. Which is smaller: a or l?
a
Suppose -5*n - 4*u = -37 + 4, 0 = 2*u - 4. Suppose -3*r + 2 = -n*r. Let m = 11/133 - 7/19. Are m and r equal?
False
Let q = 109 - 45. Suppose -4*b - 48 = q. Let s = b + 83/3. Are 0.4 and s equal?
False
Let v(i) = -i**2 + 7*i - 7. Let t be v(5). Let n be 2/t*(-12)/8. Is n at least as big as -1/8?
False
Let d be 30/56 + 2/(-7). Let s = -6 + 5. Let k be s*(-1 - (-1 + 0)). Is d at most k?
False
Let j(x) = -1 + x - 2*x - 4 + 8. Let d be j(8). Is d <= 0?
True
Let s = 22 + -153/7. Does 0 = s?
False
Let w = -0.5 - 1.5. Let z = w - -1.9. Which is smaller: z or 0?
z
Let b be ((-12)/14)/(1/7). Let j = -0.2 + 0.2. Which is bigger: j or b?
j
Let v be (6/4)/(4/8). Is v at least 1?
True
Let t = 38 + -36. Which is greater: 4 or t?
4
Let o = -1 - -4. Suppose o*a = 6*a - 9. Which is smaller: a or 2?
2
Let f = -3 - -6. Let u(s) = -s + 3. Let d be u(f). Let y be (-1)/((-6)/2) - 1. Is d greater than or equal to y?
True
Let y be 3 - 1*(4/(-4) + 5). Let l = 811 + -55957/69. Let a = l - -193/483. Which is smaller: y or a?
y
Let g = 0.3 - 4.3. Let i = -4.2 - 0.8. Let j = i - g. Are -1/3 and j equal?
False
Let w(h) = 3*h + 20. Let a be w(-7). Are a and -13 nonequal?
True
Let i(w) = w**3 + 7*w**2 - 10*w - 11. Let p be i(-8). Suppose -p*n + 5 = -20. Let c(v) = -v**3 + v**2 - v + 4. Let m be c(0). Which is smaller: n or m?
m
Suppose -8 = 5*p + 2. Let v be (1 + -2)/((-12)/(-8)). Which is smaller: v or p?
p
Let l be -3 + 2*2/(-4). Let y be (1/(-6))/((-2)/l). Is y at least 1/2?
False
Suppose 0*k = k - 2, -k = 2*u - 44. Is u smaller than 67/3?
True
Let q(v) be the second derivative of v**3/3 - 9*v**2/2 - v. Let b(s) = 3*s**2 - 3*s + 1. Let i be b(2). Let j be q(i). Is 6 less than j?
False
Let q = 9 - 8.88. Let v = q + -2.12. Suppose 0*m - 3*m - 4*w + 4 = 0, 3 = 3*w. Is m greater than v?
True
Suppose -76 - 68 = -4*m. Let g be m/(-165) + 2/(-11). Which is smaller: 0 or g?
g
Suppose 4*u - y = y + 30, y - 3 = -u. Suppose -4*j - u = -6*j. Which is greater: 4 or j?
4
Let r be (-8)/14 + (-108)/(-42). Which is smaller: 7/4 or r?
7/4
Let p = -108.53 + 108. Let s = 0.5 + p. Let u = 0.57 - s. Which is smaller: u or 1?
u
Suppose -4*s + 2*s + 4*z + 10 = 0, s + 1 = -z. Let a be (-1)/s - 1/(-1). Let f = a - -1. Is 0 at most as big as f?
True
Let n(m) = m**3 - 5*m**2 + 4*m - 2. Let z be n(3). Does -7 = z?
False
Let q = -153 - -154. Is -3/11 at least as big as q?
False
Let r = 0.4 + -1.4. Which is smaller: 0.5 or r?
r
Let i(k) = 2*k**3 - 2*k**2 + k. Let t be i(1). Suppose -5*w - 5*z = 0, 4*z = -z. Let f = t + w. Is 0 at most f?
True
Suppose 13 + 5 = 3*a - 4*n, -3*a - 4*n + 18 = 0. Suppose 0 = -3*s + 4*r - 0 + a, s = r + 2. Which is greater: 1 or s?
s
Let m = -0.32 - 0.08. Is m at least 15?
False
Let j(o) be the third derivative of o**4/12 + o**3/6 - 2*o**2. Let i be j(1). Suppose 4*f = 11 + 1. Is i at least f?
True
Let g be 12/18 - 13/(-3). Let f = -6 + g. Which is smaller: 0 or f?
f
Let j = 3 - 4. Let k = 23803/35 + -3204/5. Let v = -39 + k. Are v and j nonequal?
True
Let q be ((-2)/(-3))/(1/(-3)). Let p be (3 - 1)*(-1)/q. Let s(k) = -k - 5. Let g be s(-6). Is p greater than or equal to g?
True
Suppose 0 = 4*h - 48 + 52. Which is greater: 2/173 or h?
2/173
Suppose 0*a + a = -5*b - 6, 5*a - 3*b = -30. Let d be (-22)/6 - a/(-18). Which is smaller: -5 or d?
-5
Let s = -18861/35 - -539. Let v = s + 151/210. Is 2 greater than or equal to v?
True
Let i(r) = r**2 + 3*r + 2. Let g be i(-2). Let h be (-874)/(-6832) + (-16)/56. Let a = 2/61 + h. Are g and a unequal?
True
Let l be (16/20)/((-4)/(-10)). Suppose 3*v - 5 = -2*v. Let z be (l/v)/((-4)/(-2)). Is -1 <= z?
True
Let k(r) = 6*r - 8. Let s(t) = t. Let g(f) = -k(f) + 5*s(f). Suppose -3*x + 11 + 10 = 3*d, -5*x = -d + 7. Let m be g(d). Is m less than 1/2?
False
Suppose -2*i = -5*s - 32, -5*i + 0*i = -s - 57. Are -2 and i non-equal?
True
Let r be (-49)/2 - 3/(-2). Let i = 45/2 + r. Let q = -2 + 2. Are q and i equal?
False
Let n = -5 - -6. Suppose -p = -6 + n, -3*m + p = -1. Suppose -3*l = -m*l. Which is smaller: 1 or l?
l
Let g be (-2 - (-8)/4)/(-1). Suppose -2*x - 2*x = g. Is 3 less than or equal to x?
False
Let d = 15 - 6.9. Let o = -1.1 + d. Let p = o - 6. Which is smaller: p or -0.5?
-0.5
Let v be (-8)/(-20) + 465/25. Which is smaller: v or 18?
18
Let o = -464579/169 - -2749. Which is bigger: o or 0?
o
Let u = -0.08 - 0.12. Let i = 0.1 + u. Which is bigger: i or 0.04?
0.04
Suppose -2*x + 5*x = 0. Let h(s) = s**3 + 6*s**2 + 4*s - 2. Let c be h(-5). S