d derivative of q**5/60 - q**4/8 + q**3/2 - 16*q**2. Let h = 14 - 10. Is w(h) a multiple of 4?
False
Let o(k) = -2*k**3 - 37*k**2 + 38*k - 15. Does 25 divide o(-20)?
True
Suppose -4*y = -5*n - 34, -3*y + y - 38 = 3*n. Let k = n + 10. Suppose 0 = -k*q + q - 42. Is 14 a factor of q?
True
Suppose -5*y + 1400 = -y. Suppose 266 + y = 4*a. Is 14 a factor of a?
True
Does 33 divide ((-6)/(-9))/(2/(-1485)*-5)?
True
Does 8 divide (-1*681)/((-2)/8) + -8?
False
Let j = 690 + -322. Does 16 divide j?
True
Suppose 5*j - 1160 = -280. Is j a multiple of 11?
True
Let g(r) = 192*r**3 + r**2 - 2*r + 2. Suppose 0 = -8*i + 11 - 3. Does 43 divide g(i)?
False
Let p(m) = -m**3 - 25*m**2 - 7*m + 15. Is 38 a factor of p(-25)?
True
Suppose 5*y + 3 - 13 = 0. Let i(v) = -2*v + y + 1 + 4*v. Does 15 divide i(6)?
True
Let g(t) = -t**3 + 6*t**2 + 18*t - 12. Let x be g(8). Let q(f) = f**2 + 8*f + 5. Does 7 divide q(x)?
False
Let g be -1 + 5 - (-5 - -6). Let b be 3/(0 - g/34). Is b*((-5)/2 - -2) a multiple of 6?
False
Suppose 15*c = 13*c - 5*q + 1409, 2*q - 2826 = -4*c. Is c a multiple of 9?
False
Let u = 417 - 107. Is 5 a factor of u?
True
Let a(r) = 28*r - 4. Let o(b) = 4*b**2 + b. Let t be o(-1). Let m be a(t). Suppose 28 - m = -4*g. Is 5 a factor of g?
False
Suppose f = -3*m - 3, -f + 2*m = 4*m + 2. Does 4 divide 21 - 5/15*f?
False
Suppose 4*r + 3*z - 7977 = 8916, -5*z + 8457 = 2*r. Does 89 divide r?
False
Let d(k) = 9*k**2 + 8*k + 58. Is d(-5) a multiple of 4?
False
Does 37 divide -11 + 14 + -1*(-358 - 0)?
False
Let y be (-2)/(2 + (-3)/2). Let i be -2 - y*1 - -169. Suppose -5*u + 39 = -i. Is 21 a factor of u?
True
Suppose m + 17*b = 16*b + 151, 3*m - 2*b = 448. Is m a multiple of 10?
True
Is 4 a factor of -56*(-4)/(-12)*-6?
True
Is 29 a factor of ((-12742)/(-69))/(2/6)?
False
Let j = -883 + 1359. Is j a multiple of 34?
True
Let z be (-5)/((-5)/2) - -3. Suppose z*p = 4*v - 140, 0 = 3*p - p - 2*v + 56. Is 20 a factor of (p/(-6))/((-12)/(-126))?
False
Let v(z) = 64*z**2 + 5*z - 16. Is v(4) a multiple of 57?
False
Suppose 4*i - 2*i - 18 = 0. Suppose -15*d - i = -18*d. Suppose 0 = d*b - 0*b - 135. Is b a multiple of 9?
True
Suppose 11625 = 60*m - 154695. Is m a multiple of 30?
False
Let n(h) = -h**2 - 5*h + 17. Suppose 3 = 3*s, 4*p = -s - s - 26. Let o be n(p). Suppose -10 = o*g - 79. Is g a multiple of 9?
False
Is (13/((-65)/(-6)))/(3/10) a multiple of 3?
False
Suppose -5*y + 248 = -3*y + 4*s, 2*s - 10 = 0. Let m = -75 + y. Is m a multiple of 20?
False
Let l(q) = 3*q**2 + 12*q + 7. Let y be l(-7). Suppose -4*r + 86 = -y. Does 16 divide r?
False
Let q(a) = 5*a - 6. Let j be q(2). Suppose 3*w + 4*z = -68, 24 = -j*w + 3*w - 2*z. Let f = -10 - w. Is 5 a factor of f?
True
Suppose 0 = 9*f - 10*f. Suppose 3*g + 2*g - 125 = f. Suppose 4*z + 3*b = g, -3 - 8 = -2*z - 3*b. Does 2 divide z?
False
Let u(q) = 30*q**2 - 6*q - 10. Let t(r) = 6*r**2 - r - 2. Let k(j) = 16*t(j) - 3*u(j). Let w = -136 + 133. Is k(w) a multiple of 14?
False
Let l(q) = -q**2 - 10*q + 1. Let i be l(-11). Let d = -20 - -35. Let m = d + i. Is m a multiple of 5?
True
Let v(u) = -u + 7. Let f be v(4). Suppose c = 3*n + 2*n, -f*n = 4*c. Suppose n = -3*b - 12 + 129. Does 18 divide b?
False
Let w(a) = 44*a + 536. Is 62 a factor of w(16)?
True
Let o = 38 + -36. Let f(n) = 2*n - 5*n + 86*n**2 + 2*n - 13*n**o. Is f(1) a multiple of 24?
True
Let t(f) = f**2 + 13*f + 9. Let m be t(-11). Let p = -43 - m. Let l = 47 + p. Does 16 divide l?
False
Let c(y) be the second derivative of y**4/6 - y**3/3 + 3*y**2 + 29*y. Does 24 divide c(-6)?
False
Let v = 5 + -2. Suppose -v*p = -4*i - 147, 245 = 3*p + 2*p - 2*i. Does 7 divide p?
True
Suppose -2*j - 91 = -f, 4*f + 5*j - 412 = -48. Suppose -392 = -3*v + 4*n, f = 2*v - n - 177. Is v a multiple of 18?
False
Let k be 0 - -4*18/(-4). Let b = -475 - -503. Let t = b + k. Is t a multiple of 5?
True
Let c be ((-30)/4)/5*-4. Suppose a - c*a = -5. Is (-4)/2 + 77/a a multiple of 27?
False
Let g(j) = 5*j + 7. Suppose 2 = h - 9. Suppose 3*i = 10 + h. Does 14 divide g(i)?
True
Let u = 1677 + -342. Is 19 a factor of u?
False
Let b(r) = -8*r + 351. Is b(-62) a multiple of 5?
False
Let w(o) = -o - 1. Let t be w(-6). Suppose t*k - 16 = -1. Suppose -51 = -2*v - k*x, 4*x - 13 = -3*v + 65. Does 19 divide v?
False
Is ((-56)/21)/((-7)/((-3318)/(-4))) a multiple of 79?
True
Let s(t) = -3*t + 18. Does 6 divide s(-24)?
True
Let b(k) be the third derivative of -k**7/2520 + 13*k**6/720 - k**5/10 + k**4/4 + 5*k**2. Let i(s) be the second derivative of b(s). Is 2 a factor of i(11)?
True
Suppose -19*k + 15*k = -3972. Suppose -7*t = -k - 183. Is 28 a factor of t?
True
Let g(p) = -13*p + 663. Does 13 divide g(15)?
True
Let g(v) = 12*v + 49. Let c = 44 + -37. Is g(c) a multiple of 40?
False
Let a = 184 - 66. Let o = 169 - a. Is 27 a factor of o?
False
Suppose 8*c + 70 + 58 = 0. Is (-1 + 5)*(-100)/c a multiple of 12?
False
Suppose 59*n + 2129 - 10448 = 0. Is 47 a factor of n?
True
Let d(u) = -6*u + 1195 - 2366 + 2*u**2 + 1183 - 3*u**2. Let z be (-1)/((2 + -1)/6). Is d(z) a multiple of 3?
True
Let s be (-18)/4*(-18)/27. Suppose -s*k - 4 = -1. Is 13 a factor of (k/2)/((-7)/1092)?
True
Let k be ((-52)/10)/((-4)/540). Suppose -4*c + 307 = 4*w - 413, 4*c = 2*w + k. Does 44 divide c?
False
Let a(j) be the third derivative of j**6/120 + 3*j**5/20 - j**4/3 - 3*j**3 - 17*j**2. Is 21 a factor of a(-9)?
False
Let v(d) = 1 - 2*d**3 - 6*d**2 + 9 + 3*d**2 + d**3 - 6 + 2*d. Let b = 5 - 9. Does 6 divide v(b)?
True
Let x(h) = -26*h + 31. Let s(b) = -b**3 + 9*b**2 + 8*b + 12. Let d be s(10). Is 18 a factor of x(d)?
False
Let p be 0/(1/(-1))*1. Is (-1)/(-2)*(-2 - p) + 9 a multiple of 3?
False
Suppose -23 = -4*z - 7. Let h be (10/(-4))/(11/(-154)). Let i = z + h. Is 14 a factor of i?
False
Suppose -4*u + 5*u = 179. Let f be 14*((-1)/(-2))/(3/6). Suppose u = 5*g + f. Does 11 divide g?
True
Suppose -d = 2*f - 31, -4*d = -f - f + 6. Suppose -5*c - 7 = -42. Suppose 2*n - 9 = v, c*v = 2*n + 2*v - f. Is n a multiple of 2?
True
Let y(w) = w**2 + 7*w - 12. Let a = 22 - -14. Suppose 3*f = 0, -4*t + 3*f - a = 4*f. Is y(t) a multiple of 3?
True
Suppose 2*f = -0*b - 2*b, -4*b = -5*f + 18. Is ((-1375)/(-22) - 6/b)*2 a multiple of 26?
False
Let s(l) = -l**3 + 10*l**2 - 12*l + 1. Let f be s(9). Let y = f - -51. Is y a multiple of 5?
True
Let d(u) = -u**3 + u - 1. Let m be d(1). Let f be (m - -1) + (-12)/(-4). Does 20 divide 44 + 0 + f + -1?
False
Suppose -31*m + 10959 = -1317. Is 44 a factor of m?
True
Suppose -3*n + 550 = 5*i - 653, 3*i - 405 = -n. Is n a multiple of 44?
True
Is 71 a factor of 55/(-22) + 1719/6?
True
Let b(r) = r**3 + 7*r**2 + 6*r - 1. Let f be b(-6). Let s be 6 - 1 - (f - -3). Does 2 divide (-30)/(-18) + 1/s?
True
Is 50 a factor of (1320/25)/(-1)*-30?
False
Is (-3077)/(-4) + 190/(-152) a multiple of 16?
True
Suppose -30*j + 31*j = 2. Suppose t - j - 115 = 0. Is t a multiple of 31?
False
Let f(l) = -2*l - 1. Let p be f(-1). Let c be 219*(10/(-6) + p). Let q = c + 218. Is 24 a factor of q?
True
Let x = 332 - -253. Does 13 divide x?
True
Let g = 2346 + -1531. Is g a multiple of 58?
False
Let b be 5 - ((-32)/24 + 14/6). Is b/24*-3 + 514/4 a multiple of 16?
True
Suppose -3*c = a - 809, 0 = 2*c - 2*a - 579 + 37. Does 24 divide c?
False
Let i(r) = 5*r**2 - r + 1. Let b be i(1). Let z = 20 - b. Is z a multiple of 5?
True
Let n be -1*(24 - (0 + 3)). Let b = -13 - n. Suppose -b*x + 12*x - 80 = 0. Is 9 a factor of x?
False
Does 4 divide 3/8 - (-4895)/88?
True
Suppose 0 = 4*u - 453 - 303. Suppose 8*d = 17*d - u. Does 3 divide d?
True
Let i(u) = 4*u + 221. Does 21 divide i(13)?
True
Does 68 divide (-6174)/(-12) + 2*(-2)/8?
False
Suppose 2*r + 7 - 17 = 0. Suppose -5*p + 4*p + r = 0. Suppose y = -2*z + 34, -9 - 56 = -3*z - p*y. Does 5 divide z?
True
Let d = 85 + 101. Is 31 a factor of d?
True
Suppose -1073 = -5*t + 112. Is 6 a factor of t?
False
Does 25 divide -2 + (-23832)/(-234) + (-4)/(-26)?
True
Let w = -99 - -145. Suppose 4*b + 4*r - 23 - 177 = 0, -b = -r - w. Is 9 a factor of b?
False
Let l(d) = 25*d**2 - 6*d - 117. Does 18 divide l(13)?
False
Let w be (-2)/(-4)*4/(-8)*0. Suppose 0 = -a - w*a + 126. Is a a multiple of 21?
True
Suppose 5*n = f + 3*f + 33, -4*n - 4*f + 12 = 0. Suppose n*r - 193 = 212. Does 29 divide r?
False
Is ((-1756)/(-8) - 