- 118 = -3*t. Suppose -6*n + t + 14 = 0. Is n a multiple of 3?
False
Let l = 316 - -180. Let w = 1376 - l. Is w a multiple of 44?
True
Suppose 3*j = u - 54, 36 = -2*j + 4*u + u. Let h be (416/(-6))/(-2)*j/(-12). Suppose 0 = -54*k + h*k + 248. Is k a multiple of 9?
False
Suppose -2*l + 12192 = 3*t, 135*l - 139*l + 2*t = -24400. Does 19 divide l?
True
Suppose 2*a = -3*g + 8*g - 10, -25 = 3*g + 5*a. Suppose -6297 = -55*r + 9873. Suppose 5*t = 4*u - 2*u + r, -4*t + 2*u + 234 = g. Is t a multiple of 20?
True
Let u(b) = 1254*b - 7430. Is 7 a factor of u(17)?
True
Suppose 5*c - 84 = -2*c. Is 984 - c/(-6) - 1 a multiple of 40?
False
Suppose 1389 = d + 3*o, 5*d - 4*o = 7606 - 680. Let r be 2/(7/(d/4)). Suppose -4*b - 2*p + 333 = -p, -b + r = -5*p. Does 11 divide b?
False
Let q = -5 + 8. Let g be ((-40)/7)/((-14)/833). Suppose -g = -3*a - 4*c, -a + q*c + 68 = -67. Is a a multiple of 17?
False
Let l be 8/36 + 8732/(-9). Let a = -1479 - l. Let w = a - -808. Is w a multiple of 44?
False
Let z be (8 + (-95)/10)/(1/98). Let j = 193 + z. Is 2 a factor of j?
True
Suppose 9 = -o - 54. Suppose 6*i + i = -14. Is 14 a factor of ((-2)/(-3))/(123/o - i)?
True
Let u be (-3 - 0) + -2 + -1. Let v = 339 + -334. Does 38 divide (80/u)/v*(-219)/2?
False
Suppose 0 = 2*f - 4*w - 54994, 5*f + 28*w = 24*w + 137597. Is 30 a factor of f?
False
Let l = 9 - 5. Let s(z) = 14*z**2 + 4*z - 3. Let v be s(l). Let m = v - 153. Is m a multiple of 9?
False
Suppose 1101*s + 2*k = 1098*s + 2970, 2*s - k = 1973. Is 12 a factor of s?
False
Suppose f - 11 = -2*f - y, 2*y + 5 = 3*f. Suppose -3*q + 838 = 2*u + 345, -5*u = -f*q + 479. Does 7 divide q?
False
Let b(d) = 2*d - 19. Let j = 6 + 3. Let s be b(j). Is 15 + (0 + (1 - 1))/s a multiple of 15?
True
Let u(q) = q**3 + q**2 - 8*q + 6. Let h be u(2). Suppose -3*j + 461 = 2*g, -5*j - g = h*g - 769. Does 23 divide j?
False
Let i = -53 - -44. Is (-2)/i - (-1)/(9/502) a multiple of 13?
False
Let a be 810/(-2) + 0 + 0. Let g = a - -648. Does 27 divide g?
True
Suppose 6*d = -g + 9*d + 18, -17 = -4*g + d. Suppose g*a + 4*j = 352, 460 = -5*a + 9*a + 3*j. Is a a multiple of 14?
True
Suppose 149*v - 1248528 + 369425 - 280713 = 0. Is 7 a factor of v?
True
Let h be (-4 - 147/(-2))/(3/72). Suppose 5*m - 5*t - h = m, -4*m - 2*t + 1668 = 0. Does 34 divide m?
False
Let j(p) be the first derivative of -8*p**2 - 67*p - 70. Is 7 a factor of j(-9)?
True
Suppose -2*a - d + 2 = 0, 3*a - 2 = 6*a - d. Suppose a*h - 4*f - 1280 = -2*h, -h = -f - 644. Is 18 a factor of h?
True
Suppose 0 = -4*k + 3*d + 2963, 2*k - 2133 = -3*d - 656. Suppose 10*i - 15*i = k. Let q = i + 280. Does 22 divide q?
True
Suppose 0 = 359*j - 353*j - 194670. Does 12 divide j?
False
Let z be 55/(-11) - (-1 + -6). Suppose z*w = -25*w + 1863. Is w a multiple of 24?
False
Let s = -4 + 6. Let a(t) = 4*t**s + 1 - 11 + 0 - 5*t. Is a(5) a multiple of 13?
True
Let l(j) = -5*j**3 - 89*j**2 - j + 56. Let h(g) = 2*g**3 + 43*g**2 + g - 28. Let k(b) = -13*h(b) - 6*l(b). Is 68 a factor of k(8)?
False
Let m(j) = 2132*j**2 - 20*j + 54. Is m(3) a multiple of 138?
True
Let a(m) be the second derivative of 0 + 18*m - 1/12*m**4 + 3*m**3 - 21/2*m**2. Does 30 divide a(9)?
True
Suppose 0 = 5*s + n + 1118, 3*n - 333 = 3*s + 345. Let z = -126 - s. Does 14 divide z?
True
Let j(l) = -2932*l - 62. Is 33 a factor of j(-12)?
False
Let h = -25 + 204. Let g = h + -123. Is 6 a factor of g?
False
Let w = -8182 + 21967. Is 11 a factor of w?
False
Let h(w) = 75*w + 9. Let m be h(7). Suppose 6*d + m = 9*d. Suppose 3*b - 2 = d. Is b a multiple of 11?
False
Let w be (2370/(-12))/((-3)/(-6)). Let u = -311 - w. Is 28 a factor of u?
True
Is 41 a factor of 1720 + ((-11)/(-33) - 5/(-3))?
True
Let y = -12688 + 22944. Is y a multiple of 13?
False
Suppose -10*w = 25 + 15. Let n(g) = 3*g**2 + 4*g + 4. Is n(w) a multiple of 18?
True
Suppose -4*x + 92298 = 2*w - 93344, -5*x = -4*w - 232046. Is 85 a factor of x?
True
Suppose -15852 = -2*a - 4*v, 2*v + 9 - 7 = 0. Does 43 divide a?
False
Suppose 0 = 15*p - 508 - 5537. Suppose 4*c - 1275 + p = 0. Is 8 a factor of c?
False
Suppose -5*r + 0*b = -4*b - 2544, -4 = -b. Suppose 4*z - 272 = r. Suppose 4*t - 196 = 4*m, 4*t + m + 4*m - z = 0. Is t a multiple of 12?
False
Is (-8 + -344 - 26)*(-74)/6 a multiple of 14?
True
Suppose 0 = -4*h + 2*h + 4. Let v(i) = 15*i**2 - 29*i**2 + 4*i**h - i**3 - 2*i + 8. Is 7 a factor of v(-10)?
True
Let g(m) = 9*m**3 - 6*m**2 + 8*m - 27. Is 53 a factor of g(6)?
True
Let i be (-1 - 0)*(6 - 1). Suppose 396 = -19*k + 10*k. Let c = i - k. Does 4 divide c?
False
Suppose -363732 = -21*h - 31218. Does 29 divide h?
True
Suppose -69 = -2*f + 2*q + 57, 5*q + 255 = 4*f. Is 12 a factor of f?
True
Suppose -14 = b - 17. Is 25 a factor of b/(-6) + (-4002)/(-4)?
True
Let r be (-11)/(-33)*24*510/2. Suppose -3*j + r = 2*j + 5*x, -x = 4. Is j a multiple of 57?
False
Suppose 5*m - 134 = 286. Suppose -3*q - 3*q = -24. Suppose 3*l + 144 = 2*n, -3*n + 166 = q*l - m. Is n a multiple of 13?
True
Suppose 21*c = -9405 + 2811. Let m = c - -526. Does 11 divide m?
False
Does 25 divide 280/(-120) + (44571/9 - 1)?
False
Let u = 4 + 0. Let b(p) = -2*p**2 + 2*p - 3. Let j be b(u). Let y = -19 - j. Is y a multiple of 2?
True
Let f be (-460)/184*(9/(-5) - -1). Suppose 0 = -3*n - n + 12, -f*i = -n - 397. Does 40 divide i?
True
Suppose 4*u + 3*m - 2559 = 0, 3*u = u + 3*m + 1293. Suppose 0 = -2*d + 4*d + u. Let k = -186 - d. Is k a multiple of 15?
True
Let i = -187 - -189. Suppose 5*j = -0*q - q + 356, i*j = 5*q - 1834. Is 32 a factor of q?
False
Let f = 663 + 84. Let x(g) = -180*g - 5. Let j be x(-4). Suppose 0*o = -5*o + 5*n + j, 0 = -5*o - 3*n + f. Does 18 divide o?
False
Let k = 102 + -102. Suppose k = 30*d - 32*d + 50. Is 73/5 + 2 - (-10)/d a multiple of 17?
True
Is 5 a factor of 3224/5 - 1398/(-1165)?
False
Is 33 a factor of 4/(-8) + 7/(-56)*-231796?
True
Let f = -743 + 1759. Suppose -4*d + 4*u + f = 0, -d - 5*u = -269 + 9. Is d a multiple of 5?
True
Let p = -1295 - -2583. Is 28 a factor of p?
True
Let s(k) = -k**2 + 220. Let b be s(0). Let d = 322 - b. Is d a multiple of 51?
True
Suppose 0 = -33*y + 37646 + 43534. Does 60 divide y?
True
Let y(v) = 21*v**3 - 4*v**2 - 22*v + 10. Let i(s) = -14*s**3 + 3*s**2 + 15*s - 7. Let w(o) = 7*i(o) + 5*y(o). Is 17 a factor of w(2)?
True
Let g(z) = -z**2 + z + 2. Suppose -4*t + 12 = 0, -5*d + 22 = -3*t + 2*t. Let p be g(d). Does 11 divide (-402)/p - (-2)/(-6)?
True
Is 14/6 + 16489913/1353 a multiple of 35?
False
Suppose l = -r - 5 + 17, -2*l + r = -27. Let q(t) = t**2 - 13*t + 5. Let k be q(l). Suppose k*n = 2*p - 143, 0*n + 3*n = -5*p + 435. Is p a multiple of 21?
True
Let r(u) = 33*u - 213. Does 14 divide r(16)?
False
Let y = -88 + 86. Let w be y/(-3) + (-250)/(-3) + 0. Suppose 2*x - 3*n = w, 3*n - 137 = -4*x + 31. Does 3 divide x?
True
Let s be 150/2 - (7 - 11). Let r = s - -82. Does 3 divide r?
False
Let v = 36 - 32. Suppose -v*t = -3*t - d - 54, -2*t + 3*d + 111 = 0. Suppose -4*y + 243 = t. Is y a multiple of 6?
True
Suppose 30*h = 6*h - 168. Let q(p) = -28*p + 6. Is 15 a factor of q(h)?
False
Let i(l) be the second derivative of 0*l**2 - 1/20*l**5 - 3*l + 0 + 13/12*l**4 + 5/2*l**3. Is 5 a factor of i(14)?
False
Suppose 464360 = -21*v + 115*v. Is 7 a factor of v?
False
Suppose 13*r = 18*r - 30. Suppose r*m - 514 + 34 = 0. Is 8 a factor of m?
True
Suppose 2*w = 5*d - 2*w - 32, 2*d - w = 11. Let q be d/18 + (-14)/63. Suppose q*v = 2*v - 138. Is v a multiple of 13?
False
Suppose -45*g = -q - 46*g + 1309, 5*g = -25. Does 9 divide q?
True
Suppose -y - 16 = -3*l, l = -2*l + 5*y - 4. Does 3 divide (21/12)/(l*5/420)?
True
Suppose 0 = -25*t + 29*t - 1216. Let z be (28 + 112)/((-4)/6 + 0). Let b = z + t. Is b a multiple of 29?
False
Let l = -728 - -1003. Is 7 a factor of (l - 1) + -1*8?
True
Let u(g) = -g**3 + 4*g**2 + 7*g - 107. Let d be u(6). Let n = d - -207. Is 5 a factor of n?
True
Let l = -136 + 139. Suppose h - 1084 = -l*z, 5*z - 3*h - 1107 = 723. Does 43 divide z?
False
Suppose 11*m + 6 = 14*m. Suppose -k + 212 = 3*t, -3*t + 5*t = -m. Suppose -11*w + k = -6*w. Is 8 a factor of w?
False
Suppose r + 2 = v - 2, -6 = -r - 4*v. Let c be r/8*-2*0. Suppose 5*x = 9*x + 20, c = 3*w + 2*x - 545. Is w a multiple of 20?
False
Let l be -7 + (-8)/32*-1724. Let h = 1874 - l. Is 25 