erivative of 5*q**2/2 + 8*q - 13. Let i(r) = -4*b(r) - 3*o(r). Is i(-4) a multiple of 3?
True
Let u = -98 - -188. Suppose -u = -2*m + 62. Is m a multiple of 27?
False
Let q be (4 - 8) + (10 - 3). Suppose q*w + 80 = 4*d - w, -5*w - 5 = 0. Suppose -3*a + d = -20. Is 13 a factor of a?
True
Let v = 576 - 226. Is 17 a factor of v?
False
Let q(j) = 2*j - 2. Let u be q(2). Is 6*62/(-9)*(-9)/u a multiple of 20?
False
Let o(q) = -q**2 + 10*q - 10. Let h be o(8). Let a = h + -3. Suppose -a*n = n - 88. Is n a multiple of 11?
True
Let w(h) = -4*h**3 + 6*h**2 + 8*h - 5. Let p be w(-4). Suppose 2*l - 8 = -0*l. Suppose -p = -l*s - s. Is s a multiple of 9?
True
Suppose 0 = -2*r + 4*r - 56. Suppose 0 = -32*a + r*a + 572. Does 13 divide a?
True
Suppose 4*y - 3*f - 642 = -5*f, -f = -5*y + 785. Is 4 a factor of y?
False
Let v = -2 - -1. Let r be 2 - (v - -4) - -4. Is (1 + -46)*(2 - r) a multiple of 15?
True
Suppose 2*g + 15 + 5 = 0. Is 49 + g + 5 - 2 a multiple of 7?
True
Does 13 divide (-5 - -16 - 1)/2 - -39?
False
Let v(d) = 508*d**3 - d. Is 15 a factor of v(1)?
False
Let z(t) = 2*t**2 - 9*t - 5. Let c(u) = -u**2 + 8*u - 5. Let o be -6*(-3)/((-9)/(-3)). Let p be c(o). Is z(p) a multiple of 30?
True
Let w(h) = -2*h + 5 + 14*h**2 - 13*h**2 + 0*h + 8*h. Does 16 divide w(-13)?
True
Let j = -10 + 13. Suppose 0 = -j*s + 3*g + 66, 3*g = -5*s + 4*g + 118. Let p = s + -2. Is 9 a factor of p?
False
Suppose 12*k - 13*k + 2*l + 414 = 0, 5*l = 5*k - 2090. Is 38 a factor of k?
False
Let s(p) = p**3 - 13*p**2. Let j be (26/3)/((-8)/(-12)). Let u be s(j). Is 11 a factor of 42 + u + 4/2?
True
Let t = -239 + 577. Is t a multiple of 13?
True
Suppose -7*y + 2708 = -2388. Is y a multiple of 13?
True
Suppose 7*s + 112 = 21. Let o(f) = -f + 31. Is o(s) a multiple of 11?
True
Suppose -7*o + 248 = -5*o. Suppose -o = -3*a - 7. Is a a multiple of 13?
True
Suppose 0 = 4*r + 4*u - 16, -5 - 8 = -4*r - 3*u. Does 14 divide 35/(-42)*-6*19*r?
False
Suppose c = a - 5*a + 4, 5*a = 5. Suppose 5*h = 20 - 0. Suppose -5*i + 47 = 2*n - 24, c = -h*n + 2*i + 154. Is n a multiple of 19?
True
Let h be (-120)/9*36/(-8). Let m = -8 + h. Is 32 a factor of m?
False
Let s(y) = 2*y**2 - 5*y - 19. Let o be s(10). Suppose 3*t - 12 - 153 = 0. Let q = o - t. Is 19 a factor of q?
True
Suppose 0 = -9*o + 463 + 6953. Is o a multiple of 8?
True
Let t(n) be the first derivative of -n**4/4 + 8*n**3/3 - 11*n**2/2 + 15*n - 9. Let g be t(7). Let z = g + 20. Is 3 a factor of z?
False
Let z(h) = 2*h + 7. Let b be z(-3). Does 11 divide (-84)/(-2) + -4 + b?
False
Let m(l) = -23*l - 24. Let o be m(-3). Let c = o - 15. Is 5 a factor of c?
True
Suppose 12*d - 754 - 686 = 0. Is 10 a factor of d?
True
Let b be ((-32)/(-24))/(2/18). Let m(u) = -u + 8. Let d be m(b). Is 12 a factor of 330/8 + d/16?
False
Suppose w - 30 + 32 = 0. Let y be (w/6)/((-16)/(-48)). Is 3 + y + (35 - 0) a multiple of 11?
False
Suppose 1199 = 14*o - 873. Is 24 a factor of o?
False
Let h be (-6 - (1 - 5))*-1. Suppose 0 = 3*m + h*m + 5*r - 505, 0 = -4*r + 12. Is 28 a factor of m?
False
Let a = 7 + -10. Let f(b) = -14*b - 6*b + 2 + b. Is 17 a factor of f(a)?
False
Let n(g) = 3845*g - 45. Does 95 divide n(1)?
True
Suppose 17 = -4*u - 3. Is 3 a factor of 29/4 - u/(-20)?
False
Let s = -43 + 71. Suppose 3*i + 5*l = 50 + 54, i + 5*l - s = 0. Does 15 divide i?
False
Suppose -2*l + 8 = -w, 0 = 3*l + 2*w - 9 - 10. Suppose -9*c + 11*c + 3*k - 30 = 0, 38 = 3*c + k. Suppose -t = -l - c. Is 17 a factor of t?
True
Let g be (-3 - -3) + 6/(-3). Let m be g/(-5) + 8/5. Suppose -3*t = -5*n - 126, -n + 19 = m*t - 65. Does 14 divide t?
True
Let q = -1190 + 1595. Does 27 divide q?
True
Let t = -100 + 379. Is t a multiple of 10?
False
Let w be (-2919)/12 - 5/(-20). Does 21 divide (-112)/(-6)*w/(-36)?
True
Let j(i) = 20*i - 182. Does 12 divide j(21)?
False
Suppose -8*z + 19890 = 22*z. Is 39 a factor of z?
True
Suppose 0 = 18*t - 19*t + 132. Is 13 a factor of t?
False
Let g = 105 - 55. Suppose 205 = t + g. Is 31 a factor of t?
True
Let y = -192 + 102. Let d = -52 - y. Is 19 a factor of d?
True
Let r = -1519 - -1033. Is 7 a factor of (-12)/16 + r/(-8)?
False
Let i(p) = -p**2 - 4*p. Let q be i(-4). Let m be 7 - q*(-4)/(-16). Let v = 1 + m. Does 8 divide v?
True
Let p = -17 - -19. Let a be (18*-1)/p*-3. Is 10 a factor of 3 - (1 + -2)*a?
True
Let f = 254 - -486. Does 10 divide f?
True
Let f(p) = -p**3 + p**2 + 1. Let l(w) = -3*w**3 - 6*w**2 + 6*w + 4. Let y(m) = 4*f(m) - l(m). Is 3 a factor of y(9)?
True
Suppose -2099 = -15*t + 3841. Is t a multiple of 9?
True
Suppose 4*l + 482 = 6*l - n, -4*l + n + 968 = 0. Does 9 divide l?
True
Suppose -z = -46*g + 44*g - 467, -5*g = z - 432. Does 10 divide z?
False
Let o = 24 - 22. Let w(p) = 29*p**3 + p**2 + p + 2. Let i be w(o). Suppose 19*h - 15*h - i = 0. Is 23 a factor of h?
False
Suppose -1061 - 319 = -10*u. Is u a multiple of 23?
True
Let h(i) = 0*i + 11*i**2 - i**3 + 3 + 3*i - 5*i**2 + 5*i. Let j be h(7). Suppose -3*c - n = -14, -c = -6*c + n + j. Is 2 a factor of c?
False
Suppose d - 10 = -3*c, -d + 2 = -2. Suppose 3*g - 312 = -i + c*i, i - 528 = -5*g. Does 12 divide g?
False
Let a be 0 + -3 + (-4 - -11). Suppose x + 206 = a*m, 0 = m + m + 5*x - 114. Does 13 divide m?
True
Let w(r) = r**3 - 5*r**2 + 5*r - 6. Let h be w(4). Let d be 6/h + 11 + 0. Is (42/d)/((-9)/(-24)) a multiple of 4?
False
Let c(v) = v**2 + v - 27. Let m be c(-7). Let d(y) = 16*y**2. Let i be d(-1). Suppose 21*f - m = i*f. Is 2 a factor of f?
False
Suppose -2*w + 283 = -3*i - 244, 0 = -3*w - i + 785. Is 10 a factor of w?
False
Is 14 a factor of 0 - ((-133 - 2) + -5)?
True
Suppose -2*w + 658 = -110. Suppose 5*j = -2*r + w, 0*j + j + r = 78. Suppose 11*o - 7*o - j = 0. Does 9 divide o?
False
Suppose 3*a + 3*u = -2*u + 3289, -4*a - u + 4391 = 0. Is 28 a factor of a?
False
Let z be 2/(-11) - 399/(-77). Suppose 0 = 2*d - z*d + 12. Suppose 4*s = 5*i - 34, 2*s = -d*i - i + 28. Is 3 a factor of i?
True
Suppose -28 = -10*t + 3*t. Suppose -805 = -t*s - s. Does 29 divide s?
False
Is 1407*2*(-8)/(-48) a multiple of 7?
True
Let a(k) = k**2 + 7*k - 11. Let x be a(-8). Suppose -92 = d + 3*o, 0*d - o = -d - 72. Is 13 a factor of d/x + (-8)/12?
False
Suppose -3*a + 5*f - 13 = 14, 24 = -3*a + 4*f. Let m(c) = 2*c**3 - 4*c**2 + 4*c - 2. Let h be m(2). Let v = h + a. Does 2 divide v?
True
Let s(d) be the second derivative of d**5/20 - 7*d**3/6 - 3*d**2 + 6*d. Let m be s(7). Suppose 5*n = -r + 360, -4*n + m = -4*r + r. Is n a multiple of 18?
True
Let w = 23 + -5. Does 23 divide ((-138)/(-12))/((-51)/w - -3)?
True
Let f(l) = 6*l + 7 - 1 + 4 - l**2. Does 5 divide f(5)?
True
Let k = -25 + 29. Suppose 2*w + w - 3*y = 270, -328 = -4*w - k*y. Is w a multiple of 21?
False
Suppose 16467 + 822 = 17*n. Is n a multiple of 65?
False
Let f = 526 + -306. Suppose 0 = h + 9*h - f. Is h a multiple of 4?
False
Suppose 0 = -2*f + 326 + 26. Suppose -8*y + 328 = -f. Is 12 a factor of y?
False
Let c = 222 - 75. Does 7 divide c?
True
Let j = -1058 - -1689. Is j a multiple of 13?
False
Let y(t) = -t**3 - 7*t**2 + 2. Let f be y(-7). Suppose 4*k - 179 - 109 = 0. Suppose -3*g + 5*r = -8*g + 130, 3*r = f*g - k. Is 10 a factor of g?
True
Suppose 5*a - 4 - 31 = 0. Let c be 3/(-9) + a/3. Is (-30)/(-4)*c/1 a multiple of 3?
True
Let y(x) = -6*x - 2. Let v = -70 - -57. Is 19 a factor of y(v)?
True
Let o(n) be the second derivative of -n**5/20 - 2*n**4/3 - 11*n**3/6 - 2*n**2 - 9*n. Is o(-7) a multiple of 24?
True
Let u be ((-12)/(-8))/(3/6). Let x = u + 33. Suppose -h = 5*a - x - 63, 4*h = -2*a + 36. Does 6 divide a?
False
Let j(y) = 2*y**2 - 12*y + 14. Let p be (4/4)/(-1)*0. Suppose 3*f = 2*f - 2*q + 7, p = -5*f + 3*q + 35. Does 14 divide j(f)?
True
Let w(i) be the third derivative of i**7/1260 + i**6/180 - i**5/30 + i**4/4 + 2*i**2. Let n(j) be the second derivative of w(j). Is 13 a factor of n(-5)?
True
Is (-9 - -8) + 1 + (1 - -98) a multiple of 12?
False
Let j be 2 - (0 + (-10)/1). Suppose 0 = 2*z + 14 + j. Let w = -6 - z. Is w even?
False
Suppose -59110 = -20*k + 12170. Is 22 a factor of k?
True
Suppose -3*x + 768 = 4*v, 0*x = x + 4*v - 264. Is 14 a factor of x?
True
Suppose 192*v - 211*v + 13566 = 0. Is v a multiple of 10?
False
Let r be 7/(21/72) - -3. Let o = 21 + r. Does 3 divide o?
True
Is (-94 - -42)*(-2)/4 even?
True
