t a(p) = p**3 + 8*p**2 - 4*p - 11. Let v(f) = -a(f) + 3*u(f). Does 10 divide v(d)?
True
Let o(w) = -26*w**2 + w + 2. Suppose -12 + 10 = -j. Let d be o(j). Is 5 a factor of ((-6)/4)/(10/d)?
True
Let u be 460/11 + 26/143. Let k be (-2)/6 - (-13034)/u. Suppose 4*n = -n + k. Is 31 a factor of n?
True
Let c = 4 + -3. Is (1/(4/452))/c a multiple of 25?
False
Suppose 0 = x + 5*t - 184, 243 = 3*x - t - 229. Is 3 a factor of x?
True
Suppose -105 - 243 = -4*l. Let k = l + -45. Is 27 a factor of k?
False
Let n be (6/4)/((-1)/(-20)). Suppose -2 = c, -7 = -s + 49*c - 44*c. Let b = s + n. Is 8 a factor of b?
False
Let o(j) = 24 - 6 + 23*j - 8 - 7. Is o(1) a multiple of 24?
False
Let a(t) = 17*t - 36. Does 7 divide a(54)?
True
Let j = 46 + -66. Is (-5)/(-1)*(-208)/j a multiple of 9?
False
Is (-10)/2 - (-56 + -91) a multiple of 24?
False
Let d be 8/10 + 8472/60. Let a = d - 85. Does 19 divide a?
True
Let m(v) = v + 8. Let a be m(-8). Suppose -4*p - 3*n = -a*n - 28, -7 = -p - 3*n. Is 2 - -35 - (6 - p) a multiple of 19?
True
Is 2341 + (-8 - (-19 + 6)) a multiple of 84?
False
Let d(b) = -b**3 + 6*b**2 + 8*b - 6. Suppose -h - 2*c = 4, -3*h - 1 = 5*c + 6. Is 6 a factor of d(h)?
True
Let v(j) = 10*j + 4. Suppose 3*h = -x - 10, 3*x + 5*h = -9 - 1. Does 9 divide v(x)?
True
Does 3 divide (1 + (-8)/5)*(-242 - 73)?
True
Let f be 2/(-9) + (-56)/(-9). Let q(a) = 3*a**3 - 5*a**2 + 4. Let t(k) = k**3 + k**2. Let g(w) = -q(w) + 2*t(w). Is 16 a factor of g(f)?
True
Let x(h) = h**2 + 6*h - 12. Let v be x(-5). Let u(i) = -i**2 - 18*i - 13. Let n be u(v). Is 3 a factor of 10 - (-4 + -2 + n)?
True
Is (1260/(-54))/((-15)/18) a multiple of 14?
True
Let l(r) = 2*r**2 + 11*r - 91. Is 34 a factor of l(9)?
True
Suppose -11*q = 4*q - 6075. Does 45 divide q?
True
Suppose 23*x = 468 + 153. Does 27 divide x?
True
Let i = -24 - -11. Let k be i/(-3) - (-18)/(-54). Suppose -5*t - 2*o = 3*o - 255, -k*o = 0. Is 29 a factor of t?
False
Suppose -p = 20*t - 18*t - 432, -4*t = 0. Is p a multiple of 12?
True
Suppose -r = 5 - 7. Suppose r*y = -i + 73, -4*i + 4*y + 249 = -i. Is i a multiple of 24?
False
Let i(o) be the second derivative of -o**5/20 - o**4/4 + 7*o**3/6 + 3*o**2 - 2*o. Let t = 29 - 34. Is 14 a factor of i(t)?
False
Let c be 1 - -102 - 2/(-2). Suppose -2*k = -4 - c. Suppose w = -3*m + k, 2*m - 4*w - 28 = -2*w. Does 8 divide m?
False
Is 90/(-50)*5 + 394 a multiple of 9?
False
Let b(n) = -4*n**2 - 121*n - 3. Is 16 a factor of b(-24)?
False
Let s(p) = 2*p**3 + 19*p**2 + 8*p + 3. Let d be s(-8). Suppose -v - r + 58 = 0, 3*r + 199 + d = 5*v. Does 21 divide v?
True
Let z = 311 + -11. Is z a multiple of 59?
False
Let n(a) = -6 - 6*a + 20 + 3*a**2 - a. Let x(w) = -4*w**2 + 11*w - 21. Let d(f) = -7*n(f) - 5*x(f). Is d(-5) a multiple of 5?
False
Suppose 69 + 87 = d. Suppose 3*l + 3*f = d, -l + 5*f = f - 27. Suppose 5*h - 113 = l. Is h a multiple of 16?
True
Let h be 474/42 + 2/(-7). Let c = h + -20. Let b = 21 - c. Is b a multiple of 10?
True
Let y be (5/(-2))/((-5)/(-10)) - -3. Let j = y - -38. Is 12 a factor of j?
True
Suppose u + 4*k = 58, 4*k - 3*k = -5*u + 385. Suppose 3*f = -2*f + 235. Let v = u - f. Does 14 divide v?
False
Let g = 212 - 55. Let h = g + -49. Does 36 divide h?
True
Suppose r + 5*r = 3*r. Suppose r = -5*b + 2*j - 0*j + 1260, -2*j = 4*b - 1008. Is b a multiple of 14?
True
Suppose m + 18 = 3*m. Let r be (-16)/12*36/8. Is (r - -3)/((-1)/m) a multiple of 8?
False
Let k = 85 + -80. Suppose -4*t = -k*c - 143, -3*t + 5*c + 175 = 2*t. Is t a multiple of 16?
True
Let i be -26*((-1)/2 + 1). Let s(x) = x**3 - 19*x**2 - 17*x - 44. Let a be s(20). Let z = a + i. Does 2 divide z?
False
Let q(a) be the third derivative of 3*a**5/20 - a**4/24 + 5*a**3/6 + 4*a**2. Let n(g) be the first derivative of q(g). Is 7 a factor of n(2)?
True
Let y be 710/3 + (-4)/6. Suppose -2*v + 266 = -5*f - 209, v - 4*f = y. Does 16 divide v?
True
Suppose v = -3*o + 55, 0*v + 117 = 2*v - o. Let f be (-2)/(-6) - 308/(-12). Suppose -3*w = 2*r - f, 4*w - 21 - v = -5*r. Is 6 a factor of r?
False
Suppose 3*c - 4*a - 974 = 0, 4*c - 5*a = -833 + 2131. Is c a multiple of 22?
False
Let x(h) = 51*h - 115. Is x(22) a multiple of 20?
False
Suppose -k - 12*y = -10*y - 299, -3*k + y + 925 = 0. Is k a multiple of 24?
False
Let m = -5 + 13. Let n = 12 - m. Suppose -2*i - k + 8 = k, -3*i - n*k + 7 = 0. Does 3 divide i?
True
Suppose -2*o + 82 = 2*x, 4*o - 81 = -2*x - 1. Is x even?
True
Suppose -2*q = w + 77, 4*q + 183 = -3*w + 28. Let h = q + 69. Is 5 a factor of h?
False
Let r be (-11)/4*(-25 - 11). Let a = r + -47. Is 19 a factor of a?
False
Suppose -3*n + 2*n = -23. Suppose 0*v - n = -v. Is 6 a factor of v?
False
Let g(b) = -3*b**3 - 8*b**2 + 4*b - 6. Let z(q) = q**2 + 22*q + 34. Let l be z(-20). Is 48 a factor of g(l)?
False
Let b = -10 - -20. Let g be (-4)/b + 108/(-5). Let c = 37 + g. Does 15 divide c?
True
Let v(k) = k**3 + 12 - 2 - 9*k - 5*k**2 - 3*k**2 - 5. Let o be v(9). Suppose -o*n + 5*l + 415 = 0, 19 = 2*n + 3*l - 122. Is 13 a factor of n?
True
Suppose 0 = 13*a - 1711 + 333. Is 16 a factor of a?
False
Let c(w) = 18*w. Let s(i) = -i. Let h(n) = c(n) + 12*s(n). Let b be (-1 - (-100)/16) + (-6)/24. Is h(b) a multiple of 10?
True
Let y be 4/6 + 76/(-6). Let h = y - -12. Is (19 + h)/((-1)/(-2)) a multiple of 19?
True
Suppose -4*n - 2*a + 22 = 0, -3 = 4*n - 2*a - a. Let i be (-4)/n*9/(-6). Let q(u) = 21*u. Does 13 divide q(i)?
False
Suppose b - 10 + 3 = -2*s, 0 = -s + b - 1. Let r be (-1 - (-118)/2)/s. Let f = 41 - r. Is 6 a factor of f?
True
Let i(q) = q**3 + 10*q**2 - 14*q - 20. Let s be i(-11). Let r(v) be the first derivative of 3*v**2/2 - 17*v + 1. Is 11 a factor of r(s)?
True
Suppose 2*k - 334 - 140 = 0. Is k a multiple of 59?
False
Let d(x) be the second derivative of -x**4/12 + 11*x**3/6 - 9*x**2/2 - 5*x. Let o be 6/(-4)*64/(-12). Does 15 divide d(o)?
True
Let n(t) = t**2 - 7*t + 8. Let c be n(6). Suppose c*p = -0*p - 12. Let s = p + 15. Does 5 divide s?
False
Let a(d) = 18*d - 39. Let y(w) = -w + 1. Let o(v) = -a(v) - 15*y(v). Does 15 divide o(-7)?
True
Let q(i) = 481*i**2 - 1. Does 13 divide q(-1)?
False
Suppose 169 = 16*a - 599. Is 8 a factor of a?
True
Let p(c) = c**3 - 2*c**2 + 9*c**2 - 2*c + 4 + 5*c + 3*c. Let f be p(-6). Suppose -f*h + 12 = -x - 41, -4*h = 4*x - 68. Is h a multiple of 4?
False
Let y(r) = r**2 + 38*r - 199. Does 9 divide y(19)?
False
Does 6 divide -7 + 4 - -1 - -15 - -5?
True
Let q(m) = 2*m**2 - 4*m - 8. Let g be q(6). Let a(f) = f**2 - 2*f - 32. Let r be a(0). Let u = g + r. Is u a multiple of 4?
True
Let u = 82 - 118. Let m = u + 157. Does 39 divide m?
False
Let i(o) = -o**3 - 3*o**2 + 2*o - 3. Let v(t) be the third derivative of -t**4/24 - 7*t**3/6 + 2*t**2. Let d be v(-3). Is i(d) a multiple of 4?
False
Let m(a) = -34*a**3 + a**2 + 7*a + 25. Does 5 divide m(-3)?
False
Let c = 123 + -120. Suppose 0 = c*m + 6*i - i - 259, -m = -4*i - 109. Is m a multiple of 31?
True
Let f = -328 + 544. Suppose -4*w + f = -w. Does 18 divide w?
True
Suppose -v - 4*t = -346, 11*t = -v + 6*t + 343. Let h = v + -256. Is h a multiple of 51?
True
Let m(a) = 2341*a**2 + 11*a - 1. Is 30 a factor of m(1)?
False
Let c = 37 - 65. Let a be (-4)/(-1)*(-14)/c. Suppose -a*f = -66 + 6. Is f a multiple of 30?
True
Suppose 5*r + 10 = -b, -2*b = -2*r + 3*r - 7. Suppose -b*i - 12 = 3*x - 2*x, 0 = 2*x + 5*i + 9. Is x a multiple of 2?
False
Let d(b) = -b**3 - 7*b**2 + b + 9. Let x be d(-7). Suppose 3*t - x*t - 1 = 0. Is 5 a factor of 15 + (-1 - (0 - t))?
True
Let k(t) = -2*t - 2. Let a be k(-2). Suppose 2*d - 4*q = 148, q + 66 = a*d - 73. Is 8 a factor of d?
False
Let v be (-20)/(-70) + (-4)/14. Suppose k - 2*d - 169 = v, -22 = k + 4*d - 173. Does 20 divide k?
False
Let z(s) = 154*s + 202. Let r(y) = -31*y - 40. Let x(b) = 11*r(b) + 2*z(b). Is x(-10) a multiple of 21?
True
Suppose 8*u + 236 = 68. Let l = 26 + u. Is l a multiple of 2?
False
Suppose 5*a = 27 + 3. Suppose 0 = 3*o + a*o - 1827. Does 29 divide o?
True
Let b be (2/(-3))/((-2)/(-15)). Is 0/b + 108 - -3 a multiple of 29?
False
Let m(u) = -8 + 19*u**2 + 22*u + 2*u**3 + 0*u**3 + 24 + 2*u**2. Is 10 a factor of m(-9)?
False
Suppose 1338*u + 3306 = 1341*u. Is u a multiple of 38?
True
Let q(c) = -c**2 + 28*c - 63. Is q(20) a multiple of 24?
False
Suppose -5*x = -3*x + 42. Let