. Does 5 divide z(r)?
False
Suppose -3*j - 20 + 89 = 0. Does 10 divide j?
False
Let o = -89 + 131. Let v = o - 18. Does 12 divide v?
True
Let h(m) = 16*m - 4. Let t be h(4). Suppose 3*c + c = t. Is c a multiple of 13?
False
Let m(u) = u**2 - 2. Let n be m(3). Let s(o) = o**3 - 6*o**2 - 3*o - 8. Is 20 a factor of s(n)?
True
Let z = -7 - -6. Let s be -2 + 5 - (-2 - z). Suppose -5*l = -2*o + 21, -s*o + 2*l + 55 = 5*l. Does 13 divide o?
True
Suppose 5*b = 4*r - 31, -2*r - r + 2*b + 18 = 0. Suppose r*z - 43 = 2*s + 117, -3*z = 2*s - 127. Does 16 divide z?
False
Suppose -7*m + 1280 = -3*m. Does 32 divide m?
True
Suppose -n - 773 = -4*w, -2*w - 5*n + 284 + 97 = 0. Suppose 0 = -5*t - y + w, 5*y = -3*t + 7*t - 137. Is 13 a factor of t?
False
Suppose 0*y + 33 = y. Let w be (-6)/(-21) + (-57)/(-21). Let t = y + w. Is t a multiple of 18?
True
Let r be (-4)/(-18) + (-33808)/(-144). Let h = -168 + r. Does 20 divide h?
False
Let k(c) = c**3 - 3*c**2 - 2*c + 10. Does 11 divide k(4)?
False
Let a be 1 - -14 - 1*-2. Suppose -1 = 2*p + j, -j = 3*p - 4*j - 21. Suppose -p*q + a + 13 = 0. Is 15 a factor of q?
True
Does 9 divide (3/(-4))/(-3) + (-355)/(-20)?
True
Suppose 0 = 2*b + 7*a - 2*a - 74, b - 5*a - 52 = 0. Let k(g) = g**2 + g + 5. Let u be k(-4). Let s = b - u. Does 13 divide s?
False
Does 15 divide (7/98*-556)/((-1)/7)?
False
Suppose -u + 12 - 67 = 0. Let q be u/4 - 3/12. Does 14 divide q/(1 + -2)*2?
True
Let v be (0 - 0)*3/(-6). Let g = 3 + v. Suppose g*k - 14 - 4 = 0. Does 3 divide k?
True
Is 5 a factor of (-9 - 1)/(6/(-9))?
True
Let j(h) = -h**3 + 8*h**2 - h + 2. Does 13 divide j(4)?
False
Let i = 171 + -99. Is 12 a factor of i?
True
Let t be 6/(-2) + 2 + 26. Suppose 4*h = -m + 5, m + h + t = 6*m. Is m even?
False
Let v = -4 - 63. Let a = v - -127. Suppose -a = r - 4*r. Is r a multiple of 7?
False
Let d be ((-4)/(-2))/((-4)/(-6)). Suppose 372 = -3*f + 9*f. Suppose -3*y - d*k + 16 = -f, 0 = 2*k - 10. Is 7 a factor of y?
True
Let v(i) be the second derivative of i**5/30 - i**4/4 + i**3/3 + i**2/2 - i. Let j(h) be the first derivative of v(h). Is 4 a factor of j(4)?
False
Suppose x - 5*x + 11 = 3*c, 0 = -2*x - 2. Is 2 a factor of c?
False
Suppose 3*t = 2*d + 36 - 13, 2*t + 2*d = 2. Suppose 5*f - 45 = 5*y, -t*y = 1 - 6. Does 6 divide f?
False
Let l(v) be the second derivative of 8*v**2 + 2*v + 0 - 1/6*v**3. Does 4 divide l(8)?
True
Let o(s) = -s + 4. Let i be o(0). Suppose 0 = i*u - y - 43, u + u - 17 = -y. Is 6 a factor of u?
False
Let y = 115 + -4. Does 9 divide y?
False
Suppose 2*f + 2 - 76 = 2*r, -3*r = -6. Is f a multiple of 9?
False
Let k = 17 - -19. Is 12 a factor of k?
True
Suppose -8 = -d + n - 2, -2*d + 6 = -4*n. Let x(s) = 4*s**2 - 10 - 12*s + 0 - 2*s**2. Does 17 divide x(d)?
False
Let a(k) = 2*k + 12. Does 6 divide a(10)?
False
Let p(k) = 26*k - 18. Is 16 a factor of p(5)?
True
Let i be -1 + (4 - 1) - 2. Let l be (4 - i)*(-141)/12. Does 4 divide l/(-6) - 2/(-12)?
True
Let o(j) = -j + 3. Let c be o(7). Let r(h) = -h**3 - 4*h**2 - 3*h - 4. Is r(c) a multiple of 6?
False
Suppose -33 = -2*p - 13. Is p a multiple of 2?
True
Let r = 188 - 118. Does 20 divide r?
False
Let j = -3 - -6. Suppose -j*o + 5*v + 39 = 0, -10 = -3*o - 2*v + 8. Is o a multiple of 8?
True
Let f = 6 - 3. Suppose 6 = -2*a, s - 2*s + f*a + 64 = 0. Is s a multiple of 11?
True
Let u be 3/((-3)/(-197)) + 3. Suppose 0 = -o + 6*o - u. Is 20 a factor of o?
True
Let r be -7*(-1)/(-2)*-2. Suppose -5*k - 17 = w, k = -3*w + 4*k + 21. Is r + 3*2/w a multiple of 9?
True
Let s be 2/7 + (-68)/(-7). Suppose -j + s = j. Suppose 2*p = j*p - 24. Is 3 a factor of p?
False
Suppose 0*c - 4*c + 168 = 0. Suppose -250 - 74 = -18*g. Let l = c - g. Is 12 a factor of l?
True
Let u be (2 + (4 - 7))*-4. Let f(l) = -l**3 - 3*l**2 - 3*l - 4. Let j be f(-3). Suppose 46 = j*g - u*t, -t = 5*g + 4*t - 55. Is g a multiple of 10?
True
Let o(k) be the first derivative of 5*k**3/3 - k**2/2 - 2*k - 2. Does 16 divide o(2)?
True
Let c = -5 + 10. Suppose -c*v + 87 = -2*v. Suppose -2*f + 21 = -v. Is 25 a factor of f?
True
Let g be (-8)/2*(-4)/4. Suppose 5*q - 2*l = -g*l + 114, 0 = 4*q - l - 86. Is 10 a factor of q?
False
Let x be (-5 - -2)*-1 + 1. Suppose v - 8 - 7 = -x*z, -v + 3 = 0. Suppose -3*g + 8*m = 3*m - 92, -94 = -z*g + 4*m. Is g a multiple of 17?
True
Let j(s) = 10*s + 38. Is j(11) a multiple of 23?
False
Let i be -2 - -5 - (0 - 44). Is 16 a factor of i - (-2 + 1 + 2)?
False
Suppose 3*f = -3*c + 93, 0 = -3*c - 2*f + 32 + 57. Does 15 divide c?
False
Suppose -4*b + 3*d = -111, -b + 4*d + 31 = -0*d. Let l = -16 + b. Is 3 a factor of l?
False
Let w be (13 + -4)*(-2)/3. Let n = w + 11. Does 3 divide n?
False
Suppose 4*d + 6 = -42. Let f = d - -18. Let o = f - -2. Is 4 a factor of o?
True
Let n = -4 + 1. Is 5 a factor of (15/(-9))/(n/9)?
True
Let o(a) be the third derivative of -4*a**2 + 0*a - 13/24*a**4 + 0 + 0*a**3. Does 13 divide o(-1)?
True
Let b(m) = -m + 9. Let j be b(9). Suppose 4*l + 0*l - 200 = j. Is 18 a factor of l?
False
Suppose 0 = 5*r - 2 + 12. Is 0 + r - -7 - -2 a multiple of 3?
False
Suppose 4*q - 188 = -3*k + 8*k, -235 = -5*q + 3*k. Is q a multiple of 11?
False
Suppose -y = -5*y + 4, -3*q - 5*y + 2 = 0. Is 30 a factor of 4/8*(145 - q)?
False
Suppose 0 = -2*n + 2*t + 2*t + 54, -3*n + 51 = 4*t. Does 6 divide n?
False
Let h = 11 - 8. Is 3 + 11/(h/3) a multiple of 14?
True
Suppose 2*m - 16 = 4*s + 34, 0 = -3*s. Does 13 divide m?
False
Let g(l) = l**2 + 3*l - 5. Let o be g(-6). Suppose -3*p - 1 = -o. Suppose -p*t = -5 - 43. Does 6 divide t?
True
Let m(t) = -t**3 + 7*t**2 + 6. Let u be (-8)/12 + (-69)/(-9). Does 2 divide m(u)?
True
Let q be 4 - (-2 - -3)*1. Suppose q*k = 8*k - 5. Suppose -k = -v + 10. Is v a multiple of 11?
True
Let h(n) = -5*n - 1. Is 7 a factor of h(-10)?
True
Suppose -2*k = -5*v + 22, 29 = -5*k - 4*v - 26. Let b(q) = q + 10. Let j be b(k). Does 16 divide 29 + 2 + -1 + j?
False
Suppose t = -3*t + 224. Suppose 3*o = -a + t, -o = 2*a - 6*a + 3. Does 10 divide o?
False
Let o(m) = -m**3 - 4*m**2 + 3*m - 6. Let k be o(-5). Let d be 2*k/((-8)/(-3)). Suppose g - d = -0*g. Is g even?
False
Suppose 3*m = -15, s = -s + 3*m + 207. Is 8 a factor of s?
True
Let w(r) = -3*r - 2. Let z = 1 - -2. Suppose -2*a + 6 = -z*a. Does 6 divide w(a)?
False
Let r(n) = n**2 - 11*n - 84. Is r(25) a multiple of 19?
True
Let m be (-2 + 0 - -6)*2. Let w(k) = 6*k**3 - 8*k**2 - 16. Let q(v) = 7*v**3 - 8*v**2 - 17. Let y(a) = 5*q(a) - 6*w(a). Does 3 divide y(m)?
False
Let u(t) = -t**2 + t + 24. Let i be u(0). Suppose -k + 6*k - 210 = 0. Let m = k - i. Is m a multiple of 9?
True
Suppose 0 = -4*o + 3*o - 3*w - 58, -4*o - 282 = 2*w. Let s be (1 - 3 - 0)*17. Let m = s - o. Is 15 a factor of m?
False
Let i = -11 - -28. Does 6 divide i?
False
Let n = -149 - -579. Suppose -5*p + n = -185. Suppose 0 = f - 4*x - 28, 4*f - p = f - x. Is f a multiple of 20?
True
Suppose 2*i + d - 11 = 1, 0 = i + 5*d - 6. Suppose 0 = 5*b - 14 - i. Suppose b*r - 5*w = 74, 0 = -r - r + 2*w + 38. Is 9 a factor of r?
False
Suppose 3 = x + v - 0, 3*x - v + 7 = 0. Let p(l) = 4*l**3 + l**2 - l. Let u be p(1). Let g = x + u. Is 2 a factor of g?
False
Let f(h) = h**3 - 6*h**2 + 5*h + 7. Suppose 4*o = -0*s + 3*s + 14, 0 = o + s - 7. Is 2 a factor of f(o)?
False
Let o(i) = -i**3 + 8*i**2 + 9*i + 2. Let y be o(9). Suppose -35 = -m - y. Suppose w + 3*u = -2*w + m, 5*u = w + 7. Is w a multiple of 3?
False
Let l(j) = -j**3 + 3*j**2 + 5*j - 1. Let p be l(4). Suppose -2*k - 32 = -p*k. Is k a multiple of 16?
True
Let h(r) = -r + 19. Let n be h(15). Suppose -2*s + n + 12 = 3*c, 0 = -s + 2*c + 22. Does 12 divide s?
False
Let x = 160 - 58. Is 5 a factor of x?
False
Suppose -t + 2*t = 3, 0 = 5*d + 3*t - 709. Is d a multiple of 20?
True
Let w = -35 - -8. Suppose 0*y - y + n = 58, -4*y - 2*n - 250 = 0. Let b = w - y. Is b a multiple of 13?
False
Suppose -3*x - x + 3*t = -147, 4*x = 2*t + 146. Is x a multiple of 9?
True
Let l = 0 + 5. Suppose 0*b - 135 = -l*b. Is b a multiple of 16?
False
Suppose -5*i + 3 + 12 = 0. Suppose -2*m - a = -46, i*a + 13 + 3 = m. Is 11 a factor of m?
True
Let i = 13 - 13. Let v(t) = -2*t + 1. Let o be v(-4). Suppose -o = -3*n - i*n. Is 3 a factor of n?
True
Suppose -o + 2*h + 74 = 0, -1 = 4*h + 7. Does 26 divide o?
False
Suppose 15*y + 235 = 20*y. Is 