et t be 4/14 + (-24)/35. Which is greater: n or t?
n
Let j be (8 - 6)*10/(-4). Let i = j + 1. Is i at least -4?
True
Let x(r) be the second derivative of r**5/20 - 2*r**4/3 - 5*r**3/3 + 7*r**2/2 - 5*r. Let q be x(9). Is q less than -2?
False
Let k be 0*3/(-6 - 0). Suppose -5*d - 3 + 13 = k. Suppose -o = d*o. Is -1 less than o?
True
Let q = -2 - -2. Suppose 5*p = -0*h + 2*h, -5*p - 20 = 2*h. Let z = q + h. Which is smaller: z or -4?
z
Let y = -16 - -32. Suppose -w + 3*d - 15 = w, -4*d = -2*w - y. Is -6 bigger than w?
False
Let n be (-1)/(-5) - (-10)/(-25). Which is greater: n or 0?
0
Let t = -2.7 - -2.6. Which is greater: t or 2?
2
Let w(a) = -2*a**2 - 15*a + 11. Let p be w(-8). Which is smaller: p or 11/6?
11/6
Let g = -0.7 + 0.5. Let w be (-26)/42 - (-3)/9. Which is bigger: w or g?
g
Suppose -1 = -2*m + 1. Let n be m/2 + (-15)/(-6). Suppose -o + 5*f = 15, -5*o + 9 = 6*f - n*f. Are -2/11 and o unequal?
True
Let o be 6/9 - (-2)/(-3). Is -3/5 at least as big as o?
False
Let p = 8 + -8. Are p and -24 nonequal?
True
Let i = 13/9 + -28/9. Which is bigger: i or 2?
2
Suppose -3*b = -0*b. Suppose b = y + 2. Let a be (-5)/y*(-4)/35. Does -1 = a?
False
Let t(q) = -13*q + 15. Let r be t(-3). Is r at least as big as 54?
True
Suppose 3*g = -4*a + 9 - 4, -5*g = -15. Is -1 smaller than a?
False
Let l = 31 - 53. Let j be (4 - l/(-10))*-5. Which is smaller: -10 or j?
-10
Let c be 3 + 4 + (-87)/9. Is c at most -2?
True
Let o(x) = 8*x - 1. Let f be o(1). Suppose 2*z = f*r - 3*r - 32, 3*z + 38 = 4*r. Do z and -6 have the same value?
True
Let a(j) = -j**2 - 7*j - 3. Let i be a(-6). Which is smaller: 2 or i?
2
Let x = 11 - 17. Let v(j) = 2*j - 5. Let o be v(-1). Is o less than or equal to x?
True
Let y = 23 + -27. Is -1 less than or equal to y?
False
Let j(q) be the second derivative of -q**5/20 - q**4/4 + q**3/2 - q**2 - 3*q. Let y be j(-4). Is y less than 3/5?
False
Let j be (-88)/((-1)/(1/2)). Do j and 44 have the same value?
True
Suppose 0 = -2*g + 6*g + 20, -5*g - 33 = 4*z. Let l = -2 - -2. Is z < l?
True
Suppose -40 = -8*n + 3*n. Let p = n + -8. Let t = p - -1. Is 1/12 equal to t?
False
Suppose 0 = 4*k + 1 + 3. Let i(v) be the second derivative of v**4/12 + 3*v**3/2 + 9*v**2/2 - 2*v. Let j be i(-8). Is k at most as big as j?
True
Let v(z) = 12*z - 205. Let l be v(17). Let q be 1/84*(-16)/6. Is l equal to q?
False
Let y = -0.08 - -0.08. Let i = -26.78 + 23.8. Let g = i - 0.02. Is g < y?
True
Let m = 50 + -27. Let x = m - 23. Which is bigger: x or 6?
6
Let w be 19/7 + (-1 - 2). Suppose -g + 4*d + 8 = 0, 2*g - 6 + 0 = 3*d. Suppose g = 3*j + j. Which is greater: j or w?
j
Let j = -1 + -7. Let o be (2/(-2))/(-1)*-7. Is j <= o?
True
Suppose 22*h = 20*h - 4. Let q be 117/(-90) + h/10. Let t be -1 + 0 + (0 - 1). Which is smaller: q or t?
t
Let b = -3 + 2. Let c = 596/1767 - 2/93. Is c at most b?
False
Let u be 8/12*(-30)/(-4). Let s(n) = -u*n + 2*n**2 + n**3 + 0 - 5 + 4*n**2 - 3*n**2. Let k be s(-4). Is k > -2/17?
False
Suppose -1 + 6 = 5*p. Let a be (-1)/((-2)/124*-5). Let o = a - -12. Which is bigger: o or p?
p
Let u be ((-3)/7)/(16/(-56)). Is 1 less than or equal to u?
True
Let r(p) = p**3 - 9*p**2 + 4. Let g be r(9). Let s be g/(-22) + (-570)/495. Which is bigger: s or -2?
s
Let d = 0.6 + 0.2. Is d smaller than -2/3?
False
Suppose 4*k = -4*f - 24, -4*k - 2 - 1 = -3*f. Which is bigger: -2 or f?
-2
Let q be 3 - 1 - (-116)/(-54). Let s = 2/27 - q. Is 2 greater than s?
True
Let n = 5 + -5. Suppose n = v - 4*v. Is v greater than or equal to 0.1?
False
Let d = 153 - 762/5. Let z = 0 - 2. Which is greater: z or d?
d
Suppose 0 = -5*b - 4*f + 16 + 52, -b + 5*f + 2 = 0. Let o be (b/(-16))/((-1)/8). Suppose h - o = -0*h. Is 7 <= h?
False
Suppose 0 = -3*d + 3, 2*l + 0*d + 3*d - 3 = 0. Which is smaller: -26 or l?
-26
Let m = -0.08 + -0.22. Let g = 0.3 + m. Let y = -0.1 - g. Which is smaller: 0 or y?
y
Suppose 5*u - 4*y = -50, 5*u - y - 4*y + 50 = 0. Let i = -6 + 16. Let c be u/(-2)*(-4)/i. Is -2 equal to c?
True
Let k(h) = 2*h + 2 - 11 + 0*h. Let o be k(8). Are o and 7 equal?
True
Let i be (-3)/(3/2) - (-108)/48. Which is smaller: i or -6?
-6
Let j be 2*(3/(-6) + -3). Let s = j - 3. Are -11 and s nonequal?
True
Suppose 8 = 4*k - 5*k. Let l be 1/k*(-16)/(-12). Which is smaller: l or 1?
l
Let z(c) = -c**2 + 5*c - 5. Let u be z(2). Is u greater than or equal to -2/75?
True
Let r(c) = c**3 - 11*c**2 - 13*c + 17. Let g be r(12). Suppose 5 = g*f - 0. Let v(o) = -o + 5. Let q be v(5). Which is smaller: f or q?
q
Suppose -3*h + 6*h - 55 = -w, 5 = -h - 5*w. Suppose h = 6*q - q. Let g = 2 - q. Do g and -1/2 have the same value?
False
Let a be 0/((-5 - -3)*-1). Suppose -f + 3 = -a. Which is greater: f or 1/2?
f
Let j(o) = 3*o**2 + 2 + 4*o + 0 + 1. Let r be j(-2). Suppose z = -2*v - 17, 7*z = 3*v + 2*z - r. Which is smaller: -5 or v?
v
Let z(u) = u**3 - 4*u**2 - 6*u + 9. Let r be z(5). Is 3 equal to r?
False
Let g be -1*(1*-1 + 0). Let w = -3/125 - -521/875. Which is smaller: g or w?
w
Let p be (-2)/(-4) - 734/372. Let f be (4/310)/((-2)/(-30)). Let n = f - p. Which is smaller: 0.2 or n?
0.2
Let h be (-1 - -2) + 1 + -1. Let f = 37/875 + -566/125. Let l = -30/7 - f. Which is bigger: h or l?
h
Suppose 0 = 3*p + 6 + 6. Let l = 578 + -578.4. Are p and l non-equal?
True
Let b be 4/8 + ((-186)/2260 - 0). Let o be (-3)/(339/4*-2). Let f = o - b. Which is bigger: f or 0?
0
Suppose 37 = -5*u + 2. Let b(m) = m**2 + 6*m - 2. Let i be b(u). Is i >= 5?
True
Let p = 1178/21 + -56. Are 0.4 and p non-equal?
True
Suppose -3*f - 2*f = -5. Let m = -1/30 - -7/10. Is m at least f?
False
Suppose 3 = 2*h + 4*g - 15, 4*g = 20. Is -8/13 greater than h?
True
Let i = 22 - 13. Is 0.2 less than i?
True
Suppose -v - 3 + 4 = 0. Let s be 3/((-19)/(0 + v)). Is 0 at least as big as s?
True
Let w(q) = -62*q**2 - 2*q - 4. Let k be w(-3). Let n = 3902/7 + k. Is 0 less than or equal to n?
True
Let u = 0.06 + 2.94. Let l = -0.724 - 4.276. Are l and u unequal?
True
Let o(i) = -3*i + 35. Let x be o(8). Which is bigger: x or 9?
x
Let v(y) = -y**2 - y. Let o be v(-3). Let n = 8 + o. Suppose n = -4*f + 6. Are 3/8 and f nonequal?
True
Suppose 10 = a + a. Let m(v) = -v + 4. Let y be m(a). Is -1 >= y?
True
Let p = -12 + 13. Which is smaller: p or 4/47?
4/47
Let x = -26/21 - -5/3. Suppose -3*m = 4*l - 0*l - 1, 3*m - 3*l + 6 = 0. Which is smaller: x or m?
m
Let l be (238/8)/7 + -4. Let q = 45 + -64. Which is smaller: l or q?
q
Suppose -10 = v + 16. Let z = 26 + v. Is -2/17 > z?
False
Let x be 2 + 3 + 68/(-16). Is 2 >= x?
True
Let j be ((-1)/(14/(-12)))/((-35)/1225). Which is smaller: -29 or j?
j
Let g be (24/4 - 4)/((-6)/21). Which is smaller: -5 or g?
g
Let r(q) = -q + 1. Let n be r(1). Let k = 177 - 177. Is k greater than or equal to n?
True
Let m(q) = -q + 1. Let g be m(-5). Let f be 8/(-28) - (-102)/14. Which is greater: g or f?
f
Let p = 3 + -2. Let s = 0.8 + -1.8. Let k = -1.5 - s. Which is bigger: p or k?
p
Let o = -0.1 - -0.1. Let h = -0.5 - 0.5. Let j = -3 - h. Is o greater than or equal to j?
True
Let k = 0.19 + -0.09. Suppose 2*w + 3 = -w. Let i = -1 - w. Which is smaller: k or i?
i
Let n be -4 - (8/(-4) - 2). Which is greater: n or -2/25?
n
Let w = 0.53 + -8.53. Which is smaller: 3/7 or w?
w
Suppose -6*p = 4*i - 2*p + 32, 5*i + 3*p = -32. Which is smaller: -5 or i?
-5
Let n = -128 + 110. Is n smaller than -17?
True
Let v be (-4)/(-8) - (-1)/5. Which is bigger: 1 or v?
1
Suppose -3*z = 3*m - 24, -8 = -2*z - 3*z + 3*m. Suppose 0 = w - 4*l + 3, 0 = 4*w + z*l - 9*l + 45. Is -15 != w?
False
Let n(y) = -y - 12. Let q be n(-8). Let f be -4 - (1 + 2 + q). Is -5 at least as big as f?
False
Let r = 39 + -34. Let x(s) = -s**3 - 6*s**2 - 6*s - 5. Let u be x(-5). Which is smaller: r or u?
u
Let a be (796/(-16))/(1 - 2). Let b = a + -50. Let y = 13 - 18. Is y smaller than b?
True
Suppose -10*x = -13*x - 183. Is x less than -62?
False
Let k = -2.8 + 3. Let a = 3 - 8. Let r = a - -5.1. Are k and r equal?
False
Let l(f) = -f**3 + 5*f**2 + 8*f - 9. Let r be l(6). Suppose s + 144 = -r*s. Let y be 44/s - 4/(-18). Which is greater: 1/5 or y?
1/5
Suppose 0 = 4*o + 17 - 1. Is -5 smaller than o?
True
Let d(r) = 24*r - 1. Let j be d(1). Is 23 not equal to j?
False
Suppose -4*n + 10 + 6 = 0. Let v be (-6)/(-4) + (-6)/4. Which is bigger: n or v?