 -5. Are x and b nonequal?
True
Suppose -3*n = -61 - 74. Is n <= -1?
False
Let q(b) = -b**2 + 10*b - 16. Let l be q(11). Let t be (-6)/5*(-90)/l. Is t at most as big as -4?
True
Let g(v) = -v - 17. Let t be g(-17). Which is bigger: t or 1?
1
Let r be (-12)/8*-1*10/395. Is 1 > r?
True
Let o be -1*(21/2)/7. Let u = o + 29/18. Which is smaller: 0 or u?
0
Let z(x) = 4 - 2 + 1 + x - 2. Let b be z(-1). Suppose 1 = -b*n - n, 5*w - 9 = 4*n. Is 0 at most w?
True
Let s = -0.7 + 1.1. Let h = s + -0.1. Is h >= 0?
True
Suppose -4*u + 4*g - 2*g - 32 = 0, 3*u + 25 = g. Which is greater: u or 6?
6
Let b(q) = -22*q**2 + 2*q + 1. Let w be b(1). Which is smaller: 2 or w?
w
Let w(t) = -4*t - 13. Let r be w(-4). Suppose 10 = x + 4*f, 2*x - 2*f + 4 = 2*f. Do r and x have the same value?
False
Suppose f = -4*f - 160. Which is bigger: f or -30?
-30
Suppose -28 = -8*s + 4. Which is bigger: 2 or s?
s
Let z = -23/39 - 1/13. Is -2 at most as big as z?
True
Suppose -2*a + 5*a + 3 = 0. Which is greater: 1/15 or a?
1/15
Let j be (-1)/(-10)*(24 + 0). Is 3 < j?
False
Suppose g + g = 2*b, 5*g + b + 18 = 0. Which is smaller: g or -0.11?
g
Suppose -4 - 6 = -5*s. Suppose q = s*q + 1. Are -3 and q equal?
False
Suppose 0 = 5*i - 14 - 26. Let h be (-12)/((i/3)/(-4)). Is 17 less than h?
True
Suppose l = -5*v - 5, -5*v + 25 = 2*l - 7*l. Suppose -4*t + 14 = 5*i - 4, 5*t = -4*i + 18. Is t at most as big as v?
False
Let l = 3717.03 - 3702. Let y = -14 + l. Let k = y - 0.03. Which is greater: 0 or k?
k
Let n = -16 + 0. Is n < -14?
True
Let r(b) = b**3 + 17*b**2 + 17*b + 24. Let j be r(-16). Which is greater: 5 or j?
j
Let g = 7.034 + -0.034. Is 2/5 at least as big as g?
False
Let h = -3 + 0. Which is greater: -0.1 or h?
-0.1
Let j = 1/389 + -10119/1945. Let v be 84/(-20) - (-2)/(-3). Let y = j - v. Is y at least as big as -2?
True
Let w = 3.7 + -4. Suppose 5*h - 4*v = 3, 2*h + 8 = -5*v - 4. Let s be h/(1*6/4). Is w > s?
True
Let d be (1/(-2))/(3/18). Let v be 836/14 - 2/(-7). Let j be 2/7 + v/(-14). Is j at least as big as d?
False
Let r(a) = -a - 5. Let c be r(-4). Suppose -k + 5*k = 0. Let b = k - 2. Which is greater: b or c?
c
Let v(a) = a**3 - 5*a**2 + 3*a. Let u be v(3). Let q be 21/19 + 9/u. Which is bigger: q or 0?
q
Suppose 14 + 58 = -2*d. Let c be (-2)/6 - 15/d. Which is smaller: 1 or c?
c
Let b(m) = -m**3 - 7*m**2 - 4*m + 9. Let r be b(-6). Is -11 < r?
True
Let y = 62 - 60. Suppose -2*z = -3*z + 2. Let u = 2 - z. Is y > u?
True
Let y = 7.38 + -7. Let z = 4.92 + -5. Let g = z + y. Are g and -0.1 nonequal?
True
Suppose -664110 = 5*h + 5*p, h + 43608 = -4*p - 89202. Let q = -23510081/177 - h. Let v = -1/59 + q. Is v != 1?
True
Suppose 0 = s + 4*s + 260. Let g = s + 207/4. Are 0 and g equal?
False
Let f = 1016403/10 - 101961. Let y = 321 + f. Is y greater than 0?
True
Let y = 26.9 + -27. Let g be (-1)/(-3) + (-10)/18. Is y less than g?
False
Suppose 3*m = 5*q - 26, 2*q + 4*m - 19 = q. Are q and 6 nonequal?
True
Let z = 10 + -1. Is 10 >= z?
True
Suppose 3 = 4*l - 5. Let k be l*139*3/30. Let o = 28 - k. Is 1/3 greater than o?
True
Let s = 2 + -18. Are -3 and s unequal?
True
Let j = 7 - 0. Let i(r) = j + 4*r - 3 - 6*r. Let p be i(3). Which is greater: -1/2 or p?
-1/2
Let v = 6.9 + -7. Is v greater than -1/7?
True
Suppose 0 = -4*n - 17 + 57. Which is smaller: n or -1?
-1
Let i be 2*(-2)/(-6) + 764/(-1200). Is -1 >= i?
False
Let u be (-1)/(0/(-7) + (-2)/(-60)). Is -1 at least as big as u?
True
Suppose 5*v - 2 = 3. Let s = -892 - -5365/6. Is v smaller than s?
True
Let j = 1 - 1. Let b be 308/(-49) - (-4)/14. Let r = b - -5. Which is smaller: j or r?
r
Suppose 156 = b - x, -2*x - 154 = 5*b - 927. Let d = b - 267. Let p be (-105)/d*2/5. Which is greater: p or 1?
1
Let q be (-2)/(1 + 2/(-6)). Let s(c) = c**2 - 2*c - 1. Let u be s(2). Which is smaller: u or q?
q
Let s(y) be the second derivative of y**4/12 - 5*y**3/6 + 2*y**2 - y. Let c be s(6). Is c bigger than 11?
False
Let m(w) = -6*w. Let l be m(1). Let g be (3/l*-2)/5. Is g less than or equal to 0?
False
Let j = 12.9 - 0.9. Which is smaller: j or 1?
1
Let q be 15*2/(-44) - 7/(-14). Is 4/9 at least as big as q?
True
Let f be 471/7 + (-8)/28. Let x = f + -47. Suppose b = 6*b - x. Is 3 bigger than b?
False
Suppose -3*i + 21 = 3. Suppose i = 2*n - 3*n - 2*u, -2*n + u + 8 = 0. Suppose 10 = 4*q + n*w + 4, -4*q = -3*w - 11. Is q smaller than 2?
False
Let p(a) = -a**2 + 3*a + 4. Let s be p(4). Suppose s = -5*t + 20, -5*x - 5*t + 1 + 19 = 0. Let q = 1/4 + 1/4. Which is greater: x or q?
q
Let z = 11 + -3. Suppose -2*f - 12 = -z*f. Which is smaller: 7/5 or f?
7/5
Let y = 1013/5 - 202. Suppose o - 2 = -g - 4, -4*o = -g - 2. Suppose 3*a = 6*a - 4*p + 20, 3*p - 15 = o. Which is smaller: a or y?
a
Let p be 2/6 + (-15)/99. Suppose -4*j - 10 = j. Let d = 3 + j. Which is smaller: p or d?
p
Let b(n) = -2*n - 12. Let z be b(-5). Which is smaller: z or 0?
z
Let d be ((-2)/(-6))/(6/18). Is 5/7 bigger than d?
False
Let p(y) = y + 8. Let b be p(-4). Suppose -k = -2*d, 0*k + k = -b*d. Suppose d = -m - 2*m. Is m less than or equal to -1/12?
False
Let z(d) = 2*d - 1. Let a be z(1). Let x(q) = -2*q + 3 - a - q - 1. Let t be x(2). Which is greater: -6 or t?
t
Let p = 7/2 + -29/8. Suppose -3*l = -2 - 4. Suppose -l*w = -3*b - 13, -1 = -4*b + 2*w - 3*w. Is p greater than b?
True
Let q be 711/(-45) + (-2)/10. Which is greater: q or -14?
-14
Let k be 1/(87/(-21) - -4). Let t = 7 + k. Are -18 and t non-equal?
True
Let b = -3 + 2. Let w = 23 + -24. Is w less than b?
False
Suppose 0*q = -4*q. Is 1 greater than or equal to q?
True
Let f = 4.4 - 5. Let k be (-7)/(-4) - (3 - 1). Which is greater: k or f?
k
Let q = -567 - -11905/21. Is q greater than 1?
False
Suppose 14 = 2*z + 2*w, 2*z - w = w + 10. Let q be -3*(0 + z/99). Which is smaller: -2 or q?
-2
Let t be (-627)/(-309) - (7 + -1 + -4). Are 1 and t non-equal?
True
Let b = -2.9 - -47.9. Which is bigger: 0 or b?
b
Let k = -35/22 - -12/11. Let g(m) = -m. Let a(l) = l - 5. Let c be a(7). Let f be g(c). Is k less than f?
False
Let s be (-21)/(-6)*(-2 + -30). Let t = s - -203/2. Let w = t - -11. Which is greater: w or -1/3?
w
Let d be -1*1*(-3)/(-3). Let r = -5/23 + -113/115. Which is smaller: d or r?
r
Suppose -w = -3*k + 7, -k + 27 = 5*w - 2. Is w smaller than 5?
False
Let n be 2/(-4)*(-5 - -1)/1. Which is greater: n or 4/3?
n
Let i(x) = x**2 - 5*x + 5. Let r(z) = z - 1. Let f be r(3). Let g be i(f). Is g at least as big as -0.06?
False
Suppose 0*s - s - 4*n = 4, 0 = 4*s + 2*n - 54. Suppose -s = -4*x + 8*x. Are x and -5 non-equal?
True
Let q(c) = -c**2 - 8*c - 4. Let n be q(-7). Suppose 0*x + n*x = -12. Are x and -5 non-equal?
True
Let x be ((-10)/20)/(2/(-4)*1). Which is smaller: x or -4/9?
-4/9
Suppose 3*g + 2 = 4*j - 5*j, 0 = 5*g + j. Let c be g/(2/(-12)*-16). Do -1 and c have the same value?
False
Suppose 8*s - 24 = 3*s - 2*n, -14 = -3*s - n. Suppose 0*l = 2*l - s. Suppose 8 = k + l*k - y, 10 = -5*y. Is 1 != k?
True
Let a = -0.11 + 0.1. Let j = 14 + -10. Let x = j - 3.9. Is a at least as big as x?
False
Suppose 4*p - 9 = -1. Which is greater: p or 11?
11
Let f = 0.09 + 3.91. Let t = -4.1 + f. Are t and 1 equal?
False
Let s = -82 - -82. Is s >= -2/131?
True
Let v be 1*((-6)/1 + 3 + 32). Which is smaller: v or 30?
v
Let w = 27.4 + -25. Let i = 0.4 - w. Let y = i + 3. Are -0.1 and y nonequal?
True
Let i = -32 + 29. Is i less than -13/5?
True
Suppose 12 = 2*l + l. Suppose -1 = l*u - 5. Which is smaller: -2/5 or u?
-2/5
Suppose 2*s - 16 = -0*s. Which is smaller: s or 7?
7
Let f = -22 + 22.1. Let n = -3 + 4. Let m = 2 - n. Which is smaller: m or f?
f
Let n be (-5)/20 + 8367/26057. Let f = n - 1/1468. Let s = f - 375/284. Which is smaller: 0 or s?
s
Suppose -3*k + w + 11 = 0, 0 + 21 = 5*k - w. Is k greater than 9/2?
True
Let f(k) = 2*k**2 - 4*k + 2. Let t be f(1). Is -2/93 > t?
False
Let d = 3.39 - 0.39. Is 0.1 at least d?
False
Let a(u) = 27*u + 20. Let x be a(-5). Which is bigger: x or -116?
x
Let s = 4 - 0. Suppose 2*u = -0*u - s. Let o be u/4*(2 - 1). Is o at most as big as -2?
False
Suppose 0 = -3*g - 4*f + 169 + 26, -2*f = 0. Which is bigger: 64 or g?
g
Let x = -0.15 - 0.85. Which is smaller: x or -3?
-3
Let l be 33/(-484)*6/9. Which is smaller: l or 0?
l
Let g be (1/(1 - 0))/((-98)/966). Is g bigger than -10?
True
Le