 Let z(u) = 4*u - 10. Let a(j) = -4*b(j) - 3*z(j). Let o be 12/(-8)*28/(-6). Is 8 a factor of a(o)?
False
Suppose 4*f - 3*d = 51, -2*d + 3 = -3. Is f a multiple of 5?
True
Let g = 5 - 2. Let j = g - 3. Suppose 6 = 2*s - 2*d, j = -3*s + 5*d + 3 + 2. Is 5 a factor of s?
True
Let y be 0 + 1*(-2 - 1). Is y/(-9) - (-58)/6 a multiple of 7?
False
Let z(w) = -4*w + 0*w - w + 0*w + 12*w**2 + 4. Does 14 divide z(2)?
True
Suppose -5*q = 4*b - 972, -3*b + 88 = q - 102. Is 7 a factor of q?
True
Let i be -3*(28/12 + -3). Suppose -f = -i*f + 33. Is 11 a factor of f?
True
Is (14/6)/((-16)/(-1200)) a multiple of 12?
False
Let s(a) = a**3 - 6*a**2 + 3*a. Let n(v) = v. Let p(q) = -q. Let b(u) = 3*n(u) + 2*p(u). Let o be b(6). Is s(o) a multiple of 13?
False
Suppose 0 = -2*z + 76 + 68. Is 9 a factor of z?
True
Is 6 a factor of (2/(-6))/((-6)/162)?
False
Suppose -9 = -5*l + 1. Suppose -126 = -3*t + 3*d, -l*t - 2*t - 2*d + 156 = 0. Is 23 a factor of t?
False
Suppose 3*n - l = 202, -8*n + 4*l - 50 = -9*n. Does 11 divide n?
True
Let p be (1/2)/((-2)/4). Let b(i) = -30*i**3. Is b(p) a multiple of 18?
False
Let f(j) = j**3 - 12*j**2 + 27*j + 6. Is f(10) a multiple of 5?
False
Let a = 160 + -106. Does 9 divide a?
True
Does 14 divide (9/1)/((-90)/12)*-140?
True
Let g = 0 - -13. Let y = 28 + g. Is y a multiple of 21?
False
Let c = 18 - 17. Does 6 divide (13 + 3 - 3) + c?
False
Let n = -189 + 294. Is n a multiple of 27?
False
Let c(k) = 2*k + 2*k - 2*k + k + 5. Is c(7) a multiple of 19?
False
Let h(n) = -n**3 - n**2 + 32. Does 10 divide h(0)?
False
Let g = 12 - 9. Suppose -g*h + 3*d = -156, -24 = h - 3*d - 74. Does 20 divide h?
False
Suppose 0 = -5*r + a - 60, 12 + 0 = -r + 5*a. Does 2 divide (6/(-4))/(9/r)?
True
Let l = -104 - -308. Is l a multiple of 29?
False
Let z(y) = -3*y + 7. Let r(m) = -2*m**3 + 4*m**2 - m - 2. Let f be r(2). Is z(f) a multiple of 19?
True
Suppose -4*f - 5 = -1. Let c(d) = -20*d**3 - d**2 + 1. Does 7 divide c(f)?
False
Suppose g - 3 - 3 = -3*f, 3*g - 4*f - 44 = 0. Is 4 a factor of g?
True
Let r(h) = 11*h + 0 + 3 + 0*h. Let g be r(3). Suppose g = 3*w - 0*w. Is w a multiple of 9?
False
Suppose -9 = -5*x - b, -3*x + 11 = -0*b - 5*b. Let u(a) = -10*a**3 + 7*a**2. Let n(j) = -15*j**3 + 11*j**2. Let p(r) = 5*n(r) - 8*u(r). Does 18 divide p(x)?
True
Let c(n) = -n**3 - 2*n**2 - 4*n - 12. Does 14 divide c(-4)?
False
Suppose 5*i + 0*i - 345 = 0. Is 23 a factor of i?
True
Suppose -64 = -7*f + 5*f. Does 5 divide f?
False
Suppose a - 3*a + 166 = 0. Is 19 a factor of a?
False
Let u = 44 + -5. Does 13 divide u?
True
Let u be -1 + 3 + 2 - 1. Suppose u*o = 2*o + 45. Suppose -o = -2*g - g. Is g a multiple of 13?
False
Let r(y) = -y**2 + 11*y - 7. Let k be r(10). Let x = k + 2. Suppose 0 = 5*f - 0*f - 5, -x*n - 4*f = -99. Is n a multiple of 10?
False
Suppose -5*a + 832 = 162. Let g = -89 + a. Is g a multiple of 15?
True
Let h = 62 + -24. Is 19 a factor of h?
True
Let h(x) = 138*x**3 - 2*x**2 + 2. Is h(1) a multiple of 24?
False
Suppose -2*r + 6 = 10. Is 16 a factor of r/(-5) - 1071/(-35)?
False
Let i(k) = -2*k**2 - 3*k + 6. Let o be i(-6). Let l = o + 68. Is l a multiple of 20?
True
Suppose 5*d + f = -f + 15, -2*d - 2*f = 0. Is 2 a factor of d?
False
Let g = -6 - -21. Suppose 2*s + 3*t - 8*t = g, -2*t + 2 = 0. Does 10 divide s?
True
Let c(i) = 42*i - 4. Is 11 a factor of c(2)?
False
Is 175/(-100)*(0 + -28) a multiple of 7?
True
Let a(t) = 15*t. Suppose -p - 7 = 3*o - 2*p, 2*p = -5*o - 8. Let d = o + 4. Is a(d) a multiple of 15?
True
Suppose -2*l + 3*c + 21 = l, 0 = -l - 5*c - 11. Suppose l*u - 40 = -t, -t + 36 = 4*u + t. Is u a multiple of 11?
True
Let m(z) = -z**3 + 7*z**2 + 7*z + 9. Let d be m(8). Let n(x) = 6*x - 1. Let g be n(d). Suppose -3*w + g*w = 24. Does 12 divide w?
True
Let i be (-16)/(-6)*(-12)/(-8). Suppose -d + 2*c = -2*c - i, 0 = 2*c - 6. Does 14 divide d?
False
Let b(i) = 2*i**2 - 3*i + 6. Does 22 divide b(-6)?
False
Suppose 3 = 2*t - 15. Let r = t + -2. Is r a multiple of 5?
False
Suppose -2*w - 3*t + 5*t + 10 = 0, -10 = w - 4*t. Does 8 divide w?
False
Let m be 304/(-14) + 4/(-14). Let u = -13 - m. Is 13 a factor of (-6)/(-8)*u*4?
False
Suppose -s + 24 = -9*g + 5*g, 0 = s + 4*g - 16. Is 4 a factor of s?
True
Suppose 5*x = 2*x - 12. Let l = x - -3. Let q = l + 33. Does 15 divide q?
False
Let c = -4 + 10. Suppose -4 = -u + c. Does 5 divide u?
True
Suppose -v + 5*c = -163, -5*v + 435 = 2*c - 245. Does 46 divide v?
True
Suppose 0 = 2*d + 8, 3*o + 5*d - 47 = d. Is 5 a factor of o?
False
Let b(j) = -39*j - 2. Let z be b(1). Let v = -11 - z. Is 10 a factor of v?
True
Let z = -33 + 20. Let w = z - -31. Does 6 divide w?
True
Suppose 2*b = -2*u + 10, -6 + 3 = -u. Suppose b*a - 4*p - 9 = 27, 4*a - 81 = -p. Is 10 a factor of a?
True
Is 6 a factor of 14/63 - (-1560)/27?
False
Let z = 2 + -2. Let x(u) = -u + 40. Let l be x(z). Does 10 divide ((-2)/2)/((-4)/l)?
True
Let o(k) = 3*k**3 + 2*k**2 + 4*k. Does 20 divide o(3)?
False
Suppose 2*h + 3*h = -5*g, 3*g = -5*h - 6. Suppose g*r = 8*r. Suppose r*s + 12 = s. Is 6 a factor of s?
True
Suppose 0*v = -5*v + 25. Suppose 3*s - 7 = -5*r, -4*r + v*s = -r + 23. Does 11 divide ((-22)/3)/r*3?
True
Let c(x) be the second derivative of 1/6*x**3 + 1/12*x**4 + 0*x**2 + 3*x + 0. Is 2 a factor of c(-2)?
True
Let i be 1/2 - 15/(-2). Let y = i + 0. Is y a multiple of 8?
True
Suppose t = -t + 196. Is t a multiple of 9?
False
Suppose 24 + 456 = 5*o. Is o a multiple of 24?
True
Suppose -7*u = -2*u + 15. Let z(g) = -3*g**3 + g + 3. Let m(n) = 5*n**3 - n - 5. Let y(h) = -5*m(h) - 8*z(h). Does 15 divide y(u)?
False
Let c = -40 - -243. Is 38 a factor of c?
False
Suppose 0*i + 4*i = 68. Let j = i - 10. Is 7 a factor of j?
True
Let o = -154 + 596. Suppose s + o = 5*d - 0*s, 0 = 4*s + 8. Is d a multiple of 24?
False
Suppose -77 = -9*c + 121. Does 3 divide c?
False
Let w be 0/2 - 7 - -1. Let d be 4/w*27/(-2). Let h = d - -8. Is h a multiple of 6?
False
Let z = 6 + 20. Suppose 54 + z = 4*c. Is 9 a factor of c?
False
Let c(y) = y + 4. Let z be c(0). Suppose 2*s - s = -z. Is 13 a factor of (-53 - -2)*s/6?
False
Let d = -4 + 7. Suppose g - 5*f = -15, 1 = 3*g - d*f - 2. Suppose g*z = -2*j + 146, z = -0*z + 2*j + 34. Is z a multiple of 15?
True
Does 9 divide 1 + 157 - (-4 + 0)?
True
Suppose -4*v - 4*c + 484 = -0*c, -c + 1 = 0. Is v a multiple of 20?
True
Does 8 divide 8*(3 - (-2 + 3))?
True
Let j(u) = -2*u**2 - 4*u - 2. Let i(f) = f**2 + 5*f + 1. Let r(m) = 3*i(m) + 2*j(m). Let a be r(7). Is 20 a factor of (34 - a) + 1 + -1?
False
Suppose 12 = -4*x + 7*x. Suppose 0 = 5*v - 5*i + 50, x*i = -3*v + 6*i - 35. Let w = v - -32. Does 5 divide w?
False
Let g(c) = -8*c**3 - c**2 + c + 1. Is g(-1) a multiple of 3?
False
Let d(c) = -c**2 - 11*c - 12. Let n be d(-9). Suppose 0 = 5*f - n*f. Let s = f - -12. Is s a multiple of 8?
False
Suppose 2*s + s - 78 = 0. Suppose 0 = 4*g - s - 38. Does 8 divide g?
True
Let v = -5 + 7. Let r = 138 + -80. Suppose -v*f + r = 2*t - 0*f, 5*t + 4*f = 142. Is t a multiple of 13?
True
Let s(b) = -3*b - 3. Let g be s(-2). Suppose -d = -3*w + g*d + 158, d - 179 = -4*w. Is 22 a factor of w?
False
Suppose 0 = 4*p - 45 - 815. Let v = 10 + -5. Suppose f - 21 = -3*m + 6, -v*f = -5*m - p. Does 15 divide f?
False
Let f(h) = -h. Let v(c) = 16*c - 1. Let o(x) = 79*x - 6. Let s(m) = -2*o(m) + 11*v(m). Let l(z) = 6*f(z) + s(z). Does 21 divide l(3)?
False
Let y = -4 - -6. Suppose -24 = -2*k - y*k. Let z = 9 + k. Is 9 a factor of z?
False
Let s(b) = b + 7. Let u be s(5). Let j = -17 + 36. Let d = j + u. Is 11 a factor of d?
False
Let w = 59 + -35. Suppose -3*n - 11 = 5*x, 2*n - 2*x + 14 = -4*x. Let p = w + n. Does 6 divide p?
True
Let x(o) = o**3 - 6*o**2 + 4*o - 7. Let u be x(5). Let p = 14 + u. Is 2 a factor of p?
True
Suppose -a - 31 = 14. Let y be a*(-2 - 16/(-6)). Let g = y - -44. Is g a multiple of 10?
False
Suppose -12 = -0*k - 4*k. Suppose k*z = -2*z + 15. Let o(f) = 4*f - 4. Is 4 a factor of o(z)?
True
Let j(p) = p**3 - 7*p**2 + 8*p - 7. Let y be j(6). Let g(s) = s**2 + 6*s - 1. Let z be g(-8). Suppose -4*f = -y*f + z. Is 6 a factor of f?
False
Suppose 1 = 3*s - 2. Let f = 5 - 2. Suppose -49 = -f*d - s. Does 8 divide d?
True
Suppose 0 = 5*d - 6 - 4. Suppose -29 = -5*j + d*l + 32, -5*j + 52 = l. Is 2 a factor of j?
False
Let m = 11 - 1