 l = -496/119 + z. Is -10 not equal to l?
True
Let v = 0 + -13. Let u = 12.9 + v. Is 3 at least u?
True
Let i = -0.3 - 1.5. Let n = -0.2 + i. Let g = -3.5 + 4.5. Which is smaller: g or n?
n
Suppose -c = -2*c + 1. Let q = -43 + 173/4. Which is greater: c or q?
c
Let d(u) = -u**2 - 5*u - 5. Let c be d(-3). Which is bigger: c or -2/11?
c
Let v = 6 + -5. Let b = v + -0.8. Is -4 equal to b?
False
Let f = -23 + 25. Let a be (f/12)/((-19)/(-608)). Which is bigger: 4 or a?
a
Suppose 3*b + 3 = 8*b + 2*i, -2*b = -i + 6. Let n be (-204)/(-360) + (-4)/10. Is b less than or equal to n?
True
Let k = -13 - -6. Let g = -7 + 17. Let q = k + g. Is q at most 1?
False
Let r = 111/55 - 11/5. Which is smaller: r or 0?
r
Suppose 4*b + u - 6 = -0*u, -3*b + 14 = -4*u. Is 7/6 > b?
False
Let x(n) = 22*n. Let o be x(1). Suppose 0 = 2*j + 3*u - 8 + o, 2*j + 4*u = -18. Are j and -1/3 equal?
False
Let i(q) = -q**3 - 2*q**2 - 2*q - 3. Let x be i(-2). Let a = 7/15 - 19/55. Let l = 49/132 - a. Which is smaller: x or l?
l
Let n = -54 + 56. Is 13 < n?
False
Let d = -3.3 + 3.5. Is d less than -2?
False
Suppose 3*x + w = 1, -2*x + 7*w + 19 = 4*w. Does 12/5 = x?
False
Let m be (8/6)/(2/9). Suppose -5*n + 7 = -g - 3*n, 0 = -4*g - 3*n - m. Which is greater: -2 or g?
-2
Let f = -27/2 - -13. Which is bigger: f or -7?
f
Let n be (4/5)/((-2)/(-10)). Is 4 equal to n?
True
Suppose 3*b = 4*x + 65, 0 = 3*x - 2*x + 3*b + 5. Let o be 3 - ((-57)/(-3) - 2). Is x at most as big as o?
True
Suppose -c - i - 4*i - 17 = 0, 0 = c - 2*i - 11. Suppose s - c = -1. Is 9/8 < s?
True
Let s be 3/(4 - 7)*0. Which is greater: s or -12/11?
s
Let w be 4/(-26) - (-1095)/(-65). Let s = w + 18. Let r be 2/(-6) + 7/3. Is r != s?
True
Let c be 0/2 + 33/12. Is 4 bigger than c?
True
Suppose 0 = -2*c + 1 + 1. Let x be (-2)/(-15)*(-6 - -3). Which is smaller: x or c?
x
Let n = 5 + -7. Let k be ((-6)/(-5))/(n/(-5)). Suppose 2*j + k*g = -3, -j + 4*g + g = -18. Which is smaller: 1 or j?
1
Let r(g) = -g**2 + 4*g + 4. Let y be r(4). Let o = -7 + y. Are -4 and o non-equal?
True
Suppose -5 = 5*r + 10. Let y = r + 2. Which is smaller: y or -2?
-2
Let g = -6.97 + 7. Let o = 0.03 - g. Is o >= -1/4?
True
Suppose 5*f + 95 = -30. Which is bigger: f or -26?
f
Let o = -3.9 - -4. Which is bigger: 17 or o?
17
Suppose 0 = 3*g - 3*z - 12, 0 = -5*g + 4*z + 19 + 2. Let m(i) = -i - 6. Let x be m(-10). Is x less than or equal to g?
True
Let c = -688 - -1331/2. Is c at least as big as -24?
True
Let a be (10/48)/((-1)/3). Suppose -51*g - 7 = -44*g. Which is bigger: g or a?
a
Let z = 6.1 + -0.1. Let y = -5.92 + z. Let x = y - 0.08. Which is smaller: x or -0.2?
-0.2
Let l = -0.1 + 0.32. Let z = 0.12 - l. Is z < -0.4?
False
Let f(g) = 6*g**3 + g**2 - 2*g + 1. Let m be f(1). Let q be (-7 + m)*(-2)/(-22). Which is smaller: q or -1?
-1
Let m = 31 - 218/7. Let z be ((-2)/(3 + -1))/1. Is z less than m?
True
Let z = -0.5 + 0.2. Let w = -15 - -15.7. Let p = w - z. Are 2/5 and p nonequal?
True
Let f = 1.2 + 3.8. Let d = -0.1 - -0.2. Is d greater than or equal to f?
False
Suppose 36 - 6 = -2*y. Which is greater: y or -16?
y
Let t = -23 + 23. Let v be (-10)/35*(-7)/8. Which is bigger: v or t?
v
Let f(x) = x**2 + 5*x + 8. Let s be f(-4). Let g = -6 + 10. Let w be (2/g)/(s/(-6)). Is w equal to 0?
False
Suppose 3*r - 18 = -3*r. Let s(a) = 3*a - 4. Let q be s(4). Suppose -4*k + r*t = 12 + 8, -2*k + t = q. Is k at most as big as -2?
True
Let z(r) = r**2 - 5*r + 4. Let l be z(5). Suppose -l*w = 5*i - 21, i = -0*i + 5*w - 19. Let c = -8/19 - -34/171. Is c bigger than i?
False
Suppose 0 = 2*a + 2*z, a - 3*z - 8 = -4*a. Let b be 1*a/(-10)*2. Let m(x) = -x**3 - 7*x**2 - 5*x + 6. Let f be m(-6). Which is bigger: b or f?
f
Suppose 4*r + 4*n + 5 = 5*n, 0 = -5*r - 2*n - 3. Is r >= -1/45?
False
Let o = 71 + -118. Which is greater: o or -46?
-46
Let m(w) = 4*w + 8*w - 20*w + 7*w. Let n be m(-6). Is n bigger than 5?
True
Suppose -5 = 5*w - 0*w. Let p be 2/w - (2 - 29). Let q be (10/p)/(4/10). Do 2/5 and q have different values?
True
Let y = -0.07 - -0.77. Let f = y + -0.9. Is f less than or equal to -1?
False
Let g(y) = y**2 - 8*y - 3. Let l be g(9). Suppose 5*w - 4*d + l = 18, -3*w - 3*d - 9 = 0. Is w greater than or equal to 2?
False
Suppose -3*y + 42 = -3*w, -w + 4*y - 10 = 5*y. Let j be (1*3)/(w/16). Let n be 1/j - (-9)/12. Which is smaller: 1 or n?
n
Let u(q) = q**2 + 10*q + 7. Let w be u(-6). Let h = w + 16. Do 2/7 and h have different values?
True
Let m(b) = b**3 + b**2. Let j = 5 + -4. Let i be m(j). Which is smaller: i or 0?
0
Let h = -61907/5268 + 2/1317. Let c be 94/(-8) - 2/8. Let r = c - h. Is 1 greater than r?
True
Suppose -3*x - r = 2*r - 9, 5*x = 5*r + 65. Let y = -7 + x. Let t = 19/66 - 4/33. Which is smaller: y or t?
t
Let n = 1.06 - -10.14. Let a = 1.2 - n. Which is bigger: a or 0.2?
0.2
Suppose 20 = -3*o - 1. Suppose 4*v - 3*v + 25 = -4*t, 2*t = 2*v - 10. Which is smaller: t or o?
o
Let s = 72 - 32. Let c be s/2*2/5. Let i be c/(-24)*(3 + 0). Which is smaller: i or 0?
i
Let r = 6 + -4. Suppose 25 = r*c - 5*a, 8 = 4*c - 2*a - 2. Let n = c - 0. Is n greater than -3/5?
True
Let u be 2 - 2*(-1)/(-2). Let g be (1 - u)/(10/(-5)). Suppose g = o - 1. Is -2/7 smaller than o?
True
Let y be ((-5)/(-20))/((-57)/12). Are 0 and y non-equal?
True
Let r = 83/3 - 28. Let x be 110/33*(-12)/(-10). Let o be (-4)/(-8)*x/2. Which is greater: r or o?
o
Let i be -1 - (3 + 92/(-20)). Do 1 and i have the same value?
False
Suppose 0 = -2*g - 3*l - 2 + 11, -4*l - 30 = -2*g. Suppose 27 = -5*a + 8*a. Is a >= g?
True
Let z(q) = -q**3 - 5*q**2 - q - 3. Let k be z(-5). Suppose 0 = -3*h - 5 + 14. Is k less than h?
True
Suppose 5*a - 12 = a. Suppose -2 = -5*i + a*i. Let b be i/2*(4 + -2). Is b greater than or equal to 2/5?
True
Let d = -0.312 + 0.012. Let j = -67/3 + 23. Is j < d?
False
Let y = 5 - 11. Let k = y - -9. Suppose 4*w + 2*d - 10 = 0, 5*d = -3*w + 4*w + k. Is 3/4 less than or equal to w?
True
Let t(v) be the third derivative of -v**6/120 + 11*v**5/60 - 11*v**4/24 + 3*v**3/2 - 9*v**2. Let i be t(10). Let j = -75 + 827/11. Is i less than or equal to j?
True
Suppose 113 + 82 = -15*m. Let u be (-1)/(-2)*(-1 + -25). Is u smaller than m?
False
Let z = 1.3 - 1. Let b be ((-12)/(-15))/(2/5). Is b greater than z?
True
Let w(z) = z**2 - 5*z - 2. Let g be w(4). Suppose 0 - 8 = m. Let r be g/8 - m/(-32). Is r bigger than -0.1?
False
Let h(y) = -5*y**2 - 25*y + 22. Let x(c) = 2*c**2 + 12*c - 11. Let i(q) = -3*h(q) - 7*x(q). Let g be i(8). Suppose -2*a = -5 + g. Is a at most as big as 0?
False
Let d = 2.901 - 0.001. Let t = -3 + d. Let q = -0.1 - t. Which is smaller: -0.2 or q?
-0.2
Let l = 9 - 8.2. Let w = l + -1. Is w less than 2?
True
Let w = 25 + -15. Which is bigger: 2/5 or w?
w
Let k = 2 + -3. Let d be 1/(k + (-2)/(-1)). Suppose 0 = -2*t - 0*t. Which is bigger: d or t?
d
Let t be 3 + -1 - 0/(-2). Let u = 2 - t. Let j = -183/5 - -37. Is j greater than u?
True
Suppose 3*s = 6*s - 18. Suppose 0*v - 6*v = s. Is v at least as big as -6/17?
False
Let k = -1 + 2. Let v(u) = -u**3 + 5*u**2 + 8*u - 9. Let r be v(6). Suppose -2*i + 8 = -5*x, -2*i = r*x - 6*x - 8. Is x > k?
False
Let s = -1.8 + -0.2. Let k be 3 + -2 + 2 - 5. Is k bigger than s?
False
Let a be 5/(-10) - (-2)/12. Let y = 12 - 8. Suppose -l - l = y. Which is smaller: l or a?
l
Let v = -49795 - -330926. Let o = 49198148/175 - v. Let p = o - 14/25. Which is greater: p or 2?
2
Let f be (-4)/1*(-1 - 0). Suppose 0 = f*x + 2 + 2. Which is smaller: -1/10 or x?
x
Let a = 4 - 38/9. Which is greater: -9 or a?
a
Let q be (1*12/(-8))/((-1)/8). Is q equal to -1?
False
Let n = -1.33 - 0.67. Which is smaller: -2/21 or n?
n
Let n be 2/5 - (-2)/(-20). Suppose 32*s - 29*s + 3 = 0. Which is smaller: s or n?
s
Let s be ((-6)/(-124))/(9/24). Does s = 0.1?
False
Suppose 2 = 5*b - 3. Let d be (0/(-2))/(b/(-1)). Is d greater than -7/5?
True
Let a(m) = -17*m**2 + 13. Let y(p) = -4*p**2 + 3. Let n(k) = -2*a(k) + 9*y(k). Let f be n(1). Which is smaller: f or -4?
-4
Let p = -47 + 53. Which is smaller: p or 5?
5
Let o = 1.8 + -0.1. Let k = -5.7 + o. Is 2/9 equal to k?
False
Let c = -24 + 23. Is c smaller than 4?
True
Suppose 2*c + 2*o - 11 = -3, 5*o = 5*c. Suppose -y = -c*y. Suppose 2 = s - 3*f, 3*s - 5*s + 4*f + 4 = y. Does s = 2/3?
False
Let x = -18 - -21.