5/20 + 38/j. Suppose l*k - 4*k - 31 = 0. Is 16 a factor of k?
False
Let a be 3/12 + 6/8. Is 4 a factor of (-1)/((-7)/(-8) - a)?
True
Suppose 12*y - 5*y - 1225 = 0. Is 35 a factor of y?
True
Let o(a) = a**2 - a + 7. Let w be o(0). Suppose -w*p - 5 = -2*p. Is 17 a factor of -1 - 47/(p - 0)?
False
Let f = 226 - 122. Is 13 a factor of f?
True
Is (-1 + 0)/(-5 + (-57)/(-12)) a multiple of 4?
True
Suppose 0 = 3*o - 0*o + 9. Does 12 divide 206/6 + 1/o?
False
Suppose 5*i - 4*i - 3 = 0. Is 2 a factor of i?
False
Let p(q) = -q + 1. Let x be p(-3). Suppose 3*s - 21 = -3. Does 5 divide s*((-30)/x)/(-3)?
True
Suppose 2*n + 3*w = 335, 2*n + 4*w - 502 = -n. Suppose -2*p + n = 4*v, -p - 126 = -3*v - 3*p. Does 8 divide v?
True
Let c = 126 - 42. Is 21 a factor of c?
True
Let f = 75 + -39. Does 18 divide f?
True
Suppose -3*l + 4*l = 171. Suppose u = -2*u + 3*w + 354, -4*w = -2*u + 230. Let d = l - u. Is 21 a factor of d?
False
Let f be -3 + 14*(-1)/(-2). Suppose 0*a - 3*a = -4*b + 69, 0 = -b - f*a + 41. Is 5 a factor of b?
False
Suppose 0 = -15*r + 9*r + 900. Does 15 divide r?
True
Suppose -3*h - h = -8. Suppose 0 = -2*k + k - 3*i - h, -k + 3 = 2*i. Is k a multiple of 13?
True
Let n = -15 + 19. Suppose 3*d = -5*f + d + 146, 2*f + n*d = 52. Does 10 divide f?
True
Suppose -2*g - 208 = -6*g. Suppose -t - t = -g. Let v = 54 - t. Is v a multiple of 13?
False
Let k(u) be the third derivative of -u**5/60 - u**4/6 + 2*u**3/3 + 3*u**2. Let j be k(-5). Is 20 a factor of 4*((-10)/j)/2?
True
Suppose 3*m + 35 = 101. Let c = 2 + m. Does 5 divide c?
False
Suppose 3*x - 142 = x. Suppose -x = -k - 3. Let d = -41 + k. Is d a multiple of 9?
True
Let n(z) = -z**2 - z + 2. Let s be n(-2). Suppose -1 = -i - s. Does 22 divide i/6 + (-263)/(-6)?
True
Suppose -6*b + 161 + 289 = 0. Is b a multiple of 25?
True
Let b(r) = -2*r**2 - 4*r - 1. Let u be b(-4). Let o = u + 27. Let g = 30 - o. Is g a multiple of 10?
True
Is 3 a factor of 178/11 + (-10)/55?
False
Suppose 0 = s + 3*r + 7, 7*r - 4*r + 1 = -4*s. Does 9 divide (-27)/s*18/(-27)?
True
Suppose 49 = 3*w - 35. Is w a multiple of 7?
True
Let a(y) = y**3 - 4*y**2 + 5*y - 1. Let f(p) = -2*p**3 - 2*p**2 + 3*p + 2. Let u be f(-2). Let m be a(u). Let v = m + -13. Does 6 divide v?
True
Suppose n = 5*g - 1, 0*n - 3*n = -2*g + 16. Does 5 divide n/9 + (-64)/(-6)?
True
Is (16 + (-2)/1)/1 a multiple of 7?
True
Suppose 4*v - o - 92 = 0, 2*v = -2*o + 37 + 9. Let s be -1 + (0 - -2) + v. Suppose 0*z = -2*z + s. Is z a multiple of 12?
True
Let j(p) = -8*p + 4. Let i be j(3). Suppose 2*v - s = 96, -2*v - 3*v - 3*s = -218. Let q = i + v. Is q a multiple of 9?
False
Let z(w) = -w**2 + 18*w + 10. Is z(16) a multiple of 10?
False
Let z = 14 - 8. Let w(p) = -7*p**2 - 2*p - 1. Let x(v) = -v**2 - v + 1. Let k(l) = -w(l) + 6*x(l). Is 18 a factor of k(z)?
False
Suppose -12*n + 171 = -3*n. Is n a multiple of 7?
False
Let h = -6 + 9. Suppose 3*w = -h*m - 2 - 4, -2*m - 3*w - 9 = 0. Does 3 divide m?
True
Let j be (-17)/(-5) + 12/20. Suppose -j*x = -8*x + 96. Does 10 divide x?
False
Let p(z) = z**3 + 9*z**2 + 2*z - 5. Let n be p(-6). Suppose -3*q - n = -4*q + 5*m, -5*q + 5*m + 395 = 0. Is 25 a factor of q?
False
Let b = 207 + -158. Does 9 divide b?
False
Let x(d) = 7 + 5*d - 15 - 2*d**2 - 7*d**2 + 2*d**2 + d**3. Does 15 divide x(7)?
False
Let z be 2/8 + (-4)/16*-11. Let l = -147 + 223. Suppose f = -z*q + 47, 3*f - l = -5*q - f. Is q a multiple of 10?
False
Suppose -2*p = -x - 53, -3*x - 41 = -3*p + 34. Let y = 85 - p. Is y a multiple of 19?
True
Let q(k) = -2*k + 32. Does 24 divide q(-8)?
True
Suppose 25 = -t - 66. Let w = t - -161. Suppose -3*h = 2*h - w. Does 7 divide h?
True
Let g = -36 + 54. Suppose -53 + g = -5*y. Does 5 divide y?
False
Suppose u - 6 = -2. Let j be 1 - (1 + (2 - u)). Suppose -j*v - 4*l = -38, -l + 25 = v - 5*l. Is v a multiple of 12?
False
Suppose 3*s - 3 = 0, -2*l - 4*s + 2*s + 6 = 0. Suppose 2*p = 3*p - l. Is 5 a factor of 3/(51/(-30) + p)?
True
Let o(p) = -2*p - 1. Does 3 divide o(-8)?
True
Suppose -5*y + 400 - 25 = -5*z, -5*y + 420 = 4*z. Does 17 divide y?
False
Let i be 3/(-15) + 111/5. Does 8 divide 12/18 + i/3?
True
Let q = 151 - 79. Suppose 0*i = 2*i - q. Is 18 a factor of i?
True
Suppose -t - 31 = 4*n - 4*t, 0 = n + t - 1. Is 5 a factor of n/6*270/(-12)?
True
Let z be (-6)/(-21) - 48/21. Let t be 5/z*16/20. Is 8 a factor of ((-16)/5)/(t/10)?
True
Let a = -19 + 52. Does 17 divide a?
False
Suppose -4*t - 63 - 228 = -3*u, 0 = u + 3*t - 97. Does 17 divide u?
False
Suppose -9 = 2*n + n, 0 = -5*h + 5*n + 475. Let d be (h/6)/(1/6). Suppose 3*f - d = -f. Is 15 a factor of f?
False
Suppose 2*q = -c + 48, 94 = 3*q - 2*c - 2*c. Suppose -v = 2*y + q, -5*v + y - 67 = -3*v. Does 7 divide (v/6)/(3/(-9))?
False
Does 7 divide (-18)/(-27)*(-42)/(-1)?
True
Let a(n) = n**3 + 5*n**2 + 4*n + 3. Let b be a(-4). Suppose -b*u = -u - 70. Suppose 3*q - 7 = u. Is 14 a factor of q?
True
Suppose 3*z - 2*z + 4*c = 156, 0 = 3*c. Is z a multiple of 39?
True
Suppose 0 = -4*n - 2*n + 894. Is 27 a factor of n?
False
Suppose -12 = -5*p + 3*p. Suppose 0 = -3*x - p, k = 7*x - 4*x + 11. Suppose 2 = m + 3*n + 3, -k*m + 7 = 3*n. Does 2 divide m?
True
Let x be (0 + (1 - -22))*1. Let r = 36 - x. Does 2 divide r?
False
Suppose 4*p = 3*x - 361, -3*x = -2*x + p - 118. Is x a multiple of 17?
True
Suppose 4*t + 4*v + 6 = 34, 0 = 3*t - 5*v + 19. Suppose -t*o = -j - 15 + 39, -o = 3*j - 51. Is j a multiple of 6?
True
Let z(a) = a**3 - 6*a**2 + 7*a - 4. Let u be z(5). Suppose y = -y + u. Is y even?
False
Suppose 0 = 4*n - 0*n. Suppose 2*d = r + 12, 5*d - 3*d + r - 20 = n. Is d a multiple of 2?
True
Let i be 1*(0 - 2) - 25. Let a be -1*(-2)/(-4)*-2. Is a/2 + i/(-6) a multiple of 5?
True
Let m(s) = -s + 5. Let a be m(-12). Suppose -5*p + 57 = -83. Let h = p - a. Does 6 divide h?
False
Let x(w) = 8*w - 10*w - 2 + 7*w + 2*w. Is x(1) a multiple of 5?
True
Suppose -37 = -5*j + 2*m + 43, j + 2 = 4*m. Does 18 divide j?
True
Suppose -f + u = -29, -5*u = 4*f - 3*u - 122. Let n = f + -18. Is n a multiple of 6?
True
Suppose 0*a = -4*a - t + 754, 4*a = 3*t + 762. Is 27 a factor of a?
True
Let m(o) be the first derivative of -5*o**2/2 - 6*o + 8. Does 9 divide m(-3)?
True
Suppose -2*o = -3*l - 2*l - 28, 3*o + 5*l = 42. Suppose -2*p + o - 4 = 0. Is 3 a factor of p?
False
Suppose 0 = -5*d + 78 + 52. Is d a multiple of 13?
True
Suppose 3 - 7 = -a. Let q be (-4)/(3 - a)*4. Is q/24*(0 - -18) a multiple of 11?
False
Suppose 34*m - 30*m = 0. Let g be (-1 + -2)/((-6)/8). Suppose g*b - 96 - 36 = m. Does 12 divide b?
False
Let u = -1 - -16. Suppose -19 = -w + 3*y, 18 = 4*w - 4*y - 26. Suppose -u = -t + w. Does 11 divide t?
True
Let z = 3 - -1. Suppose 2 = -z*d + 286. Is 21 a factor of d?
False
Does 3 divide (-144)/(-27) - (-2)/3?
True
Let f(t) = -t - 10. Let l be f(-7). Let s(y) = -y**2 - 4*y + 2. Let j(g) = 2*g**2 + 9*g - 5. Let q(n) = -2*j(n) - 5*s(n). Is q(l) a multiple of 3?
True
Suppose h + 2*h = 24. Suppose -5*i + 8*i - 9 = 0. Let j = h - i. Does 5 divide j?
True
Let d be 414/10 + 15/25. Suppose -3*h + 30 = -d. Is h a multiple of 6?
True
Let k(x) = -7*x + 3. Let u(f) = -10*f + 5. Let q(w) = 8*k(w) - 5*u(w). Suppose -6 = 3*p - p. Is q(p) a multiple of 17?
True
Suppose 4*c + 8 = k, 2*k + 5*c = -2*k + 11. Suppose k*x + 21 = 141. Does 5 divide (x/8)/(15/40)?
True
Is -1 - (-219 + 1/1) a multiple of 10?
False
Suppose 0 = 3*c + 2*h - 86, 3*c - 2*h = 4*c - 34. Is c a multiple of 13?
True
Let k(p) = 50*p**2 + 2*p + 1. Does 18 divide k(-1)?
False
Let t = -68 - -170. Is 10 a factor of t?
False
Let d = -27 + 3. Let p be (-2)/1*(-35)/(-2). Let o = d - p. Does 11 divide o?
True
Let m be (-115)/(-13) + 2/13. Let y be 2 + (0 - m) - -3. Let o(r) = r**3 + 4*r**2 - 3*r - 5. Does 6 divide o(y)?
False
Let j = -39 + 67. Is 15 a factor of j?
False
Let h(v) = -4*v - 10. Is 3 a factor of h(-7)?
True
Suppose 3*g = -4*b + 27, -6 = b + 4*g - 29. Suppose b*m - 84 = 4*i, 0 = -i + 4*i + 9. Is 8 a factor of m?
True
Let l(o) = 6*o + 9. Let j = 4 - -3. Is 14 a factor of l(j)?
False
Suppose -2*h = -3*y + 24, 0 = h + 3*h + y + 20. Let q(a) = 2*a - 3. Let s(c) = -c. Let u(k) = h*s(k) + q(k). Does 10 divide u(4)?
False
Let m = 0 + 8. Suppose 98 - m = 5*a. Is 11 a factor of a?
False
Suppose -2*c = 2 - 0. Let b(o) = -19*o. Does 13 divide b(c)?
F