v) be the first derivative of a(v). Is h(-11) a multiple of 6?
True
Let x be (-2)/(-4) + 69/18*-3. Suppose 2*o - 3 = 9. Is ((-8)/o)/(x/528) a multiple of 16?
True
Let s = 3339 + -2186. Does 25 divide s?
False
Let k(v) = 3*v**2 + v + 2. Let t be k(-1). Suppose -3*j + 92 = -3*i + i, -j = -t*i - 34. Let b = -8 + j. Is 4 a factor of b?
False
Let k = -55 + 79. Suppose -5*f + k = -16. Does 5 divide f?
False
Let t(c) = 3*c**2 + 4*c - 3. Suppose 4*p = 6*p + 8. Does 7 divide t(p)?
False
Let k(j) = -j**3 + 8*j**2 - 6*j - 7. Let r be k(7). Suppose r = -5*x + 145 + 290. Let w = -52 + x. Does 10 divide w?
False
Let d(c) = -c**3 + 4*c**2 + 4*c + 7. Let b be d(5). Suppose b*q + 3*z - 1281 = -3*q, -5*z = 2*q - 501. Let v = 367 - q. Is 24 a factor of v?
False
Suppose 2*b - 11 - 5 = 0. Let q(j) = -3*j**2 + 25*j + 19. Let n(y) = y**2 - 8*y - 6. Let a(g) = 7*n(g) + 2*q(g). Is a(b) a multiple of 4?
True
Is 104 a factor of (18/(-8))/(24/(-26752))?
False
Suppose -2*f + 84 - 417 = -v, 4*v = 5*f + 1320. Let q = v - 225. Is q a multiple of 19?
False
Let x(v) = -v**3 + 8*v**2 + 8*v + 18. Let y be x(9). Let m be (-1)/(-1 - -2) - -11. Suppose -y*r = -m*r + 20. Is 10 a factor of r?
True
Suppose a + x - 14 = -2*x, 5*a - 58 = -3*x. Let c(m) = m - 12. Let q be c(a). Is (q - -2) + (-10)/(-5) even?
False
Is (276/(-24))/(1/(-200)*2) a multiple of 50?
True
Let b be 344/(-44) + (-2)/11. Let v = b + 28. Suppose 2*c + 4 = y, 5*c - v = -3*y + 14. Does 4 divide y?
True
Let s(y) = -49*y - 56. Does 9 divide s(-14)?
True
Let g(s) = s**2 + 4*s - 1. Let x be g(-3). Let m(a) = -2*a**2 + 4 + 0*a**3 + 4*a + 2*a + 4 - a**3. Is 6 a factor of m(x)?
False
Suppose 2*f + 149 = a + 18, 4*a + 224 = -3*f. Let c = 39 + f. Let m = c + 34. Is m a multiple of 2?
False
Suppose m - 2*m - 2 = y, 3*m = 5*y - 22. Let u = m + 13. Suppose 0 = 3*o - 48 - u. Is o a multiple of 9?
False
Let j = 497 - -263. Does 10 divide j?
True
Let y = 7 - 4. Suppose y*x - x + 10 = 0. Let a = x - -9. Is 4 a factor of a?
True
Let f = 25 + -133. Does 3 divide (-272)/(-18) - (-12)/f?
True
Let y(o) = 38*o + 423. Does 47 divide y(0)?
True
Let z(u) = 5*u**2 + u + 1 - 7*u**2 + 18*u**2. Let j(q) = -q**2 - 4*q - 1. Let t be j(-4). Is z(t) a multiple of 10?
False
Let k be 38/16 + (-66)/176. Let v = k - -50. Is 4 a factor of v?
True
Suppose -5*d = -d - 2*a, -4*a - 16 = 0. Let n = d - -2. Suppose -g - 3*k + 4 = -76, 2*g - k - 160 = n. Does 24 divide g?
False
Suppose x - 232 = -6*u + u, -5*x + 4*u = -1218. Does 10 divide x?
False
Let k = 4 + -2. Let p = 1 - -11. Suppose p = k*h - h. Is h a multiple of 12?
True
Let h(j) = 10*j + 7. Let g(w) = -48*w - 9 + 6 + 19*w - 18. Let t(s) = 4*g(s) + 11*h(s). Does 4 divide t(-3)?
False
Let l be (1986/(-9))/(4/(-6)). Suppose -l = -3*s + o + 110, -304 = -2*s + 4*o. Let j = s - 96. Is 25 a factor of j?
True
Let i = 7 - 9. Let f be (i + 3)/(3/111). Suppose -4*a + f = 9. Is a a multiple of 2?
False
Suppose -2*u = 3*d - 35, -2*u - 50 = -4*d - 8. Let a = -37 - -42. Suppose 4*z - a = d. Is z even?
True
Let f(j) = -30*j - 468. Is 54 a factor of f(-19)?
False
Suppose 13*f - 734 = 1125. Suppose -f = -6*v + 361. Is v a multiple of 28?
True
Suppose 0 = j - 4 - 2. Let i = -26 + 45. Let v = j + i. Is 8 a factor of v?
False
Suppose x + 8*o - 13*o = 679, -4*x + 2716 = -4*o. Is 7 a factor of x?
True
Let p(x) = 90*x + 7. Let q be p(-1). Let k = q - -93. Is 10 a factor of k?
True
Suppose -45 = -0*k - k. Let n = 3 + k. Suppose 4*l = -w - 3*w + n, -w + 4*l + 2 = 0. Is 3 a factor of w?
False
Suppose a - 20 = p + 5*a, -3*p = 3*a + 42. Is 7 a factor of (-4)/p - 137/(-3)?
False
Suppose 29 - 2 = -3*z. Is 28 a factor of 6/z - (4940/6)/(-5)?
False
Let g be (-22)/(-6) - 14/21. Suppose -g*y + 254 = -y. Does 30 divide y?
False
Let p = -79 - -168. Suppose -80 = p*k - 93*k. Is 4 a factor of k?
True
Let a be (0/(-3))/(-5 - -3). Suppose 2*p - 4 = -a*p. Suppose -p*l + 30 = -5*g, 2*l - 13 - 17 = -3*g. Is 5 a factor of l?
True
Let k be 18/(-48) + (-3)/(-8). Does 14 divide 53 - (2 + k + 1)?
False
Let a(h) be the third derivative of h**5/24 + h**4/4 - h**3/3 + 2*h**2. Let b(n) be the first derivative of a(n). Is 15 a factor of b(6)?
False
Let b(v) = 23*v**3 + v**2 + 9*v + 5. Is b(3) a multiple of 6?
False
Let v(d) = -d**3 + 7*d**2 - 5*d. Let n be v(6). Suppose -n*j + 2*j = 5*h - 560, -4*h = -j + 140. Is 26 a factor of j?
False
Suppose 5*g + 30 = 2*r + 10, 0 = -4*g + 4*r - 28. Is 12 a factor of ((-2)/6*2)/(g/51)?
False
Suppose -g = g - 8. Suppose -g*r + 134 + 126 = 0. Is 13 a factor of r?
True
Let j = -138 + 80. Let v be (j + 2)/4 - -2. Let b = v + 27. Is 15 a factor of b?
True
Let m be (3 - 0) + 120 - 4. Suppose 4*f = 2*p + p - 247, 5*f + 308 = 3*p. Let t = m + f. Does 18 divide t?
False
Suppose -2 = x - 0*x. Suppose 0*w - w - 22 = 0. Let d = x - w. Is 20 a factor of d?
True
Let s be -1 + 5 + 26*(4 - -17). Let a = s + -388. Is a a multiple of 24?
False
Let p(w) = -34*w + 2. Let l be p(-1). Is 748/l - 4/(-18) a multiple of 21?
True
Suppose 2*t + 4*j - 2892 = 0, -t = 7*j - 12*j - 1460. Does 58 divide t?
True
Suppose -2*p - 4*s = -12, 0 = -0*s - s - 1. Suppose 0 = 5*o - 1 + 6, -z + 83 = -5*o. Suppose p*i - 422 = -z. Is i a multiple of 14?
False
Does 18 divide (1034/(-44))/(2/(-28))?
False
Let k = 18 + -21. Let u be k + 7 + 0/(-1). Let p(d) = d**2 - d - 6. Does 3 divide p(u)?
True
Let p(k) = 8*k**2 + 2*k - 4. Let a be p(4). Let q = 80 + -73. Suppose 5*g + a = q*g. Is g a multiple of 30?
False
Let v(q) be the second derivative of q**5/20 + 7*q**4/12 - 3*q**3/2 + 4*q**2 - 12*q. Does 16 divide v(-8)?
True
Suppose 14*r = 13*r + 22. Let k = 130 - r. Is k a multiple of 12?
True
Let k = -70 + 75. Suppose -k*q - 95 = -2*t - 24, -12 = 4*q. Is t a multiple of 5?
False
Let m be 6 + 1*(-1 - 0). Suppose m*f + 172 = 832. Suppose -3*y + 5*o = -83, 5*y - o = o + f. Is y a multiple of 13?
True
Let d be (-323)/(-119) - 2/(-7). Suppose 3*a - 5*h - 310 = 0, -406 = -4*a + 5*h - 2*h. Suppose d*u + 5*g = -u + 172, -g = -2*u + a. Does 16 divide u?
True
Let w = 7 + -4. Suppose -135 = -3*h + w. Is h a multiple of 8?
False
Suppose -17230 = -29*n + 8145. Is 5 a factor of n?
True
Suppose 5*z = -4*m - 229 - 610, 673 = -3*m + 5*z. Let r = -136 - m. Suppose 2*f - r = -3*f. Does 8 divide f?
True
Suppose -12*b = 5909 - 18809. Is b a multiple of 48?
False
Let u = 805 - 302. Is 25 a factor of u?
False
Let t = -46 - -50. Suppose -t*f + 121 = -39. Does 5 divide f?
True
Let r(w) = -2*w - 14. Let v be r(-6). Let d be 9/4*(v - 2). Is 6 a factor of (d - 0)*(-12)/9?
True
Let g(c) = 28*c + 64. Is g(2) a multiple of 8?
True
Suppose -m - 25 = 4*m - 5*j, -3*j + 9 = 0. Let t be 4 - 262*m/4. Suppose 0*k = 5*k - t. Is k a multiple of 9?
True
Let j(d) = -d**3 + d**2 + 3*d - 9. Let n(b) = -b**3 + b**2 + 2*b - 10. Let a(g) = 2*j(g) - 3*n(g). Let c be a(0). Let r(v) = 7*v + 18. Is r(c) a multiple of 34?
True
Let h = -12 - -26. Let n(l) = 10*l + 2. Is n(h) a multiple of 22?
False
Suppose 2*w - 2*j = -2, -j + 7 = 3*w + j. Let b(p) = 36*p**3 + 3*p**2 - p - 1. Is 10 a factor of b(w)?
False
Let j(y) = y - 1. Let v be j(5). Suppose 0 = -4*z - 3*a - 2*a + 23, 3*z - 3*a = -3. Does 2 divide z*(-1 - (-14)/v)?
False
Suppose -5*h - 3*r = -2498, -10*h = -15*h - r + 2496. Does 14 divide h?
False
Suppose -12 + 4 = -2*n. Suppose 4*i - 232 + 12 = -3*k, 204 = n*i - k. Does 13 divide (-13)/(i/(-168))*1?
False
Suppose 61*q - 5*s + 11137 = 65*q, -q + 2784 = s. Is q a multiple of 9?
False
Let d(s) = -4*s - 2 - 6*s - 2*s. Let j be d(-1). Let n(q) = 12*q - 15. Does 35 divide n(j)?
True
Let l(a) = -1 + 0 - 2*a**3 + 3*a**2 - a**2. Let d be l(-1). Suppose -7*y = -d*u - 3*y + 33, -4*u - 2*y = -22. Is 2 a factor of u?
False
Suppose -11*o = -10*o - 9. Let w = o - 12. Is (8 - -10)/(w/(-4)) a multiple of 12?
True
Let y be (-455)/(-25) + 4/5. Let z(a) = a**2 - 5*a + 2. Let d be z(8). Let o = d - y. Does 4 divide o?
False
Let p(b) = 4*b**3 - 3*b**2 - b + 14. Is 27 a factor of p(5)?
False
Suppose -1111 = -12*d - 391. Is d a multiple of 6?
True
Suppose 2*f + 5 + 11 = -5*x, 3*x + 40 = -5*f. Let q be 2 + (-1)/(4/f). Suppose 18 = q*z - z. Does 2 divide z?
True
Suppose 21504 = -2*z + 30*z. Is z a multiple of 16?
True
Suppose 0 = 6*j - 493 - 137. Is j a multiple of 27?
False
Let x(h) = -h**3 - h**2 + 2*h - 2. Let z be x(-3). Suppose 2*u +