 s greater than -588?
False
Suppose 4*d - 2*d - 6 = 0. Let j = -102 - -103. Is d less than j?
False
Let c be (-4 - 8)/(1*-2). Suppose 18 = -4*z - c. Is 2/5 bigger than z?
True
Suppose -16*x = x + 17. Which is bigger: -3/115 or x?
-3/115
Let m(d) = d**2 + 5*d + 1. Let h be m(-6). Let p(w) = 7*w**2 - 6*w**2 - 9*w + 2*w - 2*w + 10. Let g be p(h). Is -3 != g?
True
Let k(n) = n**3 + 4*n**2 - 5*n - 14. Let r be k(-4). Let w be 8/r*(-216)/(-16). Is 18 at least w?
True
Let u(g) = g**3 + 4*g**2 + 3*g + 2. Let c be u(-4). Let q be 2/(-8) - c/8. Suppose 0 = -3*n + 5*n - 4. Is q != n?
True
Let b = -1087 - -1089. Do -10/13 and b have the same value?
False
Let f(t) = 13*t + 231. Let c be f(-19). Is -1 bigger than c?
True
Let j be 1/((-2)/4*2). Let x(s) = s + 5. Let n be x(-19). Let v be 4/n - (80/476)/(-1). Is v > j?
True
Suppose 0 = -l + 6 - 1. Suppose -d = l, 0*d - 53 = -3*b + d. Which is bigger: 17 or b?
17
Let b = 516 - 5671/11. Let f(h) = -h**2 + 21*h + 1. Let v be f(22). Let n = v + 20. Is b less than or equal to n?
False
Let m(f) = -f**3 - 7*f**2 + 6*f + 6. Let q be 0 + 1 + (2 - (-60)/(-6)). Let c be m(q). Which is smaller: -37 or c?
-37
Suppose 0 = -q - 2*y + 3 - 0, y = 2*q - 1. Let u be q/((-1)/(52/(-12))). Which is bigger: 4 or u?
u
Let o be 25782/(-63) + (-4)/(-6). Let s = 410 + o. Let b = -586 - -588. Which is bigger: b or s?
b
Let f be 4*1 - (1 - 0). Let l = f + -15. Let a be 152/(-14) - (-93)/(-651). Which is smaller: l or a?
l
Let t be (-56)/10*(-5)/2. Let z be 24/t*(-35)/(-5). Suppose -2*m - z = -2*j, -m = 3*j + m - 3. Is j less than or equal to 3?
True
Let z be 8/6*(-15)/5. Let n = z + 18. Let i = n - 13. Which is bigger: -2/39 or i?
i
Let g = 1991/83 - 24. Is g greater than 1/5?
False
Let k(t) = -t**3 + 6*t**2 - 9*t - 8. Let j be k(7). Is j != -119?
True
Let g = 34 + -31. Suppose 2*x - g*v + 5 = 0, 4*x + 4 = -2*v + 2. Let y be -6 + 10 + x + -2. Is 2/23 at most as big as y?
True
Let r be (-8 + -107)*7/(-49). Which is bigger: 16 or r?
r
Let r = -163.9 + 165. Is -0.4 at least r?
False
Suppose -5*w + 232 = 5*u + 82, 4*w - 2*u = 114. Are 27 and w nonequal?
True
Let q(p) = p - 6. Let b be (-25)/(-3) + (-5)/15. Let o be q(b). Suppose -5*u - o*k - 2*k = 10, 3*k = 0. Is 3 at least u?
True
Let b be -1 - 38/(-8)*8/2. Let h = 1.97 - 1.87. Is h at most as big as b?
True
Let v = -0.6 + 5. Let d = v - 4.6. Which is smaller: -0.4 or d?
-0.4
Let i(g) = -53*g - 1317. Let o be i(-24). Is -47 != o?
True
Let a = 143/3 - 703/15. Let m = 0.03 - 0.07. Let u = m + 2.04. Which is bigger: a or u?
u
Let k be 0*(53/(-6) + 9). Let r be (3/(-9))/(89/(-3)). Which is greater: k or r?
r
Let h = -7 - -11. Let w = h + -4.1. Let n = -9 + 9. Is n at most as big as w?
False
Suppose 3*z - 1 = n, 2*n + 4*z = z - 11. Is n less than -0.2?
True
Let z(c) = -3*c**2 - 2. Let k be z(2). Is -193/15 at most as big as k?
False
Let b = 32.33 - -0.67. Which is bigger: b or 0.2?
b
Let m(b) = -b. Let g be m(-7). Let c be -1 + 2*(63/6)/g. Which is greater: 4 or c?
4
Let g = 62919/65 - 968. Suppose -923*c = -929*c + 6. Is c at least as big as g?
True
Let h = -34 - -57. Is h at least 23?
True
Let m be 12400/2139 + 5/(5/(-6)). Are -1 and m unequal?
True
Let n be 126/(-15) + 6/15. Let p be 34/n - 1/(-4). Let v be (-10)/(-8) + p/16. Are v and -2/7 equal?
False
Let m = 10.83 + -10.73. Are -1590 and m unequal?
True
Let v = -0.14 + -10.86. Let u = 10.7 + v. Let p = 0.5 + u. Which is bigger: p or 0.6?
0.6
Let l = 10 - 10.07. Let i = 0.01 - l. Which is bigger: 2 or i?
2
Let y be (-2)/12 - (-50)/12. Suppose 0 = -6*q + 2*q - i, 16 = y*i. Which is smaller: -7/5 or q?
-7/5
Let a = 28 + -169/6. Let s = a - 13/30. Which is smaller: s or 6/13?
s
Let s = 94 - 108. Is s < -9/4?
True
Suppose 0 = -4*s - j - 30 + 91, 0 = s - 4*j - 11. Let n be (s/(-130))/(9/12). Is 0.2 > n?
True
Let a = 594 - 593.7. Which is bigger: -348 or a?
a
Let j = -164 - -175. Is -4 smaller than j?
True
Let l = -104 + 122. Let b(k) = 4*k**2 + 1. Let z be b(2). Let x = z - l. Which is smaller: x or 2/49?
x
Let t be ((-12)/(-18))/((-25)/(-1920)). Which is greater: 52 or t?
52
Let r = 0.025 - 2.025. Is 13/11 at most r?
False
Let k = 0.81 + -0.66. Let f = 8 - 9. Which is greater: k or f?
k
Let m be -4 + (-36)/(-10) - (-13805)/(-175). Which is smaller: -80 or m?
-80
Let s = -639 + 831. Which is smaller: s or 195?
s
Suppose 0 = a - 6*a + 65. Let n = -26 + a. Is -13 < n?
False
Let y = 727 + -312. Which is smaller: y or 417?
y
Let b = 3638 + -3610. Let i(z) = 3*z**2 + 4*z - 5. Let k be i(-4). Is k less than or equal to b?
True
Let d(n) = n**3 + 6*n**2 + n + 6. Let j be d(-6). Suppose 5*x = -j*x. Which is smaller: x or -7/6?
-7/6
Let n(l) = l**2 + 10*l - 22. Let a(y) = 2*y**2 + 19*y - 44. Let u(w) = 4*a(w) - 7*n(w). Let q be u(-9). Suppose 17*c + q = 12*c. Is c less than -2/65?
True
Suppose 0*o + 21 = -3*o. Let y be 127/(-13) + (-276)/1196. Is y at most o?
True
Suppose 105 = -5*r + 4*i, 2*r - i + 39 = -0*r. Which is bigger: -71/4 or r?
r
Let m = -1227.2 - -1202.205. Let f = m - 0.005. Is 2/5 at most f?
False
Suppose -12 = 3*j, -4*n - 51 = 3*j + 21. Let o = 4 + n. Is o greater than or equal to -8?
False
Let h = -9686517/11 - -881237. Let w = 645 - h. Is w smaller than -1?
False
Let y(c) = -c - 8. Let o(k) = -2*k + 20. Let d = 7 + 7. Let f be o(d). Let l be y(f). Which is smaller: -1/7 or l?
-1/7
Let x(i) = -7*i - 17 - 5 - 11 + 4. Let m be x(6). Which is smaller: -72 or m?
-72
Suppose 0 = 6*m - 29*m. Which is bigger: m or -2/767?
m
Let v(n) = -n**2 + 3*n - 1. Let w be v(2). Let m be w/(-2) - (-5)/10. Let t = -19079/456 - -335/8. Is m at least t?
False
Let z = -3/6754 + -2208543/33770. Which is smaller: -65 or z?
z
Suppose 0 = 4*i - 8*i + 2*f - 14, i + 2*f = -6. Let w be i/(((-10)/1)/(-2)). Suppose 4*h + 5*v = -20, -4 = -2*h + 6*h + v. Which is smaller: w or h?
w
Let y = -225 - -227. Is 128 smaller than y?
False
Let v be 10/((-1350)/(-927)) - (0 - -3). Which is smaller: 5 or v?
v
Let j = 373 - 368. Is 16 != j?
True
Let q(c) = -c**2. Let s be q(1). Let x be (1992/(-7))/(-2*1). Let m = -142 + x. Is s smaller than m?
True
Let i = 0.1 - 4.1. Let w = i + 3.7. Suppose -t - 4*t - 5 = 0. Are w and t unequal?
True
Let u = -75 + 74.46. Let k = -3.76 + 4. Let y = k + u. Which is smaller: y or -2/3?
-2/3
Suppose 1505 = 2*b + 5*b. Is 215 smaller than b?
False
Let d be 8/(-3664)*1149 - 10/(-4). Let n be 2*-1*(-2)/4. Are d and n nonequal?
True
Suppose 0 = 3*t - 2*t - 81. Let d = -87 + t. Which is bigger: -1 or d?
-1
Let g(z) = z**3 - 25*z**2 + 25*z - 19. Let u be g(24). Suppose -36 + 101 = -u*h. Is h < -40/3?
False
Suppose -n - n - 24 = 2*w, n + 4*w + 12 = 0. Let m be (4/n)/(2/(-18)). Which is bigger: m or -2/13?
m
Let w = 44 + -41. Suppose -4*y + w*y = t - 35, 5*y = 5*t - 125. Which is smaller: t or 29?
29
Let r = 11 + -10. Let c = -3 - 5.2. Let p = c + 8. Which is greater: r or p?
r
Let j be 22/(5 - 4) + (-12)/54. Are 21 and j unequal?
True
Let v = -31321638391/984 + 31830939. Let i = v - 3/328. Which is greater: i or 6?
6
Let q = -3986/5 + 44161/55. Which is smaller: 6 or q?
q
Suppose -9 = -4*y + 19. Suppose -5*c + 2*p - y = 0, -4*p + 2 = -2*p. Let x = -583733/79 + 7389. Are x and c non-equal?
True
Suppose -2*g = -3*x - 26, 2*g - 5*x = -x + 24. Let q = -20 + g. Let w be (q/8)/(7/(-12)). Which is bigger: w or 0?
w
Suppose 25*a = -23*a - 3120. Let i = -143 - -76. Which is smaller: a or i?
i
Let r(i) be the third derivative of -5*i**4/24 - 7*i**3/6 + 4*i**2. Let b be r(10). Is -57 bigger than b?
False
Let i(u) = -u**2 - 113*u - 2490. Let k be i(-83). Let p = 1 + 0. Let j = -1 + p. Is j smaller than k?
False
Let g(q) = -q**2 - 7*q - 5. Let j be g(-5). Suppose -4*p = -4*m + 12, p = j*m - 5 - 18. Let w = 4967/6 + -826. Which is smaller: p or w?
w
Let b = 390 - 7408/19. Let d = -230 - -230. Is d <= b?
True
Let x(w) = -w**3 - 5*w**2 + 6*w. Let c be x(-6). Suppose 16 = -6*f - 32. Let r(m) = 2*m**2 + 14*m - 16. Let k be r(f). Is c less than or equal to k?
True
Let o be ((-56)/(-105))/((-44)/110). Let n be (-1 - -2 - 0)*2. Let d = n - 2. Is d bigger than o?
True
Let b(y) = -y**2 + 3*y + 5. Let d be b(-5). Let r = d + 23. Let j be (5 + 19/(-4))/((-26)/1456). Is j at most as big as r?
True
Let i(v) = -v**2 + 7*v - 11. Let k be i(4). Suppose 7 = 3*p + k. Suppose 0 = 3*m - 0*m