t l = 17/30 + p. Is l at most -18/7?
False
Let j(a) = -13*a**3 + 13*a**2 - 16*a + 6. Let o(b) = -2*b**3 + b**2 - b. Let y(f) = j(f) - 6*o(f). Let i be y(5). Which is smaller: i or 17?
i
Let h = -320 + 285. Suppose 3*c - 74 - 1 = 0. Suppose -5 = -4*n - c, 115 = -3*v - 2*n. Are v and h non-equal?
False
Let x(z) = 2*z**3 - 6*z**2 - 4*z - 14. Let t be x(6). Let m = 197285 + -4927676/25. Let s = t - m. Is s != -2?
True
Suppose -2*p - 5*w - 324 = 0, 4*p = p - w - 460. Let v = 153 + p. Which is smaller: 10/7 or v?
v
Let b = 1.938 - 1.74. Let k = b + -0.248. Which is smaller: -4 or k?
-4
Let o(g) = 2*g**2 - 50*g - 36. Suppose 6*q - 2*s + 92 = 10*q, 5*s = -10. Let n be o(q). Which is smaller: -83 or n?
n
Suppose -3*f + 4*f - 143 = 5*g, f = 3*g + 151. Let a(y) = -13*y + 175. Let k be a(1). Which is greater: f or k?
f
Let s be ((-77)/(-33))/(-2 + 42/9). Let n(w) = -w. Let k be n(-1). Suppose 0 = -t + 2*t - k. Which is smaller: s or t?
s
Let g = -3567 + 3323. Which is smaller: -4 or g?
g
Let d = -108 + 974/9. Suppose 0 = 3*h - 4 - 2. Suppose 0 = 4*p, 0*f + 2 = -h*f - 5*p. Which is smaller: f or d?
f
Let g = 19103 - 19099. Is g < -8?
False
Let i(v) = -15 - 5*v**3 - 49*v**2 + 24*v + 39*v**2 + 3*v**3. Let c be i(-7). Which is smaller: c or 40/3?
c
Let r = -0.023 + -0.077. Let l(h) = 49*h + 23. Let j be l(-1). Which is bigger: r or j?
r
Let s be (0 - (-2)/8)/(-11 + 465/62). Which is smaller: -4/11 or s?
-4/11
Let y(u) = u**2 + 12*u + 16. Let a be y(-15). Suppose 5*b - a - 9 = 0. Let s = 9 - -4. Which is smaller: b or s?
s
Let u(x) = -19*x**2 - 80*x - 355. Let n be u(-4). Which is greater: -337 or n?
-337
Let m = -1/10175 - 8587697/30525. Is -280 bigger than m?
True
Let z be (8/10)/(5751/135). Let a = 314/9159 - z. Is a <= -1?
False
Let x be 3/2 + 12/(-16). Let c = -7/20 + x. Let m = 594 - 578. Which is smaller: c or m?
c
Let g = -34 - -33. Let v be (g - (-4)/12)*90. Let d = -39 - v. Are d and 19 non-equal?
True
Let q be (-3 - (-568)/4) + (-1 - 0 - 1). Are q and 19 non-equal?
True
Let b = -5023 - -5023.9. Is b at most as big as -1.22?
False
Suppose 3*s = -5*g + 4988, 17*g - 22*g + 5012 = -3*s. Which is greater: 1001 or g?
1001
Let q = -281 + 2540/9. Let m = -951 + 953. Which is bigger: m or q?
m
Let c be (16/(-10) + 1)/((37/(-55))/37). Are c and 58 equal?
False
Suppose -17 = 5*b - 2. Let g(d) = -12*d + 72. Let m be g(10). Let h be (-4)/(-16) - ((-140)/m + -1). Are h and b equal?
False
Let f = 139937/5 + -28002. Which is smaller: -15 or f?
-15
Let b = -0.9 - -7.9. Let d = b - 8. Let a be (-222)/39 + (-30)/(-5). Is a bigger than d?
True
Let k = -170.6 + 348.5. Let d = k - 178. Is -87 greater than or equal to d?
False
Let o = 4612 + -12203. Which is bigger: o or 1?
1
Let p(v) = 2*v**2 + 14*v - 14. Let f be p(-12). Let w = 111 - f. Suppose -2*l + 0*l - 10 = 0, w*n = -4*l - 50. Do n and -7 have the same value?
False
Let s(f) = 4*f**2 + 3*f. Let v be s(-1). Which is smaller: -2363 or v?
-2363
Suppose -431 = -3*j + w, j - 132 = 11*w - 13*w. Let m = j - 221. Is -80 less than or equal to m?
True
Let m = -20834 + 20834. Let t = -2/8021 + 18836/11205337. Is t greater than or equal to m?
True
Let l(f) = f**2 + 3*f - 41. Let a = 277 - 285. Let v be l(a). Is v smaller than 5/36?
True
Let g be 56/98*-2*210/216. Is 182 at most as big as g?
False
Let p(k) be the second derivative of -k**3/6 + 11*k**2/2 + k. Let q be (4/(-7))/((-44)/1386). Let h be p(q). Is h <= -7?
True
Let h be 30/(-25)*3/((-9)/10). Suppose -7*t + 38 + h = 0. Let r be (2 - 38/14) + t/(-21). Is r bigger than -5/21?
False
Let t = 159.962 + 0.038. Let g = t - 161. Let n = -0.4 - -0.4. Is n smaller than g?
False
Let v be (2/(-9))/((-2249406)/2754). Is v > 0?
True
Let f be -14 - 35/(-5 - 2). Let q be 894/f + 4/(-6). Which is smaller: q or -101?
-101
Let h(f) = 3*f**2 - 8*f - 9. Let m be h(4). Suppose m*j - 1250 = 1984. Suppose z + 10*z = -j. Which is smaller: -41 or z?
z
Let p = 9 + 0. Let y be ((-790)/2775)/((-6)/p). Let k = 1/37 - y. Which is smaller: -1 or k?
-1
Suppose 5*g = -2*j + 8, 40*g + 12 = 3*j + 43*g. Let h = 19 + -28. Let c = 14 + h. Is j equal to c?
False
Let i(o) = -33*o - 2014. Let b be i(-61). Which is smaller: -5/1687 or b?
b
Let z be (-847)/(-1155)*(-1908)/8. Is -175 <= z?
True
Let i = 101 - 120. Let w = -22.33 + 0.33. Let u = w - i. Which is greater: -1/9 or u?
-1/9
Let w(h) = 6*h**2 + 21*h + 3. Let q be w(-3). Let p be ((-10)/585)/((-3 - q)/(-36)). Which is bigger: 1 or p?
1
Let z = -2/6657 - 49450/6657. Which is smaller: -8 or z?
-8
Let l = -0.2 + 0.1. Let u = 119.511 - 86.511. Which is smaller: u or l?
l
Let p(n) = 19*n**2 - 12*n. Let r be p(-4). Suppose -2*z - 2*d + 176 = -3*d, 2*d - r = -4*z. Let i be ((-4)/(-6))/(z/55). Which is smaller: 0 or i?
0
Let v be (10/(-4) - -2)/(56/1004528). Do v and -8970 have the same value?
False
Suppose 27*s + 234 = -11*s + 272. Do -2/13011 and s have the same value?
False
Suppose -16*x + 2*b - 78036 = -12*x, -3*x = -5*b + 58499. Is -19514 greater than x?
False
Let a = 1.74 - 1.6. Let d = -1.266 - -1.266. Which is smaller: d or a?
d
Suppose -y + 7*y = -72. Let x be (209/95)/(20/y). Is x greater than or equal to -2?
True
Let j = 766 - -1237. Is 2003 greater than j?
False
Let h be 19 - 11 - (5*(-2)/5)/2. Is 2/41 < h?
True
Suppose 565 - 109 = -8*m. Let i(w) = -2*w + 7. Let s be i(8). Let h be (s - 1)*(m/(-21) + -3). Is 2 smaller than h?
True
Let i be ((0 - -4) + -5)/(51/(-24) - -2). Let p = -2.97 - 0.03. Is i at least p?
True
Let d = 89 + -137. Let y = -90 - d. Let o = y - -42. Which is bigger: 1 or o?
1
Let j(x) = -5 + 3*x**2 - 16*x - 15 + 9*x**2 - x - x**3 - 14. Let z be j(10). Is z greater than -17?
True
Let z(p) = -5*p + 37. Let f be z(6). Suppose -23*c = -f*c - 2432. Are 151 and c nonequal?
True
Let m = 9878 - 7865. Is 2014 != m?
True
Let c = 536581/262350 - 45/22. Are 1 and c nonequal?
True
Let h be 720/233 - (-1)/((-6)/18). Let b = h - 4077/14213. Which is smaller: 1 or b?
b
Let v = -19136 - -19085. Suppose a + 3 + 2 = -2*i, a + 5*i = -17. Suppose a*b + 5*j = -2*b - 250, b + 50 = 5*j. Are b and v nonequal?
True
Let f be -3*31/(-9)*-15. Let d = 126 + f. Is d < -28?
True
Let o = -37 + 312. Let u = o + -275. Is -681 bigger than u?
False
Let l be (-8)/14*(-9 - 688/(-78)). Let k = 160/101 - 57170/35451. Let o = k + l. Is 1 at least as big as o?
True
Let x(f) = -f**2 - 10*f + 3. Let j be x(-10). Suppose -5*i - 5*l - 1400 = -10*i, j*i + l - 824 = 0. Suppose 6*t - i = -0*t. Which is smaller: 0.1 or t?
0.1
Let s = -660306 - -14522119/22. Let w = -7009/2 + 3712. Let l = s + w. Is l greater than or equal to -1?
False
Suppose 11 = 4*v + x, -2*v + 7 = -3*v + 3*x. Suppose v*o - s = -3, -2*s + 3*s - 3 = 4*o. Suppose i + 3 + 5 = o. Is -7 equal to i?
False
Let l(p) be the first derivative of -11*p**3/3 - 7*p**2/2 - 9*p - 4. Let j be l(-2). Let v = -39 - j. Which is bigger: v or 1/10?
1/10
Let w = -3681 - -3711. Let t = 23 + -68/3. Are t and w non-equal?
True
Let g be (-174 - 20)/(26/(-2067)). Is g < 15423?
False
Suppose -3*y = 173*x - 168*x + 2092, -4*x - 1671 = 5*y. Which is bigger: x or -3770/9?
-3770/9
Let k = 28181 + -28186. Is -102/23 at most as big as k?
False
Let h = 5880 - 5947. Which is smaller: -19 or h?
h
Let p(w) = w**2 + 3*w - 2. Let s be p(-3). Let x = -84 - -262. Let h = x - 1600/9. Is s at most as big as h?
True
Suppose w - 8*k + 13*k = 63, -w + 2*k + 42 = 0. Let y be w/84 + 5/(105/1122). Which is bigger: y or -2/5?
y
Let h be ((-7)/(700/8))/(1/(-15)). Let g = 259.9 - 260. Are g and h nonequal?
True
Let a be (18/(-45)*-15 - 6)/(-5). Is -3/299 < a?
True
Let l be (1/((-4)/(-3)))/((-25)/(-100)). Suppose -l*i - 6*c + c = 21, 4*c = 2*i - 8. Are -15 and i equal?
False
Suppose 4 = -c - 1. Let i = c - -6. Let q be (2 - i)/(5/(-30)). Is -8 greater than or equal to q?
False
Let k(n) = 16*n + 337. Let i be k(-21). Which is greater: i or -8/1111?
i
Let v be (-39)/(-104) - 563721/(-744). Let x = 758 - v. Which is bigger: x or 0?
0
Let h = 20.065 + -18.405. Do -0.06 and h have the same value?
False
Suppose -431*y - 27*y + 1 = 1. Is y greater than or equal to -4/17043?
True
Suppose 4*k + 4*h = 32, 5*h + 69 = 109. Which is bigger: k or 21040?
21040
Let v = -9/7904477 + 15643222027/230146752332. Let i = 1/1004 + v. Is i at least 1.2?
False
Let o be 36/24*(-1 + -3). Le