 derivative of w**4 - w**2/2 - w. Suppose 7*p - 5*f + 5 = 2*p, -f + 5 = -5*p. Is y(p) a multiple of 11?
True
Suppose 0 = -5*k + 682 - 297. Is 17 a factor of k?
False
Is 8/(-14) - (-4470)/105 a multiple of 7?
True
Suppose -78 = 4*u - 5*u. Suppose 3*k = -5*s + s + 85, 3*k - u = 3*s. Is 7 a factor of k?
False
Let r be (-1 - -3) + -3 - -55. Is (-4)/12*-1*r a multiple of 10?
False
Suppose -53*g + 35379 = -101997. Does 32 divide g?
True
Let c = 1510 + -994. Let x = c - 351. Is x a multiple of 17?
False
Suppose 5*h - 2381 = -3*m, -22 = 3*m - 5*h - 2453. Is 55 a factor of m?
False
Suppose -w = -2*w + 3*z - 1, -5*w - 3*z + 49 = 0. Suppose 2*f - 4*f = 3*n - 3, 2*n = 3*f + 2. Is 4 a factor of (w/n)/(1 + 0)?
True
Let z = 975 + -947. Does 4 divide z?
True
Let a be (-28)/21*6/(-4). Suppose 0 = a*w + w - 69. Suppose -c - 185 = -5*t, 6*c - 3*c + w = t. Is 19 a factor of t?
True
Let t = 62 + -39. Let y = t - -22. Does 3 divide y?
True
Suppose 4*i - i = 3*b - 6, 4*i + 11 = 5*b. Suppose -b*v - 6 = -5*v. Suppose v*l - l + 93 = 3*a, -a + 39 = 2*l. Is 11 a factor of a?
True
Let t be (3/((-15)/28))/((-4)/(-290)). Let o = t - -571. Is o a multiple of 23?
False
Suppose 0 = 4*o - 2*o - 2*j - 302, -5*o = j - 743. Is o a multiple of 20?
False
Let l(m) = 56*m**3 + 2*m**2 + 2*m + 4. Let w be l(-4). Let c be 1/5 - w/20. Suppose -4*r + r + 107 = -y, 5*r = 2*y + c. Is r a multiple of 12?
True
Let u(r) = 12*r**3 - r**2 + 5*r - 10. Let t(j) = j**3 + j - 1. Let a(s) = -4*t(s) + u(s). Is 23 a factor of a(3)?
False
Suppose 2*d + 0 = 38. Let f be (3 - d)/((-3)/12). Suppose 17 = 3*k - f. Does 9 divide k?
True
Suppose 4*z - 45 = z. Let k be (-6)/z - 674/(-10). Suppose 5*j + 12 = k. Is 11 a factor of j?
True
Let p(t) = 3*t**2 + 0*t - 8*t**3 + t - 55*t**3. Is 19 a factor of p(-1)?
False
Suppose 0 = -2*t + 51 + 669. Is t a multiple of 10?
True
Suppose -65 = -6*p + 457. Let r = 3 + 0. Suppose r*c - p = -21. Is c a multiple of 6?
False
Let m(s) = 3*s**3 - 2*s**2 + 4*s - 3. Is 2 a factor of m(3)?
True
Let v(b) = 3*b + 13. Let o be v(-5). Let l = 1 - o. Suppose -3*n - n = -l*p - 14, 0 = 5*p - 10. Is n a multiple of 5?
True
Suppose 0 = -0*b - 5*b. Let q = b - 0. Suppose -i = 5*j - 113, q*i + 3*i = -2*j + 53. Does 11 divide j?
True
Suppose 15 = -7*z + 57. Let v(u) = 3*u - 8. Does 7 divide v(z)?
False
Suppose -545*q = -542*q - 2817. Is 16 a factor of q?
False
Let u(f) = 4*f**2 - 4. Suppose 0 = 3*a - 5*q - 4, -4*a + 2 + 7 = -3*q. Suppose 14 = -a*b + 5. Does 8 divide u(b)?
True
Suppose 5436 = 4*k + 2*k. Is k a multiple of 133?
False
Suppose 3*f - 3051 = 717. Does 19 divide f?
False
Let l = 173 - 107. Suppose 5*u - 2*i = 54, -5*u - 5*i = -3*i - l. Is u a multiple of 12?
True
Let f be -2 - (254/(-3) + (-17)/51). Let a = f + -43. Is a a multiple of 11?
False
Suppose -d + 11 = 3*l - 6*l, -2*d = -4*l - 16. Suppose -n - 6 = -4*g - d, 12 = 3*n. Suppose 0 = -g*o + 3*b - 4*b + 45, 2*b - 69 = -3*o. Does 7 divide o?
True
Let l(o) = o**3 - 10*o**2 - o + 11. Let r be l(10). Is 14 a factor of (-15 - -152) + (5 - (r + 1))?
True
Suppose n + 5*n - 24 = 0. Suppose -n*d + 253 = 61. Does 8 divide d?
True
Suppose -3*r + 1942 = 115*x - 110*x, 4*x + 2600 = 4*r. Is 8 a factor of r?
False
Is 17 a factor of (170/(-3))/(138/(-4968))?
True
Suppose 18*f - 19*f = -103. Suppose -4*i + 37 = 3*h - f, -5*h - 5*i = -235. Is h a multiple of 16?
True
Let t(l) = -l**2 - 4*l + 10. Let d be t(-7). Let g = 29 + d. Is g even?
True
Let h(j) = 258*j**3 + j**2 + 10*j - 10. Is h(1) a multiple of 7?
True
Let k = -39 + 42. Let h be (2 - k/1)*7. Let w = 16 + h. Is 3 a factor of w?
True
Suppose -b - 104 + 102 = 0. Let z be 4/6*-3*4. Is (-1695)/(-20) + b/z a multiple of 17?
True
Is 53 a factor of 4/(8/6) + (-6 - -361)?
False
Let q = -20 + 26. Let f = -9 + q. Let z(m) = 3*m**2 + 6*m + 7. Does 8 divide z(f)?
True
Let x = -1021 - -1561. Is 12 a factor of x?
True
Suppose -16*c = -25*c + 2124. Does 20 divide c?
False
Does 22 divide 177/4 + (6 - (-50)/(-8))?
True
Suppose -f - 20 = -4*v, -f = 5*v - 5*f - 36. Let i be (-21)/(-28) + (-27)/v. Is 5 a factor of (6/(-10))/(i/150)?
True
Let g(r) = -2*r**3 + 5*r**2 + 3*r - 4. Let a be g(-4). Suppose -23*z + a = -19*z. Is 11 a factor of z?
False
Let a be (-16)/(-56) + 2874/(-14). Let s = 301 + a. Is 16 a factor of s?
True
Suppose 0 = -2*o - 3*v + 798, 5*o - 571 - 1458 = v. Is o a multiple of 4?
False
Let c = 190 + -293. Let u = 223 + c. Suppose -u = 2*h - 6*h. Is h a multiple of 13?
False
Let f(y) = -y**2 + y + 4. Let d be f(-2). Let n be d - (2 + -5)*19. Let m = -23 + n. Is m a multiple of 16?
True
Let n(y) = -y**3 - 5*y**2 - 11*y - 5. Let z be n(-4). Is z/(-69) - (-98)/6 a multiple of 4?
True
Let y(a) = -a**3 - 2*a + 20. Let z be (-8)/10 + (-8)/(-10). Let h be y(z). Suppose -5*f + h = -80. Does 15 divide f?
False
Suppose -311*y = -300*y - 5533. Is 91 a factor of y?
False
Let v(c) = c**3 - 9*c**2 + 15*c - 2. Let a = -85 - -92. Does 4 divide v(a)?
False
Let o(g) = g**2 + 15*g + 34. Let x be o(-21). Suppose -3*m + 8*m = x. Does 16 divide m?
True
Let f = 47 + 39. Does 4 divide f?
False
Let a(i) = i**3 + 17*i**2 - i - 8. Let t be a(-17). Suppose -257 = -3*h - 5*l - t, 5*h = -2*l + 445. Is h a multiple of 13?
True
Let u be (1 - -4)/((-3)/6). Does 27 divide (-4690)/(-15) + u/6?
False
Suppose -3408 = -4*h - 188. Is h a multiple of 35?
True
Let y(w) = -41*w - 74. Is 12 a factor of y(-10)?
True
Let a = -269 + 281. Is 2 a factor of a?
True
Suppose -9*u = -7*u + 4*m - 194, 0 = 3*u - m - 291. Does 42 divide u?
False
Let t(s) be the first derivative of -s**4/4 - 3*s**3 - 4*s**2 - s + 11. Suppose 2*o + 18 = -5*l, 44 = -5*o - l - 1. Is t(o) a multiple of 11?
False
Let g(b) = 9*b - 3 - 3*b + 2. Let f be g(-18). Let m = -57 - f. Is 11 a factor of m?
False
Suppose -j + 1 = 3*r - 7, -2*j - 2*r + 12 = 0. Suppose 5*f - 19 = -2*p, -p + 29 = p - j*f. Is 12 a factor of p?
True
Suppose -5*a - 4*g + 5990 = -3*g, -2*a + 2409 = 3*g. Does 91 divide a?
False
Let p(c) = -c - 1. Let i(m) = 8*m - 32. Let s(n) = -i(n) - 5*p(n). Is s(-7) a multiple of 14?
False
Suppose 5*i = -4*x + 97, -i = -2*i - 4*x + 29. Let g = -28 + i. Let w = g + 16. Is w a multiple of 3?
False
Let r(t) = -t**2 - 2*t + 13. Suppose 0 = -5*c + 2*c. Is 9 a factor of r(c)?
False
Let c be 6/9*(15/10 + 3). Suppose -c*w + 55 = -164. Does 3 divide w?
False
Suppose -118*y + 114*y = -880. Is 21 a factor of y?
False
Let l(d) = d**3 + 2*d**2 - 2*d + 3. Let h be l(5). Is ((-36)/14)/((-4)/h) a multiple of 12?
True
Suppose 0*u + u - 4 = 0. Suppose 0*c - 4*c = -u. Does 10 divide 4/(-12)*-123*c?
False
Suppose 4*p - 4*q + 522 - 2706 = 0, -3*p + 2*q = -1638. Is 21 a factor of p?
True
Let b(g) = 63*g**2 - 10*g + 9. Is 48 a factor of b(3)?
False
Suppose r + 12 - 88 = 0. Let z(i) = -i**3 + 6*i**2 - 6*i - 6. Let j be z(6). Let u = r + j. Is 11 a factor of u?
False
Let m be 6 + (-3 + 2)*2. Suppose 5*o + m*f - 127 = 0, f = 5*o + 2*f - 118. Suppose -5*k = 4*r - 29, 4*r - 3*k - 76 = -o. Is r a multiple of 10?
False
Let g be (0*(-2)/4)/(0 + -2). Suppose -5*x + 2*k + g*k + 75 = 0, 5*k = x + 8. Is 15 a factor of x?
False
Let j(w) be the third derivative of -w**6/180 + w**5/30 + w**4/12 + 12*w**2. Let s(u) be the second derivative of j(u). Does 20 divide s(-9)?
True
Suppose 3588 = 2*w - 4*v, 0 = 4*w - 28*v + 32*v - 7212. Does 15 divide w?
True
Let v be (-20)/(-8)*56/20. Suppose 8*i + 7 = 10*i - j, i - 4*j = v. Does 3 divide i?
True
Suppose -4*u - 7 = -5*u + 3*x, -4*u + 18 = -2*x. Suppose 45 = u*z + z. Is z a multiple of 9?
True
Suppose 0 = 5*b - 109 - 166. Let o = 107 - b. Is o a multiple of 13?
True
Let u be 0 + (-4)/4 - -3. Suppose -4*t - 3*r + 16 = 0, -u*t + 3*r + 8 + 0 = 0. Suppose 2*y + 3*y = 2*f - 40, -3*y = t*f - 80. Is 6 a factor of f?
False
Suppose -892*i + 889*i = -306. Is i a multiple of 6?
True
Does 19 divide 15/30*184/2?
False
Is (-476)/((-10)/(9 - 4)) a multiple of 33?
False
Let g(o) be the second derivative of o**4/12 - o. Let w be g(2). Is 10 a factor of (-1)/(-1) + 76/w?
True
Suppose -2*w = 5*t - 1310, 4*t - 475 = 5*w + 573. Is t a multiple of 11?
False
Suppose 2*j = -2*r + 1114, 5*r - 3*j + 547 = 6*r. Is r a multiple of 34?
False
Suppose -l - 3*i = 2, 4*l + 3*i + 4 = 32. Suppose 4*c = 2 + l. Does 11 divide c/((-12)/(-160) + 0)?
False
Suppose -31 + 10 = -7*i. Does 4 divide 2/(i*5/