y - 4*r + 1 = -0*y. Suppose -23 = -2*x - 71. Let b be 2/3 + x/y. Which is smaller: -1 or b?
b
Let j be -7 + 0 + (-1 - 2). Let y be -1 - 0 - (-15)/j. Is y < -2?
True
Let n be (0/(-2))/(0 + 2). Suppose 0*c + 2*c - 12 = n. Let s(y) = y - 7. Let p be s(c). Is 1 less than p?
False
Let q = 38.6 + -39. Which is bigger: -1/3 or q?
-1/3
Let x(d) = d - 3. Let v be x(0). Let c be -1 - (v + (-66)/(-32)). Which is smaller: c or 0?
c
Let z(p) = 2*p**3 - p + 1. Let c be z(1). Let y be (8/(-30))/(c/(-3)). Which is smaller: 0 or y?
0
Let c = 287726030 + -2701747418903/9390. Let t = 2923/244140 - 11/780. Let i = t - c. Which is bigger: 0 or i?
0
Let p = 4.8 + -4. Let n = -0.2 - p. Let c = -3 - n. Which is bigger: c or -1?
-1
Let n = 135 - 134.09. Let l = -0.09 - n. Which is bigger: 2 or l?
2
Let j = -5 + 5. Let a(i) = i**2 - 9*i - 20. Let z be a(11). Which is greater: j or z?
z
Suppose 4*v = -0*v + a, 0 = 2*v - 4*a. Let b be v/((0 - -1)*1). Is -6/11 not equal to b?
True
Let x(k) = -k**3 - 4*k**2 + 5*k + 6. Let v be x(-5). Which is bigger: -1 or v?
v
Let r be -6 + 7 - 33/30. Which is smaller: -1 or r?
-1
Let o = -4.11 + 0.11. Let t = -53 + 57. Let c = t + o. Which is smaller: -5 or c?
-5
Suppose 0*y + 12 = -4*y, -o - 3*y - 12 = 0. Which is greater: 0.1 or o?
0.1
Let g = 29 - 29. Let t = -131/3 - -44. Are g and t non-equal?
True
Let k = 0.14 - -5.86. Is k equal to 0.4?
False
Suppose 2*b - 5*s = 10, 6 - 1 = b + s. Suppose 0*z - b*x + 10 = 3*z, x - 2 = -z. Which is greater: 2/35 or z?
2/35
Let q = -16.4 + 16. Is -0.2 > q?
True
Let i be ((-2)/3)/((-2)/(-3)). Let y = i + 2. Let w be -1 + y*(1 - 0). Is 1 > w?
True
Let f = -295/1287 + 1/143. Let j be (-1 - -1*2)/(-1). Which is smaller: j or f?
j
Suppose -2*p = -p + 1. Let a be 1/(p/(-2) - 0). Is a greater than or equal to 6/7?
True
Let y(i) = -i**2 + 9*i + 2. Let c be y(4). Which is greater: c or 20?
c
Let g be (-3)/6*24/(-2). Suppose 10 = v - 0. Let m = g - v. Is -4 <= m?
True
Suppose -5 - 1 = 2*k, -5*y + 5*k + 30 = 0. Suppose -q + 2*o = -10 + y, o + 17 = 5*q. Let h be (0 - -2 - q) + 1. Is -0.1 > h?
False
Let m = 14.94 - 0.44. Let w = m - 2.5. Let q = -10 + w. Is q bigger than 3/7?
True
Suppose 2*d + 3 = d, 10 = -2*t - 4*d. Which is bigger: t or 4/15?
t
Let q(l) = l**3 - 10*l**2 + 2*l + 4. Let x be q(10). Suppose 5*z - 2*d + x = -20, 4 = 2*d. Let a be (-2)/z + (-5)/52. Is a greater than -1?
True
Let j be 3*1 - 30706/143. Let z = j + 212. Which is greater: z or 1?
1
Let b(m) be the first derivative of -m**3/3 + 9*m**2/2 - 4. Let z be b(9). Suppose z = -0*u - u + 3. Which is greater: u or 2?
u
Let k = -2 - -4. Suppose 8 = 2*f - 2*c, -f - 3*c + 4 = -c. Let r be 0 + f/(-2) + k. Do r and 2/5 have the same value?
False
Suppose g + 4*g + 3 = -3*v, 2 = 4*g - 2*v. Suppose -s + g = 4, -d = 3*s + 27. Are -15 and d nonequal?
False
Let y be (-22)/4 - 3/(-6). Let l(m) = m + 6. Let b be l(y). Let q = 0 - b. Which is smaller: -3/2 or q?
-3/2
Suppose q - 20 = 2*o + 2*o, 4*q = 4*o + 32. Let u be (o/(-12))/((-2)/(-12)). Is 3/4 greater than or equal to u?
False
Let m be 4/(-42)*87 + (-4)/(-14). Suppose -f + 4*d + 24 = -5*f, 0 = 4*f - d + 34. Is m <= f?
True
Let z = 0.34 + -0.04. Let g = 229/3 + -77. Is z smaller than g?
False
Let w(y) = -y**3 - 3*y**2 - 3*y - 2. Let l be w(-2). Which is greater: l or 4/9?
4/9
Let s be 3 + -2 + 9/(-2). Is -5 bigger than s?
False
Let j(w) = -9*w - 1. Let g be j(-2). Suppose 0 = -k - 4*p + g, 1 + 8 = k + 2*p. Let l be (-12)/(-55) + 10/(-25). Is l > k?
False
Let l be 3 - (3 + -5)/(-1). Which is smaller: l or -1/14?
-1/14
Let g(k) = k**3 + 4*k**2 - 7*k - 11. Let f be g(-5). Which is smaller: f or 2/149?
f
Let w = 12 - 22. Let m = w - -9.9. Is 2/5 equal to m?
False
Let s(k) = k**3 + 7*k**2 + 9*k + 6. Let h be s(-6). Let t be (2/6)/(22/h). Let j be 3/9 - (-5)/(-15). Is t greater than or equal to j?
False
Let x be 13*(-3)/(-3 - 0). Suppose q = x - 4. Suppose -w - q + 7 = 0. Which is smaller: w or -4/7?
w
Suppose 4*k + 2 = 38. Suppose -k*b = -5*b. Is b greater than or equal to 8/9?
False
Let d be -1 - ((-4)/1 - -4). Is -1.3 at least d?
False
Let u(x) be the third derivative of x**6/120 - 11*x**5/60 + 11*x**4/24 - 5*x**3/3 - x**2. Let w be u(10). Which is bigger: -1/2 or w?
w
Let h = 0.62 + -0.52. Which is greater: h or 2?
2
Let p(x) = -2*x**2 - 1. Let y be p(-2). Is y < -12?
False
Let a be (-182)/(-42) - 2/6. Let v(i) = -i**3 - 2*i**2 + 3*i - 3. Let k be v(-3). Let x = a + k. Which is greater: 5 or x?
5
Let o = -12 - -13. Let q = 2 + 3. Suppose -o = q*d - 6*d. Is d equal to 1?
True
Let j(m) = -m**2 + 4*m - 3. Let t be j(2). Let k be (-116)/276 + t/3. Let d = k - 19/46. Is d equal to 2?
False
Let u = -4 - -7. Let l be 22/36 + u/(-6). Which is bigger: l or 1/2?
1/2
Let d(w) be the first derivative of -w**3/3 + 4*w**2 + 6. Let c be d(7). Is c <= 0?
False
Let f = 9 - 4. Let p = 0.6 + 4.4. Let o = p - f. Is o >= 0.1?
False
Let m = -966258/2994425 + -12/12425. Let d = m - 82457/3615. Let q = 23 + d. Which is smaller: 0 or q?
q
Let t = 32 + -26. Is t <= 6?
True
Let p = 4.04 - 0.04. Let s = p + -12. Which is greater: -2/5 or s?
-2/5
Let b(c) = c**2 - 5*c - c + 5*c - 2 - 2 + c**3. Let s be b(0). Which is smaller: s or -5?
-5
Let b = -251/5 - -51. Which is smaller: b or 2?
b
Let k = -5 - -4. Let z = 3 + -3. Let s be -1 - ((0 - k) + z). Does -2 = s?
True
Suppose 5*t - 51 = 3*v, 2*t + v = 3*v + 22. Suppose -2*s = s - t. Is s at least 3?
True
Let q = 173/2478 + 3/118. Is q <= 1?
True
Suppose 2*n = 24 - 6. Which is bigger: 10 or n?
10
Let a(x) = -x**3 + x + 2. Let d be a(0). Suppose i = 0, 3*u + i - 9 + 0 = 0. Suppose -d*z + 7 = 3*t, -5*t + 8*t + u*z = 12. Is t <= 0?
True
Let x be (2/3)/1*6/(-70). Is x at most 1?
True
Let i(l) = -l**3 - 3*l**2 - l + 2. Let o be (-62)/22 - (-10)/(-55). Let p be i(o). Let a = p + -3. Are -1 and a equal?
False
Let a(d) = -8*d - 29. Let t(r) = 3*r + 10. Let f(u) = 4*a(u) + 11*t(u). Let n be f(0). Let g = 7 + n. Which is greater: -2/19 or g?
g
Let y(j) = -j**3 - 4*j**2 - 3*j - 1. Let c be y(-3). Let b = -74/85 + 8/17. Which is greater: b or c?
b
Let f(c) = c**2 - 8*c + 7. Suppose 42 = 6*m + 6. Let i be f(m). Suppose k = -3*y - 11, -2*y + 0 = -k - 1. Is k less than i?
False
Let u = 118 + -107. Are 56/5 and u equal?
False
Suppose -3*r = -l - 10, -2*l = -5*l - 12. Suppose 5*t = 4*d - 99, -t - 3*t - 78 = -r*d. Is t greater than -18?
False
Suppose -1 + 6 = 5*c. Let g be ((1/8)/(-1))/1. Is g greater than c?
False
Let v = 0.044 + -0.055. Do v and 0 have different values?
True
Let y(l) = l**2. Let x be y(0). Let d = -349/5 - -70. Which is greater: x or d?
d
Suppose 0 = -6*o + 2*o + 3*d - 14, 0 = -4*o + d - 10. Is o at least 0.16?
False
Let o = -510 - -516.94. Let s = -7 + o. Let u = s + 3.06. Which is bigger: -0.1 or u?
u
Let g(a) = a**2 + 7*a + 15. Let t be g(-12). Let x = 223/3 - t. Is x at least -0.1?
False
Let h = 3.4 - 3.4. Are 4/3 and h equal?
False
Suppose 0 = -4*j + 3*x - 23, -4*x + 21 + 3 = -2*j. Let g = 3 - 6. Is j greater than or equal to g?
True
Let o be 4018/630 + (-3)/5. Is 6 < o?
False
Let m be -4 + 6 - (-1 - 0). Let f be m/12 + 14/8. Let c be 4/6*(-18)/(-4). Which is smaller: f or c?
f
Suppose 12 = -5*c + 2. Let g be (-93)/(-20) + -1 - (-2)/(-5). Let u = c + g. Is u smaller than 0?
False
Suppose -h + 5 = 0, 0 = 3*c - 0*h + h - 11. Suppose -c = y - 2*y. Which is greater: 3 or y?
3
Let y = 5 - 5. Let h(p) = -p**2 + p - 2. Let t be h(0). Let q = -4 - t. Is y greater than or equal to q?
True
Let y(u) = u**2 + u + 2. Let w be y(0). Which is bigger: 4/3 or w?
w
Let o(k) be the second derivative of k**3/3 + 11*k**2/2 - 3*k. Let n be o(-5). Let x = 329/11 + -30. Is x less than n?
True
Let o = 0 + 0. Suppose q = -o*q - 2. Which is greater: q or 1?
1
Let w(o) = o + 9. Suppose -2*y - k - 23 = 0, y = 2*y + 4*k + 15. Let z be w(y). Are -2 and z unequal?
False
Let r be (-488)/20 + 0 + 0. Suppose 0 = -0*o - 5*o + 4*y - 104, 3*o + 92 = -5*y. Let f = r - o. Does f = 2?
False
Let a(d) = -d**3 - 6*d**2 - 6*d - 4. Let k be a(-5). Which is smaller: k or 1/29?
1/29
Suppose -6*q = q - 7. Let g(u) = 2*u + 4 + 0 - 3. Let j be g(q). Is j equal to 1?
False
Let r(a) = -6*a**3 - 36*a**2 + 9*a + 10. Let s be r(-6). Are -1 and s nonequal?
True
Let x = 51/2 - 25. Is -2/13 at least x?
False
Let y(f) = 7*f**2 - 16*f - 