d) = 71*d + 7. Let u be t(7). Suppose -4*a - 72 + u = -4*b, 0 = -3*a + b + 316. Is a a multiple of 23?
False
Suppose 4*m - 1546 = -2*c, 3*m = 27*c - 24*c + 1173. Is 32 a factor of m?
False
Suppose 46*t - 15*t - 76539 = 0. Is 23 a factor of t?
False
Let v(z) = -3*z + 13. Let i(a) = -3*a + 14. Let l(x) = -4*i(x) + 5*v(x). Let h be l(4). Is h/(-2)*16/3 a multiple of 5?
False
Suppose -2*v = -v - 3. Let r(j) = 7 + v - 3 - 13*j. Is r(-3) a multiple of 19?
False
Suppose 0 = -k + 5*f + 219, 5*f - 5 = -0. Does 16 divide k?
True
Let j be 1 - (8/(-28) + (-2)/(-7)). Is 2 a factor of j + (12/(-5))/(26/(-65))?
False
Let t = 714 + 406. Is 20 a factor of t?
True
Let n(o) be the second derivative of -o**3/2 - 7*o**2 - o. Let i be n(-6). Suppose 342 = i*y + 3*k, 5*y - 3*k = -0*k + 441. Does 29 divide y?
True
Suppose 5*f = -2*d - 83, f + 3*d + 19 = 2*d. Let w = -95 - -78. Let u = f - w. Is u a multiple of 2?
True
Suppose -u = -41 - 24. Suppose 2*t - u = -3*t. Suppose 2*j - t = 47. Is j a multiple of 16?
False
Suppose 170*j - 9912 = 164*j. Is j a multiple of 118?
True
Let i = -4 + 14. Suppose 2 = -4*r - i. Let a = 13 - r. Is 8 a factor of a?
True
Let i be (12/(-1 + -1))/((-4)/(-260)). Let c = i - -698. Is c a multiple of 22?
True
Let z = -181 + 61. Let n = z + 172. Is 13 a factor of n?
True
Let y(k) be the first derivative of k**4/4 - 2*k**3 - 7*k**2/2 + 9*k - 5. Let z be y(7). Let p = -6 + z. Is p even?
False
Let q(k) = 6*k - 9. Let p(y) = -5*y + 8. Let t(z) = -3*p(z) - 2*q(z). Does 3 divide t(3)?
True
Suppose 855 = 49*v - 34*v. Does 3 divide v?
True
Suppose 0 = 2*a - 10, 2*h + 5*a - 11245 = -3*h. Is h a multiple of 68?
True
Is 3 a factor of 6*(-6)/9 - (-434 - -41)?
False
Let s(p) = 4*p + 49. Does 11 divide s(45)?
False
Let g(w) be the second derivative of -w**3/3 + 22*w**2 - 19*w. Does 22 divide g(-21)?
False
Let x = 2989 - 1421. Is x a multiple of 4?
True
Is 21 a factor of (-2686)/(-21) - 214/(-2247)?
False
Suppose 57 = 11*n + 90. Let l be 6/(-15) - 36/10. Does 14 divide (n - -49)*(-6)/l?
False
Let r(v) = 10*v + 12. Let i be r(15). Let z = 274 - i. Does 16 divide z?
True
Let t be 131 - (-1)/(3/9). Let x = 204 - t. Does 35 divide x?
True
Let q(s) = -s**3 + 11*s**2 - 10*s + 1. Let k be q(10). Let w(d) = d + 1. Let f be w(k). Suppose -279 = -5*j + f*j. Does 31 divide j?
True
Is 5 - ((-4 - 2) + -631) a multiple of 13?
False
Is 14 a factor of 28*(24/(-8) - -5)?
True
Let p(h) = -10*h - 7 - 14 - 2*h**2 + 2 + h**2. Let q be p(-7). Suppose -3*b = -q*l - 23, 3*b + 7 = -3*l + 25. Is 5 a factor of b?
False
Let d(x) be the first derivative of x**6/360 + x**5/30 + 7*x**4/24 - x**3/3 + 1. Let m(p) be the third derivative of d(p). Is 26 a factor of m(5)?
True
Let j(w) = -4*w + 12. Let s(t) = 5*t - 12. Let d(q) = 6*j(q) + 5*s(q). Does 23 divide d(14)?
False
Suppose 13*n - 7*n - 78 = 0. Is n a multiple of 3?
False
Suppose -15*o + 4859 = -4771. Does 5 divide o?
False
Suppose -2 = -3*l + l + t, 2*t - 14 = -5*l. Suppose l*v = 13 + 63. Is v a multiple of 19?
True
Let s(n) = 8*n**2 - 5*n + 42. Is 49 a factor of s(10)?
False
Let u(j) = 87*j**2 - 9*j - 4. Is u(-4) a multiple of 16?
True
Let p be ((-9)/21 + (-3)/(-7))/(-1). Is (-676)/78*(-18 + p) a multiple of 39?
True
Suppose 7*z + 3146 = 18*z. Is (z/65)/((-2)/(-40)) a multiple of 11?
True
Let n(d) = 2*d**3 - 8*d**2 + 5*d - 5. Let o be n(6). Is o + 0 - 0/3 a multiple of 13?
True
Suppose 0 = -4*w + w + 108. Is (w/(-15))/(2/(-30)) a multiple of 12?
True
Is 4/(-10) + ((-5217)/(-5) - 6) a multiple of 20?
False
Suppose -2*l = -467 - 467. Let k = -311 + l. Let s = k + -74. Is 32 a factor of s?
False
Let v(m) = 6*m**3 - 3*m**2 - 24*m + 80. Is v(4) a multiple of 16?
True
Let u(c) = 2*c**2 + 11 - 16 + 10*c - 5*c. Does 14 divide u(-9)?
True
Suppose 3*q - 137 = -o, -3*q = 3*o - 4*o - 139. Suppose 0 = 2*g - 2*s - 12, -5*g + q = 3*s - 0*s. Suppose -3*w - 21 = -m, 3*w - 7 - g = 0. Is 12 a factor of m?
True
Let k = -19 + 21. Suppose -3*y + 161 = c, k*y + 0*y = -5*c + 90. Does 9 divide y?
False
Let d(x) = 28*x**2 - x - 36. Is 69 a factor of d(6)?
True
Let m = 51 + -34. Suppose 0 = -m*y + 12*y + 270. Is 6 a factor of y?
True
Let z = -51 + 107. Let i = z - 21. Is i a multiple of 5?
True
Let d(f) = 6*f**2 - 65*f - 12. Is 36 a factor of d(12)?
True
Suppose 685 + 803 = 4*s + 4*z, 4*z = 4*s - 1520. Suppose 4*u = -4*j + s, 2*j = -j + u + 274. Is 23 a factor of j?
True
Suppose 3*w + 7*n - 632 = 2*n, n + 662 = 3*w. Is 27 a factor of w?
False
Let y(d) = -6*d**3 + 3*d**2 + d - 1. Let v be y(-1). Suppose 11*z = v*z. Does 34 divide (-1638)/(-18) - (z + 1)?
False
Let n(j) = -95*j + 4. Let l be n(-3). Let b = l + -117. Does 43 divide b?
True
Suppose -o - 2 = -4. Suppose 0 = -4*c - 4*f + 116, -f = 5*c + o*f - 135. Is 6 a factor of c?
True
Is 11800/5*24/64*2 a multiple of 118?
True
Let x be 65/(-3) - 17/51. Let b = x - -63. Is 14 a factor of b?
False
Let m(w) = w**2 + 17*w + 10. Let x be m(-16). Is 40/6*(-3 + (-63)/x) a multiple of 10?
True
Let c be (18/(-15))/(10/(-25)). Suppose c*d = d + 168. Is 14 a factor of d?
True
Let q(o) = 4*o - 2*o + 7 - o**2 - 2. Let i be q(-3). Let p(x) = -x**3 - 10*x**2 - 2*x + 10. Is 15 a factor of p(i)?
True
Let t(j) = -8*j + 16. Let k be t(-9). Let a(x) = -x - 1. Let u be a(-4). Suppose -u*s - k = -280. Is s a multiple of 17?
False
Let p(g) = 56*g**2 - 5*g - 3. Let m be p(5). Suppose 26*f = -5*f - 1116. Is 11 a factor of m/18 + 8/f?
False
Let f(t) = t**2 - 11*t + 26. Let o be (-15)/(-120) + (-190)/(-16). Is f(o) a multiple of 3?
False
Suppose n = -4*x + 1148, -101*x + 102*x + 1168 = n. Is 12 a factor of n?
True
Suppose -4*s = -3*t + 604, 0 = 3*t + 5*s - 0*s - 649. Is t a multiple of 16?
True
Let g(w) = -5 - 4 - 8 + 10 - 6*w. Let y be g(-9). Let n = 105 - y. Does 21 divide n?
False
Let r(n) be the third derivative of -n**4/2 - 2*n**2. Let y be (-28)/8 - -4 - (-102)/(-12). Does 24 divide r(y)?
True
Let y be ((-184)/(-1))/((-4)/(-2)). Is 8 a factor of 5865/y + 1/4?
True
Suppose 4*x - 8 = 0, 4*p - 3*x - 1412 = -x. Does 59 divide p?
True
Suppose -1 = -o + 2*x - x, -o + 17 = -5*x. Let p(n) = -2 + 0*n - 11*n - 7*n - 1. Is 17 a factor of p(o)?
True
Let t be 6 - -6*3/(-6). Suppose 0 = -3*k + 3*g - 14 + 41, 3*k + t = -3*g. Suppose -316 = -5*p + c, 0*p - k*c - 130 = -2*p. Is 21 a factor of p?
True
Suppose 4*h + 608 = 4*t, -2*t - 4*h + 428 = t. Does 37 divide t?
True
Let y = 8 - 23. Let s(t) = -6*t + 6. Is 24 a factor of s(y)?
True
Is (-22)/(3 - (-745)/(-245)) a multiple of 77?
True
Let u(i) = -i**3 - 4*i**2 - 3*i + 2. Let t be u(-3). Let m(g) = -166*g - 56. Let z(x) = 15*x + 5. Let k(j) = 6*m(j) + 68*z(j). Is k(t) a multiple of 13?
True
Let d = 2945 + 810. Is 38 a factor of d?
False
Let w(n) = -7*n**3 - 4*n**2 + 5. Let k(j) = 7*j**3 + 5*j**2 - 6. Let z(p) = 5*k(p) + 6*w(p). Does 4 divide z(-1)?
True
Let k(j) = j**3 - 3*j**2 + 5*j - 2. Is 3 a factor of k(4)?
False
Let s be (-10)/25*-14 - (-4)/10. Is s + -2 - 29*(2 + -3) a multiple of 33?
True
Suppose -2*v = v - 12. Suppose l = -4*y + 35, -v*l - 4*y + 74 + 42 = 0. Is l a multiple of 8?
False
Suppose -9 = -x + 14. Let s = -22 + x. Let i(b) = 4*b**2 - 2*b + 2. Is 2 a factor of i(s)?
True
Let j(k) = 30*k**2 - 8*k - 1. Is 33 a factor of j(-4)?
False
Does 4 divide (288/54)/((-2)/(-39))?
True
Suppose 9*g - 3*g + 948 = 0. Let o = -106 - g. Does 4 divide o?
True
Let a(v) = 4*v**2 + 6*v - 5. Suppose 0 = 2*q - 0*q + 10. Let p be a(q). Suppose -p - 115 = -4*y. Is 17 a factor of y?
False
Let d(i) = -4*i + 338. Is d(17) a multiple of 9?
True
Let l be 2/(-6)*-1 + (-392)/(-3). Suppose v - t = l, 0*t = -2*v + 3*t + 263. Does 26 divide v?
True
Suppose 3*q = -3*z + 12, -5*q + 3*z - z + 27 = 0. Suppose 10 = 2*l, q*m - 18 = 5*l + 17. Is m even?
True
Let k(d) = -d**3 + 3*d**2 + 41*d + 7. Is 21 a factor of k(-8)?
False
Let z = 2 - 20. Let v = 50 - z. Is 11 a factor of v?
False
Suppose 8*c - 12*c - 16 = 0, -2*s = -c - 2788. Is 24 a factor of s?
True
Suppose 458 = 5*u - 662. Is u a multiple of 16?
True
Let s(r) = 6*r - 2. Let m be s(1). Suppose -3*v - v - 4*p = -708, m*v - 3*p - 701 = 0. Suppose v = 4*h - 2*l + 6*l, -4*h - l = -173. Does 15 divide h?
False
Let v(k) = -k + 6. Let x be v(4). Let b(m) = -5*m + 5*m - x + 8 + 2*m**2 + 14*m. Does 14 divide b(-9)?
True
Suppose 0 = -3*o + 12, -5*y + o + 1 = 5*o. Let r = 10 -