pose -5 = 6*q - 7*q. Which is smaller: l or q?
l
Let q be (-6)/12*36/(-1 + -1). Is 10 less than q?
False
Let k = 0 - 0. Let u be (108/30)/((-2)/(-5)). Let g be ((-4)/6)/(6/u). Which is smaller: k or g?
g
Let r be 3 + 242/(-82) + 0. Are 1 and r unequal?
True
Let n(k) = -k**3 + 5 + k - k - 5*k + 5*k**2. Let y be n(4). Which is smaller: 2 or y?
y
Let k(v) = -13*v**3 + v**2 - v + 1. Let l be k(1). Do -12 and l have different values?
False
Let u = -0.31 + 8.31. Let y = 0.3 + -1.3. Is u at most y?
False
Let g(y) = 6 - 5*y + y + 5*y. Suppose 21 = -2*l - l. Let c be g(l). Do -2/3 and c have the same value?
False
Let v be ((-7)/3)/(1/(-3)). Let i be 18/(-14) - (-2)/v. Let r be (-43)/(-60) - (-4)/(-6). Which is smaller: r or i?
i
Let b = 323 + -231. Let l be b/32 - 3*1. Let i = -1 - -1. Which is smaller: l or i?
l
Let o be 5/(-7) - (-4)/(-14). Let x be 4/(-10) + 1032/(-270). Let m = x - -4. Is m at most as big as o?
False
Let j(y) = 30*y + 10. Let p be j(-4). Is -1 > p?
True
Let k = 12 - 8. Suppose 5*u - k = -2*r - 0*r, -4*u = -3*r - 17. Suppose -z + 4*s - 6 = 0, -z + 3*s = 5*s. Are z and r non-equal?
True
Let n = 96.4 - 85. Let l = n + -11. Is 3 bigger than l?
True
Let w be ((-9)/8)/((-3)/(-76)). Let i = 29 + w. Which is smaller: 4 or i?
i
Let o = 0 + -0.1. Let w = -9 + 4. Let c = 5.2 + w. Is c at least as big as o?
True
Let y(z) = -3*z - 1. Let t be y(1). Let i = 3 + t. Is -1/5 > i?
True
Let y be 1 + 4/(-2) + -2. Let w be (0 + 2 - 0) + 2. Suppose -2*m = -4*m - w. Which is smaller: y or m?
y
Let u = -56 + 163/3. Is -3 at least as big as u?
False
Let t be 1 + -1 + (-252)/21. Is -74/7 less than t?
False
Let z(k) = 2*k**3 - k**3 - 2 + 4*k**2 - k - 5*k**2. Let v be z(2). Let c = v + -1. Which is smaller: c or 3?
c
Let q = 2.828 - 2.9. Is 0 not equal to q?
True
Let f be (-3)/18*(2 + -8). Is f at least 2?
False
Suppose 14 = -4*n + 2*i, n - 4*i = -0*n - 7. Is -5 at least n?
False
Let n(t) = 3*t**2 - 1. Let p be n(-1). Let b be (-3)/(-10)*4/2. Is p at most as big as b?
False
Let a = 0.7 + -0.5. Let t = 0 + a. Is t < -6?
False
Let v be (-53)/6 - 5/30. Let o = 25 + v. Is 16 at least as big as o?
True
Suppose -y + 3*p = 5, 3*y - y - 3*p + 7 = 0. Let x = -2 - 0. Are x and y unequal?
False
Let w be -2 + (-1 - -5*1). Suppose -4*p - 7 = -3*v, -2*p - 1 - 1 = -w*v. Let l be (-3)/(1/(v/15)). Is l less than or equal to 2?
True
Let w(x) = 2*x - 4. Let t be w(2). Is t bigger than 6/7?
False
Let l = -45/2 + 23. Which is bigger: l or 1?
1
Let b be 2/(-8) - 21/(-20). Let f be (-3)/(-2)*(-4)/(-3). Let l(h) = h**2 - h - 1. Let p be l(f). Is p smaller than b?
False
Let y = 739 + -19955/27. Do y and 1 have the same value?
False
Let g be (-70)/(-22) + 6/(-33). Is g smaller than -3/4?
False
Let d = 13 - 3. Suppose -2*k + 0*k = -d. Suppose -5*r + 4*p - k = -p, 5*r = 4*p - 4. Which is smaller: -1/3 or r?
-1/3
Suppose 2*l + 15*l = 2*l. Let u(m) = m**2 - m + 1. Let v be u(1). Is l greater than or equal to v?
False
Let m be 0 + 55/(-6281)*(-4)/(-10). Which is smaller: m or 0?
m
Let w be (1 + -1 + -1)/(3/(-180)). Is 60 greater than or equal to w?
True
Let r = -81 - -75. Is r less than -6?
False
Let c = -15 + 11. Let q = c + 2. Is q at least 1/4?
False
Let d = 9 - 9. Which is bigger: d or -1?
d
Let m be 0 - 0 - 4/(-14). Let o = 6 + 2. Suppose -2*z = o, -3*p + 4*z + 8 + 8 = 0. Which is bigger: m or p?
m
Let d(j) = j**3 - 2*j**2 + j - 1. Let x be d(2). Which is bigger: -1 or x?
x
Suppose 0*k - 2*k = -5*u + 13, -4*k + 19 = 5*u. Suppose 0*y + y = u. Suppose -7*l + y*l = 0. Is 3 smaller than l?
False
Let f = -0.2 + 0.7. Which is greater: 0.1 or f?
f
Let s = -7/22 - -3/22. Suppose 2*v + 3*w = -6, -5*v - w - 7 = -6*v. Suppose 2*a + v*a = 0. Which is smaller: s or a?
s
Let a(q) = q**3 - 11*q**2 + 28*q. Let k be a(7). Which is greater: -1 or k?
k
Suppose 2*t = t + 21. Let r be ((-8)/(-12))/(2/t). Suppose -3*u + 15 = -4*b, -2*u = 3*u + 4*b + r. Which is smaller: 4/9 or u?
4/9
Let a be 6/2*(-6)/9. Which is bigger: a or -3?
a
Let c = 264/7 - 38. Suppose 6 = -5*o + 26. Suppose 2*n = 5*t - 5, -o*n - 6*t + 2 = -4*t. Is c less than n?
True
Let g = 5 - 2. Suppose -k + 3 = 0, 4*j + k - 12 = 3. Are g and j equal?
True
Let x be 4/18*-3 - (-185)/(-15). Which is smaller: x or -5?
x
Let s = -1 - -4. Suppose 0 = s*g + 1 + 8. Let r be (-7)/(-3) + 1/g. Is 3 at most as big as r?
False
Let g be (-5838)/88 + 4/16. Let y = -66 - g. Which is greater: -1 or y?
y
Let o(j) = j + 5. Let g be o(-7). Let a = -4 - -3. Which is bigger: g or a?
a
Let r = 5 - 3. Let i be (-3)/(r/(-1) + -1). Is 1/2 less than i?
True
Suppose 4*l + 5*q - 4*q - 43 = 0, 5*l + 5*q = 65. Let y be (-3)/2 + 55/l. Suppose 2*x - 5 = c, x - c - y - 1 = 0. Which is greater: 1 or x?
1
Suppose -v + 0*f = f, 0 = -2*v + 3*f + 10. Let a(g) = 2*g - 1. Let o be a(v). Which is smaller: 1 or o?
1
Let d(i) = -i**2 - 4*i + 1. Let x be d(-5). Suppose -32*z = -30*z. Is x smaller than z?
True
Let z(o) = 3*o + 7. Let l(t) = -16*t - 35. Let p(b) = 2*l(b) + 11*z(b). Let x be (-1)/(3 + -2) + -5. Let m be p(x). Which is greater: 0 or m?
m
Let k be -1 - (-1 + 4)/(-3). Suppose k = 2*x - 2 + 4. Is x less than -3?
False
Let l = -1 - -3. Let g be (-1288)/(-49) + (-2)/7. Let k = 80/3 - g. Does k = l?
False
Let y = -1 + -1. Let l = -1 - y. Which is bigger: l or -2/5?
l
Let n be ((-32)/(-24))/(2/(-3)). Is -1 != n?
True
Let k(h) be the second derivative of h**3/3 + 11*h**2/2 + 6*h. Let o be k(-5). Is 0 less than o?
True
Suppose -3*f = -3 - 27. Let s be 2/(-4)*f/15. Let w = -0.4 - -1.1. Which is smaller: s or w?
s
Let x(w) = w**3 - 7*w**2 - 8*w + 1. Let s be x(8). Are 2/67 and s equal?
False
Let g be 17/4 + (-1)/4. Suppose -3*k = 4*p - 1 - 19, k + 5 = p. Suppose 0 = g*l - k*l. Which is smaller: l or 1/5?
l
Suppose -5*q - 1 + 11 = 0. Let g = 2 + -6. Let c(p) = -p - 3. Let l be c(g). Is q greater than or equal to l?
True
Let x = 14 - 11. Let o = -4 + x. Which is greater: 2 or o?
2
Let c be 609/(-6)*(-4)/(-11). Let p = 37 + c. Is 0 smaller than p?
True
Let c be (0/(-3*1))/(-2). Let o = 4 + -3.4. Let b = o - 0.3. Do b and c have different values?
True
Let p = -0.158 + 0.058. Which is greater: p or -1.2?
p
Suppose 4*r = -r - 75. Let c be 2/(12/r) + 3. Is 0.5 < c?
False
Let x = -285 - -5420/19. Is 0 equal to x?
False
Let a(r) = r**3 - 2*r**2 - 10*r + 9. Let b be a(6). Let j = b - 649/7. Is -0.1 > j?
False
Let u be (12/18)/(1/(-3)). Suppose 0 = -t + 2*t - y - 1, 25 = 5*t - y. Suppose t*n + 9 = 3*n. Does n = u?
False
Suppose 3*u = -0*n + 2*n + 844, 0 = -2*u - 3*n + 554. Let o = -4202/15 + u. Is o greater than 0?
False
Suppose 0 = 2*a - 5*t - 14, -7*t + 2*t = -4*a + 18. Suppose -9 = 6*g - 5*g - 4*n, 8 = -a*g - 2*n. Suppose 0*x = 4*x + 16. Which is greater: x or g?
x
Let h(l) = l + 1. Let m be h(7). Let y(j) = j**3 + 4*j**2 + 3*j + 3. Let q be y(-3). Suppose m*g - q*g - 10 = 0. Is g equal to 1?
False
Let f be 3/(-2)*(-27)/216. Which is greater: 1 or f?
1
Let t(n) = -6*n + 2. Let w be t(2). Let q be (-32)/w + (-6)/2. Is q < -1?
False
Let s = -162 - -331/2. Do 3 and s have the same value?
False
Let l = 25 + -25.04. Is 1 greater than l?
True
Suppose 5*u = 2*w - 6, -3*w + w - 8 = 2*u. Is -18/11 at least w?
True
Let x be 1/(-5) - (-28)/15. Let f = -23 - -24. Which is smaller: x or f?
f
Let l = 4 + -3.9. Is -1/7 != l?
True
Suppose 0 = 3*t + 5 + 10. Which is smaller: t or -1?
t
Suppose -4*j = 2*w + 5 - 27, 0 = -4*j + w + 25. Suppose -3*i = -j, 5 = 5*a - i - 4*i. Is 4 less than a?
False
Let u = -0.73 - -0.63. Let m = 0 + 1. Let c = 0.5 - m. Do u and c have different values?
True
Let y(b) = -b**3 + 4*b**2 + 6*b - 5. Let w be y(5). Let t = 184/63 - 22/7. Which is smaller: w or t?
t
Let n be (18/12)/(3/8). Suppose t + 4*u - 23 = 0, -3*u = -n*u + 5. Is 2 greater than t?
False
Let o(r) = r - 4. Let f be o(4). Let j = f - -4. Suppose -t - 3 = -j. Is 5/6 at most t?
True
Let r = -122 - -5123/42. Which is greater: -0.1 or r?
r
Let w = 2 + -2.4. Let x(y) be the third derivative of y**5/60 - y**4/3 + 5*y**3/6 + 2*y**2. Let n be x(7). Is n smaller than w?
True
Let k = 134/3 - 46. Which is smaller: k or -1/4?
k
Let o = -15 + 13. Which is smaller: -30/13 or o?
-30/13
Let v = -122 + 41. Which is smaller: -83 or v?
-83
Let l = -1/2 - -5/6. Suppose 24 = 4*a - 4*p, -4*a + 9 = -0*a + p. Suppose -n = -2*f + 4*n - 25, n