-3 or n?
n
Let s(i) = -5*i - 3. Let v be s(-4). Let r(b) = 7*b**3 + 2*b - 6. Let k be r(2). Let l = -36 + k. Is l at most v?
False
Let g = -3275388822711/592671352594595 + -288/446960119. Let t = g + 5/1627. Is t less than 1?
True
Let q = -1.33 - -1.23. Let a(f) = 5*f**2 - 2*f + 1. Let d be a(1). Suppose -d*b = -0*b - 32. Which is bigger: b or q?
b
Let l = 302 - 288.1. Let h = -0.067 + 14.067. Let t = h - l. Is 31 <= t?
False
Let k = -319908/169 - -1893. Which is smaller: k or 0?
0
Suppose 3332 + 40290 + 1269 = 53*s. Are s and 2/5 equal?
False
Let s(m) = -m**3 + 29*m**2 - 26*m - 46. Let v be s(28). Let c be 4 - 6/4*v. Which is smaller: c or -2?
c
Suppose 3*v - 11 = -5. Let j be (v - 3) + 4 - -19. Suppose -52*r = -54*r + j. Which is smaller: 45/4 or r?
r
Suppose 10*b - 12*b + 1791 = -a, 3*a = -3*b + 2664. Is b greater than or equal to 894?
False
Let c = 46343 - 46347.8. Are c and -2.7 unequal?
True
Let g(i) = i**2 - i - 2. Let a be g(-1). Suppose 6*v - 18 + 0 = a. Let s be 42/(-245)*50/(-4). Which is bigger: s or v?
v
Let i be (0 + 3)/(36/(-168)). Let b be (12/5)/(i/(-35)). Suppose -159 - 57 = -b*l. Is 36 bigger than l?
False
Let n be (-45)/10*(-160)/30. Let z be (88/n)/(3/18). Let w be (2/(-4))/((-2)/84). Is w equal to z?
False
Suppose 20 = -4*i + 24. Let r be 30/6 + (2 - i) + -2. Suppose r*a - 11 = 3*j, 2*a = j + 2*j + 13. Are a and 5/21 nonequal?
True
Let a be 444/18*108/(-8). Let p = -200 - a. Suppose 0 = p*h - 136*h. Do -1/131 and h have different values?
True
Suppose 5*i + 6*q = 2*q + 40, 2*q = 5*i - 70. Suppose -13*n + 9*n = -12. Suppose 24 = 3*r - 4*l + 3, -l = -n. Does r = i?
False
Let r(h) = 2*h**3 + 6 + 3 - 2 + 14*h**2 - 14*h. Let y be (-23 - -6) + (-1 - 10/(-1)). Let i be r(y). Is -9 less than or equal to i?
True
Suppose -a + 5*a = -12. Let x be a/(-4)*2/33. Let v(u) = -u**3 + 9*u**2 + 8*u - 127. Let k be v(8). Which is bigger: k or x?
k
Let t = -1821 - -1754. Which is bigger: t or -71?
t
Let u = 60543.031 + -60500. Let j = 0.031 - u. Let t = j + 45. Which is bigger: 3/5 or t?
t
Let h = 106/1027 - -4/79. Which is bigger: h or 84.2?
84.2
Let k(h) = -2*h**2 + 2*h + 10. Let p be k(-3). Let z = p + 0. Let j be z/88 - (-17)/68. Which is bigger: -2/5 or j?
j
Let w = 13337 + -13346. Are 362/7 and w unequal?
True
Let q be (-18)/20 - ((-34)/(-4) + -10). Let w(x) = 22*x - 1. Let m be w(1). Let z = -21 + m. Which is bigger: z or q?
q
Let q = -373.9 + 374. Which is greater: -104.63 or q?
q
Suppose 103*g = -3710 + 1087 - 1703. Is -38 smaller than g?
False
Let g = -242 - -512. Suppose -68*z = -73*z + g. Is 52 less than or equal to z?
True
Suppose 0 = -2112*y + 2105*y - 7. Which is bigger: 3/13 or y?
3/13
Let p(s) = -s**2 + 10*s + 2. Let y be p(10). Suppose -4*l = 5*v - 27, 11 = 4*l - v + y. Is 3 equal to l?
True
Let v be (-2)/(-5)*(-30)/(-1). Suppose 0*w = -4*w + v. Suppose 10 = w*y - 4*y. Is y >= 0.1?
False
Let o = 6.164 + 0.036. Let m = 6 - o. Let u = 35/3 - 37/3. Which is greater: m or u?
m
Let q = -2016/425 + 201598/39525. Let l = q + 4/93. Let o = -38.9 - -41. Which is greater: o or l?
o
Let h = -46 - -38. Let b(x) = 8*x + 62. Let z be b(h). Is z smaller than -26/15?
True
Let a(r) = 35*r**3 - r**2 + 4*r - 2. Let p be a(1). Suppose -5*s - k = p, 5*s + 60 = 10*k - 5*k. Which is smaller: s or -15?
-15
Let c be ((-1496)/63)/(-4) - 12/54. Let y(z) = -z + 3. Let x be y(-3). Is x greater than or equal to c?
True
Suppose 0 = -10*a + 104 - 84. Suppose -2*v - a = 0, -2*j = -3*j + 3*v - 19. Which is bigger: -21 or j?
-21
Suppose -4*t + n - 1 = 0, 5*t = 2*t + 3*n - 3. Suppose t = 3*l + 12*l + 210. Let s = -34 + 20. Do l and s have the same value?
True
Suppose -2*s = s + f + 563, -3*f = 15. Let m = s - -200. Do 13 and m have different values?
True
Let m(b) = -b**3 - 10*b**2 - 30*b - 9. Let j be m(-6). Suppose -j + 90 = -7*g. Is g less than or equal to -28/3?
False
Let p = 12693 - 12693. Which is bigger: 2/949 or p?
2/949
Suppose -15 = -4*s - 3. Suppose 0*l + s*l = 6. Let o be (-3 + (-28)/(-8))*(l - 2). Are o and 26 equal?
False
Let h = -1.983 - -2.016. Which is bigger: h or 7/2?
7/2
Let n = 76 + -72. Suppose 3*s + 2*p + 221 = 0, -5*p + 27 = n*s + 317. Let d = -70 - s. Which is greater: 6 or d?
6
Suppose 73 = 6*z - 143. Let a be (-4)/(-3)*z/1560. Is a less than -1/4?
False
Let h be (2 - (-3)/((-12)/4)) + -67. Let m be 5 + h/88*(-166)/(-24). Is m smaller than 3?
True
Let f = 5874 - 1098443/187. Is f less than 0?
True
Let d = -12405 - -12404. Which is smaller: 115/107 or d?
d
Let b = 38 + 69. Let g = b + 26. Which is bigger: g or 132?
g
Let p(s) = -s**2 - s. Let h be p(-1). Let o be (4 - (-8261)/33) + (-2 - 1). Let m = o - 251. Which is greater: m or h?
m
Suppose 24*p = 14*p + 5650. Suppose p = -15*w + 1615. Which is smaller: w or 69?
69
Let m = -120 + 131. Suppose -m*g = -6*g + 130. Suppose 2*a - 27 = 3*a. Which is smaller: a or g?
a
Let w = 3238 + -3237.875. Which is bigger: 4 or w?
4
Let p be -20 + 19 + 3047/5. Let u = 623 - p. Which is smaller: u or 16?
u
Suppose -28*v - 520 = -36*v. Let s = -64 + v. Suppose 2*d + 0 = 5*c + 14, 5 = -2*c + d. Which is greater: s or c?
s
Suppose -91*r - 18*r = 42*r - 2416. Is 19 >= r?
True
Suppose 0 = l - 1 - 7. Let t(f) = f**3 + 17*f**2 - 16*f + 7. Let h be t(-14). Suppose -l*m + h = -m. Are 116 and m unequal?
True
Let z be (-2)/(-20) - 11844/840. Let l be ((-3)/9)/(28/2232*2). Which is smaller: z or l?
z
Suppose -5*c + m = 3*m - 6, -10*m - 10 = 5*c. Which is smaller: 29 or c?
c
Let z be 2*3/2 + 12/(-1). Let q be ((-26)/(-8) - (-10 + 13))*508. Let m = q - 142. Which is greater: m or z?
z
Let p be (-28)/42*(-327)/814. Let x = p - 20/37. Is -1 greater than x?
False
Let k = -224 + 233. Let o be 291/42 + (3 - k). Which is greater: 2 or o?
2
Let a = -23959 - -23982. Is a > 1.5?
True
Suppose -32*m + 9 = -35*m. Let k be (m + 1)*((-9)/(-2) + -5). Which is bigger: k or -7/29?
k
Let b = 10/20927 + -46541698/104635. Is 1/4 greater than b?
True
Let k(h) = 4*h**3 - 52*h**2 - 53*h - 42. Let c be k(14). Is 140/209 != c?
True
Let z be ((-86)/(-51))/((-10)/195) - (-4)/(-34). Suppose 0 = -10*c + 7*c - 99. Is c at least z?
True
Let p be (-3 + (-146)/(-42))*123/(-205). Let i = -28 - -20. Are i and p equal?
False
Let q = -3325 - -3325. Are q and -6/673 unequal?
True
Let h(g) = -6*g + 3 + 7 + g**2 - 4 - 3*g**2. Let p be h(5). Let y be -1 + 10/4 - (-4)/((-168)/3171). Are p and y equal?
True
Suppose -s = -4*g + 36, -76*s + 78*s + 39 = -3*g. Is -0.22 greater than s?
True
Let t = 162.94 + -162.54. Is -1391 less than or equal to t?
True
Let r(q) = q**3 + 10*q**2 - 3*q - 17. Let y be r(-9). Let g be (-8)/(-3)*(y - 247). Which is smaller: -417 or g?
-417
Let l be ((-21)/14)/(((-5)/(-2))/5). Let z(n) = 2*n**2 + 3*n - 1. Let v be z(l). Let a be v/10 + (-1668)/60. Which is bigger: -26 or a?
-26
Let q = -4213 + 6425. Suppose 5*n = -29*p + 28*p - 2197, 0 = -5*n + 4*p - q. Is -440 at least as big as n?
True
Suppose -13 = 2*v - 2*s + 3, 5*v - s = -32. Let x = -9 - v. Let z = 12650/7 - 1810. Which is smaller: x or z?
x
Let c = 2623 + -2619. Let t(p) = 9*p + 6. Let v be t(-4). Let o be v/(-8)*(-112)/(-147). Is o at least c?
False
Suppose 0 = -6031*g + 5986*g + 1665. Which is greater: g or 556/15?
556/15
Let g(y) = -y**2 - 122*y - 2255. Let j be g(-23). Which is smaller: j or 900/41?
900/41
Let o = -285 - -213. Let v be (o/2340)/(132/10). Which is bigger: v or 1?
1
Suppose 9*p = 11*p + 3*f - 16, 3*p = -2*f + 39. Is p != 1/6?
True
Let k be (2 - 3)/(3/144*3). Let q = k + -8. Let n be ((-20)/114 - 0)*q/(-20). Is n less than 0?
True
Let i = -423 - -429. Suppose -4*z + 9 + 15 = 0. Let r = z + 1. Is i equal to r?
False
Let g be (-6)/4*(556/(-180) + 3). Let a(i) = -i**3 + 16*i**2 - 14*i - 21. Let m be a(15). Let y be m/(-4) - 17/10. Which is smaller: g or y?
y
Let o be (5819/22)/(1/(-2)). Let w = o - -8467/16. Let y = -4/17 + -1/68. Is y < w?
True
Let x(b) be the first derivative of -b**2 - 136*b - 179. Let v be x(-39). Is -63 at most v?
True
Let j be 1*3 - (2 + 1). Let o = 125065/2233 - 48/319. Let t = -56 + o. Is t smaller than j?
True
Let h = 19713 - 19712. Which is bigger: h or -26/327?
h
Suppose -19*c + 1873 - 54427 = 0. Is c equal to -2767?
False
Suppose 5*s = 67 - 177. Which is smaller: s or -1404/61?
-1404/61
Let h(w) = -11*w + 127. Let s be h(25). Let 