is bigger: -17 or p?
-17
Let d = 425652 - 166004431/390. Let k = 1/78 - d. Is -0.1 equal to k?
False
Let s(i) be the second derivative of i**4/12 - i**3/2 + i**2 - 2*i. Suppose 0 = 2*d - 6*d + 8. Let k be s(d). Do 0 and k have different values?
False
Suppose 0*d + 12 = 4*d. Suppose -v - 2 = d*m - 2*v, -4*m - 5*v = -29. Is 2 equal to m?
False
Suppose 5*t - 3 - 7 = 0. Suppose 0 = -t*m - 3*m. Do 0 and m have different values?
False
Let u = 13 + 7. Is 22 at most u?
False
Suppose -w - 4*w + 2*k = -15, 0 = -5*w - 5*k + 15. Suppose 2*z + 8 = 0, 3*g - z - 19 = -2*g. Is w at least g?
True
Let b(w) = w**3 + 4*w**2 + w - 1. Let f be b(-3). Suppose q - f*q = 0. Which is bigger: 1/17 or q?
1/17
Let t = -4 - -13/2. Which is smaller: 3 or t?
t
Let v = 1 + 8. Let g be 1*-1*9/v. Which is bigger: g or -3?
g
Suppose 0 = 2*v + 2 - 4. Let u be (-1)/(-4) + 1707/36. Let f = u - 48. Which is smaller: v or f?
f
Let f be 5/2*54/45. Suppose -3*n + 7*n + w = 1, -3*w = f*n - 3. Which is bigger: n or -8/7?
n
Let p be (-74)/(-10) - (-24)/(-60). Suppose 5*y = 5*o - 60, 5 = 3*o + 2*y - 11. Is p != o?
True
Suppose 85 = 5*o - 2*m - 3*m, -5*o + 70 = -2*m. Let l be 0 - (-2)/o*2. Which is smaller: l or 0.3?
0.3
Suppose 5*q + 8 - 33 = 0. Suppose -z + q = -6*z. Is z at most as big as -2/7?
True
Let o be (-161)/(-49) + 1*-3. Which is bigger: o or 2/5?
2/5
Suppose -4*u + u - 27 = 3*l, -4*u + 4*l - 28 = 0. Is u greater than or equal to -7?
False
Let s(k) = k**2 + 5*k - 1. Let g be s(-5). Let l be 192/(-93) - (-1 + g). Which is greater: l or -1?
l
Suppose -3*k + 8 = k. Let l(x) = x - 5 + 0 + k - x**2 - 6*x. Let r be l(-5). Which is smaller: r or -2?
r
Let p = 0.04 + -1.64. Let l = -2.14 - -0.14. Let s = l - p. Which is bigger: 0 or s?
0
Let w = 7 + -2. Let j = 52 + -50.96. Let x = 0.04 - j. Which is smaller: w or x?
x
Suppose -3*q - 4 = -5*y, y - 3*q = -0*q - 4. Suppose -10 = 5*k - 45. Suppose -y*o = -k*o. Is o greater than 0?
False
Let v(t) = t**2. Let f(h) = -3*h**2 - 3*h - 4. Let j(n) = f(n) + 4*v(n). Suppose -5*k - q - 7 = -29, 2*k = -2*q + 12. Let b be j(k). Which is bigger: b or -3/8?
b
Let m = -11 + 40. Is 30 greater than m?
True
Let k = -8 - -13/2. Let b be (5/(-2) - -2)*0. Let c be b - -2 - (6 - 1). Which is greater: c or k?
k
Let g(c) = 2*c + 5. Let a be g(-5). Is -3 < a?
False
Let x = -1097/7 + 157. Is x less than -50?
False
Let h = 0 + -1. Let k be -4 - 7*1/(-1). Does k = h?
False
Suppose 0 = -0*o - 2*o + 4*m, -1 = o - 3*m. Which is greater: o or 0?
o
Suppose -6*r + 36 = -3*r + 2*b, -2*b + 24 = 2*r. Let f = r - 13. Does 2/15 = f?
False
Let z be 2/(-8) + (-45)/(-36). Suppose -2*k = -k - 1. Let p = k + z. Is 1 greater than or equal to p?
False
Suppose -3*a + 0*a = -6. Suppose h - 8 = 6. Suppose -2*p + 5*z - h = p, -a*z = -3*p - 2. Is p <= 2?
True
Let z be 2/(340/(-155)) + 1. Are z and 0 equal?
False
Let z be (4 + -2)/8*2. Is 0.5 != z?
False
Suppose 12 = -3*p - l, -3*p + 5*l = -0*p + 12. Is -16/5 at most as big as p?
False
Let n = 0.8 - -5.2. Let g be 6/(3*2/(-3)). Let t = 4 + g. Are t and n equal?
False
Let t = 5.5 + -28.5. Let m = 13 + t. Which is greater: 1 or m?
1
Let l(j) = j**3 - j**2 - 4*j + 3. Let m be l(2). Let f = -3401/111 + -1/37. Let n = -31 - f. Is n <= m?
False
Let d = -14.8 - -16. Let g = 0.2 - d. Which is smaller: g or 2?
g
Let t be 2/(2/(-4) - -1). Suppose z = 5*u - 34, 0 = -3*z - 13 + 1. Let f be t/21*u/(-4). Which is greater: -1/4 or f?
-1/4
Suppose 0 = 157*x - 155*x - 60. Is 28 greater than x?
False
Let l = -91 - -71. Which is smaller: l or -56/3?
l
Let a be (-1)/(2/(12/(-11))). Let q(t) = -t**2 + 4*t + 7. Let d be q(5). Which is greater: d or a?
d
Let a be (-3)/(54/(-381)) + (-5)/(-15). Which is greater: 23 or a?
23
Let k = 4.4 + -6.4. Which is bigger: -1 or k?
-1
Let l(c) = 3*c**2 - c. Let f be l(4). Suppose 3*d = -4 - f. Let y = d + 127/8. Which is greater: -1 or y?
y
Let q(a) = -a + 1. Let p be q(0). Let u = p - 1. Let r be 1 + 0 + 38/(-34). Do u and r have different values?
True
Let f = -155/4114 - -1/121. Which is greater: 1 or f?
1
Suppose 5*t + 40 = -x, 0*x - 40 = 5*t - 5*x. Let v be 4/18 + (-20)/9. Is v <= t?
False
Let s be 16/(-4)*(-26)/16. Let m = -6 + s. Which is smaller: 2 or m?
m
Let r = -30/37 - -904/111. Are 0.1 and r nonequal?
True
Let l be 3/6 - 5/(-2). Let t be 1*l*16/6. Suppose 4*r - 5*w - t = 0, 4*r - 5 - 3 = -3*w. Is r smaller than 2?
False
Suppose -z + 2 + 2 = 0. Let w(g) = g + 5. Let x be w(-4). Suppose 0 = z*q + 4, -2*s - s = 4*q + x. Which is greater: 3/4 or s?
s
Suppose 3*a + 12 = 4*q + 7*a, 12 = 4*a. Let j be 158/(-4)*4/(-6). Let t = 27 - j. Which is greater: t or q?
t
Let j be 2/(-6) - 1/(-3). Suppose j = -4*a - 12 + 64. Suppose 5*v + a - 3 = 5*s, -3*s - 34 = 5*v. Is -3 equal to s?
True
Let f(v) be the third derivative of v**5/60 + 5*v**4/24 - v**3 - v**2. Let o be f(-7). Let m(r) = r**2 - 8*r - 1. Let i be m(o). Does i = 2?
False
Suppose 2*g = -0*s - 5*s + 16, s = 2*g - 40. Let q be (-1 - -3)/(-1 + 2). Suppose 3*v + v + 4*y = -32, 3*y + g = -q*v. Is v at least as big as -7?
True
Let w = -38.92 - -39. Suppose v + 2 - 3 = 0. Which is smaller: v or w?
w
Let r = 2 - 1. Let q = 3 - r. Suppose 0 = -l + 3*l - q. Is 0 bigger than l?
False
Let d(b) be the second derivative of -7/6*b**3 - 2*b - 1/2*b**2 - 1/12*b**4 + 0. Let z be d(-7). Is z at most -1/7?
True
Let b = 1221/7 + -174. Let f be (2/6)/((-2)/(-6)). Is b <= f?
True
Let n be (2/6)/1 + -1. Let r = 0 + 0.1. Let f = -0.1 + r. Which is bigger: n or f?
f
Suppose c - 3*c = -4*t - 52, -5*t = -3*c + 63. Let q = t - -10. Let l be ((-6)/q)/((-2)/(-5)). Is l > 1?
True
Let g(j) = -j**2 - 4*j + 12. Let y be g(-6). Is y <= 1/14?
True
Suppose 3 = l - 2. Suppose -j + 2 = -2. Which is bigger: l or j?
l
Let i = -11.5 - -8.2. Which is smaller: -1 or i?
i
Suppose d - 4*o = -3*o + 1, d - 1 = -2*o. Let g be ((-1)/(-5))/(6/(-85)). Let f = 55/18 + g. Is d smaller than f?
False
Let f be (2/4)/(4/(-16)). Let d(y) = -4*y + 0 + 5*y - 2. Let l be d(0). Are f and l unequal?
False
Suppose -3*d = -d + 5*j + 70, d + 3*j = -37. Let x be 180/d - 2/(-10). Is x smaller than -6?
True
Suppose -3*k = y - 7*k - 12, 3 = -k. Which is bigger: y or -2?
y
Let x be 2/8*((-19)/6 + 4). Which is greater: x or 1?
1
Let j(u) = 8*u - 2*u**2 - 2*u**2 - 7 - 2*u**2 + 5*u**2. Let k be j(7). Let b be 3/(-12) + (0 - 0). Is b not equal to k?
True
Let l = -5 + 7. Let m = l - 2. Let a = 6 + -4. Which is smaller: a or m?
m
Let w = -11 - -13. Is w greater than -0.05?
True
Let o = -2 - -2. Is 1 not equal to o?
True
Suppose 2*n - 5*z = -11, -4*n + 0*z - z = -11. Suppose -2*j + 0 = -3*f - 5, -n*f - 8 = j. Which is smaller: -4 or j?
-4
Let l be 10/(3 + (-1)/1). Which is bigger: 4 or l?
l
Suppose 3*m = a - 2*m - 26, -2*a - m - 3 = 0. Let q be (4/2 - a) + -4. Let t(g) = 2*g. Let z be t(-1). Which is greater: z or q?
z
Let c = 0.78 + 0.22. Let f = -0.8 + 1. Is f at least as big as c?
False
Let p(j) = -15*j**2 + 6*j + 6*j**2 + 10*j**2 + 1. Let a(q) = q**3 + 3*q**2 + q - 3. Let u be a(-3). Let t be p(u). Are 3/2 and t nonequal?
True
Let s = -6 + 8. Suppose -2*y - 18 = -f - 3*f, -s*f = -2*y - 10. Is 3 greater than f?
False
Let f(b) = -b**3 - 5*b**2 + 7*b - 7. Let q be f(-7). Suppose -5*v + 2*c = -q, 5*c = -v - 3*v + 27. Suppose -j = j + v. Is -4 < j?
False
Let g(u) = -u**3 - 5*u**2 - 3*u - 3. Let j be g(-3). Is j equal to -12?
True
Let a = -0.04 + 0.54. Let l = -0.6 + a. Are l and 5 non-equal?
True
Let d = 13 - 12.7. Let g = d - 0.4. Is -8 less than or equal to g?
True
Let i = 21791/93816 + 5/1303. Let h = i + 1/72. Which is smaller: -0.4 or h?
-0.4
Let v(y) = y**2 - 13*y + 25. Let o be v(11). Which is bigger: o or 6?
6
Let r = 66 + -41. Is r greater than 26?
False
Let j = 9 + 1. Let q = j + -12. Suppose 0*p = 3*p + 6. Is q at least p?
True
Let z be (4/70)/(3/15). Let i = 1 + -19. Let l be 4/i*9/6. Do z and l have the same value?
False
Suppose 3*i + 2*i = 3*k - 113, 5*i + 106 = -4*k. Is i != -20?
True
Let r(p) = -p + 12. Suppose 3*n + 21 = -3*g + 5*g, 5*g - 50 = 5*n. Let w be r(g). Is w at least as big as 3?
True
Let l = -1.3 - -2.3. Is l greater than or equal to 18?
False
Let h(v) = -v + 9. Let n be h(5). Suppose -2*m + 4 = -n. Which is smaller: m or 5?
m
Suppose 2*o = -3*t - 3 - 2, 0 = 2*t - 2*o - 10. Which is bigger: t or 4?
4
Let s = -8 - -13