Suppose 3*b = 4 - 22. Is 5 a factor of (-14)/(-4)*(-15)/b*4?
True
Let n = 71 + -31. Let h be (-30)/n + (-270)/(-8). Suppose -2*x - x = -h. Is x a multiple of 5?
False
Let f be 20/(-50) + 96/(-10). Let u = f - -91. Is 26 a factor of u?
False
Suppose 2*l = -2*a + 2356, -5*a + 3524 = 3*l - 4*a. Is 51 a factor of l?
True
Let i = 13 - -15. Suppose 2*p + 4*k - 68 = -2*p, -4*k - i = -4*p. Is 5 a factor of p?
False
Does 20 divide 870/9*(-9)/(-6)?
False
Let n = 474 + 39. Suppose 2*b - n = -79. Is 29 a factor of b?
False
Let z = -58 - 50. Let f = -63 - z. Does 21 divide f?
False
Let v be (-1 - -15)*2/4. Let x be (10/4)/(v/602). Suppose -2*l - x = -7*l. Does 43 divide l?
True
Let r = 898 + -538. Is r a multiple of 30?
True
Let h = -13 - -17. Suppose -11*d + h*d + 350 = 0. Is d a multiple of 25?
True
Suppose -r - 3*o + 19 = -7, -5*r + 5*o + 90 = 0. Let z = -10 + 14. Suppose -3*b + 2*q + r = 0, 2*b - 5 - z = -3*q. Is 2 a factor of b?
True
Let q be 2/(-8) - (-882)/8. Suppose -p + q = p. Is p a multiple of 11?
True
Let i = 965 - 533. Let l = -284 + i. Is 14 a factor of l?
False
Suppose -21*h + 544 = -13*h. Does 34 divide h?
True
Let l(v) = -9*v - 57. Does 41 divide l(-20)?
True
Let y(a) = 33*a**2 + 4*a - 4. Is 4 a factor of y(-2)?
True
Suppose -5*d - 14 + 39 = 0. Suppose -598 = -d*x + 387. Does 62 divide x?
False
Suppose -5*u = -4*u - 11. Suppose 5*c = u - 1. Suppose z + 5*r - r = 50, -c*z = -2*r - 120. Does 29 divide z?
True
Let m = 30 + -64. Let p = -13 - m. Let i = p - 10. Is i a multiple of 7?
False
Let a = 146 + -70. Suppose -a*g + 79*g - 111 = 0. Is 6 a factor of g?
False
Suppose -a - 4*y = 2*a - 311, 0 = a - 5*y - 72. Does 3 divide a?
False
Let c(u) = -u**3 - 3*u**2 + 11*u - 2. Let s be c(-5). Let z = s - -3. Is 38 a factor of 12/9*(-114)/z?
True
Let r = 371 - 196. Does 39 divide (r - 5) + 1 + 1?
False
Suppose -5*a - 9724 = -27*a. Is 26 a factor of a?
True
Suppose 109*f - 105*f = 128. Is 10 a factor of f?
False
Let c be (-6)/(-4) + (-4)/(-8). Suppose 53*x - 50 = 43*x. Suppose -x*f + c*f = -207. Does 23 divide f?
True
Let b(f) = 7*f**3 + 22*f**2 - 19*f - 4. Does 72 divide b(4)?
True
Let g(s) = s + 12. Let j(t) = -2*t - 11. Let b(v) = 4*g(v) + 5*j(v). Let m be 1/((-2)/4) - 3. Is 23 a factor of b(m)?
True
Let m = 283 + -157. Suppose 2*a = 4*g + m, -4*a - 48 = -5*a - 3*g. Is 19 a factor of a?
True
Suppose 5 + 23 = u. Let n = -6 + u. Is 11 a factor of n?
True
Let r(i) = 3*i**2 - 6*i + 2. Let s be r(2). Suppose s*g - 275 = -2*d + 31, 2*d = 2*g + 314. Is 26 a factor of d?
False
Suppose 6*u - 2407 = 2*u + 3*x, 0 = 2*u + 3*x - 1217. Is 56 a factor of u?
False
Let f = 1262 - 840. Is f a multiple of 49?
False
Is 3*(9/24 + (-38973)/(-72)) a multiple of 24?
False
Let f = 945 - 271. Is f a multiple of 14?
False
Suppose -8*o + 45 = -3*o. Suppose o*q - 12*q + 36 = 0. Does 6 divide q?
True
Let f(c) = -3*c**2 + 89*c + 4. Is f(7) a multiple of 120?
True
Suppose v + f - 155 - 436 = 0, -4*f = -2*v + 1170. Is 31 a factor of v?
True
Suppose 0 = 30*p - 11223 - 18777. Is 20 a factor of p?
True
Suppose 0 = -4*o - 5*g + 4940, -o + 4*g + 1437 = 202. Is 13 a factor of o?
True
Let y = -324 - -660. Does 24 divide y?
True
Suppose 607 + 3197 = 12*w. Does 9 divide w?
False
Suppose -68*x + 73*x - 4425 = 0. Is x a multiple of 59?
True
Suppose -20580 = 3*a - 24*a. Is 13 a factor of a?
False
Suppose 0 = -7*c + 2*c - 475. Let k = 153 + c. Suppose -2*r + 80 + k = 0. Does 23 divide r?
True
Suppose 4*t = 121 + 7. Let u(p) = -32 + t - 2*p + 12*p**2. Is u(2) a multiple of 11?
True
Let k = -23 - -27. Suppose 5*x + 2 = -p + 13, k*x = -3*p. Suppose -580 = x*l - 8*l. Is 29 a factor of l?
True
Let y be (17/(-2))/(4/(-24)). Let m = 52 + y. Is 6 a factor of m?
False
Suppose -r - r + 10 = 0. Suppose 4*h - h - 5*t + 296 = 0, -4*h + r*t = 393. Let q = -65 - h. Does 16 divide q?
True
Let a = 40 - 36. Suppose 39 + 209 = a*h. Is h a multiple of 20?
False
Suppose 10*x = 17*x - 2590. Does 41 divide x?
False
Suppose 2*w - 5*j = -27, 4*w + 22 = -j - 43. Let x = 76 + w. Is 4 a factor of x?
True
Suppose -6*w + 2*w + 42 = -2*t, 41 = 4*w - t. Is 5 a factor of w?
True
Let j(b) = -b**3 - 2*b**2 + b - 5. Let h be j(-3). Let l be h - -2 - (-1708)/(-4). Is 21 a factor of 32/(-80) + l/(-10)?
True
Let i(m) = 14*m - 5. Let v be i(2). Suppose -v*b + 27*b - 672 = 0. Is 21 a factor of b?
True
Let o = -602 + 298. Let p = -142 - o. Is 26 a factor of p?
False
Let s = 273 - 165. Let w = 46 - s. Let k = -40 - w. Does 5 divide k?
False
Let q(p) = 3*p - 1. Let b be (0 - 4/(-5))*5. Suppose -d + 11 = -5*n + 30, 0 = -2*d - b*n + 32. Is q(d) a multiple of 3?
False
Let h = -88 + 265. Is 61 a factor of h?
False
Let s(l) = 12 - l**2 + 17*l + 0*l**2 - 4 + 0*l**2. Is 25 a factor of s(14)?
True
Let w = 20 - 17. Suppose -19 = -5*c + 2*u, -w*u + 34 = 5*c - 0*u. Suppose -2*s + 0*s - c*v = -51, 5*s - 174 = 3*v. Is 11 a factor of s?
True
Let x(h) = 5*h**2 - 3*h + 3. Let r be x(1). Suppose 5429 = 4*f - 3*y - 5044, 2*f + r*y - 5269 = 0. Does 22 divide f/30 - 6/(-10)?
True
Let h = 27 + -48. Let v = h + 24. Suppose -44 = -3*i + 5*k, 3*i + 0*k - 36 = v*k. Is 8 a factor of i?
True
Suppose 444 = -5*z - 2*u + 2807, 3 = -3*u. Is z a multiple of 5?
False
Suppose 0 = -3*x + 12 - 0, 2*p + x - 3100 = 0. Is 11 a factor of p?
False
Suppose 8*j + 8 = 12*j. Suppose j*n + 27 = 175. Is n a multiple of 37?
True
Suppose -l + 1 + 2 = t, -5*l = -t + 3. Let c = l - -3. Suppose 0 = q - c*w - 54, -w - 7 = q - 53. Is q a multiple of 12?
True
Let b = 13 + -19. Let z be (-26)/(-39) - 8/b. Suppose z*r + 2*r - 192 = 0. Is r a multiple of 12?
True
Let i be (-9 + (-2 - -6))*5. Let d(x) = -8*x + 25. Does 30 divide d(i)?
False
Let f be 5 - 0/(-6 - -3). Suppose 3*k - f - 424 = 0. Is k a multiple of 35?
False
Suppose -469*r = -458*r - 6996. Does 6 divide r?
True
Suppose -4*t - 8 = -28. Suppose 5*f = 5*h - 25, -3*f + 4 = -h - t*f. Suppose h*l - 65 = 51. Is l a multiple of 10?
False
Let d be 6/2*(3 - 2). Suppose p = -z - d*p - 4, 4*p = 2*z - 16. Is 2 a factor of z?
True
Suppose 10 = 2*d - 0*d. Suppose 5*n - 79 = -3*t + n, 0 = d*t - n - 170. Let v = -31 + t. Is v even?
True
Suppose -3*u + 484 = 4*t, 12*t = 17*t + 5*u - 605. Is t a multiple of 23?
False
Let l(i) = 3*i**2 + 22*i + 12. Let b be l(-8). Is 7/b - 46/(-8) a multiple of 5?
False
Let d(v) be the second derivative of 0 + 7*v + 5/6*v**4 - 1/20*v**5 + 2*v**2 - 2*v**3. Is d(8) a multiple of 18?
True
Suppose 1512 = 4*h - 4*z, -45*z = 3*h - 47*z - 1129. Is h a multiple of 16?
False
Suppose 6 = z + 3*x, -3*z + 5*x + 3 = 13. Suppose -5*p + 60 + 305 = z. Is 17 a factor of p?
False
Suppose 20 = 4*b + 4*q, -2*b - 8*q + 3*q + 16 = 0. Suppose -3*f - 29 - 18 = -2*m, -b*f - 75 = -3*m. Suppose 2 = z - m. Is z a multiple of 6?
True
Let u = -12 - -12. Suppose u*n + n = 5. Suppose 101 = 4*y - n*r, -2*y + r = -4*r - 53. Does 12 divide y?
True
Suppose -5*u + 4*u - 6 = 0. Let y(m) = -m**3 - 5*m**2 + 4*m - 5. Let a be y(u). Suppose 0 = -5*q + a*q - 82. Is q a multiple of 7?
False
Let m = -785 + 1100. Is m a multiple of 21?
True
Let k(a) = 6*a - 18. Let g be 63 + (3 - 4) - -3. Suppose 3*v + v + 2*n - 70 = 0, -4*n = 3*v - g. Is k(v) a multiple of 13?
False
Let v be (-2512)/(-22) - (-18)/(-99). Let n = v + -12. Does 25 divide n?
False
Is 24 a factor of (44 - 115)*(-8 - -1)?
False
Let h(d) = -d**3 - 26*d**2 - d + 36. Suppose 3*z + 5*v + 58 = 0, z + 3*z + 2*v + 96 = 0. Is h(z) a multiple of 11?
False
Let i(d) = 9 - 44*d**2 + 14*d + 55*d**2 - 9*d**2. Let r(m) = m**3 - 6*m**2 + 5*m + 3. Let x be r(4). Does 6 divide i(x)?
False
Let l(y) = -y**3 - 4*y**2 + 4. Let k be l(-4). Suppose b + k*g - 2*g = 34, -3*b + 117 = g. Is b a multiple of 25?
False
Let p(i) = -i**3 + i**2 + 2*i - 3. Let y be p(-2). Suppose -61 = -2*o - j, 41 = o + o + y*j. Is 15 a factor of o?
False
Let r(z) = -28*z + 4. Let i be r(-3). Let h(d) = -d - 11. Let g be h(-19). Suppose -4*c + g*c - i = 0. Is 5 a factor of c?
False
Let v be (-1)/(-1) - 5 - -6. Suppose 47 = v*c - 129. Does 44 divide c?
True
Does 11 divide ((-931)/(-98))/(2/212)?
False
Suppose -4*b = 3*w - 8424, -2*w + 1374 = b - 727. Is b a multiple of 29?
False
Let p(z) be the third derivative of -z**4/8 + 2*z**3 + 4*z**2. Is 4 a factor of p(-4)?
True
Suppose -5*z = y - 4 - 78, -3*y - 26 = -z. Let i(h) = -8*h + 28. Let c be i(-7)