 p + 19 = 0. Is l a multiple of 20?
False
Let k(f) = 11*f**2 - 31*f + 127. Is 20 a factor of k(16)?
False
Suppose -16 = 4*r, 0 = 3*v - 6*v + 3*r + 21. Suppose -i + 15 = -v. Suppose -j - 2*j = -i. Does 2 divide j?
True
Let t(g) = -g**3 - 2*g**2 + 3*g + 2. Let o be (5/(-3))/((-3)/(-9)). Let z be -2 + (-6)/(-2) + o. Is t(z) a multiple of 11?
True
Suppose 15*c - 4766 = -731. Is 13 a factor of c?
False
Let k = -987 + 1119. Does 12 divide k?
True
Suppose -3*g = -0*g - 15. Suppose -g*l = -2*t + 25, 15 + 57 = 3*t + 4*l. Does 5 divide t?
True
Suppose -6*j - 84 = -18. Let b = j - 1. Does 7 divide (-264)/(-15) - b/30?
False
Is (25/(-9) - -3) + 151/9 a multiple of 2?
False
Does 44 divide ((-280)/(-42))/(2/66)?
True
Let y be 63/6 + (-2)/4. Is 4 a factor of (16/5)/(y/25)?
True
Suppose 5*u - 800 = -5*g, -u - 3*g - g + 166 = 0. Does 4 divide u/5 - 18/(-45)?
True
Suppose -5*q + 3883 - 523 = -3*y, 2*y - 10 = 0. Is 9 a factor of q?
True
Let s(r) = -r**3 - 6*r - 7 - 7*r**2 + 0*r**3 + 17*r**2. Let o be s(7). Suppose 4*z + 41 = 5*g - 94, 3*g = -z + o. Does 25 divide g?
False
Let d(a) = -a**2 + 12*a - 14. Let h be d(11). Let t = h + 7. Suppose t*c = -0*c + 116. Is c a multiple of 5?
False
Let y be (272/224 + 2/7)*2. Suppose -1 - 2 = -i. Suppose -i*j - 14 = -y*x + 2*j, -16 = -2*x + 2*j. Does 13 divide x?
True
Suppose -72*a = -106*a + 34068. Does 15 divide a?
False
Let r(z) = -22*z**3 + 4*z**2 + 4*z + 4. Let t(c) = -65*c**3 + 12*c**2 + 12*c + 11. Let q(m) = -8*r(m) + 3*t(m). Does 20 divide q(-1)?
True
Let u(m) = m**2 + m - 7. Let j = -26 + 36. Let t = j - 3. Is u(t) a multiple of 9?
False
Let m be 8/(48/90) - 3. Let s(a) be the first derivative of -a**4/4 + 13*a**3/3 - 7*a**2/2 + 26*a - 3. Is s(m) a multiple of 15?
False
Let c be (-3)/36*2 - 1915/30. Let w = c - -109. Is w a multiple of 15?
True
Let z(y) = 149*y**3 - 7*y**2 + 5*y - 4. Is 26 a factor of z(2)?
True
Suppose i - 4*l = -l + 249, 4*l = -4*i + 980. Suppose 2*a = -2*g - 3*a + i, g + 5*a = 118. Suppose g = 3*d + 4*j, -4*d + 166 = j + 4. Is 20 a factor of d?
True
Let g = 664 - 274. Does 26 divide g?
True
Does 4 divide 18/(-72) + (-2)/((-16)/394)?
False
Let u = -88 - -145. Is u a multiple of 5?
False
Let j be 14/(-4) - 2/(-4). Let w = 3 - j. Is 4 a factor of (-4)/w*(-33)/2?
False
Let n(s) = s**3 - 4*s**2 + 2*s + 109. Is 36 a factor of n(0)?
False
Let g = 1686 - 1279. Does 8 divide g?
False
Suppose -8 = -2*n - 0*n. Let a = -8 - n. Is 4 a factor of (-8)/a - (-20)/6?
True
Let l(r) be the third derivative of r**5/20 - r**4/12 - 13*r**3/6 + 44*r**2. Is 26 a factor of l(5)?
True
Suppose -4*n = 4*o - 4, -38 = -n - 2*n + 4*o. Suppose n*x = 5*x + 109. Is 14 a factor of x?
False
Suppose 5*p = 2*t - 445, -t + 228 = 8*p - 5*p. Is t a multiple of 25?
True
Suppose -1127 = -5*u - f, -21*u = -18*u + f - 675. Is 4 a factor of u?
False
Let v(f) = -f**3 - 15*f**2 + 2*f + 114. Is v(-18) a multiple of 14?
True
Does 51 divide (3/(-36))/(7/(-357))*252?
True
Suppose -44*f = 7506 - 34434. Is f a multiple of 17?
True
Suppose -5 = -y - m, -y = 2*y + 2*m - 19. Is 10 a factor of 0 + (3 + (-42)/y)*-45?
False
Let v(j) = -j + 32. Let y be v(18). Suppose 3*z + y + 43 = 0. Does 16 divide (-196)/(-2) + (-20 - z)?
False
Suppose -4*n + 13 = z + 4, -4*z = n - 21. Suppose -3*s + z*t + 30 = -94, 0 = 4*t + 20. Does 4 divide s?
False
Suppose -16870 = -64*t + 10202. Is 30 a factor of t?
False
Let y = 2386 - 2158. Is 38 a factor of y?
True
Let i be -1 + 2/((-2)/(-11)). Let p = -4 + i. Is 3 a factor of p?
True
Is 13 a factor of (-300)/(-250) + (41316/5)/4?
True
Suppose -6*h - 11 = 3*m - 4*h, -h = 2*m + 6. Does 3 divide 2/m + 86 + (-10)/5?
False
Let c = -301 + 431. Is 26 a factor of c?
True
Let w(h) = h**3 - 19*h**2 - 25*h - 49. Let c be (2 + (-78)/(-24))*4. Does 44 divide w(c)?
True
Let y(s) = s**2 - 28*s - 329. Is 12 a factor of y(-13)?
True
Let k = 77 - 81. Does 3 divide 23*(-1 - (2 + k))?
False
Let s(b) = b**2 + 4*b + 2. Let p be (-2)/6*(-1 + -20). Let o be ((-7)/(-2))/(p/(-14)). Is s(o) a multiple of 6?
False
Let i = -931 + 3345. Does 17 divide i?
True
Let w(u) be the first derivative of 6 - 4*u - 7/2*u**2. Is w(-7) a multiple of 12?
False
Let s(w) = 2*w**2 + 5*w - 13. Suppose 4 = -k + 13. Is s(k) a multiple of 13?
False
Let j = 21 - 7. Let i = -11 + j. Suppose -5*u = i*g - 34, -g + 3*u = -47 + 17. Does 9 divide g?
True
Let u = -12 + 16. Suppose -2*a + u = -0*a. Is 10 a factor of (13 - 1) + (a - 0)?
False
Let s = -106 - -104. Is 5 a factor of 2/((-122)/(-30) - (s - -6))?
True
Let m(p) be the second derivative of 7/6*p**3 + 0 - 2*p**2 + 7*p. Is m(7) a multiple of 9?
True
Let t(h) be the first derivative of 1 + 2*h**2 + 5*h + 5/3*h**3 + 1/4*h**4. Is t(-4) a multiple of 2?
False
Let y be 38571/65 + (-4)/10. Let z = y - 351. Does 12 divide z?
False
Let i(a) = 7*a**2 + 19*a - 4 - 21*a**2 + a**3 - 3*a. Let n(z) = z**3 - 15*z**2 + 17*z - 3. Let f(c) = -6*i(c) + 5*n(c). Is f(7) a multiple of 7?
False
Let v = 431 - 369. Does 7 divide v?
False
Suppose -5*t + 4*t = -132. Suppose -x + 4*x = 2*k - t, -3*x = 6. Suppose k = 3*q - 4*y, 3*q - q - 4*y = 42. Does 11 divide q?
False
Suppose 1038 + 114 = 2*m. Suppose -3*p - 11 - 1 = 0, 5*j = -p + m. Does 29 divide j?
True
Let u(w) = -55*w - 107. Is u(-33) a multiple of 61?
True
Let u(i) = -i**3 - 15*i**2 - 36*i - 12. Is u(-15) a multiple of 13?
False
Let m(y) = y**3 + 5*y**2 - 4*y + 2. Let u be m(3). Suppose -b = 1 - u. Is b a multiple of 17?
False
Let r(m) = -m**2 + 30*m + 86. Is 11 a factor of r(21)?
True
Let y = -754 + 2107. Is 11 a factor of y?
True
Let x = 13 - 5. Let p be 10*(-2 + 4/x). Is 33/5 + 9/p a multiple of 6?
True
Let l = -77 + 27. Does 15 divide (-1)/4*l*(-96)/(-10)?
True
Suppose 3*j = -2*k - 388, 0*k + 4*k = j - 790. Let f = k + 302. Does 15 divide f?
True
Let o = -15 - -23. Let p(y) = y**3 - 9*y**2 + 17*y - 17. Let v be p(7). Let z = o + v. Is z a multiple of 12?
True
Suppose 18 = 69*t - 72*t. Let h(d) be the third derivative of -d**6/120 - d**5/15 - d**4/8 + d**3 + 3*d**2. Does 24 divide h(t)?
True
Suppose 3*n - 5 = 1. Suppose -15 = u + 5*x, 2*x + 32 = -5*u + 2*u. Does 5 divide n - (u - 3) - 1?
False
Let y = 15 - 19. Let g be (-26)/y + 1/2. Let u(w) = 13*w + 3. Is u(g) a multiple of 30?
False
Let w be 12/8*28/6. Suppose -w*t + 4*t - 57 = 0. Let g = t - -42. Is g a multiple of 6?
False
Is 14 a factor of (88/(-12))/(-4 - 1113/(-279))?
False
Let d be 3/(-4 - -1) - -3. Let b be (-4)/(-10) - 219/(-15). Suppose h - b = -d*h. Is h a multiple of 4?
False
Suppose 9*r - 10*r + 2 = 0. Suppose r*m - 148 = 4*l - 620, -3*l = -m - 352. Does 34 divide l?
False
Let f = -23 - -25. Suppose 3*x + 111 = 4*o + 508, -f*x = 5*o + 525. Is o/(-15) + (-14)/(-105) a multiple of 7?
True
Let m be (2 - -13)*2/(-3). Suppose 9*d - 63 = -12*d. Let l = d - m. Is l a multiple of 13?
True
Let n = -615 - -835. Is 10 a factor of n?
True
Let c(x) = 13*x + 2. Let n(m) = m + 9. Let i(v) = -v**3 - v - 6. Let z be i(0). Let j be n(z). Is 18 a factor of c(j)?
False
Let n be (4 - 3)/(6/558). Suppose 95*d - 220 = n*d. Does 10 divide d?
True
Suppose -3*m - 3 = 4*j, -2*j = -3*j - 2*m - 7. Suppose j*u = 192 + 90. Is u a multiple of 12?
False
Let t = 4 + 5. Suppose -t*c = -6*c - 168. Let k = c + -27. Is 12 a factor of k?
False
Let b(t) = -45*t - 63. Is b(-7) a multiple of 27?
False
Suppose -4*n + r = 3*r - 12, -n - 8 = -5*r. Suppose -402 = -n*x - 102. Is 23 a factor of x?
False
Suppose 9*l = 399 + 105. Is l a multiple of 14?
True
Let f(t) = -3*t**2 + 4*t + 3. Let k be f(11). Let r = -109 - k. Suppose r = 5*d + 17. Is 9 a factor of d?
False
Suppose 2*h + 4 = 12, 2*o - h - 76 = 0. Suppose -3*z + 5*z = 5*a - 203, z + o = a. Is a a multiple of 21?
False
Let s = -625 + 1528. Let j = 11 + -7. Does 14 divide j/(-20) - s/(-15)?
False
Let n be ((-26)/(-5))/(19/190). Let m be -195*(-3 + n/20). Suppose -2*j = j + 3*k - 78, -k - m = -3*j. Is 13 a factor of j?
True
Suppose j - 1 = 1. Suppose 5*x - 69 = 2*r, 3*r = -j*x - 2*x + 69. Let y = 33 - x. Is y a multiple of 4?
False
Let v(q) = -24*q - 207 + 147 + 2*q. Does 45 divide v(-15)?
True
Let h be -9*(-5)/(-75) + 39/15. Let o(v) = v**3 + 8*v**2 + 6*v - 3. Let z be o(-6). Suppose -2*w + m = -h*m - z, 3*m - 21 = -4*w. Is w a multiple of 4?
False
Let j be (-2 + 2)/((-10)/5). Suppose -l + 26 + 24 = j. Is l a multiple of