Let g = -7/6 + 11/9. Is g bigger than 1?
False
Let u(c) = -c**2 + 2*c + 1. Let z be u(3). Are z and -4 unequal?
True
Suppose 3*u = -7 - 2. Let h be -2 + u + 5 - 1. Do h and 2/13 have different values?
True
Suppose 4*s - 4*m = 8*s - 36, 2*s - 12 = 4*m. Suppose 0 = 3*q + s + 1. Does q = -4?
False
Let s = 30 + -21. Let z = 8 - s. Is -2 smaller than z?
True
Let w = -0.0602 - 0.0398. Let x = -29/95 - -2/19. Which is smaller: x or w?
x
Let g = 3 + -2. Let f = g + -2. Let s = -3 - f. Which is smaller: -3 or s?
-3
Let w(k) = -k. Let q be w(-1). Suppose 0 = 2*d + 6, 2*i - 124 = -0*i + 4*d. Let s be -3 + 0 + i/20. Is q < s?
False
Suppose -3*s + s + 6 = 0. Suppose -d = s*d + 40. Are d and -10 non-equal?
False
Let x = -5 + 9. Suppose 3*b + b = -5*r + 24, -r - b = -5. Let m(k) = k**2 - 3*k - 1. Let v be m(r). Is v < x?
True
Suppose 0 = -2*i + 3*n + 1005, 5*i - 1132 = n + 1400. Let s = i + -6595/13. Which is smaller: s or 1?
s
Suppose 15*h - 12 = 12*h. Let r(l) = 2*l - 12. Let f = -6 + 14. Let d be r(f). Is d at most as big as h?
True
Let q = -193 + 132. Is q >= -62?
True
Let v(p) be the third derivative of -1/60*p**5 + 0 - 5/24*p**4 - 5/6*p**3 - 2*p**2 + 0*p. Let k be v(-4). Which is smaller: 1/5 or k?
k
Let b = 119 + -118.95. Which is bigger: -3 or b?
b
Let q = 62.9 + -63. Which is smaller: 26 or q?
q
Suppose 0 = -4*o + 59 + 13. Is 18 at most o?
True
Let i(m) = 10*m - 9. Let r be i(1). Is 2 equal to r?
False
Let x(f) = -f**2 - 8*f + 2. Let p be x(-4). Suppose 2*u - 3*u = -3*q + 12, 2*q = 4*u + p. Let i = -1 + 2. Which is greater: i or q?
q
Let j = 1341931/63 + -21301. Let i = j - -2/9. Is 2 != i?
True
Suppose -75372 = r - 3*r. Let d = r - 225581/6. Let o = d - 89. Which is smaller: 1 or o?
o
Suppose 3*x - 4*l = 25, -15 = -2*x - l + 4*l. Is 2 equal to x?
False
Suppose -2*q - 13 = -6*k + k, 3*q + 15 = 3*k. Let o be 4/42*3/k. Which is bigger: -1 or o?
o
Let s = -8 + 9. Do 3/8 and s have the same value?
False
Let k be ((-36)/(-8))/((-6)/(-4)). Suppose k*l = -2*l - 20, 20 = 2*f - 5*l. Are 6/17 and f equal?
False
Let t be 2/(-36)*6/(-4). Is t less than 1?
True
Suppose 0*c - c = -4*l - 14, 5*c - 146 = l. Let p be 1/(-2)*c/(-5). Is p greater than 2?
True
Suppose -5*q - 5*m = -70, 0 = m + m - 2. Suppose 0 = -3*c - 4 + q. Let s(h) = h**3 - 8*h**2 + 6*h + 9. Let a be s(7). Is a less than c?
True
Suppose 5*b = -b - 126. Is -23 at most b?
True
Suppose 2 + 7 = 3*w. Let u = 2.6 + -0.4. Let f = -1.2 + u. Which is smaller: w or f?
f
Let u = 34.8 - 35. Let q = 4.5 - -0.5. Which is bigger: q or u?
q
Let c = 17 + -19. Is -2/5 equal to c?
False
Let i(t) = t**3 + 9*t**2 - 2*t - 1. Let b(g) = g**3 + 10*g**2 - 3*g - 2. Let y(q) = 4*b(q) - 5*i(q). Let r be y(-5). Suppose -r*u = -2*u. Is u >= -1?
True
Let r be (2/(-6))/(2/6). Let m = 26733 - 1390345/52. Let v = 17/4 + m. Is r bigger than v?
False
Suppose -i - 4*q + 116 = -5*i, 0 = -5*q + 20. Let a = i - -10. Is a greater than -15?
False
Let z = -0.2 + 1. Let o = z + -1.8. Is -0.2 at most o?
False
Let t(o) = -o**2 + 13*o - 7. Let c be t(12). Suppose -c*h = 1 - 6. Is -1/25 bigger than h?
False
Let b be (0/(-1))/((-8)/(-2)). Let n(m) = m**3 + 11*m**2 + 2*m + 15. Let o be n(-11). Is o at least b?
False
Suppose 0 = -7*q + 6*q + 4. Suppose -2*b - 2*c + 4 = 2*c, 0 = 5*b + q*c - 34. Suppose 26 = 4*g - 10. Which is smaller: b or g?
g
Let c = 1 - 2. Let o = 77/5 + -15. Are c and o nonequal?
True
Suppose -5*z + 2 = -3*x - 44, -5*z + 70 = 5*x. Which is bigger: 12 or z?
12
Let t(x) = -2*x + 7. Let u be t(5). Let o = -215/4 + 53. Which is smaller: u or o?
u
Let v = 809/2 - 415. Let s = v + 143/14. Is 0 bigger than s?
True
Let c be 1 + 0 - (1 + 0). Suppose c*w + 3*w - a = 8, w - 3*a - 8 = 0. Suppose 3*j = -5*y + 18, -y + 3*y = -4*j + 10. Is w at least as big as j?
True
Suppose -3*w - 8 = 4*z, -2*w - 3*w + z = -25. Does 3 = w?
False
Suppose -4*q = 3 - 11. Suppose v = -l + 1, l + 4*v = -0*v - 11. Suppose l*p + 5 = q*h - 13, -2*h + 2 = -p. Are h and -1 non-equal?
False
Let d = -159 - -64. Let b = d + 666/7. Is -1 at most as big as b?
True
Let c = 8/19 + -225/38. Is -6 bigger than c?
False
Suppose 0 = 5*s - 6*s - 2. Which is bigger: s or -6/11?
-6/11
Suppose 0 = 2*s + s. Let v be (-2 + 0)/(-2) - -3. Suppose -v*r + 12 = -s*r. Which is greater: r or 1?
r
Let f be 22/6 + (-4)/12. Which is smaller: 3 or f?
3
Let z be (-7)/((4/8)/(-1)*1). Which is smaller: z or 2?
2
Let h be (2/(-12))/((-6)/(-8)). Let z = 1 - 8. Let n = z - -5. Is n equal to h?
False
Let p be 62/8 - (-3)/12. Let m = p + -7. Let b be (-3)/(-6)*m*-6. Is b at least -5?
True
Let b(q) = q**2 - 6*q - 1. Let h be b(4). Is h equal to -9?
True
Let n = 12 - 28. Which is bigger: -17 or n?
n
Let n = -2/97 + -180/679. Let a = 0.17 + 7.83. Is n not equal to a?
True
Let l = 372.164933 - -0.065067. Let m = l - 374. Let u = -1.7 - m. Which is smaller: u or 0?
0
Let p = -4 - -7. Let h be (-13 - -11) + (-1)/3. Is h at least p?
False
Let o = -188 + 186. Is 31 less than or equal to o?
False
Let i(q) = -q**3 - 3*q**2 + 5*q + 6. Let n be i(-4). Which is smaller: 5 or n?
n
Let t(j) = 7*j + 1 - j**2 - 2 + 10. Suppose -5*m + x = -44 + 4, 0 = 3*m + 3*x - 24. Let n be t(m). Is n bigger than 1?
False
Suppose -8*z + 12*z - 24 = 0. Which is smaller: z or 5?
5
Let g = -0.12 + 0.08. Let t = g - 0.96. Do 0 and t have different values?
True
Suppose 22 = -3*o + 5*o. Is 11 at least as big as o?
True
Let b = 10 - 10.3. Let w = 2.1 + -2. Which is bigger: w or b?
w
Let a = 0.2 - 1.2. Let o = -2.3 - -0.3. Let s = a - o. Is s at most as big as 0?
False
Let v be (165/(-20) + 8)/(2/8). Is -7/3 equal to v?
False
Let c = 0 - -0.2. Let f = 1.09 - -0.11. Let n = c - f. Which is smaller: 0.1 or n?
n
Let z be 10/4 + 2/4. Suppose -d = -5*d - s - 6, 3*d - 3*s = z. Is -3/4 less than or equal to d?
False
Suppose -l + 4*f = 3*l - 8, 3*f + 6 = 2*l. Let u be ((-1384)/24)/(10/6). Let z = u - -179/5. Is z less than l?
False
Let j(d) = -d + 2. Let x be 10*2/(8/2). Let t be j(x). Let h(g) = -2*g**3. Let u be h(-1). Is t greater than or equal to u?
False
Let i = 16 - 13. Let f be i + -7 + (4 - 1). Let h = -1 + 0. Is h at most as big as f?
True
Let d be ((-707)/35 - -6)/(1/(-5)). Is 71 equal to d?
True
Let h = 2 - 2.22. Let j = 0.06 + h. Let a = j - 0.04. Which is smaller: -0.1 or a?
a
Let m(d) = 5*d + 22. Let t be m(-6). Is t <= -4?
True
Let q = 2.7 - -4.5. Let l = q - 7. Is 0 <= l?
True
Suppose -3 = -2*h + u, -2*h + 2*u = -0*u - 8. Is -8/7 > h?
False
Let d = 45/11 - 2396/583. Which is smaller: d or 0?
d
Let k be (-39)/10 + (-3)/(-6). Let z = k - -46/15. Let l be 0/(3 + -2) + 0. Does l = z?
False
Suppose -2*p + 0 + 2 = 0. Let o = -15 + 14.3. Let g = 0.3 - o. Is g less than p?
False
Let r be 7/(-2)*32/(-56). Is 2 < r?
False
Let c(h) = h**3 - 3*h**2 - 8*h + 3. Let g be c(5). Suppose -4 = -3*w - g. Let m be (-1 - 2/w)*-1. Is m > -1?
True
Let h = -17 + 16. Which is smaller: -2/23 or h?
h
Let v be -1 + 2 - 0/6. Let n be v/(-7) - (-19)/(-14). Which is smaller: -2 or n?
-2
Let a = 4 + -32. Let d be a/42 - 2/6. Let u be (-4)/(-6) - (-2)/6. Is d equal to u?
False
Let g = 0.68 - -0.02. Let f = g - 0.5. Let t = f + -2.2. Which is bigger: 0.4 or t?
0.4
Let q = -0.4 - -0.7. Let z = -0.2 + q. Let i = -18 - -18.1. Is z at most i?
True
Let f = 3.8 + -18.8. Is -1 less than or equal to f?
False
Let n(h) = -6*h**2 - 5*h + 1 + 3*h**2 + 4*h**2. Let o be n(5). Are o and -0.7 nonequal?
True
Suppose 0 = -5*z + 5, -15 = -3*x + z + 2. Suppose 28 = -d - 5*t, 3*t - 12 = x*t. Let c be (-64)/78 - d/12. Is 1 bigger than c?
True
Let f = 183 - 119. Is 0 smaller than f?
True
Let d be (32/(-6))/4*3. Suppose 0 = j + 57 - 54. Is j <= d?
False
Suppose 3*f + 7*i - 5*i = 36, -4*f - 5*i = -55. Is 10 smaller than f?
False
Let q be (-1 - -2)/(2/8). Suppose -6 = -5*z + q. Let p be ((-4)/2)/z + 1. Is p bigger than -2/9?
True
Let k = -0.1 + 0.1. Let m = k - 0.1. Is m < 1/5?
True
Let v = 1079/6 + -179. Is v less than 2?
True
Suppose z + t = 5, -2*z + 3*t = 5 - 0. Suppose 3*y - 2*y - 4 = 0. Which is smaller: z or y?
z
Suppose -4*h = -4*n + 16, -2*n + 3*h = -h - 16. Is -3/7 > n?
False
Let n = 0.4 - 3.4. Let k = n + 1. Which is bigger: k or 1?
1
Suppose -3 + 0 = g. Let p be (2 - (-3 + 0)) + g. Is p at most as big as 1?
False
Suppose 9*r = 2*r. Which is bigger: r or -1?
r
Let s be 14/(-3) - 0/