e t(11). Let i(j) = 7*j - 4. Is 17 a factor of i(b)?
False
Let q(x) = 2*x + 3. Let p(c) = -c**3 + c**2 + c - 2. Let v be p(-2). Is 8 a factor of q(v)?
False
Suppose x = -3*k + 29, 0*k - 2*x + 8 = k. Let b = 22 - k. Is 6 a factor of b?
True
Does 9 divide 136/5 + 10/(-50)?
True
Let o = 4 + -8. Let z = 4 + o. Suppose 5*h - 74 - 6 = z. Is h a multiple of 13?
False
Let u = 0 + -2. Is 4 a factor of 8 - 2/u - -1?
False
Let s be ((-20)/(-6))/(2/3). Suppose -51 = -s*v + 249. Suppose 0 = w + w - v. Is 15 a factor of w?
True
Let m(d) = d**2 - 2*d - 6. Let a be m(5). Let r be ((-8)/(-6))/(6/a). Is 15 a factor of -4*((-57)/6 + r)?
True
Let j = -13 - -49. Is 9 a factor of j?
True
Let z(a) = 2*a - 12. Suppose 5*j = -5*h + 35, -31 = -2*h + j - 8. Is 5 a factor of z(h)?
False
Let o(y) be the second derivative of 7*y**5/120 - y**4/12 - y**3/2 + y. Let s(i) be the second derivative of o(i). Does 13 divide s(4)?
True
Suppose -5*m = 3*f + 49, 1 = 3*f - 5*m - 0. Is ((-38)/f)/((-2)/(-16)) a multiple of 10?
False
Is 8 a factor of 4*6/14*14?
True
Suppose -2*v = -0*v - 8. Suppose v*j - 80 = -2*o, 113 = 5*j - 4*o - 0*o. Does 9 divide j?
False
Let u(i) = -40*i + 2. Is u(-4) a multiple of 24?
False
Let x be (0 - 1)/(6/18). Let s be 6*x*6/(-4). Suppose 3*q - 64 = -5*c, 4*q + 3*c - 40 = s. Does 5 divide q?
False
Let q = -21 + -57. Let m = 48 + q. Is (216/m)/(6/(-20)) a multiple of 12?
True
Suppose -1 = 3*z - 16. Suppose -42 = 3*y - z*y. Is 8 a factor of y?
False
Let m = 8 - 8. Suppose -3*r - i + 6 + 5 = 0, 0 = -3*r - 5*i + 7. Suppose -r = 4*z, -2*b + m*z + 49 = z. Is 10 a factor of b?
False
Let o(z) = 2*z - 19. Let v(t) = t - 6. Let f(k) = 4*o(k) - 11*v(k). Is 7 a factor of f(-7)?
False
Let n be 2/(-2) + 748/(-17). Suppose p - 2*a = 2*a + 6, 5*p = -3*a - 16. Is 1/(n/(-22) + p) a multiple of 11?
True
Let z = 33 + -22. Suppose -2*w - z = -2*b - 67, -3*w - 3*b = -66. Suppose a + 1 - w = 0. Does 15 divide a?
False
Suppose 0 = -4*l + 5*x, -4*x = -0*x. Suppose 3*d + 8 = 7*d. Suppose o - 12 + d = l. Does 5 divide o?
True
Suppose 4*p = -0*p + 20. Suppose 2*c - 5*r = 45, -3*c + 55 = -c + p*r. Does 15 divide c?
False
Let u(k) = -k**3 + 5*k**2 + k - 3. Let j be u(5). Is 32 a factor of -1 - 0 - (j + -38)?
False
Let x(y) = -y**2 + 20*y - 68. Is x(10) a multiple of 8?
True
Let k(i) = i**3 + 17*i**2 - 3*i + 3. Is k(-17) a multiple of 7?
False
Suppose 4*d - 1 = 155. Let i = d - 28. Is i a multiple of 5?
False
Suppose -4*k - 196 = -5*k. Suppose 0 = -2*w - 2*w + k. Is 15 a factor of w?
False
Does 2 divide 300/84 + (-9)/(-21)?
True
Let v(g) = 5 + 6 + 0*g**2 + g**2 - g**3 + 10*g + 6*g**2. Is v(8) a multiple of 7?
False
Let o = 43 + 41. Suppose -6*x + o = -2*x. Is 9 a factor of x?
False
Suppose 0 = 4*u, 3*q + 4*u = 46 + 44. Does 7 divide q?
False
Let v = 43 - -2. Suppose 0 = 4*r + v - 137. Is r a multiple of 23?
True
Let i(w) = -w**3 + 9*w**2 + 9*w + 8. Let b be i(10). Is 19 a factor of (-237)/(-4) + b/8?
False
Suppose -5*m = 2*x - 236, 6*x + 5*m - 560 = x. Is x a multiple of 12?
True
Let w = -36 - -22. Is (-84)/(-10) + w/35 a multiple of 3?
False
Let o(k) = 4*k - 43. Is 9 a factor of o(13)?
True
Let k(g) = 7*g - 4. Is k(3) a multiple of 12?
False
Suppose -4*y - 2*s = -150, -6*s + 5 = -s. Let f = -20 + y. Does 13 divide f?
False
Suppose 4 = -3*k + 7. Let j be k/((-1)/(-3)) + 5. Suppose 4*u + 2*c + 2*c = 68, -u - 4*c = -j. Is 10 a factor of u?
True
Let p(y) = -6*y**2 - 35*y**3 - 5 - 34*y**3 + 70*y**3. Let f(r) = 7*r**3 - r**2 + 2*r - 1. Let v be f(1). Is p(v) a multiple of 12?
False
Suppose -810 = -14*n - n. Is 27 a factor of n?
True
Suppose 54 = -v + 4*v. Does 9 divide v - (0 - (1 - 1))?
True
Let z be -12 - 2 - (-1)/(-1). Does 2 divide (-3)/z - 27/(-15)?
True
Let k(l) = -14*l - 3. Let u be k(-3). Suppose -f + u = 4*x, -x - 2 = -2*f + 31. Is 16 a factor of f?
False
Let n(f) = -f**3 + 6*f**2 + 9*f + 4. Is n(7) a multiple of 18?
True
Suppose -63*q + 61*q + 320 = 0. Does 12 divide q?
False
Let x be 212/4*1/1. Suppose 5*b = -3*d + 10 + 17, 4*d = -b + x. Is d a multiple of 7?
True
Is 24*3/((-18)/(-4)) a multiple of 16?
True
Suppose -4*u + 16 = -0*u. Suppose 2*w + 0*w = u. Suppose -5*q + 42 = -w*q. Is 14 a factor of q?
True
Let v = 0 + -8. Let a = 2 + 10. Does 9 divide ((-45)/a + 2)*v?
False
Let b be (-7)/(5/(-4) + 1). Suppose -o = -110 + b. Let u = o + -44. Does 13 divide u?
False
Let j(r) = r**3 - r**2 - r + 17. Is 10 a factor of j(0)?
False
Suppose 0*u - 3*u - 9 = 0. Let j = u + 1. Is 3*(j - -5) - 1 a multiple of 4?
True
Is (14/4)/((-3)/(-18)) a multiple of 8?
False
Let v be 2/(-4)*(-3 + 3). Suppose -2*h + z = -2*z + 57, v = -3*h + z - 68. Let m = -12 - h. Does 3 divide m?
True
Let t(i) = i - 11. Let a be t(5). Let j = -4 - a. Is 17 a factor of j/(-9) + (-735)/(-27)?
False
Let k be 9 - (-4 + 3)/(-1). Let i be 6/k + (-1)/(-4). Is 2 a factor of 2/(i/(-2) + 1)?
True
Suppose 3*f = -4*l + 50, l + 2*f - 4 - 11 = 0. Does 4 divide l*(-2 + 3) - -1?
True
Suppose -4*m - 2*m = -1350. Does 45 divide m?
True
Let g = -15 + 65. Is g a multiple of 15?
False
Let l be 44*(-3 + (-6)/(-1)). Does 25 divide (-5)/(-2)*l/10?
False
Suppose 4*o = h + 356, 2*h = 2*o - 4*o + 188. Is o a multiple of 30?
True
Let o = 83 - 48. Is o a multiple of 7?
True
Suppose -931 = -3*m - 5*b, -4*b + 934 = 3*m - 2*b. Is 33 a factor of m?
False
Let k(u) = -2*u**2 - u - 7 - 3*u + 3*u**2. Let t be k(5). Is 3 a factor of 10/(t*(0 + -1))?
False
Let c(j) = -7*j + 1. Let z be c(-2). Let d = -6 + 10. Suppose d*f = -4*w + 95 - z, -2*f = 8. Does 8 divide w?
True
Suppose 5*s + 0*n + n - 15 = 0, 4*n = 4*s - 12. Suppose -4*q = o + 1, -3 = s*q + 3*o - 0. Suppose 0 = -2*y - 10, 5*z + q*z + 4*y = 95. Does 11 divide z?
False
Let i(g) be the third derivative of -g**6/720 + g**5/30 - g**4/12 - 3*g**2. Let s(j) be the second derivative of i(j). Does 5 divide s(-6)?
True
Let q = 19 + -12. Does 7 divide q?
True
Let x be (-2)/5 - 2/(-5). Suppose 0 = -u - k - 2, -3*k + x - 6 = u. Does 3 divide u*2/6 + 6?
True
Suppose 10 = 4*g + g. Suppose g*i = -m + 33, -3*m - 3*i = -6 - 102. Is 13 a factor of m?
True
Let c = -2 - -5. Suppose 5*d = d - c*u + 83, 2*d = 3*u + 37. Is d a multiple of 8?
False
Let k = 36 + -21. Does 3 divide k?
True
Suppose -5*r = -39 - 81. Is r a multiple of 8?
True
Suppose -h = 1 - 6. Suppose q + 24 = h*q. Does 3 divide q?
True
Let h = 0 - -7. Suppose h*m - 6*m = 63. Is 13 a factor of m?
False
Let h = 96 + -55. Does 15 divide h?
False
Suppose 5*u - 3*b = 1116, -4*u + 232 = -3*u - 5*b. Does 37 divide u?
True
Let p = -9 + 9. Suppose -5*s + 5 + 10 = p. Suppose 83 = s*i - 73. Does 14 divide i?
False
Suppose 2*d = -2*s + 4, 8 = 2*s + s + 2*d. Let n = 6 - -1. Let y = n - s. Is y a multiple of 3?
True
Let c(u) be the first derivative of -u**4/4 + 13*u**3/3 - 5*u**2 - 5*u - 5. Does 8 divide c(12)?
False
Let x = -31 + 60. Suppose -3*n + 2*s = -10 - x, 6 = n - 3*s. Does 15 divide n?
True
Let j(i) = -i - 5. Let x be j(-6). Is 13 a factor of (-1)/(x + (-72)/69)?
False
Let u = -3 - -7. Suppose -o - u*r = -28, -o = o - 3*r - 1. Suppose -g + 3*i + 8 + o = 0, -5*g = -2*i - 28. Is 4 a factor of g?
True
Suppose -3*o - 3*o = -156. Is o a multiple of 13?
True
Let v(k) = 2*k**2 + 35*k - 46. Is 13 a factor of v(-22)?
False
Suppose -5*n + 4*j = -167 - 17, 0 = -n + 3*j + 28. Does 7 divide n?
False
Suppose 6*a - 2*a = 276. Is 23 a factor of a?
True
Let r be (0 + 1)/(2/2). Suppose r = -l + 18. Is l a multiple of 6?
False
Let m(w) = -w + 6. Let c be m(9). Let s = 7 + c. Suppose 5*q - s*q = 24. Is q a multiple of 21?
False
Suppose -y + 4*r + 15 = 0, 5*r = -y + 3*r + 9. Is (y/(-2))/(2/(-8)) a multiple of 13?
False
Suppose q - 126 = 5*k - 3*k, 254 = 2*q - 3*k. Is 10 a factor of q?
True
Let y(w) = -w - 2. Let c be y(-6). Suppose -c*s = -s - 96. Is s*(3 - (2 + 0)) a multiple of 13?
False
Suppose 3*b - 5*s = -4, -3*s + 0 = b - 8. Suppose 52 = b*i - 0*i. Does 13 divide i?
True
Let i(m) = m**2 - 3*m + 3. Let f be i(5). Let z = 37 - f. Is z a multiple of 6?
True
Let u be (-7)/28 - (-6)/(-8). Let a(t) = -13*t - 2. Does 11 divide a(u)?
True
Suppose 178 = 2*v - 4. Let s = v + -34. Suppose 3*f = 3*r + s, 2*f + 22 = 3*f - 2*r. Is f a multiple of 7?
False
Let i(x) = 2*x**3 - 2*x**2 + x. Let w(g) = g. Let c be w(2). Is i(c) a multiple of 10?
True
Suppose -75 = -2*q + 135. Suppose 82 = 2*o -