 h = -2201/8 - -8665329/31496. Let k = -7693/712597 + h. Which is smaller: k or -1?
-1
Suppose 42 = 5*s - 58. Suppose -2*a + s = -6*a. Let d(c) = -c**3 + c**2 - 2. Let t be d(2). Is t bigger than a?
False
Let y be (-8255)/(-600) - 22/165. Which is bigger: 15 or y?
15
Suppose 2*w = 5*h - 0*w - 744, 4*h - 2*w = 594. Are h and 151 equal?
False
Let d be 3*(-4)/12 - -11. Let p be 6/4*(d - -8). Let y = -24 + p. Which is smaller: 1 or y?
1
Let d(m) = m**2 + 59*m + 75. Let h be d(-39). Is h < -703?
True
Let v be 8/(-36)*-33 - (14/(-3) - -4). Suppose -d + 9 - 2 = 0. Suppose -3*r + 10 = 2*l, -2*l + d*l + 50 = 5*r. Which is smaller: r or v?
r
Let o(z) = 390*z**2 - 4*z - 4. Let u be o(-3). Let h = 372905/106 - u. Is h != 1?
True
Suppose 14*f + 135 = -327. Is f at most as big as -37?
False
Let g = -0.02 + 0.42. Let s = g - 0.3. Let k = -8.04 + 0.04. Does s = k?
False
Let w = -139 + 138. Is -2/491 smaller than w?
False
Let x be -1*((-2 - 3) + 3). Is 5 equal to x?
False
Let o be (-171)/(-462) + 18/24. Let b = o + -8/7. Let m be (-2)/3 + 15/(-45). Is b >= m?
True
Suppose -2*a - 4*g + 438 = 0, g + 234 = 3*a - 444. Let h = a + -64. Let i = -1451/9 + h. Are i and -1 nonequal?
True
Let d = 79 - 82. Let p = 999 + 290. Let m = 11587/9 - p. Which is greater: d or m?
m
Let l = 5.2 - -1.4. Let s = -0.4 - l. Let d = 7.1 + s. Which is smaller: -0.02 or d?
-0.02
Let k(i) = -i**3 - i - 11. Let j be k(0). Let o = -23 - j. Let x be -3 + (-2 - 32/o). Which is smaller: x or -2?
x
Suppose -139 + 51 = -8*x. Let o = x + -1. Are 0.2 and o equal?
False
Suppose 30 = j - 4*j. Let f = -57 - -46. Is j <= f?
False
Let b = -106 + 99. Let g be (b + 4 + 0)/62. Which is greater: g or -1?
g
Let j be (-888)/192*8/6. Which is greater: j or -0.01?
-0.01
Suppose -a - 6*a = -175. Which is greater: a or 29?
29
Let q = -0.1567 - -0.1257. Which is greater: -16 or q?
q
Let h be 15704/34 + (-180)/(-1530). Which is bigger: h or 463?
463
Let b = -11841/19 - -623. Suppose -5*q - 5 = -5*a, 10*q - 3*a = 12*q - 8. Is b > q?
False
Let o = -5 - 18. Let z = o - -41. Which is smaller: z or 1?
1
Suppose 0*y + 648 = 4*y. Suppose 10*i - 4*i + y = 0. Does -28 = i?
False
Let q = -1901 - -1901. Is 1874 bigger than q?
True
Let p = 9 + -83/9. Let a = 0.72 + -0.02. Let q = a + 2.3. Which is smaller: q or p?
p
Let l be 2*(-2)/12 - -1. Let o = -9.59 - -0.79. Let p = 8.7 + o. Which is smaller: p or l?
p
Suppose 4 = -9*r + 11*r, -3*g - 2*r + 1 = 0. Is -26/41 bigger than g?
True
Let u = 327.94 + -322. Let b = u + -6. Let h = -2.06 - b. Which is smaller: -0.3 or h?
h
Suppose -g - 60 = -3*g. Let i(u) = -u**2 + 2*u + 44. Let w be i(5). Is g bigger than w?
True
Let u = 6 + -4. Let s be (-2)/(-1 - 13)*u. Suppose 3*o = 22*o + 25*o - 44. Is s > o?
False
Suppose 0 = 148*p - 152*p - 612. Which is greater: p or -152?
-152
Suppose 5*v = 2*v + 7*v. Which is greater: v or -1/1563?
v
Let w be (-27)/(-5) + (-4)/10. Suppose 21*d = 23*d - 12. Let o be ((-240)/42 + d)/(1*-1). Are o and w non-equal?
True
Suppose -3*m + t = 70, m + 6*t + 35 = 4*t. Let q be (7/((-70)/12))/(13/m). Suppose 0*o = 5*o - 5. Which is greater: o or q?
q
Let h be 48/(-42) + (-29068)/(-25508). Which is greater: -1 or h?
h
Let p be 1 - 1/(-1 + 0). Let t be (-14)/(-4)*(-72)/(-18). Let i be (-4)/(-16) - t/(-8). Is p at least as big as i?
True
Let t = 284911/390 - 22351/30. Let r = 230/13 + t. Let i = -1 - -4. Which is smaller: i or r?
i
Let j = -7451/3 - -2447. Let y = j - -37. Let u(m) = -46*m + 236. Let t be u(5). Which is greater: t or y?
t
Let p be 2/5 - (-2662)/(-55). Is p at most as big as -46?
True
Let b = 1.5 - 1.44. Let z = -0.14 - b. Let c = z - -2.2. Which is greater: c or -0.3?
c
Let i(f) = -f**3 - 23*f**2 - 20*f + 45. Let y be i(-22). Are y and 1/16 unequal?
True
Let b be (-2)/(-6) + (-71)/(-3). Suppose -4*f - 36 = 3*t, 5*f = -12*t + 10*t - 24. Let o = t + b. Are 11 and o unequal?
True
Let q = 1068 - 1072. Which is greater: q or -14/5?
-14/5
Suppose 0 = 3*o - 1532 + 140. Which is smaller: o or 467?
o
Let n be 3/(-15) + (-1082)/15. Let z = n + 72. Which is smaller: z or 2.3?
z
Let o = -2.108 + 2.178. Which is smaller: -33 or o?
-33
Let h = 0.014 + 0.506. Is 5 at least h?
True
Let c = 1848 - 1676. Which is smaller: c or 170?
170
Let g = 0.1 + -1.1. Let w = 36.91179 - -0.08821. Which is greater: w or g?
w
Suppose -2*b - 3 = -3*t - b, 4*t + 3*b = -9. Suppose p = 3 - 2. Let i be 3/(564/(-8))*p. Are t and i equal?
False
Let b = 213 - 235. Is -27 > b?
False
Suppose 344 = 4*s - 4*a, 0 = 2*s - a - 0*a - 167. Suppose -71*z - s = -68*z. Which is greater: z or -26?
-26
Suppose -4*w - 4 = -0. Let o be (4/6)/(w/(-6)). Let p be (3 + o*-2)*1. Which is bigger: -6 or p?
p
Let o = -130 + 58. Let f be ((-10)/(-88))/((-6)/o). Are 2 and f equal?
False
Let y = -4 + -20. Let u be ((-1)/2)/(y/(-336)). Is -7 bigger than u?
False
Let x(s) = s**2 + 6*s - 19. Let r be x(-11). Let m be (-46)/r + (-5)/(-30). Is m > 0.1?
False
Let w = 3.2 + -3.22. Which is greater: w or -4.1?
w
Let r(s) = s**3 + 4*s**2 + 2*s - 2. Let b be r(-3). Let g be 2 - (820/24)/b. Let j = -32 - g. Are j and 1 equal?
False
Let m(j) = 7*j**3 + 15*j**2 - 7. Let g(h) = 6*h**3 + 14*h**2 - 6. Let v(s) = 6*g(s) - 5*m(s). Let n be v(-9). Which is bigger: 4 or n?
4
Let y be 15/(-6)*(-632)/(-50). Is -32 at least y?
False
Let p be 172/46 - (-7 + 6 + 5). Is p < 1?
True
Let v = 1401 - 1408. Which is greater: -0.4 or v?
-0.4
Let q be ((-5)/15)/((-2)/(-78)). Let g = 16 + q. Suppose 0 = -6*k + g*k. Which is smaller: -2/5 or k?
-2/5
Let z = 63 + -253/4. Let x = -3 - -5. Suppose x*b = 6*b. Is z less than b?
True
Suppose 130*u = 138*u. Which is bigger: u or -2/131?
u
Let f(s) = s**3 - 6*s**2 - 6*s - 6. Let v be f(7). Let d be 6*v*(-32)/(-24). Let j = -2 + d. Which is smaller: j or 5?
5
Let s = -9514 + 1165. Let z = s + 33211/4. Let a = 949/20 + z. Which is smaller: a or 1?
1
Let a = -479/44 - -45/4. Which is bigger: 2/11 or a?
a
Suppose 4*y = -s + 16, 4*s - 2*y + y = -4. Let u be (-10)/288*10 + 8/36. Is u greater than s?
False
Let i = 693 - 3436/5. Which is smaller: 6 or i?
i
Let y = 120 - 126. Let b be (-20)/(-3)*y/(-12)*-3. Which is greater: -9 or b?
-9
Suppose 251 = -5*z - 194. Are -89 and z non-equal?
False
Let g = 100 + -99. Is 84 less than g?
False
Let r be (-352)/264*249/2. Which is greater: -172 or r?
r
Suppose -5*d + 2*q = 11, 4*d - 3*d + 13 = 4*q. Let h = -8111/26 + 312. Is d != h?
True
Let i(j) = j + 7. Let c be i(-6). Let o be (1 - (-115)/(-90))*3/(-13). Let g = 179/858 + o. Which is bigger: c or g?
c
Let z = 148 - 144. Let b be -5 - (-318)/24 - 1/z. Is b bigger than 7?
True
Suppose -y - 4 = 3*o, 7*o - 11*o + y - 3 = 0. Do 2/415 and o have the same value?
False
Let k = 1/195 + 89/195. Is k greater than -1?
True
Let j(l) = l + 4. Let r be j(0). Suppose -3*n = -5*n + r. Which is bigger: 1.9 or n?
n
Let j = 450 - 449. Is j < 0.7?
False
Let f be 39/(-13) + 2*1. Suppose -y - 4 = -2*u - 2*u, 3 = 2*y + 3*u. Let q = y - 1. Is f >= q?
True
Let h = -3612 - -971626/269. Are -1 and h unequal?
True
Suppose n = -0*n. Let l = -5471/14 - -391. Which is smaller: l or n?
n
Let n be 2/5 - 16/20. Let c = 86 + -170. Let v be 2/(-4) + c/(-200). Which is smaller: v or n?
n
Let n = 22 + -16. Let j = -157.6 + 150.6. Which is smaller: n or j?
j
Let h = 61406/115 - 534. Which is greater: h or 0?
0
Let s be 4 + (-11 - -6 - 112/(-118)). Let q = 4 + -3. Is s > q?
False
Let t = -7.06 - -7.04. Let z be 1/((-10)/2 - -1). Which is bigger: t or z?
t
Suppose -5*d + 7 + 8 = 0. Suppose d = s - 0*s. Suppose 4*l + 0*l + s*w = 1, -2*w = -3*l + 22. Which is smaller: 3 or l?
3
Let a = 53.3 + -53.3. Is 61 smaller than a?
False
Let w(o) = 3*o + 6. Suppose -3 = -2*m - 7. Let u be w(m). Is 1/13 at least u?
True
Let l be -47 + (5 - 12 - -6). Which is smaller: -47 or l?
l
Let h = -9 + -8. Let i = 19 + h. Let u = i - 3. Is 6 less than or equal to u?
False
Suppose -3*b = 12, 7*b = -4*r + 2*b - 16. Which is bigger: r or 4/165?
r
Let m = 6 - 8. Let t = -0.235 - -0.175. Which is smaller: t or m?
m
Suppose 0 = 38*l - 43*l - 15. Is -23/9 smaller than l?
False
Let u be (0 + -1)*(-5336)/24812. Let x = -12183067/11971790 + u. Let l = 1/386 + x. Which is smaller: 1 or l?
l
Let x = -4 - -6. Suppose 0 = 2*q + x*z + 2, -z - 4*z = 4*q + 4. Let t = -369 + 7017/19. Is q <= t?
True
Supp