*h + 38. Is d(t) a multiple of 3?
True
Let w(z) = z**3 - 8*z**2 + 8*z - 2. Suppose 16*d = 82 + 30. Is w(d) a multiple of 5?
True
Let a(m) be the second derivative of 17*m**3/6 + 263*m**2/2 + 43*m. Is 2 a factor of a(-13)?
True
Let g = 74 + -57. Suppose g*r - 195 = -8. Suppose 2*j = r - 3, -4*q + 5*j = -448. Is q a multiple of 13?
True
Let q(u) = -610*u + 4000. Does 33 divide q(-45)?
False
Let u(x) = -171*x + 1. Let m be u(-5). Suppose 1079 = 5*w - 0*d + d, d = 4*w - m. Is ((-7)/(-1 - 6))/(1/w) a multiple of 43?
True
Suppose 428 = w + 2*h, 0 = -w - h - 2*h + 431. Let p = w + -182. Is p a multiple of 15?
True
Let k be 8/(-20) - (-1904)/(-40). Is (-7)/(4/(-6)*(-12)/k) a multiple of 7?
True
Suppose 28*v = -55021 + 181581. Suppose -3*h + v = -2*b, -h + 16*b - 18*b = -1496. Is h a multiple of 8?
True
Suppose 31*f - 22514 - 14190 = 0. Is f a multiple of 16?
True
Let v = 71 + -61. Suppose -5*b = -20 - v. Is 10 a factor of (0 + 8/b)/(14/819)?
False
Let s = -1441 + 4393. Is s a multiple of 18?
True
Let b = -81 - -86. Suppose -b*v + 4*v - 8 = 0. Is 1 - -31 - 4/v*0 a multiple of 32?
True
Let l(k) = 12*k - 4. Let j(b) = -325*b + 110. Let f(c) = -4*j(c) - 110*l(c). Is 20 a factor of f(-2)?
True
Suppose -31266 = -2*b + 4*y, 0*b + 140640 = 9*b + y. Is b a multiple of 70?
False
Let c(s) = 7*s + 0*s**2 - s**2 + 2*s + 8*s - 2. Suppose -5*l + 68 + 7 = 0. Is c(l) a multiple of 9?
False
Let r be (-1*2/4)/((-1)/6). Suppose 0*p + 26 = 2*p + r*j, -2*p = -3*j - 26. Suppose -14*k + 102 = -p*k. Does 9 divide k?
False
Let j be (2382/8)/(96/(-128)). Let z = -296 - j. Is z a multiple of 101?
True
Suppose -3728 = 6*u - 38054. Is u a multiple of 35?
False
Suppose -61 = -7*n - 159. Let k = 90 + n. Let p = k - -84. Is 20 a factor of p?
True
Let h(y) be the second derivative of 7*y**4/12 - y**3 + 6*y**2 - 2*y - 6. Does 8 divide h(5)?
False
Let w(n) = 2*n**3 + 110*n**2 - 3732*n - 11. Is w(-77) a multiple of 29?
True
Suppose -6*m - 63*m = -293112. Is m a multiple of 36?
True
Suppose 2*g - 725 + 273 = 0. Let h = -108 + g. Is 5 a factor of h?
False
Let w = -423 - -659. Let f = w - 80. Does 39 divide f?
True
Let a = -1964 + 5483. Does 51 divide a?
True
Let o(c) = -34*c. Let a be o(0). Suppose a = -4*k + 3*t + 84, 0 = 2*k + k + 2*t - 63. Is k a multiple of 2?
False
Suppose 121 - 55 = 2*g. Let a = 35 + g. Is 3 a factor of a?
False
Let p = 41681 - 60591. Does 14 divide (-6)/27 + 1/((-45)/p)?
True
Let d(m) = 28*m**2 - 142*m + 1912. Does 321 divide d(20)?
True
Let l = 28 - -56. Let x be -102*((-4)/(-6) + (-182)/l). Suppose 27 = -n + x. Is 21 a factor of n?
True
Is 181 a factor of -112 + 34687 + (-1 + -2 - 1)?
True
Suppose 3*b = 3*t + 7*b + 2, -2*t + 5*b = -14. Suppose 823 = -v - 5*a, -2188 = t*v - a - 520. Does 2 divide 6/(-4) + v/(-34)?
False
Let m be (2 + 7 - -2) + 4/1. Let v(p) = p**3 - 15*p**2 + 12*p + 8. Is v(m) a multiple of 21?
False
Let w = 280 + -279. Is w/5 + (-5308)/(-10) a multiple of 17?
False
Let l(f) = -f**2 + 12*f + 15. Let s be l(9). Let w = -1 + 8. Let o = s - w. Is 4 a factor of o?
False
Let x(f) be the third derivative of -f**6/120 - f**5/10 - f**4/24 + 23*f**3/6 + 21*f**2. Let n be x(-5). Is (n/9)/(3/2745) a multiple of 28?
False
Suppose -9*v - 94*v = -5483514. Does 38 divide v?
True
Suppose 307649 + 61291 = 55*d. Is d a multiple of 13?
True
Let p(w) = 278*w**2 + 10*w + 10. Does 58 divide p(-2)?
True
Let a(k) = k + 143. Let q be a(-7). Let x = 5 + 8. Let y = q + x. Is 38 a factor of y?
False
Let n = -7159 + 7227. Is n a multiple of 5?
False
Suppose 21879 = -18*z + 38*z - 8021. Does 2 divide z?
False
Suppose -v = -2, 3*m - 2*m + 2*v = 2669. Suppose 0 = -0*s - 13*s + m. Does 15 divide s?
False
Let q = 12335 + -7948. Is 41 a factor of q?
True
Let d(r) = 15*r + 63. Let i be d(-6). Is 18 a factor of (i/(-18))/((-3)/(-36))?
True
Let x be ((-21)/(-6) + -4)*(-57 - -1). Let f = x + 2. Let n = 24 + f. Does 27 divide n?
True
Let k be (-1)/(9/(-2)) - 559/(-117). Suppose -10*n + 9*n - k*x = -32, -2*n + 53 = -x. Does 9 divide n?
True
Suppose -18 = -j - 3*l, -14 = -0*j + j - 5*l. Let y(f) = -2*f**3 + 10*f**2 + 14*f - 5. Let w be y(j). Is ((-100)/w)/((-2)/7) a multiple of 10?
True
Let o(k) = k**2 - 9*k + 4. Let c be o(9). Suppose -c*u = -v + 55, -3*u = u + 16. Is 8*(-2 + v/6) a multiple of 6?
True
Let o be 1 - -3 - (-6 + 5). Suppose 0 = -p - 3*s + 15, 0 = p - o*s - 3 + 20. Does 18 divide (-1498)/(-18) + p/((-27)/2)?
False
Suppose -95*c + 8767 = -84*c. Suppose -10*r + 43 = -c. Does 3 divide r?
True
Suppose -47*v + 148599 + 48032 = 32*v. Is 19 a factor of v?
True
Suppose 0 = 192*f - 193*f + 4. Suppose -f*y = -3*y + u - 62, -5*u - 110 = -2*y. Is 15 a factor of y?
True
Suppose 0 = -5*q - i + 36, -5*q + 9*q + i - 28 = 0. Suppose -q*t + 315 = -1069. Is t a multiple of 34?
False
Let d(g) = -11*g - 5. Let s be d(-1). Suppose -s*l + 136 = -242. Does 9 divide l?
True
Let l(r) = r**2 - 3*r - 15. Let a be l(7). Let m(v) = 18*v - 117. Does 9 divide m(a)?
True
Suppose 47511 = 5*q - 65714. Suppose q = 60*h - 38615. Does 38 divide h?
False
Let n = -1312 + 1163. Let y = 629 - 385. Let m = n + y. Is m a multiple of 19?
True
Let i(q) = q**3 + 11*q**2 - 12*q + 142. Does 11 divide i(-10)?
False
Suppose -140*p - 1020 = -146*p. Suppose -w + p + 396 = 3*k, 2*k = -w + 571. Does 13 divide w?
False
Suppose 0 = -1112*y + 1105*y + 48601. Does 69 divide y?
False
Let c(k) = -k - 28. Let m be c(-38). Suppose m*n - 5*j = 13*n - 1074, -n + 3*j = -372. Is 11 a factor of n?
True
Let t be 3760/110 - (-2)/33*-3. Suppose 0 = -0*s - 5*s + 20. Suppose g - s = t. Is 15 a factor of g?
False
Is 6 a factor of (-4)/12*1 - (-127754)/(-165)*-5?
False
Suppose o = -2*o - 5*u + 5, -45 = 5*o - 5*u. Let x be -3 - o*(-4)/10*-2. Is 12 a factor of (-5 - -9)*6*x?
True
Suppose 17*v - 14*v - 9 = 0. Let t be 3/(-2 - (-14)/4). Suppose -n + 0*n + 52 = v*d, t*n - 119 = -3*d. Is 11 a factor of n?
False
Let i(b) = 8*b**2 - 11. Let v be i(6). Let k be v/(1 - (4 + -4)). Let s = -187 + k. Is s a multiple of 15?
True
Let j(p) be the first derivative of 32*p**3/3 - 3*p**2/2 - 20*p + 228. Is 12 a factor of j(-4)?
True
Suppose x = 5*d - 302, -4*x + 5*d - 1136 = 3*d. Let t = x + 582. Is t a multiple of 12?
True
Suppose -742 = -c - 7*b + 8*b, 3*c = -5*b + 2250. Let o = -121 + c. Is 39 a factor of o?
True
Does 19 divide (-3 - -4) + 2111 - (-30)/(-15)?
False
Let u(i) = -6*i + 27. Let h = -10 + -1. Let c be u(h). Suppose -55 = -2*a + 5*m, -c = -a - 2*a - 3*m. Does 10 divide a?
True
Let k = -383 - -93. Let q = k + 407. Is q a multiple of 9?
True
Let o(h) = 5*h**2 + 2*h - 1. Let b be o(-2). Suppose 70 = 10*r - b*r. Let y = 49 + r. Does 35 divide y?
True
Let h(d) = -2*d**3 + 5*d**2 + 40*d + 194. Does 44 divide h(-7)?
False
Let z = -414 - -413. Let q(y) = -442*y - 78. Is 4 a factor of q(z)?
True
Let m(z) = 41*z**3 - 6*z**2 + 30*z - 225. Is 26 a factor of m(7)?
True
Let o(c) = 178*c - 3277. Is 35 a factor of o(59)?
False
Let a(j) = -3*j**2 - 6*j + 298. Let z(b) = b**2 - 7*b - 34. Let y be z(10). Let m(s) = -s**2 + s - 1. Let f(k) = y*m(k) + a(k). Is f(0) a multiple of 11?
False
Let z = 249 + -219. Is 6 a factor of ((-98)/4)/(11/(8 - z))?
False
Let l = -3431 + 6998. Does 41 divide l?
True
Let a = -1839 + 1000. Let k = -272 - a. Is 27 a factor of k?
True
Let f(c) be the second derivative of -3*c**3 - 11*c**2/2 + 975*c. Suppose -b + 5*b = 3*t + 13, -3*t - b = 8. Is f(t) a multiple of 19?
False
Is 42 a factor of 854/549*(0 - -9468)?
False
Let y(q) be the first derivative of -16*q + 5*q**3 - 23/2*q**2 + 1/4*q**4 + 8. Is y(-16) a multiple of 32?
True
Suppose -3*s + 4*u + 3522 = 0, -s + u - 273 = -1447. Does 5 divide s?
False
Let c = -35 - -583. Suppose 8*y - 52 = c. Suppose 4*d - d - y = 0. Is 14 a factor of d?
False
Suppose -94*j = -94411 - 228009. Is 49 a factor of j?
True
Let r = -54 + 165. Let g = 591 - 382. Let o = g - r. Does 17 divide o?
False
Let l = -215 + -125. Suppose 7 = -2*s - 5*p, -9 = -3*s - 4*p + 3*p. Is 18 a factor of l/(-16) - 1/s?
False
Suppose -k = 7*k + 32*k - 63880. Does 13 divide k?
False
Suppose l + 3*u = -43, 6*u = 2*u + 12. Does 12 divide (770/20)/(-2 - l/24)?
False
Let k(r) = r**2 + 9*r - 14. Let i be k(-11). Suppose -b - 2*c + 29 = -c, -2*c = i. Does 11 divide (-6)/b - (-365)/11?
True
Suppose -44*a + 7*a + 740 = 0. Does 6 divide (-10 + a