-m + 80, -80 = -m - 2*k + g. Does 15 divide m?
True
Suppose -21 = 3*p - 5*w, 9*w = -2*p + 4*w - 14. Let d(s) = -106*s - 23. Is 17 a factor of d(p)?
False
Suppose 17*w - 43346 = 47995. Is 199 a factor of w?
True
Let p(z) = -65*z - 17. Let n be p(3). Let u = n - -338. Is u a multiple of 21?
True
Let u(f) = -12*f + 48. Let a be u(38). Let k = a - -692. Does 9 divide k?
False
Let s(r) = r**2 + 14*r + 6. Let t be s(-14). Let z(m) = -2 - 3 + 5*m - 13. Is 4 a factor of z(t)?
True
Let s be 8/((-16)/(-14)) - -1. Suppose -550 = -s*t - 214. Does 42 divide t?
True
Let v be ((-5)/10)/(1/6) + 12. Suppose -v*l + 28 = -7*l. Suppose -l*x - 14 = -15*x. Is x a multiple of 4?
False
Suppose 4918 = o + 3*t, 4*o + 3535*t - 19576 = 3539*t. Is 35 a factor of o?
True
Suppose 2*i - 6038 = -4*r, -99 + 3112 = i - r. Does 201 divide i?
True
Suppose 5*c = -2*y - 22, 2*y - y - 2*c = -2. Let w(k) = k**3 + 10 - 152*k + 9*k**2 - 134*k + 291*k. Is w(y) a multiple of 26?
False
Let w be (139 + 2)/(24/(-8)). Suppose -p = 18 + 124. Let i = w - p. Is i a multiple of 14?
False
Let s(l) = l + 41. Let g be s(-18). Let t = 185 - 92. Let x = t - g. Does 14 divide x?
True
Suppose -61*l = -55167 - 55426. Does 5 divide l?
False
Let d = 168 - 133. Suppose 2*x + 40 = 2*c, -5*c - d + 125 = 5*x. Suppose c*g - 18*g - 152 = 0. Is 38 a factor of g?
True
Let u(o) = -24*o + 25. Let l be u(1). Is l + (-60)/48 - (-1314)/8 a multiple of 41?
True
Let n = 26792 + -374. Is n a multiple of 74?
True
Let s = -4 + 16. Suppose 20 + 12 = d - a, 4*d - 131 = 5*a. Let b = d + s. Is b a multiple of 8?
False
Let g = 637 + -632. Is (11288/g)/4 + (-102)/(-170) a multiple of 14?
False
Suppose 0 = -5*v - 16*v + 63. Suppose -343 = -0*y - 2*y - 3*i, -5*y + 868 = -v*i. Is y a multiple of 18?
False
Let y(x) = 4*x + 18*x**2 - 4*x + 0*x + 3 + 4*x + x**3. Let b be (2 + (4 - 3))/((-15)/85). Does 32 divide y(b)?
True
Suppose 2*y - 133 - 37 = 0. Let d(f) = -18 - 16*f + y*f - 18 + 37. Does 22 divide d(1)?
False
Suppose 7*w + 5540 = -3*w. Let i = w - -1182. Is (i/(-6))/((-22)/6 - -3) a multiple of 14?
False
Suppose 0 = -13*o - 400 + 192. Let a = o - -224. Is 5 a factor of a?
False
Let v(c) = c**2 + 3*c + 3. Let i be v(-3). Let g(d) = 8*d**3 - 2*d + 7. Is 10 a factor of g(i)?
False
Let b = -5273 + 9203. Does 4 divide b?
False
Let p(l) = -10245*l**3 - 6*l - 7. Let w be p(-1). Suppose 3*o + 10*o - w = 0. Does 29 divide o?
False
Let b(g) = 23*g + 3810. Is 10 a factor of b(15)?
False
Suppose 12*g + 5*l = 11*g + 9182, -3*g = l - 27532. Is 7 a factor of g?
True
Let j = 759 + -608. Suppose -j*w = -155*w + 788. Does 11 divide w?
False
Let j be (4/(-32)*4)/((-1)/(-14)). Let m(f) = f**3 + 8*f**2 + 4*f - 17. Let g be m(j). Suppose 0*k + 28 = 2*x - 4*k, 4*k = -g*x + 80. Is x a multiple of 9?
True
Suppose -238 = -o + 5*b, 25*o - 24*o - 262 = -b. Is o a multiple of 2?
True
Suppose 3*v - 161 = 2*k, -2*v + 0*k = -3*k - 114. Let b = v - 49. Does 11 divide 2 - ((-1284)/18)/(b/3)?
False
Suppose -6 = -14*c + 17*c. Is 11 a factor of c/3*-3*(27 + 16)?
False
Suppose 2*j - 23 = u, 42 = 3*j - 2*u + 9. Let d(b) = b**3 - 13*b**2 + b - 8. Let w be d(j). Suppose -z - 299 = -w*k - 2*z, 3*k = 4*z + 184. Is 10 a factor of k?
True
Let s(d) = -d**3 - 9*d**2 + 8*d - 20. Let j be s(-10). Suppose j = -3*c + 13 + 53. Is 11 a factor of c?
True
Let v(l) = -2*l**3 - 7*l**2 - 6*l - 10. Let u be v(-8). Suppose -3*c + u + 205 = 0. Suppose -5*f = -5*g + c - 28, -253 = -5*g - 3*f. Is 26 a factor of g?
False
Suppose 4 = -2*d + 6*d. Let w be d - (-1)/(-1 + 0). Suppose -4*k + 836 = 4*t, w = -5*t + 2*t - 3. Does 42 divide k?
True
Suppose -5*l + 9*l = -4*q + 3516, -4*q - 24 = 0. Does 2 divide l?
False
Let n(b) = -b**3 + 7*b**2 + b - 5. Let f be n(7). Suppose 4*w + h = 21, 2*h + 7 = 3*w - 17. Is 15 a factor of -3*(f/w)/(-1)*162?
False
Suppose 87*l = 302945 + 516943. Does 101 divide l?
False
Let o be -1 + 1/1 + 3. Suppose -3*t - 12 = -o*f, 0*t - 7 = 3*t - 2*f. Is 7 a factor of (-6)/(18/(-14) + t)?
True
Let i be (-10)/8 + (-1791)/4. Let n = 757 + i. Suppose -n - 49 = -7*w. Is w a multiple of 17?
True
Suppose 410 = h - 5*d, d = -3*h - d + 1264. Is 21 a factor of h?
True
Let c = -31 + 17. Let j be (-21)/c + (-9)/(-2)*1. Suppose 0 = -j*p - p + 280. Does 20 divide p?
True
Let u = -1695 + 1206. Let b = u + 922. Is 54 a factor of b?
False
Suppose -1727*u - 1278913 = -1768*u. Is 77 a factor of u?
False
Let f = -55 + 56. Let i(p) = f + 1 + 125*p**3 + 2*p - p**2 - 1 - 2. Is i(1) a multiple of 25?
True
Let a(r) = -3*r - 7. Let x be a(-9). Suppose 0 = -x*q + 22*q - 690. Is q a multiple of 23?
True
Suppose -373 - 201 = -2*w. Is w a multiple of 12?
False
Is (-28844)/6*306/(-204) a multiple of 34?
False
Is 54 a factor of -5 - -3574*((-2)/(-6))/(44/66)?
True
Let m be -4*((-1)/2 + -2). Suppose 140*v - 638 = 11 + 51. Suppose 271 = 4*x + v*q, m*x = 6*x - 4*q + 268. Is x a multiple of 16?
True
Let r = -18 + 20. Suppose -3 = r*x + 1. Is 4 a factor of x/3 + -4*26/(-12)?
True
Suppose -9 + 57 = 6*r. Suppose -4*a = -p - 10, r*a = -4*p + 7*a + 11. Suppose -308 = -5*d - p*q, -2*d - 5*q + 136 = -q. Does 10 divide d?
True
Let w(k) = 35*k**3 - 8*k**2 + 20*k + 32. Is 5 a factor of w(7)?
True
Let l(h) = 2*h**2 + 8*h + 6. Let b be l(-5). Let o(c) = c**3 - 16*c**2 + 2*c - 27. Let i be o(b). Suppose -s + i*k = -152, -3*k + 45 + 75 = s. Does 13 divide s?
False
Let b = -420 + -41. Let y = -405 - b. Is 39 a factor of y?
False
Suppose 3*y = -4*r + 4*y - 12, 4*r + 3*y = -12. Let z = r + 7. Suppose -s = z - 31. Does 14 divide s?
False
Let h = 220 + -217. Suppose -5*c - h*p = -2417, 0*c - c + p = -485. Is c a multiple of 40?
False
Let l(u) = -2*u + 45. Let i be l(22). Suppose -4*h = 11 + i. Does 17 divide (h - -3) + -3 + 95?
False
Is (24001 - 2) + (-4 - 0)*83/(-332) a multiple of 75?
True
Suppose 4*z + 50528 = 5*u, -25802 = -5*u - z + 24691. Does 20 divide u?
True
Let f(j) = -119*j - 2. Let y(v) = -v**3 + 9*v**2 - 5*v + 44. Let r be y(9). Let t be f(r). Suppose 75 + t = 4*c. Is c a multiple of 4?
True
Suppose 15*p = p + 70. Let g = 53 - p. Is 4 a factor of g?
True
Let d(q) = 40*q**2 + 11*q + 7. Let z(b) = 3*b - 152. Let l be z(49). Is 23 a factor of d(l)?
False
Let d(m) be the first derivative of -3*m**2 - 18*m + 16. Let n be d(-8). Let i = 83 - n. Is i a multiple of 11?
False
Suppose 3*r - 16 = 7*r, 4*g - 192 = 2*r. Let t = g + 35. Is 13 a factor of t?
False
Suppose 7722 = -39*v + 105*v. Suppose 4 + 50 = 2*y. Let m = v - y. Does 15 divide m?
True
Suppose 5*o + 2*f - 5993 = 0, -2*f = -o - 5*f + 1196. Suppose h + o - 301 = 5*i, i + 4*h = 188. Is 15 a factor of i?
True
Suppose 2*b + 79948 = 4*f, -4*f - 59974 = -7*f - 5*b. Is f a multiple of 19?
True
Let w be ((-9)/(-12))/(5/((-23360)/4)). Is 13 a factor of (-1 + w)*(5 - 6)?
False
Let o(m) be the second derivative of m**4/2 + m**3/6 - 3*m**2/2 - 22*m. Let r = 38 + -41. Is o(r) a multiple of 4?
True
Let x be (16/(-5))/(2/(-90)). Suppose -x = -27*i + 23*i. Is 3 a factor of i?
True
Let m(w) = w**2 + 7*w - 13. Let r be (-6 + (-1)/1)*(-9)/21. Suppose -8*p = -r*p + 45. Is m(p) a multiple of 4?
False
Let n = -1035 - -2227. Does 19 divide n?
False
Let h(p) = -2*p + 45. Let t be h(20). Suppose 2825 = t*y + 4*d, 4*y = 4*d - 7*d + 2259. Is 51 a factor of y?
True
Suppose i + 3*i = o - 17, 7 = -o - 4*i. Suppose 4*r + 2*g = 6*r + 26, 0 = -o*g - 25. Does 33 divide 2/r - 13626/(-162)?
False
Let h = -23 - -68. Suppose -2*d = 7*d - h. Suppose 91 = d*i - 74. Is 11 a factor of i?
True
Let y = 160 - -488. Is 12 a factor of y?
True
Suppose i - 88763 = -4*r, 4*r + 5*i - 88754 = 7*i. Is r a multiple of 129?
False
Let x be 7/(-1)*2/2. Let i(s) = -s**2 - 6*s + 4. Let o be i(x). Is 6 a factor of 9 - (10 + -1)/o?
True
Let a(f) = 43*f + 1976. Is a(17) a multiple of 8?
False
Let m be ((-2)/6)/((-1)/(-69)). Let o = m - -16. Let q(v) = -8*v - 12. Does 11 divide q(o)?
True
Let c(i) = -i**2 - 2*i + 119. Let r be c(-10). Suppose -5*v = q - r, 25*v = 3*q + 26*v - 103. Is q a multiple of 20?
False
Let a = 109 + -106. Let v(c) = 41*c**3 + 5*c**2 - 16*c + 14. Is 36 a factor of v(a)?
False
Let k = 416 + -238. Suppose 2*i + 34 = k. Does 8 divide i?
True
Let j(m) = -2*m**3 + 16*m**2 - 6*m - 12. Let k be j(9). Let c = 270 - k. Is c a multiple of 21?
False
Let c = 719 + -513. Suppose 2*s - 441 = -3*m + c, 2*m - 4*s - 