s f*(-5)/50*y a multiple of 9?
True
Suppose 5*b - 383 = 4*f, 4*b + 2*f - 3*f - 302 = 0. Suppose 4*w - b - 6 = l, -2*w + 2*l = -42. Is 4 a factor of w*-2*5/(-10)?
True
Let h(u) = -2*u**3 - 14*u**2 - 27*u + 3. Is 15 a factor of h(-9)?
True
Let g be (-1 - -2)*(-4 - -9). Suppose -142 = -g*j + 2*h, -j + 4*h - 80 = -4*j. Does 14 divide j?
True
Let z(o) = 7*o**3 + o**2 - 2*o + 2. Let r be z(2). Suppose 3*s - r = -p, 4*s = 3*s + 2*p + 24. Let h = s + -2. Is h a multiple of 13?
False
Let t = -226 + 298. Is t a multiple of 16?
False
Let v(d) = 1. Let w(j) = -4*j - 4. Let q(g) = -6*v(g) - 3*w(g). Is q(6) a multiple of 13?
True
Let i(d) = -20*d**2 - d. Let n be i(1). Suppose 0 = -8*r + 48 + 240. Let t = n + r. Is 9 a factor of t?
False
Suppose -3*x - 2768 = x. Let g = 1250 + x. Suppose -3*t - 3*t + g = 0. Is t a multiple of 17?
False
Let s(l) = l**2 - 9*l - 6. Suppose 0 = h + 6. Does 7 divide s(h)?
True
Suppose -2 = -2*k + 12. Let y(l) = l - k*l**2 - 7 + 2*l + 14*l**2 + 4. Is 12 a factor of y(2)?
False
Let r(y) = -8 - 392*y + 386*y + 4 - 6. Let t = -10 + 2. Does 11 divide r(t)?
False
Is (1470/12 - 4)*10 a multiple of 17?
False
Let k(s) be the first derivative of 31/4*s**4 + 1/2*s**2 - s - 1/3*s**3 - 2. Is k(1) a multiple of 10?
True
Let i = 15 + -5. Suppose -i = 5*d, -5*p = -4*p - 4*d - 33. Is 25 a factor of p?
True
Let d = -72 + 139. Let o = 129 - d. Does 6 divide o?
False
Let c = 7 - 3. Suppose 3*m + 2*s - 79 = 0, -3*s - 2*s = -c*m + 67. Does 18 divide m?
False
Suppose -3*a + 26 = -2*a. Let m = a + -13. Is -2*(-4)/4 + m a multiple of 7?
False
Is (29/(-87))/((-820)/273 + 3) a multiple of 7?
True
Let o = 3871 - 2620. Is o a multiple of 9?
True
Let r = -387 + 412. Is r a multiple of 5?
True
Suppose -7*c = -3*c - 4, 3*i = 5*c + 64. Suppose l - i = n, 5*l = -4*n + 8*n + 89. Let w = 38 + n. Is 6 a factor of w?
True
Let l(p) = 0*p**2 - 115*p - 25 + 137*p - p**2. Does 24 divide l(11)?
True
Suppose 4793 = 12*w - 859. Does 25 divide w?
False
Let g be (-10227)/133 - (-2)/(-19). Is 16 a factor of (g + (-1)/1)/((-12)/32)?
True
Let s = -35 - -30. Let b(i) = -i**3 + 5*i + 2. Let x be b(-3). Let q = x + s. Does 7 divide q?
False
Suppose 19*h + 3*h = 1606. Let b(f) = f + 9. Let x be b(-5). Suppose 0 = 3*s + x*z - h - 137, 0 = -4*s + z + 261. Is s a multiple of 25?
False
Suppose 4*n = -11 + 3. Let f(y) = -70*y - 3. Is f(n) a multiple of 13?
False
Let y(q) = 37*q - 13. Does 41 divide y(15)?
False
Let w = -1767 - -3133. Does 18 divide w?
False
Suppose 3*m + 116 = 4*c - 0*m, 0 = 5*c + 3*m - 118. Suppose -3*v + 64 + c = l, 4*v - 450 = -5*l. Let r = 153 - l. Is r a multiple of 13?
False
Let w(c) = c**3 + 12*c**2 - c + 70. Is w(-10) a multiple of 7?
True
Let j(g) be the second derivative of 4*g**3/3 + g**2/2 + 2*g. Let f = -8 - -12. Does 8 divide j(f)?
False
Suppose 84 = -2*h - 28. Suppose 2*y - 88 = 120. Let l = y + h. Is 16 a factor of l?
True
Suppose -10 - 5 = -3*n. Suppose 0*l - n*l + 4*s + 149 = 0, 16 = 4*s. Suppose -155 = -2*j - l. Does 21 divide j?
False
Suppose 2*t = 5*l - 0*l + 358, 5*l + 3*t = -363. Let m = l + 112. Is 21 a factor of m?
False
Let t(i) = 3*i**2 + i. Let q be t(1). Suppose 0 = 4*a + q*p - 17 - 23, 0 = -3*a + p + 10. Suppose a*m + 2*m - 49 = 0. Does 5 divide m?
False
Suppose -5*t - 18 = -2*i - 46, 2*i = t - 36. Let l = i - -20. Suppose 2*d - l = 5, -3*a + 2*d + 51 = 0. Is 4 a factor of a?
False
Let u(s) be the second derivative of s**4/12 + s**3/3 + 279*s**2/2 - 2*s. Let r be u(0). Suppose t - 4*t = -r. Is t a multiple of 31?
True
Let u(s) = -s**2 - 35*s - 18. Let g be u(-27). Suppose -6*v + 9*v - g = 0. Is v a multiple of 33?
True
Let o(c) = c**2 - 4*c - 2. Let q be o(5). Let n be (25/15)/(q/9). Suppose -2*y - 3*p = -146, -y + n*p + 20 = -79. Does 22 divide y?
False
Let i = 2 + 1. Suppose p = -i*p + 48. Let g(k) = k**3 - 11*k**2 - 9*k + 8. Does 11 divide g(p)?
True
Let o(r) = -35*r - 1 + 4 + 6 + 18*r. Let k = -4 - -1. Does 15 divide o(k)?
True
Let g = 1268 + -1219. Does 2 divide g?
False
Let y be -3*((-29)/3 - 3). Suppose 2*b - 40 = a, y + 46 = 4*b - 3*a. Is 6 a factor of b?
True
Is 15 a factor of 907214/224 - 5/80?
True
Suppose -y = 3*u - 8*u + 9, 2*u = 3*y + 1. Let k = -4 + 7. Suppose 3*j = k*c + 15, u*j + 2*j + 4*c - 60 = 0. Is j a multiple of 5?
True
Let t = 6427 - 3769. Is 111 a factor of t?
False
Let i(n) = -5*n**2 + 3*n + 1. Let a be i(-3). Let d = 185 + -207. Let s = d - a. Does 31 divide s?
True
Let m = 99 + 135. Is m a multiple of 13?
True
Let h be (2 - 1)*(4 - -1). Suppose -180 + h = -5*p. Is p a multiple of 4?
False
Let z = 91 - -21. Is 18 a factor of z?
False
Let z(n) = 268*n**2 + 29*n + 93. Does 13 divide z(-3)?
True
Let n(o) be the first derivative of 9*o**4/4 - o**3/3 + o**2/2 - o - 1. Suppose t = 4*v + 8 + 1, 4*t = -5*v - 6. Does 8 divide n(t)?
True
Suppose 10 = -2*b, -3*v = 13*b - 10*b - 885. Is v a multiple of 12?
True
Suppose 28 = 3*r - 4*q, -4*r - q + 2*q + 20 = 0. Let i = 29 - -57. Suppose b = -2*b + r*m + i, 0 = -5*b - 4*m + 90. Does 7 divide b?
False
Let r = 8 - 2. Suppose 2*x - 3*g + 6 = -6*g, 5*x - 3*g - r = 0. Suppose u = -x*u + 31. Is u a multiple of 13?
False
Let f be (3/(-9)*4)/(6/9). Does 7 divide (1/4 + f)*-40?
True
Let d = -1607 + 2296. Is d a multiple of 13?
True
Let q be 32/24*(-3)/(-2). Suppose 33 = -q*w + 3*n, -3*w = -6*w + 3*n - 42. Let o(u) = -u**2 - 11*u - 5. Is 9 a factor of o(w)?
False
Let c(n) = 45*n**2 + 31*n + 126. Is 45 a factor of c(-7)?
False
Let z(k) = -k + 6. Let g be z(6). Let h(r) = 2*r**2 - 6. Let s be h(g). Let m(n) = n**3 + 7*n**2 + n. Is m(s) a multiple of 16?
False
Let l(o) = o**3 - 8*o**2 + 13*o + 1. Let b = -96 + 104. Does 28 divide l(b)?
False
Suppose 0 = -3*a + 62 - 239. Let b = 106 - a. Suppose 4*v = -d + 268, 2*v = 5*d + b - 53. Does 22 divide v?
True
Let k = -120 + 285. Suppose -4*i + 3*i = -k. Is i a multiple of 31?
False
Let q(i) = 133*i - 6. Let m(y) = 199*y - 9. Let s(l) = 5*m(l) - 8*q(l). Is s(-1) a multiple of 8?
True
Suppose 0 = -2*b + 10, -33 - 12 = -5*w + b. Let r be 5*-1*(-8)/w. Does 11 divide 179/r + 39/(-52)?
True
Let k(h) = -h**2 + h - 1. Let x(z) = 81*z**2 - 5*z + 4. Let w = -35 + 36. Let r(b) = w*x(b) + 4*k(b). Is r(-1) a multiple of 11?
False
Suppose -4*n - 213 = 111. Let i = 28 + n. Let w = i - -109. Does 14 divide w?
True
Let d be (-8)/(-2) - 9/1. Let k(b) = -b + 10. Is 2 a factor of k(d)?
False
Let l(v) = -v**2 - 4*v + 8. Let z be l(-5). Suppose -29 = -z*d + 13. Suppose -5*a + d = -36. Does 5 divide a?
True
Suppose 3*p = 3*y + 6*p + 60, 3*y = 5*p - 92. Is (((-336)/2)/2)/(36/y) a multiple of 14?
True
Let c(s) be the third derivative of 7*s**4/12 - 2*s**3/3 + 4*s**2 + 5. Let w = -5 - -9. Does 9 divide c(w)?
False
Does 2 divide (-1)/((-1)/(0 + 17))?
False
Suppose 0*q = x - 4*q + 83, 4*q - 146 = 2*x. Let u = 182 + x. Is u a multiple of 29?
False
Let i(y) = y + 19. Let f be i(-15). Suppose -2*t - 4*j - 4 = 0, 0*j = 5*t - f*j - 32. Is 2 a factor of t?
True
Suppose -91*a = -96*a. Suppose n + 4*f - 45 = -11, f + 5 = a. Does 6 divide n?
True
Suppose 4 = 2*w - w, 0 = -5*d - 4*w + 86. Is 4 a factor of (-73 - 2)/((-21)/d)?
False
Suppose -11*f = -13*f + 568. Is f a multiple of 11?
False
Let h = -251 - -255. Does 3 divide h?
False
Let q(k) be the first derivative of -3*k**2/2 + 3*k + 30. Let f(w) = w**2 - 6*w - 6. Let u be f(6). Is 7 a factor of q(u)?
True
Let t = 5 - 2. Suppose t*y - 35 - 175 = 0. Suppose -51 = -4*a - 0*a - 3*s, 0 = -5*a - 5*s + y. Is 3 a factor of a?
True
Let k = 1436 - 662. Is 9 a factor of k?
True
Let z(b) = 16*b - 18. Let f be 0/2 + 10*3/6. Is z(f) a multiple of 25?
False
Let c(s) = -s**2 - s + 1. Let f(z) = -3*z**2 - 5*z + 30. Let o(d) = -5*c(d) + f(d). Is o(0) a multiple of 5?
True
Is -7 - (-1361 - (0 + -4)) a multiple of 25?
True
Suppose 37*n - 24 = 35*n. Suppose -n*m = 4*m - 3456. Is m a multiple of 22?
False
Suppose -2*h + 5*w = 35, 5*h + 15 = -2*w - 0. Let y be (-2 - -2) + 3 - h. Is (-251)/(-4) + 2/y a multiple of 29?
False
Suppose t - 11 = -2. Suppose t*p = 1067 + 418. Does 11 divide p?
True
Let i = 17 + 31. Suppose 3*o = 5*o - i. Is 6 a factor of o?
True
Let t(r) = -114*r + 23. Is t(-4) a multiple of 8?
False
Suppose 0*o - 5*o = -2*d + 3, -4*o = -d + 3. Let t(f) = 161*f**2 - f - 2. Let z be t(o). Is 20 a factor of (6/(-12))/((-2)/z)?
True
Suppose -2*