e
Let k(f) = -12*f - 1. Suppose 5*p - 2*p - 16 = -2*y, 2 = -2*p + 5*y. Suppose -4 = p*u - 2*j - 2, 3*u = 4*j + 11. Is 6 a factor of k(u)?
False
Suppose -9*j = 960 - 17160. Is j a multiple of 12?
True
Let u(v) = 8*v - 3. Let s be u(1). Suppose -5*b = s*p - 240, -5*b + 2 = -3*b. Is p a multiple of 5?
False
Let l be ((-14)/(-28))/(1/6). Suppose x + 1010 = l*x. Suppose 3*d + x = 5*c, c = -0*c + 4*d + 101. Is c a multiple of 25?
False
Let a be 8/(-36) + (-29)/(-9). Suppose -a*f + h - 6*h + 32 = 0, 0 = -2*f - 2*h + 16. Suppose -k = f*k - 450. Is k a multiple of 30?
True
Let c(v) = 2*v**3 + 11*v - 12 - v**3 - 11*v**2 + 19. Is 32 a factor of c(11)?
True
Suppose 81 = -6*n - 3. Let s(t) = -2*t + 5. Let j be s(6). Let u = j - n. Is u a multiple of 7?
True
Let n = 18 - 13. Let r = n - 5. Suppose 2*c = -k + 15, -2*k + k + 2*c - 1 = r. Does 3 divide k?
False
Let j be 4/8*-8 + 69/1. Suppose 0 = 73*k - 68*k - j. Is 4 a factor of k?
False
Let k(s) = 3*s**2 - 8*s - 6. Let l(d) = -d**3 - 2*d**2 + 2*d + 4. Let z be l(-3). Let r be k(z). Suppose 6*u - r = u. Is 4 a factor of u?
False
Suppose 0 = -16*x + 14243 + 39613. Is x a multiple of 99?
True
Suppose -6*v + 4*v + 4*u + 696 = 0, -5*v = 5*u - 1710. Does 55 divide v?
False
Let s = 1292 - 889. Does 13 divide s?
True
Suppose -25*z - 3388 = -29*z + 5*f, 4*z - 3400 = 2*f. Does 20 divide z?
False
Suppose h = -2*s - 2, 3*h - 5*h = -4*s - 12. Let p(i) = -h + 6*i**2 + i**3 - 1 - 4 + 15*i - 17*i. Does 2 divide p(-6)?
False
Suppose 3*l - l - 14 = 4*d, -5*l = -25. Let y be 196/(-1 + d + 4). Suppose 202 = 3*s - y. Is s a multiple of 25?
True
Let x(k) = -k - 5. Let g(z) = z + 5. Let j(w) = -5*g(w) - 4*x(w). Let v be j(-16). Suppose v + 8 = f. Does 19 divide f?
True
Suppose -3*s + 15 = 3*g, 8 = 5*s - g - 5. Suppose 0 = -s*b + 1 - 4. Does 11 divide 36 - (-12)/(4*b)?
True
Let j(v) = 4*v**3 + 2*v - 2. Suppose -7*k + 4 + 3 = 0. Let d be j(k). Suppose -54 = -d*a + 70. Does 23 divide a?
False
Let l(j) = j**2 + 18*j + 23. Let a be l(-17). Suppose a*t = -2*t + 552. Is t a multiple of 23?
True
Suppose -2*p - 6 + 0 = 0. Does 19 divide (p - (-1645)/40) + (-3)/24?
True
Let y be (-6 + 3 + -2)*(-24)/60. Suppose -67 = y*o + k - 505, -1110 = -5*o + 5*k. Is 10 a factor of o?
True
Suppose 11*j = 2*j - 567. Does 8 divide 2/(-7) + 75*(-33)/j?
False
Suppose -3*u = 2*y - 7*y + 1413, 5*y = 5*u + 1405. Does 19 divide y?
True
Let d = 2635 + -621. Does 30 divide d?
False
Let i = 11 - 4. Let m be 1/i + 3/(-21). Let n(q) = -q**2 + q + 31. Does 16 divide n(m)?
False
Suppose 2*g - 7*g = -70. Let k(c) = c. Is k(g) a multiple of 6?
False
Suppose 14*s - 20 = 16*s. Is (-4)/s - (-266)/10 a multiple of 7?
False
Let j(q) be the second derivative of -q**5/5 - q**4/6 + q**3/6 + 3*q**2/2 + 17*q. Is 15 a factor of j(-3)?
True
Suppose -i = 3*i + 624. Is (4/(-6))/(4/i) a multiple of 13?
True
Let d = 1276 + 704. Is 12 a factor of d?
True
Suppose -3*n + 3661 = 826. Is 12 a factor of n/10 + (-1 - 15/(-6))?
True
Suppose -3*f + 19 + 16 = k, -f + 15 = -3*k. Suppose 0 = -4*i - w + f, -i + 4*w = -4*i + 22. Suppose i*q = -2*x + 32, -2*q + 0*x = x - 37. Is q a multiple of 8?
False
Let d = 14 - 11. Let y be (-9)/6*(-4)/d. Suppose -y*a - 5*v = -42, a - 45 = -2*a - 3*v. Is 11 a factor of a?
True
Does 18 divide 4*(-1)/(-18) + 13800/108?
False
Is 13 a factor of 1/((-10228)/5116 + 0 + 2)?
False
Let h(m) = -23*m**3 - m**2 - 2*m + 1. Let q = -158 + 156. Is 6 a factor of h(q)?
False
Suppose -109*l = -116*l + 462. Does 35 divide l?
False
Let x(f) = -11*f - 94. Does 21 divide x(-22)?
False
Let b = -1041 - -1148. Is 13 a factor of b?
False
Suppose 4*i - 13 = -3*v + 2*v, -5*i = -4*v + 10. Is 13 a factor of (-7 + 157/i)*(-4)/(-2)?
True
Let r(x) = -79*x + 118. Does 6 divide r(-2)?
True
Let f be (-4*(-3)/9)/(4/1668). Suppose -2*y + f = 2*y. Does 23 divide y?
False
Let r(c) = -7*c - 5. Suppose -7*t = -2*t - 25. Suppose -2*f - 3*h - 2 = -4, f - t*h = -12. Is 6 a factor of r(f)?
False
Is (26/8)/(21836/(-1680) - -13) a multiple of 21?
True
Does 7 divide ((-110)/(-8))/(2/8)?
False
Let k(u) = 2*u + 5. Let d be k(-7). Let x = 11 + d. Suppose -2 = -3*y + x*y. Is 2 a factor of y?
True
Let o = -12 + -11. Let y be 1/(-1) - (-105)/3. Let f = y + o. Is f a multiple of 4?
False
Let v(u) = 3*u + 6. Let m be v(-1). Suppose m*x - 427 = -148. Is x a multiple of 20?
False
Let g = 9 + 0. Let v be (-1016)/(-36) + (-2)/g. Let c = -8 + v. Is 8 a factor of c?
False
Let d(s) = -5*s**3 + 81*s**2 + 79*s - 131. Let h(f) = f**3 - 20*f**2 - 20*f + 33. Let i(p) = 2*d(p) + 9*h(p). Is i(-17) a multiple of 15?
True
Is 18 a factor of (((-60)/(-9))/1)/((-1)/(-9))?
False
Let v(r) = -5 + r - 2*r + 10 - 6*r**3 - 6. Let s be v(-1). Suppose 2*k + s = 16, 95 = 5*h - 4*k. Is h a multiple of 9?
False
Suppose p + 58 = 2*m - 184, 364 = 3*m - 2*p. Is m a multiple of 30?
True
Suppose 4*q + 5463 = 8*q - 5*s, 5*s = 3*q - 4091. Is 14 a factor of q?
True
Is (-65)/(-2) - (-11 - (-231)/22) a multiple of 3?
True
Let v(y) be the third derivative of -y**6/90 + y**5/120 + y**4/24 - 3*y**2. Let s(r) be the second derivative of v(r). Is s(-2) a multiple of 5?
False
Let g(t) = 10*t**2 - 4*t - 10. Let x = 10 - 13. Is 12 a factor of g(x)?
False
Let z(h) = 3*h**2 - 10 + 5 + 0*h**2. Let w be z(3). Let y = -19 + w. Is 2 a factor of y?
False
Let v be -1*(3 - 8)/1. Suppose v*s = 5, -q = 4*q + 4*s + 486. Let u = 142 + q. Does 5 divide u?
False
Suppose 5*s = -2*r + 23 + 7, -4*r + 40 = 5*s. Suppose 2 + 7 = -3*o, -o - 211 = -s*t. Is 18 a factor of t?
False
Suppose 3*c = -285 + 1479. Is c a multiple of 36?
False
Let z = -111 - -134. Is z a multiple of 3?
False
Suppose 110*x - 94*x = 13824. Is 36 a factor of x?
True
Let h(s) = s**3 + 19*s**2 + 12*s + 16. Suppose 3*v + 51 = z, -75 = 4*v + 4*z - 3*z. Let j be h(v). Let t = 259 - j. Is 37 a factor of t?
False
Suppose -10 = -4*r - r. Suppose -5*v + 7 = -3*n, 2*v - 3 = -5*n + 6. Suppose -v*x - 2*x + 92 = 4*m, 0 = r*m + x - 42. Does 15 divide m?
False
Let u(p) = p**3 + 3*p**2 + 6*p - 6. Let q be u(4). Suppose -4*y + 522 + q = 0. Is 43 a factor of y?
False
Let l = 380 + 777. Is 13 a factor of l?
True
Let m be -1*7/(-4) - 7/(-28). Does 25 divide 306/2 - (1 + m)?
True
Let i(r) = 2*r**2 + 6*r + 7. Let f be i(-2). Is 19 a factor of 96 - 16/4 - f?
False
Let o = 5 + -6. Let n be o*3/(-1) - -23. Suppose 0 = 4*x + l - n, -5*l = -3*x - 0*l + 31. Is x a multiple of 2?
False
Let u(f) = 10*f**2 - 8*f + 2. Is u(-6) a multiple of 5?
True
Suppose 3*n - 33 = 4*s - 6, -5 = 2*n + 5*s. Suppose -n + 101 = 2*u. Is 8 a factor of u?
True
Suppose -16*h = 10*h - 7514. Does 22 divide h?
False
Let j be 0 - 75 - ((-6)/(-1) - 4). Let g = j - -283. Is g a multiple of 14?
False
Suppose 0 = 5*x - 5*m - 1375, x + 5*m = 27 + 224. Does 97 divide x?
False
Let q = 3 - 2. Let t = 4 + q. Suppose -3*c + 37 = 2*l - 6*l, 25 = c + t*l. Does 15 divide c?
True
Suppose -t + 2 = -4*d - 10, -t = 5*d + 6. Suppose -65 = -t*g - g. Suppose 5*y - 37 = -5*w + g, 49 = 5*y + 4*w. Is y a multiple of 3?
True
Let h(d) = 13*d - 11. Suppose -7*x = -3*x - 44. Let m be h(x). Suppose -p + m = 3*p. Is 11 a factor of p?
True
Let d = 13 + -11. Suppose 2*m - 1440 = -d*m. Suppose 5*h - 10*h = -m. Is 18 a factor of h?
True
Let r(t) = 22*t. Let c(n) = n + 10. Let g be c(-11). Let h = g + 3. Is r(h) a multiple of 22?
True
Let v be 852/8*5/((-15)/2). Let j = v - -116. Does 9 divide j?
True
Suppose -7 + 4 = -k. Let n(d) = d**2 - 7*d**2 + 3*d + 0*d**2 + 0*d**2 - d**k - 10. Is n(-7) a multiple of 11?
False
Suppose 0 = -49*w + w + 88128. Does 27 divide w?
True
Let g = 367 - -203. Does 19 divide g?
True
Suppose -113 = -2*x + 387. Is (3/(-2))/((15/x)/(-1)) a multiple of 25?
True
Let n(u) = u**3 + 5*u**2 - u - 10. Let i be n(-4). Let d(q) = -q**2 + 9*q + 8. Let f be d(i). Does 16 divide 2/(f/1) - -38?
False
Suppose -1251 + 418 = -7*g. Is 5 a factor of g?
False
Let m(b) = 10*b**2 - 2*b - 10. Let d(j) = -9*j**2 + 2*j + 9. Let t(v) = -4*d(v) - 3*m(v). Let n be t(6). Suppose -4*h + n = 54. Is 36 a factor of h?
True
Suppose 0 = 4*l + 12 + 28. Let i(g) = -g**2 - 11*g + 4. Does 12 divide i(l)?
False
Let n(o) = 4*o - 24. Let q be n(-14). Let f = q - -123. Is f a multiple of 43?
True
Let y(s) = s - 5. Let f be y(8). Suppose 3*k - r = 6, -5*r - 2 = 2*k - f*k. Suppose 78 = k*o - 2*b, 2 - 8 = 2*b. Does 10 divi