a + 22, 0 = -4*a + d + 16. Suppose a*g - 64 = -3*n + 59, -46 = -2*g + 2*n. Does 7 divide g?
False
Let m(v) = -166*v - 72. Does 32 divide m(-3)?
False
Let a(w) = w - 1. Let s be a(1). Let f(m) = -5*m - 3 + s - 39*m + 4. Is 15 a factor of f(-1)?
True
Suppose 5*a = 4*a - 2. Let m(n) = 8*n**2 - 5*n + 2. Is m(a) a multiple of 10?
False
Let h be (-3)/(-4)*(14 + 2)/(-4). Let f = 56 - h. Is f a multiple of 13?
False
Suppose -4*z + 18 = -2*t, 3*t + t = -4*z. Suppose 2*a = -5*k + z*a + 1424, 0 = -2*k - 3*a + 573. Suppose 0*p + 3*p = 3*i + k, 0 = 5*i. Is p a multiple of 19?
True
Let j(i) be the third derivative of -5/6*i**3 + 0*i + 0 + 1/20*i**5 - 2*i**2 + 1/24*i**4. Is j(4) a multiple of 14?
False
Let t = -23 - -25. Suppose -20 = -5*f, -t*a = a + f - 88. Does 7 divide a?
True
Let v = 132 - 90. Suppose -4*o + 82 = 2*k + 16, 0 = -3*o - 4*k + v. Is 2 a factor of o?
True
Is 17 a factor of (34/51)/(1/573)?
False
Let t = -974 + 690. Let a = 138 + t. Does 5 divide a/(-6) - 4/12?
False
Suppose -378 - 33570 = -12*o. Is 123 a factor of o?
True
Let i(t) = -t**2 + 7*t + 455. Is 13 a factor of i(0)?
True
Let u be 6/6 + -1 + 85. Let b = u - 58. Is 7 a factor of b?
False
Let k be (-48)/9*18/(-12). Let s(q) = 6*q**2 - 7*q + 12. Let u be s(k). Suppose 2*x + u = 6*x. Does 16 divide x?
False
Suppose -l = 4, 0 = 58*h - 57*h + 3*l - 1094. Does 10 divide h?
False
Let c be ((1 + -1)/(-2))/(-1). Let i be c/((4 - 3) + -3). Suppose i*d = -2*d + 42. Is d a multiple of 21?
True
Suppose -5*h - 5*i + 13 + 7 = 0, h + 5*i + 12 = 0. Suppose 0 = -4*f + 4*p + h, -3*f - 8 = -7*f + p. Is 1034/14 - f/(-14) a multiple of 41?
False
Let o = -2172 + 3118. Does 22 divide o?
True
Let x(w) = 188*w + 3. Let h(l) = 94*l + 2. Let d(q) = -5*h(q) + 3*x(q). Is 25 a factor of d(1)?
False
Let l = 22 + -19. Let q(g) = -3 + l - 6 + 3*g - 12*g. Is q(-4) a multiple of 16?
False
Suppose -7*t + 2*t = -10. Suppose -2*g + t*r + 232 = 3*r, 2*r + 355 = 3*g. Suppose 5*s - k = 19 + 120, 4*s = -5*k + g. Is s a multiple of 16?
False
Suppose -30 = 4*n - 146. Suppose -2*d - 3*x = -n, -3*x + 9 = -0*x. Is 3 a factor of d?
False
Suppose -c = -5*c + 8. Suppose 4*g = 2*g - 4*d - 8, -c*d = -6. Let o(r) = r**3 + 11*r**2 + 7*r - 8. Does 11 divide o(g)?
True
Let o = 18 + -7. Suppose -3*q = o*q - 266. Does 19 divide q?
True
Suppose -18*a - 1179 = -4275. Does 7 divide a?
False
Suppose 0 = -5*r + 260 + 400. Is r even?
True
Let g(f) = 2*f - 36. Let q be g(19). Suppose -4*j = -3*j - 5*l - 122, q*j = l + 226. Is 16 a factor of j?
True
Let z(i) = 42 - 7 + i - 24. Let j(n) = -n**3 + 7*n**2 - 6*n + 8. Let q be j(6). Does 6 divide z(q)?
False
Let l be 3/(-5) + (-730)/(-50). Suppose -3 = -d - o + l, 3*d - 3*o - 45 = 0. Is d a multiple of 4?
True
Suppose -5*r = -2*w - 16779, -w - 13437 = -4*r - 4*w. Is 105 a factor of r?
False
Let v(t) = t**2 + 4*t + 110. Is 41 a factor of v(-13)?
False
Suppose -3 = -u + 1. Suppose -66 - 10 = u*v. Is -3 + 2 - v*1 a multiple of 6?
True
Let k(j) = 62*j + 9. Let z be k(5). Suppose -4*q + z = -73. Does 13 divide q?
False
Suppose 9*i - 38 - 7 = 0. Suppose -2*f = 3*j - 512, -i*f = -8 - 12. Suppose j = -c + 4*c. Does 20 divide c?
False
Let r(s) = -s**3 - 21*s**2 - s - 11. Let u be r(-21). Suppose -u*v + 242 = -78. Does 26 divide v?
False
Let m(w) = -w + 1. Let u be m(6). Let a(n) be the first derivative of -3*n**2/2 + n - 58. Is a(u) a multiple of 8?
True
Let n(z) be the second derivative of 3*z**5/10 + z**4/12 - z**3/3 + z**2/2 + 25*z. Is n(2) a multiple of 20?
False
Suppose -10 = s + 5*h, -4*s + 36 = -3*h + 7. Suppose -4*w - 8 = -2*n + 8, -s*n - 2*w = -4. Suppose -q = y - 27 - 1, 72 = n*y - 2*q. Is 23 a factor of y?
False
Suppose n - 5*j = 223, 112*j = 113*j + 5. Does 33 divide n?
True
Let k = -132 + 314. Is 10 a factor of k?
False
Suppose 6052 = 3*i - 5*d, 0 = -4*i - 8*d + 3*d + 8011. Does 23 divide i?
False
Let k(s) = s**3 + s**2 + 13. Let t be 5/((-50)/16)*5. Let c = -8 - t. Is k(c) a multiple of 4?
False
Suppose 16 = 4*s, 6*v + 2037 = 11*v + 3*s. Is v a multiple of 24?
False
Let n(a) = 2*a + 14. Suppose -2*v - v + 27 = 4*r, -v = 5*r + 2. Is 10 a factor of n(v)?
True
Suppose -2*k - 5346 = -4*m, -5*m + 8632 - 1945 = -4*k. Is m a multiple of 45?
False
Is 7 a factor of (8/(-100)*-5)/((-9)/(-4095))?
True
Let t(s) = s**3 + 9*s**2 + s + 2. Suppose -15*r = -13*r - 18. Let q = r - 13. Is t(q) a multiple of 14?
False
Let f = 350 + -172. Is 5 a factor of f?
False
Let s = 380 + -206. Does 59 divide s?
False
Suppose -3*j + 575 = 2*j + 5*o, -4*o + 118 = j. Is j a multiple of 19?
True
Let n(f) = 2*f**3 - 5*f**2 - f - 8. Let k be n(4). Suppose 36 = -4*b - 64. Let p = b + k. Is p a multiple of 5?
False
Let y(a) = -124*a**3 - a**2 - 2*a - 2. Let g be 2 + (-4 - (4 - 5)). Is 36 a factor of y(g)?
False
Suppose 136*v = 135*v - 5. Is v + 4 - (3 + (1 - 79)) a multiple of 37?
True
Let j = 171 + -131. Does 5 divide j?
True
Let x = 128 - 84. Let k = 78 - x. Let n = k - -4. Is n a multiple of 19?
True
Let m = 449 + -266. Is m a multiple of 3?
True
Let o = 103 + 79. Does 7 divide o?
True
Let h be (1/(-2))/(2/(-56)). Let g(y) = y**2 - 2*y - 32. Is 34 a factor of g(h)?
True
Let y(f) = f**2 + 4*f + 4. Let w be y(-5). Let m = 9 - w. Suppose m = -0*u + 2*u + 2*l - 38, -2*u - 4*l + 28 = 0. Does 12 divide u?
True
Suppose 0 = -396*g + 390*g + 1242. Is g a multiple of 3?
True
Let m be -9*(4 + 34/(-6)). Suppose -5*q - 5*k = -55, 2*q - m = -3*k + 3. Is q a multiple of 3?
True
Suppose 0 = 4*b + 3*s - 298, -48 = -b + 2*s + 32. Is 3 a factor of b?
False
Suppose -21*d + 28*d = 588. Does 14 divide d?
True
Let w be ((-7)/14)/(1/20). Let p be (0 - 2 - 0) + w. Is 3 + -1 + (12 - p) a multiple of 14?
False
Let n be (-4)/3*(-189)/84. Suppose c = -n*c + 8. Suppose x - 1 = 0, 2*t + c*x = x + 85. Is t a multiple of 6?
True
Suppose -w + 4285 = 5*j + 1051, 2 = -2*w. Does 54 divide j?
False
Let g = 68 - 6. Let j = g + -35. Is j a multiple of 10?
False
Let p(x) be the first derivative of -x**2/2 - 2*x + 14. Let u be p(-2). Suppose -f = -2*w - 46, 0 = -4*f + 3*w - u*w + 189. Is 11 a factor of f?
False
Suppose u + 4*u = 405. Suppose 5*l + 3*p - u = 2*l, 5*l - 5*p = 115. Is l a multiple of 5?
True
Suppose -4*g + 4 = 5*t - 1535, -918 = -3*t + 3*g. Is 63 a factor of t?
False
Suppose 0 = -5*j + b + 458, -2*j + b + 191 = -2*b. Let y = j + -31. Suppose 9*z = 4*z + y. Is 6 a factor of z?
True
Suppose 0 = 3*n - 236 + 17. Let j = n - 3. Is j a multiple of 14?
True
Let w be -4 + 33/3*7. Suppose -4*b - 21 + w = 0. Let z = 7 + b. Is 8 a factor of z?
False
Let j(q) = q**2 - 11*q + 11. Let k be j(10). Let s(u) = 15*u - 1. Is 10 a factor of s(k)?
False
Suppose -29*u + 31578 + 27785 = 0. Is 13 a factor of u?
False
Let j(g) = g**3 + 7*g**2 + 7*g - 13. Let p be j(-4). Let s(l) = 25*l - 7. Is 24 a factor of s(p)?
True
Let x be ((-42)/35)/((-2)/10). Suppose x*y - 3*y - 36 = 0. Let d = y - -23. Does 15 divide d?
False
Suppose 0 = -r + 267 + 408. Is 25 a factor of r?
True
Let w(k) = -4*k + 8. Let x(o) = o - 2. Let d(g) = -6*w(g) - 26*x(g). Let b be d(-2). Suppose 52 = b*a - 7*a. Is 13 a factor of a?
True
Let m = -66 - -41. Does 19 divide (-12)/(-3) - m - 0?
False
Suppose 55*o - 53*o - 504 = 0. Does 14 divide o?
True
Suppose -42*p - 14928 = -58*p. Is p a multiple of 15?
False
Suppose 25300 = -10*m + 56*m. Does 50 divide m?
True
Suppose 0 = -16*h + 17*h + 4. Let t(g) = -21*g + 28. Is 14 a factor of t(h)?
True
Let u = 3286 + 31. Is 91 a factor of u?
False
Let d = -231 - -312. Is d a multiple of 9?
True
Let z(h) = -2*h**3 + h**2 - 3. Let w(x) = 5*x**3 - x**2 - x + 5. Let q(u) = 3*w(u) + 5*z(u). Does 23 divide q(2)?
False
Suppose 4*z - 10613 = -1333. Is 29 a factor of z?
True
Let c(b) = 13*b + 1344. Is 84 a factor of c(0)?
True
Let z(x) = 4*x**3 - 6*x**2 + 4*x + 1. Let v be z(4). Let j be (-6)/(v/(-58) + 3). Suppose -32 = 4*n - j. Does 10 divide n?
False
Suppose -2*q + t = -5761, -5*q + 4*t = -4*q - 2884. Does 96 divide q?
True
Let d = -12 + 7. Let w(x) = -9*x - 11. Let b be w(-5). Let h = b + d. Does 11 divide h?
False
Let g = -195 - -914. Does 39 divide g?
False
Suppose -l = 5*m - 367, 3*l - m - 130 = 939. Is l a multiple of 34?
False
Let u(q) = -6*q**2 - 8*q + 6. Suppose 4*m - 10 = 18. Let k(f) = 6*f**2 + 7*f - 5. Let v(p) = m*k(p) + 6*u(p). Is v(-1) a multiple of 2?
True
Suppose f - 14