x + -31. Which is smaller: -34/9 or m?
m
Let x = 13.63 + 29.45. Let g = -43 + x. Let s = g - 0.38. Are s and 5 equal?
False
Let h = 1726 + -1783. Which is smaller: h or -58?
-58
Suppose 0 = 5*n - 18 - 27. Suppose 5*h + 28*m + 7 = 27*m, 5*h - 3*m - 1 = 0. Let f be ((n/(-6))/h)/((-3)/(-49)). Is 26 != f?
True
Let t = -23.23 + 22.2. Let l = t - -1.05. Let p = -254 - -1781/7. Which is greater: p or l?
p
Let z = 222.3 + -32.3. Let c = 188 - z. Which is smaller: c or -0.004?
c
Let c = 17551.2 + -17537. Is 0 greater than c?
False
Let n(y) = 2*y + 22. Let i be n(-11). Suppose u = -5*u - i*u. Are 17/27 and u equal?
False
Suppose 89 = -4*u - 295. Suppose 0 = -4*q + 3*m - 407, -13*q - 1254 = 44*m - 40*m. Is q >= u?
False
Suppose 30*t + 4 = 94. Suppose -t*s = -4*m + 574, 5*m + 4*s = 6*m - 150. Is 141 equal to m?
False
Let t(x) = -2*x - 16. Let v be t(-7). Let i(f) = 3*f + 5. Let c be i(v). Which is smaller: 3/11 or c?
c
Let o = 21407 - 21416. Which is bigger: -0.213 or o?
-0.213
Let h = 110.46 + -2.46. Let r = h + -108. Is r <= 12?
True
Suppose -87*l + 72*l + 1935 = 0. Suppose 3*t - 5*h - l = -7*h, -2*t - 3*h = -81. Is t equal to 40?
False
Suppose -c + 1 = -65. Let k be (-237)/(-33) + (-12)/c. Suppose k*h - 31 = 298. Is h less than or equal to 1/3?
False
Let y = -10668.88 + 10669. Is -5 less than or equal to y?
True
Let q be ((-1137)/(-2))/((-58)/40). Let a be (-282)/(-235) - 1966/5. Let i = q - a. Which is smaller: i or 0.1?
i
Let n be ((-78530)/(-25) + 52/65)/((-4)/(-3)). Which is smaller: n or 2358?
n
Let m(w) = -3*w + 9. Let g(b) = -3*b + 9. Let l(h) = 3*g(h) - 2*m(h). Let o be l(-17). Suppose -5*u + o - 60 = 0. Which is smaller: -3/7 or u?
-3/7
Let b be ((-200)/(-100) - (1 + (-12)/(-14)))*-1. Is b at least as big as 4/23?
False
Let n = -5 + -151. Let v = n - -239. Which is smaller: v or -2/5?
-2/5
Let k(y) be the third derivative of y**6/120 - y**5/20 - y**4/24 - y**3/3 + 52*y**2. Let n be k(2). Let g be 92/(-10) + 10/50. Are g and n equal?
False
Suppose 4*t - 3*t = 3*x - 1089, -2*t - 2180 = -4*x. Is -1092 > t?
False
Suppose 4*b - k = -32, -4*k = -3*b - 3 - 8. Let i be 1/5 - b/5. Suppose -2*m = -3*g - i*g - 3, 5*m - 24 = -4*g. Is 3/38 >= g?
False
Let g be 40815/(-9990) + 10/(-12). Does g = -4?
False
Let g be 3/(13353*(-9)/(-18)). Is -1 greater than or equal to g?
False
Suppose 6*x + 2 = -16. Let b be (8/(-6) + 0)/(x/9). Suppose 2*l + 4*d = b*l - 2, -3*d - 5 = 2*l. Is l != 0?
True
Let f = 8721 - 11069. Are f and -2348 non-equal?
False
Suppose -29*n + v + 1917 = -25*n, -474 = -n + 2*v. Suppose -n + 20 = -m. Which is smaller: m or 461?
m
Let y = 80983 + -80974. Let v(m) = -m**3 - 8*m**2 - m - 9. Let x be v(-8). Let a be x/(-3) + 40/6. Is y >= a?
True
Let q = -303 - -514. Let y = q + -212.5. Is 1 > y?
True
Let s = 866342/69 - 456491900/36363. Let x = s - 63/31. Are 1 and x non-equal?
True
Suppose -3*m - 5*z + 374 = 0, -4*m + 4*z + 334 + 154 = 0. Is m >= 128?
False
Let z = -532 - -477. Is z at least -549/10?
False
Let j = 15806 + -15871. Do j and -45 have different values?
True
Let n = -925.9605 - 0.0395. Which is bigger: n or 6?
6
Suppose 36 = -2*f - 0*f. Suppose -6*b + 11*b = 660. Let m be 4/14 - b/168. Which is bigger: f or m?
m
Let q = 80 - 1281/16. Let k(p) = 377 - 57 + 183*p - 247*p. Let t be k(5). Are q and t non-equal?
True
Let u = -276976.33 - -251617.348. Let b = -25385 - u. Let c = b - -26. Which is smaller: c or -0.1?
-0.1
Let v = -0.234 - -0.064. Let r = v + 0.131. Is r less than -2?
False
Let f(r) = -197*r - 2611. Let v be f(-14). Which is greater: v or 156?
156
Let s(b) = b**2 - 11*b + 50. Let x be s(9). Let q(f) = -2*f + 72. Let n be q(x). Which is smaller: 25/3 or n?
n
Let v = -90 + 60. Let r be (23/4*-1)/(v/(-120)). Let k(d) = d - 24. Let g be k(0). Do r and g have the same value?
False
Let z(y) = 41 - 2 - 294*y**2 + 0 + 295*y**2 - 22*y. Let g be z(20). Which is smaller: -6/37 or g?
g
Let f = 22 + -15.7. Let i = f - 48.3. Let k = 42 + i. Which is smaller: 41 or k?
k
Let h(w) = -5*w + 214. Let n be h(35). Let i be (-3*(-14)/147)/(n/28). Which is smaller: i or 1?
i
Let t = 587 + -1122. Let z = t - -541. Is -2 less than or equal to z?
True
Suppose 0 = 3*h + 142 + 284. Let c(j) = 379*j - 9996. Let l be c(26). Do l and h have the same value?
True
Suppose 0 = i + 5*h - 24, -9*i + 5*h = -4*i + 30. Let a be (-4)/(-18) + (-11 - (-11022)/1026). Which is greater: a or i?
a
Let d = -384 + 386. Let y = -19 + 20.4. Are y and d non-equal?
True
Suppose -2*z - 2*z = -4*r - 32, 6 = z + r. Suppose 15 = -g + z. Let w(p) = p**2 + 9*p + 16. Let s be w(g). Is s at most 11?
True
Let b(p) = 8*p**2 + 85*p + 38. Let a be b(-7). Is a at most as big as -2?
True
Let m = -158132 - -2294495321/14510. Is m > 1?
False
Let x = 0.02 - 17.02. Let d = -204 - -513. Let g = -310 + d. Which is bigger: x or g?
g
Let j = 284 - 255.25. Let f = -30 + j. Let x = f + 0.25. Which is greater: -7 or x?
x
Let n = 31 + -26. Suppose 4*o + r - 17 = -0*o, -13 = 4*o - n*r. Suppose 0*f - o*f + f = 0. Which is smaller: f or 1/148?
f
Let s(t) = 280*t + 5214. Let d be s(-46). Which is greater: d or -7667?
d
Let n(m) = -3*m**2 - 3*m + 28. Let z(f) = -16*f**2 - 14*f + 140. Let s(r) = 11*n(r) - 2*z(r). Let u be s(4). Is -8 at most u?
True
Let k = 500 + -709. Let n = 207 + k. Is -42 smaller than n?
True
Let g = 4141 + -3663. Is g > 478?
False
Suppose -p - 36 = -66. Let s be (-1)/6*315/p. Which is smaller: -0.02 or s?
s
Suppose -2*a = -3*g - 176, 3*g - 7*g = -a + 233. Let p = g - -59. Let h be ((-240)/55)/3 + p. Which is greater: -1 or h?
h
Let m = -129 + 215. Suppose 5*n - m = 4*i - 415, -126 = 2*n + 4*i. Let f = 586/9 + n. Which is bigger: 0 or f?
f
Let z = 4198 - 4116. Do z and 81 have the same value?
False
Let b(x) = 2*x**2 - 5 + 5 - x**3 + 11 + 6*x. Suppose 46*l - 42*l = z + 20, 2*z = -l - 4. Let h be b(l). Is -4 equal to h?
False
Let a(j) = j**3 - 23*j**2 + 103*j - 17. Let x be a(17). Is -10/737 >= x?
False
Let u = 38 - 30.6. Let i = u - 4.6. Is i >= 0?
True
Suppose 0 = -58*w + 370 - 138. Suppose 6*i = -w*i + 1810. Which is bigger: 544/3 or i?
544/3
Let s(p) = -15*p - 11. Let a be s(-2). Let n(q) = -q**3 + 3*q**2 + 4*q - 8. Let d be n(4). Let l be ((-54)/d)/((-24)/(-64)). Is a != l?
True
Let b = -178 + 196. Suppose s = -b*r + 13*r - 53, -4*r - 37 = -s. Is -2 != r?
True
Let w(d) = 6*d - 32. Let k(l) = -13*l + 64. Let o(s) = -3*k(s) - 7*w(s). Let a be o(7). Suppose -7*q - a = 10. Is q at most as big as -6?
False
Suppose 5*x - 58490 = 4*y, 2*y = -10 - 0. Is 11694 less than x?
False
Let o = -1273 + 4267/3. Let r = -150 + o. Which is greater: r or 13?
13
Let u(n) be the first derivative of 9*n**3 - n + 13. Let l be u(-1). Let j = -38 + l. Is j bigger than -11?
False
Let p = 5.8765 + -3.8765. Are 813.7 and p unequal?
True
Suppose -2351349 = 3*y + 258*y. Which is bigger: -9008 or y?
-9008
Let t be (0 - (6 + 0)) + (13 - (-6272)/352). Is t at least 25?
False
Let h be 6/(-4)*(-8)/6. Let f = 8 - 4. Let j be 0*f/8 - 2. Is j greater than or equal to h?
False
Let z(c) = -c**2 + 11*c - 9. Let u be z(8). Let n(y) = -2*y - 7. Let k be n(-8). Let t be u/k*12/4. Which is bigger: t or 9?
9
Let w = 72 + -75. Let j be (-56)/6 - 8/12. Let p be ((-84)/j)/((-2)/(-5)). Which is greater: w or p?
p
Let q = 435.4 - 45.2. Let z = -390 + q. Is z smaller than 2?
True
Let m(i) = -i**2 - 18*i - 8. Let k be m(-16). Let p be 1/((-2)/(-46)*(0 - -1)). Is p greater than or equal to k?
False
Suppose -4*n + 18 = -n. Suppose -4*z + 45 = -163. Suppose 5*o = -12 + z. Which is smaller: o or n?
n
Suppose f = -t, 4*t - 3*t + 3*f = 12. Are t and 5/96 non-equal?
True
Suppose -99 = -0*v + 9*v. Let l be -9*-3*(-6)/(-54). Suppose -l*d + 19 = -2*p, -2*p + 3*d - 11 = -p. Are p and v unequal?
True
Let d(v) = -28*v**3 - 2*v**2 + 2*v - 6. Let s be d(3). Let j = s + 34065/44. Which is bigger: 1 or j?
1
Let f be 4 + (-317)/10*108. Let u = f - -3537. Let g = -117 + u. Which is smaller: -1 or g?
-1
Let n = 11/67 + -25716/335. Let u = -77 - n. Let i = -665 + 665. Which is bigger: u or i?
i
Let x be 16/88 + (-22060012)/4213. Let j = 5236 + x. Is 0 bigger than j?
False
Let q = -17066 - -17062.0755. Let m = 0.0755 - q. Let t = -3 - -1. Which is smaller: m or t?
t
Suppose -3*n + 5*d = 1922, -4*n + d + 1423 = 3997. Which is greater: n or -648?
n
Let u = -0.