8*m - 44*m + 364. Does 2 divide m?
True
Suppose -104 + 1274 = 2*u. Suppose -q = 3*q - 3*j - 475, 5*q = 2*j + u. Does 23 divide q?
True
Let w(q) = 7*q + 19. Let a(x) = 13*x + 37. Let r(s) = 3*a(s) - 5*w(s). Is 28 a factor of r(10)?
True
Let x be (3 - -3)/(-3)*-7. Let m = x - 4. Is ((-10)/(-4))/(m/60) a multiple of 6?
False
Let k(x) = -x**2. Let f be k(3). Let q = f + 6. Does 9 divide -2 + 6 + q + 26?
True
Let u = -12 + 14. Suppose u*s = 26 + 16. Suppose -5*h + s = m - 11, 2*m - 4*h - 120 = 0. Is m a multiple of 7?
False
Let w(u) = 16*u + 39. Suppose 0 = 4*j - 88 + 48. Is 8 a factor of w(j)?
False
Let x(a) = 11*a - a - 4 - a**2 - 5*a. Let y be x(3). Suppose 29 = y*f - 17. Is 5 a factor of f?
False
Let d be ((-4)/(-6))/(3/45). Let u be 1334/d + (-6)/15. Suppose o - u = -14. Is o a multiple of 25?
False
Let m be (-1)/(4/20*-1). Suppose 3*i - 2*n = -3, -i + m*n - 19 = -5. Suppose z = -i + 15. Is 12 a factor of z?
False
Suppose 0 = 4980*f - 4964*f - 19600. Is f a multiple of 6?
False
Suppose -q - 1 = -9. Let k = -3 + q. Suppose -16 = -i - 2*r, -k + 73 = 2*i - 5*r. Does 12 divide i?
True
Let w = -43 - -457. Is w a multiple of 69?
True
Let i(p) = 76*p - 89. Is i(13) a multiple of 29?
True
Let b(g) = 3*g**2 + 4*g - 39. Is 11 a factor of b(-8)?
True
Let l(r) = r**2 - 19*r + 17. Let w(d) = 4*d**2 + 7*d + 5. Let b be w(-3). Is 5 a factor of l(b)?
False
Suppose a - 20 = 6*a. Let z(d) = d**3 - 3*d**2 - 4*d + 8. Let g be z(a). Let m = -62 - g. Is 5 a factor of m?
False
Let s(q) be the third derivative of q**6/360 - q**5/24 - 3*q**4/4 - 2*q**3/3 - q**2. Let i(n) be the first derivative of s(n). Is 19 a factor of i(13)?
False
Is (-832)/(-78)*222/8 a multiple of 74?
True
Suppose 3*u - 3*o = 2*u + 2, -22 = -3*u + o. Let p(a) = 16*a - 9. Does 17 divide p(u)?
True
Suppose -15 = 11*c - 16*c. Does 14 divide c*(0 + 56/12)?
True
Let i(f) = 24*f**3 + 2*f - 2. Let w be i(1). Let o = 19 - w. Is 26 a factor of 101 + 4 + o + 4?
True
Let x = 209 - 241. Let r(c) = 2*c**2 - c + 1. Let o be r(-5). Let q = o + x. Is q a multiple of 24?
True
Suppose 0 = 4*j + 394 - 1358. Is 34 a factor of j?
False
Let d(t) = t**2 + 25*t + 52. Is 6 a factor of d(-23)?
True
Suppose -4*h + 0*h - k = 9, 0 = 2*h + 4*k + 22. Let b(f) = -132*f + 1. Is 25 a factor of b(h)?
False
Is ((-72)/(-9) - 17) + 347 a multiple of 8?
False
Let m be 1 - (-1 - (-21)/15)*-5. Suppose 7*r - m*r - 280 = 0. Is 5 a factor of r?
True
Suppose 109*d - 71*d - 6992 = 0. Does 46 divide d?
True
Suppose 0 = -7*u + 5*u + 48. Suppose 75 = 4*h + j - 4*j, -h - j = -u. Let b = -13 + h. Is 4 a factor of b?
True
Let d(k) be the third derivative of k**5/20 - k**4/3 + 19*k**3/6 + 27*k**2. Is d(5) a multiple of 4?
False
Does 7 divide 5862/(-10)*((-40)/3)/4?
False
Suppose -3*n = -0*n + 2*n. Suppose n = -5*r + 5*g + 245, 0 = -r - 5*g - 10 + 41. Is 5 a factor of r?
False
Suppose 16*x - 11*x + m - 883 = 0, 2*x + m - 355 = 0. Does 20 divide x?
False
Let a = -128 + 380. Is 8/(51/a - 1/6) a multiple of 16?
True
Let w = 18 + -77. Let c = -33 - w. Does 10 divide (-1 - -2) + 6 + c?
False
Let m be ((-181)/(-5))/((-11)/(-55)). Suppose 2*y + 4*z + z - 103 = 0, 5*z = -4*y + m. Is 8 a factor of y?
False
Is 10 a factor of (-6)/12 - 213/(-2)?
False
Let d = -4 + 5. Let h be 4 + -1 + d - 2. Let t(c) = 20*c + 1. Is t(h) a multiple of 15?
False
Let y be ((-32)/(-8))/(-2 - (-15)/6). Let c = 23 - y. Does 4 divide c?
False
Suppose r - 6 + 0 = 0. Let z = 12 - r. Does 28 divide z*4/8 - -53?
True
Let d(p) = p**3 - 7*p**2 + p - 3. Let u be 38/(-14) + 4/(-14). Let a be (-3)/u + (3 - -3). Is 4 a factor of d(a)?
True
Suppose -4*g - a + 12 = 0, -5*g + 15 = -6*a + 2*a. Let v = -21 + 23. Suppose b = -g, -2*b = v*p - 116 + 30. Does 23 divide p?
True
Let l(w) = 31*w + 737. Is l(0) a multiple of 11?
True
Suppose 0 = 8*s - 5*s - 9. Suppose 3*d = 4*w - 344, 0*d - d - 253 = -s*w. Is w a multiple of 19?
False
Let j be 34/(-10) + 3 + (-27)/(-5). Suppose 207 = 3*v + 3*r, j*v - 3*r - 2*r = 315. Is v a multiple of 11?
True
Let u(l) = l**3 + 5*l**2 - 2*l - 4. Let b be u(-4). Suppose -y = -2*y + b. Let x = -4 + y. Is 4 a factor of x?
True
Suppose -w - 3*w = -3*q + 3, -5*q + 28 = w. Let h be 187 + (6/2 - q). Suppose 5*i - 455 = -h. Does 18 divide i?
True
Suppose -8*s + 1138 + 270 = 0. Is s a multiple of 8?
True
Let o = 210 + -70. Suppose -o = 59*w - 64*w. Is w even?
True
Suppose 0 = -4*s + 2*t + 310, 57*s + 5*t = 62*s - 390. Is 3 a factor of s?
False
Let f be 8/3*8/((-192)/(-1206)). Is f/8 + 2/8 a multiple of 8?
False
Suppose -2*l - 494 = -4*w, -w + 2*l - 70 = -186. Is 14 a factor of w?
True
Suppose 0 = 9*x - 8130 + 237. Is x a multiple of 66?
False
Let x be ((-40)/(-32))/((-2)/(-8)). Let t = 13 - x. Is 4 a factor of t?
True
Let g = -215 + 234. Does 7 divide g?
False
Suppose 3*y - 487 - 59 = 0. Is y a multiple of 54?
False
Let c(u) = -u**3 + 3*u**2 - 2. Let v be c(-2). Let f = 52 + v. Is f a multiple of 5?
True
Suppose -5*u + 15 = 0, 0 = m + 2*m - 2*u - 807. Is m a multiple of 20?
False
Let a = 615 - 580. Does 7 divide a?
True
Suppose 0 = -o - 2*o - 3*k + 12, -5*k = -o - 20. Suppose o = 3*x - 265 + 52. Let p = x - 39. Is 32 a factor of p?
True
Suppose d + 6 = -3*y - 0*d, y - 5*d + 2 = 0. Does 3 divide (1 - (y - -4))*-17?
False
Let g be 273/(-35) - (-2)/(-10). Is 14 a factor of 3 + 20/g*-10?
True
Let q = -5 - 11. Let y = q - -34. Does 6 divide y?
True
Let d(s) = s**2 - 20*s + 5. Let v(k) = -3*k**2 + 60*k - 16. Let i(w) = 8*d(w) + 3*v(w). Does 9 divide i(14)?
False
Let j(f) = -f**2 - 7*f - 10. Let c be j(-4). Let s(m) = 1 + m**c - 2*m - 3 - 2. Does 20 divide s(-4)?
True
Let j = -65 - -83. Suppose -4998 = -j*m - 1218. Does 30 divide m?
True
Suppose 2*v - 800 = -3*v. Suppose 7*s - 4*p = 2*s + 1182, s = 4*p + 230. Let o = s - v. Does 13 divide o?
True
Let k = -18 - -17. Let l be 35 + k*(0 + 1). Let b = l - 22. Is 4 a factor of b?
True
Let i(x) be the third derivative of 11*x**4/12 - 2*x**3 - 16*x**2. Is i(7) a multiple of 22?
False
Suppose 4*k - 21266 = -10*k. Does 34 divide k?
False
Let v be -1*5*3/(-3). Suppose 3*n = -v*k - 45, 3*k + 19 = -2*n - 9. Does 18 divide (1 + -3)*177/k?
False
Suppose -o - 3*o + b = -10, -b = -3*o + 7. Suppose j - 708 = -o*j. Does 59 divide j?
True
Let c = -1290 - -1299. Let b(i) = 13*i + 8*i**2 - 2*i**3 + i**3 - 2 - 6. Does 18 divide b(c)?
False
Suppose 4*s - 8 = 0, -4*r - 290 = -0*r + s. Let v = -37 - r. Is 18 a factor of v?
True
Let b be 18/5 - 16/(-40). Suppose 2*z = -2, 2*q + b*z = -0*q + 46. Does 21 divide q?
False
Let y(h) = h**2 - 6*h + 2. Let o be y(4). Let b be 1/2 - 9/o. Suppose -b*z = -5*k + 100 + 22, z = 5*k - 126. Does 11 divide k?
False
Suppose 2280 = 5*o - 5*x, 0 = -10*o + 5*o - 5*x + 2330. Does 13 divide o?
False
Suppose 4*u - f + 0*f - 153 = 0, 0 = 4*u + 2*f - 150. Let w = -22 + u. Suppose 0 = g - 4*c - 15, 4*c = 4 + w. Is 24 a factor of g?
False
Suppose 2220 = 31*r - 18147. Is 44 a factor of r?
False
Suppose -16*o - 3*o + 10640 = 0. Does 14 divide o?
True
Suppose 0*w + 3*w = 0. Suppose 0 = -0*t - t + y + 3, -2*t + 3*y + 5 = w. Suppose -4*u = 20, t*g = -0*u - 2*u + 118. Is g a multiple of 16?
True
Let o(n) = -n**3 + 5*n**2 + 10*n - 10. Let w be o(7). Let c = w + 62. Is 12 a factor of c?
True
Let x = 2 - 10. Let i = x - -40. Does 8 divide (i/3)/(2/6)?
True
Suppose -3*z - 7 = 3*c - 4, -11 = 3*c + 5*z. Suppose -2 = -m - c. Is 11 a factor of m + 6 + -2 + 41?
True
Let y be (12 - (-2 - 1))*8. Suppose 2*s - 80 = -2*d, -s + 4*s + 5*d - y = 0. Is 10 a factor of s?
True
Let c(x) be the first derivative of 13*x**2/2 - 7*x + 1. Let a(h) = 1. Let j(d) = -6*a(d) - c(d). Is 7 a factor of j(-1)?
True
Suppose 2*q + 10 = -0*p + p, q - 2 = -3*p. Let j(h) = 46 + p*h + 11*h**2 - 46. Is 20 a factor of j(2)?
False
Suppose 3*h - 1229 = 1651. Is h a multiple of 33?
False
Let m be (20/(-6))/((-4)/(-138)). Let i = -82 - m. Does 11 divide i?
True
Let z be 6/(-21) - (-6)/21. Suppose 6*q - 17 - 7 = z. Suppose 0 = 4*x - 3*y - 32, q*x - 2*x - 2*y = 18. Is x even?
False
Suppose 32 = 4*f + 4*n, -3*f - 4 = -3*n + 2. Suppose f*k = -3*c + 234, c - 5*k - 108 = -0*k. Does 17 divide c?
False
Let f(x) = -4*x**3 + 2*x**2 + 3*x + 1. Let t be f(-1). Suppose -80 = -t*u + 3*u. Is u a multiple of 8?
True
Let q(w) = -w**3 + 9*w**2 - 6*w - 5. Let g be 3 - (0 + 3 + -4). Is 17 a factor of q(g)