the second derivative of v**3/6 - v**2 - 17*v. Is l(5) a multiple of 3?
True
Suppose -m = m - 320. Suppose -15*z + 1645 + 1640 = 0. Suppose 3*v = v - 5*d + m, -3*v + 3*d = -z. Is v a multiple of 20?
False
Let f(n) = n**2 + 7*n + 6. Suppose -m = -3*m + 4*j + 14, 7 = m - 3*j. Is f(m) a multiple of 28?
False
Suppose -5*u - 2*v = 260 - 1924, -670 = -2*u - 3*v. Is u a multiple of 18?
False
Is (-2)/7 - 68616/(-56) a multiple of 63?
False
Suppose 2*y + 2*y - 355 = h, -345 = -4*y + 3*h. Suppose y = -18*c + 21*c. Does 4 divide c?
False
Suppose -2*y + 0*y + 40 = 0. Let s be (12/30)/(2/y). Suppose s*w + w - 15 = 0. Is 2 a factor of w?
False
Suppose 8*l - 24 = 6*l. Suppose -l*h = -5*h - 168. Does 4 divide h?
True
Let r be (-1926)/27 + ((-28)/(-3))/7. Suppose 4*g - 1 = l - 135, -3*g - 15 = 0. Let h = r + l. Is 22 a factor of h?
True
Let l be 2*((-16 - -2) + 2). Suppose 0 = -g + 2*g, -5*g - 352 = -4*v. Let m = v + l. Is 19 a factor of m?
False
Let w be 1 - (-35)/3 - (-4)/12. Suppose -146 = -w*u + 647. Is 16 a factor of u?
False
Let d = -287 + 571. Is 4 a factor of d?
True
Let w(y) = 109*y**2 + 1. Let i be w(-2). Suppose -8*x - i + 2165 = 0. Is 18 a factor of x?
True
Let s be 2/(2/(-15)*1). Let i = -111 + 58. Let c = s - i. Does 19 divide c?
True
Suppose 0 = -0*m + 2*m - 900. Suppose 8*c - m = 3*c. Does 21 divide c?
False
Let g(w) = 3*w**2 - 10*w + 19. Let u(z) = 2*z**2 - 11*z + 20. Let x(h) = 5*g(h) - 4*u(h). Is x(4) a multiple of 28?
False
Let d = 484 + -430. Is 9 a factor of d?
True
Let c = -10 + 16. Let t be (153/c - 3)*10. Suppose 0 = -7*u + 2*u + t. Is u a multiple of 20?
False
Suppose -47 = -8*k - 7. Is 18 a factor of (-5 - -1) + (k - 1) + 108?
True
Let v = 49 + -4. Let d = -15 + v. Does 10 divide d?
True
Let g(k) = -9*k. Let z(i) = -i + 1. Let h(c) = -2*g(c) - 10*z(c). Is h(4) a multiple of 17?
True
Let m(d) = 2*d**3 - 7*d**2 + 12*d - 10. Is m(5) a multiple of 9?
False
Suppose 3*p - 8 = -2*u + 6, 0 = p - 2*u + 6. Is 23 a factor of (-26)/p*(2 - 12)?
False
Let i be (0 - 3)/(5/(-5)). Suppose -d - 106 = -i*f, 5*f - 6*d + d = 160. Does 37 divide f?
True
Let s = 672 + 741. Is 3 a factor of s?
True
Let z = -243 + 2817. Does 66 divide z?
True
Suppose -d + 51 = h, 6*h + 2*d - 267 = h. Suppose x + 4*x = h. Is 5 a factor of x?
False
Is ((-2)/6 + 1)/(556/2719674) a multiple of 19?
False
Suppose 2*t = -3*t - 435. Let o = -46 - t. Is 33 a factor of o?
False
Let c(s) = -2*s + 10 + 3*s - 3*s + 5*s. Let m be c(5). Is 14 a factor of (m - (-2 - -2)) + 3?
True
Is (-99)/(-22)*(188/3)/2 a multiple of 3?
True
Suppose b = 4, 0*b = -3*a - 4*b + 448. Suppose 14*k = 8*k + a. Is k a multiple of 8?
True
Suppose -5*w - 18 = -q, 2*w + 27 = q - 0*w. Is q a multiple of 5?
False
Suppose 4*f - 12 = 4. Suppose -j + f = -5*j, -3*j - 12 = -d. Is 3 a factor of d?
True
Let x(z) = z**3 + 11*z**2 - 12*z - 21. Is x(-6) a multiple of 7?
True
Let s(o) = o**3 + 15*o**2 - 11*o - 22. Is 11 a factor of s(-15)?
True
Let v be ((-18)/(-12))/(2/4). Suppose 5*k + 26 = 3*d, -3*k + d - 5*d - 4 = 0. Let f = v - k. Is f a multiple of 3?
False
Let v(d) = -5*d - 1. Let p(b) = b + 2. Let j be p(4). Let l be v(j). Let o = 44 + l. Does 13 divide o?
True
Let c be 4 + 3/(-5 + 2). Suppose 8 = 4*f, c*a - 6 = -2*f + 10. Let d = 7 + a. Is 11 a factor of d?
True
Let z be 2/(-16) + (-252)/32. Let b = -1 - z. Let v(w) = -w + 14. Does 7 divide v(b)?
True
Let a(z) = 955*z + 24. Is 11 a factor of a(1)?
True
Let g(r) = r**3 - r**2. Let x(y) = -2*y**2 - y. Let m(t) = -g(t) + x(t). Let a be m(-2). Suppose 2*f + 180 = a*f. Does 9 divide f?
True
Let o = -170 - -176. Let c(s) = 5*s + 6. Let d(z) = -11*z - 13. Let w(y) = -11*c(y) - 6*d(y). Does 22 divide w(o)?
False
Suppose 0 = -5*v + 2*j - 3*j + 21, 0 = -3*v + 5*j + 35. Suppose -v*u + 28 = -3*u. Is 3 a factor of u/(-6)*(-4 + 1)?
False
Let z = 2 + -7. Let d(o) = o + 7. Let f be d(z). Is 13 a factor of 225/18 + f/4?
True
Suppose 27*y - 5340 = 21*y. Does 17 divide y?
False
Let f be (6/(-4))/((-4)/(-8)). Suppose 12*s - 499 - 89 = 0. Is s - (6 - (0 - f)) a multiple of 15?
False
Let f(r) = 6*r**2 + 9 + 1649*r + 8*r**2 - 1655*r. Does 9 divide f(3)?
True
Is (-744)/30*(-15)/6 a multiple of 7?
False
Suppose -3*v = -2*a + 5 + 2, -3*a - 5*v + 1 = 0. Suppose 0 = 2*m - 5*z - 42, -3*z = a*m - 4 - 6. Suppose 32 = -m*h + 13*h. Is h a multiple of 8?
True
Let m = 66 - -36. Is 17 a factor of m?
True
Suppose -2*h - 30 = -5*h. Suppose 4*p - 2 = h. Suppose 5*r - 4*r = -5*u + 76, p*r = 3*u - 60. Is u a multiple of 8?
True
Let y(q) be the second derivative of q**6/120 + 3*q**5/20 - q**4/12 - 3*q**3/2 - q**2 - 2*q. Let k(i) be the first derivative of y(i). Is 3 a factor of k(-9)?
True
Let h(x) = 3*x + 39. Is h(-7) a multiple of 3?
True
Let r(u) = -u**2 - 7*u + 2. Let v be r(-7). Let x be (0 + 1)*(8 + -3). Suppose -4*g - x*d = -229, 170 = v*g + g + 2*d. Is g a multiple of 14?
True
Suppose -5*p = -64 - 6. Is 14 a factor of p/4*8/14 - -267?
False
Let y(f) = f**2 - 16*f + 296. Does 37 divide y(0)?
True
Suppose -2*h - 8 = 2*h + 4*u, -26 = -2*h + 4*u. Suppose h*o = -2*o + 25. Suppose 3*s - o*s + 4*n + 46 = 0, 5*s + 2*n = 139. Does 9 divide s?
True
Let w = -2 - -1. Let r be w*-4*5/(-20). Let n(l) = -75*l + 2. Is 11 a factor of n(r)?
True
Let u = -1 + 61. Suppose n + o = -3*o + u, -2*n + 3*o + 76 = 0. Does 44 divide n?
True
Let g(c) = c**3 + 14*c**2 + 11*c + 19. Let l be g(-9). Suppose -6*h + l - 19 = 0. Does 25 divide h?
False
Suppose 5*u - 10 = 0, 3*u - 243 - 535 = -4*c. Let s = -46 + c. Is 35 a factor of s?
False
Let p(q) = 6*q**3 + 6*q**2 - 5*q + 24. Let z be p(5). Let c = z - 493. Is c a multiple of 29?
True
Suppose -34 = -23*d + 2565. Is 4 a factor of d?
False
Let s = 208 - 115. Does 5 divide s?
False
Let a = -511 + 508. Let u(h) be the second derivative of -h**3 - h. Does 9 divide u(a)?
True
Suppose -17 + 562 = -5*a. Let o = a + 167. Is 10 a factor of o?
False
Suppose 5*t + 21 = 6*t. Suppose 2*z + 5*x = -0*z - t, 5 = -5*z - 3*x. Let a(w) = 7*w**3 + w**2 - 2*w + 2. Does 29 divide a(z)?
True
Let j = -1044 - -3252. Is 16 a factor of j?
True
Suppose -59328 - 122038 = -53*s. Is s a multiple of 29?
True
Let l(c) = -c**3 - 7*c**2 - 5*c + 13. Does 6 divide l(-7)?
True
Suppose 5*c - 12 + 2 = 0. Suppose 10*a = c*a + 832. Does 22 divide a?
False
Let a(y) = -4*y - 8. Let x be a(-7). Let r(q) = q**2 + q - 16. Let t be r(-5). Suppose -t*c + x = -2*c. Is c a multiple of 10?
True
Suppose -3*h = -o, -3*o = h + 2*h. Let z = 17 + -12. Suppose 12 = x + x - 4*n, h = -4*x - z*n + 37. Is 4 a factor of x?
True
Is 2002/33*(-27)/(-6) a multiple of 21?
True
Suppose -2 - 1294 = -24*h. Is h a multiple of 16?
False
Suppose -4*d + 145 = -y, 0 = 4*d + 4*y - 25 - 95. Is 737/5 - 14/d a multiple of 21?
True
Let n = 200 - 330. Let o = -60 - n. Is 14 a factor of o?
True
Let o = -91 - -469. Is o a multiple of 9?
True
Let d(h) = 5*h**2 + 2*h + 50. Is d(-9) a multiple of 72?
False
Let f = 16 + -14. Suppose f*l - 93 = 5. Suppose -143 = -2*j + l. Is 34 a factor of j?
False
Is (-2)/((-24)/(-36)) + (305 - 0) a multiple of 12?
False
Let f = -207 + 211. Let q = 5 + -1. Suppose -q*k + 54 = 4*w - 218, -4*k = -f*w + 240. Is 16 a factor of w?
True
Let a(n) be the second derivative of -n**5/20 + 13*n**4/12 + 17*n**3/6 - 4*n**2 - 11*n. Is 4 a factor of a(14)?
False
Let j = -357 - -380. Let t be ((-8)/(-20))/((-2)/(-120)). Suppose t*g = j*g + 64. Does 8 divide g?
True
Let i = -2 - 3. Let l(q) be the second derivative of -3*q**3/2 - 3*q**2 - 21*q. Is l(i) a multiple of 6?
False
Let x be (-8)/(-14) + (-1248)/28. Let c be (-10)/(-15) + x/(-6). Suppose 2*b = m + 56, -4*m = -c*m + 16. Does 15 divide b?
True
Suppose -7*m = -2*d - 3*m - 8, -3*d - 2*m + 20 = 0. Suppose d*t = 2*f + 260 + 40, -5*t = -f - 372. Is t a multiple of 16?
False
Does 2 divide -1 - (4/(-14) - (-2952)/(-56))?
True
Let p(x) = -4*x + 23. Let q be p(4). Let k(m) = 2*m**2 + 4*m + 17. Is 42 a factor of k(q)?
False
Suppose -2*b - 2088 = -2*j + j, 0 = -3*j + 4*b + 6270. Suppose 0 = 4*m + t - j, 0 = m - 3*t - 384 - 146. Suppose 0 = -6*a - m + 1280. Is a a multiple of 34?
False
Let d = 82 + -25. Let j = 71 - d. Is j a multiple of 14?
True
Suppose 3909 + 5139 = 26*c. Is c a multiple of 87?
True
Suppose 22*o - 31988 = -0*o. Does 64 divide o?
False
Let p = 11 + -4. Suppose p*d = 5*d - 188. Let l = 132