pose -5*k = -n + 29. Is k a multiple of 10?
False
Suppose y - 2*x + x = -6, y + 8 = -x. Let b = 26 - y. Is b a multiple of 14?
False
Suppose -4*q + 9 = -19. Let b be 2/7 + (-38)/(-14). Does 18 divide b/q + 604/28?
False
Let p = -35 + 39. Suppose p*w - w = 513. Does 19 divide w?
True
Let m(u) = 297*u - 202. Does 13 divide m(9)?
False
Suppose 4*f = -h + 276, 74*h - 270 = 73*h - 2*f. Is 10 a factor of h?
False
Suppose -5*o + 8*a - 3*a = -35, 4*o - 2*a = 24. Suppose 19 = 3*h - 4*k - 4, o*h + 2*k = -5. Is h/((-4)/(-8))*11 a multiple of 11?
True
Let w = 49 - 41. Suppose -s + w*s = 735. Does 15 divide s?
True
Suppose 23*x - 435 = 18*x. Does 6 divide x?
False
Suppose -5*b + 5*m = -4*b - 462, -16 = 4*m. Is b a multiple of 11?
False
Suppose -4*x = -4*t + 344, -2*x - 176 = -2*t + 2*x. Let i = t - -24. Is i a multiple of 16?
False
Suppose 5*y + 362 = 3*t, -t = y + 2*y - 102. Is 19 a factor of t?
True
Suppose -2*v - 2*j - 1 - 1 = 0, -2*v + 6 = 4*j. Let s(w) = -w**2 - 6*w + 6. Let g be s(v). Let c = 26 - g. Does 6 divide c?
False
Suppose 8 = 2*p, 4*n + 175 = 5*n + 3*p. Suppose 187 + n = 5*i. Is 15 a factor of i?
False
Is 4650/4 + (-67)/134 a multiple of 45?
False
Suppose 12*l - 4536 = -9*l. Does 72 divide l?
True
Let c(r) = 2*r**3 + 5*r**2 - 2*r + 1. Let t be c(-4). Is 7 a factor of 3*4/(-36)*t?
False
Let f(v) = 16*v**2 + 9*v - 45. Does 15 divide f(6)?
True
Let v = 19 + -15. Suppose 3*j + 0*x - v*x = 175, 5*j = 5*x + 290. Is 22 a factor of j?
False
Suppose 5*v + 18 = 7*v. Let k = 11 + v. Is 5 a factor of k?
True
Suppose -c = -6*c + 225. Is 10 a factor of (c/(-6))/(2/(-16))?
True
Is (14/4)/7 + 4921/14 a multiple of 8?
True
Suppose 0 = 6*n - 9*n - 5*k + 2167, -4*k + 2876 = 4*n. Does 42 divide n?
True
Suppose 734 = 2*a - 136. Suppose 0*h - 5*h + a = -4*v, 0 = 2*v + 10. Is 5 a factor of h?
False
Let g(b) = 2*b - 24. Let r be g(14). Let k(x) = x**2 - 3*x + 3. Let s be k(2). Suppose -r*h = -h + 2*y - 18, -s = h + 3*y. Is 4 a factor of h?
True
Is 6 a factor of (-3)/(-21) + 52974/63?
False
Let t = -8 - -10. Let g = 0 - t. Does 8 divide (4/(-3))/(g/24)?
True
Let u = 864 + -736. Does 8 divide u?
True
Suppose -95*a + 100 = -97*a. Let t = a - -113. Is 7 a factor of t?
True
Is ((-7)/((-28)/291))/(13/624) a multiple of 12?
True
Is 325 - ((-7 - (2 - 8)) + -2) a multiple of 28?
False
Suppose 4*f = -7*f + 275. Does 33 divide (-1350)/(f/(-5)) - -4?
False
Let r = 555 - 359. Does 7 divide r?
True
Suppose -536 = -2*q + 4*d, -4*q + 413 = 2*d - 709. Does 8 divide q?
False
Let d(h) = -h**3 + 8*h**2 + 3*h - 11. Is 64 a factor of d(6)?
False
Suppose 10*b = 9*b + 4. Suppose b*x - 260 = -x. Is 13 a factor of x?
True
Suppose -20*i + 40*i = 5760. Does 9 divide i?
True
Suppose 0 = -2*f + 2, -11*f = 5*p - 6*f - 1905. Does 19 divide p?
True
Suppose -4*v = 5*p - 6*v - 63, 5*v + 8 = p. Suppose 174 = -p*a + 16*a. Is a a multiple of 29?
True
Let m = -99 + 649. Is 22 a factor of m?
True
Let k(i) = i**3 - 10*i**2 - 9*i + 10. Let h be 45*((-52)/(-12) + -4). Let p = -4 + h. Is 16 a factor of k(p)?
True
Let u(f) be the first derivative of f**3/3 + 3*f**2/2 - 16*f - 11. Is 33 a factor of u(-13)?
False
Suppose -278 = -4*y + 2*u - 0*u, 355 = 5*y - 4*u. Suppose 0 = 3*a - 2*v - 181, -a + 4*v + y = 5*v. Is 9 a factor of a?
True
Let q(j) = 8*j + 444. Does 18 divide q(-42)?
True
Let h be (10/6)/((15/(-9))/(-5)). Suppose 0 = 4*p, -538 = -h*a - 5*p + 102. Is 32 a factor of a?
True
Suppose 5*q - b + 3*b = 3385, 3*b = 0. Is q a multiple of 20?
False
Let n be 4/6*(6 - 9). Let m = 159 - -21. Is 12 a factor of ((-4)/10)/(n/m)?
True
Let t be ((-7)/(-2) + -4)*-6. Suppose -t*d = 4*x - 236, -4*x + x + 317 = 4*d. Does 16 divide d?
True
Let t be -5 - ((-1)/(-1) + 1). Let i be (4 - t)/(2 - 1). Let h = 22 - i. Does 11 divide h?
True
Let j be (5/(-15))/((-1)/3). Let w = j - -2. Suppose 8 = w*x - 7. Is 5 a factor of x?
True
Let o = 182 - 153. Is 11 a factor of o?
False
Suppose 0 = 5*c + 3*c - 1800. Is 6 a factor of c?
False
Let g = -20 - -25. Suppose 3*m - 82 = -5*z - 17, -g*z = -m - 65. Does 13 divide z?
True
Let q = -83 - -147. Let f = q + 21. Does 16 divide f?
False
Does 33 divide (9108/(-60))/((-1)/5)?
True
Let m(w) = w**3 - 3*w**2 - 2*w. Let y be m(4). Suppose 2*z + y = 0, -4*d + d - 2*z = -70. Is 26 a factor of d?
True
Let h(l) = l**3 - 2*l + 1. Let x be h(1). Suppose -3*s - a + 15179 = s, x = 2*s - 2*a - 7582. Is 16 a factor of (-2)/9 + s/63?
False
Let l be 0*(-6)/(-36)*-1. Suppose -6*u + 8*u - 200 = l. Is u a multiple of 10?
True
Let h = 28 + -25. Suppose -h*v + 3*o = -387, v = -2*v - o + 399. Does 11 divide v?
True
Let x(k) = k**3 + 6*k**2 + 8. Let u be x(-6). Let i(s) = s**3 - 7*s**2 - 9*s + 8. Let n be i(u). Does 18 divide 3*(24 - n)*1?
True
Let d(o) = o**2 - 9*o - 264. Is 97 a factor of d(-22)?
False
Let n = -28 - -12. Let o = n - -18. Suppose 0*l + 4*l = -o*f + 204, -225 = -5*l + 5*f. Does 13 divide l?
False
Let u = 108 - 33. Suppose u = -0*d + 5*d. Suppose -135 = -4*y - d. Is 9 a factor of y?
False
Let k(v) = -v**3 + 12*v**2 + 18*v - 29. Let j be k(13). Suppose 6*i = 3*i + j. Is 3 a factor of i?
True
Suppose v + 4 = 4*q - 3*q, -2*q = v - 8. Let n(r) = 3*r**2 + r**3 - 4*r**2 + 5 - 2 + r. Does 2 divide n(v)?
False
Suppose -3*g - 12 = 3*a, -16 = -5*g - 0*a + 4*a. Suppose -3*k + 2*q = -515, g = 5*q - 6*q - 1. Is 20 a factor of k?
False
Let i(r) = 26*r**2 + 7*r - 6. Let c be i(4). Suppose 0 = -5*f - 0*h + 2*h + c, -260 = -3*f + 4*h. Is 9 a factor of f?
False
Let d(p) = 3*p**2 - 6*p - 122. Does 7 divide d(12)?
True
Let k(t) = 299*t**2 - 11*t - 7. Is 33 a factor of k(-1)?
False
Suppose 1346 = 4*w - 2*k, 5*w + 7*k - 1650 = 3*k. Suppose 0 = 3*u - w + 106. Is u a multiple of 38?
True
Let k(d) = 3*d**2 - 3*d + 2. Let y(x) = -x**2 + 6*x + 7. Let n be y(7). Let c be (-4)/6*(n - 3). Is k(c) a multiple of 4?
True
Let a be (-4)/(-10) - 196/(-35). Let z(f) = 3*f + 38. Does 11 divide z(a)?
False
Suppose -5*l = 2*o - 6, -6 = -4*l - 0*o - 2*o. Let d = 21 + -21. Suppose 3*z - 12 = d, 12 = s - l*z - z. Does 16 divide s?
True
Let n be (8/(-6))/(22/(-33)). Suppose n*r = 2*i - 3 + 9, 4*r - 10 = 5*i. Suppose 0 = -2*k + 2*u + 68, -u + r = -2*u. Does 9 divide k?
False
Suppose 2*u + 2*k = 90, 4*u - 2*u + 3*k = 94. Suppose 5*g = 6*g - u. Is 29 a factor of g?
False
Suppose 5*r + 174 = -4*z + 34, 5*z - 140 = 5*r. Let v = r - -89. Suppose -3*c + v = -17. Is c a multiple of 9?
False
Suppose -49*l = -68392 + 24439. Is 13 a factor of l?
True
Let l(c) = -c**3 - 6*c**2 + 4*c - 3. Let o be l(-7). Suppose 4*h + 66 - o = 0. Is h*3*4/(-8) a multiple of 8?
False
Suppose -3*y - 5*b = -3875, -5 = 13*b - 12*b. Is 20 a factor of y?
True
Let i(w) = -12*w**2 - 4*w - 4. Let f(s) = 11*s**2 + 3*s + 3. Let g(p) = 6*f(p) + 5*i(p). Let j be g(2). Does 18 divide (2 + -65)*j/(-21)?
True
Suppose -4*k - d + 6*d + 495 = 0, 0 = -3*k - 4*d + 348. Does 40 divide k?
True
Suppose -q - 135 + 46 = 0. Let p = -54 - q. Does 20 divide p?
False
Suppose 13*o - 9880 + 2704 = 0. Is 46 a factor of o?
True
Suppose -13*x + 133 = -10. Suppose 0 = 3*w - x*w + 2992. Is w a multiple of 46?
False
Suppose 0 = 20*g + 8782 - 62782. Does 18 divide g?
True
Let a be (-4 + (-39)/(-9))*(3 + -3). Suppose c - 6*c + 40 = a. Does 4 divide c?
True
Let g(i) = 44*i - 142. Is 48 a factor of g(55)?
False
Let b(c) = -91*c**3 + 8*c**2 + 7*c - 6. Is 18 a factor of b(-3)?
True
Let a be 25 - (0 - 0)/(-3 - -2). Let t = 47 - a. Is t a multiple of 4?
False
Let a = 463 - 123. Does 10 divide a?
True
Suppose 23*m + 62*m = 21590. Is m a multiple of 9?
False
Suppose 0*u = u - 4. Suppose -u*h = -8, 2 = -3*l + 4*h - 0. Suppose 84 = l*p + 14. Is p a multiple of 12?
False
Suppose p - 5*p = -224. Does 7 divide p?
True
Let p(m) = -m - 3. Let z be p(-5). Let k = -22 + 25. Suppose -2 = -2*q, -z*s = k*s - 4*q - 296. Does 20 divide s?
True
Let o = -10 - -101. Let j be o + 5 + -3 + 0. Let z = j + -58. Is z a multiple of 25?
False
Let s(h) = 4 - h - h**2 + 2*h + h**3 + 5*h**2. Suppose x + y + 5 = 0, 13 = -3*x + 3*y - 5*y. Does 10 divide s(x)?
True
Suppose 5*c + 4*o = 4*c + 274, -5*c - 5*o + 1400 = 0. Let p = -171 + c. Does 22 divide p?
False
Suppose -6 = -2*h, 2*u - 2*h = 98 + 72. Is 4 a factor of u?
True
Does 71 divide 122774/(-69)*(-15)/10?
False
Is 58 a factor of -2 + (35/21 - 3830/(-6))?
True
Is 7 a factor of 297 - (2 - 2