(u) = -12*u + 3. Is a(-3) a multiple of 10?
False
Let r = -27 - -39. Does 4 divide r?
True
Suppose 4*u = -2*s + 2, 5*u - 11 = -5*s + 4. Suppose 4*a - 55 - 12 = -s*i, 3*a + 66 = 4*i. Is 15 a factor of i?
True
Let o(f) = -f**3 - 2*f**2 - f + 2. Let r be o(-2). Suppose r*l - 25 - 3 = 0. Is l a multiple of 3?
False
Suppose 3*u + 4*b - 77 = 0, 3*u - 2*b = 2*u + 39. Let m = 52 - u. Is (7/(m/(-120)))/(-1) a multiple of 15?
False
Suppose 5*j + 1040 = 9*j. Is j a multiple of 55?
False
Let d = 13 - 9. Suppose 3*v + o - 84 = -0*o, -d*v + 112 = -2*o. Is v a multiple of 28?
True
Let z(q) = 2*q**2 + 8*q + 2. Is z(-6) a multiple of 9?
False
Suppose 196 = -v + 5*v + 4*k, 5*k + 25 = 0. Does 10 divide v?
False
Suppose 0 = 5*u + 2*i - 18, -4*i = 3*u - 3*i - 10. Suppose 4*h = -r + 16, 21 = u*r + r + 3*h. Is 4 a factor of r?
True
Let z = 0 + 4. Let a(k) = 9*k - 5. Does 12 divide a(z)?
False
Let p = 0 - 10. Is (-32)/(-6)*(-15)/p a multiple of 2?
True
Let f = 1 + 3. Suppose f*t - 32 = 48. Is 15 a factor of t?
False
Suppose 4*h - 15 = h. Let b be 0/(h/(5/2)). Suppose b = -5*c + c + 88. Is c a multiple of 12?
False
Suppose x + 2*x = 3*q + 39, 3*q = -2*x + 31. Let y = 13 + x. Is y a multiple of 6?
False
Let a(p) = p**3 - 16*p**2 + 2*p - 7. Is 7 a factor of a(16)?
False
Let r(w) = -36*w - 60. Is 22 a factor of r(-9)?
True
Suppose 5 + 7 = -4*i. Let l(m) = -4*m + 2. Let a be l(2). Let q = i - a. Is 2 a factor of q?
False
Let n(g) = -g**3 - 5*g**2 + 5*g - 8. Let t be n(-6). Let h be t/4*73*2. Is 13 a factor of h/(-3) - 2/6?
False
Let d be 210/55 - (-2)/11. Let a = 7 - d. Suppose -21 = -a*k - 3*n, 9*k - 4*n = 4*k + 62. Is k a multiple of 5?
True
Let w be (-93)/(-5) - (-15)/(-25). Suppose 3*b - 63 = -3*y, 2*b - 3*y = 75 - w. Does 13 divide b?
False
Let d(t) = -t**2 + t + 2. Let r be d(0). Let k(y) = y**3 + 2*y**2 + 3*y - 3. Let o be k(r). Let w = o - 0. Is 11 a factor of w?
False
Suppose 2*a = 5*a. Let v = 18 + -14. Suppose v*i - 127 + 7 = a. Does 10 divide i?
True
Let q(z) = -z**3 - 3*z**2 + 4*z + 6. Let d be q(-4). Let o(m) = m**3 - 4*m**2 + m - 4. Let f be o(4). Does 2 divide d/(2 - f/(-1))?
False
Is 13 a factor of (-7)/((-7)/4)*39?
True
Suppose -5*t - 4*g = -33, 0 = 2*t + 4*g - 3*g - 12. Suppose -n = 3*h - 123, -t*n + 29 + 12 = h. Is 31 a factor of h?
False
Suppose 2*m - 2 = 4*j, -5*m + 0 = -5. Suppose -i + 4*g = j, 2*g - 2 = 2*i - 8. Is 14 a factor of (i + -2 - 2) + 22?
False
Suppose -4*b + 42 = -18. Does 5 divide b?
True
Suppose -20 = -3*r + t + 112, -4*t = -12. Is 15 a factor of r?
True
Does 11 divide 114/5 + (-16)/20?
True
Let k = -2 - -4. Suppose -s - 1 + 37 = -3*d, 3*d = 3*s - 84. Suppose k*j + s - 80 = 0. Does 14 divide j?
True
Suppose -422 = -3*h - x, -h = -5*h - 3*x + 566. Is h a multiple of 20?
True
Let l(z) = -6*z. Let q = -7 + 11. Suppose 6 = 3*d, -q*j - 8 = -5*d + 18. Is l(j) a multiple of 12?
True
Let m(h) = -h**3 - 3*h**2 + 5*h - 10. Does 3 divide m(-5)?
True
Suppose 21 = r - 70. Does 13 divide r?
True
Let k = 1 + 10. Is 11 a factor of k?
True
Suppose 0 = -6*x + 918 + 612. Does 17 divide x?
True
Suppose 3*u - 85 + 16 = -s, -54 = -2*u + 2*s. Is u a multiple of 6?
True
Let f(s) = s + 2. Let o be f(4). Let b(y) = -8*y + 1. Let q(t) = 9*t - 2. Let a(x) = -4*b(x) - 3*q(x). Is 15 a factor of a(o)?
False
Suppose 5*j - 342 - 233 = 0. Suppose -4*s - 2*q = -631 + j, 2*s = -4*q + 264. Suppose 2*d + 2*d - s = 0. Is 16 a factor of d?
True
Let p(d) = d**2 - d. Is 17 a factor of p(-4)?
False
Let n(q) = -q**2 + 5*q + 3. Let a be n(5). Suppose -2*b + 25 + a = 0. Is b a multiple of 5?
False
Suppose 2*o - 5*r + 32 = o, 4*r - 16 = 0. Does 17 divide 20 - 3*8/o?
False
Suppose 201 = 6*b - 207. Is 17 a factor of b?
True
Let o(b) = 126*b**3. Is o(1) a multiple of 21?
True
Let w = -127 - -232. Does 15 divide w?
True
Let u(f) = -f**3 - 13*f**2 + 9*f - 45. Does 4 divide u(-14)?
False
Let g = 182 + -78. Does 13 divide g?
True
Let v(b) = b**3 + 6*b**2 - 5*b + 1. Let l(p) = 2*p**3 + 11*p**2 - 9*p + 2. Let k(f) = -6*l(f) + 11*v(f). Let w be k(-3). Let j = w + -18. Is j a multiple of 11?
True
Let l(d) = 6*d + 13. Let z(w) = w + 1. Let f(c) = l(c) - 5*z(c). Let o be f(-6). Suppose o*j = i - 16, -i + 3*i - 3*j - 35 = 0. Is 11 a factor of i?
True
Suppose 0*p + 4*m = -3*p + 13, -4*p + 59 = -3*m. Is 11 a factor of p?
True
Let c(t) = t - 1. Let y be c(-3). Does 6 divide ((-112)/(-10))/(y/(-10))?
False
Suppose 6 = m + 3, -2*m = -3*p + 93. Is -3 + 5 + 0 + p a multiple of 12?
False
Suppose -u + 3*z = 3*u - 1, u + 2*z - 14 = 0. Does 5 divide 1/u - (-215)/20?
False
Suppose 12*q - 650 = 7*q. Is 31 a factor of q?
False
Let x = -9 - -5. Let h be x/6 + 156/18. Let d = h - -23. Does 16 divide d?
False
Let x(h) = h**3 - 5*h**2 + h - 3. Let m(y) = -y**3 - 4*y**2 + 5. Let w be m(-4). Let a be x(w). Suppose -5*d + a*d + 108 = 0. Is 19 a factor of d?
False
Suppose -3*d + w + 121 = -4*w, -4*d - 3*w + 200 = 0. Let h = d + -18. Is h a multiple of 8?
False
Let a(w) = -w**3 - 5*w**2 - 5*w + 4. Let u be a(-4). Suppose u - 33 = -5*h. Is h a multiple of 2?
False
Let l = -87 - -99. Is 5 a factor of l?
False
Let h = -27 - -57. Suppose -5*b + 5*o = -115, -15 - h = -3*b - 3*o. Is b a multiple of 19?
True
Is 2 + (8/1)/(-4) + 331 a multiple of 38?
False
Is (-1 + -62)*3*(-2)/18 a multiple of 6?
False
Let m = 69 + -33. Is 12 a factor of m?
True
Let h = 7 + -7. Let r be 0/(0 + -1 - h). Suppose r = f - 4*m - 32, 0 = 4*f - 6*m + m - 139. Is 12 a factor of f?
True
Suppose y + 1 = 20. Let d = y + -11. Is d a multiple of 5?
False
Let x(a) be the second derivative of a**6/240 - a**5/60 + a**4/6 - 2*a. Let q(z) be the third derivative of x(z). Does 10 divide q(4)?
True
Let z(c) = c**2 + c + 18. Does 12 divide z(-7)?
True
Let j = 55 - -22. Does 10 divide j?
False
Suppose 0 = 4*i - i + 423. Is 12 a factor of i/(-9) + 2/6?
False
Is 22 a factor of 410/6 - (-8)/(-6)?
False
Let b be -7 + (0 - (-1 + 2)). Let r(m) = m**2 + 3*m + 8. Let u be r(b). Suppose 0*k + 2*k - u = 0. Is k a multiple of 20?
False
Suppose 38 = v - 2*q - 0*q, v - 46 = 4*q. Let z = v + -16. Does 7 divide z?
True
Let q(y) = 16*y. Suppose -2 = -4*k + 2. Does 16 divide q(k)?
True
Suppose -8 = -0*f - 2*f. Suppose -f*y + u + 17 = -y, 5*y - 4*u = 19. Let p = y - -4. Is 8 a factor of p?
False
Let b(r) = -r**2 - 8*r - 12. Let z be b(-8). Let p(w) = -w + 15. Is p(z) a multiple of 27?
True
Let k be 2/13 - 9607/(-169). Is 13 a factor of (12 - 8) + k*1?
False
Let q(l) = 4 - 6*l - 3*l**3 + 2*l + 0*l**2 + 2*l**3 - 9*l**2. Let p be q(-9). Suppose 0 = -2*o + 4 + p. Is o a multiple of 11?
True
Suppose 0*n - 2*n + 16 = 0. Does 10 divide 28 + n/((-4)/(-1))?
True
Let m be 30/9 - 2/6. Let g = 7 - -13. Suppose -g = -5*c + m*c. Is c a multiple of 10?
True
Let g(h) = -h**2 + 12*h - 6. Let x be ((-6)/2 - -2) + 11. Is g(x) a multiple of 14?
True
Let y(t) = -20*t - 18. Let g(m) = 10*m + 9. Let b(q) = 5*g(q) + 2*y(q). Does 20 divide b(5)?
False
Suppose -3*v - 4 + 13 = 0. Does 2 divide v?
False
Let t be 13/3 - (-1)/(-3). Suppose -2*h + 22 = -t*l, -35 - 44 = -5*h + 2*l. Does 9 divide h?
False
Let i(p) = 3*p**2 + 3*p + 10. Let g(r) = -2*r**2 - 2*r - 5. Let x(z) = -5*g(z) - 3*i(z). Let h be x(-5). Suppose h + 27 = 3*w. Is 7 a factor of w?
True
Let g be (-1)/2*(5 - 15). Let s = 7 - g. Is s even?
True
Suppose -2*p + 0*p + 108 = 0. Let o = p + -36. Is 15 a factor of o?
False
Suppose v + 2*v - 36 = 0. Suppose -3*y + v = -0*y. Is y a multiple of 2?
True
Let r(i) = i**3 - 2*i - 1. Let b be r(-2). Let q(y) = -10*y - 7. Is 16 a factor of q(b)?
False
Suppose -3*t = -2*t + 6. Does 11 divide t/((-31)/14 - -2)?
False
Suppose -141 = -2*m + 5*b + 69, 4*m - 2*b = 420. Is m a multiple of 21?
True
Suppose -8 = 5*q + 12. Let s be 2/(-4)*q - 4. Let a(i) = 6*i**2 - 4*i - 3. Is a(s) a multiple of 20?
False
Suppose -o + 58 + 12 = 0. Does 9 divide o?
False
Let s(h) = 24*h**3 - h + 1. Let w(n) = -n**2 + 5*n - 5. Let a be w(4). Let u be a - 2/2*-2. Is 19 a factor of s(u)?
False
Let g = -64 + 360. Is g a multiple of 15?
False
Suppose 0 = 3*t - 11 - 1. Suppose 3*s - 2*h = t, -2 + 6 = 4*s - 3*h. Suppose -2*n = -y - 16, n + s*y - 36 = -n. Does 3 divide n?
False
Let n(z) = 65*z. Does 31 divide n(1)?
False
Suppose 34 = 3*s - 134. Is 14 a factor of s?
True
Suppose 4*f + 5*c + 8 = 0, -29 = -3*f + 3*c - 8. Suppose -4*l + 7 + 20 = f