ose 68 = z + 2*d, -d = z + j*d - 53. Is 13 a factor of z?
True
Suppose f = -t + 29, 5*t - 2*f = -20 + 130. Let z(s) = -t*s**2 + 1 + 4*s**3 + 22*s**2 - 5 + 0*s**3. Does 34 divide z(4)?
False
Let f = 755 + 43. Suppose 3*t - 2376 = -f. Does 22 divide t?
False
Let r = -30124 + 56291. Is 137 a factor of r?
True
Suppose 0 = 5*d + h + 221, 7*h - 102 = 2*d + 4*h. Is 9974/10 - (27/d + 0) a multiple of 11?
False
Does 37 divide 8630/(-30)*-78 + 5/(-25)*-5?
False
Let q = -996 - -1042. Let y = -133 - -233. Suppose 2*g - y = -2*h, 0*g + g = h - q. Does 13 divide h?
False
Let u(t) = -3*t - 8. Let s(p) = -20 + 0 + 4 - 6*p. Let m(x) = 4*s(x) - 10*u(x). Is 11 a factor of m(9)?
False
Does 19 divide (-89338)/57*(-912)/32?
True
Let l = -3165 - -4698. Does 21 divide l?
True
Let x(s) = s**3 + 25*s**2 - 169*s - 12. Is x(11) a multiple of 27?
False
Let c be 1/4 - 5721/(-12). Let k = c - 262. Is 22 a factor of k?
False
Let w = 36 + -28. Let t = 58 - -25. Suppose t + 445 = w*j. Does 11 divide j?
True
Let m(j) be the third derivative of -j**6/120 - j**5/15 + 7*j**4/12 + 65*j**2. Does 17 divide m(-9)?
False
Suppose 2*u + 12 = 3*u. Suppose 3006 = 5*p - 3*j, -3*p + 3*j = 1173 - 2979. Suppose -u*n + p = -4*n. Does 11 divide n?
False
Let x(c) = 13*c - 50*c**2 + 18*c**2 - 26 + 12*c**2 + 15*c**2 + 10*c**2. Does 8 divide x(4)?
False
Let v(o) be the first derivative of o**2/2 + 28*o + 31. Let y be v(-17). Let w(d) = d**2 - 3*d + 1. Is w(y) a multiple of 10?
False
Let a(g) = -251*g + 1. Let z be a(-4). Suppose -12*j = -2007 - z. Is j a multiple of 22?
False
Suppose -4*b = -6*b + 534. Let q = -42 + b. Suppose 27 = 2*s - q. Does 18 divide s?
True
Suppose -5*z - 6 = -16. Suppose -2*q - 45 = -4*d + 111, -z*q = -8. Suppose -7*a = -6*a - d. Is 39 a factor of a?
False
Let l(z) = -9*z + 4*z**3 + 28*z - 12*z**2 + 4 - 3*z**3. Is 3 a factor of l(11)?
False
Let i(j) = 11*j**2 + 780*j + 55. Does 6 divide i(-73)?
True
Let a(m) be the first derivative of 5*m**3/3 - 5*m**2/2 - m + 15. Let x be a(-9). Suppose 10*q - x = -39. Is q a multiple of 6?
False
Suppose 54 = -2*m - 0*m. Let c = 175 - 322. Let x = m - c. Does 48 divide x?
False
Let r be 1/9 - 2480/45. Let k be 0 + -1 - (0 - 5). Is ((-119)/k)/(-3 - r/20) a multiple of 8?
False
Let c(u) = 45*u + 35. Let j = 557 + -546. Does 53 divide c(j)?
True
Let w(f) = 0 - 886*f + 1 + 2 + 911*f. Is w(1) a multiple of 2?
True
Is (1923750/72 - 29) + 0 + 1/4 a multiple of 31?
False
Let m = 38 + -32. Suppose -860 = m*l - 5276. Is 52 a factor of l?
False
Let d(c) be the second derivative of 9*c**2 + 1/12*c**4 + 14*c + 0 - 5/6*c**3. Does 8 divide d(7)?
True
Suppose 4*v + w + 20 = 7*v, 5*w = -5*v. Is ((-10810)/(-4))/v - 26/52 a multiple of 60?
True
Is 9 a factor of -29 + 18948 + 22/(-2)?
False
Let h be ((-5)/3)/(68/(-1020)). Suppose 2*j = o - 68, 0 = -5*j - h + 5. Does 3 divide o?
True
Suppose 39072 = 289*u - 252*u - 242498. Does 5 divide u?
True
Let d(c) = 4*c**2 - 70*c - 34. Let z be d(18). Suppose 0 = 3*n + 1 - 13. Suppose -x + 5*o + n = z, -x - 2*o = -30. Is x a multiple of 5?
False
Let f(s) = s**3 + 3*s**2 - 7*s - 1. Let d be f(2). Suppose -b = 4*r + 2*b + 269, -3*b - 334 = d*r. Let w = 77 + r. Is w a multiple of 2?
True
Suppose 4*n = -5*h + 9963, -54*n + 50*n + 9965 = 3*h. Is n a multiple of 7?
True
Is (5 + 29442/30)*(-80)/(-12) a multiple of 356?
False
Let h be 8/(-4) + 6/2. Let m(w) be the second derivative of 4*w**4/3 + 2*w + 29. Does 2 divide m(h)?
True
Let p(g) = 3*g**3 - 29*g**2 + 5*g - 19. Suppose 59 - 83 = -2*q. Does 19 divide p(q)?
False
Let y = -981 + 1892. Is y even?
False
Let h(n) = 42*n + 6*n + 58*n + 0*n - 106. Does 67 divide h(8)?
False
Let a be (-3)/15*3 - 12/(-20). Suppose a = -4*n - 3 + 7. Let y = n + 12. Is 4 a factor of y?
False
Let x = -2705 - -4891. Suppose -4*p - 21*m + x = -23*m, -m - 549 = -p. Is p a multiple of 32?
True
Suppose -3*h + n = -79113, -3*n + 171742 - 39873 = 5*h. Is h a multiple of 38?
True
Suppose -m = -3*x + 40821, -36*x - 27219 = -38*x - m. Is x a multiple of 64?
False
Suppose -4*d = -5*h - 30331, 5*d = -105*h + 110*h + 37915. Is 16 a factor of d?
True
Let u be 28 - (-7 + (-1)/(6/(-12))). Suppose 676 = u*v - 32*v. Is v a multiple of 24?
False
Let x(f) = -5*f - 6. Let j be x(2). Let w be (-456)/28*(-2 - j). Let n = -43 - w. Is 19 a factor of n?
False
Let h be (-1323)/(-72) - (-1 - (-33)/24). Suppose 5*i - f = 1900, 0 = 2*i + 23*f - h*f - 733. Does 28 divide i?
False
Let x(g) = g + 14. Let v be x(-3). Suppose 0 = -v*t + 16*t. Suppose -2*p - 3*m + 258 = 0, t*p + 2*p + 4*m = 254. Is 27 a factor of p?
True
Let u(c) = -41*c**3 + 2*c**2 + 58*c + 603. Is 162 a factor of u(-9)?
True
Let f(p) = -4*p**2 - 133*p + 200. Is f(-33) a multiple of 12?
False
Let k(l) = -l**2 + 2*l + 1. Let i be k(0). Suppose -i = 4*z + 5*f - 225, 5*z - f - 309 = 0. Is z a multiple of 23?
False
Suppose 21*m + 1004 = 3*m + 127040. Is m a multiple of 9?
True
Let j(i) = i - 93 + 168*i**2 + 173*i**2 - 340*i**2. Does 12 divide j(-11)?
False
Let x(v) = 3125*v - 6209. Does 30 divide x(10)?
False
Let x(a) = -a**2 + 41*a + 88. Let n be x(36). Suppose 9*m - 2657 = n. Is m a multiple of 8?
False
Suppose 0*k = 3*k + 4*k. Let a be 6 - (-2)/3*9/6. Suppose -5*d + 78 + a = k. Is d a multiple of 2?
False
Let s be (36 - (-25)/(-5))*-1*3. Let x = s - -100. Suppose -104 = -x*h + 134. Is h a multiple of 3?
False
Suppose -1199*k = -1158*k - 70192. Is k a multiple of 16?
True
Let t(c) = 2*c**2 - 36*c - 70. Let v be t(20). Is 13136/11 + v/(-55) a multiple of 87?
False
Let p = -265 - -270. Suppose p*v - 2194 = 19*d - 20*d, -4*v - 2*d + 1754 = 0. Does 26 divide v?
False
Is 122 a factor of -191*(2 - -6)*-4?
False
Suppose 67*j - 4*p = 66*j + 13110, -2*j = 3*p - 26242. Is j a multiple of 44?
False
Suppose -2*r - 23 + 27 = 0. Let v be 2 + (r - 1) + 7 + -3. Suppose v + 25 = 2*u. Is u a multiple of 2?
True
Let i be (18/36)/((-1)/(-37044)). Suppose -22*k = 20*k - i. Is k a multiple of 9?
True
Let r be 2/(-7) - (-16492)/98. Let d = r - -230. Is 24 a factor of d?
False
Let v(c) = -4*c**3 - 2*c**2 + 3*c. Let a(d) = -8*d - 21. Let q(i) = -i + 1. Let m(t) = -a(t) + 4*q(t). Let z be m(-7). Is 17 a factor of v(z)?
False
Suppose -4*t - 875 = 7261. Let k be t/39 + 3 + 148/(-52). Let u = 86 + k. Is u a multiple of 15?
False
Suppose -7*p - 2*r = -11*p + 11600, p = -3*r + 2886. Is p a multiple of 42?
True
Let b be (-5)/10*(-136)/(-4). Let l = b - -12. Is 22 a factor of (l - -4)/(2/(-176))?
True
Let w(s) = s**3 - 19*s**2 - 20*s - 28. Let k(v) = v**3 - 19*v**2 - 19*v - 24. Let j(t) = 4*k(t) - 3*w(t). Suppose -2*r + 60 = r. Is 17 a factor of j(r)?
True
Let j(k) = -568*k - 22. Let n be j(9). Does 28 divide (-6)/(-3) + n/(-17)?
False
Let f(b) = -b**2 + 7*b + 13. Let q be f(10). Let y be q/(-5) + 14/(-35). Suppose 4*k - y*p = -0*p + 220, -2*p + 200 = 4*k. Is k a multiple of 9?
False
Let o(x) = -16*x + 109. Let g be o(7). Does 25 divide (-650)/g*(-12)/(-8)?
True
Suppose 0 = -2*h - 17*h + 32851. Let n = h - 1009. Is n a multiple of 90?
True
Suppose -5*n + 4*n + 1 = 0. Let i be 0 + (2 - n) + -17 + 16. Suppose 5*z + p - 897 = -0*p, -3*z - 4*p + 528 = i. Is 33 a factor of z?
False
Let x = 56 - 53. Suppose 0 = 3*p + x*p. Suppose -3*v + 520 = 4*j, 0 = -p*v + 3*v. Does 26 divide j?
True
Let h = -3073 - -5148. Suppose 11*p = h + 48. Is p a multiple of 23?
False
Let z(v) be the third derivative of -v**5/60 - v**4/12 + v**3/2 - 18*v**2. Let a be z(-4). Is (3 + 13/a)*15 a multiple of 3?
True
Let x = 60 + -47. Let k(h) = -h**2 + 14*h - 9. Let r be k(x). Suppose -5*p + 4*n = -604, r*p = -p - 3*n + 597. Does 15 divide p?
True
Is 7 a factor of (468 + -302)*98/4?
True
Suppose -r + 3*r = -4. Let b = r - -13. Suppose 4*l = b + 237. Is l a multiple of 10?
False
Let d = -1010 + 4314. Does 56 divide d?
True
Let u(l) = 4*l**2 - 9*l + 23. Let n be u(-15). Suppose 3*z = 7*z - k + n, -1330 = 5*z - 5*k. Let y = z + 501. Is y a multiple of 53?
False
Is 12 a factor of 2/20 + (-11)/((-330)/287847)?
False
Let z = -5613 - -13010. Is z a multiple of 13?
True
Suppose 2*p = -4*x + 1300, -11*x = -16*x + 3*p + 1658. Is 2 a factor of x?
True
Let u = -3596 + 4174. Does 33 divide u?
False
Let a = 25712 + -23067. Does 3 divide a?
False
Let m(p) = -3 - 4*p**2 + 25*p**2 + 11*p + 19*p - p. Is 7 a factor of m(-4)?
True
Let q(f) = f**3 - 14*f*