s w equal to 4?
True
Let a be ((-36)/8 + 4)*12/(-1). Suppose 3*j + 4*t = 21, -4*t = 5*j - 23 - 4. Which is bigger: j or a?
a
Let y = 46 + -42. Let h(k) be the second derivative of -k**5/20 + k**4/3 + k**3/3 - 3*k**2 - k. Let i be h(y). Does i = 4?
False
Let w be 0 - (-2)/(1 + 1). Let v = 13/6 - 149/66. Let m = 7/44 - v. Is m greater than or equal to w?
False
Suppose -3*j + 4 = -5*a + 23, -4*a - 4*j + 28 = 0. Suppose -11 = a*u + 4. Is u greater than -3/2?
False
Let b = -68 - -75. Let x(d) = d + 6. Let i be x(-6). Suppose z - 3*r = -7 - 2, -4*z - 5*r + 49 = i. Which is smaller: z or b?
z
Let i(a) be the third derivative of a**5/60 - 5*a**4/24 + a**3/3 - 2*a**2. Let v be i(3). Which is smaller: -1 or v?
v
Suppose 0 = -0*q + 5*q - 10. Which is bigger: q or 3/5?
q
Let c = -56 + 55.8. Which is greater: -2/7 or c?
c
Let f be (34/3)/((-4)/30). Let j be (4/f)/(2/5). Is j != -1?
True
Let o be -4 + (30/7)/(-6). Which is smaller: -4 or o?
o
Suppose 2*o + 5*h = -2*o + 4, 5*h = 2*o - 2. Which is greater: -1/10 or o?
o
Let o = -1 + 1. Let h be (o + 0)/(2 - 4). Let d be 50/60*3/(-10). Which is smaller: d or h?
d
Let h = 72 - 74. Is -11/7 at most as big as h?
False
Let n = 29.06 + -30. Let c = -0.16 + n. Let r = c - -1. Which is bigger: -1/6 or r?
r
Suppose -2*y = -3*y + 2*i - 1, 0 = -4*y + 2*i + 2. Is y bigger than 2/3?
True
Suppose -4*l + l + 21 = 0. Let t be 12/l - (-4)/14. Let s = 3.3 + -4.3. Which is smaller: t or s?
s
Suppose -w + 2*w = 1. Is w at most 7/5?
True
Let p = 8 + -7. Is 0 at least as big as p?
False
Suppose 5*i + l + 39 = 0, -4*i + 2*i - 22 = 2*l. Let u be 99/(-21) + 2/i. Do u and -3 have the same value?
False
Let k = 6.83 + 0.17. Let u = -19 - -15. Let i = 3 + u. Which is greater: k or i?
k
Suppose 8*y + 12 = 5*y. Let n(a) = a + 3. Let z be n(0). Suppose -17 = 3*k - 4*t, 4*k = z*t + 2*t - 22. Which is greater: y or k?
k
Let p be (-9)/7 - (-12)/42. Which is greater: p or 0?
0
Let b = 13/28 - 3/14. Let w be ((-44)/10 - -4) + (-4)/(-10). Which is smaller: b or w?
w
Let w be 3 - (-4)/(8/(-6)). Is w less than 1/3?
True
Suppose 5*l + p = 33, 0*p + 18 = 4*l + 5*p. Let k = -15/2 + l. Is k < 0.3?
True
Let j be (-47)/(-1)*((-5 - -2) + 1). Is j smaller than -94?
False
Suppose -25 = -5*n - 5*d, 0 = 5*n + 4*d - 29 + 8. Which is smaller: -1/2 or n?
-1/2
Let u be (-34)/(-8) - 2/8. Suppose -l + 7*v + 29 = 2*v, 4*l = 5*v + 41. Suppose 0 = u*y + 4*s - 12 + l, -5*s = 0. Is y != 1?
True
Let s = 1 + 7. Which is smaller: s or 7?
7
Suppose -117 = 4*b + b - 2*d, 3*b - 4*d + 59 = 0. Is -26 > b?
False
Let i(g) = g**3 - 5*g**2 - 6. Let x be i(5). Which is greater: x or -24/5?
-24/5
Let h = 1.5 + 2.5. Is h smaller than -2/55?
False
Suppose 0 = 4*k - 8*k - 76. Let l = k - -75/4. Let r = -8 - -8.3. Which is smaller: l or r?
l
Let j be -1 - 5/(20/(-24)). Suppose -9 = j*x + 86. Is -19 > x?
False
Let k = -7 - -15/2. Let b = -7.93 - -8. Let t = -0.13 - b. Which is smaller: k or t?
t
Let g be (-6)/(-3) - 14/(-2). Let c be 0/((g - 0)/(-3)). Is c less than -1?
False
Suppose -3*s + 10 = -2*s. Suppose t + s = -4*a - 7, -3*a = -3*t + 9. Let z(i) = -i**3 - 3*i**2 - 3*i - 1. Let d be z(-2). Which is smaller: t or d?
t
Let g = -34 + 27. Which is greater: -5 or g?
-5
Let k(h) be the first derivative of -25*h**4/4 + h**2/2 - 1. Let d be k(-1). Which is bigger: d or 23?
d
Let i = 28 + -18. Do i and 9 have the same value?
False
Let x be (-9)/(-4) - (-3)/(-12). Suppose x*f - 4*f = -5*b - 10, -5*b - 40 = 4*f. Which is bigger: -7 or f?
f
Let o be (1 + 4)*6/(-15). Is o not equal to -2?
False
Let j = -112 - -133. Which is bigger: j or 17?
j
Let d = -1 - -1. Let z be (-3)/(-5) + (-203)/355. Let k = z - 75/142. Which is bigger: k or d?
d
Suppose 0 = 4*l - 2 - 6. Let d be 10/(-4) - l/4. Suppose 5 = -2*s + 1. Which is smaller: s or d?
d
Suppose -m + d + 4*d = 5, 11 = m + 3*d. Which is bigger: m or 6?
6
Let o = -4 - 3. Let t = o - -8. Is t smaller than 0.07?
False
Let l(r) = 2*r + 14. Let z be l(-16). Is z equal to -17?
False
Let t = 60 - 299/5. Which is smaller: t or -1?
-1
Let m = -218 + 8504/39. Do m and -1 have the same value?
False
Let p(h) = -h**2 + 11*h - 7. Let a be p(10). Suppose 8*b = a*b. Let l be (1 - 1) + (0 - b). Is 3 bigger than l?
True
Let t = 1.91 - -0.09. Are 0 and t unequal?
True
Let p = -6 - -6. Let q = -6.1 - -6. Let x = 0 - q. Do p and x have the same value?
False
Let u = 0.58 + -0.5. Let n = u - 0.03. Let d = 0.05 - n. Is d at least as big as -0.3?
True
Let a = 3151/5 - 636. Which is smaller: a or -6?
-6
Let p be (-8)/6*1068/7. Let n = p - -204. Suppose -8 = -f - 4*s, -f - 3 - 3 = -3*s. Is f at most as big as n?
True
Let d be (36/8)/(7/28). Which is bigger: 14 or d?
d
Let t = -37/129 + -2/43. Let u = 188 + -188.1. Which is smaller: t or u?
t
Let l = -2351/13 + 181. Is l bigger than -4?
True
Let a = 123 - 124. Is -1/16 less than a?
False
Let f = -5 + -8. Let s be 39/(-2)*20/30. Is s <= f?
True
Let c = -3/29 + -19/377. Let w = 12 - 6. Let k be ((-3)/(-4))/(9/w). Which is greater: c or k?
k
Let u be (-60)/(-2)*(-5 + 4). Let k = -18 - u. Suppose k = -3*h + 7*h. Which is smaller: h or 4?
h
Suppose 31 = x - 3*b, 4*b + 0*b = 4*x - 124. Let t be x - 1/(-3 - -2). Suppose s = 6*d - 2*d + t, -4*s = -d - 8. Which is bigger: d or -7?
-7
Let d = -6 + 2. Let a = 30 - 25. Let q = d + a. Which is greater: q or -4?
q
Let o = -0.95 - -1.1. Let d = 0.2 - o. Which is smaller: d or 2/5?
d
Suppose -2*b + 6 + 4 = -5*p, 3*p - 4*b = -20. Suppose -y + p*y + 3 = 0. Which is smaller: y or 2?
2
Let i be (-58)/8 + (-12)/16. Is i less than -10?
False
Let w = 78/11 + -7. Which is bigger: -1 or w?
w
Let h(d) be the first derivative of d**4/24 - d**3/6 + d**2 + 2. Let z(k) be the second derivative of h(k). Let l be z(0). Is -1 smaller than l?
False
Let l be (-2)/(198 + -1 + -2). Are l and 1 nonequal?
True
Let g = -75.3 + 79. Which is bigger: g or -2/7?
g
Let v be 3/(-444)*(-8)/3. Which is smaller: v or 1?
v
Suppose 0 = 2*v - 11*v - 18. Which is bigger: v or 12?
12
Let v(a) be the second derivative of a**5/20 - 2*a**4/3 - 4*a**3/3 - 4*a**2 - a. Let h be 2/(-5) + 470/50. Let w be v(h). Is 1 at most w?
True
Let j = 7 + -14. Let o = j + 6.6. Let f = o + 0.3. Do f and -3/2 have the same value?
False
Let o = 27624/5 + -63894302/11565. Let h = 40865/2313 - o. Let k = h + -17. Is 2/3 less than k?
False
Suppose 6*i = 3*i. Suppose 0 = -2*l - i*l. Suppose -b + 1 + 0 = l. Which is smaller: b or 1/4?
1/4
Let l(d) = 5*d**2 + 8*d + 6. Let t(j) = j**2 - 1. Let u(r) = -l(r) + 4*t(r). Let c be u(-7). Do c and -2 have different values?
True
Let z(n) = -n**3 - 14*n**2 - 14*n - 17. Let k be z(-13). Is k at least -4?
True
Let o(u) = 3*u**3 - 5*u**2 + 8*u - 4. Let s be o(3). Is s less than -1?
False
Let t(w) = -w**2 + w + 2. Let i be t(2). Let r be 8/(-6)*(i + 3). Let b(d) = d**2 + 4*d - 1. Let m be b(r). Is m at most as big as 6?
True
Let p be 4*(-3)/63*-3. Which is greater: 2 or p?
2
Let p be (-6)/(-15) - (-256)/(-40). Which is smaller: -5 or p?
p
Let r(a) = a**3 - 11*a**2 - 13*a + 9. Let b be r(12). Is b bigger than -4?
True
Let y be 5/3 + -2 - (-22)/(-6). Does -6 = y?
False
Let q(a) = -a + 2 + 1 + 3*a**3 + 2*a**2 - 2*a**3. Let w be q(-3). Let h = w - -6. Is h < 3?
False
Let d = 1.2 - -1.1. Which is bigger: d or -1?
d
Let m = 1 - -1. Suppose -m*v + 4 = -0. Let d be -1 + -1 + 3 + 2. Is d != v?
True
Let z = -8 + -2. Let j be z*(2/(-25))/1. Is 1 <= j?
False
Let x = -34 - -24. Is -10 smaller than x?
False
Let v = 0 + -7. Let j = v - -10. Let f = j - 2.8. Which is greater: -0.1 or f?
f
Let i = 847 + -112657/133. Let g = i + -212/1197. Let s = -149/2 - -73. Is g >= s?
True
Let y(p) = -p + 10. Suppose s - 2*s + 9 = 0. Let o be y(s). Let t = 2/33 + 56/165. Which is smaller: o or t?
t
Let s = -7 - 2. Which is bigger: s or -1?
-1
Suppose 3*k - 2*k + 7 = -2*v, 3*v - 2*k - 7 = 0. Do v and -1 have the same value?
True
Let u = -1.5 - -2. Let j = -2.5 - -2.5. Which is greater: j or u?
u
Let g(j) = j**2 - 10*j + 4. Let p(m) = 2*m**2 - 19*m + 8. Let o(y) = 11*g(y) - 6*p(y). Let n be o(3). Let d = 26.5 + -26.3. Is d less than or equal to n?
False
Let q = 44/45 + 20/9. Which is smaller: q or 2?
2
Let u be 4/10 + (-16)/(-10). Suppose u*d + 15 = 7*d. Suppose 2*k + 24 = d*k + 4*i, i - 9 = -k. Is 5/2 smaller than k?
True
Suppose -3*c - 3*x = c - 8