g + -18.2. Which is greater: u or -0.2?
u
Suppose -5*l + 9038 + 11088 = -3*s, 0 = -5*s - 35. Is l at most as big as 4020?
False
Let h = -38 - -37. Let k = 5600 - 123281/22. Let u = k + 7/2. Which is bigger: u or h?
u
Let p = 8829 - 8060. Is 768 >= p?
False
Suppose b + 166947 = -2*b - 3*k, -3*b + 3*k = 166977. Let f be (-75)/(-9) + -8 - b/(-108). Let c = -515 - f. Are -1 and c equal?
False
Let b be 1*((-210)/266)/15. Which is smaller: b or -14?
-14
Let w be (5 + (-9 + -7 - -9))/((-93)/(-4)). Which is bigger: -0.02 or w?
-0.02
Let s be 92/8 + 18/36. Which is bigger: s or 184/15?
184/15
Let k be (-93148)/82128 - 2/(-24). Is 1 at least as big as k?
True
Let b = 45 + -40. Suppose s - 12 = -z + 4*z, 4*s + 4*z = 0. Suppose 0 = b*n - s*n + 44. Which is bigger: -0.1 or n?
-0.1
Let a = -2 - -6. Let m be 1/a - (-3)/(-44). Suppose -5*k + 5*b - 123 + 153 = 0, -4*k + 2*b + 12 = 0. Which is greater: m or k?
m
Let a = 3007 + -3176. Which is greater: -170 or a?
a
Let q = -1236 + 1222. Which is smaller: q or 27?
q
Let n = 4 - -200. Suppose -4*o + 924 = 112. Which is greater: o or n?
n
Let k = 847.1 - 847.148. Is k < -2/21?
False
Let u(o) = -14*o - 12. Let y(n) be the third derivative of -5*n**4/24 - 2*n**3/3 - 31*n**2. Let f(g) = 4*u(g) - 11*y(g). Let q be f(-3). Is q smaller than 1/9?
True
Let x(a) = 5*a**2 - 60*a + 5. Let m be x(12). Suppose s + 54 = -3*c - 22, m*c = -5*s - 130. Which is smaller: -24 or c?
c
Let s be ((-104)/12 + 7)*(-24)/20. Suppose 2*q - 4*c + 262 = 4*q, 5*q + s*c - 679 = 0. Is q less than or equal to 139?
True
Suppose -13*q - 29 = -3. Let k be (-11 - -9)*((-29)/(-12) + q). Let t be 1/(0 - (-1 - -2)). Which is smaller: t or k?
t
Let n = -17873 - -27077593/1515. Let f(w) = -w**3 + 6*w**2 - 8*w + 14. Let p be f(5). Which is bigger: p or n?
n
Suppose -82*x + 52 = -86*x + 4*t, -4*t - 65 = 5*x. Let h(a) = -a**3 - 2*a**2 + a - 2. Let v be h(-2). Which is bigger: x or v?
v
Let r be ((-10)/60)/((-292)/(-438684790)). Let w = -250391 - r. Let o = w + 4/73. Is o bigger than 0?
False
Let o(d) = -509*d**2 + 480*d + 1432. Let z be o(-3). Which is smaller: -4588 or z?
z
Suppose -11*u - 932 - 355 = 0. Let c = u + 121. Are 7 and c equal?
False
Suppose 289 = 5*b + 2*i + 18641, 11015 = -3*b - 5*i. Which is smaller: -3671 or b?
-3671
Suppose 5*q = q + 52. Let d(z) = 5*z + 58. Let j be d(-11). Suppose j*r = -11 + 44. Is r less than or equal to q?
True
Suppose 5*n = 2*r - 66, 5*r - 54 = 3*r - n. Suppose 43*c - 41*c - 56 = 0. Is r <= c?
True
Suppose -18 + 2 = 4*a. Let f(m) = m**3 + 3*m**2 - 4*m - 3. Let o be f(a). Let l be 0 + o + 1241/289. Which is smaller: 0 or l?
0
Let j be ((-7165)/15)/(2 - 4 - -5). Let m = -142 - -302. Let n = j + m. Which is smaller: n or 2?
n
Let w = -21277/2111616 - -19/1833. Which is bigger: w or -1?
w
Let z(p) = -95*p + 6. Let a be z(2). Let i = 185 + a. Do 1/127 and i have the same value?
False
Suppose 0 = -8*s + 23 + 9. Let n be (15/(-20))/(18/s). Let z = 13/11 + -158/143. Do n and z have different values?
True
Let q(r) = r**3 - 5*r**2 - 6*r + 6. Let j be q(-4). Let w = j - -131. Is 16 less than w?
True
Let o = 1.9634 - 1.5634. Is o equal to -1/893?
False
Let n = -3119/28210 - 3/806. Let l = -255110 - -255109. Are l and n equal?
False
Let u = 12558 - 37414/3. Is 87 < u?
False
Let j be 435/6*(-4)/5. Let x(u) = 3*u**3 + 91*u**2 + 32*u. Let w be x(-30). Which is bigger: j or w?
j
Let d = -6521059 + 149951395/23. Let u = d - -1432. Is u at least 1/4?
False
Let v be ((-2)/1144)/((-21)/894). Let s be ((-8)/(-28) - (-152)/(-42))/((-1232)/(-72)). Let d = s - v. Which is smaller: d or 0?
d
Let g = 1222 - 1662. Which is smaller: g or -4?
g
Let r = -33733/3 - -11245. Let o = 0.1 - -4.9. Let j = o + -3. Which is bigger: r or j?
j
Let m = -0.186 + -0.014. Let w be (5 - -1)*(-3)/(-6). Suppose -w*c = 4*g - 6, c - 5*c = 3*g - 8. Which is smaller: m or g?
m
Let w be -2*(30/4 + -1). Let u = w - -8. Suppose 83*v - 94*v = 55. Does v = u?
True
Let f(t) = -8*t + 108. Let r be 2/(-1 - -3) - -13. Let s be f(r). Is s bigger than -10?
True
Suppose 6*s - 3*s - 309 = 0. Let m = s + -112. Is -10 greater than m?
False
Let f = -382 - -386. Suppose 4*y - 30 = -y + 2*u, f*u + 12 = 4*y. Is y at least 10?
False
Let t = 170/117 + 46939/468. Let y = 102 - t. Let m = -8.1 + -0.9. Are y and m equal?
False
Suppose 5 - 9 = 4*n. Let z(a) = -46*a - 8. Let f be z(6). Let t = f - -845/3. Is t at most n?
True
Let k be 2*((-21)/(-6) + -6). Let s(w) be the third derivative of w**6/120 + 7*w**5/60 + 5*w**4/24 - 11*w**3/6 - 7*w**2. Let i be s(k). Is i less than 18?
True
Let x be 351520/1029886 - 6/22. Which is bigger: x or 0?
x
Let r(c) = c**2 + 4*c - 9. Let p be r(-6). Let l(s) = 3*s**2 - s**3 - p*s**2 + 3 - s - 3*s**2 + 5*s**2. Let a be l(2). Which is smaller: a or -0.034?
-0.034
Let o be 7 + -5 + (-127590)/(-50) + 7. Which is greater: 2560 or o?
o
Suppose -2541 = -30*z + 1599. Suppose -5*a - 5*v = -660, -4*a + 389 + 174 = -3*v. Do z and a have the same value?
False
Let h be (-2)/(-26) - ((-5238)/13)/(80/600). Which is greater: h or 3020?
h
Let s be (10 + -4)/3 + 9. Let w(f) = 14*f - 131. Let u be w(s). Let l = 28 + -6. Is l at least as big as u?
False
Let v = -184 - 216. Let q = v + 388. Let h be ((-1)/(-4))/(-1)*1. Which is smaller: h or q?
q
Suppose 3*f - 355 = 5*y, -17*y + f = -18*y - 63. Which is smaller: y or -2/5?
y
Let v be -1 - (-1 - -104)/(-1). Let c be (-57 - -29)*(0 - -4)*9/(-10). Does c = v?
False
Let l = 1245/2 + -4360/7. Let v = -0.3 + 0.3. Is l less than or equal to v?
True
Let w(v) = 16*v - 7. Let p be w(8). Let c be 7*13/((-26)/(-34)). Is p equal to c?
False
Let s be (-1705)/(-465) + 1942/(-528). Suppose -r = -2*r + 1. Let f be r + -3*(-8)/(-12). Which is bigger: f or s?
s
Let p be (-4)/20*-5*5. Let j be (p + 0)/35 - (-18)/168. Let v = -2.1 - -2. Is v less than or equal to j?
True
Suppose z - 45 = 3*a, 5*z - 101 - 178 = -3*a. Let h be (z/348)/(30/20). Let n be 0/(1 - 0) + 0. Which is smaller: h or n?
n
Let b(k) be the second derivative of k**5/20 - 2*k**4/3 - k**3/3 + 17*k**2/2 - 38*k - 1. Let y be b(8). Which is smaller: 5/57 or y?
5/57
Let x(a) = -a**3 + a**2 + 6*a + 2. Let y be x(3). Let z(u) = -5*u**2 + 74*u - 407. Let m be z(6). Is m at least y?
False
Let r(f) = -f**3 + 2*f**2 + 15*f + 2. Let j be r(5). Suppose -j*b - b = b. Which is smaller: b or -3/572?
-3/572
Let s(z) = z**3 + 2*z**2 + 1. Let a be s(-2). Suppose 2 = -k - p, -k + a + 5 = -p. Suppose 0 = 2*i + 2*y - 28 + 136, -k*y = 3*i + 164. Are i and -56 nonequal?
False
Let y = 1125980/29 + -38827. Which is smaller: y or -17/5?
-17/5
Let s = 831 + -529. Let t = s + -259. Is t greater than 43?
False
Let s be -8564*5/(-70)*(-28)/8. Which is bigger: s or -2144?
s
Let t be (-15 - -6 - -6)*1. Let z be 51/153*t/2. Let y = -0.13 - 7.87. Which is smaller: y or z?
y
Let n = -209694/7 - -29949. Let t be 0/(-1) - 10260/(-1414). Let x = t + n. Is x equal to 0?
False
Let n = -1196 + 2446. Is n at least 1252?
False
Let u be 45/120 - ((-3842)/(-560) - 3). Let t be 2/(-2) - (-11)/(-5). Let k = u - t. Is k equal to -1?
False
Let w = 6.639 + 12.361. Is -165 less than or equal to w?
True
Let t(k) = -6*k - 62. Let v be t(-10). Let d be ((-12)/(-1833))/(v + 4). Does 1 = d?
False
Let l = -51835/13 - -3985. Which is greater: 0.07 or l?
0.07
Suppose -k - t - 2553 = 0, -2*k - 2931 = -t + 2178. Which is greater: -2555 or k?
k
Let v(k) = -2*k**3 - 10*k**2 + 11. Let y be v(-5). Suppose -t = 4*z, -y*z + 7*z = -4*t. Are z and 1 non-equal?
True
Let t = 66 - 96.4. Let z = t - -21.4. Is z less than 6?
True
Suppose 3*p - 1356 = -2*u, 645 + 278 = 2*p - 5*u. Is p less than 452?
False
Suppose 93*l - 6154 = 542. Are 21 and l non-equal?
True
Let n be (-11)/(-22)*22/51546. Which is bigger: n or 2/3?
2/3
Let m = 45704116/473 + -96626. Which is smaller: 1 or m?
m
Let i = -24580 + 24581. Which is greater: -7/936 or i?
i
Let a be 4/(-88) + 15498/1188. Let f be -164*(-1 + 26/28). Are a and f non-equal?
True
Let j(r) = r**3 + 3*r**2 - 2*r - 2. Let o be j(-1). Suppose -2*p - k - 50 = -5*p, 5*p - o*k = 85. Suppose 0 = 4*a - p - 37. Do 58/5 and a have different values?
True
Let f = 5 - -41. Suppose 2*z + f = -10. Suppose 129*v - 28 = 130*v. Do z and v have the same value?
True
Let g = -5.87887 + -0.12113. Let b be -10 - -6*1/2. Which is smaller: g 