s r(-6) a multiple of 6?
True
Suppose 2*t - 4*t = -144. Let d = 449 - t. Is d a multiple of 48?
False
Let w = -46 - 0. Let t = w - -68. Does 10 divide t?
False
Suppose -q + 8 = -4*h - 344, -q + 2*h = -344. Is 12 a factor of q?
True
Let z(v) = v**3 + 8*v**2 + 8*v + 5. Let p(b) = 6*b**2 + 0*b + 4 + 3*b**2 + 0*b + b**3 + 9*b. Let c(m) = 4*p(m) - 5*z(m). Is c(-6) a multiple of 29?
True
Let k(u) = u**2 - 16*u + 18. Let p be k(15). Is 13 a factor of (-5)/30*p - (-70)/4?
False
Suppose 1550 + 1999 = 39*t. Is t a multiple of 4?
False
Suppose -f = 4, -4*a - 3*f = -9*a + 442. Does 53 divide (-7 + 4 - -5) + a + 2?
False
Let l = 55 - 45. Let k(n) = 4*n + 15. Does 5 divide k(l)?
True
Suppose -6*z = -7*z + 402. Let m be z/(-4 - -6*1). Let r = m - 85. Is r a multiple of 29?
True
Suppose 3*m - 2 = 4. Suppose 4*u - 24 = -5*s, -5*s - 5*u - 7 = -32. Suppose s*n + m*z = 226, 3*z - z + 260 = 5*n. Is n a multiple of 17?
False
Let w(g) = g**2 - 4*g + 3. Let c be w(4). Is (-532)/((-12)/c) + -2 a multiple of 24?
False
Does 6 divide (2/(-10))/(4/(-4540)) - -1?
True
Suppose -f - 5*o - 202 = -2*f, 4*f - 785 = -3*o. Suppose 34 + f = 7*b. Let u = 57 - b. Is u a multiple of 8?
True
Let g = 3429 + -1992. Is 14 a factor of g?
False
Let z(u) = -3*u - 15. Let w be z(-5). Suppose 2*a = s - w*a - 141, a + 2 = 0. Does 26 divide s?
False
Let f = -710 + 3246. Does 49 divide f?
False
Let a be (-15)/(-4)*(-3 + -21). Let q be (-526)/10 - 12/(-20). Let v = q - a. Is v a multiple of 15?
False
Let s(o) = -484*o - 120. Is 25 a factor of s(-5)?
True
Is 16 a factor of (1949/(-4))/(268/16 - 17)?
False
Let h(s) = -20*s**2 - 57*s - 3. Let x be h(-5). Let v = x - -442. Does 32 divide v?
True
Let s = -14 - -17. Suppose 2*o - 284 = -2*b, -2*b + 726 = s*b - 3*o. Does 17 divide b?
False
Suppose -4*j - 4 - 8 = 0. Is 13 a factor of -13*10/6*j?
True
Suppose -9*n + 18892 = -1664. Does 11 divide n?
False
Suppose 0 = -6*y + 13 + 641. Does 2 divide y?
False
Let j(h) = 8*h**2 - 59*h + 175. Is 61 a factor of j(3)?
False
Suppose 0 = -5*v + 30 + 575. Is 27 a factor of v?
False
Suppose -5*h - 2*f + 852 = -104, -h = f - 193. Does 10 divide h?
True
Suppose 3*f + 200 = 2*h - 463, -4*h - 3*f = -1317. Suppose 2*u = 3*w + h, -3*w - 330 = -2*u - w. Suppose -u = -2*s - s. Is 18 a factor of s?
False
Let z = 5 - -87. Does 46 divide z?
True
Let l(a) = -2*a**2 + 14*a + 8. Let z be l(7). Let r(q) = 8 + 49*q + z - 46*q. Does 5 divide r(8)?
True
Let z(g) be the third derivative of g**6/90 - g**5/40 + g**4/24 + g**3/3 + g**2. Let a(k) be the first derivative of z(k). Is a(4) a multiple of 15?
False
Let h = 24 - 44. Let n be (-1 + -4)*8/h. Let a(c) = 15*c + 2. Does 14 divide a(n)?
False
Suppose -18240 = -12*k - 4*k. Is k a multiple of 57?
True
Let x(j) = -3*j - 3. Let m be x(-3). Suppose 52 = 2*f + m. Let u = 2 + f. Does 18 divide u?
False
Let g be ((-11)/4)/((-5)/20). Suppose 0*y - 5*o + 15 = 5*y, 2*y - 5 = -3*o. Let l = g - y. Is l a multiple of 6?
False
Let j be ((-14)/35)/((-2)/(-10)). Is -2 + 2 - -30 - j a multiple of 8?
True
Let g = 0 - -3. Does 36 divide 182 + (-3 - (-4 - -1)/g)?
True
Suppose 0 = -3*x + 2*b + 135, 3*x + 14 = -4*b + 167. Suppose 0 = 4*v + 5*a + 71 + 52, 5*a = -2*v - 59. Let p = x + v. Does 15 divide p?
True
Let f = -5 - -11. Suppose 6*t - 18 = f. Suppose -2*q + 0*q + 10 = u, -38 = -5*u - t*q. Is u a multiple of 3?
True
Let u(l) = -l**3 + 8*l**2 + l + 9. Let k(g) = -g**3 + 8*g**2 - 7*g - 3. Let a be k(7). Let j be 1*(8 + 2 + a). Does 20 divide u(j)?
False
Let j(x) = -x**2 + 8*x - 12. Let g(k) = k. Let m = 26 + -25. Let s(r) = m*j(r) + 6*g(r). Does 14 divide s(10)?
True
Let d = 27 + -24. Suppose -1 = d*x - 7. Suppose -n = x*q - 30, -6*q + 4*q = -2. Is 7 a factor of n?
True
Suppose -5*z + 5*h - 40 = 0, 0 = 3*z - h + 20 + 14. Let c = -13 - z. Suppose c*l = l - 11. Is l a multiple of 11?
True
Suppose 4*x = -13 + 17. Is 6 a factor of ((-5)/(-10))/(x/72)?
True
Suppose -s + 68 = 4*x, 44*s - 316 = 40*s - 5*x. Is s a multiple of 7?
True
Suppose -s + 3*r + 2257 = -1928, 0 = s + 2*r - 4195. Is 92 a factor of s?
False
Suppose -5*s + 539 = 6*s. Is s a multiple of 7?
True
Suppose 44*p = 41*p + 1071. Is 80 a factor of p?
False
Suppose 7657 = 9*k + 10*k. Suppose j - 239 = -3*u, 4*j = 5*u + j - k. Is u a multiple of 8?
True
Suppose 0 = -3*r + 7 - 1. Suppose r*m - 3*n + 28 = 108, n = 4*m - 170. Is m a multiple of 2?
False
Let s(x) = -96*x - 63. Is 7 a factor of s(-6)?
False
Suppose 3*w - 7 = 14. Let u(b) = -b + 2*b + 0 - 4. Is u(w) a multiple of 2?
False
Suppose 0 = -54*l + 3818 + 1960. Is 6 a factor of l?
False
Does 105 divide 634 - (-3 - (-3 - -2))*-2?
True
Suppose 3*f + 1 = 10. Suppose 2*q = f*q - 50. Is q a multiple of 25?
True
Let k = -2548 - -3640. Suppose -17*v + k = -4*v. Does 6 divide v?
True
Let m be 1 + -1 + (-162)/6. Let s = m + 29. Let t = 10 + s. Is t a multiple of 12?
True
Let o be -4 + 177/6*4. Let u = 168 - o. Is 18 a factor of u?
True
Let a(o) = -o**3 + 31*o**2 - 29*o + 9. Does 21 divide a(30)?
False
Suppose 3*t = 327 + 297. Is 26 a factor of t?
True
Let d(a) = 168*a**2 - 21*a + 35. Is 19 a factor of d(2)?
True
Let z(f) = -4*f + 1. Suppose 6 = 4*r - 30. Let g = -11 + r. Is 3 a factor of z(g)?
True
Let p = -26 - -14. Is 40 a factor of (-36)/p*(-160)/(-6) - 0?
True
Suppose 3*g - 5*g + 60 = 4*s, -2*s = -10. Suppose -20*x + 21*x = g. Does 5 divide x?
True
Let x = 1668 + -568. Is 6 a factor of x?
False
Let r = 32 + -26. Suppose -g - r = -31. Is 5 a factor of g?
True
Suppose 96 = 4*n - 5*n. Suppose -5*q = -4*i + 320, 3*q + 4*i = -q - 292. Let r = q - n. Is r a multiple of 14?
True
Let h be -3 + 2 + 2 + 1. Let i = h - -46. Is i a multiple of 6?
True
Suppose 30*k - 1084 = 28*k + 4*d, 3*d = 4*k - 2188. Does 29 divide k?
False
Let z = 279 - -29. Let k = -160 + z. Is 40 a factor of k?
False
Suppose 4*t + 20 = -t, -4*s = -3*t - 972. Is 30 a factor of s?
True
Suppose 33*o - 7*o - 3640 = 0. Does 12 divide o?
False
Suppose -4*q + 45 + 51 = 0. Let l be ((-5)/2)/((-4)/q). Let x = 28 - l. Is x a multiple of 4?
False
Suppose 5*u - 4*u + 21 = 4*a, 3*u + 3 = 0. Suppose -300 = -a*g - 0*g. Is g a multiple of 20?
True
Let k(x) = x**3 - 4*x**2 - x - 2. Let b(g) = -3*g**3 + 12*g**2 + 4*g + 5. Let c(v) = -4*b(v) - 11*k(v). Let p be c(4). Does 3 divide ((-5)/3 + 1)*p?
True
Suppose -5*d = -z - 704, 86 + 198 = 2*d - z. Suppose -13*g = -8*g - d. Does 15 divide g/(-6)*(-270)/21?
True
Let b be 4/(-2 - 2) - -3. Suppose 5*p = b*p. Suppose -186 = -4*s - g, 0 = 5*s - g - p*g - 237. Is s a multiple of 11?
False
Suppose 3*k = 2*j - 25, 5*k = -j + 4*k. Suppose 0 = -j*z + 9 + 6. Suppose -2*r + 575 = z*r. Does 34 divide r?
False
Let n(f) = -80*f + 24. Does 43 divide n(-21)?
False
Let j be 360/2*(-2)/(-4). Does 3 divide j/27*(-18)/(-4)?
True
Let y(m) be the second derivative of 0 - 9/2*m**2 - 13*m - 1/6*m**4 - 31/6*m**3. Is 12 a factor of y(-13)?
False
Let x(o) = -o - 20. Let t(l) = 10. Let w(k) = 5*t(k) + 2*x(k). Let v be w(8). Is 42 + v + 2/(-1) a multiple of 9?
False
Let w be 576/40 + 4/(-10). Let x be 30/7 + (-4)/w. Suppose -3*t + 3*l + 42 = -2*t, -3*t + x*l + 116 = 0. Is t a multiple of 18?
True
Suppose -5*v = -5*u - 35, 2*v = 6*v - 5*u - 31. Let d(g) = -8*g + 3 - g**3 + 0 - 3 + v + 14*g**2. Does 16 divide d(13)?
False
Does 4 divide (5*16/(-120))/(2/(-153))?
False
Suppose 0 = f - 3 - 1, -3*f = -5*d + 8. Suppose 0 = 2*z - 6*z - d. Is 17 a factor of 3*((-46)/(-6) + z)?
False
Let t = -58 - -55. Suppose d + 9 = -3*y - y, -8 = -2*d + 5*y. Is -22*(d + t/3) a multiple of 12?
False
Does 33 divide 4/((-5)/(-8)*1/20)?
False
Let h(k) = k**3 - k**2 - 2*k + 52. Let a be h(0). Is 12/(-6)*a/(-8) a multiple of 2?
False
Is (-1785)/34*212/(-5) a multiple of 106?
True
Does 27 divide 12506/111*18/4?
False
Let r(l) = 3*l + 56. Let x be r(-18). Suppose 16*h - 868 = x*h. Is 52 a factor of h?
False
Let f(m) be the first derivative of -m**4/4 - 14*m**3/3 + 12*m**2 + 2*m + 9. Is 10 a factor of f(-16)?
True
Let q(x) = x**2 - x + 9. Let f be q(7). Suppose 70*o = 67*o + f. Is 4 a factor of o?
False
Suppose 3579 = y + 14*n - 15*n, 5*y + 5*n = 17875. Is y a multiple of 49?
True
Suppose -4*s = -4*l + 1509 - 85, -4*s - 1064 = -3*l. Does 30 divide l?
True
Does 9 divide -2 - 1*(886/(-2) + 0)?
True
Let g = 12261 - 7803. Does 18 divide g?
False
Let l(z) = -8 - z - 5 + 25*z + 