 Let n = w - d. Which is bigger: 1/2 or n?
n
Let k(g) be the second derivative of -g**4/12 - 7*g**3/6 - 3*g**2 - 6*g. Let u be k(-6). Which is smaller: 2/7 or u?
u
Let n = -9 + 13. Suppose -n*f - 3 = 1. Which is bigger: -2 or f?
f
Let q = 75 + -32. Which is bigger: 44 or q?
44
Let a be (12/27)/(20/6). Which is greater: 0 or a?
a
Let k = -4 + 3. Is k bigger than -1/22?
False
Let l = -36.7 + 52.8. Let r = l + -16. Does -4/7 = r?
False
Let n = -66 + 18. Let x be 30/n*(-4)/10. Is x smaller than -1?
False
Suppose 2*q - 2*z - 5 = -q, -q = -2*z - 7. Let f = -2/37 + -44/555. Which is smaller: f or q?
q
Let o be 6/8 + 30/(-8). Let b(f) = -f**3 + 6*f**2 - 4. Let t be b(6). Is o > t?
True
Let a be (-1)/45 - (-4)/18. Let n be (-10)/36 + (-30)/135. Is a at least n?
True
Let b be (-15)/570*(-2)/4. Which is smaller: 0 or b?
0
Let f = -1.1 - -1.12. Which is smaller: f or -1/4?
-1/4
Suppose 0 = -5*s + 25, 0*s = 4*p - 3*s + 15. Is -3/4 > p?
False
Let z = -30 + 33. Which is bigger: z or 14/5?
z
Let z = 10 + -19/2. Let t = -127 + 130. Which is bigger: z or t?
t
Let y = -17 + 17.11. Let j = 0.59 + y. Let h = -0.5 + j. Which is smaller: -3 or h?
-3
Let k = 1 + -1. Let h = k + -0.1. Let w = h - -0.1. Is w equal to 2?
False
Let i = -14 - -14. Which is greater: 1/4 or i?
1/4
Let p = 16.7 - 17. Is p smaller than -0.06?
True
Let b = -8 - -31/4. Suppose -5*r + 1 + 4 = 0. Which is greater: r or b?
r
Let k = -9 - -6. Let q be k + (-3 - -2) + -2. Is q > -3?
False
Let p be (-4)/(-18) - 154/126. Let y be -21 + 1 - 6/(-3). Let x be (-2)/(-6) + 2/y. Which is smaller: p or x?
p
Let y be 759/(-22)*4/(-6). Let u = y + -47/2. Let z = 0.9 + 0.1. Is z less than or equal to u?
False
Let k(s) = s - 17. Let q be k(13). Let y be ((-10)/(-4))/(2/q). Let g = 0.1 - 0.1. Is y > g?
False
Let q be (-3)/2*(-2)/3. Let a(l) = -l**2 + 7*l - 4. Suppose 0*p + p - 6 = 0. Let i be a(p). Is q at least i?
False
Let x be ((-11)/5 + 2)/(12/(-15)). Which is smaller: x or 2/9?
2/9
Let p = -652/5 - -130. Let z be 1*(4 + -3)*1. Is p at least z?
False
Let o be (-8)/28 + 172/63. Let u = o + -128/45. Which is smaller: 6 or u?
u
Let q(u) = 28*u**2 - 7*u + 7. Let j(v) = 42*v**2 - 10*v + 10. Let l(z) = -5*j(z) + 7*q(z). Let m be l(1). Let t be 6/m*(-8)/12. Which is smaller: -1 or t?
-1
Let q = 0.12 - 0.07. Let n = 0.04 - q. Let a = 0.01 + n. Which is smaller: 0.09 or a?
a
Suppose -4*f = 16 - 4. Which is smaller: f or -1?
f
Let l = -0.12 - 0. Let t = 2.12 + l. Which is greater: -0.2 or t?
t
Suppose -1 = -z, 5*y + 0*y - 16 = 4*z. Suppose d = -u - 3, y*d + 2*u + 3 = -1. Does 1 = d?
True
Let a = -2 - 1. Which is smaller: a or -0.3?
a
Let z = -6 + 6. Let h = -2 - -2.2. Let g = h + -1.2. Do g and z have the same value?
False
Let b = -423/7 - -30463/504. Let o = b - -31/360. Does o = 0?
False
Suppose 8*a = 4*a - 16. Do a and -4 have the same value?
True
Suppose 2*t + t - 53 = -4*i, 8 = -i - 5*t. Are 17 and i equal?
True
Let c be 15/20 - (-878)/(-2280). Let k = c + 2/57. Let o(u) = -u**3 + u**2 - 1. Let l be o(1). Is l < k?
True
Let t(c) = -c + 1. Let i be t(0). Let r(w) = w**3 - w**2. Let j be r(i). Suppose 4*b + 5*h = 16, -5*b + b + 2*h - 12 = j. Which is smaller: 2/5 or b?
b
Let b = -0.1 - -0.3. Let t = -6 - -10. Let r = 5 - t. Is r bigger than b?
True
Let p be ((-12)/15)/((-4)/30). Suppose -2*i = -p*i - 5*c - 10, 5*c - 5 = -i. Is i <= -4?
True
Let l = 0.16 - -5.84. Let r = -0.01 + -6.09. Let h = l + r. Are 2 and h unequal?
True
Let b be -1*(-1 + 48/(-2)). Let u be 2 - b/10 - -1. Let p = -10/3 + 23/6. Is p < u?
False
Suppose 4*o + 0*o = -2*f + 74, 3*o - 4*f = 50. Let n be (-9)/o*(-8)/17. Is 1 at least as big as n?
True
Suppose 2*n - 4 = 3*f - 6, -3*n + 4*f = 3. Which is greater: n or -1/39?
-1/39
Let v = -11 - -3. Let a = -8 - v. Is 0 < a?
False
Suppose -4*z = -15 - 5. Suppose -z*r - 2 = 2*w, 2*w + 2 = -0*r - 2*r. Which is greater: w or -3/8?
-3/8
Suppose -2*r - 72 = -2*m - m, 5*r + 37 = m. Is -0.2 greater than m?
False
Suppose -20 = 5*q, -5*l = -3*q - 2 + 5. Let v = l - -2. Is v not equal to -1?
False
Let m be 3/(9/3) - -1. Let t be 2/m - (-2)/(-6). Which is smaller: t or 2?
t
Let u = -1/39 - -9/13. Suppose -16 = -4*c + 4*k - 6*k, 3*c + 5*k = 26. Which is smaller: u or c?
u
Let j = 33.07 + -33. Is 1 > j?
True
Let y = -42 + 53. Which is smaller: 12 or y?
y
Let z(c) be the second derivative of c**3/6 + 5*c**2 - 4*c. Let i be z(-12). Which is smaller: -1 or i?
i
Let z = 0.4 + -0.33. Let s = z + -0.07. Let m = -1 - -1. Is m less than s?
False
Let y(a) = -a**2 + 4*a + 5. Let h be y(4). Let w be 1*(-3 - (-1 - h)). Is w greater than 4?
False
Let j = 2197 + -8671/4. Let w = 65 + -36. Let y = w - j. Do y and 1 have different values?
True
Suppose 3 = b, b - 3 = -3*o + 2*b. Let q be 6/9*6/4. Suppose -3*l - 3*j = -2*j - q, 5*l - 25 = 3*j. Is o at most l?
True
Let j be (1/(-4))/(23/(-8)). Let z = -2 - -2. Let k = 1 - z. Is j less than k?
True
Let b = 5 + 1. Which is bigger: b or 7?
7
Let b be -3 + 2 + (3 - 3). Is 4/31 greater than or equal to b?
True
Let d = -103 - -4. Is d <= -100?
False
Let c(r) = r**3 + 4*r**2 + 2*r. Let p be c(-3). Suppose -4*k + 3*u + 5 = -3, -2*k + 4 = 3*u. Suppose -2*j = -k*q + 2, 4*j - 2*q + 1 = 5. Are p and j equal?
True
Let r = -205 + 204.5. Let v = -0.9 + -0.1. Is r != v?
True
Let n be ((-12)/(-18))/((-2)/48). Which is smaller: n or -17?
-17
Suppose 6 = 2*n - 0*n. Suppose -2*w + n*t = 5, w + 0*w + 4 = 2*t. Let u = -6 + w. Which is smaller: u or -3?
u
Let b be 48/18*(-18)/4. Is -14 smaller than b?
True
Let b be (-9)/2 + (-2)/(-4). Let k be 10/(-6)*b/(-10). Suppose -6*c + 14 = 20. Is c <= k?
True
Let b = -380/1379 - 2/197. Let x = 0.11 - -5.89. Let u = -6 + x. Do u and b have the same value?
False
Let v = -0.5 + 0.5. Let q = v + -9. Let x = 9 + q. Is -2/11 != x?
True
Let d(r) be the first derivative of -r**2/2 - 5*r + 7. Let g = -17 - -11. Let h be d(g). Is 1 equal to h?
True
Let q be ((-3)/5)/((-1)/5). Let t = -46 - -97/2. Is q less than t?
False
Let m(g) = -3*g + 53. Let r be m(14). Which is bigger: r or 21/2?
r
Let d(i) = -i**3 + 3*i**2 + 4. Let t be d(3). Let j be (t/(-6))/((-1)/120). Let w be (-2)/1 + j/50. Which is smaller: 0 or w?
w
Let b = 0.022 - -0.478. Are b and -0.1 equal?
False
Let x = -2 + 0. Let w = x + 5. Suppose -w*g - z - 5 = 0, -g = -0*z + 4*z - 13. Which is smaller: -2 or g?
g
Let v = -134 - -133.93. Is -4/5 at least as big as v?
False
Suppose 5*r - 18 = -2*x + 7*r, x - 24 = 4*r. Suppose 5*p = -x*m - 23, 2*p = 3*m - 0*m. Is -2 at most m?
True
Let o be ((-36)/(-27))/(2/3). Let n = o - 2. Which is greater: n or -2/35?
n
Let r(i) = -i**2 - i - 24. Let g be r(0). Let n be (-1 + (-70)/g)/(-9). Let h = 1/27 - n. Which is smaller: h or -2/7?
-2/7
Let s = -3.97 - -4. Let f = -0.03 + s. Which is bigger: f or -1?
f
Let m = 18 + -18. Which is smaller: m or 2?
m
Let f = -2 + 2.2. Let d = -1.4 - -1.5. Is d at most as big as f?
True
Let l be (2 + (-2 - -6))*(-39)/(-48). Which is bigger: 4 or l?
l
Let i = 3 + -3. Let b = -0.9 + 0.4. Let o = 0.3 + b. Is o less than or equal to i?
True
Let n = -70 + 70. Which is greater: -8/19 or n?
n
Let s(o) = -o**2 - 2*o + 1. Suppose 6*r - 2 = 4*r. Let v be s(r). Let l be v*1 + 33/12. Which is greater: l or 0?
l
Let t = 31 - 28.6. Let x = -1.4 + t. Which is smaller: 2/11 or x?
2/11
Let n(t) = t. Let w be n(5). Let q(p) = p**2 - 6*p + 4. Let c be q(w). Is c at most as big as 1/14?
True
Suppose 2*a = -a - 342. Let v = a + 45. Let p = -205/3 - v. Which is greater: 0 or p?
p
Let o = -8 + -1. Which is greater: o or -0.2?
-0.2
Let p be 2*(-12)/(-64)*4. Is p less than or equal to 2?
True
Let d = -1.49 - -2.49. Which is smaller: 0.112 or d?
0.112
Let c = -38 - -45. Which is greater: c or -9?
c
Suppose -4*s + 3*x + 2 = 8, 5 = -3*s + 2*x. Let o(w) = w**3 + 3*w**2 + w - 4. Let n be o(-2). Is n > s?
True
Let r = 41 - 41. Is -5 less than or equal to r?
True
Suppose -5*r - 7*k + 3*k + 20 = 0, -r + 4*k - 20 = 0. Suppose 3*a + r*a - 3 = 0. Which is bigger: 2 or a?
2
Let k = 36 + -45. Is -6 smaller than k?
False
Let b = -72/25 - -1174/425. Which is smaller: 4 or b?
b
Let f(x) = -x**3 - 6*x**2 + x + 1. Let u be f(-6). Is u > 1?
False
Suppose 0 = 3*b - 7*b - 120. Let f be -2 - (b + 1 + 1). Let m be 1/3 + f/(-6). Is -2 less than m?
False
Let g be (2/(-4))/(2/(-8)). Let x(m) = 2*m**