9, -4*y = -5*x - 8. Is x <= -4/871?
False
Let s be (-9)/(-28353)*(0 - 426238/132). Let k = 45/1454 - s. Let g = k + -22/13. Which is bigger: 0 or g?
0
Let t = 77.42 - 69.42. Let g = -0.18 - 4.32. Let z = g - -4. Are t and z unequal?
True
Let j(f) = 11*f**2 + 2*f + 1. Let b = -80 - -79. Let d be j(b). Suppose -c = c - d. Which is smaller: c or 6?
c
Let d = -119931/41 - -2925. Let r = d - -171/328. Which is smaller: 1 or r?
r
Let a = -59.53 + 60.53. Are a and 95 nonequal?
True
Suppose 364*t + 28242 = 337*t. Which is smaller: -1047 or t?
-1047
Let l = -2199.546 - -2167.5. Let j = 0.046 + l. Is j != 2/9?
True
Let t = 0.55 + 34.45. Let a = -12 + 48. Let s = a - t. Which is smaller: 0 or s?
0
Suppose 0 = k + 2*o - 1060, 4*k - 4256 = -48*o + 44*o. Which is smaller: k or 3206/3?
k
Let w be ((-3)/(-14))/((-12)/(-16)). Suppose 3*p + 5*g + 365 = 10*g, -3*g = 15. Which is smaller: p or w?
p
Suppose -4*b - 27 = -m, -19 = -3*m - 5*b + 45. Suppose -5*a + 692 + 1054 = 4*n, 5*n + 3*a - 2176 = 0. Let y = n + -411. Is y less than m?
False
Suppose -5*p + 433 + 827 = 5*m, -2*m = -5*p - 476. Is 248 > m?
False
Let p(s) = -3*s**2 + 33*s - 51. Let v be p(21). Let c = v + 670. Is -13 bigger than c?
False
Let i(j) = -j**3 - 2*j**2 - 2. Let l be i(-2). Let g = -125 + 124.8982. Let x = -0.1282 + g. Is x less than l?
False
Let s be (-462)/2002 - 14595/(-39). Which is smaller: 404 or s?
s
Let a(i) = 2*i**3 - 220*i**2 + 213*i + 515. Let f be a(109). Is 34 greater than f?
True
Suppose 12*t + 21*t = 0. Suppose -25*m - 159 + 9 = t. Which is greater: m or -4?
-4
Let v = 1.2 - 0.8. Let s(g) = -g + 15. Let k be s(14). Let o be (-4 + 1)/(k/((-1)/(-5))). Which is smaller: o or v?
o
Suppose -5*t + 215 - 25 = 0. Suppose 2*o + 0*o = 0. Suppose o = 4*c - 87 - 69. Is t less than c?
True
Let z be (-2 - 8/(-4)) + -16. Let q = z - -28. Suppose 7*p + 5 = q. Do p and -2/9 have different values?
True
Let r(s) = -s**2 + 6*s - 24. Let k be r(9). Let c be 3/2 - 1 - k/34. Suppose u + 4 - 2 = c*o, 3*u + 6 = 0. Is o at least -1/3?
True
Let w be ((-6)/(-5))/(111/(-1110)) + 12. Is 10821 greater than w?
True
Let l(p) = p**3 + 5*p + 1250. Let s be l(0). Suppose -6*u = -11*u + s. Which is smaller: 251 or u?
u
Let j = 1.6 + -0.4. Let n = j + -1.3. Let d be (53 - 52) + 0 + -5. Which is bigger: n or d?
n
Let v(l) = 8*l**2 + 447*l - 903. Let m be v(2). Let z = 0 + 1.2. Let a = -0.2 + z. Which is bigger: m or a?
m
Let n(j) = -j**3 + 182*j**2 - 881*j - 28. Let i be n(5). Is i >= -52/7?
False
Let t be (-59)/18 - (4 + 136/(-36)). Suppose 38 = 3*s + 4*m, 4*s + 9*m - 4*m - 49 = 0. Let z be (15/s)/(3/(-6)). Is z < t?
True
Let g = 418356 - 1663251/4. Which is greater: 2543 or g?
g
Let s = -42491/2 + 21246. Is s smaller than 13996?
True
Let y(w) = 14*w - 67. Let i be y(2). Let z(x) = -3*x**2 - 5*x + 3. Let o be z(3). Let g = i - o. Which is smaller: g or 1/30?
g
Let q = 39 + -37. Let u = 120.6 + 0.4. Let i = 116 - u. Is q smaller than i?
False
Suppose -85*d + 373*d + 352283 = 26555. Do -1130 and d have the same value?
False
Let r = -11 - -9. Let p(u) = -15*u - 5. Let s be p(r). Let f = 25 - s. Which is bigger: f or -8/17?
f
Let u = 139 - 138. Let g be ((-12)/3)/(10/(-165)) - 1. Let z = g - 450/7. Is u at least z?
True
Let v = -5.282 - 0.718. Do v and -21/11 have the same value?
False
Let o = 6.19 + -6.25. Is o at least as big as -4/5?
True
Let p be 1/(1/(-2)) + 28. Let v be (-1 - 2/(-36))/(11/p). Let g = v + 27/11. Is g less than or equal to 1/22?
False
Let p = 9.1 - 9.149. Which is smaller: p or 11?
p
Let w be ((-40)/(-6))/((-10)/(-90)). Suppose -23*z + w = -22*z. Let k = -68 + z. Is -17/2 <= k?
True
Let m(r) = r**3 - 108*r**2 + 423*r - 713. Let p be m(104). Let x be 1/(-2)*2 + 0. Let f be (-6)/(-9) - (-1 - x). Is p < f?
False
Let p be (-2)/(-1) - (-20 + 20). Suppose -p*t = 5*t - 567. Is t smaller than 79?
False
Let q = -21409 + 21410. Is q <= -2281?
False
Let g be 237/(-15) + -3 + (-56)/(-20). Suppose 2*u = -2*w - 28, 0*w + 29 = -2*w - 3*u. Let m = -27 - w. Is g at least m?
False
Let o be 9922/(-6) + -5 + 28/6. Let x be o/(-1260) - (-12)/84. Let h = x + 2/45. Is 1/6 at most h?
True
Let r(x) = -11*x**2 + 2*x + 7. Let l be r(4). Let v = l + 109. Is 2 at least as big as v?
True
Let t = 2 + -24. Let v = -26 - t. Let q be v/18 + (-230)/18 + 1. Is -13 at most q?
True
Let i(a) = 27*a - 41. Let y be i(-6). Let f = 1423/7 + y. Which is bigger: -16 or f?
f
Let m(s) = s - 25. Suppose 3*w - 3*t - 143 = -53, -4*t - 95 = -3*w. Let d be m(w). Which is smaller: d or -45?
-45
Let y be 6552/(-20)*1*(0 + -1). Let k = -322 + y. Which is bigger: 7 or k?
7
Suppose 39*s - 41*s = -66. Suppose s = 4*f + 13. Suppose -5*h - 57 - 48 = f*o, 3*o - 3*h + 33 = 0. Which is bigger: o or -17?
o
Let f(p) = -49*p - 116. Let q be f(-6). Let a = -171 + q. Which is bigger: a or 2?
a
Let p(c) be the first derivative of -20*c + 3*c**2 - 20 + 9 + 104*c - 35. Let j be p(-12). Is j greater than 14?
False
Let x(u) = 5*u**3 + 216*u**2 + 17*u + 82. Let w be x(-43). Is 1200 equal to w?
True
Suppose -2*f + 4*f = -8. Let a be (-144)/27*6/f. Suppose -2*o + g = -4, -o - 3*o = -4*g - a. Which is smaller: -1/3 or o?
-1/3
Let d(h) = -h**3 - 11*h**2 + 38. Let b(i) = i**3 + 7*i**2 - 20*i - 29. Let p be b(-9). Let w be d(p). Are 39 and w unequal?
True
Let r = 3247 - 3344. Is r less than -97?
False
Let p = 49.5432 + -0.5432. Let l = 1.6 - -19.4. Let a = l - p. Which is greater: a or -1?
-1
Let w(i) = i**3 - 29*i**2 + 28*i + 11. Let p be w(28). Suppose -u - 7 = -p. Which is smaller: u or -5?
-5
Let m be (((-1)/2)/(7/14))/(-1). Let o be m + 0/1 + 0. Let k be 2/((-20)/14) - -2. Which is smaller: k or o?
k
Let n be (864/112)/(2/(-28)). Let y = -43 - n. Let j be (-16)/(-104) + (-712)/y. Do j and -11 have different values?
True
Let g(v) = 201*v - 3193. Let z be g(26). Which is smaller: 2031 or z?
2031
Let h = 978912 - 6852385/7. Let w = 1 + -1. Do h and w have the same value?
False
Let k = 19.5 + -14. Let l = -59.5 + k. Let x = 51.8 + l. Which is bigger: x or 2?
2
Let m be (-820)/328*295/(-50). Suppose -4*l - 50 = -4*b - 10, -b + 26 = 3*l. Which is smaller: b or m?
b
Let q(w) = -w**2 - 3*w + 4. Let s(h) = h**2 - 4*h - 3. Let a be s(5). Suppose -a*k - 10 = -2. Let n be q(k). Which is greater: 12/13 or n?
12/13
Suppose 7*f + 3*n + 443 = 5*f, n + 221 = -f. Let t(d) = -3*d**2 - 8*d - 1. Let b be t(-10). Which is bigger: b or f?
f
Let q = -91 + 95.6. Let o = -30 + 24.4. Let y = o + q. Which is smaller: -104 or y?
-104
Let j = 668175008/6605 - 101162. Is 1 less than j?
False
Let l = -258.8 + 267.8. Which is smaller: l or 0.1?
0.1
Suppose 3*o + 5*v - 650 = v, 1102 = 5*o + 2*v. Let x = 177 - o. Which is bigger: -42 or x?
-42
Let t(p) be the third derivative of p**5/60 - 3*p**4/8 + 13*p**3/6 - 11*p**2. Let g be t(8). Suppose 0*l = -g*l - l. Is 3/7 < l?
False
Let y = -26797 - -26784. Let v = -4 - -3. Let r = v - 13. Which is smaller: y or r?
r
Suppose -w - 3*w + 156 = 5*m, 4*m - 78 = -2*w. Suppose -45*i - 490 = -59*i. Is w greater than i?
True
Let n(u) = 360 - 1388 + 336 - 7*u + 383 + 0*u. Let y be n(-44). Is -2/105 at least y?
True
Suppose -4379 - 7061 = -6*v - 5*v. Is 7270/7 >= v?
False
Suppose -5*q - 437 = -157. Let w be (1/(-248))/((-42)/q). Is -1 greater than w?
False
Let f(k) = -2*k**2 + 15*k - 8. Let r be f(5). Suppose 7*b = -r*b. Is 518 >= b?
True
Suppose -54*q - 1156 = -4018. Is 48 >= q?
False
Suppose -2*t + 50 - 30 = 0. Let s be (-155)/25 - -6 - (-102)/t. Let j be 8/5*-41 + (-4)/s. Is j bigger than -66?
False
Suppose -958 = 356*p - 354*p - 3*f, 5*p + 2369 = f. Is -4270/9 bigger than p?
False
Let z = 94244/2563 + -405/11. Is z > 0?
False
Let c = -5191 + 5190. Is c <= 7019?
True
Let z be 1068/(-210)*(25/(-8))/5. Which is smaller: 2 or z?
2
Let c be 2 + -10 + -520 - 10. Is -539 at least as big as c?
False
Let t = -19664 + 28356. Is 1 less than t?
True
Let l = -10.9 + -116.1. Let i = -176 - l. Which is smaller: 0.1 or i?
i
Let y = 69 + -55. Suppose 34 = -6*a - y. Let m be -8*((-30)/a - 4). Are 3 and m unequal?
True
Suppose -4348 = -5*s - 4*y, 3*s - y = 4*s - 869. Suppose -5*n = x - 2173, 20*n + s = 22*n - x. Is n greater than or equal to 435?
True
Let z = -809/322 - -5/2. Let c = -157 + 155. Let p be (2 + -1)/(c + 1). Which is bigger: p or z?
z
Suppose 5*v = p + 55678, 26*v - 87