et h be (-1)/((-14)/6 - -2). Suppose -h*a = -4*a - 1. Are r and a equal?
False
Let b(c) = 2*c**2 + 7*c + 2. Let n be b(-5). Is 16 > n?
False
Suppose 2*k - 560 = 5*f - 3*k, -2*f - 3*k = 224. Do -112 and f have the same value?
True
Let a = 29 - 15. Let v = -20 + a. Does v = -7?
False
Suppose -2 = 2*r, -4*u + 2*u - 4*r = -2. Suppose -u*s - 3*j + 8 = -2*j, -4*j + 16 = -4*s. Which is smaller: s or -1/6?
-1/6
Suppose -o + 0*o - 1 = 0. Let c be 13/15 + 3 + 172/(-60). Are o and c unequal?
True
Let r(g) = 6*g - 22. Let l be r(4). Is l greater than 1?
True
Let h = -2 + -2. Suppose 3*u = -2*f - 19, 2*f - 16 = 3*u + u. Does u = h?
False
Let p = -7 - -1. Let a = p - -8. Which is smaller: a or 4/5?
4/5
Let k = 50/21 + -12/7. Let t be (0 + -1)/((-1)/(-2)). Let m be -1 - t - (-2)/(-6). Is m >= k?
True
Let m = 18 - 12. Suppose 5 = -x + m*x. Let p = -112 + 895/8. Is p >= x?
False
Let u(a) = -3*a - 2. Let d be u(4). Let w = d + 6. Is -7 equal to w?
False
Let j = -13 - -18. Let w = -4.9 + j. Let v be (-3)/(-12) - (-42)/(-104). Which is bigger: v or w?
w
Let l be (750/20)/((-6)/8). Which is smaller: l or -51?
-51
Let z(n) = 2*n - 13. Let k be z(9). Suppose -4*b + 2*j - 18 = 14, -k*b - 10 = 5*j. Let x = 5 - 10. Which is greater: x or b?
x
Suppose 5*g = 10, -3*r = -5*g - 1 + 2. Suppose 7*z - r*z + 4 = 0. Suppose -w + 3*w - 7 = -a, -4*a = -5*w + 24. Is z != a?
False
Let q be ((-16)/10)/((-11)/(-55)). Which is bigger: -4 or q?
-4
Let y = 13 + -16. Which is smaller: -4 or y?
-4
Let d = -86 - -689/8. Is 0 at least d?
False
Let k = 16 + -10. Let y be (2/(-28))/(3/k). Let z be (2 - 2 - 0) + 0. Is z < y?
False
Let s = -17.99 + 12. Let l = s + -0.01. Which is greater: -0.1 or l?
-0.1
Suppose -5*h - m = -0*h + 20, -2*h - 11 = m. Let l(o) = o + 5. Let y be l(-6). Let t be (h/(-54))/(y/(-3)). Is t at least -1/3?
True
Let g(p) = p - 1. Let h be g(2). Let y(c) = c**2 + 2. Let u be y(0). Let m = u + -1. Is m less than or equal to h?
True
Let d = -3 - -2. Let p = 4/85 - 302/2805. Is d at least p?
False
Let m = 1/44 - -65/44. Do m and 2 have the same value?
False
Let w = -0.161 - 0.039. Which is bigger: 0 or w?
0
Let h(d) = d**3 - 4*d**2 + 3*d - 1. Let w be h(3). Let y(f) = 3*f**2 - 3*f + 1. Let o be y(2). Suppose 0 = o*x - 3*x + 8. Is x at least as big as w?
False
Suppose 2*f + 0*f - 16 = 0. Is 8 less than or equal to f?
True
Let x be 39*((-6)/(-9) + -1). Is -13 > x?
False
Let u(s) = -4*s - 1. Let w be u(-1). Suppose 0 = -w*r + 9 + 3. Suppose r*m - 14 = 6. Which is bigger: m or 4?
m
Let s(f) = f**2 + 3*f + 7*f - 3*f**2 + 2 + f**2. Let o be s(10). Which is smaller: -1 or o?
-1
Let z(f) = f**2 - 5*f. Let b be z(5). Suppose -5*p + 2*p = b. Let i = -1 + 1. Is i less than p?
False
Let c(j) = j**3 - 5*j**2 - 6*j. Let f be c(6). Suppose f*p = -p. Which is smaller: 4/7 or p?
p
Suppose -1 = r - 5. Suppose r*g - 15 = -g. Let h = -14 + 16. Is g != h?
True
Suppose 4*p - 3*k + 49 = 0, -2*p - 3*k - 8 = 3. Let v be p/(-14) - (3 - 2). Is 1 less than v?
False
Let f(v) = -v**3 + v**2 - v - 5. Let g be f(0). Let z = -8 - g. Is z at least as big as -4?
True
Let v(r) = -13*r**3 + 17*r**2 - 17*r. Let q(k) = -3*k**3 + 4*k**2 - 4*k. Let w(u) = 9*q(u) - 2*v(u). Let z be w(2). Is -4 at least z?
True
Let m = -17 - -13. Is m <= -2/5?
True
Let u be -2 - ((-6)/(-2) - 2). Let y = 4 + u. Which is smaller: y or 1/29?
1/29
Let g be 4/(-5)*(-3 - (-42)/4). Which is smaller: -5 or g?
g
Let g = 20 - 31. Are g and -13 unequal?
True
Let k = 3 - 3.2. Let v = 0.1 + k. Let h be -1*2/4*-4. Which is bigger: h or v?
h
Let k be (1 + 1)*2/(-10). Let u be 3 - 2/4*2. Suppose -u*g - g = -3. Do k and g have the same value?
False
Let k = 39 - 34. Which is smaller: 9 or k?
k
Let m be 7/14 - 2/(-4). Let p be (-2 + 2)*(0 - -1). Suppose p - m = -l. Is l smaller than 1?
False
Let n(q) = -q**3 + 10*q**2 - 3*q - 20. Let p be n(9). Which is greater: 35 or p?
35
Suppose -2*m = 3 + 1. Suppose 45 = 4*z + g, -3*z + 2*g + 9 = -11. Suppose 2 = 4*q - 2*i, 0 = q + 4*i - i + z. Is q > m?
True
Let l be 1148/(-84) + ((-2)/(-3))/(-2). Which is greater: l or -11?
-11
Let k be ((-10)/(-15))/((-8)/(-6)). Let s be ((-18)/12)/(2/(-8)). Suppose -h = 4*r + h + s, r + 9 = -2*h. Which is smaller: k or r?
k
Suppose 3*r - q - 3 = 0, -4*r + 4*q - 2*q + 2 = 0. Suppose r*j - 12 = -2*j. Let a = -2 + j. Which is bigger: -2/7 or a?
a
Let t be (-351)/(-65) + (-2)/((-10)/3). Is t at most as big as 10?
True
Let k(y) = y + 2*y - y + y - 9. Let j be k(10). Do 21 and j have the same value?
True
Let h = -5 - -8. Suppose -h = -3*z + 3*y - 18, -11 = -2*z - 5*y. Let x be 2/9 + (-11)/9. Which is greater: z or x?
x
Let h = 1 - 0. Let j be (-64)/12 + (-2)/(4/(-10)). Is h equal to j?
False
Suppose -2*c - 11 = -3*c. Is 12 smaller than c?
False
Suppose 0 = m + 3*m + 8, 0 = -5*y + 4*m + 18. Let a = y + -3. Let l be 3/(-9) + 2/6. Which is smaller: l or a?
a
Let k = 34 + -34.13. Let r = k + 1.33. Let x = r - 0.2. Which is greater: x or -1?
x
Let a(n) = -n - 9. Let p be a(-7). Let r(d) = 2*d - 14. Let j be r(10). Let l be 8/(-28) - j/(-21). Is l < p?
False
Suppose -5*n = g + 1, -4*g + 15 = 2*n - n. Let r = 82 - 412/5. Is r at least as big as n?
True
Suppose -7*t = -2*t - 15. Suppose 0 = -t*r + 2*r + 4. Let u be r/8 + (-2)/(-4). Which is smaller: 0 or u?
0
Suppose 0 = 5*q - 44 - 1. Let g be (4 - 12)*(1 + -2). Which is greater: g or q?
q
Suppose 2*t = -3*o - 7, 4*t = -3*o + 3*t - 5. Let l be (o - -2)/((-1)/21). Let p be (-1)/(l/(-69)) - -3. Which is smaller: p or 0?
p
Suppose -a + 3 = -3*v, 0 = 2*v + a + 3*a + 16. Which is greater: v or 2?
2
Let p be -2 + (-26)/(-8) + -1. Let q = 6 + 0. Let s = -6 + q. Is p smaller than s?
False
Let x(c) = c**3 - 8*c**2 + 3*c - 23. Let h be x(8). Which is bigger: h or 20/11?
20/11
Let t(p) = -39*p**3 - p**2 - p + 2. Let q be t(1). Is -37 > q?
True
Suppose 4 = 2*p + 8. Is -9 < p?
True
Let c be 2 + ((-10)/(-45) - (-33)/(-27)). Which is smaller: 81 or c?
c
Let n = -15 - -15. Is n at most as big as 2?
True
Let x = -18 + 26. Let n = -8.08 - -0.08. Let o = x + n. Which is bigger: -4 or o?
o
Let v(n) = -n + 5. Let b be (-2)/5 - 88/(-20). Let s be v(b). Let x be 2/(-2) + 0 - -1. Which is greater: s or x?
s
Let p = -12 + 11.93. Let n = 1.07 + p. Which is bigger: -1 or n?
n
Let h = -19/69237 - -54540629/186247530. Let q = 2/269 + h. Suppose 2*j + 3*g + 8 = 0, 3*g = -5*j - 6 - 5. Which is smaller: j or q?
j
Suppose -18 = 3*h + 3*b, -h - 8 = 4*b + 7. Let c be 2/(54/(-87)) - h. Suppose 0 = -p - 4*v + 8, v + v - 4 = 3*p. Is p smaller than c?
False
Let m = -13 - -79/6. Suppose 0 = -98*r + 95*r. Which is greater: m or r?
m
Let d(w) = -w**2 - 8*w - 10. Let l(x) = x**3 + 6*x**2 + 2*x + 5. Let j be l(-6). Let s be d(j). Is -3 <= s?
True
Let a = -16 - -9. Which is smaller: a or 0?
a
Let q = 10 - 9.3. Let c = 18 + -8. Let t = c - 11. Which is bigger: q or t?
q
Let m(i) = 4*i - 2. Let l be m(3). Let j be (l/12)/(9/12). Which is greater: -1 or j?
j
Let w = -1 + 1.1. Is w at most as big as -10/9?
False
Let c be (-9)/3*-1*4/(-12). Let k = -3979777475/1596 + 2493595. Let h = -1/133 + k. Is h at most c?
False
Let f(s) = -2*s**2 - 7*s - 1. Let j be f(-5). Let o = j + 14. Is o smaller than 3?
True
Suppose 4*s + 62 = -2*k, 4*s - 19 = k - 0*s. Is -28 less than k?
True
Let s = 0.7 - 4.7. Let c = -2.3 - s. Let o = -2 + c. Is 1/2 at least as big as o?
True
Let t = -1/12 - -1/3. Let c = 23 + -23.2. Which is smaller: t or c?
c
Suppose -t + 6 - 1 = -3*v, 0 = -2*t - 4*v. Suppose 3*w + 5 = t*w. Which is greater: w or -4?
-4
Let y be 2/(-5) + (-172)/(-5). Suppose -3*d - d + y = -2*z, d - 5*z = 22. Is 7 at most as big as d?
True
Let t be (-1 + 1)*(3 - 2). Let z = t + 2. Suppose 4*k - z*k + 2 = 2*j, -j = 3*k - 5. Is k greater than or equal to 3?
False
Suppose -4301 = c - 15465. Let l be (-2)/(-3) + c/(-13020). Let g = l - 2/217. Is g greater than or equal to 1?
False
Let a(q) = q**3 + 15*q**2 + 12*q - 34. Let c be a(-14). Which is bigger: -10 or c?
c
Let r(w) be the third derivative of -w**5/60 - w**4/6 - w**3/6 - w**2. Suppose -9 + 0 = 3*v. Let k be r(v). Are k and 2 equal?
True
Let r be (-6)/(-24) - (-2)/(-8). Is r smaller than 2?
True
Let u(f) = -2*f - 1. Let j(p) = p - 1. Let o(d) = 4*j(d) + u(d). Let x be o(5). Suppose 4*h = x - 1. Is 1 greater than h?
False
Let y be (69/2)/((-12)/16). Ar