+ 133. Let h = -8 + b. Is h a multiple of 24?
False
Let i(q) = q**3 + 11*q**2 - 12*q. Let c be i(-12). Suppose -4*d = 3*j - 21, c*d - 9 = -2*d - j. Is 3 a factor of d?
True
Suppose 12 = 5*b - 2*b. Let d be (b - 3)/((-1)/2). Let f = d + 14. Is 12 a factor of f?
True
Suppose -5 = -p - 1. Suppose -v - 43 = -4*n, 2*n + p*v = 6 + 20. Let i = 8 + n. Does 8 divide i?
False
Suppose 3*q + 12 = 6*q. Let p(k) be the first derivative of k**2 + 4*k + 2. Is p(q) a multiple of 12?
True
Let n(l) = 6*l**2 + l - 3. Let d(f) = 12*f**2 + 2*f - 7. Let q(y) = -4*d(y) + 9*n(y). Let k be q(2). Let t = k - 16. Is 6 a factor of t?
False
Let l be (-1 - 0)/(6/(-150)). Let z = 42 - l. Does 8 divide z?
False
Let x(m) = -m**2 - 25*m - 2. Is 22 a factor of x(-13)?
True
Let w be ((-2)/(-4))/(2/(-4)). Let a = 0 + w. Let i = a + 15. Is i a multiple of 14?
True
Suppose 2*m - 4*g = -30, -3*g + 2 + 7 = 0. Let a = -14 - m. Let l = a + 9. Is 2 a factor of l?
True
Suppose 4*g - 233 = -s + 3*g, 466 = 2*s + 3*g. Is s a multiple of 25?
False
Suppose -2 = 3*l + 1. Suppose 0*k = 4*k + 8. Is 13 a factor of (-308)/(-8) + l/k?
True
Suppose 1702 - 379 = 7*t. Does 27 divide t?
True
Let d(f) = -f**2 - 11*f - 10. Let y be d(-10). Suppose -4*j = 20, y = -2*g - 2*j - 0*j + 80. Is g a multiple of 12?
False
Let c(v) = v**2 + 20. Let l be c(0). Suppose m - l = -m. Is 8 a factor of m?
False
Let q(s) = -2*s**2. Let i(h) = -5*h**2 - 2*h - 1. Let c(l) = 2*i(l) - 6*q(l). Suppose y - 6 = -4*a - 18, 4*a + 20 = y. Is c(y) a multiple of 13?
False
Suppose -3*k = -d - 295, -5*k + 3*d + 493 = -0*d. Does 17 divide k?
False
Suppose 4*n + 28 = 4*k, 0 = 4*n - k + 21 - 2. Let f = n + 25. Is 21 a factor of f?
True
Let v be 3/(3*-1) + -4. Let s be (-12)/(v - -2) + -2. Suppose 0 = -s*c - 2 + 18. Is c a multiple of 8?
True
Does 27 divide 168 + -1 - (26 + -21)?
True
Let z = 22 - 1. Is 11 a factor of z?
False
Let l(k) = -k + 7. Let f be l(6). Let v be -1 + 6/(f*-3). Let z(o) = o**2 - 3. Is 3 a factor of z(v)?
True
Suppose -169 = -3*j - 2*p, 4*j = 2*p + 163 + 39. Is j a multiple of 6?
False
Suppose -2*x - 51 = -5*j, 1 - 34 = -5*j - 4*x. Is j a multiple of 3?
True
Let t(v) = -5*v - 6. Suppose 5*i + 25 = -4*o, -4*i - 2*o - 26 = -0*o. Is 13 a factor of t(i)?
True
Let y(p) = -7*p**3 + p**2 - 2*p. Does 14 divide y(-2)?
False
Suppose 0 = -q + 3*f + 4 + 46, 2*q - f = 125. Is q a multiple of 13?
True
Suppose -z = -3*x + 2 + 4, -2*z + x + 3 = 0. Suppose -g + 31 + 94 = z*h, -h = -5*g - 47. Does 14 divide h?
True
Does 5 divide 14/49 - (-7)/(147/414)?
True
Let r be (-1)/(-3) + 564/9. Suppose 2*m - 78 = 4*s, 10 + 11 = m + 4*s. Let n = r - m. Is n a multiple of 15?
True
Let s(m) be the second derivative of m**3/3 + 9*m**2/2 - 2*m. Let t be s(-8). Is (1 + t)*5/(-3) a multiple of 5?
True
Let u(h) = 4*h**2 - 3*h + 4. Is u(-3) a multiple of 13?
False
Is 10/60 + 293/6 a multiple of 8?
False
Suppose -3*r - u - 4*u = -87, 0 = 5*r + u - 167. Is 17 a factor of r?
True
Let f(m) = -m + 12. Let b be f(8). Suppose b = 2*g + 4*w, -3 = -g - 5*w + 2. Suppose -4*u + q + 64 = 0, g*u + 3*q = 4*u - 64. Is 10 a factor of u?
False
Let z(y) = -y**3 - 4*y**2 + 3*y + 4. Suppose 0 = -2*f - 4*o - 28, 3*o + 16 = -2*f - 7. Let a(d) = -d**2 - 4*d - 5. Let g be a(f). Does 9 divide z(g)?
False
Let h be (-4 - (0 + -1))*-15. Suppose -3*v + h = 4*q, 2*v - v = -1. Is q a multiple of 4?
True
Let o = 4 - 8. Is 12 a factor of o/(-8) - (-154)/4?
False
Let m(b) = -8*b - 8. Is m(-13) a multiple of 16?
True
Let k = -142 + 80. Suppose 3*j - 4*j - 1 = 0. Is 21 a factor of j*(-1 - k)*-1?
False
Suppose 5*l = -3*i - i - 537, 5*l + i + 543 = 0. Let t = 159 + l. Is t a multiple of 10?
True
Suppose -219*y + 218*y + 544 = 0. Does 42 divide y?
False
Suppose 3*n + 2*n = 80. Let g = -3 + n. Does 9 divide g?
False
Let x = 1 + -1. Let k = x - -17. Is k a multiple of 9?
False
Suppose y + 2*j - 36 = 0, 4*j + 20 + 104 = 5*y. Is y a multiple of 17?
False
Let n be -9*(6/9)/(-2). Suppose -2*v = 5*u - 40, n*u - 5*v + v = -2. Does 4 divide u?
False
Let m(d) be the second derivative of -d**5/20 - d**4/3 + 7*d**3/6 - 4*d**2 + d. Is m(-6) a multiple of 8?
False
Suppose -4*y + 4*p - 33 - 63 = 0, -p = -5*y - 112. Let u(c) = c**2 + 6*c. Let q be u(-4). Let d = q - y. Is d a multiple of 9?
False
Let d(u) be the second derivative of -u**3/3 - 3*u**2 - 3*u. Let n be d(-9). Suppose 0 = w + 2*w + n, -2*p - 5*w = 0. Does 10 divide p?
True
Suppose 0 = -17*g + 593 + 2773. Does 33 divide g?
True
Let j = 14 - -40. Is j a multiple of 19?
False
Suppose x + 3*c - 272 = 0, -5*x + 5*c + 1417 = c. Is x a multiple of 14?
False
Let k(b) = -12*b - 2*b**2 + b + b**2. Let s(a) = -2*a**2 - 11*a - 2. Let d be s(-6). Is k(d) a multiple of 12?
True
Let z(r) = -r**3 + 6*r**2 - 5*r. Let h be z(5). Suppose h = -5*d - 5*j + 180, 3*j - 44 = -2*d + 29. Is 12 a factor of d?
False
Let r(m) = m**2. Let p be r(-3). Let z = 10 + -4. Does 20 divide ((-12)/p)/(z/(-117))?
False
Suppose 3*k - 14 = -4*g, 0 = 3*g - 2*k + 4*k - 11. Suppose -4*u - 16 = 0, -g*p + 3*p = -5*u - 28. Let j(c) = -c**3 + 6*c**2 - 2*c + 4. Is 14 a factor of j(p)?
True
Suppose -7*i + 3*i = -16. Let m(z) = -2 - 3 + i*z**2 + 2 + 3*z. Is m(2) a multiple of 11?
False
Suppose -5*y + 60 = -3*y. Suppose 5*i = 3*k + y, 2*i - k - 17 = -2*i. Suppose -i*g = -0*g - 60. Does 20 divide g?
True
Let k be 47 - (2 + 3 + -5). Suppose 2*u - 94 = o, o = u - 3*o - k. Let c = u - 0. Is c a multiple of 12?
False
Suppose -5*q - 17 = 8. Let o = q + -1. Let y = 18 + o. Is y a multiple of 12?
True
Suppose 4*h + 62 = -10. Is -15*h*(-3)/(-15) a multiple of 18?
True
Let n(f) = 2*f**2 + 8*f - 3. Does 13 divide n(-7)?
True
Suppose -3*z = 2*z. Is 23 - (-6 + z + 3) a multiple of 13?
True
Suppose 10 = -5*n - 4*k, k - 2*k = -n + 7. Suppose -2*z - n*z = -396. Suppose -4*u = -3*g + u + z, 31 = g - u. Is 10 a factor of g?
False
Let p be 0/(4*(-2)/(-4)). Suppose 3*n = -5*a + 111, p = 3*n - 4*a - 36 - 102. Is 21 a factor of n?
True
Is 2 a factor of 2*(-5)/(15/(-18))?
True
Let x(j) = -2*j**3 - 6*j**2 - 7*j + 3. Let m(c) = -5*c**3 - 12*c**2 - 15*c + 7. Let w(r) = 3*m(r) - 7*x(r). Is 11 a factor of w(5)?
False
Let z = 267 + -71. Let o be (-6)/10 + z/35. Suppose o*l + 4*g - g - 63 = 0, 0 = g + 4. Is 5 a factor of l?
True
Let d be (35/(-15))/(1/(-3)). Suppose 0 = 5*v - d - 13. Suppose -a + v = -16. Does 10 divide a?
True
Is ((-204)/(-255))/(-3*2/(-1785)) a multiple of 34?
True
Let f(k) = -k**3 - 4*k**2 - k - 1. Let u be f(-4). Suppose 3*t - 14 = -3*z + 4, 0 = -t - u*z + 12. Is t even?
False
Is (-30)/(-2)*(0 + 5) a multiple of 10?
False
Suppose 3*k + 196 = 5*k. Does 14 divide k?
True
Let z(p) = p**2 - 4*p - 5. Let n be z(6). Is 6 a factor of (-4)/(-6)*(20 + n)?
True
Suppose -4*j + 18 = -2*i, 4*j + 2*i - 3 = 3. Suppose 4*k + 6*y - 17 = 3*y, j*k + y = 14. Is 5 a factor of k?
True
Let f(b) = 21*b**3 + 5*b - 2*b**3 - 3*b - 1. Suppose 3*o - 1 = 2*o. Does 15 divide f(o)?
False
Suppose -31 - 69 = -4*n. Is 10 a factor of n?
False
Let y be 4/(-6)*3/(-2). Let u = 10 - y. Is u a multiple of 9?
True
Let f(d) = d**3 - 4*d**2 + 2*d - 4. Let q be f(3). Let g = q - -11. Suppose -g*s = 22 - 126. Does 10 divide s?
False
Let p(y) = y**2 + 2*y + 2. Let r be p(-2). Suppose 0 = d - r*d + 4*b + 56, 0 = 5*d - 2*b - 244. Does 24 divide d?
True
Let d(t) = 2*t + 4. Let n be d(-10). Suppose v + 108 = 3*v. Let w = n + v. Does 19 divide w?
True
Suppose 111 + 13 = 2*h. Does 26 divide h?
False
Let q be 38 - 0*2/(-6). Is (-2)/(-2)*(q - -1) a multiple of 15?
False
Let i = 94 + 9. Let b = i - 45. Is b a multiple of 15?
False
Let k = -77 - -228. Does 31 divide k?
False
Suppose -3 = -n - 1. Suppose -3*w - 6 + 0 = 0, -l - 6 = 4*w. Suppose l*o + n*o - 32 = 0. Is o a multiple of 3?
False
Suppose -1 = 4*p + 3. Suppose 5*s - 32 = -4*v, -3*v + 18 = s - 8*v. Let o = p + s. Is o a multiple of 4?
False
Let y(j) = j**2 - 6. Is 7 a factor of y(9)?
False
Suppose -2*t = -0*t - 12. Is 3 a factor of t?
True
Let j be -2*2/(-4) - -4. Let o = j + 0. Is o a multiple of 3?
False
Suppose 0 = -5*p + 3 + 7. Suppose p*d - 40 = -12. Is d a multiple of 7?
True
Is 574/13 + -1 + (-44)/(-52) a multiple of 11?
True
Is 4 - 3 - -3 - -63 a multiple of 14?
False
Let s(p) be the third derivative of -p**6/120 - p**5/60 + p**4/6 - p**3/6 - p**2. Let b be s(-3). Let y(o) = o**2 - 4*o + 4. Is