 derivative of -g**2 - 4*g - 5. Let w(o) = -3*o - 6. Let z(m) = -8*j(m) + 5*w(m). Let q be z(1). Which is smaller: 0 or q?
0
Suppose 0 = 18*x - 14*x + 16. Let z be (-410)/(-50) + x/(-5). Let b = 17 + -7. Which is smaller: z or b?
z
Let g = -7/325 + -32451/2275. Is -13 smaller than g?
False
Suppose -1675 = 5*l - 5*b, 3*l = 2*l + 2*b - 337. Let x = l - -4331/13. Suppose -3*c = 2*c + 2*s + 13, 2*c = 5*s + 18. Are x and c non-equal?
True
Suppose 5*k - 32 = 78. Suppose 2 = k*w - 23*w. Let m = 1079/5 - 217. Is w equal to m?
False
Let l be -3 + 51/18 + 725/30. Let o be (2 - 8/(-6))/(16/l). Are o and 13/3 equal?
False
Let x = 0 + 5. Suppose -4*j + x = 13. Let v = j + 4. Is 5/7 > v?
False
Let c = 69 - 78. Let n = c - -18. Is 4 smaller than n?
True
Let l = -1 + 3. Let n(c) = 4*c - 20. Let k be n(6). Suppose -2*o = -2*v - 10, -4*v + l = k*o - 2*v. Do o and 5/3 have the same value?
False
Let v = 73.88 + -74. Are 6 and v unequal?
True
Let j = 0.38 + -0.22. Let r = 0.25 - j. Let t be (-3)/2*4/6. Are r and t equal?
False
Let x be -2*(-245)/(-42)*-3. Which is bigger: 38 or x?
38
Let i(c) = -2*c + 36. Let y be i(0). Let o = 25 - y. Does o = -11?
True
Let a = -53.025 + 53. Let z = 11.025 + a. Which is smaller: z or -0.1?
-0.1
Let y = 16 + -12. Suppose 0 = -0*q - 4*q + y. Which is greater: -3/19 or q?
q
Let v = 98 + -83. Suppose -v*s = 18 - 483. Which is smaller: 1 or s?
1
Let i = 60.36 + -1.26. Let x = i + -59. Which is bigger: -2.6 or x?
x
Suppose -2*h + 3*p + 20 = -p, 4*p + 6 = -5*h. Let t be (h/(-5))/(1/(-5)). Suppose c - 4 + t = 0. Which is smaller: 0 or c?
0
Suppose -2*t + 10 = -3*n, -8 + 0 = 5*n + t. Let j be 14/(-49) + -145*n/1162. Are 0 and j equal?
False
Let w = -11/60 + -1/15. Is w bigger than -195?
True
Let t = -24/35 + -4467/70. Let i = -453/7 - t. Let q(r) = r**3 - 5*r**2 + 5*r - 3. Let c be q(4). Is c < i?
False
Let m = -118 + 39. Let o = -39 - m. Which is bigger: o or 41?
41
Let c be 1 + 366/(-136) - (6 + -8). Let h = c - 1/17. Let z = 28 + -45. Which is smaller: h or z?
z
Let f = -5.91 + 6. Let u = 0.01 - f. Suppose 3*n = 4*n. Which is greater: n or u?
n
Let n(j) = -j - 4. Let v be n(-9). Suppose -5 = g + v*x, 4*g + 3 = 4*x + 7. Let o be (2/(-6))/((-1)/2). Which is smaller: o or g?
g
Suppose -3*b = -35 - 1. Let f be (-3)/b*16/18. Suppose 0 = 2*k + 5*t - 3, 2*k + 3*t = -7 + 8. Does f = k?
False
Let o(w) = -w**3 + 10*w**2 + 40*w - 8. Let u be o(13). Let v be (-15)/(-10)*(-5)/(u/2). Which is smaller: v or -30/11?
v
Let s = -0.245 - -10.245. Do -13 and s have different values?
True
Let k = -617.78 - -620. Which is greater: -2 or k?
k
Let k(u) = 19*u + 1. Let y be k(-1). Which is bigger: -21 or y?
y
Let t(a) = -3*a - 9. Let r be t(-3). Suppose 3*b - 4*j + 7*j = r, 4*j = -3*b. Is b at most -1/56?
False
Let l = 58.5 + -57.5. Which is greater: -34.8 or l?
l
Let f = -0.105 - -10.005. Let v = f - 10. Let n = 1.34 - -1.66. Is v greater than or equal to n?
False
Let i be 3/18 + (-174)/(-36). Suppose -i*t - 68 = -t. Let z = t + 17. Is z < 11?
True
Let x(h) = 3*h**3 - 3*h - 2. Let c be x(-1). Let v = -92/471 - -3666334/5181. Let z = v + -708. Which is smaller: c or z?
c
Let x be (-628)/(-88) - (-35)/(-5). Do x and 9 have different values?
True
Let c = 761.73 - 762. Which is bigger: c or -5/6?
c
Let s = 21/67 - 878/3015. Which is bigger: s or -1?
s
Let b be (-10)/(-20) + (-159)/(-2). Let n = b + -40. Let i be ((-6)/n)/((-114)/16). Which is smaller: i or 1?
i
Let o(m) be the second derivative of -m**5/30 + m**4/6 + m**3 - 2*m**2 + m. Let r(j) be the first derivative of o(j). Let v be r(4). Are -10 and v unequal?
False
Let a be 4/(-18) + 7/(-9). Let s be 3 + a + 1 + 1. Suppose -5*y = 4*n - 42, 3*n - 21 = -3*y + 2*n. Is y smaller than s?
False
Let m = -2.6 + 0.6. Let f = -26/3 - -121/15. Which is bigger: m or f?
f
Let m = -44 + 47. Suppose -4*t - 330 = 2*g, 0 = -m*t - g - 80 - 169. Is -85 bigger than t?
False
Let y be (-124)/102*96107/330. Let q = y + 5992/17. Let b = -7/9 - q. Is 2 greater than b?
True
Let a be -4 - ((-2 - 0) + -3). Is 1/123 at most as big as a?
True
Let w = -0.1 - -0.2. Let a = 1221 + -1196. Which is greater: w or a?
a
Suppose u = 5*k + 36, -4*u - k = u - 128. Is u smaller than 26?
False
Let l be 10/8 + -1 - 952/(-32). Does l = 25?
False
Suppose -4*m + 0 + 20 = 0. Suppose m*z = x - 27, -2*z - 3 = 2*x + 3. Is 6/5 <= x?
True
Let x = -10 - -9.9. Let b = -89.76 - -90. Are x and b nonequal?
True
Let s = -4307 - -4293. Let m = 33 - 48. Is s smaller than m?
False
Let b(w) = -2*w - 3. Let z be b(-3). Suppose z*j + 13 = 1. Let r = -4237/1132 - 2/283. Which is greater: r or j?
r
Suppose 0 = -15*u - 1885 + 14830. Which is greater: 862 or u?
u
Let w = -746 + 18647/25. Suppose -5*a + 3*v + 0*v + 6 = 0, 4 = -2*a - 2*v. Which is greater: a or w?
a
Let w be (-4 - (-10)/5)*1/2. Which is greater: w or -2/99?
-2/99
Suppose 0 = 12*f + 35 + 61. Which is smaller: -22/3 or f?
f
Let c(b) = -b**3 - 11*b**2 + 8*b - 15. Let u be c(-12). Suppose -l + u = -4*l. Suppose -10*p + 11 = 101. Which is smaller: l or p?
l
Let k be (-279)/47 + 6 + (-9)/54. Let d be 115/(-329) + (-2)/(-7). Let c = k + d. Which is smaller: c or -1?
-1
Let s = -3.7 - -25.7. Let k = -19 + s. Let d = -5/12 - 1/12. Which is bigger: d or k?
k
Let m = -228.1 + 225. Which is bigger: -0.1 or m?
-0.1
Let r be (342/(-12))/(10/4). Let o = -341/30 - r. Which is smaller: o or 1?
o
Let z = -25 + 25.18. Let y = -5.18 + z. Is y less than or equal to 3?
True
Let x be ((-517)/4 - 1)*8/15. Let d = -212/3 - x. Which is smaller: d or -0.2?
d
Let x = 829 + -768. Which is bigger: x or 1?
x
Suppose -4*j - 5*y - 12 = 0, 3*y = 5*j - 0*y - 22. Let i(x) = 4*x + 2*x - 3*x + 0 + j. Let u be i(-1). Which is greater: -4/9 or u?
-4/9
Let u = -1364/5293 - -18/79. Which is smaller: u or -1?
-1
Let t = -0.18 - 0.06. Let h = t + -1.76. Let n = -23 + 70/3. Is n at least as big as h?
True
Let z be (-7)/7*2/(-6). Let u be (-1)/(-2) - 2/(-12). Which is smaller: z or u?
z
Let n be (75/10)/((-3)/(-6)). Suppose -9 = -n*y + 16*y. Is y at most -5?
True
Let g be ((-12)/(-207))/(-2 - (-40)/15). Which is smaller: g or 1?
g
Let y(p) = 2*p**3 - 23*p**2 - 10*p - 4. Let f be y(12). Suppose -5*s = 5*m + f, 4*m + 37 = -0*m + 3*s. Which is bigger: -4 or m?
-4
Let d = 0.82 + -6.12. Let x = d - -5. Is 1.1 at least as big as x?
True
Let z = -371 + 369.9. Do z and 0.7 have different values?
True
Let v(d) be the first derivative of 2*d**3/3 + d**2 - 13*d + 74. Let q be v(-3). Let r be (2 - 1)*1/(-2). Which is smaller: q or r?
q
Suppose -2*d - 2*j = -3*j + 7, -5*j - 25 = 5*d. Let g be (12/14)/(6/42). Suppose -2*a - 10 = -2*i + g, 3*a + 4 = -i. Is a at least as big as d?
True
Let s = -226 - -222. Does 3/22 = s?
False
Let g be (-2)/(-3) + 365/15. Let b = 14 - g. Let q = 11 + b. Are q and 0 non-equal?
False
Let u(r) = -3*r**2 - r - 2. Let x be u(2). Let w be 10/(-50)*-2*(-10)/x. Let q = -8 + 11. Is q less than or equal to w?
False
Suppose 5*v - 77 = -272. Let l = v + 53. Which is smaller: 13 or l?
13
Suppose 29*s = 33*s - 28. Suppose 0 = z - 0*z - 9. Let j be z/(-6) + 34/4. Is j >= s?
True
Suppose 0*c - 2*c - 2 = 0. Which is smaller: -3/44 or c?
c
Let v be (-8)/(-20)*(-45)/(-24). Let a = -14 - -13. Which is smaller: a or v?
a
Let w = 4.566 + -7.56. Let b = 0.006 - w. Is 1/7 smaller than b?
True
Let p be (-2)/6 + 114/18. Suppose 7*z = 5*z + p. Is 0 not equal to z?
True
Let w be 4/18 + (-2)/9 + 5. Let a(h) = 2*h + 8. Let d be a(w). Are 15 and d equal?
False
Let c = -563437/95 - -5931. Which is smaller: c or 0?
0
Suppose 22 = 3*d + 5*b - 29, -5*d + 3*b + 119 = 0. Which is smaller: d or 21?
21
Let r = 927 - 928. Which is greater: r or 2/595?
2/595
Let i = -2 + 2. Suppose i = -y - 0*y + 3. Let z = 9 + y. Is 11 <= z?
True
Let t be ((-19)/(-10)*-2)/(42/70). Is -6 greater than t?
True
Suppose 0 = -y - 3*p + 302 + 24, 2*y = 2*p + 660. Which is bigger: y or 330?
330
Let p = 13 - 14. Is p at least -230?
True
Suppose 0 = 3*s - 2 - 4. Suppose -t - s = 4. Let d = t + -1. Which is smaller: d or -5?
d
Let z = 40.5 + -34. Let i = z - 6.5. Which is bigger: i or -35?
i
Let n = -3131 + 53226/17. Let k = -0.5 - 0.3. Let a = k - 0.2. Which is smaller: n or a?
a
Let r(n) = -8*n + 239. Let u be r(30). Which is smaller: 2/873 or u?
u
Let x = 6 + -3. Let n be 50/24 - 9/27. Which is bi