ppose -a = d - 13. Is 5 a factor of d?
True
Suppose -10*p + 643 = -2587. Is 36 a factor of p?
False
Let y(s) = 3*s**3 - 13*s**2 - 5. Is 5 a factor of y(6)?
True
Let v(l) = -52*l - 25. Let o(z) = -104*z - 49. Let r(g) = -2*o(g) + 5*v(g). Is r(-4) a multiple of 13?
False
Let g(o) = -37*o - 24. Suppose -4*f + 3*i = -i + 32, f - 2*i = -12. Is 31 a factor of g(f)?
True
Suppose 0 = -4*p - p + 15. Suppose a - 2*a + 3*d = 1, 0 = 5*a - p*d - 7. Let h = 8 - a. Is h even?
True
Suppose -2012 = -4*v + 5*p, -v = -3*v + 3*p + 1008. Does 19 divide v?
False
Let c = 1112 - -323. Is 20 a factor of c?
False
Let v = -845 - -1655. Suppose -3*s + 6*s - v = 0. Is s a multiple of 15?
True
Suppose 2*a = -26*a + 3696. Does 12 divide a?
True
Suppose 2*n = 4*v - 8, 4*v + 40 = -4*n + 2*n. Let l be 0 + 3/(n/(-16)). Suppose -l*z + r = -64, -6*z + 2*z + 80 = -5*r. Is 5 a factor of z?
True
Suppose 1015 = 5*m + 2*x, m + 12*x - 15*x = 220. Does 10 divide m?
False
Suppose 13920 = 5*r + 5*y, 15*r + 5*y = 11*r + 11131. Is r a multiple of 20?
False
Let o(c) = c + 37. Let z be 1/(-2)*(-24)/(-2). Let k = z - -6. Is o(k) a multiple of 11?
False
Let f = 7 - 16. Let m(d) be the first derivative of -d**4/4 - 10*d**3/3 - 6*d**2 + 5*d + 385. Is m(f) a multiple of 5?
False
Let f(g) = 17*g - 4. Let n be f(6). Suppose -3*y = -2*v + v + 98, 0 = -v - 3*y + n. Does 14 divide v?
True
Suppose -12*g + 420 = -2508. Is 37 a factor of g?
False
Let o be (-762)/15 + (-20)/(-25). Let u = 125 + o. Is u a multiple of 13?
False
Let c be (-1)/(-3)*(0 + 12). Suppose -29 = -5*q + 646. Suppose -q = -c*u + 121. Is 13 a factor of u?
False
Is 87 a factor of ((-63)/14)/(12/(-2488))?
False
Suppose 4*g = -4, -3*g + 0*g = -4*j - 9. Suppose 4 = 4*p + 8. Is (j/5)/(p/25) a multiple of 15?
True
Suppose 9*i - 477 = 972. Is i a multiple of 7?
True
Suppose 5 = 2*g - v, g - 2*v - 2*v = 6. Suppose 3*l + 0*d + 5*d = 187, g*d = -8. Is 19 a factor of l?
False
Let k = 519 + -512. Is k a multiple of 2?
False
Let t = -106 + 120. Let z(y) = 2*y**2 - 24*y + 2. Is 5 a factor of z(t)?
False
Let s = -13 + 14. Does 22 divide -30*(8/(-6) - s)?
False
Suppose 3*p = 334 + 17. Let o = p + -76. Suppose o = -3*a + 7*a + 3*x, -2*a + 43 = -3*x. Does 10 divide a?
False
Let d(n) = -n**2 + 13*n + 10. Let s be d(13). Is 4 a factor of s/(-2) + 1 + 16?
True
Suppose -2*t + 2 = 0, -5*w + 3*t + 221 = -t. Let m = w - 0. Does 16 divide m?
False
Let r(s) = -18*s + 48. Is r(-7) a multiple of 7?
False
Let d be (11 + -17)*1/(-3). Suppose d*m = -5*x - 3*m + 185, -5*m - 60 = -2*x. Is x a multiple of 5?
True
Let j = -537 + 1041. Does 18 divide j?
True
Let i(u) be the third derivative of u**5/60 - u**3/6 + 9*u**2. Is 4 a factor of i(-4)?
False
Let k(c) = 2*c**2 + 10*c - 9. Let h be (-3)/(21/2) + (-230)/(-70). Is k(h) a multiple of 3?
True
Suppose -21*d + 35904 = d. Is d a multiple of 10?
False
Let o = 62 - 54. Does 3 divide ((-44)/o + 4)*80/(-6)?
False
Suppose -2*c - 42 = -4*c. Let n(a) = -8*a + 26. Let f be n(3). Does 7 divide ((-32)/(-12))/(f/c)?
True
Suppose 4*c + 61 = -5*v, 2*v - 5*c + 70 = -3*v. Is 8 a factor of v/((-52)/(-224))*-2?
True
Let o(m) be the first derivative of 21*m**5/20 - m**4/12 + m**3/6 - m**2/2 - 2*m + 5. Let i(p) be the first derivative of o(p). Is 15 a factor of i(1)?
False
Suppose 0 = 14*a - 16*a + 336. Is a a multiple of 42?
True
Let h(n) = 21*n**2 - 4*n - 4. Let k be h(-1). Suppose 0 = -4*t - k + 33. Is 2 a factor of t?
False
Suppose -2*h = -60 + 10. Let k = h - 31. Does 12 divide 360/27*k/(-5)?
False
Let c = -109 + 208. Suppose 6*g - 2*g + 2*j - 22 = 0, 0 = g - 3*j + 5. Is 10 a factor of c/3 - g - 0?
False
Suppose -s + 9 = -3*w, 5*w = -0*w + 5. Suppose -5*q - q = 2616. Does 26 divide q/(-10) - s/20?
False
Does 2 divide ((-1068)/8)/(6/(-4))?
False
Suppose -42 - 30 = 4*l. Let o = l - -20. Does 4 divide (-1 + 0)/(o/(-10))?
False
Suppose 10*x - 15*x + 360 = 0. Suppose -x = -3*m + 135. Does 23 divide m?
True
Let a be (-10)/(-45) - 1228/18. Let s be a*1*4/(-8). Suppose 13*n + s = 14*n. Is n a multiple of 10?
False
Let b(y) = -y**2 + 6*y**2 - y**2 + 14*y - 5*y**2 + 17. Is b(13) a multiple of 15?
True
Let d(r) = r**3 + 4*r**2 - r - 8. Let l be d(-3). Suppose -85 = -4*f + l*s + 11, -f - 3*s = -24. Does 12 divide f?
True
Suppose 0 = 4*k - 12, 0 = 3*f - 0*k + 3*k - 9. Suppose f = -l + 49 - 1. Is l a multiple of 4?
True
Let d = 117 + 941. Does 46 divide d?
True
Let g(x) = -3*x**3 + 6*x**2 + 2*x - 3. Is g(-7) a multiple of 14?
False
Suppose -10*u = 6056 - 1436. Does 51 divide 6*(u/(-12) - -4)?
True
Let n be (-1712)/(-2) - (5 - 7). Let p be n/27 - (-2)/9. Suppose p = 3*y - 37. Is y a multiple of 9?
False
Let k(p) = -p - 3. Let j be k(6). Let c be j/(-3) - (-1 + -38). Suppose -3*n + c = -n. Is 7 a factor of n?
True
Let k(b) = -b - 8. Let h be k(-8). Let y(r) = h - 2*r + 2 + 6*r - 7 + r**2. Does 6 divide y(3)?
False
Let n = 590 + -170. Is n a multiple of 21?
True
Let d be (5/15)/(3/54). Suppose -3*o - 603 = -d*o. Does 8 divide o?
False
Let s be 1*(2 + -1)*(-2 + -4). Is 4 a factor of (-52)/10*15/s?
False
Let j be ((-11)/(-11))/(1/(-5)). Is (-22 - -23) + (-1 + -10)*j a multiple of 7?
True
Let l = 10 + -18. Let h = 2 - 6. Does 22 divide 22/h*(4 + l)?
True
Let g(l) = l**2 + 5*l + 5. Suppose 16 = -3*s + c, s - c + 2 = -0. Is 13 a factor of g(s)?
False
Suppose 0*h - 32 = 2*h. Let y = h - 23. Let f = 106 + y. Does 24 divide f?
False
Suppose 28*s = 29*s - 24. Let f = 16 - s. Does 26 divide 6/f + (-1260)/(-16)?
True
Does 30 divide (24/(-24))/((-2)/262)?
False
Is (-2)/(-4) - ((-1692)/8 - 8) a multiple of 12?
False
Let f = 62 - 60. Suppose -f*h = 3*p - 225, -4*h + 699 - 199 = -4*p. Does 40 divide h?
True
Let k(v) = 276*v**2 - 25*v. Is 62 a factor of k(2)?
True
Suppose 0 = -5*y - 0*g - 2*g + 651, -4*y + 532 = -4*g. Suppose 0*k + 3*p - 111 = -3*k, 3*k - y = 2*p. Suppose -i + k = -0*i. Does 9 divide i?
False
Suppose 806 = 4*z - 2266. Is z a multiple of 32?
True
Let t(u) = -3*u - 4. Let l be t(-3). Suppose -l*c + 0*c = -130. Does 14 divide (-28)/(-16)*(c + -2)?
True
Let x = -20 - -18. Let w = -2 + x. Let u(z) = -z**2 - 3*z + 6. Is 2 a factor of u(w)?
True
Let z = -963 - -1061. Is 61 a factor of z?
False
Let a(t) = -t - 6. Let q be a(-10). Suppose -i + q - 5 = 0. Does 6 divide 90/4 - i/(-2)?
False
Let l(c) = 16*c**3 - c**2 + 9*c - 14. Is 16 a factor of l(2)?
True
Let g be (4/(-5))/((-1)/5). Suppose 0 = g*i - 152 + 44. Is 9 a factor of i?
True
Let v(p) = 21*p + 30. Is 48 a factor of v(10)?
True
Let r(y) = -10*y**3 + 3*y**2 - 18*y + 7. Is 55 a factor of r(-5)?
False
Let r(q) = 106*q**3 + 2*q**2 + 2*q - 3. Let d(j) = 1 - 3 - j + j**3 - 3*j**2 + 6. Let g be d(3). Is 14 a factor of r(g)?
False
Let k = 37 + -25. Let w be k + 8/(-4) + 1. Let m = w - 8. Is 3 a factor of m?
True
Suppose 19*y - 15*y - 104 = 0. Is (-6)/39 - (-1356)/y a multiple of 13?
True
Let u = 8 - -19. Let p = u + -8. Is 6 + -1 + -3 + p a multiple of 18?
False
Let w be 5/(-10) - (-18)/4. Suppose -w*j = -x - 203, 116 + 96 = 4*j - 4*x. Does 21 divide j?
False
Does 19 divide (3/6 - (-58)/(-8))*-104?
False
Suppose 220 = 5*m - 30. Suppose 3*l + 8 = m. Does 12 divide l?
False
Let d be (-2)/(-10) - (-1116)/45. Suppose 4*s - 105 + d = 0. Is 4 a factor of s?
True
Let t(u) = 2*u**2 - 8*u + 2*u**3 - 13 + 16 - 8*u**2. Does 10 divide t(5)?
False
Suppose -825 = -80*p + 65*p. Does 3 divide p?
False
Let f be (9/(-15))/((-2)/10). Suppose -f*i = -3 - 66. Let q = i - -52. Is q a multiple of 25?
True
Let f(r) = r + 38. Let s be f(20). Let q = s + -26. Is 18 a factor of q?
False
Does 30 divide (4/12)/(615/306 - 2)?
False
Suppose -7 = -4*z - 3*r, 5*z - 4*r = 7*z - 6. Suppose -i = 3*k + 70, -3*k - 65 = -0*i - 4*i. Let l = z - k. Is 19 a factor of l?
False
Suppose -12*w = -3315 - 39081. Is w a multiple of 18?
False
Let n = 806 + -573. Is n a multiple of 5?
False
Let g(c) = c**2 - 4*c + 3. Suppose -4*l + 2*l + 8 = 0. Let j be g(l). Let x = 18 - j. Is 7 a factor of x?
False
Let l = -138 - -253. Suppose 4*j - l = 525. Does 21 divide j?
False
Suppose -3*b = 3*i, 0*i - 3*i + b + 12 = 0. Suppose 0 = -i*o + 5*p + 93 - 28, o - 31 = 4*p. Is 5 a factor of o?
True
Does 11 divide (-4932)/(-15) + (-186)/(-155)?
True
Let t = 27 - 31. Is 10 a factor of (-2 - t) + -4 + 119?
False
Let q(c) be the first derivative of c**4/4 + 10*c**3/3 - c**2 - 13