 -d - 2. Let s be r(-4). Let l be (s/(-6))/((-4)/(-24)). Is 30 a factor of -1 - 3 - (-76 + l)?
False
Is -2 + (6/(-2) - -38) a multiple of 11?
True
Suppose 6*w - 343 = 797. Is w a multiple of 21?
False
Let q(f) = f**2 - 3*f + 12. Let v be q(-9). Suppose -7*l - v = -3*l. Is 24 a factor of ((-32)/20)/(2/l)?
True
Suppose 4*o - 2168 = 5*g + 2*o, 3*o = 5*g + 2172. Let t = -222 - g. Does 21 divide t?
True
Suppose -2*c = -4*j - 1512, -1512 = 46*c - 48*c - 4*j. Is c a multiple of 12?
True
Let l = 35 - 42. Let x(n) be the third derivative of n**6/120 + n**5/10 - 3*n**4/8 + 2*n**3/3 + 5*n**2. Does 6 divide x(l)?
True
Let h = 222 - 55. Is h a multiple of 5?
False
Let t = 3439 + -2373. Is 13 a factor of t?
True
Let u be -2 + 2 + (3 - 1). Let k be u/2 + (0 - -2). Suppose 44 + 7 = k*w. Does 14 divide w?
False
Does 12 divide 495 - (3/5)/(12/60)?
True
Let w(l) = 7*l**2 + 6*l - 6*l**2 - l + 0*l - 2. Let i be w(-6). Suppose 11*y - 6*y - i*g - 197 = 0, 0 = -y + 5*g + 31. Does 6 divide y?
False
Let c(l) = 8 - 216*l**3 + 217*l**3 - 11*l**2 - 4*l - 6*l. Does 16 divide c(12)?
True
Let v = 39 + -36. Suppose h - v*y - 30 = 0, 6*h = h - 5*y + 70. Is h a multiple of 12?
False
Let m = -306 + 528. Suppose 2*c - m = o, c - 82 - 29 = 3*o. Suppose -c = -9*t + 6*t. Does 7 divide t?
False
Let m(y) = 10*y - 42. Let p be m(5). Suppose 2*s - 599 = h, p*h - 11*h + 3 = 0. Does 25 divide s?
True
Let h(b) = b**3 + 8*b**2 + 6*b + 2. Let y be h(-7). Suppose 4*n + 1 = y. Suppose l + 2*u = 27, 0*l = n*l + 3*u - 49. Is l a multiple of 5?
False
Let v(s) = s**2 - s - 13. Let n be v(-7). Let y = n - -54. Is 21 a factor of y?
False
Suppose 0 = -5*h + 3*s - 0*s - 406, 4*h = s - 329. Let k = 94 + h. Is k a multiple of 4?
False
Let f(k) = -k**2 - 4*k + 24. Let y be f(0). Let u = 103 - y. Does 16 divide u?
False
Let m = 327 - 149. Is 4 a factor of m?
False
Suppose -3*m + 171 = d - 425, d - 2 = 0. Does 33 divide m?
True
Let a(q) = -23*q - 7*q**2 + 32*q**2 + 22*q. Is a(-1) a multiple of 26?
True
Let p(j) = -j**3 + 7*j**2 - 4*j + 17. Let h be p(7). Let x = 36 - h. Is x a multiple of 32?
False
Let h = -296 + 298. Let j(q) = -q**3 + q**2 + 2*q + 5. Let n be j(-4). Suppose k + n = h*k. Is 24 a factor of k?
False
Suppose -11598 = 9*w - 35907. Does 10 divide w?
False
Let b = 1 + 1. Suppose -3*w - 10 = b*w. Is (5 - -4) + (-3 - w) a multiple of 4?
True
Let p be (-177)/(-118)*(-1*1 - -3). Suppose i - 2*i + 14 = 0. Suppose 0*o = p*f + 4*o - i, 2*f - 32 = 3*o. Does 4 divide f?
False
Is 2 a factor of 26 + 0 - 55/(-11)?
False
Suppose -83*a = -85*a + 1786. Does 5 divide a?
False
Let p(r) = 9*r**2 - 94*r + 27. Let i(d) = -5*d**2 + 52*d - 14. Let c(z) = 11*i(z) + 6*p(z). Suppose -4*u + u - 30 = -3*f, f = -2*u + 4. Does 5 divide c(f)?
False
Let c(m) = 5*m - 3. Let r be c(4). Is 12 a factor of 83 + 1*-1 + r + -15?
True
Let z(t) = -2*t - 11. Let c be z(-7). Let h(l) = -l**2 - 6 - 4*l - 2*l**c + 3 - 2*l**2. Is h(-2) a multiple of 6?
False
Let p(w) = -20*w + 41. Let f(a) = 10*a - 21. Let s(o) = 5*f(o) + 3*p(o). Is s(-8) a multiple of 8?
False
Suppose -6*q + 4*q - 5*r + 917 = 0, 2*r - 10 = 0. Is q a multiple of 9?
False
Let x = 539 + 1069. Does 12 divide x?
True
Let p(a) be the third derivative of -a**6/120 + a**5/60 - a**3/2 - 9*a**2. Is p(-2) a multiple of 3?
True
Suppose t = -3*m + 3, m - 5*t - 17 = -0*m. Suppose 0 = m*k - 5*k + 309. Is k a multiple of 13?
False
Suppose -2*f + 0*f + 8 = 0. Does 23 divide ((-46)/(-8))/(1/f)?
True
Suppose 5*v = -3*t + 2630, -5*v = 3*t - 4*v - 2650. Suppose -6*f = -897 - t. Does 33 divide f?
True
Let n = 281 + -161. Let p = -61 + n. Is p a multiple of 8?
False
Let v = 133 - 62. Let o = v + -35. Is (-218)/(-8) + (-9)/o a multiple of 9?
True
Let f be 2 + (-6 - -3) + -2 - -10. Is f/(-21) + 61/3 a multiple of 10?
True
Let f = 861 + 1407. Is f a multiple of 36?
True
Suppose 5*b = -19*o + 21*o + 4830, 4*b - 2*o - 3866 = 0. Does 34 divide b?
False
Suppose z - r - 4 = 0, -3*r + 21 = 3*z - 9. Suppose -2*x = -3*x + z. Is x a multiple of 7?
True
Suppose 2*k - 390 - 572 = 0. Is k a multiple of 29?
False
Let n = 64 + -42. Suppose 18*m - n*m + 156 = 0. Is 13 a factor of m?
True
Let z(s) = 13*s + 110. Is 17 a factor of z(8)?
False
Let t = 807 + -786. Is t a multiple of 7?
True
Let o = 988 + -603. Does 77 divide o?
True
Suppose 0 = 6*g + 503 - 18353. Does 119 divide g?
True
Suppose 2*p = 4*p + 3*y + 205, -3*p + 2*y - 288 = 0. Let z = -62 - -228. Let s = z + p. Does 11 divide s?
False
Suppose c = n + 188 - 1165, 3*n - c - 2925 = 0. Does 28 divide n?
False
Is -3 + (996 - -3*(-5 - -4)) a multiple of 28?
False
Let c(q) = -q**3 + 4*q**2 + 2*q - 6. Suppose 5*n = -3*t + 2*n + 15, -4*n = 3*t - 16. Let u be c(t). Suppose -3*m = -2*v - 66, 0*v = -u*v - 6. Does 8 divide m?
False
Suppose 2*h + 136 = -14. Let i = -47 - h. Does 20 divide i?
False
Let n be (-4)/(-18) + (-3848)/(-18). Suppose 5*o - 105 - 5 = 0. Suppose 4*x + 2*g - n = 0, -177 = -4*x + 3*g + o. Is 21 a factor of x?
False
Let v be (470 - 4) + (0 - -3). Let m = -311 + v. Does 9 divide m?
False
Let r(w) be the first derivative of -3*w**2 - 20*w + 4. Let n be r(-8). Is 7 a factor of (4 + -3)*(n + -3)?
False
Let m = 3026 + -632. Does 38 divide m?
True
Let j = -344 - -848. Is j a multiple of 21?
True
Suppose 39 = -8*z + 11*z. Suppose -2*k = -u + 98 - z, 3*k + 82 = u. Does 9 divide u?
False
Let t be (-40)/(-22) - (-4)/22. Let f be t*3/((-12)/(-68)). Let o = -14 + f. Is o a multiple of 5?
True
Let c be (-2)/3*(2 + -8). Suppose -c*p - 4*k = 0, -k - 9 = 2*k. Suppose -96 = -p*r - r. Does 8 divide r?
True
Let w(y) = -2*y**3 - 14*y**2 - 43*y - 9. Is 19 a factor of w(-6)?
False
Let x = 225 - 49. Suppose -s = 4*f + 39, -3*s + x = -7*s + 4*f. Let v = -3 - s. Is 20 a factor of v?
True
Let h be 28/(-10) + ((-56)/(-20) - 3). Let o be (-4)/(-10) - 174/(-15). Is 12 a factor of 441/o - h/(-4)?
True
Suppose -k - 4*n + 39 = -6*k, 4*k + 24 = -4*n. Let f(p) be the first derivative of -p**4/4 - 7*p**3/3 - 7*p**2/2 - 9*p - 8. Is 27 a factor of f(k)?
False
Let g(b) = b**2 + 5*b - 11. Suppose p + 2*n = 6, n + 1 = -2. Let l(x) = -x + 2. Let m be l(p). Is g(m) a multiple of 8?
False
Does 12 divide (-32)/5*(-9)/12*60?
True
Suppose 0*m - 5*m = -10. Suppose 2*a = 0, -4*a - 45 = -m*o + 25. Does 5 divide o?
True
Let j(n) = -33*n - 14. Let b be j(-4). Let m = 259 - b. Is 18 a factor of m?
False
Let h(c) = -c**2 + 3*c - 1. Let k be h(2). Let j be ((-4)/(-2))/k + 10. Let m = j + 16. Does 7 divide m?
True
Let g(u) = 15*u + 59. Is g(12) a multiple of 7?
False
Suppose -3957 = 3*x - 0*g - 3*g, -4*x - 5*g - 5312 = 0. Does 13 divide x/(-6) - 1/(-2)?
True
Let z(y) = -y**2 + 6. Let j be z(-5). Let a be 69/(((-99)/(-6))/11). Let d = a + j. Is 14 a factor of d?
False
Let s = 31 + -29. Suppose -q + 10 = -s*x, -4*x = 5*q - 0*x + 6. Is 2/q - 90/(-5) a multiple of 19?
True
Suppose 5*c + 20 = 3*i, i + 2*c = 4*c + 8. Suppose -3*z = 3*u - 18, -5*u - z + i*z = -10. Is (172/4 + -1)*u a multiple of 14?
True
Suppose 11550 - 1350 = 51*v. Is v a multiple of 5?
True
Let b = 221 - 109. Does 11 divide b?
False
Suppose -131*q = -109*q - 1628. Does 2 divide q?
True
Let u(k) = k**3 + 9*k**2 + 15*k + 15. Does 11 divide u(-6)?
True
Let u(h) = -4*h - 18. Let b be u(-6). Suppose 2*g - 3*g = -b. Suppose g*p - 339 = -99. Does 10 divide p?
True
Let i = -52 + 54. Suppose 2*o + 4*z = -i*o + 328, 2*o - 152 = 2*z. Is o a multiple of 23?
False
Suppose 34 = 4*d + 3*a + 7, -7 = -4*d + a. Let b be 2/(d + (-148)/52). Suppose -r + b = -0*r. Is r a multiple of 13?
True
Suppose 8*z - 2*z - 180 = 0. Suppose g - 28 = 5*w, 0 = 4*g - 4*w - 82 - z. Does 7 divide g?
True
Let j(h) = 180*h**2 + 35*h + 35. Let n(q) = 15*q**2 + 3*q + 3. Let l(p) = 6*j(p) - 70*n(p). Suppose 2*a + 3 = -a. Does 15 divide l(a)?
True
Suppose 2*s = s - 25. Let q be (-1)/(172/(-176) + 1). Let u = s - q. Is 10 a factor of u?
False
Is (-636)/53 - (3 + -3055) a multiple of 16?
True
Let h(u) = 270*u + 5. Let d be h(1). Is 25 a factor of 40/(-10)*d/(-4)?
True
Is 4 a factor of 0 - (-10)/65 - 2013/(-13)?
False
Suppose 5*x = 2*q - 18, 0*q + 2*x = q - 9. Suppose -q*v + 130 = -8*v. Is 19 a factor of v?
False
Let z(t) = -17*t + 8. Suppose 2*f = f - 6. Does 25 divide z(f)?
False
Let f be (-35)/25*79 - (-2)/(-5). Let h = 248 + f. Does 25 divide h?
False
Let r(j) be the third deriv