s s <= -1?
False
Suppose -2*h = -5*h + 5*x + 32, -3*h + 3*x + 24 = 0. Let u(g) = -g**3 + 21*g**2 + 67*g + 109. Let w be u(24). Which is smaller: w or h?
w
Let f = -8632 + 8674. Suppose 5*q = 3*z + 175, -3*q + 0*z + 119 = z. Which is bigger: q or f?
f
Let q be 3 - (-9045)/(-2370) - 5/(-6). Is q > 1?
False
Let h = -2470 - -1419. Which is greater: h or -2/5?
-2/5
Suppose 9 + 27 = 12*o. Suppose -9 = 3*j + o*t, -j - 4*j + t + 3 = 0. Which is smaller: j or 18?
j
Let q be (-484)/(-242) + ((-90)/(-8))/(-5). Which is greater: -2719/2 or q?
q
Suppose -6 = 3*r, 0 = -2*o + 5*r - 2*r - 24. Let d be o/(-50)*(-232)/6. Is d < -12?
False
Suppose j + 2 = 4*j - 2*p, 0 = -5*p + 25. Suppose j*h = -h - a + 1052, -h - 2*a + 205 = 0. Which is smaller: h or 210?
210
Suppose -8 + 2 = -3*x. Suppose x*q = -5 + 17. Let g = -7 + q. Which is greater: -2/5 or g?
-2/5
Let z = -8324 - -7249. Is -1 less than z?
False
Let t = -1531 - -1162. Which is smaller: t or -367?
t
Let i(f) = 4*f**2 + 227*f + 169. Let g be i(-56). Is 467 at most g?
False
Let v = 2056.773 - 6.773. Which is bigger: 2/3 or v?
v
Let n be (-2290)/7615*(-86)/16648. Let q = -1/4162 + n. Are 0 and q non-equal?
True
Let a = -427.4 - -383. Let d = -45 - a. Let o = d + 1.6. Which is smaller: 53 or o?
o
Let u be -3*3*2/(-4). Let v be 3 + -1 - (-1 + (-133)/70). Let z = v - u. Is -0.11 at most z?
True
Let f(g) = -g**2 - g**2 - 43 + 42 + 23*g. Let d be f(12). Let p be 7/(-2)*(-3 - d/7). Is p at most as big as 0?
False
Let c = -99 + 99. Suppose -2*j + c + 8 = 0. Suppose -4*z = j*a - 16, z - 3*a = -0*a. Does 9/5 = z?
False
Let s(j) = -j**3 - 24*j**2 - 38*j - 911. Let g be s(-24). Is g greater than or equal to -4/9195?
True
Let p = 1319841/80 - 16498. Let m be (0 - (-2 - -1)) + 0. Which is bigger: m or p?
m
Suppose w - 4*w - 18 = 5*x, 2*x + 5 = w. Let p be 1 - w - (1 - 4). Suppose 0 = -7*c + 2*c + p. Which is bigger: c or 20?
20
Let a = 1.08 - 0.72. Let f = 0.26 - a. Let c be (0 + -4)*35/(-4). Is f less than c?
True
Let m = -0.4 - -43.4. Let w = 1.45 + -51.45. Let a = w + m. Which is smaller: a or -1?
a
Let d = 522 - 413. Suppose d*b = 112*b + 1416. Is -472 greater than or equal to b?
True
Let t be (114/152)/(4 + 5375/(-1340)). Which is smaller: -53 or t?
t
Let z be ((-21 - 13)/(-17))/2. Are -5/373 and z equal?
False
Suppose -65*m - 43*m + 76*m = -512. Let u be (4/(-12))/(1/(-39)). Do m and u have different values?
True
Suppose 217*w = -6 + 134 + 89. Is -9/556 < w?
True
Let y(s) = s**2 - 247*s - 1787. Let r be y(-7). Is -39/4 <= r?
True
Let c be (80/6 - 7) + -36 + 29. Is c less than -100.3?
False
Suppose -2*q - 35 = 5*m, -237*q + 240*q + 15 = 0. Is m >= -104/27?
False
Let m = -83/154 + 5/14. Let s = m - -1/66. Let t = 442 + -4863/11. Is s at most as big as t?
True
Let u(q) = -q**3 - 14*q**2 - 14*q - 28. Let c be u(-13). Let l = 3.61 + -3.6. Let b = l + -0.11. Which is smaller: c or b?
c
Let v be (-35)/7 + 6 - -3. Let z be (2/v)/((-10)/20). Is z greater than or equal to -3/133?
False
Let x(n) = n**2 + n + 1. Let z(y) = -2*y**2 + 6*y - 12. Let c(t) = -3*x(t) - z(t). Let u be (-111)/11 + 66/726. Let s be c(u). Which is smaller: s or -5/7?
s
Let t = -9172516/13 - -705234. Which is smaller: t or 2/7?
t
Suppose 275*b = 261*b - 14. Is b < -1/712?
True
Suppose -5 + 35 = 30*o. Let v be (((-189)/(-45))/(-7))/(o/(-30)). Let k(p) = -p**3 - 4*p**2 - 4*p + 1. Let j be k(-4). Is v <= j?
False
Let b be (-6712)/66 + 1 - 40/60. Let j = b - -101. Let l(v) = 2*v + 9. Let h be l(-5). Which is smaller: j or h?
h
Let t = 123 - -3002. Suppose 0 = -24*c - t + 749. Let m be 49/((-6)/(-4) + -2). Which is greater: m or c?
m
Let v be (-138)/(-30) + 12/5 + -2. Let f = -41 + v. Let h be (-4)/12 - 214/6. Is f >= h?
True
Let p be ((1 - 0) + -1)/1. Suppose -1 = -i - p. Let h = 271/8077 + 3/197. Which is smaller: h or i?
h
Let s be (1 - 18/10)/((-32)/240). Let w(k) = -12*k + s*k - 28 + 27. Let j be w(0). Is j greater than -2/15?
False
Suppose -253 = -9*o + 8. Suppose o*i - 660 = 14*i. Is 44 greater than i?
False
Let v(h) = -5*h**3 + 19*h**2 + 16. Let q be v(4). Which is greater: q or 11/148?
11/148
Let n(o) = 81*o**3 - 408*o**2 + 40*o - 120. Let f be n(5). Suppose 0 = -4*g - 37 - 203. Which is smaller: f or g?
g
Let n be -5 + (10/25 - -5) - 167/280. Is n less than -1?
False
Let z = 1.119 - 0.109. Let w = -0.89 + z. Which is smaller: w or 1?
w
Suppose 364*w = 358*w - 48. Let i be (-3)/(-6) + (-132)/16. Which is smaller: i or w?
w
Let s(z) = -9*z + 75. Let j be s(30). Let x = 172 + j. Suppose 3*n - 4*t = -88, 2*n + 49 = 3*t - 11. Is x bigger than n?
True
Let p(x) = x**3 - 4*x**2 - 15*x - 11. Let m(k) = k**2 - k + 1. Let z(o) = 5*m(o) - p(o). Let d be z(13). Is -530 greater than d?
False
Let w = 94754 - 1231120/13. Is w <= 52?
False
Let t be 110072/56 + (-8)/(-2). Let w = t + -1962. Is 7 < w?
True
Let u be 0/((-4)/(1 - -1)). Let y be (-4)/(-68) + (-1316)/2142. Are y and u equal?
False
Let j = -15712 + 15712.52. Which is bigger: 0.19 or j?
j
Let c be (-11)/(-3) + (-34)/(-3) + -12. Suppose -k + 16 + 6 = 3*h, -4 = -k + c*h. Let u = 0 + 0. Which is smaller: k or u?
u
Let s = -18760/3 - -6254. Which is smaller: -1905 or s?
-1905
Let a = -420.42 + 421. Let g = -0.5 + a. Is 16/7 smaller than g?
False
Let v = -100 + 261. Let k = v - 2414/15. Let p = -2/5 + k. Is 7/6 not equal to p?
True
Let n = 0.19858 + -0.10858. Which is smaller: n or -24.9?
-24.9
Let j(n) = -7*n**3 - 4*n**2 - 4*n - 4. Let l be j(-2). Let y be (-2 - (-24)/6) + -1 + l. Which is bigger: y or 48?
48
Let i(y) = 6*y - 21. Let h be i(20). Let q be (-2)/(-7) - h/(-21). Let o be 12/9 - q/15. Which is smaller: o or 0?
0
Let i be (226800/4326)/12*(-2)/6. Does i = -2?
False
Let x be 140/720*333*(-10 - 0). Is x less than -649?
False
Let y = 18.5 + -15.24. Let x = y - 3.2778. Which is bigger: -0.1 or x?
x
Let b = -10203.8 - -8865. Which is smaller: b or 0?
b
Suppose -2130 = -5*z + 2*c, -3*z - 117 = 3*c - 1395. Let b = z + -4680/11. Which is smaller: -0.3 or b?
-0.3
Let j(v) be the first derivative of 2*v**3/3 + 13*v**2/2 - 5*v + 6. Let o be j(-7). Suppose o*u - 12 = -0*u. Is u not equal to 8?
True
Let s be ((-2)/(-9) + -44*(-175)/504)*22. Which is bigger: 335 or s?
s
Suppose 1634*j = 1624*j - 90. Are j and 657 non-equal?
True
Let m = 43313/72 + -3913/8. Which is smaller: 111 or m?
111
Let b = -664 + 2655/4. Which is smaller: 486 or b?
b
Let x(y) = 66*y**2 + 58*y + 23. Let t be x(7). Is 3663 at least as big as t?
True
Suppose -15*d + 20*d = 0. Suppose d = 4*b + 4*r - 3*r - 7, 0 = b - 2*r - 4. Suppose -5*h - 2*t = -t - 6, -h + b*t = -10. Which is greater: h or 18/17?
h
Let z(y) = 3*y**3 + 5*y**2 + 15*y + 8. Let r(b) = b**3 - b**2 + b + 1. Let u(h) = -2*r(h) + z(h). Let t = 13 + -17. Let o be u(t). Is 10/9 at most as big as o?
True
Let g = 0.202 - 1.032. Let x = g - -1.03. Are x and 5/13 equal?
False
Let q = 519144/5 - 105798. Which is bigger: -1969 or q?
-1969
Let x be -3 + (-3240)/3 + 3 - -2. Let t = x + 663. Let z = 17013/41 + t. Which is smaller: 0 or z?
z
Let p = -8 + 26. Let z be -15 - (1/(-3))/(6/p). Let c be (-2 - z/8) + 0. Which is greater: c or 10?
10
Let c(d) = -4*d**3 + 35*d**2 - 35*d + 3. Let n be c(2). Is n >= 0.201?
True
Let w = -1081/679 - -11/7. Which is smaller: -93/2 or w?
-93/2
Suppose -21*a - 40377 = 10*a + 12*a. Which is bigger: -3759/4 or a?
a
Let m be (3 - (-5 + 9)) + (29 - 1). Let s = -29 + m. Let n be (1/s)/((-54)/(-96)). Which is greater: -3 or n?
n
Suppose 44*x + 284841 = -69*x - 76081. Are -0.2 and x nonequal?
True
Let x = 47 - 40. Suppose -4*t + 5 = 4*v - x, 0 = 4*t - v - 7. Suppose -28 = 5*z - 0*z + 2*s, -3*s - 20 = t*z. Which is smaller: z or -15/4?
z
Let x(i) = -63*i + 35 + 9 - 16 + 24 + 1. Let a be x(5). Is a at most -262?
True
Let s(d) = 9*d - 65. Let w be s(7). Let g be (-340)/(-136)*w/(-7). Is g smaller than 1?
True
Let w = -787 - -799. Let c(x) = x**2 - 10*x + 125. Let q be c(w). Is 146 less than or equal to q?
True
Let v = 38436 - 40619. Which is smaller: v or -2187?
-2187
Suppose 8*k - 29*k + 20539 = 26*k. Is 437 equal to k?
True
Let m be ((-4)/((-20)/5))/(1/(-1)). Let o be (m/10)/(9/(-144))*25. Suppose 6*b = 2*b + o. Is b smaller than 7?
False
Let f = 7909901/231 - 34242. Is f at least -2/41?
True
Let n be (-486)/(-1701) - (-2 + 4670/1008). Which is smaller: -1 or n?
n
S