
Let l(p) be the second derivative of -2*p**3/3 - 5*p**2/2 - p. Let g(x) = -7*x**3 - x**2 + 2*x - 1. Let b be g(1). Is l(b) a multiple of 9?
False
Suppose 4*q - 22 = n, -3*q - 3*n + 12 = -2*q. Let h be -1 - -1 - (4 - q). Suppose f + h*a - 29 = 0, 3*f + a = -0*a + 67. Is f a multiple of 7?
True
Let r be (-47 - (3 + 0)) + 4. Let l be 10/(-25) - r/(-10). Does 22 divide 1 + (650/(-2))/l?
True
Let w(f) = 7*f**3 - 76*f**2 + 15*f - 25. Is w(11) a multiple of 3?
True
Let y(g) be the second derivative of -g**5/20 + g**3/6 - 4*g. Let c be y(-2). Suppose c = -3*b, 85 = 4*v + v - 5*b. Is 11 a factor of v?
False
Let v be 4/(-18) - (-100)/45. Suppose -4*f = -v*w + 14, 2*f = 4*f + 4*w + 2. Does 2 divide (-1 + -17)/(-2) + f?
True
Suppose 5*o + 1 = 6. Suppose 2*i + i + 3 = 5*l, 0 = 3*l - i - o. Suppose 4*d - 60 - 28 = l. Does 11 divide d?
True
Suppose 3*x = 4*l + 999 - 299, 461 = 2*x + 3*l. Does 2 divide x?
True
Suppose 5*r + 6*k - 3573 = 5*k, -r - 3*k + 709 = 0. Is 30 a factor of r?
False
Let s(m) = -m**2 + 1. Let r(d) = -4*d**2 + d + 5. Let y(u) = 2*r(u) - 9*s(u). Let p be y(9). Suppose -c = -3*c + p. Is 26 a factor of c?
False
Let c(b) = 19*b**3 - b - 1. Let s be c(-1). Let k = s - -52. Is 11 a factor of k?
True
Let l be -11 - -1 - 2/1. Let y(z) = z**2 + 8*z + 9. Let d be y(-6). Does 15 divide l*(d - 4/(-8))?
True
Suppose 255 = 4*q - p, q - 2*p - 31 - 38 = 0. Is q a multiple of 7?
True
Suppose -21*a + 22*a = 23. Let z = a + -21. Suppose -z*c = -123 - 17. Does 35 divide c?
True
Let s(w) be the second derivative of 89*w**5/60 + w**4/24 + w**3/3 + 3*w**2 + 6*w. Let m(y) be the first derivative of s(y). Does 26 divide m(-1)?
False
Let k(g) = -g + 2*g**3 - g**3 - 30 + 5. Let i be k(0). Is (i/(-2))/((-3)/(-18)) a multiple of 12?
False
Is (4/10)/((-1)/(-930)) a multiple of 31?
True
Let o(s) = 10*s**2 - 10*s - 8. Let n be o(8). Suppose -3*p + n = p. Does 16 divide p?
False
Let s = 21 - -7. Let t = s - 25. Suppose -t*y = -5*g - 92, -28 = 2*y - 5*g - 96. Is 22 a factor of y?
False
Suppose -126 = -13*d + 7*d. Suppose -200 = 19*c - d*c. Is 25 a factor of c?
True
Let d(f) = 12*f - 4 + 3*f + 0*f. Does 16 divide d(2)?
False
Suppose 836 = 9*j - 4*j - 3*d, -833 = -5*j + 4*d. Is j a multiple of 2?
False
Is (-16)/(-60)*1*-36*-65 a multiple of 39?
True
Let w(u) be the first derivative of -2*u**3/3 - u**2/2 - 12*u - 14. Let d be w(0). Let g(p) = p**3 + 13*p**2 + 4*p - 6. Is 18 a factor of g(d)?
True
Let n(a) = a**2 + 7*a + 12. Let v = 43 + -13. Suppose 3*m = -9, 2*m + 2*m = -3*i - v. Does 3 divide n(i)?
True
Let t be ((-20)/30)/((-4)/162). Let s = 3 + t. Is 6 a factor of s?
True
Suppose 4*x = 7*x + 15. Let l be (-51 - 2)/((-1)/x). Let f = -171 - l. Is f a multiple of 19?
False
Let p(b) = b**2 - 7*b - 18. Is 30 a factor of p(-11)?
True
Let b(r) = 3*r**3 - 33*r**2 - 12*r. Does 19 divide b(14)?
True
Let o(r) = 13*r - 19. Let z(n) = 6*n - 9. Let a(w) = -6*o(w) + 11*z(w). Suppose -6*h + 72 = -18*h. Is 24 a factor of a(h)?
False
Let b = 5 - 1. Suppose b*g = 6*g + 8. Is g/(0 - (-2)/(-11)) a multiple of 6?
False
Let c(d) be the second derivative of d**7/2520 - d**6/60 + 19*d**5/120 - d**4/4 - 7*d. Let v(p) be the third derivative of c(p). Is v(13) a multiple of 28?
False
Let i = -9 + 16. Suppose 3*a - i = 14. Is 15 a factor of (-15)/(-4)*(5 + a)?
True
Let v(l) = l**2 - 4*l + 7. Let p be v(-7). Suppose -o = 4*r - 148, -4*r + p = -2*r - 2*o. Is 11 a factor of r?
False
Suppose -17766 = 2*l - 44*l. Is l a multiple of 9?
True
Let s = 30 + -36. Let i = s + 25. Is 7 a factor of i?
False
Let o(m) = -m**2 - 2*m + 5. Let v be o(-5). Let y = v - -15. Suppose -y*z = -2*z - 45. Does 7 divide z?
False
Suppose 2*c + 5*g - 10 = 0, 4*g - 42 = -5*c - 0*c. Let q be (-12)/c*1360/12. Let i = -58 - q. Does 13 divide i?
True
Let p(o) = o - 4 - o - 2*o. Let t be p(-10). Suppose w = -0*w + t. Is 5 a factor of w?
False
Suppose 4*h = -37 + 1125. Is 22 a factor of h?
False
Let d(y) = 35*y - 199. Is 13 a factor of d(24)?
False
Let j(p) = 6*p**3 - 5*p**2 + 4*p - 4. Let i be j(4). Let q = i - 211. Is 15 a factor of q?
True
Suppose 8*s - 770 = 774. Suppose -l + s - 69 = 2*n, -n - 5*l = -44. Is n a multiple of 8?
True
Let k = 3 - -240. Does 6 divide k?
False
Let u(r) = r**2 + 1. Let s be u(-1). Let f(c) be the first derivative of 5*c**4/4 + 2*c**3/3 - c**2 + 2*c - 10. Does 23 divide f(s)?
True
Let v = -7 + 4. Let b be -2*(3 + (v - 2)). Let f(k) = k**3 - 2*k**2 - 4*k - 4. Is f(b) a multiple of 7?
False
Let q(v) = v**2 + v - 6. Let h be q(-3). Suppose -z - 12 = -l, -3*z = 3*l - h*z - 42. Does 4 divide l?
False
Is (-3914)/(-7) + -1 + 54/63 a multiple of 12?
False
Suppose -4*i + 2*w - 2 = -4, 0 = -4*i + w + 5. Suppose -i*u - 52 = -6*u. Does 13 divide u?
True
Let k be 6/(-8)*(-3 - 13). Suppose -11 = -y - k. Does 11 divide 19/(-4)*(y + -3)?
False
Suppose 0*k = -4*k - 4. Let f be 2*k*(1 - 4). Is (46/(-4))/((-1)/f) a multiple of 20?
False
Suppose q = -4*d + 10841, -2*d + 3*q = 651 - 6068. Is 72 a factor of d?
False
Let h(j) = 4 - 5 + 6*j - 1 + j**3 - 6*j**2. Let y be (-18)/(-2)*8/12. Does 15 divide h(y)?
False
Let r(d) = -d**3 + d + 338. Is r(0) a multiple of 64?
False
Let o(z) = z**3 + 14*z**2 - 25*z - 223. Does 3 divide o(-11)?
False
Suppose g - 4*g = 2*r - 806, 2*g - 549 = r. Is g a multiple of 43?
False
Let v(n) = -n + 10. Suppose -3*u + u = -2*r + 6, 34 = 2*r + 5*u. Let d be v(r). Suppose 0 = -d*w + 5*h + 84, w - 4*w + h = -96. Is 11 a factor of w?
True
Let p(g) = -3*g - 1. Suppose -2*d = 6, 3*w + 5*d = 1 + 20. Let m be p(w). Is 12 a factor of (m - -1)*8/(-12)?
True
Let t = 23 + -21. Let b be ((-2)/t)/(6/6). Let x(s) = -35*s + 1. Is 18 a factor of x(b)?
True
Let i = 1376 + -427. Does 13 divide i?
True
Let g = 1232 - 874. Suppose -1055 = -5*v + 5*z, v - 5*z + 127 = g. Suppose -5*q + 66 + 48 = 3*p, -v = -5*p - 3*q. Is 8 a factor of p?
False
Let u(w) = 5*w**2 + 9*w + 7. Let a(t) = -t**2 - t - 1. Let i(o) = 4*a(o) + u(o). Is 17 a factor of i(-11)?
False
Let x be (30/7)/(2/14). Suppose -b = -3*b - x. Let c = b + 43. Is 5 a factor of c?
False
Let n be 0/(-4)*5/(-5). Suppose u + u - 2*c - 90 = n, 5*c + 61 = u. Is u a multiple of 7?
False
Suppose -n = n + 4*o - 16, -2*o = -n - 8. Suppose 0 = -n*m + 3*m - 2*f - 2618, -5*f = 20. Does 24 divide m/36 + (-1)/6?
True
Suppose -3*i = 4*y - 3460, -3*i - 5*y = -2*i - 1157. Suppose -4*v + i = -0*v. Is v a multiple of 26?
False
Let i be -2 + 1 - (-34 - -3). Suppose 3*v - 62 = -3*a + a, -a - 2*v + i = 0. Is a a multiple of 10?
False
Suppose z + 6 = 3*u - 0*u, 5*z = -u + 18. Does 2 divide u?
False
Let m be ((-2)/((-24)/1844))/(1/3). Let z = 650 - m. Is 27 a factor of z?
True
Let o(u) = -u**3 + 7*u**2 + 5*u - 3. Suppose -3 = -3*n + 12. Does 8 divide o(n)?
True
Suppose 0 = m - d - 0*d, 3*m - 20 = -d. Suppose 0 = -m*o - 5*j + 8*j + 535, -4*o = -4*j - 436. Is o a multiple of 12?
False
Suppose 0 = -5*q + 3*q + 58. Let m = q + -13. Is 7 a factor of (m/12)/(2/12)?
False
Suppose -7*g - 12 = -5*g. Does 14 divide (1/g - 4/(-24)) + 56?
True
Let n(l) = 2*l - 18. Let k(x) = -x**3 - 3*x**2 + 3*x + 9. Let u be k(-4). Is 8 a factor of n(u)?
True
Suppose 4*d + 459 + 174 = m, -4*d = -4*m + 636. Let k = 338 + d. Is 18 a factor of k?
True
Suppose 14 = 3*o - 16. Suppose r + 0 = o. Is r even?
True
Suppose -2*w - 6 = -3*b, 5*b - 4*w + 0*w = 10. Suppose v = 2*v - b*q - 36, -111 = -4*v - 3*q. Is v a multiple of 24?
False
Is 423 + (-4 - -3) - -1 a multiple of 17?
False
Let u(a) = -a**3 + a**2 + 32. Let j be u(0). Suppose 10*v - 6 = 64. Let g = j - v. Is g a multiple of 10?
False
Suppose 300 = 9*g - 456. Suppose -4*s + g = 2*s. Is s a multiple of 14?
True
Suppose -4*x + 692 = -x + 4*m, 2*x - 5*m = 492. Is 15 a factor of x?
False
Let z = -2 + 9. Suppose -z*l - 6 = -4*l. Does 15 divide 3 + l/((-4)/54)?
True
Suppose 3*c + 4*b = -3864 + 20216, 5*b = 25. Does 17 divide c?
False
Does 28 divide 240/(-420) - ((-37056)/21 + 0)?
True
Let d(u) = u**2 - 3*u + 3. Let s be d(3). Suppose 0 = -s*n + n, 3*l + 4*n = 12. Suppose l*x - 281 = -2*f - 83, 4*x - 195 = -f. Does 31 divide x?
False
Let c(j) = 9*j**3 + 2*j**2 - j - 1. Is c(2) a multiple of 2?
False
Let s be 4 - 60/(1 - 7). Suppose 0 = 2*i + s*i - 1200. Is 5 a factor of i?
True
Let p(l) = 0 - 5*l**2 + 16*l**2 + l - 8*l**2 - 8. Is p(-4) a multiple of 4?
True
Let t = 138 + -80.