))/(4/m). Is 10 a factor of (1 + (-12)/k)*-138?
False
Let p(u) = 344*u**2 - 6*u - 7. Is p(-1) a multiple of 19?
False
Suppose 3*i = i + 14. Let p(c) be the second derivative of -c**4/12 + 3*c**3/2 + 2*c**2 + 133*c. Does 7 divide p(i)?
False
Suppose -5*u + 2*z = -122, -6*u - 2*z - 18 = -7*u. Is u a multiple of 13?
True
Let m = -1323 + 4655. Is 7 a factor of m?
True
Suppose -3*f - 29 = 4*p, 3*f = -0*p - p - 14. Let s = f + 88. Let r = s - 15. Is r a multiple of 10?
True
Suppose 80*b - 30*b = 10250. Is b a multiple of 18?
False
Suppose 1 = b + 3, -4*x - 4*b = -40. Let m = -8 + x. Is 5 a factor of m/10 + 46/10?
True
Let r(u) = 2*u**2 + 11*u + 9. Is r(-9) a multiple of 9?
True
Let p(r) = -r**2 - r + 1. Let x be p(-4). Let w(o) = o**3 + 10*o**2 - 14*o + 1. Is w(x) a multiple of 19?
False
Let q(d) be the first derivative of -d**4/4 - 11*d**3/3 + 6*d**2 + 6*d - 2. Suppose -76*o + 75*o - 12 = 0. Does 2 divide q(o)?
True
Let f be -40 - ((-8)/3 + (-14)/(-21)). Let a = f - -90. Is a a multiple of 9?
False
Let s(r) be the second derivative of -4/3*r**3 + 0 + 1/12*r**4 - 11/2*r**2 - 7*r. Is s(12) a multiple of 20?
False
Suppose 4*a - 18*a - 98 = 0. Suppose 33 = 2*q - q + 2*i, 2*q = i + 51. Let n = a + q. Is 5 a factor of n?
True
Let s = 17 + -14. Suppose i - s = -6. Does 25 divide -92*i/6 + 4?
True
Let y(w) = w**2 - w - 4. Let l be y(4). Is 12 a factor of 26 + -4*4/l?
True
Suppose -33*f + 27 = -5682. Is f a multiple of 40?
False
Does 20 divide (4/(-6))/(7/(50316/(-8)))?
False
Let v(k) = 22*k**3 + 2*k**2 + 4*k. Let q(b) = b**3 - b. Let j(n) = -3*q(n) - v(n). Does 6 divide j(-1)?
True
Let a be (-11)/(-3) - (-5)/15. Let p(h) = h**3 + 4*h**2 - 6*h + 7. Let c be p(3). Suppose -a*w = 3*f - 19, -5*w = -f + c - 14. Is f a multiple of 6?
False
Suppose -15 + 0 = -3*a. Suppose 6 = c - 0*c - 3*l, -a*l = -c + 8. Suppose -2*m = -3*t - 31, 3*t + 16 + 26 = c*m. Is 11 a factor of m?
True
Suppose 5*m - 2*i = 1722, 5*m - 3*i - 1289 - 434 = 0. Does 12 divide m?
False
Let v(z) = z**3 + z**2 - 3*z. Let c be v(4). Let u be 20/3*(5 - 11). Let q = u + c. Is q a multiple of 16?
False
Let l(n) = -20*n - 7. Let f(c) = c + 1. Let r(w) = -6*f(w) - 2*l(w). Let u be r(3). Is 3 a factor of (-3)/4 + u/8?
False
Suppose 4*w + 3*p + 11971 = 32900, w - 5256 = 4*p. Does 77 divide w?
True
Suppose -12*y + 11*y + 474 = 4*v, -2*y = 2*v - 240. Is 11 a factor of v?
False
Suppose 6*f - 42*f + 432 = 0. Does 3 divide f?
True
Let k = -83 - -33. Let n be k/(-15)*(-378)/(-15). Suppose 18*u + n = 21*u. Is u a multiple of 14?
True
Let d(c) = c + 5. Let s be d(-8). Let w be (-3 - s/1) + 42. Suppose 2*k - 40 = w. Does 12 divide k?
False
Let t = 125 - 17. Is t a multiple of 27?
True
Suppose q - 7 = -n, -2 = q + 5*n - 1. Suppose 71 + q = 2*x. Suppose -3*w + x = w. Is w a multiple of 5?
True
Does 54 divide ((-28)/21 - -4)*243?
True
Let m = -522 - -918. Does 9 divide m?
True
Let i(z) = -z + 14. Let h be i(9). Suppose 0 = 5*f - h*s - 415, 0 = -s + 3*s + 10. Does 26 divide f?
True
Let a = -759 - -533. Let q = a + 460. Is 46 a factor of q?
False
Suppose -324 = -0*l + 6*l. Does 9 divide l/((-3)/3) - 0?
True
Let s(y) = -y**2 + 5*y - 2. Let j be s(3). Suppose 2*r - 144 = j*b + 240, -592 = -3*r - 2*b. Is 28 a factor of r?
True
Suppose f = 12 - 25. Let q(j) = -j**3 - 12*j**2 + 12*j + 3. Let d be q(f). Let w = 29 - d. Is 7 a factor of w?
False
Suppose -53 = 2*q + p, 3*p - 17 = 5*q + 99. Is (40/q)/((-4)/50) a multiple of 10?
True
Let m(p) = -4*p + 21. Let k = 122 + -147. Does 9 divide m(k)?
False
Let r be (5 - 11)/((-6)/(-4)). Is 21 a factor of r/26 + (-13128)/(-156)?
True
Suppose -15 + 159 = 36*w. Let m(t) = -t**2 - 12*t + 4. Let l be m(-6). Suppose -4*f + l = -w. Does 11 divide f?
True
Let w = 24 + -21. Suppose -2*k = -0*k - 2*p - 64, w*p = -2*k + 54. Does 21 divide k?
False
Let t = -60 - -58. Is 11 a factor of 2/t*(-56 + 1)?
True
Let o(k) = -4*k**2 + 257*k + 104. Is 19 a factor of o(47)?
False
Does 40 divide (1424/(-6))/((-56)/336)?
False
Let r(b) = -94*b - 10. Is 7 a factor of r(-2)?
False
Let t(u) = -u**3 + 16*u**2 - 4*u + 14. Is t(10) a multiple of 17?
False
Let b(h) be the third derivative of h**5/6 - h**4/12 - h**3/2 + 8*h**2. Let c be b(-2). Let t = 93 - c. Is 11 a factor of t?
False
Suppose -3*a = -5*v - 50, 5*v - 2*v + 42 = 3*a. Suppose 2*n - l + a - 155 = 0, -4*n = 5*l - 325. Is n a multiple of 18?
False
Let p be (-2476)/(-7) + 2/7 - -2. Suppose x = 4*n - 474, -3*n - 2*x + p = -3*x. Does 8 divide n?
False
Suppose h = -5*y + 3*y + 592, -2*y = -3*h + 1816. Is h a multiple of 14?
True
Let h(i) = -2*i + 18. Let z be h(-17). Let k = z + -8. Does 9 divide k?
False
Suppose -3*c + 0 = -12. Let p(d) = d**2 - 7*d - 16. Let g be p(7). Let m = c - g. Is m a multiple of 15?
False
Let y(a) = -19 - 4*a + 3*a + a + 2*a. Let m be y(11). Suppose 2*u = 15 + m. Is 9 a factor of u?
True
Is 40 + -34 + 3 + -3 + 1227 a multiple of 8?
False
Let t = 23 + -6. Let u be t + (2/2 - 5). Suppose -2*c = -u - 49. Is 6 a factor of c?
False
Suppose -13*q + 12*q + 4*l = -195, 12 = 3*l. Is 41 a factor of q?
False
Suppose 0 = -6*t - 777 + 4029. Is t a multiple of 11?
False
Let o be -4*1*(-97)/4. Let s(q) = -q**3 - 5*q**2 + 19*q + 6. Let c be s(-8). Suppose 7*x = 5*r + 3*x - o, -2*r + c = 2*x. Does 7 divide r?
True
Let f(m) = 6*m**2 - 41*m - 611. Is f(-14) a multiple of 11?
False
Let d(o) = 35 - 9*o**2 + 33*o**2 - 34. Let h be ((-2)/2 + 0)*1. Does 25 divide d(h)?
True
Let l be -2*(-7 + -3) + -1 - 3. Let v = -2 + l. Is 14 a factor of v?
True
Let b = 11 - 8. Suppose -2*x - 3 = l, x + l = -3*x - b. Suppose x - 50 = -q. Is q a multiple of 19?
False
Let r = 11 + -21. Let h be r/2*(-54 - 1). Suppose 6*d = 11*d - h. Is 18 a factor of d?
False
Let u(g) = 7*g**2 - 3*g - 10. Is u(6) a multiple of 16?
True
Let i(o) = o**3 - 3*o**2 - 4*o + 4. Let v be i(4). Suppose 3*b - 569 = -0*b + 2*g, -v*b + 757 = -g. Does 18 divide b?
False
Let t be (-4)/(-4)*(0 + 3). Is 1320/42 - t/7 a multiple of 31?
True
Let d(i) = -1. Let f(a) = a + 1. Suppose -3*j = 15 - 6. Let w(s) = j*f(s) - d(s). Is 25 a factor of w(-9)?
True
Let k = 2431 - 338. Does 75 divide k?
False
Suppose 4 + 3 = 7*f. Is 0 + f/((-5)/(-115)) a multiple of 5?
False
Let c(p) = -p**2 - 10*p + 8. Let z be c(-7). Let i = z + -20. Is 9 a factor of i?
True
Let u = 120 + -35. Does 17 divide u?
True
Suppose 0 = -4*r + 3*k + 1690 + 1665, 2*r - k = 1679. Is r a multiple of 5?
False
Let w = 1278 + 79. Is w a multiple of 98?
False
Let j = 113 - 111. Let g = -71 + 155. Suppose -j*q = -6*q + g. Is 17 a factor of q?
False
Let r be -31 - ((-6)/(-18))/((-1)/9). Is ((-770)/r)/((-1)/(-2)) a multiple of 32?
False
Let f(a) = -a - 4. Let q be f(-10). Let v = q + -3. Suppose -v*l = 5*r - 100, 3*r + 2*l - 3*l - 60 = 0. Is r a multiple of 4?
True
Suppose 5*v - 151 = -o + 2736, 0 = 5*v - 3*o - 2899. Does 21 divide v?
False
Let d(l) = -3*l**3 - 6*l**2 + 3*l. Let k be d(-5). Suppose 11*z - k = 6*z. Suppose -s + z = 2*w, -5*s = w - 7 + 4. Does 17 divide w?
False
Suppose 2*c - 7 - 1 = 0. Suppose c*m + 72 = -k + 3*k, -k = -5*m - 36. Is k a multiple of 8?
False
Suppose -j + 8*j = 294. Suppose 3*g + 4*o - 305 = j, -4*g + 2*o = -448. Is 21 a factor of g?
False
Suppose -2*f - k + 6 = 0, 0*k + k = -f + 3. Suppose -79 = -f*c + 104. Is 12 a factor of c?
False
Let g = -42 + 54. Does 20 divide ((-400)/g)/(6/(-18))?
True
Suppose 2*n - 493 + 229 = 0. Is 19 a factor of n?
False
Let c(x) = 14*x**2 - 3*x - 2. Let t be 28/(-21)*(-3)/(-2). Let n be c(t). Is 20 a factor of (n/(-18))/((-4)/54)?
False
Let s(y) = 26*y + 28*y - 48*y - 3 - 4*y**2 - 2*y**3. Does 37 divide s(-4)?
True
Let r = 625 + -431. Is r a multiple of 16?
False
Let h = 56 - 54. Suppose k - 1 + 67 = h*r, k = 0. Does 8 divide r?
False
Let q = 123 - -1. Is 42 a factor of q?
False
Suppose 0 = -5*m - h + 21719, 16*h + 3 = 13*h. Is m a multiple of 12?
True
Let v(k) = k**2 - 10*k - 30. Let x be v(15). Is 460/(-15)*x/(-10) a multiple of 36?
False
Suppose 5*r - 4*r = -5*r. Suppose r = -f - 4*b + 29 - 0, -3*f - 4*b = -47. Does 3 divide f?
True
Suppose -144 = -14*y + 360. Does 4 divide y?
True
Let b(m) be the first derivative of m**4/12 + 7*m**3/6 - 4*m**2 - 8*m - 8. Let f(q) be the first derivative of b(q). Is 14 a factor of f(5)?
False
Suppose -4*s + 53 = 5*d, 5*s + d = 4*d + 20. Suppose s*u - 3*u = 3