s?
False
Let h = -123 - -177. Let m be 1 + h/56 - (-6)/21. Is m greater than or equal to 3?
False
Let j = -24420 - -24428. Is 103/13 at most j?
True
Let l = -17 + 21. Suppose 0 = -0*a + a + 3*w - 9, -5*w = -2*a - l. Suppose -k + 6*k + h + 2 = 0, -a*k + 10 = -5*h. Which is smaller: 5/33 or k?
k
Let g(k) = -12*k**2 + 22*k + 122. Let u be g(-7). Is -624 bigger than u?
False
Let w be (316/10)/(10 - (-38)/(-5)). Suppose 5*d = 5*t + 47 + 28, -5*d - 2*t = -61. Does w = d?
False
Let m = 534 - 664. Suppose 19*u = -17*u - 4572. Which is bigger: u or m?
u
Let o be 368 + ((-7)/2 - -2)*2. Let p = 354 - o. Which is greater: p or -43/4?
-43/4
Let h = -516 + 345. Suppose -135*a - 6536 = -97*a. Which is smaller: h or a?
a
Suppose -3*p - 551 = 2*t, 51*p - 48*p = -3*t - 552. Is p less than -165?
True
Let h = -5.91 + -455.09. Let g = h + 432. Which is bigger: g or -1?
-1
Let t(w) = 113*w - 218. Let r be t(-5). Let c be 54/r - 93/(-87). Which is smaller: 21/19 or c?
c
Let p = 619 - 618.15. Suppose 2*b + 5*l + 111 - 25 = 0, 3*b + 129 = l. Let t = -44 - b. Which is bigger: p or t?
p
Let v = -20.35279 + 0.35279. Which is greater: v or -1.7?
-1.7
Let h = 898 - 897. Which is bigger: -43/142 or h?
h
Suppose 10 = 8*z - 6. Suppose 20 + 12 = z*w. Suppose -5*a = -2*v + w, -26 = -v + 2*a - 4*a. Is v less than or equal to 18?
True
Let s be (-8)/(2 + 2) + 0. Let r(n) = 3*n**3 - 19*n**2 + 10*n - 14. Let c be r(6). Let o be s*c - 5/5. Which is greater: o or -20?
-20
Let l be (-6)/21 - (-14)/49*1. Let y be 5 + (96 - l) - 4/(-2). Is y less than or equal to 103?
True
Let s(r) = 34*r + 46*r - 76*r + 73. Let n be s(-18). Which is smaller: 2/133 or n?
2/133
Let y be 87/(-84) + -1 - (-4 + 2)/(-8). Is -0.25 <= y?
False
Let r = -6/161 - -187/5635. Let i = r - 242/735. Is 3.6 >= i?
True
Suppose 0 = -10*j - 55 - 455. Let b = -51 - j. Let m be (b - -22) + 3 - -2. Which is greater: m or 26?
m
Let y = -82.6288 - -22.6288. Let f = -5 + 3. Is y > f?
False
Suppose -23*l + 9*l = 28. Let r(w) = -2*w - 2. Let h be r(l). Do h and 4 have different values?
True
Suppose -4*z = 2*j + 804, -4*z - 128 - 688 = -j. Let l = z - -231. Is l greater than 28?
False
Suppose -3*g + 1 = -j, -4*g + j - 1 = -2. Let w be g - 4/108*-26 - 2. Which is smaller: w or 0?
w
Let s be ((-4)/(-8) - -4)*(-12)/(-27). Let m be s - (2/(-4) + (-5)/10). Suppose 2 + 0 = 2*h. Is m at most as big as h?
False
Let i be (3/9)/((-9)/(-162)). Suppose 0*r + i = -6*r. Which is smaller: -1/502 or r?
r
Let v = -2396/401233 - 6/1849. Let c(s) = s**2 - 2*s + 2. Let g be c(1). Is g greater than or equal to v?
True
Let s = -35946 - -35945.9. Are s and -13.85 unequal?
True
Suppose 599 = f + 4*y, -2*f + 4*y = 5*y - 1170. Is f != 585?
True
Let f = 7 - 3. Suppose 5*t + 2*w - 9 = 0, -3*w + f*w = -3. Suppose s - 7 = 2*h - 52, -t*s + 5*h - 134 = 0. Which is greater: -42 or s?
-42
Suppose 2204 = -5*p - 2*j, 301 = -p - 2*j - 135. Let i be (p/(-117))/(6/(-9)). Suppose 0 = 3*d - d + 14. Which is smaller: i or d?
d
Suppose 3*v - 21 = 4*v. Let s = 109.11 - 0.11. Let x = -110 + s. Which is greater: v or x?
x
Let q = 610863377 - 27460752246691/44954. Let i = q + -1/4732. Which is smaller: 1 or i?
i
Suppose 28 = -33*b + 24 - 29. Let g = 1/4095 - 107/24115. Is b < g?
True
Let v be (-29 + 20)*(1*-2 - -173). Is -1540 at most v?
True
Let d be -97*(-5 + 13 + -6 + -1). Suppose 94 = -j + b, -5*j - 500 = -2*b + 3*b. Which is bigger: d or j?
d
Let h be (427/186172)/(46/(-32)). Are -1 and h non-equal?
True
Suppose -28*h - 1979 = -13907. Is h at most 437?
True
Let r = 106.25 + -125. Let k = r - 0.25. Let q = k - -18. Is -6 > q?
False
Let h = -27 - 31. Let d = -57.67 - h. Let r = 771 + -772. Is d > r?
True
Let u = 0.076 - 17.076. Let n = u + 9.08. Let k = 0.92 + n. Does k = 2/11?
False
Let n = -14830/23 - -645. Let b(s) = -3*s + 6 + 2*s**2 + 7*s + 2*s + 5*s. Let l be b(-5). Which is smaller: l or n?
n
Let q be 0/((-396)/(-22) + -16). Is q not equal to 2/50741?
True
Let y = -0.2 + 0.3. Suppose -d - 33 = 7*q - 3*q, -3*d = 5*q + 113. Is y at least d?
True
Let r(i) be the third derivative of i**5/30 + 13*i**4/6 - 13*i**3/6 - i**2 - 3. Let j be r(-8). Is -302 != j?
True
Let o = -2742 + 268713/98. Is 1 less than or equal to o?
False
Suppose 4*j - b - 17 = 0, j - b - 13 = -2*j. Suppose 0 = 5*l - x - 375, 0 = 4*l + j*x - 94 - 230. Which is smaller: 75 or l?
75
Let q = 0.381 + 28.619. Let z = q - 27. Which is smaller: -12 or z?
-12
Let j = -34.778 + 32.7957. Let w = 0.0177 - j. Does -43 = w?
False
Let m(j) = -7*j**2 + 6*j + 1. Let v(w) = 7*w**2 - 7*w. Let t(q) = 4*m(q) + 3*v(q). Let d be t(-3). Is d smaller than 0?
True
Let p = -10.8 + 10.5. Which is smaller: p or 3/196?
p
Let q(g) = -g**2 - 20*g + 28. Let l be ((-35)/10)/(-1)*-6. Let z be q(l). Let r be z/(28/(-20)) - -13. Is -0.4 less than r?
True
Suppose 12*s = 4*s + 8. Let d be (-4 - -3) + s + (-24)/(-25). Is d at least 1?
False
Let q = 53 - -20. Let l = -421/2 + 283. Which is bigger: l or q?
q
Let l = 1 - 3. Let d be -5 - (4 + 1188/(-30)). Let p = 29 - d. Is p at most as big as l?
False
Suppose 15*w + 13 = 73. Suppose 5*i = h + 88, -w*i = -i + h - 48. Is i smaller than 17?
False
Let m = 716 + -719. Let w be (4/(8/m))/((-342)/96). Which is smaller: 1 or w?
w
Let l be (-1 - 2) + -3 + 6. Suppose -y - 11 - 7 = l. Let j be (2 - 2)*(-6)/y. Are -2/61 and j equal?
False
Let c be (-118)/(-11) - 4 - (6 - -1). Is -265 < c?
True
Suppose 5*l - 35 = 4*b, 0 = -3*b + 7*b + 5*l + 5. Let x(z) = 3*z - 32. Let n be x(2). Which is greater: b or n?
b
Let t = -0.0703736 + -0.0396264. Let o = 5.13 - 0.13. Let q = o - 4.6. Is t smaller than q?
True
Let u be (2 - (-28)/(-16))/((-1)/8). Let v be 1392/9*(-21)/(-140)*u. Is -45 at most as big as v?
False
Let n = -7990 - -5409229/677. Let d = n + 39271/3385. Let z = 1 - -11. Is d at least z?
False
Let g(q) = -4*q - 281. Let w be g(-69). Does w = -37/7?
False
Let v = -567.307 - -0.307. Let h = -395 - v. Which is smaller: h or 0?
0
Let a be (2 - (4 + -3)) + 13. Let v be (4/(-6))/((-4)/a - -2). Let k = v - 1/9. Is k at least -4?
True
Let u = 0.7 + -0.8. Let w = -150 - -132.9. Are w and u equal?
False
Let l = 2 - 12. Let a = -7.9 - l. Let y = 2 - a. Is y at least as big as 13?
False
Let r(f) = f**3 + 36*f**2 + 309*f + 22. Let o be r(-22). Are -4/599 and o unequal?
True
Let q = 8.3 + 1.7. Let t = q + -10. Let p = 3.627 - -1.373. Do p and t have the same value?
False
Let a = -23959/2948 + 375/44. Is a < -1?
False
Let i(y) = -y**2 + 7*y + 12. Let v be i(8). Let p be ((-20)/(-16))/(0 + 1/v). Suppose 0 = -p*b + 7*b + 2. Which is smaller: b or -2/27?
b
Let z = -222 - -181. Let l = -43 - z. Is l at most as big as 12?
True
Let c = -1564183/92 + 17002. Which is smaller: c or -87?
-87
Let h be -14*30/(-350) + (-4)/(-5). Let g be (-100)/96*h - (-1 - 1). Which is bigger: g or -3/4?
g
Let f = -6323292485924/7015 + 901395926. Let v = f + 213/23. Which is greater: 1 or v?
1
Let g be (-2)/6 + 3 + 3040/(-15). Are g and -200 equal?
True
Suppose 35*a + 21283 = -22467. Which is greater: a or 5?
5
Let t(f) = 3*f**2 - 206*f - 358. Let l be t(71). Does 174 = l?
False
Let j = 5892 + -35357/6. Suppose 2*f - 4*f + 22 = 0. Which is greater: f or j?
f
Let g be 3/3*(0 + (2 - 3)). Let w = 3/4484 + -54021/318364. Is g less than w?
True
Let c = 35.938 - 36. Let d = c + -0.358. Is d bigger than 2/11?
False
Let f(k) = -2*k**3 + 27*k**2 + 14*k + 5. Suppose 0 = -28*r + 402 - 10. Let v be f(r). Suppose -5*g + 54 - 18 = -h, 2*g + 5*h = 9. Which is greater: v or g?
g
Let q = 49266 - 49034. Let c(i) = 3*i**3 - 6*i**2 + i + 3. Let j be c(5). Is j < q?
False
Let w(z) = z - 9. Let d be -1 - (-10 + (-3 - -3)). Let t be w(d). Suppose t*p - p = -3*n - 24, -3*n + 5*p - 24 = 0. Which is smaller: n or -13/2?
n
Let t = 4735 - 2078667/439. Which is smaller: t or -1?
-1
Let h be 13398/13456 + 3/(-8). Is h > 2?
False
Let h be (-142)/12 - (-320)/384. Let j = 3 - 16. Is j less than h?
True
Let k = 3637.7 + -3582.77. Which is smaller: k or -3?
-3
Suppose -5*p + 4*q - 2 = q, 5*q = -5. Let f be (p - 8/(-4))*(1 + -2). Let x be (-9)/3 - -3*f/3. Is x <= -6?
False
Let s = -4810 + 4811. Are s and -7/459 unequal?
True
Let m be 41*(0 - 1) - -1. Let f be 13/(65/(-231)) - (2 - 5)*2. Which is greater: f or m?
m
Suppose 9 = 2*u + 7. Let f = 2555/9 - 1024537/3609. Which is bigge