1*a = -14. Does 4 divide a?
False
Suppose c + 0*c + 5 = 0. Let k = c + 18. Is 2*k*1/2 a multiple of 13?
True
Is 2/3 - 399/(-9) - 0 a multiple of 17?
False
Suppose 0 = -2*o - 3*a + 16, -5*a = 4*o - 3*a - 32. Is o a multiple of 3?
False
Suppose -g = -3*g - s + 24, 0 = -2*s - 4. Is g a multiple of 13?
True
Let n be 2/(-3) + (-6)/(-9). Suppose 5*b + 5*s - 45 = 0, n = b - 0*s + 4*s - 24. Is b a multiple of 4?
True
Let d(m) = -m - 7. Suppose -5*r - 15 = -r + 3*b, -5*r + 3*b - 39 = 0. Let u be d(r). Does 16 divide 45 + (0 - u)*-2?
False
Let z = -5 - -6. Let f(u) = u. Let v be f(z). Does 5 divide 2*((-51)/(-6))/v?
False
Let l = 25 - 12. Let b = l + -9. Suppose b*d - 2*d = 6. Is d even?
False
Suppose 92 = 5*r - 2*o, 2*r - 5*o - 20 = -0. Is r a multiple of 5?
True
Is (-6)/(6/(-5)) - 0 a multiple of 5?
True
Let x = -12 + 17. Suppose -x*k = m - 8, -2*k + 0 - 2 = 0. Is 13 a factor of m?
True
Suppose 2*p + 15 = 91. Suppose p = 2*u - 6. Does 22 divide u?
True
Suppose -b + 22 = 2*z, 0*b + 2*b + 11 = z. Is z a multiple of 2?
False
Suppose 4*m = -2*z + 34, 21 = 2*m + z - 4*z. Is m a multiple of 4?
False
Let j be (-192)/(-10) - (-1)/(-5). Suppose -2*f + j = -p + 4*p, 0 = 5*p - 4*f + 5. Is (-10)/p*(-36)/20 a multiple of 6?
True
Suppose 3*f + 2*c - 13 - 15 = 0, 4*c = -f + 26. Suppose -3*x + f*n + 45 = n, 0 = -4*n + 12. Is 20 a factor of x?
True
Is -6*(57/(-15))/(12/30) a multiple of 4?
False
Suppose -y - 5*v - 26 = 0, 25 = -0*y - 2*y - v. Let u(l) = -l**3 - 4*l**2 + 2*l + 6. Let b be u(-4). Does 5 divide b*(1 - y/(-2))?
False
Suppose 0 = q - a - 23, 1 = 5*a - 14. Is 13 a factor of q?
True
Let k be (-2)/(-3)*6/(-4). Let n = k + 5. Does 4 divide n?
True
Let j(w) = -4*w + 7. Is 9 a factor of j(-5)?
True
Suppose -4*k + 4 = 0, -k - 18 = -5*s + 61. Let c = s + 40. Is 28 a factor of c?
True
Let h(j) = j**3 + 10*j**2 + 17*j + 19. Is h(-8) a multiple of 4?
False
Let g be 190/8 + 1/4. Let a = 4 + -18. Let p = a + g. Does 10 divide p?
True
Is 11 a factor of 468/33 + 4/(-22)?
False
Let t(w) = -w**3 - 14*w**2 - 7*w - 43. Is t(-14) a multiple of 5?
True
Suppose -4*i + 1 = 2*f - 3*f, 2*f + 2 = 2*i. Suppose 0 = -3*x - 9, g - 5*x + 10 - 40 = i. Is g a multiple of 4?
False
Suppose 5*y - 175 = -5*l, 4*y = -0*y + 2*l + 128. Does 3 divide y?
True
Is 13 a factor of 2404/36 + 0 - (-8)/36?
False
Let f be (-1)/3 - 65/(-15). Suppose -f*l + 3 = 4*a - 3*l, 2*a - 4*l - 24 = 0. Suppose 11 = a*o - 13. Does 3 divide o?
True
Let n = 9 - 3. Is 6 a factor of n?
True
Is 10 + -3*(-5 - -4) even?
False
Let s(h) = 3*h**2. Let w be s(4). Let q = 78 - w. Does 15 divide q?
True
Is 22 a factor of ((-1)/2*-53)/(6/12)?
False
Let v(i) = 7*i**2 - 6*i + 16. Is v(6) a multiple of 29?
True
Suppose -18 = -3*x - 9. Is 3 a factor of x?
True
Does 11 divide 12/(-486)*-9 + (-1652)/(-18)?
False
Let f(j) = 4*j**2 - j + 1. Let r be f(1). Suppose r*v + 4 = 5*v - c, v = 5*c. Suppose -n + b + 26 = 0, -60 - 8 = -4*n - v*b. Does 11 divide n?
True
Let c(t) = 18*t**2 + t + 1. Let h be c(-2). Suppose -5*b + h = 4*y, -5*y + 72 + 1 = b. Is 4 a factor of y?
False
Let s be (-1)/3*-3*3. Suppose s*y - 18 = -x, x + 3*x - 62 = -2*y. Is x + 4 + 1*-1 a multiple of 7?
False
Suppose 2*h - 6 = -h. Suppose 0 = -0*k - k - h. Is 16 a factor of ((-55)/10)/(k/12)?
False
Let m(i) = -83*i - 2. Let a be m(-1). Let o = -38 + a. Does 23 divide o?
False
Is -2 - -3*(-368)/(-12) a multiple of 21?
False
Suppose -6 + 42 = 2*k. Is k a multiple of 3?
True
Let x = 22 + 19. Let r = 57 - x. Is r a multiple of 8?
True
Let v = -10 + 16. Let c(b) = 17*b + 1. Is 29 a factor of c(v)?
False
Suppose 0 = 5*a + 10, -2*z - 47 = -2*a + 33. Let f(i) = -i**3 - 11*i**2 - 7*i + 12. Let n be f(-10). Does 10 divide (n/4)/(7/z)?
False
Suppose 5*h + 4*d = -d + 10, h + 1 = -2*d. Suppose -q - 4*g = -h*g - 46, -4*q - 2*g = -154. Does 7 divide q?
False
Let i be -1 - 1 - 0 - -6. Let f(k) = 7*k. Let g be f(i). Let y = g + -16. Is y a multiple of 12?
True
Suppose 2*o + 2*o = 0. Suppose 7*m - 3*m - 24 = o. Does 3 divide m?
True
Let b(o) = -10*o - 10. Is 25 a factor of b(-6)?
True
Let g be (-326)/(-22) + 2/11. Let o be 4/4 + -2 + 43. Suppose o = i + g. Does 11 divide i?
False
Suppose -p + 6*p - 537 = -3*r, 4*p = -r + 431. Does 27 divide p?
True
Let b = 5 - 3. Suppose -2*v - b*v = -124. Does 22 divide v?
False
Let y = -7 + 11. Suppose 5*o + 36 = u, 0*u + 4*u - 24 = -y*o. Is u a multiple of 3?
False
Let f(v) = -2*v**2 + 6*v - 7. Let r(j) = 2*j**2 - 5*j + 6. Let i(c) = 5*f(c) + 6*r(c). Is i(-2) a multiple of 9?
True
Suppose h + 2 = -h. Is 1 - h - (-26 - 10) a multiple of 28?
False
Suppose g = 6*g - 180. Is g a multiple of 18?
True
Suppose 5*z + 3*p = 912, 0*p - 4*p - 524 = -3*z. Does 11 divide z?
False
Let v(i) = -3*i + 3. Let a be -2 + 3*6/9. Suppose a = -3*j - 0*j - 12. Does 5 divide v(j)?
True
Suppose 0 = m + 3*t + 85, 0*t = 4*m - t + 314. Let i = m + 136. Does 19 divide i?
True
Is 23 a factor of (-2)/(-8) - 1260/(-16) - -2?
False
Is ((-1)/((-8)/(-138)))/(9/(-24)) a multiple of 8?
False
Let l = 25 - 17. Does 4 divide l?
True
Suppose 5*d + 5*m - 30 = 0, -2*d - d = m - 20. Is 4 a factor of 0 + d + (14 - 13)?
True
Suppose 4 = -2*g, -3*x + 0*g + 941 = -4*g. Suppose x = 6*j - 37. Does 24 divide j?
False
Let f(t) = -8*t - 7. Let a be f(-5). Suppose 2*d + 6 = -y + 7*d, -4*d = -8. Suppose -a = -y*n + n. Does 11 divide n?
True
Is -2 + (-975)/(-6) - 3/6 a multiple of 15?
False
Suppose 0*p = 5*p + w + 20, 0 = p - w + 10. Let q(o) = 13*o + 2. Let g(r) = -90*r - 15. Let n(h) = 4*g(h) + 27*q(h). Does 17 divide n(p)?
False
Suppose -3*p = p + 3*j - 164, -5*j + 112 = 3*p. Is 10 a factor of p?
False
Let z(w) = -2*w**2 + 5*w**2 + 6*w**2 + w - w**2. Is 19 a factor of z(3)?
False
Suppose 5*k - 410 + 60 = 0. Suppose 4*x - k = 2*x. Is x a multiple of 15?
False
Suppose -j - 2*j - 1 = -n, 2*j + 6 = -2*n. Is 11 a factor of (-4 + 0)*9/n?
False
Suppose 0 = -5*y + 78 + 107. Is 12 a factor of y?
False
Let i(n) = -3*n**3 - 3*n**2 + n + 5. Is 28 a factor of i(-3)?
True
Let s = -9 + 2. Let v(y) = -y**2 - 4*y**2 - y**2 + 8 - y**3 + 7*y. Is v(s) a multiple of 4?
True
Let p be (-1 - 124) + (0 - 2). Let y = p - -197. Is 25 a factor of y?
False
Let p = 234 - 145. Is 15 a factor of p?
False
Let v = 8 - -8. Does 6 divide v?
False
Let f be (-1)/(-2 + 1)*-10. Let q = -20 - f. Let u(b) = -b + 8. Does 6 divide u(q)?
True
Suppose 4*g + g = 20, 2*q + 3*g - 66 = 0. Suppose 4*v + 12 + q = -3*a, 5*a = -4*v - 49. Let i = v - -11. Is i a multiple of 3?
False
Let l(j) be the first derivative of j**3/3 - 3*j**2 + 6*j - 2. Let x be l(6). Is 3 a factor of (1*-1)/((-2)/x)?
True
Suppose -3*t + 4*c = -123, 177 = -0*t + 4*t - c. Does 9 divide t?
True
Let p = -1 + 8. Let f(x) = x**2 + x - 1. Does 22 divide f(p)?
False
Let h = -4 - -12. Does 2 divide h?
True
Suppose -11 - 29 = -b. Does 18 divide b?
False
Let b(w) be the third derivative of 0*w - 7/6*w**3 + 0 + 1/6*w**4 - 2*w**2. Does 7 divide b(6)?
False
Let l = 49 - 28. Suppose -6 + l = 3*t. Suppose 154 = t*o + 14. Is o a multiple of 14?
True
Suppose 4*s + s = 0. Does 5 divide -2 + 12 - (s - -1)?
False
Let w(s) = s**3. Let o(q) = -2*q**2 + q + 0*q - 25 + 0*q**2 + q**2 - 5*q**3. Let l(z) = -o(z) - 6*w(z). Is 18 a factor of l(0)?
False
Suppose -r - 2*r - 201 = 0. Let o = r - -111. Is o a multiple of 16?
False
Suppose 0 = -l + 5*j - j + 4, -3*j + 2 = -2*l. Let z be 1*(l + 3)*0. Suppose z = -3*n - 3*g, 3*n = 5*n + 4*g + 10. Is 4 a factor of n?
False
Does 37 divide (0 - 1)/(((-4)/74)/2)?
True
Let t = -6 - -3. Let s = t - -5. Suppose 4*b = s*b - 10, -5*f + 120 = 3*b. Is 13 a factor of f?
False
Let v(p) be the first derivative of p**3/3 + 3*p**2/2 - 3*p - 1. Is v(5) a multiple of 13?
False
Suppose u + 156 = 4*u. Is 26 a factor of u?
True
Suppose 3*i = 4*l - 147, -103 = -3*l - i - 4*i. Does 11 divide l?
False
Let p(y) = 2*y**3 - 7*y**2 + 6*y - 2. Is p(5) a multiple of 23?
False
Let f be 2*(6/4 - 0). Suppose -7*z + 100 = -3*z + 4*q, 4*z + f*q = 99. Is 7 a factor of z?
False
Let d(g) = g**2 - 4*g - 20. Does 12 divide d(-6)?
False
Let s = 1 - -34. Is 13 a factor of s/(-14)*(-15 - -1)?
False
Let z(j) = -5*j - 7. Let p be z(-3). Suppose -5*l - 22 = 3. Let w = l + p. Is 2 a factor of w?
False
Let u be (-3)/2*(-28)/6. Suppose 4*n - u = 1, g - 3 = -2*n. Does 4 divide -1 + 3 - 6/g?
True
Suppose 0 = 5*y - 6*y + 