 3*v**2 - 15*v - 29. Is q(-2) a multiple of 19?
False
Let z(w) be the second derivative of -2*w**3/3 + 2*w. Let j be z(2). Let g = j + 33. Is g a multiple of 5?
True
Let u(q) = 74*q**3 - q**2 + 21*q - 100. Is u(4) a multiple of 9?
False
Let h = 113 + -110. Suppose -94 = -h*m + 662. Does 63 divide m?
True
Let k(l) = -4*l**2 - l - 13. Let r be k(-4). Let x = r - -129. Let w = x + -48. Does 8 divide w?
True
Does 48 divide (-10648)/(-6) + (-660)/(-495)?
True
Let z = -8 - -8. Let i(d) = 5*d**3 - 5*d**2 - 36*d + 14. Let r be i(-4). Does 15 divide (1 + z)/((-11)/r)?
False
Suppose 4*w + 43 = 1499. Let i = w - 325. Is 8 a factor of i?
False
Suppose -23*t - 6839 = -13*t - 22879. Is t a multiple of 42?
False
Let w(r) = -r**3 + 11*r**2 - 4*r - 12. Let y(m) = 2*m - 25. Let i be y(16). Does 12 divide w(i)?
True
Suppose 2*p + z = 0, -2*p - z - 2*z = 8. Suppose -p*f + v - 1 = -2, 8 = -2*f + 4*v. Is 4/2*21/f + 1 a multiple of 7?
False
Let w be ((-2)/(-6))/(45/56295). Suppose 470 = w*c - 416*c. Is c a multiple of 10?
True
Let r(z) = -6*z + 17. Let l be r(6). Let q = 28 + l. Is 42 a factor of ((-168)/(-10))/(1 - q/10)?
True
Let y be (-3)/12*3 + (-1242)/(-24). Suppose -f = 3*k + 4*f - 221, -4*k = 3*f - 302. Let b = k - y. Does 13 divide b?
True
Let s(l) = 2*l**2 + 3*l - 6. Let h be s(7). Let z be 7/(-42) - 2090/(-228). Suppose -h = -z*v + 58. Is 2 a factor of v?
False
Suppose -7*a = -4*y - 6*a + 37772, 16 = 4*a. Is y a multiple of 44?
False
Let n(v) = 92*v**3 + 18*v**2 - 13*v + 49. Is n(3) a multiple of 15?
False
Let y(v) = -v**3 - 17*v**2 + v + 8. Let z be y(-17). Let b(h) = h**2 + 12*h + 30. Let p be b(z). Suppose -p*f = -214 - 68. Does 11 divide f?
False
Suppose -4*k - 628 = -0*k. Let j = -121 - k. Is j a multiple of 9?
True
Let p = -5 + -4. Let i(z) = z**2 - 7*z - 43. Is 6 a factor of i(p)?
False
Let h(s) = -6*s**2 - 7*s + 1. Let f be h(-2). Let k(g) = -75*g - 162. Is 19 a factor of k(f)?
True
Let k = 21770 - -33801. Is 42 a factor of k?
False
Suppose 30572 = 4*w + 4*s, 4*s + 13922 + 1370 = 2*w. Is w a multiple of 25?
False
Suppose -91 = 4*b + 121. Let q = -37 - b. Suppose y + q = 2*y. Is y a multiple of 4?
True
Let q = 4188 - 3428. Does 10 divide q?
True
Let d = 38 - 35. Let y(u) = u**3 - u**2 - u. Let j(a) = 26*a**3 + 3*a**2 + 6*a - 4. Let r(x) = d*y(x) + j(x). Is 5 a factor of r(1)?
False
Suppose 2*u + 2*c + 29 = 15, -c = 3. Does 115 divide (-6)/u*(-36744)/(-36)?
False
Let y(w) = -10*w + 6. Let k be (-30)/6 - (0 + (-1 - -3)). Let d be y(k). Suppose 16*p - d = 14*p. Is p a multiple of 6?
False
Is 8 a factor of -21*((-594)/(-135))/(18/(-165))?
False
Let n(t) = t**3 - 2*t**2 + 5*t - 152. Let w be n(0). Let q = 529 + w. Is q a multiple of 13?
True
Let h be 8*2/6*(-120)/(-16). Let n be ((-2)/(-3))/(h/3 - 6). Does 6 divide (-572)/(-4) + 0/n?
False
Let k(c) = c + 8. Let v be k(-8). Suppose 3*q - 26 = 3*i + 163, 4*q + 3*i - 259 = v. Is q a multiple of 9?
False
Let g = 67 - 59. Let a be 4*(-3*(-10)/g - 3). Let o(v) = 50*v - 6. Does 12 divide o(a)?
True
Suppose -4*c - 42 = -18*c. Suppose 2*v + o - 692 = -c*o, -2*o = -2*v + 680. Is 18 a factor of v?
True
Let z be (28 - 12)/(4/(2 + 0)). Is 5 a factor of (4 - z/6)*(-9)/(-2)?
False
Let h be ((-27)/(-2))/(-2 - (-4006)/2000). Suppose h = 5*p + 15*p. Is 15 a factor of p?
True
Let t = -35 - -49. Suppose -118 = -2*f + t. Let q = f - -21. Is q a multiple of 13?
False
Let p(c) = -56*c**2 + 9*c + 3 + 4 - 6. Let b be p(3). Let v = 690 + b. Is v a multiple of 16?
False
Let m(p) = 16*p**2 + 104*p - 777. Is m(23) a multiple of 75?
False
Let v(u) = u + 31. Let q be -40*4/6*42/(-28). Let g be 4/10 - (-1)/(q/224). Is v(g) a multiple of 3?
False
Let k(u) be the second derivative of u**3 - 15*u**2/2 + 21*u. Let i be k(3). Suppose -312 = -i*b - 5*a, 6*b = 3*b - 2*a + 312. Is 5 a factor of b?
False
Let j(w) be the third derivative of 0*w - 1/12*w**5 + 16*w**2 + w**3 - 5/24*w**4 + 1/120*w**6 + 0. Does 4 divide j(6)?
True
Let v(l) be the first derivative of -l**4/4 - 6*l**3 - 17*l**2/2 - 4*l - 9. Let t be v(-17). Is 5 a factor of (t + 0)/(-4) - -54?
True
Suppose 8 = -u + 4*c, 4 = -c + 6. Suppose 5*v - v - 2*o - 2954 = u, o - 731 = -v. Is v a multiple of 75?
False
Let d(g) = 5*g + 58. Let l be d(-10). Suppose -10*o = -l*o + 4*k - 416, 609 = 3*o + k. Is 54 a factor of o?
False
Suppose 0 = -12*b + b - 242. Let w = b - -42. Is w a multiple of 10?
True
Let y = -77 - -79. Suppose -96 = -y*f - f. Let m = 65 - f. Is 18 a factor of m?
False
Let o = 69367 + -29766. Is 22 a factor of o?
False
Suppose k = -u + 3*u - 8, -u = 4*k - 4. Let f be (99 - k)*1 - (-8)/4. Suppose -m + f = 31. Is 24 a factor of m?
False
Let w(q) = q**2 - 7*q + 10. Let t be w(5). Let v be (13/1)/((-1)/(-2) + t). Is (28 + 0)/(13/v) a multiple of 12?
False
Is (-3 - -3293) + 21 + -32 a multiple of 78?
False
Suppose -4*w + 24 + 220 = 4*x, 277 = 5*x - 2*w. Let g = 440 - x. Suppose g - 23 = 4*z. Is z a multiple of 18?
True
Let a = -201 - -206. Suppose k - 2*t = 198, 2*k + 0*k = -a*t + 369. Is 7 a factor of k?
False
Let u(l) = 849*l**2 - 28*l + 58*l + 9 - 38*l. Does 34 divide u(1)?
True
Let j be (1854/4)/(-3)*(-3 + 45). Let t be j/(-45) + 2/(-10). Suppose 0 = 3*d - 18 - t. Is 24 a factor of d?
False
Let v(x) be the third derivative of x**3/3 + 14*x**2. Let k(b) = -33*b + 11. Let l(q) = 2*k(q) - 18*v(q). Does 28 divide l(-2)?
False
Let a = 4229 + -2416. Is a a multiple of 37?
True
Suppose 3487 = 2*c - 4*r - 4119, -r + 19070 = 5*c. Suppose 0 = 5*p - 2*a - c, -a - 49 = 5*p - 3865. Is 14 a factor of p?
False
Let i be (-120)/65 - -2 - (-63)/13. Suppose 2*m + 6*r - r = 323, i*m = 5*r + 755. Does 14 divide m?
True
Let c(w) = w**3 + 32*w**2 + 2*w - 3. Does 43 divide c(-13)?
True
Let z = -887 + 606. Suppose 2*g + 545 = g. Let i = z - g. Is 22 a factor of i?
True
Suppose -13914 = -g - 5*r, -r - 39 + 37 = 0. Is 10 a factor of g?
False
Is ((-66934)/(-28))/((-20)/16*(-2)/5) a multiple of 66?
False
Let d = 10 - 6. Let q(a) be the first derivative of -a**4/4 + 4*a**3/3 + 7*a**2/2 - a - 1940. Is 4 a factor of q(d)?
False
Does 224 divide 11 + 559/(-52) - 4/(80/(-12595))?
False
Is 161 a factor of 127192/10 + 1 + (-246)/205?
True
Let p be (8/5)/((-26)/195). Let m = p - -16. Suppose 4*x = -m*y + y + 317, 5*y = x + 559. Is 24 a factor of y?
False
Let f(c) = c**3 - 22*c**2 + 42*c - 35. Let r be f(20). Suppose -z = 4*g - 637 - 334, 0 = r*z + 5. Is 27 a factor of g?
True
Is 8 - 0*(1 - 4)/(-9) a multiple of 7?
False
Suppose 1618*w = 1681*w - 985761. Is w a multiple of 21?
False
Let l = 875 - -546. Does 49 divide l?
True
Let i = 118 + -133. Let n be 12/i + 84/30. Suppose 4*y - l = 519, 5*y - n*l + 44 - 692 = 0. Is 10 a factor of y?
True
Let q = 44 - 32. Suppose v = -q + 15. Suppose 2*u + v*s - 251 = 0, u + 2*s = -0*u + 123. Is u a multiple of 19?
True
Let p = -444 - -151. Let v = -464 - p. Let y = -28 - v. Is 9 a factor of y?
False
Is 5*(75656/(-21))/14*(-63)/6 a multiple of 12?
False
Suppose u - 8 = -0. Suppose p = -5*y - 7, 5*p - y - 9 = u. Suppose -i + 152 = l + p*l, 5*i = -l + 38. Does 19 divide l?
True
Suppose l + 6 = 5*x, -4*l = -2*x + 1 + 5. Let v be ((-368)/(-64))/(l/12). Let r = 2 - v. Is 29 a factor of r?
False
Let y be -6 + 12 - 0 - 296. Let z = 139 - y. Is z a multiple of 62?
False
Suppose 0 = -173*b + 97*b + 297236. Is b a multiple of 3?
False
Suppose -5*f - i + 0 = -5, -5*i + 1 = f. Let z be f*17 + (15 - 14). Suppose 1080 = 24*y - z*y. Does 15 divide y?
True
Suppose 8*w - 72176 - 72448 = 0. Does 131 divide w?
True
Let r(p) = -64*p**2 + p + 85*p**2 - 1 + 386*p**2 + 437*p**2 + 58*p**2. Does 11 divide r(1)?
True
Let w be (4 + 96)*(-4)/(-5). Is 10 a factor of (w/(-50))/((-2)/50)?
True
Let t(y) = -2*y**3 + 14*y**2 + 2*y + 14. Suppose 4*r + 5*g - 844 = 0, 633 = 3*r - 6*g + g. Suppose -2*q + 225 = r. Is 2 a factor of t(q)?
True
Let r = 3345 + 13335. Does 12 divide r?
True
Suppose -3084 = -2*u - 3*f, 2*u - 3084 = -0*u + f. Suppose 3*z = 2*o + u, -2*z + 5*o = -132 - 896. Does 13 divide 51/85 + z/10?
True
Let x(u) = 260*u**3 + 2*u**2 - 1. Let p(l) = -l**2 + 33*l + 71. Let f be p(35). Is 18 a factor of x(f)?
False
Suppose -12 = -3*y - y. Suppose -3*j + j - 3*r = -68, -y*r = j - 28. Is (3 - j/15)*24 a multiple of 2?
True
Suppose 253*h - 76586 = 104*h. Does 15 divide h?
False
Let k be ((-3)/5)/(7/420*-9). I