ich is smaller: b or s?
b
Let i(p) = -35*p**3 + 2*p**2 + 2*p + 1. Let r be 1*(-1 + -4) + 4. Let o be i(r). Suppose 3*b = -3*k - o, b + 1 + 19 = -3*k. Which is smaller: b or -10?
-10
Suppose -18*i + 15*i = 153. Let g be (-90)/(-8)*(-68)/i. Suppose -3*y - 45 = g. Which is smaller: -19 or y?
y
Let y = 12.6 + -24.5. Let l = y + 12. Suppose -32*z - 195 = -5*s - 31*z, -2*s = -z - 75. Which is smaller: l or s?
l
Let n = 86 - 1636/19. Suppose -1321*s - 24 = -1327*s. Suppose 2*k - s = 0, i + 0 + 6 = 4*k. Is i <= n?
False
Suppose 245*q - 56109 = -5394. Which is bigger: 204 or q?
q
Suppose -3*h + 165 = 2*z, -5*h + 42 + 117 = 2*z. Suppose 2*g - 176 = 5*p, -g + 176 = g + p. Is g smaller than z?
False
Let y(g) = 0*g**3 + 12*g - 4*g**3 + 0*g**3 - 7*g**2 + 3*g**3 + 43. Let l be y(-8). Suppose 8*m + l = -61. Which is smaller: m or 1?
m
Suppose 16*i - 5*i = 66. Suppose j = -5*o - 5, i*j = j + 3*o - 137. Which is smaller: j or -19?
j
Let x = 4613 + -4614. Is x greater than 27?
False
Let o be 4/(8 - (0/2 + 4)). Suppose -5*b - 3 = 4*m, -4*m - 3*b - 6 = -o. Which is smaller: -8 or m?
-8
Let g = -633 + 1892/3. Let r(h) = h**3 - 8*h**2 + h - 4. Let c be r(8). Suppose -9 = -d + c*d. Which is smaller: g or d?
d
Suppose -2*w - 4*n = -7*n - 27, -2*w - 8 = 4*n. Suppose -15 = q - w*q. Let g be (-88)/(-28) - 1 - q. Which is bigger: -1 or g?
g
Let l(a) = -a**3 - 4*a**2 - 7*a - 1. Let k be l(-6). Suppose 359*d - 2341 = -112*d + 49940. Which is smaller: d or k?
d
Let q be 2/4 + (-159)/6. Let n be -1*(-6 - (-1 - 0)). Suppose 71 = -3*b + 4*d, 0 = n*b + 5*d + 178 - 48. Do b and q have the same value?
False
Let k be ((-632)/6)/(8/12). Let t = k - -160. Let r be (2/(-6))/(4/(-26)). Which is smaller: r or t?
t
Suppose -5*q = -3*y - 0*y - 14, -4*y - 5*q = -28. Suppose -3*f = 0, 3*s + 4*f + 5 = y. Is 1/62 greater than s?
True
Let i = -428 + -87. Let t = -609 - i. Is t at most as big as -93?
True
Let q(y) = -y - 16. Suppose z + 1 = 0, a - 4*a + 5*z = 16. Let x(c) = c + 8. Let u(k) = a*x(k) - 4*q(k). Let l be u(3). Which is smaller: -18/11 or l?
-18/11
Let l be -1 + 1 + ((-564)/2)/2. Let m = l + 209. Which is smaller: 66 or m?
66
Suppose 4*h + 467 + 343 = j, 5*h - 3*j = -1009. Let g = h + 240. Is 39 bigger than g?
True
Let k be (279/(-30))/((-8982)/(-1122) - 8). Let y = k + 1737. Is y >= -1?
False
Let m(l) be the second derivative of l**4/12 - 4*l**3/3 - 59*l**2/2 + 267*l. Let a be m(-9). Does a = 93?
False
Let c = -34 + 33. Let g be ((-692)/(-266))/(3 + c). Let i = -8/7 + g. Which is greater: i or 0.2?
0.2
Suppose -4805*h + 4853*h = -466416. Which is smaller: -9716 or h?
h
Let b = 3645 - 3709. Which is smaller: -692/11 or b?
b
Let f(r) = -r**3 + 6*r**2 - r + 19. Let a be f(6). Let t(l) = l**2 - 4*l - 8. Let y be t(7). Let j = y - a. Is j < 2/17?
True
Let w = -107.3 + 112.03. Let f = w + -1.73. Is -1/11 at least as big as f?
False
Suppose 0 = 2*n - 4, -4*n = 3*c - 3*n - 209. Let a be (57/(-2))/(9/(-180)*-10). Let h = a + c. Is 58/5 != h?
True
Let m = 68072/15 + -13612/3. Let g = 0.39 + -2.21. Is g equal to m?
False
Let d = 328 - 135. Let l = 1345/7 - d. Is l != 15?
True
Let d be 290/(-58)*1*(-6)/225*-33. Is 60 less than or equal to d?
False
Let q = 92 + -92. Let s(d) = -2*d**2 - 16*d - 1. Let p be s(-8). Let a be ((-30)/(-35))/(p/(-84)*2). Is a at least as big as q?
True
Let n = 5250.5391 - -1.4609. Which is bigger: n or -0.1?
n
Suppose -6*c = 5*y - 1120 + 1139, 0 = -3*y + 3*c + 15. Let k be 1/4 + 519/(-2044). Is y < k?
False
Let d = -7395/182 - -505/13. Is d bigger than -2?
True
Let m be ((-36)/8 - -3)*-2. Suppose -3*l + 0*l + m = 0. Let y be 12 + (26250/(-217))/10. Which is smaller: l or y?
y
Let j be (-3)/(-6) - (-2)/4. Let l be -20 + (2 - 4) - j. Suppose -92 = -14*o + 18*o - 2*r, -3*o = -r + 69. Does o = l?
True
Suppose 0 = d - 21*d - 360. Let s be (210/(-100) + -9)/(d/10). Are 7 and s unequal?
True
Let j = -13686 - -13657. Is 46 less than j?
False
Let v(g) = -24*g**2 - 12*g - 26. Let k(q) = -11*q**2 - 6*q - 13. Let j(d) = 13*k(d) - 6*v(d). Let x be j(3). Which is smaller: -16 or x?
x
Suppose -2*t + 6 = -0, -5*t = y + 14. Suppose -8 = 4*h, -1285 = -4*d + 2*h - 237. Suppose -11*r = -2*r + d. Is y bigger than r?
False
Let v = -15 - -6. Suppose 5*t = 684 - 664. Suppose 2*l + 9 = -p, 2*l - t*p - p + 27 = 0. Is v at least as big as l?
False
Suppose n - 1810 = -45*h + 44*h, 0 = 2*n - 2*h - 3612. Which is greater: 5 or n?
n
Let g(v) = -146*v**2 + 287*v**2 + 55 - 140*v**2 + 16*v. Let d be g(-11). Let h be ((-2)/(-28))/((-14)/(-24)). Is h at least d?
True
Let n be -4 + 3/1*(-820)/(-510). Let s = n - 73/68. Which is smaller: -3 or s?
-3
Let b be ((-5)/(-2))/((-20)/(-16)). Suppose 2*d + 3*d - 14 = -b*q, 5*q + 15 = 0. Suppose 2*t - w + 1 = -2*t, -4*w = t - d. Is t less than or equal to -1/6?
False
Let c = 0.06 - -1.33. Let n = 4.61 + c. Which is smaller: n or 4?
4
Let t = 1571873/660 + -47889/20. Let l = -2/1389 - 30246/2315. Let s = l - t. Which is smaller: 1 or s?
s
Suppose -68 = -4*g - 4*u, -5*u - 5 = 4*g - 78. Suppose 2*x + g = -0*x - 5*v, -4*x + v - 2 = 0. Is 8/65 not equal to x?
True
Let x = 11478 + -11478.09. Which is bigger: x or 181?
181
Suppose -2*o + 176 = -6*o. Let i(t) = -t**2 - 13*t + 4. Suppose 17*l + 13 = 16*l + r, 0 = -3*r - 9. Let k be i(l). Is k at least as big as o?
True
Let a = -1232/17 + 2095598/28917. Is 0 at most as big as a?
False
Let y be (9/(-4))/(2/(-3904)*6). Let g = 3697/5 - y. Which is smaller: g or 6?
6
Let a(x) = 161*x - 403. Let i be a(4). Which is smaller: 231 or i?
231
Let l(p) = -p**3 + 4*p**2 - p + 4. Let c = -6 - -10. Let s be l(c). Let u = -230121/1188478 + 3/38338. Which is greater: u or s?
s
Let t be (4 - 12/3)/1. Let r be (12/(-10))/((-6)/20). Let u be t + ((-5)/r)/(-5). Which is greater: 1.1 or u?
1.1
Let z = -42.934 - 0.966. Let c = -301.3 + 345.3. Let r = z + c. Does 0.5 = r?
False
Let s(v) = v**3 + 12*v**2 - 3*v - 45. Let p be s(-12). Let d be (1 + 12/p)/((-4)/(-1236)). Is d != -305/3?
True
Let u(x) = 2*x**3 - 208*x**2 + 4258*x - 44. Let w be u(28). Let o = -7 - -7.3. Let f = -0.2 + o. Is w at least as big as f?
True
Let n = 742225/125054 + 1/4034. Which is smaller: 6 or n?
n
Let s = 1192 - 1185.99. Let n = -1.69 - s. Let d = n - -9.8. Does d = -2/9?
False
Let m = 7/2431 + -216457/34034. Let l = m - -44/7. Which is smaller: 0.3 or l?
l
Let r = 1180.6 + -1199. Which is bigger: r or -9?
-9
Let g be (-73)/((-2409)/(-211266)) - (-1 + 1/1). Is g > -6402?
False
Suppose -4*c - 3258 = -5*k, 4*k - 4*c - 1284 = 2*k. Which is smaller: k or 667?
k
Let z = -40999 + 17424589/425. Which is smaller: -1 or z?
-1
Suppose 12*b = 4 + 8. Let x be (-1 - 22) + 5*b. Which is smaller: -3 or x?
x
Let q(i) be the first derivative of -8*i**3/3 - 5*i**2/2 - 2*i + 1. Let n(c) = -5*c + 48. Let t be n(10). Let h be q(t). Which is smaller: h or -23?
h
Let u = -725 + 566. Let c be u*(-7)/14*(7 + -5). Which is smaller: 160 or c?
c
Suppose 1 + 1 = -2*c. Let p(m) = -512*m - 25. Let g be p(-1). Let t = g + -8765/18. Is c at most t?
True
Let t be (-4)/(-26) + 60/(-390). Which is smaller: t or -1/1964?
-1/1964
Let o(a) = -4*a + 54. Let x be o(11). Let c be 6/x - 12/60. Let b = 5 - 5. Is b smaller than c?
True
Let f = 4125 + -4125. Which is smaller: f or -12/109?
-12/109
Let f(h) = 6*h + 31. Let w(s) = s - 3. Let i(c) = -f(c) + 4*w(c). Let l = 16 + -37. Let o be i(l). Is o > 2/9?
False
Let g = 152 - 133. Let i be (-2)/g - 68/76. Let n = 0 + -1. Is n smaller than i?
False
Let l = -12730 - -12720.39. Is 1 less than l?
False
Suppose 88 = 5*j + 118, 3*j - 477 = 5*c. Are c and -99 nonequal?
False
Let u = 32.55 - 30.74. Which is smaller: -0.04 or u?
-0.04
Let m be 2/(-6)*6/4. Let x = -0.011484 + 20.011484. Is x at most m?
False
Let a = -39 - -149. Let h = 279 - a. Is 1/3 at least as big as h?
False
Let p = -45 + 46. Let v be 2 - (138/12 - p). Let l be (1 - 2/10)/(-2). Is v at least l?
False
Suppose -4*r = -2*n, -6*n + 16*r - 16 = 20*r. Which is smaller: n or -92/49?
n
Let f = -21361/89 + 240. Suppose 0 = -4*l + 4, 2*l = -4*y + 21 - 3. Suppose 0 = 5*c - 10, -5 = -y*s - 4*c + 7. Which is smaller: f or s?
f
Let a(q) be the second derivative of -q**5/20 + 2*q**4/3 - 13*q**3/6 + 7*q**2/2 - 30*q. Let u be a(6). Are 13/3 and u non-equal?
True
Let z = -273 + 322. Let h = 18 + -62. Let m = z + h. I