*f. Let o be (-2)/7 + 10/(-14). Is f*(0 + o + 2) a multiple of 5?
True
Let k(y) = 6*y**2 - 3*y + 2. Is k(4) a multiple of 17?
False
Let a = 178 + -62. Is a a multiple of 15?
False
Let y be 14/(-21)*18/(-4). Suppose -y*k + k = 6. Let w(v) = 3*v**2 - 5*v - 4. Does 21 divide w(k)?
False
Let u = 81 + -31. Is 15 a factor of u?
False
Suppose 5*d - 52 = 58. Does 2 divide d?
True
Let y(m) = m**3 + 4*m**2 - 2*m - 6. Let v be y(-4). Suppose 0 = -5*t + 4*u + 52, 9 = 5*t + v*u - 25. Is 8 a factor of t?
True
Suppose -2*r + 35 = -m, r - 31 = -2*m + 7*m. Does 5 divide r?
False
Does 3 divide (5 + -14)*(2 - 1)*-1?
True
Let u(d) = 2*d**2 + 3*d. Is 9 a factor of u(-5)?
False
Let s = 2 + -4. Let t be s/8 - (-86)/(-8). Let b = -7 - t. Is 4 a factor of b?
True
Let o(w) = w**2 + w - 10. Let k be o(-7). Let i = -33 - -10. Let p = k + i. Does 3 divide p?
True
Let m(q) = q**3 + 2*q**2 - 6*q - 4. Let r be m(-4). Is (r/9)/(2/(-42)) a multiple of 28?
True
Suppose -10 - 3 = -a. Suppose -q + 0*q = -a. Let z = q + -8. Does 2 divide z?
False
Let t(v) = 1 - 2 + v - 12*v. Is t(-2) a multiple of 18?
False
Let p = -15 - 24. Let x = p + 66. Is 27 a factor of x?
True
Let q(x) = -x + 2. Let u be q(4). Let h(l) = 2*l**2 + l - 1. Let g be h(u). Suppose g*j = -16 + 66. Is 9 a factor of j?
False
Suppose 0 = -3*l - 0*l. Let u = 22 - l. Does 11 divide u?
True
Suppose 2*q + 14 = 4*p, -12 - 6 = -3*p - q. Suppose -3*f + 3*u = -66, 56 = 4*f + p*u - 50. Is 15 a factor of f?
False
Let r = 67 - 10. Is r a multiple of 16?
False
Suppose -5*w + 6 - 1 = -4*h, -2*h - 2*w + 2 = 0. Suppose 5*r = -5*q - h*r + 70, 3*q = -4*r + 42. Does 14 divide q?
True
Let z(y) = 3*y**2 + 52 + y**3 - 9*y**2 + 6*y**2. Let f be z(0). Suppose 5*a + r - 35 = 0, 3*r + f = 3*a + 13. Does 7 divide a?
False
Suppose 20 = r + i, 2*r + i = -3*r + 100. Does 20 divide r?
True
Let l(q) = -q**3 + 9*q**2 + 5*q - 13. Let j(g) = -2*g - 5. Let n = -10 + 3. Let m be j(n). Does 16 divide l(m)?
True
Let t = -100 + 103. Does 3 divide t?
True
Let r(l) be the second derivative of 2*l**3/3 - 17*l**2/2 + 3*l. Does 13 divide r(14)?
True
Let o be 0/((0 - -2)/1). Suppose o = l - 0*a + 4*a - 50, 3*l + 5*a - 150 = 0. Is l a multiple of 25?
True
Let z be -15 - 0*3/(-12). Does 6 divide (-6)/45 - 137/z?
False
Suppose 12 = 4*h - 0. Suppose 0 = -0*t - t + h. Suppose -t*r = 4*b + 10 - 46, 0 = -5*b - 15. Does 16 divide r?
True
Suppose 0 = -5*w + 3*a - 304 - 27, 4*a = -2*w - 148. Does 18 divide -15*(w/20 - -1)?
True
Let t = -1 - -6. Suppose -3*x = -4*x + 27. Let m = x - t. Does 11 divide m?
True
Does 11 divide 6/9 - (-164)/6?
False
Let l(n) = n**3 - 6*n**2 + 3*n + 1. Let q be l(6). Suppose -2*z = -z - 4*m - q, -5*m = -4*z + 131. Is 16 a factor of z?
False
Let f(o) = o**2 + 10*o + 4. Let j be f(-8). Let g = j + 16. Is g a multiple of 4?
True
Suppose -4*o = -2*o. Suppose -26 = -3*w + d, o*w - 4 = -w - 2*d. Is w a multiple of 4?
True
Suppose -x + 1 + 3 = 0. Let q = -45 - -45. Suppose -j + 41 = x*w, q*j + 3*j - 3*w = 48. Is j a multiple of 13?
False
Suppose 3*h + 5 = 3*w + 17, -w - 16 = -4*h. Suppose -5*o = 5*z + 30, w = 2*o - 2*z - 2*z. Is 26/o*2*-1 a multiple of 13?
True
Let w = -3 - 0. Let n be (6 + w)*(2 - 1). Is 2 + (1 - (-28 - n)) a multiple of 22?
False
Let c(w) = w**3 - 6*w**2 - 5*w + 3. Let a be c(7). Suppose -5*d - 47 = -2*h - 0*d, -4*h + 136 = 4*d. Let u = h - a. Does 11 divide u?
False
Suppose 5*p + 24 = -21. Let u = p + 12. Suppose -26 = -2*q + u*v + 37, 0 = q - 2*v - 34. Is q a multiple of 22?
False
Let t = 51 - 18. Is t a multiple of 6?
False
Suppose -3*u + 114 + 54 = 0. Does 17 divide u?
False
Let y = 43 - 23. Suppose d - 6*d + y = 0. Suppose 0 = q + 3*j - 1, 0 = 3*q + q + d*j - 36. Does 13 divide q?
True
Let d(x) = 2*x**2 + 8*x + 2. Is 10 a factor of d(-6)?
False
Let r(a) = -2*a**3 - 4*a**2 - a - 3. Let v be (-4)/2*(-27)/(-18). Is 18 a factor of r(v)?
True
Does 26 divide (2231/(-115))/(1/(-5))?
False
Let u(c) = 2*c - 3. Let b be u(-3). Is (8 + b)/((-1)/3) a multiple of 3?
True
Let u(r) = 65*r**3 + r**2 - 1. Let l be u(1). Suppose -3*y + y - 4*o + 38 = 0, 5*y + 4*o = l. Is y a multiple of 4?
False
Let l(r) = -2*r**3 - 23*r**2 - 13*r - 2. Does 12 divide l(-11)?
False
Suppose 3*j - 105 = -18. Let d = 7 - j. Let g = 33 + d. Is g a multiple of 11?
True
Suppose -60 = 3*t - 5*t. Does 15 divide t?
True
Is 60/7 + (-15)/(-140)*4 a multiple of 2?
False
Let q = 1 + 2. Suppose q*o = 56 + 61. Suppose 0*b + o = 3*b. Does 13 divide b?
True
Suppose -4*y = -4*c + 66 + 154, 2*c - y - 111 = 0. Is c a multiple of 7?
True
Is 3/(-15) + 362/10 a multiple of 9?
True
Let z be (-71)/(-3) + 1/3. Suppose -4*m - 9 + 21 = 0, -4 = c + 4*m. Let h = z + c. Is h a multiple of 4?
True
Let c(v) = -13*v - 67. Is 33 a factor of c(-9)?
False
Suppose 4*y - 21 = -4*o - 57, -2*y - 5*o - 18 = 0. Is 2 + y/(-12)*4 a multiple of 2?
False
Suppose u - 4*i - 73 = 0, -i - 68 = -u - 2*i. Suppose 0 = 4*c - b - 70 - u, 3*c = 3*b + 93. Suppose 0 = 4*z - 4*g - c, 3 = 3*z - g + 4*g. Is 5 a factor of z?
True
Let i = 6 - -50. Is 14 a factor of i?
True
Let i be 1/3*0*-1. Suppose 0 = -i*k + 4*k + 5*q - 13, -k + 4*q - 2 = 0. Let d = k + 25. Is d a multiple of 27?
True
Suppose -a - 4*a + 155 = 0. Suppose 2*v - a + 95 = 3*n, -2*n = 3*v - 34. Does 10 divide n?
True
Let l be (0 - 4)*(-1)/4. Let x be 2*3*l/1. Let u(s) = -s**2 + 9*s - 3. Does 15 divide u(x)?
True
Let c = -155 - -308. Suppose -177 = -5*q + c. Is q a multiple of 10?
False
Let u(j) = 26*j - 2. Let f be u(-1). Does 18 divide (-36)/5*70/f?
True
Let q(t) = -3*t**2 + 12*t - 7. Let w(d) = -d**2 + 4*d - 2. Let i(u) = -3*q(u) + 8*w(u). Suppose 2 = 2*l + 2*g + 3*g, -l - 2 = g. Does 13 divide i(l)?
False
Let a(c) = 6*c**2 - 3*c - 8. Let q(w) = 7*w**2 - 4*w - 9. Let s(d) = 6*a(d) - 5*q(d). Let t be s(-4). Is (0 - 34)/(t - 6) a multiple of 14?
False
Let r(p) = -p**3 + 4*p**2 + 4*p - 1. Let z be r(4). Let w = z - -3. Is w a multiple of 18?
True
Let v be (-11*3)/(12/8). Suppose 4*h + 215 - 87 = 0. Let n = v - h. Is 10 a factor of n?
True
Is 16 a factor of 70 + (3 + -3)/(-4)?
False
Let y(b) = b**2 - 2*b + 2. Let a be y(2). Suppose -3*t = a*t - 30. Is 4 a factor of t?
False
Suppose 3*l + g = 30, -4*l + 2 + 30 = 4*g. Let z = 16 - l. Is ((-6)/(-5))/(2/z) a multiple of 3?
True
Let j(h) = h**3 + 2*h**2 + h. Let a be j(-2). Does 4 divide ((-4)/(-2))/(a/(-8))?
True
Let n(u) = u**2 - u - 5. Let h be n(5). Suppose -4 = -2*k - i - 13, -5*k = -5*i - h. Let p = 18 + k. Does 8 divide p?
True
Suppose -3*o = -8*o. Suppose -4*g - 29 + 89 = o. Suppose 4*t = 2*v - 10, -2*v - 3*t - g = -5*v. Is v a multiple of 5?
True
Suppose 163 + 53 = 3*a. Does 12 divide a?
True
Suppose 0 = 7*a - 792 - 384. Does 12 divide a?
True
Let h be (-2 + (-24)/(-10))*120. Suppose 3*z + h = 5*z. Is 12 a factor of z?
True
Suppose 0 = 4*l - 13 - 7. Suppose 0 = -l*r + 39 + 1. Is 8 a factor of r?
True
Suppose i - 6*i = -20. Suppose -4*o - 2*h = -i, -2*o = 2*h + 1 + 1. Suppose -o*v = -5*v + 12. Is v a multiple of 4?
False
Let k(n) = n**2 - 3*n + 39. Is 15 a factor of k(0)?
False
Suppose 0*a = a. Suppose v + z - 19 = a, -5*z - 71 = -3*v - z. Is v a multiple of 7?
True
Suppose 5*u = -2*n - 3*n + 50, 3*n = 0. Let s = 115 + -80. Is (-304)/(-14) + u/s a multiple of 8?
False
Let s be -4 + 1*(-2 - 0). Let j = 5 - s. Is 5 a factor of j?
False
Let l(v) = 21*v**2 + v - 3. Let a be l(-4). Suppose 2*o - 82 = -f, -4*f + 4*o - 25 = -a. Let c = f + -51. Does 20 divide c?
False
Let k be ((-1)/2)/((-2)/32). Let d(a) = a**2 - 6*a + 2. Does 6 divide d(k)?
True
Let r(z) = 5*z - 1. Does 9 divide r(2)?
True
Suppose -3*v = -4*h - 5*v, 0 = h + 2*v + 6. Suppose h*f - 2*r = -0*r + 40, -4*f + 76 = -5*r. Is 12 a factor of f?
True
Suppose -5*m = -102 - 598. Suppose -3*p + m = 2*p. Is p a multiple of 14?
True
Suppose -7*z + 2*z + 20 = -h, -z + 4 = -2*h. Is 3 a factor of z?
False
Let r(f) = -f**3 + 8*f**2 + 3*f - 14. Is 5 a factor of r(6)?
False
Let k(l) = l**2 + 10*l - 5. Let f be k(-11). Suppose 9 + f = 5*o. Suppose 80 = 2*p + o*p. Does 10 divide p?
False
Suppose p - 2*p = 2*z - 6, 0 = -z - 4*p + 17. Is (2 - -17 - 0) + z a multiple of 10?
True
Let j = -10 + 112. Is 15 a factor of j?
False
Let t(j) = -3*j**3 - 12*j**2 + 12. Let g(b) = b**3 - b**2 + 1. Let l(k) = -12*g(k) + t(k). Let z be (1/2)/(18/(-36)). Does 15 divide l(z)?
True
Suppo