Suppose 1 - 5 = -4*i. Let d be i/((-1)/(2 + 1)). Let b be (1*6)/((-15)/10). Is b at most d?
True
Let s(b) = -5*b**2 + b + 2. Let q be s(-1). Is q at most 3?
True
Suppose 6*q - 3*q = -3. Let z be -2 - (-3 + q - 2). Let u = z + -7. Is -3 smaller than u?
False
Let z = 10 - 9.98. Let w(b) = b**2 - 9*b + 8. Let j be w(8). Which is bigger: j or z?
z
Let l be 1/2*2*0. Let q be (l - 2)/(-2)*1. Let f = 2/143 - -133/715. Which is greater: q or f?
q
Let b = 7 - 3. Let l be 6/(-8) + (-75)/(-20). Is l less than or equal to b?
True
Suppose 3*n + j - 8 = 4*n, -5*j = -20. Which is smaller: n or -7/2?
n
Let z = 20/3 + -6. Let d be 3 - (-1 - 2/(-1)). Which is greater: z or d?
d
Let q = 1 - -3. Suppose 2*i = -3*j + 4, -q*j + 0*i - 2*i + 4 = 0. Is j less than or equal to 3?
True
Let v(x) = x**3 - x**2 - x + 1. Let w be v(1). Let m be (w - (-2 - -3))/(-1). Let s be (-1)/7*(m - 0). Which is smaller: 1 or s?
s
Let z = 5 + -7. Let a = -2 + z. Which is greater: 0.2 or a?
0.2
Let c be -1*-2*2/4. Suppose 4*r + j + 1 = 2*j, 5*r + j + 8 = 0. Let l(n) = 4*n**2 - 1. Let u be l(r). Which is smaller: c or u?
c
Let a(r) = r**2 - 10*r + 8. Let k be a(8). Let d = k - -11. Which is bigger: -1/4 or d?
d
Let w(r) = r**3 + 5*r**2 + 4*r. Let i be w(-4). Suppose -3*a + 8*a + 235 = 0. Let t = a - -143/3. Which is smaller: t or i?
i
Let q = 18 + -13. Suppose 2*u + 0*u + q = 3*l, 2*l - u - 2 = 0. Which is smaller: l or 1?
l
Let f = 0.01 - -1.89. Let d = 0.4 - -1.6. Let z = d - f. Which is bigger: z or 1?
1
Let f = 0.3 - 1.3. Which is smaller: 3 or f?
f
Let r = 7.3 + 1.7. Let a = 5 - r. Let i = -4.1 - a. Which is smaller: i or 1/2?
i
Suppose -r - 3*q + 1 = 10, -2*r - 10 = 2*q. Let i be 7*9*4/(-42). Are i and r equal?
False
Let s(m) = -3*m**2 + 16*m + 20. Let a be s(14). Let b be (-2)/(-12) - a/(-336). Is b > -1?
True
Suppose 0 = -2*b - 7*b + 36. Let a(w) = -8 - w + 5*w - 3*w. Let g be a(b). Which is greater: g or -3?
-3
Let t = 23 - 11. Let d = 11.9 - t. Which is smaller: d or 0.8?
d
Suppose -5*x + 28 = 4*f, f + 5 + 13 = 5*x. Which is smaller: 1 or f?
1
Let y = -5 - -4. Which is bigger: y or -4/7?
-4/7
Let o = -6 + 5.1. Is o at least as big as 1?
False
Let o = 254 + -491. Let j = -2135/9 - o. Is j at most 0?
True
Let q(y) be the second derivative of -y**4/24 + 5*y**3/3 - y**2/2 + y. Let a(f) be the first derivative of q(f). Let d be a(6). Which is smaller: d or 3?
3
Suppose 4*j - 5*k = -26, -j + 2*k + 0*k = 5. Let h = 7 + j. Which is smaller: h or 3?
h
Let y = 318386/75 - 4245. Let w = y - -1/50. Which is bigger: w or 1?
1
Let x be (0 - -1)/((-3)/3). Let d be (x + 3)*(-4)/(-120). Is 1 greater than or equal to d?
True
Let s(x) = 8 + 3*x - 13 - x**2 + 3. Let i be s(3). Is -1 <= i?
False
Let q = 0 + 4. Suppose -q*p = -0*p + 8. Which is bigger: p or -2/17?
-2/17
Let j be 2/8*(-4 - -27). Is j less than 6?
True
Let l(f) = f**2 + 8*f + 3. Let k be l(-8). Let y be (-10)/(-6) + 1/k. Are 3 and y non-equal?
True
Let q be (0/1)/(3 + -4). Suppose -4*u + 12 = -5*d + 2, -3*d - 6 = q. Suppose z + 2*n = 4, u*z - 3*z - 3*n = 0. Is -2 > z?
True
Let i = -404 + 401.93. Let m = -0.07 - i. Let w = 0.16 + 0.04. Is m less than or equal to w?
False
Let f(w) = -w + 8. Let g be 1/((-21)/(-18) + -1). Let y be f(g). Suppose -2*a - y*a + 4 = 0. Is a less than or equal to -2/5?
False
Let g(d) = d**3 - 4*d**2 - 5*d + 1. Let x be g(5). Let s be 1*(-2)/2*x. Let i be (-4)/(-6) + 6/(-9). Is i at most as big as s?
False
Suppose 0 = 3*a + a - l - 65, 5*a - 5*l = 85. Suppose 0 = -o - f + 3, 3*f - 1 = o + a. Which is smaller: o or -3?
-3
Let q(y) = 4 + 0*y - 12 - y. Let p be q(-5). Let s = 3.5 - 3.4. Which is bigger: s or p?
s
Let o = 51 - 31. Is 0.1 bigger than o?
False
Let t = 2 - 2. Let p be 318/820*(2 + -1). Let f = 1/82 + p. Is t >= f?
False
Suppose 5*c = -3 - 2. Let u be 2 + c*(-4)/(-2). Is u less than or equal to -2?
False
Suppose 2*k - 2 = -4. Is -6 < k?
True
Let x be (-2)/(-28)*2 + 2438/(-161). Is x less than -15?
False
Suppose 0 = -q + s + 2, 4*q + s + 0*s = -7. Let j be (q - -2)/(7/14). Suppose 0 = -j*g + i + 2, 5*g + 3*i = 4*i + 8. Is 2 greater than g?
False
Let t = 40 - 26. Is t less than 1?
False
Suppose 5*t + 2*i = 8, -i - 3*i = 5*t - 16. Let s be 6*(-1 + t + 0). Suppose 0*x = -2*x - 12. Is s > x?
False
Suppose 0 = -4*f + 5*f - 3. Which is smaller: 1.2 or f?
1.2
Let c be (-2)/((4/(-10))/((-32)/20)). Is -8 less than c?
False
Let x = 7 - 3. Suppose 3 - x = y. Suppose -4*k + 1 - 5 = 0. Is y < k?
False
Let j(h) = -h + 4. Let s be j(6). Suppose 0 = 3*f - 5*f + 6. Let x be f - 0 - 13/4. Which is greater: x or s?
x
Let l = 2852/21165 + -2/1411. Is l equal to 0?
False
Let r be (-1)/((-3)/(-3))*2. Are -6 and r equal?
False
Let x be (-984)/18*(-2)/(-240). Let k = x + -2/45. Which is bigger: -6 or k?
k
Let w = 5 + -5.98. Let t = -0.02 + w. Is 2/7 at least as big as t?
True
Suppose 5*f + 36 = 2*f. Which is smaller: -14 or f?
-14
Let c = 5/2 + -51/22. Let y(q) = q**3 - 5*q**2 - 6*q + 1. Let x be y(6). Is c != x?
True
Let k = -33 - -33. Is k < -2/33?
False
Let p(z) be the first derivative of -z**3/3 - 3. Let v be p(0). Are v and -2/5 unequal?
True
Let r = 35 + -23. Let a be 6/10 - r/15. Is a > -1?
True
Let o(u) = -2*u - 7. Suppose -32 = 6*w - 2*w. Let i be o(w). Let d be i/(-12) + (-2)/(-4). Which is smaller: -1 or d?
-1
Suppose 5*y + 133 + 12 = 0. Is 0.2 equal to y?
False
Let x be (-11)/(-55) + (-1)/2. Is 1 != x?
True
Let d = 0 + -4. Let c be (-4)/((2 - 6)/d). Is -5 at least c?
False
Let f = 4 - 4.4. Let z = -0.6 + f. Which is bigger: -1/4 or z?
-1/4
Let i be 2 - (4 - 5) - -13. Let j = -11 + i. Which is bigger: 3 or j?
j
Let x = 30 + -13. Let t = -16.8 + x. Which is smaller: t or -6?
-6
Let n = 0.1 - 1.4. Which is smaller: n or -1?
n
Let z(n) be the second derivative of n**5/20 - 3*n**4/4 - 3*n**3/2 - 5*n**2 - 3*n. Let m be z(10). Which is greater: -2/25 or m?
m
Suppose 2*n - 3*y = -4, -3 + 1 = -y. Let x(t) = t**2 + 4*t - 1. Let f be x(-4). Is f < n?
True
Let m = -0.6 + 2.6. Let t = -3 + m. Suppose 5*b + 2 = 4*b. Are t and b nonequal?
True
Suppose -2*l + 5*o - 53 = 0, 4*l - 3*o - 45 = 6*l. Is -22 greater than or equal to l?
True
Let u be ((-34)/5)/((-2)/(-40)). Let s = 954/7 + u. Let b = 2.9 + -3. Which is smaller: b or s?
b
Suppose -13 = 2*u + 3. Let t = 13 + u. Suppose t*d + 9 = -6. Is d at least as big as -4?
True
Let x(c) = -c**3 - 8*c**2 + 2*c - 13. Let d be x(-9). Let v = d + -252/5. Which is greater: v or 1?
1
Suppose 9 = -2*a + 3, 3*t - 9 = 4*a. Is t at most 2/5?
True
Suppose -4*l = -0*l. Let y be (-2 + 4)/((-28)/2 - 3). Does l = y?
False
Suppose -6*y = -y. Is 4/9 less than y?
False
Let h(r) be the second derivative of -r**4/12 + 7*r**3/6 + 3*r**2/2 + r. Suppose 42 - 10 = 4*f. Let t be h(f). Is -5 at most t?
True
Suppose -2 = -3*s - 8. Let w = -1.7 + 1.8. Do s and w have the same value?
False
Let m = -16481/20 + 825. Let q = 3/4 - m. Which is bigger: q or -1?
q
Suppose -3*d + d = -2. Is -1/16 less than d?
True
Suppose 7 - 16 = -3*q. Let l(d) = -5*d + 9. Let a be l(q). Does a = -19/3?
False
Let c be (-3 - 22/(-7))*2. Which is greater: -2 or c?
c
Let z = 19 + -52/3. Let p = z - 3. Which is smaller: p or 0?
p
Let o = 264502/5 + -53074. Let p = -173 - o. Is p > -0.3?
True
Suppose 2*p = -3*c + 9, 4*p - 5*c - 11 - 18 = 0. Suppose m - p - 4 = 0. Let s be 0/(-1) + 4/m. Which is bigger: -1 or s?
s
Suppose -5*k - 26 = -4*f, 0 = -3*f + 3*k + 20 - 2. Suppose r - 4*r = j + 3, -12 = r + f*j. Which is smaller: r or -1?
-1
Let r = -2/221 - 428/1547. Suppose -u - 3*k = -1 + 4, -k + 12 = -4*u. Which is greater: r or u?
r
Suppose -2*d + 22 = -v + 5, -5*d - 3*v + 15 = 0. Let n(m) = m**3 - 7*m**2 + 7*m - 3. Let z be n(d). Let l = 2 - z. Which is smaller: l or -2?
-2
Let v be -2 - (-2 - -3)*(-1)/(-1). Suppose -25 = -2*c + 4*s - 7, 5*c - 21 = 2*s. Let o be (1/v)/(c/9). Are o and -2/7 nonequal?
True
Let a = 0.38 - 0.08. Let l = -0.5 + a. Which is greater: -1 or l?
l
Suppose -4 = u - h - 2, 5*h = -u - 8. Let i be ((-3)/14)/(u/6). Do 1 and i have different values?
True
Let d be (-4)/(((-6)/(-3))/(-2)). Suppose m = 2*m - d. Suppose -3*v - v + 20 = 0. Are m and v unequal?
True
Let c be 0/(-2) - (2 - -6). Which is bigger: -60/7 or c?
c
Suppose -x = a + 2*x + 8, 22 = -4*a - 2*x. Let m be (a - -7)/(-1 + -1). Let d be m/((-2)/(4/(-2))). Which is