)/(-4) - 1). Let y(x) = 9*x**2 - 8. Let v(u) = 8*u**2 - 7. Let b(c) = 5*v(c) - 4*y(c). Let n be b(4). Which is smaller: n or p?
n
Let p be 2/(-10) - (-412)/35. Let r = -1336566 - -159052738/119. Let t = p - r. Which is smaller: -1 or t?
-1
Let k be (-53 + 5)/((783/(-4))/9). Are 2 and k equal?
False
Let k be ((3 - (-25)/(-10))*-2582)/(-1). Which is greater: 1292 or k?
1292
Suppose -44*k = -38*k - 162. Let r = k + -22. Let x be 1 + 2*27/6. Is x less than or equal to r?
False
Let q be 832/2961 + (-6)/21. Let s be (-160)/3440 - (540/172)/(-3). Are q and s equal?
False
Let t be 20/50 + (-16)/(-10). Let q be ((-2)/t + 2)/(-1). Let m = -328.1 - -333.1. Which is smaller: q or m?
q
Let r be 24/(-8757)*3890298 + -1. Let y = 10663 + r. Is y less than or equal to -1?
False
Let c = 912 - 966. Which is bigger: c or 11?
11
Let n = -2071 + -1442. Do n and -3513 have the same value?
True
Let w(f) = 7*f**3 + 2*f**2 + f - 2. Let b be w(1). Let m(i) = i**3 - 8*i**2 - 3*i - 20. Let k be m(b). Which is greater: k or -45?
k
Let j = -40.99 - -12.99. Which is greater: j or 2/5?
2/5
Let q(j) = 18*j + 1. Let l be q(3). Let h be 2*15/(-9)*12/l. Which is smaller: -4 or h?
-4
Let j = -15 - -26. Suppose 3*m - 12 - 24 = 0. Let s = m - j. Are -4/27 and s equal?
False
Let p = -0.071 - 3.029. Let a = 3.077 + p. Let f = a + -2.977. Is 0.16 less than f?
False
Let i = 456 + -146. Suppose i = 3*r + 124. Is 62 at most r?
True
Suppose -20937*u + 20834*u = -682478. Is -2/5 > u?
False
Let g = -1.3 + 3.3. Let h = -4147/12 - -345. Is g less than or equal to h?
False
Let b = 96 + -29. Suppose 14*p - 12*p - 126 = 0. Is p equal to b?
False
Let f = 522 - 312. Let v = 210.3 - f. Is v equal to 0.4?
False
Suppose -4*p + x = -131, -2*x + 0*x + 154 = 5*p. Suppose d - p + 8 = 0. Suppose -27*o = -d*o + 12. Is -4 < o?
False
Let i = -478 + 780. Let t = i + -301. Is t < -0.19?
False
Let h be -4 + 13/((-21723)/1050490) + 0. Let s = h + 1898/3. Is s >= -1?
True
Let j = -7 - -7. Suppose -g = -6*g - 2*y + 463, 2*g - 189 = 3*y. Let s = 463/5 - g. Is j at most s?
False
Let a(v) = -v**3 - 12*v**2 - 10*v + 15. Let m be a(-11). Suppose -2*l - 19 = -u, 0 = m*u + 39*l - 40*l - 55. Is u at most as big as 16?
True
Let g = 7332 - 15335. Is g greater than or equal to -8004?
True
Suppose -c - c = -6. Suppose 0*u + 5 = 5*u. Let s be (u + 0)*(-16)/(-88). Which is smaller: s or c?
s
Let u = 0.848 + -444.848. Let n = 445 + u. Which is greater: n or -2/417?
n
Let s = 3 - 4. Let o be (-38)/6*-4*(-27)/18. Let g be 42/(-56) + o/24. Are s and g nonequal?
True
Let p = -0.14847 + 0.04847. Let j = 0.64 - 0.8. Let l = j - -1.96. Which is greater: p or l?
l
Let m(l) = 2*l + 144. Let r be m(-79). Let t = 14 - 30. Is t >= r?
False
Let f be 4160/3640 - 15/7. Let d be ((-10)/(-4))/((-5)/(-10)). Suppose 0*a - d*a = 30. Is a >= f?
False
Let d be 3*(-37)/(-9)*9780/80. Let o = -1522 + d. Which is smaller: 1 or o?
o
Let m = -522 - -2345. Which is smaller: m or 1824?
m
Suppose 5*i = -3*u + 27, -3*u + 7*u - 13 = i. Let o be (356/12 - i) + -2. Which is smaller: o or 26?
o
Let q = -354 + 380. Let s be (-1 - -2)/(26/q). Which is greater: s or -4/57?
s
Let f = 6.13955 - 0.13955. Which is greater: f or 4.69?
f
Suppose 0 = 30*a - 371 - 1369. Which is smaller: a or -3?
-3
Let z = 1555/66 - 283/11. Let l = 2 + 2. Let y = l - 7. Are y and z non-equal?
True
Let d = 13896 + -13897. Are d and 3/1819 non-equal?
True
Let k be 11065 - (-54 + 14 - -25). Which is smaller: k or 11079?
11079
Suppose -6 = 3*x - 4*m + 12, -21 = 3*x - 5*m. Let l be x/(8/14)*-22. Is 1 less than l?
True
Let g = -844 - -476. Suppose -13 = 4*q - 5*a, 4*q + 0*q = -3*a - 5. Let f be q/(-5) + g/20. Is f equal to -19?
False
Let s be (-9)/(-3) - -218*(-4)/8. Let t = s + 69. Suppose -u + 3*h = 33, -4*h - 136 = 4*u + 12. Which is smaller: u or t?
t
Let y = -197.749 + -0.251. Let h = y + 231. Which is bigger: h or -1?
h
Let f = -10341 + 10015. Is f > 3?
False
Let z = -59129 + 59115. Let a = 10 - 20. Which is bigger: z or a?
a
Suppose 2 = -3*w - 4. Let o = 31092/13 + -93302/39. Is o bigger than w?
True
Let s be (-62 + 6 + 2)*(-3 + 80/15). Is s > -1124/9?
False
Suppose -42*k + 561 - 519 = 0. Which is bigger: 6/1507 or k?
k
Let w(m) = 4*m**3 - 41*m**2 + 21*m + 95. Let n be w(10). Is 90 greater than n?
False
Suppose -b + 4*c = 40 - 24, -2*b = 5*c - 20. Do b and -1/1103 have the same value?
False
Suppose -9*t + 8237 = 2954. Suppose -5*o + z = -t, 5*o + 3*z - 589 = 5*z. Is 117 smaller than o?
False
Let c be (-2 - (-4 + -8)) + -16. Let y = -10 - -18. Suppose 5*v - 21 = y*v. Is c less than v?
False
Let v(z) = -2*z + 35. Let q be v(15). Suppose b = -q*w + 52, -220 + 16 = -5*b + 3*w. Let y = -42 + b. Which is smaller: 1 or y?
y
Suppose -3*n = 5*i - 37, 2*n + 2*i - 14 = n. Suppose 3*l - 3*y + 240 = -6*y, n*l + 3*y = -320. Let z be 50/56 + (-20)/l. Which is smaller: 2 or z?
z
Suppose -2*m = -4*m + 4. Suppose -36 = -3*t + 2*l, -4*l = m*t + 2*t - 28. Suppose 2*b + 15 = 45. Is b at most t?
False
Let s(p) = -4*p**2 + 534*p + 781. Let u be s(135). Let r be (3 + -1)*(-33)/2. Which is bigger: r or u?
u
Suppose -2*s = -8*s + 852. Let n be s*((-4)/(-8) - 1). Let i = n + 67. Which is smaller: -10 or i?
-10
Let i(p) = 6*p**3 - 14*p**2 + p - 41. Let m be i(10). Do m and 4569 have the same value?
True
Let l = -22282 + 22294. Suppose -v + 5*v - 76 = 0. Which is smaller: v or l?
l
Suppose -131*r = 6600 - 13584 - 17120. Is 181 at least r?
False
Let w = -8132 + 8137.8. Is -8 < w?
True
Let v(a) = -6*a**2 - 2*a + 6. Let z be v(2). Let b be 55/z + (10/(-4) - -2). Let u be ((-64)/12)/(b/(-9)). Which is bigger: -17 or u?
u
Let w be 106/(-27) - (8 + -8 + 3 - 7). Is -33 greater than or equal to w?
False
Let u be (-23)/6 + (-55)/330. Let y be (3 + -1)/(u/((-128)/(-2))). Suppose o = -2*o - 3. Which is greater: o or y?
o
Suppose -1575 + 6247 + 4022 = 69*n. Is n greater than 134?
False
Let v = 11335 + -11336. Is v at most -1/2139?
True
Let l be (-556)/(2 - 6) + -2. Suppose 7*g - 2*d + 141 = 6*g, -g + 4*d - l = 0. Which is smaller: g or -144?
g
Let a = 3348.1 + -3350. Which is greater: -4 or a?
a
Let n = 11.78 + 0.62. Let j = -141.12 - -128.92. Let z = n + j. Which is greater: z or 11?
11
Let i be -4 + 34/10 + 9/72*8. Do i and -2177 have different values?
True
Let z be (5997/4)/((-1953)/2604). Which is smaller: -2005 or z?
-2005
Let l = 23254 - 23252.7. Which is bigger: 0.006 or l?
l
Suppose 11*o = 16*o + 75. Let i = -498 - -473. Is o at most i?
False
Let l = -191 + 345. Let i = -154.1 + l. Is i <= -33?
False
Let d = 28 - 18. Let q = 136 - 112. Let p be (18/(-4))/(q/(-64)). Is p greater than d?
True
Let h = -1409 - -1410. Do h and -22/129 have different values?
True
Let y be ((-14)/(-4) - 1)/(675/1388340). Which is greater: y or -1?
y
Let x(u) be the second derivative of u**4/12 - 5*u**3/6 - 2*u**2 + 3*u. Let d be x(9). Which is smaller: 30 or d?
30
Let z = 58.423 - 58.7. Let r = -0.023 + z. Which is smaller: r or -0.03?
r
Suppose -24*a + 26*a + 5 = 5*u, -3*u - 2*a = 13. Is u < 3/11?
True
Let z(p) = 2*p**3 + 99*p**2 + 47*p - 98. Let m be z(-49). Let u be m/(1*2/2). Which is bigger: -3/193 or u?
u
Suppose 0 = -9*s - 4844 + 3917. Is -407/4 bigger than s?
True
Let y be ((-14)/(-4))/(26/962). Let i = y + -144. Are -16 and i equal?
False
Let h be ((-9)/84)/((-45)/40). Suppose 121*f + 72 = 127*f. Let m be 2 + -6 - (f + -15). Which is bigger: h or m?
h
Suppose 0 = -5*u - j + 11 - 21, u - 4 = j. Which is greater: 19/796 or u?
19/796
Let o be (-318)/(-14) - 8 - 15. Are o and -1849/2 equal?
False
Let k(y) = -y**3 - 4*y**2 + 3*y - 7. Let c be k(-5). Let d(t) = t**2 - 6*t + 8. Let p be d(5). Suppose 4*h = -3*g + h - p, 0 = c*g - 5*h - 13. Is -2/25 < g?
True
Let m(i) = -3*i**2 - 174*i - 171. Let b be m(-57). Is b at most as big as -11126?
False
Let n be (-556)/(-6)*-1*9/(-162) - -4. Is n >= 8?
True
Let a = 4635 + -4636. Is a at least -5/1043?
False
Let q = -35526 - -35497. Suppose -119 + 22 = -3*n - c, -3*n = 3*c - 99. Suppose 15 = -3*r, x = -4*r + 3*r - n. Which is smaller: q or x?
q
Suppose 28*z - 137 + 109 = 0. Is 3/227 not equal to z?
True
Suppose 8*m + 14*m - 616 = 0. Suppose 4*z = 4*x, -5*z - 4*x + 19 = m. Are z and 10/137 nonequal?
True
Let s = 20051.26 + -19846. Let g = s + -203. Let h = g + -0.26. Is h less than -3?
False
Let h = 