 z + 1, -2*z - 2*q + 2 = -4. Is 11 + (-9)/((-18)/z) a multiple of 13?
True
Let z = 2 - 0. Suppose z*l + 26 = 4*o - 7*o, 5*l + 5*o + 55 = 0. Let p = 10 + l. Is p even?
False
Let l(j) = j**3 - 7*j**2 + 2*j - 9. Let k be l(5). Suppose -91 = -b - h + 6*h, 3*b - 3*h = 249. Let i = b + k. Is i a multiple of 11?
False
Let t be ((-6)/(-2) - 3)*-1. Suppose 0 = -8*y - t*y + 128. Is y a multiple of 16?
True
Suppose 2*c - 5*q = 23, 2*q - 10 = -2*c - 2*c. Suppose -5*s + 121 = c*b, -72 = -6*s + 3*s - 3*b. Is s a multiple of 7?
False
Does 24 divide 522/29*(-87)/(-2)?
False
Let a = 7 + -29. Let b = a + 54. Is b a multiple of 16?
True
Let f(x) = x**2 - 7*x + 9. Let g be f(7). Let d be (-6)/4*(-48)/g. Is 7 a factor of (-12)/d - 31/(-2)?
True
Suppose -4*z - 492 = 4*c - 1288, 5*c - 2*z = 981. Is 4 a factor of c?
False
Let i = -193 + 89. Let m = i - -183. Does 34 divide m?
False
Let k be (-2)/(-3) - 16/24. Suppose -26 = -k*l - l. Is 26 a factor of l?
True
Let v = 62 + -60. Suppose 6*b - v*g = 2*b + 234, -4*g = 5*b - 312. Is 12 a factor of b?
True
Let o(i) = -51*i**2 + i - 2. Let n be o(1). Let t = 0 - n. Is 7 a factor of t?
False
Let s(j) = 9*j**3 - 2*j**2 - 4*j - 5. Suppose 12 = -a + 2*d + d, 5*a + 4*d = 35. Is 45 a factor of s(a)?
False
Suppose 0 = 11*j - 13*j + 492. Is j/(-8)*(-756)/81 a multiple of 33?
False
Let g(c) = c**2 + 6*c - 10. Suppose 3*m = m + 10. Is g(m) a multiple of 10?
False
Suppose n - o = -0*n + 76, 377 = 5*n - 2*o. Let t = 171 - n. Does 6 divide t?
True
Let a(n) = -3*n**2 - 8*n - 9. Let y be a(-4). Let c = y + 71. Suppose 0*s - c = -s. Does 18 divide s?
False
Suppose 5*r + 5*b = -105, -4*b = -r + 7 - 3. Let j = 44 + r. Does 14 divide j?
True
Let u = -97 - -97. Suppose u*r - 4*t = 3*r - 323, -523 = -5*r + t. Is r a multiple of 15?
True
Is (78/(-9))/(7/(-315)) a multiple of 5?
True
Let f = -236 - -444. Is 16 a factor of f?
True
Let z(h) = 6*h - 10. Let j be z(3). Suppose 3*b - j*b + 138 = -3*x, 2*x = 3*b - 82. Does 10 divide b?
True
Suppose -2*a + 4*t + 628 + 426 = 0, -2623 = -5*a + 4*t. Is 5 a factor of a?
False
Let i(n) = -4*n + 16. Let h be i(0). Let q(p) = 3*p - 12. Is 6 a factor of q(h)?
True
Suppose 3*i = 4*i - 2*b - 473, 0 = 5*b - 5. Is 42 a factor of i?
False
Let q(a) = -3*a - 49. Let d(i) = -i**2 + i + 8. Let b be d(-5). Is q(b) a multiple of 17?
True
Suppose 0 = -196*l + 202*l + 54. Let t(m) = m - 1. Let q(k) = 4*k + 16. Let o(g) = q(g) - 5*t(g). Is 15 a factor of o(l)?
True
Let l(c) = c**3 + 6*c**2 + 5*c + 2. Let x be l(-5). Suppose 2*h - o - 19 = -0*o, -5*h + 34 = x*o. Is (h/(-8))/(2/(-24)) a multiple of 12?
True
Let u(r) be the second derivative of -4*r**3/3 - 21*r**2/2 - 2*r. Suppose 6*f + 11 = -37. Is u(f) a multiple of 10?
False
Let t(b) = 4*b**3 + 0 - 1 - 3*b**2 + b + 3 + 2. Is 10 a factor of t(2)?
False
Suppose 4*p - 547 = 3*n + 944, -5*n - 394 = -p. Let l = p + -199. Is 26 a factor of l?
False
Let c = 10 + -7. Let v(u) = 3*u**3 + u**2 + 4*u - 8. Is v(c) a multiple of 20?
False
Let k(z) = 3*z**2 + 8*z - 25. Suppose 12*v = 15*v - 12. Does 14 divide k(v)?
False
Let v = 33 - 37. Does 3 divide (-4 - v) + -3 - -21?
True
Let l = -37 - -29. Let i = 5 - l. Is 6 a factor of i?
False
Let i = 17 - 13. Let g be (6/i)/(9/24). Suppose -u - 5 = g*m, 5 = 5*m + 15. Is u a multiple of 3?
True
Let j = 11 - -11. Suppose -j - 17 = -5*n - 4*l, l = -4. Let q = 26 - n. Is 15 a factor of q?
True
Let n(b) be the first derivative of -b**4/4 + 7*b**3/3 - 3*b - 1. Let r be n(7). Is 16 a factor of (-69)/((-18)/4 - r)?
False
Let y = -295 - -170. Suppose 25*b - 36*b = 594. Let r = b - y. Is 11 a factor of r?
False
Let m(q) = -q**3 - 5*q**2 - 2*q + 7. Let f(r) = -2*r**2 - r + 3. Let d(x) = -5*f(x) + 2*m(x). Let z be -1*(3 + 0) + 1. Is 11 a factor of d(z)?
False
Let z(v) = -11*v - v**2 + 6 + 11*v**2 + 1 - v**3. Suppose q + 19 = 3*o, 5*q - 84 = -4*o - 27. Does 13 divide z(o)?
False
Does 7 divide 3390*(1/3*-10 + 4)?
False
Suppose -21 = 3*y - 57. Suppose x - 2*x + y = 0. Let c = -3 + x. Does 6 divide c?
False
Let f be 8/(-7)*(0 - 14/4). Let s = 6 - 4. Suppose -5*k = 2*r - 40, 0 = -s*r + f*r + 2*k - 28. Does 10 divide r?
True
Suppose -q = -p + 43, -7*q = -2*q - 25. Suppose w - p = 2. Is 27 a factor of w?
False
Suppose 0*k + 32 = -4*k. Let s(m) = -m**3 - 6*m**2 + 5*m - 23. Is 13 a factor of s(k)?
True
Let o be (5/(-2) - -3)*78. Is ((-13)/o)/(1/(-195)) a multiple of 27?
False
Suppose 2*t + t + 12 = 0. Let x = t - -6. Suppose c + 8 = x*c. Is c a multiple of 8?
True
Let p be (-1072)/(-12)*(396/8)/(-3). Is ((-6)/(-4))/((-33)/p) a multiple of 6?
False
Let p(j) = 2*j**2 + 2*j + 2. Let k be 3*-1*(-7 + 6). Let n be p(k). Let v = n - 17. Is 3 a factor of v?
True
Let h be 8 - -5 - (-1)/1. Suppose -q = 3*c - 42, -2*c - 4*q + h = -4. Does 3 divide c?
True
Let j(r) be the second derivative of 9*r + 0*r**2 - 11/6*r**3 + 0. Is 15 a factor of j(-4)?
False
Let k = -7 - -4. Let c(z) = 67*z**3 - 3*z**2 - 4*z + 2. Let p(y) = -34*y**3 + y**2 + 2*y - 1. Let d(u) = k*c(u) - 7*p(u). Does 19 divide d(1)?
True
Let m = 1903 + -1075. Does 6 divide m?
True
Let p(d) = -6*d - 39. Is 12 a factor of p(-21)?
False
Suppose -19*c + 29*c = 0. Is 25*2 + c/(-6) a multiple of 26?
False
Suppose -4*y - 2*i + 16 = 2*i, 0 = 3*y - 4*i + 23. Let u = y + -3. Is (-292)/(-18) - u/(-18) a multiple of 8?
True
Suppose 9 = i - 27. Is (i/5)/((-3)/(-20)) a multiple of 24?
True
Let i(d) = -102*d + 1. Let w be i(-1). Suppose -5*k + 67 = -w. Is 34 a factor of k?
True
Let d(t) = 10*t - 6 + 6 - 20 - 7. Does 14 divide d(11)?
False
Let o(u) = u**2 - 9*u - 168. Is 22 a factor of o(-25)?
True
Suppose -5*i + 3*n - 22 = 0, -3*i = -7*i + 3*n - 20. Let r be (-12)/i - (5 + -2). Suppose -o - 5*s + 72 = 0, 3*s + 304 = r*o + 2*o. Is 31 a factor of o?
True
Let t = 5345 + -1182. Is 22 a factor of t?
False
Let k = -21 - 3. Let q be (1 + 1)/(k/(-36)). Suppose 0 = -q*o + 6*o - 18. Does 3 divide o?
True
Suppose 6*s + 72 = 240. Does 7 divide s?
True
Let w(v) = -v**2 - v + 10. Let i be w(0). Is 38 a factor of (-1 - 15/i)/(2/(-108))?
False
Suppose -8*d = -2*b - 5*d + 812, 0 = -3*b - 5*d + 1199. Is 6 a factor of b?
False
Let h = -460 - -1327. Does 17 divide h?
True
Suppose -2*t = k - 278, 3*k + 87*t - 90*t = 879. Is 32 a factor of k?
True
Let u(p) = -p**3 + 7*p**2 + 8*p + 3. Let h be u(8). Suppose 4*n - h = 13. Suppose -g = 4*o - 17, 4*g - n*o = 159 + 9. Does 7 divide g?
False
Let c(y) = y**3 - 6*y**2 - 9*y + 20. Is c(9) a multiple of 13?
True
Let j(o) = -o**3 + 10*o**2 + 8*o - 8. Let r be j(10). Suppose -r = 2*d - 5*d. Is 4 a factor of d?
True
Suppose 0 = p - 2 - 1, -2*h = -3*p - 75. Is 29 a factor of h?
False
Let m = -422 + 730. Does 14 divide m?
True
Suppose -2*j - 35 = -5*d - 4*j, -3*j = 15. Suppose -d*z + 3*z = -1242. Does 23 divide z?
True
Let i(y) = 9*y**2 + 20*y - 524. Does 27 divide i(19)?
True
Let x(n) = 4*n**2 - 9*n + 6. Let f be x(6). Suppose -w - 12 = -3*r - 4*w, 2*r - 5*w + 6 = 0. Suppose r*p - 48 = 2*i, p - 6*p - 3*i = -f. Does 6 divide p?
False
Let w be 0 + (-16*249)/(-4). Is w/20 - 1*2/(-10) a multiple of 10?
True
Suppose 88 = i + 5*u - 182, 0 = -2*i + 5*u + 510. Is i a multiple of 63?
False
Let d(x) = 7*x**2 - 2*x**2 - 4*x - 4 - 2*x**3 - 13*x**2. Let r be ((-5)/(-2) + -3)*10. Is 22 a factor of d(r)?
True
Let t = -9 + 14. Suppose 75 - 195 = 5*j. Let y = t - j. Is y a multiple of 17?
False
Let g = 0 + 4. Suppose d - 280 = -g*d. Let t = d + -24. Is 9 a factor of t?
False
Let q = -3 - 3. Does 6 divide (q + 18)/(2/6)?
True
Let c = -10 - -14. Suppose c - 6 = -w. Let o = w - -21. Does 23 divide o?
True
Let z(v) = 6*v**2 - 2*v - 3. Let s be z(-1). Is s/((-20)/(-828)) - -5 a multiple of 53?
True
Suppose -4*l + 2*j = -1850, -18*l + 15*l + 5*j + 1377 = 0. Is 38 a factor of l?
False
Let t = -18 - -20. Suppose 0 = 5*o + 3*n + 289, 234 = -t*o - 2*o - n. Let b = 89 + o. Is b a multiple of 12?
False
Suppose -3*s + 3*v + 810 = -0*s, 4*s = -v + 1090. Suppose -14*f + 134 + s = 0. Is f a multiple of 15?
False
Let a(u) = 21*u**2 + 2*u + 2. Let j(x) = x**3 + 4*x**2 - 6*x - 2. Let p be j(-5). Suppose p*f - 4 = 7*f. Does 7 divide a(f)?
True
Let g(u) = -2*u**3 - 3*u**2 + 2. Let v be g(-2). Suppose -v*l + 11*l = 585. Is 13 a factor of l?
True
Suppose -20*b + 2*b = -39582. Is b a multiple of 12?
False
Is 34 a factor of 4*(238/2 + (-32 - -32))?
True
L