(-500)). Is s/(4 + 7/(-2)) a multiple of 10?
True
Does 9 divide (-2)/1 + 67 + -4?
False
Let u(p) = -p**2 + 16*p + 3. Let z(f) = f**2 - 16*f - 3. Let c(n) = 7*u(n) + 6*z(n). Is c(11) a multiple of 17?
False
Suppose -o - 6 + 1 = 0, -5*o - 29 = 2*x. Does 26 divide 4/(-2)*(x/1 - 11)?
True
Is 6 a factor of ((-9)/2 + -1)/(16/(-1344))?
True
Suppose -3*v + 2344 = v. Suppose -7*w + 2*w - 5 = 0, -4*w = 5*q - v. Does 15 divide q?
False
Let b be (8/2 + -22)*-24. Let m = b - 292. Is m a multiple of 20?
True
Let x = 199 + 47. Does 9 divide x?
False
Let w = 73 + -121. Suppose -l - 6 = 18. Let x = l - w. Does 11 divide x?
False
Let m = -418 + 771. Suppose 13 = -10*f + m. Does 29 divide f?
False
Let t(z) = z**2 + 6*z - 17. Let m be t(-8). Does 17 divide (10 - 7) + 31*(m + 2)?
True
Let q(h) = h**3 + 6*h**2 + 3*h - 4. Let m be q(-4). Suppose 0 = -2*u + m + 200. Does 18 divide u?
True
Suppose -4165 - 260 = -15*w. Suppose -4*o = q + o - w, 3*q = -3*o + 897. Is q a multiple of 20?
True
Let j = 45 - 150. Let h = 116 + j. Does 10 divide h?
False
Let n(h) = -8*h + 70. Does 35 divide n(0)?
True
Let z = 324 - -881. Does 34 divide z?
False
Let s(m) = 13*m**2 - 15*m - 7. Does 25 divide s(7)?
True
Let q(k) = 2*k**3 + 11*k**2 + 2*k + 6. Let l be q(5). Suppose 2*w = -5*d + l, 3*w - 4*d - 397 - 472 = 0. Is 27 a factor of w?
False
Suppose -3 = -3*c - r - 19, -4*c = r + 20. Let y(z) = z**3 + 4*z**2 + 1. Let j be y(c). Is 3 - (j - (-84)/(-2)) a multiple of 11?
True
Let t(m) = -m**3 - 8*m**2 - 8*m - 3. Suppose -6 = h - 5*d + 6, h - 3*d = -10. Let l be t(h). Is l*(-6)/(-9)*3 a multiple of 4?
True
Let d(v) = -v**3 - 5*v**2 - v + 7. Let k be d(-5). Suppose 0*x + 5 = 5*x, -3*a + k = -3*x. Is 10 a factor of (-294)/(-15) + 2/a?
True
Suppose -6*y - 66 + 6 = 0. Is y/(-3)*(-36)/(-24) a multiple of 4?
False
Suppose 0 = -2*x + 6*x + 404. Let o = 145 + x. Is 4 a factor of o?
True
Does 6 divide 143/11 + -11 + 110*2?
True
Let z be 24/(3 - 27/6). Let c = z - -26. Suppose 2*h - 6 = 0, -3*t + 3*h + 38 + c = 0. Is 13 a factor of t?
False
Let n(k) = k**2 + 10*k - 1. Let d(w) = -w**2 + 8*w - 9. Let a be d(8). Let g be n(a). Let o = g + 28. Does 10 divide o?
False
Suppose 23*m - 25*m = -736. Is m a multiple of 10?
False
Let g(m) = -72*m - 88. Is 56 a factor of g(-9)?
True
Suppose 6 = -4*t - 2*x, 5*t + 3*x = -x - 15. Let q be 0*(2 + -1)*t. Suppose q = 5*m - 2 - 58. Is m a multiple of 8?
False
Let k(b) = -15*b - 49. Let m be k(6). Let q = m + 254. Is 13 a factor of q?
False
Suppose 0 = -3*t - 4*r + 2770, -r = 3*t + 2*t - 4645. Is 15 a factor of t?
True
Let l be (-362)/(-6) - (-3)/(-9). Suppose 4*n = y - 4 - 10, 2*y - 2*n - 28 = 0. Let q = l + y. Does 29 divide q?
False
Let x(w) = w**2 - 7*w - 64. Is 19 a factor of x(-15)?
True
Let q(a) = -a**2 - a + 5. Let x be q(-3). Is 17 a factor of (68/(-8))/(x + 18/20)?
True
Suppose -3*z = 18*z - 45024. Does 32 divide z?
True
Suppose 5*m = 15 - 75. Let p = m - -14. Suppose 3*y + 75 = -0*w + 2*w, -2*y = p*w - 50. Is w a multiple of 15?
True
Suppose 5*q + 3*j + 27 = 0, 10 = 3*q - 4*q + 4*j. Is q*(-152)/12 - 3*1 a multiple of 6?
False
Let c be -22*(-4 + -1)*2. Let l = -68 + c. Is l a multiple of 24?
False
Let r = -389 + 741. Let g = -204 + r. Is g a multiple of 37?
True
Suppose l = -5*z + 6624 + 974, -3*z = 5*l - 4550. Is 44 a factor of z?
False
Let a = -728 - -1409. Is 61 a factor of a?
False
Suppose 0 = j + 2*i - 74, 4*i = j + 4*j - 440. Suppose j - 16 = 2*r. Is 14 a factor of r?
False
Let d(y) = -y - 11. Let r be d(-14). Suppose r*t = 2*m + 75, 84 = 3*t + 2*m - 7*m. Let h = t + 9. Is h a multiple of 8?
True
Does 37 divide 2/(8/276) + 5?
True
Suppose 4*j + 9 = -35. Let s(k) = k**3 + 18*k**2 + 18*k + 15. Let o be s(-17). Is 11 a factor of o*j/6*3?
True
Let b(g) = -7*g - 6. Let f be b(-6). Let o = f - 15. Is 7 a factor of o?
True
Let w(z) = 16*z + 20*z + 10 - 48*z - 2*z**2. Is w(-6) a multiple of 4?
False
Let q = -223 + 378. Suppose l + 102 = 2*z, 4*l + 3 = 3*z - q. Is 10 a factor of z?
True
Let u(t) be the third derivative of 9*t**2 + 0 - 5/3*t**3 + 0*t - 7/24*t**4. Is u(-4) a multiple of 9?
True
Is ((-1935)/45)/(66/34 + -2) a multiple of 2?
False
Let u be (2 + (-178)/(-5))/(2/20). Let v = -258 + u. Is 17 a factor of v?
False
Let v be ((-264)/(-77))/((-1)/(-7)). Suppose 7*j - 6*j - v = 0. Is j a multiple of 24?
True
Let j = 596 - 423. Does 48 divide j?
False
Suppose 0*r - 21 = t + 5*r, 6 = 2*r. Let q = t + 125. Is 19 a factor of q?
False
Suppose 4*z - 72 = -4*q, -z - 3*q = 4*z - 90. Let r be 1*-3*z/3. Let u = r + 33. Is u a multiple of 5?
True
Let j(u) = u**3 + 5*u**2 - 7*u - 1. Let l(y) = -7*y**2 + y + 2. Suppose 15 = -3*g - 2*g - 2*w, 2*g + 5*w = -27. Let v be l(g). Does 5 divide j(v)?
True
Let r = -26 - -46. Suppose 2*p = -2*p + r. Suppose -p*d - 3*y + 215 = 0, 0*d + d - 43 = 4*y. Does 22 divide d?
False
Suppose -z + 2*f + 80 = 7*f, 2*f - 152 = -2*z. Let u = z + -61. Does 7 divide u?
True
Let j = 39 - 27. Suppose -5*u = u - j. Does 13 divide (1/u)/((-2)/(-356))?
False
Suppose -19*y + 30*y = 539. Is y a multiple of 10?
False
Let z be 95*((-90)/25)/6. Does 11 divide 1/(-2) - z/6*7?
True
Suppose -5157 - 3830 = -11*r. Is 7 a factor of r?
False
Suppose 3*y - y - 74 = 0. Let f = y + -13. Does 6 divide f?
True
Suppose -5*v + 7855 = 5*x, 0 = 5*v - 2*x - 5033 - 2787. Is v a multiple of 29?
True
Let u(c) = 99*c**2 - 2*c + 8. Is u(2) a multiple of 11?
False
Let d(x) be the third derivative of x**5/30 - x**4/12 - x**3 - 9*x**2. Let a be d(3). Is 10 a factor of 120/9*a/5?
False
Suppose 0 = 2*k - 3*c - 34, 0*k = -k + 5*c + 31. Suppose -k*z + 5*z = 0. Suppose 5*v + 5 = -b, -3*b + 2*v + 2*v + 80 = z. Does 7 divide b?
False
Let z be (-5)/20 - (-21)/4. Suppose p = 5, 0*k + z*k + p = 70. Suppose 2*f - 11 = k. Does 6 divide f?
True
Let f(s) = -13*s**3 - 16*s**2 - 11*s - 13. Is 6 a factor of f(-6)?
False
Let v = -5 - -10. Suppose -3*p = 4 - 16, 5*s = -v*p + 30. Suppose -31 = -s*h + 5. Does 5 divide h?
False
Suppose 472 = 5*l - 258. Suppose 15*y - 666 = 6*y. Let k = l - y. Is 10 a factor of k?
False
Let b = 151 - -107. Is b a multiple of 43?
True
Let k(m) = -1. Let h(c) = -4. Let p(l) = -h(l) - 4*k(l). Let t(v) = -v + 23. Let q(n) = -7*p(n) + 2*t(n). Does 4 divide q(-14)?
False
Let f(j) = -2*j**2 + 10 - 7*j - 6*j + 10*j + 3*j**2. Let p = 7 - 0. Does 14 divide f(p)?
False
Suppose 3*b = -f + 2093, -b = -4*f - f - 671. Is b a multiple of 36?
False
Let o(z) = 5*z**3 + z**2 + z - 3. Suppose 5*u - 15 = c, -u + 27 = -c - 4*c. Is o(u) a multiple of 16?
False
Suppose 0 = -41*o + 29*o + 6480. Is o a multiple of 45?
True
Let y = 16 + -12. Let o be (-1)/2*(-12 + y). Suppose -o*k - 2*r = -160, -5*k - 5*r + 263 = 73. Is 21 a factor of k?
True
Let m = -2261 - -2454. Does 48 divide m?
False
Let f be 345/(-39) + 4/(-26). Is (-344)/f - 8/36 a multiple of 8?
False
Let z = 12 + -9. Suppose z*m = 180 + 174. Is 20 a factor of m?
False
Let m = -4294 - -7252. Is m a multiple of 29?
True
Let l = 771 + -391. Suppose 23*q + l = 28*q. Is 6 a factor of q?
False
Suppose -5 = t - 6*t. Let h(o) = -o**3 + 2*o**2. Let q be h(2). Suppose -j - t + 15 = q. Does 3 divide j?
False
Suppose -65 = -3*q + 859. Is q a multiple of 28?
True
Let r = -7 + 5. Let o(a) = -23*a**3 - a**2 + 2*a. Let l be o(r). Suppose -24 = 4*z - l. Is z a multiple of 12?
False
Does 26 divide 97/19 + 112/(-1064) + 329?
False
Let x(i) = 28*i**2 + 3*i - 1. Let j be x(1). Suppose 0 = 2*u - 3*k - 95, 6*u + 2*k - j = 5*u. Is 4 a factor of u?
True
Let z(x) = x**3 + 16*x**2 - 5*x + 182. Is z(-13) a multiple of 29?
True
Is 4460/100 - 24/15 a multiple of 26?
False
Let a = -3 - -8. Suppose -5*s + 2 + 8 = a*j, -5*s + 3*j = 22. Is 3*1 - 54/s a multiple of 23?
False
Let h(t) = -5*t**3 - t**2 + 5*t + 6. Let k(b) = 9*b**3 + b**2 - 10*b - 11. Let a(g) = -7*h(g) - 4*k(g). Let s be a(3). Let z = s - 5. Is z a multiple of 4?
True
Let w(k) = -k - 1. Let i be w(-5). Suppose -5*b + 2*t = -i*b + 10, 2*b + t - 5 = 0. Suppose 2*u + 3*u - 100 = b. Does 3 divide u?
False
Suppose 2*h = -3*i + 1029, 0*i + 3*h = -4*i + 1371. Does 23 divide i?
True
Let d = -2031 + 2800. Is 2 a factor of d?
False
Suppose 0 = 6*p - 18*p + 252. Does 9 divide p?
False
Suppose -4*b + 3*b = -47. Suppose 3*u = -l + 3, 4*u = -5*l - 7 - 0. Suppose -64 = -3*s - 5*y, 16 = -u*s - y + b. Is 6 a factor of s?