= 9 + 2. Suppose -4*b + 79 = 2*s - 59, -5*s = -4*b + 173. Let l = b - x. Does 13 divide l?
True
Let r = 104 + 23. Does 24 divide r?
False
Suppose 2*l + 675 = -h + 4*h, 4*h + 3*l - 883 = 0. Suppose -21 - h = -4*t. Suppose -3 - t = -2*m. Is 14 a factor of m?
False
Let r(x) = -x**2 - 4*x + 1. Let q be r(-2). Suppose 2*b = q*b + 15. Is 2/b - (-42)/5 a multiple of 5?
False
Suppose -3*q = -2 - 1. Let a(s) = -1 + 10*s**3 + s**2 + 0*s**3 + 0*s**2 + s**2. Does 11 divide a(q)?
True
Suppose 8*v = -3*v + 4829. Does 51 divide v?
False
Let u = 12 + -3. Is 5 a factor of u?
False
Let g(t) = -t + 1. Let z(x) = 9*x - 3. Let m(v) = -4*g(v) - 2*z(v). Let f be m(3). Let n = 66 + f. Does 7 divide n?
False
Suppose -3*g + 433 = 4*p, 572 = 4*g - 0*g + 4*p. Let y = g - -6. Let q = -94 + y. Is 18 a factor of q?
False
Suppose 4*l - 552 = 2*s, -2*s = 6 + 2. Does 8 divide l?
True
Suppose 5*l = -h + 16, 0 = h - 0*h - 1. Suppose -2 + 8 = l*o. Suppose j - 2*w + o = 3*j, 3*j - 2*w - 28 = 0. Is 6 a factor of j?
True
Suppose -4*v + 73 = 1. Does 18 divide v?
True
Let d = -6 - -8. Suppose 2*j + 5*f - 32 = 0, 0 = d*j - 4*f + 3*f - 44. Is j a multiple of 10?
False
Let n = -14 - -17. Suppose 0 = -5*s + b + 286, -2*s + n*b - 111 = -4*s. Does 12 divide s?
False
Suppose -3*p + 1 - 20 = m, 5*m + p + 109 = 0. Let s = 41 + m. Does 6 divide s?
False
Suppose 0 = 4*v - 3*j + 23 + 25, -3*j = 4*v + 48. Let h = -4 - v. Is h a multiple of 4?
True
Let l = 8 + -6. Suppose 0 = 5*m + l*v - 106, m + 4*m - 100 = -5*v. Suppose -4*u + 6*u = m. Does 8 divide u?
False
Suppose 2*b = -2*b + 4. Let s be 0 + b + 0 - 5. Does 7 divide 44/3 + s/6?
True
Suppose 0 = -2*a + 5*a + 66. Let c(w) = w**2 + 8*w - 6. Let u be c(-9). Is 10 a factor of 3 - a - u - -3?
False
Suppose 3*s = -4*d + 76, 5*d + 5*s = 93 + 2. Is 19 a factor of d?
True
Suppose -1 = -5*r + 3*y - 7, 0 = 2*r + 5*y - 10. Let c be r - (-4)/(12/(-117)). Let d = -23 - c. Is d a multiple of 9?
False
Suppose -5*i = 0, 3*g = 2*g + i + 85. Is g a multiple of 24?
False
Let x(a) = 15*a - 11. Suppose -3*h + 7*h - 3*c - 11 = 0, -3*h = -4*c - 3. Is 16 a factor of x(h)?
True
Let f be (0/2)/(-6 + 5). Suppose -2*v + 3*v - 23 = f. Is 5 a factor of v?
False
Let u be (-1)/(1 - (-6)/(-4)). Let o = u + 6. Is 3 a factor of o?
False
Let t = 45 + 14. Is t a multiple of 15?
False
Let o(y) = 2*y**2 - 7*y - 3. Is o(7) a multiple of 10?
False
Suppose -8*k - 166 = -10*k. Is 26 a factor of k?
False
Let j = 8 - 4. Let b(u) = 17*u**3 + u**2. Let t be b(1). Is j/18 + 590/t a multiple of 10?
False
Is -6 - -2 - 2299/(-11) a multiple of 51?
False
Let x(i) = i**2 + 10*i + 4. Let c(z) = 2*z**2 + 20*z + 7. Let n(b) = -3*c(b) + 5*x(b). Is n(-8) a multiple of 5?
True
Let t = -101 - -187. Is t a multiple of 16?
False
Suppose -d + 2*d = -2*n - 13, -5*n - 10 = 0. Does 7 divide (-42)/4*12/d?
True
Suppose 3*y + 3*q - 68 = q, 5*q = 3*y - 61. Suppose -3*j = -y + 7, -5*j - 11 = -c. Is 9 a factor of c?
True
Let m = 0 + -2. Let l(q) = -q**3 + 6*q**2 + 2*q - 6. Let z be l(4). Is z + -1 - (0 - m) a multiple of 12?
False
Suppose 16 + 41 = r. Suppose 4*p + 2*u - 21 - 53 = 0, 5*u = -2*p + r. Is p a multiple of 10?
False
Let b(a) = a**3 - 19*a**2 - 18*a + 8. Is 16 a factor of b(20)?
True
Let r be 6 - (-2 + 7 + -3). Suppose -r*q + 54 = -2*q. Is q a multiple of 9?
True
Suppose -88 = -3*t + 56. Suppose -v - t = -5*v. Is 4 a factor of v?
True
Let n = 28 - 26. Let r(d) = 8*d**3 - d**2 + 5*d - 2. Is 17 a factor of r(n)?
True
Let r be 2*(3 + 10/(-4)). Let m be r*3 + (-5)/(-5). Does 17 divide (32 - m)*6/4?
False
Suppose 5*d + 15 = 0, 0 = -4*b - 2*d - 0*d + 10. Let u be (-6)/(-21) - b/14. Suppose -5*l - 10 = u, -2*y - l + 16 + 4 = 0. Does 6 divide y?
False
Let k = -40 - -120. Does 20 divide k?
True
Let q be -4*((-15)/4)/5. Let t(m) be the first derivative of m**3/3 - m**2 + 2*m + 1. Is t(q) a multiple of 3?
False
Let v be (-3)/(-9) + 32/3. Let f = v - 0. Is 5 a factor of f?
False
Suppose 10*i = -517 + 3017. Is 42 a factor of i?
False
Suppose 5*a - 4*a = 22. Does 21 divide a?
False
Let o = 52 + -31. Let u = o - 9. Does 9 divide u?
False
Suppose -3*v = -4*v + 2*q + 2, -20 = -2*v - 4*q. Is 4 a factor of (-20)/v*6/(-5)?
True
Let m(w) be the first derivative of 5*w**3/3 - w**2/2 - 2. Does 15 divide m(2)?
False
Let p = 6 + -4. Suppose -33 - 3 = -p*a. Is 9 a factor of a?
True
Let s(z) = -3*z - 1. Let a be s(-1). Suppose 14 = -5*n + n - a*l, -3*n + l = -2. Does 12 divide -4 + 3 + n + 25?
False
Suppose -5*a - 143 = -553. Is 12 a factor of a?
False
Let w(p) = -7*p**3 + 2*p**2 + p. Let i be w(-1). Suppose 2*z = -i + 52. Does 22 divide z?
True
Let f(y) = y**3 + 10*y**2 + 13*y + 8. Does 10 divide f(-8)?
False
Let z(u) = u**3 - 16*u**2 + 17*u - 10. Let w be z(15). Suppose 7 = -p + w. Is 13 a factor of p?
True
Let v = 66 + -46. Let n = v - 2. Is 6 a factor of n?
True
Let m(h) = 2*h**2 + 5*h - 5. Does 10 divide m(5)?
True
Suppose 5*m = -5, 2*m - m = 2*o + 25. Let g = 14 - o. Is g a multiple of 9?
True
Let p(b) = 5*b + 26. Is p(6) a multiple of 17?
False
Suppose 3*y - 4*k = 6*y - 71, -30 = -y + 5*k. Is 25 a factor of y?
True
Suppose 0 = 4*w - 101 - 139. Suppose 0 = -2*d + 3*z + w, 3*d - 2*z - 61 = 39. Does 12 divide d?
True
Suppose 2*r - 4*o = 204, r - 580 = -4*r - 4*o. Is 28 a factor of r?
True
Let c be (-52)/(-9) + (-4)/(-18). Suppose -z - 10 = -c*z. Does 3 divide (-3)/(-2)*(z - 0)?
True
Suppose -106 = -2*r + 42. Let s(x) = -x**2 + 17*x - 13. Let w be s(11). Let p = r - w. Does 9 divide p?
False
Let f(h) = 23*h**2 + 1. Is f(-2) a multiple of 21?
False
Let r = -3 + -1. Let u be (r/(-5))/((-2)/(-190)). Suppose -3*i + 5*j = -28, -4*i + j + u = i. Is i a multiple of 16?
True
Let p be (-36)/21 + 4/(-14). Let u be (-58)/6 - p/(-6). Let v = u + 18. Is v a multiple of 4?
True
Suppose -2*h + 2 = -2. Suppose 2 = 5*r - h*y - 5, 4*r - 2 = -2*y. Does 15 divide (-29 - 1)*(-1)/r?
True
Suppose 7 = d + 3. Suppose -5 = -5*o + d*o. Suppose 0 = -h + 3*p + 24, o*p + 0*p = 2*h - 52. Is 15 a factor of h?
False
Suppose 4*h + 211 = 5*f, 3*h + 2*f - 61 = -225. Does 22 divide (-1254)/h - (-4)/(-18)?
False
Let z = 17 - 14. Suppose z*v = 3*q - 48, v - 5 = -q + 19. Is q a multiple of 20?
True
Let o = 155 - -34. Does 10 divide o?
False
Suppose 4*k - 2*k = 0. Suppose -u - 3 = 2*u + 3*a, 4*a + 20 = k. Let j(s) = 2*s**2 + 3. Is 13 a factor of j(u)?
False
Let r(v) = v + 17. Suppose -2*t - t - 33 = 0. Let g be r(t). Suppose g - 66 = -5*z. Is z a multiple of 6?
True
Suppose -4 = 5*r - 14. Suppose -g = r*g - 21. Let d(w) = w**2 - 4*w. Is 16 a factor of d(g)?
False
Let p = -11 - -21. Suppose 18 = -5*i - 2*y, 3*y = 2*i + y + p. Is 3 a factor of (-1 - (-1 - -2))*i?
False
Let t(q) = 2 - 1 - q**2 - 6 + 8*q. Let x be t(7). Suppose 4 = x*v - 18. Does 5 divide v?
False
Suppose 12 = -0*m - 4*m. Let h(p) = -p**3 + p**2 + 2*p - 3. Is 16 a factor of h(m)?
False
Let y = -8 - -35. Does 9 divide y?
True
Suppose -2*i - 69 = -c + 28, -4*c + 4*i + 400 = 0. Does 35 divide c?
False
Suppose 6 + 0 = -2*p. Is 2 a factor of 4 - 3 - 2 - p?
True
Let t = 3 - 4. Is 20 a factor of (-1 - t) + (6 - -37)?
False
Let l(r) = r**3 + 10*r**2 + 9*r - 15. Let s be 44/(-5) - (-20)/25. Does 7 divide l(s)?
False
Let t(q) = -3*q + 1. Let u be t(5). Let x = 26 + u. Is 3 a factor of x?
True
Suppose -32 = -4*l - 0*l. Let m(z) = z**2 - 2*z - 2. Let b be m(-2). Suppose n - l = b. Does 5 divide n?
False
Suppose 0 = -2*y + 3 + 3. Does 3 divide y?
True
Let b = -2 - -1. Is 13 - (b - 1)/(-1) a multiple of 9?
False
Let c = 181 + -141. Does 9 divide c?
False
Suppose 2*y + 2 = 0, -4*g + 3*y = 8*y - 15. Suppose 3*v - 8 = -z, -2*z - g*v + 3 = -15. Does 7 divide z?
True
Suppose 0*r - 6*r = -30. Suppose -q - r*z - 130 = -4*q, 0 = 5*q + 4*z - 155. Is 11 a factor of q?
False
Let j be (-1 + -1)*(-7)/7. Suppose 2 = j*m - 0. Suppose -p = -6 - m. Is p a multiple of 2?
False
Let f(d) = 275*d**3 - d**2 - 1. Is f(1) a multiple of 38?
False
Let k = 10 - 5. Suppose -2*g + 167 = -2*b - 3*b, -3*g - 162 = k*b. Let o = -16 - b. Is o a multiple of 17?
True
Let v(m) be the second derivative of -7*m**3/2 + 5*m. Is 15 a factor of v(-2)?
False
Suppose 0 = 3*k - 4*w - 149, -5*k = -2*w + 7*w - 260. Is 17 a factor of k?
True
Let g(q) = q**2 + 10*q - 8. Let x be g(-11). Suppose 6*c - x*c = 33. Is c a multiple of 10?
False
Let i(b) be the second de