ltiple of 3?
False
Let q(k) = k + 9. Let m be q(-5). Suppose -3*v - 2*s + 77 - 28 = 0, -m*s + 85 = 5*v. Suppose -15*p + 52 = -v*p. Is 3 a factor of p?
False
Let p be (1 - -2 - 0) + 2. Suppose -u - 640 = -p*u. Suppose 4*q - u = -2*a, -3*a - 4*q + 72 = -170. Is 21 a factor of a?
False
Is 8 a factor of 1*(56 + -9 + 1)?
True
Let x(s) = -31*s**3 + s**2 + 2*s - 10. Is 6 a factor of x(-3)?
False
Let d(w) be the first derivative of -9*w**2 + 7*w**2 + 0 + 5*w + 3 - 1. Is d(-8) a multiple of 12?
False
Let a = -231 + 537. Suppose -n = b + b - 123, 5*b = -2*n + a. Does 15 divide b?
True
Suppose -18 = -4*h + 6*h. Let t = h - -30. Does 21 divide t?
True
Let j = -111 + 511. Is 50 a factor of j?
True
Let y(i) = 5*i**2 + 4*i + 3. Does 53 divide y(-6)?
True
Let p = 2360 - 2120. Does 20 divide p?
True
Let u(z) = 8*z - 10. Suppose 5*v = -w + 43, w + 2*w = -2*v + 12. Let x(p) = p. Let b be x(v). Is u(b) a multiple of 20?
False
Let q(y) = -y + 15. Let j be q(13). Is (-5 + 5 + j)/((-2)/(-78)) a multiple of 43?
False
Suppose 3*g + 17 = 2*a, 6*g - g = -3*a - 3. Suppose 5*t - 457 = 4*n, -a*n + 31 = 2*t - 163. Is 31 a factor of t?
True
Let w(v) = 2*v**3 + 37*v**2 + 17*v - 16. Let f be w(-18). Suppose -5*i - 4*x = -510, -f*x = -2*i - i + 328. Does 19 divide i?
False
Let i be (-18)/(-7)*(-98)/(-21). Suppose 8*h - 4*h = i. Does 3 divide h?
True
Suppose -21*u + 13*u + 19544 = 0. Is 13 a factor of u?
False
Let s be (-4)/14 + (-22688)/(-224). Suppose -32 = 2*a + 4*g - 104, s = 3*a - g. Is a a multiple of 8?
False
Let l(g) = 10*g**2 + 22*g + 56. Is l(-10) a multiple of 22?
True
Suppose 63*r - 109644 + 32910 = 0. Is r a multiple of 16?
False
Let k(d) = -d**3 + 25*d**2 + 6*d - 117. Is k(20) a multiple of 9?
False
Let y = -77 + 247. Suppose 8*f - y = 3*f. Let w = f - 21. Is w a multiple of 4?
False
Let q(t) = 3*t - 15. Let w be q(5). Let x be 1/(-3) + (-10)/(-3). Suppose x*p - 17 - 19 = w. Does 4 divide p?
True
Let l(f) = -f**3 - 5*f**2 - 9*f - 5. Suppose 5*g - 2*z = -28, -g - g + z = 12. Is l(g) a multiple of 4?
False
Let k be (-2 - 5/(-5)) + -67. Let b = k + 117. Does 10 divide b?
False
Let l(q) = 5*q - 24. Let s be l(6). Is (2/8)/(s/(-228))*-4 a multiple of 10?
False
Let q(g) = -g**2 - 8*g - 10. Let k(f) = f**2 + 9*f + 9. Let z(v) = 5*k(v) + 4*q(v). Let x be z(-13). Suppose 0 = 9*j - x*j - 60. Does 5 divide j?
True
Does 9 divide (-1441)/(-2) - ((-45)/(-10) - 5)?
False
Let z(c) = c**3 + c**2 - c + 4. Let m be z(0). Is 1*(3 - m)*-42 a multiple of 6?
True
Suppose -4*i - 2*i = -42. Suppose -187 = -m - 5*a, -3*m + 3*a - i*a + 616 = 0. Is 69 a factor of m?
False
Let c(r) = r**2 - 7*r + 13. Let x(s) = 6*s + 51. Let z be x(-7). Is 31 a factor of c(z)?
True
Let s = 37 - -582. Is 33 a factor of s?
False
Suppose 5*n - 1502 = 2*f, 2*n - 783 + 187 = -4*f. Is 12 a factor of n?
True
Is 26 a factor of -1 + (1 - 2 - -252)?
False
Let y be ((-27)/(-6))/((-1)/(-20)). Suppose 6*t - t = y. Is t a multiple of 9?
True
Let u(k) = k**3 + 16*k**2 + 19*k + 26. Let s be u(-12). Suppose -s = -5*q + 2*q - o, -3*q + 362 = 4*o. Is 9 a factor of q?
True
Let h(y) = 4*y - 2. Let g be h(-1). Let x be g/(-2)*868/(-12). Let u = -128 - x. Is 26 a factor of u?
False
Let b(g) = 115*g + 317. Is 37 a factor of b(4)?
True
Suppose 165 = 121*m - 116*m. Is m a multiple of 12?
False
Suppose -4*x - 5*m = -6, -3*x = 2*m - 5*m - 18. Suppose 5*g - o - 55 = 0, 1 = -g + 2*o + 3. Let s = g - x. Does 4 divide s?
True
Let q be 10/15 - (-8)/6. Let a(c) = 0*c**q + c - 3*c**2 + 27*c**3 - 15*c**3 - 2. Is 19 a factor of a(2)?
False
Let s(q) = -q**2 - 18*q - 44. Let c(h) = 2*h**3 + 14*h**2 + 2*h + 1. Let x be c(-7). Is 3 a factor of s(x)?
True
Let u = 36 + -37. Does 2 divide 7*u*16/(-14)?
True
Let t = -63 - -89. Suppose -18*u + t*u - 768 = 0. Is u a multiple of 11?
False
Suppose -2 = -3*m + 4. Suppose i + m*o = -2, -2*i - 3*o = -5*i + 30. Does 3 divide i?
True
Let y = 15 - 36. Let j = -22 - y. Is (j - -3) + 0 + 38 a multiple of 33?
False
Suppose 1287 = -10*z - 813. Does 14 divide z/(-14)*2/2?
False
Suppose 0 = -22*w + 17*w - 20. Is -1 - (-1*45 + w) a multiple of 24?
True
Let x(d) = -9*d - 3. Let p(s) = -3*s**2 - 1. Let v be p(-1). Does 11 divide x(v)?
True
Let y(v) = 5*v**2 + 4*v - 9. Let f be y(-5). Suppose -10*i + f = -8*i. Is 16 a factor of i?
True
Let p(w) = 2 - 2 + 21*w**2 + 3*w**2 + w - 2. Let x be p(3). Suppose 0 = 5*l - 68 - x. Is l a multiple of 12?
False
Let y be 1413/24 - (-3)/24. Let d = 87 - y. Is d a multiple of 12?
False
Let f(i) = -i**3 + i**2 - i + 1. Let m be f(1). Suppose l - 3 = m, 5*b - 4*l = 227 + 16. Does 17 divide b?
True
Let d = 118 + 333. Is 41 a factor of d?
True
Let l = 57 - -163. Is 44 a factor of l?
True
Let y(i) = -4*i**2 + 7*i - 1. Let v be y(-2). Let u = v + 275. Does 61 divide u?
True
Suppose -3 = 6*h - 15. Suppose -2*k + 32 = -0*k + h*m, 4*k - m - 89 = 0. Is k a multiple of 21?
True
Let y = -729 + -75. Does 8 divide y/(-10) + 2/(-5)?
True
Let q = 25 - 13. Suppose 37*j = 40*j - q. Is j even?
True
Let m be (-2 + 7 - 2) + 3. Let g be ((-2)/m)/((-2)/18). Suppose -5*d = 0, -5*o + g*d = -98 + 8. Does 15 divide o?
False
Suppose 154 + 44 = 9*i. Suppose -294 = 20*o - i*o. Is o a multiple of 21?
True
Let m(c) = 3*c + 21. Is 63 a factor of m(14)?
True
Let j(b) = 3*b**2 - 11*b - 6. Is 5 a factor of j(7)?
False
Let i(t) be the third derivative of -t**6/120 - t**5/30 - t**4/24 + t**3/6 - t**2. Suppose 34 = 2*w - 19*w. Is i(w) a multiple of 2?
False
Let d(p) = p**2 + 7*p + 12. Let y be d(-5). Is ((-32)/6)/(y/(-6)) a multiple of 4?
True
Suppose 2*d = 5*w + 60, -d + 3*w + 47 - 18 = 0. Suppose 5*g - 185 = -d. Is g a multiple of 10?
True
Let a be (-5364)/(-42) - 4/(-14). Suppose -2*p - 5*q + a = 0, p - 4*q - 24 = 53. Is p a multiple of 42?
False
Let s be -6*(-3 + (-32)/(-12)) + 3. Suppose -s*c + 0*c = -265. Is c a multiple of 38?
False
Let a be ((-176)/32)/(1/(-6)). Let o = a + 549. Suppose -4*q = 238 - o. Does 17 divide q?
False
Let l(a) = 4*a**2 - a. Let c be (-18)/12*(-8)/6. Does 6 divide l(c)?
False
Is 11 a factor of 122/(-5)*330*(-16)/32?
True
Let q be (-4 + 165/(-6))*4/(-3). Is 5 a factor of (-14)/q + 73/3?
False
Let s = -48 - -59. Is (s + -2)*(-860)/(-30) a multiple of 47?
False
Suppose 0*i + 4*i - 12 = 0. Suppose -2*y + f = 5*f - 258, 0 = -i*f - 9. Does 18 divide y?
False
Let a be (-11)/(-5) - (-6)/(-30). Suppose -a*x = -27 + 13. Suppose x*m + 40 = 8*m. Is m a multiple of 10?
True
Is 28 a factor of (-45194)/(-12) + (-46)/276?
False
Suppose i - 388 = -10*b + 9*b, 392 = b + 5*i. Does 43 divide b?
True
Let c(p) = 25*p**3 - 2*p**2 + 4*p - 5. Is 13 a factor of c(2)?
True
Let m(y) = -y**3 - 23*y**2 - 51*y - 42. Is 11 a factor of m(-21)?
False
Suppose -2*n + 10 = i, -5*n + 2*i - 5 = -30. Let k be (n - 3) + -4 + -145. Let y = 254 + k. Is 32 a factor of y?
False
Let n(i) = i**3 + 5*i**2 + 3*i - 4. Suppose -3 = q + 1. Let b be n(q). Suppose -3*g - 4*g + 343 = b. Is 9 a factor of g?
False
Suppose 0 = -0*o + 4*o - 24. Suppose o*a = 2*a + 80. Is 5 a factor of a?
True
Let g = 1177 + -625. Is g a multiple of 23?
True
Let g be (-450)/(-4) + (-4)/8 + 1. Suppose g = 4*w - 99. Does 18 divide w?
False
Let b be 2/10 - 190/(-50). Suppose b*m = -w - 3*w + 248, -3*w + 170 = -m. Is w a multiple of 18?
False
Suppose -3*y + 35 = -34. Let v = y - -13. Suppose 0*k - 2*k = -v. Is k a multiple of 18?
True
Let k = 97 + -79. Is 12 a factor of 1068/k - (21/9 + -3)?
True
Let q be (1 + (-7)/3)/(14/(-1113)). Suppose 3*y = -c + 42, q = 4*c - c + 5*y. Is c a multiple of 10?
False
Let y = -17 + 21. Suppose 19 = -3*o - 5*j, 4*o - y*j - 23 = -j. Suppose w - 2*a - o*a = 11, -12 = -2*w - 2*a. Is 7 a factor of w?
True
Suppose -194 - 322 = -3*p. Is p a multiple of 11?
False
Suppose -22 - 6 = -2*r. Let t(f) = 4 + 21*f**2 - 9*f**2 - r*f + 0*f - f**3. Is t(10) a multiple of 16?
True
Let p = 39 - 32. Let l(a) = 6*a + 2. Does 22 divide l(p)?
True
Let f(q) = -q + 10. Let w be f(0). Is -4 + (-1 - w)*-5 a multiple of 7?
False
Suppose 86*n - 87*n = -603. Is n a multiple of 67?
True
Let h(y) = y**3 - y - 6. Let r be h(0). Is 17 a factor of (-29)/(-87) - (-1)/(r/(-406))?
True
Let b(a) = a**3 - 10*a**2 + 3*a - 11. Let m be b(10). Suppose -10 = -x + m. Is 12 a factor of x?
False
Suppose 5*r - 20*a + 23*a = 3601, 1428 = 2*r - 5*a. Is r a multiple of 10?
False
Suppose 10