Suppose 2*z + 115 = i*u, u - 5*z - 41 = -18. Is 15 a factor of u?
False
Suppose 0 = 14*j - 9*j - 10. Suppose -f = 5*p - 20, 3*f + 30 = 5*p - j*p. Suppose -p*v = -21 - 9. Is v even?
True
Suppose 0 = 5*w - 3*w - 576. Suppose 2*p - 10*p = -w. Is 18 a factor of p?
True
Let p = 143 + -59. Is p a multiple of 21?
True
Let g(j) = -4*j**2 - 2*j + 1. Let x be g(1). Let w be (-8)/36 - 574/9. Is x/2*w/20 a multiple of 8?
True
Let n(b) = b - 2. Let h be n(6). Suppose 0 = h*f - 126 - 2. Is 11 a factor of f?
False
Let t(k) = k**2 + k + 17. Does 9 divide t(-7)?
False
Let h be (-5)/(-15) - 38/(-3). Suppose 2*c = -y + 6, -5*c - h = 3*y - 4*y. Suppose -4 = -4*i + y. Does 3 divide i?
True
Suppose 0 = -3*a - 2*a + 345. Is a a multiple of 30?
False
Let f(x) = 32*x + 7. Let d(c) = 33*c + 8. Let q(j) = -6*d(j) + 7*f(j). Is q(1) a multiple of 4?
False
Suppose t + 2*r = -2*r + 11, -3*t + r = -7. Let g be -15 + t/(1 - -2). Is 4/g + (-69)/(-21) even?
False
Suppose o = 81 + 163. Is o a multiple of 29?
False
Let n(w) = w**3 - 8*w**2 + 3*w + 17. Let q be n(7). Let r = 1 - q. Is r a multiple of 11?
False
Let u(j) = -j**2 - 2 - 1 - 6*j**2 - j**3 - j. Let c be u(-7). Let q = 27 - c. Does 11 divide q?
False
Let z = 8 + -15. Let s = 13 + z. Does 6 divide s?
True
Let h(b) = 26*b**3 - 3*b**2 - 3*b - 14. Let u(w) = 9*w**3 - w**2 - w - 5. Let d(f) = -4*h(f) + 11*u(f). Let i be 5/(-4) - 4/(-16). Does 6 divide d(i)?
True
Let y(r) = -r. Let k be y(1). Is (9*2 + k)/1 a multiple of 17?
True
Let n(y) = -y**3 - 10*y**2 + 3. Does 2 divide n(-10)?
False
Let f(n) = -n + 52. Does 11 divide f(-5)?
False
Let u be ((-3)/(-9))/(1/303). Suppose -u = -3*o - 11. Suppose 0*a = 3*a - o. Is 5 a factor of a?
True
Suppose -5*t = -4*t - 18. Does 6 divide t?
True
Let a = 16 - 24. Let z = a - -17. Does 9 divide z?
True
Let y(a) = a**3 + 4*a**2 + 3*a + 4. Let z be y(-3). Suppose -u = -5*u + z. Suppose v + u = f - 34, -v = -2. Is 13 a factor of f?
False
Let a = 7 - 2. Suppose 0 = a*s - 5, -3 = -2*b + 3*s + 2. Suppose x = 4*h - x - 64, 2*x = -b*h + 80. Is h a multiple of 9?
True
Suppose 0 = -4*z - 4*s - 80, s - 60 = -2*z + 6*z. Let l = z - -30. Let m = l - 0. Does 5 divide m?
False
Suppose l = 5*l + 84. Let v = l + 36. Is 11 a factor of v?
False
Let g be ((-16)/10)/((-4)/(-90)). Suppose -38 = -y - 5*n, 46 = 3*y - 2*y + 3*n. Let r = y + g. Is 10 a factor of r?
False
Let b be (-1 - -2) + 14 + -3. Suppose r - 4*r + 12 = 0. Suppose 13 + b = 5*l + t, -r*l - 2*t = -20. Is l a multiple of 3?
False
Suppose 43 + 87 = 2*l. Suppose -4*c + l = -79. Does 12 divide c?
True
Let g = 24 + -14. Suppose -32 - g = -3*t. Does 7 divide t?
True
Let k(w) = 3*w + 14. Let d be k(9). Let v = -13 + d. Is 9 a factor of v?
False
Let n be (-1)/(2 + 0 - 3). Let r(z) = 3*z**2 - 2*z + 1. Let t be r(n). Suppose -28 = -2*m - t*m. Is m a multiple of 3?
False
Let j = 143 - -25. Is 14 a factor of j?
True
Let p(r) = 2*r + 11. Let w(i) = -4*i - 22. Let n(u) = -5*p(u) - 3*w(u). Suppose -h - 16 = -3*h. Is 17 a factor of n(h)?
False
Let u(v) = v**2 - 7*v - 4. Let w be u(7). Let c(h) = h**3 + 4*h**2 + 2*h - 3. Let l be c(w). Let o = 17 + l. Is o a multiple of 6?
True
Suppose 3*n = 3*l + 12, -5*n + 2*l + 38 = 3. Let o = 47 + -78. Let f = n - o. Is f a multiple of 16?
False
Let l(d) = 5*d**2 + 61*d - 39. Let x(g) = -g**2 - 12*g + 8. Let a(y) = 2*l(y) + 11*x(y). Does 7 divide a(-8)?
False
Let o = 718 - 442. Is 12 a factor of o?
True
Let l(r) = r**3 - 2*r**2 - 2*r + 2. Let k be l(3). Suppose x - 77 = -2*b - b, k*x = -5*b + 115. Is b a multiple of 21?
False
Suppose v = s + 1, 5*v = s + s + 20. Suppose 3*r = -3*o - 87, -3*o + v*r - 71 = r. Let i = o - -42. Does 6 divide i?
False
Let b(z) = 0 + z**2 + z**3 + 0*z**3 - 2. Is 4 a factor of b(2)?
False
Let j = 24 - -74. Is 10 a factor of j?
False
Let l(z) = 9*z**2 - 4*z - 5. Does 12 divide l(-2)?
False
Is 3 a factor of 1*(-1 + 4 + 0)?
True
Let b be -2 - (10/(-15))/(4/18). Suppose -2*z + 2 = -0*z. Let p = z + b. Is 2 a factor of p?
True
Suppose -4*v - 78 = -238. Is v a multiple of 20?
True
Let r(g) = -19*g - 4. Suppose -4*i - 7 = t, -3*t + 0*i - 11 = 2*i. Is r(t) a multiple of 17?
False
Suppose -2*t = 5*y + 3*t - 165, 5*y = 2*t + 137. Is 6 a factor of y?
False
Suppose 3*v = 103 + 86. Is v a multiple of 21?
True
Suppose 0 = 5*u - 368 - 532. Is u a multiple of 38?
False
Let t = -1059 + 588. Let r = t + 246. Is 3 a factor of r/(-33) - (-4)/22?
False
Let n(w) = 2*w**2 - 11*w + 1. Let o be 35/4 - 1/(-4). Is n(o) a multiple of 22?
False
Suppose 386 = 2*j + 4*r, -4*j - 2*r = j - 925. Does 23 divide j?
False
Suppose -3*v - 158 = -5*v. Does 23 divide v?
False
Suppose -4*s + 17 - 1 = 0. Suppose 5*m + s*c = -21, -5 = -4*m - 4*c - 21. Let z(j) = -3*j - 1. Is 7 a factor of z(m)?
True
Let v = -520 - 150. Does 10 divide (-1)/(-3) + v/(-15)?
False
Suppose 23*s - 84 = 16*s. Is s even?
True
Let t = -1 - 1. Suppose 4*x - 2*x - 15 = -5*i, -4*x - 6 = -2*i. Is 10 a factor of (t - -3)*9 + i?
False
Let g(s) = 7*s - 5. Is 12 a factor of g(23)?
True
Suppose 0*q = 2*q - 2*b - 18, 3*b = 2*q - 23. Let m be (0 + 1 + -3)*7. Let h = q - m. Is h a multiple of 11?
False
Let r(s) = -2*s. Is 18 a factor of r(-9)?
True
Let j(d) = 2*d**2 - 6*d - 6. Let y = 3 + 3. Is j(y) a multiple of 30?
True
Let s be (-2)/14 - (-58)/14. Suppose -s*d + 16 = 0, -4*d = 2*k - 36 - 10. Is 4 a factor of k?
False
Let w(x) = x**3 + 14*x**2 - 5*x + 10. Is w(-14) a multiple of 41?
False
Let g(y) = 46*y**3 + y - 1. Does 23 divide g(1)?
True
Let p = -178 - -213. Is p a multiple of 5?
True
Let a(p) = 4 - 1 - 13*p + 1 + 2*p. Is a(-4) a multiple of 16?
True
Let r(b) = -b - 1. Let w be r(-6). Suppose 0*d = -4*d - c + 8, -d = w*c + 17. Is d a multiple of 3?
True
Is 2 a factor of 9/(45/(-10)) - -11?
False
Suppose 0 = -4*t + 2*t - 14. Let i(h) = -3*h - 20. Let j(q) = -q - 5. Let x(z) = -2*i(z) + 9*j(z). Is 8 a factor of x(t)?
True
Let o(y) = 4*y**2 + 4*y - 2. Is o(3) a multiple of 22?
False
Let g(k) = -10*k - 14. Is g(-7) a multiple of 28?
True
Suppose 46 = 3*j - 2*p, 2*p + 44 = 2*j - 2*p. Is 7 a factor of j?
False
Let r(z) = -5*z**2 + 2. Let p be r(-2). Let u(v) = -v**3 - 8*v**2 - 7*v - 3. Let m be u(-7). Is 10 a factor of (-135)/p*(-8)/m?
True
Suppose -2*v = -4*n - 39 - 57, v - 24 = -4*n. Is v a multiple of 26?
False
Suppose h - 2*o = 2*o - 6, -2*o = -2*h. Suppose -2*p + h = -2. Suppose -3*k + 64 = p*m, 2*k + 119 = 4*m - 9. Is m a multiple of 16?
True
Let p(l) = l**2 - 7*l + 1. Let w be p(5). Let m(x) = -x**3 - 5*x**2 + 3*x - 4. Let z be m(-6). Let q = w + z. Is 3 a factor of q?
False
Suppose 0*a + 4*d + 252 = 4*a, -194 = -3*a + 2*d. Is 17 a factor of a?
True
Let g(o) = o**2 - 4*o - 6. Let m be g(5). Let l = 15 + m. Is l a multiple of 7?
True
Is 22 a factor of (-88)/(-32)*5*8?
True
Suppose 30*i - 33*i = -477. Is i a multiple of 14?
False
Is 39 - (-3 + -1 + 4) a multiple of 13?
True
Let a = 2 + 0. Suppose a*k - 14 = 34. Is k a multiple of 16?
False
Suppose 4*n - 240 = -0*n. Does 5 divide 6/4*n/9?
True
Let o(s) be the third derivative of s**5/60 + s**4/6 + s**3/3 + 2*s**2. Is 23 a factor of o(-7)?
True
Let h = -1 + 3. Suppose h*o - 7*o + 200 = 0. Is o a multiple of 14?
False
Suppose 0 = 5*f - 4*y + 8, -4*f = 3*y - 0*y + 25. Is ((-6)/f)/(5/30) a multiple of 4?
False
Let a = 10 + 6. Suppose 5*d = -v + a, 3 + 0 = 3*v. Is d even?
False
Let t(v) = -v**2 + 10*v - 11. Let z be t(8). Suppose -z*k - 2 = 13. Let p(h) = h**2 - 1. Does 3 divide p(k)?
False
Let x(q) = -q - 7. Is x(-10) even?
False
Suppose 4*c - 12 = -0*c. Suppose v = -c + 6. Is ((-60)/25)/(v/(-20)) a multiple of 8?
True
Let j be 3/6 + (-14)/(-4). Suppose -96 = -j*c + c. Does 10 divide c?
False
Let u(k) = k**2 - 4*k + 2. Let x be u(3). Let p(d) = 18*d**3 - 2*d**2 - 2*d - 1. Let o be p(x). Is 16 a factor of 1/(o/(-18) + -1)?
False
Let r(b) = 5*b**2 - b - 7. Let a(v) = 4*v**2 - 7. Let d(l) = -6*a(l) + 5*r(l). Does 8 divide d(6)?
False
Let z be 1*(2 - 2)/3. Suppose -8 = 2*v - z. Does 9 divide 4/(-1)*18/v?
True
Let u(v) = -v**3 + 8*v**2 - 5*v - 11. Let l be u(7). Suppose 8 - 2 = 3*x, l*m - 77 = -x. Is m a multiple of 7?
False
Suppose -2*o + 9 = o + x, -o - 4*x = -3. Let t(m) = 3*m - 2*m - 2 + 3*m**2 + 3*m. Is 10 a factor of t(o)?
False
Let p be (-1 + 3)/((-2)/18). Let b = p + 48. Does 19 divide b?
False
Let b = 42 + 52. Is b a multip