/20 + 5*l**4/12 - 5*l**3/6 - l. Let n be d(4). Which is smaller: n or j?
j
Let w = -115 - -113. Are w and 1 non-equal?
True
Let c = 29 - 34. Is c < 2?
True
Let t be (1 - (-21)/(-33))/(-2). Let h(i) = -i - 3. Let g be h(-4). Which is bigger: g or t?
g
Let g(r) = -r**2 - 4*r + 2. Let c be g(-4). Let z = 20/27 - 2/27. Which is bigger: c or z?
c
Suppose -1 = s - 11. Which is smaller: 9 or s?
9
Let h = 199/5 + -40. Is h at most as big as 1?
True
Suppose 3*t = z - 199, 13 = -2*z + 3. Let x be 2/(-5) + t/(-20). Suppose -4*f - 5*h = 1 - 14, -x*h + 21 = -2*f. Which is smaller: f or -2?
f
Let i(f) = f**3 - f**2 - f + 1. Let h(u) = -u - 1. Let l be h(-3). Let q be i(l). Let o(x) = -x**3 - 2*x**2 + 2*x - 1. Let j be o(-3). Is q equal to j?
False
Let t = -0.73 + -1.27. Do t and -32 have the same value?
False
Let i be ((-4878)/27)/((-20)/6). Suppose 4*h - 3*p - 196 = p, 20 = 4*p. Let z = h - i. Which is smaller: -1 or z?
-1
Let t = -2.1 - -2. Which is smaller: t or -1/4?
-1/4
Let a = 4.1 + -4. Let v = -24 - -25. Is v at least a?
True
Let j(b) = -b**2 + 5*b - 3. Let q be j(4). Let i be q*-1*(0 + 1). Is -1 >= i?
True
Suppose -p = 5*g - 62 - 74, 0 = 3*g - 2*p - 92. Is 1/3 <= g?
True
Let b = -36 - -20. Is b > -17?
True
Let k(c) = -c**2 - 7*c + 11. Let h be k(-8). Suppose m - 2*q = -h, -3*q = 3*m + 4 - 13. Are m and 2 unequal?
True
Let n be -1 + 6/(-4 + 2). Let y be (n/(-2) + -12)/2. Which is smaller: -2 or y?
y
Let h = -13 - -11. Let o be (2/(-4))/(h/4). Is 0.4 < o?
True
Suppose 3*z - 40 = -5*z. Which is greater: z or 4?
z
Suppose 0 = -4*x - 4*n - 0 + 16, 4*n - 16 = x. Let h = -32 - -159/5. Which is smaller: x or h?
h
Let s be ((-9)/8)/(25/2020). Let i = -91 - s. Which is greater: 1 or i?
1
Let r = 42.963 - 43. Is -2 at most r?
True
Let s be 3/(-2)*20/(-135). Let k be (-3)/1 - 138/(-42). Are s and k equal?
False
Let n(d) = -d**3 - 8*d**2 + 5. Let b be n(-8). Let k(s) = s**2 - 5*s + 4. Let z be k(4). Suppose z = 2*f + 1 - b. Is f at least as big as 2?
True
Let s(f) = f**2 + 8*f - 8. Let m(z) = 2*z**2 + 7*z - 7. Let j(h) = 2*m(h) - 3*s(h). Let t be j(9). Is t >= 2/55?
True
Suppose -5*w = 3*d - 5*d, -2*w + 24 = 4*d. Which is bigger: d or 4?
d
Let r = -40.1 + 42. Let c = r - 2. Let n = 4 + -3.9. Which is bigger: c or n?
n
Let u be (-4)/9*(-3)/10. Let m(j) = -j - 11. Let o be m(-9). Let t(b) = -b**3 - 3*b**2 - 3*b - 3. Let d be t(o). Which is smaller: d or u?
d
Let x be 9/(-54) + (-2)/(-4). Suppose 5*o - 23 = -4*l + 2, 19 = 4*o + 3*l. Are x and o nonequal?
True
Suppose -3*l = 2*d - 6, 3*d + 10 = 6*l - l. Let s = -1 - 0. Let g be (2/16)/(s/2). Is l at most as big as g?
False
Suppose 3 - 1 = f. Let p be 6 - -2*(f + -3). Suppose -5*i = 2*r + 9, -i = -p*i + r - 1. Which is smaller: i or -2/7?
i
Let p = 14 - 22. Is -8 > p?
False
Suppose -10 = 4*d + 2*s, 2*s = 5*d + s - 5. Let z be 2/(-1*2) + 2. Is z >= d?
True
Suppose 4*x + 3 + 1 = 0. Is 5 bigger than x?
True
Let l = 51 + -36. Which is bigger: l or 13?
l
Suppose 5*s - 30 = -5*j, 0*j = s + 3*j - 8. Which is greater: 3 or s?
s
Let b = -909 + 9111/10. Let k be ((-26)/4)/((-10)/4). Let t = k - b. Is t less than 2?
True
Suppose 0 = 3*c - c - 44. Let g be 0 - 3 - (-64)/c. Suppose 5 = 2*m + 3*m. Is g <= m?
True
Let x = -13 + 13. Let p = -60 + 237/4. Which is greater: x or p?
x
Suppose -13 = 2*g - 3*p, -g - p + 6 + 0 = 0. Suppose 0 = -u + 2 - g. Let s = -105 + 528/5. Is s less than or equal to u?
True
Let r = -7254 + 4617. Let g be (-2)/(-7) - r/(-42). Let w = g + 61. Are -0.1 and w equal?
False
Let q = 143 + -1429/10. Suppose -b + 0 = 5*g - 2, -2*g = b + 1. Are q and g non-equal?
True
Suppose 2*l + 3*j - 15 = -l, -l - 5*j + 25 = 0. Suppose 0*w + w = -5*u - 6, l = 2*w - 2*u. Suppose 0 = -5*c + h - 2 + 3, 3*h = -3. Which is smaller: c or w?
w
Let o = 1093 + -1092. Let y = -421 + 29051/69. Is y equal to o?
False
Suppose -1 - 3 = 4*t, 3 = -c + 2*t. Let r = c + 8. Suppose 6*k - 3*k = r. Does 1 = k?
True
Let u = -24 - -25. Which is smaller: u or 1/10?
1/10
Suppose 5*b + 5*p + 11 - 1 = 0, -2*b - 4 = -2*p. Let l be (-5)/(-4) + (-2)/8. Suppose 4*y = -2*t + 14, -l = -0*t + 5*t + y. Is b at most t?
True
Let h = 22 + -15. Is h at most as big as 9?
True
Let x = 415/6 + -109/2. Is 14 < x?
True
Suppose 8 = -f - 4*f - 3*b, -4*f + 2*b = 2. Let r(u) = u - 5. Let p be r(7). Suppose -3*y + p*y - 2 = 0. Is f at least y?
True
Let z be 1*(-43)/4 - 27/(-36). Is z at least as big as -11?
True
Let h = -83 - -83. Is h equal to -15?
False
Let o = -2 - -4. Let d be 2/4*-2 + o. Let s be -3 - (6 - (-74)/(-8)). Which is smaller: s or d?
s
Let b = 51/2 + -26. Let l be 1 + 798/(-8) - 2. Let i = 100 + l. Which is smaller: b or i?
i
Let o(k) = -4*k**2 - 9*k + 9. Let t(d) = d**2 + 2*d - 2. Let b(y) = 2*o(y) + 9*t(y). Let u be b(1). Are -1/9 and u unequal?
True
Suppose -5*w + 189 + 4031 = 0. Let c be w/210 - 8/28. Let r = c + -17/5. Which is smaller: r or -0.1?
-0.1
Let u = 0.05 + 0.03. Let n = u - 0.08. Which is smaller: -2/15 or n?
-2/15
Let a be ((-4)/(-16))/(2/(-8)). Is a at most as big as -0.07?
True
Let p be (-4)/(-16) + 23/4. Suppose -2*b = -p*b - 16. Is b smaller than -4?
False
Let y = -6 - -4. Let t(f) = -f**3 - 7*f**2 - 7*f - 3. Let m be t(-6). Suppose -2*h - 21 = 3*b, -11 = -m*h + 5*b - b. Does y = h?
False
Suppose -j = -5*j - 2*i, -5*j - 3*i = 1. Let f = 5151 - 15320/3. Let y = -44 + f. Is y at least j?
False
Let f = -6.08 + 6. Let r = f - -0.18. Which is bigger: r or 0?
r
Suppose -4*f - f = -45. Let y = -8 + f. Is 0 less than or equal to y?
True
Suppose c = 4*g + 13, -17 = 4*g + g - c. Let j be (0/1)/(-3 - g). Is 0 at least j?
True
Let i = -1267/310 + -15154403/6510. Let d = i + 2333. Let a = -12/7 + d. Is a greater than or equal to -1?
True
Suppose -5*l + 13 = 5*r - 12, -4*r = 2*l - 16. Suppose -r*x - 12 + 0 = 0. Are x and -4 nonequal?
False
Suppose -8*m + 13*m = -15. Which is smaller: 8 or m?
m
Suppose 4 = -a - 0. Let t be (175/(-10))/7*2. Which is smaller: t or a?
t
Suppose 6*j = 3*j. Suppose j = 2*s - s. Is s <= 1/14?
True
Let c(g) be the third derivative of -g**5/60 + g**4/24 + g**3/3 + 2*g**2. Let v be c(0). Let s = -1/35 - 4/7. Which is bigger: v or s?
v
Let k = 7 - 5. Let f be (2 + -1)/(k/8). Suppose -4*g + f = -0. Which is bigger: 2 or g?
2
Suppose 0 = -j - 3*r + 5 + 17, -3*j + 3*r + 42 = 0. Suppose 0 = 18*f - 4 - 302. Is j greater than or equal to f?
False
Let y = -7002/11 - -18872/33. Let c = y - -64. Which is bigger: 0 or c?
0
Let q be (2 - 4) + (-2)/(-1). Suppose -3*w = -q*w - 15. Let k = -12 + 18. Which is smaller: k or w?
w
Let a = 1.09 - 1. Let k = -2.09 + a. Is k > -2?
False
Let j = 1.09 - 0.09. Let a be (-1)/(-3) + 68/(-6). Let c be (-4)/(-14) - a/(-14). Which is smaller: j or c?
c
Let u(p) = p**2 - 3*p - 4. Let w be u(4). Suppose 4*j = -w*j. Suppose j = l + l. Is l smaller than 1?
True
Let a = 5.2 - 7. Let p = a - -0.8. Which is smaller: p or -0.1?
p
Let o = -3 + 3. Let t be 1 + (o/(-1) - 2). Suppose -4*i = -i + 6. Which is bigger: t or i?
t
Let x(s) = s**3 - 4*s**2 - 4*s - 1. Let v be x(5). Let f(b) = -3*b. Let c(z) = -2*z - 1. Let m(a) = -4*c(a) + 3*f(a). Let t be m(v). Which is smaller: t or -1?
-1
Suppose -3*o + o + 4 = 0. Suppose 0*a + 2 = o*a. Let b be 8/6*(-3)/(-12). Which is greater: a or b?
a
Let l = 0.047 - -1.913. Let t = l + 0.04. Let x(h) = h**3 + 7*h**2 - 7*h + 8. Let s be x(-8). Which is smaller: t or s?
s
Let r = -2 + 3. Let z = 24232 - 5452096/225. Let s = z + -6/25. Which is bigger: r or s?
r
Let y be (216/(-32))/((-2)/16). Let m be 59/(-18) - 12/y. Is m != -3?
True
Let y(j) = -3*j - 24. Let t be y(-11). Which is smaller: 100/11 or t?
t
Let g be (-1)/12*2 + (-11)/(-66). Suppose 0 = -o + 1 + 1. Let b be (48/(-10))/o + 2. Is b < g?
True
Let i = -41 - -41. Let n = 1.2 + -1. Do n and i have the same value?
False
Suppose -5*g + 0*z - 3*z = -20, 5*z = 0. Let h be (-6)/9 - g/(-6). Let k = 3 - 5/2. Is k > h?
True
Suppose -5*g - 39 = -2*x, 0 = -5*x - 5*g + 15 + 30. Let a(y) = -y**3 + 11*y**2 + 11*y + 10. Let z be a(x). Is -1 greater than z?
True
Suppose 3*k - 1 + 4 = -2*z, 3*k = -3. Is -1/132 > z?
False
Let y be ((-12)/(-10))/((-2)/(-5)). Suppose y = 4*i - 1. Let b be (-2)/3 + 14/12. Are b and i non-equal?
True
Let d = -12 + 20. Let n = d - 6. Which is smaller: 1 or n?
1
Let u = 14 + -29/2. Which is smaller: -0.2 or u?
