e
Let k(f) = f - 21. Let p(y) = -2*y + 43. Let z(i) = i**3 + 4*i**2 + 4*i + 5. Let v be z(-2). Let n(q) = v*k(q) + 3*p(q). Is n(-11) a multiple of 7?
True
Let b(f) = 7*f**2 - 20*f + 303. Is 57 a factor of b(60)?
False
Let x = 7867 - 5075. Is x a multiple of 7?
False
Let m be (-2)/((-40)/2630*(-1)/2). Let f = m - -381. Let t = f - 43. Is t a multiple of 45?
False
Let n(d) = 20*d**2 - d + 2. Let j(x) = -x**2 - 1. Let w(c) = 4*j(c) + n(c). Suppose 5*a - 5 = 5. Is 12 a factor of w(a)?
True
Suppose 5*t = -2*u, -4*u + t = -3 - 19. Suppose 3*i = 3*r + i - 89, -u*i = -2*r + 41. Suppose 6*x - r = 21. Does 2 divide x?
False
Let k(a) = -a**3 - a**2 + 4*a + 4. Let l be k(3). Is (8/l)/((-6)/2640) a multiple of 22?
True
Let p(b) = b - 15. Let n be p(19). Suppose 0 = 3*y + d - 188, 13 = y + n*d - 46. Does 21 divide y?
True
Let v(n) = 4*n**2 + 6*n + 5. Let r be (42/9 - 2) + (-7)/(-21). Suppose -r*p = 7 + 2. Is 10 a factor of v(p)?
False
Let a(b) = b**3 - b**2 - 2*b - 6. Let x(o) = -o**2 - 19*o - 15. Let w be x(-18). Let h be 4 + 1/(-3)*w. Does 2 divide a(h)?
True
Suppose 5*j - 10 = -3*q + 24, -5*j = q - 28. Let y(d) be the third derivative of d**4 - 7*d**3/6 - 103*d**2. Does 7 divide y(q)?
False
Let v = 83 - -3090. Is v a multiple of 14?
False
Let j(x) = x**3 + 8*x**2 + 3*x + 16. Let m be j(-8). Is (-3)/(-1) + 43 + m + 5 a multiple of 43?
True
Let k(i) = -24*i + 43*i - 24*i. Let t be k(-12). Suppose 11*h = 6*h + t. Does 4 divide h?
True
Suppose w - 605 = -4*x, 0 = -w + 2*x - x + 590. Suppose 379 = o - 3*f - w, -4*f + 2968 = 3*o. Is 12 a factor of o?
True
Suppose 4*b + 2*v = 12, 5*b - 4 = 6*b - 3*v. Let n be (-2)/6 + 1/3. Suppose 4*q + b*r - 844 = n, -5*q + 4*q + 3*r = -225. Is q a multiple of 12?
False
Suppose -6*v = 5*v. Is (-1)/(v - (-1)/(-100)) a multiple of 10?
True
Is (-15 - (-671)/33)/((-4)/(-2922)) a multiple of 25?
False
Let n(g) = 22*g + 14. Let y = 279 + -275. Is n(y) a multiple of 9?
False
Let k(a) = -6*a - 62. Let q be k(-31). Let r = 12 + q. Does 34 divide r?
True
Suppose -13*o + 15*o = 90. Suppose -2*f = 2*h + 16, 0 = -4*h + 2*f + 3*f - 23. Let l = h + o. Is l a multiple of 8?
False
Is 43 a factor of -6*8/600 + 1/(25/241877)?
True
Does 13 divide 4099/((9/(-234))/((-2)/4))?
True
Let z = 23290 + 10750. Is 37 a factor of z?
True
Suppose k + 3 = 6*s - s, -3*s = -5*k - 15. Suppose -x + s*x = -a - 38, 2*a = -4*x + 182. Let v = 81 - x. Is v a multiple of 38?
True
Is 33 a factor of 16 + -4 + -6 - (-2533 - 2)?
True
Suppose -5*y = -23*k + 21*k - 115006, -6*k + 42 = 0. Is 27 a factor of y?
True
Let l = 35 + -60. Let m = l + 31. Does 6 divide ((-27)/(-15))/(m/40)?
True
Let z(a) be the first derivative of 10*a**3/3 + 13*a**2/2 - 9*a + 49. Is z(-6) a multiple of 21?
True
Suppose -2*v + h - 4*h = -47, 54 = 4*v - 2*h. Suppose 0 = v*s - 1286 - 890. Does 34 divide s?
True
Is 3984 - 12/(-10)*720/108 a multiple of 4?
True
Let x = -6909 + 15630. Is 188 a factor of x?
False
Suppose -5521 = -4*z + 8611. Suppose 8*o - z = 4067. Is o a multiple of 13?
False
Let c(z) = 4*z**3 - z**2 - z + 2. Let h be c(1). Suppose 0 = h*v + 8, -n + 4*n + 3*v = -9. Is 16 a factor of ((-1)/n + -1 - 1) + 105?
False
Let r be 8/(0 - -4)*2/4. Let q be 70/(-2) + (-15)/(4 + r). Let o = 78 - q. Is 26 a factor of o?
False
Suppose -2*f = f + 2*o - 7, 4*f + o - 1 = 0. Let m be f - (-10)/6 - 32/48. Suppose m = 2*l - 4*l + 18. Does 3 divide l?
True
Suppose 5*p = -3*n + 33276, -2*p = -11 + 23. Does 13 divide n?
True
Let n be ((-303480)/(-13))/4 + 32/(-208). Suppose -a - l = 4*l - 1448, -4*a + 2*l = -n. Is a a multiple of 81?
True
Let a(z) = 6*z**2 - 10*z + 27. Let r be a(-5). Let t = r + -134. Is t a multiple of 30?
False
Let c = 43 + -27. Suppose -10 = -0*l - l + 2*r, 4*r + c = 0. Suppose 23 = l*t - 401. Is t a multiple of 34?
False
Suppose 0 = -28*s + 315 + 945. Let j be 1*-7 + 1 + 2. Let x = s - j. Is 28 a factor of x?
False
Let m(i) = i**2 + 3*i + 20. Let c be ((-21)/(-28))/((-2 + 3)/(-4)). Let q(x) = -x**3 - 2*x**2 + 4*x + 3. Let j be q(c). Is 2 a factor of m(j)?
True
Suppose -2469 = -4*h - u, -u - 3*u - 3060 = -5*h. Is h/(-84)*150/(-4) a multiple of 6?
False
Let f(t) = t**3 - 12*t**2 + 19*t + 12. Let d be f(9). Let x = -64 - d. Is (48/(-21))/x - (-996)/21 a multiple of 24?
True
Let h(l) = l**3 - 7*l**2 - 19. Let g be h(8). Suppose a = 37 - g. Let u(z) = -z**3 - 5*z**2 + 19*z + 15. Is u(a) a multiple of 20?
False
Let c = 6805 + 1541. Is c a multiple of 214?
True
Does 103 divide 6 + (5 - (182 + -5))/((-2)/170)?
True
Suppose 5630*n + 344029 = 5656*n - 272171. Is n a multiple of 150?
True
Suppose -3*q + 7 = 4*a - 2*q, 0 = 3*a - 2*q - 8. Suppose -25 = -2*w - 4*k + 7, 3*w - a*k - 8 = 0. Let l(c) = 12*c - 29. Is 11 a factor of l(w)?
False
Suppose 8179 = 10*n + 412 - 4653. Is n a multiple of 18?
True
Let k = 147 - 139. Suppose -30*r + 726 = -k*r. Does 3 divide r?
True
Suppose 0 = -5*i + 2*c + 1562, 1371 = 7*i - 2*c - 815. Is 8 a factor of i?
True
Suppose 147629*k - 32688 = 147627*k. Is k a multiple of 12?
True
Suppose 3*x + 463 = k, 307 = -7*x + 5*x - k. Is 21 a factor of (x/(-5))/(3*(-4)/(-180))?
True
Let n be (-174625)/(-1045) - (-4)/(-38). Suppose n - 2087 = -6*q. Is 16 a factor of q?
True
Suppose -14*b - 4 = m - 13*b, 12 = -2*m - 4*b. Is 14 a factor of 28/(-16)*472/m?
False
Suppose 2*v + r = 1705, 2*r + 203 = 2*v - 1511. Is 7 a factor of v?
True
Let u = 410 - 200. Let c = 2 + 3. Suppose 3*s = 7*s + 20, 2*s + u = c*x. Does 10 divide x?
True
Let z(a) = a**3 - 18*a**2 + 18*a - 28. Let q be z(18). Suppose -4*k = 4*h - q, 2*h + 5*k - 142 = 6*k. Does 8 divide h?
True
Let a(h) = -5*h**2 - h + 8. Let d be a(4). Let t = 78 + d. Suppose 5*g - 131 = t*m, 2*m = -0*g + 4*g - 104. Is g a multiple of 9?
True
Let v(x) = x**3 - 6*x**2 - 58*x - 48. Is 160 a factor of v(18)?
False
Suppose 6 = -5*u - 4*m - 1, 3*u + 5 = -2*m. Let f be (-12)/(-9)*u/(-2). Suppose s + 5*r = 68, 3*s + f*r = 4*s - 40. Does 4 divide s?
True
Let l = -558 + 562. Suppose l*f - 784 = -2*v, -4*f + 4*v = v - 784. Is f a multiple of 28?
True
Let a(k) = k**3 + 16*k**2 - 106*k - 26. Let t be a(-21). Does 6 divide (1560/(-100))/(3/t)?
False
Let k = 7300 + -4837. Suppose 0 = 3*y - 5*i - k, -i + 1179 - 3630 = -3*y. Is 48 a factor of y?
True
Let l = -196 - -195. Is l/(-1)*(792 + -6) a multiple of 8?
False
Let o(u) = u**3 + 7*u**2 + 9*u + 49. Let l be o(-5). Suppose -q - l = -2*w + q, -5*w - 5*q = -105. Does 3 divide w?
True
Let v = -21859 - -34069. Is 6 a factor of v?
True
Let q(f) = f**3 + 8*f**2 - 30*f - 262. Let p be q(-7). Let t(a) = -2*a**2 + 3*a - a**2 - 5*a**3 + 4 + a**3. Does 12 divide t(p)?
False
Suppose q = -b - b + 55, 5*b + 168 = 4*q. Let x be 9 - 6 - 2 - -1. Suppose 3*f + x*o - 70 = 0, 2*f + 4*o = 13 + q. Does 3 divide f?
False
Let z = 29 + -27. Suppose -5*k + 10*k + 15 = 0, z*k + 526 = 4*a. Is a a multiple of 13?
True
Suppose -27*s + 482312 - 197534 = -182403. Is s a multiple of 11?
True
Suppose 15376 = 4*s + 4*g, -4*s + 4923 + 10485 = -4*g. Is s a multiple of 37?
True
Suppose 0 = -r - 3*s + 10, -2*r - 2*s + 1 = -3. Let c be (-1)/(1*1/r - -1). Let h(j) = -64*j - 18. Does 22 divide h(c)?
True
Suppose 5*j + 58119 = 7*j + z, j = -z + 29060. Suppose 31*w - j = -9498. Is w a multiple of 33?
False
Let i be 0 + (-30)/(-3 - -5) - 2. Let v = i + 302. Is 8 a factor of v?
False
Suppose 3*f = f - 482. Suppose -19*k = -12*k - 2660. Let r = k + f. Does 14 divide r?
False
Suppose -y = 9*y. Suppose 5*b - 85 = -5*u, y*b + 55 = 3*u + 4*b. Is u a multiple of 2?
False
Suppose -19*a - 742 = 94. Is (0 + (7 - 72))*a/10 a multiple of 13?
True
Let p = 2812 + 4101. Is p a multiple of 51?
False
Let c = 141 + -124. Suppose -16*g - c*g = -3663. Is 3 a factor of g?
True
Let m = -61 + 63. Suppose m = 6*y - 10. Suppose i - 17 = -q, q + 73 = 7*i - y*i. Is i a multiple of 10?
False
Suppose -3*z - 496 = 3*v - 4816, 1440 = z - v. Does 14 divide z?
False
Suppose -295*x + 296*x = -882. Let k = 1536 + x. Is k a multiple of 12?
False
Let i(j) be the third derivative of 29*j**5/30 - j**4/6 + j**3/2 - 23*j**2. Is 47 a factor of i(1)?
False
Let v(y) = 1261*y - 560. Is v(4) a multiple of 10?
False
Let d(r) = -125*r + 485. Is d(-5) a multiple of 37?
True
Let a(q) = -q**2 + 127*q + 110. Is a(53) a multiple of 63?
True
Let d(i) be the second derivative of -i**5/20 + 3*i**4/4 + 11*i**