Let h be (-8393)/(-28) + ((-21)/p - -2). Does 14 divide (26/8)/(15/h)?
False
Suppose 0 = t - 4*i - 333, -6*t + 14*t - 2496 = 4*i. Does 8 divide t?
False
Let x(k) = -174*k - 225. Is x(-4) a multiple of 35?
False
Let g = 219 - 195. Does 2 divide (-74*9/g)/((-3)/4)?
False
Let o = -3533 + 7241. Does 4 divide o?
True
Suppose -71*q + 1861238 = -445057 + 573611. Does 10 divide q?
False
Suppose -372*v + 362*v + 3630 = 0. Is v a multiple of 33?
True
Suppose -237*w + 217*w = -81800. Does 10 divide w?
True
Let x = -25365 - -45475. Is 13 a factor of (-8)/(-12) - x/(-30)?
False
Let c(h) = -48*h + 34. Let p be c(-5). Let f be 3*-1 + (-770)/(-11). Suppose -2*d + 2*q = 2*d - p, -d + f = -q. Does 11 divide d?
False
Let x(m) = -6*m + 25. Let i be x(4). Let q(d) = 94*d - 3. Is q(i) a multiple of 13?
True
Let a = -329 - -333. Suppose -s = -a*m + 3*m - 358, -2*m = 8. Does 11 divide s?
False
Let n(p) = 29*p - 62. Let q be n(4). Suppose 2*y = -3*w + q, -2*y = -2*w + y + 49. Does 10 divide w?
True
Let t(u) = -10*u**3 - u - 1. Let f be t(-1). Suppose -3*x = -2*c + 223 + 528, 2*x + f = 0. Does 23 divide c?
True
Let p = -16297 - -30399. Is p a multiple of 13?
False
Let q(a) = -18*a + 3158. Does 52 divide q(31)?
True
Let c(y) = -29*y**3 - y**2 - y - 1. Let m be c(-4). Let o = 829 - m. Is o/(-9)*12/8 a multiple of 13?
True
Let a = -2483 - -1099. Is 16 a factor of a/(-12) + 0 + (-10)/(-15)?
False
Let g(p) = 1817*p**2 - 13*p - 14. Is g(-2) a multiple of 8?
True
Suppose -17*r - 2*t = -15*r - 19440, -2*t = 3*r - 29165. Is 25 a factor of r?
True
Suppose 0 = -4*q - 5*d - 1501, -3*q - 3*d - 1117 = -d. Let s = q + 1006. Is s a multiple of 49?
True
Let u = -31 - -30. Let c be (2/(-6))/(u/15). Suppose -9*j + 560 = c*j. Is j a multiple of 21?
False
Suppose 5*x = 173 - 48. Let a(i) = x - 45 + 16 + 50*i. Does 12 divide a(2)?
True
Let u(p) = p**3 + 35*p**2 + 138*p - 34. Is 39 a factor of u(-19)?
True
Let l(g) = 77*g**3 + g**2 + 2*g + 1. Let k be l(-1). Suppose -649 = -6*h + 347. Let x = h + k. Does 40 divide x?
False
Let f = -17 + 22. Let i be 0*(5/f - 2). Suppose -7*o + 14*o - 945 = i. Is o a multiple of 27?
True
Let l = 80 - -146. Suppose 0 = -15*u + 1101 + 684. Let n = l - u. Is n a multiple of 21?
False
Let v be (-8)/(-10)*(-42 - -1247). Let r = v - 556. Is r a multiple of 17?
True
Let j be ((-25)/(-2) - 0)*-2. Does 61 divide j*(-49 + 1 + -4 + 6)?
False
Let d be 7/(210/(-80))*(-6)/8. Suppose 2*v - 248 - 18 = -d*l, 3*l - 389 = -v. Does 57 divide l?
False
Let g(u) = 5*u**3 + 10*u**2 - 43*u + 456. Is g(14) a multiple of 18?
True
Let w be (3/(-6))/(-4 - (-39915)/9978). Let r = w - -2879. Is 38 a factor of r?
True
Let m = 549 - 389. Suppose -14*a = -16*a + m. Is 17 a factor of a?
False
Suppose 35 = 3*p + 2*q - 6*q, 2*p + q = 16. Let o(b) = -b**3 + 11*b**2 - 14*b - 1. Let g be o(p). Suppose -2*t + 133 = g. Is 8 a factor of t?
False
Let u = -399 - -748. Let w = u - -371. Does 40 divide w?
True
Let l = -444 + 2607. Is l a multiple of 112?
False
Is ((-63)/2 - 1)*355212/(-585) a multiple of 78?
True
Let b = -40 - -43. Suppose 3*y - 4*q - 872 = -b*q, -5*y = -2*q - 1454. Suppose -y = 3*w - 8*w. Is w a multiple of 14?
False
Let p = 28 - 28. Suppose -3*w + 705 = -p*a + 5*a, 4*w = -3*a + 951. Suppose w = -4*c + 8*c. Does 11 divide c?
False
Suppose 3*s - 5*s - y + 8398 = 0, -12604 = -3*s + 2*y. Does 150 divide s?
True
Let o be 5/(-10) - (16305/(-6))/5. Suppose -o + 83 = -i. Is i a multiple of 64?
False
Let z = 1776 + -1391. Does 10 divide z?
False
Let b(c) = 2*c**3 + 95*c**2 - 110*c - 329. Is 15 a factor of b(-47)?
True
Let r be 5 - (-5)/((-10)/42). Let w(m) = m**3 + 16*m**2 + m + 19. Let c be w(r). Does 16 divide (96 + -5 - -2) + c?
True
Let a(w) = 11*w + 35. Let f be a(-12). Let s = f + 165. Suppose -5*y - t + 68 = -236, 2*t = -y + s. Is y a multiple of 15?
True
Let a(f) = 3*f**2 + 12*f - 6. Let y be a(-5). Suppose -2*w + 934 = 4*i, y*i - 4*w = 4*i + 1148. Is 8 a factor of i?
True
Let m = 14 + 21. Does 9 divide (-3)/21 - (-5920)/m?
False
Let l = 19498 - 11473. Does 15 divide l?
True
Let p = -3303 - -1309. Let x = -1234 - p. Is 13 a factor of (-18)/(-15)*x/16?
False
Let f(x) = -19*x + 45. Let w(c) = -19*c + 47. Let m(n) = -5*f(n) + 4*w(n). Does 3 divide m(4)?
True
Suppose x = -2*c + 13037, -18435 = -4*c + 2*x + 7651. Does 10 divide c?
True
Is 35 a factor of (-89940)/(-48) + -15 - 6/8?
False
Let p be (-4)/10 + (-235)/(-25) + -2. Suppose p*q - 3071 = 513. Does 8 divide q?
True
Let w be ((-4)/(-6))/(0 + 3/2223). Suppose 46 = -4*g + w. Is 14 a factor of g?
True
Suppose 19*p = 196*p - 5686412 + 730589. Does 51 divide p?
True
Let t be 0/(2 + -3) - -30. Let g = -5416 - -5419. Does 4 divide t/(-12)*(-78)/g?
False
Let m be ((-330)/8)/((-253)/44 + 6). Let w = 35 - m. Does 4 divide w?
True
Suppose -5*q = -15, 813 = -4*s + 28*q - 29*q. Suppose -3*a = -71 - 1066. Let t = s + a. Is 10 a factor of t?
False
Let s = 314 + -305. Let l(m) = -m**3 + 11*m**2 - 74. Is l(s) a multiple of 8?
True
Let w = 16 + -13. Suppose -t = -0*t - w. Suppose 0*h + h = t*o - 299, 0 = -5*o - 4*h + 487. Does 11 divide o?
True
Is 115358/3 - (-438)/(-657) a multiple of 123?
False
Let y = 117 - 117. Suppose 2*v - 29 - 26 = 5*z, y = -3*v + 5*z + 85. Let o = v + -5. Does 6 divide o?
False
Let l(x) be the first derivative of 8*x**2 - 42*x - 67. Is l(9) a multiple of 61?
False
Let d be 2/(-3)*((-11925)/18 - -4). Suppose z - 323 = 4*i, -5*i - 134 + d = z. Is 45 a factor of z?
True
Suppose 5*y = -w + 31, y + 2*w - 9 = -w. Does 24 divide (8/y)/(-4 + (-511)/(-126))?
True
Suppose 22 = 2*u + 89*v - 85*v, u - 16 = -3*v. Does 12 divide ((-23545)/680)/(u/(-8))?
False
Suppose -43*l = -387862 - 43471. Is l a multiple of 30?
False
Let n = 359 - 208. Suppose -3*o = 2*u - n, 3*u - 2 - 4 = 0. Does 2 divide o?
False
Suppose -l + 227 = 5*z, -22*z = -20*z + 2*l - 94. Suppose 24 = 3*h - 3*c - 9, 4*c + 22 = 2*h. Suppose 2*x = z + h. Is x a multiple of 7?
True
Suppose -v = -2*g, -g - v + 11 - 5 = 0. Suppose -2*b + 654 = 4*a - g*a, 3*b - 1005 = 5*a. Is b a multiple of 11?
True
Let u(y) = -135*y + 52. Let n be u(-3). Let j = 610 - n. Is j a multiple of 7?
False
Let h(x) = x**2 - 71*x - 459. Does 29 divide h(-7)?
True
Let u be (4/(-12))/((-2)/3)*8. Suppose -2*n - r + 28 = 0, u*n = 5*r + 27 + 29. Is 10 a factor of n?
False
Let i(c) = c**2 + 292*c + 5067. Is i(0) a multiple of 6?
False
Suppose 2*s - 4860 = -5*w, -4*s + 368*w = 364*w - 9692. Is 79 a factor of s?
False
Let q(z) = -9*z + 206. Let m be q(21). Suppose -m*x + 2550 = -0. Is 14 a factor of x?
False
Suppose 2*j - 6*j = -2*j. Suppose 3*n - 2321 = -4*o, -3*o + 2*n + 2005 - 260 = j. Does 73 divide o?
False
Let b = -1893 + 18956. Is 151 a factor of b?
True
Let w = -46786 + 71458. Is 32 a factor of w?
True
Let z(b) = b**3 + 4*b**2 + 2*b + 5. Let v be z(-3). Let t be v/6*(-6)/(-4) + 2. Suppose t*j - 5*h + 2*h - 248 = 0, 2*h = 3*j - 187. Is j a multiple of 13?
True
Let s = -19 - -34. Suppose r - 4*q + 10 = -r, 3*r = -4*q - s. Is ((-42)/r)/((-27)/(-90)) a multiple of 7?
True
Let v = 9 + -16. Let b(q) = -2*q - 6. Let u be b(v). Let d(i) = 20*i - 17. Is 30 a factor of d(u)?
False
Suppose -f = 9 - 30. Let g = f + -61. Let v = -32 - g. Is 8 a factor of v?
True
Let l(v) = 468*v**3 - 4*v**2 + 16*v - 26. Is l(2) a multiple of 19?
False
Let y = 114 - -14222. Is 11 a factor of y?
False
Suppose 3*s - 33 = -21, 22740 = 4*r + 11*s. Is r a multiple of 36?
False
Let i be (1 + (-1)/3)/(32/1536). Suppose 4*j + 8 = -2*f + 40, -i = -4*j - 4*f. Is 8 a factor of j?
True
Let w = 8185 + 4412. Is 13 a factor of w?
True
Suppose -2*i + 25 - 21 = 0. Let j(d) = 0 + 2 + 0 - 48*d + i. Does 10 divide j(-2)?
True
Let h(j) = -j**2 - 4*j + 384. Is h(12) a multiple of 191?
False
Let z be 3/(-1) + 4/(-8)*-134. Let m = -62 + z. Suppose 2*i + 5*v = 21, 0*i = 4*i - m*v - 6. Is i a multiple of 3?
True
Let d = -52 - 59. Let j = 811 + d. Is j a multiple of 70?
True
Let h(o) = 4384*o + 332. Is h(2) a multiple of 350?
True
Let x = -6428 + 13620. Does 62 divide x?
True
Let l be (0 - (-1)/3)/(14/210). Suppose 0 = y - 3*x + l, -x = 4*y + 72. Let z = 32 - y. Is z a multiple of 13?
False
Let n = 169 + -163. Suppose -12*a + n*a = -702. Is a a multiple of 3?
True
Let q be (33873/(-35))/((-9)/30). Suppose q + 20102 = 32*c. Does 27 divide c?
True
Let g(l) = -l**3 +