 5*i**3 + 2*i**2 - 3*i + 59. Let k(f) = -f**3 - f**2 + f + 1. Let b(g) = 3*k(g) + z(g). Let p be b(0). Is 62 less than p?
False
Let y be 5 + 1 + (-3 - 1) + -3. Which is greater: 2/1829 or y?
2/1829
Suppose -4*g - 380 = -5*n, 3*n - 12*g = -8*g + 236. Are 72 and n nonequal?
False
Let f = 78 - 69. Suppose f*r - 5*r - 80 = 0. Is r not equal to 96/5?
True
Let k = -12.4 - 22.4. Let r = k - -35. Let x = -104/285 + -2/57. Which is greater: x or r?
r
Suppose 0 = -3*d - 3, 4*r = 3*r - 3*d + 31. Let g = r + -33. Which is smaller: g or 1/6?
1/6
Let y = 48947 - 537066/11. Suppose 120 = b - 3. Let h = y - b. Is -1 less than or equal to h?
True
Let w(t) = t**3 - 2*t**2 + 2*t - 4. Let h(y) = -y. Let l be h(-2). Let i be w(l). Which is smaller: -1/2 or i?
-1/2
Let i(h) = -14*h**2 - 31*h - 3. Let r be i(-2). Which is smaller: r or 14/9?
14/9
Let x be (-3 + 1)/((-1872)/188 - -10). Which is greater: x or -44?
-44
Let q = -1820 + 2024. Do 205 and q have the same value?
False
Let a = -0.09 + -0.49. Let t = 0.42 - a. Is t greater than or equal to 3/2?
False
Let o = 0.4 - 0.1. Let f = -1 + 15/17. Let k = f + 25/68. Which is greater: o or k?
o
Let r be 2/6*2*3. Suppose -9*j + 8*j - 2 = 0. Let m be (-2 + -1 - j) + 2. Is r at least as big as m?
True
Suppose -33*q - 13597 - 4355 = 0. Is q < -544?
False
Let w(d) = -4*d**2 + 28*d + 10. Let t be w(9). Does t = -64?
False
Let a be 2/(-3) + 168/36. Suppose -a*q + 12 = 5*r, -2*q + 6 = -8*r + 4*r. Is r equal to 1/24?
False
Let n = -526 - -890. Is 364 > n?
False
Let m = -13.7 - -5.1. Let u = m + 8.6. Is u equal to -38?
False
Suppose z - 2*z = 0. Let f be (-84)/(-22) + -4 - z. Is 0.2 < f?
False
Suppose 2*h + 296 = -2*h. Let n = h - -893/12. Suppose 7*v + 4*v = -6*v. Is n <= v?
False
Suppose 0*w + 1 = -5*u - 2*w, 2*u = -w - 1. Which is smaller: 4/355 or u?
4/355
Suppose -2*b = 5*s + 7, 3*b - 17 = 6*b + s. Let p be (-101)/(-9) + b/27. Suppose -4*j + 1 = r - j, j - p = r. Which is greater: -6 or r?
-6
Suppose -3*p + 90 = 3*o, -4*p - 142 = -5*o - p. Suppose 5*x = 4*x + o. Is x greater than or equal to 30?
False
Let a = -67 - 15. Let h be a/7 - (-16)/(-56). Is -12 >= h?
True
Suppose 0 = 2*n - 3*s - 14, 2*s = -2*n - 4 + 8. Suppose 2*m + 10 = 2*t + 2*t, -n*m - 20 = 5*t. Let p be (-2)/(-4)*(t + 2). Which is bigger: 2/3 or p?
p
Let f = -170 + 374. Is 2/7 bigger than f?
False
Let g(a) = 4*a**3 + a**2 + a - 1. Let b be g(1). Suppose b*n = -5*h - 73 - 22, -4*h - 34 = 2*n. Is n <= -20?
True
Suppose 2*i = -2*s + 4, 26 = 4*s - 6*i + i. Let g(r) = 4*r + 15. Let x be g(-9). Let a be x/35 - (-2 - 8/5). Which is smaller: s or a?
a
Let y = 0.181 - 0.181. Is -2/65 >= y?
False
Let m be (-60)/(-365)*(1 + (-3)/2). Let o = -4070/219 + m. Which is smaller: -18 or o?
o
Suppose 3*y + 13 = -k - 0*y, 0 = 5*k + 2*y + 65. Let u = k - 5. Which is smaller: u or -16?
u
Let y = -199 - -207. Which is bigger: y or 12?
12
Let t(a) = -2*a**2 - 3. Let s be (-12)/(-30) - 22/5. Let o be t(s). Let b be (2/(-10))/(7/o). Is -6/5 greater than or equal to b?
False
Suppose -2*i = -5*c - i + 179, -4*c - 2*i + 132 = 0. Let w be (-21)/c - (-136)/10. Let p = w - 13. Is p equal to -1/4?
False
Let x = -462 - -324. Let m = -1798/13 - x. Which is smaller: -1 or m?
-1
Let v be 8 - (-2)/6*(-165)/(-16). Is 12 greater than or equal to v?
True
Let u be (-162)/5 + 12/(-20)*1. Let x be (1/(-2)*1)/(u/(-2574)). Is x smaller than -39?
False
Let f = 2706 - 2705.93. Is f < 134?
True
Let b(p) = -63*p**2 + 6*p + 7. Let y be b(-3). Let s be (6/(-42))/((-2)/y). Let z = s + 41. Are 6 and z nonequal?
True
Let l = -204 - -234. Does l = 153/5?
False
Let v(y) = 19*y + 8. Suppose 0 = l + 2*l + 6. Let f be v(l). Do f and -29 have different values?
True
Let b(s) = -s**3 - 10*s**2 + 2*s + 6. Let o = -13 + 7. Let c(u) = 3*u**3 + 29*u**2 - 7*u - 18. Let k(a) = o*c(a) - 17*b(a). Let v be k(-5). Is v != -8?
True
Suppose -6*g = -0*g - 30. Suppose g = -5*a - 15. Which is bigger: a or 1?
1
Let j be (-2)/(-6) - 1345458/(-45). Let g = 30046 - j. Let i = 148 - g. Is 1 >= i?
False
Let q = 223 + -174. Which is smaller: q or 38?
38
Suppose -6 = -4*l + z - 10, 0 = 4*z. Let f = 4 + -5. Let b = f + 0. Is b at most as big as l?
True
Let y = -10.83 - -11. Let l = 0.27 - y. Which is bigger: l or -26?
l
Let o = 182 + -182.1. Is 12.8 != o?
True
Let s be -19 - -19 - (-2994)/2296. Let a = 3/164 - s. Do -2 and a have the same value?
False
Suppose 0 = 5*v + 303 - 1678. Let y be 2/(-11) + (-720)/v. Let i = y + 13/5. Is 0 > i?
True
Let w be (-507)/505 + 14/14. Is w bigger than 1/4?
False
Let c = -389943/165733 + -1/9749. Which is bigger: c or -1?
-1
Let i be -1*(-8)/5*(-2170)/(-28). Is i <= 122?
False
Let b be 2*(-1 + (-26)/(-4)). Suppose v - 2*g - 1 = 0, 2*v + 4*g - 9 = g. Suppose -v*o = -0*o + z - 38, 2*o - 16 = 4*z. Is o at least as big as b?
True
Let w = -651/5 - -131. Let x(a) = 13*a - a**2 - 15 + 0*a**2 + 5. Let r be x(12). Which is greater: w or r?
r
Let z(l) = -11*l**3 - l**2 - l + 4. Let h be z(3). Which is greater: h or -914/3?
-914/3
Let k = 4.47 - 57.67. Are -0.1 and k equal?
False
Suppose 0*z = -2*z. Suppose 3*p - 4 = -2*w, -2*w - 2*p = -0*w - 8. Suppose 0*c + c - w = z. Is 10 less than or equal to c?
False
Suppose 0 = -10*f - 66 - 124. Is -13 greater than f?
True
Suppose -14 = -9*z + 2*z. Suppose 0 = 2*x - z. Which is smaller: x or 2/15?
2/15
Suppose 0 = -4*s - 3*i + 16, -4*s - 78 + 94 = i. Let h = 1 + -5. Which is greater: s or h?
s
Suppose -3*p - 2*o = 34, -24*p - 42 = -20*p + o. Which is greater: p or -7?
-7
Let d = 5 - 8. Let k(l) be the second derivative of l**4/12 + 2*l**3/3 + l**2 - 23*l. Let n be k(d). Is n greater than or equal to 2/91?
False
Let j(x) = -x**3 + 2*x**2 - x. Let b be j(1). Suppose -4*p + u + 8 = 4*u, -10 = -5*p + u. Let a be (0 - 39/24) + p. Is a at most b?
False
Suppose 0*y + 68 = -y. Let n = y + 62. Is -2/3 greater than or equal to n?
True
Let s = -2569 + 3100. Is s at least as big as 532?
False
Let l = -192 + 56. Is -135 >= l?
True
Let b = -22 - -22.08. Let t = 0.14 + b. Let g = -0.62 + t. Which is smaller: g or -3?
-3
Let m(q) = -3*q**2 + 7*q - 5. Let j be m(4). Let l = -5913 + 5913.2. Is l greater than or equal to j?
True
Suppose -4*q = -3 + 7. Let c be (-4)/40*6 - q. Which is smaller: c or 1?
c
Suppose -51*j = -54*j + 27. Let a be 39*(-1)/(j/(-3)). Is a at least 12?
True
Let s be (-2)/6*(-2 + -1). Is 25 <= s?
False
Let h(t) = t**2 - 8*t. Let u be h(7). Let m be (0 - 7/(-14))*-18. Is u at least as big as m?
True
Let a(t) = -4*t**3 - 6*t**2 + 3*t + 4. Let o be a(-3). Let x = -45 + o. Which is smaller: -2 or x?
-2
Let u = -15 - -17. Let t be 32*u*(-1)/(-4). Let n = 17 - t. Is 2/5 at least as big as n?
False
Suppose 0*j = 2*z + 2*j - 14, 0 = -z + 5*j - 11. Let x = 37.9 - 35. Let s = -2.8 + x. Do z and s have the same value?
False
Let y = 410 + -555. Which is smaller: y or -146?
-146
Let k(f) = f + 55. Let a be k(-26). Let j(g) = -g + 19. Let n be j(-11). Is a > n?
False
Let s = 961 + -1008. Which is bigger: s or -45?
-45
Suppose 0 = 2*v - 0*v - 6. Let h(y) = -72*y**2 - 2 - y**3 + 68*y**2 + 2*y**v + y. Let i be h(4). Which is greater: i or 3/4?
i
Suppose 5*z = q + 22, -z + 4*z = -5*q + 2. Suppose s + 12 = z*s. Suppose 0 = -s*r + 3*r. Do r and 1/17 have different values?
True
Let h(a) = 17*a. Let n be h(1). Let w = 300 + -284. Is n smaller than w?
False
Let c be (8/24)/(1/12). Let a = 19 - c. Let j be (-27)/(-30)*40/a. Which is bigger: 2 or j?
j
Let u(y) = -y**3 + 14*y**2 - 12*y - 9. Let d be u(13). Suppose 16 = d*k, 2*k - 26 - 78 = -4*r. Which is bigger: 23 or r?
r
Suppose 2*z = 7*z. Suppose z*n = 4*n. Let b be n/(-3) + 2/(-4). Which is smaller: -2 or b?
-2
Let c be 315/113 + 3 - (-66)/(-11). Which is smaller: 1 or c?
c
Suppose 7*l - 4*l = 3*f + 309, 5*l - 485 = -5*f. Let d = 109 - l. Is 9 <= d?
True
Suppose -5*n - 4*z - 10 = 0, -4*z + 3 = 23. Let a = n + -7/4. Are 9 and a equal?
False
Let l be 2 + (-22)/6 - -2. Let g be -2 - 2 - 48/(-6). Suppose 6*y - 2*y - 3*o = -20, -4*y - 3*o = -g. Which is smaller: y or l?
y
Let m(n) = 3*n**3 + 2*n**2 - 2*n - 2. Let u be m(-2). Let k be (-3 - -2)*(u + -1). Suppose 2*f = -3*f - k, 53 = 5*j - f. Which is bigger: 11 or j?
11
Let z = -175 + 75. Let l be 0 + z/(-14) + -4. Which is smaller: 2 or l?
2
Suppose -5*v + 5 = -p + 10, 5*p + 2 = -2*v. Is 1/4 at least a