 0 = 4*v - 2*m - 188, -v + m - 242 = -w*v. Does 12 divide v?
True
Suppose -5*c + c = -4*l - 148, 4*c + 3*l - 134 = 0. Suppose c + 210 = 5*u. Does 17 divide u?
False
Let x = -74 - -140. Is x a multiple of 14?
False
Let a be (-9)/4 - 2/(-8). Let i = -226 + 152. Does 10 divide (-3)/a - i/4?
True
Suppose -7*z = -9*z + 42. Is 5 a factor of z?
False
Suppose -3*q - 52 - 23 = 0. Let n = 53 + q. Is n a multiple of 14?
True
Suppose 0 = -3*k + p + 145, p - 33 - 14 = -k. Is 15 a factor of k?
False
Suppose 40 = b - 5*w, -5*w = 2*b + 1 - 111. Does 4 divide b?
False
Suppose 60 = 3*b + 3*m, -m + 20 - 64 = -3*b. Let z be (-3)/(3/4)*-1. Suppose -z*w + b = -24. Is w a multiple of 5?
True
Let j be 5 - -5*4/(-10). Suppose -2*v + 27 = -0*v + j*k, -3 = 3*k. Is v a multiple of 7?
False
Let p be 18/8 + (-1)/4. Suppose 38 + 13 = 5*u + 2*i, 5*u = 3*i + 36. Is u + p/(-4)*0 a multiple of 9?
True
Suppose 0 = 2*r - 60 - 108. Is r a multiple of 57?
False
Let c(h) = h + 3. Let z(g) = -2*g - 7. Let y(m) = 5*c(m) + 2*z(m). Is 6 a factor of y(11)?
True
Let q = 26 + 50. Suppose -b - b = -q. Does 11 divide b?
False
Suppose 5*y - t = t + 229, -55 = -y + 5*t. Is y a multiple of 15?
True
Let m(b) = b + 3. Let h be m(0). Suppose 0 = 2*z + 4*y - 2, 1 = h*y + 4. Is 13 - (-1 + -1 + z) a multiple of 12?
True
Suppose 5*q = 11 - 641. Is (-3 + -1)*q/24 a multiple of 7?
True
Suppose 5*w + 10 = -40. Let v = -9 + 29. Let p = v + w. Is p a multiple of 10?
True
Suppose 5*i - 40 = -4*f - 9, 2*f + i = 17. Let j be f*2*(-3)/(-9). Suppose -9 = -j*w + 3*w. Is 2 a factor of w?
False
Suppose 2*u + 67 = -5*s + 2*s, -3*s = 4*u + 143. Let r = 18 + u. Let w = -9 - r. Does 11 divide w?
True
Does 25 divide (0 - 0) + 24 + 7/7?
True
Let r(t) = -89*t. Is r(-1) a multiple of 13?
False
Suppose -5*j = -2*t - 15, 9 = 4*t + 2*j + j. Let u be 10*(t - 1)/2. Let l(f) = -f + 3. Is 6 a factor of l(u)?
False
Suppose -4*t + 5*g + 244 = 0, t = -2*t - 5*g + 183. Is 4 a factor of t?
False
Suppose 5*x + 208 = x. Let p = x - -91. Is 12 a factor of p?
False
Suppose -3*d + 9*k + 4 = 4*k, 2*d = 5*k + 1. Let u be (-2)/2 - (2 - 2). Is (1 - 5*d)*u a multiple of 14?
True
Suppose 0*f = -3*f + 3. Let y be f/(-3*(-3)/9). Suppose -5*m = -0*m + 5*j - 35, -2*m - y = 5*j. Is 4 a factor of m?
True
Let z(l) = 5*l**2 + 24*l + 6. Is z(-8) a multiple of 10?
False
Is 23 a factor of 5 + -2 + 61 + 2?
False
Let w = 11 - -27. Is 19 a factor of w?
True
Let v(o) = -2*o + 7. Let p be v(4). Let n = p + 7. Is n a multiple of 3?
True
Let n be -26*(-1)/(8/20). Is 14 a factor of 3861/n + 4/(-10)?
False
Let a = -395 - -598. Is 11 a factor of a?
False
Suppose 5*h = 146 + 34. Suppose h = 2*i - 2. Is i a multiple of 7?
False
Let p(v) = v**2 + 2. Let r be p(0). Is 2 a factor of (r/4)/((-2)/(-8))?
True
Let i = 36 + -31. Does 2 divide i?
False
Let f(b) = 2*b**2 + 2 - 3*b - b**2 + 11*b. Let p be f(-8). Suppose 47 = 2*t + 3*w, t + 2*w = -p*t + 63. Does 14 divide t?
False
Suppose 468 = 19*b - 13*b. Does 6 divide b?
True
Suppose 4*c = q + 5, 15 = 2*q + 3*q. Does 2 divide c?
True
Let v = 5 + -12. Let k = v - -38. Is 13 a factor of k?
False
Suppose -2*l - 195 = -7*l. Suppose 4*w - 1 = d - w, 5*w - l = -d. Let g = d - 10. Is g a multiple of 9?
True
Suppose s = -4*z - 3 - 12, 2*s = 2*z + 20. Is s even?
False
Let d(u) = 51*u + 12. Is 7 a factor of d(2)?
False
Let w(a) = 7*a**2 - 2*a + 2. Let d be w(2). Let f = d + -3. Is f a multiple of 14?
False
Let b(a) = a**3 - 4*a**2 - 10*a - 3. Is 3 a factor of b(6)?
True
Let x = -15 - -7. Let l = x + 26. Does 6 divide l?
True
Let y = -12 - -59. Is y a multiple of 6?
False
Is 7 a factor of (6/9)/(7/((-6468)/(-8)))?
True
Let k be 29962/(-8) - (-5)/20. Does 24 divide 2/(-9) + k/(-45)?
False
Let l be (-4)/14 - 16/(-7). Let x = l + -4. Does 7 divide 198/30 + x/(-5)?
True
Let q(s) = s**3 - 4*s**2 - 3*s - 6. Let p = 1 + 0. Let h be -1*p - 24/(-4). Is 3 a factor of q(h)?
False
Let h(j) = 4*j + 7. Suppose 6 + 4 = 2*y. Does 7 divide h(y)?
False
Suppose -2*u + 14 + 38 = 0. Suppose -u = x - 3*x. Does 13 divide x?
True
Let f = -29 - -41. Is 6 a factor of f?
True
Suppose -l + 2*l - 3 = 0. Let j = l + -1. Suppose -2*m = j*m - 120. Does 11 divide m?
False
Let u(o) = 88*o**2 + 9*o - 8. Is 5 a factor of u(1)?
False
Let q = -5 + 28. Is q a multiple of 10?
False
Let c = -5 + 13. Let g(l) = l**3 - 9*l**2 + 9*l + 2. Is 5 a factor of g(c)?
True
Let j = -30 - 50. Is (2/(-8))/(4/j) a multiple of 3?
False
Suppose -w = 2 - 5, -103 = -4*t + 3*w. Let m = 6 + t. Is m a multiple of 17?
True
Let y = 12 - 6. Let g(u) = 3 + 6*u - 4*u + y*u + 0. Is g(4) a multiple of 11?
False
Let a = 57 - 51. Is 2 a factor of a?
True
Suppose -145 = -2*l - 385. Let i = -3 + 1. Is 11 a factor of (i/(-4))/((-2)/l)?
False
Suppose 412 = 4*o + 4*k, -k + 4 = -0. Suppose -2*x + 39 = -o. Does 29 divide x?
False
Let i be 1/(-1 + 18/17). Suppose -d + 5 = -i. Is 11 a factor of d?
True
Suppose 0 = -2*g + l + 23, 5*l - 95 = -3*g - 28. Is 4 a factor of g?
False
Let j = -12 - -17. Suppose 5*i = -j*u - 1 + 51, 2*i + 3*u - 16 = 0. Is 6 a factor of i?
False
Let k(q) = 4*q**3 - 2*q**2 + 6*q - 4. Does 15 divide k(2)?
False
Suppose -6*x = 3*b - x - 32, 3*x - 61 = -4*b. Is 4 a factor of b?
False
Let c = 3 - 13. Let x = 6 + c. Does 10 divide (1/2)/(x/(-80))?
True
Suppose -6*z + z + 20 = 0. Does 31 divide 31*(-1 + (z - 1))?
True
Is -213*3/(-9) - -5 a multiple of 4?
True
Suppose -4*u + 8 = 2*i, -2*i = -3*u - 0*u + 13. Suppose -5*k = 5*t - 75, k + 60 = u*t - k. Is 4 a factor of t?
False
Is 8 a factor of (-1930)/(-20) + (1 - 2/4)?
False
Is 6 a factor of (-3)/2 - 663/(-26)?
True
Is (-10809)/(-36) - 1/4 a multiple of 46?
False
Let q = -6 - -2. Let i = -2 - q. Suppose 0*m - 6 = -i*m. Is m a multiple of 3?
True
Let n be -3 + (7 - 0) + 3. Suppose -n*w = -2*w - 50. Is 5 a factor of w?
True
Let g(u) = 10*u**2 + 3*u - 3. Is 13 a factor of g(-3)?
True
Let z = 37 + -9. Does 13 divide z?
False
Does 20 divide ((-129)/4)/((-1)/4) + 1?
False
Let h(y) = 62*y**2 - y - 1. Is h(1) a multiple of 20?
True
Let c(h) = 2*h - 4. Let j be c(3). Suppose 4*u + j*k = 294, -2*u + 0*k = -2*k - 132. Is u a multiple of 19?
False
Let c = 15 + 0. Suppose -2*n + 4*s = -c - 63, -78 = -2*n + 5*s. Is n a multiple of 13?
True
Suppose 3*r = n - 4*n + 123, r + 91 = 2*n. Let m = 23 - n. Let y = m + 34. Does 13 divide y?
True
Let f(k) = 2*k**2 + 11*k - 2. Let m be f(-9). Suppose 2*q = -m + 181. Is q a multiple of 20?
True
Suppose -2*n = -63 - 13. Is 5 a factor of n?
False
Let p be (2 + 0)/(4/(-2)). Let a(y) = 35*y**2 - y. Is 24 a factor of a(p)?
False
Suppose 3*r - 2*r = 3, 0 = 5*o + 5*r - 55. Suppose -o = -4*t + 5*t. Is (-134)/t - 1/(-4) a multiple of 6?
False
Is 9 a factor of (0 - 2)/(8/(-72))?
True
Suppose -g + 5*g - 32 = 2*t, 5*t + 20 = -2*g. Let p = t + 12. Suppose u - 3*i - p = -5*i, 21 = u - 3*i. Is 12 a factor of u?
True
Let u(l) = l**2 - 4*l + 2. Let g be u(4). Is ((-8)/2)/(g/(-5)) a multiple of 3?
False
Suppose 3*l - 5 = -g + 8, 3*l - 23 = 4*g. Suppose -l*f + 0*j + 3*j + 106 = 0, 0 = f - 5*j - 30. Is 11 a factor of f?
False
Suppose 78 = g - 69. Let p = -90 + g. Does 19 divide p?
True
Suppose -v - 204 - 113 = 3*f, 0 = 3*f - 4*v + 322. Let o be (-2)/(-12) + f/(-12). Does 9 divide 2/o + 1025/45?
False
Suppose 5*z - 520 = -5*m, 0 = 4*m - m - z - 292. Does 24 divide m?
False
Suppose -2*l = -0*l. Let r be (l - 40)/(1/(-1)). Suppose -r = 5*s - 165. Is s a multiple of 12?
False
Suppose -13 = -3*o - 2*i, -3*o + 5*i + 20 = -0*i. Is 4 a factor of o?
False
Suppose -f = -2*a + 99, f = 3*a + 2*a - 243. Is a a multiple of 17?
False
Suppose -3*w + 11 = -2*z - 34, 15 = -5*z. Let r = w + -8. Is 4 a factor of r?
False
Let m = -3 + 7. Let v(j) = 4 + 0*j + m + j - 6. Does 7 divide v(8)?
False
Suppose 2*f - 15 - 29 = -3*d, 4*d + f - 62 = 0. Is 5 a factor of d?
False
Is 12 a factor of ((-6)/(-21)*-30)/(5/(-35))?
True
Suppose 3*b - 6 = 45. Suppose q + 3*q - 20 = 0. Suppose b + 28 = q*o. Is o a multiple of 4?
False
Suppose 21 = u + 2. Is u a multiple of 8?
False
Let p = 3 - 2. Let j = 12 - p. Is 5 a factor of j?
False
Let o be 9/5 - 2/(-10). Suppose 10 = 4*k - o*k. Is 2 a factor of k?
False
Suppose n + 4*n - 15 = 0, 0 = 5*z - 3*n - 336. Suppose 0 = 2*i - 3*i + z. Is 23 a factor of i?
True
Let g(j) = 93*j**2 + 2*j + 1. Let r be g(-1). Suppose b = 3*b - r. Is 16 a fac