7*h = j + 263. Is 12 a factor of h?
False
Let m(j) = 2*j - 8. Let s be m(0). Let k be (s/(-2))/((-2)/4). Let x = 11 + k. Is 3 a factor of x?
True
Suppose -o + 10 = -3*x, 0 = 2*o - 2*x + 3*x - 20. Let s(h) = 3*h + 13. Is s(o) a multiple of 24?
False
Does 40 divide (816/(-15))/((-36)/(-150))*-3?
True
Let z(g) = -g**3 - 12*g**2 + 24*g + 48. Is z(-14) a multiple of 12?
False
Let c(n) = 51*n**2 - 16*n + 8. Does 26 divide c(3)?
False
Let d(h) be the third derivative of h**5/60 + h**4/24 + 2*h**3/3 - 7*h**2. Is d(3) a multiple of 3?
False
Suppose 0 = 44*t - 48*t + 9036. Does 9 divide t?
True
Let v = -38 - -11. Let z be 2/4 - v/(-18). Is 24 a factor of z*4*159/(-6)?
False
Let f be -6 + 2 + -9 + -4. Let x = f + 47. Does 5 divide x?
True
Let x(i) = -13*i**3 - 5*i**2 - 5*i - 2. Let n be x(-2). Let c = 136 - n. Is 11 a factor of c?
True
Let b(c) = 27*c - 5 - 6 + 10. Let s be b(-3). Let z = s + 116. Does 17 divide z?
True
Let i = -1468 + 2267. Is 3 a factor of i?
False
Let j(y) = 2*y + 139. Let v be j(0). Suppose -2*n + v = 5*f + n, 0 = -2*f + 4*n + 66. Is f a multiple of 6?
False
Suppose -140 = -32*a + 28*a. Does 5 divide a?
True
Suppose 13230 = -187*v + 193*v. Is 21 a factor of v?
True
Let u = 38 + -4. Let f(b) = b - 2. Let t be f(-4). Let k = t + u. Is 21 a factor of k?
False
Let q = 309 - 86. Suppose -4*z + 165 = -q. Is 13 a factor of z?
False
Let q(f) = -14*f**3 - 4*f**2 - 2*f + 5. Let n(c) = -27*c**3 - 8*c**2 - 3*c + 9. Let h(z) = -3*n(z) + 5*q(z). Does 15 divide h(2)?
False
Let x(s) = -4*s + 329 - 2*s - 3*s - 319 - s**2. Suppose 2*w = -11 - 3. Does 8 divide x(w)?
True
Let t(u) = -u + 3. Let x be t(-2). Suppose 4*q - k + 6*k - 199 = 0, 0 = -4*q + x*k + 209. Is q a multiple of 17?
True
Suppose -2*u = 4*u + 84. Let f be 340/u + 16/56. Does 15 divide 634/7 - f/(-42)?
True
Let i be (-44 - 14)*1*(-1)/2. Let q = 30 + i. Does 16 divide q?
False
Is ((-16)/(-12))/((-26076)/4347 + 6) a multiple of 6?
True
Let h = -137 + 450. Does 21 divide h?
False
Let v(n) = -3*n + 32. Is v(-17) a multiple of 11?
False
Let m(a) = a**3 + 7*a**2 - 19*a - 8. Let v be m(-9). Is -5 - (v + 4)*-7 a multiple of 5?
True
Let d = -4823 - -8558. Is 23 a factor of d?
False
Suppose 5*g + m = 30, -g + 3*m + 4 - 14 = 0. Suppose 5*c - 174 = 3*j + 96, -54 = -c - g*j. Is c a multiple of 13?
False
Let o be (2 + (-3)/2)/(2/(-268)). Let u = -53 - o. Does 14 divide u?
True
Let h = -37 + 114. Suppose 0 = 2*f - 4*a - 34, -5*a = -5*f + 23 + h. Is 9 a factor of f?
False
Let n(o) = 14*o**2 - 4*o - 5. Let f(x) = -29*x**2 + 8*x + 11. Let b(k) = 4*f(k) + 9*n(k). Is b(-3) a multiple of 23?
False
Let m(p) = p**3 + 3*p**2 + 2*p + 4. Let v(u) = -u - 5. Let w be v(-8). Let f be m(w). Suppose -f = -2*k + n + 3*n, -172 = -4*k - 3*n. Is k a multiple of 14?
False
Suppose -2*p = -8*p + 174. Is p a multiple of 9?
False
Let f(r) = 3*r + 100. Does 35 divide f(-13)?
False
Let l(r) = 11*r**2 - 37*r + 3. Is l(7) a multiple of 5?
False
Let f(b) = b**3 - 13*b**2 + 4. Let t be f(13). Suppose 2*q - 49 = -g + 221, t = -2*g. Is 8 a factor of q?
True
Let v = -15 - -16. Is 3/(-2)*(v - (-525)/(-9)) a multiple of 43?
True
Let b(w) = -76*w + 2. Let r(j) = j**3 + 4*j**2 + 3*j - 1. Suppose -2*a - 2*q - 9 + 3 = 0, 0 = 2*q. Let u be r(a). Does 15 divide b(u)?
False
Suppose 13*m = 9*m + 3600. Is m a multiple of 60?
True
Let d = 1895 + -1297. Is 9 a factor of d?
False
Let j(g) = -g**3 - 13*g**2 - 13*g + 3. Suppose 21*f = 22*f + 12. Is j(f) a multiple of 5?
True
Suppose -5*n - 1610 = -3*y, -34*y + 29*y + 4*n = -2692. Is 90 a factor of y?
True
Let k(a) = -a**3 + 12*a**2 + a. Let w be k(10). Is 14 a factor of 2/15 - (-14672)/w?
True
Is 28 a factor of (-40)/(-48)*-2 + 908/3?
False
Let r = -18 - -23. Suppose -3*g + r*c + 19 - 6 = 0, 2*g - 5*c - 7 = 0. Suppose 0 = 3*d - g*d + 339. Is 19 a factor of d?
False
Suppose s - 2*i + 15 = 2*s, -4*i + 40 = 4*s. Suppose 3*j + 5*r + 21 = 0, r - 1 = s*j - 2*r. Is (-26)/(j/1)*6 a multiple of 26?
True
Let j(k) = k**2 + 7*k. Suppose -2*c = -6, -y - 5*c = -2*c. Is 3 a factor of j(y)?
True
Suppose -5*k = -g + 4*g - 212, k = 1. Does 5 divide g?
False
Let g = 7 - 3. Let y = g + -11. Does 4 divide y/(-2)*(-24)/(-21)?
True
Let c(j) = -j**2 + 12*j + 126. Is 6 a factor of c(15)?
False
Let z(k) = -k**2 + 12*k - 23. Let a be z(10). Does 12 divide (a - (-42)/2) + 4 + -3?
False
Let u(n) = 2*n**2 + 59*n - 41. Does 47 divide u(-54)?
False
Suppose 148 = -4*j + 788. Is 8 a factor of j?
True
Let i = -149 + 176. Is 9 a factor of i?
True
Let w(l) = 4*l**2 - 3*l. Let m(j) = 8*j**2 - 5*j. Let n(i) = 3*m(i) - 5*w(i). Is 10 a factor of n(5)?
True
Let f = -60 - -60. Suppose p + f*p - 121 = -2*k, 4*k - 262 = 2*p. Is 7 a factor of k?
True
Suppose -6*n - n + 336 = 0. Is 6 a factor of n?
True
Let y = 191 + 713. Does 31 divide y?
False
Let k(x) = -82*x + 6. Does 10 divide k(-2)?
True
Let w = -765 + 1200. Let m be (0/2 + 1)*6. Suppose w = -l + m*l. Is l a multiple of 22?
False
Let w = 4 - 3. Let x(v) = 3*v + 2. Does 2 divide x(w)?
False
Suppose 6 = 3*q + 9. Let n be (q + 0)*62*-2. Suppose 0 = 4*c - 12 - n. Does 7 divide c?
False
Let d(g) = g + 343. Is 6 a factor of d(-7)?
True
Let j = -273 - -295. Is j a multiple of 22?
True
Let t(d) = 8*d + 198. Does 8 divide t(7)?
False
Does 8 divide ((-480)/168)/((-4)/1946)?
False
Let a(y) = -y**2 - 10*y + 31. Does 4 divide a(-8)?
False
Suppose d - 11 = -6. Suppose -d*t = 10, 2*g - 2*t = g + 15. Is g a multiple of 10?
False
Let s(p) = 57*p**2 + p - 2. Suppose 3*f - f - 6 = 0. Let z be (f/21)/(1/7). Is s(z) a multiple of 14?
True
Suppose 5*u + 4*u - 540 = 0. Is 30 a factor of u?
True
Suppose -4*z = -3*v, v = -v. Suppose -17*m + 1199 - 315 = z. Is 26 a factor of m?
True
Let i(p) = -9*p**2 + 241*p + 44. Does 100 divide i(18)?
False
Let b = 124 + 23. Does 21 divide b?
True
Let d(j) be the first derivative of 4*j**3 + j**2 - 2. Let g be d(-2). Suppose 4*x + g = -5*p + 133, 2*p = -2*x + 46. Is x a multiple of 13?
True
Is (-210)/10*(3/3 + -6) a multiple of 6?
False
Let k(m) = 46*m**2 + 71*m - 14. Is k(6) a multiple of 77?
False
Let y(u) = u**3 + 6*u**2 + 3*u - 15. Let t be y(-5). Let a(b) = 3*b**2 + 5*b + 34. Does 42 divide a(t)?
True
Let v = -58 - -89. Let q = v - 19. Is 2 a factor of q?
True
Let w = 5 - 1. Suppose 3*f - 2*b = -55, 74 = -w*f - 4*b - 26. Let n = f - -45. Is n a multiple of 10?
False
Suppose -1580 - 11862 = -47*r. Does 6 divide r?
False
Suppose -34 = -5*z - 9. Suppose 4*q - 7 = z. Suppose -o = -q*o + 14. Is o a multiple of 5?
False
Let c = -995 - -1807. Is c a multiple of 25?
False
Is 31 a factor of -4 + 49272/26 - 1/13?
True
Suppose 5*a - 3818 - 4352 = -t, 4*t = 3*a - 4902. Does 19 divide a?
True
Is 30 a factor of -80*(27/(-21))/(2/7)?
True
Suppose -5*o - 5 = k + 10, -2*k = 2*o - 2. Suppose k*d - 2*t - 17 = 0, -t - 3 = d - 12. Suppose x = -4*h + 20, 3*x + 34 = -d*h + 94. Is 6 a factor of x?
False
Let v(a) = a**3 + 15*a**2 + 11*a - 16. Is 13 a factor of v(-7)?
True
Suppose g = z + 67, 4*z = g - 65 - 8. Suppose -45 = -2*o + g. Is 11 a factor of o?
True
Is 14 a factor of 392*(-3*1 - (-36)/8)?
True
Let c be (0/3)/5 + 61. Suppose 2*f - c = -7. Is 9 a factor of f?
True
Suppose -8 = -h - h. Let u(d) = -6 + 15 + 3*d**2 - d**2 + 0. Is 13 a factor of u(h)?
False
Suppose 0 = 5*k + 5*q + 125, -2*k - q = 2*q + 54. Is 6 a factor of (0 + k/(-9))*3?
False
Let w(y) = -y**3 + 8*y**2 + 15*y - 12. Let d be w(8). Suppose 3*c = -3*c + d. Is c a multiple of 18?
True
Let o = -356 + 951. Is 15 a factor of o?
False
Suppose 34*l + 137 = 35*l. Let x = 197 - l. Is 30 a factor of x?
True
Suppose -9*k = -4*k - 15. Let l(u) = u**3 - 3*u**2 + 4*u - 7. Let j be l(k). Suppose 2*y - j*n - 37 = 16, -5*n + 103 = 2*y. Is 14 a factor of y?
False
Suppose 3*t + 0*t = 78. Suppose t*r - 16 = 22*r. Is 12 a factor of 3/(-3) + r + 33?
True
Suppose 0 = m + 5*c + 19, -2*c - 17 = -5*m + c. Does 22 divide 40/(m/(-5) - 6/(-10))?
False
Let w(c) = 5*c**2 + 32*c - 1. Does 18 divide w(-9)?
False
Suppose 0*t = -2*t + 24. Is 17 a factor of t/(-54) + (-616)/(-18)?
True
Suppose 407 + 97 = 3*z. Does 24 divide z?
True
Suppose 4*a - 11*a = -756. Suppose 84 = 2*c - a. Is 24 a factor of c?
True
Let m(x) = 7*x**2 - 46*x - 308. Does 8 divide m(-8)?
False
Let j = 724 - 514. Is 30 a factor of j?
True
Suppose -4*d + 2*d - 3*j = -8, 2*j + 11 = d. Let c(k) = 