)*-11. Which is bigger: l or 30?
l
Let k = 224 + -404. Which is greater: -179 or k?
-179
Let y = -5 + 6. Let b be 3*(76/(-72) + 1)*9/37. Which is greater: y or b?
y
Let j(y) = 7*y + 41. Let s be j(-7). Let q = s - -8. Does q = -1/22?
False
Suppose 1 = 3*n - 5. Let u = -0.7 + -5.3. Let r = u + 5.8. Which is smaller: n or r?
r
Suppose -8*a + 10*a = o - 8, 12 = -3*a. Which is smaller: 2/1251 or o?
o
Let w = -4256/10615 + 2/2123. Which is bigger: -119 or w?
w
Suppose -2*v + 952 = -5*n, 0 = -n - 2*v + v - 196. Is -191 < n?
False
Let q = -39.75 + -1.25. Do 0.2 and q have different values?
True
Let n = -0.09 - 1.01. Suppose -6 = 5*o - 2*o. Which is smaller: o or n?
o
Let r = 1 - 2. Suppose 0 = -k + 23 - 112. Let z = k + 94. Are z and r equal?
False
Let h be (-12 - (-133)/(-14))*2/1. Is -87/2 <= h?
True
Suppose 0 = 8*i + 89 - 25. Let a(k) = -k**2 - 8*k + 8. Let m be a(i). Are m and 8 non-equal?
False
Let r = -141 - -165. Which is bigger: 18 or r?
r
Let y(b) = 4*b**3 + 4*b**2 - 13*b + 48. Let n be y(4). Do n and 317 have different values?
True
Let n = 2808/5 + -562. Let b = -0.3 - -0.21. Which is greater: b or n?
b
Let g = -114 + 71. Let c = g + 48. Which is bigger: 18/5 or c?
c
Suppose 0 = -2*u - 15 - 1. Let r = -14 - u. Let s be -8*((-1)/(-2))/1. Which is greater: s or r?
s
Let c = 46 - 50. Let m be (c*3/(-30))/(-1). Let g = 2 - 1.8. Which is smaller: m or g?
m
Let q be ((-2)/(-3))/(5*39/(-455)). Let t(n) = n - 7. Let f be t(6). Is q less than or equal to f?
True
Let p = -22.8 + 23. Is -4 != p?
True
Let s(d) = d + 10. Let b be s(-4). Let v(p) = p - 2. Let q be v(6). Suppose -b = -i + q*i. Which is greater: i or -6?
i
Let j(q) = q**2 - 15*q + 36. Suppose 3*t - 3*l = 36, 3*l - 42 = -3*t - 12. Let v be j(t). Which is greater: v or -7?
-7
Let l(f) = -f**2 + 2. Let t be l(3). Let a = -7 - t. Let o be a*(2 - (-9)/(-6)). Is o >= 2/7?
False
Let z be 195/(-1170)*(266 - 1). Is -45 at most z?
True
Let d = -16.755 + -0.245. Let q = 0.04 - 0.04. Is d not equal to q?
True
Let n = 21 - 18.675. Let y = n + 0.365. Let f = 2.6 - y. Which is bigger: f or -0.1?
f
Let t(v) = v**2 - 17. Let u be t(-5). Let q(b) = -b + 14. Let p be q(u). Which is greater: 5 or p?
p
Suppose 0 = 2*b + 17 - 31. Suppose -41 = 4*c + b. Let t be 1/(-4) + (-15)/c. Is 4/3 < t?
False
Suppose 0 = g + 1, 4*s + 27 = 2*g - 187. Is -61 >= s?
False
Let s be 36/(-7)*840/2320. Which is greater: -1 or s?
-1
Suppose -17*t = -23*t - 1578. Are -263 and t unequal?
False
Let q(a) = a**2 + 4*a + 3. Let g be q(-4). Suppose m + g*l + 9 = 5*l, 21 = -2*m + 5*l. Is -4 > m?
False
Let b = 0.9 - 0.824. Let y = 0.012 - b. Is y at least as big as -0.1?
True
Let d = 2.997 + 0.003. Are d and 16 non-equal?
True
Let f(n) be the second derivative of -21*n**5/4 - n**4/12 + 2*n**3/3 + 3*n**2/2 + 11*n. Let y be f(-2). Let b = y - 10809/13. Does b = -1?
False
Let h = 14 + -8. Suppose 0 = -3*m + h*d - 2*d + 29, -4*d = 5*m + 5. Let c = 36 - 34. Are m and c non-equal?
True
Let p = 102076 - 615365/6. Let w = -482 - p. Let u = -7/2 + w. Which is smaller: -1/3 or u?
u
Let g = -2447095/9451 - -3366/13. Which is smaller: g or -1?
-1
Let k be (-1 - 5) + 4 + -3. Let h = 4 - k. Let v = 10 - h. Is -3/7 less than or equal to v?
True
Suppose 4*n + 3*t = -11, 2*n - 3*t - 16 - 1 = 0. Suppose 0 = 2*o + 3 - 9, -z - 3*o = -8. Which is greater: n or z?
n
Let g = -49 + 702. Is g greater than 654?
False
Let o(z) = z**3 - 11*z**2 - 14*z + 16. Suppose -31*l = -36*l + 60. Let b be o(l). Suppose -4*d = -d + 4*r + 37, -12 = 4*d - 4*r. Which is greater: b or d?
d
Suppose 0 = -5*l + 2*l. Suppose -p - 1 = -l. Which is smaller: 2/137 or p?
p
Let t be -2*2/(-4) - -29. Suppose 3*j - 5*j + 3*i = t, -4*j + i = 80. Is -23 greater than j?
False
Let o be (-1 - -17)*(2 - 1). Suppose 4*r = -m, 0 = -4*m - 3*r + o + 10. Which is greater: 1 or m?
m
Let g = -50 + 54. Suppose 0 = -g*t + 2*t - 6. Are -4 and t equal?
False
Let l be (-207)/216 - (3 + -4). Which is greater: l or 0?
l
Suppose 0 = -34*y + 44*y - 30. Is 66/17 greater than y?
True
Let r = 17 - 17. Which is greater: -2/5881 or r?
r
Suppose 5*l + 18 = -2, -z + 3*l + 828 = 0. Which is smaller: 815 or z?
815
Let s = 2131 - 2204. Is 3 at most as big as s?
False
Suppose -15*q - 394 = -2419. Is q at least 133?
True
Suppose -2*j - 51 = p, 0 = -j + 2*p + p - 15. Let c = -260 + 237. Which is smaller: c or j?
j
Let u = 6710065280879/36064 + -186059929. Let c = -1/736 - u. Is c at most as big as -1?
False
Let o = -62 + 65. Let a be o/((7/(-196))/(6/8)). Which is greater: a or -62?
-62
Let r = 1.04 + -1.24. Let u(v) = -v - 6. Let x be u(0). Are x and r unequal?
True
Suppose 0 = -5*j - 4*r + 1 + 13, -5*j - r = -11. Suppose j*c + 21 = 19. Do -3/11 and c have the same value?
False
Let w(s) = -s**3 - 6*s**2 + 15*s - 8. Let x be w(-8). Which is smaller: 1/9 or x?
x
Let g = -73.37 - -0.37. Let w = g - -79. Which is bigger: -0.6 or w?
w
Let d = 0.038 - 22.038. Let z = d - -19. Is z >= 0?
False
Let r = -916 - -925. Let d = 25 - 15. Which is greater: r or d?
d
Let o = -883/59059 - 2/1001. Is o at least as big as -1?
True
Let g be 4/10 - (-7982)/(-130). Is g less than -245/4?
False
Let t(b) = -b - 11. Let w be t(-13). Suppose 6 = -2*x, n - 6 = 2*x + w. Which is smaller: 8 or n?
n
Let q be (5/(20/(-8)))/(-2). Let o be (-275)/33 + (q - -1). Which is bigger: -7 or o?
o
Let x = 50/9 + -83/9. Let c(i) = 7*i**2 - 22*i. Let k be c(3). Which is bigger: k or x?
k
Let d = 191 + -239. Let f = 1 + -2. Let s be d/(-22) - (f + 3). Which is greater: s or 0.2?
0.2
Let q = 4 - 36. Is -31 greater than q?
True
Let s(h) = h**3 - 5*h**2 + 4*h - 1. Let j be s(4). Let a be (4/18)/(2960/(-222)). Which is bigger: j or a?
a
Suppose 3*z = -2*y - 22 + 6, -20 = 3*z - 2*y. Let q be (z/(-4))/(9/24). Suppose -3*g = -6*g - t - 1, 0 = q*g + 2*t + 2. Which is smaller: 4/23 or g?
g
Let z = -35764363/43473059 + 4/214153. Let s = z + -1/29. Which is smaller: s or 0?
s
Let x(u) = -u + 7. Let k be x(6). Suppose -2*t - 3*g = -5*t - 6, 4*g + 2 = -t. Let c be (-15)/(-10) + -2 + (-3)/t. Is c not equal to k?
False
Let i be -30*(6/2 - 20/16). Let h = 52 + i. Which is smaller: 9 or h?
h
Let t = -1.683 + 151.783. Let v = -155 + t. Which is greater: -1 or v?
-1
Let f = -29 - 60. Which is bigger: f or -90?
f
Let m = -30 + 22. Which is smaller: -0.07 or m?
m
Suppose 3*s - g = -0*g, -5*g = 4*s. Let l = 0 + s. Let w be -1 + ((-115)/22)/(-5). Which is greater: l or w?
w
Suppose -7*x + 2*x = -5*p + 35, -p + 6 = -2*x. Suppose p = 3*f + 2. Is f at most 9?
True
Suppose -5*r = -2*m - 2*m + 3, -12 = -4*r - 4*m. Let u be r/2*(13 - 15). Is u greater than -3/11?
False
Let s(g) = g**2 + 12*g + 7. Suppose -3*n - 4*y = 24, -4*n - 64 + 13 = -y. Let h be s(n). Is -2/9 smaller than h?
True
Suppose -35*l = -31*l - 8. Let v be ((l - -17) + -1)*(-7)/21. Let k(x) = x**3 - 4*x**2 + 2*x - 1. Let p be k(3). Does p = v?
False
Let c be 2318/(-57)*(1 - (-33)/(-6)). Which is greater: c or 184?
184
Suppose -4*a - 68 = -3*j, j - 3*a - 2 = 29. Let x(d) = d**2 - 17*d + 16. Let f be x(j). Which is greater: -5/9 or f?
f
Let k(w) = -w**3 - 8*w**2 - 12*w - 9. Let u be k(-8). Let s = -72 + u. Is 14 != s?
True
Let h(r) = r. Let i(q) = -3*q + 19. Let m(w) = 5*h(w) + i(w). Let p be m(-10). Which is smaller: -4/19 or p?
p
Suppose -4*d + 21 = b + 4*b, -5 = -5*b. Let m = 0 + 0. Suppose -d*n - 2 - 2 = m. Is n at least as big as 0?
False
Let r be (1 + (14 - 0))/1. Suppose 12*n - 69 = r*n. Which is greater: -24 or n?
n
Let s be -2*2/(-16)*2. Let x = -12.2 + 25.5. Let n = 5.7 + x. Which is bigger: n or s?
n
Let s = -1/237 + 132/79. Let w = 11 - 2. Suppose -5*q = w*u - 5*u - 4, -5*u = -q - 5. Which is smaller: u or s?
u
Let u be (-732)/306 + (-2)/(-6) - -2. Which is greater: u or 1?
1
Let r be (-9)/(-3) - 0/(-4). Suppose -2*u - r = u. Suppose 0 = 4*a + 4*g + 8, 0 = 7*a - 2*a - 5*g + 10. Which is bigger: u or a?
u
Let u(c) be the first derivative of -c**4/4 + 5*c**3/3 - 2*c**2 + 4*c - 10. Let t be u(4). Suppose g + 0 = 3. Which is bigger: t or g?
t
Let w = 8/451 + 3436/451. Let p = -464/55 + w. Which is bigger: p or -2?
p
Let d = -300 + 300.46. Which is smaller: d or 1?
d
Let w(t) = -8*t + 26. Let m be w(4). Let u be (m/(-12))/(2/24). Let j = 19 + -13. Is j at least as big as u?
True
Let z = 0.821 + 0.179. Is z less than 123?
True
Le