e 4*h = 2*h - 6, 4*j = -2*h + 2782. Suppose 2*p - j = -0*b + 5*b, -2*b = -2. Is 64 a factor of p?
False
Let t = 8862 + -8577. Is 15 a factor of t?
True
Let f(d) = 3*d - 23. Let l be f(7). Is 1 + -2 - ((l - -2) + -103) a multiple of 15?
False
Let b(v) = -193*v + 1744. Is b(-17) a multiple of 5?
True
Suppose -2*m = -4*y + 60316, 0 = -2*y - 5*m + 18650 + 11520. Is 130 a factor of y?
True
Let z be -3*(-42)/(-9)*14/4. Let v = z - -67. Let n = v - -6. Does 4 divide n?
True
Let r be (14 - (8 - 5)) + -4. Suppose 0 = 5*q - r*q - 2*h + 46, 9 = 3*h. Suppose 0 = 19*l - q*l + 160. Is l a multiple of 40?
True
Suppose 2*b - 418 = -392. Suppose -805 = -b*u + 3147. Does 8 divide u?
True
Suppose 8 = -5*q - 2, -2*q = 2*n - 30. Let k(y) = -7*y - n*y - 13 + 11*y. Is k(-9) a multiple of 12?
False
Let p(a) = 2*a**3 - 7*a**2 - 2*a - 3. Let h be 2*-1*((-12)/4 + 1). Let i be p(h). Suppose -5*j + 0*j + i*s + 1545 = 0, 4*j - s = 1221. Is 38 a factor of j?
True
Suppose -24*a - 84 = -12. Is 27 a factor of a/((-42)/35)*184?
False
Suppose 207344 - 1039160 = -36*y. Does 6 divide y?
True
Let c be -1 + -1 - (-1 - (9 + -2)). Does 14 divide (-1415)/(-3) + -9 + 56/c?
False
Let x = 58 - 49. Suppose 0 = 5*m - 8*m + x. Does 11 divide (570/20)/(m/8)?
False
Let l(m) = -34*m - 2. Let r(c) = c**3 - 2*c**2 - c - 8. Suppose -5*i + 2*g + 23 = 0, -3*i + 3*g + 7 = -14. Let f be r(i). Is 12 a factor of l(f)?
False
Let o(f) = 13*f - 48. Let c be o(4). Suppose 0 = 3*b + c*l - 1903, 3*b = -8*l + 3*l + 1901. Is b a multiple of 13?
True
Let j(n) = -80*n + 1. Let a be (12/36)/((-1)/9). Let s be j(a). Let p = s - 121. Is p a multiple of 60?
True
Suppose -214*r - 1083425 = -249*r. Is r a multiple of 311?
False
Let z = -10925 + 19053. Is 32 a factor of z?
True
Suppose 4*m + m = 15. Suppose 4*r = m*p + 13, 4*p + 5*r = -0*r - 7. Is 21 a factor of (-2)/(-4)*-3*236/p?
False
Suppose -5*s - 4*r = 5, 4*s = 7*s - 5*r + 3. Let h be (-15)/(-4 - -2 - s). Suppose b - 3*d + 3 = 20, -b + d = -h. Is 14 a factor of b?
True
Let l = 6565 + -5157. Is l a multiple of 64?
True
Let l = -328 + 304. Is 6020/(-7)*l/15 a multiple of 16?
True
Let r(h) = -3*h - 8. Let i(d) = -d - 4. Let b be i(0). Let p be r(b). Suppose -p*z = -124 - 32. Is 13 a factor of z?
True
Let k(x) = x - 8. Suppose 2*v + 2 = 0, 4*v + 4 = h - 2. Let n be k(h). Is 3 a factor of 27/n*(-4)/6*3?
True
Let j be 55/(-2)*(-102)/(-85). Let s be 342/(-5) - 2/(-5). Let h = j - s. Is h a multiple of 5?
True
Let p be 2*54/(-7)*(-210)/2. Let n = p - 960. Is n a multiple of 43?
False
Suppose -2*i + 716986 = 15*i + 20*i. Is 14 a factor of i?
False
Suppose j - 16 = -0*j - 4*p, 0 = -4*j - 4*p + 16. Suppose -2*y + 13 + 87 = j. Is 2 a factor of y?
True
Let t(h) = 4*h. Let r be t(8). Suppose r*y = 22*y + 1410. Is y a multiple of 21?
False
Let n = -34 - -31. Let i(p) = -3*p**3 + 15*p**2 + 4*p - 4. Let y(v) = -2*v**3 + 8*v**2 + 2*v - 2. Let t(l) = 3*i(l) - 5*y(l). Is 3 a factor of t(n)?
False
Suppose -5*f - 3*s + 661 = 0, -5*f + 665 = 8*s - 3*s. Suppose 0*q = -5*w + 2*q + f, 5*w - 145 = -5*q. Suppose 0 = g - w - 9. Is 12 a factor of g?
True
Let u = 45710 - 40958. Is u a multiple of 10?
False
Let k be 1/((-6)/(-2)) - (-3476)/12. Suppose 36*s = 38*s + k. Let o = s - -215. Does 8 divide o?
False
Let c = 855 - -6603. Let q = 2 - 5. Is (2/q)/((-44)/c) a multiple of 7?
False
Suppose -4*v = -l + 19582, 4*l - 19581 = 3*l + 3*v. Is 76 a factor of l?
False
Let j be (1/2)/((-2932)/2936 - -1). Suppose z - j = -67. Is z a multiple of 6?
True
Let t(w) = 3*w**3 - 35*w**2 - 279*w + 11. Is 100 a factor of t(21)?
True
Suppose -7 - 11 = -q - 5*x, 3*x = 3. Let l be (-1)/(8/(-26)) + q/(-52). Suppose 78 = t + 4*s, 2*t = l*s - s + 106. Is t a multiple of 29?
True
Let u = 4337 + -2393. Suppose 6025 - u = 5*f + 2*z, z = -4*f + 3266. Is f a multiple of 43?
True
Suppose -6*x + x = k + 19, -k + 3*x = 27. Let c = k + 73. Is 7 a factor of c?
True
Suppose -76*c + 93912 = 34632. Does 3 divide c?
True
Let j = 39 - 59. Let c = 38 + j. Does 9 divide ((-76)/(-8) + -4)*c?
True
Let c be 6 - (-1 - -7) - -2. Is -15*(c - (-102)/(-30))*1 a multiple of 21?
True
Let z = -111 + 131. Let p(d) = -34*d - 12*d + z*d + 48. Is 12 a factor of p(-8)?
False
Suppose 55*v - 49*v = 180. Let c(j) = 3*j**2 - 83*j - 57. Is c(v) a multiple of 9?
True
Suppose -10*l = -463 + 593. Does 10 divide -1 - (7 + l) - -555?
True
Let i(m) be the first derivative of -m**4/4 - 3*m**3 - 4*m**2 + 12*m - 47. Let k = -15 - -6. Does 14 divide i(k)?
True
Suppose 0 = 5*d - 2*h - 74, 2*d + 4*h - 14 = 6. Suppose -d*s + 30 = -4*s. Suppose 0 = -4*t + 5*v - 4*v + 84, -s*t + 52 = 2*v. Is 10 a factor of t?
True
Does 4 divide ((-119990)/507)/(2/(-12))?
True
Suppose -12 = -10*q - 32. Does 10 divide (3 + q)/(22/308)?
False
Let t be (3 + -4)/((-1)/(-2) - 1). Let x be (2*2/2)/(t/4). Is 7 a factor of 10/x*84/2?
True
Let h(l) = -6*l - 29. Let k be h(-6). Suppose -4*u = k*u - 1683. Is 51 a factor of u?
True
Suppose 327 = -5*a + 2*a. Let u = a + 169. Does 6 divide u?
True
Suppose 3*l - 1435 = -4*y, -10*l + 8*l + 2*y = -938. Is 43 a factor of l?
True
Suppose 4*h = -5*t + 4295, -3410 = -4*t - 59*h + 61*h. Is 15 a factor of t?
True
Suppose 125*k = 127*k - 4. Suppose -k*u = -44 + 8. Suppose 165 = s - u. Does 36 divide s?
False
Let s = 0 - 3. Let k(c) = -569*c - 294. Let b be k(-6). Is 6 a factor of s/8 + b/128?
True
Suppose -2*j + 3*k + 4540 = -11732, 16266 = 2*j - 4*k. Does 181 divide j?
True
Let o = 64350 - 14598. Is o a multiple of 309?
False
Suppose 5*h = -20, -11*h + 10*h = 5*b - 13296. Does 20 divide b?
True
Suppose -12*b = -17*b - 175. Is 2/5 - (-84)/b*-29 a multiple of 10?
True
Let p be ((-42)/(-12) - 2) + (-2)/4. Let s be 487 + p/((-1)/6*3). Let a = -233 + s. Is a a multiple of 14?
True
Suppose 3*n - 6 = 2*n. Let x be ((-6)/(-12) - 2)*(-8)/n. Is 31/2*4/x a multiple of 17?
False
Suppose 2*c = -4*k + 28, -2*k - 5*c + 3 + 19 = 0. Suppose 4607 = -k*r + 23*r. Does 7 divide r?
False
Suppose -3*a - 1281 = 13*q - 9*q, 4*a + q = -1708. Let r = 868 + a. Is 12 a factor of r?
False
Let t = 596 - 447. Let f = t - 48. Is 7 a factor of f?
False
Does 4 divide (-20315)/(-20) - (-2 + (-7)/(-4))?
True
Suppose 5*z = -2*o + 12481 - 4064, 3*z + 9 = 0. Is 96 a factor of o?
False
Let t = 54 - 52. Suppose -t*v + 861 = 3*i, 2121 = 4*v + v - 3*i. Let g = v + -244. Is g a multiple of 22?
False
Let p(d) = -18619*d**3 - d**2 - 22*d - 21. Is 33 a factor of p(-1)?
False
Let n(m) = 968*m - 1221. Let t(k) = -149*k + 188. Let f(h) = 5*n(h) + 33*t(h). Is 11 a factor of f(-4)?
True
Let n(o) = -o**2 + 5*o + 19. Let c = 55 - 47. Let f be n(c). Is (2/f)/((-2)/660) a multiple of 44?
True
Is (-59 - -1)*((-6660)/255 - (-4)/34) a multiple of 26?
True
Let s = 29519 + -15513. Does 97 divide s?
False
Suppose 29 = -d + 30. Is 6580/20 - (-5)/d a multiple of 13?
False
Let k(s) be the first derivative of s**4/2 + s**3/2 + 3*s**2 + 4*s - 26. Let v(d) be the first derivative of k(d). Does 10 divide v(-4)?
True
Let x = -248 - -252. Let m(t) = 12*t**3 - 3*t**2 - 2*t + 16. Is 14 a factor of m(x)?
True
Let s be (1132/6)/(-1*6/9). Is 13 a factor of -1 - -2 - (s - -11)?
True
Suppose -2*y + 5*f + 8692 = 0, -5*y + 3137 + 18572 = -2*f. Is 104 a factor of y?
False
Let r = 647 - 191. Suppose -3*o - 3*p + r = o, o - p - 121 = 0. Is o a multiple of 9?
True
Let s(q) = 5*q + 44. Let l be s(-7). Is 35 a factor of 58*l/5*5?
False
Let u = -19 - -16. Let w be (384/(-16))/(u/10). Suppose 0*d + w = 4*d. Does 10 divide d?
True
Suppose -3*f = l + 2*l + 21, -f = 0. Let z(m) be the second derivative of -m**3/3 - m**2/2 - 470*m. Is z(l) a multiple of 13?
True
Let g = 11995 - 595. Is g a multiple of 380?
True
Let c = 3048 - -1022. Is 22 a factor of c?
True
Let l(c) = -33*c + 9. Let a be l(-1). Suppose 0 = -34*r + 31*r - a. Is (-13321)/(-49) + (-2)/r a multiple of 34?
True
Let c = -26720 + 37262. Is c a multiple of 42?
True
Let v = 941 - 745. Does 13 divide v?
False
Let d be 2/(4 - 1 - 10/4). Suppose 2*n + 2*j - 245 = -3*j, 0 = -d*n - 5*j + 505. Is 3 - ((-20910)/n - (-4)/(-26)) a multiple of 21?
False
Let x(t) = 9*t + 76. Let s be x(5). Let l = s + 314. Is 15 a factor of l?
True
Let v = -7038 - -9131. Does 23 divide v?
True
Let v(s) = s**3 + 68*s**2 + 99*s - 2292. Is v(-48) a multiple of 75?
False
Let f(t) be the first derivative of -t**4/2 + t*