u = -11, 8 = a - u + 3. Suppose -a*h + w*h = 0. Is h bigger than 2/11?
False
Let l(t) = t - 1. Let h be l(2). Let y(f) = -f**3 - 14*f**2 - 20. Let j be y(-14). Let d = 20 + j. Which is smaller: h or d?
d
Let r(n) = 23*n - 7. Let g be r(-3). Are -76 and g nonequal?
False
Let v = 1/100 - -6/25. Which is smaller: v or 8?
v
Let b be (-15)/(-5) + -3 + (-2)/(-2). Which is bigger: b or 1/66?
b
Let g be (0 - 0)*2/4. Which is smaller: -3 or g?
-3
Let b(v) = -v**2 - 4*v + 4. Let j be b(3). Which is smaller: -20 or j?
-20
Let z(p) = p**2 + 6*p + 6. Let a be z(-5). Let l = -215 + 214. Which is greater: l or a?
a
Let l(v) be the first derivative of v**2/2 - 5*v + 5. Let w be l(6). Which is bigger: 2/27 or w?
w
Let z = 11 - 11.1. Are -2/13 and z unequal?
True
Let q = 0.19 + -0.05. Let z = q - 1.14. Are -7/5 and z non-equal?
True
Let w = 13.8 + -7. Let t = -10 + w. Let p = -3 - t. Is 2/7 > p?
True
Let n = 0.03 + 0.27. Let f = 0 - 0. Let r = -1 + f. Is r > n?
False
Let g = -55 - -57. Is 2/21 < g?
True
Suppose 0 = 2*h + 6, -20 = 4*g + 4*h - 4. Let i(m) = 2*m + 3*m - 4*m + 9 - 2. Let p be i(-8). Are g and p unequal?
False
Let u = 22380 + -133019/6. Let d = 11971/57 - u. Let a = 6/19 + d. Which is smaller: 0 or a?
0
Let c be (-7)/3 - 1/(-3). Let m be ((-6)/14)/((-3)/c). Let z = -1933/9 - -215. Which is smaller: m or z?
m
Suppose -2*u + 5*u + 3 = -3*y, -5*y - 15 = 3*u. Let r be (2/25)/(y/30). Let i = 0 + -1. Which is smaller: r or i?
i
Let f = -12.9 - -12.8. Which is smaller: -3/19 or f?
-3/19
Let m = -1559/9 + 173. Which is smaller: -1 or m?
-1
Let k = 41032/29 - 14384777/10150. Let n = k + 9/50. Let j = 143/70 + n. Which is greater: j or -1?
j
Let k = 1.7 + -1. Let v = 3.3 - 3. Let g = v + k. Is 1 equal to g?
True
Let g be (1/1)/(1/2). Suppose 0 = g*l + 2*l - 8. Which is bigger: l or 6?
6
Let w be 2/(2/1)*0. Let r be ((-4)/(-3))/(-4)*(-63)/84. Is r <= w?
False
Let m be (0 + 0)*2/(-4) + 0. Suppose 0 = o - 4*a + 11, 3*a + 8 = 4*o + 26. Let h = -3 - o. Is m <= h?
True
Let y = 1 - 1.3. Let s = -0.4 - y. Let m = -0.06 + -1.94. Is s less than or equal to m?
False
Let s(l) = -l**3 + l**2 + 2*l + 1. Let y be 2/(3/(-4 + 1)). Let w = y - -1. Let n be s(w). Is n equal to -1/4?
False
Suppose 3 = -z + 14. Which is smaller: 14 or z?
z
Let t = -257/4 + 65. Does t = 0?
False
Let h = -70 + 107. Is 0 at least as big as h?
False
Let z(o) = o**2 + 9*o - 4. Let c(u) = -u + 1. Let j(m) = 6*c(m) + z(m). Let t be j(-3). Let d be 2*t*(-2)/4. Are -3/4 and d nonequal?
True
Suppose j + 114 = -18*j. Which is bigger: -13/2 or j?
j
Let p = 2 + 2. Suppose 0*v + p*v - 13 = -z, 3*v + z = 10. Which is greater: v or 4?
4
Let i = 0 + -3. Let c = 62 + -184/3. Which is smaller: c or i?
i
Let b = -24.94 + 24. Let y = b - 0.06. Is y at most -1?
True
Let q(z) = -z - 3. Let b be q(-3). Suppose 2*l + 10 = 0, w - 5*l - 15 = -2*l. Suppose -3*x + x = w. Is x greater than b?
False
Let c = -5 - -9. Suppose -l = -c*l. Suppose 0 = 3*d - l*d + 3. Which is smaller: 0 or d?
d
Let x(d) = -4*d**3 - 2*d**2 - d - 1. Let c be x(-2). Suppose 0 = 5*y - 2*o + 5*o + 20, -4*o = 5*y + c. Let j = -0.06 + 0.16. Is j less than y?
False
Let h = -57 + 60.3. Let j = -2.3 + h. Is 0.2 not equal to j?
True
Let i(c) = -c**3 + 6*c**2 - 7*c + 5. Let g be i(4). Let j be 3/g*-1*-9. Is j bigger than 2?
True
Let y be 21/9 - 2/6. Let t(r) = -r + 3. Let k be t(0). Suppose -2*h + k = h. Which is bigger: h or y?
y
Let v(n) = -n**2 - 3*n + 12. Let f be v(3). Which is greater: -5 or f?
-5
Let x = 23.8 - 26. Let v = x + 2. Let n = -0.2 - -0.2. Which is greater: n or v?
n
Let u(n) = n**2 - 5*n + 6. Let k be u(4). Let b be (-1 - k*-2) + 2. Suppose -3 = g - 5*o + 7, -b*g - 8 = -4*o. Which is greater: -5/6 or g?
g
Let b(i) = i - 3. Let y = 2 - 6. Let o(d) = -d**2 - 4*d. Let q be o(y). Let z be b(q). Is -3 less than z?
False
Suppose -7*j + 2*j + 20 = 0. Let y be -1 + 1 - (0 - j). Suppose 0*b - y = -4*b. Which is bigger: -1/4 or b?
b
Let f = 1 - 0.8. Which is bigger: -7 or f?
f
Let k = -1647/4 + 409. Which is bigger: k or 0.1?
0.1
Suppose -2*j + 25 = -25. Suppose j = 5*n + 3*v, n + v = 9 - 2. Let h = 1 - n. Do h and -2/3 have the same value?
False
Let j = -9/2 - 1/6. Let w be (-9)/27 + 22/(-6). Is w bigger than j?
True
Let a = 133/2 + -65. Suppose -5*l - 3*s + 23 = -s, 0 = l + s - 7. Which is smaller: l or a?
a
Let j be (36/(-8))/9*10. Suppose -5*o = -3*o + 26. Let b = 8 + o. Is b at most j?
True
Let s(q) = q**2 - 9*q - 7. Let u be s(9). Let d(v) = v**3 - 2*v**2 + 2*v + 1. Let z be d(2). Let x = u + z. Are -2 and x equal?
True
Suppose 114 = 4*b - 426. Let z = 947/7 - b. Which is greater: z or 0?
z
Let b be (10/7 - (-10)/(-5)) + 1. Is 1 > b?
True
Suppose 0 = d - 0 - 2. Suppose -4*f - 4*s = -28, 0 = 3*f - s - 3*s - 7. Let y be d/(-2) + f/7. Is y at most as big as -1?
False
Let z = -0.3 - -3.3. Let d = 3 - z. Suppose 0*v = -4*v. Is d at least v?
True
Let h = 0.1 - 0. Suppose -2*y + y - 13 = 0. Let i = y - -37/3. Which is smaller: i or h?
i
Let f be ((-1)/(-4))/((-12)/(-32)). Suppose 5*c - 12 - 2 = -t, 0 = -5*c + 4*t - 6. Is f at least as big as c?
False
Let c be 2/(-4) + -7 + 8. Suppose 2*w = -3*k - 0*k + 9, 4*k = 2*w - 16. Let q be 2/6 - (-4)/w. Are c and q non-equal?
True
Let r = -1/13 + -8/65. Which is bigger: -2/59 or r?
-2/59
Let q = -4 + 5. Let z be 3 - 7 - (-2)/q. Suppose 0 = -j - j - 2. Is j < z?
False
Let c = -55/252 - -4/21. Is 1 at least as big as c?
True
Let k be (-2)/4 - (-5)/18. Let v(s) = s**2 + 5*s + 1. Suppose 0*j - 20 = 4*j. Let q be v(j). Which is greater: k or q?
q
Let v = -43 + 36. Do -6 and v have the same value?
False
Suppose 2*u - 15 = -u. Let d(v) = 2 - v**3 - 5*v**2 - 4*v - 3 + 9*v. Let i be d(-6). Is i greater than or equal to u?
True
Suppose -2*s - 2*s + 16 = 0. Suppose 0 = -b + s*b. Let r = b - -1. Is 1 not equal to r?
False
Suppose -4*y - 16 = 0, 2*d - 3*y - 3 = -13. Which is smaller: -12 or d?
-12
Let t(p) be the second derivative of p**5/20 - p**4/4 + p**3/3 + 3*p. Let b be t(3). Is 5 bigger than b?
False
Suppose -5*s = 4*c - 44 + 10, 11 = s + 5*c. Let r(n) = n + 1. Let b be r(-6). Let h = s + b. Do 1 and h have the same value?
True
Let f = -0.046 - 0.054. Is f greater than or equal to 42?
False
Let n = 4 + 0. Let g = n - 4. Let h = g - -0.1. Which is smaller: h or 0?
0
Suppose 3*t - 28 = 2*q, 5*q + 63 + 7 = -t. Which is smaller: -3 or q?
q
Let f be (-1 + 1)*8/(-16). Suppose f*k - 11 = k - 2*u, -5*u = 4*k - 8. Suppose -3*x + 7 = -q, -5*q - 5*x - 3 = 12. Which is greater: k or q?
k
Suppose j = 4*j. Suppose j = l - 5 + 8. Suppose -12 = 2*k + 2*k. Is k equal to l?
True
Let d = -3909 - -19467/5. Which is greater: d or -16?
d
Let d = -0.3 - -0.4. Let w = 13 + -13.3. Is d at most w?
False
Suppose m - 4 = -2*r, -4*m = -5*r - 0 + 36. Let k be (m/6)/(1/12). Which is greater: -9 or k?
k
Let v(d) = -6*d**2 + 7*d - 17. Let f(u) = 5*u**2 - 6*u + 18. Let b(x) = -7*f(x) - 6*v(x). Let l be b(0). Let h be l/(-10) + 4/(-10). Are h and 2 unequal?
False
Let x = 2 + -1.9. Let i be 3/(-4) + 33/(-4). Let h be i/21*(-2)/3. Is x smaller than h?
True
Let o = 85 + -158. Is -73 greater than or equal to o?
True
Let d be 2/(-6) + 10/3. Let g = 6 - d. Let r = 4 - g. Is 2/15 not equal to r?
True
Let j = 3 + -6. Suppose f = 0, -13 = 4*u + 2*f + 3. Is u less than j?
True
Let t = 3 + -1. Suppose 2*a - 16 = -t*a. Suppose 2*h + 0*h - 6 = 0. Are h and a non-equal?
True
Suppose 4*l = -3*j, 2 - 8 = -2*l - 3*j. Let x(g) = g. Let a be x(l). Let t be a/(-9) + (-2)/6. Which is bigger: -1/2 or t?
t
Let g(u) = -u**3 + 4*u**2 + 2*u - 5. Let q be g(4). Does q = 1?
False
Let v = 10 + -4. Let b be (2/2)/(v/6). Is b smaller than 1?
False
Suppose 2 + 0 = i. Suppose 5*m + 10 + 5 = 0. Let r be (-2 + 22/12)*m. Is r equal to i?
False
Suppose h - 4*g + 12 = 0, 3*h - 8*h + 9 = 3*g. Suppose -c = -5 - 0. Let x = 7 - c. Is h < x?
True
Let n(c) = 0*c - c + 0*c**2 - 1 + c**3 - c**2. Let b be n(2). Does 1 = b?
True
Suppose -5*p + 2*z = 71, -4 + 0 = 2*z. Which is smaller: -16 or p?
-16
Let r = 0.03 + 0.07. Which is smaller: r or 3?
r
Let z(l) = -2*l**3 - 2*l**2 - 3*l - 1. Let y be z(-2). Which is bigger: y or 10?
y
Let k be (-5)/(-5*(-5)/(-10)). Which is bigger: k or 42/13?
42/13
Let p = 9 - 14. Let n = p - -4.6. Let r = n - -0.3. Is 0 >= r?
True
Suppose 3*i = -0*i. Suppose -2*x - 2 