multiple of 12?
False
Let u(q) = 21*q**3 - 2*q**2 + q. Suppose 3*j + v = 6, 0*j - 5*v + 16 = j. Let y be u(j). Suppose 16 = 2*s - y. Does 9 divide s?
True
Does 11 divide (-6)/(-4)*15686/93?
True
Let k(l) = 2*l**3 - 5*l**2 + 5*l - 17. Is 47 a factor of k(9)?
True
Let r(c) be the second derivative of 0*c**2 - 7/12*c**4 + 0 - 1/6*c**3 - 3*c - 1/20*c**5. Does 7 divide r(-7)?
True
Is (-2152)/(-20) + 8/20 a multiple of 5?
False
Let j(i) = -8*i - 5. Suppose 21 + 4 = -5*s. Is j(s) a multiple of 18?
False
Let j(n) = n**2 + 3*n + 17. Is j(-8) a multiple of 3?
True
Suppose 2*p - 3*z - 48 = 5*p, -5*p - 4*z - 82 = 0. Let r = 37 + p. Let v = -9 + r. Does 3 divide v?
False
Suppose -4*j - 10 = j. Let m = 2 - j. Let q(v) = 4*v**2 - 2*v - 5. Is q(m) a multiple of 17?
True
Let q(y) = y**3 - 12*y**2 - 37*y + 10. Let b be q(15). Suppose 2*z = -8 + b. Is 8 a factor of z?
False
Let u(y) = 19 + 10*y + 2*y**2 - 3*y**2 + 5*y**2 - 3*y**2. Is 11 a factor of u(-13)?
False
Suppose 4 = -x + 2*x. Let a(u) = 9*u**3 - u**2 - 2*u + 5. Let n(l) = -8*l**3 + l**2 + l - 5. Let i(r) = x*a(r) + 5*n(r). Is 11 a factor of i(-2)?
False
Let t = -65 - 15. Let v = t - -348. Is v a multiple of 21?
False
Is 15 a factor of 1/((-19208)/(-2400) - 8)?
True
Suppose 3*j + 5 + 1 = 0, 2*v + 5*j + 2 = 0. Suppose -5*o - 1 + 6 = 4*f, 0 = v*f. Is 7 a factor of (1/1)/o - -27?
True
Suppose -2*w - 1 - 11 = 0. Let k be (8 + -9)/(2/w). Suppose k*u - 4 = -16, -228 = -4*s + 5*u. Is 16 a factor of s?
False
Let q = 678 - 198. Is 15 a factor of q?
True
Let x(d) = -5*d**2 - 13*d - 10. Let h be x(-7). Let p = -113 - h. Is 13 a factor of p?
False
Let r = 1174 - 635. Is 49 a factor of r?
True
Let u(m) = 11*m + 16. Let r be u(4). Let z = r + 25. Is z a multiple of 22?
False
Let o(z) = -z**3 - 12*z**2 - 10*z - 10. Let x be o(-11). Let g = -18 - x. Is 7 a factor of (-3)/(g/84*-6)?
True
Let n(g) be the first derivative of g**4/4 + 7*g**3/3 + 2*g**2 + 3. Let v be n(-6). Suppose -3*l = y - 5*l - 6, 3*l + v = 2*y. Is y a multiple of 5?
False
Does 8 divide (-4)/18 - (-227164)/342?
True
Suppose 0*q = -6*q + 30. Suppose 0 = -q*r + r - 5*i + 778, 572 = 3*r - 2*i. Is r a multiple of 32?
True
Is -318*(1 + -2) + -5 a multiple of 41?
False
Let v(w) = 7*w**2 - 7*w - 7. Suppose 0 = -5*p - 15*p + 100. Is 11 a factor of v(p)?
False
Suppose 8856 = 205*k - 193*k. Is 9 a factor of k?
True
Suppose -11*m + 3191 + 3288 = 0. Does 20 divide m?
False
Let d = -37 + 9. Does 5 divide ((-3)/(-2))/(-1)*(d - -18)?
True
Suppose -3*n - 281 = -d - 0*n, 0 = 3*d + n - 793. Is 14 a factor of d?
True
Suppose -15*w + 16*w - 46 = -d, 2*d - 83 = -5*w. Does 2 divide d?
False
Suppose 13257 + 1351 = 5*m + 4*p, -2*p - 8778 = -3*m. Is m a multiple of 80?
False
Suppose 352 - 65 = b - a, -5*b = -3*a - 1429. Is 5 a factor of b?
False
Let m(v) = -v**3 + 6*v**2 + 4*v - 6. Let j be m(7). Let b = j + 36. Is 19 a factor of (-228)/18*(3 - b)?
True
Let x(w) = -63*w - 15. Let l be x(-2). Let n = -77 + l. Is n a multiple of 2?
True
Let p be 184/32 + (-1)/(-4). Let i be (p/18)/(1/39). Suppose -16*o + 87 = -i*o. Is 10 a factor of o?
False
Suppose -5*d - 3*w = -54, w = -4*d - 0*w + 46. Suppose x - d = -x. Suppose -x*h - 1 = -73. Is 6 a factor of h?
True
Let v(o) = -o + 8. Let b = -6 - -12. Let q be v(b). Suppose -a - 5*g + 32 = 0, -q*g + 65 - 1 = 2*a. Does 16 divide a?
True
Let z(c) = -12*c**3 + 5*c + 6. Does 12 divide z(-3)?
False
Let h = -147 + 148. Let b(d) be the third derivative of 17*d**6/120 - d**5/60 + d**4/24 - d**3/6 - d**2. Does 6 divide b(h)?
False
Suppose 138 = 4*u - 42. Does 13 divide (6*(-1)/2)/((-1)/u)?
False
Suppose 81 = 7*n - 234. Suppose 3*x - 2*x - n = 0. Does 9 divide x?
True
Let a(x) = -3*x + 33. Let q(w) = w**3 + 7*w**2 + 6*w. Let n be q(-6). Let l be a(n). Suppose 2*t - l = 57. Is t a multiple of 9?
True
Let d be (-1)/(-4) + 151/4. Let c be 2*(-3)/(-18) - (-406)/(-21). Let j = d - c. Is 39 a factor of j?
False
Suppose 5*f - f - 8 = 0, 0 = 4*y + 5*f - 2602. Is 45 a factor of y?
False
Suppose -x + 2*x = 6*x. Suppose 0*i + i + 4*p - 69 = 0, 3*i - p - 168 = x. Does 5 divide i?
False
Let a = 892 + -487. Is a a multiple of 63?
False
Let z(f) = f + 7. Let x be z(-5). Let v be -4 + 42/((33/2)/11). Suppose -v = -m - x*m. Is 6 a factor of m?
False
Let z = -33 + 39. Suppose -z*t + t = -735. Is t a multiple of 17?
False
Let g be -1*((-6)/15 + 26/(-10)). Suppose -34 = -2*i + 3*p, -35 = -g*i - 2*p + 42. Is i a multiple of 3?
False
Let m(v) = 4*v + 3. Let c be m(-4). Let a(y) = -2*y. Let t(z) = -z. Let n(i) = a(i) - t(i). Does 13 divide n(c)?
True
Is 50 a factor of ((-70)/6)/((-44)/2640)?
True
Let n be 5 - (4 + (3 - 4)). Suppose -4*c - a = -551, -34 = -c - n*a + 95. Does 15 divide c?
False
Let g(a) = -a**3 + 17*a**2 - 25*a + 35. Is 21 a factor of g(14)?
True
Let o(z) = 149*z**2 - 4*z + 3. Does 12 divide o(1)?
False
Suppose 9*g - 20 = 13*g, -2*g = -p + 272. Does 28 divide p?
False
Suppose -17 = -3*y - 2. Let j(w) = 10*w + 31. Does 9 divide j(y)?
True
Suppose 0 = 7*c - 3*c - 1528. Suppose 4*p = c + 294. Is p a multiple of 16?
False
Suppose -12 = -10*c + 6*c. Suppose -4*n = d - 33 + 10, -4*n - c*d + 29 = 0. Suppose -l - m = -3*m - 53, n*l + m = 210. Is 9 a factor of l?
False
Let b(r) = -42*r + 93. Does 10 divide b(-12)?
False
Suppose -2*i + m = -105, -2*m = -3*i + 119 + 40. Suppose 4*g - 89 = 3*a + 2*g, 0 = -3*a + 5*g - 101. Let q = i + a. Does 8 divide q?
True
Let r = -1829 + 3388. Is r a multiple of 48?
False
Suppose -4*w - 16 = -4*y, -2*y + 5*w - 1 = -6. Suppose t + 47 = y*k - 18, 0 = -4*t + 20. Is 14 a factor of k?
True
Suppose -7 = -6*d + 17. Does 8 divide ((-4)/6)/(d/(-216))?
False
Let a(w) = 0*w**3 + 3*w**3 - 4*w**3 + 7*w**2 + 7 + 9*w. Let p = -41 + 49. Is a(p) a multiple of 2?
False
Let a = -35 - -84. Suppose -2*s - k - a = 0, 4*s - 2 = 5*s + 5*k. Let i = s - -42. Does 8 divide i?
False
Let i(g) = 2*g**3 - 15*g**2 + 17*g + 50. Is i(9) a multiple of 65?
False
Is 401 + 5 - (7 - 1) a multiple of 8?
True
Let i = 12 + -12. Suppose -3*q - q = -5*b - 1, i = -5*q - b + 23. Suppose -72 = -5*n + 2*v, 3*n - q*v + 66 = 8*n. Is 7 a factor of n?
True
Suppose 2*v - 4*d = -8*d + 2054, -2*v - 3*d + 2051 = 0. Does 44 divide v?
False
Let g = 431 + 52. Is 23 a factor of g?
True
Suppose -34*q + 30*q + 780 = 0. Suppose -u + 4*u - 12 = 0. Suppose y = -u*y + q. Does 13 divide y?
True
Suppose 4*f - 7*f = -9. Let p(v) = v**2 - v - 3. Let o be p(f). Does 35 divide -28*(o/(-4) - 3)?
True
Suppose -5*y - 3*s - 219 = 0, -3*y - 21 = 5*s + 120. Let g = 62 + y. Is g a multiple of 10?
True
Let v = -1 + 6. Let u = 13 - v. Is (-12)/u - 129/(-6) a multiple of 11?
False
Let r(s) = 6*s - 1. Let b = -14 - -25. Does 13 divide r(b)?
True
Is 97 a factor of (8 + -12)*(238/(-4) - -2)?
False
Suppose 5*u + 1430 = 5*n, -5*n + u = 2*u - 1442. Is n a multiple of 8?
True
Let s(a) = -a**3 + 4*a**2 - 7. Let p be s(3). Suppose 9 = p*r + t, 0*t + 6 = 3*r - t. Suppose 0 = -0*w - 2*w - 10, -4*w = r*j - 271. Is j a multiple of 17?
False
Suppose 0 = -756*t + 762*t - 8274. Does 7 divide t?
True
Let a = 1 - 1. Let i(x) = x**3 + 22*x**2 - 25*x - 33. Let o be i(-23). Suppose a = l + o - 91. Does 25 divide l?
False
Let d = -1 + 3. Suppose d*f = f - 20. Let x = -11 - f. Does 3 divide x?
True
Suppose 3*b + 5*f - 2326 = 0, 2*b - 2*f - 1555 = -f. Does 21 divide b?
True
Let m be 27/45 - (-2564)/10. Let x = m - 137. Is 15 a factor of x?
True
Let m = -89 + 91. Is 3 - (-71 + m + 0) a multiple of 12?
True
Suppose 3*n + 3*v - 6 = 0, n - 4 = 5*v - 2. Suppose 2*d = 4*d + 6, n*b + 5 = -3*d. Suppose -b*q + 115 = 3*q. Is q a multiple of 13?
False
Let z(q) = q**3 - 11*q**2 + 15*q - 15. Let m = -30 + 41. Does 19 divide z(m)?
False
Is ((-3672)/(-16))/((-1)/(-2)) a multiple of 20?
False
Let b(x) = 4*x + 16. Let d be b(-7). Let r = -8 - d. Suppose -q + 36 = 2*u, 14 = u + 5*q - r. Is u a multiple of 9?
True
Let m be 0 + -1 + 1 - 1. Let y(d) = -d + 1. Let s be y(m). Suppose 2*h + 5*k = 59, s*h = 2*k - 0 + 24. Is h a multiple of 7?
False
Let p be 15/6*(-2 + 1 - -3). Let i(j) = 2*j**2 + 2*j + 3. Is 7 a factor of i(p)?
True
Suppose -329 - 237 = -2*a. Let k = -88 + a. Suppose 123 = -u + 4*u + 3*f, 0 = -5*u - 3*f + k. Does 18 divide u?
True
Let h(y) = 337*y + 8. Does 21 divide h(1)?
False
Suppose 2*d = -d + 9. Suppose d*h - 8 = 19. Let r = 14 - h. Is 