**2 + 16*c + 10. Let w be a(5). Is -213 at least as big as w?
False
Suppose 5*z + 17 + 103 = 0. Let u be (5/15)/(z/45). Which is smaller: 0 or u?
u
Suppose -2*k = -2*t - 7*k + 53, 0 = -4*t + 3*k + 41. Suppose 2*n - s - 83 = 0, 3*n + 2*n - 2*s = 209. Suppose 13 = 4*f - n. Is t less than or equal to f?
True
Suppose -5*c + 5*n + 15 = 0, -22 = -5*c + c - n. Suppose -5*l = -0*l + c. Let m be (3/9)/((-2)/6)*(-37)/(-111). Is l greater than m?
False
Let j be -21 + -3*(-25)/15. Let z be (2/j*2)/((-4)/16). Is -2/299 at least as big as z?
False
Let z = 952 + -999.9. Let a = z - -50. Let g = a - 13.1. Which is smaller: g or -2?
g
Suppose -2 - 13 = -2*u + 3*p, -3*u + 23 = -5*p. Let h = 10 - u. Suppose c = -h*c. Which is smaller: c or 2/3?
c
Let o(w) = w**2 - 14*w - 17. Let v be o(15). Let f be (0/v + 0)/2. Which is greater: -1/29 or f?
f
Suppose -8*s = -9*s + 3. Suppose 2*a + 29 = t - s*a, -t + a + 17 = 0. Are t and 13 equal?
False
Let v = 346 + -345.9. Which is greater: v or 84?
84
Let n(g) = 223*g**3 + 2*g**2 + 3*g + 2. Let i be n(-1). Which is smaller: i or -1?
i
Let y be (-2)/(1/9*-2). Let q(h) = -4*h**2 - 48*h - 1. Let s be q(-12). Does y = s?
False
Suppose 90 = -5*n - 5*g, -13 = 4*n - 4*g + 51. Let o = 33 - 33.1. Is n equal to o?
False
Let n = -863 + 2636/3. Let j = 241/15 - n. Let q = 7 + -6.98. Is q >= j?
False
Let w be (-30)/(-150) - (-1)/(-5). Let z(c) = c**3 - 8*c**2 - 10*c + 18. Let n be z(9). Which is bigger: w or n?
n
Let o be 4/30 - 10/75. Let q = -3 + 0. Let w = o + q. Is -1/4 < w?
False
Let c be 6*((-9)/(-4))/9. Let u = 98 - 97. Is c <= u?
False
Suppose 3*w - 662 = -2*n + 183, -4*n = w - 1695. Let z = 2974/7 - n. Suppose 2*c + 8 = -2*b + 6*c, -5*c = -b - 10. Which is smaller: z or b?
b
Let d = -115703 - -58319. Let h be (d/(-10))/(846/60). Let l = 407 - h. Which is bigger: 0 or l?
l
Suppose -4*i - d + 7 = 0, 4*i - 1 = -2*d + 1. Suppose 0 = -3*y + 2*g - 0 + i, -5*g = 4*y - 27. Is 1 greater than y?
False
Let x be (-3 + (10 - 2))*(0 - -1). Which is smaller: x or 35/6?
x
Let m(t) = 42*t**3 + 6*t**2 + 7*t. Let j be m(-2). Is j at most -326?
True
Let h be (-12)/(-8)*(-1)/(-6). Is h less than 0.35?
True
Let x = 4543 - 27319/6. Is -10 smaller than x?
False
Let j be ((-6)/196*10/30)/(-2). Which is greater: j or 1?
1
Let s(g) = g**3 + 10*g**2 - 23*g + 10. Let k be s(-12). Let q(j) = 56*j - 4. Let o be q(k). Which is smaller: o or -115?
o
Suppose -3*u + 4 = -p, 3*u + 2*p = -0 - 8. Suppose 4 = a - 2*a. Let h be 6/a*8/22. Is u >= h?
True
Let h be 184/(-168) + (-3)/(-7). Let f be 47/(-6)*2/6. Let l = 10/9 + f. Is l bigger than h?
False
Let n(t) = -t**3 - 13*t**2 + 14*t + 4. Let x be n(-14). Suppose 0 = 3*y - x*s + 12, -4*y - 2*s = -9*y - 6. Which is greater: y or 3/56?
3/56
Let b be ((-56)/21)/(1/57). Is -152 at least b?
True
Suppose 0 = 2*i - 7 - 25. Let m(o) = -o + 17. Let c be m(i). Is -1 less than c?
True
Let m be (-120)/(-10)*(-21)/(-2). Which is smaller: 2/7 or m?
2/7
Let d = -22.3 - -74.3. Are 9 and d nonequal?
True
Let j be ((-36)/(-15))/(28/35). Let h = 4 + -2. Is j bigger than h?
True
Suppose t - 3 = 2*j - 219, 4*j - t - 434 = 0. Which is smaller: j or 108?
108
Suppose 0 = -5*l - 3*r + 1095 + 369, -5*l - 4*r = -1467. Is 291 smaller than l?
False
Let w(b) be the first derivative of -77*b**2/2 - 5*b - 22. Let u be w(-1). Is 73 smaller than u?
False
Let o = -10 + 5. Let p be o/8*(-22)/(-55). Let z = -1 - -13/9. Is z at most as big as p?
False
Let l = 35 + -34.06. Let q = -1 + l. Is q bigger than 0?
False
Let f(q) = q**2 - q - 3. Let r be f(3). Let m be 1/((5 - r)/(-6)). Let w = m + 1. Which is smaller: w or -9/7?
w
Let q be (-153)/1224 - (62/16 - 2). Is q bigger than 4.35?
False
Let m = -432 + 1219. Is 787 > m?
False
Let y(o) = o**2 + 11*o + 13. Let g be y(-9). Let r = -9 - g. Suppose -15 = 3*a - 0*a. Which is bigger: a or r?
r
Let v(o) = -5*o + 11 - 4*o**2 + 2*o**3 + o**3 + 12*o - 4*o**3. Let d be v(-5). Which is smaller: 15/8 or d?
d
Let u(d) = 2*d + 17. Let h be u(-6). Let v = 1 - -7. Let i be (v/10)/(2/10). Are i and h non-equal?
True
Let x be (5/((-10)/4))/(-2). Let t(c) = -6*c**3 + c**2 - 2*c + 1. Let m be t(x). Let p = 1.896 - 3.896. Which is smaller: m or p?
m
Let h = -0.073 + 40.073. Let k = h + -39. Let a = -2 - 0. Is a <= k?
True
Let h be -9 + ((-50)/40 - (-1)/4). Let n = -5 + 5. Is h less than or equal to n?
True
Let r(z) = -z**3 + 3*z**2 - 2*z + 2. Let m be r(2). Is m at least 27/10?
False
Suppose -8*r - 5*y - 86 = -12*r, -2*y + 15 = r. Which is greater: r or 7?
r
Let k(s) = s**2 - 2*s - 9. Let w be k(0). Which is bigger: -32 or w?
w
Let a = -1050 - -1051. Are -80 and a unequal?
True
Let z(k) = k**2 - 6*k + 6. Let u be -5 + 7 + (2 - -1). Let m be z(u). Which is bigger: m or -1/26?
m
Let u(j) = 10*j + 18. Let k(z) = 7*z + 12. Let o(f) = f**3 - 12*f**2 + 12*f - 4. Let d be o(11). Let i(y) = d*k(y) - 5*u(y). Let p be i(-6). Is -2 >= p?
False
Let m be (-34)/(-21) + -47 + 43. Are m and 0.2 nonequal?
True
Let j(m) = -m**3 + 5*m**2 - 7*m - 9. Let n be j(7). Is n at most as big as -157?
False
Suppose 5*k + 2*c + c + 179 = 0, -3*k - 4*c - 103 = 0. Are -37 and k equal?
True
Suppose q = 3*d - 340, 2*d - 165 - 43 = -4*q. Suppose 2*o + 0*o - d = 0. Is o <= 57?
True
Let m be -1 + (-5)/((-15)/24). Let f be 3 + (3 - (-4 + m)). Suppose -2*p - 9 = -f*x + 9, -x - 28 = 5*p. Are -6 and p equal?
True
Let b be ((-6)/(-8) + -1)/((-7)/28). Which is smaller: -2/91 or b?
-2/91
Let c(w) = w**3 + 6*w**2 + 3*w - 6. Let q be c(-5). Suppose 0 = u - 3, -5*n + q*u + 24 = 76. Let f(p) = p + 8. Let g be f(n). Are g and -1/20 equal?
False
Let p = -1.9 + -7.1. Let m = p - -9.1. Let z be (0/(-4))/((-1)/(-1)). Is m != z?
True
Let j = -1/181 + 377/2715. Is j at most as big as 1?
True
Suppose 2*k + 3*h = -7, 4*k + h - 9 = 2. Let x be 1/(k/(-28) + 0). Are -5 and x nonequal?
True
Suppose -i - u - 14 = -63, 4*u = 5*i - 272. Let z = i - 53. Are z and -1/34 unequal?
True
Let j = 2264 - 1232. Is 1033 equal to j?
False
Suppose 0*r + 3*r + 6 = 0. Let s(u) = 4*u**2 - 8*u + 9. Let q(y) = -3*y**2 + 9*y - 10. Let k(b) = 3*q(b) + 2*s(b). Let t be k(10). Is r less than t?
False
Let b be (-4 - (-165)/83 - 2) + 4. Let q = b + 1583/498. Is 4 greater than q?
True
Suppose -4*k - 17 = 3*y - 2, 0 = -2*k. Is 0 at most as big as y?
False
Let l = -587 + 581. Is -1/40 smaller than l?
False
Suppose s + 4*s = -60. Suppose -2*d - 100 = -4*d. Let p be ((-4)/d)/((-1)/5). Which is bigger: s or p?
p
Let y be (-1)/(1/3) + 2. Let h be ((-5)/y)/((-7)/14). Let m be (-6)/h*10/(-15). Is m not equal to 7?
True
Let a = 1000 - 936. Which is smaller: a or 0?
0
Let c(t) = t**2 - 18*t + 32. Suppose -2*a - 15 = a, -17 = -2*p - 3*a. Let l be c(p). Is -10/13 greater than or equal to l?
False
Let g be 285/(15/3)*(-2)/3. Which is smaller: g or -37?
g
Let q = 187 + -103. Suppose -m = 2*m + q. Is -1 bigger than m?
True
Suppose 12 = 2*l - 0*l. Let p(n) = 5*n**2 - n - 3. Let d(k) = k**2 + k. Let w(g) = 4*d(g) - p(g). Let y be w(l). Is -2 bigger than y?
True
Let b(f) = f**3 + f**2 - 2*f + 2. Let h be b(0). Suppose 4*u - 5*o + 17 = 0, 0 = -h*u + 6*u - 4*o + 16. Is -2 equal to u?
False
Let q = -0.876 - -44.876. Is q less than or equal to -9?
False
Let q = 4238.4 - 4238. Let f = 0.39 - -0.01. Let y = f - -2.6. Which is smaller: q or y?
q
Let x(c) = c**2 - 12*c + 30. Let m be x(9). Suppose 10*f - 273 = m*f. Which is bigger: f or 38?
f
Let v be (0 + 2 + -1)/(-3). Let m = -277 - -302.8. Let n = m - 28. Which is greater: n or v?
v
Let t = -461/8680 + -1/248. Which is smaller: 0 or t?
t
Let b(a) = a**2 + 8*a + 5. Let q be b(-7). Let m be (-10)/(-9) - 72/18. Let s = 94/45 + m. Which is smaller: s or q?
q
Let c = 1793 - 152407/85. Let d(n) = n + 5. Let b be d(-5). Let w = b - 0. Are c and w nonequal?
True
Let j(g) = -4*g**3 + 14*g**2 - 6*g - 31. Let u be j(10). Which is bigger: u or -2690?
-2690
Let l be 8/30 - 0/(-4). Suppose 2*t = -3*t - 30. Let n(b) = b**3 + 5*b**2 - 4*b + 11. Let x be n(t). Is x at least as big as l?
False
Let q be (-1)/2*8/(-34). Let s(o) = o + 12. Let m be s(-10). Suppose -n - 3 - 5 = m*l, -4*n - l = 4. Which is smaller: q or n?
n
Let g be 1/(-5) - (-19)/95. Suppose 2*i - 3 = m + 7*i, -4*m - 3*i - 12 = g. Let v(t) = -t**3 - 2*t**2 + t - 3. Let o be v(m). Is 5 less than or equal to o?
False
Suppose g = -5*y - 6