 and 6 unequal?
True
Suppose -7*p = -60 - 3. Let t be (-2)/(-4)*(-306)/p. Which is bigger: -18 or t?
t
Let z = 1171 + -1181. Is z greater than or equal to -8?
False
Let s(q) be the second derivative of 13/2*q**2 - q**3 + 9*q + 0. Let a be s(4). Which is bigger: a or -12?
a
Suppose -i - 2*i = r, -r + 2*i + 20 = 0. Let k(b) = -b**3 + 13*b**2 - 12*b - 7. Let c be k(r). Is c less than -5?
True
Suppose 4*w + 5*f = -1564, -7*w - f + 1173 = -10*w. Is w > -392?
True
Let w = 671 - 238. Which is bigger: w or 0.1?
w
Suppose 3*u = u. Suppose u = 5*v - 11 - 4. Suppose -4*j = -v*j + 9. Which is smaller: -8 or j?
j
Let o = -17 - -19. Let r = o - 10. Which is smaller: -10 or r?
-10
Let q be 32/8 + (-6)/(-14). Do q and 4 have the same value?
False
Let r(k) be the second derivative of -k**3/6 + 3*k**2 - k. Let h be r(5). Which is bigger: h or 2?
2
Let r be (2/(-4))/((-22)/12 - 36/(-27)). Let s be 2/(-5)*(-15)/(-153). Does s = r?
False
Suppose 3*j + 18 = -9. Let v(q) = -q**2 - 10*q - 10. Let o be v(j). Let r be 14/189*(-2 + o). Which is greater: -1 or r?
r
Suppose 3*p + p + 16 = 0. Let s be ((-27)/(-6))/(1/2). Suppose -1 = -2*g - s. Are p and g equal?
True
Let i = -141587/24 - -17905/3. Let q = -69 + i. Let o = 4 + -5. Which is greater: o or q?
q
Let h = 416/115 - 22/5. Which is bigger: -2 or h?
h
Let j = 116 - 157. Is j bigger than -42?
True
Let z be 2*4/(2 + 2). Suppose -z*b + b + 3 = 0, 3*b - 11 = -f. Suppose 6 = 4*h + f*h. Is h < -2/81?
False
Suppose 3*l - 3*t + 25 = 67, 66 = 5*l - 4*t. Let c be 0 + -2 + 44/l + -2. Which is smaller: c or -46?
-46
Suppose -4*s + 0*p - 2*p + 60 = 0, -s + 33 = -4*p. Suppose 3*v = -9, -t + 2*t - s = 5*v. Suppose -t*j = j. Is j equal to 3/4?
False
Suppose 2*r = -5*k + 29, -2*r + 3*k - 19 = -4*r. Suppose -2*i = -4*p + 6, 17 = 7*i - r*i - 2*p. Suppose -3*n - 2*n - 21 = -4*c, i*c = n. Are -1/6 and c equal?
False
Let d = -3881 + 531703/137. Are d and -1 equal?
False
Suppose 8*t = 1893 - 1901. Which is bigger: t or 2/823?
2/823
Let t = -26.8 - -0.8. Let q = t + 25.6. Let n = q + 0.3. Is n smaller than 17?
True
Suppose -2*n = -w - 7, -1 - 9 = n + 4*w. Does -10 = n?
False
Suppose -3*n + 204 = -225. Suppose -4*k + n - 51 = 0. Is 25 greater than k?
True
Let q = -2/27 - 23/54. Let o be ((-5)/(-10))/1*-4. Which is smaller: o or q?
o
Suppose 3 = -q + 10. Let x(u) = 5*u - 28. Let g be x(q). Is g at most as big as 7?
True
Let m = 2709 - 1240723/458. Is -1 greater than m?
False
Let z be 12/15 - (-49)/(-30). Let a(d) = d**2 - 7*d - 4. Let p be a(8). Let t = p - 4. Which is smaller: t or z?
z
Let k(v) = -v**3 + 16*v**2 - 27*v - 13. Let z be k(14). Which is smaller: 5/48 or z?
5/48
Suppose 5*l + 81 - 301 = 0. Let w = l + -46. Which is smaller: -1 or w?
w
Let p(x) = x**3 + 3*x**2 - 5*x. Let o(h) = h**3 + 4*h**2 + 2*h - 7. Let m be ((-1)/(-2))/(9/(-54)). Let q be o(m). Let u be p(q). Which is smaller: -3/5 or u?
-3/5
Suppose -a = 3*h - 2*a - 6, 4*h = 5*a + 8. Suppose -4 = 4*l - 4*r, -5*r = l + 17 + h. Which is smaller: l or 0?
l
Suppose -10 = -g - 2*s - 2*s, 0 = 5*g - s + 55. Let n = -16 + g. Which is greater: -25 or n?
-25
Let l be (-3)/3 - 0 - 24/(-21). Let f(r) = r**3 - 3*r**2 - r + 3. Let u be f(3). Which is smaller: l or u?
u
Let g = 4853 + -33788/7. Let n = -26 + g. Which is smaller: 0.1 or n?
0.1
Let f = 4 - 80/19. Let g = f + -83/57. Suppose -5 = 3*p + 1. Which is greater: p or g?
g
Let z be (-11)/(-2)*(42 - 44). Is z less than or equal to -12?
False
Let j = -157 - -158. Which is smaller: -172 or j?
-172
Let b be ((-40)/50)/((-6)/(-15)). Suppose 3*q = -2*o + 6, -4*o - 2*q = -29 + 1. Which is bigger: b or o?
o
Suppose 0 = 2*f - 6 - 0. Let j be f/(-18)*36/(-8). Let g(n) = n - 12. Let k be g(10). Is j greater than or equal to k?
True
Let m(s) = s**3 - 5*s**2 - 2*s + 7. Let d be m(5). Let u = -745/4 + 184. Are d and u equal?
False
Let s = -4 - -6. Let q = -127/65 - -41/13. Are s and q equal?
False
Let d be (16/(-28))/4 - 13350/336. Is -39 at most as big as d?
False
Suppose 34*d + 287 + 631 = 0. Suppose 2*i + 51 = r, 3*i - 96 = 6*i + 5*r. Is i > d?
False
Let b be ((-15)/(-10))/(1/(-4)). Let t = b - -6. Is 2/65 greater than t?
True
Suppose -8*n + 3*n + 5 = 0. Let m be (n - 3) + 3 + 3. Suppose -7 = -b - m. Which is greater: 2/17 or b?
b
Let z = -13 + 2. Let r = z + 1. Let m = -10.4 - r. Do m and -0.2 have the same value?
False
Suppose -3*l = 0, 3*o - 36 = 21*l - 23*l. Is o greater than 285/23?
False
Suppose 4*g = -i - 0*i - 8, 0 = 2*g - i + 4. Let k be 6*(2/(-57))/g. Which is bigger: k or -4/3?
k
Let h = 96 - 63. Let w = 267 + -302. Let r = w + h. Which is smaller: -5 or r?
-5
Suppose 0 = 5*f - 3*c - 25, 6*f + 5*c - 15 = 3*f. Suppose 59 = f*r - 6. Is -0.3 <= r?
True
Let l(n) be the first derivative of -3*n**2 - 12*n + 13. Let g be l(-8). Let u = g + -36. Is u smaller than 7?
True
Let o be ((-114)/40 + 2)*18. Let p = o - -31/2. Let a = -147 + 146. Are p and a equal?
False
Suppose 2*l + 101 = 2*c - 1, 5*c = -2*l - 88. Let t = l - -50. Are 4 and t equal?
False
Let r(v) = v**3 + 6*v**2 - 7*v + 4. Let q be r(3). Is q less than or equal to 64?
True
Suppose -4*x = -4, 0 = -p - x - 92 - 128. Do -221 and p have the same value?
True
Let a = -2334/31595 - -46319101/175794580. Let i = 10/107 - a. Which is smaller: i or 0?
i
Suppose -3*f - 52 = -55. Is f at most 6/115?
False
Let p = 10 + -18. Is p bigger than -10?
True
Let p = 3/2690 + -6007/562210. Is -1 not equal to p?
True
Let i(m) = m**3 - 7*m**2 + 5. Let o be i(-5). Is -294 equal to o?
False
Let r = -12 + 34/3. Let l be (-26)/91 - (-1 - 92/(-119)). Let t = -23/102 - l. Are r and t non-equal?
True
Let h(y) = -y. Let l(w) = -5*w + 19. Let r(x) = -2*h(x) - l(x). Let q be r(6). Let d = 13 - -11. Is q equal to d?
False
Let h be 25/(-690)*(-15)/450. Is -1 greater than h?
False
Let o(p) = -p**3 + 15*p**2 + 5*p - 69. Let i be o(15). Is i at least as big as 5?
True
Let w(d) = 2*d**2 - d. Suppose -3 = -6*v + 3. Let l be w(v). Is l greater than 0?
True
Let i = -14897/38 + 392. Let c(m) = -m - 1. Let d be c(-4). Suppose -d = 4*f + 1. Is i at most f?
False
Let v be (-46)/(-84) - 2/6. Let l(s) = s - 17. Let y(n) = -n. Let h(u) = -l(u) - 3*y(u). Let r be h(-8). Which is smaller: r or v?
v
Let j(q) = -q**3 + q**2 - 2*q - 1. Let b be j(0). Let y be b + 14 + 0/(-4). Are 15 and y unequal?
True
Let c = 93 - 91. Let t = 23.4 + -21. Let s = t - c. Which is bigger: -0.2 or s?
s
Suppose 2*k = 4*z - 12, -7*k + 2*k + z = -15. Suppose 49 = 4*u + 5*g, k*g = 3*u - 0*g + 2. Which is smaller: u or -1?
-1
Let t = 1/1572 - -3137/11004. Which is greater: t or 66?
66
Let v be -326 + 0 + ((-48)/(-6))/4. Are v and -324 equal?
True
Let s = -2683 - -276353/103. Which is greater: -1 or s?
s
Let i(d) = 4*d + 20. Let z be i(-4). Suppose 0 = -3*o + o + 2. Is z at least o?
True
Let h be (1/2*0)/(11/11). Suppose h*q - 3*q = -87. Is 26 smaller than q?
True
Suppose 3*u = -3*u. Let z = u + -13. Let w = z - -4. Which is greater: w or -7?
-7
Suppose -2*l - 2*m - 1494 = 0, -211*l + 214*l - 5*m = -2249. Is l <= -749?
False
Let c = -236 - -235. Let q = 469 + -20166/43. Is q less than c?
False
Let w = -35 - -29. Let k = -5 - w. Which is bigger: -4/21 or k?
k
Let u be 78532/(-39295) - 2/(-1). Is 1 < u?
False
Suppose 0 = g - 16 + 4. Let u(x) = x**3 - 12*x**2 + x - 9. Let l be u(g). Let b be (l - 3)/(0 - 1). Which is greater: b or -1/7?
b
Suppose 5*k - 77 = 6*k + 5*y, -5*y + 258 = -4*k. Which is smaller: -73 or k?
-73
Suppose -8*m + 15602 = -37*m. Is -538 less than m?
False
Let w(u) = -u + 3. Let h be w(5). Let z be h/(-4)*50/(-35). Which is bigger: z or -2?
z
Let c(j) = -j**3 - 10*j**2 + j + 10. Let o be c(-10). Let w be (-1 + o)*(-3 - -2). Let h = -15/143 + 2/11. Which is greater: h or w?
w
Suppose -3*b - 341 = -g, b + 4*g - 18 = -123. Is b greater than or equal to -113?
True
Suppose 4*r - 440 = -480. Which is smaller: -47/5 or r?
r
Let q = -31.495 - -0.495. Let l = 1 - 0.8. Is l not equal to q?
True
Suppose -158 = 5*t - 88. Is t less than 3?
True
Suppose -2*p = 2*b + p, b = 3*p. Suppose b = m - 5*j - 28, 0 = -2*m + 3*m + j + 2. Let i = -8281 + 8281. Is m at least i?
True
Let u be (-9)/582*6/9. Suppose 10 = -5*c + 15. Which is smaller: c or u?
u
Let t = 32 + -35. Do t and -35 have the same value?
False
Let w = 21 + -20.82. Let i = w - -6.82. Is -2/7 great