*i = 5*j - 15. Let n = j + -6. Suppose k - 2*y + 8 = 3*k, 3*y = n. Which is greater: k or 3?
k
Let w be (-19)/4 - 3/12. Let o = 6 + w. Is o >= -1/9?
True
Let p(l) = l**2 + 3*l + 1. Let c be p(-4). Let w be (-6 - -1)*2/c. Let j(q) = q - 1. Let h be j(1). Is h less than or equal to w?
False
Let n = -2665/21 - -127. Is 1 greater than or equal to n?
True
Let w = -4 + 8. Let p = w - -5. Suppose -3*u + 2*z = -0*u + p, 0 = -4*z. Which is greater: u or -1?
-1
Suppose -13*i = -15*i - 210. Is i equal to -106?
False
Let l(s) be the second derivative of -s**4/12 - s**3/2 + 5*s**2/2 - 2*s. Let o = 14 - 18. Let v be l(o). Which is smaller: 0 or v?
0
Let p = -51 + 36. Is p bigger than -1/5?
False
Let w be (-4)/(-26) - (0 - (-6)/39). Let i be (-356)/462 + 8/28. Let c = -2/3 - i. Are c and w equal?
False
Suppose 22 = -2*m - 5*c, -2*m + 5*m - 3*c = 9. Let i be 64/34 + 4/(-2). Which is smaller: i or m?
m
Let n = -21 - -23. Let q be (1 - 1)/(1 + 0). Suppose q = -i + n*i. Which is smaller: i or -1?
-1
Let y = -7 + 8. Suppose -j = -2*j - y. Which is bigger: 2/21 or j?
2/21
Let v be 10/4*14/(-140). Which is greater: v or -0.3?
v
Let k be 2*(30/(-4))/3. Suppose -2 = 5*c - 5*x + 13, 0 = -c - 2*x - 3. Is c != k?
True
Let u = -137 + 137.1. Let d = 0.5 + 11.5. Which is smaller: d or u?
u
Let u be 15/(-20) - (-35)/4. Suppose u - 5 = 3*b. Which is smaller: -2/7 or b?
-2/7
Let h be (24/36)/(14/(-6)). Which is smaller: -9 or h?
-9
Let k = 8 - 6. Suppose -3*b + 1677 - 645 = 0. Let h = -2404/7 + b. Is k at most as big as h?
False
Let z be (-1)/((-34 + -3)/1). Which is smaller: 1 or z?
z
Suppose 4*n + 12 = 2*n. Are -3 and n unequal?
True
Let v(d) = d**3 + 2*d**2 - d + 3. Let x be v(-3). Let q be x + (0 - (-3 - -1)). Which is smaller: -1/2 or q?
q
Let f = 108 - 99. Let g(u) be the third derivative of u**6/120 - 3*u**5/20 - u**4/12 + 2*u**3 + u**2. Let n be g(f). Are -4 and n unequal?
True
Suppose -3*m = 4*r + 128, 137 = -3*m - 0*m + 5*r. Is m <= -44?
True
Let y = 34 + -35. Is y greater than or equal to -0.4?
False
Let u = -36 - -52. Suppose 0 = 2*z - 2*g + u, -3*g + 24 = -5*z - 2*g. Let l(f) = -6*f**3 + 1. Let m be l(1). Is m at most as big as z?
True
Let g be -1 - (2 - 0) - 2. Let u be (-1)/(4/g - -1). Is u != -6?
True
Let o be 5/21 - (-3)/9. Let m be (-2 - 0) + (3 - -1). Is o < m?
True
Suppose -2 - 1 = 3*y. Which is smaller: 3/8 or y?
y
Let c be (1/34)/((-5)/(-10)). Which is smaller: -1 or c?
-1
Let d(x) be the first derivative of x**2 - 10*x - 2. Let c be d(7). Which is smaller: c or 3?
3
Suppose 3*m - 4*b + 7 = 0, 5*b + 2 = -4*m + 3. Let g be (-2 + 3)*m + 3. Which is greater: 3 or g?
3
Suppose -3*f + 4*i = -2, -f = -2*f - 5*i + 7. Let b be 64/110 + f/(-5). Let a = -2 + 3. Which is greater: b or a?
a
Suppose -5 + 4 = -q. Suppose h + 5 = d + 2, 15 = -5*h. Which is smaller: d or q?
d
Let r be -2 - (15/3 - 4). Is -11/4 bigger than r?
True
Suppose -x = 3*w + w - 11, 0 = 3*x - 3*w - 3. Suppose 24 = -0*p - x*p. Which is smaller: p or -7?
p
Let d be ((-16)/6)/(1/3). Let i be d/28 - 3/14. Let h(o) = o**3 + 5*o**2 - 13*o + 7. Let s be h(-7). Which is smaller: i or s?
i
Let v = 0.2 + -1.2. Let h = -6 - v. Let w = -6 - h. Which is smaller: w or 1?
w
Let n(o) = o**2 - 2*o + 1. Suppose -2*h + 13 = 2*d + h, 15 = 3*d + 3*h. Let j be n(d). Is -2/19 >= j?
False
Suppose 0 = -4*b - 0 + 8. Suppose -2*z + 2 + 2 = b*f, 0 = 4*z - 3*f + 27. Let d be z/18*(-3)/(-2). Which is smaller: 0.1 or d?
d
Let n = -47 - -46. Is 1.7 greater than or equal to n?
True
Suppose 0 = -m - 2*s - s - 2, 2 = -2*m - 4*s. Let z be (-10*2/2)/m. Let n be ((-2)/(-10))/(6/z). Are n and 3/2 equal?
False
Let s = -20 - -14. Let b = 5 + s. Is 1 not equal to b?
True
Let n = -3 - -5. Suppose 5*y + n - 7 = 0. Is 10 > y?
True
Suppose 6*m - m = 0. Is -13 less than or equal to m?
True
Let v be ((-2)/(-4))/1*12. Suppose -g - 6*t + 4*t - 12 = 0, -4*t = -g + v. Is -6 <= g?
True
Let d = 3 + -3. Suppose d*l - 2 = -l. Let i = 0.1 + 0.9. Is l > i?
True
Let f(h) = h**3 + 13*h**2 + h + 18. Let r be f(-13). Suppose 2*t + 9 = -r. Is -5 bigger than t?
True
Suppose 5*r - 4*b + 13 = 0, -3*r - 3*b - 29 = r. Let g(z) = -53*z - 216. Let l be g(-4). Is r < l?
True
Let s be 2/(-7) + 10/35. Suppose -4*v + 52 = -s*v. Suppose 2*h = -3*x + v, -6*x - 15 = -x - 4*h. Is 1 >= x?
True
Suppose 0*j = j + 3. Is j greater than or equal to -8/3?
False
Let a = -152 - -1656/11. Let o = a - -4/33. Are o and -2 equal?
False
Let a be 68/(-2499)*(-18)/(-4). Is a not equal to 1?
True
Let o(x) = -1 - 8*x - 1 + 9*x. Let z be o(2). Is z less than 0?
False
Let u(j) = j**2 - 2*j + 1. Let c be u(1). Let a(q) = -q**3 + 7*q**2 - 8*q + 9. Let g be a(6). Let n be ((c/2)/g)/1. Which is smaller: 2 or n?
n
Suppose a - 5 = -13. Which is bigger: a or -10?
a
Let l = -7 - -11/2. Let m(c) = 4*c + 15. Let s(b) = 2*b + 8. Let o(n) = 3*m(n) - 5*s(n). Let f be o(-4). Which is bigger: f or l?
l
Let g = 7 - 9. Let y be (-1 - g)/(1 - 0). Which is smaller: y or 2?
y
Let c be 20 - 12/(-7 + 4). Which is bigger: 23 or c?
c
Let f = -37.99 + 38. Which is smaller: 2/17 or f?
f
Let z = -3.5 - -3.7. Is 9 equal to z?
False
Let q = -14 + 21. Suppose -7*d + 5*d = -10. Suppose v + d*t + q + 8 = 0, 0 = -5*v - t - 3. Is v >= -1?
True
Let m = 1.6 + -1.47. Let b = m + -1.13. Is b bigger than 14/3?
False
Let c(b) = -b**2 - 2*b - 2. Let r be c(-3). Let n be -1*(r + 3 + 1). Which is bigger: n or 1/16?
n
Suppose 2*c - 4*r = 24, 2*c - 27 = 5*r + 2. Suppose c*t - 4*t + 20 = 0. Let f be (-6)/t + (-42)/(-45). Is f > 2?
False
Let a be ((-14)/4 + (12 - 9))*-20. Are 9 and a equal?
False
Let q(a) = -a**2 + 7*a - 7. Let l be q(5). Let b = 1.4 - 3.2. Let m = b - -0.8. Is l > m?
True
Suppose -3*a + 0*a = 18. Let q = 7 + a. Suppose -3*v + 2 = -1. Is q >= v?
True
Let s = -2078 + 1381869/665. Let r = 43227/1330 + s. Let j = r - 34. Which is smaller: -2 or j?
-2
Let j(h) = h**3 - 3*h**2 - 6*h + 6. Let r be j(4). Let o be ((-3)/r)/(12/8). Suppose 4*q + 0*p - 2*p - 2 = 0, -4*q + 4*p - 4 = 0. Is q at most o?
False
Let w be (-1)/5 - (-24)/(-80). Do w and 1 have different values?
True
Let g be (-2)/(-6) - 2/(-3). Let p be (-36)/5*75/(-2). Let v be 9/p*(-4 - 0). Which is smaller: g or v?
v
Let o(d) = 6*d - 15. Let w be o(2). Let q(u) = u**2 + 5*u + 4. Let x be q(-3). Let f = x - 0. Is w bigger than f?
False
Suppose 31 = 2*r + 11. Is 7 at least as big as r?
False
Suppose -6 = 5*d + 29. Is d not equal to -5?
True
Let d = 144 - 1874/13. Which is smaller: d or -2?
-2
Let q = -26 - -41. Which is smaller: 0 or q?
0
Let j = -11/6 - -10/3. Is j smaller than 2?
True
Let d = 203 - 2641/13. Let i = 0.2 - 0.2. Let n = 0.1 + i. Is d at least n?
False
Let k(v) = -v**3 + v**2 + 2. Let c be k(2). Is c <= -1?
True
Let a = -1 + 0.2. Let m = 0.4 + a. Is m less than -1/4?
True
Let h = 4 - 7. Let v = -3 - h. Which is greater: v or -2?
v
Let t be 10/(-30) - 10/24. Suppose 2*p + p + 6 = 0. Which is greater: t or p?
t
Let r = -0.02 + -12.98. Let w = 12.6 - 30.6. Let g = w - r. Which is smaller: 0 or g?
g
Let w be (-1)/(-141)*12*2/(-12). Which is bigger: 1 or w?
1
Let b be (-5 + 4)*(1 - 2). Let j be (-4)/(-6)*(-9)/(-6). Let i = b - j. Which is smaller: 2/5 or i?
i
Suppose 7*f - 4*f - 24 = 0. Let a be f/(-6) - (-30)/27. Which is greater: 0 or a?
0
Let v = 113446 - 3970888/35. Let y = -57/7 - v. Which is greater: 1 or y?
1
Let y be 0 + 4/((-24)/(-21)). Which is bigger: y or 4?
4
Suppose -80 = -2*n - 58. Does n = 11?
True
Suppose 2*g + 6 = -6. Let s be (12/(-8))/(g/(-8)). Let w be 14/(-63) + s/72. Which is smaller: w or -1?
-1
Let o(z) = -z**2 - 10*z - 6. Let d be o(-7). Let x(i) = -6*i - 1. Let r be x(-1). Suppose r*f = 2*f + 4*y + 14, -5*y - d = -5*f. Which is bigger: f or -3/4?
-3/4
Let d be 8/30*(-20)/24. Let y(z) = -z**2 + 6*z + 4. Let j be y(6). Suppose -2*v = -j*p - 12, 0*v - 3*v = 3*p - 9. Which is smaller: p or d?
p
Let j = -22 + 21. Let g = -0.1 + -0.9. Let a = j + g. Is -1 >= a?
True
Let j = 7 + -5. Let f be j/(-8)*(4 - 0). Which is bigger: f or 1/4?
1/4
Let i = -114 + 113.7. Let z = 3/10 + 1/5. Which is greater: i or z?
z
Let s(k) = k**3 + 4*k**2 - 3. Let u be s(-3). Suppose -v - v + u = 0. Which is bigger: v or 1?
v
Let m be 0/(0 - (-3)/3). Let l be (2 + -2)/(12/4). Is m at most l?
True
Let h(n) be the third derivative of n**5/60 - n**4/12 - 5*n**3/6 -