)?
False
Suppose -5 = -4*v + i, 2*i + 5 = -5. Let m be -1*14/(-2)*(v + -1). Does 15 divide (-212)/m - 8/28?
True
Let f be 4 + 4 + (2 - 2). Suppose -5*a + 9 = -f*a. Is 10 a factor of 21*(-1)/(-3) - a?
True
Let d = -714 - -869. Is 3 a factor of d?
False
Suppose -1903 = 3*y + 2*b, -5*y = 6*b - 4*b + 3173. Let p = -347 - y. Does 32 divide p?
True
Suppose -4*j - 4777 = 727. Is 17 a factor of 2/6 + (-7 - j/12)?
False
Let v(b) = -2921*b - 1383. Is v(-7) a multiple of 58?
False
Suppose -3*h + 23236 = 5*z - 0*z, 0 = -2*z - 9*h + 9271. Does 44 divide z?
False
Suppose -3*q + 6*q - 9 = 0. Let t be (-4)/18 + 47/9. Suppose -5*o - q*i + 20 = 2*i, 56 = t*o - 4*i. Is 3 a factor of o?
False
Let o = 79 - 80. Is 8 a factor of 4/(-14)*o + (-28800)/(-336)?
False
Suppose 5*n = -3*h - 92, -3*n + 13*h - 10*h - 60 = 0. Let c be 4 - (-12)/(-3) - n. Suppose -c*r + 2049 = -4620. Is r a multiple of 27?
True
Let q be (-75 - 0)/(1 - 0). Let o = 143 + q. Suppose -2*x = -o + 52. Does 4 divide x?
True
Let k(b) = -b**2 - 4*b + 12. Let o be k(-6). Suppose 0*x - x = 5*s - 17, 3*s + 2*x = 6. Suppose o = -s*j - 4*q + 540, -5*q + q = 5*j - 670. Does 13 divide j?
True
Let u(h) = -714*h - 2301. Does 51 divide u(-16)?
False
Suppose 0 = -6772*b + 6788*b - 349440. Does 13 divide b?
True
Suppose -13*c + 27*c = -14*c + 334376. Is 26 a factor of c?
False
Let b be 6/2*(-9 - 261/(-27)). Suppose -379 = -b*p + r - 2*r, 4*r = -p + 193. Does 21 divide p?
True
Suppose 6*y + 4*a = 3*y + 11, 3*y + 5*a = 10. Suppose 0 = -i - 1, -y*t + 2*i + 2854 = -138. Is 26 a factor of t?
True
Suppose 0 = -24*r + 26*r. Let x = r + 2. Suppose -148 + 46 = -x*u. Is u a multiple of 27?
False
Let a = -83 - -194. Suppose 3*u + a = 3*t - 0*u, -33 = -t - u. Suppose o - 3*i = 45, -4*i = -o + i + t. Does 12 divide o?
True
Let i(z) be the second derivative of 2*z**3/3 - 10*z**2 + 5*z. Let m be i(11). Suppose -m = -7*k + 25. Is k a multiple of 2?
False
Let y = -112 + -288. Let j = y - -652. Is j a multiple of 36?
True
Let f(r) = -r**2 + 26*r + 43. Let u be f(14). Let k = u + 374. Does 9 divide k?
True
Let s = -774 - -2837. Suppose 2*d + 6 = 0, -5*u + 0*u = 4*d - s. Is 20 a factor of u?
False
Let y(s) = 147*s + 60. Let l be y(3). Suppose 0*w - 774 = 3*w. Let b = l + w. Is b a multiple of 32?
False
Let f(q) = -19*q**2 - 367*q - 29. Is f(-9) a multiple of 24?
False
Let f be (-5 - -1) + (-2580)/(-30). Suppose 6*u = -4*k + u + 47, 0 = -4*k + 2*u + f. Is (k/(-5))/(2 - 396/195) a multiple of 39?
True
Let b(a) = a**3 + 7*a**2 - 4*a + 2. Let w be b(-7). Suppose -w = -r - 13. Suppose -c + r = -15. Is 16 a factor of c?
True
Suppose -5*c - 3*f - 249 = 29, 2*c + 5*f + 115 = 0. Let n be ((-66)/c)/((-2)/(-70)). Let i = 117 - n. Does 25 divide i?
True
Let v = 44163 + -25972. Is 25 a factor of v?
False
Let h = -314 + 318. Suppose -h*b = 283 - 1003. Does 15 divide b?
True
Is 32 a factor of ((-2)/10)/(8/32)*-2095?
False
Suppose -4*j - 97*c = -100*c - 13508, -3*j + 5*c + 10109 = 0. Is j a multiple of 4?
False
Let f(h) = -h**2 + h + 10. Let w be f(0). Suppose 2*t + 188 = 4*v, 3*t + 22*v - 27*v = -287. Is 11 a factor of t/(-6)*15/w?
False
Let h = -2597 + 4798. Does 14 divide h?
False
Let w(s) be the first derivative of -s**4/4 - 7*s**3/3 + 3*s**2 + 10*s - 16. Let a be w(-8). Suppose 0 = 3*k - 6, -3*k + 30 + a = 2*m. Is 17 a factor of m?
False
Let d(r) = 12*r - 1. Let x be d(0). Is 7 a factor of 4/(x*(-4)/40)?
False
Let b(d) = 104*d - 197. Does 21 divide b(24)?
False
Suppose -17123 = -3*k - 4*r, 0 = -3*r + 17 - 2. Does 27 divide k?
False
Suppose 0 = -4*r - 5*o + 6929, -2*r + 4*o + 2502 = -982. Does 89 divide r?
False
Let b = 1502 + 559. Suppose b = 37*t - 751. Is t a multiple of 6?
False
Let j be (-2)/(-4) + (-31)/(-2). Let g be (-24)/(-5) + (j/20)/4. Suppose -a = -2 + 1, -g*a = -4*r + 139. Is 14 a factor of r?
False
Suppose 155 = 5*c + 2*s, -4*s = -4*c - 2*s + 142. Suppose c = 4*n - 31. Does 16 divide n?
True
Let n(d) = 254*d - 492. Is n(22) a multiple of 56?
True
Let v(p) = -5*p**3 - 5*p**2 - 4*p + 5. Let u be v(-2). Does 10 divide u - ((-1)/1 + 2)?
False
Suppose 0 = 2*l - 2739 - 3309. Is (-130)/(-4)*(l/45)/4 a multiple of 78?
True
Suppose 4*b + 16 = 168. Suppose -5*h = 5*y - 2*y + b, -2*y - 18 = -4*h. Does 4 divide y + 13 - -1*41?
False
Let v(o) = -502*o**3 - 9*o**2 - 14*o + 4. Is v(-2) a multiple of 85?
False
Does 15 divide 219/2*(-70)/(-20)*(-24)/(-6)?
False
Suppose 5*d = 25, 0*l + 4*d = 3*l - 226. Suppose 17*z - 49 - 2 = 0. Suppose -3*k + l = 4*v, z*k - 3*v + 78 = 6*k. Is k a multiple of 16?
False
Let f = 81 - 78. Is ((f + 75 - 4)*11)/2 a multiple of 37?
True
Let z(b) = 438*b**2 + 31*b + 16. Is z(6) a multiple of 5?
True
Let c(y) = y**3 + 2*y**2 - 3*y + 4. Let g be c(-3). Is 49 a factor of -5 + 5 - g - -412?
False
Let v(l) = -l**2 + 37*l - 46. Suppose 0 = -40*h + 26*h + 308. Is v(h) a multiple of 7?
False
Let j be 90/(-25)*5/(-2). Suppose 4*z = -w + 12, -3*z - j - 3 = 0. Is (0 - 4) + 2*w a multiple of 4?
True
Let p(t) = -14*t**3 + 388*t**2 - 34*t - 23. Is 4 a factor of p(27)?
False
Suppose -3*r - 3*l - 3 = 0, 2*r + 5*l = -9 - 2. Let i(t) = 5 + t + 11 - 3*t**r + 6*t + 4*t**2. Is 5 a factor of i(-6)?
True
Let k be 3/(-2)*(-350)/105. Suppose 3*s + 3*z - 963 = 0, 3*s - 300 = k*z + 703. Does 13 divide s?
False
Is 16 - ((-378)/14 + 15) a multiple of 14?
True
Does 60 divide -20 - ((10 - 10) + -9) - -8891?
True
Let g = 488 + -490. Does 41 divide (g*3/(-6))/(34/20094)?
False
Suppose -45*p - 26914 = 4361. Let i = p - -1299. Is 14 a factor of i?
False
Let i = 609 - 564. Does 9 divide 554 - 9/(i/(-20))?
True
Let w be 6/(-5)*10*2/(-8). Let n be ((-329)/(-21))/(1/w). Let c = n - -5. Does 10 divide c?
False
Suppose 2*r - j = -3*r + 1948, 0 = -r - 4*j + 377. Let w = 477 - r. Is w a multiple of 3?
False
Let k = 129709 + -52514. Is 10 a factor of k?
False
Let c = -22 - -24. Suppose 300 = 4*k - 5*s, c*k + 0*k - 148 = 2*s. Let z = k + -52. Is 18 a factor of z?
True
Suppose -101*x + 9870 = -91*x. Is x a multiple of 23?
False
Let i = -14 + 21. Suppose 11*m - 204 = -k + i*m, m + 782 = 4*k. Is 20 a factor of k?
False
Suppose -59*a = 38*a - 12*a - 525470. Is 22 a factor of a?
True
Let i be (-3)/6 - 100/40. Is i/(-5 - (-3985)/800) a multiple of 10?
True
Suppose -99 - 40 = -l. Suppose 34*x - 9 = -1947. Let c = x + l. Does 31 divide c?
False
Suppose 6 = -3*w, 6 = -4*j - 5*w - 4. Suppose j = -2*d - p - 2, -2*d = 2*d - 5*p + 18. Is 16 a factor of 14 - (2/4 + 5/d)?
True
Let h = 259 - -2453. Is h a multiple of 45?
False
Let s(n) = n**2 - n - 4. Let c(u) = -u**2 + 9*u - 13. Let z be (-2)/(-3) - (-15)/18*4. Let d be c(z). Does 6 divide s(d)?
False
Let h(c) = -1647*c - 9070. Does 22 divide h(-29)?
False
Let b(m) = -9*m**3 - 3*m**2 + 53*m + 573. Is b(-13) a multiple of 7?
False
Let t = 1898 - -2995. Is 33 a factor of t?
False
Suppose 0 = 3*q + 2*z - 2, 32*q - 36*q = -4*z - 36. Suppose 5*v - 1756 - 313 = -2*h, -2*h + 1656 = q*v. Is 9 a factor of v?
False
Let x(c) = c**3 + 132*c**2 + 207*c + 769. Does 20 divide x(-129)?
False
Suppose -3342 = -3*d + 18*r - 21*r, 7*d - 4*r - 7721 = 0. Is d a multiple of 27?
True
Let l(b) = -7*b + 2*b**2 + 12*b - 9 + 16*b - 3*b. Is 39 a factor of l(12)?
False
Suppose -13*r - 1 = -40. Suppose 0 = 5*y - 10, -2*o - r*y = -y - 82. Does 3 divide o?
True
Let i be (-14)/4*(14/49 + -2). Let c = 1 + i. Let g(z) = z**2 - z + 14. Is 8 a factor of g(c)?
True
Let v = 2628 + -2412. Does 9 divide v?
True
Suppose -4*p = -3*a + 41907, -5*a + 3*p + 69837 = -p. Does 21 divide a?
True
Suppose -3*t + 4*t = 215. Let h = -575 - -1562. Suppose -6*p + t = q - p, -5*q - 3*p = -h. Is q a multiple of 13?
True
Suppose 0 = -5*y + 10, d + y + 304 = -0*y. Let p be 1/(d/309 + 1) - -3. Suppose -p = -2*w + 3*z, -4*w + 65 = 4*z - 107. Does 9 divide w?
False
Suppose -5*v + 13 = -2. Suppose -5*x = -i - 5, -3*x - v*i = -4*i - 5. Suppose 3 - 112 = -2*p - z, x = p - 3*z - 37. Is 12 a factor of p?
False
Suppose -11*j + 8*j = -18. Suppose -j*r = -5*r + 1. Does 12 divide -3*((-4)/(-1))/r?
True
Let v be (-206)/(-10) + (-16)/(-40). Suppose 0 = 2*j - 3 - v. Suppose -140 = 5*i - j*i. Is 10 a factor of i?
True
Let t be 14/49*-1 + 410/14. Let k = -20 - t. Let p = k - -79. Does 15 divide p?
True
Let p = 76 + -30. Suppose 3*n - 3*g = g + 143, n = g + p. Is n a multiple of 11?
False
Does 101 divide