 p**2. Let w be v(0). Does c = w?
False
Let j = -1.6 - -0.6. Let t = -3 - j. Are 1 and t unequal?
True
Let a be (-1 + -21)*(2 + -3). Let h = 6 - a. Let r be (-3)/2*h/(-36). Is -1 at most as big as r?
True
Let v be 10/15*(-9)/(-33). Is v at most -1?
False
Let x(s) be the third derivative of -s**5/60 - 11*s**4/24 + 11*s**3/6 + s**2. Let n be x(-12). Is -15/7 at least n?
False
Let l(y) = y**3 - 6*y**2 - y + 8. Let k be l(6). Suppose -s - 3 = 3*u, s + 4 = -k*s - 4*u. Suppose 0 = -3*d - 4*c - 11, d - 2 = 2*c + 1. Is d at least s?
False
Let k(p) = p**2 - 8*p - 10. Suppose 4*n = 27 + 5. Let b be k(n). Is -11 at least b?
False
Let y be ((-15)/(-6))/(2/4). Let t(s) = s**3 + 6*s**2 + s + 6. Let v be t(-6). Suppose y*q = -4*k + 2*k + 4, v = 2*k - 4. Is 1/18 greater than q?
True
Let y = -33 + 31. Is -6 at least as big as y?
False
Let y be (0/(-2) - -1) + -3. Let i = y - -4. Suppose 0 = 3*r + 4*f - 10, -4*f + 14 = 2*r + 3*r. Is r at most i?
True
Suppose 3*a + 25 = -59. Let f = a - -40. Suppose 4*w + 8 = -f. Is -3 bigger than w?
True
Suppose a + 0*u + 12 = -3*u, -25 = -5*a + 2*u. Suppose -4*s - a*r + 5*r = 6, -4*r = -2*s - 18. Do 1/2 and s have different values?
True
Let h be -4 - (0 - 0)/(-2). Let u(o) be the first derivative of -o**3/3 + 9*o**2/2 - 11*o + 4. Let b be u(8). Is h at least as big as b?
False
Let v be (-362)/(-24) + 2/8. Let l = 776/51 - v. Let b = 660 - 659. Which is bigger: l or b?
b
Let o = -21 - -17. Which is greater: -3 or o?
-3
Suppose 3*s = -0*s + 57. Is 19 less than s?
False
Let f = -0.31 - -0.21. Suppose -4*s + 33 = -39. Let y = s + -128/7. Which is greater: f or y?
f
Suppose 5*u - 40 = 5*j, 2*j - 4*u + 21 = -3*u. Which is smaller: j or -14?
-14
Let l(q) = q**2 + q - 3. Let s be l(2). Suppose 11*u - 14*u + s = 0. Is u <= 11/5?
True
Let b be (17/5 - 3) + 8/(-45). Let h(f) = f + 1. Let q be h(0). Is b <= q?
True
Let c = 219/7 + -31. Is 38 smaller than c?
False
Let n(y) = 4*y - 14. Let k be n(10). Suppose 5*i + k = -3*o, 0 = 2*o - i + 2*i + 8. Which is smaller: o or -5/6?
o
Let o = -2.9 - -2.6. Which is bigger: o or 1/3?
1/3
Suppose 5*o + 13 = 5*x + 48, -o - 2*x = 5. Suppose -10 = o*k - 5*k. Suppose n + 3 = 5*f + 35, -f + 8 = -k*n. Does f = -7?
True
Let h = 32 + -30. Are h and -8 unequal?
True
Suppose 2*g = g - 1. Which is smaller: -1/3 or g?
g
Let q = 5 - 6. Which is bigger: q or -1/9?
-1/9
Let g = 0.1 - 1.8. Let l = 1.4 + g. Is -1/3 smaller than l?
True
Let y = -4 + 8. Suppose -x - y*x = 0. Let c be (1 - x)/(3/9). Which is smaller: c or 3/2?
3/2
Let c be ((2 - 5) + 4)*15. Let y be (10/c)/((-16)/(-6)). Let r(i) = i**3 + 7*i**2 + 6*i - 1. Let u be r(-6). Which is smaller: y or u?
u
Suppose -3*j + 0 = -30. Let l = j + -14. Is -3 smaller than l?
False
Suppose -4*d + a + 45 = -14, -13 = -d + 2*a. Is 0 equal to d?
False
Let z = -108.22 + 108. Which is bigger: -3/4 or z?
z
Let k = 19 + -23. Does k = -4?
True
Let u be (15/(-35))/(3/(-2)). Is -2/3 <= u?
True
Let d = 53/2 - 27. Let r(v) = -v + 4. Let s be r(0). Suppose 6*y = y - 5, 0 = -s*k + 4*y. Which is smaller: k or d?
k
Let m(p) = 6*p**2 - p + 5. Let o(v) = 7*v**2 + 5. Let n(g) = 6*m(g) - 5*o(g). Let l be n(4). Let f = 1 + -4. Are l and f equal?
True
Let c(b) = -b**2 + 6*b + 15. Let l be c(7). Which is bigger: 23/3 or l?
l
Let c = 19 + -18. Let r = -179 + 1251/7. Which is greater: r or c?
c
Let r = 100 - 65. Suppose 4*l - r - 45 = 0. Let f be 3/5 + 28/l. Which is greater: 1 or f?
f
Let t = -4 - -7. Let b be -7 - 0*t/(-9). Let g(k) = k + 6. Let q be g(b). Are q and -1 non-equal?
False
Let r(x) = -x**3 - x - 1. Let y be r(-3). Is 0.1 at least y?
False
Let h(t) = t**3 - t**2 - 4*t + 2. Let a be h(3). Suppose -5*m - a + 25 = 3*c, -9 = c - 2*m. Is -2 greater than or equal to c?
False
Suppose -2*x - q - 2 = 0, 3*q = 4*x - 3*x + 15. Let f = 11 + -16. Is x smaller than f?
False
Suppose 8 + 7 = 5*n. Suppose -n*p = 2 + 4. Which is smaller: -3/2 or p?
p
Let m(f) = 11*f**3 - f**2. Let k be m(-1). Let v(b) = b - 8. Let h be v(-3). Is h at least as big as k?
True
Let c(x) = x**3 - 3*x**2 - 4*x + 6. Let m be c(4). Let n be (-7)/(-42)*m/2. Let y(g) = -g**3 + 4*g**2 - 3*g. Let z be y(2). Which is greater: z or n?
z
Let u = 0.103 + 0.097. Is 13 greater than u?
True
Let r = -1.5 + 1. Let d = -0.09 - -0.39. Let y = r + d. Is y greater than or equal to 1?
False
Let w = 25 - 25. Suppose 3*q + 6 = -3*l, 2 = -4*q + 5*l + 3. Is q at least as big as w?
False
Let q = -19 + 32. Is q not equal to 11?
True
Let x(k) = -4*k + 1. Let c be x(2). Let m = 73/6 - 35/3. Is c bigger than m?
False
Let o = -90.8 + 91. Let j = 12 - 12.7. Which is bigger: o or j?
o
Suppose -5*a - 14 = -2*h - a, h = -3*a - 18. Do h and -0.1 have the same value?
False
Suppose 6*o + 84 = 90. Is o at most as big as 1/14?
False
Let a = 16 + -4. Let p = 6 - a. Let z = p - -7. Is z less than 0.3?
False
Let g = 36 - 39. Which is smaller: -20/13 or g?
g
Let s = 1.2 - 1.6. Let r = s + 0.4. Is -2 < r?
True
Let z = 4/7 + -22/63. Let d = -10 + 6. Which is smaller: z or d?
d
Suppose 5*s = 2*s + 12. Let d = 3 - s. Which is smaller: d or -1/25?
d
Let x(j) = -j**3 + 4*j**2 + 3*j + 7. Let s be x(5). Which is smaller: -5/3 or s?
s
Let g = 9959/141513 + -2/3291. Let l = -187/215 + g. Which is greater: l or 0?
0
Suppose 2*v = 13 - 3. Let l be (-1 + v/2)/(-6). Is -2/5 at least l?
False
Let y be -1*(-3 + 2)*-5*1. Let v be 1/(1 + -2) + -5. Which is greater: v or y?
y
Suppose v + 24 = -2*v - 3*l, 5*l + 36 = -4*v. Let p = v - -5. Let q(i) = -i**2 + 2*i + 1. Let n be q(2). Is p less than or equal to n?
True
Let c be (-30)/8 - 2/8. Let h be (9/6)/((-1)/2). Are h and c equal?
False
Let f(q) = q**2 + 7*q + 1. Let b be f(-7). Let i be (3/b + -3)/(-2). Is i greater than 0?
False
Suppose 4*t + t - 10 = 0. Let b = 4 + -6. Let h be (t/(-3))/(b/(-3)). Which is greater: -2 or h?
h
Let a = 0.364 + 0.036. Let k = 1 - 2. Let s = 0.8 + k. Is a less than or equal to s?
False
Let v(w) = -w**2 + 3*w + 2. Let z be v(-2). Let p be (-8)/(-5)*2/z. Is 1 at least p?
True
Let d = 11.2 + -12.2. Which is greater: -2.3 or d?
d
Let g = -1 + 1. Let l be ((-3)/12)/(4/12). Which is smaller: g or l?
l
Let a = 8 + -10. Let t = a + 3. Is t less than or equal to 0.3?
False
Let c(b) = b**2 - 3*b - 4. Let a be c(3). Let s(m) = m**3 + 6*m**2 + 5*m - 2. Let l be s(a). Let y be (-2)/l - 2/(-10). Which is bigger: y or 1/7?
1/7
Let k = -12 + 4. Let b = -6.995 - 0.005. Let y = k - b. Which is smaller: 2/5 or y?
y
Let x = 0.65 + -0.7. Let k = x + -4.95. Let r = -4.7 - k. Does -0.2 = r?
False
Let f(z) = z**3 - 7*z**2 - 9*z + 7. Suppose -7 - 9 = -2*p. Let u be f(p). Is -7 >= u?
False
Let o be (3 - -2)*(0 + 1). Suppose -32 = -p + o*p. Is p greater than or equal to -9?
True
Let r be ((-4)/4)/(3/9*29). Do r and -1 have different values?
True
Let k be ((-2)/(-2))/(9 - 12). Is 6 <= k?
False
Suppose 3*n = 71 + 136. Let s = 481/7 - n. Is 1 less than or equal to s?
False
Let a = 7 + -9. Let w = a - -1. Is w <= 1/4?
True
Suppose 2*c + 0 = -8. Which is smaller: c or -3?
c
Let z(j) = 2*j + 21. Let o be z(-10). Which is smaller: o or 1/3?
1/3
Suppose -2*p = 2*p + 24. Let a be (-1)/(1 - (-45)/p). Which is smaller: a or -0.2?
-0.2
Let s be (-5)/(-45)*6*-24. Is s at least as big as -15?
False
Let u be ((-16)/(-40))/(6/(-10)). Which is smaller: 2/5 or u?
u
Let i = -5.052 + 0.052. Which is smaller: 2/5 or i?
i
Let v be (-2)/10 - 78/210. Let z = 172/553 + -2/79. Is z > v?
True
Let g be (-1)/(-2)*(1 + 1). Let j(s) = s + 6. Let k be j(0). Let v = -6 + k. Which is greater: g or v?
g
Let l = 21 - 21. Suppose l = 5*t - 3*z + 14, -5*z = -3*z + 4. Is t less than -4?
False
Let a = -61.08 - -60. Let z = 0.08 + a. Which is smaller: -0.04 or z?
z
Let x = 3 - 1. Suppose 0 = x*f + 3*f - 30. Let y be 3/20 - f/15. Which is bigger: y or 1?
1
Let n = -13 - -11. Which is bigger: 2/5 or n?
2/5
Let y = 93 + -91. Are y and 36/11 equal?
False
Let c = 1 - -2. Let m = 0 + 5. Suppose -4*a = -3*i - 2*a - 4, -5*i + a + m = 0. Which is greater: c or i?
c
Let m(r) = -r**3 - 5*r**2 + 6*r + 2. Let y be m(-6). Suppose 5*k = -5*x - 75, -x + 95 = -5*k - y*x. Is -20 != k?
False
Let d = 1 + 2. Let u be (-2)/6 - d/(-9). Which is smaller: -1/5 or u?
-1/5
Let t = 2.01 - 0.01. Let o = t - 4. Let w = o + 2.2. Which is smaller: -2 or w?
-2
Let a = -2.6 - -1.6. Does a = 32?
