= j - 28. Do t and o have the same value?
False
Let y = 3 + -3.35. Let a = -0.15 - y. Is -0.3 less than or equal to a?
True
Suppose 6*d - 16*d = -40. Let g = 2 + -4. Is d at most as big as g?
False
Let x be (-2)/(-2) + -12 + 12. Which is greater: x or 0.1?
x
Let g = 9 + -13. Is g >= -2?
False
Let r be (3 + 2 + 3)/(-1). Let v = r + 9. Are 1 and v unequal?
False
Let j(d) = -d - 3. Let c be j(-7). Suppose 2*l - 6 = -3*r, -4*r + c*l = -39 + 11. Suppose q + h + r*h - 13 = 0, 5*q + 4*h = 2. Is q not equal to 0?
True
Let g = 139 + -57. Let v = -244/3 + g. Let h = -2 + 2. Which is greater: v or h?
v
Let z(v) = -3*v - 6. Let l be z(-4). Let k = 7 - l. Is 1/5 bigger than k?
False
Suppose n + 2*g = -0 - 2, 3*n + 5*g + 6 = 0. Let l be 0/(-3)*(1 + n). Let a be 30/(-66)*(-2)/(-5). Are l and a equal?
False
Suppose 16 = 4*t + 4. Let b be 3/((-1 + 4)/t). Let f = -3 + b. Is f less than or equal to -2/3?
False
Let l = -45 - -44. Let k = 0.1 - 0.1. Let x = k + -4. Is l smaller than x?
False
Let w be ((-6)/16)/((-18)/824). Let v = w - 265/18. Let t = -167/72 + v. Which is bigger: -1 or t?
t
Let t(l) = -2*l**3 + l. Let y be t(1). Which is greater: y or -3/28?
-3/28
Let p = 5/2 - 3. Suppose -4*g + 87 = 83. Which is smaller: p or g?
p
Suppose -14 + 49 = -5*k. Let i = k + 9. Is i > 2?
False
Let w be 564/(-10) - (-4)/10. Let v = w + 394/7. Is 0 at least as big as v?
False
Suppose -5 = 3*a + 3*i - 35, 0 = -2*a + 2*i + 4. Let h be (2 + -4)*3/a. Is -2/35 bigger than h?
True
Let h = 32/123 + 3/41. Let x = -11 - 2. Let w = x + 13. Which is greater: w or h?
h
Let k be 20*(18/5)/3. Let j be 1 + 1 - k/4. Let n be (3/(-3))/(j + -1). Which is greater: -1 or n?
n
Let n = -537400 + 285359141/531. Let s = n - 4/59. Are -1 and s nonequal?
True
Let l(t) = -11*t + 1. Let c be l(-3). Suppose -7*u + c = -4*p - 2*u, p + 5*u + 21 = 0. Do -10 and p have different values?
True
Let w = 37 + -37. Is -4/11 less than w?
True
Suppose 2*p + 0 = 36. Let b be 2/6 + 9/p. Let h = -13/12 + b. Is h smaller than 2?
True
Let u(p) = -2*p**2 - p + 1. Let n be u(1). Let b(o) = o - 8. Let c(x) = -1. Let l(y) = b(y) + 3*c(y). Let d be l(10). Is n at most as big as d?
True
Let k be (-24)/(-10) + (-2)/5. Suppose -y - 1 = -k*i - 0*y, 0 = -5*i - 3*y - 14. Let j(c) = 5*c + 24. Let u be j(-5). Is u >= i?
True
Let s = -12 - -11. Let c = -0.7 - s. Let x = -0.1 - -0.2. Is x greater than or equal to c?
False
Let q = -1.4 - -5.4. Is q bigger than 4?
False
Let i = 1.3 + -0.3. Let t(p) be the first derivative of -p**2/2 + 2*p + 1. Let k be t(4). Is k greater than or equal to i?
False
Let k be 32/20 - 0 - (-6)/15. Let q(o) = -o - 1. Let w be q(-3). Is k != w?
False
Let b(u) = -u**3 - 5*u**2 + 2. Let c be b(-5). Let m be (1 + 1 - 2)/2. Is m equal to c?
False
Let m be 1599/531 - (2 + -6 + 7). Is -1 at least m?
False
Let t = -33/2 - -17. Let o = t + -11/14. Let d be (2/6)/(4/6). Are o and d nonequal?
True
Suppose 3*h - 4*l = 18, 0*h - 2*l - 4 = h. Suppose -3*d + n = -n + 21, -3*d - h*n = 9. Let r = -3 - 2. Is d less than r?
False
Suppose -3*r - 8 - 4 = 0. Let h(o) = o**3 + 3*o**2 - 6*o - 5. Let i be h(r). Suppose i*m - 2 = 1. Which is greater: -1/6 or m?
m
Let c be (-1 + -1 - -5) + 42. Which is greater: 44 or c?
c
Let k be 2/12*(-28)/21. Is k < 2/3?
True
Suppose 2*h + 50 = -4*p - 0*p, 85 = -4*p + 5*h. Let z be (-57)/4 + 2/(-2). Let v = p - z. Is v at most as big as 0?
False
Suppose 0*p + 2*p - 2 = 0. Let u = -1 + 6. Let d = u - 3. Which is greater: p or d?
d
Suppose -1 = -l + 20. Let o be l/(-27)*3 + 2. Which is smaller: 1 or o?
o
Let i(z) = -z**3 - 10*z**2 + 3*z - 14. Let b be i(-10). Let p = b - -177/4. Is p less than 1/15?
False
Suppose 0 = -2*p + 7 + 1. Let w = p + -5. Which is bigger: 1/4 or w?
1/4
Let p = 2.7 - 2.83. Is 0 bigger than p?
True
Let r(s) = 7*s**3 + s**2 - 1. Let y be r(-1). Let d = y + 7. Are -2 and d unequal?
True
Suppose -5*j - 12 = 2*u, 2*u - 5*j = u + 9. Which is smaller: u or 4?
u
Suppose -4*m = -2*k + 5*k + 22, 5*k - 3*m - 2 = 0. Let w be (44/21 + k)*-3. Which is bigger: -0.1 or w?
-0.1
Let x be 0 + 1 + 1/(-3). Let t = 1 + -0.98. Which is smaller: x or t?
t
Let x(l) = -5*l**3 + 2*l - 1. Let i(m) = m**3. Let c be i(1). Let h be x(c). Is -3 greater than or equal to h?
True
Let n be 5/((-25)/6)*-5. Suppose 0 = -2*j + n - 4. Let w = 0.1 + 0.9. Are w and j nonequal?
False
Let s be 3*(0 - (-1)/(-3)). Is s less than or equal to -8/5?
False
Suppose m + 0 = -3. Let o(y) = -3*y + 11. Let c(s) = -2*s + 6. Let k(b) = 5*c(b) - 3*o(b). Let r be k(m). Do r and 0 have the same value?
True
Suppose 15 = -3*o, -2*t + 4*t + 4*o = -18. Let g be (1*t/16)/(-1). Let c be 3/(-9) + (-4)/(-3). Is g != c?
True
Let v = -1.97 - 0.03. Let w = -1.9 - v. Is -2 less than w?
True
Let d be (-4)/3 - 7/(-21). Let h(t) = -4*t**3 - t**2 + 1. Let r be h(d). Are 4 and r equal?
True
Let h be 0 + (5 + 3)/4. Let r be (-1252)/10 + (-3 - -3). Let s = r - -126. Do s and h have the same value?
False
Let f = 16 - 19. Let q be (f/20)/((-13)/(-104)). Which is smaller: q or -2?
-2
Suppose -3*f - 3 = -0*f, 4*c + 9857 = -5*f. Let m = -17205/7 - c. Let t = 122/21 - m. Which is smaller: 0 or t?
0
Let j = 14.5 + -1.5. Is j less than 2?
False
Let h(j) = -j**3 + 8*j**2 + 9*j + 2. Let w be h(9). Let q = w - -1. Is 2 greater than q?
False
Let k = 35 - 36.9. Let n = k + 2. Which is smaller: -2 or n?
-2
Let w be 4/((-4)/(-3)) + -4. Let g be 2/((-12)/2 + 1). Which is bigger: g or w?
g
Suppose -b = -4*b - 6. Let j be (3 + 7/b)*4. Let x be (2/8)/((-15)/36). Which is greater: j or x?
x
Suppose -5*p + 0*p = 0. Suppose 4*l - 77 + 17 = p. Suppose 4*x - l = -x. Are x and 3 unequal?
False
Let k(n) = -n**2 + 1. Let c be ((-4)/7)/((-4)/14). Suppose -5*v - 8 = c. Let z be k(v). Are -2 and z equal?
False
Let t be ((-6)/12)/((-2)/(-20)). Do t and -5 have the same value?
True
Suppose 3*j = 4*t + 310, j - t - 7 = 97. Which is bigger: 107 or j?
107
Let j = 93 - 66. Let g = 26 - j. Is 1/40 at most as big as g?
False
Suppose -15*q - 2*i = -12*q + 7, -q + 21 = -4*i. Let d = 1 - -1. Is q less than or equal to d?
True
Let n = -0.1 - -0.1. Let t = 6 - 6. Is t at least n?
True
Let m(d) = -2*d - 6. Let y be m(-9). Suppose x = -g - 0*g - 3, -3*g + y = -4*x. Let o be (0 + -4)/2 + 0. Is o >= x?
True
Let n be (-26067)/(4/(8/(-3))). Let u = n + -2154853/124. Let r = u - -3/31. Which is smaller: 2/5 or r?
r
Suppose -2 - 1 = -w. Suppose -w*g = 4*q + 10, 0 = 5*g - 6*g - 5*q - 18. Suppose 2*x = 3*o - 12, g*x + 6 = -0*x. Is o equal to 2?
True
Let i be -2 - (35 + (-2)/(-2))*1. Which is smaller: -40 or i?
-40
Let m(k) = -1. Let h(u) = u - 7. Let y(d) = h(d) + 6*m(d). Let t be y(14). Suppose 2 + 6 = 4*b. Which is smaller: b or t?
t
Let n = -12 - -11. Which is greater: 0 or n?
0
Let l = -9 + 12. Let k = l + -14. Which is bigger: -9 or k?
-9
Let m(u) = 2*u + 14. Let w be m(-5). Suppose -2*f - 5*t + 31 = -5*f, 5*t = -w*f + 17. Let h = 11 + -8. Is f <= h?
True
Let q = -0.08 + 0.01. Let b(m) = -m - 9. Let r be b(-9). Which is smaller: q or r?
q
Let x = 104 - 161. Is -59 at least as big as x?
False
Let a = 100 - 1094/11. Do a and 2 have the same value?
False
Let d(u) = -u**2 + 5*u - 6. Suppose 4*c = 12, 2*m = 2*c + 5 - 3. Let x be d(m). Is -2 < x?
False
Suppose -13*h + 10*h = 18. Which is greater: 3 or h?
3
Let s = -4 + 6. Let c be (-28)/(-21) - (-1 + s). Is 1 at least as big as c?
True
Let q = -0.2 + 0.21. Let j = 5 - 5.12. Let o = j + 0.22. Which is smaller: o or q?
q
Let t be ((-9)/6)/(6/(-28)). Let g = t - 4. Let z = 5 - g. Is 1 at least z?
False
Let i(n) = -n**3 - 9*n**2 - 19*n - 6. Let c be i(-6). Is -2/363 bigger than c?
False
Suppose -3*s = -s. Let v be -1 - (-6)/(1 + 2). Let d be v + (1 - 24/15). Which is smaller: s or d?
s
Let y = 58/9 + -277/36. Are 2/5 and y unequal?
True
Let t = 4 + 1. Suppose 0 = -t*a - 0 - 5. Let o = a - 0. Is -1 at least as big as o?
True
Let d be 1 - -2 - (1 - -40). Is -39 greater than d?
False
Let h = 8 - 5. Which is bigger: h or 1?
h
Let h = 2.5 - 2. Let d = -4.5 - -4. Let j = h + d. Which is smaller: 2/9 or j?
j
Let b = 28.6 - 28.461. Is b greater than -1/3?
True
Suppose 2*z = -z + 54. Let t be 104/z + (-16)/(-72). Suppose 24 = 3*d - x, 4*x = 4*d - 9*d + 23. Which is greater: t or d?
d
Let h(z) = -z**2 - 14*z + 1. Let l be h(-14). Suppose -3*j - 6 = -3*b, 0 = 3*b + 