*m. Does 3 divide m?
False
Let u(r) = -r**3 - 3*r**2 - 13*r - 5. Is u(-7) a multiple of 23?
False
Suppose -3*d = -3 - 6. Suppose 3*c = -3*s - 2*c - 270, -d*s = -5*c + 240. Let u = s - -125. Does 9 divide u?
False
Is 47 a factor of 850 + 0 + (-48)/12?
True
Does 12 divide 2/5 + 1393598/505?
True
Let a(y) = -2*y**3 - 15*y**2 - 9*y - 5*y + 3*y**3 + 7 + 10. Does 3 divide a(16)?
False
Let x(z) = -5*z + 4. Let r(u) = 16*u - 13. Let i(q) = -2*r(q) - 7*x(q). Let j be i(1). Is (16 - 1) + j*3 a multiple of 3?
True
Suppose 0 = -2*i + s + 19 + 13, 0 = i + 2*s - 11. Is 72/i*10/4 a multiple of 3?
True
Let s be ((-64)/28 - -4)*(2 + 5). Suppose -s*y + 11*y = -64. Is 16 a factor of y?
True
Let l be 4/6 - (-452)/6. Let r = l + 27. Is r a multiple of 14?
False
Let a(j) = 3*j - 4. Let c be a(10). Let q = c + -22. Suppose -q*d - 80 = -5*d. Does 16 divide d?
True
Let c be (96/(-15))/(1/5). Let i be 2/(-7) - c/14. Does 3 divide (-180)/10*(-1)/i?
True
Let k(f) = 4 + 14*f**2 + 17 - 22*f + 39*f + f**3. Does 21 divide k(-12)?
True
Let k(i) = 4*i**2 - 30*i - 60. Does 30 divide k(15)?
True
Let j(b) = b**3 - 5*b**2 - 9*b - 1. Let w be j(7). Suppose l - 5*s = w, -4*l = l - s - 122. Is l a multiple of 12?
True
Let h(x) = -15*x + 10. Let m(d) = -46*d + 29. Let p(s) = 11*h(s) - 4*m(s). Does 32 divide p(2)?
True
Suppose -12*d = -14*d + 6. Suppose 5*z - 4*k = k + 365, z - d*k = 75. Is 23 a factor of z?
False
Let o = -10 + 9. Let c(r) = -13*r**3. Is 4 a factor of c(o)?
False
Let c = -23 + 28. Let i(j) be the first derivative of 13*j**2/2 + 3*j + 3. Does 34 divide i(c)?
True
Let o = -70 + 48. Is 8 a factor of 7378/77 + (-4)/o?
True
Let n be (-2)/(-10) - 54/(-30). Let v(a) = a**2 - a. Let p be v(n). Suppose 0 = -p*c - j - 3 + 14, 3*j + 9 = c. Is 6 a factor of c?
True
Let d(q) = q**3 + 4*q**2 - 7*q - 7. Let k be d(-5). Let m(u) = u**2 + 16*u - 4. Is 4 a factor of m(k)?
False
Suppose -4*b - 789 = -1525. Does 5 divide b?
False
Let w be (-3)/9*(11 - -1). Is 21 a factor of (56 - 5) + w/(-2)?
False
Suppose 3*q + 6*n - 2*n = 1, -2*q + 2*n - 4 = 0. Is 25 a factor of (-6 - -204)/(1 - q)?
False
Let m = 4 - 6. Let r be ((-7)/14)/(m/580). Suppose 0 = 3*i + l - 87, 9*i - 4*i - l - r = 0. Is 15 a factor of i?
False
Let h(s) = -s**2 - 5*s + 8. Let o be h(-6). Let t be (1/o)/(2/16). Suppose 4*j - 356 = -2*v, -t*j - v + 108 = -250. Is j a multiple of 19?
False
Suppose 6*w + 3 = 3*w. Let g(c) be the third derivative of -3*c**4/2 - 2*c**2. Is 8 a factor of g(w)?
False
Let z(i) = 5*i**2 + 2*i + 50. Does 9 divide z(-6)?
False
Suppose -t - 5 + 29 = 0. Let z(p) = -2*p + 82. Let d be z(22). Let i = d - t. Does 4 divide i?
False
Suppose 4*h - 8 = 2*y, -8 = 2*h + 3*h + 2*y. Suppose -2*a - 3*a - 70 = h. Let m = -9 - a. Is m a multiple of 5?
True
Let f = -5 + 41. Suppose -r + f = -54. Does 10 divide r?
True
Does 18 divide (-76)/(-6*(-6)/(-360))?
False
Let g(i) = -2*i**2 - i + 7. Let d(y) = -3*y**2 - 3*y + 13. Let t(b) = -3*d(b) + 5*g(b). Let h be t(-4). Is 40/6*h/(-15) a multiple of 8?
True
Let x(h) = 5*h**3 - 2. Let c be x(2). Let w = -1655 + 1773. Let z = w - c. Is z a multiple of 10?
True
Suppose 101 = -5*u + 401. Is u a multiple of 4?
True
Suppose 0 = -a + 4*q - 12, 5*a + 12 = 2*q - 12. Let h = a + 4. Suppose x = -3*d - d + 278, h = -d + x + 67. Does 24 divide d?
False
Let v(j) = 4*j + 1. Let n be v(0). Let z(m) = -m**2 - 4*m. Let s be z(-4). Is s/3 + n + 47 a multiple of 16?
True
Let i(h) = -2*h**2 - h - 1. Let p be i(2). Let a = p + 5. Let r(w) = -w + 6. Does 12 divide r(a)?
True
Let l = 15 - 15. Let h = 11 + l. Suppose 5*n = -h + 76. Is n a multiple of 3?
False
Let m = -2240 + 5942. Does 16 divide m?
False
Let s(w) = w**2 + 8*w - 8. Let f be s(-8). Let o be ((-18)/f)/(12/32). Is 17 a factor of (o/(-15))/((-6)/1020)?
True
Let d(j) = 3*j**2 + 90*j - 44. Is 6 a factor of d(-31)?
False
Suppose -3*p = 2*v - 22, 4*v = -p + 3 + 1. Let j(c) = c**3 - 8*c**2 + 6. Is 2 a factor of j(p)?
True
Let v = 151 - 53. Let q = -65 + v. Let f = q - 21. Does 4 divide f?
True
Let u = 92 - 177. Let y = -62 - u. Is y a multiple of 6?
False
Suppose -2*u - 2*r + 11 + 1 = 0, -u + 2*r = -18. Suppose -5*j + u = -0*j. Let p(a) = 14*a**2 - a + 2. Is 14 a factor of p(j)?
True
Suppose -2*n + 3 = -5. Suppose x + 4*x - 40 = 0. Does 14 divide (x/(-2))/(n/(-42))?
True
Let q(r) = 221*r**2 + 11*r - 13. Is q(2) a multiple of 19?
True
Let n(t) = 7*t**3 + 14*t**2 + 9*t + 16. Let m(a) = -11*a**3 - 21*a**2 - 14*a - 24. Let p(j) = 5*m(j) + 8*n(j). Is p(-5) a multiple of 12?
True
Let x(f) = 3*f**2 + 9*f + 10. Let n be x(6). Suppose -2*p - 464 = -3*w, -8*p - n = -w - 3*p. Is 20 a factor of w?
False
Let m = 544 - 604. Let h be 12/(6/(-104)*-2). Let n = m + h. Is 14 a factor of n?
False
Suppose 4*z - 298 = -4*h + 1334, -3*z + 1228 = 5*h. Is z a multiple of 9?
False
Let w(d) = -2*d + 10. Let k be w(7). Let h(x) = x + 0*x - 2 + 2*x + x**2 + x**2. Is 18 a factor of h(k)?
True
Let c = -581 + 668. Is 4 a factor of c?
False
Suppose -t + 13 = -3*f + 1, -4*f = 3*t + 3. Let x be 104/18 - (-4)/18. Suppose -o + t = -x. Is 2 a factor of o?
False
Let y = -2787 - -5437. Is 25 a factor of y?
True
Let y be (2/2)/(13/182). Suppose -5*r + 488 = -r. Is 21 a factor of r/6 - y/(-21)?
True
Suppose 4 = 10*t - 6*t. Let n be 0 + t + (-21)/(-7). Suppose -20 = -2*i - n*q, i + 1 = q + 5. Is 3 a factor of i?
True
Is 13/(-39)*(-123)/1 a multiple of 13?
False
Suppose -13*t + 22*t = 1449. Does 28 divide t?
False
Let i(x) = 14*x - 53. Let l be i(4). Is 23 a factor of 55 - (1 - l)*1?
False
Let k be (2 - (-165)/6)*-2. Let n = 139 + k. Is n a multiple of 13?
False
Suppose -f + 127 = 2*t - 230, -2*t = 5*f - 345. Is 10 a factor of t?
True
Suppose 8*l - 100 = 3*l. Suppose 4*y - 148 = l. Is 6 a factor of y?
True
Is ((-3615)/(4 - -1))/(2 - 5) a multiple of 27?
False
Let p(i) = 35*i**2 - 6*i + 13. Suppose -5*x + 7 = -3*j, 7*x - 13 = 2*x - 3*j. Is p(x) a multiple of 14?
False
Let k(c) = c**2 - 3*c - 11. Suppose -3*o = -3*v - 29 - 10, 3*v + 29 = 2*o. Suppose -5*p = -x - o*p + 12, -5*p = -20. Is k(x) a multiple of 13?
False
Suppose 2578 = 9*g - 770. Is g a multiple of 31?
True
Let f(h) = -h. Suppose 8 = -5*k - 2. Let w(n) = 5*n + 4. Let u(v) = k*w(v) - 4*f(v). Is 26 a factor of u(-10)?
True
Suppose 710 = 2*o + 5*f - 1050, 880 = o - 4*f. Is o a multiple of 80?
True
Suppose 4*s = 3*h - 4*h + 9, 2*s - 2 = 0. Let x(c) = 13*c - c - c - 2*c - 5. Does 13 divide x(h)?
False
Suppose -5*a - l + 26 = 0, -5*a - l = 2*l - 28. Suppose -a*o = 4*x - 85, 0 = -x + 2 + 3. Is o even?
False
Let i(p) = p**2 - 8*p + 46. Is 11 a factor of i(16)?
False
Suppose -40*c + 4248 = -4*c. Is c a multiple of 5?
False
Suppose 4620 = -94*a + 101*a. Suppose 4*h - 15*h = -a. Is h a multiple of 6?
True
Suppose -21*k + 1680 = -2478. Is 22 a factor of k?
True
Suppose 2*v = -3*n + 12, 4*n = 2*n + 5*v + 27. Suppose 0*y = -n*y - 258. Let h = y + 96. Is h a multiple of 9?
False
Let b = -252 - -350. Is b a multiple of 7?
True
Suppose -5*s + 18180 = 55*s. Is s a multiple of 34?
False
Suppose -35*z = -34*z - 238. Let l = z + -154. Is 11 a factor of l?
False
Suppose -36 = 4*u + 68. Let a = u - -69. Does 2 divide a?
False
Let s = 2170 + -538. Does 29 divide s?
False
Let g(s) = 1 - s**2 + 2*s**2 - 12*s + 11 + 3*s. Is g(12) a multiple of 22?
False
Let v(k) = 38*k + 80. Is 17 a factor of v(12)?
False
Let t(c) = -5*c**3 + 2*c**2 - 3. Is 15 a factor of t(-2)?
True
Let f(i) = i - 1. Let p be f(5). Let v(k) = 2*k - 2 - 4*k - 17 + p*k. Does 17 divide v(18)?
True
Suppose -85 = -4*h - 5*b, -4*h + 100 = -5*b + 25. Suppose -u = 2*g - 5*g - 4, -u - g = -h. Is 15 a factor of u?
False
Suppose 5*n - 58 + 63 = 0. Is (0 + -196 - -6)/(2/n) a multiple of 12?
False
Suppose -4*s = -5*k - 12, 5*k + 4*s - 18 = -6. Suppose z + r = -k*r + 61, 0 = 4*z + 2*r - 250. Is 30 a factor of z?
False
Suppose -439*u = -423*u - 12016. Is u a multiple of 22?
False
Suppose -5*l - 410 = -2*w, -185 = -2*l + 4*l - 5*w. Let m = 16 - l. Is m a multiple of 12?
True
Suppose -5*o = 4 + 46. Let z = o - -12. Suppose -z*j + 7 = -j. Is 2 a factor of j?
False
Let y(q) = -q**3 - 5*q**2 - 8*q + 33. Is y(-8) a multiple of 9?
False
Let z(a) be the third derivative of a**4/24 + 8*a**3/3 + 10*a**2. Let o be z(-12). Suppose 94 = o*l - 186. Is l a multiple of 17?
False
Let x be 1/((-4)/(-6 - 2)). Suppo