*f - y. Does 5 divide f?
True
Suppose 0 = -5*c - s + 2848, c = -3*s + 765 - 201. Does 30 divide c?
True
Let m be (-61)/2 - (3 - 28/8). Let z = m + 82. Is z a multiple of 26?
True
Let w(r) = 3 - 6*r - 4*r + r**2 + 8*r. Is w(5) a multiple of 6?
True
Suppose 15*j - 2*j - 1729 = 0. Is 4 a factor of j?
False
Suppose -13*a + 30 = -8*a. Let o(d) = 71*d + 1 - a - 80*d. Is o(-7) a multiple of 29?
True
Let s(g) = -2775*g**3 + 6*g**2 + 8*g + 1. Does 11 divide s(-1)?
False
Let q(r) = -5 - 8*r + 3 - 16*r. Let z(w) = -w**2 + 7*w - 7. Let m be z(6). Is 6 a factor of q(m)?
False
Let k(v) = -32*v**3 + 2*v + 1. Suppose -4*i - 29 = 55. Let s = -22 - i. Is k(s) a multiple of 17?
False
Suppose 0 = -l, 0*g + g - 149 = -l. Let w = 284 - g. Is w a multiple of 40?
False
Suppose -22 - 278 = -w. Suppose 2*f - 6*f = -w. Let j = 106 - f. Is j a multiple of 12?
False
Suppose 0 = 4*s - 2*i - 668 + 38, 0 = 5*s + 4*i - 755. Let t = -85 + s. Does 9 divide t?
False
Let l be (-1 + (3 - 2))*-1. Suppose l = -p + 2 + 1. Suppose 15 = -p*c + 54. Is c a multiple of 13?
True
Suppose -3*f - 18*v = -20*v - 376, 5*v + 391 = 3*f. Is 10 a factor of f?
False
Let h(a) = a**2 + 17*a - 17. Suppose -52 + 0 = 4*x. Let z be h(x). Let y = z - -104. Is y a multiple of 7?
True
Suppose -4*b = 3*q - 89, -q + 3*q = -3*b + 60. Suppose -3*v + 39 = -q. Is v a multiple of 4?
False
Suppose -6*o = -130 - 20. Does 7 divide o?
False
Let k(i) = 7*i**2 - 31*i + 12. Is 24 a factor of k(-12)?
True
Let s(c) = 19*c - 21*c**2 + 23 + c**3 - 14 + 14. Does 2 divide s(20)?
False
Let u(k) = -3*k**2 + 9*k - 8. Let l(x) = 4*x**2 - 10*x + 9. Let s(h) = 2*l(h) + 3*u(h). Let q be s(6). Suppose w + q*w = 18. Is w a multiple of 5?
False
Let w(r) = -2*r**3 + 11*r**2 + 10*r - 19. Let g be w(6). Suppose -5*z + m = -4*z - 182, 4*z - g*m = 730. Is 20 a factor of z?
True
Let l = -747 + 1053. Is 17 a factor of l?
True
Let k be (-1 + 125 + -3)*(2 + -1). Let z = 181 - k. Is 10 a factor of z?
True
Suppose -655*j + 653*j + 122 = 0. Does 11 divide j?
False
Let y = 3055 + -801. Is y a multiple of 41?
False
Suppose -4*q = -2*c - 234, 4*c + 254 = 4*q + 22. Is q a multiple of 7?
False
Let h be 1*(2 - (5 + 1)). Let f = 4 - h. Suppose 5*r - f*r = -165. Is r a multiple of 14?
False
Suppose -2*m = -8, 0 = 3*g + 4*m + 12 - 205. Suppose -l = 2*l + 63. Let j = g + l. Does 4 divide j?
False
Let l = -535 - -1135. Suppose 0 = 13*b + 2*b - l. Does 5 divide b?
True
Let j = -3 + 9. Suppose 4*c = 42 + j. Suppose 0 = -13*f + c*f + 8. Is f a multiple of 2?
True
Suppose 5*p - 37 = 4*p - t, -p + 5*t = -25. Suppose -3*f + 621 = 2*s, 4*s = -f - p + 1292. Is s a multiple of 37?
False
Suppose -16*q - 4 = -18*q. Let v(y) = 2*y + 5 - 8*y - 9*y - q*y. Is 14 a factor of v(-3)?
True
Let y(w) = -w**3 + 6*w**2 + 2. Let x be y(6). Let k(s) = -2*s - 4 + 3*s**x - s + 4*s. Is k(-3) a multiple of 10?
True
Let u be (-3)/3 + (0 - -113). Suppose 0 = r - 2, 0*r - u = -3*g - 2*r. Is g a multiple of 9?
True
Suppose -3*y = -6*y. Let o(m) = 4*m - 1 + m - 4*m + y*m. Is 5 a factor of o(6)?
True
Suppose 5*v + 3*g = 2*g + 195, 0 = -2*v + 2*g + 66. Suppose -3*q + t + 74 = 24, 0 = 3*q - 4*t - v. Is q a multiple of 4?
False
Let t(n) be the first derivative of -2*n**2 + 4*n - 13. Is 3 a factor of t(-3)?
False
Suppose -2*s + s = 1, 3*f - 4*s - 2500 = 0. Suppose 7*h - f - 204 = 0. Does 12 divide h?
False
Let o(m) = -m**3 - 3*m**2 + 3*m + 10. Let s be o(-7). Suppose -4*u = -l - s, -6*u = -u + 2*l - 215. Is 21 a factor of u?
False
Suppose -4*i = 3*a - 17, 5*i - 5 = a + 2. Let h = -22 + a. Let k = -10 - h. Is k a multiple of 9?
True
Let c(n) = -n**3 + n**2 - n + 4. Let r(i) = -i**3 + 2*i**2 - i + 9. Let p(b) = 5*c(b) - 2*r(b). Let h be p(2). Let m = h + 45. Is 5 a factor of m?
False
Suppose 4*z = 5*g + 1320, -120*z = -122*z - 5*g + 690. Is 19 a factor of z?
False
Let j(w) = w**3 - 13*w**2 - 30*w + 16. Suppose -2*o + 5*k = -10, 3*o + 2*k = -0*o + 53. Is j(o) a multiple of 12?
False
Let a be (-2)/(-9) + (5 - 1641/(-27)). Suppose y + 1 = a. Is 21 a factor of y?
False
Let p(b) = 3*b + 19. Let c be p(-8). Let g = 5 - c. Let w = g - -10. Does 4 divide w?
True
Let j(o) = 6 - 12*o**2 + 2*o**3 - 3*o**3 + 15. Is j(-12) a multiple of 11?
False
Let k = -2334 + 3425. Is 14 a factor of k?
False
Suppose 1431 = 44*n - 3937. Is 6 a factor of n?
False
Let x(p) = -p**3 - 15*p**2 - 13*p + 12. Is x(-15) a multiple of 8?
False
Let b = -3 + 1. Let m(g) = -3*g - 3. Let a be m(b). Suppose 4*f = -5*x + 175 - 55, -2*x - 67 = -a*f. Does 11 divide f?
False
Let v = 7 - 5. Suppose 3*d + 84 = v*y, -3*y - 2*d + 126 = -5*d. Is 7 a factor of y?
True
Let i(j) = -j**2 + 5*j + 20. Let r be i(9). Is 16 a factor of r/72 - 2308/(-18)?
True
Let i(m) = -m + 9. Let x be i(10). Let l(u) = -13*u**3 + 2*u + 1. Let a be l(x). Is (84/(-9))/((-8)/a) a multiple of 3?
False
Suppose 2*s = a - s - 58, 4*a = 2*s + 222. Is a a multiple of 55?
True
Let l = 413 + -256. Suppose 5*n = -2 + l. Suppose -35 = -3*a + n. Is 12 a factor of a?
False
Let u(g) = -6*g**2 + 19. Let a(l) = -12*l**2 + l + 37. Let j(f) = 2*a(f) - 5*u(f). Is j(6) a multiple of 23?
True
Let g(h) = -h**2 - 5*h - 2. Suppose -4*i = 12 + 24. Let o be g(i). Let m = 7 - o. Does 9 divide m?
True
Let x = 569 - 368. Does 28 divide x?
False
Let u be 2/(-49)*-7 + 2903/7. Suppose u - 80 = 5*b. Is b a multiple of 10?
False
Suppose 2*h - 17 - 131 = 0. Suppose 159 = 4*d - 273. Let z = d - h. Is z a multiple of 7?
False
Let q = 6 - 5. Suppose -5*s - 3*z + 3 = 0, -z = -3*s + q - 2. Suppose 3*y + 0*l + 2*l - 19 = s, 2*l + 2 = 0. Does 2 divide y?
False
Let z(n) = n**3 + 6*n**2 - 6*n + 9. Let s be z(-7). Suppose s*x - 6 = -x. Suppose -x*h + 21 = -7. Does 7 divide h?
True
Let o(k) = k**2 - 26*k - 41. Is 52 a factor of o(-14)?
False
Suppose 21*a = 27*a. Suppose a = 5*n - 5*p - 575, 4*n - 454 = p - 0*p. Is 9 a factor of n?
False
Let f(u) = -u**3 - 7*u**2 - 16*u + 28*u - 8 - 15*u. Let t(s) = -s - 2. Let a be t(5). Does 13 divide f(a)?
True
Suppose 2*x + 11 = h, -2*h - 2*x + 4 = 2*h. Suppose -4*l + 33 = -h*k + 13, 2*l - k - 8 = 0. Suppose 0 = l*g - 34 - 20. Is g a multiple of 4?
False
Suppose 0 = 42*i - 74731 - 12965. Is i a multiple of 9?
True
Let s be (20/(-6))/(12/(-36)). Let k(t) = t**2 - 5 - 1 + 0 - 9*t. Is k(s) a multiple of 4?
True
Let y(n) = n**2 - 2*n + 5. Is 14 a factor of y(8)?
False
Suppose z + 24 = 2*a - 87, a - 73 = -3*z. Suppose 2*r - 301 + 97 = 0. Let p = r - a. Does 19 divide p?
False
Let p(i) = 2*i - 4. Let t be p(3). Does 39 divide 115 + 5/(5/t)?
True
Suppose 73*i + h - 7342 = 69*i, -5*h - 5518 = -3*i. Is 6 a factor of i?
True
Let k = 15 + -13. Suppose i + 300 = -5*c - k*i, 0 = -4*i. Let z = 86 + c. Does 7 divide z?
False
Suppose 4*j - 130 - 14 = -4*g, 4*j - 144 = 3*g. Is (2/6 + (-39)/(-18))*j a multiple of 15?
True
Suppose 24 = -6*k + 2*k. Let l(i) = -4 + 1 - 8 - 6*i + 5. Is l(k) a multiple of 10?
True
Let y(x) = -442*x - 306. Is y(-10) a multiple of 16?
False
Suppose -2*i - 3*c + 6*c = -13, 9 = -3*c. Let u(d) = -i*d + 0 + 6*d**2 + 13*d**2 - 1. Does 12 divide u(-1)?
False
Is 54 a factor of 3*(-1892)/(-12) - -1?
False
Let d be 2/7 - (-467)/7. Suppose -2*g + 20 = 2*g. Suppose 3*f - 129 = 3*j, g*f + 4*j - d = 166. Does 14 divide f?
False
Let n = 1893 - -845. Is 12 a factor of n?
False
Suppose -5*l - 5*u - 110 = 0, -l - 2*u + 10 - 28 = 0. Let d = -21 - l. Suppose 0 = -x - 3*w + 1, -5*w - d = 2*x - x. Does 10 divide x?
True
Let l(h) = -h + 2. Let m be l(8). Let w(f) = 2*f**2 + 14*f + 14. Let q be w(m). Suppose 2*r - 36 = q. Is r a multiple of 5?
False
Suppose 0*d - 2*d + 3*u = -1743, 2*u + 1746 = 2*d. Does 4 divide d?
True
Let a(g) = 43*g - 73. Does 6 divide a(5)?
False
Let j = -90 + 142. Let x be ((-24)/7)/(((-24)/(-56))/(-3)). Let w = j - x. Does 11 divide w?
False
Let z be 4/18 - (-1612)/36. Let p = -31 + z. Suppose p = d + 4. Is 4 a factor of d?
False
Let y be 4/((-5)/30*-3). Suppose -263 = -4*v + 4*f + 425, -4*v - 3*f + 674 = 0. Does 18 divide y/(-24) - v/(-6)?
False
Let s(h) = -h - 9. Let m be s(-5). Let q be m/(4/(4*-1)). Suppose -4*n - 51 = q*v - 239, -4*n = -5*v - 224. Is n a multiple of 11?
False
Let z be 38/10 - 6/(-30). Let v be 4 + (303 - 4) + 0. Suppose 4*k - v = g, z*g + 166 = 5*k - 210. Is 38 a factor of k?
True
Let c(s) = -s**3 - 7*s**2 - 14*s - 4. Does 11 divide c(-6)?
True
Let