ive of v**4/24 + 4*v**3/3 - v**2. Let o be u(-6). Which is smaller: o or z?
z
Let s = 159 + -158. Is s bigger than -0.033?
True
Suppose 0 = -5*a + 4*j + 81, 3*a - j - 53 = -3*j. Let o = -16 + a. Is o bigger than 4/17?
True
Let v be -15*(66/(-9) - -4). Let w = 68 - v. Suppose -4*s = -6*s + 38. Which is smaller: s or w?
w
Let a = -954851 - -1866733662/1955. Let k = -4/391 - a. Which is greater: k or 0?
k
Let s = 1891/16 - 118. Which is smaller: s or 1?
s
Let b(y) = y**2 - 3*y - 3. Let j be b(0). Let i(f) = 41*f + 15. Let p be i(j). Is p bigger than -109?
True
Let v = -864 + 864. Is v at least as big as -421?
True
Let p(r) = 4*r**3 + 4*r**2 + 2*r - 2. Let k be p(-2). Let q(g) = g**3 + 18*g**2 - 61*g - 6. Let b be q(3). Which is smaller: k or b?
k
Suppose 8*b = 9*b + 5*p + 37, -p - 4 = 0. Let d = -59 - -107. Suppose -o - d = 2*o. Is b at least as big as o?
False
Suppose k + 0*k - 9 = 0. Let n = k - 24. Let x = -5736 - -5721. Is x < n?
False
Let w = 6 - -1. Suppose 0*n + 4*a - 20 = -4*n, -4*n + 5*a = w. Suppose r + 3 = 4*q + n, -2*r = -3*q + 7. Is q > -2/7?
False
Suppose 21 = 29*h + 137. Is h < -4?
False
Let n be (-24)/15*165/(-132). Are n and 113 equal?
False
Suppose 0 = c - j + 476, 4 = j + j. Let u = c - -4256/9. Let m be -1*2 - 2/(-2). Which is smaller: u or m?
u
Let q = 2 + -3. Suppose o - 5*v = -199, 3*o = 4*o + 2*v + 206. Let p be o/50 + (48/4)/3. Which is bigger: q or p?
p
Suppose 3*h = -2*h + 15. Let t(s) = -s**3 + 3*s**2. Let g be t(h). Suppose 3*r - 5*r = g. Which is smaller: r or 1/19?
r
Let k(f) = -2*f**3 - 2*f**2 + f - 1. Let c be k(-2). Let p = -83 - -87. Which is smaller: c or p?
p
Suppose 2*g + 4*n = 3*n + 74, -4*g = -3*n - 138. Let j be (-6)/4 - g/12. Which is smaller: j or -5?
-5
Suppose -s = -2*s + 2. Suppose 4*t - 4 = s*t. Suppose -4*x + t = 10. Which is smaller: x or 2?
x
Let x = 1053 - 1062. Which is smaller: x or -0.41?
x
Let l = 28 - -5. Let v = l + -4. Let q = 259/9 - v. Which is greater: q or -2?
q
Suppose 2*t = 4*b - 2*t + 16, -2*b - 20 = -5*t. Suppose b = p - 4*p - 9, 0 = 5*o + 5*p - 10. Suppose 0 = -4*i - 1 + o. Which is greater: i or -3/14?
i
Suppose -4 + 6 = 2*p. Let h be p/1 + (-10)/(-2). Let u be ((-6)/(-54))/((-2)/h). Is u >= 0.01?
False
Let r = -269 - -269. Is r at most as big as -28?
False
Suppose 2 = -g + 1. Let l be 12/14 + 4914/(-3675). Which is bigger: l or g?
l
Let z(p) = -13*p + 420. Let s be z(37). Which is greater: s or -312/5?
s
Let o(j) = 16 - 3*j**2 + 3*j - 11*j + 4*j**2 - 2*j. Let l be o(7). Let f = 169/4 - 42. Which is bigger: f or l?
f
Let j be (-64)/(-222)*(-6)/(-4). Let h = j + -294/851. Let m(n) = 11*n + 208. Let w be m(-19). Which is greater: w or h?
h
Let g = 11695/3 - 4011. Let a = g + 52384/465. Which is bigger: a or 1?
1
Suppose 0 = 5*w - 3*c - 0*c - 183, 4*w + 5*c - 176 = 0. Is w at most -5?
False
Suppose 3*k + 9 = -2*l + 18, -2*k = -2*l - 6. Is l > 27/5?
False
Let a = 1622 - 2067. Which is bigger: a or 1?
1
Suppose -19 = -2*h + 4*s - 5, 4*h - 12 = 4*s. Let z be h/4 + 40/32. Is -1 smaller than z?
True
Suppose -3*l - 3 = -15. Suppose 4*q - 4 = 8, 0 = p - l*q + 9. Which is smaller: 11/6 or p?
11/6
Let m = -1321 + 1322. Let n = 12 + -6. Which is smaller: n or m?
m
Suppose 0 = 5*c - c - 24. Suppose -p - 16 = 4*x, -p + c = -3*x + 1. Let w be (-3 - -11)*(-1)/p. Which is smaller: w or 0?
0
Let q be (-2 + 18/10)*-1. Let k be (-9)/(-45) - 6/5 - 0. Is q at most k?
False
Suppose 2*i - 120 = -272. Which is greater: i or -74?
-74
Let k = 2447 + -31814/13. Is 2/47 at least k?
True
Let t be (-6)/9 + (2 - 4/(-6)). Suppose -p - 19 = t*p - 2*i, i - 2 = 0. Are -6 and p equal?
False
Let g = -167 - -123. Which is smaller: -41 or g?
g
Let h be 0 - (-2 + 3)*0 - 0. Which is bigger: h or 4/5?
4/5
Let v be 0 + (2 - 2) - -55. Suppose -4*n + v = -3*i, 5*n + 2*i = 5*i + 65. Let l = -5462 - -5473. Which is smaller: l or n?
n
Suppose l = -0*l + 2, -3*f + 2*l = -212. Let h be (-2285)/(-2105)*(-4)/f. Let n = h + 2/421. Which is smaller: n or -1?
-1
Suppose 3*b = 151 - 451. Let d = b + 96. Which is smaller: -5/2 or d?
d
Let x = -8 - 1. Suppose 0 = b + 6 + 2. Does x = b?
False
Let k be (-16)/(-54) + 2/(-9). Suppose -26*p + 12*p = -2604. Let h = p + -187. Which is smaller: k or h?
h
Let g be 2/((1 + 1)/1). Let v be 1/(-1 + 32/92). Let u = 11/5 + v. Which is bigger: g or u?
g
Let o = -240 - -2162/9. Are o and -3 equal?
False
Let k = -100/13 + 874/117. Is 2/69 bigger than k?
True
Let b = -2.81 - -2.51. Which is bigger: -44 or b?
b
Let a = -2/6515 - -983773/26060. Are a and 1 nonequal?
True
Let f = -41/165 + -5/33. Let v = -0.099 + 0.08. Which is smaller: f or v?
f
Let q be 33/(-10) + 3/5. Which is greater: q or -2?
-2
Let j(o) = 2*o - 26. Let m be j(13). Suppose m = -3*a + 6 + 12. Suppose 3*d - 2*d = 7. Is d greater than a?
True
Let k = -5.9 + -56.1. Which is greater: 2/7 or k?
2/7
Suppose -4*p - 5*h + 22 = 0, -9*p = -13*p - 2*h + 16. Let n(k) = k. Let l be n(4). Let s = p - l. Which is smaller: s or -3?
-3
Let u be 4/(-10) + (-304)/(-860). Let a be (-3 - (-78)/18) + 7/(-3). Which is smaller: a or u?
a
Suppose 14*v = 104 - 20. Let t be (16/(-12))/(4/(-6)). Suppose t*j = -0 + 10. Are v and j unequal?
True
Let c = 26/423 + -54872/906489. Which is smaller: c or 2/7?
c
Let u = -0.65 - -59.65. Let p = u - 66. Is 0 less than p?
False
Let s = -300 + 167. Let d be -2 + (-33)/(-21) + (-58)/s. Which is smaller: -1 or d?
-1
Let y = -18 + 20. Suppose -3*d + 5*m = -0*m + 94, -y*d = 3*m + 31. Which is smaller: -22 or d?
d
Let w = -259/2175 + -4/75. Let d be (-2)/(-5) + 14/(-35). Is d smaller than w?
False
Suppose 3*x = -2*t + 10, -4*t = 5*x - 14 - 6. Which is bigger: -1/5 or x?
x
Let m be 10/(-450) + (-4)/(-18). Let o = -130 + 130. Which is greater: m or o?
m
Let s be (-1631)/63 + (1 - 10/9). Are -25 and s equal?
False
Let q = 146367 + -293312. Let x = q + 19543810/133. Let h = 7/19 - x. Is h equal to -1?
False
Let g = -3.98 - -0.48. Let o = g - -3. Which is smaller: -1 or o?
-1
Let g = 4249 - 760559/179. Which is smaller: 0 or g?
0
Suppose -3*i = 3*d - 66, 5*i + 32 + 33 = 2*d. Suppose 0 = -a - 4*a, -4 = -4*j - 5*a. Suppose d = -2*m + j. Is -11 at most as big as m?
False
Let y(r) = 11*r - 118. Let b be y(10). Which is bigger: 4 or b?
4
Let d be -8 - -4 - -624 - -1. Suppose d = 2*p + 3*b + 184, 443 = 2*p + b. Let q = 901/4 - p. Is q smaller than 1?
False
Let i be ((-8265)/6 - -5)*(-7)/(-70). Are i and -138 equal?
False
Let d be (-6)/(-33) + (-8)/44. Let k = 0.14 + -0.51. Which is greater: d or k?
d
Let b be 1050/135*(-6)/7. Let g = -1 + 4. Suppose -g*l + l - 14 = 0. Which is smaller: b or l?
l
Let n be (1 + (-27)/15)/((-19432)/(-140)). Which is smaller: 0 or n?
n
Let f = -271 + 271. Suppose -5*y + 3*a = -a + 6, -4*y + 2*a = 6. Let p be 2/(-8)*y*-2. Which is smaller: f or p?
p
Let u(x) = x**2 + 5*x + 7. Suppose -5*g - 16 = p + p, 3*g - 9 = 5*p. Let q be u(p). Is q at most 10?
True
Let v(m) = -2*m - 15. Let x be v(-7). Let f be (6/(-8))/(3/(-12)). Let y be f/(-9) + 1/9. Which is bigger: x or y?
y
Suppose 0*m = 3*m. Suppose 5*p + 4*j = 40, -3*j - 17 = 4*p - 48. Suppose m*s + 12 = p*s. Is 1 at least as big as s?
False
Let k = -0.532 + 0.332. Is -3/29 < k?
False
Let q = -368 + 326.1. Let z = q - -41. Which is smaller: z or -2?
-2
Let s(m) = m**2 - 5*m + 5. Let a be s(5). Let y = -89 - -84. Let k be y*-5*(77/25 - 3). Is a less than k?
False
Let b(l) = l**3 + 30*l**2 - 28*l + 102. Let p be b(-31). Is 218/21 != p?
True
Let i be (-4)/10 - (-16)/40. Let c = -4 + 130. Let b = -382/3 + c. Which is bigger: b or i?
i
Let j = 1256 + -1268. Which is bigger: -14 or j?
j
Let n = 219 + -164. Which is smaller: n or 1/4?
1/4
Let x be 5/(50/4)*5. Suppose 0 = x*t + 2*t. Let y = -149/6 + 24. Which is bigger: y or t?
t
Let r = 39 - 37. Suppose -y + 3*n - 5 = -2, 2*n = -r*y + 2. Suppose 5*o - 14 = -4. Which is greater: y or o?
o
Suppose -4*n = -4*q + 28, 5 = 4*q - 5*n - 28. Let u(j) = -j**3 + 0 - 3 + 5*j**q - 14*j**2 - 10*j + 2*j. Let l be u(-8). Is l bigger than -15/8?
False
Let m be -8*10*(-8)/(-160). Is m less than -12?
False
Let m = -36.5 + 37. Do m and -20 have the same value?
False
Let q be (-2)/(-7) - (-20)/28. Let m = 48 + -46. Suppose m*v = 5*p - 147 + 42, -2*p + 13 = 5*v. Do p and q have the same value?
False
Suppose -2*o - 3*n = -31, n = 5*o - 23 - 12