 + 9 + 3. Does 2 divide v?
True
Suppose 0 = 4*l - l - 15. Let j = -3 + l. Suppose 11 = i + j. Is i a multiple of 7?
False
Let n be (95/(-2))/((-3)/(-6)). Let h = n + 138. Is 14 a factor of h?
False
Suppose -z - 84 = -2*p - 2*p, -p + 5*z + 40 = 0. Does 6 divide p?
False
Let a = 7 - 4. Suppose -9 = -3*o - a. Suppose 4*u - o*u = 18. Does 9 divide u?
True
Suppose g + 4*m = -3, g - 5*m - 51 = -3*g. Is g a multiple of 2?
False
Let c be 6/2 + (-18)/3. Let r(k) = -2*k - 1 + 4*k**2 + 1 - 3*k**2. Is 15 a factor of r(c)?
True
Let j be (-213)/6*(1 - -1). Let m = 2 + j. Let y = -41 - m. Does 13 divide y?
False
Suppose 0 = -4*i + 12, 2*i = g + 5 - 3. Suppose 4*z + 2*u + g = 92, -3*u = 3*z - 60. Does 12 divide z?
True
Let m(l) = -53*l**3 + 6*l + 20. Let d(g) = -18*g**3 + 2*g + 7. Let b(x) = -17*d(x) + 6*m(x). Is 11 a factor of b(-1)?
True
Let b(c) = -c**2 - c. Let m(z) = -3*z**2 - 11*z + 8. Let r(l) = -2*b(l) + m(l). Is r(-6) a multiple of 13?
True
Suppose -2*g + 229 = -219. Is 32 a factor of g?
True
Suppose -12*d + 10*d = -80. Let o = d + 26. Is 21 a factor of o?
False
Let m be ((-1)/(-3))/((-7)/(-42)). Suppose 3*i + 78 = m*v - i, -2*v = 5*i - 87. Does 11 divide v?
False
Let b(n) = 3*n**3 + 6*n**2 + 4*n. Let m be b(-4). Let p = 70 + m. Is 15 a factor of 3/((-9)/p) - -1?
True
Let h(k) = -47*k**2 + k. Let b be h(-1). Does 16 divide (10/(-15))/(2/b)?
True
Suppose -197 = -5*o + 303. Does 7 divide o?
False
Is (1/(-3))/(18/(-5238)) a multiple of 19?
False
Let i(m) = 2*m**2 + 3*m + 1. Is 12 a factor of i(-5)?
True
Is (-34)/(1/3*-3) a multiple of 17?
True
Let x(i) = -i**3 - 7*i**2 - 15*i - 1. Is x(-6) a multiple of 18?
False
Let d(n) = n**2 - 11*n + 3. Let h be d(10). Let z(k) = -10*k**2 - 28*k - 19. Let x(a) = -3*a**2 - 9*a - 6. Let y(v) = -7*x(v) + 2*z(v). Is y(h) a multiple of 3?
False
Let m(k) = k**3 + 8*k**2 + 7*k + 4. Let h be m(-6). Suppose -5*n = 3*s - 166, n + 0*s = -s + h. Is n a multiple of 12?
False
Suppose -4*q = -9 - 3. Let n = q - -1. Is n a multiple of 2?
True
Let g = 26 - 3. Let l = g + -12. Is 6 a factor of l?
False
Let v be ((-3)/12)/(1/(-4)). Let x(j) = 26*j**2 + 1. Does 9 divide x(v)?
True
Suppose 455 = 2*k + k + 4*u, 2*u - 620 = -4*k. Is 30 a factor of k?
False
Suppose -o = w - 6*o + 1, 0 = -4*o. Let a = w + 3. Does 7 divide (7/(-2))/(a/(-8))?
True
Let z(k) be the first derivative of k**4/4 - 5*k**3/3 - 5*k**2/2 + 7*k - 1. Let n = -9 + 15. Is 11 a factor of z(n)?
False
Let g be (-2 + 950)/((-3)/(-2)). Suppose -n - 2*n + g = 5*d, 5*d - 636 = -4*n. Suppose a = 4*v - d, 2*v - a - 155 = -3*v. Is v a multiple of 12?
False
Suppose 0 = 2*j - 3*j + 69. Is 23 a factor of j?
True
Suppose -4*p - f - 2*f + 4 = 0, f = 4*p - 20. Suppose 3*u = 4*g + 9, 3 = u - 0*u - p*g. Is u a multiple of 3?
True
Let m = -5 - -9. Suppose -34 = m*g - 2. Is (-12)/g*26/3 a multiple of 13?
True
Is 9/(-3) + 115*1 a multiple of 29?
False
Suppose -k + 69 = 5. Is k a multiple of 13?
False
Suppose 0 = -4*r - 2*t - t + 125, 3*r - 4*t = 100. Suppose 2*m - r = 6*d - 2*d, 4*d + 12 = 0. Is 5 a factor of m?
True
Let q(t) = 2*t**2 - 2*t - 3. Let f be q(-2). Let a = f + 3. Is 11 a factor of a?
False
Let y(h) = h**2 - 3*h + 2. Let x be y(3). Let t = -5 + 39. Suppose g + t = x*g. Is g a multiple of 17?
True
Let p(a) = 19*a - 4. Is p(2) a multiple of 10?
False
Suppose 5*r = 445 - 55. Suppose 8*b = 5*b + r. Does 6 divide b?
False
Let u = -52 - -17. Let y be (-1)/3 + u/(-15). Suppose -y*x + 5 + 7 = 0. Is 5 a factor of x?
False
Suppose 4*u - 2*u = 96. Does 12 divide u?
True
Let a be 80/(-15)*(3 - 33). Let z = a + -68. Is z a multiple of 28?
False
Let m(t) = 4*t**2 + 6*t - 9. Let j be m(7). Suppose -5*h = -21 - j. Suppose h = -5*r + 155. Is r a multiple of 11?
False
Suppose 4*h + 319 = 5*b - 101, 4*b - 3*h = 335. Is 40 a factor of b?
True
Let g be 17/(1 + -1 + -1). Is 4 + -3 - g*1 a multiple of 4?
False
Let w(q) = -4*q - 1. Let b = 8 + -6. Let i be w(b). Let f = i + 27. Is 7 a factor of f?
False
Suppose 0 = i + z - 14, 5*z = -i + 6*i - 90. Suppose 0*t - 2*t + i = 0. Does 8 divide t?
True
Suppose -91 = -3*v - 2*g - 31, -2*v + 29 = 5*g. Does 22 divide v?
True
Let m(p) = p**3 + 2*p**2 - 3*p. Let w be m(-3). Suppose 0 = -4*g + 12, w*k - 5*g = -5*k + 105. Is 14 a factor of k?
False
Let v(f) = -f + 16. Suppose c = 4*z - 4, 1 - 9 = -4*z + 2*c. Let l be v(z). Does 10 divide (19/(-4))/((-4)/l)?
False
Let x = 13 + -9. Suppose -x*l = -6*l + 6. Suppose -q + 52 = l*q. Does 12 divide q?
False
Let n = 6 + -4. Let v(o) = -1. Let m(g) = -g**2 - 1. Let q(x) = -5*m(x) + 4*v(x). Is 13 a factor of q(n)?
False
Suppose 4*a + 0*a - 116 = 0. Suppose -4 + a = 5*f. Suppose f*x + 52 = 137. Is 8 a factor of x?
False
Let z(k) = -2 - 6*k - 2*k - k - k - k**2. Does 11 divide z(-6)?
True
Let c be (-4*(-2)/4)/(-1). Let f(o) = -20*o - 4. Is 12 a factor of f(c)?
True
Let q be (-10)/3 - 8/(-24). Is 15 a factor of q/(1*(-3)/45)?
True
Let x(r) = r**3 + 4*r**2 - 3*r - 5. Is x(-4) a multiple of 7?
True
Let l(u) be the second derivative of 0 - 1/3*u**3 - u + 2*u**2 + 1/12*u**4. Is 10 a factor of l(-4)?
False
Let h = -78 - -113. Does 15 divide h?
False
Let a(w) = -w**3 + 3*w + 1. Let c be a(-2). Does 3 divide 16 - ((-5 - -4) + c)?
False
Let j(h) = -2*h - 4. Suppose 3 = -4*i - 1, 0 = 2*g - 4*i + 8. Does 8 divide j(g)?
True
Suppose 2*y = 4*c - 3*y + 31, -5*c = 3*y + 11. Let o = 34 - c. Let r = -26 + o. Is 12 a factor of r?
True
Is 3*(-5)/(30/(-68)) a multiple of 34?
True
Let f = -1 + 1. Suppose q - 7 - 67 = f. Does 13 divide q?
False
Suppose 5*o + l + 47 = 0, -2*o - 2*l = 16 - 2. Is (-222)/o + 1/(-5) a multiple of 9?
False
Suppose -4*v = -9*v - 60. Is 16 a factor of 3/(-2) - 594/v?
True
Let a be (6/27)/((-2)/(-18)). Suppose -4*y + 76 = a*s, -49 + 163 = 3*s + 5*y. Is s a multiple of 8?
False
Let m(j) = -5*j**2 - 9*j - 2. Let l(r) = -9*r**2 - 19*r - 4. Let x(g) = 6*l(g) - 13*m(g). Let u be x(-2). Let q = u + -1. Is q a multiple of 17?
False
Suppose -r + 0*r + 23 = -4*w, 15 = 5*w. Suppose 0 = -3*p - 2*p + 55. Let j = r - p. Is 8 a factor of j?
True
Suppose 2*u - u + 3 = 0. Is 14 a factor of (u + 2 + -27)/(-1)?
True
Suppose 2*j = -j + 24. Suppose v - 4*o = -36, v = -3*v - 3*o - 49. Let d = j - v. Is 12 a factor of d?
True
Suppose -9 = -3*m, -x - 2*x - 4*m + 84 = 0. Suppose -3*q - 5 + 140 = 3*h, -5*h = -2*q - 232. Suppose 2*i - x - h = 0. Does 10 divide i?
False
Let d be ((-36)/21)/((-6)/63). Let w = 0 + -2. Let q = d + w. Is 16 a factor of q?
True
Suppose 5*v - s + 4*s = -4, -5*s - 18 = -3*v. Let o = 16 - v. Does 4 divide o?
False
Suppose -2*r + 1 - 4 = 3*a, -3*r - 2 = 2*a. Suppose r*d = -4*d + 12. Does 2 divide d?
False
Does 6 divide 1046/14 - 3 - 10/(-35)?
True
Suppose -2*r = -7*r + 25. Suppose -3*s + c + 84 = 0, r*s - 3*c = -4*c + 140. Does 14 divide s?
True
Let h = -4 + 0. Let r be (-6)/h*(-8)/(-6). Suppose -48 = -r*u - 4*d, 0 = -0*u + 4*u + d - 61. Is 4 a factor of u?
False
Suppose -74*g + 854 = -67*g. Is 13 a factor of g?
False
Let z(u) = 73*u + 2. Let x = 10 - 9. Does 15 divide z(x)?
True
Let l = -37 - -15. Let y(r) = -r**3 - 9*r**2 - 10*r - 12. Let o be y(-8). Is 15 a factor of (-2)/o*l*2?
False
Suppose 4*p - 12 = -3*o, p + 12 = -3*o + 5*p. Let g be (22 - -2) + -2 - o. Suppose 0 = 3*t - g - 14. Is t a multiple of 6?
True
Let h = 31 + 0. Suppose 4*l - w = 7 - 4, -4*l - 4*w + 8 = 0. Suppose 0 = 2*a - h + l. Does 15 divide a?
True
Let q(u) = u**2 + 6*u - 1. Does 12 divide q(-8)?
False
Let z(l) = -l**3 - l + 6*l**2 + 9*l + l - 10. Is 2 a factor of z(7)?
True
Let j(n) = 8*n + 2. Let y be j(-2). Suppose -73 - 67 = -5*s. Let a = s + y. Does 6 divide a?
False
Let a(q) = 2*q**2 - 5*q + 3. Let s be ((-2)/3)/((-12)/54). Let n(b) = b**3 - b**2 - 4*b - 1. Let r be n(s). Is a(r) a multiple of 14?
True
Suppose -3*q - a + 62 = 0, 5*a - 30 = -3*q + 2*q. Suppose m + q = -3*l, -2*m - 20 = 5*l - 3*m. Let r(g) = g**3 + 6*g**2 + 4*g + 3. Is r(l) a multiple of 4?
True
Let a(x) = 2*x**2 + 11*x + 2. Does 6 divide a(-8)?
True
Let r(q) = -3*q + 206. Does 28 divide r(0)?
False
Let d(p) = p**3 - 2*p**2 + p + 5. Is 31 a factor of d(6)?
True
Suppose 3*d = -d - 16. Does 16 divide (d - -3) + 1 - -45?
False
Let w(n) = n**3 - 8*n**2 + n - 4. Let y be w(8). Let t be y/6 - (-4)/(-6). Suppose 90 = 5*u - t*u. Does 18 divide u?
True
Is (-1 + 3)/((-6)/(-39)) a multiple of 