13. Is s(-7) a multiple of 18?
False
Does 22 divide 87/4 - (-9)/36?
True
Suppose 0*t = 2*t - 12. Suppose 4*o = -2*d + 2, 0 = -2*o + t*o - d - 17. Suppose -o*h = l - 5*l + 58, l - 3*h - 19 = 0. Is 9 a factor of l?
False
Let f = 55 - 30. Is 10 a factor of f?
False
Let a(m) = -4*m + 87. Is a(11) a multiple of 12?
False
Let m = 91 + -48. Let b = 65 - m. Is 14 a factor of b?
False
Let r(f) = 78*f**3 + f**2 - 4*f + 1. Let g(y) = -y**3 + y. Let k(m) = 3*g(m) + r(m). Is k(1) a multiple of 19?
True
Let p(h) = -3*h - 16. Is p(-12) a multiple of 10?
True
Does 23 divide (-23)/(-2)*(-4 + 6)?
True
Suppose 0 = 7*k - 3*k. Suppose k*w - 3*w + 33 = 0. Let z = 46 - w. Is 10 a factor of z?
False
Suppose 6 = -m + 4*m. Suppose t - 6 + m = 0. Suppose t*r - 84 = r. Is 14 a factor of r?
True
Suppose -3*g + 35 = 2*l + 2*l, 0 = 2*l - 10. Suppose 15 = -5*f - g, f = d - 67. Let c = d - 37. Does 13 divide c?
True
Let i(p) = -p**3 - 6*p**2 + 7*p + 5. Let l be i(-5). Let o = l + 97. Suppose 18 = 2*u - o. Is 15 a factor of u?
True
Let i = -14 - -18. Is 3 a factor of i?
False
Let m(s) = -s**3 - 3*s**2 + 2*s - 2. Let t(r) = r**2 + 4*r - 1. Let g be t(-3). Is m(g) a multiple of 6?
True
Let s = -4 + 7. Let n = s + 0. Suppose 4*q = 0, n*c + c - 4*q - 72 = 0. Does 12 divide c?
False
Let p = -6 - -10. Suppose 5*y - 305 = -5*n, 4*n - p*y - 237 = -y. Suppose 4*r + 0*r = n. Does 5 divide r?
True
Let q(h) = 23*h**2 - h. Let m be q(-1). Is (114/(-8))/((-9)/m) a multiple of 19?
True
Suppose w - 3*h - 12 = 7, 2*w - 24 = -h. Suppose 61 = 4*f + w. Does 7 divide f?
False
Let h(d) = -d + 2. Let f be h(-2). Let m(l) = 2 - l + 2*l + l**2 + f*l. Is m(-6) a multiple of 4?
True
Suppose -5*l - 4*v + 14 = 0, 5*v + 2 = -2*l - 6. Suppose 2*u - l*u = -28. Is u even?
False
Let a = 36 - -8. Does 11 divide a?
True
Suppose -5*i = -355 - 235. Does 27 divide i?
False
Let f(b) be the third derivative of -b**4/4 + b**3/3 + 2*b**2. Is 10 a factor of f(-3)?
True
Suppose -3*w - 34 + 121 = 0. Is w a multiple of 4?
False
Let v = 13 - -5. Suppose 0 = 5*t - 288 + v. Is 13 a factor of t?
False
Let g be 3/(3/5) - -1. Let s = 1 + 0. Let r = g - s. Does 4 divide r?
False
Let f = 70 - 73. Let n(h) be the third derivative of -h**4/8 - 2*h**3/3 - h**2. Does 3 divide n(f)?
False
Does 9 divide (-472)/(-26) - 14/91?
True
Suppose -w + 30 - 73 = -q, 3*w - 141 = -3*q. Is q a multiple of 14?
False
Let y(h) = h**3 + 5*h**2 - h - 2. Let l be y(-5). Suppose -l*w = -c + 26, 9 = w + 2*w. Is 13 a factor of c?
False
Let p(c) = 15*c**2 + 5. Is 11 a factor of p(-2)?
False
Suppose 3*b = 0, 7 = -3*n - 3*b + 49. Let l be 4/(-14) + (-66)/n. Is 21 a factor of (42/(-5))/(1/l)?
True
Let b = 5 + 5. Suppose -9 = -0*s - s. Let i = b + s. Does 13 divide i?
False
Let y(u) = u + 82. Does 8 divide y(-21)?
False
Let d(f) = f**3 + 14*f**2 + 10*f + 9. Does 10 divide d(-6)?
False
Does 2 divide 6/2 + 45/5?
True
Let o(a) = -a. Let k be o(-2). Suppose 3*m - 40 = -k*m. Is m a multiple of 4?
True
Let f = 128 - -8. Does 17 divide f?
True
Let r = -7 + 10. Suppose -2*q - 35 = r*q. Is (2 + (-3 - 0))*q a multiple of 7?
True
Let r = -32 + 7. Let n = r - -43. Does 9 divide n?
True
Suppose -z = -5*v + 3*z + 35, 0 = 3*z + 15. Is v/9 + (-209)/(-3) a multiple of 10?
True
Let z = -2 - -2. Suppose -5*s = -4*b - 17 + 134, z = 5*b + 5*s - 135. Suppose b = r - 2. Is 15 a factor of r?
True
Is 82 + (11 - 9) + (-6)/1 a multiple of 39?
True
Suppose k = -3*o + 14, k = 1 + 1. Is 4 a factor of o?
True
Let z(y) = 17*y**2 - 3*y + 4. Let j be z(3). Is 18 a factor of 3/(12/j) - 0?
False
Let s = -26 + 20. Let m(i) = -i**3 + 2*i**3 + 4 - 1 + 4*i + 7*i**2. Does 5 divide m(s)?
True
Let y be (-162)/(-39) + 6/(-39). Suppose -4*s = 2*c - 106, -7*c + y*s + 195 = -2*c. Is 14 a factor of c?
False
Let a(s) = 5*s**2 - 4*s**2 - 15 + 13 - 7*s. Is 7 a factor of a(10)?
True
Suppose 6*z - 15 = 3*z. Suppose 5 = 2*j - z. Suppose -s = -j*d + 4*d + 30, -3*s - 142 = -5*d. Is 14 a factor of d?
False
Suppose 9 = -2*s + 67. Let t = s + -21. Is 2 a factor of t?
True
Let p(y) = 3*y - 54. Does 4 divide p(22)?
True
Let t(c) = -c**2 + 4*c. Let o be t(2). Suppose y + o*m - 69 = 0, -4*y = 3*m - 131 - 106. Is y a multiple of 18?
False
Suppose -3*n + 198 = -126. Does 27 divide n?
True
Suppose 9 = -3*m - 3, -5*m + 780 = 5*c. Is c a multiple of 8?
True
Let g = 28 + 34. Let l = g - 26. Does 6 divide l?
True
Let v be ((-24)/16)/(1/(-2)). Suppose 0 = w - 3*w - 2*q + 28, v*w - 30 = q. Is 10 a factor of w?
False
Let y(c) = -4*c. Let h be y(-3). Let p be 1/(-4) - (-3)/h. Let n(k) = k + 7. Is n(p) a multiple of 6?
False
Let p(l) = l + 17. Suppose 0*m + 20 = -2*m. Is p(m) a multiple of 3?
False
Let y(z) = z**3 - 5*z**2 + 5*z - 4. Let u be y(4). Suppose u = 2*r - r - 2*v - 3, 0 = -5*r - 4*v - 27. Does 2 divide r/(-18)*-2*-9?
False
Suppose -5 - 3 = -4*a. Let g be a*3*1/2. Suppose -5*j = g*z + 2*z - 45, -21 = -j + 3*z. Is j a multiple of 9?
False
Let p be (128 + -2)*3/(-2). Let c = p + -187. Is c/(-12) + (-2)/(-3) a multiple of 16?
True
Suppose -2*p = -6*p - 4*d + 16, -10 = -2*d. Is 29 a factor of p/(447/(-222) - -2)?
False
Suppose -5*f = -4*d + 161, -5*d + 5*f + 176 = -29. Is 11 a factor of d?
True
Let o = -11 - -169. Suppose 3*x - o = -8. Let c = 82 - x. Does 16 divide c?
True
Let d be (-35)/1 + 4 + -1. Is (-1)/4 - 776/d a multiple of 8?
True
Suppose 4*d = 8*d - 20. Suppose -d*o - 20 = -2*x, -4*x + 28 = 2*o - 6*o. Suppose 0 = -f + 25 - x. Does 18 divide f?
False
Suppose 5*s + 3 = 38. Suppose 3 + s = o. Does 10 divide o?
True
Let c = 2 - 2. Is c + -2 + -1 + 45 a multiple of 12?
False
Let p be (-6)/(-4)*8/6. Let b(g) = 3*g**3 + g**3 - 3*g**2 + p - g**2 + 2*g. Is b(2) a multiple of 18?
False
Let o be ((-5)/(-10))/(2/324). Suppose -4*p - y = -o, -p = -6*p - 4*y + 104. Is p a multiple of 11?
False
Does 7 divide 2436/35 + (-2)/(-5)?
True
Suppose 3*x - 20 = -x. Suppose 0 = -x*n + 109 + 191. Is 20 a factor of n?
True
Let t(d) = d**3 + 5*d**2 + 3*d - 1. Let a be t(-4). Suppose 0 = -l + 3*l. Suppose 0*w - a*w + 36 = l. Is 4 a factor of w?
True
Let a be -3 - -9 - (1 + -1). Let t = 23 + a. Does 16 divide t?
False
Suppose g + 5*c = -5, 4*g + 15 = g - c. Suppose 15 + 3 = -2*q. Let j = g - q. Does 4 divide j?
True
Let y(b) = 5*b - 1. Let n = -13 - -24. Is y(n) a multiple of 18?
True
Suppose -5*f + 2*s + 31 = 107, -4*s + 8 = -f. Is f/(1/(-2)*2) a multiple of 15?
False
Suppose 3*v + 44 = 4*g - v, 3*v = g - 11. Is g a multiple of 11?
True
Let g be (-4)/(-18) + (-248)/(-18). Suppose -3*m + g + 55 = 0. Is m a multiple of 8?
False
Let f be (-580)/(-12) + 2/3. Let b be 1*-3 + f/7. Does 2 divide (-4 - 1)*(-4)/b?
False
Is 4/(12/8 + -1) a multiple of 4?
True
Let y(u) = -8*u. Suppose 4*j + 23 = 3. Is 16 a factor of y(j)?
False
Let b = 24 - 42. Is 1090/45 - (-4)/b a multiple of 16?
False
Let s(q) = -3*q**3 - 4*q**2 + 6*q - 3. Let d(f) = -f**3 + f - 1. Let t(n) = -4*d(n) + s(n). Is 9 a factor of t(4)?
True
Let z(c) = 7*c**2 - 4*c - 3. Let r be z(-4). Suppose 4*y = f + y - 42, 2*y = -5*f + r. Is 13 a factor of f?
False
Suppose b = 3*b - 28. Let m = -9 + b. Does 2 divide m?
False
Suppose 3*v - 5*v + 52 = 0. Is 13 a factor of v?
True
Let l = -8 + 10. Let j(d) = 4*d + 0*d**2 - 3 - d**l - d**3 + 6*d**2 + 2*d. Is 10 a factor of j(5)?
False
Suppose -139 = -4*r + k, 4*k - 144 = 3*r - 7*r. Does 9 divide r?
False
Let p(x) = -3*x**3 - 5*x**2 + 5*x + 4. Is 32 a factor of p(-4)?
True
Is 0 + 0 + -3 + 71 a multiple of 17?
True
Suppose 3*o + 2*a - 86 = 3*a, -5*o + 134 = 3*a. Is 4 a factor of o?
True
Let j(v) = 4*v - 1. Let p be 2/(-3) + (-280)/(-15). Suppose -2*w + p = 3*z, 4*z + 5*w + 12 = 43. Does 5 divide j(z)?
True
Let f(k) = -2*k**3 - k + 1 + k**3 - 5*k**2 + 0 - 3*k**2. Is 3 a factor of f(-8)?
True
Suppose -4*z + 144 = -z. Let r = z - 14. Is r a multiple of 17?
True
Let x be 2 - 1*13/(-1). Let a = 2 + x. Is a a multiple of 5?
False
Let t(g) = g - 4. Let l be t(-3). Let o = l - -22. Suppose 2*y = 71 - o. Is 10 a factor of y?
False
Suppose 7*r = 2*r. Suppose -5*s + r*s = -180. Does 12 divide s?
True
Let r(o) be the second derivative of 7*o**4/4 + o**3/2 - 3*o**2/2 - 3*o. Let c be r(2). Suppose -5*p = -c - 23. Is p a multiple of 11?
True
Let a be -11 + (0 - -1*2). Is (-128)/a - (-14)/(-63) a multiple of 9?
False
Suppose -10*z - 650 + 4950 = 0. Is 20 a factor of z?
False