 be -2 - (-7)/((-441)/(-1716)). Let a = l - 18/7. Let i = a - 22. Which is smaller: 0 or i?
0
Suppose -3*p = -6*p - 5*d + 25, -2*p = d - 5. Suppose -j = 3 - 8. Let y = p - j. Is -5 at most y?
True
Let j be 4/6 + 14/6. Let u be -2*-2*j/150. Let n be (-7)/5 + 6/15. Which is smaller: n or u?
n
Suppose -4*l - 1 = -153. Suppose o - 59 = -4*g, -l + 11 = -3*g + 5*o. Let i be 6/21 - 74/g. Which is smaller: 1 or i?
i
Suppose 4*c + 44 = -2*p, -c + 3 = p + 3*p. Is -12 bigger than c?
True
Let r = -493 + 11345/23. Which is greater: r or 0?
r
Let a = -3423/16 + 214. Let g be (1 - (-2)/(-4))*2. Which is bigger: a or g?
g
Let b = -28/25 - -899/825. Let u = -23/33 - b. Are 0 and u nonequal?
True
Suppose 0 = -p + 3*p - 6. Let h be 0*p/(-1 + 4). Suppose h = 4*k - 5*k. Which is smaller: 0.1 or k?
k
Let b(x) = -x**3 - 3*x**2 - 4*x - 5. Let r be b(-2). Let h be 1 + (-1 - (-4 - 1)). Suppose -n - 4*n + 5*g = 25, -h = -2*n - 3*g. Which is greater: r or n?
r
Let k(i) = -3*i - 5. Let n be k(-1). Which is smaller: -17/5 or n?
-17/5
Suppose 0 = 3*d - 5*h - 29 - 1, 4*h = d - 3. Suppose -2*k = -5*z - 0*z - d, -15 = -k + 5*z. Is k smaller than 2/11?
True
Let q be 0 - 2*(-1 + 364). Let c be q/(-2205) + (-1)/3. Let i = c - 104/245. Is i smaller than 0?
True
Suppose 6 - 3 = -a. Let t be ((-4)/(-36))/(a/9). Let f(l) = -l - 5. Let m be f(-4). Which is smaller: m or t?
m
Suppose -u - 5 + 2 = -2*c, -c + 3 = u. Suppose -c*g = 3*g - 20. Let w = g - 3. Is w < 1?
False
Let t be (-5)/3 + 0 + 1. Is -0.14 != t?
True
Let x(j) = 2*j**2 - j - 1. Let g be x(3). Let c be ((-9)/(-6))/(12/(-16)). Let n be 24/g + 0 + c. Which is greater: -1/2 or n?
n
Let x be (-3)/(-9) - (-24)/9. Suppose -4*c = x*h + 6, 2*h = 3*c + 7*h + 10. Let p = -3.2 - -3. Which is smaller: p or c?
p
Suppose -5*u = 4*h - 2 + 34, 0 = 5*h + 4*u + 31. Suppose -3*x + 6*x + 15 = 0. Is h greater than x?
True
Let u(k) = -k**3 - 2*k**2 - 1. Let g be u(-2). Let y be (3/48)/((-1)/(-6)). Which is smaller: y or g?
g
Let b = -23 - -23.2. Which is smaller: 11 or b?
b
Let j(g) = -g**3 + 7*g**2 + 7*g + 9. Let x(t) = -t**2 + 8*t - 4. Let n be x(6). Let d be j(n). Do 1 and d have different values?
False
Let p = 33.6 + -34. Is 0.1 < p?
False
Suppose j - 6 = -2. Suppose -2*w + j*x = -3*w + 4, 3*x + 11 = w. Let s = 5 - w. Which is greater: s or -3/2?
-3/2
Let x(v) be the first derivative of 8*v**3/3 - v**2/2 + v - 2. Let k be x(1). Let q be (8/(-10))/(k/20). Is 1 at most q?
False
Suppose -2 = x, 3*w + 2*x + 0*x - 2 = 0. Which is greater: 24/13 or w?
w
Let u be 2*(-1 - 6/(-3)). Suppose 5*m + k + 3 = 0, m - u*k - 9 = k. Suppose m = 4*c - 4*f - 28, f - 7 - 14 = -3*c. Which is smaller: 6 or c?
6
Let k be (-4 - -2)/((-1)/2). Suppose 0 = -4*q + 2*q - k. Is -1 > q?
True
Let q = -3 - 1. Suppose -5*r - 5 + 1 = -3*m, 44 = 4*m + 3*r. Let g = -13 + m. Which is smaller: q or g?
g
Let t = 0.34 + -0.44. Let n be 2*((-2)/17)/2. Which is smaller: n or t?
n
Let y be 2/3 - (-1)/(-3). Suppose 2*f + 3*n = 48 - 11, -3*n - 48 = -3*f. Let t = 17 - f. Do t and y have the same value?
False
Suppose 0 = 3*z - 3*f + 27, 6 + 21 = -5*z - f. Which is greater: -0.2 or z?
-0.2
Let b = 2 - 8. Let n = -7.1 + -1.9. Let x = b - n. Which is bigger: -2 or x?
x
Suppose -3*y + 0*y + 12 = 0. Let t = 12 - 8. Is t not equal to y?
False
Let n be -1*2/2*-104. Let w = 19109/3 + -6475. Let m = w + n. Which is smaller: 0 or m?
m
Let g(k) be the third derivative of -k**4/12 + 3*k**2. Let t be g(1). Is t < 1/7?
True
Let l = 0.11 + -0.13. Let v be 1/1*2/(-8). Which is bigger: l or v?
l
Let j be -1 + -1 + (-9)/3. Let l = j - -8. Do l and 3 have the same value?
True
Let t = -4 + 3. Is t > -1/25?
False
Suppose -2*t = 5*p - 13, 3*p + 0*t - 3*t = -9. Suppose 0*h - p = -h. Which is bigger: -5 or h?
h
Let n be (0 + 1)/(0 - -1). Let v be -134 - n*2/2. Let a = v + 673/5. Is 1/3 greater than a?
True
Let q be 24/(-344)*(-2)/(-3). Which is smaller: q or 1?
q
Let r(c) = -c**3 + 8*c**2 - 8*c + 6. Let v be r(7). Let z be ((v - 3)*4)/(-1). Suppose 6*q - 4*q = z. Which is smaller: q or 7?
7
Let o(a) = -a**3 + 4*a**2 - 2*a + 5. Let g be o(4). Let i(u) = -2*u**2 - 2*u. Let w be i(-3). Let d = 8 + w. Which is greater: d or g?
g
Let g = -0.002 - 5.098. Let z = -5 - g. Let o = -6 - -5.8. Is z > o?
True
Let l be 1*(2/(-1))/2. Let i = -26 - -14. Let o be i/7 - 6/21. Is o smaller than l?
True
Let k = -66 - -331/5. Is k bigger than 1?
False
Let x be 3*-3*1/(-9). Which is bigger: x or 5/7?
x
Let x = 0.5 + -0.5. Let w = x - -0.1. Is w at most -2/7?
False
Let i = -122 + 119. Is -20 at least as big as i?
False
Let w(s) = -4*s - 8. Let j be w(-6). Which is bigger: j or 15?
j
Let q(r) = -r + 4. Let n be q(4). Let w = n - -1. Let f be 2 + -5 + (-1)/w. Do f and -3 have different values?
True
Let p = -48 - -48. Does p = 4/69?
False
Let b = -5 + -5. Let o = b + 5. Let d = o + 4. Is d at least as big as 0.1?
False
Let q = 5 + -9. Let r = q + 4. Suppose 5*w = 4*n - 39, -6*w + 2*w + 12 = 4*n. Which is smaller: n or r?
r
Let o be ((-18)/(-243))/((-2)/6). Let d = -5 - -4. Which is smaller: d or o?
d
Let y be ((-9)/(-15))/(1/5). Suppose -4*r = -y*d - r + 3, 3*r + 3 = -4*d. Which is smaller: d or 3/4?
d
Let z(i) = i**2 - 5*i - 1. Let m be z(6). Suppose -29 = 2*r + 5*b, 4*r = m*b - 15 + 32. Let n = -19 - -20. Are n and r nonequal?
True
Let s = 64 - 42. Is 22 <= s?
True
Let p = -28 - -29. Let x be 1/(-36) + 0 - 0. Which is greater: p or x?
p
Let v = -2 + 18. Let y = -15.7 + v. Let p = -2 - -1.7. Does y = p?
False
Let a(j) = 2*j - 2. Let w be a(3). Let d = -6 + w. Is d <= 0?
True
Let h = -521/210 - 2/105. Which is smaller: h or 1?
h
Let r(b) = -b**3 + 5*b**2 + 2*b - 2. Let c be r(5). Let a = 16 - c. Which is greater: 9 or a?
9
Suppose s + 1 + 1 = 5*v, -3*s = -5*v - 4. Which is greater: 2 or s?
s
Suppose 11 = -2*n - 5*p - 12, -2*n - p = 27. Is -14 not equal to n?
False
Suppose 14 = 3*c - 0*u + 4*u, -c + 4 = u. Suppose 3*p = c*p. Let r = p - 0. Is r smaller than -1?
False
Let l be (-11)/((-7788)/496) + (-2)/3. Is 0 != l?
True
Let s(b) = b**3 - 3*b**2 - 5*b + 6. Let o(d) = -d**3 + 11*d**2 + 4. Let r be o(11). Let n be s(r). Which is greater: 3 or n?
3
Let u = 14/17 + -81/119. Suppose 7*l - 7 + 0 = 0. Which is smaller: l or u?
u
Let m be (-2 - -3)*(0 - -4). Let p be m/((-24)/(-21)) - 1. Which is greater: 2 or p?
p
Let z = 33907/4 - 8415. Let x = -62 + z. Which is smaller: 0 or x?
x
Let u be 1/3*(-1 - -7) - 1. Let h = 2/205 + 121/205. Does h = u?
False
Let z(b) = b**2 + 2*b + 3. Let g be z(-3). Suppose 5*a - 2*n = -23, -4*a - n - 8 = -0*n. Let q = a - -9. Is g at most q?
True
Let k(q) = q**3 - 6*q**2 + 5*q. Let l be k(5). Suppose 3*b + 1 = 2*a - 18, 25 = 5*a. Let m be (-1)/((15/2)/b). Which is bigger: m or l?
m
Let v(d) = 2*d + 3. Let b be v(-4). Let i be b/10 + (-9)/(-14). Let o be 0/((-2)/(-2 - -3)). Which is bigger: i or o?
i
Suppose 0*s + 5*s + 3*s = 0. Which is smaller: s or 3/22?
s
Suppose -4*x = -4*g - 12, -6*x + 3*g = -x - 17. Suppose 28 - 12 = x*v. Is 4 at least as big as v?
True
Let l = 0.6 + 3.4. Let t = 4.2 - l. Let b = t + -3.2. Which is greater: b or 1?
1
Let s(u) be the third derivative of u**4/8 - 2*u**2. Let y be s(1). Let w(i) = -i**2 + 5*i + 3. Let j be w(5). Does j = y?
True
Suppose -6 = -v + 4*v. Let f(i) = 2*i - 12. Let s be f(7). Suppose m = s - 3. Which is greater: v or m?
m
Let d = -9 + 7. Is d >= -10/13?
False
Suppose 5*d = 2*c + 2*d + 9, 3*d - 9 = -2*c. Let a be 0 - c - 2 - -3. Let s be a*(-1)/1*5. Is -4 at least s?
True
Let k = -56 + 67. Is k less than 11?
False
Let z(m) = 2*m + 7. Let u be z(-4). Is u >= -1?
True
Suppose -5 = -3*f + 1. Let z be f/9 + 92/72. Suppose 6*q - 4*q - 4 = 0. Is z at most as big as q?
True
Suppose 2*c - 7*c = 0. Let p(f) = f - 4. Let s be p(0). Let b be -1 + s + 4 + 0. Is b > c?
False
Let k(w) = w**3 + 5*w**2 + 5*w + 4. Let b be k(-4). Let p(l) = l - 4. Let c be p(b). Is -5 at most as big as c?
True
Suppose -12 - 13 = 5*i. Let x(b) = b**2 - 5*b + 1. Let n = 0 + 3. Let d be x(n). Is i bigger than d?
False
Let p(m) = m + 1. Let c be p(3). Is c less than 5?
True
Let w = -203 - -195.94. Let p = -7 - w. Is 1 bigger than p?
True
Let k(n) = -n**3 + 12*n**2 + 12*n + 13. Let w be -1*(0 - (16 - 3)). Let u be k(w). Let z(j) = -j**2 - 8*j - 6. Let c be z(-7). Which is bigger: u or c?
c
Let v = -35 - -1