ost l?
False
Suppose 4*f = 5*f. Suppose f = 3*l + 6, -3*w + 0 + 67 = -2*l. Suppose -7*v = -28 - w. Is v > 7?
False
Let l be 1/((-1)/(-1*3)). Let a = 7164 - 7176. Which is bigger: a or l?
l
Let y(s) = -s**2 + 5*s. Let l be y(5). Suppose 2*k + k + 2*m - 9 = 0, l = -4*k + 5*m - 11. Let i be (3 - k)/(11 - 15). Which is smaller: i or 2?
i
Let o be 1 - (66/14 - 5). Let i(q) = -q**3 - 4*q**2 + 4*q - 5. Let w = -3 - 2. Let y be i(w). Is y != o?
True
Let r = -55 - -57. Let a = -4.3 - 17.7. Let w = -22.03 - a. Are w and r non-equal?
True
Let g(r) = 15*r - 26. Let z be g(7). Which is bigger: z or 81?
81
Let m = 45 - 41. Suppose 5*w - 2*g + 4 = -3, 3*w = g - m. Which is bigger: w or 1/77?
1/77
Let k = 2 + -3. Let m be 5 - ((-490)/(-252) - -3). Does k = m?
False
Let f be (-24)/56 + (-1338)/14. Let x = f + 32. Let v be 1 + -3 - x/40. Which is greater: v or 4?
4
Let l = -29/147 - -5/21. Let u(q) = q**2 + 35*q - 396. Let z be u(9). Which is smaller: l or z?
z
Let y = 107 + 292. Let j be 3356/42 - (-38)/y. Which is smaller: j or 81?
j
Let m = -1052 + 1051.71. Is m smaller than 0.03?
True
Let r = -0.55 - -10.55. Let q = 15 - 16. Let w = q - -0.9. Which is bigger: w or r?
r
Let f = 33 + -33.02. Let u = f + 0.12. Is u at most 0.5?
True
Let v(l) = -2*l**3 - 32*l**2 + 113*l - 23. Let q be v(-19). Suppose 0 = 2*a + 8 - 0. Do q and a have the same value?
True
Let q(u) = u**2 + 3*u - 4. Let i be q(-4). Let o be ((-14)/(-6))/((-5)/(-3)). Is o < i?
False
Let c = 5 - 7. Let s = -0.56 + 0.66. Are c and s unequal?
True
Suppose -2*m + 27 = 31, -3*k + 4*m + 164 = 0. Is 52 < k?
False
Let k = -388 - -1163/3. Which is smaller: k or 22?
k
Let i be (-4)/144*-4 - 8/(-36). Is -2.88 less than or equal to i?
True
Let q(r) = 2*r. Let z be q(1). Suppose -3*h - 3*n + 20 = 242, 0 = -5*n + 10. Let x = h + 77. Is z smaller than x?
False
Let m(n) = n**3 - 9*n**2 + 9*n - 6. Let r be (-23 + -1)*4/(-12). Let v be m(r). Let o be (-49)/v - (-7)/14. Is -0.1 at least as big as o?
True
Suppose -2*u + 6*u = 4. Suppose l + 0 = -u, -l = 4*r - 23. Let b = r + -15. Is b equal to -9?
True
Let j = 779 + -778.7. Which is smaller: -82 or j?
-82
Let z = 152.5 + -153. Let j be (3/(-15))/(4/10). Is j > z?
False
Let q = -0.926 - 0.074. Suppose 0*a + 5*a - 135 = 0. Let o be (-3)/12 - a/20. Is o > q?
False
Let y = 1/3165 - -22102/167745. Is y at least as big as -1?
True
Suppose -4*u - n + 6 = 2*n, 2*u = -n + 4. Suppose 4*g + 3 = u*g. Let a = 397 - 1997/5. Which is bigger: a or g?
a
Let d(a) = 5 + 2 + a - 2 + 1. Let h be d(-4). Which is smaller: 1 or h?
1
Suppose 0 = -3*s + 3*n - 6 + 24, 10 = 5*s + 5*n. Suppose s*f - 2*v = -v + 15, -9 = -5*f - 2*v. Suppose -f*l = l + 16. Which is greater: -8/3 or l?
-8/3
Let w = -827/110 + 77/10. Let f be (-4)/14 + 4/14. Suppose f = -s - 0*s + 1. Which is smaller: w or s?
w
Let q(z) = -36*z**3 + z**2 + 21*z - 43. Let y be q(2). Which is smaller: y or -856/3?
-856/3
Let p = -4 - -1.22. Let r = p + 2.7. Let i = 228/35 - 34/5. Is i equal to r?
False
Suppose -5*w = -3*i + 21 + 54, 2*i - 46 = 2*w. Let o = i + 15. Let a = -328 - -362. Is o less than a?
False
Suppose -5*b + t = 4*t - 16, -19 = -2*b + 3*t. Let x be (1 - 1)/(-3 + (4 - -1)). Suppose -15*g + 12*g + 9 = x. Does g = b?
False
Suppose -348 = 26*h + 770. Is h less than -263/6?
False
Let w = 1574.2 + -1574. Which is smaller: w or 0.12?
0.12
Let n = -31 + 36. Suppose n*k - 2 + 13 = -j, 2*j = -3*k - 8. Which is greater: 12 or k?
12
Let d = -0.63 + 3.73. Let j = -2.9 + d. Which is smaller: 1 or j?
j
Let v(z) = 28*z - 122. Let j(s) = 10*s - 41. Let f(h) = 11*j(h) - 4*v(h). Let u be f(18). Which is smaller: u or -47?
-47
Let m(c) = -c**3 - 4*c**2 - 2*c - 6. Let z be m(-4). Suppose -n = -z + 8. Which is bigger: n or -70/13?
-70/13
Suppose 0 = -4*u - 47 + 7. Let p be -9 + 7 + u/(-7). Let s = p - -79/126. Which is greater: s or 0?
s
Let m = -7921 + 7928. Let n be 4/(-10) - 108/(-20). Suppose -4*j + 5*j - n = 0. Is j at most m?
True
Let s = -38 - -41. Let p be (-1 + 2)*(-7 + 3 + s). Which is greater: p or 0?
0
Suppose -y - 12 = -57. Let o be 40/y - (-1)/9. Are 2 and o unequal?
True
Let b = -2 + 1. Let i = -27 - -73. Let z = i + -229/5. Which is smaller: z or b?
b
Let d be (-375)/150*(-42)/(-5). Is -23 > d?
False
Let p be ((-80)/(-4))/(-5) + 25. Which is greater: 26 or p?
26
Let m = -31 + 29.95. Let b = m + 0.05. Is b less than or equal to -1/5?
True
Let w(d) be the third derivative of -d**5/60 - d**4/24 + 2*d**3 + 5*d**2. Let u be w(0). Let q be 5/15 - 10/u. Are 0 and q nonequal?
True
Let i = 61 + -38. Let g = i + -16. Let f be (-8)/(48/(-63))*4/6. Is g at most as big as f?
True
Let o be (4/15)/(20/(-50)) - 4. Let w be 22/(-4) + (-7)/(-14). Is o at least w?
True
Let g(y) = y**3 + 3*y**2 - 2*y + 4. Let p(f) = -6*f - 4. Let m(o) = o - 1. Let x(b) = -8*m(b) - p(b). Let s be x(8). Let v be g(s). Which is smaller: -2 or v?
v
Let c be ((-3)/(-9))/((-1)/(-9)). Suppose 2*k - 4*k - 10 = 0, -30 = -l + c*k. Does l = 14?
False
Let v be (-2)/4 + (-15)/2. Let n(t) = -2*t - 23. Let i be n(-10). Let f be (((-48)/(-9) - 2) + i)*-21. Which is greater: v or f?
f
Let v(j) = -j**3 + 4*j**2 - 2*j + 1. Let h be v(3). Let b be (-2)/7 + 284/14. Let k be (-15)/b*h/(-6). Which is smaller: -0.3 or k?
-0.3
Let y = 0.2 + -0.4. Let z = -0.03 - 1.25. Let g = z - -1.34. Which is greater: g or y?
g
Let t = -413 - -408. Suppose -12 = 3*z, 0 = 5*k - 2*z - 3*z + 20. Which is smaller: k or t?
k
Let l = -16 - -27. Let q = 13 - l. Let n be (3/(-6))/((-1)/2). Which is bigger: q or n?
q
Let x = -0.0297 - 86.9703. Which is smaller: 3/2 or x?
x
Let r be -12 - (-8)/(64/92). Which is smaller: 1 or r?
r
Let i = -154 + 153. Is i at least 3/13?
False
Let b(v) = v + 17. Let t be b(-11). Let p be (t - 2/(5 + -3))/1. Is 0.03 <= p?
True
Suppose -62*l + 551 + 7 = 0. Let r be (-1 + 3 - 2) + 11. Is r smaller than l?
False
Let t = 10 - 9. Which is bigger: t or -1/327?
t
Let v = -418/45 - -80/9. Let z = 53 + -25. Let p = -27 + z. Which is smaller: v or p?
v
Let w = -36.7 - -36.6. Let p = 5 - 6.1. Let j = p - -1. Are w and j equal?
True
Let y = 160 - 101. Let n = y - 51. Which is greater: n or -0.8?
n
Suppose -d - 20 = -6*d. Let l be (-1 + 1/d)/((-11)/44). Are l and 3 non-equal?
False
Suppose 0 = 3*i + 5*p + 32, -5*i - 21 - 57 = -4*p. Let q be (435/12)/(i/(-8)). Let t = -905/42 + q. Which is bigger: t or 0?
0
Let l(v) = v**3 + v + 5. Let u be l(0). Suppose 2 = 2*h + p, 4*h - 15 = 2*p + u. Let b be 0/(1 + h/(-1)). Is b greater than or equal to 5/9?
False
Suppose -26*q = -21*q - 30. Let n = 31 - 25. Is n at most q?
True
Let o = 5.9 - 5.8. Which is bigger: o or 41?
41
Suppose 4*v + 4 = 3*w, 13*v + 5*w + 5 = 8*v. Is -6 at least v?
False
Suppose -5*t = w + 83 - 88, 3*t - 3 = -4*w. Which is smaller: w or 5/137?
w
Suppose -3*k + 126 = -54. Suppose 59*s - k*s - 2 = 0. Is s at least 4/29?
False
Let x = -25.005 - -0.005. Suppose -13*o = 13*o - 22*o. Is x less than or equal to o?
True
Suppose -4*l - 686 = 3*l. Let y = 99 + l. Is -3/7 greater than y?
False
Let p be (-3)/(-9) - (-14)/3. Suppose 3*i = -u + 1, 9 - 20 = -p*i + 3*u. Let b be i*(1/(-1) + 3). Do 2 and b have the same value?
True
Let l = -0.0518 + -97.9482. Does l = 0.1?
False
Let x be -18*(0 + 36/8 - 5). Which is smaller: x or 6?
6
Let k = 1467 + -1470. Which is smaller: k or -56/15?
-56/15
Let s = -6 + 6. Let d = 18 + s. Is d greater than 19?
False
Let w(n) = -n**2 - 8*n - 2. Let u be w(-8). Let k be (u/(-4))/(1/6). Let l be -4 - ((-5)/(20/(-28)) - 14). Is k equal to l?
True
Let s(k) = 2*k**2 + 7*k + 11. Let a be 2/(((-32)/(-10))/(-8)). Let u be s(a). Is -1/4 greater than u?
False
Let h = -185 + 310. Let g = -137 + h. Are g and -13 unequal?
True
Let i be (6 + -5)/((-3)/105). Let q(y) = -y**2 - 6*y + 4. Let z be q(4). Which is smaller: i or z?
z
Let v(p) = p + 4. Let d be v(0). Suppose d*q + 9 = -5*g - 0, -5*g = -5*q. Let t = 3 - 2. Which is bigger: t or g?
t
Let s = -4/219 + 11108/657. Let p = s + -1010/63. Suppose -6*l + 5 = -l. Is l at least p?
True
Let b = -1702 + 962. Let t = 59199/80 + b. Is 1 smaller than t?
False
Let p(l) = -l**2 + 28*l - 54. Let a be p(22). Let i be 6*2/968*104/a. Is i at most as big as 1?
True
Let t = -5 - -18. Suppose -4*b + 28 - 4 = 0. Let c be 126/10 - b/(-15). Does c = t?
True
Let b = 0.059 - -41.941. Let n = b - 