et k be u(4). Is w < k?
False
Let k be 8/(-30) + (-6)/(-40)*4. Let d be (0/1)/(2 + -3). Are k and d equal?
False
Let i(k) = -k**3 + 6*k**2 - k - 1. Let x be i(6). Let o = 9 + x. Which is smaller: o or 4?
o
Let r(y) = y + 13. Let w be r(-7). Let z be (4/w)/((-7)/6). Is z <= -1?
False
Let h be (-9)/2*(-16)/(-12). Let l = 4 + h. Which is smaller: l or -9/7?
l
Let k = 43 - 49. Which is smaller: k or -5?
k
Let p = -0.09 - -1.89. Let v = p - 1.7. Which is bigger: v or -9?
v
Let x(u) = -u**3 - 10*u**2 - 10*u - 10. Let c be x(-9). Is c at most 2?
True
Let c be 14/10 - -1 - 2. Let o be ((-3)/(-6))/1*10. Let a = 4 - o. Which is bigger: a or c?
c
Suppose -r - 3*w + 4*w + 19 = 0, -3*r = 2*w - 72. Which is greater: r or 21?
r
Suppose -2*z = -5*m + 55, -4*m = -4*z - 0*m - 80. Let t = 11 + z. Is -4 bigger than t?
False
Let v = -15 - -32. Suppose 0 = -4*n - v - 47. Which is smaller: n or -17?
-17
Let m be (-4)/(-8) - 22/4. Which is smaller: 3/4 or m?
m
Let l(x) = -x**2 - 3*x + 2. Let h be l(-3). Let o be h/(-1) - (-6 - -4). Which is bigger: o or -1?
o
Let d = 1/110 - -127/550. Let o be (-3)/(((-300)/63)/(-2)). Let v = d - o. Are v and 2 non-equal?
True
Let a = 0.94 + 0.06. Are a and -1/6 equal?
False
Let f = 3.061 + 0.039. Let k = -3 + f. Let n = -0.5 - 1.5. Which is smaller: k or n?
n
Let k = 7.86 - -0.14. Let l = k + -8. Is l smaller than -1?
False
Let r = -3/5 + 23/30. Let g be (28/(-42))/(4/6). Is r at most as big as g?
False
Let m(v) = -v**2 + 6*v + 1. Let c be m(6). Let u = -103417 - -722480/7. Let d = 206 + u. Is c equal to d?
False
Let r = 7 - 0. Which is bigger: r or 23/3?
23/3
Let v = -11/42 + -1/14. Is v less than 8?
True
Suppose 4*l = 2*y - y + 7, -l + 2 = 0. Which is greater: -7 or y?
y
Let p be (-23)/(-2) + (-4)/(-14). Let v = p + -23/2. Which is greater: v or 1?
1
Suppose -1 + 41 = 5*a. Let u = 10 + -3. Let f = a - u. Is f greater than 0?
True
Let n = -13.17 + 2.07. Let w = 11 + n. Which is smaller: w or 9/5?
w
Let d = 3.6 - 0.6. Let y = 2 - d. Let a = 3 - 2. Is a <= y?
False
Suppose 32 = 5*b + 3*z, -5*b + 2*z = 8 - 20. Let s be 2*1 - (1 - 6). Suppose s + 2 = 3*w. Does b = w?
False
Let l be 3/2*(-26)/(-39). Which is smaller: l or 4?
l
Suppose 6*n - 4*n = 2*u - 4, -4*n = 5*u - 10. Suppose i = 4 + 3. Let g be (-1 - 1) + i/2. Which is bigger: u or g?
u
Let b be 14/49 + 0/(-1). Let w(j) = j**2 + 2*j. Let l be w(-2). Suppose 4 = -4*v - l*v. Does b = v?
False
Suppose -2*p - 5 = 3*p, -p + 9 = 5*t. Which is bigger: 8/11 or t?
t
Suppose 18 = -0*q + 2*q. Let s be 10/(-90) - (-2)/q. Are s and 0 unequal?
True
Let n(u) be the first derivative of u**2/2 + 3*u + 1. Let g be n(0). Let h be (2 + 0)*g/(-12). Does h = 0.2?
False
Let l = -79 - -78.8. Suppose 0*p + 2*p = -4. Let t(u) = u + 2. Let o be t(p). Which is bigger: o or l?
o
Let i be (0 + 6)*(2 + -3). Let h(s) = s - 13. Let v be h(6). Is i bigger than v?
True
Suppose 0 = -3*v - 3*q + 24, v - 3*v + 20 = 3*q. Suppose -6*n = -v*n - 2. Which is smaller: 1/3 or n?
1/3
Let u(i) = i**2 - 1. Let b be u(2). Suppose l + 4*s - 7 = 22, 0 = -b*l - 5*s + 52. Let x be 14/18 + 2/l. Which is smaller: 2/15 or x?
2/15
Suppose 5*k + 4*d + 64 - 3 = 0, 0 = -2*d - 8. Are -10 and k non-equal?
True
Let b = -3.07 + 0.07. Let d(c) = -c - 4. Let k be d(-3). Which is smaller: b or k?
b
Suppose -3*h + 2*h + 6 = -c, 0 = -5*c - 3*h - 6. Which is greater: 2 or c?
2
Suppose 2*u - 117 = 3*q - 0*q, q = -2*u + 121. Are u and 60 non-equal?
False
Suppose 3*a - 4*a = 7. Let q = a + 1. Which is greater: -5 or q?
-5
Let i(y) = y**3 + 12*y**2 - 3*y - 1. Let f(r) = -r**2 - r. Let a(x) = 5*f(x) + i(x). Let v be a(-8). Let z = v - 2. Which is smaller: z or -5?
-5
Suppose -7*d - 6 + 34 = 0. Which is bigger: 29/6 or d?
29/6
Let y(c) = -c**3 - 6*c**2 + 6*c - 10. Let a be y(-7). Let h be (-4)/21*a/2. Let g = 63 + -63. Are h and g nonequal?
True
Let h be (3236/644 + -5)/(-2). Is h greater than or equal to 0?
False
Suppose -5*j = -10*j - 5*f, -2*f = 3*j - 2. Let p = -7 + 10. Suppose 0*m = p*m - 3. Is m greater than or equal to j?
False
Let x = -8 + 6. Let o = 1/15 + -13/15. Is o less than or equal to x?
False
Let x(a) = -a**3 - 8*a**2 + 4*a + 2. Let w be x(-9). Suppose -9 = 2*d - w. Let j be -1 - (d/(-9) - -1). Does j = -1?
False
Suppose 36 = 4*b - 48. Is 20 bigger than b?
False
Let c = 0.35 - 0.25. Is c <= -0.8?
False
Suppose -2*l = b + l + 14, 3*b + 2 = -l. Let y be 2/(-8) - (-25)/4. Let a be (2/4)/(b/y). Which is bigger: 2 or a?
a
Let j = -8 + 7. Is 0 at most j?
False
Let t = -6 - -8. Let w = -4/43 + 98/129. Is w greater than t?
False
Let q = -0.076 - -0.066. Is q <= -8?
False
Suppose -7*a = -t - 2*a - 8, 7 = -3*t - 2*a. Let j = -3 - t. Let v(y) = -y + 8. Let u be v(7). Is u less than or equal to j?
False
Let o = -38 - -44. Is -2/7 less than o?
True
Suppose -n + 4*n - 6 = 0, 5*p - 31 = -3*n. Suppose d + u - 5*u = 20, 2*u = p*d - 10. Let c be 3/(-20) + 4/10. Is d bigger than c?
False
Let t = -157 - -145. Let z be 1/5 + (-132)/10. Is z at least as big as t?
False
Let q = 3/23 - -11/92. Is q at least 0.54?
False
Let c = -77 + 46. Which is greater: -29 or c?
-29
Let f = -12413/210 + 355/6. Which is greater: -1 or f?
f
Let g(z) = 6*z + 49. Let d be g(-8). Which is bigger: -1/10 or d?
d
Let r(j) = -j**2 + 4. Let n be r(3). Let k be 41/5*n/2. Let q = 20 + k. Which is greater: q or 0.3?
0.3
Let i = 18 - 20.6. Let r = 3 + i. Let m = r - 0.5. Are -2 and m equal?
False
Let w be 8/(-2) + 2 - -12. Suppose 2*y - w = -0*y. Suppose k + 3*z = -4*k + 35, -4 = 4*k - 4*z. Which is smaller: y or k?
k
Suppose -8 = b - 2*b. Let d be (-17 + 2)*b/(-20). Is d at most as big as 5?
False
Let d be (4 - 2) + -4 - -1. Let b be d/4 + 18/40. Suppose -2*f + 12 = 3*i + 2*f, 0 = 4*i - f + 3. Is i greater than b?
False
Suppose h + 4*r = -3 + 12, -3*h - r + 5 = 0. Is h at least as big as 1?
True
Let s(d) = -6*d - 5. Let z be s(4). Is -29 less than z?
False
Suppose 0 = 2*c - 8 - 4. Let y(n) be the third derivative of -n**5/60 + n**4/3 - 3*n**3/2 - 10*n**2. Let g be y(c). Are 2 and g unequal?
True
Let q(v) = v**3 - 15*v**2 + 26*v - 1. Let f be q(13). Let t be -1*(1/(-1) + 2). Let u = t - 1. Which is bigger: f or u?
f
Let i(q) = -q**2 - 4*q + 4. Let c be i(-4). Suppose -4*d + 4 = 3*l - 3*d, -4 = -l + d. Let r = c - l. Is r < -0.3?
False
Let f be (-8)/(-28) - (-11)/(-112). Is f at most as big as 2?
True
Let a(u) = -2*u - 3. Let g be a(-4). Which is smaller: 3 or g?
3
Let o be 182/45*(-11)/44. Let a = o - -11/18. Which is greater: a or 0.07?
0.07
Suppose 5*p - 31 = -2*n - 225, 0 = 2*n - 5*p + 214. Let b be (-4)/(-6) + n/18. Suppose 0 = 3*c + 7 + 5. Is c >= b?
True
Let f be (3/26)/(6/(-8)). Let g = 4.95 - 5. Let z = g - 0.95. Which is greater: z or f?
f
Let z be ((-1)/(-6))/(4/(-18)). Suppose 2*c = i + 2, -4*c = 5*i - 3*c - 1. Which is bigger: z or i?
i
Let s be 14/(-7) - (2 - 5). Let o be (-2)/(-5) - 26/(-10). Let x be (0/o)/((-4)/(-2)). Which is greater: x or s?
s
Let p be -2*3/12*18. Let h be 6/p*18/(-4). Suppose 5*z = -h*g - 5 - 12, 15 = -3*z - 3*g. Which is greater: -2/3 or z?
-2/3
Let k = -17 - -18. Is 2/17 not equal to k?
True
Suppose -p - t + 6 = -4, -3*t + 10 = -p. Let m = p + -5. Is -1/17 greater than or equal to m?
False
Let l = 117/5 - 23. Suppose i - 8*i = 7. Are l and i nonequal?
True
Suppose 15 = 5*l - 5. Let h be (l/(-6))/(0 + 4). Let x = 4 + -3. Which is smaller: h or x?
h
Suppose o + 27 = 5*c, 0*c + 2*o - 1 = -c. Let m(t) = -2*t + 29. Let q be m(12). Is c smaller than q?
False
Let p be 3 + 21/(-30)*-38. Let j = p - 30. Is j > -5?
True
Let y = 31 - 34. Is y smaller than -7/2?
False
Let l = 15 - 11. Suppose -5*q + l*q = -4. Suppose -q = 2*a - 2. Which is smaller: 1 or a?
a
Let f = -10 - -8. Let n = -2 - f. Which is smaller: n or -0.2?
-0.2
Let o be -4*2*10/(-16). Suppose 0*d - d = -3*h, 5*d = o*h. Suppose d = -y - 2 + 5. Is y at least 4?
False
Let i = -37 + 39. Let f be -2 + 2 - (1 - -3). Let b be ((-2)/f)/((-3)/12). Which is smaller: i or b?
b
Let t(s) = s - 16. Let o be t(11). Let h be (3 - (3 + o))/1. Is 1 smaller than h?
True
Let n be -3*((-9)/(-3) + -38). Let m = n + -725/7. Is 2 > m?
True
Let y = -27 + 15. Let v = -12 - y. Which is greater: v or -12?
v
Suppose 0 = -3*y - 6*y + 27. Are 3 and y nonequal?
False
Suppose -4*f = 1 + 7. Let z be (f/(-6))/((-2)/6). Is z < -3/8?
