 be v(q). Let z = o - -57. Is 7 a factor of z?
False
Let h be (1 - -3)*(-294)/(-24). Is 5 - (8/(-28) + (-8071)/h) a multiple of 10?
True
Let w be ((-70)/(-4))/(25/100). Let i be 682/8 - w/56. Suppose i + 1524 = 12*h. Is 36 a factor of h?
False
Let c = -37 - -40. Suppose -c*x - x = -8. Suppose 4*o - v - 812 = -x*v, -2*o = v - 408. Is o a multiple of 9?
False
Suppose 3*h + 5*d = 10377, -2*h + 6*h - 13804 = 4*d. Is h a multiple of 6?
False
Let q(z) = z. Let r(p) = p. Let n(h) = 4*q(h) - 6*r(h). Let k be n(-3). Is 2 a factor of 1/((k/(-3))/(-12))?
True
Suppose -2*g + 5*l + 16 = 35, 10 = 5*g - l. Suppose -2*x + 0*x + 653 = 3*b, -5*b + g*x + 1120 = 0. Does 10 divide b?
False
Let i be (4 - 2)/((24/12918)/2). Suppose -4*b = -i - 139. Is b a multiple of 49?
False
Suppose -5*q - 121 + 531 = 0. Let p = -57 + q. Does 2 divide p?
False
Let v = 17881 + -12242. Does 31 divide v?
False
Suppose 0 = 3*c - 99 - 42. Suppose 8*d - 121 = c. Suppose -d = 3*m - 4*m. Is 3 a factor of m?
True
Is -40*(-8)/96*(-29502)/(-5) a multiple of 33?
True
Let f(p) = 5*p**3 - 3*p**2 + 2*p - p - 7*p**3. Let x be f(-5). Suppose -u + 3*q + 174 = u, 2*u - q - x = 0. Does 12 divide u?
True
Suppose -2*j - 886 = -2*d, -24*d + 4*j + 896 = -22*d. Does 5 divide d?
False
Let c(l) be the third derivative of -1/4*l**4 - 10*l**2 + 1/60*l**5 + 0*l + 0 - 7/6*l**3. Does 7 divide c(-7)?
True
Suppose -1590 = -31*q + 18653. Is 3 a factor of q?
False
Let d(h) = -4*h**3 + 3*h**2 - 14*h - 3. Let n(u) = 13*u**3 - 10*u**2 + 43*u + 9. Let c(z) = -7*d(z) - 2*n(z). Is c(3) a multiple of 5?
False
Let n(v) = 3*v**2 - 1 - 6*v + 11*v + 4*v**2 - 5*v**2. Does 9 divide n(8)?
False
Suppose 0 = -4*q + v + 4*v + 18, -2*v + 2 = 3*q. Suppose -w = -4*m - 39, q*w - 33 - 57 = -4*m. Let u = w + -37. Does 6 divide u?
True
Suppose 0 = -3*t + 3*p + 9, 2*p = -4*t - 2*p - 12. Suppose t = 2*d - 3*d + 395. Suppose -5*m = n - 11 - d, -4*m + 340 = -3*n. Does 14 divide m?
False
Suppose -4*x + 51 - 35 = 0. Suppose 0 = 3*q + 3*s + 112 - 1384, -x*q + 5*s = -1660. Does 12 divide q?
True
Let b(w) = 7*w + 47. Let z be (0 + -1)/(-2 - 39/(-18)). Let t be b(z). Suppose -3*j + 152 = a - 2*j, 4*a + t*j - 605 = 0. Does 31 divide a?
True
Let c be (33 - 31) + -1 + 1084. Suppose -469 = 7*r - c. Is r a multiple of 2?
True
Suppose 264 + 196 = 10*b. Let m = -41 + b. Let g = 36 - m. Is g even?
False
Let w be (15/(-10))/(6/(-460)). Let q = 15 - w. Let s = 144 + q. Does 30 divide s?
False
Let m be (-658)/(-20) + (-6)/(-60). Let d = m - -46. Let n = d - 61. Is n a multiple of 3?
True
Let o = 4061 - 3261. Is 4 a factor of o?
True
Let k = -2060 + 6283. Is 84 a factor of k?
False
Suppose 0 = 8*q - 18*q + 30. Suppose -11*r = q*r - 4788. Suppose -r = -12*d + 6*d. Is d a multiple of 14?
False
Let k(j) = -j**2 + 10*j + 52. Let g be k(13). Suppose 3*p - 10*r + g*r - 540 = 0, 12 = 4*r. Does 59 divide p?
True
Let x be 18/(-3)*(4 + (-33)/6). Is ((7 - x) + 1)/(1/(-84)) a multiple of 7?
True
Let q = 53 + -37. Let k = q - 14. Suppose -2*v - 4*x + 124 = 0, -2*x = v + k*v - 170. Is v a multiple of 25?
False
Let r(a) be the second derivative of 23*a**3/6 - 23*a**2/2 - a - 27. Does 40 divide r(4)?
False
Suppose y + 53 = -4*t + 263, -3*t - 453 = -2*y. Suppose 4*h + 24 = 4*j, j + 2*j + h - 14 = 0. Suppose -8*s = -j*s - y. Does 18 divide s?
False
Suppose b - 2*t = -7, -3*t - t + 20 = 0. Suppose -652 = 4*w + 4*z, 5*w + 2*z + 827 = b*z. Let d = -85 - w. Is 44 a factor of d?
False
Let l be (6/4)/((-3)/6*-1). Suppose 1056 + 594 = -l*j. Does 5 divide 1*-7*j/77?
True
Suppose -2*g = -4*r + 60, -2*r - 3*g + 13 + 1 = 0. Suppose -20 = -5*c, -2*o + 533 = -4*c + r. Does 67 divide o?
True
Let k = -1899 + 1036. Let s = k + 1221. Does 15 divide s?
False
Is 18 a factor of ((-856)/12)/((-6)/324)?
True
Is 69 a factor of -9 + -11 + 12 - 16592/(-4)?
True
Is 4 a factor of 309 + -3 + 7 + -4?
False
Let x = 45 - 38. Suppose -x*f + 81 = -311. Is f a multiple of 8?
True
Suppose -4*y - b = -y - 3152, -3*y + 2*b + 3146 = 0. Suppose y - 230 = 4*w. Suppose 0 = -5*t - 4*r + w, -3*t = -0*r + 2*r - 123. Is t a multiple of 41?
True
Let i = 41 + -36. Suppose -i*l + 3*l + 2*o = 40, -5*l - 100 = -2*o. Let w = 147 + l. Is w a multiple of 9?
False
Let o be (-8)/(-6)*48/32. Suppose o*t + 290 = d, 0 = 2*d + t + 3*t - 620. Suppose d = 4*x + x. Is 10 a factor of x?
True
Let k(c) = c**3 + 16*c**2 - 2*c - 22. Let o be k(-16). Is (216/o)/((-126)/(-1680)) a multiple of 10?
False
Does 34 divide 1344/(-5040) + (-12754)/(-15)?
True
Suppose 13*a + 12 - 12 = 0. Suppose a = -12*n - 0*n + 3648. Is n a multiple of 10?
False
Let d = 225 - 220. Is 39 a factor of (-15)/10*3306/(-9) - d?
True
Let s(t) = t**2 - 6*t + 6. Suppose -5*k - 109 = 41. Let z be (k/(-24))/((-2)/(-16)). Is s(z) a multiple of 14?
False
Let k(h) = -4*h**3 - 96*h**2 + 195*h - 108. Let u(q) = 3*q**3 + 64*q**2 - 130*q + 72. Let t(n) = 5*k(n) + 7*u(n). Does 3 divide t(30)?
True
Let i(h) = 17*h**2 + 151*h + 33. Let k(c) = -8*c**2 - 76*c - 17. Let m(u) = -4*i(u) - 9*k(u). Is 9 a factor of m(-24)?
True
Suppose -2*i = 8, 115 = l - 0*l + 5*i. Let p = 176 - l. Does 2 divide p?
False
Let r(q) = q**3 - 4*q**2 - 21*q + 353. Does 3 divide r(12)?
False
Suppose 0*h - 4*h = -3*i + 1132, -3*i + 3*h + 1134 = 0. Is 16 a factor of i?
False
Suppose 6*q - 29 + 1277 = 0. Let z = q + 382. Does 26 divide z?
False
Let z = 93 - 81. Suppose z = -2*f - 4*t, -2*t = -3*f - 70 + 28. Is f/(95/(-85) + 1) a multiple of 7?
False
Let r(f) = 2273*f**2 + 63 + 24 + f - 20*f - 2270*f**2. Is 19 a factor of r(16)?
True
Suppose 0 = g + 4*i, 2*i = -3*g - 0*i. Suppose g = -5*r - 10, -a = -6*a - 3*r + 759. Let k = a + -23. Is k a multiple of 13?
True
Let u(a) = a**3 - 2*a**2 - 3*a + 1. Let j be u(2). Is 4 a factor of -1 - (3 + -216 + j)?
False
Let c(m) = -14*m**2 + m + 9. Let q be c(-5). Let h = 778 + q. Is h a multiple of 8?
True
Suppose 6616 + 1178 = -9*s. Let f = -829 - s. Is f a multiple of 4?
False
Let t = -346 + 402. Is 4 a factor of 4/(-14) + 5728/t + 4?
False
Let y(a) = -a - 2. Let d(x) = 282*x - 1. Let m(t) = d(t) + 2*y(t). Let n be m(3). Suppose 3*b + 131 = 3*c - 370, 0 = 5*c - b - n. Is 8 a factor of c?
False
Suppose -180 = -5*d + 5*a, d - 61 = -4*a - 0*a. Suppose -8*m + 27 = 3*x - 6*m, -d = -5*x - 2*m. Does 10 divide x/28 + (-550)/(-8)?
False
Let r(s) = s**3 + 7*s**2 + 8*s - 12. Let k be r(-5). Is 18 a factor of ((-24)/16)/(k/360)?
True
Suppose 0 = -4*w - g + 198893, -3*w = -442*g + 438*g - 149203. Is w a multiple of 15?
True
Let m(j) = 2*j**2 - 6*j + 7. Let w be m(3). Let v(i) = -w + 781*i - 391*i - 396*i - 2*i**3 - 13*i**2. Is 7 a factor of v(-7)?
True
Let l(y) = -120*y + 18. Let t(f) = f**3 - 5*f**2 - 2*f + 22. Let s = 134 + -130. Let c be t(s). Does 43 divide l(c)?
True
Let a = 12 - -20. Let t = -32 + a. Is 41 a factor of t - (1148/(-70))/(2/20)?
True
Suppose 2*y - 23831 + 2600 = -1653. Is 12 a factor of y?
False
Let n(f) be the first derivative of 35*f**2/2 + 331*f - 180. Is n(21) a multiple of 82?
True
Suppose 0 = 4*l + 263 + 21. Let d = l - -70. Does 14 divide (-505)/(-6) - -4*d/24?
True
Let c = -16577 + 19521. Is 23 a factor of c?
True
Suppose -3*c + 19*c = 32. Is 9 a factor of (16/32)/(c/1252)?
False
Let n be (-4)/((-20)/(-5))*(48 + -3). Suppose 4*o + o = 260. Let a = o + n. Does 2 divide a?
False
Let h = 52 + -54. Let r be (-51 - -1)/(h/(-6)). Let l = r + 303. Does 17 divide l?
True
Let h = 1009 - 245. Let b = h - 103. Does 28 divide b?
False
Let f(b) = -5*b**3 + 31*b**2 - 6*b - 8. Does 76 divide f(-7)?
True
Suppose 0 = 5*p + 51 - 86. Let q(h) = -38*h**3 - 2*h**2 + 2*h - 2. Let x be q(-3). Suppose -p*a = 3*a - x. Is a a multiple of 25?
True
Suppose -m = -3*y + 8975, 48*m - 47*m = 2*y - 5984. Does 9 divide y?
False
Suppose -3*p + 5*p - 50 = 0. Suppose -22*z = -p*z + 2577. Is 30 a factor of z?
False
Let t(b) = -2 - 2 - 9*b**2 - 262*b + 3*b**2 + 219*b. Is 12 a factor of t(-4)?
True
Suppose 42750 + 1970 = 10*i. Is i a multiple of 8?
True
Let o(n) = 1150*n - 5191. Does 69 divide o(6)?
False
Suppose 415700 = 127*t - 106143. Does 56 divide t?
False
Suppose 0 = f + 4*b + 6655, 0*b + 9 = -3*b. Is (-3)/2 - f/14 a multiple of 29?
False
Let t(l) = l**2 - 8*l - 6. Let k be t(-5). Suppose k + 113 = 4*d. Let p = 101 + d. Does 18 divide p?
True
Is 37 a factor of 6219 - (1 + 4 + -2)?
True
Let u(r) = -