derivative of a**6/120 - 2*a**5/15 + a**4/3 + 4*a**3/3 - 14*a**2. Does 7 divide o(7)?
False
Let q = -46 - -64. Suppose 2*v = q - 2. Suppose 16 = 4*k + i, -5*i - 22 = -2*k + v. Is k a multiple of 2?
False
Let v(m) = 15*m**2 + 1. Let h be v(-2). Suppose -h = -4*t - 5. Is t a multiple of 8?
False
Let a be 0/((-20)/9 - 4/(-18)). Does 14 divide (4 - 6) + a - 228/(-2)?
True
Let d(v) = 19*v**2 + 10*v - 1. Let x(c) = c**3 - c**2 + c - 4. Let l be x(2). Is d(l) a multiple of 19?
True
Suppose 20*f + 3815 - 12655 = 0. Is f a multiple of 49?
False
Suppose -11328 = -3*s + 3*h, -6770 - 4558 = -3*s - 4*h. Is 32 a factor of s?
True
Let w = 18 + -16. Suppose w*s - 76 = -v, 3*s + 3*v = v + 115. Let x = s - 19. Is 7 a factor of x?
False
Let x(v) = -70*v - 14. Let u be x(-1). Is (u/6)/(12/54) a multiple of 14?
True
Suppose 5*f + 5 = -6*w + w, -5*f + 5*w + 25 = 0. Suppose 2*v + v - 4*k = 120, f*k = v - 42. Is 30 a factor of v?
False
Let l(d) = -92*d - 138. Is 22 a factor of l(-7)?
True
Let p(i) = i**2 + 4*i. Is p(-7) a multiple of 7?
True
Let a(v) = v + 1. Let x be a(-1). Let w be (-12)/20*(-30 - x). Suppose w = -m + 49. Is m a multiple of 31?
True
Suppose -2*b = -5*b + 12. Suppose -b*p - 7 = -23. Does 20 divide (2 - p)/(-2)*60?
True
Let y(k) = -2*k + 23. Let z be y(9). Suppose 0 = -0*d - 3*d - 2*w + 380, -4*d + 495 = z*w. Is d a multiple of 26?
True
Let s = 294 + 19. Is 9 a factor of s/5 + (-8)/(-20)?
True
Let a(n) = 7*n + 16. Let f(h) = -9*h - 15. Let u(g) = -6*a(g) - 5*f(g). Let v(i) = 3*i**3 - i**2 - 4*i + 3. Let l be v(2). Is 4 a factor of u(l)?
True
Let w(p) be the first derivative of 145*p**3/3 - 7*p**2/2 + 8*p - 27. Does 18 divide w(1)?
False
Is 17 a factor of -10 + (-4038)/(24/(-4))?
True
Suppose 31*a - 2*w + 272 = 32*a, 852 = 3*a - 3*w. Does 35 divide a?
True
Let n = -83 - 27. Is 12 a factor of 11/33 + n/(-3)?
False
Let g = 10 + -7. Suppose 2*u + 2 = 5*w + 3, -g*w + 41 = 4*u. Does 5 divide ((-11)/4)/((-2)/u)?
False
Let k(u) = -10*u + 84. Is k(-13) a multiple of 3?
False
Suppose 4703 = 5*f + 12*u - 9*u, u + 4 = 0. Is f a multiple of 57?
False
Let h(a) be the first derivative of -a**4/4 + 2*a**3/3 - a**2 + 2*a + 3. Let d be h(2). Is 4 a factor of 1/d*-6 + 3?
False
Let v be (2/(-4))/((-1)/26). Suppose -80 = -i + v. Is 14 a factor of i?
False
Let x be (-2146)/(-7) + (-4)/((-84)/9). Suppose x = 3*y + 298. Is y even?
False
Is (-47421)/(-87) + 2/(-29) a multiple of 50?
False
Let k(f) = -5*f + 24. Is k(-6) a multiple of 20?
False
Let q be 4 + -6 + 2 + 22. Suppose 4*f - q = 14. Does 2 divide f?
False
Let d(z) = 5*z**3 - 11*z**2 + 10*z + 8. Let o(t) = t**3 - t + 1. Let m(n) = -d(n) + 4*o(n). Is m(6) a multiple of 34?
False
Let l be ((-10)/(-3))/((-8)/(-2316)). Suppose 0 = -12*c + 7*c + l. Is 38 a factor of c?
False
Suppose 2*g - 562 = -p, 1250 = 3*g + p + 408. Suppose -8*l + 9*l = g. Is 35 a factor of l?
True
Let x(c) = 3*c**2 + 12*c + 17. Let k = -19 + 12. Is 16 a factor of x(k)?
True
Let p = -12 - -341. Is p a multiple of 18?
False
Let l = -87 - -327. Does 5 divide l?
True
Does 2 divide (-75)/(-3) + (-1 - -8)?
True
Let m = -15 - -15. Is 4*(m + 2) + 3 a multiple of 2?
False
Suppose 23*m = 27*m - 28. Let g(u) = u**3 - 5*u**2 - 14*u + 7. Is g(m) a multiple of 3?
False
Let y(t) = t**3 + 7*t**2 - 2*t + 8. Let l be ((-24)/(-36))/(1 - 23/21). Is y(l) a multiple of 11?
True
Let j be 10*(-114)/(-4) - -1. Let b = 189 + j. Suppose -r + b = 4*r. Is r a multiple of 20?
False
Let q(b) be the first derivative of b**2/2 - 4*b + 1. Let v be q(6). Suppose 2*g + 63 + 21 = v*z, -5*z = -4*g - 212. Is 22 a factor of z?
True
Let n(q) = 0 + 10*q + 11*q + 4 - q. Is n(5) a multiple of 20?
False
Let p(l) = -l**2 + 5*l - 2. Let d(j) = j**2 - 6*j + 1. Let x(r) = -6*d(r) - 5*p(r). Let g be (-2)/(4/(-18) - 0). Is x(g) a multiple of 22?
True
Suppose -2*f - 2 = -20. Suppose f = d + 2*d. Suppose -2*t - p + 45 = d*t, 4*p = t - 30. Is 5 a factor of t?
True
Suppose -4*s + 3*v + 12 - 32 = 0, 3*v = 2*s + 10. Let j = s + 10. Does 18 divide 50/(-10)*(-54)/j?
True
Let n = -33 - -31. Is 40 a factor of 140 + 1 + (n - -4) + 0?
False
Suppose 6*x = x + 355. Let q = x - 21. Does 25 divide q?
True
Let p(u) = -3*u**2 + u - 1. Let a be p(0). Let f = a + 70. Does 23 divide f?
True
Let o = 70 - 28. Suppose -6*v - o = -z - v, 2*z - 144 = -2*v. Is z a multiple of 14?
False
Let q(k) = k**2 - 8*k + 17. Let a be q(5). Suppose a*b - 100 = 28. Is b a multiple of 17?
False
Let w(t) be the first derivative of 17*t**5/30 - t**4/24 + t**3/6 - 3*t**2/2 - 5. Let q(m) be the second derivative of w(m). Does 7 divide q(1)?
False
Let q(j) = j**3 + 9*j**2 - 9*j + 12. Let h be q(-10). Suppose -h*o - 48 = -184. Does 17 divide o?
True
Let j(f) = -3*f**3 - 43*f**2 + 6*f - 51. Is j(-17) a multiple of 73?
False
Suppose -10*a = -17524 + 24. Is a a multiple of 10?
True
Suppose 4*b - 14827 = -3*t, -5*t + 19385 = 2*b - 5308. Is 139 a factor of t?
False
Let x be ((-3)/6)/(1/(-22)). Suppose q + 2*p + 40 = -3*q, -3*p - 33 = 3*q. Let g = x - q. Is g a multiple of 6?
False
Let b be 106/10 - 36/(-90). Suppose 3*u - 3*v = -4*v + 5, 0 = 5*u + v - b. Suppose 3 = z, -5*a - u*z + 137 = -3*a. Is 28 a factor of a?
False
Let f be 3 - 1/((-3)/6). Suppose 5*i + 4*j - 290 = 0, 3*j - 255 = -f*i + 6*j. Is i a multiple of 10?
False
Let q be 1155/60 - (-1)/(-4). Let x = q - 14. Suppose -53 = -2*h + 3*t, x*t = -5*h + 88 + 7. Is 6 a factor of h?
False
Is ((-7)/(-49)*7)/(2/262) a multiple of 5?
False
Suppose 8*j = 6*j - 3*u + 3979, -5*j - 3*u + 9934 = 0. Is j a multiple of 10?
False
Let z(a) = a**3 - 13*a**2 + 6*a - 15. Let x be z(11). Suppose n = -4*o, -n = -o - 3 - 2. Does 15 divide 5/20 - x/n?
False
Let x(l) = l**3 - 13*l**2 + 15*l + 6. Suppose 4*n - 40 = 4*c, -n - n - 3*c = -5. Suppose 4*m + 36 = n*m. Is 14 a factor of x(m)?
True
Let d = 12 + 89. Does 35 divide d?
False
Suppose 3*g = -2*l - 374, g + 5*l + 168 = 39. Let f = g - -193. Is f a multiple of 15?
False
Let y(j) = j**3 + 9*j**2 - 3*j + 9. Let q be y(-9). Let r = q + 7. Let v = -30 + r. Does 10 divide v?
False
Let f = -21 - -26. Suppose f*j + 72 = 352. Is 14 a factor of j?
True
Let t(n) = -n**2 - 4*n - 1. Let d be t(3). Is 9 a factor of 4/d - ((-640)/11 - 2)?
False
Suppose -5*h - 6295 = -2*p, 5*h + 9365 = 5*p - 6380. Suppose 0 = 13*x - 28*x + p. Does 42 divide x?
True
Let s(u) = 124*u**2 - 4*u - 11. Does 23 divide s(-3)?
False
Suppose 3*j - 2*i + 30 = 7*j, -i = -j. Suppose c + 205 = j*p, -p - 2*c = 3*p - 150. Is p a multiple of 5?
True
Suppose 6 = v + 4*s, 5*v + 36 = v + 4*s. Let q be v/4*180/54. Is 27 a factor of (-11 + 51)*q/(-2)?
False
Suppose -q - 3*c + 8*c = -11, q - c - 7 = 0. Suppose q - 50 = -4*d. Is 4 a factor of d?
False
Suppose 5*l - 4*l - 52 = 0. Let i = 171 - l. Does 10 divide i?
False
Let g(n) = n**2 + 11*n + 23. Is 6 a factor of g(-24)?
False
Let d = -183 - -211. Suppose 483 = 5*h - 457. Suppose 4*s + d = h. Does 20 divide s?
True
Let l(p) = 5*p**2 + 15*p - 84. Is 86 a factor of l(13)?
False
Suppose -11 = -5*x + 4*z + 11, -5*z - 5 = 5*x. Suppose 0*o - 4*o + x*m = -62, -4*o - m = -77. Is 6 a factor of o?
True
Suppose 5*r = -5, -2*o + 89*r = 86*r - 349. Is o a multiple of 6?
False
Let o be (-1)/(-3) + 70/6. Let s be (o/(-5))/(4/(-210)). Let f = -50 + s. Is f a multiple of 23?
False
Let f be ((-3)/(-9))/(2/60). Suppose 5*j + 2*u - 53 = 6*u, -j = -u - f. Is j a multiple of 5?
False
Let k(g) = g**3 + 16*g**2 + 4. Let o be k(-16). Suppose 0 = -3*q - p + 156, o*q + p - 206 = -p. Does 6 divide q?
False
Let o(l) be the first derivative of 1/3*l**3 + 1 + 2*l + 3/2*l**2 - 3/4*l**4. Is o(-2) a multiple of 11?
False
Suppose 36 - 16 = 5*o. Suppose 0*p = p + m - 66, -o*p + 246 = -5*m. Does 8 divide p?
True
Let f be ((-2)/(-6) + (-4)/3)*-213. Let v = -142 + f. Is 5 a factor of v?
False
Is (-1192077)/(-324) + (-1)/4 a multiple of 13?
True
Let j(l) = -10*l + 3. Let g be j(2). Let r = -10 - g. Suppose 14 = 3*i - r. Does 5 divide i?
False
Suppose 5*k - 308 + 88 = 0. Let d = k + 46. Does 14 divide d?
False
Let y = 372 - 1042. Does 44 divide y/(-5) + -1 + -1?
True
Suppose 3 = -z - 49. Let k = 167 + z. Is 9 a factor of k?
False
Suppose 24*m = 16*m + 112. Is m a multiple of 7?
True
Is 32/6*(-10557)/(-18) a multiple of 23?
True
Let c(g) = 5*g - 1. Let n(u) = 2*u**3 - 2*u**2 + 2*u - 1. Let i be n(2). Is 27 a f