+ -509. Does o = g?
False
Let t(l) = l - 15. Let k be t(7). Let q be ((-3)/12)/(5/k). Is q less than or equal to -0.06?
False
Let q(k) = k**2 + 6*k + 4. Let s be q(-3). Is -1 at least as big as s?
True
Let m(y) = -2*y - 2. Suppose -b + 2*l - 4 = 0, -l = l - 2. Let w be m(b). Let z be ((-3)/w)/((-12)/(-32)). Is -3 less than z?
False
Let o be 6/9 - 2*226/(-60). Which is smaller: o or 7?
7
Suppose 5*u + 43 - 15 = 2*a, -2*u = -2*a + 16. Suppose -2*m + 21 = 3*q, a*m - 16 - 6 = -2*q. Suppose -q*n - 5*x = -18 - 2, 0 = 5*n + x - 4. Is n not equal to 0?
False
Let y = 77 + -74. Is 4 > y?
True
Suppose 0 = -4*f + 6*f - 12. Let r(d) = -d**3 + 5*d**2 + 6*d - 1. Let o be r(f). Is o not equal to -2/15?
True
Let y be (-144)/(-4)*(-6)/(-63). Is y greater than 3?
True
Let o = -33 + 34. Which is smaller: 4/5 or o?
4/5
Suppose 2*g - 1 = -3*b + 34, 3*b - 2*g = 19. Let n be ((-2)/b)/((-12)/18). Is -2 >= n?
False
Let a = 1 - -1. Suppose a = p, d - 6*d = -2*p + 9. Let t be 0 + -1 + 4/12. Is d not equal to t?
True
Let l be (-320)/56 + (-4)/14. Let f(m) = m**3 + 5*m**2 - 5*m + 4. Let s be f(l). Are s and -4/7 equal?
False
Let s be (1*-3 + 2)/(-2). Let u = 2 - 1. Let n = u - -1. Is n < s?
False
Let l = 0.5 + -0.8. Is 1 > l?
True
Let r = -1.7 + -8.3. Let i = 10.1 + r. Are i and -3 non-equal?
True
Let f(q) = -q**2 - 4*q + 1. Let u be f(-4). Let t be 27/24*(-52)/195. Which is smaller: u or t?
t
Let m be 3/(15/2 - 1). Let k = 75 + -74. Which is smaller: m or k?
m
Let s = 1 - -10. Is 2 greater than or equal to s?
False
Let c = 8452/17 + -497. Is c not equal to -1?
True
Suppose -23*o + 22*o = 13. Which is smaller: o or -43/3?
-43/3
Let o(x) = x**2 - 2*x - 5. Let b be o(4). Let t = 3 - 7. Let f be (-2 - -1)*(t - 0). Which is smaller: f or b?
b
Suppose 0*j - 2*j - 3*v = 4, -4 = -4*j - 3*v. Suppose -3*n + 7*s - 2*s - 6 = 0, -j*s = -3*n - 3. Suppose -5*u + n = 8. Which is greater: u or -2?
u
Let n(v) = -3*v**3 - v**2 - v - 1. Let l be n(-1). Let r = l - -1. Let i be ((-1)/2)/(1/(-4)). Is i not equal to r?
True
Let l = 35 + -40. Which is smaller: -4 or l?
l
Suppose -3*f - 3*x - 223 - 236 = 0, -2*f + x = 303. Let i be (-2 - f/78)*-3. Is i at least -0.1?
True
Let f = 10 + -5. Suppose -f = 5*w - 0. Which is bigger: -1/4 or w?
-1/4
Let a = 19/10 + -3/5. Let j = 9/10 - a. Suppose 2*u + 10 = 0, -3*y + 3*u = y - 11. Are y and j non-equal?
True
Let s(l) = 2*l**3 - 4*l**2 + 3*l - 2. Let o be s(2). Suppose -r - r = -o. Suppose c - h - 4 = 0, c + r*c - 5*h = 22. Which is greater: c or 0?
0
Let q(o) = -2*o + 1. Let l(h) = h. Let n(a) = 3*l(a) + q(a). Let g be n(1). Is 0.2 > g?
False
Let o be 0 - (-2 - -2) - -10. Which is smaller: 11 or o?
o
Let q(g) = g**2 - 2*g - 1. Let i be q(-3). Suppose 0 = -f - 3*s + 7, -3*f - f + 2*s = i. Let u be 36/(-15) - f/5. Which is smaller: u or 0?
u
Let d be 33/(2/(-3)*(-6)/4). Are d and 34 nonequal?
True
Let j(o) = 2*o + 4. Let g(a) = -a - 4. Let z be g(0). Let d be j(z). Are -0.1 and d equal?
False
Suppose f + 8 = -f + i, 25 = -5*f + 5*i. Let o = -2 - f. Which is greater: -1 or o?
o
Let t(p) = -p**3 - 26*p**2 + p + 35. Let w be t(-26). Which is greater: w or 1?
w
Let s be (-12)/10*(-10)/3. Which is greater: s or 7?
7
Suppose -4*p - 44 = -5*n - 120, 0 = -5*n + 5*p - 80. Let o = n - -15. Which is smaller: o or 4?
o
Let r = 1 + -7. Let c = -7 - r. Is c smaller than -2/5?
True
Suppose -k - 12 = i, 4*i + 2*k + 3 = -43. Is i != -11?
False
Let o(b) = -2*b**2 - 7*b + 5. Let j be o(-4). Which is smaller: 1/119 or j?
1/119
Let u be 8/12*3/2. Suppose 4*z + u = 5*z. Let x be (-29)/(-9) + (-6)/27. Which is smaller: x or z?
z
Let o = -10 - -4. Let d be o*(0 - (-1)/(-21)). Let z = 0 + 0. Which is smaller: z or d?
z
Let u = -19 + 4. Let w = u - -30. Is w bigger than 15?
False
Let b = 1 - -3. Let h be (-24)/(-110) - b/10. Which is smaller: h or -1?
-1
Let k be 2/(-7 + 2/1). Let o be 25/(-20) - 4/(-16). Do k and o have different values?
True
Let p = 643 - 7066/11. Which is smaller: p or 1?
p
Let r = -104.2 - -104. Let p = -5 + 3. Which is greater: p or r?
r
Suppose -4*w + 14 = 2*x, -3*x - 4 = -3*w + 2*x. Let s(c) = -c**3 + 2*c**2 + 3*c - 3. Let t be s(w). Is -4 < t?
True
Let z = -134 + 135. Let v = -1 - 3. Do z and v have different values?
True
Let g = -17 + 28. Suppose 0 = -3*c - 3*u, c - 3*u = -3 + g. Suppose -w + 4*s + 3 = 2, -3*s + 2 = c*w. Which is smaller: w or 1/5?
1/5
Suppose 6*r - 45 = r. Which is smaller: 8 or r?
8
Let r = -12 - -7. Let f(k) = -k. Let s be f(r). Suppose 0 = -4*l - 5*y + y - 12, s = -2*l - 3*y. Does -5 = l?
False
Suppose 0 = 3*c - 15. Does c = -2?
False
Let c = 51 + -50. Is c equal to -8/41?
False
Suppose -2*x = -0*x - 6. Is x greater than 17/7?
True
Let l be 16/(-28) + (-23)/(-28). Suppose -2*x - 2*x = 0. Are l and x unequal?
True
Let k = 9 + -3. Let d(x) = -x**2 - 7*x - 4. Let f be d(-5). Is f at most k?
True
Let w = -8.09 + 0.09. Which is smaller: 1/3 or w?
w
Let g = -152 - -87. Let u be g/(-39) - (0 - -1). Which is greater: 0.5 or u?
u
Let t be (2/(-5))/((-1)/5). Suppose -10*y + 4*y - 42 = 0. Let r be y/(7/2) - -5. Is r at most as big as t?
False
Let b = 83.6 - 85. Which is smaller: 0.5 or b?
b
Let z = -2 + 2. Let t be ((-1)/1 - z) + 1. Are t and 2/23 equal?
False
Let v be (2/(-57) - 0)*9693. Let z = 340 + v. Is 0.1 <= z?
False
Suppose 0 = 4*b - 5*a + 11, 0 = -0*a + a - 3. Suppose 1058*k - 1055*k = 6. Are k and b nonequal?
True
Suppose -5*k = -4*y - 30 - 3, 5*y = k - 15. Which is smaller: 32/9 or k?
32/9
Let l be (1/(-2))/(3/(-36)). Suppose 14 = -2*j + l. Is -7/2 at most as big as j?
False
Let f(x) = -x**3 + 8*x**2 + 1. Let n(m) = -m**3 - 4*m**2 + 2*m - 7. Let g be n(-5). Let r be f(g). Let q be (-96)/(-50) - 1 - r. Which is smaller: 0 or q?
q
Let r be 2/5 - (-92)/(-30). Let y be (12/18)/((-4)/18). Is r smaller than y?
False
Suppose -3*t + 25 = 2*t. Suppose t*a - 1 = -11. Which is smaller: a or 2/7?
a
Let p = -99 - -405. Let w = 5200/17 - p. Which is smaller: 0 or w?
w
Suppose 3*k + 1 + 2 = 0. Let f(i) = -i**2 + 6*i - 6. Let y be f(5). Let x be (0/(-3) + 1)/y. Is k bigger than x?
False
Let x = 19 - 14. Suppose -4*j + 8 = -4*y, x*y + 0 = -j + 2. Is 1 less than or equal to y?
False
Let f = -1.04 + 0.19. Let t = f + -0.15. Do 2/5 and t have the same value?
False
Let l = 4 - 7. Let m = l - -2. Let t = m + 2. Which is bigger: 0 or t?
t
Suppose 6 = 5*o - 3*v, -5*v - 10 = 6*o - o. Let m = 17/6 - 3. Which is smaller: m or o?
m
Suppose -3 = l - 4. Let h = -6 + l. Let k be 6/h + (-2)/(-10). Is k at least -1?
True
Let z = 19 + -19.3. Are 23 and z equal?
False
Let n(f) = f**2 - 9*f + 8. Let p be 3 + (-3 - -2 - -6). Let r be n(p). Which is greater: 3/16 or r?
3/16
Suppose -4*p + 2*w = p + 3, 3*p = -w - 4. Are p and -5 unequal?
True
Suppose -2*h = -5*o + 16 + 17, 2*h = 2*o - 18. Suppose 60 = -t + 5*n, 3*t - n + 144 = 2*n. Let k be (-2)/(-5) + (-207)/t. Is o bigger than k?
False
Let g = 2 - 1. Let p = g + -1. Let d = p + 3/5. Is d greater than or equal to -0.1?
True
Let h = 5 + -4.7. Let u = h - 0.31. Let s = u + -1.99. Which is smaller: 0.1 or s?
s
Let b = -2 + 3. Let g(y) = y**2 - 2*y + 1. Let j be g(2). Let d be -1 - (b + (0 - j)). Do -2 and d have the same value?
False
Let j = 116 + -69. Suppose -2*k + 31 = 3*t, -8*k + j = -4*k + t. Suppose -5*b = -k + 1. Do b and 1/2 have the same value?
False
Let y = 21 - 19. Are -3 and y nonequal?
True
Let u(x) = -x**3 - 3*x**2 + 2. Let a be u(-2). Let m be (6/a)/((-27)/18). Let t = 5 + -3. Is t at least m?
True
Let s = -17 + 15. Let t = 4 - s. Which is smaller: -1/2 or t?
-1/2
Let s = 8 - 8. Suppose 0 - 3 = 3*c. Which is greater: s or c?
s
Let d = -7/2 + 3. Let s be (3 - 3) + (-2)/6. Which is smaller: s or d?
d
Let b = 0 - 0.5. Let o = b - -0.4. Is -0.6 equal to o?
False
Let q be (1/3 - 0)/1. Let p be 1 + (-6)/(42/5). Which is smaller: q or p?
p
Suppose -5*x + 58 - 8 = 0. Let z be 3/x + (-4)/10. Let o = 8 - 7. Which is greater: o or z?
o
Let s(x) be the second derivative of x**4/12 + 7*x**3/3 + 7*x. Let t be s(-14). Which is smaller: 1/9 or t?
t
Let j = 173/4 - 43. Let c = 140824393/502424328 - 4/390081. Let b = -1/184 - c. Is j at most as big as b?
False
Let z = 11 + -8. Suppose 7 + z = 5*m. Which is smaller: m or 1/2?
1/2
Suppose v = -5, -3*v + 6 = 4*l - 5*v. Which is bigger: l or -1/6?
-1/6
Let k = 160 - 163. Let w