 a**2 + 4*a - 3. Is j(5) a multiple of 21?
True
Is 11 a factor of (675/6)/(-9)*(-3 - 1)?
False
Does 47 divide ((-10)/10)/(2/(-470))?
True
Suppose 0 = 5*k + 2*p - 550, -330 = -k - 2*k - 5*p. Is k a multiple of 29?
False
Let m = -16 - -29. Let t = m - 10. Is 3 a factor of t?
True
Suppose -5*z + 835 = -0*z. Is 42 a factor of z?
False
Suppose 0 = s + k - 11, 5*k = 3*k + 10. Does 17 divide (s/(-6))/(1/(-17))?
True
Suppose -c = -15 - 9. Is 13 a factor of c?
False
Is (45/10)/((-3)/(-12)) a multiple of 2?
True
Suppose 0 = 5*h - h - 12. Does 2 divide 23/h - 2/3?
False
Suppose 2*r + 5*w = 0, 0 = -3*w - w - 8. Suppose -67 - 8 = -r*n. Does 6 divide n?
False
Let g(i) = i**3 - 7*i**2 - 6*i + 7. Let p be g(8). Suppose 4*k - 8 = -40. Let u = k + p. Is u a multiple of 15?
True
Let h be 2*2/((-12)/(-3)). Let d be 1/(h/(4 + -3)). Suppose -2*o = -v + 2*o + 4, -d = -v + 5*o. Does 8 divide v?
True
Let y = -24 + 53. Let b = y + 0. Let k = -9 + b. Is k a multiple of 20?
True
Let a = -35 - -23. Is (a/(-15))/(4/10) even?
True
Suppose -r + 4*r = -87. Let f(x) = x**3 - 6*x**2 - 10*x + 9. Let v be f(6). Let i = r - v. Is i a multiple of 11?
True
Let j(u) = u**3 + 2*u + 1. Let g be j(-1). Is 15 a factor of g/4*-4 - -44?
False
Suppose 0 = v - 218 - 31. Is v a multiple of 11?
False
Let f(z) = 120*z**3 - z**2 + z. Let o be f(1). Suppose -4*h + o = -h. Does 16 divide h?
False
Let i be (-1 + 0)*1*-63. Suppose 4*k + 3*r + 126 = k, -190 = 5*k + r. Let l = k + i. Is 13 a factor of l?
True
Let w = 824 - 532. Does 45 divide w?
False
Let x = -5 + 3. Let u(p) = -5*p + 2. Is 6 a factor of u(x)?
True
Is (-2)/(-6) - (-1420)/15 a multiple of 19?
True
Let g(v) = 3*v**2 - 8*v + 1. Let n(u) = -7*u**2 + 17*u - 2. Let x(a) = -9*g(a) - 4*n(a). Is x(-5) a multiple of 2?
True
Let r = 21 - -1. Is r a multiple of 16?
False
Is (-55)/(-1) + 1*-4 a multiple of 7?
False
Suppose 3*l + 12 = 0, -4*k + 3*k - 2*l - 3 = 0. Does 2 divide k?
False
Let r(f) = -15*f**2 + 2*f + 1. Let g be r(-1). Let q = -9 - g. Does 6 divide q?
False
Let s = -19 + 39. Suppose w = -w + s. Suppose 3*l + 5*m = -0*l + w, 0 = 3*m + 3. Is 4 a factor of l?
False
Let v = 7 + -5. Let u(g) = 4*g + 1. Let d be u(v). Let l(q) = -q**2 + 13*q - 12. Is l(d) a multiple of 12?
True
Let o(t) = 4*t**2 - 12*t + 14. Is 18 a factor of o(7)?
True
Suppose -5*o = -2*o, 0 = -4*l - 5*o + 12. Suppose j + 3*b = -6 + l, 16 = 4*j + 5*b. Does 4 divide j?
False
Let y = -10 - -38. Let k = y - 19. Is 4 a factor of k?
False
Let c(i) = 2*i**3 + i**2 - 3*i**2 - 3*i**3 - 2 - i. Let k be c(-2). Suppose 3*x - 4*x + 6 = k. Is x a multiple of 3?
True
Let x = -10 + 10. Suppose -6*u + u - 20 = x, 5*u + 53 = 3*y. Does 6 divide y?
False
Does 13 divide 26*-1*51/(-34)?
True
Let w(j) = 11*j - 5. Is w(8) a multiple of 5?
False
Let q = 48 - -87. Is 24 a factor of q?
False
Is (-1)/7 - (-3536)/56 a multiple of 7?
True
Does 5 divide ((-16)/(-28))/(4/42)?
False
Suppose 2*f = 2*l + 4*f - 28, -2*l = -3*f - 33. Let n = l + 47. Does 31 divide n?
True
Let c = 1 + 1. Suppose -3*h + 37 = -c*h. Does 14 divide h?
False
Suppose 0 = -4*p + 16, -p + 2*p - 12 = -4*g. Is 3 a factor of g/4 + 38/4?
False
Suppose 3*a - 34 = a. Is 17 a factor of a?
True
Let f(i) = 24*i**2 + 4*i - 19*i**2 - i**3 - 1 - 2 + 0*i**3. Is 5 a factor of f(5)?
False
Let l(v) = v**3 - 2*v**2 - 2*v - 1. Let z be l(-1). Is (5 - 0)*(z - -5) a multiple of 8?
False
Let v = -24 - -63. Does 4 divide v?
False
Suppose -2*x - 174 = -4*n, -2*x = -5*x + 15. Let b = -26 + n. Is 10 a factor of b?
True
Let l(p) = -169*p + 2. Let v be l(-2). Suppose -v = -5*k + 260. Suppose k = s + 3*s. Is 15 a factor of s?
True
Suppose -368 = -3*j + 4*v - 0*v, j + v = 111. Is j a multiple of 29?
True
Let c be (4 + -2)*(-2)/(-4). Let v be 45/5 - (0 + c). Let y(i) = -i**3 + 8*i**2 + 2*i + 4. Is y(v) a multiple of 20?
True
Suppose 4*t = 0, -l + t - 12 + 450 = 0. Is l a multiple of 22?
False
Let o = 5 - 3. Suppose -3*j = o*q + j, 0 = -3*j - 6. Is q a multiple of 2?
True
Suppose 5*r + 47 = 5*f - 8, 4*r = -5*f + 73. Does 4 divide f?
False
Let t(l) = l**3 - 2*l**2 + 2*l + 2. Let m be t(4). Let f = 6 + m. Is 11 a factor of f?
False
Suppose -5*q - 10 = 0, -3*i + 2*q - 7*q = -422. Does 30 divide i?
False
Let b(z) = z**3 - 9*z**2 - 9*z - 13. Let w be b(10). Is 5 a factor of w/(-1) + 5 - 1?
False
Let b(m) = -6*m**2 - 21*m + 2. Let a(h) = 3*h**2 + 11*h - 1. Let z(p) = -5*a(p) - 3*b(p). Is 15 a factor of z(-6)?
False
Let l be (-256)/(-20) - (-2)/10. Suppose 5*q - l = 42. Does 11 divide q?
True
Suppose 0 = 2*c + 5*z + 4, 5*c = 5*z + 23 + 37. Let v be 2/c - 27/(-4). Let n(w) = -w**2 + 8*w + 4. Is 9 a factor of n(v)?
False
Let p(h) = -h + 19. Does 4 divide p(12)?
False
Let l(q) = 2*q**2 - 2. Is 7 a factor of l(-4)?
False
Let y(b) = b + 10. Let u be y(7). Let a = -2 + u. Is 15 a factor of a?
True
Let f(s) = 57*s + 2. Let h be f(3). Suppose -4*z = -h - 363. Suppose 0 = 4*q + 10 - z. Is 11 a factor of q?
False
Let l(z) = -z**3 + 7*z**2 + 7*z + 7. Let r be l(8). Let u(j) = 4*j**3 - 2*j**2 - 2*j - 1. Let f be u(r). Let i = 0 - f. Is i a multiple of 4?
False
Let n(s) be the third derivative of -s**4/24 + 7*s**3/6 - 2*s**2. Let c be n(5). Is 5 a factor of (-3)/(c/5 + -1)?
True
Let x(i) = 6*i**2 + 5 + 0*i**2 - i**2 + i**3. Let h be x(-5). Suppose 0 = 4*q - 2*o - 28, -h*q + o + 28 = 2*o. Is q a multiple of 6?
True
Let o = -133 + 382. Does 12 divide o?
False
Suppose 9*x = 6*x + 162. Is 13 a factor of x?
False
Let w(o) = -3*o**2 + 3*o**2 + 3*o**2 - o**3. Let c be w(3). Suppose -4*n - 3*x = -2*x - 36, c = -n - 4*x - 6. Is n a multiple of 6?
False
Does 37 divide 15*3*(-36)/(-12)?
False
Suppose -3*z = 3*v - 21, -5*v + 14 = -0*v - 2*z. Is 15 a factor of (-200)/(-6) - v/(-6)?
False
Let g be -2 + 9 + -2 + -2. Suppose -3*j - 24 = -g*t, -j - 4*t - 14 = 4. Does 5 divide 5/(j/4) + 10?
False
Suppose -20*y + 22*y = 270. Does 29 divide y?
False
Let x be 24/10 - 6/15. Let m(i) = 4*i + 1 - x*i + 4*i. Is m(3) a multiple of 8?
False
Suppose 0 = -4*k + 3*k + 3. Suppose -2*p - k*t = -27 + 9, 3*t = -12. Does 12 divide p?
False
Suppose 2 = -2*h + x, -5*h + 3*x - 1 = 5. Let u = h - -8. Suppose g + 0*g = 5*k + 26, -4*k + u = 4*g. Is 2 a factor of g?
True
Let c(w) = -w**2 + 4*w - 3. Let n be c(3). Let g(b) = 4*b**2 + n*b - b - 3 + 2*b. Is 18 a factor of g(3)?
True
Suppose -35 = 2*r - 151. Is 30 a factor of r?
False
Does 3 divide (25 + -1)*(-11)/((-198)/12)?
False
Let o be (-1 - 0)/((-6)/(-852)). Let s = -80 - o. Is s a multiple of 19?
False
Let w(q) = -3*q + q**3 + 3 - 3 + 7*q**2. Let p be w(-6). Let x = p - 38. Does 8 divide x?
True
Let y(n) = -3*n - 4. Suppose -5 - 5 = -5*a, -3*a = 5*g + 69. Let j = g - -10. Is y(j) a multiple of 5?
False
Let y(v) = v**2 - 8*v + 1. Let d be y(8). Is 5 a factor of (9 - -9)/(d - 0)?
False
Let a(i) = -2*i - 7. Let m = 0 - 5. Let u be a(m). Suppose u*c - 22 = 29. Does 11 divide c?
False
Does 7 divide 31 + (1 - 1) - 2?
False
Let j(m) = -m**3 + 13*m**2 + 3*m + 1. Does 20 divide j(13)?
True
Let y(w) = -w**3 + 3*w + 2. Let a(j) = j. Let q(x) = 3*a(x) + y(x). Is q(-4) a multiple of 14?
True
Let b = 17 - 11. Let x = 6 - b. Suppose 0*o + 2*o - 4 = x. Is 2 a factor of o?
True
Let c = 15 + -6. Let u(l) = -l**3 + 10*l**2 - 4*l - 5. Is u(c) a multiple of 11?
False
Suppose 6 = -2*a, -i + a + 26 = -4*a. Suppose o - l = 17 + i, -116 = -5*o - l. Suppose 2*m - o = -0*m. Does 12 divide m?
True
Let n be 3 + 2 + 12/(-3). Let m be 2 + n*(-4)/(-2). Suppose 2*o = -2*g + 70 + 38, 4*o = -m. Does 17 divide g?
False
Is (2 - -2)*(-25)/(-10) a multiple of 9?
False
Let g(l) be the second derivative of -l**4/12 - 2*l**3 + 11*l**2/2 + l. Does 14 divide g(-9)?
False
Let g be 0/8*(-1)/2. Suppose g*v - 72 = -4*v. Is 18 a factor of v?
True
Let h(m) = m**3 + 11*m**2 + 13*m + 8. Let d be h(-10). Let l = -36 + d. Let w = 96 + l. Does 20 divide w?
False
Let t be 28 + 3 + (-3)/3. Suppose 0*n - t = -2*n. Is 5 a factor of n?
True
Let y be 45/10 - 2/(-4). Suppose 2*l = 0, 0 = 4*m - 0*l + 2*l - 72. Let j = m + y. Does 8 divide j?
False
Suppose -a + 214 = 3*v, 395 = 4*v + 3*a + 113. Suppose -2*p + 3*t - 2*t = v, -2*t + 4 = 0. Is (-3 - p) + 3 + -1 a multiple of 9?
False
Suppose 2*u + u = -42. Suppose 5*n = o + 83 + 37, -3*n + 54 = 3*o. Let l = n - u. Does 15 divide l?
False
Let a be (1 - -5) + 4/(-2). Let v(w) = -w**3 