se
Suppose -n + 0*n - 2*m + 17 = 0, 0 = m. Suppose k + 2*k - 103 = -5*f, 0 = f - 3*k - n. Does 4 divide f?
True
Suppose -3*n - 2 = -4*i - 4, i + 5 = 3*n. Let a be (-3 - -2)/(i/(-7)). Let u(v) = v**3 - 6*v**2 - 6*v + 6. Is 13 a factor of u(a)?
True
Let p(y) = y**3 - 17*y**2 - 17*y + 3. Is p(18) a multiple of 2?
False
Let h(q) = q**3 + 7*q**2 + 8*q. Let k be (-3)/4*(12 + -4). Let t be h(k). Is 3/t + 122/8 a multiple of 14?
False
Suppose -5*w + 19 + 181 = 0. Does 10 divide w?
True
Suppose -94 = -5*a - 3*g, -4*g = -a + 32 - 4. Does 10 divide a?
True
Does 4 divide (17/(170/(-12)))/(2/(-20))?
True
Suppose 679 - 175 = 2*n. Does 21 divide n?
True
Let q(p) = p + 54. Is q(0) a multiple of 27?
True
Let z(c) = 14*c**2 - 3*c + 2. Let o(f) = -14*f**2 + 2*f - 1. Let b(u) = -3*o(u) - 2*z(u). Let h = -2 + 1. Is 13 a factor of b(h)?
True
Suppose -4*i = 4*m - 308, 276 = 4*m - i - 3*i. Is 5 a factor of m?
False
Let u(l) = -l**3 + 9*l**2 - 7*l - 8. Let s be u(8). Suppose 3*g + c - 93 = s, -40 = -2*g + 4*c + 36. Is 16 a factor of g?
True
Let d(p) = -p**3 + 3*p**2 - 1. Let y be d(-4). Let q = -67 + y. Is 22 a factor of q?
True
Suppose 0 = -0*x - 2*x + 6. Suppose 4*g - 8 = 2*u, g - x*g - 2 = -4*u. Suppose u*j - 25 = 13. Does 12 divide j?
False
Let g = 97 + -63. Is g a multiple of 15?
False
Suppose 3*r = -r - 4*z + 380, -4*z + 289 = 3*r. Suppose -4*p = -m + 20, m - 5*p = -3*m + r. Does 8 divide m?
True
Let w = -1 - -3. Suppose -w*l + 2*q + 2*q + 10 = 0, 2*l - 13 = q. Is l a multiple of 6?
False
Let j = 59 - 20. Does 12 divide j?
False
Let v(r) = r**3 + 5*r**2 + r - 3. Let p be v(-3). Does 9 divide (-3)/p + 117/4?
False
Let a be (1/(-2))/((-4)/(-48)). Let x(u) be the third derivative of u**5/60 + u**4/4 + u**3/2 - u**2. Does 3 divide x(a)?
True
Let c be 2*((-5)/(-2))/5. Suppose -2*x - 3*a + 47 = -c, x + a = 24. Is 8 a factor of x?
True
Suppose 0 = 3*w - 18 - 21. Is 4 a factor of w?
False
Is 7 a factor of (-122)/(-4) - (-2)/4?
False
Let g(d) = d**3 + 5*d**2 + 4*d + 5. Let n be g(-4). Suppose -11 = 4*j + n. Let u = j - -8. Is u a multiple of 2?
True
Let t(j) = j**3 - j**2 - j + 1. Let q be t(0). Suppose 2 = y + q. Does 11 divide (y + 32)*2/3?
True
Let k(z) = -z**3 - 4*z**2 - 2*z - 4. Let m be k(-4). Does 6 divide (10 - m)*(-9)/(-3)?
True
Let u = 3 + -3. Suppose -5*w - 2*r + 144 = u, -4*w + 5*r + 123 = 4*r. Is w a multiple of 15?
True
Suppose 0 = -3*t - 5*a - 3 - 22, 2*a + 10 = 0. Suppose -2*b = -2*w - 2, 4 = 4*w - t. Suppose 7*v - b*v = 30. Is 6 a factor of v?
True
Let d = 50 + -17. Is 6 a factor of d?
False
Let a(x) = -3*x - 3. Let c be a(-2). Suppose 2*z = -c*i + 3 + 7, 10 = -5*i + 2*z. Suppose b = 3*s + 6 - i, 3*b = -4*s + 5. Is 3 a factor of b?
True
Suppose -5*s - 14 + 209 = 0. Does 12 divide s?
False
Let p(s) = 10*s**2 + 2*s - 2. Let f(l) = 2*l**2 + 5*l + 4. Let w be f(-2). Does 21 divide p(w)?
True
Suppose 4*j + 2*h = h + 49, -1 = -h. Is 5 a factor of (j/9)/((-4)/(-30))?
True
Let i = -23 + 26. Suppose 0 = i*h - 8*h + 270. Is 28 a factor of h?
False
Suppose 5*p - f + 0*f = 17, 0 = -p - 2*f - 1. Is p a multiple of 3?
True
Suppose 0 = -4*t + t + 192. Suppose u = -5*b + 3*b - t, 0 = -2*u. Let y = 50 + b. Is y a multiple of 9?
True
Suppose -325 - 95 = -2*q. Is q a multiple of 42?
True
Let l(d) = -3*d**2 + d. Let v be l(-4). Is 13 a factor of v/4*(-3 - -2)?
True
Let t be (-27)/12 - (-3)/12. Let a be ((-2)/2)/(1/t). Suppose -p - a = -9. Is 3 a factor of p?
False
Suppose -583 = -4*h + 257. Is h a multiple of 16?
False
Let t be ((-4)/6)/((-2)/(-3)). Is 14 a factor of -2 - 28*t - -2?
True
Let u(o) = 10*o - 30. Does 4 divide u(7)?
True
Let k = 25 - -8. Does 10 divide k?
False
Suppose 3*z + 0*p - 168 = -3*p, 2*z - 4*p - 82 = 0. Is 11 a factor of z?
False
Let u = 78 + -25. Is u a multiple of 34?
False
Suppose -5*p + 880 - 90 = 0. Does 40 divide p?
False
Suppose -x - 90 = -3*x. Is 15 a factor of x?
True
Let i = 29 + 43. Does 9 divide 16/i - (-518)/18?
False
Let v(k) = -k**2 - 8*k + 4. Let h be v(-7). Let p = h + -26. Let a = -3 - p. Is a a multiple of 12?
True
Let a(k) = -5*k + 39. Is a(0) a multiple of 12?
False
Let d be 40/6*3/(-2). Let c be 2/(-3)*6*d. Let s = 60 - c. Does 20 divide s?
True
Suppose -2*b - 5*k = -5 - 52, -b + 5*k + 51 = 0. Let a be -2 + 5/(5/b). Suppose 5*c = -t + 6 + a, c + 5*t - 32 = 0. Is c a multiple of 5?
False
Suppose h - 5*h + 60 = 0. Does 12 divide h?
False
Suppose -1782 = 11*u - 20*u. Is u a multiple of 16?
False
Let q be (-2)/(-3)*195/10. Suppose 0 = -5*i + 3*i - 24. Let f = q - i. Is 15 a factor of f?
False
Let l = 76 + -12. Is 13 a factor of l?
False
Let d = 31 - 83. Is (-6)/15 - d/5 a multiple of 10?
True
Let x = -5 - -8. Let c(h) = -13*h + 6. Let w(f) = 12*f - 5. Let k(l) = 2*c(l) + 3*w(l). Does 10 divide k(x)?
False
Suppose 4*u - 8 = -4*n + 64, -u + 4*n = 7. Suppose 4*m - 23 = -y, -y + m = -0*m - u. Does 5 divide y?
True
Let j = -25 + 35. Is 5 a factor of j?
True
Let p be -42*1/(-2)*1. Suppose -4*k + 4*o + 19 + 1 = 0, 4*k - 3*o - p = 0. Let l(v) = -v**3 + 6*v**2 + 2*v + 2. Is 14 a factor of l(k)?
True
Suppose -3*g = 3*z + 15, 5*z = g - 0*z - 19. Does 4 divide 2/g + 6 + 4?
True
Let k(c) = -33*c - 3. Let t be k(-6). Let w(r) = -r**2 + 6*r - 5. Let x be w(4). Suppose -2*m - x*m + t = 0. Is 18 a factor of m?
False
Let z(t) = t**2 - 3*t - 6. Let m be z(5). Let w(i) = 4 - 5*i + i**3 + 3*i**2 - 2*i**2 - 2*i**2. Does 16 divide w(m)?
True
Suppose 3*b = 3 - 9. Let v = b - -3. Suppose -4*z + 5*h = -34, 4 = z - 4*h + v. Is 11 a factor of z?
True
Let p(i) = -i**2 + 12*i - 8. Let g be p(11). Suppose 4*s = -0*s + 288. Suppose -g*f - m = -s, -f - 3*m + 3 = -21. Is 12 a factor of f?
True
Let t = -23 - -58. Let c = t + -3. Does 14 divide c?
False
Let l = 2 - -13. Let u = 70 - l. Is 15 a factor of u?
False
Suppose -26 - 8 = -x. Does 34 divide x?
True
Suppose -3*s - 4*g + 28 = 0, -2*g - 8 = -4*s - 0*g. Let j(f) = f**3 - 4*f**2 + 5*f - 6. Is j(s) a multiple of 12?
False
Suppose -3*q + 102 = -r, 4*r - 40 = -2*q + 28. Does 17 divide q?
True
Let r be (-2)/5 + (-141)/(-15). Suppose 0 = 4*p - r + 1. Does 13 divide (12/(-6))/(p/(-39))?
True
Suppose -7*h - 16 = -3*h. Let s be (-2)/h + 13/2. Suppose -21 = -b + s. Is b a multiple of 14?
True
Suppose -6*y + 69 = -273. Suppose 3*c - y = 102. Is 16 a factor of c?
False
Let m(a) = -2*a**3 - a**2. Let c be m(-1). Let n be c/(-4) + (-1)/(-4). Suppose -4*b + 2*l + 36 = 0, -2*l - 2*l = n. Is 4 a factor of b?
False
Let m(n) = 3*n**3 - 2*n + 1. Let u be m(1). Suppose 60 = -4*r + u*c + 234, -2*r + 93 = c. Does 13 divide r?
False
Suppose -100 = 5*q - 10. Let x(a) = -20*a + 1. Let o be x(2). Let h = q - o. Does 13 divide h?
False
Does 5 divide 8/1 - (-3 - -1)?
True
Let p(j) = -6*j - 11. Does 25 divide p(-6)?
True
Suppose 0 = -r - 3*r + 20. Suppose r*c - 217 = 4*d, 35 = -3*c + 4*c - 5*d. Is 15 a factor of c?
True
Let k(s) = 2*s**2 - 2*s. Let c be k(2). Suppose -2*x + w = -49, -x - c*x - 5*w = -115. Is 6 a factor of x?
True
Suppose -64 = -3*u + 578. Is u a multiple of 45?
False
Let n = -36 + 57. Is n a multiple of 3?
True
Let y = 26 + -25. Let h = y + 36. Is h a multiple of 15?
False
Let y = 65 - 30. Is y a multiple of 35?
True
Suppose -2 = 3*n + 4. Let w(b) = 4*b**2 + 3*b + 2. Is 9 a factor of w(n)?
False
Suppose -f - 3*k + 11 = -4, 0 = -3*k + 15. Suppose -o - 3*p - 7 = f, 2*p - 4 + 10 = 0. Suppose s + o = 10. Is s a multiple of 4?
True
Let h(g) = -2*g - 5 - g**2 + 4*g - 11*g. Is 6 a factor of h(-6)?
False
Let a = -466 + 824. Is 60 a factor of a?
False
Suppose -28 = -3*x + 2*x. Suppose -2*t - x = -6*t. Suppose 4*v + 5*s - 20 = 0, 2*s = 3*v - 22 + t. Is 5 a factor of v?
True
Suppose -4*z = -u + 32, u - 8 = -z + 9. Does 4 divide u?
True
Let k(a) = a**3 - 2*a**2 - 2*a + 2. Let f be k(2). Let r be (-76)/20 + f/10. Does 3 divide (-2 + 1)*r + 1?
False
Suppose 0 = -0*o - 4*o + 16. Suppose 0 = o*i + 4*d + 28, 0 = 3*d - 1 - 2. Let v(c) = -5*c + 3. Is 12 a factor of v(i)?
False
Suppose 28 = 4*p - 0*p. Suppose p = 5*z - 18. Suppose z = 5*x - 35. Does 4 divide x?
True
Let q(m) = 3*m**2 + m - 3 - 2*m**2 + 6. Is q(-4) a multiple of 11?
False
Suppose 0*y + 3 = y. Let k be (2/(-2) - -1) + y. Suppose -o - 5 = 0, h + k*h = 4*o + 120. Is 12 a factor of h?
False
Let o(x) = -9*x + 2*x + x. Let m be o(1). Is 14 a factor of m/(-9) + (-118)/(-3)?
False
Does