 o - 40 = 5*z. Let w be 36/(-27) + 879/45 - -3. Which is smaller: w or o?
o
Suppose 133*p + 24*p + 36*p + 164629 = 0. Which is smaller: p or 3?
p
Let t = -0.4 + 0.2. Let a = 74.46 + -5.76. Let p = 56.7 - a. Which is smaller: p or t?
p
Let q(a) = -37*a + 17. Let m be q(2). Let p = m + 60. Suppose 2 = 2*u, 3*u - 13 = 5*z - 10*z. Is p at most as big as z?
False
Suppose -6*z + 3*t - 469 = -4*z, 0 = -z + 5*t - 231. Which is bigger: -1173/5 or z?
-1173/5
Let z be 3*(13825/15)/7. Suppose z = -6*q + 659. Which is greater: -1 or q?
q
Let n = 102/23 + -2594/253. Which is smaller: -1/20 or n?
n
Let v(c) = c**3 - c**2 - c. Let t(u) = -3*u**3 + 3*u**2 + u + 10. Let i(h) = t(h) + 4*v(h). Let x be i(0). Which is bigger: 26/3 or x?
x
Let l = 9 - 7. Suppose 0 = -0*u + 3*u - 3*w - 6, 10 = l*w. Let p be (16/(-10))/((-31)/124). Is u bigger than p?
True
Let f = 21.42 + -0.42. Let k = -2.9 - 120.1. Let d = k - -123.1. Which is smaller: f or d?
d
Let x = -1 + -1. Let u(d) be the second derivative of d**5/20 + 5*d**4/6 + 17*d**3/6 + 5*d**2/2 + 23*d. Let z be u(-8). Which is smaller: x or z?
z
Let g = -757 - -778. Which is smaller: g or 90?
g
Let u = 139 - 125. Let q(b) = -2*b**3 - 4*b**2 - 2*b + 1. Let w be q(-2). Suppose 121 + u = w*p. Is p at most 28?
True
Let w = -458.4 + 104.4. Is 3 greater than w?
True
Let o = 24 + -12. Let v(x) = x**2 + 7*x + 14. Let c be v(-7). Suppose -11*a + c*a - 6 = 0. Which is greater: a or o?
o
Suppose 5*a + 97 = -f, -2*f = -2*a - 47 + 13. Let w be ((-576)/15)/4 + (a - -15). Is w < -15?
False
Suppose 0 = -16*g + 15*g - 48. Let d be (g/60)/((-470)/25). Suppose 6*a - 4*a + 8 = -2*k, -k = -3*a. Is a >= d?
False
Let p = 12799963/4580 + -11179/4. Which is bigger: -1 or p?
p
Let f be (-3 + 4)*(0 + 1 + -5) + 4. Which is bigger: f or -3/133?
f
Let l be 4 + (-328)/6 + (-4)/3. Let o = l + 51. Is o greater than 1?
False
Let f be (-1)/(-3) - 44084/(-30). Let t = f + -1475. Let r = 919 + -918.9. Is r at least as big as t?
True
Let c(k) = -k**3 - 5*k**2 + 8 + 7*k**2 - k**2. Let g be c(3). Let p(f) = f + 24. Let y be p(g). Which is bigger: 1 or y?
y
Let d = -887/83780 - -3/1420. Let w = d + 131/1534. Suppose 4*g + g - 3*g = 0, 4*f + 2*g = 0. Which is smaller: f or w?
f
Suppose 108 = 13*n - 139. Suppose -n*a = -26 + 26. Which is bigger: 1/118 or a?
1/118
Let v be -6 + 126/(-9) + 22. Is 304 less than or equal to v?
False
Let t(g) = -21*g - 2. Let r be t(-2). Let l = -27 + r. Let p be 142/(-46) + -10 + l. Which is greater: 0 or p?
0
Let r be 1*357 + (-780)/(-260). Which is smaller: r or 6100/17?
6100/17
Let v(y) = 3*y**3 - 63*y**2 + 2*y - 23. Let g be v(21). Which is smaller: g or 21?
g
Let q(k) = -353*k - 7. Let p be q(-19). Let z = p + -46817/7. Which is smaller: 12 or z?
z
Let k be (-3)/((-45)/(-14) - 3). Suppose -4*d = d + 150. Let u = d + 14. Is k equal to u?
False
Let v = 84.07881 + -0.07881. Is v smaller than -2.11?
False
Let p = 2118 + -1781. Suppose -4*n + 267 = -1077. Which is greater: p or n?
p
Let h(v) = -v**3 + v**2 - v + 10. Let i be h(0). Let j be 3009/(-198) - i/(-12). Are j and -14 nonequal?
True
Let t = -64 + 13. Let v = 54 + t. Suppose v*y = -2*y + 6*y. Which is smaller: y or -12/17?
-12/17
Let t be ((-156)/42 - -4) + (1159600/(-105))/(-10). Does t = 1105?
False
Let d be 3/9*3 - (-1961061)/(-90). Let c = d - -21791. Let j = c + -13/5. Which is bigger: -4/5 or j?
j
Let g = -52 - 7. Let q = -54.1 - g. Let s = 4.6 - q. Is s >= -3/7?
True
Suppose 4*j - 30 = -4*u - 6, 0 = 4*j. Suppose 609*z - 606*z + u = 0. Which is greater: z or 88?
88
Let j = -32/4765 + -10424/37167. Is -1 <= j?
True
Suppose 4*w - 1279 = -w - 2*o, -12 = 4*o. Let r = w - 3339/13. Let f = 0.38 - 0.33. Which is smaller: f or r?
f
Let j be (0 - -1) + (-68)/70. Let x(n) = n**2 - 7*n + 103. Let a be x(-16). Let g = a + -472. Which is greater: j or g?
j
Let s = -1424272 + 115256363054/80923. Are s and 1 equal?
False
Let m be 69 + -57 + (0 - -2). Are 19 and m unequal?
True
Let p = -737 - -737.1. Let f = 1.22 - 652.22. Which is smaller: f or p?
f
Suppose c - 47 = 3*w - 2*w, c = -w - 53. Let v be 5020/24*(-8)/w. Let l = v + -104/3. Is l bigger than -2?
True
Suppose -27*u = -2250 + 36459. Are -1267 and u unequal?
False
Let i(a) = -218*a - 8564. Let y be i(-48). Which is bigger: y or 1?
y
Let v = 4975 + -5072. Which is bigger: v or 25?
25
Let j(o) = 3*o**2 - 2*o - 26. Let q be j(-5). Let d(z) = -8*z**2 - 123*z + 14. Let a be d(-15). Is q smaller than a?
False
Let t be -2 - -1 - ((-24481)/13354 - 295/(-354)). Is 1 > t?
True
Suppose -85 + 15 = -5*i. Suppose -5*z - i = 5*k + 1, 15 = -5*z. Suppose k = u - 6*u - 30. Which is smaller: -3 or u?
u
Let j = 3.6 + -0.6. Let o = -201 - -112. Let d = o + 80. Is j less than or equal to d?
False
Suppose -11*c - 27*c + 228024 = -8640. Which is greater: c or 6227?
c
Let j(v) = -6*v**2 - 50*v + 1581. Let a be j(27). Are a and -4143 unequal?
False
Let i = 6156 - 6707. Which is smaller: i or -0.7?
i
Let m = 286 - -59. Let a = m + -346. Which is bigger: a or 35/4?
35/4
Suppose -59*g + 99 = 40. Is -1/25446 <= g?
True
Suppose 432 = 7*h - 310. Suppose h = -26*r - 24. Which is bigger: -18 or r?
r
Suppose -4*u - 3*a = -64, -17 = -u + 4*a - 1. Let h be (-2)/u*(-13)/(117/72). Is h smaller than -2/25?
False
Let p = 52741/38 - 1388. Let j = 18917 + -94588/5. Is j greater than or equal to p?
False
Suppose -687*m - 676*m = -1376*m + 111566. Is 8582 less than or equal to m?
True
Let j be 858/27 + (-60)/(-270). Are j and -5 nonequal?
True
Suppose 3282 + 222 = -16*x. Let g = x + 134. Which is greater: g or -84?
-84
Let r = -106824/6565 + -57/505. Which is smaller: -16 or r?
r
Suppose 24*i + 10416 = 53*i + 188*i. Is 1004/21 at least as big as i?
False
Let o = -17059 + 16835. Which is smaller: -187 or o?
o
Suppose 28 = -6*m - 0*m - 22*m. Which is greater: m or 2/6165?
2/6165
Suppose 26*r - 27*r - 12 = 0. Is r smaller than -13?
False
Let x(q) = -q**2 - 59*q + 301. Let c be x(6). Which is greater: c or -98?
c
Suppose 107 = 4*y - 25. Suppose 0 = 1526*d - 1443*d - 3984. Is y at least d?
False
Let u(h) = -h + 12. Let q = 23 + -9. Let c be u(q). Which is greater: c or 3?
3
Let n be 16/(-6) - 7018/(-1914). Let d be -1 + (-8)/93 + 1. Which is smaller: d or n?
d
Let f(n) be the first derivative of n**3/3 - 16*n**2 - 227*n - 195. Let u be f(38). Which is greater: u or 21/25?
u
Suppose 0 + 18 = -6*y. Let n be (6 + -10)*102/(-8). Let l be 0 + y + n/18. Which is smaller: 5 or l?
l
Let r = 68210.94 - 69501. Let l = -1321 - r. Let i = l - -31. Is i at least as big as -0.2?
True
Let t = 90 - 429. Let g = 339 + t. Is 2/607 smaller than g?
False
Let g = -122 - -122. Suppose -k = -g*f - f - 5, f + 11 = 2*k. Suppose -3*c - k = 12. Is c at most -3?
True
Suppose 5*a - 5940 = 17*a. Let t be 2/(-17)*a/(-30). Which is smaller: t or -1?
t
Let y(m) = -1. Let u(a) = 2*a - 48. Let x(f) = u(f) - 6*y(f). Let g be x(21). Let k be (-9)/(-2) + (-4 - g). Which is smaller: 2/5 or k?
2/5
Let l be (10 + -1)/(3 + -2). Suppose 2*t + 15 + l = 0. Let i be (-1 + 27/6)*21/(1764/(-300)). Is t smaller than i?
False
Suppose 6*f - 3*f = -3. Let h = 398963/108 + -3694. Let i = h + 4/27. Which is smaller: f or i?
f
Let f = 3817 + -3817. Which is smaller: 1/3616 or f?
f
Suppose -c = -0*c - 7*z + 36, -4*z = -2*c - 22. Let r be (3/36)/((-65)/(-2)). Does c = r?
False
Let g(l) = -153*l + 154. Let q be g(1). Which is smaller: 4/2139 or q?
4/2139
Let p = 28375 + -28394. Let r = 28 + -47. Is r greater than p?
False
Let x(t) = t**3 + 5*t**2 - 8*t - 13. Let n be x(-6). Which is greater: 10/163 or n?
10/163
Suppose 172 - 190 = b. Let v be 5 + -244*(-4)/(-40). Which is greater: v or b?
b
Suppose 0 = -17*o + 61946 + 1464. Are 3732 and o nonequal?
True
Let c = 6 - 16. Suppose 0 = -40*d - 83*d + 615. Let l be (-32)/c + (d - 0). Is l less than 9?
True
Let k be (-159321)/(-805)*(6 + 1 + 3). Is 1980 > k?
True
Suppose 2*j + 6*t = t + 181, 3*t - 405 = -5*j. Let b = 98 - j. Let h be ((-2)/(-5))/(b/50). Is 1/21 > h?
False
Suppose -3*z - 3*h - 6 = 0, -2*h = 2*z - 5*h - 6. Suppose z = -4*s - 0 - 4. Let f be (-16)/8 - (-88)/52. Is s != f?
True
Let u be 583312/(-36)*(-1)/(-17010). Let r = -2/10935 - u. Let v = 9/7 - r. Are -0.9 and v nonequal?
True
Let h = 68 + -67. Let q = -1/19 - 118/285. Which is smaller: h or q?
q
Suppose 13991 = -18*b 