2 + 20*l**2 + 3. Let c be j(-2). Which is smaller: c or 6?
6
Let r = -3.04 - -0.04. Let m = 6 + r. Let p = m + -3.3. Which is smaller: p or -1?
-1
Let y(r) = -r**3 - 2*r**2 + 3*r - 10. Let w be y(-4). Suppose -5 - 25 = w*z. Let k(b) = -b**2 - 1. Let t be k(2). Which is greater: t or z?
z
Let p = -20/4617 - -192908/4617. Which is bigger: p or 41?
p
Let d = -8342/3 + 2756. Let z = 26 + d. Suppose 3 = -3*o + 2*o + a, -o + 15 = 5*a. Is o at least z?
False
Let o be 7 + 1011/(-15453)*107. Which is smaller: o or -1?
-1
Let g = -8 + 10. Let q = -1791 - -14333/8. Is q at most g?
True
Let d = 5.57 - 5.77. Which is greater: d or 0.86?
0.86
Let f = 0.11 - 0.13. Let a = f + -0.38. Let v = -2.4 - a. Is v equal to -1?
False
Let v = 12.18 - 0.18. Let d = v + 1. Let c = 6.123 - 6.323. Which is smaller: c or d?
c
Let n(i) = 4*i + 15. Let h be n(-4). Let b be (-10)/65 + h + 3246/2847. Is b equal to 0?
False
Let b be 13/(1014/12) + (-3020)/26. Let j = 116 + b. Is -9/16 > j?
False
Let i be 0/((6/3)/(-2)). Suppose -2*l - 2 + 8 = i. Suppose l = -q + 2. Is q greater than -2?
True
Let q = 9 + -14. Let b(c) = c**3 + 16*c**2 + 17*c + 25. Let d be b(-15). Do d and q have different values?
False
Let a be ((-16)/(-56))/((-6)/(-21)). Which is bigger: -21/47 or a?
a
Suppose -48*m - 7932 = 9204. Which is smaller: -356 or m?
m
Let y = 575043/463 - 1242. Is y at most as big as -1?
False
Let g = 848 - 477. Which is smaller: 370 or g?
370
Let u be ((-4)/8)/((-6)/12). Is u != -0.1?
True
Let f = -0.0197 - 68.9803. Is -3 bigger than f?
True
Let r = -104 + 104.1. Which is greater: -33 or r?
r
Let l = 169 - 176.7. Is -2 bigger than l?
True
Let j = 201 + -196.4. Is j at most -2/5?
False
Suppose 0 = 2*b + 8*b + 110. Is 7 <= b?
False
Let g = -2 - -6. Let s be ((-6)/(-4))/3*g. Let k(p) = -p + 2. Let r be k(s). Which is smaller: r or -3/4?
-3/4
Suppose 2*h = z + 4*h + 7, z + 4 = -h. Is -1/223 smaller than z?
False
Let f(g) = -g**2 + 19*g - 14. Let m be f(18). Are -15 and m nonequal?
True
Let t = 122 + -457. Which is bigger: -333 or t?
-333
Let b(z) = 20*z**2 - 3*z + 3. Let w be b(2). Suppose -2*o = 3*d + 384 + w, -931 = 4*o - 3*d. Let c = o - -933/4. Which is smaller: 1 or c?
1
Suppose 0 = -0*o + o. Let u be (-1372)/6834 - (-1)/3. Let g = u - 1/67. Which is smaller: o or g?
o
Suppose -n - 4*q = 20, 0 = -n + q + 3 + 2. Suppose 5*g - 2*g - 4*c - 85 = n, 4*g = -c + 126. Let w = 30 - g. Which is bigger: 0 or w?
0
Let v be 72/54*(-1 + (-61)/2). Let c be ((-3)/7 - 46/v)*3. Which is greater: 15/7 or c?
15/7
Let z be (-2 - -4) + 0 + 2. Suppose d - 6 = z*d. Let g = -254 - -256. Is g bigger than d?
True
Let c = 87.94 + 17.16. Let j = c + -114. Let a = -9 - j. Is 1/5 not equal to a?
True
Let d be 13 - (-2 - (-1 + 4)). Suppose -21*f + 6 = -d*f. Let b be 2/(-3) - (-114)/63. Is f at least b?
True
Let u(r) = -r**2 - 10*r - 19. Let c be u(-7). Is c >= 1?
True
Suppose -4*n - 12*p + 11*p = -11, 3*n - 5*p - 14 = 0. Is n less than 3?
False
Let w(o) = -o**3 - 9*o**2 + 10*o + 3. Let d be w(-10). Let i be (2/d)/((-35)/15). Suppose c + 1 - 2 = 0. Do c and i have the same value?
False
Let z be 466/2563 - 4/22. Suppose -4*x - 13 + 1 = 0. Which is greater: x or z?
z
Let p be (-33)/(-9)*(-8 + 3). Which is smaller: p or -19?
-19
Suppose b + 3 = 4*g, -g - b - 115 = -112. Let r = -269/12 - -42511/1896. Let y = 2477/10744 + r. Which is smaller: g or y?
g
Suppose 5*p = -5*h - 25, -p + 4*p - 41 = 4*h. Which is bigger: -27/4 or h?
-27/4
Let b be (11906/(-27) - 2)*96/(-45). Let z = b + -945. Is -1 greater than or equal to z?
False
Let x be (-3)/(-21)*((-40)/(-5) + -1). Which is smaller: x or 3?
x
Let i = 16 + -13.75. Let k = 0.25 + i. Let v = k + -1.5. Are -1 and v non-equal?
True
Let z = 1.2 + 13.8. Let r = -22 + z. Let f = 1.028 - 0.028. Are r and f equal?
False
Suppose 3*g + 267 = -3*y, 10*y - 12*y - g = 180. Which is bigger: y or -92?
y
Let x = -4 - -6. Let z be ((-96)/x)/(9/(-2)). Is z at least as big as 12?
False
Let y = -1.4 - -68.4. Let g = 69 - y. Is g smaller than 7/6?
False
Let t = -195 + 181.1. Let u = -14 - t. Which is greater: u or 8/5?
8/5
Suppose -6*c = 13*c - 152. Which is greater: c or 26?
26
Suppose 11*d - 6*d = 35. Which is smaller: 5 or d?
5
Suppose 8*j - 560 = 3*j. Suppose -8*z = -z - j. Let r = -17 + z. Is r > -1?
False
Let f be (0 - 12/16)*-4. Let a = f + 0. Suppose l = b - 2, 0*l - a*b = -2*l - 6. Is l > -1?
True
Let w = 363 + -362.95. Are w and -15 unequal?
True
Let n = 373/216 - -4/27. Which is smaller: 3 or n?
n
Let j = 30 + -27.9. Let t = -3.9 - j. Let g = t - -5.9. Which is bigger: -15 or g?
g
Let x = 507/5 - 4311/40. Let z be (-8)/6*828/184. Which is greater: z or x?
z
Let m be (-1)/(993/(-333) - -1*3). Let b = m + 58. Let a(v) = -4*v**3 + v. Let k be a(-1). Are b and k unequal?
True
Suppose -382*m + 341*m = 41. Which is smaller: -5.58 or m?
-5.58
Let r(k) = -k**3 + 10*k - 5. Let v be r(-5). Let c be ((-28)/v)/((-69)/(-5)). Which is smaller: c or 0.1?
c
Let j = -10 + 18. Let h be (-1)/((-1)/j + 0). Let l(p) = -p**2 - 8*p + 16. Let u be l(-9). Which is smaller: u or h?
u
Let q = 8 - 19. Let i = -2 + 0. Let p = q - i. Is -9 != p?
False
Let z = 3 + -2. Let t = 37 - 25. Let l be (t/21)/(-2 + 0). Which is greater: z or l?
z
Suppose -2*a = -6*a - 8*h + 3320, 3*a - 2505 = -3*h. Do 841 and a have different values?
True
Let q = 21 - -48. Let f = -69.47 + q. Which is smaller: f or -1/4?
f
Let k = -41 - -41.05. Let o = 1.45 - k. Which is bigger: 2 or o?
2
Let i be ((-76)/266)/((-2)/7). Which is smaller: i or -42/95?
-42/95
Suppose 0 = 5*i - 15. Suppose -i*q + 6*q = 15. Suppose -5*p + 65 = -4*b, 18 = -q*b - 2*p - 22. Are -9 and b unequal?
True
Let b(x) = 7*x + 0*x - 4*x + x**2. Let w be b(-5). Is 10 less than w?
False
Let k = -29/210 - 1/10. Which is smaller: -1 or k?
-1
Let u be (-4 - (-2)/2)/(-5 - -2). Let z be (1 - (4 + -3))*u. Suppose 3 = -2*n - 5*o, -o = -2*n + 3*o + 6. Which is smaller: z or n?
z
Let o = -10 + 9.7. Let p = o + 0.27. Is p at most as big as 0.1?
True
Suppose 0 = 5*o - 0*v + v - 252, -5*o - 3*v = -246. Suppose 0 = -15*k - 164 + 500 + 444. Which is bigger: k or o?
k
Let k be 10/(-40)*((-86)/(-102) + -1). Let x = 1/1275 + k. Do -1 and x have different values?
True
Let c be (1 - 4) + 2 - 4. Let b(p) = 2*p**2 + 6*p - 5. Let j be b(c). Suppose 10*v + 5 = j*v. Which is smaller: 8/11 or v?
8/11
Let s = -33 + 48. Let b be s/6*(-2 - 446/(-220)). Which is smaller: 0 or b?
0
Suppose -x = 2*o - 5*o - 12, -4*o - 51 = -3*x. Let u be ((-2)/2)/(33 - x). Which is bigger: 1 or u?
1
Suppose -2*v + 11 = -c, 5*v = 25*c - 22*c + 28. Which is smaller: c or -3/956?
c
Let u be (92/6)/(18/(-27)). Let s = u - -7. Let p = 9 + s. Is -9 greater than or equal to p?
False
Let h = 258 - 599. Let k = 287/1976 - -1347799/3952. Let q = h + k. Which is greater: q or 1?
1
Let n(f) = f**3 + 6*f**2 - 23*f + 10. Let q be n(-9). Which is bigger: q or -27?
q
Suppose 4*a + 4 = 4*f, 4*f + 6 = -4*a + 34. Suppose -f*j - 4*b = 4, b = -j - b - 4. Is 4/5 greater than or equal to j?
False
Let d = 23 - 13. Let n = -5 + d. Let z = n + -7. Which is bigger: z or 3?
3
Let s be (-2)/(-1*4/26). Let y be (2 + -4)/((-34)/221). Is y greater than s?
False
Suppose t = -q + 2, 0 = -q + 2*t - t + 6. Let i be q/10 - (-248)/80. Suppose 6*s - 20 = 2*s. Is s < i?
False
Let b be 554/(-6) + (2 - 5/3). Is b >= -92?
True
Suppose -o = g, 0 = -0*o - 5*o - 3*g + 8. Let f be o + ((-138)/13)/3. Which is greater: f or 0?
f
Suppose 21*g = -21*g - 3528. Is -169/2 greater than or equal to g?
False
Let q be 1/(1/(-3)) + 42. Let g = q - 36. Is 3 at most as big as g?
True
Suppose 2*l = 5*m + 69, -3 = -4*l + 3*m + 114. Suppose -27 = -9*p + l. Is p less than 6?
False
Suppose 15*z = 7289 + 2341. Which is greater: -0.2 or z?
z
Let b = 9/2 - -13/6. Which is smaller: -3 or b?
-3
Let c = 297 + -295. Which is smaller: 21/19 or c?
21/19
Let k = -1019583/49432 - -6/6179. Which is bigger: k or -21?
k
Let t(a) = -4*a - 89. Let q be t(-21). Which is smaller: -53/12 or q?
q
Suppose -5*q = -2*b + 5, 0 = -4*b - 2*q - 1 - 1. Let f(k) = 2*k**2 - k. Let v be f(1). Suppose m = 4*w + 1, 2*w - v = 2*m - 3*w. Is b greater than m?
True
Let j be 1/((-21)/6) + (-124)/(-385). Let a = 96/385 + j. Which is smaller: -4/13 or a?
-4/13
Let h(l) = -l**2 + 14*l - 49. Let i be h(6). Which is greater