se 3*g + 3 - 6 = 0. Let l be ((-3)/6)/(g/2). Which is greater: l or z?
l
Let j be (5/(-5)*2)/(-1 + 2). Let k be ((-1)/j - -1)/12. Which is greater: k or -1?
k
Let k(l) = -l + 3 + 11 + 0. Let q be k(12). Let t be (-21)/30 + q/5. Which is smaller: t or -1?
-1
Let k be -8*(-6)/32*(-142)/(-3). Is k less than 68?
False
Let g = -93 + 95. Which is bigger: g or 9/11?
g
Let h be 63/105*10/6. Which is smaller: 26.9 or h?
h
Let p be -1*(2 + -6) - (-40824)/(-10276). Is p smaller than 0?
False
Suppose y - 3*y + 2*j + 4 = 0, j + 6 = 2*y. Let b = -12 - -12. Which is greater: y or b?
y
Suppose -r = 4*r - f - 54, -r + 4*f = -7. Suppose 0 = r*v - 4*v + 308. Which is bigger: v or -45?
v
Let l be ((-2)/(-18)*93)/((-3)/(-9)). Suppose 9 - l = -2*d. Which is smaller: 13 or d?
d
Let n = 339.9 - 340. Which is smaller: -0.0898 or n?
n
Let a be 8996/(-91812) + 5/((-105)/(-2)). Is 0 greater than a?
True
Let i = -10346 + 10352. Let m = -3 + 3.07. Is m at least i?
False
Let x(p) = -8*p + 51. Let h be x(7). Which is greater: 23 or h?
23
Let q be (-3 + 3 + 0)/1. Let i(y) = y**2 - 10*y + 12. Let h be (-54)/(-6) - (1 - 1). Let b be i(h). Which is smaller: q or b?
q
Let g = 58 + 213. Which is bigger: 2 or g?
g
Let q = 28 + -14. Let o = -1368 + 1369. Which is greater: o or q?
q
Let v be (-3)/(-14)*(-14)/(-8). Suppose -20 = 6*j - 16*j. Suppose -3*d + 4*o = -12, 2*o + j = -5*d - 4. Is v greater than or equal to d?
True
Let v = -2 - -2. Let a = 4831107359/21291 - 680725/3. Let i = 8/151 - a. Which is smaller: v or i?
i
Let q = -2 - -2.1. Let k = -34 + 33.75. Let i = k - -0.29. Is q <= i?
False
Suppose 0 = -19*w - 344 - 359. Are -31 and w non-equal?
True
Suppose c = -c + 232. Let n = -431057/3720 - -1/1860. Let k = n + c. Which is smaller: -1 or k?
-1
Suppose -17*f - d + 306 = -15*f, 142 = f - 5*d. Which is smaller: 151 or f?
151
Let a = 25 - 20. Let f(x) = -x**3 + 4*x**2 + 7*x - 3. Let s be f(a). Which is greater: 6 or s?
s
Let c be (-51)/(-7) + 11/((-385)/10). Suppose 8*b - 150 = 3*b. Suppose -4*p + b = p. Which is smaller: c or p?
p
Let h be ((-3)/4)/(119/(-14) + 7). Which is smaller: h or 1?
h
Suppose -5*w = -w. Suppose -b - b = w. Suppose b = 2*l - 6, 2*a = -0*a - 3*l + 11. Which is smaller: a or 2?
a
Let x be 10 + -10 + 4/(-22). Let p = x + -38/33. Let t = p + 11/6. Are t and 1 equal?
False
Let d = -93 + 63. Let n = -2428/81 - d. Is n bigger than -1?
True
Let n(u) = -16*u + 105. Let l be n(33). Which is smaller: l or -421?
l
Let y = 5.46 - 11. Let c = -0.54 - y. Is -3 > c?
False
Let n = 48 + -50. Let x be (26 + n)/(15/10). Is x >= 17?
False
Let m be 11 - (17862/60)/13. Is m at least as big as -13?
True
Suppose -5*x + 5*g + 4 = 4*g, 0 = -2*x + 5*g - 3. Let b = -3/16 + 73/48. Is b less than x?
False
Let w be ((0/2)/2)/3. Let s be (w - (-9)/(-6))/(1695/20). Which is bigger: 1 or s?
1
Let u = -287.6 + 287.3. Let t = -0.5 + 5.5. Are t and u unequal?
True
Let c be 120/52*4/6. Let x = c - 34/39. Which is bigger: x or 2?
2
Let s(y) be the third derivative of y**6/120 - 7*y**5/60 + 5*y**4/24 - y**3/3 + y**2. Let a be s(3). Is a at least -20?
False
Let d(y) = y**2 - y + 2. Let c be d(-3). Suppose -403 = -a + c*a. Which is smaller: -30 or a?
a
Let z = 461 + -487.9. Let l = z - -27. Is l at least 0.22?
False
Let n be (2 - -2)/(199/(-4)). Let a = n - 15641/995. Let u = a - -16. Which is smaller: u or 1?
u
Let o be (-6)/(-16) - (-55142)/1264. Is o < 2?
False
Let c be (1/174)/(1/(-2)). Suppose 4*s = 6*q - 2*q - 8, -4*q - 5*s - 19 = 0. Which is bigger: q or c?
c
Suppose -121 - 85 = -2*d. Let u = d + -84. Which is greater: 91/5 or u?
u
Let s = 209 - 210. Let t = 73/360 + -5/72. Is s less than t?
True
Let n = -1259 + 1117. Which is smaller: n or -143?
-143
Let n be 1/5 + (-1)/5. Let y be (7 + (-1030)/150)/((-102)/(-10)). Which is bigger: n or y?
y
Let g = 53 - 40. Let b be (-4)/g*(-9)/6. Which is smaller: b or -1?
-1
Let m be ((-15)/2)/((-2)/(-4)). Suppose 500 = -253*b - 2789. Which is bigger: b or m?
b
Let h = 31 + 15. Let k = 45.9 - h. Which is bigger: 13 or k?
13
Let w = 89/3 - 29. Let d = -201 - -196. Which is bigger: w or d?
w
Let t be 15 + -13 - -1*2. Suppose 8*n - 4*n - 116 = -t*b, 119 = 3*b - 5*n. Let i be (-2)/(-11) - 17/b. Are i and 0.05 nonequal?
True
Let v be (-1)/(((-33)/6)/11). Let x be (-8)/((-1792)/(-872)) + 8/v. Is 1 at least x?
True
Let c(v) = -3*v + 9. Let b be c(9). Let y = b - -5. Suppose 54 = 7*w + 138. Do y and w have the same value?
False
Suppose -6 = -3*p, -24 = 5*i - 2*p + 5. Is -18 greater than or equal to i?
False
Let v be 612/(-2) - (-1 + 1). Let r be 2 + v/75 + 2. Let c = 41 - 40. Which is greater: r or c?
c
Let k be (-20)/(-5) + (60 - 0). Let g = k + -56. Which is bigger: 3 or g?
g
Suppose 0*d + 49 = 3*p - 2*d, -p = 2*d - 19. Is p bigger than 14?
True
Let l = 41 + -44. Let a be (-3 - 76/(-14)) + l. Is 1 bigger than a?
True
Let i = 6433/3 - 2173. Let c be (-3708)/126 + 4/(-7). Which is smaller: c or i?
c
Let a = -37 - -17. Let z = 37 + -16. Let c = a + z. Which is smaller: c or 1/20?
1/20
Suppose 2*s + 4 = 3*s. Let k be (-5 + 1)/s - -1. Suppose -3*w + w = k. Is -3 at least as big as w?
False
Let r be 0/(8/26*468/72). Which is smaller: -691 or r?
-691
Let f be (-3)/(-15)*6590/(-8). Suppose 2*n + h - 336 = -10, -3*n + 2*h + 496 = 0. Let o = n + f. Which is smaller: o or 0?
o
Let o be 31 + -29 - 660/334. Is o < 1?
True
Let o = -1.2 - -1.1. Let n = 1 + o. Which is smaller: -0.1 or n?
-0.1
Suppose -3*j - 19 = -3*b + 59, 2*j + b = -46. Is 1 at least as big as j?
True
Let i = -204 + 303. Let w be (1 + i/(-102))*-4. Let s = 7 - 8. Which is bigger: w or s?
w
Let o = 41 - 32. Suppose 5*z - 3*z = g + 61, z = g + 31. Let v = z + -21. Are v and o nonequal?
False
Let o(a) = -2*a**3 - a + 3. Let h be o(3). Let f = h + 58. Is f at least as big as 23/5?
False
Let a = -999 - -3997/4. Which is smaller: 13 or a?
a
Let i be 1/((1 - 1) + -1). Let t = 4 + 1. Suppose 6*y + t = -7. Which is bigger: y or i?
i
Let d = 17 - 63. Let f = d - -12. Let l = f - -18. Which is greater: l or -15?
-15
Let t(w) = 2*w**2 + 3. Let z be (-6)/4 - (-9)/(-6). Let s be t(z). Let g be 3 - 1/(s/69). Do g and -33 have different values?
True
Suppose b = -16 - 6. Let z = 10 + b. Let s = z - -13. Which is smaller: 1/6 or s?
1/6
Let j = 26261/5 - 5278. Is -27 <= j?
True
Let z(r) = 3*r - 25. Let w be z(6). Let n(u) = u**2 - 13*u + 16. Let j be n(11). Do j and w have different values?
True
Let u(y) = -y**3 - 4*y**2 - 11*y - 9. Let f be u(-3). Which is smaller: f or 14?
14
Let m = -5 - -4.92. Let w = -2.92 + 4. Let t = w + m. Is 1 greater than or equal to t?
True
Let x(c) be the first derivative of c**2/2 - c - 38. Let f be x(-7). Which is greater: -16 or f?
f
Let l = 337.9 - 338. Does 316 = l?
False
Let u(r) = r**3 - 9*r**2 - 11*r + 12. Let l be u(10). Suppose l - 20 = -3*n. Suppose -8*m + n = -7*m. Do m and 7 have the same value?
False
Let m = 4.44 - 0.34. Let z = m - 4. Let u = 46.9 - 47. Is u bigger than z?
False
Suppose -622*k = -616*k + 132. Which is greater: k or 8?
8
Let l = 1/166 + -687/3818. Which is smaller: -0.02 or l?
l
Let m(z) = -2*z**3 - 4*z**2 + z + 3. Let u be m(-4). Let w be 455/u + (-2)/9. Suppose 8 = 5*d - w. Are d and 3 unequal?
False
Let m be (286/55)/(4/10). Let o = -3 - m. Which is smaller: o or -17?
-17
Let q = 3 + -5. Let c be (-102)/q*126/98. Let u = c - 66. Which is greater: 0 or u?
0
Let i = 2/13511 - -3364229/67555. Which is greater: i or 50?
50
Let o = 1356/13 - 29914/299. Which is bigger: 0.1 or o?
o
Let w be (325/(-104))/5*(-4)/10. Which is bigger: 6 or w?
6
Let x = -6 + 2. Let i = x + 2.9. Let d = 8.9 - i. Is d less than or equal to -1?
False
Let n(o) = -o**2 + 16*o + 4. Let q be n(18). Let i = 166/3 - 55. Is q smaller than i?
True
Let q = 26.81 + -27. Let g = q - -0.39. Is g at least as big as -0.02?
True
Let k(p) = -141*p + 7. Let n be k(13). Let z = n - -49312/27. Let s = z + -113/378. Which is smaller: s or 0.2?
s
Let l = 1.6 + -0.9. Let u = l - 2.6. Let a = u - -0.9. Which is bigger: 0.7 or a?
0.7
Let b = -186/65 + 12/5. Which is smaller: 1 or b?
b
Let s be ((-5)/7)/((-189)/(-21) + 57/(-7)). Let w(k) = k**2 + 4*k**2 - 2 - 4*k**2 - k**3. Let h be w(0). Is h less than s?
True
Let v = 1 + -51. Let t = 50.1 + v. Let u = -1 + 1.3. Which is greater: u or t?
u
Let c = -1165/4 - -60