k - k. Suppose 0 = -3*y, 0 = 3*m - 2*y - 10 + k. Suppose m*b - 84 = 48. Does 22 divide b?
True
Let y(r) = -8*r**2 + r + 12. Let a(m) = -m**2 - m. Let j(f) = 3*a(f) - y(f). Is 8 a factor of j(6)?
True
Let c = -60 - -70. Let d = 110 + -64. Let s = d + c. Is 14 a factor of s?
True
Suppose -12*l + 11 = -61. Suppose -5*m = -5, l*h - h - 126 = -m. Is 11 a factor of h?
False
Let j(r) = -r**3 - 5*r**2 + 10*r - 8. Let w be j(-8). Suppose -5*m = 5*v - 290, 4*m + w = -v + 3*v. Does 14 divide v?
True
Let p(j) = -3*j**2 + j - 24. Let i(h) be the second derivative of -h**4/6 - 6*h**2 + 6*h. Let o(v) = -5*i(v) + 3*p(v). Is o(-9) a multiple of 7?
True
Let n = 26 - 23. Let z be (4 - n)/((-1)/(-6)). Suppose 3*c - 91 = -4*q + z*q, -4*c - 3*q + 144 = 0. Is 11 a factor of c?
True
Let k = -32 - -14. Is 8 a factor of (-33)/27 - -1 - 994/k?
False
Let k(a) be the second derivative of a**4/6 - 5*a**3/6 - 5*a**2/2 + 5*a. Let y(v) = -2*v + 1. Let i be y(-2). Is k(i) a multiple of 10?
True
Suppose 3*m - q - 346 = -3*q, 3*m + q - 347 = 0. Does 15 divide m?
False
Let u(h) = -5*h**2 - 14*h + 2. Let p be u(-6). Is 48 a factor of (-2 + p)*(-4)/8?
True
Let s(m) = -m**3 + 13*m**2 + m - 11. Let o be (15 + -2)*(2 - 1). Let i be s(o). Suppose -1 = -d, 0*g - 2*g - i*d + 20 = 0. Is 3 a factor of g?
True
Is (170/4 + -8)*4/3 a multiple of 4?
False
Suppose -4*x + 37 - 9 = -5*k, 0 = x + 5*k + 18. Suppose 2*m + 752 = 5*h, 3*m - 292 = -x*h + 24. Is 38 a factor of h?
True
Let v(z) = z**2 + z - 4. Let f be v(-4). Suppose f*d - 12*d = 0. Let x(p) = -p**3 + p + 22. Does 11 divide x(d)?
True
Let t(w) = -132*w**3 + w**2 + 2*w + 1. Let b = -10 + 9. Let o be t(b). Suppose k + 2*k - o = 0. Does 22 divide k?
True
Suppose 54*w = 7*w + 113646. Is w a multiple of 39?
True
Let g = 1 + 0. Let l be g/1 + 1 + 2. Suppose 89 = -l*k + i + 373, 12 = -3*i. Is k a multiple of 14?
True
Suppose -p + r + 1226 = 0, -p + 182*r = 187*r - 1214. Does 6 divide p?
True
Suppose -8*v + 2*v + 2388 = 0. Is v a multiple of 40?
False
Let o = 26 - 25. Let j(h) = h + 11*h**2 + 2*h**2 - 3*h**2. Does 3 divide j(o)?
False
Does 25 divide (5 + 15)/(-4) - -8 - -447?
True
Does 15 divide ((-2)/6)/((-77)/470085)?
False
Let t be 2/(-2)*3 + 5. Let b = 1 - t. Is 10 a factor of (12/(-30))/(b/35)?
False
Let c = 643 - 93. Is c a multiple of 14?
False
Let x = 9 - 4. Let q be 2 - (1 - -15)/(-1). Suppose 3*m = 5 + 1, d - q = x*m. Does 14 divide d?
True
Suppose 0*v + 237 = 3*v + 2*j, 0 = 5*j + 15. Suppose -w = -0*w - 27. Let m = v - w. Is 8 a factor of m?
False
Let d(z) = 7*z**3 - 13*z**2 + 13*z - 5. Is d(5) a multiple of 45?
False
Let n(o) = -10*o - 176. Let b be n(-17). Let a(q) be the third derivative of -q**4/24 + 11*q**3/6 + 2*q**2. Is a(b) a multiple of 6?
False
Let k = -16 - -19. Let y(c) = 6*c - 13. Let q be y(k). Suppose -3*s - 9 = 5*j, 2*s - s + q*j + 13 = 0. Is s a multiple of 2?
True
Let j = 960 - 512. Is j a multiple of 4?
True
Is 36 a factor of (4 + 0)/(2/3) - -534?
True
Suppose -3*u = l + 2*u - 35, -3*l + 86 = -4*u. Suppose -4*q = 10 - 206. Suppose -5*t + l = 3*m - q, 5*m - 110 = -4*t. Is 11 a factor of m?
False
Is (-1421)/(-98)*(-4)/(-2)*37 a multiple of 37?
True
Suppose -j + 1854 = 5*g, 3*g - 6*g = 3*j - 1110. Is g a multiple of 11?
False
Suppose 44*w - 35233 - 15103 = 0. Does 88 divide w?
True
Let b(s) = -s**2 - 3*s + 5. Let h be b(-5). Let i(z) = -2*z - 7. Let x be i(h). Let a = 31 - x. Is a a multiple of 7?
True
Let c(h) = 3*h**2 - 2*h + 17. Let s(q) = 2*q**2 - q + 8. Let x(k) = 3*c(k) - 7*s(k). Let t be x(-4). Let j = -12 - t. Is j a multiple of 28?
False
Suppose x + a = 52 + 77, -3*x - 2*a = -382. Is 3 a factor of x?
False
Suppose 0 = c + 4*c - 1920. Is c a multiple of 15?
False
Suppose -4*h + 4 = 0, -2*x + 2*h = -1006 - 1168. Is x a multiple of 16?
True
Let y = 21 - -171. Is y a multiple of 16?
True
Suppose -4*m + 5*m = 0. Let c be 0/(-4) + m + 4. Is -3 - 30/(-4)*c a multiple of 9?
True
Is (3 + (-292)/20)/((-3)/405) a multiple of 54?
True
Suppose 59 + 76 = -3*a. Let j = a + 66. Does 4 divide j?
False
Suppose 0 = 2*n + 5*f - 7, n + 3*f - 13 = 2*n. Does 8 divide (-248)/(-10) + n/5?
True
Let o(c) = 9*c - 10. Let m be o(5). Does 10 divide ((-12)/(-14))/(1/m)?
True
Let b(z) = z - 5. Let g be b(0). Let x(w) = 4*w**3 - 8*w**2 - 3*w - 10. Let o(q) = 3*q**3 - 7*q**2 - 4*q - 9. Let a(i) = 5*o(i) - 4*x(i). Does 25 divide a(g)?
False
Let y(s) = -4*s**3 + 3*s**2 + 13*s + 84. Does 11 divide y(-5)?
True
Let x(l) = l - 7. Let q be x(9). Let v(r) = -64*r**3 - 3*r**2 - r - 2. Let w(o) = 64*o**3 + 2*o**2 + o + 1. Let f(n) = q*v(n) + 3*w(n). Is 32 a factor of f(1)?
True
Suppose 0 = 2*d - 82 - 544. Let r = d - 55. Does 28 divide r?
False
Suppose 0*s - 5*s + 1705 = 0. Suppose -s = -5*y + 44. Is y a multiple of 16?
False
Suppose 4*h + 3*d - 7*d = -28, 4*h = -5*d - 19. Is (-2)/h - 328/(-6) a multiple of 9?
False
Suppose 80 = -5*s + 3*w, -3*s - 2*w = -3*w + 48. Let i be (17/(-2))/(8/s). Suppose -7*x + 46 = -i. Does 4 divide x?
False
Suppose -8*n + 1739 + 501 = 0. Does 56 divide n?
True
Suppose 2*c = -2*c + 12. Does 11 divide -1*(-47 + c/(-2 + 3))?
True
Let u = 18 + -76. Does 21 divide 2/6 - (-78)/(-36)*u?
True
Let c(i) = 94*i - 26. Let q be c(-9). Is q/(-10) - 3/15 a multiple of 29?
True
Suppose -3*b = 3*b - 12. Suppose b*d - 177 = -7. Is 17 a factor of d?
True
Let l(g) be the second derivative of g**7/2520 + g**6/360 - g**5/40 + g**4/3 + 6*g. Let c(q) be the third derivative of l(q). Is 3 a factor of c(2)?
False
Suppose h + 6*w = 5*w + 2020, 0 = 3*h + 5*w - 6050. Is h a multiple of 9?
True
Is 36 a factor of (1360/(-12) + -3)*-3 - -5?
False
Let n be 2*1 - (-15)/15. Suppose -137 = -n*z - 2. Is z a multiple of 15?
True
Suppose -9*o + 24 = -o. Suppose -4*g + o*u = -416, 3*g + 0*u + u = 312. Does 19 divide g?
False
Let f = -25 + 15. Let o be (-4 - f)/(6/4). Suppose o*t = 4*r - 312, -2*r = -2*t + 5*t - 141. Is 18 a factor of r?
False
Let l be 184 + (3 + -7)/1. Suppose 2*z + 42 = l. Does 23 divide z?
True
Let b be -1*6/(-4 + 2). Suppose b*f = -2*f + 3800. Does 7 divide f/70 + 2/14?
False
Let j = 1245 + -366. Is j a multiple of 19?
False
Let q = -700 - -703. Let s(x) = -x - 7. Let t be s(-7). Suppose -2*r - q*c + t*c = -59, -25 = -r - 3*c. Is r a multiple of 6?
False
Suppose -7 = 4*r - q, 5*r - 4*q + 5 = -1. Let t = -5 + 19. Is 12 a factor of r/7 - (-172)/t?
True
Let k(a) = -a**3 - a**2 + a + 7. Let y be k(0). Suppose 0 = y*b - 8*b + 52. Does 13 divide b?
True
Let t(w) be the first derivative of w**4/4 - 11*w**3/3 - 13*w**2/2 + 15*w - 9. Let v be t(12). Let c(j) = j**3 + 2*j**2 - 2*j. Is c(v) a multiple of 28?
False
Let o be (-1)/(((-20)/36)/(-5)). Let c be (-30)/o - (-4)/6. Let b = c + 5. Is 3 a factor of b?
True
Is (-19)/(57/(-16836)) + 8 + -4 a multiple of 72?
True
Suppose 6045 + 6747 = 8*f. Is f a multiple of 39?
True
Suppose -4*g + 365 = 3*b, 3*g + b - 274 = -b. Suppose 120 = 3*y - 3*f, 0 = 6*y - 4*y + f - g. Is 11 a factor of y?
True
Suppose -2*s - d + 0*d = -229, d + 227 = 2*s. Suppose -5*i = -8*i, 0 = o + 3*i - s. Does 11 divide o?
False
Suppose 9*o = 12 + 15. Suppose -l = -5*v - 110 - 7, -2*v + 300 = o*l. Does 17 divide l?
True
Let q(m) = -11*m + 31. Let f be q(14). Let l = f + 183. Does 20 divide l?
True
Let f = 10 - 3. Suppose f*r + 112 = 11*r. Is 9 a factor of r?
False
Suppose -4*a + 2*a = -5*j + 195, -200 = -5*j + a. Let h = -65 + j. Is 6/h - (-290)/8 a multiple of 12?
True
Suppose -13*w + 1908 = -4*w. Does 4 divide w?
True
Let n(j) = -8*j**3 + j**2 + 2*j + 1. Let h be 2*((-45)/(-10) + -2). Suppose i - h = -7. Is 20 a factor of n(i)?
False
Let o(j) = j + 3. Let n be o(-1). Suppose -4*g + 40 = -4*q, 0 = -n*g - 0*g + 3*q + 25. Suppose -d = -z - 75, -g*d - z - z = -382. Is d a multiple of 38?
True
Let p(j) = 5*j**3 - 2*j**2 - 5*j - 3. Let t be ((-7)/(-21))/(1/9). Is 11 a factor of p(t)?
True
Let d(v) = -v**2 - 8*v + 4. Let w be d(-8). Suppose -620 = -4*h - 4*x, 5*h - 1216 = w*x - 468. Let r = -104 + h. Is 24 a factor of r?
True
Is 5 a factor of (-27300)/(-850) - (-2)/(-17)?
False
Suppose 0 = 2*x + 4*j + j - 180, -4*j - 332 = -4*x. Let b = x - 82. Is b even?
False
Let c be (-8)/(-24) + 359/3. Suppose 4*o - 33 = -5*v + 51, 5*v - 5*o = c. Is v a multiple of 10?
True
Let v = -226 + 268. Is v a multiple of 14?
True
Let u be 126/105*1*5. Let s(m) =