307 = -11*d. Is d bigger than -70?
False
Suppose -r = 5*w - 64, 3*w = r - 6*r + 34. Let f = w + -18. Suppose -a = -0 + 5. Is f bigger than a?
False
Let b = 0.3 + -0.3. Let l = -30 + 17. Let i(z) = z**3 + 11*z**2 - 27*z - 6. Let d be i(l). Is d smaller than b?
False
Suppose w + 2 = 10. Suppose 4*y = 2*d - w, -2*d - 6 = -0*y + 3*y. Let s = -441/130 + 37/10. Are d and s unequal?
True
Let i = -100/3709153 + 23305012299/14984978120. Let c = i + -63/40. Does c = 1?
False
Suppose -4*o = 2*o - 30. Suppose 0 = -o*a - 2*r + 20, -4*r - 14 = -a + 12. Is a greater than or equal to 4?
True
Let q = -38 + 43. Is q > -56?
True
Suppose 5*d - 4*d + 818 = -5*i, 0 = -2*d + 4. Is -164 bigger than i?
False
Let f = -70.1407 - -0.0407. Let c = -70 - f. Is c at least as big as -28?
True
Let w = 0 + -2. Let p = 570.749 - 571. Let v = 0.251 + p. Do v and w have the same value?
False
Let v = -14 + -28. Let f = 30 + v. Let p = 15 + f. Is p at most 1/3?
False
Let n(m) = 22*m**2 + 7*m + 22. Let c be n(-2). Is c greater than 105?
False
Let j = -0.43 - 0.57. Let u(b) = -b**2 - 8*b + 2. Let r be u(-7). Let s be (-1)/r*-2 + 0. Is s greater than j?
True
Let k be (-8 + (-1836)/(-230))/(1/20). Which is greater: k or 1/3?
1/3
Let s(i) = -i - 5. Let o be s(-6). Let q be -2*o*(-63)/(-6). Let r be q/(-15) - (2 - 1). Is 0 greater than r?
False
Let v = 0.06 + 0.27. Let i = v - -10.67. Is -0.1 < i?
True
Let c = 5.8 - 10.8. Let w be ((-5)/(-15))/(2/54). Suppose v - w = -4*i, -3*v + 4*i - 6 = -5*v. Is c > v?
False
Let f = 0.07 + -12.07. Let u = -8.7 - -0.7. Let j = f - u. Are 1 and j nonequal?
True
Let l be (266/(-21))/((-70)/(-6)). Let z = l - 1/5. Which is greater: z or 0?
0
Let n be 82/(-14) + (-40 - -44). Is n greater than 1?
False
Let l = -9.7 + 9. Let z = -22.7 - l. Let t = z - -21. Is -1/20 less than t?
False
Let z(q) be the third derivative of q**6/120 + q**5/30 + q**4/12 - 7*q**3/6 + 16*q**2. Let h be z(-3). Is h greater than -22?
False
Suppose 5*c - 9*c = -8. Let b(v) = -7*v**2 - 1. Let g be b(c). Let q = g + 19. Which is greater: -9 or q?
-9
Let u = 486 - 270. Which is smaller: 217 or u?
u
Suppose -3*n + 220 = 2*n. Suppose 42 = -4*a - 2*v, 0 = 3*a - v - 10 + n. Let y be 12/24*(a - 1). Which is bigger: -9/2 or y?
-9/2
Let l be ((-3)/(-9))/((-3976)/48). Which is smaller: -1 or l?
-1
Let b = -1581 + 1580. Which is smaller: b or 12/41?
b
Let n = 0.01 - -0.29. Let a = -50 - -44. Let s be ((-9)/a)/3*2. Which is smaller: n or s?
n
Let f(p) = -p**3 + 6*p**2 + 2*p - 9. Let q be f(6). Let a be 2/q*(200/(-115) + 2). Do a and 0 have the same value?
False
Let x = -797 - -816. Which is bigger: -11 or x?
x
Let c be 791/(-452)*2/(-14). Are 780 and c non-equal?
True
Let m = -277923 - -2220595/8. Let y = m - -348. Is -1 equal to y?
False
Let d = 0.5 + 3.5. Let a = 209.1 + -209. Which is bigger: a or d?
d
Let v = -1127912/13 - -86464. Let i = v - -298. Suppose -m + 2*m = -5*m. Which is smaller: i or m?
i
Let i be (-50)/(-8) - (-32 - -32). Let h = 17 - 11. Which is greater: i or h?
i
Let v = -29.664 - 4.346. Let d = 34 + v. Is -2/3 smaller than d?
True
Let a = -34 + 31. Let m = a - -3. Suppose 3*k + 0*k - 45 = m. Which is greater: k or 0?
k
Let u be 2/(-2)*-3 - 19. Let g be (-7 + 9)/(u/(-3)). Let t be 3 - 2 - 14/8. Are g and t nonequal?
True
Let t be 3/4 + (-1232)/(-3136). Are 1 and t non-equal?
True
Let i be (-37)/(-58) + 2*(-1)/4. Which is greater: -2 or i?
i
Let n = 61 - 79. Let s = 3 + -6. Let x be s - 2/7 - -3. Which is smaller: n or x?
n
Let c = -2141/345 - -28/69. Let a be 13/2*-1 - ((-455)/26)/(-35). Are c and a equal?
False
Let h = -152 - 58. Let k = -437/2 - h. Are k and -10 equal?
False
Let k be (-2)/12 - 988/(-1248). Is k equal to 2?
False
Suppose -3*v - 9 = -51. Is v at most as big as 16?
True
Suppose b + 5*z = 14 + 5, b + 17 = 4*z. Let o = 14 - 8. Let d be 5/3 - o/9. Which is smaller: b or d?
b
Let g(q) = q**2 + 20*q + 40. Let k be g(-24). Let j = k + -132. Is j < 4?
False
Suppose 3*k - 28*o - 77 = -26*o, 0 = -3*k - 3*o + 72. Is k <= 28?
True
Let c = 8 + -9. Does c = 3/17?
False
Let d = -1.6 - -1.8. Let a = d - 1.2. Is -16/5 less than or equal to a?
True
Let c = -465284/15 - -31069. Let y(k) = -k**3 + 4*k**2 + 27*k - 10. Let o be y(8). Let l = c + o. Are 0 and l unequal?
True
Let z = -1844 + 1845.7. Let n be ((-10)/15)/(2 - 0). Is n at most as big as z?
True
Let c be 0/((-20)/(5 - 9)). Which is bigger: -2/699 or c?
c
Let g = 0.05 + -0.13. Let v = 1.1 + -0.3. Let t = 0.7 - v. Which is smaller: g or t?
t
Let j(x) = -2*x**2 + 14*x - 10. Let y be j(8). Is -27 not equal to y?
True
Suppose -2*s - 4*g + 4 = -28, -2*g - 12 = -s. Which is smaller: s or 83/6?
83/6
Let t be 2 - 3 - 914/18. Let g be ((-1)/(-2))/(5/50) - 57. Let k = g - t. Which is smaller: 1 or k?
k
Suppose 5*p = -0*g - 4*g - 235, 0 = 4*g - 4*p + 244. Let a = 79 + g. Is 19 != a?
False
Let v(t) = -3*t**3 - t**2 - 2*t + 9. Let b be v(5). Let d = b - -4408/11. Suppose -2*u = u. Which is smaller: d or u?
d
Let s(a) = 0*a**3 + 15 + 13*a**2 - a**3 - a - 17 + 18. Let f be s(13). Which is smaller: 9/5 or f?
9/5
Let i = -0.15 + 0.1. Suppose -5 = -5*y, 2*y - 4 = -3*k + y. Suppose s + k = -0. Is i > s?
True
Let d(b) = -19*b + 181. Let l be d(10). Which is greater: l or -28/3?
l
Let o be ((-108762)/(-24))/(11*-1). Let p = o - -412. Is -1 greater than or equal to p?
False
Suppose -2*k + 19 = -5*z - k, -3*k - 7 = z. Let r be 0/(((-24)/z)/(-3)) - 12. Let c = -22 - -12. Which is smaller: r or c?
r
Suppose -3*x + 2*l = -3*l - 1, -4*x - 2*l = -10. Suppose 3*u - 4 = x. Suppose 3*t = -1 - u. Which is greater: t or -2/37?
-2/37
Suppose 3*z - 3*u - 441 = -z, -476 = -4*z - 4*u. Which is greater: z or 225/2?
z
Suppose 36*s = 7*s + 29. Let o(x) = -x**2. Let u be -3 - -2 - (1 - 2). Let h be o(u). Which is bigger: h or s?
s
Let s be ((-18)/45)/(45/(-25)). Which is smaller: 2/23 or s?
2/23
Let v = 569/21 - 89/3. Suppose 4*a + a - 10 = 0. Which is smaller: a or v?
v
Suppose 22*c - 23*c + i + 709 = 0, -1438 = -2*c - 3*i. Which is greater: 714 or c?
714
Let g = -1146 - -1056. Are g and -96 non-equal?
True
Let j be (-3)/((-27)/2) + 0. Suppose -2*n + 4*g = -30, -14*n + 5 = -11*n + 4*g. Suppose n*w + 11 = -4*w. Is j at most w?
False
Suppose -2*g = -b - b - 332, -b = -4*g + 175. Let s = b + 107. Is -56 < s?
False
Let z(w) = -16*w + 2. Let o be z(-2). Let l = 668 + -667. Is o greater than l?
True
Let q(a) = 2*a**2 + 4*a**2 + 6*a + a**2 - 5*a**2 - 7. Let h be q(2). Which is smaller: h or 15?
h
Suppose -29 = 3*l + 5*g, 3 = 3*l - 3*g - 0. Which is bigger: l or 0?
0
Let n(x) = 2*x**2 + 61*x + 329. Let h be n(-7). Suppose 3*g - 4*i - 22 = 0, -g + 3*g - 4*i = 20. Is h bigger than g?
False
Let w = 40427/58 + -697. Which is smaller: -1 or w?
-1
Suppose 2*p = 4*v + 1580, -3*p = -23 + 29. Does v = -397?
False
Let h = 26 - 22. Suppose -2*n - 30 = -h*c, -5*n + n = 12. Let m be c*(0 + 40/(-75)). Which is smaller: m or -2?
m
Suppose -5*j + 64 + 201 = -5*b, 0 = 2*b - j + 104. Which is smaller: 0 or b?
b
Let b = 1/37 + 1438/185. Are 1 and b non-equal?
True
Let l = 3 + -2. Let w(v) = v**2 - v - 1. Let f be w(-2). Suppose -f*q - 6*y - 29 = -2*y, 8 = 2*y. Is q less than l?
True
Let l be 1605/(-6324) - (-4)/(-16)*-1. Is 1 <= l?
False
Let d = 84 + -70. Is 140/11 greater than d?
False
Suppose -3*a - 6 = 9. Let g = -14 - a. Let d = 10 + g. Is d greater than or equal to -2?
True
Let m = 1.083 - -0.017. Let z = -0.9 + m. Which is smaller: -0.17 or z?
-0.17
Let m = 14611041/20 - 730724. Let i = 172 + m. Which is smaller: i or 0?
0
Let h = -10 - -12. Suppose 5*r = -2*n - 17, -h*r - 5 - 6 = 5*n. Suppose 4*c - 16 = -4*l, 0 = 3*c - l + 2*l - 6. Which is greater: c or n?
c
Let d(f) = -2*f**2 - 59*f + 342. Let t be d(6). Is t <= -81?
True
Suppose -4*v - 3 = -v. Suppose 0 = -3*l - 2*m + 63, 0*l = 5*l + 3*m - 105. Let n = -20 + l. Which is smaller: v or n?
v
Suppose 2*n - 4*u + 14 = -0, u = -3*n + 14. Suppose -2*s + 20 = -5*a, 5*s - n = a + 1. Suppose -5*x + 5*v + 75 = -s*x, -3*x - 3*v + 45 = 0. Is 0.1 != x?
True
Let k = -827 - -443. Let c = 56450/147 + k. Is c less than -1?
False
Let n = 2273/3240 + -1/648. Let w be (-1)/(-3)*3*(-2 + 2). Which is smaller: n or w?
w
Suppose 5*k + 5*d - 55 = 0, 75*k - 71*k + d = 44. Let l = 0.1 - 0.3. Let u = -0.2 - l. Is u less than or equal to k?
True
Let u(r)