Let w = s - -15. Suppose b = -a + 3*b + 38, -w*a + 154 = 4*b. Does 17 divide a?
False
Let l(q) = q**2 - 6*q + 3. Let h be l(6). Suppose 3 = h*z - 18. Suppose z*r - 2*r = 10. Does 2 divide r?
True
Let j(b) = 94*b - 126. Is 47 a factor of j(4)?
False
Let b(y) = 612 - 14*y**3 - 3*y**2 - 3*y - 86*y**3 - 613. Is 10 a factor of b(-1)?
False
Suppose 16*n - 4556 = 11*n - 2*k, n - 913 = -k. Is n a multiple of 26?
True
Let g = 10 + -6. Suppose -g*w + 252 = -w. Suppose -w = -2*j - 0*j - 3*l, -49 = -j - 5*l. Does 13 divide j?
True
Suppose -10 + 8 = -p. Let t = -3 + p. Is 76 + 4 + (t - 1) a multiple of 26?
True
Let m(l) = -l**2 + 11*l + 36. Let n be m(13). Let j(r) = 27*r - 77. Does 14 divide j(n)?
False
Let i = -456 + 1255. Is 11 a factor of i?
False
Let y(w) = -2*w**2 + 13*w - 22. Let g be y(7). Let f be (-64)/3*(0 + -3). Let p = g + f. Is p a multiple of 35?
True
Let j(q) = q + 2. Let v(c) = 6*c + 11. Let i(z) = -11*j(z) + 2*v(z). Let k(g) = 28*g - 7. Let a(u) = 21*i(u) - k(u). Is a(-5) a multiple of 7?
True
Let o(b) = b**3 + 12*b**2 + 10*b - 7. Let a be o(-11). Suppose 0*j = a*j - 148. Let h = 0 + j. Does 14 divide h?
False
Does 41 divide (1 + (-8 - -13))*82/6?
True
Suppose -3*l + 6904 = -5*b, 3*l - 7502 = 4*b - 597. Does 49 divide l?
True
Let f be (-3)/(-2)*(-20)/(-15). Let r be (7 - 3) + 216 + 0. Suppose 0 = -f*m - 3*m + r. Is m a multiple of 11?
True
Let y = -17 - -58. Suppose -3*g = -2*o + 31, 0 = 3*o - o - g - y. Suppose o = 4*k - 65. Is 9 a factor of k?
False
Let n be -7*((-30)/(-14) + -3). Suppose b - 94 + n = 0. Suppose -3*v + b = -v. Is v a multiple of 14?
False
Let d(y) be the second derivative of 1/3*y**3 - 1/12*y**4 - y**2 + 0 + 1/20*y**5 - 4*y. Is d(2) a multiple of 6?
True
Suppose 5*l = 22 - 162. Let y = l - -50. Is 22 a factor of y?
True
Let v be 4/6*-3*1. Let l be 1/((-79)/(-39) + v). Suppose 111 = 3*a - l. Is a a multiple of 13?
False
Suppose 4*p + 2*m = 7*p - 735, -4*p = -5*m - 987. Let j be (144/40)/((-8)/(-20)). Suppose 72 = g - 2*y - j, -y - p = -3*g. Does 27 divide g?
True
Suppose -13087 = -17*h - 2071. Is 72 a factor of h?
True
Is 10 a factor of (1 - 3)*(6 - (-6505)/(-10))?
False
Suppose -23*a + 6318 = -5*a. Is a a multiple of 13?
True
Is 4/(-26) + 106500/195 + -1 a multiple of 7?
False
Suppose 3*t - 6 = -2*h, -h - 2*h + 43 = -4*t. Let g = h - -1. Suppose -2 = -3*w + g. Is 4 a factor of w?
True
Suppose -4*t - 5*p + 533 = 0, 0*p + 2*p + 280 = 2*t. Is t a multiple of 20?
False
Let t be (0 + 5)*(3 - 2). Suppose 495 = t*o - 4*m, 4*o - m + 2*m - 396 = 0. Does 30 divide o?
False
Let j(v) = 115*v**2 + v - 16. Is j(-3) a multiple of 8?
True
Suppose -69*r + 68*r + 724 = 0. Is 13 a factor of r?
False
Suppose 703 = 3*a - 893. Is a a multiple of 27?
False
Suppose 34*o + 1294 = 36*o. Does 25 divide o?
False
Suppose 0 = 2*o - 3*h - 4, 0 = o + 3*h - 0 - 2. Suppose -4*g - 677 = -3*u, -163 = -o*u + g + 280. Is 45 a factor of u?
False
Suppose 1776 = -2*k - 5*a + 6309, k - 3*a - 2283 = 0. Is k a multiple of 20?
False
Let h = -38 + 99. Suppose -68 - h = -3*g. Is 43 a factor of g?
True
Suppose -3*z = -15, 3*s - 1 = -3*z + 20. Is 17 a factor of s/(-8) - (-269)/4?
False
Let r = -1 - -4. Suppose 0 = -r*h + 3*p + 51, h - 7 - 2 = 3*p. Let y = 55 - h. Is 12 a factor of y?
False
Let q(j) = -2*j**2 + 16*j + 4. Let v(u) = 1. Let w(g) = q(g) - 3*v(g). Is 4 a factor of w(7)?
False
Suppose -3 - 22 = -2*w + 3*x, -3*w = -3*x - 30. Suppose 4*j - 2*j = -w*b + 240, 0 = -5*j - 25. Is 10 a factor of b?
True
Suppose 3*p - 2*b = 533, 5*p + 2*b = 784 + 83. Is 35 a factor of p?
True
Let g be (-2 + 3)/((-2)/(-2)). Let p(f) = 9*f**3 + 1. Let n be p(g). Is ((-74)/n)/(7/(-35)) a multiple of 13?
False
Suppose l = 5*x - 7, -l = 4*l + 2*x - 19. Let g(m) = 0 + 6*m - l + 2. Is g(7) a multiple of 14?
False
Suppose 0 = 11*x + 2*x - 4862. Is x a multiple of 22?
True
Suppose -1107 = -11*c - 194. Let o = -40 + c. Does 34 divide o?
False
Does 18 divide 3 + (-14864)/(-20) + (-6)/30?
False
Let c = -212 + 549. Suppose 97 + c = 7*h. Suppose -2*s + h = -28. Is 15 a factor of s?
True
Suppose -7*q + 4 = -2*q - 4*m, -2*m - 2 = -3*q. Suppose -2*i + 2 = 5*u - 4, q = 3*u + 6. Suppose -i*w + 56 = -4*w. Does 14 divide w?
True
Suppose 42 = 3*s - 21. Let z(o) = -4*o - 44. Let v be z(-12). Does 16 divide (s/6)/(v/72)?
False
Let a(d) = -260*d + 8. Is 4 a factor of a(-1)?
True
Let a(r) = -128*r - 7. Let s be 1/(-2)*(-4 + 1 + 9). Is a(s) a multiple of 13?
True
Let n(g) be the third derivative of -g**4/24 - 5*g**2. Let x be n(-2). Suppose x*z = 14 + 32. Is 7 a factor of z?
False
Let i = -353 + 634. Does 3 divide i?
False
Let j be 12/(-16) + 1 - (-86)/8. Suppose -8*y - 648 = -j*y. Is 32 a factor of y?
False
Let t be 21/6 + (-3)/6. Suppose 6*n - 9 = t*n. Is 3 a factor of (-2 + n)/((-1)/(-4))?
False
Suppose -108 = -5*k + k. Suppose -k = -2*t - 5*s, -s - 19 = -4*t - 4*s. Let h(q) = 17*q - 3. Is 4 a factor of h(t)?
False
Suppose 0 = -3*z - 5*y + 265, 5*z + 4*y = z + 356. Is z a multiple of 30?
True
Let j be 14/(-6) + 3/9. Let x(n) = -27*n**2 - 3 - 20*n**2 - n + 57*n**2. Is 13 a factor of x(j)?
True
Let b(p) = 2*p**3 - 22*p**2 - 5*p - 24. Is 12 a factor of b(12)?
True
Suppose 101*n = 116*n - 3270. Is 21 a factor of n?
False
Suppose -2 + 8 = 3*y, 3*y = -l + 9. Let g(t) = -24*t - 4. Let j(h) = -h - 1. Let f(q) = -g(q) + 3*j(q). Is f(l) a multiple of 19?
False
Is ((-86)/(-3))/(1 + (-603)/621) a multiple of 43?
True
Let h(k) = 3*k**2 + 3*k - 29. Let j(v) = 3*v**2 + 2*v - 28. Let s(x) = 2*h(x) - 3*j(x). Is 10 a factor of s(0)?
False
Suppose -2*s - 53 = -3*a + 90, 3*s + 214 = 5*a. Let t = 114 + s. Is 12 a factor of t?
False
Suppose -8 = -i + 12. Let q = 57 - i. Does 7 divide q?
False
Let f(o) = -o**3 - 35*o**2 - 85*o + 59. Does 9 divide f(-36)?
False
Suppose 20*n = 16*n + 896. Let h = 8 + 0. Is (-42)/h*n/(-42) a multiple of 11?
False
Suppose -r - r + 16 = 0. Let b = r + -3. Suppose 5*i - a = 210, b = 2*a - 5. Is 19 a factor of i?
False
Let l(k) = -5*k + 7. Let u(v) = -5*v + 6. Let w(o) = -5*l(o) + 4*u(o). Is w(7) a multiple of 4?
True
Is 10/105 + (63760/(-105))/(-8) a multiple of 2?
True
Suppose -3*n + 0*y = -y - 14, 2*y + 10 = 0. Is 12 a factor of (-11 - -5) + n + 1*36?
False
Let r(g) = 89*g + 173. Does 96 divide r(11)?
True
Let l(i) be the second derivative of -1/2*i**3 + 6*i + 0 + 7/2*i**2 + 1/3*i**4. Is 16 a factor of l(4)?
False
Let b = -20 - -12. Is (-1385)/(-5) + (-5 - b) a multiple of 20?
True
Let k be 1/((-2)/(-6) - 0). Suppose -3*t + 69 = 5*w, -68 = -4*w - 4*t - 16. Suppose u + l - w = -2*l, -u + 3*l = -k. Does 6 divide u?
False
Let h = -11 + 14. Suppose 0 = 2*g + h*g - 10. Suppose 4*n = 3*t + 21, g*t - 2 = -n + 6. Is n a multiple of 5?
False
Suppose 0 = 21*n - 95*n + 85914. Is 9 a factor of n?
True
Let j be 5 - 2 - 0/3. Suppose 3*o + j*f + f = 35, 4*o - f - 15 = 0. Suppose 65 = -o*p + 415. Is 14 a factor of p?
True
Let z = 10 + -14. Let d(a) = -3*a - 1. Let f(m) = m + 1. Let v(n) = d(n) + 2*f(n). Is v(z) even?
False
Let h be (1 + 15/(-3))/2. Let d be (-1)/h - 69/(-2). Suppose d + 19 = 3*z. Is z a multiple of 9?
True
Let z(x) = -5*x. Let p be ((-18)/((-2)/(-1)))/(-1). Let c = 2 - p. Does 8 divide z(c)?
False
Let q be (3*-1)/((-6)/8). Suppose -z = 10*j - 13*j + 683, -899 = -4*j - z. Suppose -q*h = -j - 18. Does 36 divide h?
False
Let s be 2 + 5 - (-18)/6. Suppose s*n + 0*n = 260. Is 3 a factor of n?
False
Suppose 5*u = 13*u - 16. Does 17 divide (-138)/115*((-238)/4 + u)?
False
Does 83 divide -3*(-4)/6*(1121 + -42)?
True
Suppose 2*d - 519 = 465. Is 27 a factor of d?
False
Suppose 42*t = 11740 - 316. Does 4 divide t?
True
Suppose 315 = -10*z + 3355. Is z a multiple of 19?
True
Let v = -1 + -2. Let p be 185/30 + (-2)/12. Does 2 divide (-4)/v - (-34)/p?
False
Suppose 0*j = -5*j + 355. Suppose -3*g + 3*d + 234 = -2*d, 4*d + j = g. Is g a multiple of 11?
False
Let a(q) be the first derivative of 3*q**2/2 - q + 2. Let m be a(1). Suppose m*y - 49 = -3*f - 14, -4*y - f + 65 = 0. Does 15 divide y?
False
Suppose 2*t + 32*q = 29*q + 444, -3*t + 672 = 3*q. Is t a multiple of 9?
False
Does 21 divide ((60/1)/2)/(106/1113)?
True
Let t(i) = 8*i**2 + i + 3. Let z(y) = -y**2 - 1. Let c(r) = -t(r) - 5*z(r). Let b be c(-2). Is (b/(-6))/((-14)/(-273)) a multiple of 10?
False
Let n(h) = -h + 2. Let a(u) = -2*u + 6. Let v be a(3