= 3 - 5. Do w and x have different values?
False
Let n be 8*(4/(-1) - -5). Is n greater than 10?
False
Let m be 0 + 2/5 - 1. Let c(k) = k**2 - 10*k + 9. Let y(z) = z - 4. Let w be y(13). Let u be c(w). Is u != m?
True
Let r(g) = 11*g. Let k be r(1). Let f be 15/(-26) + k/22. Which is smaller: 0 or f?
f
Let h = -66 - -54. Which is smaller: -10 or h?
h
Suppose 24 - 4 = -5*i. Let o = i - -3. Which is smaller: 2/9 or o?
o
Let x = -27.97 - -28. Let w = -5/16 - 3/16. Which is bigger: x or w?
x
Suppose -5*p = -51 - 9. Suppose 9*z = 12*z - p. Is 0 less than z?
True
Let w(l) = -l**3 + 8*l**2 + 13*l - 39. Let v be w(9). Which is bigger: v or -42?
v
Let q = -102 - -715/7. Is q < 2/3?
True
Let a = -3636 - -229073/63. Let s = -181/693 + a. Is -1 equal to s?
False
Let o = 40 + -40. Is o >= 1/23?
False
Let k(q) = 3*q**3 + 3*q**2 + q - 1. Let u be k(1). Suppose -4*s + 0*s + 20 = 0. Is s < u?
True
Let a(i) = i**2 + 6*i + 3. Let d be a(-6). Let k = d - 4. Are -2 and k nonequal?
True
Suppose 3 = -x - 0*x. Let d(f) = -f**3 - 4*f**2 - 4*f. Let b be d(x). Suppose -b*c + 24 = 3*m, -c = m - 4*m + 4. Which is greater: m or 4?
4
Let z(w) be the third derivative of -2*w**2 + 0*w - 1/24*w**4 - 5/6*w**3 + 0. Let g be z(-5). Is -0.2 >= g?
False
Suppose 4 = -2*o + 2. Does o = -0.3?
False
Suppose 4*d - j + 7 = 31, -5*d + 5 = 5*j. Suppose d*v - 12 = v. Let u(p) = -p + 7. Let o be u(4). Does o = v?
True
Let m = -1858 - -295420/159. Let g = m - 463/1113. Is g at least -1?
True
Let o be 2/(-7) + (-48)/(-21). Suppose -o*h = -0*h. Suppose 5*l + 5 = -h*l. Is l at least as big as 0?
False
Let w(k) = -k + 3. Let t be (-4)/(-22) - 228/44. Let j = t + 8. Let l be w(j). Is l smaller than -4/7?
False
Let x = -3 - 0. Is -12/5 equal to x?
False
Let c = -2 + 2. Let a = 211/6 - 35. Which is bigger: c or a?
a
Let h = 18.3 + -18. Let j be (2/4)/(1/2). Let n(f) = -f**2 - f + 1. Let k be n(j). Is k at most h?
True
Let i = 3 - 4. Let n = i + 8. Do n and 7 have different values?
False
Suppose 0*j + 18 = -2*j. Let v be ((-8)/(-12))/(6/j). Which is greater: v or -1/5?
-1/5
Let h = -142 - -142. Is h at most 6/85?
True
Let m be (1/(-3))/(4/(-36)). Which is smaller: 2 or m?
2
Let y be (-1)/(5/(-31)) - (-84)/105. Which is smaller: 9 or y?
y
Let v = 2 + -3. Let c(d) = -d**2 + 13*d - 13. Let u(a) = 3*a**2 - 39*a + 38. Let x(l) = 11*c(l) + 4*u(l). Let i be x(12). Is v less than or equal to i?
False
Let u = -0.2 + 0.15. Let q = 4.05 + u. Let w = q - 5. Is -1 greater than w?
False
Let o(q) = -q**3 + 9*q**2 - 15*q + 1. Let t be o(7). Let h be (3/t)/(2/(-12)). Which is bigger: h or 5/2?
h
Let b(y) = -y + 8. Let l be b(0). Let u = -5 + l. Are 3 and u nonequal?
False
Let r(u) = u - 2. Let m be r(2). Suppose m = 3*a + 2*a. Are 0 and a nonequal?
False
Let k be -2*(-1)/4*6. Suppose 4*q + 0*p - 5*p + 3 = 0, 2*p + 8 = -k*q. Let x be (-2)/(-4)*(1 + q). Does x = -2?
False
Suppose -x + 152 = -5*x. Let f be x/18 - (-4 - -2). Which is greater: 0 or f?
0
Suppose -5*h + 30 = 5*a, 4*a - 4 = -h + 2*h. Suppose -h = 4*k + 2*t, -25 = -5*k + 2*t + 3*t. Let l = -114/7 - -1468/91. Are l and k nonequal?
True
Suppose 4*m - 37 = -6*g + g, -m - 47 = -5*g. Suppose -4*w = -g*w. Are w and 4/5 nonequal?
True
Let g = 0 + 0. Let r = -0.2 + 0.1. Let y = 1.1 + r. Which is smaller: g or y?
g
Let r(v) = -v - 10. Let g be r(-8). Let z(h) = h**3 + 2*h**2 + 4*h + 3. Let b be z(g). Is b less than -4?
True
Let b(o) = o**3 - 5*o**2 - 3*o + 9. Let l be b(6). Suppose -44 = -4*s - 4*v, l - 2 = 2*s + 3*v. Let a be (-10)/(-4) + (-4)/s. Is a < 1?
False
Suppose 5*r = c + 3*c + 8, 4*c - 8 = r. Suppose 7*a - 8 = c*a. Suppose -2 = a*d - 4*s - 10, -2*d + 10 = -2*s. Which is bigger: 7 or d?
7
Let q = 14327/23 + -623. Is q at most as big as 1?
True
Let v be ((-17)/51)/((-34)/36). Does v = 1?
False
Let g = 58 - 57.9. Is 51 at least as big as g?
True
Let m(r) = -r**3 - 6*r**2 - 2*r - 8. Let u be m(-6). Suppose y + 5*k - 22 = u*y, -4*y - 3*k - 39 = 0. Which is smaller: y or -19/2?
-19/2
Let r be 25/10*(-3)/(-3 + 0). Is 3 greater than r?
True
Suppose 17*z = 13*z + 136. Is 35 less than z?
False
Let k = -2.3 + 1.4. Is k > 0.2?
False
Let w = -226/9 + 25. Which is greater: -1 or w?
w
Let m = 139 + -133. Is m less than or equal to 5?
False
Let f be (-76)/(-6)*(1 - (-4)/16). Are f and 15 equal?
False
Suppose -283 - 65 = -6*x. Which is smaller: 59 or x?
x
Let a be 3/((-1761)/(-582) + -3). Let v = a - 116. Which is greater: 1 or v?
1
Let t be 0*(-2)/4 + 10. Let y be t/3*6/5. Let j = y + -1. Does j = 1?
False
Let b = -7.2 + 0.2. Let t = b - -8. Which is bigger: t or -4?
t
Let w be ((-6)/(-4))/3*0. Suppose 4*s - 24 = 4*g, 2*s - g - 13 + 1 = w. Let v(c) = -c**2 + 6*c + 3. Let i be v(s). Is 2/5 at least as big as i?
False
Suppose -6*c = -3*c - 5*z + 7, -4*z + 8 = -2*c. Which is smaller: 4 or c?
4
Let s be -2 + 1 - 52/(-38) - 1. Is s not equal to -2?
True
Suppose -5*w = 25, 2*w + 2 = 4*b - 4. Let x = 2 + -3. Is x at most b?
True
Let d = 36 + 11. Suppose 3*y - d = -5*p, -2*y + 3 = 2*p - 15. Suppose 5*x + 2*f - 2 = -0*f, 0 = -3*x - 4*f - p. Is 3 at most x?
False
Let b = -18 + 34. Suppose 3*y = -17 - b. Let j = y + 7. Which is greater: -6 or j?
j
Let u = 19 - 19. Which is smaller: u or -6/5?
-6/5
Let y be 28/(-6)*12/(-14). Let a = -7 - -11. Is a at most as big as y?
True
Let q = 37/6 + -59/6. Is q < -3?
True
Let v = 18 + -19. Are -1 and v unequal?
False
Let t(r) = -13*r + 14. Let h be t(4). Is h bigger than -1?
False
Let c(u) = 5*u**2 - 3*u. Let x be c(2). Let g be 2/(-7) - 62/x. Let v = -31/7 - g. Is v greater than or equal to -0.1?
True
Let k = 37 - 36.9. Let j = 4 + -2. Let o = 1.9 - j. Which is smaller: o or k?
o
Let o = 35/132 + -1/12. Which is bigger: o or 32?
32
Let b(u) = -8*u - 4*u**2 + 4*u - 8*u - 20 + 3*u**2. Let l be b(-10). Let z be (14/4)/(10/(-4)). Which is greater: z or l?
l
Let i = -3 + -1. Let q be 2/5 - 0/i. Let r = 2 + -3. Do r and q have the same value?
False
Let y = -6 - -5. Which is smaller: 0 or y?
y
Suppose 3*q + 4*v - 42 = 0, -2*v = -4*q - v + 56. Is q at least as big as 1?
True
Suppose -6*r - 4 = 2. Which is smaller: r or 3/13?
r
Let b = 487 - 5351/11. Which is smaller: b or 0?
0
Let h be (-2 + 1)/(1/1). Let d = 0.01 + -2.01. Let a = 0 + d. Which is smaller: h or a?
a
Let v be 2/3 + 1518/81. Let a = v - 58/3. Is -1 != a?
True
Let n be (-1)/(0 + 2)*22. Let d be (-2)/n + (-255)/495. Are 4 and d non-equal?
True
Suppose 10 = -5*x - 3*a, 5*x + a + 20 = -4*a. Suppose 2*v + x = v + 2*l, 3*v + 4*l = 37. Is v not equal to 6?
True
Suppose -8 = 5*c - 7*c. Suppose c*y = -y. Which is bigger: -1/7 or y?
y
Suppose -16 = 4*x, 5*x - 2*x + 78 = 3*m. Which is smaller: 23 or m?
m
Let x be 13/(-3) + 4/(-6). Let u = x - -7. Suppose 0 = 4*f + 3*c - 9, -5*f - 2*c + 2 + 11 = 0. Is f > u?
True
Suppose -a - 86 = -5*b - 3*a, -4*a + 64 = 4*b. Let d be (-6157)/b + (-4)/(-18). Let m = d + 341. Which is smaller: -1 or m?
-1
Let x = -31 - -30. Suppose -2*u + 7*u - 20 = 0. Let q be 3*(-1 + u/6). Is x smaller than q?
False
Suppose -4*q = -5*v + 12, 4*q - 16 = 2*v - 4*v. Suppose -v*l + 10 = -6*l. Which is smaller: l or -6?
-6
Let z(s) = -3*s - 4. Let q be z(-2). Suppose -q*w = 2*v + 6, 4*w + 6 = 2*v + 3*w. Is v not equal to 2/5?
True
Let f = -7 - -9. Suppose 0 = f*t + 2*t + 12. Suppose -6 - 2 = 2*g. Is t > g?
True
Suppose -4*i = -16, -2*f = -i - 9 - 3. Suppose 0 = t + 3*k - f, k = 2*t + 2*k - 1. Is t equal to 2/5?
False
Let y be -4 - (-2 - 0)/2. Suppose 2*n + 24 - 106 = -4*r, -100 = -5*r - 3*n. Suppose 0 = 2*g - 2*x - 6, 4*g + 0*x = -3*x - r. Is g at most y?
False
Let b(x) = x - 3. Let d be b(3). Suppose -3*a = -d*a + 3. Let r = -0.3 + 0.2. Which is bigger: r or a?
r
Let v = 79 - 153/2. Which is smaller: 4 or v?
v
Let w be (-2)/8 + 124/(-16). Is -1 >= w?
True
Let r = -50 + 77. Is r > 1/2?
True
Let k = -7 - -12. Suppose c + 4*c + 14 = -t, k*t = -20. Let j = -202/3 + 66. Is c at least j?
False
Let k = 444 + -9322/21. Which is greater: -0.2 or k?
k
Let w = -194 + 192. Is -24/23 at least as big as w?
True
Suppose 5*d - 5 = -20. Let v(c) = -c + 2. Let j be v(6). Which is smaller: j or d?
j
Let p = -0.07 + 1.07. Is p != -1/2?
True
Let g(y) = -2*y**3 - 21*y**2 - 12*y + 1. Let b(a) = -a**3 - 10*a**2 - 6*a. Let i(t) = 7*b(t) - 3*g(t). Let k be i(-6). Which is bigger: k or -2/7?
-2/7
Let p = -44 -