first derivative of k**5/40 + k**4/3 + k**3 - 5. Let i(v) be the third derivative of g(v). Is 7 a factor of i(6)?
False
Let v = 809 + -9. Is v a multiple of 50?
True
Suppose -2*n - 15 = 3*g, 5 = -2*n - 1. Let o be (-1 - (-3 - g))*-31. Suppose 0 = -5*k - o + 121. Is 18 a factor of k?
True
Let q(d) = 136*d - 9. Let r be q(1). Let c = r + -29. Is c a multiple of 7?
True
Let i(r) = -r**3 - 7*r**2 + 6*r - 11. Let y be i(-8). Suppose 0 = -3*s + y*b + 163, s + 7*b - 41 = 2*b. Is 19 a factor of s?
False
Let k(m) = 2*m + 10. Let b be k(19). Is 14 a factor of 6016/b - (-2)/3?
True
Let y(w) = 2*w**2 + 18*w - 18. Let z be y(-10). Suppose -z*l + 15 = -37. Is 4 a factor of l?
False
Let w(d) = -d**2 - 1. Let x be w(2). Let o be (x - -2)/((-3)/13). Suppose l = -o + 118. Is l a multiple of 32?
False
Does 25 divide 383 - ((-72)/(-3))/3?
True
Is 23 a factor of (-10)/(260/5447)*-14?
False
Suppose -3*b - 4*u + 27 = -7*u, 4*b - 2*u = 36. Let m = b - 6. Does 17 divide ((-51)/(-4))/(m/8)?
True
Let b(w) = 99*w - 1. Let y be (-3)/((3 - 2) + -4). Is b(y) a multiple of 10?
False
Suppose 0 = -9*t - 1534 + 3811. Is 23 a factor of t?
True
Suppose 26*k = -91 + 897. Is k a multiple of 8?
False
Let s(h) = -h**2 + 7*h - 4. Let a be (10/(-12))/((-15)/90). Let y be s(a). Suppose 0 = -5*c + 4*g + 439, y*g - 3*g = 5*c - 438. Does 19 divide c?
False
Let s(a) = 7*a**2 - 2*a - 1. Let r(p) = p**2 + p - 4. Let f be r(-3). Suppose 8*x - 3*x - 12 = -3*t, f*x - 6 = 0. Is s(t) a multiple of 2?
True
Let v be (-9)/6*(-57 - 3)/(-2). Let q = 110 + v. Does 13 divide q?
True
Let t(d) = d - 4. Let g be t(8). Suppose -5*q - g*u + 7 = 0, -3*q = -3*u - 16 + 1. Does 3 divide q?
True
Suppose -2*t = -2*g + 4*g - 1274, -5*g = t - 3185. Does 12 divide g?
False
Let i(k) = -5*k**2 + 6*k - 4. Let w(u) = 4*u**2 - 6*u + 4. Let x(o) = 3*i(o) + 4*w(o). Is 8 a factor of x(11)?
False
Let r = 111 + -107. Suppose -r*b + 1778 = 3*b. Is b a multiple of 39?
False
Is 40 a factor of 24/24*(-4 - 1) + 355?
False
Suppose 0 = w + 2*y - 219, 3*y - 4 = 7*y. Does 13 divide w?
True
Let w(d) be the third derivative of d**6/120 + d**5/10 + d**3 + 3*d**2. Let y be w(-6). Suppose 13 = z - y. Is z a multiple of 5?
False
Suppose -11*g - 67 = -12*g. Let o = g - 39. Let f = o - 16. Is 12 a factor of f?
True
Let u be (-35)/1*(7 - (-5 + 11)). Is 2 a factor of (u/(-28))/((-2)/(-8))?
False
Let w(s) be the first derivative of -65*s**4/4 + s**3/3 - s - 1. Let l be w(-1). Let i = l - 16. Is 13 a factor of i?
False
Suppose -4*m - 2*f = -54, -m + 6*f = f - 30. Let v be (-5)/m*(1 - 4). Does 17 divide v*144/4 - 1?
False
Let l(r) = -r + 2. Let p(m) = m + 10. Let c be p(-8). Let z be -5*(0 + c + -1). Is l(z) even?
False
Let w(n) = 2*n**2 - 21*n - 32. Is 22 a factor of w(15)?
False
Suppose -2*i - 3*i = -20, 3*q = -5*i + 26. Suppose g + 3 = q*g. Suppose -u + 73 = 5*m, -g*m - 4*u - u + 57 = 0. Does 8 divide m?
False
Let z(s) = s**3 - 3*s**2 + 6*s - 66. Is z(8) a multiple of 16?
False
Let a(k) = 5 - k - 19 + 5 + 3. Let g be a(0). Let d(s) = -s**3 - 6*s**2 - 3*s - 7. Is 10 a factor of d(g)?
False
Suppose -2*p - 5*m + 427 = 0, -3*p + m = -2*m - 651. Is (6/4)/(2 - 423/p) a multiple of 6?
True
Suppose 0 = -7*j - 0*j + 917. Let r = 257 - j. Is r a multiple of 14?
True
Let t = 11 + -13. Let r be 1*t - (-112)/(-4). Is 6 a factor of ((-28)/35)/(2/r)?
True
Let d(y) = 169*y + 6. Let c be d(3). Let g = 783 - c. Does 30 divide g?
True
Let h(d) = 21*d + 857. Does 31 divide h(-11)?
False
Suppose -7427 = 26*p - 67747. Does 34 divide p?
False
Let v(d) = d**3 + 6*d**2 + 3*d - 1. Let x(s) = -2*s**3 + 4*s**2 - 2*s. Let t be 22/10 - (-4)/(-20). Let n be x(t). Is 7 a factor of v(n)?
False
Suppose 0 = 5*b - 4*d - 3010, 3*b + 0*d = 3*d + 1803. Does 26 divide b?
False
Let u = -226 - -32. Let q = 70 + u. Let t = q - -181. Is 19 a factor of t?
True
Let t be (-14)/8 - (-18)/24. Let i be ((-8)/3)/(2/6). Is 37 a factor of (4 + i)/(t/35)?
False
Suppose o + 1428 = 7*o. Is o a multiple of 18?
False
Let z be 10/(-25) + (-8)/5. Does 4 divide 0 + z + (20 - -3)?
False
Is 11 a factor of (-97 - 5117)/(3/(-2))?
True
Is 91 a factor of (568/3 + 2 - 5)*21?
True
Suppose 25*g - 855 = 22*g. Does 57 divide g?
True
Let q(z) be the first derivative of z**3/3 + 4*z**2 - 4*z + 2. Is 15 a factor of q(7)?
False
Let h(s) = 19*s**2 + 2*s + 1. Let a be (-18)/6 + (0 - -2). Let p be h(a). Suppose -4*m + 10 + p = 0. Is 7 a factor of m?
True
Suppose 55 + 398 = -3*b. Let z = 437 + b. Is z a multiple of 22?
True
Let s(o) = 21*o**2 + 5*o - 3. Let m be s(-3). Suppose 5*p + g - 285 = 0, -3*p + m = -2*g + 3*g. Is 19 a factor of p?
True
Suppose 0 = -2*d + 1 + 3. Does 33 divide 10/(-4) + d + (-259)/(-2)?
False
Suppose 22 = -5*v + 2, 4*v = -g - 13. Suppose -g*f + 4 = -140. Is f a multiple of 18?
False
Let t(j) = -5*j - 2. Let n be t(-4). Let p(w) = -w**2 - 17*w + 19. Let l be p(-13). Suppose s + n = l. Does 16 divide s?
False
Suppose 2*r + 4*w - 1524 = 0, 11*w = -3*r + 12*w + 2258. Is r a multiple of 58?
True
Let f = -66 - 3. Is 5 a factor of 2*(f/(-6) + 0)?
False
Let n(o) = -13*o + 13. Let k(y) = -27*y + 27. Let w(b) = 4*k(b) - 10*n(b). Is w(10) a multiple of 9?
True
Does 15 divide 4 - -245 - (7 - (-60)/(-5))?
False
Suppose -23*r = -r - 4928. Is r a multiple of 27?
False
Let h = 413 - 342. Is h a multiple of 10?
False
Let c(s) be the third derivative of 89*s**5/60 - 4*s**2. Let p be c(-1). Let x = -44 + p. Is 15 a factor of x?
True
Is (1/(-1))/(5 - (-684)/(-136)) a multiple of 15?
False
Let o(t) = -3 + 2 - 5 + 10*t + 4*t. Let w be o(4). Suppose -4*d = -250 + w. Is 25 a factor of d?
True
Suppose 0 = 3*w - 2*f + 5*f, 5*w + 3*f - 6 = 0. Suppose 0 = 3*h - 5*s - 166, h - 2*s - 42 = w*s. Is h a multiple of 31?
True
Suppose -59*j + 64*j - 420 = 0. Is j a multiple of 14?
True
Let k = -4170 - -6621. Is k a multiple of 12?
False
Let b = -4 + 25. Let i be (-12)/(-21) + 72/b. Suppose 6*z - z = 3*w - 183, 0 = i*w - 4*z - 252. Is w a multiple of 33?
True
Let m = 12 + -14. Let b(r) = -19*r - 2. Is 12 a factor of b(m)?
True
Let k = 772 - 523. Is k a multiple of 6?
False
Let v(i) = i**2 + 6*i - 2. Let w be v(-7). Suppose -4*y - 8 = -c, 0*y = 5*y + w. Suppose c*x - 8 = 3*x. Is 7 a factor of x?
False
Let g(l) = 2*l**3 - 3*l**2 + l - 1. Let f(j) = 5*j**3 + j**2 - j - 1. Let k be f(-1). Let q be (k/10)/1*-5. Does 5 divide g(q)?
True
Suppose 2*x = 195 - 45. Suppose 2*s - 5*p = 30, 5*s - 6*p + 4*p = x. Is 5 a factor of s?
True
Let a be 7/(14/(-60))*-11. Let y be 4/(-14) + a/77. Suppose 5*l = 5*s + 110 + 350, -5*s - 370 = -y*l. Is 15 a factor of l?
True
Let m = 385 - -93. Does 42 divide m?
False
Suppose 109*s - 131*s = -11352. Is s a multiple of 5?
False
Suppose -2*l - 6 = -2*q - 3*q, 0 = 2*q - 8. Suppose -l*b + 36 = -2694. Suppose -2*i = -0*j + 4*j - 140, -2*j + b = 5*i. Is i a multiple of 20?
True
Let q = 698 + -471. Does 12 divide q?
False
Suppose -2*p - 1513 = -5*s + 457, -2*p = 3*s - 1198. Is 66 a factor of s?
True
Let q be 380 - (-3 - -3 - -3). Suppose -4*j - 73 + q = 0. Suppose -28 = -2*n + j. Does 15 divide n?
False
Let f(b) be the second derivative of b**7/2520 + b**6/180 + b**5/30 + b**4/4 + 7*b. Let z(j) be the third derivative of f(j). Is 11 a factor of z(-7)?
False
Let j(b) = -6*b**3 + 6*b**2 - 12*b + 4. Let g be j(6). Is 14/(-91) - g/26 a multiple of 44?
True
Suppose 2*j - 1092 = 4*v, 5*v - 2223 = -3*j - j. Is j a multiple of 23?
True
Let w be (-2)/(-12) - 268/24. Let z(u) = -3*u**2 - 3*u**2 - 4 - 7 + 8*u + 7*u**2. Is 14 a factor of z(w)?
False
Suppose q = -3*t + 86, 2*q - 5*t = -3*q + 490. Suppose q + 25 = 5*f - 3*y, -4*y = -4*f + 104. Is (-14)/(-2)*54/f a multiple of 6?
True
Let r = 1 + 3. Suppose -4*y + x + 39 = -2*x, -r*y + 51 = x. Let n = y + -5. Is n a multiple of 7?
True
Let z(a) = -a**3 - 11*a**2 - 8*a - 15. Let h be z(-12). Let o = h - 143. Is 17 a factor of o?
False
Let k be (0/12)/(0 - -2). Suppose -z + 6*z - 140 = -5*w, 2*z + 4 = k. Suppose 6*i = 11*i - w. Is 6 a factor of i?
True
Let r = -10 - -12. Let k(n) = 7 + 9*n + 12*n**2 - 10*n**3 + 11*n**3 - 2*n**r. Is k(-9) a multiple of 7?
True
Suppose 288 - 63 = -9*r. Let m = r + 30. Does 11 divide (-2)/(3*m/(-330))?
True
Suppose 16 = -4*h - 0*h, 3*u - 207 = 3*h. Is 18 a factor of u?
False
Let y(o) = o**2 - o - 20. Let w(l) = l**2 - 21. Let a(u) = -6*w(u) + 7*y(u). Do