 -3*k + n = -4*k + 270. Is k a multiple of 27?
True
Let r(q) = 2*q**2 + 17*q - 4. Let n(c) = 2*c**2 + 16*c - 3. Let z(v) = 5*n(v) - 4*r(v). Let u = 151 - 161. Is 13 a factor of z(u)?
False
Let m be (4/10)/(-1 + (-12)/(-10)). Suppose -4*w + 10 - m = 0. Suppose -w*p + 9*p = 371. Is p a multiple of 7?
False
Let u be (-11568)/30*30/(-12). Let k = u + -470. Is k a multiple of 26?
True
Does 92 divide (-1)/(9/6)*204372/(-168)?
False
Let s(u) = u**3 - 35*u**2 + 36*u - 67. Let r be s(34). Is 58 a factor of (8360/266)/(r/7)?
False
Suppose 47*j + 134 = 46*j. Let y = j + 137. Does 3 divide (13 + (0 - -4))*y?
True
Let f(x) be the first derivative of -9*x**2/2 - 15*x + 15. Let p be f(-9). Is p + (6/3 - -2) a multiple of 14?
True
Let v(c) = 2*c + 24. Let f = -49 + 40. Let h be v(f). Suppose h*w = w + 700. Is 28 a factor of w?
True
Suppose 376 + 1159 = 2*o - x, 4*x + 778 = o. Suppose 3*p - 2*g - 599 = 0, 0 = 5*p - 2*g - o - 227. Is p a multiple of 25?
False
Suppose 0 = 5*v + 4*f - 48, 3*v + v - 33 = -5*f. Suppose -4*t + 0*t + l + 14 = 0, -3*l = -2*t + v. Let b(d) = 17*d**2 - 4*d + 3. Does 12 divide b(t)?
True
Suppose 0 = -w + 8*z - 4*z - 18, -4*z + 16 = -2*w. Let k = -302 - -306. Suppose 5*h + 5*p = 605, -k*h = -w*h + 3*p - 246. Does 39 divide h?
True
Let b = 83 + -75. Suppose 10 + b = 3*f. Suppose r + 68 = 2*h, h + 4*r - f - 10 = 0. Is 16 a factor of h?
True
Suppose 12*x = -14*x + 2539788 - 539712. Is x a multiple of 27?
False
Let r(f) be the first derivative of f**4/4 + 7*f**3/3 + 3*f**2/2 - 3*f + 91. Suppose 0 = c - 4 + 9. Is r(c) a multiple of 3?
False
Let a = -40 + 78. Let x = a - 46. Let d = 56 - x. Is d a multiple of 10?
False
Suppose -5*i = -4*v - 10, 4*v + 0*v = 4*i - 8. Let g(r) = 2*r**2 + 2*r + 4. Let f be g(v). Suppose -f*j = 4*q - 404, -3*q = j - 3*j - 318. Is 21 a factor of q?
False
Let c(r) = 65*r**2 + 3*r + 1. Suppose 10 - 4 = -6*n. Let p be c(n). Suppose -p = -2*f - f. Is 21 a factor of f?
True
Let r(s) = s**3 + 14*s**2 + 13*s. Let m be r(-13). Suppose -4*f + 2*d + 1208 = m, -2*f = 8*d - 10*d - 604. Does 11 divide f?
False
Is -468*(0 + 2)/((272/289)/(-4)) a multiple of 51?
True
Let t(x) = 6*x + 20. Let s(q) = -6*q - 21. Let o be (14/4)/(-7 - 13/(-2)). Let b(y) = o*t(y) - 6*s(y). Is b(-13) a multiple of 8?
True
Let p(s) = -s**2 - 31*s - 95. Let x be 5/20 - (-55)/20 - 30. Is p(x) a multiple of 13?
True
Let g(b) = 17*b**2 - 174*b + 227. Does 9 divide g(22)?
False
Suppose -3*w - l = 4, 6*w - w + 3*l = 0. Let z be (2/(-8))/((w/764)/3). Suppose y = -2*d + z, 561 = 3*y - 0*d + 2*d. Is 13 a factor of y?
False
Let a be 5 + (47 + 2)/(-7). Is (-1400)/(-126) - a/(-18) a multiple of 6?
False
Let b(p) = 7*p**3 + 125*p**2 - 25*p - 16. Does 55 divide b(-18)?
True
Let u be 64/10*(-5)/(-2). Let s(i) = -i**3 + 18*i**2 + 20*i - 12. Let l be s(u). Suppose 133*x - 137*x = -l. Is 40 a factor of x?
False
Let q(r) = -r**2 - 3*r - 2. Let w be q(-2). Suppose -25 = 5*d - w*d. Let p = 6 - d. Is p a multiple of 9?
False
Let l(u) = 52*u**2 - 38*u - 13. Is 17 a factor of l(-7)?
False
Let t = -47 + 25. Let g be 2*4/7*(-364)/(-8). Let r = g + t. Is r a multiple of 9?
False
Suppose 1880*s + 49302 = 1883*s. Is s/(-9)*(-3)/6 a multiple of 11?
True
Let l(v) = -2*v - 233. Let i be l(-52). Is 3 a factor of 7 + i*(-3)/9?
False
Let g be (288/(-20))/8*-10. Does 99 divide (-495)/2*g*(-12)/90?
True
Suppose 0 = 5*x - g - 30133, 3*x + 4*g - 8161 = 9928. Is 12 a factor of x?
False
Let c(o) be the second derivative of -13*o**3/3 - 91*o**2/2 - 358*o. Suppose -4*q = -2*h + 8, 6 + 7 = -3*h + q. Does 8 divide c(h)?
False
Suppose k = -42 + 40, -k - 542 = -5*w. Suppose -o = -4*m - 20, -o - 2*m = -m + 5. Suppose c - w = 5*v, o = -5*c - v + 707 - 219. Is 12 a factor of c?
False
Let f = 519 - -2537. Does 19 divide f?
False
Suppose -2*p = -4*c, p - 13 + 9 = -2*c. Is 29 a factor of (-2)/(-1) - (p/(-2) + -71)?
False
Suppose -3*n - 4*k + 16 = -98, -2*k + 6 = 0. Suppose 3*l - 121 = -n. Does 25 divide l?
False
Suppose 125*q - 672 = 132*q. Let u = 43 - q. Does 4 divide u?
False
Suppose -2*l - 5*i - 14 = 0, 3 = 3*l + 2*l + 3*i. Suppose -3*g = -a - 661, 8*g - l*g - a = 1103. Is 13 a factor of g?
True
Suppose 1197 = b - p, 2*p - 3566 = -9*b + 6*b. Suppose -8*a - b = -4*d - 6*a, -2*a = -2*d + 594. Is d a multiple of 21?
False
Let y = -42 + 46. Suppose 4*z + 3*h - h - 198 = 0, 32 = z + y*h. Let x = 67 - z. Does 2 divide x?
False
Suppose -16*x + 19*x - 78 = 0. Suppose 4*p - g - 26 = 0, 2*g - x = -9*p + 4*p. Is p even?
True
Let z = -68 + 345. Let o = -121 + z. Does 14 divide o?
False
Let c(l) = -l**3 + 4*l**2 - l - 4. Let a be c(3). Let j be ((-120)/(-14))/(3/42). Suppose -u = a*q - j, 2*u - 6*u = -5*q - 519. Is 14 a factor of u?
True
Let n(k) = 27*k + 579. Is 156 a factor of n(37)?
False
Let z = 1349 + 4906. Does 6 divide z?
False
Suppose -5*b = 5 + 130. Let h = 29 + b. Suppose -h*i = 4*i - 624. Is i a multiple of 26?
True
Suppose -140*p + 144*p - 1853 = -k, 0 = 3*p - 12. Is k a multiple of 11?
True
Let t be 1*(-1 + (-2 - -10)). Suppose 3*v = d, -2*d = -7*d - 3*v. Suppose -t*c - 216 + 1343 = d. Does 24 divide c?
False
Let q be ((-2)/(-2))/(1 + 0). Let h(g) = -84*g - 424. Let z be h(-5). Is 0 + q - -115 - z a multiple of 40?
True
Suppose 3*d = -3*z + 1830, 3*z = -z - d + 2425. Does 13 divide z?
False
Let t(n) = 5*n**2 - 10*n + 30. Suppose 10*q = 4*q + 36. Is 30 a factor of t(q)?
True
Suppose 5*w - q - 99 = 2*q, q = -2*w + 44. Let m be ((-28)/w)/(4/1446). Does 17 divide m/(-6) - (-4)/6?
False
Is 4/16 - (-570)/(-304)*(-242506)/5 a multiple of 19?
False
Suppose 4*l = 928 + 192. Let w be ((-4)/14)/((-20)/l). Suppose w*s - 219 = 209. Is 5 a factor of s?
False
Suppose -2*u + 6 = 2*y - 0*u, u = -2*y + 10. Let v(w) = w - 7. Let d be v(y). Suppose a - 5*t - 84 = d, -4*a + 292 = 4*t + 52. Does 16 divide a?
True
Let j(a) be the third derivative of 0*a + 4*a**2 + 5/3*a**3 + 0 + 5/12*a**4. Is j(10) a multiple of 11?
True
Suppose 5*g - 48540 - 49404 = g. Does 30 divide g?
False
Let c = 1023 - 1266. Is 8/((-32)/6) - c/2 a multiple of 24?
True
Suppose 15*s - 55 - 20 = 0. Suppose -3*n + 454 = 2*d - s*n, -4*d - n + 893 = 0. Is d a multiple of 14?
True
Suppose 59*g - 239563 = 297042. Is 85 a factor of g?
True
Let v = 31217 - 22661. Is v a multiple of 124?
True
Let s(p) = -35*p**2 - 7*p + 7. Let i be s(1). Let u = i + 359. Does 18 divide u?
True
Suppose 61 - 178 = -13*q. Suppose -q*m = 5*m - 19824. Is m a multiple of 24?
True
Does 78 divide (-16)/(80/10) - -1079?
False
Suppose 44 = 4*v + 9*f - 7*f, -2*f + 17 = v. Suppose -q + 255 = 4*s, 12 - v = -3*q. Is 3 a factor of s?
False
Let k = 53 - 51. Let l(f) = -3*f + 2*f - 6*f**k + 46*f**2 - 1 + 3*f. Is 11 a factor of l(1)?
False
Let t be 1 - (-15)/(-5) - (0 - 11). Suppose t = 3*u - 162. Suppose -2*d = -3*c - 73, -3*c + u = 4*d - 62. Is d a multiple of 3?
False
Let v = -413 + 427. Let z(d) = -d**3 + 15*d**2 + 19*d - 46. Is z(v) a multiple of 8?
True
Let b(g) = -8*g**2 - 2*g - 74. Let j(n) = -8*n**2 - 3*n - 74. Let h(a) = -5*b(a) + 4*j(a). Is 27 a factor of h(-9)?
False
Let n = 5366 - -1162. Does 96 divide n?
True
Let y be 5 + -4 - (-5 - -2 - 1730). Suppose 0 = 19*q - y - 22149. Is 27 a factor of q?
False
Let y = 1293 + 5488. Is 8 a factor of y?
False
Suppose x - 4*f + 52 = 3*x, -x + 1 = -3*f. Suppose d - 4*d + x = 5*c, -d - 2*c + 6 = 0. Suppose 32 = 4*q + 2*j, d - 6 = -2*j. Does 7 divide q?
True
Let h be -4 - ((-204)/(-4))/(-1). Suppose 0 = d - 182 + h. Suppose -4*m = -w + 42, -5*w - 3*m = 2*m - d. Does 6 divide w?
True
Let m = 7631 + -5183. Does 17 divide m?
True
Suppose 0 = 77*s - 70*s - 10913. Suppose 8*i - 12*i - w + s = 0, -i - 5*w + 404 = 0. Is i a multiple of 12?
False
Suppose 282*x - 275*x - 20349 = 0. Is 30 a factor of x?
False
Let u(c) = 955*c + 778. Is 148 a factor of u(5)?
False
Does 54 divide (199/(-5) - -2)/(2/(-20))?
True
Suppose 5253*x + 90 = 5248*x. Suppose 2*o = 5*z - 34 - 2, -2*o + 18 = 4*z. Is 3 a factor of (135/x)/(z/(-20))?
False
Let m be 2/(-12) - (-14)/84. Suppose 4*v - 5 = 4*b - 1, m = 4*b - 2*v. Suppose d + b - 41 = -2*l, 0 = 2*d. Does 13 divide l?
False
Suppose -3*i + 5*s + 10388 = 0, i = -6*s + 3*s + 3444. Is i a multiple of 11?
False
Let f(m) = 2170*m**2 - 31*m - 76. Is f(-4) a multiple of 10?
False
Suppose -2706 = -10*d + 10*d - 33*d. Does 2 divide d?
Tr