 = -5*u, 0*u - 3*j - 27 = -3*u. Is 3 at most as big as u?
True
Let o = 2 + -6. Let a be (o/2)/(12/42). Is -7 > a?
False
Let c = 95 - 95. Let g be ((-1)/(-1))/((-34)/(-2)). Which is bigger: c or g?
g
Let r(j) = -j**3 + 9*j**2 - 5*j + 11. Let f be r(9). Let b be (2/f)/1*-1. Which is bigger: b or -1?
b
Let o = 8 + -5. Which is greater: o or -1/5?
o
Let o(i) = -i**2 - 5*i - 5. Let d be o(-2). Is d < 7?
True
Suppose -4*o = 1 - 13. Let v be 9 - o - (-1 + 2). Suppose 9 = 3*h - 3*s, -v*h - 3*s - 2*s - 5 = 0. Which is greater: h or -1/3?
h
Suppose -5*h + 0*h - 20 = 0, 154 = 3*f - h. Suppose 3*w = -4*y - 34, 3*w - f = 4*y - 2*w. Let t be (-2 + 4)*3/y. Does -1 = t?
False
Suppose 2*h - 3 + 1 = 0. Which is smaller: 3 or h?
h
Let w = -47 - -47. Which is greater: -39 or w?
w
Let m(k) = -2*k**3 + 7*k**2 + 5. Let n be m(5). Let v be 21/n + 1/(-5). Which is bigger: 0 or v?
0
Let u(r) be the first derivative of 2*r**3/3 + 7*r**2/2 - r + 6. Let p be u(-5). Which is greater: p or 13?
p
Let s = 0.2 - 0.1. Let g = -17 - -17.1. Is g bigger than s?
False
Let m = 5 + -10. Let t be (-4)/(m/3 - -1). Suppose 5*g = o - 6, 4*g - 5*o = t*g - 3. Are 2 and g unequal?
True
Let w(b) = b**2 + 7*b - 9. Let p be w(-8). Which is greater: p or 0.3?
0.3
Let b = 7 - 7. Which is smaller: -4/3 or b?
-4/3
Let o(g) = -g - 1. Let r be o(5). Let l be (3 - 3) + 2/r. Which is smaller: l or 0.1?
l
Let p(o) = -2*o**3 - 2*o**2 - o. Let q be p(-2). Let h(x) = -x - 6. Let l be h(-6). Suppose l = 4*s - q - 2. Is 1 < s?
True
Let t(v) = -v + 8. Let d be t(7). Let m be 1*(1*-2 - -1). Let a = d + m. Which is greater: -1/3 or a?
a
Suppose 2*d + 62 = -0*d. Let c = 94 + d. Let l be 1/(-2)*(-28)/c. Is l at most as big as -2/5?
False
Let c(m) = -2*m - 9. Let b be c(-6). Suppose b*a = 5*t - 3, -t - 3*a - 3 = t. Which is bigger: t or 7?
7
Let d = -1 + 0. Let j = -349/21 + 4493/21. Let r = 1766/9 - j. Which is bigger: d or r?
d
Suppose 2*t = 5*l - 74, 98 = 5*l + 3*t + 9. Suppose 4*w - l = 4. Suppose 0 = -m + d - 1, 2 = -w*m - 5*d - 13. Is m at most as big as -3?
False
Suppose 3*g + 1 = 10. Suppose -18 + 42 = -3*a. Let l = a + g. Which is greater: l or 0.1?
0.1
Let d(z) = -z**3 + 6*z**2 + 6. Let q be d(6). Suppose 0*v = -2*p + v - 13, 3*p + 30 = 5*v. Let a = q + p. Is a at most -1/4?
False
Let n(d) = -d**2 + 3*d - 4. Suppose 4*b + 2*s - 14 = s, 5*b + 3*s - 21 = 0. Let f be n(b). Is f != -4?
False
Suppose 2*r = -3 + 9. Are 3 and r nonequal?
False
Let s = -14 - -10. Is 1/4 != s?
True
Suppose -4*t + 34 = 2*z, -10 - 34 = -4*z - 2*t. Let l = -5 + z. Let p(u) = u - 4. Let a be p(l). Which is smaller: -1 or a?
-1
Let j(d) = -3*d**2 - 28*d - 8. Let k be j(-9). Let v(p) = p**3 + 3*p**2 + 2*p. Let q be v(-2). Let i = q + k. Which is smaller: i or -1?
-1
Suppose 2*c = -3*r + 48 - 15, 0 = -5*c + r + 57. Are c and 13 equal?
False
Suppose 8 = 11*t - 15*t. Do t and -1 have different values?
True
Let n = 8 - 6. Is n smaller than -14?
False
Let c = -2 - -4. Let p = 0 - c. Are p and -3 non-equal?
True
Suppose -2*l + 5*l = -6. Is l >= -1?
False
Let q = 0.27 + 0.03. Let p = -0.3 + q. Is p >= 4?
False
Let l(s) = -8*s. Let c be l(-2). Suppose 4*d = 3*o + c, -o - 2*d + 8 = -0*o. Let i be ((-1)/2 + 1)*o. Is i > -1/6?
True
Suppose 3*y = 5*h - 1, 2*h = -5*y + 6*h + 20. Let o be (y/6)/((-4)/(-6)). Does o = 2?
True
Let p = -3986/55 - -361/5. Let y = -2.1 + 2. Is p at most as big as y?
True
Let t = -8 - -13. Suppose 4*c - t*w + 0*w = -15, -15 = -5*c - 5*w. Let g = c + 3. Which is bigger: 4 or g?
4
Let t = -1.56 + 1.4. Let w = 0.06 + t. Let f be (18/(-4))/(-3) - 2. Is w greater than f?
True
Let u = -1 - -1. Suppose -5*n = -10 - 0. Let x = n - 1. Do u and x have different values?
True
Let d be 10/(-16) - ((-6)/6 - 0). Let n = 1 + -1. Which is greater: d or n?
d
Let c be 5*1/((-375)/10). Is -2 greater than c?
False
Let r = -9 + 12. Let q be (-1)/1 - (-2 + r). Which is greater: q or -4?
q
Let c be (0/2)/2 + 20/70. Is 5 equal to c?
False
Let j = 6 - 7. Let y = 11 + j. Which is greater: -0.1 or y?
y
Let y(i) = i + 12. Let s be y(0). Suppose -7*u - s = -u. Which is smaller: u or -2/3?
u
Let n be -2 - ((-28)/(-11))/(-1). Let z be 1*(-1 + (-2 - -4)). Is n at least z?
False
Let n be (-1)/(-4) + 180/48. Which is smaller: n or 8/3?
8/3
Let s(l) = -17*l + 2. Let f be s(1). Let t = 16 + f. Which is smaller: t or -1/4?
-1/4
Let d(u) = -u**2 + 5*u + 7. Let t be d(6). Suppose -3*y = -r + t - 11, -4*r - 22 = -3*y. Which is bigger: r or -5?
r
Let d be (-2)/(4/(-1 + -1)). Is d less than or equal to -30?
False
Suppose -u - 8 = 3*u. Suppose 8*t = 9*t + 3. Are u and t unequal?
True
Let i = 26 + -50. Which is greater: i or -1/3?
-1/3
Let t = 7 + -6.2. Let k = 0.8 - t. Which is bigger: k or -0.1?
k
Let a = 0 - -4. Let i(y) = y - 2. Let p be i(8). Let u be (2 - 5)/(p/(-10)). Is u at most as big as a?
False
Let v be 5/(-4) + 2/8. Let h be (-5 + 3)*(-3)/(-6). Does v = h?
True
Suppose -5*w + 3*c + 12 = -2*w, -4*c = -2*w + 16. Is 6/13 at least as big as w?
True
Let s = 6414/11 - 582. Is 0 > s?
False
Let m(u) = u**3 - 2*u**2 - 5. Let k be m(3). Is k at most as big as 32/7?
True
Let v be 6*4/3*12/(-48). Let j be (3/(-6))/(1/2). Is j > v?
True
Suppose v - 2 = -0*v. Suppose 0 = -v*s - s. Is s equal to -1/10?
False
Let t be (-36)/(-15) - 2/5. Is 2/3 < t?
True
Suppose 4*p = -2*m + 14, -3*p = -5*m + 4*m + 17. Let f = -16 + m. Suppose 28*b = -68*b - 384. Is b < f?
False
Let h = -188/285 + -8/57. Is h less than -2?
False
Let t(x) = -4*x + 23. Let q be t(9). Is q <= -13?
True
Let r(l) = 2*l**3 + 2*l**2 + l + 1. Let f be r(-2). Let c be (-2)/(1 - f/(-15)). Let b = 0 - -1. Is b at least as big as c?
True
Let l be 0 - 3*(-2)/2. Let y = l - 4. Let z = -3 - y. Is z > -1?
False
Let r = 3 + -3. Let p = -1 + r. Let i = -2 + 5. Which is smaller: i or p?
p
Let b = 5.6 - 6. Let d = b + 0.2. Let i = 6 - 5. Which is smaller: i or d?
d
Let n = 76/119 + -6/17. Suppose 2*v = -3*v. Which is smaller: n or v?
v
Let k = -6.93 + -0.07. Which is smaller: k or -0.1?
k
Let m = -1.075 + 0.075. Is m greater than or equal to 1.5?
False
Let b(d) be the second derivative of d**4/12 - 2*d**3/3 + d**2 - 3*d. Let w be b(3). Is -2 bigger than w?
False
Let b(w) = -w**2. Let c(l) = -5*l**2 + 4*l + 3. Let t(h) = -6*b(h) + c(h). Let k be t(-2). Let g be (11/4 - 2)/(-3). Are k and g unequal?
True
Let g be -1*((-45)/24 - -2). Let m = -13/40 - g. Which is smaller: m or -2/7?
-2/7
Let d be (-2)/(-6)*(-3)/(-5). Let u be ((-8)/(-3))/((-22)/(-33)). Let i be (-15)/21 - u/14. Which is bigger: d or i?
d
Suppose 2*j + d = 218, 4 = 4*d - 4. Suppose -j = -5*u - u. Is 18 equal to u?
True
Let r be (8/(-6))/(22/6). Is -1 >= r?
False
Let i = 0.94 - -1.05. Let n = i + 0.01. Which is bigger: 1/4 or n?
n
Let w be (3/(-3))/((-2)/10). Suppose 4*p - 2*p = -4*m + 46, -2*p = -w*m + 44. Suppose -3*z = -5*z + 8, -3*o = -4*z + m. Which is smaller: -0.1 or o?
-0.1
Let o = 33 - 15. Suppose 3*k + o = 3*t, 1 - 7 = -2*t. Is 2 < k?
False
Let r(m) = m**3 + 8*m**2 + m + 6. Let k be r(-8). Let d be (-10)/(-12) + 1/k. Which is smaller: d or 1?
d
Let k be (-3)/((-15)/(-7 - -4)). Let q = 2 + -2. Which is greater: q or k?
q
Let l be 5/(-4)*1/(-10). Is l less than -1?
False
Suppose -5*k - 3*s = -2, s - 14 = -k - 3*s. Let q = -0.18 + -0.12. Which is greater: k or q?
q
Suppose 0 = 3*z + 84 - 9. Which is smaller: -26 or z?
-26
Let p = 0.29 + -0.09. Let b = p + -0.3. Are 11 and b nonequal?
True
Let m(g) = -g - 5. Let j be m(-5). Let a = 33 + -29. Suppose -a*s + 5 = 3*k, j*s + 3*k - 3 = -3*s. Is 2 bigger than s?
False
Let d(t) = -t + 2. Let w be d(0). Let n(x) = 4*x**2 - 3*x + 1. Let l(i) = i**2. Let c(y) = 3*l(y) - n(y). Let q be c(w). Which is bigger: q or 4/3?
4/3
Let a(j) = -j**2 - 7*j + 1. Let g be a(-7). Let k = -5/7 + g. Let c = k - 11/14. Which is bigger: c or -2?
c
Let x(n) = n**3 - 10*n**2 - n - 7. Let y be x(10). Are -15 and y non-equal?
True
Let y be (12/(-16))/(3/(-27)). Which is bigger: 7 or y?
7
Let d be 10*((-856)/(-220) - 4). Is d at least -2?
True
Let c = -39 + 41. Suppose -4*o + 0*s - s = -9, o - 3*s + 1 = 0. Suppose 5*f = 4*v - 5, 5*v + c = -0*f - o*f. Is 1/6 >= f?
True
Let j be 22/(-26) - (-8)/(-52). Which is bigger: j or -1/168?
-1/168
Let c(q) be the second derivative of -q**4/12 + 5*q**3/6 + 5*q**2/2 - 4*q. Let f be c(6). Which is sm