10. Suppose -b*h + 19 = f, 36 = 3*h + 6*f - 2*f. Which is smaller: h or 0?
0
Suppose -m - 3*y + 7503 = 0, y - 4*y + 15000 = 2*m. Let q be -5 + (-1)/((-1498)/m). Which is greater: -1 or q?
q
Let h be -11*(-24)/(-660)*(390 - -1). Which is bigger: -155 or h?
-155
Let j be (-724)/(-8) + 3/6. Let h(c) = 11*c**3 + 12*c**2 - 49*c + 55. Let d be h(2). Is d greater than j?
True
Suppose -20 = -32*h + 28*h. Suppose -h*z + 3*f = -774, -z = -4*f - 21 - 144. Which is greater: z or 152?
z
Suppose -4*u = -5*w + 20, -u + 5*w - 13 = 7. Let m = -0.784 + 1. Is u at most m?
True
Let h(p) = 7*p**2 - 3. Let v be h(-3). Let j = -1853 - -3583/2. Let x = j + v. Do 3 and x have the same value?
False
Let o = -69 + 69.47. Let p = -0.57 + o. Is 15 less than p?
False
Let i be ((-1)/123)/((-3)/189)*1. Which is bigger: i or -0.2?
i
Let t = -22/1291 + 1412640/16783. Let f = t + -84. Let q = 346 + -344. Is q at least as big as f?
True
Let p(c) = 17*c**2 - 5*c + 3. Let q be p(1). Let y be ((-2)/5)/(12/q). Do y and -192 have different values?
True
Suppose 25 = -0*i + 5*i. Let m = -4 + i. Let n = -7/2916 + 559/5103. Is m < n?
False
Let k be 4/(-6)*(-54)/(-5715). Let y = -2002/116205 - k. Let f = -59/183 + y. Which is greater: 2 or f?
2
Let i(x) = 5*x**2 - 35*x - 258. Let r be i(11). Suppose -3*c - 3*d = 228, 4*c + 2*d - d + 307 = 0. Let b = c - -41. Is r at least as big as b?
False
Let c be 278/117 + (-6)/27. Suppose -6*q = 13*q - 8*q - 33. Which is smaller: q or c?
c
Suppose -44*w - 2997 + 1149 = 0. Let o(u) = -2*u**3 + 22*u**2 - 5*u + 15. Let l be o(11). Which is bigger: l or w?
l
Let l be (-2335)/(-250)*(-88)/(-6). Let i be (-5)/15 + (-3 - (-802)/(-6)). Let c = i + l. Which is smaller: 0 or c?
c
Let l(k) = -113*k + 4068. Let f be l(36). Is 5/97 not equal to f?
True
Let y(f) = 2*f - 61. Let g be y(31). Let c = 53 + -50. Suppose c*z - 18 = z. Which is smaller: z or g?
g
Let k be 1/4 + (-403)/1612. Which is smaller: 2/26645 or k?
k
Suppose 5*c = -4*f + 26, 0 = 3*c + 3*f - 7*f + 10. Suppose 3*m - 111 = -4*g + 11, c*m = -g + 83. Which is greater: 3 or m?
m
Let h(p) = 351*p - 4745. Let z be h(14). Is z smaller than -26?
False
Suppose 55*f + 102 - 377 = 0. Which is smaller: f or 186?
f
Let k = 1925 + -3044. Is k at least -1124?
True
Let p(v) = v**3 + 6*v**2 + v + 7. Let f be p(-6). Let h = -46713.9 + 46713. Which is greater: f or h?
f
Let h be 26/(-3) + 4/(-15 - -3). Let d = 31/6 + -541/42. Is h > d?
False
Let i be -4*(-117)/48 - 3/(-12). Suppose i*w + 10*w = -720. Is -35 equal to w?
False
Suppose -4*w + 128 = 4*n, -w + 2*n + 29 = -0*n. Suppose 4*a - 37 = w. Suppose -4*o = 3*k - 17, -o + 2*k = 2*o - a. Is o < 7?
True
Let v be -3 - -1*(0 - -1) - -62. Let z = v - 55. Suppose -4*b + 1 = -z*b. Is b smaller than 1/88?
True
Let d = -11 + 30. Suppose -5*n = -4*v + v + d, -v + n = -5. Suppose 3*p = v*k + 138, 0 = -2*p + 5*k - 59 + 166. Which is bigger: p or 42?
42
Let b = 169696/483 + -1054/3. Let p = b + -11/276. Which is smaller: 0 or p?
p
Let n(c) = -6*c - 17. Let m be n(10). Let s be 0 + 14/m + (-6)/(-15). Which is greater: s or 0?
s
Suppose 2 = -5*c - 13, -5 = 5*r + 5*c. Let m(x) = 4*x**3 - 2*x**2 + 2*x - 1. Let v be m(2). Suppose -4*p = -11 + v. Is r > p?
True
Let s = 2/43 - -103/559. Suppose 0 = 23*u - 26*u + 15. Suppose -u*a - 14 = 4*y + 7, 9 = 4*y - a. Is y greater than or equal to s?
True
Suppose 10 = 6*l - 98. Let h = 399 - 379. Which is bigger: l or h?
h
Suppose -4*x = c - 37, 185 = 79*c - 74*c + x. Which is smaller: 30 or c?
30
Let f be 1*-2 - (-1 - 18). Suppose -92*h + 30 = -90*h. Do h and f have the same value?
False
Let p = -24048 - -24056. Let a(v) = -v**3 - 6*v**2 + 2*v**2 - v + 3 - 3*v**2. Let z be a(-7). Which is smaller: p or z?
p
Let c(u) = -2*u**3 - 107*u**2 - 26*u - 127. Let k be c(-53). Which is smaller: k or -1559?
-1559
Let o(j) = 3*j**3 - j**2 + 15*j + 1. Let i(b) = -3*b**3 - 14*b - 2. Let k(d) = 4*i(d) + 3*o(d). Let l be k(-5). Which is bigger: 351 or l?
351
Let c = 723 + -722.2. Let y = -460 - -9662/21. Is y < c?
True
Let y = -268 - -93. Let p = 156 + y. Let b = 25 - 44. Is b at most p?
True
Let j(q) = 18 + 11 + 15 + 9*q + 7*q**2 - 8*q**2. Let i be j(12). Is 1 != i?
True
Let u = 2963.993 - 2962. Let a = 17.4 + -17.407. Let r = u - a. Is r > -0.04?
True
Let a be 4693/(-52)*-1*4. Suppose -26*w + a = -1615. Which is smaller: w or 530/7?
530/7
Suppose 4*a + 3 = 3*s - 25, 5*a - 11 = -2*s. Let b be 1/(12/s - 2) + 18. Does b = 16?
True
Suppose 146*f - 124*f = 792. Is f less than or equal to -9/4?
False
Suppose -4*p = -3*t - 90, -2*t - 6*p + 8*p - 62 = 0. Let m(a) = -36*a**3 - 9*a + 8. Let z be m(1). Is t at most z?
False
Let f = -54846.94 + 56403. Let b = 1498 - f. Let r = b - -58. Which is greater: r or -3?
r
Let n = -201 + 5026/25. Suppose 4*s = -s - 155. Let k = s + 32. Which is greater: k or n?
k
Let s be (33/((-5643)/1748))/((-1)/(-6)). Which is smaller: -60 or s?
s
Suppose -3407 = 24*p + 7753. Is p less than -467?
False
Suppose 0 = z - d + 5*d + 7, z + 5*d = -6. Let i = 135500 - 135495. Which is greater: i or z?
i
Let l = 2.656 + -2.6. Let i = 7.056 - l. Let h = 102 + -513/5. Which is greater: i or h?
i
Let k be ((-16)/(-40) - (-3618)/30)/(0 - -1). Is 131 < k?
False
Let d = 523 - 521. Is 15/208 at least d?
False
Let m be (-9)/(-12) - 58/(-8). Suppose -w + 4*w + 6 = 3*j, 4*j = w + m. Let f = -203 - -3043/15. Which is smaller: w or f?
f
Let k = -84.385 - -1.185. Let d = 83.168 - 0.168. Let s = k + d. Is -0.11 > s?
True
Suppose -22*o + 319 = -297. Let j be 5455/(-25) + o/(-35). Is -219 < j?
False
Suppose 18*o - 23*o - 15 = 0. Let l be (-96208)/(-52) + (-2)/13. Let d = 14779/8 - l. Which is bigger: d or o?
d
Let g(v) = -v**3 - 10*v**2 + 56. Suppose 2*n - 2 = -18. Let w be g(n). Which is smaller: w or -74?
-74
Let v = -0.3 - 0.2. Let b = -50589 + 50589. Which is smaller: v or b?
v
Let q be 1872/(-10) + 14/35*-2. Let w = q - -105. Which is smaller: w or -84?
-84
Let s = 185/6 + -14367/466. Let v(p) = p**2 + 22*p - 319. Let q be v(10). Which is bigger: q or s?
q
Suppose -7*k + 1336 = -855. Let w = 17/10959 + -3425969/10959. Let j = w + k. Which is smaller: 0 or j?
0
Let i = -1123 - -1118.21. Let v = i + 4.79. Which is smaller: 3/47 or v?
v
Let u = 4/23 + -419/161. Let k = -32 - -34. Suppose 3*b + k*b = 2*z, b = -z - 7. Which is greater: u or b?
b
Let u be 9/18*-28*(-2 + 0). Let m = -73 + 48. Let q = m - -52. Do q and u have the same value?
False
Let b = 5 - 5. Let c = 71 - 71.039. Let o = -0.381 + c. Is b at least as big as o?
True
Let v = -257 - -104. Let h = 161.6 + v. Which is bigger: h or 0?
h
Let b = 99.2 + -17.2. Let q = b + -145. Let r = q + 63. Which is greater: r or -3?
r
Suppose -111*k - 61439 = 20*k. Is k > -17?
False
Suppose 4*d - 85 = -5*u, -u - 2*d + 12 - 1 = 0. Suppose 6*o - 4*o - 3*s + u = 0, 5*o - 3*s = -30. Let k be (1 - (4 + -4)) + o/5. Which is smaller: k or -0.12?
-0.12
Let s be 75/(-50)*(-8)/(-3). Let h be ((-208)/6)/(((-32)/(-12))/s). Is 53 bigger than h?
True
Let m be -1 + 1 + 1 - 15/(-5). Let u(x) = 2*x**3 - 5*x**2 + 9. Let a be u(m). Let g = a + -66. Is -7 less than or equal to g?
False
Suppose -2*p - 12 = -n - n, -20 = -3*n + 4*p. Let z be 7/(-28) - (-21)/n. Is 51/11 not equal to z?
True
Let s(n) be the first derivative of 14*n**3/3 + 7*n**2 + 27*n - 66. Let p be s(-2). Which is greater: 6 or p?
p
Let i = 729.7 + -718. Let c = i + -15.7. Which is bigger: 7/6 or c?
7/6
Let c(y) = y**2 - 27*y - 223. Let u be c(-41). Is 2565 less than or equal to u?
True
Suppose -5*w + 2*g + 678 = 0, 683 = -0*w + 5*w + 3*g. Let d be ((-117)/52)/((-6)/w). Let z = 0 - 0.1. Is z not equal to d?
True
Let r(w) = 27*w**3 - 2*w**2 + 4*w - 1. Let v = -113 + 116. Let f be r(v). Let j be 1 + 2 + (-2170)/f. Is -1 not equal to j?
True
Suppose 2*q - 5*j = 2, 0 = -19*q + 18*q + j + 1. Which is smaller: 1/3029 or q?
1/3029
Suppose 0 = 9*w - 41 - 436. Is 55 greater than w?
True
Let j be (-1*(-10)/25)/(14/(-35)). Let h = 519/4 + -52411/404. Which is greater: h or j?
h
Suppose 21 - 65 = 44*n. Suppose 4*o = -5*d - 125, -2*o - 5*d = 45 + 30. Let j be n*1/(-5) + 5/o. Is j greater than 2/85?
False
Let t = -6 - -8. Let a be (-1658)/(-1802) - 412/10918. Which is bigger: t or a?
t
Let o = -206 - -207. Let w be ((-8)/3690*-5)/(4/(-6)). Which is greater: o or w?
o
Let g = -25988 - -259