6 + (2 - -1). Suppose 3*z = 2*l + 184 + 49, -5*z - w*l + 405 = 0. Is z a multiple of 14?
False
Let w(k) = 8*k**2 - 7*k - 16. Suppose 2*j = 5*c - 16, 5*c - 16 + 3 = j. Is 11 a factor of w(j)?
True
Let d be 2/7 - (-66)/14. Suppose -d = 3*j + 4. Does 14 divide (-64)/j + 4/(-12)?
False
Suppose 0 = -5*f + 6*i - 11*i + 430, -2*i + 89 = f. Does 6 divide f?
False
Let a(w) = -6*w - 10. Suppose 0 = -5*g - 10, -2*z - 3*g = z + 51. Let q(b) = b**3 + 15*b**2 - b - 20. Let n be q(z). Is a(n) a multiple of 17?
False
Let d be ((-23)/(-69))/(1/(-15)). Does 10 divide d - (4 + 223)*-1?
False
Suppose 0 = -z + 3*z + 8, -3*j = -2*z - 23. Let p(w) = -w**2 + 14*w - 9. Is p(j) a multiple of 36?
True
Let k = -1300 - -1498. Does 5 divide k?
False
Let f(w) = w**3 - 6*w**2 + 6*w. Let b be f(5). Is 12 a factor of 6/(-15) + 187/b - 1?
True
Does 11 divide (-3 - (-18)/(-5))*-15?
True
Let p = 297 + 55. Is p a multiple of 11?
True
Let q(x) = x - 5. Let m be q(0). Let u(j) = -2 - 60*j + 6 + 55*j. Does 15 divide u(m)?
False
Let w(r) = 13*r - 4. Let z be w(-1). Let a = 73 + z. Is 30 a factor of a?
False
Suppose 3*m + 115 = -2*m. Suppose 0*b = 2*b + 128. Let t = m - b. Is t a multiple of 11?
False
Let b(z) = 5 - 13 - 2*z - 33*z + 6. Let q be b(2). Is (-1 + -2)/(8/q) a multiple of 9?
True
Let o be (45 + 10)*(-4)/10. Does 18 divide 3/(-1) - (-3 + o)*3?
True
Suppose 9 = 5*f - 11. Suppose 3*b + 5*u = 4*u - 14, -5*b + f*u = 12. Is 16 a factor of (-2 - b) + 0 - -46?
True
Let r(l) = -l**2 - 41*l - 23. Is r(-21) a multiple of 57?
False
Suppose 0 = 4*o - 3*o - 1245. Does 10 divide o?
False
Suppose 10*c - 145 = 5*c - 2*k, 0 = 3*c - k - 76. Suppose c*f + 700 = 32*f. Suppose -f + 51 = -d + 5*a, -428 = -4*d + 2*a. Is 21 a factor of d?
False
Suppose 0 = -10*j - j + 22. Let a = j + 15. Does 5 divide a?
False
Does 6 divide (-20)/11 + 2 + 118750/275?
True
Let q be ((-3)/(-2) - 1)*4. Let j(n) = 5*n**2 + 2*n + q + 0*n**2 - 7*n - 11. Does 31 divide j(-4)?
False
Let s(q) = -q**3 - q**2 + 3*q - 1. Let a be s(-4). Is a + 6 - 3*-1 a multiple of 8?
False
Suppose -442 = 25*f - 2242. Does 11 divide f?
False
Suppose -5 = -3*p - 5*k + 740, -5*k + 505 = 2*p. Is 10 a factor of p?
True
Suppose -q + v + 2*v + 76 = 0, 1 = v. Suppose -4*x + q + 9 = 0. Does 4 divide x?
False
Let l = 550 + -378. Is l a multiple of 4?
True
Suppose 3*r + 1 = -2, 5*j - 26 = r. Suppose -3*b = j*y - 46, 5*b - 10 = -0*b. Is 28 a factor of y/(-28) + 394/7?
True
Suppose 0 = -5*p - 2*h + 970, -7*p + 8*p - h - 187 = 0. Is p a multiple of 24?
True
Let s(j) = 2*j + 14. Let f be s(-6). Suppose f*a = v - 0*v + 26, -4 = v. Does 2 divide a?
False
Let i(g) = 33*g + 11. Let s be i(-7). Is 11 a factor of (-3 + 42/10)*s/(-3)?
True
Let n = -16 + 16. Suppose -i + 127 = -n*i + 2*g, -2*i + 284 = -2*g. Let a = i - 61. Does 26 divide a?
False
Suppose -3063 = -25*i - 738. Is i even?
False
Let v(l) = l**3 + 5*l**2 - 1. Let n be v(-7). Let q(z) = z**3 - 12*z**2 + 6*z + 6. Let o be q(5). Let m = n - o. Is m a multiple of 8?
True
Let l be ((-4)/2 + -16)*-1. Is 5 a factor of ((-4 - -1) + l)*(-2)/(-6)?
True
Suppose 2*d - 2486 = 2*p - 4*p, 0 = -3*p + 5*d + 3769. Is 96 a factor of p?
True
Let z(j) = j**2 + 2*j + 4. Let w be z(0). Suppose -4*g - 5*h = -313, g - h = w*h + 47. Does 6 divide g?
True
Let c(x) = -x**3 + 18*x**2 + 9*x + 26. Is 31 a factor of c(16)?
True
Suppose 2*r + 5*v = 111 + 444, -3*r + 3*v = -801. Does 18 divide r?
True
Let d(a) be the second derivative of -3*a + 0*a**3 + 0 + 1/12*a**4 - 1/20*a**5 + 37/2*a**2. Is d(0) a multiple of 11?
False
Let d = 850 + -255. Is d a multiple of 33?
False
Is ((640/12)/(-2))/(4/(-552)) a multiple of 23?
True
Is 28 a factor of (2 - (-6)/(-15))*210/4?
True
Let n(z) = z**3 + 12*z**2 + 12*z + 14. Let q be n(-12). Let m = -78 - q. Is 13 a factor of m?
True
Let n(x) = -2*x**3 - 24*x**2 - 6*x - 1. Let b be n(-12). Suppose -196 = -u + b. Is 28 a factor of u?
False
Let z(c) = 8*c - 4. Let n be z(2). Let p be 353/(-6) + (-2)/n. Let u = p - -107. Is 16 a factor of u?
True
Suppose -2*g - 18 = 5*c - 2, 5*c = 4*g - 28. Suppose -g*k + 90 - 4 = 0. Does 4 divide k?
False
Suppose 0 = 4*l + 4*w + 52, -5*l = -w + 32 + 45. Let r be (-3)/l*-4*10. Is 16 a factor of (-258)/r - (-5)/(-20)?
True
Suppose 4*p + 18 = 5*d + 2*p, -2*d - p + 9 = 0. Suppose d + 1 = 5*l. Does 23 divide ((-6)/(-4) - l)*46?
True
Let m(k) = k**3 + 4*k**2 - 9*k - 4. Let n be m(-6). Let p = n - -28. Suppose -p*x = 8 - 38. Does 2 divide x?
False
Let l(s) = 3*s**2 - 6. Let k be l(6). Suppose -2*w = -96 - k. Suppose h = -2*h + w. Is h a multiple of 7?
False
Suppose 0 = -49*c + 83*c - 46410. Does 15 divide c?
True
Let k = -6 - -26. Suppose -z = 3*z - k. Suppose -t + 0*t + 3*r = -20, 4*t - 114 = -z*r. Is 26 a factor of t?
True
Suppose -1180 = -32*v + 28*v. Is v a multiple of 21?
False
Let i(j) = -j + 26. Let n be i(6). Suppose 4*k - 110 = 2*o + n, 0 = -5*k - o + 145. Is 7 a factor of k?
False
Suppose 0 = 144*c - 19846 - 10394. Is 35 a factor of c?
True
Suppose 4*f - 2750 = -5*a, 0*a = -2*f + 3*a + 1386. Does 41 divide f?
False
Is (-2)/18 + 9 + 35924/126 a multiple of 42?
True
Let f = 139 + -91. Is 8 a factor of f?
True
Let r(z) = 3*z - 6. Let x be r(2). Suppose -y + 24 + 6 = x. Does 30 divide y?
True
Suppose -5*q - p = -165, -p - 161 = -4*q + 4*p. Suppose 4*k + q = -14. Let v = 10 - k. Is v a multiple of 7?
False
Suppose 4*v + 8*j - 552 = 12*j, 5*v = -4*j + 663. Is 9 a factor of v?
True
Let h be ((-28)/(-35))/(4/10). Let d = 53 - h. Let v = d + -13. Does 19 divide v?
True
Let u = 576 - -27. Does 67 divide u?
True
Suppose -i - 44 = 10*i. Let q(c) = -c**3 + 6*c**2 + 2*c - 4. Does 26 divide q(i)?
False
Suppose 0 = 4*y + y - 15. Suppose -2*z = -3*z - y. Is 13 a factor of (45/30)/(z/(-70))?
False
Suppose 8*j - 3*q = 3*j + 1803, 5*q - 715 = -2*j. Is j a multiple of 40?
True
Suppose -4*z + 5*a + 28 = 0, -5*a - 5 = 4*z + 7. Suppose z*f + 39 = 5*f. Let k = f - -3. Does 8 divide k?
True
Let r(z) be the second derivative of z**4/12 + z**3/2 + 5*z**2 + 10*z. Let s be r(-4). Let x(g) = -g**2 + 18*g - 24. Is x(s) a multiple of 10?
False
Let z(i) = i**2 + 2*i + 344. Let o be z(0). Suppose -3*y = 20 - o. Is y a multiple of 7?
False
Let d = 36 - 33. Does 20 divide ((0 + 3)/d)/(3/360)?
True
Let w = -44 - -39. Let a(l) = -7*l - 25. Is 2 a factor of a(w)?
True
Suppose 126 = -111*v + 112*v. Is v a multiple of 6?
True
Let t be (-9)/((-45)/(-10))*-1. Suppose -k - k = -t. Is 10 a factor of (-14)/(0 - k/5)?
True
Suppose 8*l + 1435 = 4*n + 7*l, 2*n = -3*l + 721. Is 69 a factor of n?
False
Let d(y) = -y - 3*y**2 + 3*y - y**3 + 5*y**3 - 3*y**3 - 4. Let m be d(3). Suppose 0 = -3*s + m*s + 55. Is 16 a factor of s?
False
Let k(p) = -p**2 + 4*p. Let a be k(4). Suppose a*z + 4*z - 35 = -3*v, 5*v - 13 = -z. Is (-260)/(-12) + z/(-12) a multiple of 11?
False
Let j(x) = -x**2 + 33*x - 137. Does 13 divide j(26)?
False
Suppose 14 + 36 = 5*t + 4*w, -t + 11 = w. Suppose 2*o - 402 = 3*m, -4*o - 394 = -t*o - m. Is 18 a factor of o?
True
Let j(y) = 4*y**2 + 6*y - 19. Suppose k + 3 = -2*k, -17 = 3*i - 4*k. Does 15 divide j(i)?
True
Suppose g = -5*g. Suppose g = 5*y + y + 192. Is 31 a factor of (-558)/(-7) + y/(-112)?
False
Suppose -4*j - 482 = -4*w - 122, -2*w - 2*j = -172. Does 88 divide w?
True
Suppose -47*w - 4*c + 281 = -46*w, -281 = -w + 5*c. Is w a multiple of 3?
False
Suppose -342 = -5*i + 483. Does 11 divide i?
True
Let h(x) = x**3 + 57*x**2 + 30*x - 429. Is 21 a factor of h(-56)?
False
Suppose 0 = -2*a - p + 49, -3*a + 82 = -2*p - 9. Let y = a + -20. Suppose 3*k - y*k + 288 = 0. Is k a multiple of 24?
True
Suppose 0 = l + k + 2, l - 4*k + 8 = -8*k. Suppose -5*s - 4*w + 252 + 5 = l, -5*w + 15 = 0. Does 7 divide s?
True
Let j(b) = -23*b + 32. Let m be j(-8). Suppose 0 = 7*a - m - 554. Does 10 divide a?
True
Let z(i) be the third derivative of 1/3*i**3 + 1/12*i**5 + 0*i - 3*i**2 + 0 + 1/24*i**4. Is z(-2) a multiple of 10?
True
Suppose 15*i = 16*i - 44. Let o = i + -2. Is 14 a factor of o?
True
Let t(m) = -m**3 - 5*m**2 - 3*m - 16. Let l be t(-8). Let s = -44 + l. Does 13 divide s?
True
Let v = 29 + -26. Suppose -5*l + 4*h + 421 = 0, 3*h - h = v*l - 251. Is 14 a factor of l?
False
Let l be 8/(-6) + (-19)/(-3). Suppose -108 = -4*q + 5*j, l*q = 4*j - 3*j + 156. Is q a multiple of 17?
False
Let j = 26 - -102. Does 6 d