(-1). Let c = q + -15. Let p be 24/3*(-4)/c. Which is bigger: p or 6?
6
Let l = -26 - -26. Suppose l = -t - 3 + 2. Is -12 equal to t?
False
Suppose 6*n = 4*n + 92. Is n at least 46?
True
Let m = 308173/12221712 - -3/23824. Let j = m + 2/171. Is j greater than 1?
False
Suppose 2*z - 5*z = -18. Suppose 17 = 2*d - 3*s, 3*d + 1 = d - 3*s. Suppose d*r + z = r. Are -1/2 and r equal?
False
Let x = -4.57 - 0.38. Let g = x - 0.05. Let m = 5.3 + g. Is 1/4 smaller than m?
True
Let m be ((-66)/(-52) - 3) + 1. Let c = 2233/156 - 43/3. Let u = m + c. Are u and -2 nonequal?
True
Let x = -1 + 0. Let i(a) be the first derivative of -11*a**4/4 + a**2/2 + a - 20. Let l be i(x). Which is smaller: 10 or l?
10
Let q be (-2)/(-1) - (0 - -11 - 4). Let o(v) be the third derivative of v**5/60 + v**4/4 - v**3/3 + v**2. Let z be o(-5). Which is greater: z or q?
q
Let j = 210283/91117 + -1/7009. Is j >= 1?
True
Let o be (8/(-32) + 393/84)*-1. Is -3 > o?
True
Let d = 179.06 - 179. Which is smaller: d or 0.1?
d
Let h(a) = -2*a + 26. Let m be h(12). Suppose -m*z + 5 = -3*z. Let p be 0 + 2 + (z - -3). Which is greater: p or 1/5?
1/5
Suppose 2*w + 54 = 150. Suppose m + w = 4*m. Suppose -5*j - o - 32 = 0, -3*j = 4*o + 10 + m. Is j smaller than -6?
False
Let p = 42048 + -167289/4. Is 226 less than p?
False
Let t be 1 + 2 + 1*-19. Suppose 2*n + 3*f = -85, -4*f = -3*n + f - 99. Let j = -53 - n. Which is bigger: j or t?
j
Let v(f) = f**3 + 21*f**2 + 8*f + 67. Let u be v(-21). Which is smaller: -100 or u?
u
Let u = -11 - -11. Suppose 0*x + x - 5 = u. Suppose -x*r + 2*g - 6 = 8, g = -r. Which is smaller: r or 8?
r
Let u(q) = -q**3 + q**2 + q + 130. Let i be u(0). Let v be ((-88)/110)/(4/i). Let y = v + 24. Is 3 at least y?
True
Let x(b) = -13*b + 1. Let s be x(-1). Suppose 6*t = s*t - 208. Which is smaller: 27 or t?
t
Suppose -5 - 31 = -6*z. Suppose -7 = -13*a + z*a. Does a = 12/13?
False
Let n = -1756 - -1731. Is n greater than or equal to 27?
False
Let a = 60/13 + -1046/221. Is a < 26?
True
Suppose 0 = 14*j - 8869 - 483. Is j less than 669?
True
Let n = 16 - 17. Which is greater: n or -1/8?
-1/8
Let u = 125823/4 + -31656. Let s = u + 199. Let w(f) = f**3 + f**2 - 3*f - 3. Let j be w(-2). Is j at least as big as s?
True
Let u = 745 - 717. Which is bigger: -3 or u?
u
Let y(v) = -2 - v + v**2 + 0*v - 3*v. Let a be y(4). Let l(w) = -5*w - 43. Let u be l(-8). Which is smaller: u or a?
u
Let w be -1 - (0 - 11/9). Let n be ((-1)/(-4))/((-5)/(-20)). Let y = n - 1. Is w less than or equal to y?
False
Let i(g) = g**2 - 7*g + 6. Let x be i(6). Suppose -3*t - 3*c = -2*t - 9, x = 2*c - 6. Let k = -32195/34 - -947. Is t smaller than k?
True
Suppose -4*q + 9*q = 0. Suppose -4*k - b - 37 = q, -4*k + 6*b = b + 7. Let o be -3 - 9*k/12. Which is smaller: o or -0.1?
-0.1
Suppose 3*l - 17 = -7*n + 2*n, n = l - 3. Which is greater: n or 11/46?
n
Suppose -7*y = 3*y - 490. Is 45 greater than y?
False
Suppose -11*s - 305 + 129 = 0. Let v = -2 - -4. Suppose i - v*u + 10 = -9, 5*u - 90 = 5*i. Which is smaller: s or i?
i
Suppose -4*u + 58 = 2*y, 3*y + 25 = -2*y. Let o be (-2)/u + (-90)/102. Is o less than 2/59?
True
Suppose c - r + 365 = 0, 5*c + 2*r - 5*r = -1819. Is c equal to 0?
False
Suppose 29 = 5*d + 89. Is d at least as big as -13?
True
Let f(h) = 3*h**3 - 2*h**2 - 6*h. Let g be f(-4). Let i be 4 + (g/52)/1. Is i less than 2?
True
Let l = -1.66 + 11.6. Let o = l - 10. Let i(y) = -y**3 + 4*y**2. Let m be i(4). Which is greater: o or m?
m
Let g = 3.19 + -2. Let n = -0.85 + g. Is n > 2/3?
False
Suppose 3*x = -0*x - 3. Let l = 0.04 - 7.04. Let s = -6 - l. Is s equal to x?
False
Suppose o - 3*w = -414, 2*o - 4*w - 1307 = 5*o. Which is smaller: -428 or o?
o
Let i = 1.049 - -6.941. Let m = 50 - 58. Let u = i + m. Which is greater: u or -0.1?
u
Let n = -2.877 - 0.343. Let x = n - -1.22. Is -11 at least x?
False
Let r be ((-518)/7)/(1/2). Let q = r - -141. Which is bigger: q or -2?
-2
Let f(u) = -u**3 - 3*u - 1. Let h be f(0). Let s = -169/448 + 1/448. Which is smaller: s or h?
h
Let w = 15 - 34. Let r(o) = -18*o**2 - o - 1. Let s be r(1). Is w at least as big as s?
True
Let z = 7151/7 - 1023. Let l be (3*-1)/((-1)/1). Let a = 2 - l. Which is greater: z or a?
a
Let k be (-448)/(-15960) + (-2)/(-19). Does 0 = k?
False
Let j(v) = 139*v**2 - 2*v + 3. Let a be j(1). Is a at most 138?
False
Let g(v) = 3*v - 35. Let h be g(0). Let l = 34 + h. Let r = -6362/21 + 303. Which is smaller: l or r?
l
Let p = 22 + -16. Suppose 2*o = o - p. Is o at least as big as -6?
True
Let f be -2*1*1/(-25). Let j be 4/(-12)*-9 + -2. Suppose -3*s + 2 = -w, j = 4*s + 2*w + 15. Is s greater than or equal to f?
False
Let t(j) = 3*j + 6. Let n(o) = o + 2. Let l be n(-6). Let u be t(l). Which is bigger: -2/15 or u?
-2/15
Let t be 33/(-363) + (-7653)/33. Are 0 and t unequal?
True
Let j = -9 + 7. Let s = -2.4 - j. Let d = s + 0.5. Which is greater: -0.6 or d?
d
Let a(r) = -r**2 + 8*r + 9. Let z be a(9). Suppose -p - 15 + 8 = z. Is p at most 1/2?
True
Let p = 17 - -29. Let f = p - 45. Is -15 greater than f?
False
Let b = 4 + -6. Let k be (2 + -2)/(b - 2). Let t = -1/69 - -82/897. Which is smaller: k or t?
k
Suppose -3*c = 4*z - 11, -4*z + 3 + 11 = 2*c. Let k be (-3)/(0 + c) + 0. Let h be 15/12 - (3 - k). Which is greater: h or -2?
h
Let t = -267/2450 - 5/98. Let l = t - 89/225. Which is smaller: -2 or l?
-2
Let t = 3318 + -3368. Which is smaller: t or -148/3?
t
Let r = -50.6 + 50.7. Which is smaller: r or -31.6?
-31.6
Let g = -576 - -574.3. Is -16 bigger than g?
False
Let n(p) = 4*p**3 + p**2 - 2*p + 2. Let j be n(1). Let w be (1/j)/((-5)/55). Is w bigger than 0.1?
False
Suppose 0 = 39*r - 35*r + 12. Let a = 3 - -2. Suppose -a*v = -2*v - 3. Which is greater: v or r?
v
Let u = -82 - -45. Let z = -38 - u. Is z equal to -16?
False
Let d = -54/119 - -122/119. Suppose -4*n - 24 = -2*r, -4*r + 0*n - 7 = 3*n. Which is greater: r or d?
r
Let n = -172 + 170.8. Let b = 1.2 - 0.2. Let z = n + b. Which is greater: z or 1?
1
Let w = 264 - 291.1. Let q = 27 + w. Let m = 0.39 + -0.4. Which is smaller: q or m?
q
Let g = -5 + 28. Let q = 24 - g. Which is greater: q or 3/11?
q
Let x(i) = 2*i**3. Let w be x(0). Which is smaller: 105 or w?
w
Suppose u - 5*u + 2*h + 6 = 0, -2*u - 4*h = 12. Suppose 0 = -i + k, 4*k + 15 = -i + 35. Do u and i have different values?
True
Suppose -15*t - 9*t = 3192. Which is greater: -134 or t?
t
Let j be (2/(-3))/((-7)/(-21)). Let w = 6 - 1. Suppose -12 = 3*b - 4*l + 6, -w*b + 2*l - 16 = 0. Does j = b?
True
Let f = 6.05 - 6. Let c = f + 0.95. Let d = 7.4 - 6.4. Is d smaller than c?
False
Suppose p + 3*c + 13 = 0, -3*c = -0*p + 3*p + 15. Is -230 at most as big as p?
True
Let o = -32 - -38. Suppose o*j + 3*j = j. Do j and 1/31 have the same value?
False
Let j be ((-25)/10)/(1 + 57/24). Which is smaller: -1 or j?
-1
Let q(b) = b**2 + 18*b + 19. Let w be q(-26). Suppose -w = 19*h - 1291. Which is bigger: h or 57?
57
Let j = -10044472/641 + 15670. Is 0 greater than or equal to j?
True
Let j be (-8990)/(-21042) - (-375)/(-875). Is 0 < j?
False
Let t(w) = 11*w - 100. Let u be t(9). Which is smaller: -5/109 or u?
u
Let v(x) = x - 4. Let h be v(4). Suppose 9*b = -0*b. Suppose 3*r + 5*l - 10 = b, 0*l + l - 2 = h. Is -1 at most as big as r?
True
Let b = 515 + -514.9. Which is smaller: b or -2/455?
-2/455
Suppose 3*y + 3*g + 42 = 0, 2*y - 41 = 6*y + g. Let l(h) = -2*h**2 + 14*h - 16. Let z be l(6). Let v be (5/(-4) + 3)*z. Which is smaller: y or v?
y
Let i = -17/2 + 131/16. Which is smaller: i or -1?
-1
Let h(k) = -k**3 + 15*k**2 + 4*k + 20. Let q be h(15). Are q and 80 non-equal?
False
Suppose 58 + 5 = 3*i. Let g be (1/i)/((-15)/(-939)) - 3. Is g < 1?
True
Suppose 3*x - 30 = x - 4*w, 5*w + 8 = 4*x. Let g be 16 - (-7)/(x/(-2)). Let v be g/2 - (1 - 3). Which is smaller: v or 8?
8
Let h = -23/495 + -2/99. Suppose 2*v = 4*l - 2*v - 96, 4*l = -v + 81. Let i = l - 21. Which is smaller: i or h?
h
Let y = -24 - -27. Suppose 84 = y*o - 6*o. Is o less than -27?
True
Suppose 4*v + 0*v + 4*i + 20 = 0, 3*v + 7 = -i. Suppose m - 7 = 3*t - 4, m = -3*t + 3. Is t smaller than v?
False
Let z(y) = -14*y - 20. Let f be z(21). Which is bigger: f or 2/9?
2/9
Suppose -5*j = -5*x - 145, -2*j + 41 + 92 = -5*x. Which is smaller: -23 or x?
x
Let k be -1*-1*(-1)/1. Let u