+ 11*a + 16. Let i be b(12). Let m be c/i - 5/(-2). Which is greater: 0 or m?
m
Let m be -4*(-8)/(-96) + 22/(-6). Let u = 21 - 64/3. Is u >= m?
True
Let d be ((-88)/3300)/((-1)/(-10)). Let a be (-1 + (2 - 2))*1. Which is smaller: a or d?
a
Let r be (-15)/10*(-28)/3. Let a be (-20)/r + (-5 - -7). Which is greater: a or 2?
2
Suppose -14 = -4*f + 146. Suppose 2*c - 41 = c. Which is smaller: c or f?
f
Suppose -p - 3*p = -5*z + 7, 0 = -3*p + z + 3. Let q(b) = 3*b**2 - p*b**2 + 2 + 3*b + 5*b**2 + b**3. Let u be q(-5). Is 12 bigger than u?
False
Let g = 5.1 + -38.1. Let o = g - -34. Let k = -0.2 - -0.1. Which is bigger: k or o?
o
Let s = 18 + -24. Suppose -b = 4*h - 0*h - 5, 4*b + h + 10 = 0. Let t be (-10)/4 + b - 0. Which is bigger: t or s?
t
Let j = -394 - -498. Which is smaller: j or 105?
j
Let h = 1339 + -1865. Is h != -526?
False
Let h = 0.1 - 0.1. Let w be -13 + 11 + (9 - 3). Which is bigger: h or w?
w
Let v = -216 - -266. Is 48 at least v?
False
Let o(k) = k**2 - 26*k + 4. Let n be o(20). Let b = n + 116. Which is smaller: b or 5?
b
Let b = 71.9 - 71.7. Does 618 = b?
False
Let v = -105/4 - -26. Suppose -3*s - 2 = -38. Which is smaller: v or s?
v
Let r(n) = -n + 7. Let j be -1 - 2*(-14)/4. Let b be r(j). Let q = b + -4. Is -3 >= q?
True
Let m be (-5 + 3)*3/2. Let f be (90/21)/m*14/3. Is -6 bigger than f?
True
Let r = -304 - -304. Which is smaller: r or -3/140?
-3/140
Let g = -211 - -204. Let r(j) be the second derivative of j**3/3 - j**2 - j. Let l be r(-3). Which is bigger: l or g?
g
Suppose -24*k = -20*k - 632. Is 157 <= k?
True
Let y = 0 - 1. Let w be ((-2)/100)/((-250)/420 - 8/(-84)). Which is greater: w or y?
w
Suppose 3*v = 3 + 3. Suppose 0 = -5*b + 2*n - 20 - 16, -n - 9 = v*b. Let t be 76/110 - b/(-10). Is t at least as big as 0?
True
Suppose -2*x - 3 = -x. Let a(i) = -i**3 + 4*i**2. Suppose -5*j - 3*b + 26 = 0, -5*j + b = -j - 14. Let r be a(j). Is r > x?
True
Let r be (0 + -2)/(5/(-30)). Let x be (9/r)/((-2)/(-8)). Suppose 0 = x*s + s + 8. Is s at most as big as -2?
True
Let z be ((-8)/(-4) + -16)/(-3 - -4). Let a = 41/3 + z. Which is smaller: a or 6/11?
a
Let d(i) = 6*i - 10. Let k be d(4). Let g = k + -32. Is g at least -17?
False
Let v(a) = a**3 + 6*a**2 + 8*a + 4. Let s(z) = -z**3 - 4*z**2 - 5. Let i be s(-4). Let t be v(i). Let q = -15 - t. Which is greater: -2 or q?
-2
Let x = 238 + 154. Suppose 15*y = 11*y + x. Which is greater: 99 or y?
99
Let u be (-2)/6*(-60)/10. Let v be (-66)/44 - 1/u. Let w(c) = c - 2. Let h be w(-1). Is v smaller than h?
False
Let h be ((-36)/(-72))/(14/(-92)) - -1. Which is greater: h or 6?
6
Suppose -8*o + 10*o + 526 = -5*m, -2*o + 2*m = 512. Which is smaller: -517/2 or o?
-517/2
Let t = 12 + -7. Let u = 31 - t. Let x = 26.2 - u. Is x less than -0.1?
False
Suppose 0 = 11*p + 244 - 101. Let f = 29 + -18. Let h = -1 - f. Which is greater: p or h?
h
Let h = 104 - 9. Is 96 bigger than h?
True
Let d = -1/1987 + 3995/41727. Suppose 0 = 5*c - 7 + 2. Which is smaller: d or c?
d
Let s = -1.02 - -0.69. Let m = s + 0.35. Let w(n) = n**3 - 5*n**2 - 5*n - 4. Let k be w(6). Which is smaller: m or k?
m
Suppose 0 = -5*u + 7*u - 10. Suppose -u*v = -3*v - 72. Suppose 0 = -3*n - n + v. Is n greater than 9?
False
Let q = 411 + -445. Does -34 = q?
True
Let c(s) = s - 1. Let u be c(-1). Let x = 37 - 45. Let g = x - -6. Is g at least as big as u?
True
Let p(m) = m**2. Let o be p(-7). Let i = -296 - -295. Which is smaller: o or i?
i
Let s = -5 + 1. Let z = s + 4. Suppose -3*h + 2*h = d + 2, 10 = -5*h. Is z > d?
False
Let c be (-48)/(-20) - (-6)/10. Suppose 4*p = c*p - 18. Let d = p - -8. Which is smaller: -19/2 or d?
d
Suppose -4*a + 6 = 2*p, 4 = -4*a + 3*p + 35. Suppose -6*d + a*d - 2 = 0. Do d and -2/11 have different values?
True
Let a = 208 - 213. Let u be 12/(-7)*24/9. Are a and u non-equal?
True
Let i be (((-2390)/(-1062))/5)/(1/(-183)). Let b = i - -247/3. Which is greater: b or -1?
b
Let p = 382 + -468.2. Let c = p - -86. Is c at least -0.2?
True
Let k be ((-63880)/28 - -5)/(2 - 1). Let b = -2283 - k. Which is greater: -7 or b?
b
Suppose 39*c = c - 37*c. Is c at most -542?
False
Let s be 94 + 1 - (48/6 + -10). Is s not equal to 293/3?
True
Let t = -100 - -87. Which is smaller: -23/2 or t?
t
Let u = 366 - 366.16. Which is bigger: u or -6/7?
u
Let d be ((1 + 4/(-4))/1)/2. Suppose d = 10*o - 0*o - 40. Let z be 5*1 - (-1)/(-1). Is o at most as big as z?
True
Let i = -665 + 665.309. Let o = i + -0.089. Is 0 smaller than o?
True
Let n(q) be the third derivative of q**5/20 + q**4/12 - q**3/3 + 2*q**2. Let k be n(2). Let h = 15 - k. Is h at most as big as 1/4?
False
Let d be (2/(-5))/(-7 - (-4)/(-10)). Let w(q) = q. Let n be w(8). Suppose 4*k - n*k + 13 = s, -6 = -3*s - k. Which is smaller: s or d?
d
Let w(m) = m**2 + 22*m - 198. Let z be w(-29). Which is greater: z or 58/15?
z
Let s = 0 + 0.03. Let c = 0.03 + s. Let d = -0.06 + c. Is -0.04 at least d?
False
Let x = -5 - -5.6. Let d = 7 - 11. Let a = d - -4. Do x and a have different values?
True
Let n = -519 - -589. Is n less than 72?
True
Let k = 93 - 142. Suppose -11 = -2*o - 111. Which is smaller: o or k?
o
Let z = -609 - -608.6. Let l = 0 - -1. Let x = l + -1.3. Which is smaller: x or z?
z
Let u = -6723/8 + 841. Are u and 0.7 equal?
False
Suppose -32*u + 88 = 376. Which is greater: u or -30?
u
Let s(j) = 8*j + 62. Let x be s(-11). Let p be 228/(-9) - (-4)/(-6). Is p greater than or equal to x?
True
Suppose -45 - 11 = -r. Let y be (-18)/28 - (-8)/r. Suppose 2*f = 2*w - 6 - 2, 4*f + 12 = 2*w. Which is bigger: y or f?
y
Suppose 0 = -4*w + 4, 0 = 12*s - 8*s - 3*w - 17. Is 0 greater than or equal to s?
False
Let q(a) = a**2 + 3*a + 13. Let y be q(-6). Let v = 30 - y. Does 0.16 = v?
False
Suppose 0 = -2*z - 0*z - 24. Let v be (-2)/(-6) + 16/z. Which is greater: v or 2/133?
2/133
Let q = 0.41 + -0.395. Which is bigger: 3 or q?
3
Suppose 356 = -10*l + 96. Is l <= 17?
True
Let s = -17 - -20. Suppose s*a + 6 = -48. Suppose 5*h - 2*h + 51 = 0. Does h = a?
False
Let g(d) = d**3 - 4*d**2 + 15*d - 79. Let k be g(6). Are 82 and k equal?
False
Let c(d) = 2*d - 20. Let n be c(10). Suppose n*u - 2 = 2*u. Which is greater: u or 7/9?
7/9
Suppose 53*o + 1939 = 1992. Let u = -1/177 - 115/531. Which is smaller: u or o?
u
Suppose 18 = 12*w - 10*w. Let g = w - 1. Are g and 8 equal?
True
Let p(j) = -j**3 + j**2 + 8*j - 2. Let n be p(3). Let v = 9 + -9. Suppose v*y - 5*y = -15. Are n and y equal?
False
Let p = 787/42 - 1/14. Which is smaller: 19 or p?
p
Let a = 38 + -24. Let y(o) = -4*o - 17. Let b be y(-6). Let u be (b/(-4))/((-6)/48). Is u less than or equal to a?
True
Let n = -749 - -1497/2. Let z be 2 + (2 + -3)/1. Let f = -1 + z. Which is smaller: n or f?
n
Let r be 0*(-2)/(-4) - 1. Let u be -2*58/4 - r. Let z be (-16)/u*(-14)/(-12). Which is bigger: 1 or z?
1
Suppose 203 = -5*z + 4*x + 729, -3*z + 3*x + 318 = 0. Let v = -107 + z. Let i(y) = 3*y**3 - y**2 + y + 1. Let j be i(-1). Is j at least v?
True
Let v = 1/28 + 13/28. Suppose -6*a = -2*q - 2*a, 3*q + 3*a = 9. Suppose -2*c = -2*h + 6*h + 6, q*c = 2*h + 6. Is v at least c?
False
Let k be ((-69)/30)/((-6 + 2)/2). Let d = k + -5/4. Which is smaller: d or 0?
d
Let b(n) = -6*n - 34. Let y be b(-7). Is -2 equal to y?
False
Let v = -903/3287 - -2/173. Is v bigger than 0.1?
False
Let z be 882/14*(-3)/(-9). Which is smaller: 6 or z?
6
Suppose 0 = -9*l + 7*l - 14. Is -5 greater than l?
True
Let o = -8/29 - 34/87. Suppose -t + 20 = -5*i, 5*t = -4*i + i + 16. Let v be (-2 - 5/i)*1. Is v greater than or equal to o?
True
Let u = 14 - 30. Let z = 15.65 + u. Let f = z + 0.27. Which is smaller: f or 1?
f
Let s(o) = o. Let r be s(-2). Let m = 2 + r. Let b = 2/335 + -373/6365. Are m and b unequal?
True
Let b = -614419 - -17211937/28. Let u = b - 293. Suppose -4*i + 76 = 2*o + 54, -i + 5 = 0. Which is smaller: u or o?
u
Let s = 15 + -15.1. Let o = s - -8.9. Let i = o + -9. Is i <= -1?
False
Let c = 2.4 + 28.6. Let o = c + -29. Is 1/9 >= o?
False
Let t be ((-2)/12)/(1/(170/(-15))). Is t >= 1?
True
Suppose 0 = r - 3 + 38. Let s = 43 + r. Which is smaller: s or -0.1?
-0.1
Let s = 80 + -238/3. Let b = -40 - -41. Let d be ((-2)/2)/(-3 - (b + -3)). Is s >= d?
False
Let d = 3/26 + -107/1378. Let c be (-11)/2*(5 - 19). Let r = -76 + c. Which is bigger: d or r?
