actor of 2 + -3 - (-16 + f)?
False
Is (14 - 10) + 4/(-4) + 414 a multiple of 63?
False
Suppose 3*u - 46 = -5*x, -4*x + 16 + 8 = -4*u. Let c(d) = d**2 + 4*d - 15. Is c(x) a multiple of 21?
False
Let g be (2 - (0 + 1)*-2) + -2. Suppose -o = 3*y - 488, 5*y + 74 = -g*o + 886. Is 13 a factor of y?
False
Suppose 22 = -4*j + 126. Suppose -j = 3*r + 7. Let a = 20 + r. Does 3 divide a?
True
Is 5 a factor of (-251)/((-2)/(-2))*(224 + -225)?
False
Let x be (-113)/2 - (-1)/2. Suppose -44*m - 9*m - 1590 = 0. Let p = m - x. Is 6 a factor of p?
False
Let f be 4/(-11)*44/(-8). Suppose 142 + 646 = 3*i - f*r, 240 = i + 5*r. Is i a multiple of 26?
True
Suppose 20 = -6*s + 10*s. Suppose 0 = s*c - 7*c + 38. Let w = 34 - c. Is w a multiple of 9?
False
Let u(p) = -2161*p - 233. Does 17 divide u(-2)?
False
Suppose 4 = 14*b - 13*b. Is (b - -4)/4 + 0 + 118 a multiple of 30?
True
Suppose 5*l = -4*y + 1515, -8*l - 279 = -9*l + 4*y. Does 5 divide l?
False
Let m(t) be the first derivative of -t**4/4 + 10*t**3/3 + 37*t**2/2 + 14*t + 10. Is 5 a factor of m(12)?
True
Let z(j) = -j**3 - 9*j**2 + 10*j + 5. Let c be z(-10). Suppose -2*l + 1100 = 5*w, -c*w - l + 327 = -768. Is w a multiple of 12?
False
Let w(z) = -268*z - 285. Is 43 a factor of w(-6)?
False
Let o(l) = l**3 + 10*l**2 + 10*l + 10. Let t be o(-9). Let m be 4 + (3 - 2)*t. Suppose -m*s = 2*d - 44, -5*d + 110 = -s + 2*s. Does 12 divide d?
False
Suppose -42*c + 67*c - 1000 = 0. Does 10 divide c?
True
Let b(s) = 0*s + 10*s**2 + 0*s + s + 0*s. Let i be ((-2)/(-4) - 0)*2. Does 11 divide b(i)?
True
Let b be (-8)/14*(38/(-4) - 1). Is 8 a factor of (144/b)/(-6)*-8?
True
Let i(o) = -3*o**2 + 122*o - 75. Is 24 a factor of i(39)?
True
Let g(u) = u**3 - 9*u**2 + 9*u - 18. Let t be g(8). Is 228/10*t/(-4) a multiple of 6?
False
Let g(k) = -k**3 + 5*k**2 + 11*k + 25. Does 57 divide g(-7)?
False
Let d(n) = -8 - 2*n - 2 - 2. Let p be d(-6). Let v(u) = -u**3 - u**2 + u + 15. Is 7 a factor of v(p)?
False
Let v = 836 - 396. Is 13 a factor of v?
False
Suppose -79*g + 97*g = 25344. Does 25 divide g?
False
Let c be (0 + 0 - 12) + (-5 - -8). Is 41 a factor of 6/27*3 + (-1101)/c?
True
Let p(w) = -45*w + 319. Does 15 divide p(-5)?
False
Let u = -145 + 66. Let h = u + 111. Is 4 a factor of (-12)/(-18)*(h - 2)?
True
Suppose 39 = -5*l - 36. Let c = l - -22. Suppose 5*n - c*t = -4*t + 149, 116 = 4*n - 4*t. Is 31 a factor of n?
True
Let y = 314 + -66. Suppose 3*f - y = -f. Is f a multiple of 16?
False
Let l(d) = 2*d**2 + 13*d - 32. Does 17 divide l(-16)?
True
Let g = 15 - 8. Suppose -g*n + 30 = -5. Is n a multiple of 2?
False
Let r = -98 - -183. Let q be r*1/((-10)/(-4)). Let y = q - 4. Does 10 divide y?
True
Let i = 40 - 10. Let s = -118 + 112. Does 24 divide (-10)/i*41*s?
False
Let x = -162 - -689. Suppose x = 7*p - 229. Does 12 divide p?
True
Suppose 2*q = 5*c - 31, -4*c + 0*c = -4*q - 32. Let j = q + 75. Does 18 divide j?
True
Let x = -3 - -7. Let d(z) be the second derivative of z**3/3 + 5*z**2/2 + 8*z + 5. Is 11 a factor of d(x)?
False
Let n = -11 - -11. Suppose u = -4*b + 3*u + 344, n = -5*b - 4*u + 404. Is 28 a factor of b?
True
Suppose -2265 = -7*v + 1935. Is 12 a factor of v?
True
Let l = -63 + 40. Suppose 3*f + 535 = 4*i, i - f = 2*i - 139. Let r = i + l. Is 18 a factor of r?
False
Is (1 + 0)/(6 + 8510/(-1420)) a multiple of 12?
False
Let q(i) = 7*i**2 + 64*i + 10. Is q(10) a multiple of 9?
True
Let w = 2075 + -1226. Is w a multiple of 7?
False
Let r(n) be the second derivative of n**6/15 + n**5/60 + n**4/24 + 11*n**3/6 + 11*n. Let v(w) be the second derivative of r(w). Does 19 divide v(-2)?
False
Suppose -16*f = -3131 - 7125. Is 5 a factor of f?
False
Let k be 10/(-3)*(-3)/2. Suppose 0 = k*w - 0 - 10. Suppose -w*q - 8 + 30 = 0. Does 11 divide q?
True
Let p = 38 + -17. Suppose 2*q = -3*c + p, 2*q + 2*c - 4*c + 4 = 0. Suppose 0 = -q*u + 2*r + 199, -4*u - 2*r + 4*r = -262. Is u a multiple of 21?
True
Suppose 8242 = 15*s - 8498. Is 18 a factor of s?
True
Suppose 30 - 80 = -w. Does 4 divide w?
False
Suppose -59*q = -58*q - r - 2640, -4*r = 0. Is 165 a factor of q?
True
Let o = 10 + -8. Let r = o - 0. Let x = r - -15. Does 14 divide x?
False
Suppose 4*p - 105 = 3*j, p = 2*p + j - 28. Suppose -3*c + 7 = 4*l, -3*c = -3*l + 2*c + p. Suppose -l*u + 119 = x, -3*u - 5*x + 56 = -46. Does 11 divide u?
False
Let v(g) = g + 8. Let j be v(-7). Let y be (1 + j/(-2))*0. Let b = 3 - y. Is b even?
False
Let c(i) = i**2 - 3*i + 4. Let k = -1 - -3. Let u be c(k). Suppose -g + u*z = -z - 43, 3*g - 117 = 3*z. Does 16 divide g?
False
Suppose 24*w - 23*w + 401 = r, 5*r - 4*w - 2004 = 0. Does 40 divide r?
True
Let j(n) = -n**2 - 17*n + 16. Let a be j(-9). Suppose a = 4*r - 104. Is r a multiple of 12?
True
Suppose 4835*f = 4843*f - 32360. Is 19 a factor of f?
False
Let u(v) = -8*v**3 - 6*v**2 + 5 + 0*v**2 + 7*v**3. Let y be u(-6). Let g(x) = 12*x + 3. Is 27 a factor of g(y)?
False
Let s = 0 - -63. Suppose -2*y = -11*y + s. Is 7 a factor of y?
True
Let o(w) = -w**3 - 14*w**2 + 42*w - 7. Let a be o(-17). Suppose a = b + k + 15, -5*b + 679 = -k. Does 18 divide b?
False
Suppose 11 + 1 = 2*m. Let a(p) = -2*p**2 + 12*p + 5. Let z be a(m). Suppose -2*x - z = -113. Is x a multiple of 9?
True
Suppose -1300 = -2*g + 5*h, -5*g + 5*h + 1857 = -1423. Does 55 divide g?
True
Suppose 4*l - 40 = -3*o, 4*o + 9*l - 54 = 4*l. Suppose o = c - 8. Is c even?
True
Suppose -t + 1242 = 17*t. Is t a multiple of 23?
True
Let u be ((-45)/6)/(2/4). Let y = -36 - -68. Let c = y + u. Does 3 divide c?
False
Suppose 2*m + 0*m - 1918 = 2*t, -3*t = -3. Does 22 divide m?
False
Let n be -2*(75/(-10))/5. Suppose 0 = 3*y - q - 452, 4*q + 2 = n*q. Does 23 divide y?
False
Let k = 168 - 105. Is k a multiple of 21?
True
Suppose 0 = 5*k + 77 + 48. Let m = -23 - k. Suppose m*l - 3*x + x - 116 = 0, 2*l - 111 = 3*x. Is 19 a factor of l?
False
Suppose 0*u + 6 = 3*u. Suppose 6*r = u*r. Suppose -5*o - w + 55 = 0, -w + r*w = 3*o - 31. Is 6 a factor of o?
True
Suppose 0 = -4*c + 4*r + 660, 0 = -2*r - 8. Is 2 a factor of c?
False
Let m = -134 + 350. Suppose -m = 11*x - 15*x. Is 18 a factor of x?
True
Let o(h) = -2*h**3 - 6*h**2 + 15*h + 50. Does 5 divide o(-5)?
True
Let f be (-80)/(-30) + 1 + (-4)/6. Let o(t) = 34*t - 5. Does 25 divide o(f)?
False
Let b(k) = 249*k**2 - 27*k + 31. Let v(z) = -50*z**2 + 5*z - 6. Let u(q) = -2*b(q) - 11*v(q). Is 14 a factor of u(2)?
True
Suppose -2*z = -3*h + 40, 2*z + 4 = -6. Suppose 5*b + 75 = h. Let q = 9 - b. Does 8 divide q?
False
Does 4 divide ((-9)/6 + (-15015)/14)/(-1)?
False
Let b be -4 + 39*(-1)/(-3). Let h(m) = 14*m**2 - m + 1. Let o be h(1). Suppose 7*t - b*t + o = 0. Is 2 a factor of t?
False
Let r be -8*1/(-12)*3. Let c = -3 - -6. Suppose r*t - t + n = 38, c*t - 94 = n. Is t a multiple of 10?
False
Let i = -190 + 196. Let j(o) be the third derivative of o**5/30 - o**4/3 + 13*o**3/6 - o**2. Does 19 divide j(i)?
False
Let w(g) = -g**3 + 5*g**2 + 42*g + 1. Is w(-8) a multiple of 15?
False
Suppose -3*z + l + 12455 = 0, -8295 = -8*z + 6*z - l. Is 25 a factor of z?
True
Suppose -124*t - 358 = -126*t. Is 16 a factor of t?
False
Let v be 15/(-6)*(-28)/10. Suppose 3*k + 97 = v. Is 18 a factor of (72/60)/((-1)/k)?
True
Is 14 a factor of ((-27756)/(-15) - -1) + 138/(-345)?
False
Suppose 0 = 3*a - 4*t - 19, t - 8 = -4*a + 2*t. Is 20 a factor of (4*a)/((-20)/(-610))?
False
Let z(a) = -a**3 + 9*a**2 - 14*a + 3. Let p be z(7). Suppose 0 = y + 3*k + k, 2*y - 5 = -p*k. Is 2 a factor of y?
True
Let x be ((-22)/4)/(2/4). Let n = 85 + x. Is 17 a factor of n?
False
Suppose 5*x + 12*x = 64090. Does 130 divide x?
True
Let m be -3 + 0 + (4 - -2). Suppose 15 = m*h + 6. Suppose 0*t + 60 = h*t. Is 5 a factor of t?
True
Let h be (4/(-12))/(3/(-180)). Suppose -11*p = -6*p - h. Suppose -c = -3*w - 36, -p*c = -2*w + 3*w - 92. Does 7 divide c?
False
Is 15 a factor of ((-1075)/(-20))/(14/168)?
True
Suppose -4*w = 5 + 7. Let i be w/((-10)/4 + 1). Suppose -5*j - 2*u - 2*u = -53, 4*u = -i*j + 14. Does 3 divide j?
False
Suppose -6*h + 15 = -3*h. Let c be 134/4 + h/(-10). Let w = c - 1. Is 32 a factor of w?
True
Let c(q) = -182*q + 152. Is 22 a factor of c(-7)?
False
Suppose 2*g = g + 87. Let t = -14 + 16. Is 20 a factor of g + -1*(t - -1)?
False
Suppose 4 = p + w - 13, 2*w + 11 = p. Suppose 4*m = 5*r + 9,