p - 11 - 14. Let o(k) = k + 5. Let i be o(p). Is i not equal to 0?
False
Suppose -7 = -2*c + g - 0*g, 0 = -c + 5*g - 1. Suppose x - 5*u + c = 0, -2*u - 1 + 2 = -x. Which is greater: x or -2/13?
x
Let t = 223/36 - 43/9. Let q = t - 5/3. Let j be (3 + -1 - 3) + 0. Are j and q equal?
False
Let w be ((-1)/3*0)/1. Suppose 5*i - 2*i - 3 = w. Suppose -4*l - i = 11. Is -3 > l?
False
Let w(a) = -2*a**3 - 4*a**2 - 3*a - 2. Let b be w(-2). Let s = -2 - b. Is s greater than -2?
False
Let y = 111 - 52. Is 60 at most as big as y?
False
Suppose 19 = 3*h + 100. Let z = h - -17. Let q be 2/z + (-2)/(-10). Which is greater: 2/7 or q?
2/7
Suppose -5 = -2*m - 3*m. Does 7/6 = m?
False
Suppose -3*i - 27 = 21. Do i and -17 have different values?
True
Let u = -0.01 + -3.94. Let k = u - 0.05. Let s = 0.225 - 0.425. Are s and k equal?
False
Let x = -0.2 + -7.8. Let v = 7.8 + x. Let h = -0.4 - -0.3. Which is bigger: h or v?
h
Suppose 0 = g + 4*a + 10, 5*a = -5*g - 6 + 1. Suppose 1 = g*m - 5. Suppose 0 = -3*r + 2 + 10. Which is smaller: r or m?
m
Suppose 5*d = -o + 4*o + 22, -2*o = 4*d - 22. Suppose -12 = -4*u, -2*m = -3*m - u + 5. Suppose y + 3 = 2*s - m, -4*s = -y - 7. Is o != s?
False
Let u = -87 + 90. Are 5/3 and u nonequal?
True
Let h be 0/(4*1/2). Suppose 5*v - v + 5*c + 27 = 0, -3*v - 2*c - 22 = h. Is -8 less than v?
False
Let f = -11.6 + 12. Which is greater: f or 1?
1
Suppose -2*c = -10 + 6. Let r(u) = -u**2 - 7*u + 11 + 2*u - 4. Let v be r(-6). Is v > c?
False
Let q = 60 - 84. Let m be 3/2*q/(-18). Is 2 bigger than m?
False
Suppose -5*n + 2*j = 5*j - 14, 3*n + 5*j - 18 = 0. Which is greater: n or -3/29?
n
Suppose -2*u + 17 = -3*j, -2*u + 5*j + 35 = 3*u. Suppose -2 = -3*v + u. Which is smaller: v or 0?
0
Let n = 24 - 17. Let z = n - 12. Which is bigger: -0.1 or z?
-0.1
Let a(m) = m - 1. Let f(b) = -b**2 - 6*b + 1. Let k be f(-6). Let i be a(k). Let c = 3/11 - 17/22. Which is smaller: i or c?
c
Suppose 0 = 5*l - 3*b + 6 - 15, 4*l - 6 = 2*b. Suppose 3*h + l - 3 = 0. Let u(t) = t - 7. Let o be u(7). Which is greater: h or o?
h
Let f = 25/357 - 2/17. Is f greater than or equal to -1?
True
Let q = 7.8 - 8. Let c = -0.1 + 0. Is q at least as big as c?
False
Let j = -33 - -33.1. Which is smaller: 2/7 or j?
j
Let z = -2/225 + 476/2925. Which is bigger: z or 3/5?
3/5
Let c(a) be the third derivative of -a**4/24 - a**3/2 - 2*a**2. Let z be c(-6). Which is greater: z or 1?
z
Let s = 3.96 - -0.04. Let v = s - 4.3. Do -1/2 and v have different values?
True
Let f = -1 + 1.1. Let p(a) = 4*a - 2. Let g be p(-6). Let z = g + 53/2. Which is bigger: f or z?
z
Let x = -5.4 + 5.3. Is x less than -2/55?
True
Let q = -0.13 + 0.03. Let x = 0 + q. Which is bigger: x or 8?
8
Let c(n) = -n**2 + 9*n + 3. Let b be c(9). Suppose 3*l = 4*l - b. Is 4 equal to l?
False
Let x(m) = 28*m + 2. Let r be x(-1). Is -26 != r?
False
Let w = 11 - 16. Let g = 1.5 - -4.5. Let y = g + w. Which is greater: 3/5 or y?
y
Let m = 1 + 12. Let l = m - 6. Let s(f) = -f**2 + 6*f + 7. Let y be s(l). Is -1 bigger than y?
False
Let i(n) = -n**3 - 7*n**2 + 9*n + 8. Let t be i(-8). Is -1/6 greater than t?
False
Let d = -11 - -10.92. Is -1 less than or equal to d?
True
Let f = -0.9 - 1.1. Let o = -16 + 25. Suppose -t = -3*g - g + 12, -o = -3*g. Which is smaller: t or f?
f
Let h(x) = -x + 8. Let p be h(6). Let d = 2 + -4. Let w = d + 2.2. Do p and w have different values?
True
Let d = -5 + -2. Do d and 1 have different values?
True
Let j = -2 + -1. Let x = 3.1 + j. Let u = 3.2 - 3. Which is greater: x or u?
u
Suppose 0*y = -5*y - y. Are y and 7/17 unequal?
True
Let r = -2011/7 - -288. Which is smaller: r or 2?
r
Suppose -15 = -l + 2*l + 3*r, -5*l - 2*r = 10. Let u = -2/13 + -5/52. Which is smaller: u or l?
u
Let b = -0.15 - 0.31. Let x = b - -4.36. Let g = x - 4. Which is smaller: g or -2?
-2
Let w = -7 + 6.4. Let g = w + 0.5. Which is smaller: g or -3/7?
-3/7
Let o(w) = -w**2 + 13*w + 67. Let r be o(18). Is 2 bigger than r?
True
Suppose 2*u + 1 = t, -3*u + t - 4 = -0. Let v be 380/(-100) + (-2)/10. Is u > v?
True
Let u be (-24)/9*(-3)/2. Suppose -q - u*q = 0. Suppose -2*h = -5*c - 17, q*c + c + 3*h = 0. Which is smaller: c or -2?
c
Let h = -13 - -25. Let p be 1/6 - 6/h. Which is bigger: p or -3/4?
p
Let w = 701/2386153 + 2/2563. Let y = w - -8374/4655. Does 3 = y?
False
Suppose 0 = -2*n - 3*a - a + 10, a = -3*n. Let u(w) = -w - 5. Let d(v) = 2*v + 14. Let o(j) = 4*d(j) + 11*u(j). Let i be o(n). Is i > 4?
False
Let y be 0 - (0/1 + -2). Is 7/8 less than y?
True
Let n = 0.15 - -0.05. Let w = n + -0.2. Is 5 < w?
False
Suppose -11 = -w + 2*a + 17, -3*a - 32 = -w. Let p = w - 139/7. Are 0 and p equal?
False
Let g = -49/5 + 271/45. Are 1/3 and g unequal?
True
Let c = -1757/155 - -57/5. Is -1 at most c?
True
Suppose -4*h + 25 = -9*h. Is 0 != h?
True
Let a = -4 - -7. Suppose -4*b + 3*i = -0*i - 21, a*b + 2*i - 20 = 0. Which is smaller: 7 or b?
b
Let f = 0.08 - 2.08. Let r = -6.9 - 0.1. Let a = r + 7. Does a = f?
False
Let h(i) = -i**2 - 7*i - 7. Let x be h(-6). Is 1 at most x?
False
Let y = 1 + -1. Let x = 36 + -20. Let u = -18 + x. Do u and y have the same value?
False
Suppose -4*p + 5*l = -28, 5*p + 3*l = l + 2. Suppose -2*r - 4 = p. Which is smaller: -3/2 or r?
r
Let y = -1.4 - -0.9. Let r = 23/3 - 89/12. Which is smaller: r or y?
y
Let h = 0.47 + -1.47. Suppose -5*c - 3*t = -14, 0*t - 4*t - 24 = -4*c. Which is bigger: c or h?
c
Suppose -i + 2 + 1 = 0. Suppose 3*d - 6 = -2*w, -1 = 2*d + i*w - 5. Suppose 0*q = d*q. Is -2/5 less than q?
True
Suppose 4*g - 5*n = -13, -g - 3*g = -3*n + 11. Is -2 bigger than g?
False
Let j(c) = -c + 8. Let z be j(6). Let a = -2.07 - -2. Let n = a + -0.03. Do z and n have the same value?
False
Let g(n) = n**3 - n**2 - 5*n + 5. Let z be g(2). Which is greater: 1/10 or z?
1/10
Suppose -3*q + 6*q + 12 = 0. Let i(x) = 4*x**3 - 8*x**2 + 7. Let g(p) = 7*p**3 - 15*p**2 + 13. Let m(y) = -3*g(y) + 5*i(y). Let u be m(5). Is u <= q?
True
Let y = 86 - 85.9. Which is bigger: y or -15?
y
Let c(x) = x**3 + x**2 - 2*x - 1. Let u be c(-3). Let t be 2/2*(-2 - -3). Which is smaller: u or t?
u
Suppose 5*q + 2*f + 2 = 0, 4*q - 2*q + 3*f = -3. Let z = 233/72 + -29/9. Let m = 221/360 - z. Is q less than m?
True
Let l be 5/(-2)*(-24)/15. Suppose x - 4 = -4*z + 2*z, z + l = x. Let m(q) = -q - 4. Let r be m(-8). Is r at least as big as x?
True
Let p = -24 + 25. Which is smaller: -2/5 or p?
-2/5
Suppose 2*i = 2*h - 24, -4*i = -2*h + 13 + 11. Which is greater: 11 or h?
h
Let d = 204 + -2241/11. Let s = d - 1/44. Which is greater: s or -1?
s
Let z(c) = -10*c**3 - 2*c**2 - c. Let y be z(-1). Let k(o) = -o + 14. Let q be k(6). Do q and y have different values?
True
Let w = -88 + 966/11. Which is greater: w or 1?
1
Let u = -11 - -8. Let b be 15/6 + 1 + u. Let y(d) = d**2 + 2*d - 2. Let m be y(-3). Is b equal to m?
False
Let m(s) = -s + 15. Let j be m(15). Suppose -6*u - 315 = -u. Let t be 69/u - (-2)/3. Is j not equal to t?
True
Let o = -4/21 - -62/105. Let l be -3*(1 - 2) - 0. Suppose l*a = -2*a. Which is smaller: o or a?
a
Let h = 1.6 - -0.4. Let z = 4 - h. Let m = -4 + z. Are m and -1 equal?
False
Let f = -0.29 + 2.69. Let x = -1.6 - f. Which is bigger: 0.3 or x?
0.3
Let f = -99 + 111. Which is greater: -3 or f?
f
Suppose 3*v + 26 - 23 = 0. Is v greater than or equal to 28?
False
Let p be 0 + 2 + -1*6. Which is greater: -5/2 or p?
-5/2
Let g(r) = r**3 - 8*r**2 + 7*r - 1. Suppose v - 4 = 3. Let m be g(v). Which is bigger: 1/14 or m?
1/14
Let n be 0/(-2)*(-1)/2. Suppose n = -4*q + 3*c + 11, 2 = 2*q - 2*c - 6. Let b be (-14*q/(-2))/1. Which is smaller: -6 or b?
b
Let h = -3 - -1. Let b be -2*(h + 1)/2. Let l be b/(-3) - (-22)/30. Is 1 bigger than l?
True
Let c(l) be the first derivative of l**3/3 + l**2 - 3*l - 4. Let g be c(-3). Do g and -1/4 have the same value?
False
Let z = 16 + -15.7. Let k = z - -3.7. Let p = 0.2 + -1.2. Are p and k nonequal?
True
Suppose -5*d = -9*d + 72. Let i be d/(-10)*(0 + -5). Let k = i + -11. Is k bigger than 0?
False
Let f be -2 - (-3 - -3) - -3. Is 8 >= f?
True
Suppose 7 = -3*f - 2*u, -4*u = -3*f + 6*f + 17. Which is bigger: -4/27 or f?
f
Let w = 17280/17 + -1016. Is w not equal to 1?
True
Let d = 16/7 + -71/28. Let u = 9 - 5. Suppose 3*y - 5 = 4*n, -n - n = u. Which is greater: d or y?
d
Let p 