, -4*k + 322 = -o. Let x = k - 46. Let l = 72 - x. Is l a multiple of 19?
True
Let p = 4 + -3. Let u = p + -2. Is ((-1)/(-3))/(u/(-42)) a multiple of 14?
True
Suppose -2*n = -0*n - 12. Let b = -6 + 10. Does 6 divide (n*b)/3 - 1?
False
Let w(z) = 10*z + 2. Let k be w(4). Let m = k + -18. Does 8 divide m?
True
Let o(u) = u - 1. Let m be o(3). Suppose 4*z - 5*t = m, -6*z + z - 4 = -3*t. Let n(s) = 7*s**2 + 2*s. Is n(z) a multiple of 12?
True
Suppose 0*c - 20 = -n - 4*c, 3*n - 3*c - 60 = 0. Is n a multiple of 10?
True
Let o(g) = -g**2 - g + 13. Let h be o(0). Suppose -1 = k + h. Does 10 divide 6/(-21) + (-340)/k?
False
Let j(v) = v**3 + 4*v**2 + 3*v - 4. Let q be j(-4). Let t be 2/5 - q/10. Suppose 3*p - 86 = -t. Is 10 a factor of p?
False
Let m(z) = -z - 1. Let w(g) = 14. Let s(v) = -4*m(v) - w(v). Does 11 divide s(8)?
True
Let c = 68 + -36. Let f(t) = 2*t**3 + 6*t**2 + 2*t. Let q be f(-2). Suppose -2*x + 2*m = 3*m - c, 3*x - q*m = 26. Is x a multiple of 14?
True
Suppose -3*m - 41 = -4*m. Is m a multiple of 12?
False
Suppose 7*w = 10*w - 429. Does 13 divide w?
True
Let f(u) be the first derivative of 1 + 2*u**3 - 5*u - 1/4*u**4 + 2*u**2. Is 19 a factor of f(6)?
True
Suppose -18 = -2*k - 2. Suppose -3*m - m - 3 = -3*o, 2*m = 5*o - 5. Let y = k + o. Is y a multiple of 9?
True
Let x(u) = u**2 + 4*u - 6. Let h be x(-6). Suppose 0 = 3*k + 2*c - 68, 2*k + h*c - 49 = c. Suppose 2*q = -0*q + k. Is q a multiple of 11?
True
Let x(b) = -2*b + 1. Let w = 3 + -5. Let v be x(w). Suppose 30 = h - 3*j, 5*h + v*j - 62 - 48 = 0. Does 9 divide h?
False
Let i = 14 - -7. Is 10 a factor of i?
False
Let u(x) = -8*x + 15. Let d be u(6). Let l = d + 60. Does 20 divide l?
False
Let i(k) = 7*k. Suppose -2*u + 12 = 2*u. Suppose -7*t + 24 = 2*o - u*t, 4*o + t - 13 = 0. Is 10 a factor of i(o)?
False
Let o(r) = 20*r**2 - r + 1. Let d be o(1). Suppose 4*c = -3*v + 13 + d, c - 14 = 5*v. Is 9 a factor of c?
True
Suppose -4*b = -9 - 51. Is b a multiple of 4?
False
Let t = 0 + 3. Let u = t - 7. Does 9 divide (-316)/(-36) - u/18?
True
Is 5 a factor of 10/30 - (-160)/6?
False
Let a be (-2 - 4)*2/(-3). Let v = 4 + -2. Suppose 8*k + 2*p = a*k + 124, -v*k = -4*p - 72. Is k a multiple of 16?
True
Suppose 5*o + 15 = 4*r, -5*o - 10 - 5 = 3*r. Suppose r = 3*t + n - 289, 2*t + 93 = 3*t - 3*n. Suppose -2*z + t = z. Does 16 divide z?
True
Let w(i) = -7 - 4 + 7 + 2*i**2 + 5*i. Is 16 a factor of w(4)?
True
Suppose 0*w = 5*w - 450. Does 10 divide w?
True
Let l(d) = -d**2 - 16*d + 7. Let g be l(-7). Suppose 4*p - g = 42. Does 15 divide p?
False
Let q(l) = -14*l**2 - 16 + 1 - 3 + 9*l**3 + 5*l + 2*l**3. Let b(s) = -5*s**3 + 7*s**2 - 2*s + 9. Let r(v) = 9*b(v) + 4*q(v). Is r(7) a multiple of 9?
False
Does 30 divide (154 + 0)*(-12)/(-14)?
False
Let q(u) = u + 10. Let n be q(-7). Suppose n*m + 44 = 4*z, -7*z + 50 = -2*z - 5*m. Does 8 divide z?
False
Suppose -2*v = -3*m - 7*v + 83, -43 = -3*m + 5*v. Suppose -m = -t + 9. Does 15 divide t?
True
Let f = -7 + 7. Let k = f + 11. Is 11 a factor of k?
True
Let s(o) = o - 6. Let u be s(6). Let j = u - -12. Is j a multiple of 6?
True
Let s be (2 - 5/2)*-10. Let b(g) = 2*g**2 - 7*g - 1. Is b(s) a multiple of 7?
True
Let n(f) = -f**3 + 6*f**2 + f - 6. Let h be n(6). Suppose 3*o + o - 16 = h. Let d(x) = 8*x - 2. Does 15 divide d(o)?
True
Suppose 2*z = q + 33, 0 = 5*q - z - 0*z + 120. Let y = -34 - q. Let d = -7 - y. Is d a multiple of 2?
True
Suppose -5*z = 2*q - 512, z = -4*q - q + 1326. Suppose 0 = i + 3, 4*i - q = -5*x - 113. Is x a multiple of 11?
True
Suppose -5*b = 2*u - 261, 5*b - 231 = 5*u + 44. Suppose -2*i = -2*r - r - b, -2*i - 5*r + 61 = 0. Is i a multiple of 8?
False
Suppose 2*q - 1 = 1. Let i = 6 - q. Is i a multiple of 3?
False
Suppose -3*q + 8*q = -5*m + 115, -4*q + 84 = -4*m. Is 9 a factor of q?
False
Suppose 3*o = 2*y + 17, y + 0*y - 32 = -3*o. Is o a multiple of 5?
False
Let o be -3 + -1 + -2 + 4. Let v = o - -36. Is v a multiple of 18?
False
Suppose -27*f + 23*f + 444 = 0. Does 7 divide f?
False
Let r = -117 - -159. Is r a multiple of 14?
True
Suppose 2*c - 342 = -0*x - 5*x, -x = -5*c + 801. Is 23 a factor of c?
True
Let r(w) = -90*w - 4. Let p be r(-5). Is 5 a factor of p/18 - 6/(-27)?
True
Let t(w) = 35*w**2 - w + 4. Is 12 a factor of t(2)?
False
Let y(n) = n + 7. Let r be y(-6). Let m = 1 - r. Suppose 5*u - 29 + 4 = m. Does 4 divide u?
False
Let b be 3/(3 + 0)*2. Suppose -b*m = -m. Suppose 5*c + 4 - 79 = m. Does 14 divide c?
False
Let i = 80 - -63. Let d = i + -83. Suppose r = -r + d. Is r a multiple of 11?
False
Does 64 divide (-1168)/(-10) + (-1 - (-24)/20)?
False
Suppose 4*g = 101 - 53. Is g a multiple of 2?
True
Suppose s - 127 = -3*f, -4*s + 8*s = -20. Is 11 a factor of f?
True
Suppose 6 = 5*s - g - 27, 5*s - 15 = -5*g. Suppose -p + s = 1. Is (3 - p)*33/(-2) a multiple of 14?
False
Let u = 127 - 87. Suppose 132 = 4*r + 5*f, -r + u = 5*f - 8. Does 17 divide r?
False
Let o = 243 + -126. Suppose 13 = -4*m + o. Is m a multiple of 13?
True
Let z = -241 + 365. Suppose -20 + z = 2*x. Suppose 0 = -2*p - d + 42, 6*p - 3*p - 4*d - x = 0. Is 8 a factor of p?
False
Let t be -10*(1 - 1/2). Suppose 0 = -7*u - 42 + 14. Does 21 divide 41 - (t - -2 - u)?
False
Let j = -76 - -268. Is j a multiple of 16?
True
Suppose m = 2*o + 40, m - o - 21 = 17. Does 6 divide m?
True
Let r(q) = q**2 - q + 24. Let i = 1 - -3. Let z = i - 4. Does 16 divide r(z)?
False
Suppose 0 = -4*m + 12, 2*p - 4*p - 4*m = -12. Suppose -z + 55 = 5*r - 6*z, p = 3*r - z - 27. Is r a multiple of 5?
False
Let z be 1 - (2 + (1 - 2)). Suppose z*v + 16 = 2*v. Is v a multiple of 5?
False
Suppose 3*i = -9, -3*o = -2*o + 4*i - 157. Does 44 divide o?
False
Suppose 2*c + 4 = 4*c. Suppose 0 = c*p - 318 + 94. Is 17 a factor of (p/20)/((-1)/(-5))?
False
Let i = 524 + -337. Is 17 a factor of i?
True
Suppose 0 = -12*n + 13*n - 189. Does 23 divide n?
False
Suppose -5*j + 4*u + 1 = -2*j, 2*u - 3 = 5*j. Let t be j/(-4) - (-34)/(-8). Let p(r) = r**3 + 6*r**2 + 4*r + 1. Is p(t) a multiple of 9?
False
Let n be (-51)/(-9) - 2/3. Suppose -105 = -i - 5*q, -4*i - i + 465 = n*q. Suppose 0 = -0*u + 3*u - i. Is u a multiple of 11?
False
Let r(s) = 2*s**3 - 5*s**2 - 3*s + 3. Let z be r(4). Let j = -15 + z. Is 7 a factor of j?
False
Is 0 + 30 - (0 - 4) a multiple of 5?
False
Suppose 67 = -v + 2*v. Is v a multiple of 16?
False
Let i = 314 - 456. Let a = -76 - i. Is 33 a factor of a?
True
Suppose -4 = -0*d - 4*d. Is (39/6)/(d/6) a multiple of 13?
True
Let w = -163 - -331. Suppose 2*a - 6*a + w = 0. Is 14 a factor of a?
True
Suppose 0 = y + 3*y - 3*k - 112, 4*y - k - 112 = 0. Is y a multiple of 7?
True
Let i(r) = 20*r + 3. Let m be i(-3). Suppose 0 = -u - 2*p - 29, p + 108 = -3*u + 2*p. Let n = u - m. Is 11 a factor of n?
True
Is 47 a factor of ((-105)/6)/5*-68*1?
False
Suppose 0 = 3*z - 76 - 80. Is 11 a factor of z?
False
Suppose 3*c = -26 + 2. Let b be 18/4*c/(-2). Is (-30)/((b/4)/(-3)) a multiple of 7?
False
Let x be 0 + 0 + (2 - 1). Let v be (62*(x - 0))/2. Suppose v = 4*o + 3. Is 3 a factor of o?
False
Let z(m) = m**3 - 3*m**2 + 2*m - 4. Let w be z(3). Suppose 2*s + w*x = 12, -3*x - 2*x - 30 = -5*s. Is 2 a factor of s?
True
Let x(t) = -t**2 - 4*t - 1. Let j be x(-5). Let b be 2/4 - 183/j. Suppose 3*a = -3*u - 2*a + b, -3*a + 6 = 0. Is 5 a factor of u?
False
Suppose r + 10 = 1. Let b = 3 + r. Is 11 a factor of 12 - (b/(-3) + -1)?
True
Let y(h) = -3*h**2 + 3*h - 5. Let t be y(-4). Let v = t - -38. Is -2*1*v/2 a multiple of 10?
False
Let a(u) = -11*u**3 - 27*u**2 - 6*u + 33. Let c(d) = -7*d**3 - 18*d**2 - 4*d + 22. Let v(p) = -5*a(p) + 8*c(p). Is v(-9) a multiple of 19?
False
Let m be 20/90 - (-425)/(-9). Let r = -29 - m. Is 6 a factor of r?
True
Let a = -5 + 12. Is 2 a factor of a?
False
Suppose 0 = -0*t + 5*t - c - 339, 4*t - 4*c - 268 = 0. Is 21 a factor of t?
False
Suppose -3*t = -2*c - 599, 0*t = 2*c + 3*t + 593. Let b = -128 - c. Is 17 a factor of (b/(-25))/(1/(-5))?
True
Suppose -3*j = -3*p + 39, -5*p + 32 = -4*j + 2*j. Let h = j + 20. Does 4 divide h?
False
Suppose 3*l + 9 = 0, 7 + 0 = -5*f - 4*l. Is 13 a factor of f - -2*(-1 + 21)?
False
Suppose -3*o = 16 + 14. Let w = o - -31. Is w a multiple of 7?
True
Let q = -7 + 10. Suppose 0 = q*u + p + 99, 2*u = 5*p - 0*p - 49. Let m = -18 - u. Does 6 divide m?
Fals