)/(-15). Let p(v) = -2*v + 8. Let u be p(5). Does u = y?
False
Let f = -10 + 1. Let x = 234 + -234.1. Which is smaller: f or x?
f
Let x(m) = m**3 - 12*m**2 + 11*m + 9. Let o be x(11). Suppose 11 = 4*r - o. Is r greater than or equal to 5?
True
Let n(r) = -r**2 + 6*r + 1. Let f be n(3). Let v = -11 + f. Which is bigger: v or -1/5?
-1/5
Let c = 107 + -66. Let h = c - 125/3. Which is greater: 2/7 or h?
2/7
Suppose -2*p = -4*n + 68, -3*n + 35 + 16 = 5*p. Suppose -n = -2*r - 5*u, -3*u = -3*r - u - 3. Is r greater than or equal to 3?
False
Let g(b) = -b + 11. Let r(x) = x**3 - 2*x**2 + x. Let f be r(2). Let z be ((-10)/8)/(f/(-16)). Let c be g(z). Which is smaller: -1/6 or c?
-1/6
Suppose s = -24 + 17. Is s equal to -8?
False
Let i = -31 - -31. Which is bigger: 2 or i?
2
Let y(c) = 0 + 4*c + 2 - 1. Let d be y(1). Let g(u) = -u**3 + 5*u**2 - u + 4. Let h be g(d). Is h smaller than 1?
True
Let p = -17 - -17. Is -20 less than p?
True
Let i = -5/2 - -1. Suppose 3*v + 5 = -2*v. Is i smaller than v?
True
Let h be 2*12/(-56)*-1. Is 1 != h?
True
Suppose 0 = -0*m + 3*m. Let s be (-2)/(-4)*19/5. Let t = s + -23/20. Which is smaller: m or t?
m
Let i be (-1 - 3)*27/(-108). Which is greater: i or 1/38?
i
Let y = -3992/45 + 438/5. Is y not equal to -2?
True
Suppose -5 = -2*w - 1. Let f = w + -5. Let t = f + 2. Are -1 and t nonequal?
False
Let n = -7467/5222 + 1/746. Are n and 0 non-equal?
True
Let a(t) = 0*t - 3*t + 0*t**2 + 7*t**2 - 6*t**2 - 1. Let b be a(3). Which is smaller: -1/10 or b?
b
Let y(m) = -m**3 + 5*m**2 + 5. Suppose 0 = -5*o + 3*v + 11 + 26, -v = -5*o + 29. Let z be y(o). Suppose -9 = -a + 5*g, -2*g - 2 = 3*a + z. Is 0 at most a?
False
Let j be (-30)/(-8) - (-3)/12. Let y = 12 - 6. Let w be (8/90)/(j/y). Which is smaller: 0 or w?
0
Let j = 9.06 - 0.06. Which is smaller: 0.1 or j?
0.1
Suppose l + 60 = -4*l. Which is smaller: l or -10?
l
Let f = 1 + -5. Let v = 1 + -1. Suppose 5*l = -v*l - 15. Is l smaller than f?
False
Suppose 3*u + w - 1 = 0, -3*w = 5*u - 4 + 1. Let b = u + 4. Let z be b/3 - (-1)/(-3). Which is smaller: z or -2/9?
-2/9
Let n = -2908/114675 + -2/1529. Which is greater: n or 0?
0
Suppose -5*x - 50 = 5*o - 10*o, 0 = 5*x + 5*o + 30. Do x and 0.1 have different values?
True
Let u be 8/6*6/(-4). Let m = -376/231 - 3/77. Which is smaller: m or u?
u
Suppose -5*c = -5*p - 65, -3*c + 47 = 2*p - 7*p. Which is smaller: 7 or c?
7
Let a = 4 - 9. Let m(h) = h + 6. Let z be m(a). Let s be (5 - 2)*(z - 0). Does s = 7/3?
False
Suppose -3*v - 12 = -6*v. Is 5/2 at least v?
False
Let n(g) = -11*g**2 - g + 10. Let p(z) = -7*z**2 - z + 7. Let u(d) = -5*n(d) + 8*p(d). Let b be u(-5). Let x(q) = -3*q. Let f be x(1). Which is greater: f or b?
f
Suppose 2*c - 11 = -3. Is 14/3 not equal to c?
True
Let q be ((-4)/5)/((-4)/(-10)). Let d = q - -5. Which is bigger: 4 or d?
4
Let r be (-52)/(-18)*(-42)/(-56). Let o be 10/3*(-2)/(-4). Let l = o - r. Which is bigger: 0 or l?
0
Suppose 4*v + 43 = v + y, 3*y = v + 25. Let l = -22 - -8. Which is greater: l or v?
v
Let n be 1/1 - (-1 - -7). Let f = n + 3. Let k = 7/2 + f. Is 1 < k?
True
Suppose 1 = 3*o - 5. Suppose o = -3*v + 5. Let j be (-1)/(-2)*6/(-9). Is v >= j?
True
Let a = 57/2 + -27. Which is greater: -6 or a?
a
Suppose -10*r + 2*r = 144. Is r equal to -16?
False
Let d(u) = -u**2 - 9*u - 2. Let s be d(-9). Let z(n) = n**2 - n - 2. Let h be z(s). Which is bigger: h or 1/2?
h
Let u be (-2 + -1)/((-10)/18). Which is smaller: u or 6?
u
Suppose 7*m = 2*m - 85. Let v = m - -17. Let x = 2 + -1. Is v < x?
True
Let x(f) = -f**2 - 1. Let p be x(-2). Let v(d) = d**3 - 2*d**2 - d - 7. Let u be v(0). Which is smaller: p or u?
u
Let b(l) = l**3 + 5*l**2 + 1. Let p be (0 - -1) + (-2 - -1). Let f be -4 + -1 + p/4. Let k be b(f). Which is greater: 2 or k?
2
Let o be 4/(-3)*(-3)/2. Suppose 3*w = -5*s - 2, -o*w + 3 = 2*s + 3*w. Let v = -139/322 + 1/322. Is v not equal to s?
True
Suppose f - w = 2*w + 5, 10 = 2*f + 4*w. Let b be (5 - 10)*12/f. Do -11 and b have the same value?
False
Let g = 6 - 3. Let v = 2 - g. Let h = 0 + v. Is -1/5 != h?
True
Let n be (3 - 58/4) + 2/4. Is -12 <= n?
True
Let f be 2/8 - (-3)/12. Which is smaller: 1 or f?
f
Let j(n) = 7*n**2 - 2*n + 1. Let i be j(1). Let g(k) be the first derivative of k**3/3 - 5*k**2/2 - 8*k - 1. Let z be g(i). Is 0 bigger than z?
True
Suppose -d + 7 = 1. Let w(a) = 4*a**2 - 3*a**2 - 3*a + d + 9*a. Let t be w(-4). Do t and -2 have different values?
False
Suppose -26*m = -24*m + 2. Which is smaller: m or 167?
m
Let n be 2 - 14/6*3. Let g(b) = -b + 3. Let d be g(n). Let m(u) = 7*u**2 + u + 1. Let l be m(-1). Which is smaller: d or l?
l
Suppose -2*n + 3*a - 7*a = 2, 2*n = -a + 4. Let k be (-3)/(n/(-1))*0. Suppose -5*l = -k*l. Are l and -3/5 non-equal?
True
Suppose -5*a + 3*g + 27 = 0, -3*a + 14 + 5 = g. Let q = a - 8. Let i be 0 + (q/7)/1. Which is smaller: 1 or i?
i
Let u = -12 - -20. Suppose -2*k = 4 + u. Is -6 at least k?
True
Let b be 8/(-12) + (-4)/(-6). Does b = 2/9?
False
Suppose -x = -5*x + 16. Suppose -s - x*l - l + 19 = 0, 0 = -4*s - 2*l + 22. Let y(k) = k**3 - 4*k**2 - 3*k - 6. Let r be y(5). Is s less than r?
False
Let h be 3*4/78 + 4008/312. Which is bigger: h or 2/3?
h
Let f = 7 - 12. Let s = 6 + f. Which is smaller: -1 or s?
-1
Let a(y) = 5*y - 2. Let b be a(-2). Suppose 0 = 2*u + 15 + 1. Let j be 16/6 - u/b. Is 1/3 less than j?
True
Let m = 92.9 + -99. Let k = -6 - m. Are k and 2 equal?
False
Suppose 5*j + 2*w = 4 - 2, w = 5*j + 1. Which is greater: -1/4 or j?
j
Suppose -c - c = 10. Let b = c - -18. Let w = b + -18. Is -4 less than or equal to w?
False
Let m(l) = l**2 + 8*l + 2. Let w be m(-8). Suppose 0 = 3*x + w*v + 2 + 5, 2*x + 3 = -3*v. Let p be -4*x/(1 + -55). Is 0 smaller than p?
False
Let p(h) = -h**2 - 7*h - 5. Let g be p(-7). Let w(n) = -n - 18. Let z be w(g). Which is bigger: z or -12?
-12
Let l be 8/6 - (-3)/(-9). Let v = 4 + -3.98. Let u = v + 0.28. Do u and l have the same value?
False
Let r = 1 + -0.9. Let u = r + -12.1. Let o = u - -7. Which is greater: -0.1 or o?
-0.1
Let p = -815/7 + 117. Let x be -2 + (-10 - -2)/(-4). Which is smaller: p or x?
x
Let k = -1/60 + -17/180. Which is bigger: k or 1?
1
Let n = 175 - 177. Is -11/6 greater than or equal to n?
True
Let j = 3/58 - -23/116. Is -1 greater than j?
False
Suppose 4*c + 6 - 2 = 0. Suppose -3*m - u + 117 = 0, u - 4*u = -m + 49. Let r be 1*-2 + m/18. Which is bigger: c or r?
r
Let a be 2/18 - (-3)/9. Let u = a - 17/18. Are u and -1 equal?
False
Let d = 1 - 1. Let r = 14.1 + -14.05. Which is smaller: r or d?
d
Let c be 7132/(-12) - 4/6. Let l be (2/35)/(28/c). Let n = l + 12/7. Which is bigger: n or 2?
2
Suppose -5*y + 3*a = -10 - 0, -3*y + a = -10. Suppose 0 = -2*l - 2*l + 8. Suppose 0 = 5*m - 2*k + 26, 14 = -10*m + y*m - l*k. Which is smaller: -5 or m?
-5
Suppose -t + 14 = -3*k, -t + 2*t = 4*k + 17. Let o = -2 - -3. Suppose f = o - 5. Is k != f?
True
Suppose -21 = 3*n + a, 0 = a - 1 - 2. Is -9 at most as big as n?
True
Let f(s) = s - 4. Let p be (2/(-1))/((-4)/6). Suppose -16 = -o - p*o. Let c be f(o). Is c < -3?
False
Let n = 0 - -2. Suppose -3*s + s + n = 0. Which is smaller: -2/9 or s?
-2/9
Let r = 821/107583 - -5/763. Which is bigger: r or 0?
r
Suppose 2*h = b - 4, -2*b + 2*h + h + 6 = 0. Suppose -q + 2*q - 3 = b. Which is bigger: 2 or q?
q
Let l = -223/3 - -75. Which is greater: 0 or l?
l
Let r = 5 - 5. Is 0 != r?
False
Let m = 1.6 + 6.4. Is -1 bigger than m?
False
Let k = 92 + -85. Which is smaller: k or 5?
5
Let y = 34 + -33. Which is bigger: 4/65 or y?
y
Suppose m + 5*y = 9, -3*y = 5*m - 4 + 25. Let n be 4 + (-3 - -3) + (-55)/5. Which is smaller: n or m?
n
Let k be (-30)/(-4)*2*(-4)/(-16). Which is smaller: k or 5?
k
Let i = -15 + 11. Let k be 3/5 + -5 + 4. Which is bigger: k or i?
k
Let o = 2.2 - 2. Let d = -0.1 + o. Let p = -0.11 - -0.11. Which is bigger: p or d?
d
Suppose 0*o - 15 = -3*o. Let d be o*((-37)/35 + 1). Which is bigger: -1 or d?
d
Let d(x) be the third derivative of x**6/120 - 2*x**5/15 + x**4/4 - x**3/6 - 2*x**2. Let n be d(7). Let u be 22/20 + 4/n. Is 1 smaller than u?
False
Suppose -5*k - 69 = -4. Which is smaller: -16 or k?
-16
Let j be 540/(-160)*4/6. Which is bigger: j or -2?
-2
Let g(x) = -x**3 + 4*x**2 + 6*x - 2. Let q be g(5). Suppose 0 = -q*b - b - 4. Is 1 equal to