18). Which is smaller: a or n?
n
Let d = 0.0361 + 0.0639. Which is smaller: -0.009 or d?
-0.009
Let w be 28/(-7) + 13/(52/40). Let b(n) be the first derivative of -n**3/3 + 4*n**2 - 7*n + 2. Let m be b(6). Which is smaller: m or w?
m
Let a(j) = 2*j - 6. Let f be a(7). Let u(h) = 5*h - f + 5*h - 11*h. Let x be u(-8). Which is smaller: x or -7?
-7
Let f = -62.6 + 80.6. Is f less than or equal to 0.08?
False
Let b(j) = -4*j + 9. Suppose 16 = 2*d - 3*c, -c - 16 = -4*d + 2*d. Let r be 6 - d - (-4 + -1). Let v be b(r). Which is greater: -20/9 or v?
-20/9
Let y = 209 + -207. Which is greater: y or 26/15?
y
Suppose -354 = 5*y + 1891. Which is smaller: y or -448?
y
Let k = -0.127 - 16.973. Let c = k + 17. Let z be (-40)/3 - (-3)/9. Is c at least z?
True
Let g(h) = 6*h + 34. Let c be g(-6). Let d(l) = -7 - 2*l**2 + 3*l + 0*l**2 - 9*l. Let t be d(c). Is -14/9 bigger than t?
True
Let l be (3 - 0) + 178/(-8). Which is greater: l or -19?
-19
Let u be ((-1)/(-3))/(4/696). Let l = u - 57. Is 9/2 greater than or equal to l?
True
Let b = 2792/427 - -2/61. Let y = 400/63 - b. Which is smaller: y or -1/4?
-1/4
Suppose 3*f + 152 = 4*b, -3*b = 3*f - 18 - 75. Suppose -5*c + b = 3*d, -2*c + 5*c = 12. Suppose -d = -2*k + 3*k. Which is bigger: -4 or k?
-4
Suppose 6*u = -4*u - 2420. Which is smaller: u or -243?
-243
Suppose 59*j + 25 = 10 - 44. Let d = 8 - 4. Suppose -d = 2*y + 6. Is y at most as big as j?
True
Let n be (-8 - (-5 + 2))*124/90. Which is bigger: n or -8?
n
Let r be ((-2)/21*-9)/((-12)/(-2632)). Which is bigger: r or 186?
r
Let b(u) = -8*u**2 + 0*u + 14*u**2 - 2 + 3 - 2*u. Let p be b(1). Let o be 2 - p*(0 - -2). Is -1/4 at most as big as o?
False
Let t be (-1 + (-15)/(-9))*42. Suppose -f = 2*n - 2, -5*n + 2*f + 9 + 5 = 0. Let h be 6/(-36) + n/3 + -1. Is t greater than h?
True
Let n(q) = q + 9. Let u be n(0). Suppose 0*k - 3*h = k - 191, 5*k - 3*h - 865 = 0. Let z = 185 - k. Is u <= z?
True
Let a(k) = -k - 13. Let c be a(-7). Let j(p) = 2*p + 10. Let f be j(c). Which is bigger: f or -1?
-1
Suppose -14*b + 16*b = -19*b. Let z be 7*(-1 - 8/(-10)). Which is bigger: b or z?
b
Let g(s) = -s**2 + 9*s + 2. Let l be g(9). Let z(i) = -7*i. Let q be z(-1). Let p be q/12 - l/6. Which is greater: 0.1 or p?
p
Let n be (-3*2)/((-6)/4). Suppose n*z = 18 + 46. Let j = z + -14. Is j > 2?
False
Let p = -50 - -86. Let a = 35.9 - p. Which is greater: 21 or a?
21
Let s = -469 + 470. Which is bigger: s or -29?
s
Let a = 13/15 + -6/5. Do a and 1 have the same value?
False
Let g be (17 - 19)/(2/(-8)*-2). Let d be 26/20*-6*(g - -2). Is d less than or equal to 15?
False
Suppose 0*r - 95 = r + 5*a, -2*r = 2*a + 206. Let s = -142 + 38. Is s > r?
True
Let k be (-7)/14 - 7/(98/(-36)). Is k less than 1?
False
Let m(a) be the second derivative of -a**3/6 - 5*a**2/2 + a. Let y be m(-6). Let l be (4 + -3)/((-4)/(5 - 1)). Which is bigger: l or y?
y
Let i = 141 - 141. Which is bigger: 4/255 or i?
4/255
Let k be -24 + 6/(7 - 1). Is k at least as big as -29?
True
Let k = -26 + 41. Suppose -z = 3*w - 3, 5*z - w + 2*w = k. Suppose 2*o - 4*f = 0, 5*o - 55 = o - z*f. Is o equal to 10?
True
Let x be 8/(-6)*(-42)/7. Suppose l = -l - x. Is l at most as big as -10/3?
True
Suppose -4*n + 34 = -14. Suppose 10*k + 1224 = -24*k. Let x be ((-2)/(-3))/(n/k). Is x smaller than 2/9?
True
Suppose 32 = -7*x + 4*x - 5*i, 0 = -3*x + i - 8. Let n be -2 + (4 - 0/x) - 3. Which is smaller: n or -1/54?
n
Let y be 100/26 + 8/52. Suppose -z = -4 - y. Let c be 2*(-12)/z + 2. Which is smaller: c or -2/3?
c
Suppose 32*y = 23*y + 324. Which is smaller: y or 223/6?
y
Let y(t) = 5*t**3 + t - 1. Let a be y(1). Let f(r) = -2*r + 11. Let h be f(a). Which is bigger: -2/9 or h?
h
Let j be (-248)/(-147) - (-5)/(-3). Is -1 < j?
True
Let x be 3*1/6*2. Let s = 165 - 2150/13. Which is greater: s or x?
x
Let x be ((-6)/(-4))/((-18)/(-4992)). Let b = x + -4570/11. Let c = -5 - -5. Which is smaller: b or c?
c
Let q(p) = 10*p**3 + 16*p**2 - 4*p + 13. Let d = 7 + -14. Let x(a) = -7*a**3 - 11*a**2 + 3*a - 9. Let t(l) = d*x(l) - 5*q(l). Let z be t(-3). Is 2/61 != z?
True
Let z = -0.802 + -0.198. Which is smaller: z or 29/9?
z
Suppose 21*a - 7588 = -7273. Let z(w) = -w + 2. Let u be z(-2). Let l(k) = k**3 - 3*k**2 - k + 1. Let b be l(u). Is b greater than a?
False
Let a = 12 + -18. Let i = 214 - 223. Which is greater: a or i?
a
Let x = -36/761 + 112808/3805. Suppose 0 = 152*v - 147*v - 140. Let h = v - x. Which is smaller: -2 or h?
-2
Suppose z + 32 - 52 = 0. Let d be 4 + (-174)/z + 3. Which is smaller: d or -1?
d
Suppose 126*l = 131*l - 10. Let s be (-54)/156 + (5/l - 2). Are s and 3 non-equal?
True
Suppose -j = 22 - 43. Which is greater: 23 or j?
23
Let t(b) = 25*b + 426. Let q be t(-17). Is 1/63 < q?
True
Let p = -327 - -997/3. Let v(i) = -2*i**2 - 16*i - 10. Let u be v(-7). Is p at most u?
False
Let g = -31 - -28. Let y be g/9 - (-4)/(-6). Which is smaller: -18/11 or y?
-18/11
Let i(n) = -n**3 - 5*n**2 + n + 1. Let z be i(-6). Which is smaller: 29 or z?
29
Let p = -168 + 163.32. Let q = -7.26 + p. Let o = -12 - q. Are 0 and o nonequal?
True
Suppose -22 = 3*c + 4*k, -5*c + 4*k - 26 = -0*k. Let m(z) be the third derivative of -z**5/15 + 3*z**2. Let a be m(-1). Which is smaller: c or a?
c
Let u be (-114)/30 - (-3)/(30/8). Let w be (-6)/30 - ((-6)/u)/(-210). Suppose -2*n = q + 3*n + 4, -7 = -2*q + 5*n. Which is smaller: q or w?
w
Let c = -123 - -35. Let g = c + 88.038. Which is smaller: -1 or g?
-1
Let o be (-2)/7 - 19/7. Suppose 0 = -5*s + 7 + 8. Let x = -6 + s. Is o greater than x?
False
Let m = 25 - 17. Suppose -h - m = -24. Are 15 and h non-equal?
True
Let s(n) = -n**3 + n. Let g(t) = 3*t**3 + 3*t**2 + 3. Let u(q) = -g(q) - 2*s(q). Let h be u(-3). Suppose 4*l = b + 6, 0 = -l - h*b + b + 6. Is l < 6/5?
False
Suppose -49 = -2*r - d, -5*r + 2*d + 75 = -52. Let b = -25 + r. Let a = -5 - -20. Is a != b?
True
Let x be (17/2023)/(1/3). Suppose -s = 3 - 4. Which is smaller: s or x?
x
Let k = -2024 + 2024. Is k != -42.1?
True
Let n be 17/2*(-2)/1. Let g = n + 47. Suppose -2*b = b + g. Which is smaller: -11 or b?
-11
Let o = -126 + 129. Let f be (-8)/((-32)/(-12)) - o. Let t be (-8 - (0 - 1))*1. Which is greater: f or t?
f
Suppose 11*c + 7*p = 14*c + 16, -4*c - 9 = 3*p. Which is smaller: c or 37?
c
Let b be (8 + 3)*1/(-5). Let x(y) be the third derivative of -y**5/60 - y**4/12 + 5*y**3/6 - y**2. Let w be x(-4). Which is bigger: w or b?
b
Let f = 320/3 - 1343/12. Which is greater: f or -0.01?
-0.01
Let v = 3.952 - 4. Let j = v + -1.052. Which is greater: j or -1?
-1
Let q be ((-9)/306)/(26/(-4)). Which is smaller: 1 or q?
q
Let u(v) = 53*v - 42. Let m be u(3). Are 118 and m unequal?
True
Suppose -6*x - 7 = x. Are x and -1/1474 equal?
False
Let m = 1031/30 + -176/5. Let k = 2 - 3. Which is greater: k or m?
m
Suppose 3 = 3*l - 0*l. Let z = -10 - -21/2. Is z less than l?
True
Suppose 5*q - 3*w = -42, q - 5*w = -q - 13. Let l = 217/24 + q. Are 1 and l equal?
False
Let t be 4/(-114)*15/(-40). Is t at most as big as 0?
False
Let w = 392 - 385. Which is greater: w or -14?
w
Suppose 29*u = 38*u + 387. Is u > -44?
True
Let r be ((-4)/(-14))/((-102)/(-14637)). Suppose -3*v - k = -6*v + 126, -3*k = 2*v - 84. Which is bigger: v or r?
v
Suppose 2*c - 98 = -4*g + 20, 3*c = -2*g + 181. Let j = 35 - c. Is -24 != j?
True
Suppose -4*y + 2*v = y + 1, 3*y - 5*v - 7 = 0. Which is bigger: 1/12 or y?
1/12
Let g be ((-20)/(-12))/(6/144). Which is smaller: 34 or g?
34
Suppose 0 = -4*c + 26*c + 88. Which is smaller: -60/17 or c?
c
Let z(u) = -u**3 - 15*u**2 + 37*u + 23. Let i be z(-17). Is -21 > i?
True
Let q be (104/(-12) + 9)/((-7)/2). Suppose -2*m - y + 1 + 1 = 0, 0 = -2*m - 4*y - 10. Suppose m*n = 7*n. Which is smaller: q or n?
q
Suppose -2*w + 4*j - j = 71, 3*w + 2*j + 100 = 0. Which is smaller: w or -35?
-35
Let f(d) = 33*d**2 + d + 1. Let c be f(-1). Suppose c + 42 = -5*x. Let h = 40/3 + x. Which is smaller: -3 or h?
-3
Suppose -3*i - i + 20 = 0. Suppose 10 = -x + i*s + 32, 4*x - 2*s - 16 = 0. Suppose -7 = -x*n + 3. Which is bigger: -1 or n?
n
Let n = -3430 - -3502028/1021. Is 1 > n?
True
Let k = 24.75 + -13.82. Let o = 0.07 + k. Is o at most 0.1?
False
Suppose -28*x - 21 = -21*x. Which is smaller: x or -45/14?
-45/14
Let n = 55114/3 - 18166. Let z = -201 + n. Is z