et d = -36 - -35. Let s be d - -3 - (6 + 7). Which is greater: s or -13?
s
Let v be 14/(-14) + -2 + 2. Is v > -1/64?
False
Let u = 2.11 + -2.16. Let c = 0.5 - 0.65. Let g = u + c. Which is smaller: 0.1 or g?
g
Suppose 76 = -3*b + b. Let y = -16 - b. Let p = y + -31. Which is smaller: -10 or p?
-10
Suppose -5 = 3*i - 14. Is i equal to -26?
False
Let h = 29365/7463 + -23/439. Which is smaller: h or 2/7?
2/7
Let x be 5 + 4/6*-6. Let z = -166 + 1825/11. Is x less than z?
False
Let q be (-96)/20*-4*(-5)/15. Is q at most -5?
True
Let y = 0 + -1. Let c be y*14 - (-4 - -4). Let h be (-20)/126 + 4/c. Which is smaller: h or 1?
h
Suppose -2*o + 41 = -3. Let x = -54 + o. Let z = -20 - x. Is 14 not equal to z?
True
Let u(q) be the third derivative of q**5/60 + 7*q**4/24 - q**3/6 + q**2. Suppose -8*r = 71 - 15. Let s be u(r). Which is greater: -2/5 or s?
-2/5
Let i = 140 + -140. Are i and 6/19 equal?
False
Let y = 22.82 - 23. Let i = y - -0.08. Let b = -187/720 - -3/80. Which is bigger: i or b?
i
Suppose -57*k - 7*k = 123*k - 187. Let a = 12/77 - 425/2233. Which is bigger: a or k?
k
Let h be -2*(-1)/(-4) + (-81)/(-18). Suppose i + 2*i = -h*n + 11, 3*n + 5*i - 22 = 0. Which is smaller: n or 2/9?
n
Let m be (-8)/(-2) - (-1 - (-12)/4). Let z be (-4 - -5)/(16/18). Is m bigger than z?
True
Let s = 114 + -117. Is -8 at most s?
True
Let m(i) be the third derivative of -i**4/6 - 3*i**3/2 + 6*i**2. Let b be m(-4). Is b less than or equal to 6?
False
Suppose 0 = 5*d - 3*d - 56. Let u = 27 - d. Which is greater: -2/25 or u?
-2/25
Let p be (93/9 + 1)/(4/6). Let f = p + -35. Suppose 4*x + 68 = -0*x. Which is smaller: f or x?
f
Let r = 337/1380 - -2/345. Which is smaller: -362 or r?
-362
Let r = -1.11 + 0.8. Let s = r - -0.41. Is s <= -0.13?
False
Suppose 54*k - 59*k - 2*o + 5 = 0, -3*k = 3*o - 12. Which is bigger: k or -24/95?
-24/95
Let a = 7 + -14. Let u = a + 6.2. Let l = -0.5 - u. Is 0.2 > l?
False
Let o(w) = w**3 - 14*w**2 + 13*w - 8. Let t be o(13). Let k be ((-4)/t)/(2/48). Let h be 22/8 + (-9)/k. Which is bigger: h or 0.1?
h
Suppose -4*f + 10 = 2. Suppose 0 = f*w - 45 + 51. Is -3 at most w?
True
Let f(y) = -5*y + 6. Let a(u) = 4*u - 6. Let j(q) = 4*a(q) + 3*f(q). Let b be j(11). Let p = b + 0. Is p at least as big as -1?
True
Let w be ((-4)/(-4))/((-1)/(-5)). Let c = 0 + w. Suppose 4*j + c = -j. Is -1 >= j?
True
Suppose -1 - 6 = -7*m. Let s = 16 + -16. Which is bigger: m or s?
m
Suppose 0 = -3*x + 3*j + 84, 0 = 2*j + 14 - 6. Suppose u - 4*u + x = 0. Suppose p + u = -p. Which is greater: 4 or p?
4
Let p be ((-2)/12)/(18/4 - 4). Is 120 greater than or equal to p?
True
Let u be ((-8)/(1792/(-20)))/((-8)/(-160)). Which is smaller: 3 or u?
u
Let t be 3/(-8) - (-30)/10. Which is smaller: t or 3?
t
Let t be (-6)/8*2 - -1. Suppose -4*s - 48 = -s. Let y = -17 - s. Do t and y have different values?
True
Suppose -5*t - 3*a - 80 = -0*t, 0 = 5*t - 3*a + 110. Is t smaller than -160/9?
True
Suppose -2*f + 2 = -4*a, -5 - 8 = -4*a - 3*f. Which is smaller: a or -4/249?
-4/249
Let b = 2224/143793 + 2/1229. Is 0 at most as big as b?
True
Let m = -1903.9 + 1904. Let f = 6 - 4.4. Let h = -2 + f. Which is bigger: h or m?
m
Let l = -0.278 - -0.378. Which is bigger: l or 54?
54
Let y = -1358 - -1358. Which is bigger: 1/820 or y?
1/820
Suppose 11*r = 18*r - 1064. Which is smaller: 150 or r?
150
Let d(p) = 4*p**2 - p - 1. Let v be d(3). Suppose -6*i = 4 + v. Suppose -l = -5*l + 4*k - 16, -4*k = 3*l + 33. Is i < l?
False
Let k = -48 + 45.95. Let w = -0.05 - k. Let g = 38 + -37. Is g >= w?
False
Suppose -2*y + 599 = g + 144, -5*g = 2*y - 435. Let s be ((-55)/(-100))/(2/835). Let a = y - s. Is 1 smaller than a?
False
Let o = 399 - 396.7. Is o <= -0.4?
False
Suppose -5*x - 2*y = -2*x - 10, -10 = 5*x - 2*y. Let b = 150/83 + -635/581. Which is bigger: b or x?
b
Suppose 0 = 3*n - 4*n + 4. Suppose -2*g = -n*g + 10. Suppose g*y - 14 = -4*b + 5*b, y - 5 = -2*b. Is 0 greater than y?
False
Let y(w) = -w**3 + 20*w**2 + 44*w + 1. Let g be y(22). Which is smaller: -2/7 or g?
-2/7
Let r be (4 - 60/14) + 90/21. Suppose 2*n + 2*n - 20 = 0. Suppose n*v = -r - 6. Which is smaller: v or -3/4?
v
Let f be 3/((-3)/(-2)) - -1. Suppose 0 = 8*m - 84 + 12. Suppose -f*x + 6*x + m = 0. Are x and -0.4 unequal?
True
Let u = 1 + -0.94. Let z = -10 + 10.16. Let y = u - z. Are y and -6 equal?
False
Suppose 1 = c - 7. Let b be ((-2)/4*-3)/((-6)/c). Are b and -1/21 equal?
False
Let i(k) = -2*k**3 + k**2 + 13. Let n be i(5). Which is smaller: -6 or n?
n
Let v = -7.72 - 5.28. Let a = 40/9 + -218/45. Which is smaller: a or v?
v
Suppose 0 = -5*i + 13*i - 9*i. Let k = -1 + 0. Let u be (-129)/(-558) + k/6. Is i less than or equal to u?
True
Let r(u) = u**3 - 8*u**2 + 8*u - 6. Let q be (-18)/(-6 + 4) - 2. Let k be r(q). Let m be (k - -2)/((-55)/10). Are 0 and m non-equal?
True
Suppose -2000*r - 790 = -1995*r. Which is smaller: r or -159?
-159
Let k be ((-1)/(-21))/((-6)/(486/261)). Which is smaller: 1 or k?
k
Let p be 1 + 3 + 151182/(-37851). Which is greater: p or 0?
p
Let g be (-160)/10 - (1 + 2 + -3). Do -84/5 and g have different values?
True
Let l = -352 - -351.9. Which is bigger: l or 17?
17
Suppose -3 - 8 = -4*d + s, 5*d = 4*s + 22. Suppose -5*v = -z + 4, -9*z = d*v - 11*z + 8. Which is bigger: 2/3 or v?
2/3
Let x = -73 + 74.9. Let b = -2 + 0. Let z = x + b. Which is smaller: z or -2/3?
-2/3
Suppose -10 = 2*r, -6*c + c + 5*r = -95. Let q = 26 + -12. Is q at most as big as c?
True
Let j = 21 + -20. Let m be 33/88*j/(-3). Let t = -1 - 0. Which is bigger: t or m?
m
Let b(j) = -5*j**3 - 7*j**2 - 45*j + 29. Let h(z) = 2*z**3 + 2*z**2 + 15*z - 10. Let v(u) = 3*b(u) + 8*h(u). Let q be v(7). Let l be (-7)/3 - -1 - 0. Is q < l?
False
Suppose 0 = 2*p + w - 7, -4*p + 4 - 11 = -5*w. Suppose k + 5*t = -p*k - 13, -3*t - 23 = -2*k. Let b = -5 + 11. Is k less than b?
True
Let w = 3.759 + 0.241. Is 0.092 >= w?
False
Let x = -25 + 29.4. Let g = x - 1.5. Let a = 3 - g. Is 7 greater than a?
True
Let p = -20 - -21. Let x be 12/(-8) - (-1 - p). Which is smaller: 1 or x?
x
Let y be 111 - 30 - ((0 - 0) + -1). Is 82 <= y?
True
Let a = -1600 + 1562. Which is greater: a or -118/3?
a
Let m = 0.06 - -0.21. Let v = m - -0.03. Let n = v + 3.7. Which is bigger: n or -1?
n
Let n = 0.237 - 0.337. Does 142/3 = n?
False
Let k be -1 + (4 - 3)*1. Suppose -2*l + 4 = -4, k = -4*x - 3*l + 28. Suppose 3*t - t = 4. Are t and x nonequal?
True
Let l be (-6)/50*2/(-3). Let i(h) = h**2 - 9*h - 20. Let b be i(11). Suppose -4*n = 2*p - 9 + 3, b*p = 2*n. Is l greater than p?
False
Let k = -837 + 25949/31. Which is bigger: k or 1?
1
Let j = 0 + 0.15. Let x = j + -0.05. Let p = -35 + 33. Which is smaller: x or p?
p
Let z = 594 - 769. Are z and -175 unequal?
False
Let u be (-24)/40*(1 + 12/(-9)). Does u = 35/11?
False
Let z be (((-322)/35)/(-23))/(2/10). Is z equal to 27/32?
False
Suppose -4*s + 692 - 60 = 0. Let z = 2688/17 - s. Suppose 14 - 14 = 44*r. Do z and r have different values?
True
Let o be (39 - 2)*(-3 - -2). Suppose -4*z - 94 - 53 = 5*b, 0 = -3*b + 3. Which is smaller: o or z?
z
Let a = -108638/97 - -1120. Which is bigger: 1 or a?
1
Let p = -9.8 + 0.8. Let c = -17 - p. Let n be ((-36)/(63/7))/(-16 + 2). Is n greater than c?
True
Suppose -4*y = a - 591, a + 199 = 5*y - 551. Are 147 and y equal?
False
Let c = 13.35 - 0.35. Let z = c - 12. Is z less than -29?
False
Suppose -2*k + 8 = -5*s - 38, 4*s - k + 38 = 0. Let m be 12/s + 1 + 12183/465. Is 26 >= m?
True
Let o = -2/601 - 1168/10217. Suppose -3*m = -2 - 10. Suppose -m*d - 5 = -2*d - 3*j, 4*j - 1 = -3*d. Which is greater: o or d?
o
Let i be (21*(-4)/6)/(-2). Let n = 0 - i. Let d be (-384)/(-1736) - (-2)/n. Which is bigger: d or 0?
0
Let l(v) be the second derivative of v**4/12 - v**3/6 + 3*v**2 + 65*v. Let y be l(0). Let n = 16 - 10. Is y at least as big as n?
True
Let z = -2/6307 - 37732/346885. Is 1 < z?
False
Let f = -162 + 65. Is -99 at least f?
False
Let f be 68/(-12)*-3 - (-2)/2. Let v(p) = -4*p + 59. Let w be v(f). Which is bigger: w or -14?
w
Suppose 6*j - 3 - 3 = 0. Let d be j/(-2) - (-22)/4. Suppose 85 = -5*v + 4*h, -d*h = -2*v + 1 - 35. Which is smaller: v or -18?
-18
Let v = 9 + -6. Suppose 0 = 6*b - v*b. Suppose 4*m + 4 = -b. Which is smaller: -2/3 or m?
m
Let o be 1/3 - (-14)/(-42). Is -1/155 big