 is smaller: p or w?
w
Let s = -17.86 - -5.46. Which is greater: s or -1?
-1
Let p(g) = g**3 + 65*g**2 + 69*g + 333. Let s be p(-64). Let v(y) = -y**3 - 2*y**2 + 5*y - 1. Let i be v(-4). Which is greater: i or s?
s
Let r = -671 - -766. Is 95 at most as big as r?
True
Let o be (-2)/10 + (-3)/(-15). Suppose -2*w - 1 = -7. Let x be (-26)/(-10) - w - o. Which is smaller: -7 or x?
-7
Let h be (20/50)/(2/1230). Suppose l + 3*l + 24 = 0. Let f be h/(-21) - l/(-21). Are -10 and f non-equal?
True
Let x(i) = -i**3 - 27*i**2 - 5*i + 34. Let o(m) = 2*m**3 + 54*m**2 + 11*m - 69. Let k(s) = 6*o(s) + 13*x(s). Let b be k(-27). Is 9/16 < b?
True
Let k be (-597)/9*(2 - 5). Suppose 4*j + 44 = q, 4*q + j - k = -q. Suppose 4*p - 2*z = -q, 0*z + 28 = -4*p - z. Which is smaller: p or -9?
-9
Let x = -4997 - -2853286/571. Is x < 0?
True
Let l be (-20)/(-10)*130/4. Let q = 100 + l. Let i be 8/(-30) - 22/q. Which is greater: i or -0.1?
-0.1
Let i = 8977 + -1319627/147. Let p = i + 950/49. Does 20 = p?
False
Let q = -1/184 + -67/368. Let b be (-6)/32 + 1/(-4). Let x = b - q. Which is greater: 4 or x?
4
Let y = 1/66 - 139/462. Is y not equal to -51?
True
Let y = -29.8 - -29.97. Let m(p) = p**2 + 9*p - 2. Let c be m(-9). Which is smaller: y or c?
c
Let p(h) = -2*h**2 + 9*h. Let w be p(5). Let j(m) = -m**2 - 6*m - 7. Let f be j(-5). Let z be -2 - f/(-2 - -1). Which is bigger: w or z?
z
Suppose -9 = 3*c, 0*v - c = v + 991. Which is smaller: v or -987?
v
Let p(s) = -s**2 + 3*s - 418. Let f be p(0). Which is smaller: -417 or f?
f
Let t = -2.5 - 23.5. Let d = t + 42. Is d at most -0.1?
False
Let x(i) be the third derivative of -3*i**6/40 + i**5/60 - i**4/6 + i**3/3 + 11*i**2. Let t be x(1). Is -10 at most as big as t?
True
Suppose -c = 5*l - 25, -5*c = -10*c + 5*l + 5. Suppose 0 = 4*g - 3*u + 2*u - 119, 0 = -3*g + 3*u + 78. Let p = -28 + g. Which is smaller: p or c?
p
Suppose -4*k - 4*d = -d + 21, 5*d = 4*k + 29. Let c = 65 - 72. Which is smaller: c or k?
c
Let r = -2/3 + 16/15. Suppose 2647*m = 2630*m - 17. Is m greater than r?
False
Let q = -11 + 10.6. Is -7 bigger than q?
False
Suppose 5*a - 4*m = -4 - 1, -2*m + 10 = 0. Let b(k) = k**2 - 10. Let y be b(a). Which is smaller: y or -4/17?
y
Let h(m) = -2*m - 18. Let b be h(-9). Let u be b/(4/(-12)*-3). Let o = -50/3 + 956/57. Is u less than or equal to o?
True
Suppose -352 = 19*s - 17*s. Are -176 and s unequal?
False
Let s be (1/((-2)/(-82)))/((-18)/72). Let z = -818/5 - s. Which is smaller: z or -39?
-39
Let u(t) = t**3 - 5*t**2 + t. Let q be u(5). Suppose o = 2*k - 47, 3*o = 3*k + q*o - 53. Do 20 and k have different values?
True
Suppose 2*n = -0*l + 4*l - 14, 5*n + 3*l = 17. Let f = n - 9. Are -7 and f equal?
False
Let x = -132 - -130. Which is bigger: 1.58 or x?
1.58
Let c = 0.88 - 0.6. Let g = c - 11.28. Let q = 11 + g. Which is smaller: -2/5 or q?
-2/5
Let s = 358 + -2504/7. Is s != 14.6?
True
Let b(i) = i**3 + 7*i**2 - 16*i - 34. Let w be b(-9). Which is smaller: w or -54?
-54
Let y = -30 + 59/2. Let b = 13 + -6. Suppose -b*a - 32 = -5*a. Are y and a equal?
False
Suppose 135*d = 131*d + 8, 5*d + 26 = -x. Do -20 and x have different values?
True
Suppose -18*r = -15*r. Which is smaller: 2 or r?
r
Let c(y) = -y. Let k be c(-5). Let a be (-1)/(((-10)/14)/k). Which is smaller: 8 or a?
a
Let m = 3 + 0. Suppose 0*r + m*r = -15. Suppose -30*q = 5*c - 25*q + 25, 3*c + 10 = 2*q. Which is greater: c or r?
c
Let y(x) = 3*x**2 + 5*x - 2. Let o be y(2). Let c(n) = -n + 17. Let v be c(o). Let m be (2 + -1)/(2/(-10)). Which is smaller: m or v?
m
Let j(k) = k**3 - 15*k**2 - 62*k - 14. Let v be j(18). Is v less than -158?
False
Let h be 8 + -6 - 6595/(-124). Let g = -221/4 + h. Are 0.3 and g unequal?
True
Let x be (1/(-4) - -1)*4. Suppose x*l = 15, -7*k + 3*k = -l + 5. Let s be (-1 + k)/(2 + -1). Which is smaller: -2 or s?
-2
Let k be -4 + 5 + -5 + -5. Let i be (2 - 1)/(k/15) + 0. Is i less than -1?
True
Let n = 23063 - 530448/23. Let y be (-1 + 1)/(-1 - -2). Do y and n have the same value?
False
Let m = 5/156 - -277/1092. Let r = 0.1 + 0.3. Is m smaller than r?
True
Let v = -83 - -83.003. Let n = 0.027 + v. Which is greater: n or -1.3?
n
Suppose 0 = -f - 7*f - 280. Is -247/7 at least f?
False
Suppose -4*g = -168 + 32. Let u = g + -13. Is u != 22?
True
Suppose -10 - 20 = k - 5*c, 2*c = 3*k + 64. Let v be k/(-80) + 101/(-372). Which is smaller: -1 or v?
-1
Let j(y) = 2*y + 5. Let g be j(-6). Let n be g/14*5/(-3). Is 2 bigger than n?
True
Suppose 4*r - 5*f = 9, 3*f + 2*f = 15. Suppose -r = -i + 4*i. Let s(y) = 2*y + 5. Let d be s(-4). Is d bigger than i?
False
Let m(r) = r - 12. Let b(l) = -l**3 + 7*l**2 - 5*l - 4. Let y be b(6). Suppose 22 = y*n - 0*n. Let z be m(n). Is z less than or equal to -1/13?
True
Suppose -3*w + 30 = -0*w - 2*j, 3*w - 5*j = 39. Let y be (-4 - -3)*0 + w. Let i(b) = b - 4. Let m be i(y). Is m less than 2?
False
Let s = -81/139 + -3697/3197. Is -3 <= s?
True
Let t(m) = -12*m**2 + 1. Suppose 5*s = 10 - 5. Let q be t(s). Which is greater: q or -12?
q
Let j(v) = 1 - 59*v + 113*v - 2*v**3 - 56*v - v**2. Let l be j(0). Which is smaller: 3/8 or l?
3/8
Let o = 267/352 - 1/32. Suppose -2*p - 5*w = -6*p + 15, -2*p - 5*w - 15 = 0. Are o and p unequal?
True
Let z(b) be the first derivative of 13*b**2/2 - 7*b - 28. Let s be z(-2). Which is smaller: -32 or s?
s
Suppose -8*p - 16 = -328. Suppose -4*g - p = 1. Is 1 less than g?
False
Suppose 38*d - 769 = 4855. Which is bigger: d or 147?
d
Let f be (-17 - -18)/((-5)/(-335)). Which is smaller: f or 59?
59
Let a = -11 - -25. Let v = 13 - -1. Let i = a - v. Which is bigger: i or 17?
17
Let i = 20863/655 - 33/131. Let n = i - 32. Suppose 2*p = -26 - 6. Is p greater than n?
False
Suppose 0*h - 2*v = -5*h + 20, -4 = -h + 3*v. Suppose 0*a = 3*a - 3*p - 18, -23 = -h*a + 3*p. Suppose s + 5*t + 20 = 4*s, -3*t - 3 = 0. Is a smaller than s?
False
Let f = -275/607 + 3441794/4249. Let s = -811 + f. Suppose 110*b - 111*b = 2. Which is bigger: b or s?
s
Let d = 39.08 + -39. Let w = 0.18 - d. Is w > 3?
False
Suppose 0 = 3*w + 3 + 12, 4*v - 24 = 4*w. Let s be (v + 105/(-96))*(0 + -4). Which is smaller: 0 or s?
0
Let k = -0.89 - 3.22. Let b = 21.89 - 22. Let x = b - k. Which is greater: x or -1/4?
x
Suppose -n = -7*n. Let p be (n/(5 + -1))/4. Let c = 36/275 - 1/25. Which is greater: c or p?
c
Suppose 0 = -4*t - 263 + 219. Suppose 2*l = w - 11 - 16, -5*l = -4*w + 75. Is l equal to t?
True
Let c = 22 - 9. Suppose 5*l + 33 = c. Let i be (-21)/(-14)*l/(-6). Which is smaller: i or -3?
-3
Suppose -3*x + 43 = -11. Is 20 at least x?
True
Let j be 228/27 - 12/27. Let g = 8 - 5. Suppose -g*k = -22 + 4. Is k equal to j?
False
Let g be 386/(-9)*238/21. Suppose -2*z - 465 = 2*f + 505, -490 = f - 4*z. Let m = g - f. Which is smaller: m or 1?
m
Let s(h) = 2*h**2 + 88*h + 85. Let i be s(-43). Suppose 2*z = z - 6. Let n be (20/48)/(2/z). Is i less than or equal to n?
False
Let c be (-4)/1*(-420)/(-84). Which is bigger: c or -83/4?
c
Let a(t) = t**3 + t**2 - 1. Let s be (1/3)/(2/6). Let p = s + -3. Let f be a(p). Is -5 at most as big as f?
True
Let s be (-62)/8 - (-1)/(-4). Suppose -29*i + 10 = -27*i. Let m = s + i. Which is bigger: -4 or m?
m
Let r be (2 - 3 - -4 - 13)/1. Let j be ((-12)/r)/((-8)/40). Let k be 1 + 9/(-6) + 1. Is j at least k?
False
Let f be 4 + (-4 - 0/(-2 - 3)). Is 4/71 <= f?
False
Let v = -654 + 378. Which is bigger: v or -275?
-275
Suppose 3*m = 8*m + 90. Let g = m + 16. Is -2/27 at least g?
True
Suppose -4*q + q + 45 = 0. Let k = 24 - q. Let v = 9.9 - 10. Are k and v equal?
False
Let w = 4268/14889 - 2/2127. Which is smaller: -0.108 or w?
-0.108
Suppose 5*a = 2*a + 9. Suppose -a*o + 15 = 2*o. Suppose -7*z + o*z + 32 = 4*u, -u - 4*z = -17. Which is smaller: 1 or u?
1
Let x be 0 - -6*4/8. Suppose i + 66 = x*i. Let r = i + -18. Is 15 > r?
False
Let q = -194 - -11448/59. Is q greater than or equal to 0.1?
False
Suppose -4*w + 4*v = 184, -v = 15*w - 11*w + 169. Suppose g - 88 = 3*g. Do w and g have the same value?
False
Let a be 68/20 - (-4)/(-10). Let j(g) = g**3 - 6*g**2 + 6*g - 4. Let b be j(5). Let p be (-2 - (-5 + a))/b. Is p less than or equal to -1/14?
False
Let p(l) = -l + 15. Let i be p(13). Suppose 0 = -5*v + x + 7, 0 = 2*v - i*x - x - 8. Which is smaller: -1 or v?
-1
Let h = -1424.97 + 1