 = 0. Suppose 0 = 5*h - 4*y - 1638, -2*h + w = 4*y - 341. Is h a multiple of 22?
True
Suppose -489*z = -503*z + 136612. Is 17 a factor of z?
True
Let l be (2 - 12) + (0 - 4). Let a = l + 13. Let d(m) = -64*m**3 + m**2 + m. Is 16 a factor of d(a)?
True
Is 83 a factor of (-1)/(-2)*6 - (66 - 6669)?
False
Let j(f) be the second derivative of -f**4/4 + 43*f**3/6 - 6*f**2 + 7*f. Let u be j(14). Suppose -2*b - 3*y = -177, b + 84 = u*b + 3*y. Is 6 a factor of b?
False
Suppose -2*g = 4, -200 = 3*o - o - g. Let z = -26 - o. Does 4 divide (-60)/z - 84/(-5)?
True
Let k be (4/10 + 1976/910)*-7. Let v = 94 - k. Is v a multiple of 28?
True
Let j = -171 + 175. Suppose j*v - 47 = 137. Is 30 a factor of v?
False
Let i(r) be the first derivative of r**4/4 - 10*r**3/3 - 4*r**2 - 22*r + 11. Let x be i(11). Let t = 45 + x. Does 8 divide t?
True
Let m(r) = -101*r + 5. Let x = 56 + -54. Let a(g) = -g**3 + 4*g**2 - 6*g + 3. Let q be a(x). Is m(q) a multiple of 10?
False
Let r = -3186 + 6839. Is r a multiple of 13?
True
Let b be (-4)/(-6) + 180/(-108). Is 2 a factor of b/2 + (-14)/(-4) + 5?
True
Suppose 0 = m - 3*v + 1081, -m - v - 561 = 524. Let f = m - -2224. Is f a multiple of 76?
True
Suppose -4*w - 4*q = 4, 51*w - 49*w - 3*q + 27 = 0. Is 6 a factor of (-2324)/(-9) + (w - 572/(-99))?
True
Let l(j) be the second derivative of 77*j**4/6 - j**3/2 + 3*j**2/2 + j. Let i = -382 + 383. Is 27 a factor of l(i)?
False
Suppose 3*f - 5*i = -321, -5*f - 291 = -2*f + 5*i. Let u = 427 + f. Is 25 a factor of u?
True
Suppose 4*r + 3*u = -27, 4*r + 26 = -0*r - 2*u. Let d = 11 - r. Suppose 0 = -5*p - 2*i - d + 77, -i - 36 = -3*p. Is 3 a factor of p?
True
Let l = -33 - -34. Suppose -18 = -4*w - 2*q, 5*w + l = -q + 19. Suppose 21 = r - 2*t - 107, 153 = r + w*t. Is 23 a factor of r?
True
Let p be 10/85 + ((-2960)/17 - -1). Let l = p + 329. Is l a multiple of 32?
False
Let a = 4287 + -2172. Is 9 a factor of a?
True
Let u(x) be the second derivative of 58*x**3 - 21*x**2/2 - 7*x + 2. Is 9 a factor of u(2)?
True
Suppose 30780 = 10*b + 35*b. Is 9 a factor of b?
True
Let h(q) = q**3 + q**2 + 14*q - 4. Let b be h(5). Suppose 179 + b = r. Is 52 a factor of r?
False
Let h(p) = -28*p - 31 + 18 - 3 - 3*p. Let v be h(-4). Suppose -5*y + 57 = -v. Is y a multiple of 11?
True
Let q be -60*(0 + 567/(-28)). Suppose 0 = -v + 2*m + q, -105*v + 107*v = 3*m + 2432. Is 12 a factor of v?
False
Let n = -41 - -49. Let p(u) = 2*u**2 - 9*u - 20. Let l be p(9). Suppose -m - n = -l. Is m a multiple of 18?
False
Suppose 0*q + 4*q = -k - 1182, 4*q - 4*k = -1192. Let t = -178 - q. Suppose -t - 50 = -8*o. Is 21 a factor of o?
True
Let h(l) = -1324*l**3 + 4*l**2 + 2*l + 5. Is 103 a factor of h(-2)?
True
Let z = 202 + -205. Is (-70)/z + (-5)/(-30)*4 even?
True
Let y(i) = 3*i**2 - 15*i - 13. Let t be y(6). Suppose -107 = t*w + 623. Let x = -132 - w. Is 14 a factor of x?
True
Let f(i) = 2*i**3 + 3*i**2 - 7*i - 6. Let w(x) = -x**3 + x - 1. Let s(u) = f(u) + 3*w(u). Let g be s(-7). Suppose g + 163 = 4*l. Does 28 divide l?
True
Suppose 117 = -9*j + 1305. Let c be j*(2/(-3))/(36/27). Is 8 a factor of 4/22 + (-3948)/c + -4?
True
Suppose 3668 - 5061 = -35*c + 5957. Is 3 a factor of c?
True
Let o = -142 + 134. Is 2 - o*(-101)/(-2) a multiple of 58?
True
Let d(p) = -11*p**3 - 3*p**2 - 2*p - 22. Is 14 a factor of d(-12)?
True
Suppose 2*u - 136 = -2*l, l = -u - 3*l + 68. Let n = u + -43. Suppose n*t = 28*t - 306. Does 10 divide t?
False
Let l(y) = 20*y - 54. Let k be l(3). Suppose i - 951 = 5*o, -11*i + k*i = 5*o - 4635. Is 29 a factor of i?
False
Let a(u) = -2*u**2 + 77*u + 29. Let z be a(32). Let n = z + -195. Is 5 a factor of n?
True
Let w(b) = -b**3 - 3*b**2 + 2*b + 7. Let v be w(-3). Suppose -4*y - 17 - v = -j, -j + 19 = -5*y. Is 2 a factor of j?
True
Let i = -151 + 160. Does 6 divide (i - 6)/((-5)/(-165))?
False
Let j(d) = -5*d**2 - 1 + 13*d**2 - 4 + d - d**3. Is 21 a factor of j(4)?
True
Suppose 610026 = 98*u - 441630 - 680200. Is u a multiple of 140?
False
Is (0/2 - 1)*1188*(9 - 11) a multiple of 15?
False
Suppose -3*m - 4*q = 1 + 2, -4*m - 4*q = 0. Let p(k) = k**3 + 7*k**2 - m + 84*k - 92*k + 7. Is p(-7) a multiple of 14?
False
Let a(q) = 2*q**2 + 22*q + 20. Let c be (322/(-92))/(1/4). Does 26 divide a(c)?
True
Suppose -7*j - 6 - 8 = 0. Let c(l) = -7*l - 10. Let n be c(j). Suppose -3*b = 4*v - 461, n*b - 3*v - 125 = 498. Is 25 a factor of b?
False
Let m be (0 + 6)/((54/(-24))/(-3)). Suppose -m*p - 26 = -50. Is -3 + p - (-17 - -4) a multiple of 3?
False
Suppose 36*x = 24*x + 49972 - 14560. Is x a multiple of 4?
False
Suppose 2*a - 31 = 31. Suppose 10*r - a*r = -3528. Does 28 divide r?
True
Suppose 0 = -5*j + 5 + 20. Suppose -20 = -j*z - 5*u, z = -z + u + 8. Is 20 a factor of -1*(-9*4 - z)?
True
Let g(w) = -30*w**3 + 13*w**2 - w + 17. Let k(a) = 13*a**3 - 7*a**2 + a - 8. Let s(m) = -3*g(m) - 7*k(m). Let h = 20 + -11. Does 10 divide s(h)?
True
Let k be (0 - 1)*(-4)/(-4)*-2. Let b be 8/(-3)*(-66)/k. Suppose -c - i = -44, 0 = -2*c + 2*i - 0*i + b. Is 11 a factor of c?
True
Suppose 15*k - w - 3781 = 14*k, -w - 18909 = -5*k. Does 31 divide k?
True
Let l(f) = -f**2 + 43*f - 209. Is l(9) a multiple of 4?
False
Let a(p) be the second derivative of -2*p**2 + 37/6*p**3 - 3/2*p**4 + 0 + 37*p + 1/20*p**5. Is a(16) a multiple of 19?
True
Suppose -w - 4*h + 19 = -318, 1653 = 5*w + 4*h. Suppose 0 = -5*o + 3*p - 91 - w, -3*p = -o - 84. Let c = 182 + o. Is c a multiple of 49?
True
Let b(a) = a**3 + 10*a**2 + 7*a - 3. Let u be b(-6). Let z(l) = l**2 + 10*l - 131. Let r be z(-18). Let h = u + r. Does 23 divide h?
False
Is 628/(-4)*(37 - 98) a multiple of 28?
False
Suppose 4*h = a + 3774, 22*a - 18*a + 8 = 0. Is 29 a factor of h?
False
Let u(s) = 143*s**2 - 7*s + 8. Suppose -2*d - 5*w + 16 = -1, -3*d + 5*w = 12. Is u(d) a multiple of 24?
True
Does 61 divide -379 + 10927 + (6 - 1)?
True
Suppose 4*o - 76*o + 5*o + 722528 = 0. Is o a multiple of 8?
True
Is 28 a factor of (-2 + (66/(-15) - 2))/((-6)/1760)?
True
Let m = 7453 - -39408. Is 28 a factor of m?
False
Suppose -3*x + 1049 = 236. Suppose q - 25 = -x. Let a = -176 - q. Does 11 divide a?
False
Let z = 1917 - -1411. Is z a multiple of 26?
True
Does 127 divide (412705/25 - -2) + 2/(-10)?
True
Let h(i) = 3*i + 35. Let q be h(-10). Suppose 3*v + 2*n = 7, 2*v - 2*n - 3 = q. Suppose v*d - 2*d = 54. Is d a multiple of 18?
True
Suppose 0*y - y = 21. Is y/(1 + 300/(-282)) a multiple of 6?
False
Suppose -10 = -17*w + 24. Is 23 a factor of (-10*45/(-18))/(w/26)?
False
Let z be (22/(-4))/(-1*(-1)/(-4)). Suppose -a = -3*r + 5 + 5, -3*r + 4*a = -z. Let t(y) = 78*y + 3. Is 10 a factor of t(r)?
False
Is 48 a factor of ((-8560)/(-2))/1*450/375?
True
Is 47 a factor of (-9 - (-30114)/56)/(1/4)?
True
Suppose 5*o + 12 = 7*o. Suppose -5*c - 103 = -y, 0 = o*c - 2*c. Is 18 a factor of y?
False
Suppose 11 = 5*u + 1. Let f(r) = 28*r**2 + 36*r**u - 1 - 12*r**2. Is 40 a factor of f(-1)?
False
Let y(m) be the third derivative of 13*m**4/3 + 4*m**3/3 + 68*m**2. Is y(2) a multiple of 21?
False
Let h(a) = 797*a**2 + 82*a + 318. Is h(-4) a multiple of 23?
True
Suppose 2*y + 10 = 0, -d + 2*y - y + 16 = 0. Suppose 2*l + d = -3. Is 2 a factor of (-4)/14 - 65/l?
False
Let z(n) be the second derivative of 1/5*n**5 - 4*n**2 + 0 + 1/4*n**4 - 37*n - 1/2*n**3. Is z(4) a multiple of 41?
False
Does 53 divide 4 + (-41)/11 - (-815184)/176?
False
Let q(u) = 0 + u**3 + 4 - 2*u - 3 + 6. Let x be q(0). Suppose -x*r + 5*r + 142 = 0. Does 25 divide r?
False
Let w be 10/2 + -5 + 2. Suppose 3*c + 4 = o + o, -w*o - 2*c = -4. Suppose 12 = o*r - 20. Is r a multiple of 6?
False
Let o(s) = 43*s**3 - s**2 + 1. Let v be o(1). Suppose -50*t + 49*t + v = 0. Let g = 83 - t. Is 23 a factor of g?
False
Let u = 177 + -169. Suppose m = -2*n + 539, u*n + 4*m + 274 = 9*n. Is n a multiple of 27?
True
Suppose 9*a - 1752 = -3*a. Let h be (-3)/((-6)/a)*3. Let j = h - 2. Does 31 divide j?
True
Is 144 a factor of (-1512)/(-49)*((-13090)/15)/(-11)?
True
Let s(z) be the second derivative of -z**6/5 - z**5/60 - z**4/24 - 7*z**2/2 - 26*z. Let m(t) be the first derivative of s(t). Is 4 a factor of m(-1)?
True
Suppose -5*j + 0*j + 3900 = 0. Is 72 a factor of j?
False
Let d be ((-84)/15 + 0)*10/(-4). Let c be 1852/14 + ((-12)/d)/3. Suppose c = -0*f + 6*f. Is 22 a factor 