= -a + 2*a, 0 = -4*a + 16. Suppose x*u = 132 + 38. Is 20 a factor of u?
False
Let y(i) = 2*i**3 - i**2 + 3*i + 2. Does 13 divide y(3)?
False
Let k = -2 + 0. Let t = 2 - k. Does 14 divide -2 - (-39 + t + -1)?
False
Let i(x) = 2*x**2 + 4*x - 2. Let c be -7 - 4/((-4)/2). Is 14 a factor of i(c)?
True
Let b be 29*(-1)/(-1 + 0). Let x = 52 - b. Is x a multiple of 23?
True
Let p be (-2205)/(-2) + (-3)/6. Suppose -2*l + 4*l - 5*y - 542 = 0, p = 4*l - y. Is 6/15 - l/(-10) a multiple of 13?
False
Suppose -8 + 1 = w - x, -w - x + 3 = 0. Let c(q) = 11*q**2 - 2. Is c(w) a multiple of 21?
True
Let f = 79 - -8. Is 12 a factor of f?
False
Suppose -3 = 5*c + f, -f - 9 = -3*c + 2*f. Suppose -5*g + c*g + 50 = 0. Is 10 a factor of g?
True
Suppose 5*q + 2*b = 64, 0*b = q + 4*b - 20. Is (2 + -5)*(-152)/q a multiple of 14?
False
Let a(g) = -27*g + 1. Let x be a(-1). Suppose -3*l + 20 = 2*l. Suppose -l*o - 3*u + u = -x, 4 = o + 2*u. Does 5 divide o?
False
Let k = 55 + -38. Is 8 a factor of k?
False
Let o = -29 + 53. Is 6 a factor of o?
True
Let b(h) = -h + 138. Does 46 divide b(0)?
True
Let v be 2012/(-14) - 4/14. Let r = v - -270. Let j = r + -68. Does 29 divide j?
True
Let z(w) = -52*w - 2. Let i be z(-1). Does 4 divide ((-36)/(-30))/(4/i)?
False
Let i be 0 + 3/12 + (-7)/(-4). Let k(t) = -2*t - 2. Let w be k(-2). Suppose -11 = 3*b - i, s + w*b = 5. Is s a multiple of 11?
True
Suppose 0 = -2*w + 23 + 17. Does 13 divide w?
False
Let j = -176 - -335. Is j a multiple of 30?
False
Suppose 0 = -3*l + 3*m - 2*m + 147, 5*l + m - 253 = 0. Is l a multiple of 10?
True
Let z(b) = 15*b**3 + b**2 - 11*b - 2. Let p(w) = -7*w**3 + 5*w + 1. Let y(o) = 13*p(o) + 6*z(o). Let n be (-13)/(-4) + (-1)/4 - -2. Does 19 divide y(n)?
False
Let d(u) = -7*u. Let m be d(-1). Let l(c) = c**2 - 5*c + 5. Let j be l(m). Suppose 4*p + j - 59 = 0. Does 5 divide p?
True
Suppose -3*n + 1 = 3*d + 7, 0 = -4*d + 4*n + 24. Suppose 5*l + 41 = 3*a, d*l = -a - 2 + 1. Does 2 divide a?
False
Let q(k) = 2*k**3 - 5*k**2 - 5*k - 11. Is q(6) a multiple of 13?
False
Let a = -4 + 7. Let x = a + 1. Is 2 a factor of x?
True
Let x(v) = v**3 - 5*v**2 - 2*v - 4. Is x(6) a multiple of 4?
True
Suppose u - 4*b - 19 = 0, -3*b - 10 = -2*u - 2*b. Let m(t) = -t + 1. Let r be m(-2). Suppose 0 = -2*p - u*f + 29, -16 = -p - f - r. Is p a multiple of 5?
True
Let u(p) = 2*p - 5. Let y be u(4). Suppose -y*b = 2*b - 170. Is b a multiple of 14?
False
Let o = 14 - 20. Let u = o + 10. Does 2 divide u?
True
Let x(f) = f**2 - 5*f + 10. Does 4 divide x(-5)?
True
Suppose b = -2*x + 27, 4*b - 5*x - 45 = 2*b. Suppose -5*g = -y - 0*g + b, -3*y + 2*g = -62. Does 10 divide y - (0 + 0)/1?
True
Suppose 4*w + w + 3*c = 190, c - 180 = -5*w. Let a = w + -21. Is a a multiple of 7?
True
Does 24 divide 40/100 + (-1436)/(-10)?
True
Let z = 0 + 1. Let x(k) = -k**2 - 8*k - 6. Let b be x(-4). Let v = b + z. Does 9 divide v?
False
Suppose 12 = -3*d + 3*h, -2*d + 2 - 25 = 3*h. Let k = -13 - d. Is 6/9 + (-122)/k a multiple of 8?
False
Let y(f) = -f**2 + 6*f + 7. Let n be y(7). Let u be 5 - (1 + n)*1. Is 5 a factor of (8/6)/(u/42)?
False
Let g(p) = -2*p - 18. Let b be g(-13). Suppose b = 2*t - 0*t. Is 2 a factor of t?
True
Let b(g) = -g**2 - 4*g - 5. Let w be b(-5). Let p(q) = -q**3 - 5*q**2 + 3*q. Let v be p(-5). Does 11 divide 3/v - 272/w?
False
Let o = 9 + -10. Does 4 divide ((-7)/14)/(o/8)?
True
Suppose 3*j = 4*c + 544, -3*c + 550 + 167 = 4*j. Is 60 a factor of j?
True
Is 6 a factor of (-7)/14 + (-162)/(-4)?
False
Let y(m) = -m - 3. Suppose 0 = 2*q - 7 - 1, r - 5*q = -28. Let a be y(r). Suppose 5*l - 172 = 3*v - 7*v, -3*v - 151 = -a*l. Is 18 a factor of l?
False
Let u(m) = 3*m**2 + 6*m - 6. Does 15 divide u(-5)?
False
Let b(x) = x**3 - 6*x**2 - 1. Let k be b(6). Let s(f) = -f**3 + 6*f**2 + 2*f - 6. Let l be s(6). Let d = l + k. Does 5 divide d?
True
Let g(t) be the first derivative of 2*t**3/3 - t**2/2 - 6*t - 5. Is g(6) a multiple of 30?
True
Is 10 a factor of (1 - 2)/((-99)/(-50) - 2)?
True
Suppose 64 = u - 4*c, -3*c + 60 = u - 8*c. Is 40 a factor of u?
True
Let g(p) = 4*p**3 - 2*p**2 - 2*p. Does 10 divide g(2)?
True
Let p(f) = f**2 + 10*f + 13. Is 8 a factor of p(-11)?
True
Let g = 221 - 123. Does 14 divide g?
True
Let y be 5*(14/5 + -2). Suppose -5*j = -g - 3*g + 260, -y*g = -4*j - 256. Does 30 divide g?
True
Let m(y) be the second derivative of -2*y**3/3 + 3*y. Let o be m(-7). Let d = o + -8. Is d a multiple of 10?
True
Let x = -7 - -7. Suppose -4*f + 2*q - 24 = -2*q, x = -5*f - 3*q - 30. Does 9 divide 3*1 - 84/f?
False
Is 13 a factor of ((-12)/30)/((-1)/65)?
True
Suppose -h + 5*d + 15 = 0, -2*h - 3*d = h - 9. Let j(v) = v**3 - 6*v**2 + 4*v + 7. Is 2 a factor of j(h)?
True
Let a = -23 + 133. Is 38 a factor of a?
False
Let j(l) = l**3 + 6*l**2 + 3*l + 4. Suppose -m + 2*b + 1 = 0, m + b + 0 = 4. Suppose -m*w + w = 8. Is 12 a factor of j(w)?
True
Suppose 3*u + 164 = 4*u - 5*s, 0 = 5*s - 10. Is u a multiple of 17?
False
Suppose 2*t = -t + 45. Is t a multiple of 15?
True
Let v be 2/6 - 1290/(-18). Suppose c + c = v. Does 12 divide c?
True
Let x(f) be the third derivative of f**6/120 - f**5/15 + f**4/8 + f**3/2 - f**2. Does 3 divide x(3)?
True
Suppose 31 = 5*o - 64. Is 19 a factor of o?
True
Suppose 10*d = 12*d - 108. Is 9 a factor of d?
True
Suppose -2*b + 0*b = 0. Let q(s) = 2*s + 30. Is q(b) a multiple of 10?
True
Suppose -37 = 5*o + 218. Let j = o - -71. Is j a multiple of 20?
True
Let a be (-38 + 1)*6/3. Let n = -50 - a. Does 12 divide n?
True
Let d be (-9)/(-11) + (-2)/(-11). Let q be (-6 + 2/d)*-1. Suppose -q*h + 87 = -h. Is 16 a factor of h?
False
Let f(m) = 55*m**2 + 5*m - 14. Is 24 a factor of f(2)?
True
Let o = -9 + 15. Does 2 divide o?
True
Let i(u) = -u**2 - 14*u - 12. Let s be -4 - 2*(3 - 2). Let m = -15 - s. Does 13 divide i(m)?
False
Let p be 12*(10/3 - 3). Suppose 3*y + 188 = 5*l, 3*l - 114 = p*y - y. Does 12 divide l?
False
Suppose -2*p - 378 = -8*p. Is 19 a factor of p?
False
Suppose 0 = 3*s - 218 - 169. Does 19 divide s?
False
Let f = 4 + 4. Does 6 divide f?
False
Let u = 3 + 1. Let h(r) = r - 6. Let w be h(5). Is 20 a factor of w + 53 + u + -2?
False
Let d = 13 + -5. Is d a multiple of 4?
True
Suppose 4 = -4*k - 16. Suppose -d - 5*l = 3, 3*d - 3*l + 1 - 10 = 0. Is ((-34)/k)/(d/10) a multiple of 17?
True
Let h(u) = 5*u**2 + 2*u + 3. Let w = 10 + -7. Let a = w - 5. Does 8 divide h(a)?
False
Suppose -r - 5*u = -93, -5*u = 4*r - 0*u - 432. Is 29 a factor of r?
False
Let n(p) = p**3 + 13*p**2 + 10*p + 9. Is 5 a factor of n(-12)?
False
Let m(c) = 3*c - 3. Let y(k) = 2*k**2 + 4*k. Let f be y(-3). Let l be m(f). Suppose 3*g - l = -3*p + 12, 3*p = 5*g + 67. Is p a multiple of 6?
False
Suppose -42 = -z - o + 15, 3*z - 2*o - 196 = 0. Is 22 a factor of z?
False
Let t be -2 - 8*(-30 - 2). Suppose -2*q = 3*c - t, 0 = -5*c + q - 4*q + 422. Is 16 a factor of ((-4)/(-4))/(2/c)?
False
Let k(f) be the first derivative of f**2 + 4*f + 4. Does 3 divide k(3)?
False
Let x be 23/(-5) + (-6)/(-10). Let w = -1 - x. Suppose 2*u + u + 105 = 3*v, w*v + 5*u - 129 = 0. Is v a multiple of 19?
True
Suppose 6*i - 3*u = 2*i + 23, 2*i - u = 11. Suppose 4*t - 60 = -i*x, 5*x + 3*t = 48 + 12. Suppose -j + x = 1. Does 4 divide j?
False
Is ((-336)/4)/(2 - 4) a multiple of 14?
True
Suppose -5*v + 175 = -5*c, 3*v - 84 = -5*c + 5. Is 16 a factor of v?
False
Suppose -5*d - 142 = 2*b, -4*d + 4*b - 110 - 26 = 0. Is 6 a factor of (2*1)/((-5)/d)?
True
Suppose 20*b + 60 = 22*b. Does 7 divide b?
False
Is (15 + -3)*(-4)/(-3) a multiple of 4?
True
Let z(f) = f**3 - 6*f**2 + 6*f - 6. Let y = -13 + 19. Is 10 a factor of z(y)?
True
Let g = -130 + 78. Does 6 divide (-4)/10 + g/(-5)?
False
Let l = -5 + -7. Let k = l + 29. Is k a multiple of 17?
True
Let a(y) = -16*y - 2. Is 5 a factor of a(-2)?
True
Let u = 7 - -49. Is u a multiple of 8?
True
Suppose 0 = -3*d - 2*d + 65. Suppose z + d = 56. Is 10 a factor of z?
False
Let n(c) = -c**3 - 14*c**2 - 19*c - 13. Does 13 divide n(-13)?
True
Let p(b) = -17*b - 4. Suppose 0*n = -5*n - 20. Let q be p(n). Is 18 a factor of (-1 - -6)*q/10?
False
Is 12 a factor of (3/(-9))/((-3)/369)?
False
Does 14 divide 2/(-3) + 7 + (-308)/(-3)?
False
Suppose -2*w - 8 = 4*p + 4, 5*w = 4*p - 2. Let o = w - -7. Is o a multiple of 2?
False
Let i(q) = -2*q**2 + q + 2. Let 