v = -43 - a. Suppose 0 = -5*k + l - 0*l - 43, 0 = -v*l + 6. Which is smaller: k or 1?
k
Suppose -5*r = 3*m + 5, -9 = 3*r + 3. Suppose m*d + 2*x - 78 = 0, 0 = -d + 5*x + 19 + 2. Which is greater: d or 19?
19
Let u(k) = -k**3 + 41*k**2 - 37*k - 72. Let d be u(40). Let x be d/(-390) + -2 - 1/(-5). Is -3 less than or equal to x?
True
Let b = 161 + -101. Suppose g + b = 6*g. Which is greater: -0.2 or g?
g
Suppose 9*g - 45 = -0. Let t be (12/(-8))/(g/(-30)). Suppose 3*y - 12 = -t. Which is greater: -2/7 or y?
y
Suppose 7*j - 5471 + 830 = 0. Suppose 7*b + j + 345 = 0. Let a be b/(0 - 15/10). Which is smaller: a or 97?
a
Let a(c) = -6*c**2 + c - 9. Let f be a(3). Let w = f + 59. Let v = 5/8 + -83/56. Are v and w equal?
False
Let t(x) = 15 - 26*x - 2 + 2. Let n be t(2). Which is smaller: n or -38?
-38
Let h = 5267 + -5273. Which is greater: h or -0.11?
-0.11
Let j = 72/1277 + -2620/680641. Let n = -1/13 + j. Is -1 less than or equal to n?
True
Suppose 0 = -3*r - 6 + 90. Suppose -7 = 3*l - r. Let a(y) = y**3 - 12*y**2 + 6. Let c be a(12). Which is greater: l or c?
l
Let q be 2/(-3) - 1/(-3). Let t = 0.874 - -405.126. Let r = t - 398. Which is smaller: q or r?
q
Let y = -11.81 - -496.81. Let d = y + -485.02. Is d < 0.35?
True
Let w be (-20 - -21)*-1 + -2711. Is w < -2715?
False
Let y(f) = -f**3 + 6*f**2 + 16*f + 2. Let x be y(8). Suppose -9*s - x*v = -8*s + 10, -3*v - 15 = s. Which is bigger: s or 13/9?
13/9
Suppose -2*v = -2*f - 1412, 4*f - 212 = v - 3033. Let r = f + 2113/3. Let i(t) = -t**2 + 5. Let d be i(0). Are d and r unequal?
True
Let f = -8.2 + 7.8. Let s = 0.3 + f. Let y be (-1)/2*18/(-21). Is s greater than y?
False
Let a = 3470 + -3473.68. Which is smaller: -2/3 or a?
a
Let t = 32930/39 - 844. Let g be (-4)/18 - (-2)/9. Which is greater: t or g?
t
Let n be (2/(-6))/(10*11/2970). Let p = 120/7 - 359/14. Which is bigger: n or p?
p
Suppose -3*v = 2*x + 201, 24*v = 27*v + 4*x + 207. Is v at least as big as -6?
False
Suppose -3*v - 31 = -5*a, 4*v - 27 = -3*a + 3*v. Suppose a = 40*z - 38*z. Suppose -x - 8 = z*s, -10 + 33 = -5*x - 3*s. Is x >= -5?
True
Suppose -4*b - 22 = p, -p = -3*b + 1 - 0. Let u be ((-5)/p)/(0 - 1/6). Let a be 6/9*3/(-2). Is a at most as big as u?
False
Suppose -367 + 147 = -4*h. Let d = h + 194. Is -1 equal to d?
False
Let l(q) = q**3 + 12*q**2 + 3*q + 44. Let a be l(-12). Suppose -z - 3 = 3*d - 5*d, -3*d = -5*z - a. Is 18/11 at least d?
True
Suppose 10 = -2*x, 2*r - 4*x - x = 33. Let n be ((-5)/r)/(14/(-112)). Let a be (-36)/165*n/3. Which is smaller: -2 or a?
-2
Let c = -88.067 + 88.24. Which is greater: -2 or c?
c
Let l = 121 + -120.961. Let y = l - 0.119. Let s be (-1)/(-4 + (3 - 10))*2. Is y != s?
True
Let f = 200 - 172. Suppose 0 = 24*q + 4*q - f. Which is smaller: q or 1/435?
1/435
Suppose -5*q + 5*l = -10*q - 45, -4*l = 0. Let n be ((-38)/(-5) - (7 + q)) + 2. Which is smaller: n or 11?
11
Let f = 295 + -180. Let s = f - 114. Is s at least 138?
False
Suppose -294*s + 325*s - 31 = 0. Let o be (-468)/(-1687) + 4/(-14). Which is smaller: o or s?
o
Let s be ((-56)/(-10))/((32/40)/2). Suppose 0 = -16*c + s + 2. Do c and 1 have the same value?
True
Let q(f) = -f**2 - 6*f + 7. Let j be q(6). Let a = j - -65. Which is smaller: -95 or a?
-95
Let x(i) = i**3 - 13*i**2 + 4*i - 23. Let n be x(13). Let v = n - 47. Which is smaller: -2 or v?
v
Let f(t) be the second derivative of 5*t**4/6 - t**3 + 2*t**2 + 20*t. Let k be f(1). Which is smaller: k or -10?
-10
Let l be ((-141)/45 + 3)*2/4. Let g = -4.297 + 0.697. Is l > g?
True
Let l = 67/125 + -285701/375. Which is smaller: l or -762?
-762
Let q = -4220.2 - -4220. Which is bigger: 0.097 or q?
0.097
Suppose 4*v + 648 = 3*l + v, -643 = -3*l - 2*v. Let j = 170 - l. Which is greater: j or -48?
j
Let q = 350081/713 + -491. Suppose l - 12 = -11. Is l smaller than q?
False
Let r be 5 + -2 + -8 + 4. Let l be r/3 + 9/27. Suppose l = 3*u - w + 5, -u - 2*w + 1 = -w. Are 0.22 and u non-equal?
True
Let f(v) = -4*v - 3*v - 99 + 104. Let q(l) = 3*l - 3. Let n(h) = -4*f(h) - 7*q(h). Let y be n(-1). Is -2 at most as big as y?
False
Let l = 5331.5 - 5332. Is l at least as big as -1/19?
False
Let u(l) = -57*l**2 - 625*l + 24. Let v be u(-11). Let s be (-38)/(-12) - (-2)/(-6). Which is greater: s or v?
s
Suppose 4*g + 2*k = 16, -1015*g = -1013*g - 5*k + 52. Let i = -259502/625 + 2076/5. Do i and g have the same value?
False
Let b = -0.6713 - -0.6013. Which is bigger: -498 or b?
b
Let m be 8/(-3)*(10 - 4182/420). Let t be (6/(-4) - -1)*-2. Which is smaller: t or m?
m
Let r = -35841 + 35840. Is 3/20699 at least as big as r?
True
Let z(b) = -b**3 - 11*b**2 - 28*b + 16. Let x be z(25). Let k be x/115 - (-2)/(-5). Is k at most as big as -201?
True
Suppose 0 = -3*s - 2*s + 10. Suppose -s*t - 2*z = -4, -4*z + 14 = -4*t + 6. Let g = 2/1619 - -8073/17809. Which is bigger: g or t?
g
Let t = 0 + -2. Suppose 3*a = -c - 356, 17 = 4*a - 3. Let w = c + 370. Is w greater than t?
True
Let y = -24.687 + 24.5. Let d = 16097 + -16096.913. Let s = d + y. Are s and -0.64 nonequal?
True
Let q = -1.089 - 433.911. Let y = q - -458. Which is smaller: y or 1?
1
Let d = 9381 - 9377. Is d bigger than -2?
True
Let a = 78285/8 - 9798. Suppose 0 = -3*r - 5*g - 23, g = -100*r + 101*r + 13. Is a bigger than r?
False
Let y be ((-475)/90 - -6) + (-3)/6. Which is smaller: 4/121 or y?
4/121
Let s = -6711 - -6351. Which is smaller: -386 or s?
-386
Suppose s + 233 = 3*c - 4*s, -5*s - 385 = -5*c. Let o = -1108 - -1182. Which is bigger: c or o?
c
Let i be 1876/18 - 102/459. Suppose 0 = y + s - i, 2*s - 3*s = -3*y + 328. Which is greater: y or 107?
y
Let o be ((5 - 4)/3)/((-7)/(-5418)). Which is smaller: -2/5 or o?
-2/5
Suppose -63 = -27*d - 333. Let p be (2 - (-15)/d) + 1/(-2). Which is smaller: p or -36/61?
-36/61
Let k be 18/120*-5 - (-1350)/8. Suppose 47*g + k = 55*g. Is 142/7 <= g?
True
Let p(w) = -8*w**2 + 1. Let l be p(-1). Let m be l/((-7)/3) + 0. Suppose -2*d = -5*d - m. Is 4/9 at least d?
True
Let x = 773/29 + -157914/5945. Which is greater: x or 0?
x
Let g = 23329 - 487807/21. Let y = g + -100. Is y at least as big as 31?
False
Let j(n) = -131*n - 23. Let i(x) = -112*x - 21. Let s(z) = -7*i(z) + 6*j(z). Let p(t) = -t**3 - t**2 + t - 5. Let b be p(0). Let f be s(b). Is 18 >= f?
False
Suppose 777 = 7*v - 91. Let h = v - 209. Is h < -84?
True
Let c = 391 + -388. Suppose 2*a - c*n + n = 22, n = -2*a + 22. Let f(z) = z**2 - z. Let p be f(4). Which is smaller: a or p?
a
Let s = 254 - 255. Let l be (-5)/((-10)/(-124))*s/2. Which is greater: 2 or l?
l
Suppose 2*l + 2*v = 980, 2*v - 492 = -7*l + 6*l. Which is smaller: 487 or l?
487
Let w(v) = -v**3 + 7*v**2 + 11*v - 2. Let o be w(9). Let b = 25019 + -174682/7. Let m = b + o. Is m smaller than -1?
False
Let y = 62.9 + -62.8. Let z = -0.25 - -0.455. Is z at least as big as y?
True
Let s(r) = -3 + 3*r**3 + 5*r**2 + 0*r - 6*r**2 - r. Let j be s(3). Let o = j - 66. Are -1/49 and o non-equal?
True
Suppose -73*n = -83*n - 4080. Let a = 456 + n. Which is bigger: a or 0?
a
Suppose 5740*c = 5782*c - 33600. Do c and 799 have the same value?
False
Let f(j) = j**2 + 7*j + 11. Let l be f(-5). Let r be (105/60)/(1/(-40)*l). Which is smaller: r or -69?
r
Suppose 0 = 9*g - 14 - 4. Suppose 2*d - 23 = 3*k, 5*k - 12 - 19 = -d. Suppose -m + 4*m + d = -g*r, 0 = -2*r - m - 20. Which is greater: r or -10?
-10
Suppose -v + r + 2*r = 295, -2*v + 3*r - 581 = 0. Let o = 401 + v. Which is smaller: 116 or o?
o
Suppose -46159 = -198*w - 4*w - 5759. Which is smaller: 201 or w?
w
Let r = 108.1546 + 13.5924. Let q = r - -0.253. Which is greater: q or -1/2?
q
Suppose 4*w - i - 12 = 5, -5*i - 1 = w. Suppose w*c - b - 28 + 33 = 0, -c + 3*b - 4 = 0. Which is smaller: -2/87 or c?
c
Suppose -4*t + 856 = 465*l - 470*l, -3*l = 5*t + 558. Is -170 less than or equal to l?
False
Let l = 1600276/397 - 4031. Is 0 greater than or equal to l?
True
Let j(k) = k**3 - 2*k**2 + 6*k - 5. Let s be j(3). Suppose -6*w + s = 5*w. Suppose 0 = 5*z + 5*m + 25, w*z + 3 = m + 5. Is 0 at least as big as z?
True
Suppose -1219 = b + 4*b + 4*x, 996 = -4*b + 2*x. Let d = 274 + b. Which is bigger: -3/7 or d?
d
Let l be 13/(94120/(-108510)) - -15. Does l = 1?
False
Let c be -1 - (-24)/56 - (-3)/((-84)/(-61672)). Is c less than 2202?
False
Let r be ((-6)/9)/(1