 4 a factor of f(4)?
False
Let z(c) = 20*c + 1. Let n be z(3). Let s = 81 - n. Does 10 divide s?
True
Let z be -3 + -1 - -1 - -7. Suppose 5 = -9*l + z*l. Let d(c) = -110*c**3 - c - 1. Is 24 a factor of d(l)?
False
Suppose -5*b = 5*k - 425, 5*k - 2*k - 261 = 3*b. Does 21 divide k?
False
Let f(p) = -p**3 - 5*p**2 + 4*p + 8. Let j be f(-6). Let x = 250 + j. Is 5 a factor of x/(-9)*(-1)/2?
True
Suppose -4*c = -o - 19, -3*c + o + 6 + 9 = 0. Suppose 0 = -3*j + c*z + 359, j + z - 38 = 77. Is 23 a factor of j?
False
Suppose 24*x - 8876 = 20*x + 3*t, 3*x - t = 6657. Does 7 divide x?
True
Suppose -2*x = -8, 0*o = -o - 4*x + 48. Is 5 a factor of o?
False
Suppose -z + 521 = -13*y + 12*y, 5*z = 3*y + 2595. Is z a multiple of 16?
False
Suppose 0 = 4*a + 2*p - 7 - 9, 5*a = -4*p + 20. Suppose 5*s = a*s + 98. Is s a multiple of 16?
False
Let r = -8 - -14. Suppose -o - 1 = -r. Suppose -o = 4*u - 21, 6 = g - u. Is 10 a factor of g?
True
Suppose -19*n - 145 = 26. Suppose 0 = -0*g - 4*g + 192. Let p = g + n. Is 13 a factor of p?
True
Let b(t) = t**3 + t**2 - 14*t + 10. Let h be b(5). Suppose 0 = -3*z - 0*z + h. Is 6 a factor of z?
True
Let v be (15/(-10)*4)/(-2). Suppose -5*q - 2*c = 3*c - 615, -v*q = 4*c - 368. Is 19 a factor of q?
False
Suppose l + 15 = 6*l, 5*b + l = 2463. Does 45 divide b?
False
Let c = 1336 + -441. Is 8 a factor of c?
False
Let v be (19 - 15)/(2*1). Suppose 5 = 2*z - 4*q - 3, 4*q = z - v. Is 1 - (3 + (-4 - z)) a multiple of 4?
True
Let b(q) = 73*q**2 - 7*q + 4. Is b(1) a multiple of 7?
True
Suppose 6*v = 2*v - 128. Let s = 20 - v. Is 13 a factor of s?
True
Suppose -v - 198 = -4*v - 3*p, 3*p + 137 = 2*v. Let a = v + -14. Let k = -22 + a. Does 10 divide k?
False
Let a(c) = 6*c + 1. Let s be a(8). Let k = -72 + 54. Let f = s + k. Is 31 a factor of f?
True
Let c = 211 + -119. Suppose 2*l + c = 5*a - 2*a, -a - 2*l + 36 = 0. Suppose j + 3*r - 20 = 0, 5*j - 5*r = 28 + a. Is j a multiple of 7?
True
Let f = 949 - 469. Is 5 a factor of f?
True
Let j(r) = r**3 + 18*r**2 - 5*r - 6. Let i be -14 + 28/(-4) + 3. Does 12 divide j(i)?
True
Let u(f) = -16*f - 4. Let l(n) = 16*n + 4. Let v(k) = 5*l(k) + 6*u(k). Is v(-4) a multiple of 6?
True
Suppose 2*i = 3*i - 33. Let a = 18 - i. Does 8 divide a*5/(-3) + -1?
True
Is -5 - ((-1192)/(-16))/((-3)/6) a multiple of 3?
True
Suppose -8 = 2*k, k = 3*g - 0 - 7. Does 2 divide (16 + -33)*-1*g?
False
Let v(q) = q**2 - 11*q + 24. Does 12 divide v(-13)?
True
Suppose 5*l - 46 - 39 = 0. Let s = -12 + l. Suppose -s*h = -2 - 48. Is 7 a factor of h?
False
Let t(q) = -149*q. Let a be t(-1). Let k = a + -75. Suppose 4*x = k + 26. Does 14 divide x?
False
Let h(j) = 5*j - 7. Let z = -53 - -60. Does 7 divide h(z)?
True
Let m(g) = -2*g**2 - 5*g + 1. Let i be m(4). Let r(p) = -p**2 + 15*p + 25. Let a be r(18). Let j = a - i. Is j a multiple of 14?
False
Let m(c) = -3 + 0 + 0 - 1 + 2*c. Suppose 10 = 3*q - 32. Does 4 divide m(q)?
True
Let p = 285 + 11. Is p a multiple of 5?
False
Let w(z) = 3*z - 9. Let x be w(-12). Let k = x + 79. Is 11 a factor of k?
False
Let v(m) = -m**3 + 9*m**2 + 8*m + 28. Is v(-7) a multiple of 51?
False
Let y be 42/4 - (-1)/(-2). Let v = -16 + y. Let j = v - -15. Is j a multiple of 9?
True
Does 4 divide 350 + -2 + 24/(-2) + 9?
False
Suppose 3*i = 5*u + 4519, 4233 = 4*i - 5*u - 1784. Does 56 divide i?
False
Suppose -3*b = -5507 + 2219. Is 26 a factor of b?
False
Suppose -1661 = -10*k + 2209. Is k a multiple of 83?
False
Let a be (-6)/((-3)/3 + 0). Let v be a/(-10)*(-6 - -1). Suppose -v*q + 56 = f - 35, -q + 7 = 5*f. Is q a multiple of 16?
True
Let b(i) = -i**2 + 20*i - 7. Let t = 62 - 49. Is b(t) a multiple of 21?
True
Let m(o) = -7*o**2 + o + 17. Let h(g) = 3*g**2 - 8. Let d(b) = 5*h(b) + 2*m(b). Let q be d(4). Suppose -5*v = -z + 29, -5*z - v + q - 3 = 0. Is 3 a factor of z?
False
Let w = 49 + -52. Let f(i) = 7*i - 5. Let g be f(-4). Let o = w - g. Is 15 a factor of o?
True
Suppose 4*a - 1919 = -r, 15*r = 11*r - 3*a + 7702. Is 41 a factor of r?
True
Let u be 6/4*(-10)/35*-7. Suppose j + u*h = 2*j - 82, -3*j = -4*h - 261. Is 13 a factor of j?
True
Let v = 1077 - -897. Does 14 divide v?
True
Suppose 0 = r - 1, 5*t - 2*r - 340 = 2*t. Suppose 0 = 4*y + t - 534. Does 18 divide y?
False
Is (-2 - -8)/((230/160)/23) a multiple of 16?
True
Is 4/(-24) - 9368/(-48) a multiple of 15?
True
Does 10 divide ((-42)/(-12) - 3)*-12 + 86?
True
Suppose -5*a + 15 + 0 = 0. Let s(h) = 5*h**3 - 5*h**3 - h**2 - 2*h**3 - a + h + 0*h**3. Is 13 a factor of s(-3)?
True
Let c(n) be the third derivative of 3*n**4/8 - n**3/2 - 9*n**2. Is c(9) a multiple of 26?
True
Suppose -2*l + 0*l + 28 = 0. Let h be 7/3 + l/21. Suppose -5*q - d = -235, -q + 5*q = h*d + 207. Is 16 a factor of q?
True
Let y = 32 + -64. Let s be 4*(3 + 1 + 0). Let v = s - y. Is 15 a factor of v?
False
Let c be ((-135)/(-33))/5 + 2/11. Is 34 a factor of ((-10)/10)/(c/(-135))?
False
Let k(q) be the first derivative of -q**3/3 - 12*q**2 - 40*q - 5. Does 11 divide k(-19)?
True
Suppose -340 = -5*x - 4*b, -7*x + 4*x - 4*b + 212 = 0. Is 16 a factor of x?
True
Let v(q) = q**3 - 11*q**2 + 5. Let u be v(11). Does 7 divide (-8)/20 - (-207)/u?
False
Let i = -31 - -13. Does 12 divide (-60)/3*i/5?
True
Let s be (-7 - -5)/((-2)/4). Let x(q) = -q**2 + 2*q + 1. Let h be x(s). Let z(u) = u**2 + 5*u + 8. Is z(h) a multiple of 9?
False
Let h(x) = -x**3 + x**2 + 2*x + 299. Let l be h(0). Suppose 3*j - l = 5*i, -j = -0*i - 3*i - 105. Suppose -j = -3*o + 42. Is 15 a factor of o?
True
Let u = 23 - 18. Suppose u*z + 4*q - 980 = 0, -z = -4*q - 117 - 55. Let o = z + -134. Is 16 a factor of o?
False
Suppose -5*r + 3*k + 20 = -2*k, -5*k = 5*r - 60. Let g(b) = -b**3 + 8*b**2 - b + 10. Let q be g(r). Suppose -q*s = 5*v + 3*s - 100, -5*s = 5. Does 6 divide v?
False
Suppose -2*w = 4*q - q - 152, 5*q - 252 = -2*w. Suppose -y - 4 = -7, 2*y - q = -2*s. Is s a multiple of 8?
False
Let h(m) = 3*m**3 + 3*m**2 - 2*m + 9. Let w be h(3). Let a = -49 - -199. Suppose 0 = -5*r + 2*r + c + w, 4*r - a = 2*c. Is 18 a factor of r?
True
Suppose -29 = 2*w - 123. Let l be w/(-2 - 6/(-2)). Let q = l - 3. Is 22 a factor of q?
True
Let u be 4/6*(7 - 4). Suppose 3*f + u*f = 0. Suppose f*l - 5*l = -2*r + 115, 0 = 5*r + 5*l - 305. Is r a multiple of 16?
False
Let q(n) = n**3 + 14*n**2 + 15*n - 7. Suppose 23 - 12 = -p. Does 40 divide q(p)?
False
Let j = 6327 + -4247. Does 13 divide j?
True
Let k(d) = -7*d + 65. Let w be k(9). Let g be -1 + 0 - (-5 + 0). Suppose -3*u + g*c = -21 - 87, 5*u - w*c = 180. Does 9 divide u?
True
Let z(d) = 237*d - 255. Is 13 a factor of z(11)?
False
Let f(u) = u**2 + 5*u - 97. Is f(-23) a multiple of 24?
False
Suppose 2*l = -h + 3, -4*h = -0*h - 3*l - 1. Suppose -h = -k, -3*k - 1061 = -4*x - 8*k. Is x a multiple of 44?
True
Let z be 7/(-35) - 252/(-10). Suppose -6*d + 89 + z = 0. Does 2 divide d?
False
Suppose -3*g - c = -160 - 439, -965 = -5*g + 5*c. Suppose 4*t = -2*j + 5*t + 80, -2*t - g = -5*j. Does 7 divide j?
False
Let k be 0 + (17 - 4 - 4). Suppose 15 = 2*i - k. Does 6 divide i?
True
Is -9*((36 - 36) + 496/(-6)) a multiple of 24?
True
Let p = 29 - 27. Let b(m) = -7*m**p + 13 - 11*m**2 + 3*m + 19*m**2. Is b(0) a multiple of 13?
True
Let p(l) be the second derivative of 0 + 1/2*l**3 - 3/2*l**2 + 4*l. Is 33 a factor of p(12)?
True
Suppose 4*o - 270 = -58. Let b = 65 + o. Is 32 a factor of b?
False
Let d(a) = -12*a - 32. Is 29 a factor of d(-22)?
True
Suppose -3*h + 3*x + 18 - 96 = 0, 0 = 3*x. Let z = 99 - 55. Let a = h + z. Is 9 a factor of a?
True
Suppose n - 6*n - 5 = 5*t, 0 = -5*t - 4*n. Suppose t = f + 21. Let l = 4 - f. Is 9 a factor of l?
False
Suppose 348 = b + 104. Let s = b - 141. Does 5 divide s?
False
Is 24/6 + -1*(-1 - 0) a multiple of 4?
False
Suppose -1588 - 7472 = 6*v. Let b = v + 2289. Suppose -2*d = -g - 298, -2*g - b = -5*d - 36. Is 33 a factor of d?
False
Does 23 divide (66/(-54) - -1) + 6538/18?
False
Let u = -7 + 9. Suppose 0 = -k + p + 2, u*k = -2*k - 5*p + 35. Suppose 2*r - 129 = -3*b, 3*r - 215 = -k*b - 0*b. Is b a multiple of 21?
False
Let y(s) = s**3 + 4*s**2 + s - 2. Let k be y(-3). Suppose -2*j = -4*n - 50, -k*j + 105 = j - 5*n. Let u = j + 19. Is u a multiple of 8?
False
Suppose 0 = 6*l - l. Let g(m) = m + 14. Does 3 divide g(l)?
False
Suppose 0 = 5*n - 18 - 42. Is n a mul