ose 3*d - 2*w + 10 = -w, 14 = -4*d + 2*w. Let k = 46 - d. Is k a multiple of 13?
False
Let j be 5 + -1 + (1 - 2). Let y = 19 + -4. Let d = j + y. Is 9 a factor of d?
True
Suppose -4*r - 252 = -2*u, 4*u - u = r + 398. Is 13 a factor of u/8 + 2/8?
False
Let p(a) = 26*a**2 + a - 6. Is 25 a factor of p(2)?
True
Let z = -410 + 578. Suppose -w - z = -3*w. Suppose -3*i - i = -4*a + w, -i = 2*a - 42. Does 17 divide a?
False
Let v(j) = -j**3 + 5*j**2 + 2*j - 7. Let b be v(5). Let y(r) = -4*r - 3. Let x be y(-4). Suppose -2*m + 3 = -5*o - 10, x = b*m - o. Does 2 divide m?
True
Let a(h) = -h**2 - 12*h + 1. Let c = 18 + -6. Let t = 7 - c. Is a(t) a multiple of 18?
True
Suppose -738 = -6*p - 0*p. Let r = p - 64. Does 12 divide r?
False
Suppose -4*s + 0 = -68. Is s a multiple of 6?
False
Suppose -o - 4*a + 57 = 0, 3*o + 0*o - 2*a = 101. Let r(u) = -u - 1. Let t be r(-1). Let h = o - t. Does 15 divide h?
False
Suppose 7*n + 3 - 73 = 0. Is 6 a factor of n?
False
Suppose 2*r - 3*q - 37 = 0, -2*r + 2 = 4*q - 0. Is 3 a factor of r?
False
Suppose -5*i = 3*r - 111 - 144, -79 = -i + 5*r. Let w = i + -31. Is 12 a factor of w?
False
Let o(f) = 4*f - 8. Is o(5) a multiple of 6?
True
Let c(p) = p**3 + 5*p**2 + 4*p. Let l be c(-4). Let b(w) = -w**3 - w**2 - w + 3. Is b(l) a multiple of 3?
True
Let b be (-15)/5 - (-12 - -1). Let y(u) = u**2 - 3*u + 8. Is y(b) a multiple of 15?
False
Let f = -2 + 1. Let m(q) = -28*q. Is 11 a factor of m(f)?
False
Suppose 10 + 5 = 5*w. Suppose y + 5*d = 54, -y = d - 50 + 12. Suppose -4 + y = w*m. Is m a multiple of 7?
False
Suppose -2 = 4*i - 5*i. Suppose -i*w = -6*w - 8. Is 0 - (-30 + w - -2) a multiple of 15?
True
Let f = 11 + 119. Is f a multiple of 26?
True
Suppose -y + 2*s + s + 21 = 0, -4*y - 3*s = -54. Let a = 14 - 3. Let z = a + y. Does 13 divide z?
True
Suppose 3*t + 2*t - 25 = 0. Suppose 4*j - 3*b - 20 = -j, -t*j - b = 0. Is (12 - 3/1) + j a multiple of 4?
False
Let q be ((-3)/(-6) + 2)*-2. Let t = q - 0. Let a = t + 15. Does 5 divide a?
True
Let r(u) = 4*u - 1 - u**2 + 8*u**2 + 2*u + u**3. Is r(-5) a multiple of 10?
False
Let w(u) be the third derivative of -u**5/60 - u**4/8 - 4*u**3/3 - u**2. Let n be w(-6). Is 5 a factor of (-1)/((4 + -2)/n)?
False
Let w = -249 + 376. Is w a multiple of 15?
False
Let l(v) be the second derivative of 2*v**2 + 0 + 3*v - 1/2*v**3. Is 4 a factor of l(-3)?
False
Does 3 divide (-14)/(-56) + 267/4?
False
Suppose -l - 2 = 0, -4*l = 2*h + 2 - 0. Suppose 4*u + 2*n - 91 = h*n, 5*n = u - 18. Does 12 divide u?
False
Suppose 17*b = 15*b + 278. Is 8 a factor of b?
False
Suppose o - 149 = -v + 3, -740 = -5*o - v. Is 21 a factor of o?
True
Let d(b) = 2*b**3 - 10*b**2 - 4. Let r be d(5). Let h(g) = 2*g**2 + 5*g - 3. Is h(r) a multiple of 8?
False
Suppose 0 = 3*i + 13 - 160. Is 15 a factor of i?
False
Let v = 88 + -62. Does 13 divide v?
True
Suppose 4*v - 5*v = -d + 7, -5*d = 5*v + 15. Let n(w) = w**3 + 4*w**2 - 6*w - 1. Is n(v) a multiple of 3?
False
Suppose -3*y = -0*j + 3*j - 138, 3*y - 130 = -5*j. Is y a multiple of 25?
True
Suppose 56 = 5*o - 24. Suppose w + 5 = o. Does 4 divide w?
False
Let s = -38 - -106. Is s a multiple of 17?
True
Suppose 0 = 2*g - g - 6. Suppose 3*z - 2*r + g*r - 137 = 0, -3*z + 4*r + 121 = 0. Is 20 a factor of z?
False
Suppose 95 = 3*p - 28. Is 30 a factor of p?
False
Suppose 6*d - 624 = -0*d. Is d a multiple of 26?
True
Let v(g) = 10*g + 1. Let z be v(5). Suppose i + 0*i = z. Suppose 9 - i = -3*m. Is m a multiple of 14?
True
Let b(y) be the second derivative of -y**6/120 - y**5/10 - 5*y**3/6 - y**2/2 + 2*y. Let c(d) be the first derivative of b(d). Is c(-7) a multiple of 16?
False
Suppose 3*y = 2*u + 461, -3*y - u + 4*u = -459. Let v = y - 111. Suppose v + 5 = a. Is a a multiple of 19?
False
Suppose 5 = h, z + 22 = -0*z + 5*h. Suppose -z*n = -28 - 62. Does 15 divide n?
True
Let n be (80/28)/((-6)/(-21)). Suppose 6 + n = 4*q. Suppose q*f - w - 38 = 0, 3*f + 0*w + w - 25 = 0. Does 3 divide f?
True
Let f(o) = -4*o + 7. Does 26 divide f(-10)?
False
Is -45*(-30)/18*1/3 a multiple of 3?
False
Suppose -2*y + 15 = -1. Suppose 2*c + 2 = 3*c + 5*g, 5*g = 4*c - y. Let v = 8 - c. Is v a multiple of 2?
True
Let j be 3*(-2)/6*-67. Let a(t) = 2*t + 121. Let i be a(0). Let s = i - j. Does 18 divide s?
True
Suppose 88 = p + 2*y, -3*p - 2*y = -7*p + 402. Is p a multiple of 7?
True
Suppose 4*h + 69 = 5*h. Is 28 a factor of h?
False
Let a(x) = -x**3 - 9*x**2 - 7*x - x**2 + 7 + x**2 + 2*x**3. Is a(10) a multiple of 17?
False
Suppose -3*t + 4*t = -5*z - 17, -3 = 3*t + 3*z. Let b(o) = -10*o**2 - 13 + t*o**3 - 3*o + 0*o - 4*o**3. Does 10 divide b(-10)?
False
Let j = 126 - 66. Is 15 a factor of j?
True
Let i = -83 - -185. Does 7 divide i?
False
Let s be 24*(-2 - 15/(-6)). Suppose u - s = 18. Is 15 a factor of u?
True
Does 10 divide (-2)/((3/(-3))/146)?
False
Let b(n) = -11*n + 7. Does 4 divide b(-3)?
True
Let h(t) = 5*t + 2. Let s be h(-6). Let o = s + -36. Is 1/(-3) + o/(-3) a multiple of 9?
False
Let i = 5 + -3. Suppose 0 = -i*r + 3*r. Is (r + -1)/((-1)/45) a multiple of 12?
False
Let l = 0 - -1. Let k(j) = 11*j. Is k(l) a multiple of 4?
False
Suppose -369 - 61 = -5*y. Suppose 0 = -2*w + 5*x + y, -5*x = -5*w + 88 + 112. Is w a multiple of 19?
True
Let b be (-4)/(-6) - 260/(-6). Suppose 0 = 4*w + 2*y - 10, -4*y = -5*w + y - 10. Suppose -z + w = -b. Is z a multiple of 15?
True
Let a(p) = p**2 + 11*p + 12. Let q be a(-10). Suppose 3 - 1 = q*s. Suppose -3*k + 25 - s = 0. Is 3 a factor of k?
False
Let p = -60 + 132. Suppose -4*l + 3*r - p = -248, 3*l - r = 137. Is 12 a factor of l?
False
Suppose 4*y + 55 = 171. Is y a multiple of 5?
False
Let d be (-60)/(-16)*8/(-3). Is (54/4)/(-3)*d a multiple of 12?
False
Let p(i) = i + 12. Let z be p(-9). Suppose 2*w = 3 + z. Suppose -1 = y, 3 = -u - w*y - 2*y. Is 2 a factor of u?
True
Suppose 308 = 5*s - j, 3*s = s + 5*j + 137. Is s a multiple of 17?
False
Suppose 0*f = 4*f + 4. Is 9 a factor of f - (-2 + 3 - 11)?
True
Suppose 473 = 5*z + 133. Is z a multiple of 21?
False
Let r be (-6)/4 + (-17)/2. Let f = 37 + r. Is f a multiple of 9?
True
Suppose 407 + 213 = 5*d. Does 31 divide d?
True
Let h be 2/6 - (-4)/6. Let g(u) = 29*u + 1. Is 15 a factor of g(h)?
True
Let j(s) = 2*s**3 + 2*s**2. Is j(2) a multiple of 11?
False
Suppose -2*m = -4*m + 8. Suppose 0 = -4*j - 0*j + 5*h + 81, 3*j - m*h = 62. Is j a multiple of 6?
False
Let v = 60 - 27. Is v a multiple of 11?
True
Let a be (-87)/9 + 1/(-3). Let b be a/5 - (-9)/1. Suppose b*k = 2*k + 30. Does 6 divide k?
True
Let b = 1 + -1. Suppose -4*k - 20 = 0, b*k + 38 = 3*a - 4*k. Suppose 245 = a*i - i. Is 13 a factor of i?
False
Let v(g) = 13*g**3 - 5*g**2 + 3*g - 3. Does 12 divide v(3)?
True
Suppose 0 = -5*o - 3*q - q + 99, 4*o - 108 = 4*q. Is 7 a factor of o?
False
Let d(g) = 4*g**2 - 1. Let a be d(-1). Is 11 a factor of (3/a)/(2/34)?
False
Does 36 divide (54/(-4))/(12/(-32))?
True
Let j(k) = 6*k + 9. Let p(y) = -7*y - 10. Let q(v) = 5*j(v) + 4*p(v). Let h be q(-7). Let i = h + 17. Is 3 a factor of i?
False
Let l = -179 - -267. Suppose -4*f - 4*c + l = 0, c + 10 = -c. Does 9 divide f?
True
Suppose 4*g + 2*y + 176 = 0, 0*g + y = 2*g + 80. Is (-18)/g + (-218)/(-14) a multiple of 8?
True
Let t(j) = 13*j**2 - 6*j + 10. Is 29 a factor of t(5)?
False
Suppose -4 = 2*x + 10. Let w(o) = o**3 + 6*o**2 - 10*o - 7. Is w(x) a multiple of 14?
True
Suppose 0 = -5*z + 100 + 10. Is 4 a factor of z?
False
Let t(c) = c**2 - 6*c + 5. Let k be t(6). Suppose b + d = -d - 10, k*b - d - 5 = 0. Suppose b = -5*v, -2*m = 2*v - 7 + 1. Does 3 divide m?
True
Let t be 449/4 + (-1)/4. Suppose 0 = 4*c - 2*z + z - t, -c - 5*z = -28. Suppose 4*s + c = 4*y, 0*s + 3*s = 6. Is y a multiple of 4?
False
Suppose -4*x = 2*d - 20, 5*x + 3*d - 10 = 15. Suppose -15 = -x*g, 4*n + 3*g = -g + 164. Does 19 divide n?
True
Let c(t) = -t**3 + 5*t**2 + 3*t - 7. Let h(a) = a - 10. Let b be h(9). Let y(m) = 6*m**2 + m. Let r be y(b). Is 4 a factor of c(r)?
True
Suppose -2*f + 50 = 3*f. Suppose -f + 0 = -g - 2*w, 4*w = -5*g + 74. Does 5 divide g?
False
Let d = 664 - 370. Is 14 a factor of d?
True
Suppose 10*c = c + 702. Is c a multiple of 54?
False
Let j(x) = x + 13. Let k = -7 - -7. Let w be j(k). Is 13 a factor of w - -2 - (-2)/2?
False
Suppose -33 = -4*s + 39. Does 10 divide s?
Fa