ues?
False
Let y(r) = 7*r - 24. Let n be y(3). Let c(i) = i**3 + i**2 - 6*i. Let s be c(n). Which is greater: 5 or s?
5
Let c = -22/15 + 13/10. Let j = -16 - -14.4. Let v = -0.4 + j. Is v equal to c?
False
Let k be (-88)/(-10) + (-11)/(-5) + -2. Which is smaller: k or -8?
-8
Let z(u) be the third derivative of -u**2 + 0 + 1/3*u**3 + 1/24*u**4 + 0*u. Let y be z(0). Which is greater: y or 3?
3
Let i be (0 - (-4)/18)/(8/72). Let k(y) = y**2 - 3. Let d be k(3). Which is smaller: i or d?
i
Suppose 0 = -3*c - 2*j + 2619, -5*c + 0*c + 5*j + 4365 = 0. Let k be (-3)/(-2)*(-5 + 4353/c). Which is greater: k or -1?
k
Suppose v = 3*b + 23, -3*v - b + 93 = 2*b. Let r = 31 - v. Suppose -i = r*i + 4*q - 3, -3*q = -3*i - 18. Is -8/5 bigger than i?
True
Let y = -18 - -17.11. Let d = y - -1. Let h = d + -0.01. Which is bigger: h or 6?
6
Let u = 0 + 25. Suppose -9 = 7*m - 184. Is u equal to m?
True
Suppose -2*m - m - 9 = 0. Let j = -1 + m. Let z be (-7)/(-14) + 14/j. Which is smaller: z or 2/13?
z
Let x(b) = -b**3 + 7*b**2 + 10*b - 7. Let n be x(8). Suppose 2*y + n = 7. Which is greater: y or -3/20?
-3/20
Suppose -4*f - 41 = -3*k, -4*f - f - 4*k - 28 = 0. Let j be (2/(-4))/(4/f). Is -3/7 >= j?
False
Suppose 5*i - 15 = 0, -4*i + 8 + 29 = -5*z. Let b(r) = r**3 - 7*r**2 - 9*r + 8. Let c be b(8). Is c smaller than z?
False
Let i be (5 + -207)/(9/(-18)). Is i >= 406?
False
Let y = -0.5 + 0.3. Let o be (-414)/27 + 8 - 6*-1. Which is smaller: o or y?
o
Suppose 7*h = 27*h - 360. Is 19 at least h?
True
Let z(s) = -5*s**3 + 8*s**2 - 2*s + 28. Let h be z(5). Is h at most as big as -405?
True
Let p(c) = c**3 - 7*c**2 - 3*c - 7. Let d be p(7). Let j = d - -21. Let o be 20/(-22) + j + 9. Does o = 0?
False
Suppose q - 5*g = 24, -5*q - 5*g + 106 = -14. Let o be (q/(-96))/((-2)/8). Is o less than or equal to -1/36?
False
Let i be (-84)/(-28) + (584/(-10))/2. Which is bigger: i or -25?
-25
Let y = 11 - 17. Let s(v) = 7*v**2 + v + 11. Let a(i) = -i**2 + i - 1. Let k(l) = 6*a(l) + s(l). Let b be k(y). Is b > -6/13?
False
Let m be (-9 - -7)*((-14)/(-4))/(-7). Is m less than or equal to 4?
True
Suppose 68*c - 44*c = -24. Are c and -9/8 non-equal?
True
Let n = 27 - 16. Let g = n - -10. Let u = 15 - g. Is u smaller than 0.1?
True
Let v = -3651/22 - -166. Which is bigger: 0 or v?
v
Let b = -0.096 - 6.844. Let m = -0.34 - b. Let k = m + -2.6. Is k bigger than 1/3?
True
Suppose f - 6*f - 5*d = 190, 3 = -d. Let n(w) = -82*w + 213. Let c be n(3). Which is greater: f or c?
c
Suppose -5*y = -3*p + 102, 0 = -2*p + y + 24 + 37. Suppose -5*r + 16 + p = 0. Let n(w) = -w + 9. Let x be n(r). Is x > 6/23?
False
Let c = -26 + 27. Let q = -4/389 + -3662/22173. Let f = q - -298/399. Is f at most as big as c?
True
Let n = 0.172 - 0.272. Which is greater: n or -238?
n
Let y(z) = z + 4. Let x be y(-3). Suppose -4*s = -3*q - 3*s + 309, 0 = -s + 3. Let g = q + -1663/16. Is g > x?
False
Suppose -2*z = 22 - 0. Suppose 0 = 2*s - 3*s - 11. Is z smaller than s?
False
Suppose 3*d - 3*a = d - 3, -d = 5*a - 5. Let j be (-2)/5*60/216. Is d >= j?
True
Let s(t) = t**2 + 5*t - 5. Let b be s(-6). Let v be (-2)/(12/(-8) + -1). Let k = v + 0. Are b and k unequal?
True
Suppose -3*a - 703 - 1966 = l, -3*a - 3*l - 2679 = 0. Is a less than or equal to -888?
True
Let l = 184 - 179. Which is bigger: 17 or l?
17
Let s(r) = r**3 + 31*r**2 - 40*r - 180. Let f be s(-32). Is f greater than or equal to 76?
True
Suppose -4*p - 4*x = -32, -3*p + x - 13 = -37. Suppose -4*g + g + 3*i + 9 = 0, -5*g - 5*i + 65 = 0. Is p greater than or equal to g?
True
Let h = 0.24 + 2.46. Let k = -2.5 + h. Is k less than or equal to 1.1?
True
Suppose 0 = -4*n - 4*n + 208. Which is smaller: n or 28?
n
Let w(h) = -h. Suppose 0*a = 5*a + 5*q + 25, 0 = 4*a + 5*q + 20. Let f be w(a). Let l be 6/(-7)*98/(-21). Which is smaller: f or l?
l
Let a(c) = c**3 + 10*c**2 + 9*c + 1. Let n be a(-9). Suppose 0 = p - 2*p + n. Let u = 3 - p. Which is bigger: u or 0?
u
Let r = 13 - 5. Let m(d) = d**2 + 8*d - 6. Let n be m(-8). Let b be ((-64)/(-48))/((-1)/n). Is b > r?
False
Let z = -145 - -156. Which is smaller: 1/24 or z?
1/24
Let q be (24/40)/((-8)/(-9) - 1). Let s = 1873/345 + q. Which is smaller: -1 or s?
-1
Let i = -4295 + 4531227/1055. Let z = 2156/24265 - i. Let n = -2 - -3. Which is smaller: z or n?
z
Let g = 41/7 + -35/6. Let q = 2 + -1. Do q and g have the same value?
False
Let x(d) be the third derivative of d**4/24 + 7*d**3/6 + 3*d**2. Let r be x(-5). Suppose -2*t - i - 17 = -r*i, i = 5. Which is smaller: 0 or t?
t
Suppose -5*l + 4*l - 45 = 0. Let u = 43 + l. Which is smaller: -0.2 or u?
u
Let k be 78/780*4/(-150). Which is greater: k or -1?
k
Let w(t) = -t + 3. Suppose -2*d - 14 = -4*d. Suppose 6*f - d*f = -7. Let x be w(f). Is x bigger than -3?
False
Let q(n) = 3*n - 2. Let d be q(-4). Which is bigger: d or -13?
-13
Let u be 30/(-44) + 1/2. Let a(k) = k**2 + 4*k + 3. Let d be a(-3). Suppose d = -4*w + 8*w. Which is smaller: w or u?
u
Suppose 31*j = 26*j + 380. Suppose -3*v + j = -5*f, -3*v - v = -8. Is f at least -15?
True
Suppose 0 = 4*g + 8 - 4, 3*u - 3*g - 15 = 0. Let m be (4 + -7 + u)/1. Which is smaller: m or 2/33?
2/33
Let p = 24.71 + -50.71. Which is bigger: p or 29?
29
Let b = -8.81 - -8.81. Is 860 <= b?
False
Let r be (-1 + 1)/(10 - 9). Let c be ((-20)/(-4) - 1) + 1. Which is bigger: r or c?
c
Let x(a) be the first derivative of a**3/3 + 2*a**2 - 6. Let h be x(6). Let u be (15/35)/(h/(-8)). Which is greater: 1 or u?
1
Suppose -1148*c - 639 = -1157*c. Is 75 < c?
False
Suppose 7*t = 2*t + b + 22, -2*t = 3*b - 19. Suppose -t*c - 73 = -13. Which is bigger: -10 or c?
-10
Let c = -19103/13 - -1469. Which is bigger: 2/181 or c?
2/181
Suppose 0 = 4*s + 6 - 22. Suppose -4*b + 56 = -i - s*i, 3*b = -4*i + 73. Suppose 0 = b*g - 14*g. Which is smaller: 2/17 or g?
g
Let y = 2339 - 25727/11. Is -71 at least y?
False
Suppose -4773 = 11*c - 219. Is c greater than -413?
False
Let p(y) = -5*y + 6*y - 5 + y. Let u be p(4). Let s be (5*(-1)/(-4))/((-2)/(-4)). Do s and u have different values?
True
Let h(a) = a**2 - 7*a + 7. Let w be h(4). Let d be 12/w*25/(-95). Which is smaller: d or 0?
0
Let m = -98 - -50. Let p = m + 48.2. Is p > -1?
True
Let u = 50 - 45. Suppose -16 = 3*h + 5*f - 78, 5*f - u = 0. Is h equal to 19?
True
Let q = -0.066 - -2.146. Let r = q - 0.08. Let l be 12/48 + (-25)/4. Is r bigger than l?
True
Let c = -0.1 - -7.7. Let d = 8 - c. Let p = d + -1.4. Which is greater: p or 0.03?
0.03
Suppose -b + 4*k + 7 = -5, -4*k + 4 = b. Is 3 at least b?
False
Suppose 5*l - 1 = -9*c + 6*c, -2*l + 4 = 3*c. Which is bigger: l or -309/4?
l
Suppose 17*d = 3*r + 15*d - 5, 4*r + 4*d = 0. Which is smaller: 2/103 or r?
2/103
Let p(f) = 3*f + 6. Let n be p(-5). Let y be -2 + -1 + (-24)/n. Suppose 0 = -2*u + 5*r + 1, 4*u - u = 2*r + 29. Is u <= y?
False
Let y = -144.6 + 145. Let k = -0.6 - -0.3. Let b = k + y. Is 18 greater than or equal to b?
True
Let k be (-3)/(132/(-1529)) - (-2)/8. Which is bigger: 32 or k?
k
Let d be (-1 - (-1)/(-1))/5. Let l = 4.5036 + 0.1964. Which is smaller: l or d?
d
Let z = -1552/49 - -222/7. Are z and 0 nonequal?
True
Suppose -5*a + 95 - 35 = 0. Suppose -4*g = y - a + 3, -y - g = -3. Let o = 144 - 141. Which is bigger: o or y?
o
Suppose 14*n + 16 - 2 = 0. Which is greater: n or -27/14?
n
Let f = -0.4 + 0.7. Let z = -1.3 + f. Let d be -1 + 4 - (-5 - 385/(-49)). Are d and z non-equal?
True
Suppose -2*z = z + 3. Let f be (2 + z - -1) + (-75)/(-10). Which is smaller: 11 or f?
f
Let m be (-16)/(-7) - (-2 + 4). Let i = 1620 + -1597. Is i less than m?
False
Let y be 0 - (0 + 2 + 0). Let s be 184/46 + 17/(-3). Which is smaller: s or y?
y
Let z = 1.592 + -35.792. Which is bigger: z or -0.1?
-0.1
Let y(i) = i**2 - 2*i + 52. Let g(l) = -l - 4. Let q be g(-4). Let j be y(q). Is j smaller than 51?
False
Suppose -5*r - 2 = q, -4*r + 5*q + 7 = -3. Which is smaller: r or 4/333?
r
Let h be 21*5/15*-7. Let a = h - -419/8. Is a bigger than 4?
False
Let v = -31 + 49. Let b be ((-8)/v)/2 - (-2080)/(-3276). Which is smaller: b or -1?
-1
Let o = 123 - 172. Let m = -3.27 - -2.27. Are o and m equal?
False
Let p(c) = -c**3 + 7*c**2 - 6*c - 7. Let u be p(6). Let z be ((-12)/5)/(6/(-45)). Let j = z + -26. Is j < u?
True
Suppose -52 = -16*n + 3*n. Let q(s) = s**3 + 6*s**2 +