+ 13*b - 9. Let t = -6 - -18. Let w be g(t). Suppose -2*h - 216 = -5*h + w*m, 3*h + m = 228. Is 21 a factor of h?
False
Let x(i) = -i**3 - 14*i**2 + 11*i - 30. Does 30 divide x(-15)?
True
Let d(l) = -4*l**2 + 8*l + 10. Let j(o) = -3*o**2 + 9*o + 10. Let b(y) = -4*d(y) + 3*j(y). Is b(5) a multiple of 10?
True
Let v(c) = -2 + 1 + 3*c**2 - 5*c - 3. Let f be v(-3). Suppose -3*u + 1 = -f. Is 13 a factor of u?
True
Let d = -12 + -32. Let x be d/(-6) - 9/27. Let n(t) = t**2 - 3*t + 4. Is n(x) a multiple of 10?
False
Let a(w) = w**3 - 9*w**2 - 11*w + 12. Let d be a(10). Suppose 3*s = -d*q + 247, -38 = -q - s + 84. Is q a multiple of 17?
True
Let h = 2471 - 997. Is 22 a factor of h?
True
Suppose -p = 2*n - 1436, 38*p - 39*p - n = -1434. Is p a multiple of 8?
True
Let g be 34/3 + 6/9. Let q be (-22)/(-5) + g/(-30). Suppose x + 81 = q*x. Is x a multiple of 9?
True
Let k be (-2)/(-1 - 3/(-6)). Suppose 0 = -2*w + 5*n - 40, 2*w - k*n = -0*n - 36. Let l = w + 57. Is l a multiple of 14?
False
Let c(h) = h + 15. Let i be 2 + 10 - (0 + 2). Does 4 divide c(i)?
False
Suppose l + 4*l = 4*w + 27, -4*w = -4*l + 24. Does 17 divide (32/(-12) + w)*-21?
True
Let r(x) be the second derivative of -x**5/20 + 13*x**4/12 - 13*x**3/6 + 5*x**2 - 16*x. Is 18 a factor of r(11)?
False
Suppose 7035 = 5*y - 240. Is 15 a factor of y?
True
Let m(n) = -n**3 - 7*n**2 + 38. Let b be m(-6). Suppose -8*o = -5*z - 4*o + 1307, 0 = b*z - o - 524. Is z a multiple of 39?
False
Let w = 13 + 2. Suppose -6*b = -3*b - w. Suppose -7*r + 130 = -b*r. Is 13 a factor of r?
True
Suppose -5*n = -p - 1010, 2*n - 404 = -0*p + p. Let v be n + -4 + 2/1. Let l = v - 109. Is l a multiple of 24?
False
Let w = 15 + -9. Suppose -9*l = -w*l - 12. Does 2 divide l?
True
Is 0 + -9 - (75 - 2212) a multiple of 42?
False
Let g(k) = k + 2. Let v be g(-1). Let o(n) = 64*n**2 - 2*n + 3. Is 13 a factor of o(v)?
True
Suppose 22 = 3*y - 2*y. Is 88/(-10)*(-55)/y a multiple of 6?
False
Let w(t) = 5*t**2. Let z be w(-1). Suppose -2*u + 104 + 69 = z*b, -120 = -4*b + 3*u. Let m = b - -1. Is m a multiple of 17?
True
Suppose -5*k + 99 = -2*k. Suppose 0 = -3*j + k + 189. Is j a multiple of 37?
True
Let j(c) = -159*c - 156. Is 40 a factor of j(-4)?
True
Let s(r) = -27*r - 894. Is s(-58) a multiple of 6?
True
Let k = 2594 + -930. Is k a multiple of 16?
True
Let f = -75 + 143. Is f a multiple of 11?
False
Let t(b) = -b**3 - 6*b**2 - 10*b - 20. Let o be t(-5). Suppose 452 = o*k - 4*p + 2*p, 0 = -k - p + 89. Is 6 a factor of k?
True
Is 18 a factor of ((-1)/((-21)/3924))/(62/651)?
True
Suppose c - 3*k + 2*k - 19 = 0, -2*c = 4*k - 56. Let u = c - 19. Suppose -22 = u*o - 154. Is o a multiple of 11?
True
Let h = -15 + 39. Suppose -7*j - 4*l - h = -3*j, -2*j = -2*l + 24. Let o = j - -15. Is 6 a factor of o?
True
Suppose 12*o = 1432 + 752. Is 8 a factor of o?
False
Suppose 5*x - c = 630, 4*x - 5*c = 117 + 387. Does 21 divide x?
True
Suppose -2*a - 116 = -6*a. Suppose -24*t + 280 = -a*t. Is 16 a factor of t/3*(-117)/26?
False
Suppose -24 = -0*y + 4*y. Let f(p) be the third derivative of -p**6/120 - p**5/10 + 4*p**3/3 - p**2. Is 4 a factor of f(y)?
True
Suppose -20 + 2 = -o. Let f = o + -17. Suppose 6*d - f - 23 = 0. Does 2 divide d?
True
Suppose p + 5 = 1. Let c be (-1 - -3)/(p/(-8)). Suppose 5*k + 4*w = 157, 0*k + 41 = k - c*w. Is 21 a factor of k?
False
Let o be (0 + -5)*(-14)/(-5). Let j(g) = -g. Let a(i) = -5*i + 9. Let t(x) = -a(x) + 6*j(x). Is t(o) even?
False
Let a = 458 - 317. Is a a multiple of 28?
False
Let x be ((-24)/(-30))/(2/5). Let k be (-3 - (-5)/x)*0. Suppose 0 = -k*l - 3*l + 192. Is l a multiple of 10?
False
Let v = -86 + 88. Is 20 a factor of 230*v*(-5)/(-20)?
False
Suppose 27*o - 29*o - 8 = 0, 3*n + o = 1376. Is n a multiple of 19?
False
Let u be (0 - (-156)/3)*18. Suppose u = 8*z + 4*z. Is 22 a factor of z?
False
Suppose -w = -4*t - 30, -5*w + 45 = -2*w - 3*t. Suppose 4*y - 19 = -3*l, 0 = -3*y + 3*l + 20 + w. Does 7 divide y?
True
Let v(t) = 2*t**2 + t + 6. Suppose 0 = 5*c + f - 34, 4*f + 25 = 3*c - 0*f. Suppose -o + 18 = -c*o. Is v(o) a multiple of 8?
False
Suppose 0 = 2*m - m - 101. Suppose 5*d + 26 = m. Is 9 a factor of d?
False
Let k(d) = 162*d**2 - 5*d + 8. Let q be k(1). Suppose 1163 = 5*i - 3*l, 5*l - 903 + 178 = -3*i. Let j = i - q. Does 14 divide j?
True
Let o(k) = -k**2 + 2. Let c be o(-2). Let v(j) = -9*j**2 - 5*j + 6. Let z(a) = -26*a**2 - 14*a + 17. Let t(x) = 11*v(x) - 4*z(x). Is t(c) a multiple of 8?
True
Suppose -i + 55 = m, -230 = -5*i - 2*m + 6*m. Suppose -l - i = -2*l. Let t = 22 + l. Is 12 a factor of t?
True
Let m(t) = 3*t - 24. Let l be m(10). Suppose l*i + 101 - 299 = 0. Is 30 a factor of i?
False
Let m(u) = -226*u**3 - u**2 - 5*u - 3. Does 9 divide m(-1)?
False
Let k(h) = -h**3 - h**2 + 6*h + 3. Let i be k(-3). Does 9 divide 0 + i - -2*12?
True
Let a(l) = 2*l + 5*l - 10 + 16 - 7. Let f be a(-1). Is f*(6/(-4) + 0) a multiple of 7?
False
Suppose 0 = -2*m + 3*f + 35, -f = 6*m - m - 113. Let a = 32 + m. Is a a multiple of 9?
True
Let x(u) be the second derivative of -u**3/6 - 5*u**2/2 + 5*u. Let m be x(15). Does 13 divide (-22)/((-5)/(m/(-2)))?
False
Suppose 3*c + 8 = -4*d, 2*c - d = 4*c + 7. Does 15 divide 6/(-24) + (-121)/c?
True
Let c = -1672 - -2732. Is 20 a factor of c?
True
Suppose 2*x + 3*x - 425 = 0. Suppose 0 = -4*r - 3*g + x, -2*r + 4*r - 26 = 4*g. Is r even?
False
Let z = -12 + 14. Suppose -f + 68 = -z*j, 4*f - 2*f + j = 141. Does 14 divide f?
True
Suppose 5*w = 4*r + 4880, 69*w = 65*w + 3*r + 3905. Is 35 a factor of w?
True
Suppose 3*p - 2*l - 7 = 0, -3*p + 6*p + 3*l = 12. Suppose 4*z - p*z = 2. Suppose -3*j + 11 = -z*t, 0*j + 3*t = 2*j - 9. Does 3 divide j?
True
Let l(a) = a**2 + 17*a + 5. Let j be l(-17). Suppose 25 = -0*d - j*d. Let y = d + 29. Is y a multiple of 8?
True
Let l(k) = k**2 + 10*k + 6. Let w(i) = i**2 + 10*i + 7. Let b(f) = 3*l(f) - 2*w(f). Is b(-21) a multiple of 12?
False
Let g be (-28853)/(-77) + (-4)/(-14). Suppose 6*f - g = f. Does 15 divide f?
True
Let f be (-36)/30*(-40)/3. Suppose 52 = 2*g + f. Let b = g + -11. Is b a multiple of 5?
False
Let l be 4/(-18) + (-50215)/(-99). Suppose 98 = n + 3*b, 4*n - 2*b = -n + l. Does 25 divide n?
False
Let f(i) = 17*i**3 + i**2 - i. Let l be f(2). Let p be (-1)/(5/2)*-15. Suppose 3*v - 3*t - 108 = -p, l = 4*v - 3*t. Is 18 a factor of v?
True
Let y(k) = 98*k - 340. Is 6 a factor of y(5)?
True
Suppose 0 = -36*c + 42*c + 54. Let j(r) = r**3 + 10*r**2 + 9*r + 2 + 7 + 1. Is 8 a factor of j(c)?
False
Let f be (2 - (-109)/3) + (-2)/6. Let j = 100 + f. Is j a multiple of 26?
False
Let i = -127 + 236. Is i a multiple of 25?
False
Let j(k) = 12*k - 19. Suppose -i = -3*z + 26, 2*z + i - 5*i = 34. Is j(z) a multiple of 4?
False
Does 20 divide (6 - 4)*(-157)/(-2)?
False
Suppose 169 = 5*r + 144. Suppose -4*p - 98 = -3*a, 0*a + r*p - 96 = -2*a. Is 19 a factor of a?
True
Let l = 38 - -239. Is 10 a factor of l?
False
Let r(m) = 2*m**2 - 2*m. Suppose -n = n + 6. Does 12 divide r(n)?
True
Suppose -3*m = -l - 5, 5*m + 1 = 2*l + 9. Suppose 4*g = -5*c + 48, -c - 3*g = -1 - m. Is 27 a factor of 3/c + 828/16?
False
Suppose 0*f = 3*f + 2*q - 31, 2*f = q + 9. Suppose -4*m = -f*m + 270. Does 30 divide m?
True
Let p = -59 - -44. Is (p/(-10))/((-6)/(-320)) a multiple of 10?
True
Suppose 5*a - 17 = -2. Suppose -a*c + 348 = 5*r + 7, 557 = 5*c - 3*r. Is 16 a factor of c?
True
Suppose 20*l = 14*l + 7128. Is l a multiple of 27?
True
Let u(t) = t**2 + t - 25. Let s be u(0). Let w be (s/(-10))/(1/(-2)). Let i = 12 - w. Is 5 a factor of i?
False
Let p(r) = r + 16. Let o = -25 - -13. Let u be p(o). Suppose -5*m + 1 = -6*m, -115 = -u*z - 5*m. Does 15 divide z?
True
Suppose -2*k = 4*p + k - 255, 4*p = -k + 261. Is 4 a factor of p?
False
Suppose 4*p - 24 = -4*j, -3*j + 7 = 2*p - 7. Suppose p*b = 104 + 236. Let s = b - 53. Is s a multiple of 8?
True
Suppose -2*i = -6*k + 4*k + 36, -i = -5*k + 78. Suppose -2*p + 55 - k = 0. Let s = -5 + p. Is s a multiple of 5?
True
Suppose 5*y + 4*w = 2*w - 3, 2 = y + 3*w. Let m be -19 + y + -2 + 4. Is 6/(-27) + (-202)/m a multiple of 9?
False
Let k be 3/8 + (-234)/(-16). Suppose -a - k = 11. Let b = -6 - a. Is b a multiple of 3?
False
Suppose 0 = x - 3*c - 14, 3*x = -x - 2*c. Suppose x*l = -3*i + 4*i + 1, -5*l - i = -13. Is 28 a factor 