n(6). Suppose -m = s - 5*s. Is -1/5 less than or equal to s?
True
Let p be (2*(-5)/60*1)/26. Is p > -1?
True
Let g = 0.05 - 0.01. Let s = -3.96 - g. Let j = 4 + s. Which is smaller: 3 or j?
j
Let g be ((-8)/10)/((-3)/105). Which is bigger: 27 or g?
g
Let q = -0.62 + -29.38. Which is smaller: q or 1/4?
q
Let l = 119/4 - 2491/84. Is l equal to -1?
False
Let k = 0.8 + -4.8. Let n = -3 - k. Which is smaller: n or -0.5?
-0.5
Suppose 0 = 2*y - y - 4. Suppose 0 = y*f + 5*w - 11, 2*f = -f - 2*w + 10. Which is greater: 3 or f?
f
Let g(b) = 5*b**2 - 1. Let c(y) = y**2 + 16*y - 16. Let x be c(-17). Let j be g(x). Suppose 0 = -0*z - 4*z + 4. Are j and z equal?
False
Let w = 14.4 - 14. Is 8 greater than w?
True
Let m = -2 + 1. Let a = 2.9 - 3. Is m less than a?
True
Suppose -22 = -0*u - 4*u - 2*i, -2*u + 12 = 2*i. Let a be 6/u - (-2)/(-10). Let f = 2 - a. Is 0.1 < f?
True
Let a = 3 + -3. Suppose 0 = -3*w - 12, 0 = -4*z + w - a*w. Let l = 0 - -4. Which is greater: l or z?
l
Suppose 0 = 5*v + 8*k - 4*k - 2, -v + 5*k = -12. Suppose 1 = -v*a - 3. Let j be (-2 - 3/a)*0. Which is smaller: j or 1/2?
j
Let s = 0.3 - 0.4. Let m = 8 + -25. Let v = m + 16.7. Are s and v unequal?
True
Let r(j) = -1 + 0*j**2 + 5*j**2 + 4 + 2*j**3 + 3*j + 0. Let m be r(-3). Which is smaller: -16 or m?
-16
Let w(z) = 11*z**3 - z**2 - 2*z - 1. Let x be w(-1). Let u = x - -11. Does -0.4 = u?
False
Let d = -463/755 + 2/151. Let k(u) = 2*u - 9. Let o be k(6). Suppose v - 2*v + 8 = -5*j, 0 = 5*v - o*j + 4. Which is smaller: d or v?
v
Let d(w) = -6*w**2 + w - 1. Let z be d(-3). Let b = 8059/6 - 38551/30. Let s = b + z. Which is bigger: -1 or s?
s
Let w be (-162)/(-44) - (-6)/(-165)*5. Do w and -0.1 have the same value?
False
Suppose -4*g = -14 - 10. Suppose g*o + 28 = -32. Is -11 greater than o?
False
Let n = -52/3 + 18. Let m be (0/(-2 - 1))/(-2). Suppose -2*p = -m*p. Is n greater than or equal to p?
True
Suppose -16 = 4*d + 4*n, d - 5*n + 12 - 32 = 0. Suppose d*u + u = -2. Let a be (-4)/14 - 24/14. Is u less than a?
False
Suppose 5*a - 2*q - 29 = -q, 2*q + 8 = 0. Suppose 5 = -0*w + a*w. Suppose -3*o + 2 = -w. Is o at most -1?
False
Suppose -2*k + 3*s = -63, -k + 2*k = -4*s + 4. Which is greater: 23 or k?
k
Suppose -3*n = 16 + 8. Is n bigger than -10?
True
Let f = -57 - -29. Which is smaller: 2/5 or f?
f
Let f be (5 + -1)*(-14)/8. Let c = 35195/5154 + 4/859. Let g = f + c. Is 1 less than or equal to g?
False
Let r = 19 + -15. Which is greater: r or 9/2?
9/2
Suppose -4*l = -4*b + 12, l - 2*b = 3*b - 19. Is l less than or equal to -1/47?
False
Let m(x) = x**3 - 2 + 0 + 6 + 2*x - 6*x**2. Let r be m(6). Let l be (1 - r)*2/5. Does l = -5?
False
Let j = -1.17 - -1.1. Let q = 0.03 - j. Is q equal to 6?
False
Let v(j) = j**3 + 5*j**2 - 8*j - 5. Let r be v(-6). Suppose -3 + r = c. Suppose 3*o - 4 = -4*y, 4 = c*y - 7*o + 3*o. Is y at most 2/9?
False
Let p = -19 - -18. Which is smaller: p or -9?
-9
Let r(j) = -j**3 - 9*j**2 - 7*j + 10. Let p be r(-8). Suppose -2*d = -d + p. Suppose -3*m - 4 - 2 = 0. Are m and d non-equal?
False
Let t(p) = p**2 + 14*p + 43. Let f be t(-12). Is 55/3 at most as big as f?
True
Let s = 13 - 14. Which is smaller: 1 or s?
s
Let i(j) = j**3 - j**2 + 3. Let r be i(0). Let x be 2*3 + (-2)/(-1). Suppose -4*q = x, -3*k - 4*q - 10 = 1. Which is smaller: r or k?
k
Let l be 2*(-5 - 55/(-10)). Which is greater: -3/50 or l?
l
Let c = -11 - -36. Let x = -15 + c. Which is smaller: 9 or x?
9
Let i be (1/(-3))/((-3)/(-27)). Let v(k) be the second derivative of k**3/6 + 2*k**2 + k. Let n be v(i). Which is greater: 2 or n?
2
Let m = 0.6 - 0.5. Let y = m + 0. Suppose 8 = -5*z - 2. Which is smaller: z or y?
z
Let i = -1/197 - -791/591. Which is smaller: i or 0.09?
0.09
Let p(x) = -11*x**3 + x + 2. Let w be p(-1). Let u = -24 + w. Which is smaller: -13 or u?
-13
Let s = -749/3 + 108611/435. Which is smaller: s or 0?
0
Let b be (-2 - (-3 - 0))*0. Let x be (b/(-4))/(-2 - -4). Is -1/33 >= x?
False
Let g = 66 + -64. Is 6 greater than g?
True
Let k be (-4 - -3) + (-10)/(-6). Is k less than or equal to 1.3?
True
Suppose -x = x - 24. Which is smaller: x or 11?
11
Suppose 4*b = 6 + 22. Let n = b - 7. Is -2/13 >= n?
False
Let b be (-2)/(-4) + (-14)/12. Let t = 0 + -2. Is b less than t?
False
Let i = -341/10 + 67/2. Let o(k) be the first derivative of k**4/4 - 3*k**3 - k**2/2 + 7*k - 6. Let q be o(9). Do q and i have the same value?
False
Let y(c) = 175*c**2 - 2*c - 1. Let a be y(-1). Let b be (a/(-12))/((-1)/3). Let r = 177/4 - b. Which is bigger: -0.4 or r?
r
Let s = -409/8 + 51. Which is bigger: s or -1?
s
Let q = 0.44 - 0.24. Do q and 4 have the same value?
False
Let l be (-1 - -9)/(3 + -4). Which is smaller: l or -9?
-9
Suppose 3*m + 15 = -3*y, -4*y - 24 = 4*m + m. Is m <= -13/4?
True
Let x(m) = m + 9. Let g be x(-14). Let v be (-3)/g - 111/135. Which is bigger: 0.2 or v?
0.2
Let j = -1 - -3. Let b = -4 + j. Let u(n) = -n**2 + 9*n + 22. Let m be u(11). Is m smaller than b?
False
Let t(q) = q**3 - 2*q. Let p be t(2). Which is bigger: 3 or p?
p
Suppose -4 = w, -8*l = -3*l - 4*w + 24. Let t = l - -7. Is t smaller than -3?
False
Let h(x) = x**2 - 5*x - 7. Let a be h(7). Suppose -5*l + 22 = a. Let r be ((-1)/7)/(l/(-6)). Do r and -1 have the same value?
False
Let s = 13 - 3. Let l be s/80*(-4)/(-5). Let z = 3 - 4. Is l >= z?
True
Let b(j) = -j**2 + 6*j - 10. Let a be b(-5). Which is smaller: a or -66?
-66
Let j = -6 + 9. Let t(u) = -u**3 + 3*u**2 + 2*u - 1. Let c be t(j). Let m(g) = g**3 + 8*g**2 - 4*g - 27. Let f be m(-8). Is f not equal to c?
False
Let l = -75 + 1503/20. Which is smaller: 1 or l?
l
Suppose 2*s + 0 = -10. Let c(x) = 5*x - 2. Let d be c(4). Suppose 4*k + 4*y = y - 10, -y = 5*k + d. Which is bigger: s or k?
k
Let k(h) = 2*h**2 - 3*h**2 - 16 - 10*h + 6. Let w be k(-9). Let a = -1 + 3. Which is smaller: w or a?
w
Let a be -1*(28/(-4) - (-4 - -1)). Is a at most -6?
False
Suppose -5*n + n = 0. Let b be n + (2 + 0 - 0). Suppose b*h + 2 + 0 = 0. Is h equal to -1/3?
False
Let w be 31/(-18) + 16/72. Let a = -11/6 - w. Which is bigger: 1 or a?
1
Let n be (1 + (-2)/(-8))*(21 - 1). Is 25 not equal to n?
False
Let q be (-4)/((-1)/(5/(-2))). Let k be (-333)/42 - (-28)/(-49). Is k smaller than q?
False
Let y = 25 + -10. Suppose 3 = 12*x - y*x. Which is smaller: 1/12 or x?
x
Let p = 13 + -12. Let a be p*1/(-2)*-3. Is a > 2?
False
Let f = -23 - -72. Which is smaller: 48 or f?
48
Let s = 19 + 2. Suppose -3*c + 0*c = -s. Suppose -c*k = -2*k - 35. Is 7 >= k?
True
Let d be 2/(-6) - (-350)/(-21). Is -17 less than or equal to d?
True
Let c(z) = -z**3 - 19*z**2 - 19*z - 19. Let k be c(-18). Which is bigger: 1/36 or k?
1/36
Let w = -50 + 51. Which is smaller: 4/3 or w?
w
Let v = -2 - -11. Let u = 3 - v. Let h(a) = a**2 + 5*a - 11. Let q be h(-6). Which is smaller: q or u?
u
Suppose -3*s + 2*h = -3*h - 2, -5*s + 3*h = -14. Let m(g) = g**3 - 4*g**2 + 4*g + 4. Let k be m(s). Let f be (-2)/(-8) + k/(-16). Which is smaller: -2/5 or f?
f
Let z = -862 - -19832/23. Let h = z + -37/230. Is h not equal to -1?
True
Let u = -4 - -3. Let m = -23.3 - -22. Let b = -1.1 - m. Which is smaller: u or b?
u
Let g(z) = -z**2 - 9*z - 6. Let d be g(-8). Suppose 0 = -3*r, -d*r = -4*p + 2*r. Is 0 smaller than p?
False
Let u = 4 - -1. Is u smaller than 9?
True
Let d be (1 - 1 - (1 + -1))/2. Which is bigger: d or 2/65?
2/65
Let a = 136 - 130. Which is greater: a or -4?
a
Let x(h) = 3*h**2 - 3*h + 3. Let i be x(1). Let v(s) be the first derivative of s**2/2 - 4*s - 1. Let d be v(i). Which is smaller: d or 1?
d
Let i(v) = -v**3 + 10*v**2 + 12*v - 9. Let n be i(11). Suppose n*b + 3*b + 56 = 3*p, -2*p + 3*b = -36. Which is bigger: 11 or p?
p
Let b = 0.29 - 0.2. Which is smaller: 1/2 or b?
b
Let s be 3/(-6)*(-12 - -2). Suppose 5*j - 3*q - 26 = -q, 15 = -s*q. Is 4 equal to j?
True
Let h = -4 - -4. Let s = -0.1 + h. Is -1/4 <= s?
True
Let u = 56 - 56. Are u and 6 non-equal?
True
Let b be (-6*1)/(6/(-8)). Which is bigger: b or 9?
9
Let l(k) = k**3 + 8*k**2 + 7*k. Let v(b) = -7*b**2 + b - 1. Let w be v(1). Let o be l(w). Let p be -2 + 12/45*9. Which is greater: o or p?
p
Let f(g) = 12*g - 1. Let q be f(1). Let m = -13 + q. Let u be m/8 + (-15)/(-12). Which is smaller: u or -1/5?
-1/5
Let q = -4 + 4. Suppose -3*l + 4*f - 9 = q, -6*l + l + 4*f - 