 + 4. Let w be (-12)/21*2043/12. Let o = w + 97. Which is bigger: l or o?
o
Let r = 18 + -13. Let d be 16 + -13 - (0 + 1). Is d >= r?
False
Suppose -4*p - 3*q - q - 12 = 0, 4*q + 10 = -2*p. Let d = 13 + -8. Suppose n = -1, -n - d = 2*v - 0*n. Which is bigger: v or p?
p
Let n be ((-4)/2)/((-12)/30). Suppose 0 = -n*u + 2*t + 15, -4*u + t = -t - 14. Let x = -1 + 1. Which is bigger: u or x?
u
Suppose 2 = -13*r - 63. Which is bigger: r or -2?
-2
Suppose -5*o + 42 = 2*p, 3*o - 2*p = -p + 23. Let a = -9 + o. Let j = -0.95 - -1. Is a at least j?
False
Let j(m) = 2*m**3 + 2*m**2 - 3*m. Let v be j(2). Let x be 4/v - (-335)/(-252). Let l = x - -5/4. Is l bigger than 1?
False
Let u = -4 + 9. Suppose 5*c - 3*c + u*n = 21, -n = 2*c - 9. Which is smaller: c or 3/2?
3/2
Let l = 55.05 + -57. Let k = l + -0.05. Let t be (-8)/15*(-6)/(-8). Which is smaller: k or t?
k
Let s(q) = -q**2 - 9*q - 2. Let h be s(-7). Is h at least as big as 12?
True
Let h(o) = o**3 + 7*o**2 + 7*o + 4. Let b be h(-6). Is b <= -1?
True
Let n be (-5 + 1)*15/(-20). Let d be 4 - 3/(0 + n). Suppose -h + 9 = 2*w, -d*h = -0*w - w + 8. Which is smaller: 1/4 or h?
h
Suppose 3*w = w, -2*z - 3*w + 6 = 0. Suppose -3 = -3*p + 3. Suppose -3*b + 9 = 0, -5*t + p*b - z = 13. Which is smaller: -3 or t?
-3
Let r(m) be the second derivative of -m**3/2 - 2*m**2 - 4*m. Let w be r(-4). Which is smaller: w or 7?
7
Let s = 93625 + -8613375/92. Let x be (-2)/(-46)*-9 - -1. Let r = s - x. Is r at least 0?
True
Let g = -4.2 - -1.2. Let q = g - -4. Which is greater: q or -5/2?
q
Suppose 29 = -q - 0*q. Which is smaller: q or 1/4?
q
Let s be (15/1590)/(1/4). Are s and -1 non-equal?
True
Let r = 168 + -653/4. Which is bigger: r or 4?
r
Let p(g) be the first derivative of -g**4/4 - 7*g**3/3 + 9*g**2/2 + 11*g + 1. Let c be p(-8). Let r = -20 - -20. Which is greater: c or r?
c
Let l = -114.19 - -114. Which is greater: -0.3 or l?
l
Let h(i) = i - 1. Let y be h(-14). Let u be (3 - y/(-6))*4. Is u < 0?
False
Suppose 3*w - 4*n = -16, 0*w - 3*n = 4*w - 12. Suppose 4*h + w*h = -4. Is h greater than -2/7?
False
Let q = -0.17 + -1.83. Are q and -1 equal?
False
Suppose i = 4 - 2. Suppose 0 = 4*w - w + 57. Let j = w + 37/2. Which is smaller: j or i?
j
Let k be -6 - -4 - (-5 + 0). Suppose 0 = k*i - 0*i + 3. Which is smaller: i or 1/22?
i
Let o = 14 - 12. Suppose -o = 4*x - 3*x. Is -2 at most x?
True
Let n = 14 + -10. Let v be (n/(-24))/(1/2). Which is bigger: v or 0.8?
0.8
Let y be -1*(-1 - (-4 - (3 + -5))). Let z be (-38)/24 + (-1)/(-3). Let m = z + 3/4. Are m and y unequal?
True
Suppose 3*q = -0 + 3. Let w = -0.98 - 0.02. Which is smaller: q or w?
w
Let x = 7 + -4. Suppose 0 = -0*n - x*n. Suppose n = -2*k - 0*y - 2*y, -2*k = -y - 9. Is 3 greater than or equal to k?
True
Let k(i) be the second derivative of i**4/12 - 4*i**3/3 + 5*i**2 + 2*i. Let s be k(7). Suppose s*l = -l - 12. Which is smaller: l or -1/2?
l
Let w = 4/19 - 73/76. Is -1/3 greater than w?
True
Suppose -p + 2*p - 4 = 3*b, -5*b = 5*p. Let t be 2*((-34)/12 - -2). Is t != b?
True
Let r(c) = c**2 - 8*c + 9. Let j be r(7). Let u be (j/(-4))/((-3)/24). Do u and 4 have different values?
False
Let b be 4/12 + 17/3. Let t(g) be the second derivative of -g**4/12 + g**3 + g**2 - g. Let s be t(b). Is 3 not equal to s?
True
Suppose n + 0*i - 5*i - 2 = 0, 4*n - i - 8 = 0. Let p = n + 0. Suppose -2*b - p*b = -12. Which is greater: 2 or b?
b
Suppose 4*g = 4*h - 3*h + 22, -4*h = 2*g - 2. Is -2 greater than h?
False
Suppose 3*f - f + 104 = 0. Let p be f/(-6) + (-2)/(-6). Is 7 not equal to p?
True
Let v be (-70)/(-6) - (-2)/6. Let t be 6/(-4) + 54/v. Let a be (1/t)/(12/(-9)). Is a at most as big as 0?
True
Let z = 23.1 + -23. Is 2 at least z?
True
Suppose -5*i - 6 = 9. Let j = 8 + 0. Let k(z) = -2*z + 14. Let n be k(j). Are n and i non-equal?
True
Let h be 1/(-2)*5/(495/6). Which is smaller: h or -1?
-1
Let x be 3 - 4 - (-192)/193. Let h = -1151/1351 + x. Let m = 4/7 + h. Do m and -1 have the same value?
False
Let q be (-30)/(-4)*(-6)/(-9). Suppose q*j + 24 = -5*a - 1, 2*a = 5*j + 11. Let p be (a - -3)*(1 - 1). Which is smaller: p or 1?
p
Suppose n = -4*n - 210. Which is smaller: n or -39?
n
Let b be ((-22)/(-8))/((-1)/(-3)). Let d = -8 + b. Is 2 equal to d?
False
Let g = 704/11655 - 2/315. Let z = 35901104/1295 - 138616/5. Let w = g + z. Do w and 0 have the same value?
False
Let s be (-1 + 2 + -2)*1. Let v = -1 - s. Which is bigger: v or -1?
v
Suppose -74 = -5*t + 21. Suppose -2*u = -k + 13, 0 = 5*u - 2*k + 4*k + t. Is u smaller than -5?
False
Let g be (-26)/42 - (-2)/7. Which is greater: 5/6 or g?
5/6
Let l = 0 - -1. Let q(m) = -m**3 - 2*m**2 + 4*m + 3. Let i be q(-3). Let d be -2 - i - 7/(-3). Is d greater than l?
False
Let l = 5 + -1. Which is bigger: l or 2?
l
Suppose 0 = -0*w - 2*w - 5*x - 1, 2*w + 2*x + 4 = 0. Let y be 1*-2 - (-1)/3. Are w and y equal?
False
Let s be (-130)/(-14) + (-12)/42. Is s <= 9?
True
Suppose 11 = -3*j + 5. Let h be 2/(12/j)*-5. Is 2 < h?
False
Suppose 9 - 29 = -4*g. Suppose -12 = -5*a + 3. Suppose -a*m - 2 = -g. Is m >= 1?
True
Suppose 3*p + 2*p + 50 = 0. Does p = -9?
False
Let j be ((-12)/(-10))/(8/20). Suppose -j*b = -4*b. Let k be (24/22 + -1)*1. Which is smaller: b or k?
b
Let p(x) = -x**3 + 8*x**2 - x + 8. Let o be p(8). Suppose 2*v + 2*v = o. Let f = 0 + 1. Which is smaller: f or v?
v
Let d be 3 + (-3 - 0/(-5)). Is d at least as big as 1?
False
Suppose 0 = -2*p - 2*w + w - 29, 25 = -5*w. Do p and -14 have the same value?
False
Let w be ((-6)/4)/(18/(-10)). Let y(r) = -3 + 3*r + 4*r**2 - 5*r**2 + 7. Let f be y(4). Is w at most as big as f?
False
Let w(k) = 17*k + 9. Let i be w(-2). Is -28 at least i?
False
Let u(r) = -r - 5. Let f be u(-6). Suppose 0 = 5*l + g - 2*g - 13, -2*g - 6 = 0. Are f and l non-equal?
True
Let p = -18 - -19. Is p != 1/5?
True
Suppose -4*y - 34 = 2*u, y - 85 = 5*u - 4*y. Are u and -17 unequal?
False
Suppose 25 = 4*x + 3*s + 5, -2*x = -3*s + 8. Suppose -2*t - 4 = -2*n, -n - t = x*n - 14. Suppose 4*r = -2*v - 0*v - 18, -n*r + v = 3. Is r at least -2?
True
Let b = -10 - -6. Let y(l) = -l**3 - 6*l**2 - 2*l - 14. Let j be y(-6). Which is smaller: b or j?
b
Let p(t) = -t + 14. Let h be p(12). Suppose -v - 1 - 2 = -h*f, 2*v + 4*f + 46 = 0. Is v smaller than -14?
False
Let y = -19 - -12. Let p be 1/2 - y/2. Suppose h + 15 = -p*h. Which is bigger: h or -2?
-2
Let b be (-3)/(-10)*(0 - 8/12). Which is greater: b or 5?
5
Let g(p) = -p**3 - p**2 - 3*p - 3. Let l be g(-2). Which is greater: l or 8?
8
Suppose 4*u + 2*x - 13 = u, -5*x = 3*u - 10. Suppose 0 = -u*k + k. Which is greater: 0.03 or k?
0.03
Let r = -28 - -28. Which is greater: r or -42?
r
Let b = -6 + 3. Let y be 2588/48*b/217. Let j = -1/217 + y. Which is greater: -2 or j?
j
Suppose -10*m + 7*m + 78 = 0. Which is bigger: m or 25?
m
Let m = 21 - 11. Suppose 0 = -2*d - 0*d - 3*k + 6, 5*d + 5*k - m = 0. Suppose d*j + 3*j = 0. Which is greater: j or -1/2?
j
Let k = 26 - 3. Let j = -27 + k. Let o(r) = r + 4. Let f be o(-6). Are j and f unequal?
True
Let i(l) = l + 2. Let m be i(-2). Which is smaller: 2 or m?
m
Suppose 4*a = -2*c + 30, -2*c + 0*a - 3*a + 27 = 0. Does c = 9?
True
Let o be (-9)/(-6) + (-4)/6. Is o at most as big as 0?
False
Let g(d) be the first derivative of -1/2*d**2 - 4*d + 1. Let v be g(-4). Which is bigger: -2 or v?
v
Let z = -11.7 + 16.6. Let a = z + -5. Which is smaller: 0 or a?
a
Let d = 11 - 9. Is d bigger than 3?
False
Suppose -v + 3 = -0, -w + 2*v = 1. Suppose 2*j - w*j = 0. Is j >= 1?
False
Let h = 64/5 + -881/70. Is 1 > h?
True
Let j = -144275941/136 + 1060841. Let w = 93/8 + j. Which is smaller: w or 1?
w
Suppose 2*s = -2*s - 8. Which is greater: -5 or s?
s
Let v be (-30)/(-28) - (-1)/(-2). Which is greater: v or -10?
v
Suppose -3*c - 5 = 4. Let w be (c/10)/((-30)/(-25)). Let k(v) = -v**3 + 7*v**2 - v + 4. Let l be k(7). Which is bigger: l or w?
w
Let x = -91 - -1002/11. Let t = -1/5 - 3/10. Are t and x nonequal?
True
Let q = -15/16 + 3/16. Let p = -5 - -5. Is q bigger than p?
False
Let p(h) = h**2 - h + 3. Let o be p(0). Let v = 4 + -1. Is v greater than o?
False
Suppose -10*t + 78 = 3*t. Which is smaller: t or 2/3?
2/3
Let k be ((-6)/8)/3*3. Let y = -0.8 + -0.2. Which is greater: y or k?
k
Let m = -99474/11 - -9049. Let w = m + -345/77. Is w at least 