be k(2). Suppose -i*v + 1518 = -9*v. Is 4 a factor of v?
False
Let y(j) = -4*j**2 + 5*j**2 + j**3 + 17 - 4*j + 8*j**2 + 4*j**2. Is 2 a factor of y(-13)?
False
Suppose -5*v + 132 = -4*j - 92, 235 = -5*j - 5*v. Let h = -48 - j. Suppose 315 = h*p + 2*p. Is p a multiple of 11?
False
Suppose 0 = -4*b - 8 + 44. Suppose 0 = -3*r - 0 + b. Does 28 divide (-4)/3*r + 125?
False
Let q(i) = i**3 - i**2 + 4*i - 10. Let v be q(2). Suppose 2*u - 228 = -v*n, 0 = -n + 5*u + 27 + 75. Does 14 divide n?
True
Is ((-18)/(-10))/(42/27440) a multiple of 12?
True
Let l = -20 - -23. Suppose 2*c = -4*q + 4, l*c + 9 = -q - 0*c. Suppose 129 - 426 = -q*s. Is 11 a factor of s?
True
Let h(a) = -a**3 - 14*a**2 + 15*a + 28. Let b be h(-15). Suppose -4*z = 4*c - 364, -31*c - 5*z + 281 = -b*c. Is c a multiple of 6?
False
Let u(p) = p**3 - 3*p**2 - 40*p + 196. Is u(7) a multiple of 2?
True
Let s(r) = 109*r**3 + 4*r**2 - 18*r + 28. Is s(4) a multiple of 53?
True
Let p(r) = -r**2 + 16*r - 17. Let g(j) = -j + 1. Let k(s) = 2*g(s) - p(s). Let c be k(17). Suppose -3*f + 227 = w, c*w - 360 = -5*f + 4*w. Is f a multiple of 5?
False
Let w be (-10)/(-4)*(-7)/((-70)/5044). Let k = -640 + w. Does 27 divide k?
True
Let y be 3*(-52)/(-60) - 4/(-10). Suppose 3504 = 9*u - y*u. Suppose u + 472 = 8*r. Is 33 a factor of r?
True
Let g = 14240 + 6365. Is g a multiple of 6?
False
Let y = -1101 + 1975. Let f = y - 609. Is f a multiple of 9?
False
Let z(j) = -9*j + 52. Let w be z(6). Let t be (4 + w)/((-14)/(-28)). Suppose t*x - 2*r - 128 = 0, -x + 14*r = 12*r - 29. Does 33 divide x?
True
Let y be 4/10 + 69/15. Let u(m) = -m - 10 + 31*m**2 + 14 - y. Does 26 divide u(2)?
False
Let l = -43 + 64. Suppose -23*b = -l*b - 116. Suppose 82 = p - b. Is 28 a factor of p?
True
Let k(n) = 4*n + 6*n + 4 - 4*n. Let h be k(8). Let q = h + 17. Does 23 divide q?
True
Let r = -11813 + 30785. Is r a multiple of 62?
True
Let l(s) be the second derivative of -3*s**5/20 - s**4 - 59*s**3/6 + s**2 + 46*s - 2. Is 16 a factor of l(-6)?
False
Let k be (-13 - -1) + 1 + -2. Let i be 3/((-29)/(-174)*(-9)/1). Does 8 divide 9960/156 + i/k?
True
Suppose 5*z + 328 = -3*b, 5*z + 329 = -3*b + z. Let p = -99 - b. Is 6 a factor of p?
True
Let h(u) = 2. Let t(b) = -1. Let m(q) = -h(q) - t(q). Let k(r) = 11*r - 12. Let o(g) = k(g) + 5*m(g). Is 4 a factor of o(6)?
False
Let m be (-117)/156 + -9091*(-2)/8. Suppose -m + 7632 = 16*c. Is 17 a factor of c?
False
Let j be (-3)/24 - -6*(-58899)/(-16). Is (j/91 - 2/(-7)) + 0 a multiple of 9?
True
Suppose -218*b + 1334087 + 476185 = 0. Does 173 divide b?
True
Suppose -381 = -3*o - 4*k, -2*o + 3*k - 1 + 255 = 0. Let q = o + -39. Is 11 a factor of q?
True
Let k(b) = -b**2 - 8*b + 2. Let v be k(-12). Let x = 46 + v. Suppose -2*c - 4*a + 240 = -x*c, -a = -4. Is c a multiple of 14?
True
Does 135 divide ((-1040)/(-6))/((20/405)/2)?
True
Let v be ((-6)/9)/((-4)/30). Let h(w) = -2*w**3 + 6 - 18 + 0 + 3*w**3 - 5*w**2 + 10 + 4*w. Is h(v) a multiple of 2?
True
Let s(g) = g**3 - 2*g**2 - 13*g + 28. Let z be s(4). Is 73 a factor of -3*((-10512)/z)/6?
True
Let b be 9/(6*3/990). Suppose 0 = -20*o + 23*o - b. Does 10 divide o?
False
Let o(i) = -i**2 - 8*i + 6. Let n be o(6). Let z = 146 + n. Suppose 4*h - 61 = -3*l, -4*h - l + z = -5*l. Is 2 a factor of h?
True
Suppose 16*z + 2*z = 288. Suppose 12*f + 1600 = 5*o + z*f, -f = -5*o + 1625. Is o a multiple of 13?
False
Suppose 2*l - 235 = 3*t, 3*l - 4*l + 5*t + 135 = 0. Let b = 466 - l. Does 13 divide b?
False
Let z(u) = u**2 + 7*u + 6. Let w be z(-6). Suppose 3*j + 3 = 3*i, w*i = -5*j + 2*i + 4. Suppose -k + 4*s + 31 = -30, 4*k = -j*s + 262. Does 8 divide k?
False
Let d be (-2)/(4/(-7))*2. Suppose -5*r + 2*m = -298, 9 + d = -4*m. Let u = -2 + r. Is u a multiple of 14?
True
Let h(p) = p**2 - 28*p + 8. Let i be h(27). Let j = -16 - i. Suppose 0*d + 3*m - 167 = -2*d, -15 = j*m. Does 13 divide d?
True
Suppose 0 = -f + a + 3579 - 1018, -5*a - 7675 = -3*f. Is f a multiple of 19?
True
Suppose 3 = -6*s + 45. Let b be (-3 + s/5)*5. Let k(w) = w**3 + 8*w**2 - 8*w + 6. Is 10 a factor of k(b)?
True
Suppose 0*j = j - 3, 3*r + 3 = j. Let q = r - -4. Suppose -z = t + 2*z - 42, 3*z = -q*t + 168. Does 14 divide t?
True
Suppose 3*r = 4*j + 32, r - 4 = 3*j + 15. Is 2/6*(-3 - -13 - j) even?
False
Let d = -17743 + 21977. Is 146 a factor of d?
True
Let t = 23113 + -8996. Is 29 a factor of t?
False
Let y(n) = 4*n + 2*n + n + 9. Let u = 485 + -476. Is 24 a factor of y(u)?
True
Suppose 2*y = 4*m + 43992, -1175*m - 87945 = -4*y - 1180*m. Is y a multiple of 15?
True
Let y(r) = -240*r - 18. Suppose 14*n + 3*n + 68 = 0. Is 10 a factor of y(n)?
False
Let l be (6/5)/(2/25). Let p = l + -18. Does 18 divide (p/(-9)*13)/(3/63)?
False
Let x(a) be the first derivative of -a**4/8 - 3*a**3/2 - 11*a**2/2 + 2. Let z(g) be the second derivative of x(g). Does 3 divide z(-8)?
True
Let z be (1 + 1)/(80/120). Suppose -z*s - d = -491, 0*s = -s + 2*d + 173. Does 15 divide s?
True
Suppose 0 = 5*o + 4145 - 11360. Let q be ((-1)/((-33)/9 - -4))/((-20)/(-120)). Does 10 divide (-5)/30 - (o/q - 0)?
True
Let r = 21101 + -14267. Does 13 divide r?
False
Suppose 4*i = 20, -4*i = -4*h + 62201 - 7301. Is h a multiple of 15?
False
Suppose -3*p + 9 = 0, 0*x - 4*p = -3*x - 24. Let d be ((-66)/12)/(1/x). Is 6 a factor of d/3*(-6)/(-4)?
False
Suppose 3*v + 40630 = 5*c, 2*c - 10513 = v + 5738. Is c a multiple of 35?
False
Let a be (-1 + 3)*11/((-77)/(-14)). Let s be ((-440)/15 + a)/(1/(-3)). Suppose 5*c - 19 = s. Does 2 divide c?
False
Suppose 105*t - 4 = 104*t. Is (-2)/15 - t*(-4434)/45 a multiple of 29?
False
Let d(c) = 10*c**3 + c**2 - 7*c + 9. Suppose 0 = -5*x + 20 - 10. Does 9 divide d(x)?
False
Does 9 divide 33/(-55) - 136158/(-55)?
True
Does 65 divide 4/(-6)*3 + (6591 - (4 - 4))?
False
Suppose 3*v = -5*n - 8, 0*v + n = 5*v + 4. Let j(d) be the second derivative of -6*d**5 + d**4/12 + d**3/6 + d. Is 12 a factor of j(v)?
True
Suppose 3*d - 4*f + 2 = 0, 2*d - 5*f = -2*d - 2. Suppose -344 = -2*m + 3*w, d*m - 8*w - 372 = -12*w. Is 21 a factor of m?
False
Let m(z) = z + 23. Let q(d) = 3*d**3 + 5*d**2 + 7*d + 2. Let a be q(-2). Let o be m(a). Suppose o*x = x + 1008. Is 56 a factor of x?
True
Let f(r) = -r**3 + 9*r**2 + 2*r - 31. Let a be f(13). Let i = 1263 + a. Is 6 a factor of i?
True
Let z(s) = -22*s**2 - 1. Let h(v) = 109*v**2 - v + 4. Suppose 2*x + 29 = -5*w - 0*w, -5*x - 5*w = 35. Let y(u) = x*h(u) - 11*z(u). Is y(-1) a multiple of 25?
True
Let r(s) = -s + 43. Let a(q) = q**3 + 8*q**2 + 10*q - 10. Let m be a(-6). Suppose 4*b + 5*z - 136 = 0, m*z - 20 = -3*z. Is r(b) a multiple of 3?
False
Let x be 4 + (30/(-8) - 2/8). Suppose 15*t - 1738 + 5998 = x. Let d = -200 - t. Is d a multiple of 16?
False
Let c(b) = b**3 - 7*b**2 - 5*b - 11. Suppose -197 = -5*l + a, -3*l + a + 15 = -102. Suppose 6*t = t + l. Does 13 divide c(t)?
True
Let v = 2 - 4. Let z = -2267 - -2264. Is (-2)/(-2) - (v - z)*-50 a multiple of 7?
False
Let p(y) = 98*y - 4. Let f(u) = 101*u - 3. Let s(z) = -3*f(z) + 2*p(z). Does 23 divide s(-3)?
True
Let p(u) = 12*u**2 - 31*u + 228. Does 13 divide p(15)?
False
Let i = -51 + 51. Let p(s) = -2*s**2 + 2*s + 214. Does 45 divide p(i)?
False
Suppose -3*i + 12 = 9*n - 6*n, 3*i + 4 = 5*n. Does 7 divide i/(-5) + 2 + 1086/15?
False
Suppose -22*u + 1433086 - 171716 = 0. Is u a multiple of 11?
False
Suppose h + 33 = 4*h. Let f(d) = -d**3 + 12*d**2 + 14*d - 15. Is f(h) a multiple of 4?
True
Suppose 215*p = 165*p + 651950. Is p a multiple of 66?
False
Let j be -1 - 80*(-5)/(125/3630). Does 36 divide (-2)/11 + j/55?
False
Let l(m) = -m**2 - 11*m - 27. Let d be l(-11). Let u be ((-9)/d)/(1/21). Suppose -4 + u = q. Is q a multiple of 3?
True
Let r be 34 - (-2 - (-3 + 3))/(-2). Suppose -r*c + 132 = -30*c. Is c a multiple of 11?
True
Does 43 divide (18/(-42))/(-3 - ((-269115)/(-67277) + -7))?
False
Suppose 8*o - 873 = 10311. Suppose -12*f = -18*f + o. Is 36 a factor of f?
False
Suppose 11697 = n - 2*c, 3*c + 4 - 25 = 0. Does 49 divide n?
True
Suppose 3*i - 33600 = -11*i. Is 16 a factor of i?
True
Suppose -14*w + 938 = -12*w. Suppose -w = 11*v - 2009. Suppose 8*g = 6*g + v. Is g a multiple of 14?
True
Suppose -26*b = -38*b. Suppose b = 2*u - 56 - 14. Does 2 divide u?
False
Suppose 3*r = 8*k - 6*k - 187, -2*r - 2*k - 128 = 0. Does 30 div