2 + 16/3*a**3 + 0 + 2*a. Is l(2) a multiple of 12?
False
Let a be -1 + 1*(-39)/(-3). Let v be (-2 + a/8)*-4. Suppose 36 = v*t + t. Is t a multiple of 5?
False
Suppose 5*h - 4*s = 3364, -4*h + 2*h + 1360 = 2*s. Does 13 divide h?
True
Let i(j) = -j + 15. Let x be i(10). Let m = x - 2. Suppose m*f - 245 = 5*u, -3*f - u = -50 - 171. Is 16 a factor of f?
False
Let n(z) = z - 11. Let q be n(5). Let c = -7 + q. Let h = 23 - c. Does 8 divide h?
False
Is 23 a factor of 2346*5*(-12)/(-120)?
True
Let s be 0 - 12/(-3) - -17. Let i = 36 - s. Is 237/5 + (-6)/i a multiple of 11?
False
Let y(k) = 2*k**2 + 6*k + 10. Let j be y(-5). Suppose 2*m = -f + 66, -f - j = -m - 0*m. Is 8 a factor of m?
True
Let b(m) = -m - 1. Let c be b(-9). Let i(g) = g**3 - g**2 + 3*g - 4. Let a be i(4). Suppose c*z = z + a. Is 7 a factor of z?
False
Suppose 2*w + 10080 = 12*w. Does 72 divide w?
True
Suppose 3*x = -5*t + 15, -4*t + 4*x = 2 - 14. Suppose -6*w + t*p - 1367 = -10*w, -4*p + 1034 = 3*w. Does 18 divide w?
False
Let v be ((-14)/(-3))/(4/6). Suppose -v = -2*a + 5. Does 15 divide -69*a/(-9) - 1?
True
Let d be (-1)/1*1 - -29. Suppose -l + d = 4. Is 4 a factor of l?
True
Let x(c) = -127*c + 56. Does 23 divide x(-3)?
True
Suppose 3*r + 115 - 31 = 0. Let g = 30 + r. Does 10 divide ((-190)/(-25))/(g/5)?
False
Suppose -5*h - 670 = -5*z, 0 = -5*z + 4*h + 536 + 138. Is z a multiple of 3?
True
Let n be ((-6)/(-5))/(27/90). Suppose -d + 8 = -2*b, 5 + 11 = n*d - 4*b. Suppose 3*i - c = c + 144, -4*i - 3*c + 192 = d. Is i a multiple of 11?
False
Suppose -5*w + 4*i = 16, -3*w + 4*w - 2*i = -8. Suppose 22 = -r - w*r. Let j = r - -39. Is 6 a factor of j?
False
Suppose 5 = 2*t - t. Suppose 0 = 2*r - 11 + t. Does 15 divide (23/(-3))/(r/(-18))?
False
Suppose 41 = 2*q - 15. Let s = q - 4. Is s a multiple of 24?
True
Does 17 divide 21/28 + (-2)/((-16)/3802)?
True
Suppose -d + 13 = 3*s, -4*d - 3*s + 13 = -66. Suppose -3*t + 2*t + 5*y = -d, -3*y - 10 = t. Is (1/2)/(t/64) a multiple of 4?
True
Suppose 0 = 6*i + 39*i - 142740. Is i a multiple of 13?
True
Suppose 3*z - 12 = 3*w - 2*w, -12 = -3*z - w. Suppose -3*g + 34 = -0*g + 4*a, -z*a - 6 = -g. Does 8 divide 6/g + 851/115?
True
Let s(v) = v + 13. Let j be (-2)/(-15) - 598/(-15). Suppose 3*h = -h - j. Is 3 a factor of s(h)?
True
Suppose s - 33 = -5*t, 0*s - 24 = -3*t - 2*s. Suppose 0 = 3*r - 5*f - 97, 5*f = 2*r - t*r + 71. Does 6 divide r?
True
Let g = -411 + 1126. Is 55 a factor of g?
True
Let q = -67 - -669. Does 43 divide q?
True
Suppose 13*f - 6354 = 9*f + 2*z, -3*f + 3*z + 4773 = 0. Does 15 divide f?
False
Let n(x) = -4*x - 40. Let b be (-1)/((-50)/17 + 3 + 0). Is n(b) a multiple of 16?
False
Suppose -5*l + 18 = b, -5*b - 2 = 3*l - l. Let f be 8/(b/2 + 3). Suppose -5*w + f*r + 72 = 0, w + 2*r = 13 + 7. Does 13 divide w?
False
Let m(j) = 6*j**2 + 22*j - 151. Is 11 a factor of m(26)?
True
Let x(l) = 7 - 5*l - 3*l**3 + 4*l**3 + 12 + l**2. Is x(5) a multiple of 24?
True
Let w = 776 - 517. Is 29 a factor of w?
False
Let i = 8 + -4. Let j be (44/(-4) - -4) + 4 - -12. Let o = i + j. Is 12 a factor of o?
False
Let d be (-12)/42 + 74/14. Is 6 a factor of 2/d + (-159)/(-15)?
False
Let d(h) = -h. Let q(f) = 14*f - 7. Let w(n) = -4*d(n) + q(n). Does 18 divide w(4)?
False
Let w = 5059 + -3572. Does 18 divide w?
False
Suppose 0*y - 9828 = -18*y. Does 14 divide y?
True
Let m = 23 + -23. Suppose -2*i + 85 + 95 = m. Does 15 divide i?
True
Suppose 2*a = 6*a - 2*z + 408, 0 = -a + 5*z - 84. Let v be 1/(-2) + a/(-16). Let p(n) = -n**3 + 7*n**2 + 3*n. Is 18 a factor of p(v)?
True
Let q(c) = -c**3 - 9*c**2 - 12*c - 58. Is q(-9) a multiple of 14?
False
Let k be (-2)/(3*(-4)/42). Let s(a) = 3*a - 2 + 1 - 12*a + 0 + 2*a**2. Does 12 divide s(k)?
False
Let b(j) = -j**3 - 5*j**2 - 3*j - 4. Let z be b(-4). Let f = z - -15. Suppose 4*m = 27 - f. Is m a multiple of 2?
False
Suppose -5*i + 13 = -y, -21 = -y - 5*i + 6. Suppose -y*b + 2 = -6*b. Suppose 4*t - 78 = -5*l, 0 = -2*l - b*l - 4*t + 60. Does 18 divide l?
True
Let k(l) = 2*l**2 + 5*l - 1. Let w be k(-5). Does 6 divide 9/(-9)*w*(-2 - -1)?
True
Suppose 0 = 2*g - 2*j + 4*j + 8, 8 = g - 5*j. Let w be 15 - (2 - (0 - g)). Suppose -w = -3*h - 0. Is h a multiple of 5?
True
Is 7 a factor of (-315)/(-21)*10/3?
False
Is 11 a factor of (-23850)/(-250) - (-2)/(-5)?
False
Let k be -182 + 0 + -5 + 2. Let p = 308 + k. Is p a multiple of 41?
True
Let d be 0 + 257/(4 - (0 - -3)). Let x = -47 + d. Is 42 a factor of x?
True
Let a(s) = 5*s**2 - 4. Let m be a(7). Suppose -m - 74 = -5*n. Is 7 a factor of n?
True
Let p(r) = 7*r**2 + 0*r**3 - 3*r + r**3 - 3 - 2*r. Is p(-7) a multiple of 8?
True
Let u = 3 - -14. Suppose -5 = 3*q - u. Does 14 divide (-1)/q - (-1352)/32?
True
Let k(b) = -4*b. Let a be k(-1). Suppose 2 = -l + a. Suppose -s + 0*s + 3*v = 5, -2*v = -l*s + 10. Is s a multiple of 3?
False
Suppose 7*n - 8*n - 3 = 0. Is 9 a factor of (18/21)/(n/(-126))?
True
Suppose -4*p + 4 = -8. Suppose -p*b + 2*i = -68, -b = 6*i - 4*i - 36. Is 26 a factor of b?
True
Suppose -4*f - 7 = -5*d, 4*f = 2*d - 0*d + 2. Suppose 0 = 3*v - d*w - 52 - 77, -3*w + 111 = 2*v. Let j = v - 20. Is j a multiple of 14?
True
Let g be 1 + 250/1 + (0 - 1). Suppose -69*p = -64*p - g. Is 5 a factor of p?
True
Let c(u) = -u**3 + 7*u**2 + u - 7. Let s(h) = -h**3 - 5*h**2 + 7. Let i be s(-5). Let w be c(i). Suppose -b - 3*b + 72 = w. Is 9 a factor of b?
True
Suppose 0 = 3*a - 15, -18 - 4 = 3*b - 5*a. Let r be (-50)/(-6) + b/(-3). Does 11 divide -33*(2 + r/(-3))?
True
Let g(z) = -z**3 - 10*z**2 - 8*z + 14. Let x be g(-10). Suppose 5*v = 444 - x. Is v a multiple of 16?
False
Let l(u) = -4*u + 4 + 3*u - 1. Let v be l(2). Is 5 a factor of 1/v - 15*-1?
False
Let r = -58 + 104. Suppose 47*f - 107 = r*f. Is 14 a factor of f?
False
Is (507/(-2))/((-3)/6) a multiple of 13?
True
Let h = 16 - 15. Let i(p) = 23*p + 7. Does 6 divide i(h)?
True
Is 25 a factor of ((-11250)/(-200))/(-1*(-6)/16)?
True
Suppose 2*b - 2*z - 108 = -4*z, 2*b - 110 = -z. Suppose -b + 160 = 4*v. Is 13 a factor of v?
True
Let b = -181 - -271. Let x = b + -74. Is x a multiple of 16?
True
Let m = -26 - -25. Let y(n) = -n**2 - 2*n. Let h be y(-3). Does 6 divide (h/(-2))/(m/(-12))?
True
Let l(r) = -r + 1. Let i be l(-3). Suppose -2*q + 334 = i*b, 3*q + 2*b - 501 = 6*b. Suppose q = 4*c + 3*s, -4*s - s + 25 = 0. Is 19 a factor of c?
True
Let y = -442 + 198. Let l = -163 - y. Suppose 0 = -2*m - m - 3, p = -3*m + l. Does 14 divide p?
True
Let c(d) = d**3 - 6*d**2 + 23*d - 8. Is 13 a factor of c(4)?
True
Suppose 40 = 2*i + 3*k, 5*i + 29 - 116 = -k. Suppose 4*s = -3*p, 0*p - 20 = 5*p. Let b = s + i. Does 18 divide b?
False
Does 12 divide 1102 - (-10 - -11)*10?
True
Let a = 25 + -38. Let d(x) be the third derivative of -x**4/12 - 5*x**3/6 - 5*x**2. Is d(a) a multiple of 15?
False
Let v be 193 - -3*(-3)/(-9). Suppose 4*p + 8 + v = 2*w, -103 = -w + 4*p. Is 4*(-4 - w/(-4)) a multiple of 21?
False
Let v = 12 + -11. Let c be 2 + 1 + v + -2. Suppose 2*u + c*u = 20. Is u a multiple of 4?
False
Suppose -3*k + 4*x = -163, -4*x + x = 3*k - 177. Is k a multiple of 2?
False
Let t = 7 - 3. Suppose -5*o - t*u = -5924, -4*u - 1204 = -o - 0*o. Is 9 a factor of 1/4 - o/(-48)?
False
Is ((-14310)/12)/15*-2 a multiple of 5?
False
Suppose j = -109 + 697. Suppose 7*o + j = 9*o. Does 42 divide o?
True
Let t = 4502 + -522. Is t a multiple of 120?
False
Suppose -694 = 4*v - 2614. Does 30 divide v?
True
Let p = 2193 - -1090. Is 39 a factor of p?
False
Let s(l) = 2*l**2 - 36*l - 83. Is 55 a factor of s(-17)?
False
Let z = -3 + 5. Suppose -3*l - 6 = -3*w, 4*w + 0*w = z*l + 4. Is l + 2 - (-42)/1 a multiple of 12?
False
Let z be (-2)/(-3)*(-3)/2. Let d be (6 - -15)*(0 - z). Does 16 divide 339/d + (-2)/14?
True
Let m = -33 + 506. Does 27 divide m?
False
Let h(z) = 75*z + 2160. Does 20 divide h(0)?
True
Suppose -54 = -2*p - 2*v, 13 + 20 = p + 3*v. Let x be (-9)/(-6)*(5 + -3). Suppose -x*d = -2*d - p. Is 12 a factor of d?
True
Suppose 14*p - 21604 = -3950. Is 28 a factor of p?
False
Let b = 27 - 39. Let j = -8 - b. Is (j/(-5))/(12/(-30)) a multiple of 2?
True
Let m(z) = -z + z**3 + 25 - 20*z**2 + 8*z - 3*z + 14*z. Does 6 divide m(19)?
True
Let f(b) = 6*b**2 + 168*b - 10. Does 10 divide f(-30)?
True
Suppose 0 = t + 4*y - 691, t - 4*y - 388 = 287. Does 38 divide 