Suppose 3*y = 7*a - 6*a - 2712, 0 = 4*y - 12. Is a a multiple of 30?
False
Let b(a) = -a**3 + a**2 + a + 203. Let y be b(0). Let n be -4 - (4 + (-32)/4 + -4). Suppose -5*g + y = -n*v, -g = v + 4*v - 29. Does 9 divide g?
False
Let k = -376 - -381. Let q be (6/8)/((-15)/(-10380)). Suppose -2*w + q = 2*w - i, -k*i = -5. Is 23 a factor of w?
False
Suppose 0 = -8*t + 7*t - 5*p + 4, 0 = -3*t - 5*p + 12. Suppose -t*q = 3*u + 2*u - 227, -2*q - 239 = -5*u. Does 47 divide u?
True
Let p(c) = -2*c**3 - 3*c - 2. Let b(m) = 4*m**3 + m**2 + 6*m + 5. Let w be 27/12*24/(-9). Let q(v) = w*b(v) - 11*p(v). Is q(-4) a multiple of 5?
False
Let u = -10459 - -15434. Is u a multiple of 89?
False
Let b be (-11)/(44/(-6000)) + 2. Let t = b - 1061. Is t a multiple of 4?
False
Suppose 0 = -10*z + 12*z - 458. Let y = z + -160. Suppose y + 363 = 3*b - 4*l, 6 = -2*l. Is b a multiple of 28?
True
Let z(p) = -p**3 + 14*p**2 + 17*p + 36. Suppose -3*g - 4 = 2*g + k, 5*g - 2*k - 8 = 0. Suppose -d + 11 = -u, g = -4*d + 5*u + 19 + 21. Is z(d) a multiple of 9?
False
Let x(r) = -200*r - 412. Is 49 a factor of x(-5)?
True
Let h(d) = 8*d - 21. Let f be h(9). Let w(r) = -r**3 + 5*r**2 + 5*r + 6. Let s be w(6). Suppose p - 83 - f = s. Is p a multiple of 19?
False
Suppose -5*y - 20 = -0, -2*y = -3*p + 203. Let i = p + -31. Suppose -l + 8 = -i. Does 13 divide l?
False
Let m = -117 - -212. Let g be ((-48)/14)/(-1*6/(-42)). Let s = g + m. Is s a multiple of 22?
False
Let j(u) be the third derivative of u**6/60 - 19*u**5/60 + 13*u**4/24 + 11*u**3/6 - 71*u**2. Does 43 divide j(10)?
False
Let j(c) = -7 + 15*c + 10 - 5. Let m be j(4). Let y = m - 32. Is 14 a factor of y?
False
Let c = -8 + 16. Suppose c*w - 10*w + 6 = 0. Suppose 0 = -3*k - w*v + 348, -8*k + 2*v = -3*k - 545. Is k a multiple of 37?
True
Let z(y) = -28*y**3 - 5*y**2 + 14*y - 3. Suppose -4*s - t = 12, -15*s + 4*t - 3 = -14*s. Does 9 divide z(s)?
True
Suppose -7*b - 1728 = b. Let j = b + 391. Is j a multiple of 35?
True
Let a = 2725 + -5877. Is 21 a factor of a/(-15) - (-4)/(-30)?
True
Suppose -377489 = -146*f + 242281. Does 35 divide f?
False
Let x(f) = 2*f - 17. Let b be x(11). Suppose d = -b*g + 2, -3*d + 4*d - 2 = 4*g. Is 62 - (-2 + g - 0/(-1)) a multiple of 8?
True
Suppose a = -0*a + 3*c - 7, 0 = 3*a + 4*c - 31. Suppose 10*s - a = 1595. Suppose -5*v - 5*p = -s, 2*p = 2*v - p - 39. Is 2 a factor of v?
False
Suppose 0 = 8*i - 43*i - 8855. Let c = i + 284. Is 3 a factor of c?
False
Suppose 14 = j + 11. Let c be (-38 - -34) + -2*(1 + -3). Suppose -j*m - 2*m = -o - 144, c = 5*m + o - 136. Does 7 divide m?
True
Let p be ((-12)/30)/((-3)/(1650 + 0)). Suppose 2*r + 4*d = p, 0*r - 3*d = 5*r - 515. Is 10 a factor of r?
True
Suppose 0 = -4*l + 69 - 53. Suppose 2592 = -l*p + 13*p. Is p a multiple of 6?
True
Suppose 2*l = -m - 4, -16*m = -15*m - 3*l - 11. Suppose m*o - 260 = -2*a, 24*a + 2*o - 134 = 23*a. Is 63 a factor of a?
True
Let r = 28018 - -25384. Is r a multiple of 137?
False
Let f(q) = 58*q. Let w be (21/9)/((-2)/6)*7. Let r be 1/(-2) - w/14. Does 36 divide f(r)?
False
Does 43 divide ((-10)/10*(-2)/(-2) - -5)*1720?
True
Let k(v) = 354*v**2 - 571*v - 3973. Does 20 divide k(-7)?
False
Let w(f) = -31*f - 30. Let g be w(-20). Let t = 1392 - g. Does 12 divide t?
False
Let q = -504 - -497. Let z(f) = -19*f - 4. Is z(q) a multiple of 6?
False
Suppose 0 = -2*i - 12, 3*o - 16262 = -i + 7288. Is o a multiple of 52?
True
Let g(h) = 53 - 83 + 21 - 8*h + 27*h**2. Is 35 a factor of g(-4)?
True
Suppose 0*y + 11*y + 0*y - 49104 = 0. Is y a multiple of 93?
True
Let h(j) = -2*j**3 - 16*j**2 + 21*j + 24. Let r be h(-9). Does 7 divide r + (8 - 3) + 72?
False
Let h = -83 - -87. Let r be (4/(-3))/(786/198 - h). Suppose -v + 122 = r. Is v a multiple of 16?
False
Suppose 2*g - 11 = g + 3*a, 3*g - 4*a = 28. Suppose -g*x - 384 = -32*x. Does 5 divide x?
False
Let m(u) = 8*u**2 - 5*u + 18. Let f be m(18). Suppose 392*g = 386*g + f. Is 70 a factor of g?
True
Let y(g) = -2857*g - 322. Is 29 a factor of y(-1)?
False
Let z(i) = 1161*i - 1341. Is z(5) a multiple of 9?
True
Is (18/(-120)*-24)/(2/1240) a multiple of 12?
True
Suppose -2 = -4*t + 30. Suppose 0 = 17*i - t*i - 18. Does 29 divide i/17 + -1562*6/(-102)?
False
Suppose 87 - 23 = u + 4*m, 4*u - 3*m - 332 = 0. Suppose 16*q = -0 + u. Is q a multiple of 3?
False
Let u(i) be the first derivative of -91*i**3/6 + 3*i**2/2 + 23*i - 23. Let j(z) be the first derivative of u(z). Is 7 a factor of j(-1)?
False
Suppose -16*q + 163 = -669. Does 4 divide -1*(-9)/(9/q)?
True
Let g(n) = 6*n**2 + 61*n - 49. Let s be g(-11). Is 34 a factor of (-2 + 772/12)*s?
True
Let j(i) = i**2 + 10. Let m be j(6). Let v = m - 42. Is 3*(-4 + v - -1) even?
False
Let u = 105 + -101. Suppose 0 = -4*v - u*x - 28, 4*v + 5 + 19 = -5*x. Let l(f) = 4*f**2 + 15*f - 3. Is 16 a factor of l(v)?
False
Let x = 34639 + 1910. Is 198 a factor of x?
False
Let a(p) = -9*p - 5. Let w be a(-6). Suppose g - 131 - w = 0. Is g a multiple of 10?
True
Suppose 346 = 3*r - 260. Suppose -5*i + 4*d - 1 + r = 0, 81 = 2*i - d. Does 5 divide i?
False
Suppose 3 = -13*y + 55. Is (8 - (-866)/y)*(-1 - -3) a multiple of 18?
False
Let z(y) = 23*y + 54. Suppose 0 = -51*n + 46*n + 30. Let m be z(n). Let g = m - 22. Does 10 divide g?
True
Let k be (-88)/24*-21 + (0 - -2). Suppose 0 = z - 162 - k. Is 6 a factor of z?
False
Does 3 divide (-421)/(-33 + 17 - -15)?
False
Suppose 2*q - 3*u + u - 8 = 0, 2*q + 17 = -3*u. Let w(a) = -223*a**3 - a**2 + 8*a + 10. Is w(q) a multiple of 16?
True
Suppose 14*i - 31832 = 26210 - 14138. Does 49 divide i?
True
Let n(m) = -78*m + 1804. Is 32 a factor of n(-6)?
True
Let b(v) = v**2 + 10*v + 11. Let f be b(-9). Let n(m) = 99*m**2 + 14*m - 26. Does 9 divide n(f)?
False
Suppose 1482 = c + 5*p, -3660 = -6*c + 3*p + 5133. Is 8 a factor of c?
False
Let n be 1/(2/1238)*(27 - 22). Suppose 13*g - n = 7604. Is g a multiple of 40?
False
Let p(q) be the first derivative of -q**4/4 + 14*q**3/3 + 13*q**2/2 + 6*q - 24. Let w be p(14). Let f = w + -110. Is 10 a factor of f?
False
Suppose 0 = -3*d + 168 + 186. Suppose 4*y + 106 = d. Suppose -y*v + 39 = -0*v. Is 4 a factor of v?
False
Suppose -20715 = -5*c + 5*g, 2*g + 2*g = -2*c + 8262. Suppose c = 13*o - 5455. Is 41 a factor of o?
True
Let j(c) = -51*c + 345. Suppose 127*q - 182 = 141*q. Is j(q) a multiple of 63?
True
Suppose 131*l + 10 = 133*l. Does 14 divide 5/((-5)/(-126)) + (5 - l)?
True
Let z(j) be the first derivative of 34 - 4*j**3 + 1/4*j**4 - 27*j + 23/2*j**2. Does 15 divide z(11)?
True
Let l(z) = 746*z + 16774. Does 8 divide l(33)?
True
Let w(s) be the second derivative of s**4/12 - s**3/6 + s**2/2 - s. Let n be 8 + (7 - (-200)/(-30))/(1/3). Is w(n) a multiple of 10?
False
Let f = -521 - -651. Suppose -34*b - f = -39*b. Does 9 divide b?
False
Suppose 2*u - 8 = -5*p, -5*u - 3*p - 1 = -2. Let h(s) = -330*s**3 + s**2 + 6*s + 5. Does 33 divide h(u)?
True
Suppose -25*h + 21*h - 806 = -2*z, 2*z - 197 = h. Let r = h - -351. Is 37 a factor of r?
True
Let w(a) = -a**3 - 20*a**2 - 24*a - 81. Let p be w(-19). Suppose -3368 = -22*g + p*g. Is 39 a factor of g?
False
Let k be (24/(-1))/(664/(-80) + 8). Suppose -3*j - 5*g + 232 = 0, -16*j - k = -17*j - g. Is j a multiple of 23?
False
Let z = 1 + 2. Suppose 6 = z*q, x - 3*q + 8 = q. Suppose i - 3*y - 73 = x, 5*i + 4*y - 460 = -0*y. Is 22 a factor of i?
True
Let z(c) = -6*c**3 - 12*c**2 + 5*c - 9. Let h(x) = 5*x**3 + 11*x**2 - 5*x + 8. Let r(b) = -7*h(b) - 6*z(b). Let j be r(4). Is 22 a factor of j + (-1)/((-1)/64)?
True
Suppose -558*y = 559*y - 1114*y - 3930. Is 7 a factor of y?
False
Let n(h) = 88*h - 46*h - 43*h - 17. Let a be n(-22). Suppose -a*x = 3*i - 873 - 642, 3*i = 2*x - 585. Is x a multiple of 20?
True
Let k(n) = 5*n - 41. Let t be k(9). Let x(d) = 5*d**2 + 2*d**3 + 3 + 6*d - 5 + t*d**2. Is 4 a factor of x(-3)?
False
Let v = 15675 + -8492. Does 6 divide v?
False
Suppose 463*q - 615606 = 780835 + 1651488. Is q a multiple of 40?
False
Let g = 0 + 2. Suppose 0 = 4*h - 20, a - 4*h + 5 = -g*h. Suppose -149 = -a*j + 96. Does 9 divide j?
False
Suppose 0 = 47*s - 42*s - 6500. Is s a multiple of 5?
True
Is -7 + 3 - -2873 - (-5 + (-10)/5) a multiple of 12?
False
Let s = 27 - 25. Suppose -3*b - y = 221, y + 134 = -s*b + 3*y. Let t = b + 120. Is t a multiple of 4?
True
I