- 43*i - 186. Let v be t(-5). Let o = v + -154. Is o bigger than 73?
True
Suppose 2*b = -29*b - 62. Let v be 17/b*1/(8/32). Which is bigger: -36 or v?
v
Let d = 387 + -338. Suppose 2366 = d*x - 2044. Which is smaller: x or 454/5?
x
Let z = 787 - 816. Let h be z/145 + (-12)/(-10). Which is bigger: h or -2/69?
h
Let v = -14413/3 - -86636561/18033. Is v < 0?
False
Suppose -2*t + 10*r = -24, -5*r - 4 - 20 = 6. Let v = -1 + 0. Is t at most v?
True
Let n = -14.434 - 565.566. Is n at most 0?
True
Let y(u) be the first derivative of -u**3/3 + 11*u**2/2 - 20*u + 5. Let o be y(9). Let s = -14 - o. Which is greater: s or -11?
-11
Suppose 0 = -3*s - 2*s. Let j be 8 - 11/(-3443)*469185. Let d = -1507 + j. Is d >= s?
False
Suppose 50 = -4*s + 18. Suppose -726*q + 722*q = 5948. Let n = q - -7388/5. Which is smaller: n or s?
n
Let l(m) be the first derivative of m**5/60 + m**4/2 + 5*m**3/3 - 6*m**2 - 12. Let b(v) be the second derivative of l(v). Let d be b(-11). Is d equal to -1?
True
Let c(i) = -38*i**2 + 2*i - 1615. Let g be c(0). Which is greater: g or -1618?
g
Let n be (-43)/(-1728) + 1458/19683. Which is bigger: 1 or n?
1
Let z = 0.89 + 0.06. Let r = 0.55 - z. Is -0.35 less than r?
False
Let o(n) = -22*n + 34. Let u be o(-6). Let a = 129 - u. Which is smaller: -38 or a?
-38
Let h = 196 - 232. Suppose -2*p + 4*o - 96 = 0, -o + 25 = 4*o. Is h smaller than p?
False
Let r be (1 - -1) + (-49694)/82. Let z = 604 + r. Let j(y) = -17450*y - 34900. Let x be j(-2). Is z greater than x?
False
Let t = -222.53 + 0.53. Let a = -412 - t. Do a and 1/5 have different values?
True
Let s(o) = -6*o**2 - 2*o - 3. Let f be s(-2). Let c = f + 33. Let a be ((-64)/(-6) - -1) + (-15)/(-45). Is c >= a?
False
Suppose -4*m + 7*m = -315. Let d be (m/12)/(5 - 179/36). Let q be (12/(-7))/(-3*(-5)/d). Is 36 less than q?
False
Let k = 78.61 - 55.8. Let s = -1.91 + k. Let f = -21 + s. Which is bigger: f or 0.13?
0.13
Let v(m) = m - 43. Let n be v(9). Let k = -76 - -145. Suppose -1 + k = -2*p. Is p > n?
False
Suppose -56 = -74*v + 73*v. Let u be 3766/v - (-10)/(-8). Let h be 2*((-50)/u + (-9)/(-12)). Which is bigger: 1 or h?
1
Suppose k - 383 = 4*y, y - 294 = 4*y - 3*k. Let j = y + 99. Suppose 0*u + 6 = -3*s + 5*u, -s + 5*u = 12. Does s = j?
False
Let d be (-14260)/69*(-6)/55. Let q = 35982/1595 - d. Is 0 less than q?
True
Let i be (-88)/132 - (-3)/((-18)/20). Let p be (6 - (-26)/i) + (-163721)/(-18). Let h = p + -9104. Does h = -9?
False
Let u be 2 - 10/36*8. Suppose 4*w - v - 22 = 2*w, 11 = 3*w + 4*v. Let m be 218/28 + -17 + w. Which is smaller: u or m?
u
Suppose 0 = 9*i + 5 - 59. Let w be 1*(-8)/12*(-45)/i. Is -0.06 < w?
True
Let h be (3 - -3)*((-13176)/(-639) - 21). Which is bigger: h or -3?
h
Let s be 33/6 + 2/(-4). Let h = -1 + s. Let w(p) = -p**3 - 8*p**2 - 12*p + 1. Let a be w(-6). Is a less than or equal to h?
True
Suppose 0 = 2*p - 20*p + 18. Let c be 16/(-56) + ((-2)/(-56))/p. Is c < 112?
True
Let u(n) = -n**3 + 82*n**2 - 96*n + 1208. Let y be u(81). Which is bigger: 1 or y?
1
Suppose -44*h = 33970 - 33926. Is h at most -2/96489?
True
Let a = 3.3489 + -0.3489. Let k = 13 - 9. Which is smaller: k or a?
a
Let u = -3846 - -3473. Which is smaller: -372 or u?
u
Suppose -5*s - 2*l = 39 + 52, 0 = 2*s + 2*l + 34. Let i(a) be the second derivative of -a**3/2 - 30*a**2 + a. Let v be i(s). Is 9 greater than v?
True
Let y be (-1)/(-3) - 1/(6/152). Let t = 31 + -15. Let f = t + -41. Is y greater than f?
False
Let n be (-3 + 386)*(689/26 - (-1)/(-2)). Does n = 9959?
False
Let c(m) = 92*m + 1186. Let l be c(-14). Let r be (-604)/(-6) - (0 + 1). Let h = l + r. Which is greater: -2 or h?
-2
Let v = -48 + 30. Let h be 4/4 + -1 + 11. Let o = v + h. Which is greater: -5 or o?
-5
Suppose 2*u - 3*w - 130 = 0, 5*u - 4*w = w + 320. Let n = u + -72. Let h be n/8*(-6)/(-5). Which is smaller: 0.2 or h?
h
Suppose l - 5*b + 2 + 15 = 0, 11 = 2*l + 5*b. Is 0.87 at most as big as l?
False
Suppose 42*a = -97*a + 139. Let t = 6874/4485 - -2/345. Which is smaller: t or a?
a
Let b = 755 + -1052. Is b at most as big as -294?
True
Suppose 2*k + 15*k + 272 = 0. Let o be (5 + (-168)/32)*k/(-3). Is o > -2?
True
Let d(k) = 4*k**3 - 2*k**3 - 10*k - 25 + 25*k**2 - 4*k + 0*k**3. Let q be d(-13). Let w be (28/q)/((-1)/3). Which is smaller: w or -6?
-6
Suppose 4*y + 12 + 2 = 2*v, 2*v + 2*y + 10 = 0. Let k be 0/(-2) + (-6)/(-3) + v. Is k bigger than -7/16?
True
Let i be (-56)/((-168)/(-21))*423/329. Suppose -3292 = y + 3*y. Let u = y + 2444/3. Are i and u non-equal?
True
Let i = 3.55 + 1.45. Let g be 15/(-60) - 406/(-24). Let c = g - 244/15. Which is greater: i or c?
i
Let p be (9/5 - 2)*(-182)/241969. Are 0 and p nonequal?
True
Let r be 116/(-6) + (-2)/3. Let p(a) = -13*a**3 - 3*a + 2. Let i be p(1). Let l = r - i. Are -4 and l unequal?
True
Let m = 8887 + -10178. Which is smaller: m or -2583/2?
-2583/2
Let o = -0.4003 + 1.3003. Is 147 at most o?
False
Suppose -13*b + 10*b + 5*u = 0, -b = 2*u. Is b > -2/13451?
True
Suppose -44*o - 943 = 15*o - 18*o. Suppose -u + 2*u = 1. Let s = u + -25. Which is smaller: o or s?
s
Let c(k) = -k**3 - k**2 + k. Let r(b) = -4*b + 28. Let p(g) = -5*g + 2. Let n be p(-1). Let l be r(n). Let o be c(l). Is o smaller than -6/13?
False
Let t(g) = g**2 + 7*g + 4. Let m be t(-4). Let b(q) = q**2 - 5*q + 3. Let l be b(5). Let f be 8/24 - (m/l)/(-4). Is 0.1 smaller than f?
False
Let a be ((-2)/4)/((-2)/40). Let v(o) = 9*o**2 + a*o**2 - 17 - 3*o - 18*o**2. Let h be v(-7). Is h < 54?
True
Let q be 23751/(-386100) + 2/24. Let w(h) = -4*h. Let g be w(0). Which is smaller: g or q?
g
Suppose 511*h = 485*h - 64 - 508. Suppose -3*n - 12 = -5*u, -6 - 2 = -2*u - 2*n. Suppose -3*s - 69 = u*o, -136 = 5*s - 2*o - 28. Is s bigger than h?
False
Let v be 332/(-3984) - (-10514)/24. Is v less than 428?
False
Let h = 10 + -5. Suppose 11*o - 20*o + 5094 = 0. Let i = o - 561. Are i and h equal?
True
Suppose -2*d + f - 5 = 0, -2*d + 3*f = 15 - 0. Suppose -3*w - 5*v - 27 = d, 3*w + 8*v - 13*v + 27 = 0. Is w less than or equal to -39/5?
True
Suppose 0 = -174*x + 194*x - 9593 + 40813. Let p = -2726921748215/1746884789 - -8/17295889. Let v = p - x. Which is smaller: v or -1?
-1
Let f(m) = m**2 + 36*m + 107. Let u be f(-33). Let k be 63/5 + (-30)/50. Suppose -k*t + u*t + 52 = 0. Is t at most 9?
False
Suppose 26 = 2*a + 11*a. Suppose a*t + 15 = 5*m, 2*t + 5*m = -2*t + 15. Is t greater than 3/103?
False
Let l be ((-210)/(-126) + (-2295)/1375)/(6/(-20)). Which is greater: -1/9 or l?
l
Suppose -13*t + 230 = 10*t. Suppose -4*y + 4 = 4*p, -7*p + t*p - 5*y - 19 = 0. Do -3 and p have the same value?
False
Suppose 28*x - 46*x + 3060 = 0. Let v(b) = -7*b**3 - 4*b**2 - 2*b + 10. Let d be v(-3). Is x less than d?
False
Let u = 3212 - 3212. Is u >= -335?
True
Let z = 2 + -2. Let w be ((-2000)/152 + 13)*((-1760)/(-216) + -8). Is z bigger than w?
True
Let p be -2640 + 1 + 620/(-31). Is p less than or equal to -2661?
False
Let h = -276 - -276.5. Let a = 4/43 + 15/301. Which is smaller: a or h?
a
Suppose -4*l - 3*y + 4 = 0, -2*l + 4*y + 5 = 3*l. Which is bigger: 512 or l?
512
Let o = 24.9291 - -0.0709. Let c = 486/91 + -62/13. Do o and c have the same value?
False
Let c(k) = 0 - 2*k + 8 - 2*k - 8*k. Let o be c(3). Let d be (-2)/1*(-29)/(-2). Is d less than or equal to o?
True
Let a(p) = -14*p + 4. Let z be a(3). Let j be z/4560*(2 + 0 + -1). Which is smaller: -0.2 or j?
-0.2
Let a be (106613/37947)/(0 + (-1 - (-1 + 1))). Which is smaller: -2 or a?
a
Let w be 1 + -2 - 5/(-7). Let t = 39 - 29. Let r = -14 + t. Is w > r?
True
Let c be ((-1)/(-2))/((-4)/176). Let x = 1648.1 + -1463. Let g = x + -185. Which is smaller: g or c?
c
Let i = -70 + -222. Which is smaller: 1 or i?
i
Let x(k) = -k**3 - 2*k**2 + 15*k - 2. Let y be x(-5). Let j(d) = -19*d**2 - 17*d + 8. Let g be j(-6). Let c = -2309/4 - g. Which is greater: c or y?
y
Let j be ((-373 + -53)/((-8)/(-6)))/(18/24). Which is greater: -425 or j?
-425
Suppose -2*l = -2*l - 3*l. Let n be l - (-4 - (-32)/9). Let f = n - 1/9. Which is bigger: -36 or f?
f
Let x(r) = r**3 + 8*r**2 + 2*r + 12. Let c be x(-12). Let y be c/(-18) + (-9)/3. Is 1 >= y?
False
Let g(h) = -2*h**2 + 10*h + 28. Let r be g(8). Let x be -20 - 2/4*(-3 + 7). Which is bigger: x or r?
r
Let j = -204728508/1805 - -113423. Which is sma