 f - k. Is t a multiple of 17?
False
Let v be 14/3*15/10. Let q = v - 4. Is 2 a factor of q?
False
Suppose r + 7*t - 32 = 3*t, 5*r - 118 = t. Does 10 divide (5/(-3))/((-4)/r)?
True
Let y(c) = 21*c**2 - 4*c - 2. Is y(-2) a multiple of 30?
True
Let w = -5 - -3. Let c(m) = -m**2 - 2*m. Let l be c(w). Suppose 5*k + l*k - 90 = 0. Does 7 divide k?
False
Let y be ((-8)/(-10))/((-7)/(-35)). Suppose y*x = -0*x + 72. Is 9 a factor of x?
True
Suppose 4*j = 4*h + j - 32, -23 = -3*h + 2*j. Let r(b) = -b**3 + 7*b**2 - 6*b + 5. Does 10 divide r(h)?
False
Let c = 12 + -18. Does 17 divide c/(-8)*-34*-2?
True
Let o(d) = -2*d + 1. Suppose 28 + 2 = -5*v. Is o(v) a multiple of 2?
False
Does 7 divide (-170)/(-8) - 4/16?
True
Let s(q) = q**2 + q + 4. Let z = 8 + -6. Suppose -k + 8 = -g + z*k, 4*g + 17 = -3*k. Does 12 divide s(g)?
True
Let g(j) = j**2 + 4*j - 103. Is 10 a factor of g(-23)?
False
Let k = -127 - -217. Is k a multiple of 30?
True
Suppose -z = -0 + 2. Suppose 2*x = -3*b + 19, -3*b + 3 + 2 = -5*x. Let v = b - z. Is 3 a factor of v?
False
Let l(p) be the first derivative of -8*p**4 + p**2 + p + 1. Suppose -13*z = -12*z + 1. Does 9 divide l(z)?
False
Suppose -3*s + 114 = -2*w, 6*s - 3*w = 2*s + 151. Does 13 divide s?
False
Let g = 22 + 0. Does 22 divide g?
True
Does 20 divide 29 - (-2 - (1 + -2))?
False
Let b = 20 - 23. Let l = 7 - b. Is 3 a factor of l?
False
Let n(w) = w**2 - 4*w - 7. Let h be n(6). Suppose -a - 1 - 2 = h*m, 8 = 2*m + 5*a. Does 11 divide ((-1)/m)/(1/17)?
False
Let o be 5/(2/12*-2). Does 4 divide o/25 - 58/(-5)?
False
Let k = 85 - -93. Suppose -5*z + k = 5*c - 27, 2*c - 2*z = 90. Is c a multiple of 12?
False
Let a be -2 - 3/(6/(-16)). Let g be (8/(-10))/(a/(-15)). Suppose -2*x - 36 = -2*q, g*x + 32 = 4*q - 34. Is q a multiple of 12?
False
Let j(u) = -u + 2 - 6 + 5 + 1. Is 2 a factor of j(-7)?
False
Is 20 a factor of 60 - -1*2/(-1)?
False
Suppose 0 = 5*z + 23 - 8. Let s(k) = -k**2 + 3. Let o be s(z). Is 2 a factor of 54/8 - o/(-8)?
True
Is 36/10*20/4 a multiple of 9?
True
Suppose -5*q - 28 = 2*d, 0 = 2*d + 4*q - 1 + 25. Let m(x) = x**3 + 6*x**2 + 2*x + 6. Let b be m(d). Suppose 0 = -y + 2*y - b. Does 15 divide y?
True
Let n = 6 - 6. Suppose 3*v - v - 4 = n. Suppose 3*a = 5*m - 9, v*m = 2*a - m + 5. Is a even?
True
Suppose -b - 4*j + 62 = 0, 3*b - 220 = -0*b + 5*j. Is b a multiple of 7?
True
Let c = 12 + -5. Let f(q) = 5*q. Is f(c) a multiple of 10?
False
Let f(d) = d**3 + 7*d**2 - d - 7. Let w be f(-7). Suppose w*b = -5*b + 120. Suppose 3*s = s + b. Is 12 a factor of s?
True
Is (-2)/(-8) - (-5)/((-80)/(-284)) a multiple of 18?
True
Let s(p) be the second derivative of 23*p**4/12 - p**3/6 - p**2/2 - p. Is s(-1) a multiple of 21?
False
Suppose -2*q + 102 = -102. Let o(r) = r**2 - 7*r + 4. Let w be o(8). Does 16 divide ((-8)/w)/((-2)/q)?
False
Let y(f) be the third derivative of -f**6/120 - 7*f**5/30 - 5*f**4/24 - 10*f**3/3 - 4*f**2. Is y(-14) a multiple of 20?
False
Let w = -227 - -432. Suppose 3*f - w = -2*f. Does 15 divide f - (-2 + 4) - 0?
False
Suppose -5*l - 13 = -2*j, 5*l - 4*j + 5 = -6. Let u be 265/15 - (-2)/l. Suppose i + i = -2*q + 30, 0 = -3*i + 4*q + u. Is i a multiple of 10?
False
Suppose -4*p - 288 = -5*u - 5*p, p = 3. Is 26 a factor of u?
False
Let p be 3 + -2 + 2 + 0. Suppose 4*y - 40 = -s + 20, -p*y - 98 = -2*s. Is s a multiple of 26?
True
Let t(w) = w**2 + 5*w + 2. Let u be t(-4). Does 16 divide 2*(0/u + 16)?
True
Suppose 0 = 5*o + 6 + 9, -3*z = 2*o + 18. Does 11 divide z/10 + (-171)/(-15)?
True
Let q(g) = -g**3 + 2*g**2 + g - 2. Let w be q(2). Suppose w*l = 3*l - 2*u + 11, 5*u = 20. Is 4 a factor of (l + 16)*(0 - -1)?
False
Let t = 47 + 13. Is t a multiple of 37?
False
Suppose -m + 64 = 3*j + 2*j, 0 = 5*m - 4*j - 262. Suppose -110 = -4*u + 2*z, -m = -2*u + z + z. Does 14 divide u?
True
Let k(w) = -w - 19. Let v be k(-14). Suppose 0 = -3*h - 87 + 33. Let s = v - h. Does 13 divide s?
True
Let h(o) = -14*o + 1. Let p be h(-4). Suppose p = -k + 4*k. Does 9 divide k?
False
Suppose -b + 3*s - 3 = 0, 5*b - 3*s = -0*s + 9. Is 21 a factor of -1*b - (-132)/2?
True
Suppose 5*y + 5*a - 2100 = 0, 0 = -3*y - 2*a + 4*a + 1260. Is 42 a factor of y?
True
Let c(h) be the first derivative of -h**7/840 + h**6/72 + h**5/40 + h**4/4 + h**3/3 - 1. Let w(u) be the third derivative of c(u). Is w(5) a multiple of 8?
False
Let n = 174 + -167. Is 2 a factor of n?
False
Is (-11 - -2)/(12/(-16)) a multiple of 4?
True
Let o(l) be the first derivative of -l**4/2 - l**3 + 2*l**2 + 2*l - 1. Is 17 a factor of o(-3)?
True
Let i = -7 + 16. Is i a multiple of 4?
False
Let n be 1 - (-1)/(3/6). Let j(v) = 2*v**3 - 4*v**2 + 2*v + 1. Is j(n) a multiple of 9?
False
Let w = -374 - -554. Does 60 divide w?
True
Suppose -r = r - 8. Suppose 23 = -r*y - 17. Let p(n) = -2*n. Does 10 divide p(y)?
True
Let v(c) = 6*c - 3. Let m(i) = -1. Let s(a) = -4*m(a) + v(a). Let g be s(5). Let q = g + -17. Does 14 divide q?
True
Suppose -t - 3 = 2*t, 5*t = -v + 69. Let l = 13 + -4. Is v/4 + l/6 a multiple of 7?
False
Suppose -2*x - 3 = -2*v + x, v + 12 = -3*x. Let i = 4 - 0. Is v*20*(-2)/i a multiple of 18?
False
Let o(u) be the third derivative of u**6/120 - u**5/10 + u**4/12 + u**3/6 + 3*u**2. Does 13 divide o(6)?
True
Suppose 3 = -2*k + 11. Suppose 0 = -k*l + h + 48, 0 = -5*l + h + 32 + 28. Does 6 divide l?
True
Is (-231)/((6/6)/(4/(-6))) a multiple of 7?
True
Let t(m) = -m**2 + 6*m + 7. Let c be t(5). Let x = -1 + c. Is x a multiple of 7?
False
Is 8/2 + (-114)/(-3) a multiple of 21?
True
Let s be (-4)/(-2) + 3 + -4. Let m(d) = 4*d**2 + d. Is m(s) a multiple of 4?
False
Let z(v) = 3*v**2 + v - 1. Is 2 a factor of z(1)?
False
Suppose 11 = 2*b - 15. Does 9 divide b?
False
Let n = 34 - 58. Is 1 - (3 + -6 + n) a multiple of 7?
True
Let d be -1*6/(-3) + 0. Suppose -2*f = d*f. Suppose -r + 14 = 3*n - 55, f = n - 3*r - 33. Does 12 divide n?
True
Let c = -1 + 4. Suppose -3*f - 2*o = o, 0 = -c*o - 12. Suppose 0 = 5*j + 4*d - 62, -3*j + 39 = f*d - 3. Does 6 divide j?
False
Let m = -40 + 3. Let a = -24 + 5. Let n = a - m. Does 9 divide n?
True
Let v(c) = -c**3 - 3*c**2 + 4*c - 9. Is v(-6) a multiple of 15?
True
Let f(t) = t**3 + t + 143. Let k be f(0). Let w = -65 + k. Is w a multiple of 19?
False
Let y(g) be the third derivative of g**5/30 - g**4/3 - g**3/6 - 2*g**2. Let n be y(6). Let j = n + -10. Is 9 a factor of j?
False
Let x(f) = -6*f + 3. Is 23 a factor of x(-11)?
True
Let o(r) = -r**3 - r**2 + 2*r + 3. Let d be o(-2). Is 13 a factor of (d + -2)/1 + 14?
False
Let v(h) = -h**3 + 3*h**2 - 2*h + 3. Let s be v(2). Suppose -s*y + 8*y = 80. Is 8 a factor of y?
True
Does 2 divide ((-228)/(-15))/(2/5)?
True
Let o(h) = -202*h - 10. Is 16 a factor of o(-1)?
True
Suppose -2*u - 3 = -1. Let l be (-34)/8 - u/4. Is 4 a factor of ((-21)/(-6))/((-2)/l)?
False
Suppose 5*i = -4*k + 68, 0 = 4*i + 3*k - 20 - 34. Suppose q - 6 = i. Is 18 a factor of q?
True
Suppose -18 = -5*f + 7. Suppose -5*k + 15 = -5*o - 15, -5*o = f*k - 70. Is 10 a factor of k?
True
Let u be (4/6)/(2/111). Let z = -17 + u. Does 6 divide z?
False
Let f(w) = w**3 + 5*w**2 - 8*w - 5. Let q be f(-5). Let y = 178 + -107. Let i = y - q. Is i a multiple of 18?
True
Does 7 divide 66/1 - (0/3 + -4)?
True
Suppose 4*r + 20 = 0, h - 3*r = -2*h. Let k(c) = -18*c. Let g be k(h). Suppose 4*j - j = g. Is 15 a factor of j?
True
Suppose -4*a = 5*s + 336, 203 = -3*s + 2*a - 3*a. Let d = 113 + s. Is 15 a factor of d?
True
Suppose g - 3*y = 24, 2*g + 9*y = 6*y + 66. Is g a multiple of 4?
False
Suppose 4*a - 1 - 19 = 0. Suppose 0 = -a*f, 6*b - 2*b - 12 = -f. Let r = b - -22. Is r a multiple of 12?
False
Suppose 4*q = 5*q - 2. Suppose -7 = -q*v + v + 2*b, -4*v + 28 = -b. Does 7 divide v?
True
Let v(f) = f**3 - 7*f**2 - 9*f + 2. Let n be v(8). Let c = n + 4. Does 10 divide (-20)/(-6)*(-6)/c?
True
Let a(i) = -i**3 - 11*i**2 + 5*i - 3. Is a(-12) a multiple of 27?
True
Is 11 a factor of 89/4 + (-1)/4?
True
Let c(x) = -x + 12. Let q be c(-11). Suppose -5*l + 22 = -q. Is 9 a factor of l?
True
Let m(u) = -31*u + 1. Let v be m(-1). Suppose -3*x - v = -188. Is 4 a factor of x/14 - (-6)/21?
True
Let u = -67 + 72. Is u a multiple of 5?
True
Let h(v) be the third derivative of 7*v**5/60 - v**3/6 + v**2. Let n be h(1). Does 15 divide (-2)/4 - (-117)/n?
False
Suppose -