True
Suppose 5*d - 4*j - 8 = 0, -7*d + 3*d + 19 = j. Suppose 0 = -2*t - 4*w - 20, -3*w = d*t - 5*w. Does 15 divide t/(-2) - (-42)/3?
True
Suppose -4*s = -23 + 3. Let t = s + -3. Suppose -5*w + 2*p + 27 = -8, -2*w = t*p - 14. Is 3 a factor of w?
False
Let c(h) = -3*h + 32. Is 9 a factor of c(-20)?
False
Suppose 0 = 4*j + 4*r - 308, 5*j + r - 376 = -r. Is 16 a factor of j?
False
Let b = -28 + 65. Is 10 a factor of b?
False
Suppose -6 = 2*o + 2, -2*d + 2 = -2*o. Does 5 divide 16 - (18/d + 3)?
False
Suppose -2*r - 3*v - 11 = 0, 2*r - v - 2*v = -5. Let l(t) = t**2 - 4. Is 6 a factor of l(r)?
True
Let f = -327 + 531. Is 12 a factor of f?
True
Let n(f) = -12*f**2 + f + 7. Let m be n(3). Let j = 152 + m. Does 18 divide j?
True
Let g be ((-6)/(-4))/(6/16). Suppose -26 = -5*x + g. Does 5 divide x?
False
Suppose 15 = -3*a + 168. Does 8 divide a?
False
Let f = -116 - -177. Does 15 divide f?
False
Suppose -4 = -o - 0*o. Is 36*-1*(-2)/o a multiple of 6?
True
Suppose 4*f = -2*v + 152, 3*v + 38 = f + v. Is 28 a factor of f?
False
Suppose -2*h + 108 = 2*w, -w - 226 = -4*h - 3*w. Is h a multiple of 5?
False
Let s = 22 + 37. Is 25 a factor of s?
False
Let o = -12 - -10. Let u(g) = 11*g**2 + 2*g. Is 12 a factor of u(o)?
False
Let b(a) = -3*a - 1. Let g be b(2). Does 7 divide 68/7 - 2/g?
False
Suppose 11*s - 8*s = 2*g + 499, -2*s + 5*g + 329 = 0. Does 23 divide s?
False
Let s(d) = -d**2 + 3*d - 1. Let y be s(1). Is (y/2)/(3/18) a multiple of 2?
False
Is 2 a factor of 8/18*15 + (-2)/(-6)?
False
Suppose 4*d = 5*d - 3*z - 1, -2*z = 5*d - 56. Suppose 1 = -m - 1. Let g = d + m. Does 3 divide g?
False
Is 16 a factor of -1 + (2412/10 - 10/50)?
True
Let x = 36 + -13. Suppose -4*o + 6 = -10. Does 11 divide (x + -1)*2/o?
True
Let n(d) = d**3 - 8*d**2 + 7*d + 8. Is n(7) a multiple of 7?
False
Suppose 0 = -3*k - 5*j + 31, -2*j + 16 = k + 6. Is 6 a factor of k?
True
Let i be ((-2)/(-4))/((-8)/(-16)). Is ((-1)/(-3))/(i/15) a multiple of 5?
True
Let z(b) = b**2 - b - 1. Let q(l) = -9*l**2 + 3*l + 2. Let k(g) = -q(g) - 2*z(g). Does 3 divide k(-1)?
False
Suppose -4*q = 3*n - 7 - 18, 5*n = 2*q - 19. Let y = 11 - q. Is y a multiple of 4?
True
Suppose 10 + 18 = 4*x. Suppose -i + x = 2*t - 0*t, 0 = 4*t + i - 11. Does 2 divide t?
True
Let x be (-2)/(-4*(-1)/(-34)). Suppose v - 73 = -x. Is (96/v)/((-2)/(-7)) a multiple of 6?
True
Let x(t) = -t**2 + 15*t - 11. Is x(14) a multiple of 3?
True
Let w(h) = -h**2 + 5*h - 1. Let j be w(4). Suppose -j*l - 5 = 1. Is 24 a factor of (47/l - 0)*-2?
False
Suppose -l - 53 = -4*o, -5*l - 37 = -o - 0*l. Is 11 a factor of (o/30)/(1/55)?
True
Let f(s) = -2 - 10*s + 3*s - 4. Does 16 divide f(-5)?
False
Let g(p) be the third derivative of -p**5/60 - 7*p**4/24 + 2*p**3/3 - p**2. Let w be 3 - (-3 + 21)/2. Does 5 divide g(w)?
True
Let i(w) be the first derivative of -w**3/3 + 2*w**2 - 2*w - 4. Let o be i(2). Is (3 - 11)/(o/(-4)) a multiple of 8?
True
Suppose k + 5*b = -0*b + 180, -2*k + 360 = -b. Does 55 divide k?
False
Suppose -2*t - 2*b + 110 = 2*t, -115 = -5*t + 5*b. Does 13 divide t?
True
Let z(y) = -y**2 - 6*y - 6. Let o be z(-4). Let v(c) be the first derivative of -c**3/3 + 3*c**2/2 + c - 1. Is 2 a factor of v(o)?
False
Suppose 0*p + 2 = -p. Suppose 5*a - 24 = a. Let n = a + p. Does 3 divide n?
False
Let n = -130 + 326. Suppose 3*d = -d + n. Does 19 divide d?
False
Suppose 0 = -7*k + 1894 + 262. Does 28 divide k?
True
Suppose 4*c - 18 = -c - 2*n, 4*c + 5*n - 28 = 0. Suppose 0 = c*b - 0*b - 14. Let m(l) = -l**2 + 8*l - 4. Is m(b) a multiple of 2?
False
Let t(o) = -2*o**2 - 7*o - 9. Let n(d) = d**2 + 4*d + 5. Let h(y) = -7*n(y) - 4*t(y). Let m be h(2). Let c = -1 + m. Is c a multiple of 3?
False
Let a(o) = -7*o + 2. Is 11 a factor of a(-8)?
False
Suppose 5*b = -13 - 17. Suppose -20 = -n + x + x, x = 4*n - 94. Let j = n + b. Does 15 divide j?
False
Suppose -1 = 3*l + 2. Let r be (-2 + 0)/(-3 - l). Let b = 32 + r. Is b a multiple of 11?
True
Let q be (0 - -1) + (0 - 5). Let d(i) = -i**3 - 2*i**2 + 7*i + 6. Is 10 a factor of d(q)?
True
Let r be 4*(4 - (-1 + 4)). Let s be 150/(-24) - (-1)/r. Is 6/(-9) + (-94)/s a multiple of 15?
True
Let h = 0 - -2. Suppose h*g + 3*g - 132 = 4*c, 0 = -g - 4*c + 36. Suppose 2*a - g = 12. Is 10 a factor of a?
True
Let p(f) = 8*f**2 - 4*f + 1. Is 15 a factor of p(3)?
False
Let g be 19/3 - 4/(-6). Suppose -y + 21 = 4*d - g, 20 = 4*d. Does 8 divide y?
True
Let q = 88 + -52. Is q a multiple of 17?
False
Suppose -2*c - 2 + 0 = 0. Let j be 6/(-1) - (c + -1). Is 8 a factor of ((-32)/6)/(j/12)?
True
Suppose 3*u - u = -190. Let w = -40 - u. Is 12 a factor of w?
False
Suppose 2*n + c + 5 - 82 = 0, -n + c + 34 = 0. Suppose 0*l = 3*l - 96. Suppose -6*i - u = -i - l, -3*u - n = -4*i. Is 7 a factor of i?
True
Let k = 93 - -56. Is k a multiple of 17?
False
Suppose 0 = 5*i - 5*d + 2*d - 165, 3*d = -i + 33. Let l = -11 + 27. Let o = i - l. Is o a multiple of 6?
False
Let m be (3/(-9))/((-1)/15). Suppose 3*x - 10 = m*z + 4, -2*z - 3*x + 7 = 0. Is 12 a factor of (z - -1) + 2 + 22?
True
Suppose 0*g + 3*g - 321 = 0. Let n = g + -63. Does 19 divide n?
False
Let d(w) = w**2 - 8*w - 15. Suppose -4*k = -0*k - x - 39, 0 = -5*k - x + 60. Let r be d(k). Is (-48)/r*30/(-8) a multiple of 7?
False
Let n(b) = -2*b**3 + 19*b**2 - 4*b - 18. Does 18 divide n(8)?
False
Let f be 4/3 + 7/(-21). Is f/(-3) - (-28)/12 even?
True
Let r(h) = -2*h**3 + 2*h**2 + 3*h - 1. Is r(-3) a multiple of 18?
False
Let f(c) = c**3 - 5*c**2 - 4*c - 1. Let g be f(6). Suppose 7 + g = 3*s. Suppose 3*h + s*j - 45 = 2*j, 0 = h + 5*j - 4. Does 9 divide h?
False
Suppose -j + 138 + 17 = 0. Is j a multiple of 34?
False
Let n(d) = 6*d**2 - 6*d + 9. Let j(s) = s**2 - s + 1. Suppose 3*r - 2*p - 13 = -0*r, 0 = -2*p - 10. Let c(q) = r*n(q) - 5*j(q). Does 3 divide c(0)?
False
Let s = -31 + 25. Let o(p) = p**3 + 6*p**2 - 3*p - 2. Is 8 a factor of o(s)?
True
Suppose 3*a = -2*j + 312, 60 = 3*a - j - 243. Is a a multiple of 6?
True
Let r = -9 - -23. Does 14 divide r?
True
Let d = 52 + 21. Let q be (47 - 4/(-4)) + 0. Let b = d - q. Is b a multiple of 9?
False
Let x(j) = -j**3 + 8*j**2 + j - 7. Suppose 4*l = 16 + 16. Let t be x(l). Is 30/((t - 2)*-1) a multiple of 21?
False
Let b = 10 + 22. Does 32 divide b?
True
Does 11 divide -29*(-1)/(-1 + 2)?
False
Suppose -4*f - 5*d - 77 = 0, 5*f - d = 45 - 163. Let x = 10 - f. Suppose u + x = 2*j, j + 5*u - 14 = 3*u. Does 8 divide j?
True
Let u(p) = -3*p**2 - 4 + 4*p**2 + p + 9 + p**3. Let l be u(0). Let g(c) = -c**2 + 6*c + 7. Is 12 a factor of g(l)?
True
Let i be (6/4)/((-2)/4). Let z be (1 - -3)*(-1 - i). Is 42/z + (-1)/4 a multiple of 5?
True
Let i(y) be the third derivative of y**4/24 - 2*y**3/3 - 3*y**2. Let z be i(8). Suppose -a = -k - 3, -31 = -4*a - k - z. Is a a multiple of 6?
True
Suppose -4*n + 4*r - 17 = 3*r, -5*n + 10 = 5*r. Let a(x) = -3*x. Let h be a(n). Suppose -5*d + 11 = -h. Is 3 a factor of d?
False
Suppose 0*q = -5*q + m + 374, 4*m = -3*q + 229. Does 15 divide q?
True
Suppose -1327 = -5*w - 157. Is 18 a factor of w?
True
Suppose 0 = 3*w - w + 66. Let a be -2 + 1 - (0 + w). Suppose 3*p = u + a, 0*p = p + 4*u - 28. Does 12 divide p?
True
Is (18/(-54) + (-208)/(-30))*15 a multiple of 10?
False
Suppose 0 = 5*w - 3*a + 9, 4*w = 7*w - 4*a + 12. Suppose w = 2*c + 5*n - 369, -5*c + 0*n = 2*n - 870. Does 12 divide 2/(-7) - c/(-14)?
True
Let w(l) = -l**3 - 13*l**2 + 5*l + 2. Is w(-14) a multiple of 32?
True
Let k = 0 + 2. Suppose 0*b = -4*s + 2*b + 16, 0 = -5*s + k*b + 19. Is s a multiple of 3?
True
Let i(q) = -q**3 - 3*q**2 - 5*q + 2. Does 11 divide i(-5)?
True
Let j be 1/(((-15)/99)/(-5)). Let y = j - 23. Is 3 a factor of y?
False
Let c(m) = m**3 + 9*m**2 + 7*m + 5. Is c(-7) a multiple of 9?
True
Suppose 0 = -t + 5*t. Suppose -4*s + 10 = m - t, -4*m - 8 = 0. Suppose 0 = 4*d + 5*v - 74, 0*d - s*d + 5*v = -73. Is d a multiple of 9?
False
Suppose -1 - 2 = 3*q - 3*g, 0 = 4*q + 4*g - 4. Let n be ((-8)/5)/((-4)/430). Suppose -4*v = 2*z - n, -4 = -q*z - 2*z. Is v a multiple of 14?
True
Suppose 0 = -13*z + 18*z - 525. Is 54 a factor of z?
False
Suppose 0 = 5*l + 4*a - 70 - 1, 67 = 5*l + 3*a. Let s = -5 - l. Does 16 divide (12 + 0)/((-6)/s)?
True
Suppose 410 = 4*z + z. Does 15 divide z?
False
Let i(d) = 5*d**2 + 4*d + 1. Let s = 0 + 3. Let z be i(s). Suppos