 - 10. Suppose -5*r + 3*r - 14 = z. Let y = -2 - r. Is y a multiple of 4?
False
Let t = -3 - -3. Suppose -5*h + 117 - 47 = t. Is h a multiple of 5?
False
Let t be (12/(-9))/(4/(-6)). Suppose a - 4 = 4*x + 9, 4*x - t = -2*a. Is 11 a factor of 15/3*18/a?
False
Suppose -30*x + 32*x = 110. Is x a multiple of 13?
False
Suppose -15*m = -19*m + 16. Suppose -6 = -5*z + n, 3*z - 2*n + 0 = -2. Suppose -5*l - 29 = -m*d, -d + 4*l - z = -2*d. Is 6 a factor of d?
True
Suppose 38 = 4*h - 2*j, -4*h + 39 = -2*h + 3*j. Suppose -4*b = -5*b + h. Is 11 a factor of b?
False
Let d = 16 - -48. Is d a multiple of 11?
False
Let g(w) = w**2 + 9*w + 10. Let z be g(-9). Let h = 25 - z. Is 15 a factor of h?
True
Suppose s - 4*q - 66 = -q, -275 = -5*s + 4*q. Is 17 a factor of s?
True
Let n = -2 + 2. Let f(l) be the third derivative of -l**6/120 + l**5/60 + l**4/24 + 6*l**3 + 2*l**2. Is 18 a factor of f(n)?
True
Let s be (-1)/2 + 8/16. Suppose 2*r + 3*r = -5*q + 20, -5*r - q + 28 = s. Is r a multiple of 4?
False
Let i(h) be the second derivative of -h**5/20 + 2*h**4/3 - 7*h**3/6 - h**2/2 - h. Is i(6) a multiple of 24?
False
Let y = -10 - -38. Let h = -2 + y. Is h a multiple of 26?
True
Suppose 5 = -2*y + 45. Let a = 4 + y. Is a a multiple of 12?
True
Let u(i) = 6*i - 3. Suppose 5*v + 5*s = -10, 0 = v + 4*s - 4 + 21. Suppose -v*p + 7 = 1. Does 4 divide u(p)?
False
Let a be (9/2)/((-2)/4). Is 5 a factor of (1 - -5)*(-21)/a?
False
Suppose -3*g - 16 = -7*g. Let m be (30/25)/(2/5). Suppose i - 4*i - 100 = -g*r, r + m*i - 10 = 0. Does 11 divide r?
True
Suppose -4*r + 2*q + 19 = -1, -3*r = 4*q - 4. Suppose -6 = -z - 2*m + 7, -r*z + 60 = 4*m. Is 6 a factor of z?
False
Let n = 297 - 64. Does 11 divide n?
False
Suppose 7*j - 2*j = 30. Does 12 divide 4/j*(18 - 0)?
True
Suppose -5*y = -5*x, -3*y + 3*x = -5*y + 5. Let f = y - 3. Is 9 a factor of (81/18)/(f/(-12))?
True
Let m(i) = 0*i - 3*i - i - 1 - 3. Is m(-10) a multiple of 12?
True
Let c be 1/(-2)*(-1314)/9. Let l = c + -19. Is 19 a factor of l?
False
Suppose -2*d + 126 = -h, -2*h = 2*h + 16. Is d a multiple of 18?
False
Suppose -4*h + 14 = -2. Suppose 2*s + 0*b - 24 = -h*b, -2*b + 68 = 5*s. Is s a multiple of 3?
False
Let s = 78 + -48. Does 5 divide s?
True
Let h = 385 + -215. Let g(o) = 2*o**2 + 3*o - 17. Let a be g(5). Suppose -3*s - 5*f - a = -h, 3*s - 4*f - 86 = 0. Does 17 divide s?
True
Suppose 0*q = -3*q + 456. Let f = q - 88. Is 16 a factor of f?
True
Suppose -5*t + 7*x - 25 = 3*x, -t + 5*x = 26. Is 20 + t/(-3)*0 a multiple of 20?
True
Suppose 4*o + 4*s - 952 = 0, s + 46 + 652 = 3*o. Does 45 divide o?
False
Suppose 4*b - 1 = 3*b + h, -3*b = 4*h - 10. Suppose 7*x - 25 = 2*x. Suppose b = -n + x. Is n even?
False
Let x(s) = -6 + 5 + 0*s - 4*s. Is 11 a factor of x(-3)?
True
Suppose -19*o = -18*o - 14. Is o a multiple of 2?
True
Suppose 3*f - 26 = y, 7*y = -2*f + 4*y + 21. Does 7 divide f?
False
Let b(a) = -a**2 + 7*a + 3. Is 4 a factor of b(5)?
False
Let l(i) = -4*i - 5. Let g be l(-6). Suppose 116 = 3*y - d, 0 = -2*y + 6*y + d - 143. Let z = y - g. Does 9 divide z?
True
Let o(f) = 2*f**2 + 5*f + 2. Let i be o(-4). Suppose i = r - 0*r. Does 5 divide r?
False
Let f be 6/3 + (-32)/(-2). Let w = 44 - f. Is w a multiple of 13?
True
Let c(n) = -3*n - 2. Let d be c(-2). Suppose d*y - 30 = 2*y. Is y a multiple of 5?
True
Let y = -70 - -236. Is 40 a factor of y?
False
Let j be (-26)/(-7) + (-8)/(-28). Let s(c) = c - 3. Let q be s(j). Suppose -r = -q - 3. Is 4 a factor of r?
True
Let c = -3 - -2. Is 11 a factor of c*(4 + -2) - -13?
True
Suppose 12 = -7*n + 3*n. Let h(a) = a**3 + 4*a**2 + a + 4. Does 10 divide h(n)?
True
Let o be (6 - -2) + -2 + -1. Suppose 0 = 2*n + b - 19, 2*b + 42 = o*n - 1. Let f = n + 0. Is 9 a factor of f?
True
Let g(u) = 3*u**2 - u + 1. Suppose -2*j + 2*b = 0, -3*j + b = 2*b - 8. Is 9 a factor of g(j)?
False
Let f = -1 - 14. Is 5/f - 66/(-9) a multiple of 2?
False
Let k be (8 + 1)/(2/56). Let n = -114 + k. Let d = n - 90. Is d a multiple of 19?
False
Let t(o) = 0*o + 5 + o**3 - 5*o - 2*o + 4*o**2 + 6*o. Is 4 a factor of t(-4)?
False
Let v(k) = k**3 - 13*k**2 - 13*k + 1. Let o be v(14). Let x be 2/(-5) + 74/10. Let w = x + o. Is w a multiple of 6?
False
Suppose -5*q = 5*r - 150, -3*r - 1 = 2*q - 96. Does 9 divide r?
False
Suppose -9 = -3*l - 0. Let y = l + 24. Is y a multiple of 15?
False
Suppose -4*f - 5 = -1. Is -17*f/2*4 a multiple of 19?
False
Does 11 divide (-12)/(-84) + 768/14?
True
Let o = -25 + 55. Let f = 84 - o. Does 14 divide f?
False
Suppose j = d - 3*d + 47, -5*j - 3*d + 207 = 0. Is 13 a factor of j?
True
Suppose -3*y = -2*n - 22, -4*y + 5*n + 0*n = -34. Is 4 a factor of y?
False
Let j be -3 + (2 - -1) + 0. Let g be -3 + j - -3 - -7. Let l(w) = w**2 - 2*w - 2. Does 9 divide l(g)?
False
Let q(g) = -g**3 - 5*g**2 + 5*g + 8. Suppose -5*p + 50 = 2*w - 3*p, 5*p + 35 = 3*w. Suppose 0*u = -4*u - 2*v - w, -4*u - 26 = -v. Does 7 divide q(u)?
True
Let a(j) = j**3 + 4*j**2 - 6*j. Let o be a(-5). Suppose -2*r + y = -70, -o*r + 4*y = -65 - 104. Suppose -w + r = 4*i - 2*i, 59 = 4*i - 3*w. Is 10 a factor of i?
False
Suppose -5*d + 0*a + 2*a + 219 = 0, -4*d - a = -170. Is d a multiple of 2?
False
Let c(m) be the third derivative of m**5/60 - m**4/12 - 2*m**3/3 - m**2. Let u = -7 + 12. Is 10 a factor of c(u)?
False
Let x = 144 - 60. Is 28 a factor of x?
True
Let z = 16 - 10. Let d = 9 - z. Does 3 divide d?
True
Let b(n) = 13*n + 3. Is b(7) a multiple of 36?
False
Let u(b) = -b + 7. Let o be u(-5). Is (-1)/2 - (-450)/o a multiple of 11?
False
Let b = 104 - 59. Does 14 divide b?
False
Suppose g - 21 = -3*z + 33, -5*z = 15. Does 16 divide g?
False
Suppose 0*h = -4*h + 2*i - 8, 2*i = 3*h + 8. Let z = h + 7. Is z a multiple of 5?
False
Let u = 37 - 13. Is 5 a factor of u?
False
Suppose j = -2*j + 1563. Suppose 1377 - j = 5*f - 3*a, -3*a = 3*f - 504. Suppose -4*m + f = m. Does 21 divide m?
False
Suppose -l + 72 + 19 = 0. Does 17 divide l?
False
Let g(f) = -4*f + 3. Suppose 5*s = -3 + 18. Let r be g(s). Let h = 11 - r. Is h a multiple of 19?
False
Let v(k) = -2*k**3 - 5*k**2 - 6*k - 6. Is 14 a factor of v(-4)?
False
Suppose 32 = -5*s - v, 4*s = 2*v - 6*v - 32. Let x(y) be the second derivative of y**5/20 + y**4/2 - y**3/3 + 2*y**2 - y. Is x(s) a multiple of 16?
True
Suppose 2*b = 4*a - 402, 2*a = a - 4*b + 87. Does 36 divide a?
False
Is 17 a factor of (82 - -1) + 0/2?
False
Let r(j) = 0 + 1 + 6*j - 2. Let m be r(1). Is 12 a factor of -82*(2 + m/(-2))?
False
Does 7 divide (3 + 36 + -4)*2?
True
Let m(d) be the first derivative of d**4/6 - 5*d**3/6 - 3*d**2/2 - d + 1. Let k(p) be the first derivative of m(p). Is 8 a factor of k(5)?
False
Suppose 2*t = -s + t + 28, 5*s + 4*t - 138 = 0. Suppose 5*j - 2*w = 15, 2*w - 4 = -4*j + s. Suppose -95 = -j*d + 70. Does 12 divide d?
False
Let i(b) = -b**3 + 0*b**3 - 4*b**2 - 6 + 5*b**2 + 2*b + 7. Let h be i(-3). Is (h/2)/((-1)/(-2)) a multiple of 15?
False
Is ((6/1)/6)/(2/178) a multiple of 11?
False
Let b = 58 + -26. Does 3 divide b?
False
Suppose -p + 3*t = -37, 2*t = -t - 15. Is 22 a factor of p?
True
Let b(g) = 9*g**2 - g - 4. Is 5 a factor of b(2)?
True
Let r = -6 + 18. Let z = 12 - 9. Suppose -3*h + z*q + 78 = 0, 2*h = 3*q + 63 - r. Is h a multiple of 9?
True
Let q = 204 + -151. Is 12 a factor of q?
False
Let h(b) = -b**3 - 14*b**2 - 7*b + 20. Is h(-14) a multiple of 13?
False
Let t = -24 + 47. Is 10 a factor of t?
False
Let o(t) = t**3 + 4*t**2 + 3*t + 3. Let u be o(-2). Suppose 31 + 24 = u*h. Suppose 3*w + h = 4*w. Is 11 a factor of w?
True
Suppose -8*x + 8 = -8. Does 2 divide x?
True
Suppose -20 = -2*a - 2*a. Suppose a*y = -2 + 12. Suppose o + 3*v = 41, 0 = -3*o + 5*v - y*v + 63. Is 13 a factor of o?
True
Let t be ((-18)/15)/(4/(-10)). Suppose 2*j + 20 = d + 4*j, 0 = -j + t. Is 7 a factor of d?
True
Suppose -2*d - 20 = -6*d. Let y(v) = 14*v. Let z be y(d). Let k = -40 + z. Is k a multiple of 15?
True
Suppose 2*o = 4*x + x + 147, -x - 69 = -o. Let v = -84 + 118. Let a = o - v. Is a a multiple of 16?
True
Suppose 17 = 4*t - 27. Suppose 4*z - t = 29. Is 4 a factor of z?
False
Let w = -50 + 29. Does 8 divide 2*(w/(-6) + 3)?
False
Let q(t) = 41*t + 2. Is 9 a factor of q(1)?
False
Suppose -u + 0*u + 3 = 0. Suppose -5*a + u*l + 261 = 0, -a + 48 = l - 3*l. Is 27 a factor of a?
True
Let b 