s smaller: 1 or n?
n
Let z be 849161/216 + 0 - -2. Let j = 29019/8 - z. Let f = j + 306. Which is greater: f or 1?
1
Let n = -11.51 - -10.5. Let u = 0.052 - 0.062. Let d = u - n. Is 2/7 smaller than d?
True
Let j = -36 + 57. Are j and 21 nonequal?
False
Let w = 0.04 - 0.06. Let o = w + -0.28. Which is smaller: -0.1 or o?
o
Suppose 0 = -5*p + 5*l - 5, 3*p + 0*l + 3 = -3*l. Let h be (-5)/(-5)*1/4. Which is smaller: p or h?
p
Let v(p) = p - 19. Let u be v(12). Which is smaller: -8 or u?
-8
Let s be (-18)/161 + (-10)/(-35). Let q = s + -31/46. Which is bigger: q or -2?
q
Let q be 10/5 + (-4)/4. Suppose 3*y = 5*y. Let u(w) = w**3 + w**2 - 1. Let k be u(y). Is k at least q?
False
Let x = -17 + 69/4. Is x bigger than 0?
True
Let m(t) = -t - 4. Let c be ((-1)/(-2))/(2/(-24)). Let d be m(c). Suppose 0 = v - 3*v + 4. Does v = d?
True
Let z be (-2)/2*(0 - 0). Suppose z*y + 9 = o - 5*y, -y = -2*o + 9. Which is smaller: o or 3?
3
Suppose 4*t - q + 60 = 0, 5*t - 2*q = q - 75. Let l = t - -13. Which is smaller: l or -1?
l
Let v be ((-10)/8)/(6/(-24)). Is 5 at most as big as v?
True
Let r(u) = -u**3 + 4*u**2 - 4*u + 3. Let m be r(3). Let q = 135 - 677/5. Is q less than m?
True
Let s = -8 + 7.7. Let d = -0.7 - s. Let b = d - -0.3. Is -2/11 equal to b?
False
Suppose -5*o + 3*y + 20 = -0*y, -2*o = -3*y - 8. Suppose 0*r + o = r. Let b be (-1)/(-4) - (-1)/r. Which is smaller: 2 or b?
b
Suppose 4*n - 2 = 2*n. Let s = 41045/17682 + -25/421. Let j = -13/6 + s. Which is smaller: n or j?
j
Let m = 28 + -60. Is m < -0.1?
True
Suppose -2*d + m = 5*m - 12, 4*m = 5*d - 16. Suppose -d*l + 5 = -3. Which is bigger: 1 or l?
l
Let h = 6 + -5. Let k = h + -2. Let a be k + -2 - (-50)/18. Which is bigger: 0 or a?
0
Let o be (-34)/(-6) + 10/(-15). Suppose -4*j = 0, -o*j - 20 = -3*u - 5. Suppose u = i + 4*i. Is i at least as big as 1/4?
True
Let a(v) = -v**2. Let c(p) = -p**3 - 10*p**2. Let d(z) = -3*a(z) + c(z). Let g be d(-7). Which is bigger: -3/4 or g?
g
Suppose -3*a - 4 = 3*k + 2, 2*a = -k - 4. Is -2 at least k?
False
Let d = 0.2 - 0.3. Let w be (-2)/(-4) + (-21)/(-42). Which is smaller: d or w?
d
Let n(f) = f**3 - 5*f**2 - 7*f + 9. Let q be n(6). Is 13/6 at least q?
False
Let c = -0.71 + -0.19. Which is smaller: c or 0?
c
Let l = -6 + 14. Suppose -3*h - 4*a + 15 = -1, -4*h - 2*a + l = 0. Let j = -42 + 42.4. Are j and h unequal?
True
Let b(p) = 2*p - 8. Let z be b(10). Which is bigger: z or 13?
13
Suppose -3*r - 4 + 10 = 0. Suppose 8 = i + r*d, 0 = 5*i - 2*d - 0*d + 8. Which is greater: i or 2/23?
2/23
Let z = 18515149/78855 + 1/15771. Let f = z + -233. Which is smaller: f or 1?
1
Let q = 92 - 90.2. Is -1 <= q?
True
Let l = -1 - 1. Let b = -682 + 7496/11. Is b not equal to l?
True
Suppose 4*c + 4 = 8*c. Let v(n) = n**2 - 9*n + 8. Suppose -49 = -3*l + 5*g, 4*l = -2*g + 26 - 4. Let w be v(l). Which is smaller: w or c?
w
Let g = 73/2 - 36. Which is greater: g or 1?
1
Let d(n) = 6*n - n**2 + 1 - 2*n**2 + 2*n**2. Let z be d(6). Let u = 2/295 - -869/2360. Are z and u unequal?
True
Let w = 4 - 3. Let r(k) = 3*k**3 + 1. Let q be r(w). Let m be 0 + 0 - (-3)/1. Is q < m?
False
Let q be (-1 - -2)/((-6)/30). Let u = q - -6. Let d be 0 - ((-1)/(-5))/1. Are u and d equal?
False
Let l be -1 - 8/(-10) - 99/55. Do l and -30/13 have the same value?
False
Let t = 63/8 - 369/56. Is t > 0?
True
Let v be 6/2 - 75/21. Which is smaller: -1 or v?
-1
Let m = 3 + -6. Let h = -1.7 - 0.3. Let i = m - h. Which is bigger: i or 0?
0
Let k be (-11 - -4) + 4/(-2). Are -7 and k unequal?
True
Let i be (1/2)/(30/(-45)). Which is smaller: -2 or i?
-2
Let s(u) = -u**3 - 6*u**2 + 7*u + 2. Let y be s(-7). Suppose -p + 2*i + 6 = 0, 0*p - 5*p + y = 4*i. Which is greater: p or 3?
3
Let d = 23/2 + -67/6. Let s = d + -1/21. Suppose q + 3 - 4 = 0. Which is greater: q or s?
q
Let r(k) = -k**3 + 6*k**2 - 5*k + 2. Let d be (-1 + 5)*20/16. Let g be r(d). Suppose -4*t + 18 = t + 3*n, 0 = -3*t + g*n + 7. Which is smaller: 2 or t?
2
Let s be (-82)/14 - 6/42. Let v = s + 7. Which is smaller: v or -2?
-2
Suppose -4*r = -4*t - 0 + 4, t - 5 = -3*r. Let s be (1/16)/(2/(-12)). Which is smaller: r or s?
s
Let r be 1/1*0/3. Suppose r*d - 3 = -3*d. Let m = 0.25 - -0.05. Which is bigger: d or m?
d
Suppose -3*m + 36 = 2*b - 21, -4*b = -m - 93. Suppose 0 = 2*q + 5*j - b, 8*q - 3*q - 3*j + 2 = 0. Which is greater: 3/2 or q?
q
Let b = -9 - -13. Let o be (-258)/(-54) + b/18. Do 6 and o have different values?
True
Let w = 12.4 + -16. Are w and 0.1 equal?
False
Let w = -6.91 - 0.09. Let c = -7 - w. Let g = c + 0. Which is smaller: g or -1?
-1
Suppose -3*c = -8*c. Let k = c - -2. Let j be k + (-1)/((-9)/(-20)). Is 0 greater than or equal to j?
True
Let c = -92592 + 831292/9. Let p(t) = -t**3 + 8*t**2 - 4*t + 14. Let j be p(10). Let k = c - j. Which is bigger: k or 1?
1
Suppose -4*r = 15 - 23. Is 1 at most r?
True
Let c(t) = -t**2 + 4*t + 2. Suppose 6*w - 3*w - 15 = 0. Suppose -w*g = -2*y, g + 2*g = 5*y - 19. Let r be c(y). Is -3 <= r?
True
Let j = 218 - 4361/20. Is j less than 0?
True
Let g = -1295/2 + 663. Let h = g + -16. Which is greater: h or -1?
h
Suppose 4*z + 5 = -7. Let b = 0 + z. Let k = 5 + b. Is 2/7 < k?
True
Let o = -15 - -16. Which is greater: 2 or o?
2
Let k = -9 - -30. Let a be 0/4 + 1/k. Does 1 = a?
False
Suppose -i = -0*q + 2*q + 6, -3*q = 4*i + 14. Let k be (-2)/(-1) + (-10)/4. Is k != i?
True
Let a be 0 - (-6)/4 - 0. Suppose 0 = -4*d + 1 + 3. Suppose y - 3 = -d. Which is smaller: y or a?
a
Suppose 2*x + 36 - 6 = 0. Let f be (-6)/(1 - x/(-6)). Let p be f*(9/(-12) + 0). Is -4 greater than or equal to p?
False
Suppose -2*h - 23 = 13. Let d = -14 - h. Is d != 3?
True
Let r be 1*-35 + (-3)/(-3). Let h be r/6 - 7/21. Let w be 8/30*(-9)/h. Is w at least as big as 0.1?
True
Suppose 0 = 4*z + 22 - 18. Is z at most 2/133?
True
Let y(b) = b + 7. Let q be y(-8). Suppose 2*c - 2*t - 12 = 0, -2*c - c + 5*t = -26. Suppose -4*m + 5 = 3*w, 0*m + 10 = -c*w + 4*m. Is w >= q?
True
Let q be (2/(-28))/((-3)/(-12)). Which is smaller: q or 8?
q
Let x(a) = a + 1. Let f be x(0). Let n be 14/5 - (-1)/5. Are f and n equal?
False
Let a(z) = -z + 3. Let o(n) = 2*n - 3. Let v be ((-3)/1)/(15/10). Let k(m) = v*o(m) - 3*a(m). Let i be k(-5). Which is smaller: i or 0?
0
Suppose 0 = -7*c - 2*c. Which is smaller: c or 9/14?
c
Let l = 13.91 + -14. Let o = -0.19 - l. Is o at least -16?
True
Suppose 0 = 2*j + l + 16, 2*j + 3*l = 3*j - 6. Let f be (-1)/(-3) - (-8)/j. Is -5/7 > f?
True
Suppose 5*r + 4*c = 24, 8*r = 3*r + 2*c + 18. Let g be 8/2 + (r - 3). Is 4 >= g?
False
Suppose -3*n + 0*n - 367 = -g, -2*g + 238 = -2*n. Let z = -870/7 - n. Which is bigger: 0 or z?
0
Let m be (-22)/18 - 2/(-2). Let g(k) = -7*k**2 + 2*k - 6. Let t(x) = -6*x**2 + 3*x - 6. Let q(p) = 5*g(p) - 6*t(p). Let a be q(7). Is a <= m?
True
Suppose -4*y + 15 = -y. Let q(s) = 2*s - 7. Let p be q(11). Let m = -10 + p. Is m > y?
False
Suppose -4*z + 0*w - 32 = -w, -4*w - 32 = 4*z. Which is smaller: -11 or z?
-11
Let p(h) = -h**2 - 1. Let a(w) = 4*w**2 + w + 3. Let l(m) = -2*a(m) - 7*p(m). Let s be l(-2). Let f be -2 + 1 + (-3)/(-5). Is s != f?
True
Let w = -5.2 + 8.2. Is w greater than -0.1?
True
Let c be 8/(-18)*2/4. Let w = 285.1 + -268. Let d = -17 + w. Which is smaller: c or d?
c
Let n be ((-3)/(-2))/((-3)/4). Let l(k) = -3*k**3 + 1. Let g be l(n). Suppose -y + 3*i - 13 = -0*y, -4*y = -3*i + g. Is -4 greater than y?
False
Let x(w) = 3*w. Let m be x(1). Suppose 0 = -m*o + 2*o. Let n be 6/(-15)*175/60. Is o less than n?
False
Suppose p = -4*g - 17, -2*g = g + 15. Suppose -p = -0*l + l. Let t be 10/(-6) + l/9. Is -2 >= t?
True
Suppose 4*t - 5*k = 8 - 3, 5*t = k + 1. Suppose -4*w - 20 = 0, 4*x - 2*x + 2*w + 14 = t. Let d be 0/((-4)/x*-1). Are d and 0 equal?
True
Let j = 2687/6 + -449. Which is greater: j or -2?
j
Let o = 1 + -7. Is -5 > o?
True
Let l(u) = u**3 - 5*u**2 + 4*u - 3. Let f be l(3). Let p be f/12 - (-1)/1. Is -1 < p?
True
Let p = -623/23 - -27. Are p and 1 unequal?
True
Let z be 12/(-18) + (-28)/(-6). Suppose -3*y - y + 16 = z*w, -2*y + 8 = 5*w. Let m = 28/69 + 6/23. Is w at least m?
False
Let i be 1725/(-24)*6/15. Let v = 30 + i. Which is greater: 0 or v?
v
Let l(b) = b**3 - 4*b**2 - 13*b + 6. Let s be l(6). Is -7/5 less than or equal to s?
True
Let j be (5/(-10) + (-4)/56)/(-2). Is 3/