*a - 14, -a = 4*w + b. Is 10 a factor of 2/w + 1305/27?
False
Suppose -17 = -4*a + 19. Suppose -4*l + 17 = a. Is 2 a factor of l?
True
Let h(q) = -2*q**2 + 7*q - 4. Let r be h(3). Does 7 divide (-5 - -4)/(r/7)?
True
Let r = -32 + 24. Let v be 0/(r/12*3). Suppose -4*l + 137 + 47 = v. Is 10 a factor of l?
False
Suppose 0 = -r + 78 + 203. Is 15 a factor of r?
False
Let o be (-1296)/(-15) - 8/20. Let x = -7 + 23. Suppose 5*b - o + x = 0. Does 14 divide b?
True
Suppose 0*a = a. Is 6 + a + 16/4 a multiple of 3?
False
Suppose -78*j - 432 = -80*j. Does 6 divide j?
True
Let g(n) = 7*n**2 + 3. Suppose -d = 5, -b + 3*b - 4*d = 8. Is 11 a factor of g(b)?
False
Let o(r) = 58*r**2 - r - 66. Is 18 a factor of o(6)?
True
Let o = 23 + -29. Let h be ((-3)/o*-6)/(-1). Suppose 0*t - t + 31 = -h*v, -3*t = 2*v - 104. Is 9 a factor of t?
False
Let o(a) = 266*a**3 - 3*a**2 + 4*a - 3. Suppose 2*f = 4*g - 10, -f + 3*g - 5 - 3 = 0. Does 11 divide o(f)?
True
Let m be (4/10)/(4 - 152/40). Suppose -4*i + 123 = -4*a + 27, -m*i - 4*a = -60. Does 13 divide i?
True
Suppose 0 = 54*m + 10893 - 40053. Is 12 a factor of m?
True
Let c(v) be the second derivative of 2*v + 0 + 1/2*v**2 - 1/3*v**3. Is c(-7) a multiple of 7?
False
Let s(w) = 20*w**2 - 4*w + 3. Let h = 22 - 20. Is 25 a factor of s(h)?
True
Suppose -19*f - 7*f = -16276. Does 16 divide f?
False
Let q be 6/21 - (-57)/21. Suppose q*z = -5*g + 370, 5 + 241 = 3*g - 3*z. Does 17 divide g?
False
Suppose -40 = 4*u + 5*o, 0*o + 2*o = 3*u + 30. Let x be (-5)/u*(80 - -2). Let g = 87 - x. Is g a multiple of 29?
False
Let j(q) = 3*q**3 - 37*q**2 + 32*q - 32. Does 19 divide j(18)?
False
Let j(y) be the third derivative of y**4/2 + 11*y**3/6 + 19*y**2. Is 6 a factor of j(3)?
False
Let h be -4 - ((-20)/(-5))/(-1). Let q = 3 + -1. Is (q - 2 - h) + 26 a multiple of 13?
True
Is 2 a factor of -2 + 0/5 + 108/3?
True
Is 2 a factor of -3 - -1 - -26 - (-1)/(-1)?
False
Let u = 408 + -205. Is 3 a factor of u?
False
Suppose 4*k - k - 4*w + 2 = 0, 0 = k - w. Suppose -5*s = k*q - s - 182, 5*q + 5*s - 430 = 0. Is 27 a factor of q?
True
Suppose -3*i + 2*i = 3*p - 10, 5*i - 76 = -2*p. Suppose -2*u - 2 + i = 0. Let r(v) = v**3 - 6*v**2 - 5*v + 1. Is r(u) a multiple of 15?
True
Let c(s) = s + 29. Suppose -2*i - 4*f = -i - 1, 3*i - 36 = -f. Is 14 a factor of c(i)?
True
Suppose 4*l = 66 + 26. Let v(f) = 17*f - 55. Is v(l) a multiple of 21?
True
Let l = 17 + -19. Does 5 divide (-173)/l + (5/(-10))/(-1)?
False
Let v(a) = -a**3 + 4*a + 4. Let q be v(-2). Let z(d) = -d**2 - 6 + 3*d**2 + 7*d - d**3 + 2*d**2. Is 5 a factor of z(q)?
False
Let t(n) = 14*n - 282. Is 2 a factor of t(22)?
True
Let o(i) = 23*i**2 + 16*i - 45. Is 15 a factor of o(3)?
True
Let s be (-1)/2*(-57 + 5). Suppose -5*m + 86 = s. Is 5 a factor of 16 + (m/3 - 3)?
False
Suppose 0 = -4*i - 0*i - 2*w - 18, -4*i + 2*w - 6 = 0. Let p = 3 - i. Suppose 3*c - p*c + 135 = 0. Is c a multiple of 15?
True
Is 662 + (-16)/(-32) + 5/(-2) a multiple of 5?
True
Suppose -3*l + 3*l - 2*l = 0. Suppose s + l*s - 5*c - 58 = 0, -4*c - 53 = -s. Does 6 divide s?
False
Is (-182)/637 - 7366/(-7) a multiple of 21?
False
Suppose 0*m - m = -3*o - 16, 3*m + o = 18. Suppose 0 = 5*d - m*d + 240. Is d a multiple of 12?
True
Suppose 0 = 3*b + 12, 3*b + 2 = o - 6*o. Let p = 4 - o. Is 10 a factor of (0 + p)*(2 - -13)?
True
Let x be (-22)/(-5) - (-2 - 14/(-10)). Let f(a) = 7*a**2 - 4*a - 5. Is 17 a factor of f(x)?
False
Suppose 5*h - 2708 = -608. Does 20 divide h?
True
Is 9 a factor of ((8 - 13) + 59)*9?
True
Suppose -2*v = -2*j + 6646, 17*j - 21*j - 3*v + 13257 = 0. Is j a multiple of 158?
True
Let z(g) = -17*g**3 + 2*g**2 + 2*g - 3. Let p be z(1). Let h(o) = -3*o + 3. Is h(p) a multiple of 11?
False
Let v = 2863 + -855. Does 11 divide v?
False
Let m = 4867 + -2989. Is (-2)/(-7) - (-5)/(210/m) a multiple of 15?
True
Let h = 20 - 14. Suppose -h*m + 78 = -4*m. Does 17 divide m?
False
Let x be -3*(-3)/(18/4). Suppose 3*c - 4*f + x - 1 = 0, 2*f - 13 = -c. Let j(n) = n**3 - 2*n**2 - 8*n + 4. Is 13 a factor of j(c)?
True
Suppose -13690 = 2*c - 39*c. Is 36 a factor of c?
False
Let x(c) = -2*c - 9. Let n be x(7). Let f be (n + 3)*(-1)/2. Let i = 62 + f. Does 25 divide i?
False
Let h = -810 - -1432. Does 32 divide h?
False
Let q(h) = 2*h**3 - 5*h**2 + 2*h - 10. Let i be q(6). Suppose -4*d - 2*o + 65 = -3*d, i = 4*d + 2*o. Is d a multiple of 21?
True
Suppose -5*s = -2*g - 7, 0 = -5*s + g + 4*g - 5. Suppose s*m - 68 = -m. Let p = 8 + m. Is p a multiple of 12?
False
Let z(q) = -39*q - 39. Is z(-55) a multiple of 33?
False
Suppose 10*k = -7*k + 28883. Is 14 a factor of k?
False
Suppose -2*b = -3 + 11. Let s(i) = i**2 - 5*i + 2. Is 16 a factor of s(b)?
False
Let o(n) = -n + 1. Let i be o(-3). Suppose 0 = 2*y - i, 4*c - 3*y - 102 = 2*y. Is c a multiple of 9?
False
Let j be (19/2)/(9/18). Suppose 2*n - 29 = j. Does 16 divide n?
False
Suppose 21*g = z + 18*g - 1678, -2*g - 8 = 0. Does 34 divide z?
True
Suppose -2*l = 3*g - 8*g + 21, -5*g + 9 = 2*l. Suppose -3*z = -c - z + 8, 3*c + g*z - 6 = 0. Suppose -u + 30 = c. Does 16 divide u?
False
Suppose 5051 = 2*a - 5*j, -7568 = -a - 2*a - j. Is 41 a factor of a?
False
Let x be 2 + 1 + (-1 - 14). Let h = x + 10. Let y(z) = -4*z + 3. Is y(h) a multiple of 5?
False
Let b be (-2)/(-15) + 336/180. Let u(j) = 17*j**2 + 1 + 4*j + 13*j**2 - 11*j**b - 2*j. Does 15 divide u(-1)?
False
Is 15 a factor of (2/(-30)*-5)/(1/1737)?
False
Let g = 15 - -8. Suppose -4*u + 1089 = -g. Suppose -3*t = 2*b - 0*b - 207, -3*b + u = -2*t. Is b a multiple of 16?
True
Suppose -2*w = -w - 2*a - 2944, 4*a + 8836 = 3*w. Does 44 divide w?
True
Suppose k - p = -10, -5*k - 4*p - 20 = -6. Let s be (-95)/k - 2/(-12). Does 10 divide (-5)/(1 - s/12)?
False
Let c(x) = x - 6. Let a be c(6). Let t be 5*(4 - 85/25). Suppose -67 = -2*v - t*u, 2*v - 5*u - 44 - 15 = a. Is v a multiple of 16?
True
Let d = -1434 - -2406. Is 27 a factor of d?
True
Let v(z) be the second derivative of -z**4/12 + 2*z**2 - 8*z. Let b be v(0). Is b/8*6 - -33 a multiple of 13?
False
Let t(i) = i**2 - 3*i + 2. Let u be t(4). Suppose 247 = 2*o + 3*h - 6*h, -u = -2*h. Does 32 divide o?
True
Let l be 1*(-2)/(1 + 1). Let o be -1 - (10 + l + 2). Let p(q) = q**2 + 11*q + 15. Is 14 a factor of p(o)?
False
Let g(w) be the first derivative of -w**2/2 + 31*w + 5. Does 6 divide g(11)?
False
Let z = 1352 - 1302. Does 25 divide z?
True
Let t(a) = 28*a**2 - 26*a - 121. Is t(-5) a multiple of 34?
False
Suppose 4*d - 298 - 110 = 0. Let x = d + -71. Suppose -95 = -2*w - x. Does 5 divide w?
False
Let v(g) be the second derivative of 5*g**3/6 - 11*g**2 + 7*g. Does 9 divide v(10)?
False
Suppose 54 - 14 = 10*b. Let m(a) = a**3 - 2*a**2 + 4*a - 2. Is m(b) a multiple of 23?
True
Let u = -2 + 4. Let k be 0/(2*1/u). Suppose k = 6*j - 3*j - 18. Is 5 a factor of j?
False
Let c(g) = 5*g + 1 - 2 - 4. Suppose 0 = 3*t + 2*i - 16, 5*t - 4*i = 7*t - 24. Is 2 a factor of c(t)?
False
Suppose 0 = 7*g - 521 + 3706. Is 14 a factor of 13/(g/(-14)) - (-348)/5?
True
Let q(k) = 3*k**2 + 1 + k + 3*k - 10*k**3 + 1 - 2*k. Let g be q(-2). Does 5 divide (8/10)/(4/g)?
False
Let j = -7 - -3. Let s = -6 - j. Does 2 divide 20/6 + s/(-3)?
True
Suppose -4*w + 31 = -3*v + 3, -3*w - 4*v = 4. Suppose 3*s = 5 + w. Suppose -55 = s*y - 4*y. Does 11 divide y?
True
Let i = 7 + -7. Suppose i = -2*l + 7 + 3. Suppose 2*u - p - 191 = 0, -4*u + 431 - 58 = -l*p. Is 30 a factor of u?
False
Let z(v) = -v - 1. Let f(d) = -3*d - 3. Let b(i) = 2*f(i) - 7*z(i). Let q be b(-4). Let h(p) = p**3 + 5*p**2 + 3*p - 4. Is 2 a factor of h(q)?
False
Let d = -204 - -321. Let g = -71 + d. Suppose 4*a + x - 44 = a, -g = -4*a + 5*x. Is a a multiple of 11?
False
Suppose -25*h = -33*h + 1584. Is 33 a factor of h?
True
Let u(v) be the third derivative of -v**6/120 - 2*v**5/15 - 11*v**4/24 + 3*v**3/2 + 13*v**2. Does 6 divide u(-7)?
False
Let c = 1 + 5. Suppose c*j + 3*j = 1053. Is 9 a factor of j?
True
Suppose -4*f = 4*j - 24, 0 = -3*f - 2*j + 7*j + 50. Let l = f + -5. Suppose 0 = l*y - 3*d - 38 - 8, -3*d - 35 = -4*y. Does 6 divide y?
False
Suppose 2*h = -h + 3. Let g be 2 + -2 - (h - -2). Let i = g + 32. Does 9 divide i?
False
Let b be (1 - 0) + 6/3. Suppose -b*p + 0*p + 6 = 0. Suppose 0 = 5*y - 3*u - 6, -4*u = -p*y + 3*y - 15. Is y a multiple of 3?
True
Let 