Is 2 a factor of (1 - (-6)/(-3))*p?
False
Let d(z) = z**3 - 9*z**2 + z - 8. Let m be d(9). Is 5 a factor of (m - -3) + -6 + 15?
False
Let j = -3 - -6. Let v be (j/(-2))/(4/8). Is 2/3 - 34/v a multiple of 12?
True
Let d = 103 - 79. Is d a multiple of 8?
True
Suppose -5*u + l + 2*l = 2, -2*u - 5*l = 7. Let o be 1 + -1 + (-1 - u). Is o + -1 - (1 + -10) a multiple of 6?
False
Let k = 33 + -2. Let f = k + -13. Is f a multiple of 18?
True
Let d be -1 - (-3)/(12/64). Let r = d + -7. Is r even?
True
Suppose 0 = -5*g - w - 36, -5*g - 23 = -w + 11. Let h = 10 + g. Is 3 a factor of h?
True
Let g(f) = -3*f**2 + 39*f + 6. Is g(12) a multiple of 12?
False
Let k = 2 + 0. Let i be 22/(-1 - (-1 - k)). Suppose -i = 4*a - 6*a + 3*l, -3*a + 3*l + 21 = 0. Is 10 a factor of a?
True
Let y(d) = -5*d - 40. Is y(-16) a multiple of 12?
False
Suppose -i + 43 = 15. Is 14 a factor of i?
True
Suppose 0 = x - 2*x - 4. Let m = 14 - x. Does 6 divide m?
True
Suppose l - 56 = -16. Does 8 divide l?
True
Suppose -5*n = -2*n. Let d(y) = -y**3 - 7*y**2 - 6*y + 4. Let f be d(-6). Suppose 2*j + x + f = 26, n = 4*j - x - 50. Is 4 a factor of j?
True
Does 20 divide 6/(-3) + 196/2?
False
Let n(k) = -k**2 + 9*k. Let t be n(7). Is 10 a factor of 178/t + (-4)/(-14)?
False
Let q(n) = -5*n - 2. Suppose -5*u = -5*p - 35, -1 = p - u + 2*u. Does 9 divide q(p)?
True
Suppose 19 = 4*v - 3*p - 25, v - p = 11. Let k = v - -5. Is (3/(-2))/((-3)/k) a multiple of 8?
True
Let o = 151 + -75. Let h = -36 + o. Is h a multiple of 20?
True
Suppose 2*x - 15 = 5*r + 26, 5*x = -5*r - 20. Let a(i) = -9*i + 2. Does 28 divide a(r)?
False
Let h(k) = 3*k**3 + 2*k**2 - 2*k - 1. Is h(2) a multiple of 9?
True
Let u = 46 - 33. Suppose -3*w + 7 + 20 = 3*x, u = x + 3*w. Is 7 a factor of x?
True
Let b(w) = -w**3 + 9*w**2 - 8*w + 3. Let c be b(8). Is 9 a factor of 30/c + 0 + 3?
False
Let u(n) be the second derivative of n + 1/3*n**3 + 0 + 1/12*n**4 - 2*n**2. Is 10 a factor of u(4)?
True
Let g(k) = -k**2 - 2. Let l be g(5). Is 3 - (1 + (l - 1)) a multiple of 11?
False
Let s be (4 - 3)*(4 + -2). Suppose 4*n = 4*t + 96, 0*n + 53 = s*n - t. Let d = n + -19. Is 7 a factor of d?
False
Suppose 4*f = -4*h - 20, -3*h + 3*f - 5 = f. Let y = h + 4. Let i = 4 - y. Is 3 a factor of i?
True
Suppose -1 = 3*y + 11, 4*t - 20 = -y. Let d be 2/4*t*-1. Does 6 divide d/6*-2 - -11?
True
Let d(h) = h + 3. Let i be d(3). Suppose i*u + 4*p = 4*u + 30, 0 = -2*u - p + 30. Is u a multiple of 5?
True
Is 2675/15 - 8/6 a multiple of 19?
False
Let o(x) = -x**2 + 3*x + 7. Let t be o(6). Let j = -4 - t. Let y = j + -2. Is 2 a factor of y?
False
Suppose h + 3*a - 51 = 0, 5*h - 3*h = a + 81. Does 9 divide h?
False
Let o = -34 - -123. Suppose c = r + 23, 3*r + 2*r = 4*c - o. Is 17 a factor of c?
False
Suppose -f + 4*q - 2*q + 10 = 0, -2*f + 44 = 2*q. Is 9 a factor of f?
True
Let c = 30 + -25. Is c a multiple of 2?
False
Let f(t) = t**3 + 14*t**2 + 12*t + 12. Suppose 4*b + 0*m + 4*m + 36 = 0, 3*b = 3*m - 51. Is 9 a factor of f(b)?
False
Let n = 9 + -3. Let y = 15 - n. Is 9 a factor of y?
True
Suppose -5*n - 5*u + 3 - 8 = 0, -3*u = -4*n + 31. Suppose -s - 32 = -f, 0 = s - n + 2. Is 17 a factor of f?
True
Suppose 55 + 61 = n. Suppose p - 7 = -5*f + 33, 0 = 2*p - 2*f - n. Is 15 a factor of p?
False
Let t = 10 + -7. Suppose 88 = t*a + a - 4*l, 2*a = -l + 56. Is 6 a factor of a?
False
Is 6 a factor of 174/4 + (2 - 9/6)?
False
Let x be 3/((-1)/(-3 + 2)). Suppose -i + x*g = -3*i + 475, 4*i - 945 = -5*g. Suppose d + l - 47 = 7, 0 = -5*d + 3*l + i. Is d a multiple of 17?
False
Let u be (1 - (-24)/(-4))/(-1). Suppose 70 = l - 5*o, -u*l + l - 2*o + 214 = 0. Does 32 divide l?
False
Let i = 230 - -40. Is i a multiple of 15?
True
Suppose k - 3*i = 14, 2 + 29 = 5*k - 2*i. Suppose 0*a - 25 = -k*a, 0 = 5*l + 2*a - 45. Let c(j) = j + 10. Does 17 divide c(l)?
True
Let z(v) = 10*v + 2. Let b be z(1). Let c = -4 + b. Does 4 divide c?
True
Suppose -4*x - 90 = -5*u, 5*x + u + 98 = -0*x. Suppose -4 + 7 = 3*b. Is 7 a factor of 3*b/((-6)/x)?
False
Let l(x) = 7 + 8*x + 6 - 11 - x**2. Does 3 divide l(7)?
True
Is -1 + (-1*6/2 - -64) a multiple of 15?
True
Suppose -44 = 8*l - 9*l. Is l a multiple of 18?
False
Suppose 0 = -w - 3 + 2. Let s(c) = 4*c**3. Let t be s(w). Is 6 a factor of (14/(-1))/(t/2)?
False
Let r be (0 - -2) + (-1 - 2). Let w be r/3 - 2/3. Let l = 16 - w. Does 17 divide l?
True
Let h(r) = -r**3 - r**2 + r - 5. Let b be h(0). Let a = 21 + b. Does 8 divide a?
True
Let t = 6 + -5. Let o be -8 + 7 + t + 2. Suppose 3*g - 2*f - 154 = -f, 0 = -g - o*f + 63. Is g a multiple of 14?
False
Suppose 20*q - 16*q - 280 = 0. Does 7 divide q?
True
Let z be (-40)/6 - 3/9. Let x(t) = t**3 + 7*t**2 - 4*t - 8. Is x(z) a multiple of 10?
True
Suppose 5*y = -3*w - 51, 4*w - 3*w + 6 = 2*y. Let u = 40 + w. Is u a multiple of 11?
False
Let u(k) = -k**3 + k + 2. Let q be u(-2). Suppose 0*c = -c + q. Does 3 divide c?
False
Let v(w) = -w + 6. Let d be v(5). Let t be (-2)/(-7) + (-4)/14. Does 3 divide 1 - (-5 - t) - d?
False
Suppose -3*h - 52 = -5*h. Is 9 a factor of h?
False
Suppose 0 = -d - 0 - 5. Let v(s) = s**3 + 3*s**2 - 13*s - 3. Is v(d) a multiple of 9?
False
Let y be (-3)/((-9)/(-4))*3. Let g(i) = i**2. Let h be g(1). Does 8 divide h/(-2) + (-66)/y?
True
Let w(p) = p**2 + 10*p + 9. Let t be w(-9). Suppose t = 3*n + 130 - 490. Suppose -5*s = -n - 80. Is s a multiple of 15?
False
Suppose 4*j = 2*j + 36. Does 6 divide j?
True
Let d(a) = 2*a - 9. Let c be d(7). Suppose -4*k = 16, n = 2*n + c*k + 59. Let o = 59 + n. Is 20 a factor of o?
True
Suppose -3*i + 16 - 7 = 0. Is i a multiple of 2?
False
Is 28 a factor of 0 - (-120 - 2 - -3)?
False
Let v = 85 + -48. Does 37 divide v?
True
Let o be -6 + 15 + -2 + -1. Let d = o + -4. Suppose -165 = -5*u - 5*i, d*u - 2*i - 35 - 47 = 0. Does 16 divide u?
False
Let i(w) = 17*w. Let l(d) = d**2 - 7*d - 10. Let h be l(8). Let y be i(h). Let t = 50 + y. Is 8 a factor of t?
True
Let w = -45 + 66. Does 9 divide 9/w + 632/28?
False
Does 17 divide (1 + 13)*60/42?
False
Let d(p) = -5*p. Let r be d(2). Is -3 - (-4)/4 - r a multiple of 5?
False
Is ((-10)/(-35))/(2/28) a multiple of 4?
True
Let t(k) = -k + 15. Let v be t(11). Suppose -3*i - 5*q = v, -4*q - 2 = 4*i + q. Suppose -90 = -4*s + 5*p, i*s + 16 = 3*s + 2*p. Does 19 divide s?
False
Suppose -5*o - 3*l = -16, -2*o - 2*l - 2*l = 2. Suppose o = h + 19. Is 7 a factor of h/3*(-4 + 1)?
True
Let g be (-6)/15 - 132/(-5). Suppose 5 = -3*z + g. Suppose -o = -47 + z. Is 20 a factor of o?
True
Let y = 19 - 27. Let m = 27 - y. Suppose 117 = 4*l - m. Is l a multiple of 13?
False
Let l(k) be the third derivative of -k**4/24 + 5*k**3/6 + 4*k**2. Does 18 divide l(-13)?
True
Suppose 4*h = -3*c - 10, 4*h - c = -0*c - 2. Let a be (21/(-3))/(h/(-2)). Is (-2)/7 + (-102)/a even?
False
Let w(a) = a**3 - 3*a**2 - 2*a - 5. Let q(r) = r**3 + 11*r**2 + 11*r + 14. Let u be q(-10). Is w(u) a multiple of 3?
True
Let i = 2 + 0. Suppose b - 9 = -i*b. Suppose -4*m - 157 = -b*l - 15, 0 = l - 4*m - 34. Does 19 divide l?
False
Suppose -53 = -3*q + 37. Suppose -k = -q + 6. Is 13 a factor of k?
False
Let p = 5 - 10. Let c(j) = j + 0*j + 2*j**2 - 5 + 4*j. Does 14 divide c(p)?
False
Let a(m) = 10*m**2 - 3*m - 2. Let o = -18 - -16. Is a(o) a multiple of 11?
True
Let w(f) = 2*f - 2. Let z be w(2). Suppose -5*y - 54 = -2*q - 9, 0 = -z*q + 2*y + 54. Is q a multiple of 8?
False
Let j(r) = 2*r**2 + 8*r + 9. Let t(g) = -3*g**2 - 9*g - 10. Let q(z) = -5*j(z) - 4*t(z). Let s(o) = -o - 1. Let n be s(-5). Is 3 a factor of q(n)?
False
Let j(l) = 2*l. Let w(u) = -u. Let k(y) = -4*j(y) - 10*w(y). Is k(3) a multiple of 5?
False
Let u(f) = -f**3 + 7*f**2 + 10. Let j = 12 - 5. Let m be u(j). Suppose -5*r + 5 + m = 0. Is r a multiple of 3?
True
Let f(w) = 252*w**3 - 2*w**2 + 1. Is f(1) a multiple of 19?
False
Let x = -52 + 73. Is 6 a factor of x?
False
Let r be ((-3)/2)/((-3)/4). Suppose 0 = 4*s + r*f - 44 - 6, -15 = -3*f. Is 3 a factor of s?
False
Suppose 0*y + y - 17 = -2*x, 0 = -3*y - 2*x + 35. Suppose -y*t = -4*t - 90. Is t a multiple of 8?
False
Suppose 54 = -4*n + 166. Suppose 3*s = w + n, -5*s + 5*w + 30 = -0*s. Is s a multiple of 6?
False
Let s(v) = 6*v**2 - 4*v + 4. Is s(4) a multiple of 26?
False
Suppose 3 = -5*z + 28, -2*m - 3*z = -21. Suppose -k + 4*w - 13 = -2*k