 - 5*w - 3. Let u be p(-3). Let v = -2 + u. Which is smaller: v or h?
h
Suppose -3*u = 2*u - 2*w + 20, 5*u + 2*w + 20 = 0. Let x(g) = -g**3 - 5*g**2 - 5*g - 2. Let d be x(u). Suppose a - d*a = 0. Do a and -1 have different values?
True
Let t(n) = -n - 5. Let f be t(-9). Let r be (-16)/72 + 2/9. Is r != f?
True
Let i = -0.05 + -8.95. Let d = 8 + i. Which is smaller: d or -2/7?
d
Let n = -104/33 - -16186/5115. Let l = 296/1085 + n. Suppose 0 = -5*u + u. Is u > l?
False
Suppose 2*w = 14 + 2. Let v be 1/(-12) - w/32. Which is smaller: v or 0?
v
Let l = 1 + 1. Let x = 32 - 21. Suppose 3 - x = -4*q. Is l greater than or equal to q?
True
Let t = -9 + 9.01. Let c = t + 1.99. Which is smaller: -0.1 or c?
-0.1
Let g(r) = r**3 + 6*r**2 - 4. Let c be g(-5). Suppose -w = -4*b - 27, -w - c = 3*b - b. Let n be b/72*1*2. Which is greater: 0 or n?
0
Let q = -33 + 32. Let m be 9/(-4) - 2/(-8). Which is smaller: q or m?
m
Let z = 0.9 - -0.1. Let w be 310/(-25) - (-2)/5. Let v be w/7 - (-4)/2. Are v and z equal?
False
Let t(o) = -o**2 - 9*o + 35. Let c be t(-12). Is c >= 1/50?
False
Let g be 8/(-18) + 4/6. Let c = 0.048 - -0.952. Are c and g equal?
False
Suppose -4*i + 18 + 10 = 0. Let l = -11 + i. Is l at most as big as -5?
False
Let y(s) = s**2 + 4. Let u be y(0). Suppose -5*l = t - 15, -5*l = u*t - 49 + 19. Is l at most as big as 2?
True
Let q(p) = p**2 - 6*p + 5. Suppose 5*v = 17 + 3. Let z be q(v). Is -4 equal to z?
False
Suppose 5*a + 1 = 11. Suppose -y = -a*y + 4*q + 4, q = 5*y + 18. Is -2 at most as big as y?
False
Let n = -126 - -68. Is -58 at most as big as n?
True
Let k be (12/20)/(2/20). Suppose 32 = 2*r - k*r. Is -7 less than or equal to r?
False
Let d be 3 + 172/(-28) + 1. Is d != -2?
True
Let p = -0.17 - -0.17. Which is bigger: p or 8?
8
Suppose -4*g + 40 = g. Suppose -3*r - 2 = -2*k, k + g = -0*r - 3*r. Which is smaller: -4 or r?
-4
Let o(s) be the first derivative of -s**4/4 + s**2/2 - s + 1. Let t be o(1). Which is smaller: t or -2?
-2
Let f(o) = o + 1. Let x be f(-1). Let m be 6 + 1/(3/(-12)). Suppose b = -5*d - 4 - m, -b + 2 = -3*d. Is d < x?
True
Let s(h) = -h**2 + h + 2. Let y be (12/(3*-1))/(-2). Let n be s(y). Suppose -u = -n*u. Which is greater: u or 1?
1
Suppose -2*i + 6 = -3*o, -2*i = -3*o - i - 6. Let q be (1 - 1)*(o + 3). Are q and 1/18 equal?
False
Let f(p) be the second derivative of p**5/10 - p**2/2 + p. Let c(q) = -q + 3. Let g be c(2). Let y be f(g). Is -1/3 at most y?
True
Let q be (-6)/(-8)*(-24 - -12). Which is bigger: -8 or q?
-8
Let u(f) = -f**2 + 10*f - 5. Let n be u(10). Let v be (n/(-3))/(1/(-21)). Let s be v/(-45) + 4/18. Which is smaller: s or 2/9?
2/9
Let i = 0.4 + -0.4. Let t = -10/197 - -10067/394. Let r = t + -27. Is r greater than i?
False
Suppose i = -2*i + 255. Suppose -65 = -3*y + 2*z + 2*z, 4*y - 5*z = i. Suppose f + 4*t = -12, 0*f + y = -5*f - 5*t. Is -1 equal to f?
False
Suppose 0 = -n + 4*m + 26, 5*n + 9*m = 4*m + 5. Suppose 0 = 2*u - 10 - n. Let j(o) = -o**3 + 8*o**2 + o - 7. Let d be j(u). Which is bigger: -2/11 or d?
d
Let m = -1/474 - -107/790. Which is bigger: m or 1?
1
Let p be 0/3 - (-26 - 2). Suppose -4*y + 6 = -5*d - 9, 3*d = -5*y + p. Suppose d = 5*x - 19. Which is smaller: x or 5?
x
Let l = 0.4 - -0.6. Let d = 3 + l. Let r = d - 4. Is r smaller than 2/23?
True
Let s = -18 + 28. Let o = -1 - -13. Let x be (-1)/(-3) - s/o. Is x less than or equal to -2?
False
Let o(d) = d**2 + 5*d + 4. Let j be o(-4). Let y(v) = -v**2 + 7. Let q be y(j). Which is smaller: q or 6?
6
Suppose 2*u = l - 14, 4*l + 2 = -5*u - 20. Let j = 67 + -43. Suppose s = 5*p + 32, -5*p = s + 2*s + j. Is u smaller than p?
False
Let p be ((-1)/(-2))/((-21)/6). Let h = 2/3 + -1/3. Which is greater: h or p?
h
Suppose 289 = 4*m - 163. Suppose 97 = -q + 5*j, m + 39 = -2*q - 4*j. Let p = -251/3 - q. Which is bigger: -1 or p?
-1
Let c = -44 - -29. Let h = c - -15. Which is greater: -5 or h?
h
Suppose z = 4 + 5. Which is smaller: 10 or z?
z
Let c = -33/7 + 127/21. Which is smaller: c or 1?
1
Suppose 0 = -j - 4*j. Let q(c) = -4*c + 2. Let d be q(2). Let b be 1 + -3*d/(-9). Is j smaller than b?
False
Let c be 2 + 528/54 - 4*1. Which is smaller: 8 or c?
c
Let g be (-4)/5*10/(-1). Suppose -8 - 13 = -3*n. Is g bigger than n?
True
Suppose -20*q = -15*q + 20. Are q and -3 unequal?
True
Suppose -4*d - 2*z - 16 = 0, 4*z + 5 - 3 = 2*d. Let c(y) = -y + 1. Let f be c(3). Is d less than f?
True
Let f = 3 - 1. Suppose -9*u = -8*u + 1. Let t be -2 + u/1 - -2. Which is bigger: t or f?
f
Let i be (-68)/12*-1*-3. Let h = i - -16. Which is bigger: 0.4 or h?
0.4
Suppose 5*u - 17 = -2. Suppose -4*i = -7*i + u. Let r be 1 + 0/(-2) - -1. Which is bigger: i or r?
r
Let g(d) = d**3 - 5*d**2 + 3*d + 4. Let r be g(4). Let f = 2 - 1. Let h be f - (3/(-15) + 1). Is h greater than or equal to r?
True
Let v be (-36)/(-8) + (-1)/(-2). Suppose 19 = -v*p - 26. Let n = -9 - p. Which is greater: n or 1?
1
Let u(h) = -h**2 - h + 2. Let m be u(-3). Let d(g) = -g**2 - 3*g + 4. Let z be d(m). Let t be (-6)/12*(0 + z). Does t = 3?
False
Let u be -3*(-14)/(-2) - 3. Is -24 greater than u?
False
Let f(k) = -24*k + 2. Let l be f(1). Let x = l - -23. Is 0 > x?
False
Suppose 0 = 4*v + 2*h - 5*h - 2, -2*v = 5*h + 12. Which is smaller: v or -4/15?
v
Let g = 1 + 0. Let s = -5 - -8. Let t be g - (-1 + 7/s). Which is smaller: -1 or t?
-1
Suppose -4*i - 1 = 3*z - 4, -3*i = 0. Which is smaller: -14 or z?
-14
Let q be ((-21)/(-12))/(-3 + (-196)/(-64)). Is 26 bigger than q?
False
Let x(p) = -p + 15. Let z be x(7). Let j = z + -6. Which is smaller: 0.07 or j?
0.07
Let y be 2/7 + (-20)/168. Let q(b) = -6 + 3 - 1 - b. Let n be q(-4). Which is smaller: n or y?
n
Let n = 1/7 - 33/133. Let s(x) = -x**3 + 3*x**2 + 3*x + 5. Let y be s(4). Is y at least as big as n?
True
Suppose 3*m = 4*w - 38, -4*w + 2*m + 40 = -0*m. Which is smaller: 19/2 or w?
19/2
Let y be (4/3*-1)/(220/198). Let n(i) = -i**3 - 7*i**2 - i - 7. Let l be n(-7). Which is greater: l or y?
l
Let v(c) = -c - c + c + 1. Let b be v(-4). Suppose 3*z + 5*s - 5 = 0, 0*z = b*z - s + 1. Is 0.1 less than z?
False
Let s = 11/67 - -57744/469. Let l = 123 - s. Let v = 2 - 5. Is v > l?
False
Let p = 0.01 + -0.01. Let v = -2 - p. Which is greater: v or 2?
2
Let o = 42/13 + -239/78. Suppose -6*l = -2*l - 4. Which is smaller: l or o?
o
Let l = -19 - 23. Which is smaller: l or 1?
l
Let a = 1/44 + -3/11. Suppose -31 = -5*p + 3*n, 2*p - 6 + 2 = -3*n. Suppose -p*u - 15 = 2*x - 6*x, 5*u + 15 = -5*x. Is x at most a?
False
Suppose -26*c + 24*c = 176. Is c equal to -88?
True
Suppose -l = a - 7, -5*a + 19 = -l + 2*l. Which is greater: l or 1?
l
Let n be ((-6)/9)/((-158)/6). Is n <= -0.3?
False
Suppose -a = 1 + 7. Let f = a + 6. Let t be (-3)/f*2/(-3). Is -1 at most t?
True
Let m(h) = -h**3 + h**2 - h. Let a be m(1). Which is smaller: 1 or a?
a
Let y(k) be the second derivative of 2*k**3/3 - k**2 + 4*k. Let u be y(1). Suppose -2*n = -2*x - 2*x - 10, 5*x = 5*n - 20. Which is greater: n or u?
n
Let f = -742 + 2987/4. Suppose -n - 10 = -3*p, 2*p = -2*p + 5*n - 5. Is f greater than or equal to p?
False
Let p be (1/(-17)*4)/(-2). Which is smaller: 1 or p?
p
Let z = -2.6 + 0.6. Let n = z - -1.7. Let o = -9/8 - -79/56. Is n != o?
True
Let n = -15 + 18.8. Let m = -4 + n. Let o be 4/(-80) + 6/(-30). Which is smaller: o or m?
o
Let t(u) = u + 2. Let w be t(6). Let f be 0*2*2/w. Let c(k) = -2*k + 23. Let l be c(11). Is f at least l?
False
Let k = 0.13 - 0.03. Suppose s + 36 - 6 = 0. Let i be s/(-56) - 2/7. Is k at least i?
False
Let s be (-13)/((-6)/(-3) - -5). Let j = -2 - s. Which is smaller: j or 1?
j
Let a(q) = -3*q - 6*q**2 + 9*q**3 - 7 + q**2 - 10*q**3. Let r be a(-5). Let j = -12 + r. Which is bigger: j or -3?
-3
Let g = -208 + 415/2. Is -2.1 < g?
True
Let g = -1.53 - 0.27. Which is greater: -1 or g?
-1
Let i be (2/18)/((-87)/(-36) - 1). Is 0 bigger than i?
False
Let c = 6 - 10. Let p = -3 - c. Let l = p + -4. Is l >= 0?
False
Let r be (6/(-4))/(9/4). Which is smaller: r or -2/5?
r
Let x be (-1 - 1) + -2 + -1. Let r(k) = -k**3 + 4*k**2 + 3*k + 4. Let l be r(5). Which is smaller: l or x?
l
Let d be (-594)/298*-2 - (-8)/(-2). Is d >= 1?
False
Let l = -1 + 1. Let m be 4 - (3 - (3 - 7)). Which is smaller: m or l?
m
Let r = -5.3 - -1.3. Let c = r + 4. Suppose -s = -4*j 