pose 2*j + 3*l - 8 = 30, t*j = 5*l + 19. Does 13 divide j?
True
Suppose 4*n - m - 360 = 0, -2*n + 5*m = n - 253. Does 13 divide n?
True
Let j(w) = -w**3 + 9*w**2 - 12*w. Let o(p) = -p**3 + 9*p**2 - 13*p + 1. Let r(c) = -6*j(c) + 5*o(c). Let q be r(8). Does 4 divide 0 + (-2 - 2*q)?
True
Does 7 divide 16/((-138)/(-42) + -3)?
True
Suppose -5*z - 3 = -13. Suppose 0*c - 5*c - 3*j = -149, 0 = -z*c + j + 53. Is 15 a factor of c?
False
Suppose 9 = 2*d - 1. Suppose -5*u + 30 - d = 0. Suppose -5*c - 2*w = -w - 125, -c = u*w - 49. Is 12 a factor of c?
True
Let n(z) = -z**3 - 3*z**2 + 3*z - 4. Is 13 a factor of n(-9)?
True
Suppose -3*x - 7 = -5*k, 4 = 5*x + 2*k - 5. Is (x + -9)*-1*2 a multiple of 16?
True
Suppose 0 = -5*i - 4*t + 81, i - 4*i = 5*t - 59. Let b = -6 + i. Is b a multiple of 3?
False
Suppose -2*w + 118 = d, 0*w - 3*d = -4*w + 246. Is 30 a factor of w?
True
Let i(h) = h**3 - 8*h**2 + 7*h + 2. Let m be i(7). Let c(y) = -4*y + y**2 + 0 + 8 - m*y. Is 8 a factor of c(6)?
True
Suppose -231 = -7*i - 0*i. Does 21 divide i?
False
Suppose 2*v = -3*r - v + 21, 2 = r - 4*v. Suppose t - 18 = r*t - 3*c, c - 1 = 0. Is 6 a factor of (-114)/(-9) - (-2)/t?
True
Suppose -3*x + 42 = -x. Let i = 36 - x. Is 5 a factor of i?
True
Suppose -10*w + 6*w - 4 = 0. Is (w + 2)*17 - 1 a multiple of 3?
False
Suppose i - 2*i - 2*j - 29 = 0, -4*i - 3*j = 121. Let f = 45 + i. Does 14 divide f?
True
Suppose z + 0*z - 5*d = 16, -4*d = 2*z + 24. Is 13 a factor of z/(-6) + (-815)/(-15)?
False
Let s(n) = 3*n**3 - 3*n**2 + 2*n + 1. Is s(2) a multiple of 17?
True
Let z(u) = -2*u - 7. Let q be z(-7). Let g = 0 + q. Does 4 divide g?
False
Suppose -4*r = -r - 315. Does 21 divide r?
True
Suppose -4*f - 80 = -9*f. Does 16 divide f?
True
Let c(z) = -z**3 - 3*z**2 + 2. Let h be (9/(-12))/(1/4). Let q be c(h). Let l(o) = 6*o - 1. Does 11 divide l(q)?
True
Suppose -k + 108 = 3*z, 5*z - 5*k + 10*k = 180. Let q = z + -8. Is q a multiple of 28?
True
Suppose 0 = 4*a - 212 - 580. Suppose 4*k = 5*d - 243, -2*k + 4*k = 4*d - a. Is 13 a factor of d?
False
Suppose -3*x + 1 + 11 = 0. Suppose 3*u - 2*p - 153 = 0, -268 = -5*u - x*p + 3*p. Does 13 divide u?
False
Suppose 52 = 3*o + 2*h, -3*h + 61 = 3*o + 4. Suppose -q - o = -67. Does 15 divide q?
False
Suppose -4*j + 5*j = 115. Is 13 a factor of j?
False
Let o(f) = f**2 + 10*f + 10. Let d be o(-9). Let u(v) = 53*v**3 - v**2 - v + 1. Is 15 a factor of u(d)?
False
Let l = -125 - -71. Is l*((-2)/(-4) - 1) a multiple of 12?
False
Suppose 24 = 2*n - k, 3*k = -4*n - k + 72. Suppose -2*r = 2 - n. Is 2 a factor of r?
True
Suppose -s + 3 = -2. Suppose -s*d + 325 = 15. Does 23 divide d?
False
Let g(u) = -u. Let t be g(-3). Suppose v = t, -4*a + 4*v - 122 = -9*a. Does 8 divide a?
False
Let y be (-3)/(-5) + (-21)/35. Suppose y*p + 8 = p. Does 8 divide p?
True
Suppose -5*s = -0*i - 4*i + 55, -3*s + 4*i - 25 = 0. Does 4 divide s/(-2)*(-8)/(-6)?
False
Is (2/(-8)*2)/(3/(-432)) a multiple of 22?
False
Suppose 0 = -3*f + 249 + 1101. Is 3 a factor of 6/(-14) + f/70?
True
Suppose 5*l - 5*r - 20 = 0, -2*l + 3 = -r - 4. Suppose -5*m = -l*m + 6. Is 15 a factor of 6/(m*(-2)/18)?
False
Let u be (-4)/10 - (-36)/(-10). Let t = 16 + u. Is t a multiple of 6?
True
Let i = 58 - 130. Let y = -51 - i. Is y a multiple of 7?
True
Let v be 62 - ((-1)/1)/(-1). Let k = 128 - v. Suppose -4*o = -89 - k. Does 16 divide o?
False
Let c be ((-1)/(-3))/(2/78). Suppose -b + c = -6. Is b a multiple of 19?
True
Suppose -4*x = 128 - 732. Does 13 divide x?
False
Let o(t) = -t**2 - 10*t + 7. Let k be o(-10). Does 7 divide -5 + k + 1*17?
False
Let q(g) = 84*g**2 - g + 1. Suppose 2*l + 0 = 2. Does 28 divide q(l)?
True
Let y(o) = -2*o - 23. Does 3 divide y(-16)?
True
Is 23 a factor of 2104/32 - (-1)/4?
False
Let b = -17 - -182. Is b a multiple of 10?
False
Suppose 11*n - 228 = 5*n. Does 9 divide n?
False
Suppose -a - 3*x + 83 + 1 = 0, 0 = 4*a - x - 375. Is 20 a factor of a?
False
Suppose -3*f = 2*b - 411, -4*f + 3*b - 250 = -815. Suppose -t + f = 4*i, -i + 46 = -2*t - 0*t. Does 12 divide i?
True
Let n(r) = -2*r**3 + 13*r**2 - 5*r - 2. Is n(5) a multiple of 6?
True
Let d(f) = -f**3 + 4*f**2 + 5*f + 3. Let k be d(5). Let l(q) = -q**2 - q - 18. Let w(p) = 2*p**2 + 2*p + 36. Let n(x) = k*w(x) + 5*l(x). Does 9 divide n(0)?
True
Let t be (70/28)/(5/4). Is -3 + (-4 - -14) + t a multiple of 4?
False
Let a = 15 + -14. Suppose -k + 4 = -a. Does 2 divide k?
False
Let a(u) = 12*u - 17. Is 25 a factor of a(11)?
False
Suppose 5*w = -5*g + 515, 151 + 256 = 4*w - g. Does 34 divide w?
True
Suppose 9 = 2*b + 1. Suppose -t + 3*a + 97 = 0, -6*a = 2*t - b*a - 154. Does 34 divide t?
False
Suppose -2*i + 10 = 3*i. Let r be 78/9 - (-4)/(-6). Suppose -2*o = -r - i. Is 5 a factor of o?
True
Suppose -360 = -0*y - 6*y. Is 10 a factor of y?
True
Let l be ((-3)/(-5))/((-1)/(-5)). Let f(a) = -8*a - l - 3 + 1. Is 18 a factor of f(-4)?
False
Let g be 1286/10 - (-15)/(-25). Suppose 4*d = 2*p - g, 0 = 4*p + 2*d - 177 - 59. Is p a multiple of 20?
True
Let q(s) = -3*s + 4 - 5 + 0*s**2 + 4*s**2 - 2. Let x be q(-2). Let c = x + -1. Is c a multiple of 16?
False
Suppose 0*r = -r + 2. Suppose 35 + 9 = r*c. Is c a multiple of 5?
False
Let p(n) = n**2 + 10*n + 1. Let a be p(-11). Is 8 + (a/3)/(-4) a multiple of 7?
True
Is (-15)/(-30)*82/1 even?
False
Let o be 1 - ((2 - 3) + 2). Suppose o = 2*f - d - 8, 8*f - 23 = 3*f + d. Let g(b) = b**3 - 4*b**2 - 2*b - 2. Is 13 a factor of g(f)?
True
Let z(k) = k + 40. Let m be z(0). Let i = m - 16. Is 9 a factor of i?
False
Let f(b) be the third derivative of b**6/120 + b**5/12 - 3*b**4/8 - 5*b**3/6 - 7*b**2. Is 4 a factor of f(-6)?
False
Let q = -56 + 99. Is 11 a factor of q?
False
Suppose -4*s - 3 + 7 = 0, 5*q + 2*s + 8 = 0. Is 16 a factor of ((-3)/q)/((-27)/(-576))?
True
Is 6 + (-3)/1 - -19 a multiple of 15?
False
Let p = 69 + -38. Suppose 0*z = 5*z - 5. Suppose y = -z + p. Is y a multiple of 15?
True
Let w = -27 - -47. Is w a multiple of 10?
True
Let a = 4 - 2. Let p be -1*(3*4)/4. Does 10 divide (a + p)*(-14 - 3)?
False
Suppose h + 0*h = 0. Suppose h = -5*d + q - 43, 3*d = 5*q - 12 - 5. Is 3/(-1) - d - 1 a multiple of 4?
False
Let q(u) = -6*u + 12. Does 12 divide q(-2)?
True
Let j(w) = 2*w**2 - 3*w + 5. Is j(-5) a multiple of 9?
False
Let w(q) = -q**3 - 2*q**2. Let k = -31 + 20. Let o = 7 + k. Does 13 divide w(o)?
False
Let y(u) be the third derivative of -u**6/120 - 11*u**5/60 - u**4/24 + 7*u**3/6 + 4*u**2. Does 6 divide y(-11)?
True
Let w(b) = b**2 - b + 15. Let v be w(0). Suppose v = 7*t - 27. Is t a multiple of 2?
True
Let j(v) = -v**2 + 8*v - 8. Suppose -5*t - 10 = -0*c + 3*c, 5*c - 4*t - 45 = 0. Suppose -5*s + 0*p = 3*p - 24, -c*p - 10 = 0. Is j(s) a multiple of 2?
True
Let s be 0/(2 - 0 - 0). Let w be 18 + (2 - 2 - s). Is 2/(4/w) + 0 a multiple of 4?
False
Let l be (-1223)/5 - (-3)/5. Let j = -160 - l. Does 18 divide j?
False
Let k(y) = 2*y**2 + 4*y - 15. Is 33 a factor of k(4)?
True
Suppose t + 116 = 2*i - 0*i, -t = 0. Does 3 divide i?
False
Is (-2)/(-11) + 2*274/11 a multiple of 17?
False
Let j(d) = 230*d + 2. Is 52 a factor of j(1)?
False
Let w = 10 + -7. Is 2 a factor of w?
False
Suppose 3*g = -2*g + 20. Suppose 0*j = g*j - 80. Does 14 divide j?
False
Let g(y) = y**3 - 6*y**2 + 9. Is 25 a factor of g(7)?
False
Let i(w) = w + 2. Let l be i(2). Suppose l*n - n = 0. Suppose n = -3*d + 2*d + 17. Is 10 a factor of d?
False
Let a(y) = y**2 + y - 3. Let c = -2 - 1. Let s be a(c). Let z = s - -11. Is 5 a factor of z?
False
Let g be -7 - (-1 + 1 + -1). Let i(q) = -q**3 - 6*q**2 + 8. Is 3 a factor of i(g)?
False
Suppose y - 25 - 28 = 4*p, -4*p - 20 = 0. Is y a multiple of 9?
False
Let j(i) = i**3 - 4*i**2 - 4*i. Let y = 21 - 15. Does 16 divide j(y)?
True
Suppose 3*a - 153 = -5*w, 10 = -2*w - 4*a + 60. Is w a multiple of 3?
True
Let c = 4 + 2. Let f(l) be the second derivative of 5*l**3/6 - l**2 - 2*l. Is f(c) a multiple of 10?
False
Let j be (-41 + -1)/((-3)/6). Suppose 5*k = -f + 16 + 89, j = 4*k + 4*f. Is k a multiple of 21?
True
Let m = 3 - 3. Suppose -v + 27 = -m*v. Let l = v - 9. Is l a multiple of 16?
False
Let b(n) = -n**2 + 9*n - 6. Let m be b(8). Suppose u = 4*x - 9, -m*x + u - 9 = -4*x. Suppose 21 = x*q - 9. Is 5 a factor of q?
True
Let n be (-2)/(-7) + (-648)/14. Let l = -33 - n. Is 13 a factor