 + 2*m - 263, 3*d - 5 + 159 = 5*m. Let u = d + 75. Is 18 a factor of u?
False
Let h = -7 - -4. Let b be h + (-1 + 5)*2. Suppose -3*w = -b*w + 4. Is w even?
True
Let v = 48 - 28. Is v a multiple of 5?
True
Let n = 288 - 187. Is n a multiple of 31?
False
Let b(k) = k**2 + 5*k + 6. Let f be b(-5). Let j = 57 + f. Is 15 a factor of j?
False
Suppose -2*g - 74 = -4*g. Let t = g - 18. Suppose -6 = j - t. Is j a multiple of 6?
False
Let i = 31 - 4. Does 13 divide i?
False
Let y be (2 - -1)/((-1)/(-2)). Suppose -4*z = -18 - y. Is z a multiple of 3?
True
Suppose 3*r - 4*g = -10, -2*r - 2*g - 5 + 17 = 0. Suppose -3*m + 39 = 2*h - 17, 0 = -r*h - m + 64. Is h a multiple of 8?
False
Let z(t) = 10*t - 3. Let b be z(6). Suppose -b = -2*o - u, -3*u + 41 = 2*o - 18. Is 11 a factor of o?
False
Suppose 3*o = 363 + 222. Is o a multiple of 21?
False
Suppose 5*x + 12 - 2 = 0. Is 13 a factor of (x*86/(-2))/2?
False
Let s = 91 + -59. Let u = 53 - s. Suppose 3*x = w - u, 4*w + 0*w + 4*x = 116. Is w a multiple of 10?
False
Suppose 0*f = -5*f + 15, -99 = -2*h + 3*f. Is h a multiple of 18?
True
Suppose -2*v - 4*q + 16 = 0, -3*v - 2*v + 1 = -3*q. Is 2 a factor of v?
True
Let v(g) = g**2 - 2*g - 2. Suppose -2*o = -m + 2*o - 22, 3*o = m + 17. Let s be v(m). Is 2 a factor of ((-4)/s)/((-1)/3)?
True
Let i = 208 + -130. Is 13 a factor of i?
True
Suppose -2*g - 257 = -4*g - 3*j, -5*g = j - 649. Is 26 a factor of g?
True
Suppose 428 = 2*w + 38. Let l = -35 + w. Suppose -5*a - l = -4*h, 2*a + 41 = h + a. Is h a multiple of 14?
False
Suppose -5*o = -0*o - 535. Is 13 a factor of o?
False
Let t(r) = r**2 - 5*r + 2. Is 22 a factor of t(10)?
False
Let m(f) be the first derivative of -f**5/20 + 7*f**4/12 + f**3/2 + 2*f**2 + f - 3. Let k(a) be the first derivative of m(a). Is k(7) a multiple of 17?
False
Suppose 4*o - 5*w = 2*o + 116, 0 = 2*w. Does 13 divide o?
False
Let r be (-30)/1*(-8)/(-20). Let s be (3/2)/(2/r). Is 9 a factor of (-164)/s + (-2)/9?
True
Suppose 0*c + 7*c - 105 = 0. Is 5 a factor of c?
True
Let d(b) = -b**2 + 10*b - 4. Let t be d(9). Suppose -5*g - t*l = -20, 0*g + 3*g - 2*l = 22. Is g a multiple of 6?
True
Suppose 11*x + 200 = 15*x. Does 25 divide x?
True
Suppose -29 = -2*f + 3*d, -2*f = -0*f + 2*d - 44. Does 6 divide f?
False
Suppose -3*p + 2*p = -1. Suppose 0 = 2*q + 2*z - 1 - p, -q - 2*z = 4. Is 5 a factor of 38/q - 1/3?
False
Let o(k) = -2*k**3 + 18*k**2 - 19*k + 17. Let w be o(8). Let x(p) be the first derivative of p**4/4 + 8*p**3/3 + 5*p**2/2 + 2*p - 1. Does 8 divide x(w)?
True
Let k = 11 - 23. Is 5 a factor of (80/k)/((-2)/3)?
True
Let l(x) be the second derivative of x**5/20 + x**4/2 + x**3/2 - x**2/2 - 3*x. Is l(-5) a multiple of 4?
False
Let d = -54 + 66. Is d a multiple of 3?
True
Let v be 28/(-6) - 6/(-9). Is 23 a factor of (46/v)/((-4)/8)?
True
Let w be 12/9*(-30)/(-4). Let a = 20 - w. Let u = 0 + a. Is u a multiple of 5?
True
Let t(c) = c + 3. Let w be t(-6). Let y(m) = -7*m. Is 5 a factor of y(w)?
False
Let x(f) = f**3 - 6*f**2 - 5*f + 6. Let m be x(7). Suppose -144 = m*o - 22*o. Is o a multiple of 22?
False
Let s be 8/6*(-2 + 47). Suppose -5*c + 5 = -s. Is 12 a factor of c?
False
Let y = 6 - -8. Let q(m) = -m + 1. Let i be q(-3). Is 46/i - 21/y a multiple of 7?
False
Let b(k) = -k**2 - 13*k - 3. Is 17 a factor of b(-6)?
False
Suppose 0 = -4*d - 1 + 13. Suppose -2*i = 5*r - 35, -d*i + 0*i - 2*r + 58 = 0. Does 10 divide i?
True
Let n(a) = 44*a**2 - 5*a - 4. Let s(g) = g**2 - g - 1. Let f(l) = n(l) - 5*s(l). Is f(-1) a multiple of 10?
True
Suppose o - 7 = -34. Let h = o + 42. Is 14 a factor of h?
False
Suppose -2*c - 3*w + 767 = 0, 2*w = -c + 3*w + 371. Suppose -5*i + v + 356 = 0, i + 4*i - c = -4*v. Does 13 divide i?
False
Let q = 47 + 36. Does 24 divide q?
False
Let w(o) be the second derivative of o**5/20 - o**4/2 + 7*o**2/2 - o. Suppose 5*x = 9 + 21. Is w(x) a multiple of 7?
True
Suppose 0 = -6*x + 11*x - 295. Is 8 a factor of x?
False
Let b(i) = -7*i - 5. Is 8 a factor of b(-7)?
False
Let a(k) = k**3 - 12*k**2 + 14*k + 3. Is 13 a factor of a(11)?
False
Let w(q) = -q + 2. Let h(d) = -1. Let x(m) = -6*h(m) - 3*w(m). Does 17 divide x(17)?
True
Let n = -6 - -68. Is 10 a factor of n?
False
Does 18 divide (-815)/(-7) - (-21)/(-49)?
False
Suppose 2*b + 5*r - 935 = -b, -3*r - 1237 = -4*b. Suppose 2*m = -3*i - 2*i + b, 4*i = -4*m + 236. Is i a multiple of 16?
True
Suppose 2*q + 100 = -3*q. Let h be q/(-4)*2/10. Does 11 divide 22 + (-2*h - -2)?
True
Suppose 0 = -4*s - 4*v + 4 + 4, s = -4*v - 13. Is 7 a factor of s?
True
Let u(d) = d - 3. Let z be (-46)/(-5) + (-2)/10. Let g be u(z). Is 7 a factor of (g/2)/(-3)*-12?
False
Suppose -2*q + 37 = 5*m - 104, 0 = 3*q - 3*m - 222. Suppose -4*j = 2*l - 86, q = j + j - 5*l. Is j a multiple of 7?
False
Let c(q) = -3*q**2 - 9*q - 2. Let w(r) = 2*r**2 + 5*r + 1. Let b(a) = 3*c(a) + 5*w(a). Is 32 a factor of b(-6)?
False
Let u = -13 - -18. Suppose 31 - 11 = u*g. Does 13 divide (26/g)/((-2)/(-4))?
True
Let k be (10/(-30))/((-1)/9). Suppose -3*g + g = -k*j + 131, -12 = 3*g. Does 12 divide j?
False
Let o be (-4)/(-6) - (-80)/(-12). Let q = 2 - o. Does 7 divide q?
False
Suppose -281 = -5*j - 31. Is 10 a factor of j?
True
Let c(y) = -y**3 + y**2 - 8. Let s = -4 - -4. Let l be c(s). Let x = l - -38. Is 13 a factor of x?
False
Suppose 3*c = 5*m + 32, 2*c = -5*m + 3*m. Suppose d - 265 = -c*d. Is 24 a factor of d?
False
Suppose -3*s = -4*q + 297, -2*s - 15 = 3*q - 225. Does 12 divide q?
True
Let c(f) = -12*f - 6. Let z(n) = -11*n - 5. Let o(d) = 6*c(d) - 7*z(d). Does 5 divide o(2)?
False
Let f(s) be the first derivative of 2*s**2 + s + 1. Let m be 6/(-1*(2 + -3)). Is f(m) a multiple of 15?
False
Does 7 divide 6/(-10) - 3396/(-60)?
True
Let w(d) = -4 + 2 - 5 - 3*d - 2. Does 10 divide w(-10)?
False
Let m(o) be the second derivative of 5*o**3/6 + o**2/2 + 3*o. Does 13 divide m(5)?
True
Suppose 3*a = -5*s + 187, 3*s - 160 = 2*a - 63. Is s a multiple of 35?
True
Suppose -5*x + 3*x + 84 = 0. Is x a multiple of 8?
False
Let m = -22 + 35. Suppose -3*w - 29 = t + 1, -4*w + 4*t - 24 = 0. Let c = m + w. Is c a multiple of 4?
True
Let k(a) = -a**2 + 6*a - 3. Let f be k(5). Let l be 2 + -2 - (-2 + f). Suppose 2*b = -l*b + 12. Is b a multiple of 6?
True
Suppose k = -2*k + 12. Suppose 0 = -5*d - 15, 5*n - k*d = -31 + 143. Is n a multiple of 15?
False
Suppose -4*w + 40 = -0*w. Does 9 divide w?
False
Suppose 0 = -2*a + 10, 4*a - a - 12 = w. Suppose 2*r = -2*z + 32, w = r - z - 3. Let y = r + 5. Does 7 divide y?
False
Suppose 5*c = 4*s - 96 + 412, s = -4. Is 12 a factor of c?
True
Let j = 0 + 1. Let n(r) be the second derivative of 7*r**4/12 + r**3/6 + 9*r. Is n(j) a multiple of 6?
False
Let h(v) be the third derivative of -v**4/12 - v**3/6 - 4*v**2. Is 5 a factor of h(-8)?
True
Let q = 2 + -3. Let v(o) = -3*o**3 - o**2 - o - 1. Let a be v(q). Does 8 divide 2/(1/(17/a))?
False
Let i be 2/4 + (-198)/(-4). Suppose 6*s = s + i. Is s a multiple of 4?
False
Let y(m) = -16*m - 26. Is 9 a factor of y(-5)?
True
Let o(u) = -u**3 - u**2 - u - 1. Let r(g) = 52*g**3 + 4*g**2 + 7*g + 6. Let h(c) = 6*o(c) + r(c). Is h(1) a multiple of 12?
False
Let v(f) = f**3 - f**2 + f - 14. Let c be v(0). Let i be (-2)/(-3)*(-345)/10. Let z = c - i. Is z a multiple of 9?
True
Let p = 400 + -185. Does 43 divide p?
True
Suppose -2*p - 38 = -4*c + 80, 0 = -2*c + 3*p + 49. Does 16 divide c?
True
Suppose 87 = d - 3*x + 19, -318 = -5*d + 4*x. Is d a multiple of 62?
True
Is 26 a factor of -84*(-4)/8*11/3?
False
Suppose -10 = -l - 0. Suppose -5*h = -l - 15. Suppose 0 = 5*w - 4*m - 67, 0 = -w + m - h*m + 23. Does 15 divide w?
True
Let h be 14/6 - 10/30. Suppose 144 = x + h*x. Is 10 a factor of x?
False
Does 12 divide 1*40*(-1)/(-1)?
False
Let o(l) = -3*l**2 - 5*l + 3. Let n be o(-5). Let y = -19 - n. Does 17 divide y?
False
Suppose 429 = 4*u + 7*u. Is u a multiple of 4?
False
Let x(w) = -w**3 - 3*w**2 - 4*w - 4. Let u be x(-3). Let n = 26 - u. Does 6 divide n?
True
Let s = 7 + 32. Is 11 a factor of s?
False
Let d(a) = 5*a**2 + 3*a - 3. Suppose 9 = 5*v - 1. Is d(v) a multiple of 6?
False
Let f(k) = -2*k + 5. Does 3 divide f(-13)?
False
Let z(o) = 2*o - 3. Let r be z(4). Suppose 0*s + r*s - 10 = 0. Suppose 0 = 4*h + c - 24, -c + 2 + s = 0. Is h a multiple of 2?
False
Suppose 0 = 3*m