= z**3 + 11*z**2 + z + 10. Let n be x(-11). Let w be r(n). Let f be (-2)/4 - (-10)/(-28). Which is smaller: f or w?
w
Suppose 44 = -41*w + 42*w. Let x be w/85 + 16/(-40). Suppose -5 + 1 = -4*p. Is x greater than p?
False
Let m be 36/8*4/(-6). Let b be (6/(-18))/(m/261). Let w = b + -57/2. Which is bigger: w or 1?
1
Let j = -15 - -7. Let z = -39 - -36. Let h = z + j. Is h smaller than 1/3?
True
Let i(u) = u - 21. Let c be i(9). Let v = c + 32. Let k be 8/v + (-31)/40. Is k bigger than -1?
True
Let y = -47 + 37. Let i be -1*8*y/8. Is i >= 0?
True
Suppose 9*k - 21 = 2*k. Suppose k*p = -19 - 29. Is -13 less than or equal to p?
False
Let o be (2/6)/((-44)/(-33)). Suppose 5*t + 13 = -2*q, 2*t = 4*q - 2*t - 16. Which is smaller: o or q?
o
Let w = -159353/74082820 + 2/52171. Do w and 1 have the same value?
False
Let s = 21006 - 210309/10. Which is bigger: -24 or s?
-24
Let o(w) = w - 3. Let v be o(11). Suppose -j = p - v, 3*j = j + 3*p + 1. Let q = j + -2. Is q less than or equal to 3?
True
Let i(g) = -g**2 + 3*g. Let m be i(2). Let p be 0/(0 - (2 + -1)). Suppose 2*n = 1 + 1, p = f - 3*n - 1. Is f at most m?
False
Let w be 24/44*(-212)/(-24). Which is bigger: w or 5?
5
Let y = 25781 - 1211647/47. Which is smaller: 1 or y?
1
Let d = 2.14 + -1.51. Let n = -9.77 - d. Let g = n + 13. Which is smaller: g or 1?
1
Let l = 9.13 - -0.87. Is -1 <= l?
True
Let y = 976 + -4831/5. Do 11 and y have the same value?
False
Let z(b) = b**2 - 33*b - 72. Let n be z(-2). Is n equal to -9/17?
False
Let p be (-4)/6 + (-1)/3. Let d = -332 + 1993/6. Are p and d unequal?
True
Suppose 0 = o - 2, 0 = x + 3*o + 19 - 6. Is x bigger than -19?
False
Suppose 0 = 2*k - 5*w - 37, -3*k - 4*w + 28 = -39. Let o(q) = -q**2 - 5*q + 18. Let t be o(-4). Which is smaller: t or k?
k
Let v be 55/(-231) - (-2)/(-6). Which is bigger: -1 or v?
v
Let u be (-3)/40*(-14 + 24666/1764). Is 0 > u?
False
Suppose -2*x - 3*x = -10. Let c = 49 + -37. Suppose 5*h + c = -d, h = -x*h + d - 12. Is h greater than -4?
True
Let s(i) = i**2 - 3*i + 9. Let y be s(2). Let r(o) = o**3 - 7*o**2 - 3*o + 21. Let c be r(y). Which is greater: c or 1/14?
1/14
Let d = -137 - -244. Let g = -106 + d. Which is greater: g or -15?
g
Let b = 10 - 10. Suppose -2*v + 3*v - 6 = b. Let y be v/(-14)*10/15. Which is smaller: -1/2 or y?
-1/2
Let n be 111488/(-169) + (-24)/78. Is -661 at least n?
False
Let z = 719 + -717. Are z and 154 equal?
False
Suppose 0 = 4*y - 5*j - 10, 4*y + 18 = 6*y + 4*j. Suppose 0 = -5*m + x - 0 + 1, -4*m - 5 = y*x. Let k = m - -3. Is k bigger than 4?
False
Suppose 3 = 5*p - 7. Suppose 0*z - p = z. Is -3 > z?
False
Let s = -298 + 299. Which is smaller: 22 or s?
s
Let o be 39/26*(1 + (-146)/(-6)). Let g = o + -40. Which is bigger: g or -4?
g
Let j be 1*1*(0 - 17). Suppose 0*o - 8*o = -40. Suppose o*v + 5*f + 65 = 0, 0 = -3*v + f - 24 - 31. Do j and v have the same value?
True
Let b be 2 + -2 - 36/64. Let q = 247/496 + b. Is q < -1?
False
Suppose 0 = m + 2*m - 27. Let f(q) = -q + 10. Let j be f(m). Do j and 1/88 have different values?
True
Let b(u) be the third derivative of -u**6/120 - 2*u**5/15 - u**4/24 + u**3/3 + 7*u**2. Let g be b(-8). Let w = g - 11. Is w at most as big as -2/13?
True
Let a be (-156)/(-91) - 2/(-7). Suppose 0 = -2*o + 2*j - 6, 5*j = 4*o - 0*j + 12. Let w be o/a*(-16)/(-4). Is -7 less than w?
True
Let g(t) = -40*t**3 - 2*t**2 + 4*t - 2. Let v be g(1). Is -40 smaller than v?
False
Let i = 346 - -16. Let y = i - 14838/41. Let s = y - -54/287. Is 1 smaller than s?
False
Suppose 4*d - 1420 = -24. Which is smaller: 347 or d?
347
Let k(u) = -u - 6. Let q be k(-5). Let d = -27647/786 - -211/6. Which is smaller: d or q?
q
Let u = 6 - 6. Let n = u + -0.4. Let m = -13.9 + 14. Is m greater than n?
True
Suppose 8*p - 154 = -146. Does p = 4/27?
False
Suppose -14*w + 23*w + 738 = 0. Let v = w + 161. Is v at least as big as 78?
True
Suppose -3*f - 5*x + 21 + 84 = 0, 48 = 2*f - 4*x. Let s be 0 - -2*42/(-3). Let l = f + s. Which is bigger: l or 14/9?
l
Let l be 2*(1284/(-256) + 5). Are 0 and l non-equal?
True
Suppose 3*o - 4*x + 9*x - x = 0, 4*x = 0. Which is smaller: o or 2/1399?
o
Suppose -5*b + 70 = k, 5*k = 3*b + 2*k - 60. Let p(w) = -w**2 + 13*w + 30. Let j be p(b). Which is smaller: 10/9 or j?
j
Let f = 1.273 - 1.273. Does -0.45 = f?
False
Let k be ((-12)/(-96)*4)/((-1)/(-2)). Are k and 2 equal?
False
Let r = -867/128 - -3/128. Let f = -193/28 - r. Suppose -5*y - 17 = 4*d, d - 6*d = 15. Which is greater: y or f?
f
Suppose -2*n + 6*n = 2*c - 24, 0 = -4*c + 2*n + 36. Let i be (-82)/(-10) - 3/15. Are c and i equal?
True
Suppose 5774 + 1126 = -30*g. Which is smaller: g or -232?
-232
Let x(p) = p**2 + 15*p + 26. Let o be x(-8). Is -30 bigger than o?
False
Let j(o) = 35*o - 189. Let l be j(0). Which is bigger: -1/8 or l?
-1/8
Let r = 161 - 481/3. Which is smaller: r or 2/151?
2/151
Let s be ((-6)/(-15))/(8/(-70)). Let c(i) = i**2 + 5*i - 3. Let m be 9/(9/2) - 7. Let k be c(m). Is s >= k?
False
Let s = 94.52 + -95. Let m = -50.52 + s. Which is smaller: m or -1?
m
Suppose 184 = -3*k + 5*q, 0 = -5*k - 6*q + 4*q - 317. Let l = k - -88. Suppose 4*d + l = -d. Is 1/2 bigger than d?
True
Let c = 1 + 1/3. Let f(p) = p**3 - 4*p**2 + 3*p + 2. Let m(n) = n**2 - n. Let a(j) = f(j) + 2*m(j). Let r be a(0). Is r > c?
True
Let o = -59 + 172. Is o > -2/5?
True
Let g be ((-12)/6)/(1 + -4). Let m = 30 + -18. Suppose -m*f + 3*f + 18 = 0. Is g <= f?
True
Let p = -1.5 - -0.7. Let y = 1190 + -1196. Does y = p?
False
Let x = -1 + -1. Let q = x + 0. Suppose -k = -5*k + i - 11, -2*k = -i + 5. Which is greater: k or q?
q
Suppose 0 = 2*i + 4*z, -3 = -3*i - 3*z - 0. Suppose 2*f + x + 12 = 4, -3*f = -i*x + 5. Which is smaller: -5 or f?
-5
Let q = -10.1 - -12.92. Let f = q + 0.18. Does f = -1?
False
Let f be (30/(-9))/((-9)/((-1242)/4)). Which is bigger: f or -117?
f
Suppose 5*q + 4*i = 15, 3*i - 5*i = 0. Suppose -n = q*n + 4. Which is smaller: n or 2/49?
n
Let h be (0 + 3)*(-5 + 28320/5652). Which is smaller: h or -1?
-1
Let m = -340 + 2384/7. Let y = 182 - 181.9. Which is bigger: y or m?
m
Suppose 4*b + 1008 = -2*u, b - 2*u + 26 = -231. Is -254 smaller than b?
True
Let x(p) = p**3 + 7*p**2 + 2*p + 2. Let j be x(-7). Let q(f) = f**3 - 10*f**2 - 10*f + 9. Let n be q(10). Let t = -104 - n. Which is bigger: t or j?
j
Let w = -19/41 + -3/82. Let k = 2.5 - -7.5. Let d = k - 5. Which is greater: d or w?
d
Let s be (-3 - 826/(-273))*6. Are 22 and s unequal?
True
Suppose x + x - 8 = 3*t, -3*t - 12 = 0. Let m be (x + -1)*(-88)/(-66). Which is smaller: -3 or m?
m
Let q(b) = 28*b**2 - 1. Let u be q(-1). Suppose -u - 7 = 2*t. Is -18 less than or equal to t?
True
Let l be 0 - (-4)/(-1) - 13. Is l at most as big as -20?
False
Let p(l) = l**3 + 10*l**2 - 2*l - 21. Let w be p(-10). Suppose 0 = -h + 5 - 0. Suppose 4*y + 5 = 3*a - 0*a, -h*a = -5*y - 5. Do w and a have different values?
False
Let v be ((-2)/12)/((-2)/8). Let r = -45 - -48. Suppose 5*p = -r*h + h + 18, -18 = 2*h - 4*p. Which is greater: v or h?
v
Let t(q) = -q**3 + 7*q**2 + 10*q - 8. Let z be t(9). Let n be z/(-15)*1/(-4). Suppose j + 3*o = -17, 0 = o - 3 + 8. Is n at most as big as j?
False
Let j = -28.8 - -35. Let k = j - 6.1. Is 114 at least as big as k?
True
Let n = 72 - 21. Let d = n - 49. Is 4 < d?
False
Let g = 15078 - 15080. Let q = -0.81 - -0.5. Which is bigger: g or q?
q
Let w = -3.9 + -0.6. Let l = w - -3.3. Let p = -1.3 - l. Which is bigger: p or 3/8?
3/8
Suppose -19*q - 312 + 236 = 0. Which is greater: -5 or q?
q
Let n(s) = -s**3 - 20*s**2 + 14. Let i be n(-20). Let y = i - 13. Which is bigger: -2/401 or y?
y
Let k(m) = -m**3 - 59*m**2 + 127*m + 21. Let t be k(-61). Which is greater: -286 or t?
t
Let n(r) = r**2 - 7*r + 6. Suppose -p + 5 = -3. Let k be n(p). Let c be (-3)/k + (-10)/35. Which is bigger: 0 or c?
0
Suppose -93 = 5*l + 4*x, -40 = -4*l - 2*x - 118. Let s be (-32)/(-14) + 6/l. Let w = -6 + 6.1. Is s bigger than w?
True
Let u(c) = c**3 + 8*c**2 + 4*c - 5. Let b be u(-7). Let f be (-2)/(-12) - (-8)/b. Is f greater than 9?
False
Let m be (-83173)/16647 - (-15)/3. Which is bigger: 0 or m?
m
Let o = 0.176 + -78.176. Let g = o + 77.7. Let n = -683/5 + 137. Which is smaller: n or g?
g
Let r = -6 + 8. Suppose -4*h - s = -r*s + 49, -39 = 4*h + s. Which is greater: h or 2?
