ivative of -d**3/3 - 9*d**2 + 31*d - 1. Is 12 a factor of r(-13)?
True
Suppose y = -0*y + 51. Let u = 91 - y. Let h = u + 20. Does 15 divide h?
True
Suppose -5*i - 15 = -3*u - 2*u, -3*i - 17 = -5*u. Let h be 7/(-21)*(-51)/i. Suppose -h = 5*v - 187. Is v a multiple of 34?
True
Let j(i) = i + 14. Let z be j(-13). Suppose -3*y + z - 13 = 0. Is 6 a factor of (2/5)/(y/(-200))?
False
Let y = -1403 + 2969. Is y a multiple of 11?
False
Suppose 0 = 7*o + 1558 - 5576. Does 14 divide o?
True
Is 147 a factor of (-22)/(-14) + -1 - 400200/(-350)?
False
Let y be (-38)/(-6) - (-8)/12. Suppose -y = -5*l + 3. Suppose 3*a = 3*j - j - 87, -4*j = -l*a - 162. Is j a multiple of 13?
True
Suppose 0 = -4*g + 392 - 72. Is 40 a factor of g?
True
Suppose -k = -5*k + 20. Suppose -k*p - 3*t + 17 = 0, 0 = -2*p + 4*p + 5*t - 3. Is p a multiple of 3?
False
Let l(h) = -h - 15*h**2 - 5 - h + 11*h**2 + h**3. Does 2 divide l(5)?
True
Let h(v) = 88*v + 44. Is 41 a factor of h(2)?
False
Let p(h) = h + 4. Let t be p(-2). Suppose t*i = 7 - 1. Suppose -144 = -i*c - c. Is c a multiple of 12?
True
Is 3 a factor of 77544/504 - (-12)/(-14)?
True
Let p(b) = 3*b - 18. Let d be p(8). Suppose 0 = j - d + 1. Is j a multiple of 2?
False
Let q(d) = -5*d**3 + 9*d**2 + 4*d - 1. Let x(g) = 3*g + 1 - 7*g - 10*g**2 + 3*g**3 + 3*g**3. Let h(m) = 5*q(m) + 4*x(m). Is 19 a factor of h(5)?
True
Let m = -12 - -17. Let c = m + 4. Suppose -33 - c = -3*r. Is r a multiple of 14?
True
Suppose -2*s + 3522 = 4*c, 85*c = 81*c + 12. Does 65 divide s?
True
Let k be (-4)/1 - 198/(-11). Let c(q) = -q + 15. Let b be c(k). Is b/(-4) - 303/(-12) a multiple of 13?
False
Suppose 3*h = 4*r - 217 + 14, -2*h + 165 = 3*r. Is r a multiple of 5?
False
Let f(o) = o**3 - 7*o**2 - 6*o + 14. Let l be f(7). Let k = -26 - l. Does 2 divide k?
True
Does 34 divide -6 - 2 - -850 - -8?
True
Let x = 26 + -17. Let p = -9 + x. Does 2 divide 1/(1/2 - p)?
True
Suppose 29*c - 2057 = 12*c. Does 11 divide c?
True
Suppose -14*q + 135372 = 102*q. Is q a multiple of 5?
False
Suppose -1 = -3*y - h + 4, -y - 5*h = 17. Suppose -l + 9 = -y. Does 11 divide l?
False
Let q(r) = 7*r - 37. Let w be q(6). Let z = 59 + w. Is z a multiple of 7?
False
Let s = -18 - -26. Suppose 0*f = -s*f + 744. Is 19 a factor of f?
False
Suppose 2*l - 2 = 2*i - i, -l - 4*i = -10. Suppose 2*z = -3*r + 148, r + 5*z - 54 = l*z. Does 48 divide r?
True
Suppose 0*t - 3 = -t. Let b be 1/(-2 - (-413)/206). Suppose y - 5*r + b = t*y, 3*y - 5*r = 284. Does 23 divide y?
False
Let p be ((-2)/(-4))/(1/(-120)*-6). Suppose -4*h = 5 + 3, 4*h = 2*c + 20. Let n = p - c. Is 24 a factor of n?
True
Let l(d) be the first derivative of 5*d**3 - 4*d + 11. Is l(2) a multiple of 16?
False
Let v be (4/(-5))/(10/(-50)). Suppose 0 = -v*k + 172 + 128. Does 12 divide k?
False
Let o(v) = v**2 + 15*v + 2. Let n be o(-14). Is 23/(-3*4/n) a multiple of 15?
False
Suppose 0 = -2*g + 2803 + 4387. Does 98 divide g?
False
Is 18 a factor of 4 - (0 - 3) - -152?
False
Let t = -348 + 535. Does 9 divide t?
False
Let k(z) = -6*z**3 - 13*z**2 - 4*z - 1. Let i(u) = -7*u**3 - 14*u**2 - 3*u. Let f = 12 - 18. Let j(g) = f*k(g) + 5*i(g). Does 6 divide j(-6)?
True
Suppose -2*l + 21 = -5. Let s = 10 - l. Is 12 a factor of ((-14)/s)/(3/18)?
False
Suppose -4*a + 24 = -a. Let v = a - 4. Is 9 a factor of v/(-20) + (-452)/(-10)?
True
Suppose 4*b - 12 = t, 5*b - t = 3*t + 26. Suppose 0 = 2*n - 14 - b. Is n even?
True
Let x(j) = 5*j**3 - 6*j - 5. Let k(w) = -9*w**3 + w**2 + 11*w + 11. Let a(g) = -3*k(g) - 5*x(g). Is 20 a factor of a(4)?
True
Suppose -12*m = -17*m + 120. Is 8 a factor of m?
True
Is (-136)/(-238) - 6768/(-14) even?
True
Let y = -164 - -192. Is y even?
True
Let y(l) = l**3 + 7*l**2 + 7*l + 8. Let z be y(-6). Suppose 6 = z*r - 0*r. Suppose 5*x - r*a = 156, a = 2*x - 2*a - 66. Does 9 divide x?
False
Suppose 6*t = 2*t + 8. Let n(s) = -t - s**2 - 4*s**2 - s + s**3 + 7*s**2. Is 6 a factor of n(2)?
True
Let q be (30/(-10))/((-6)/4). Let b(o) = -o**3 + 3*o**2 - o**q + 5*o**2 - o - 3. Is b(5) a multiple of 24?
False
Is 21 a factor of (-9216)/(-9) + (-6)/(12/(-10))?
True
Suppose 4*l = 2*v + 390, -5*l + 307 = -4*v - 173. Let b = -2 + l. Is 21 a factor of b?
False
Suppose -5*z + 15 = 5*u, -4*u + 6 = -z - 11. Suppose 2*l + 212 = u*l. Let x = l - 70. Does 18 divide x?
True
Let a(p) be the first derivative of 6 - 9/2*p**2 - 3*p**3 + 16*p - 1/4*p**4. Is a(-8) a multiple of 6?
True
Suppose -17 = -4*q + 3*i, 0 = -4*i - 0 + 4. Let s(g) = q*g + 3 - 3 - 1. Is s(3) a multiple of 14?
True
Suppose 8 = -g - 2*y, -7 + 4 = -4*g - y. Suppose g*s = s - 6. Is 3/(-2)*88/s a multiple of 11?
True
Suppose 2*s = -4*q + 828, -414 = -27*s + 26*s + q. Does 23 divide s?
True
Let d(o) be the third derivative of -o**4/8 - o**3/2 - 3*o**2. Let w be d(-3). Does 4 divide 85/w - (-6)/(-36)?
False
Suppose 5*j - 9740 = 5*a, 17*a - 18*a = -2*j + 3897. Is j a multiple of 101?
False
Let d(c) = 8*c**2 + 37*c - 28. Is 39 a factor of d(-10)?
False
Suppose -3*b + 78 = -3*o, -3*o + 7*b - 2*b - 88 = 0. Let k be 2 + -2 + 31 + 0. Let p = o + k. Is p a multiple of 10?
True
Let s be (-1 - -2)*(-1649)/(-17). Suppose -d - 3*c = -s, 3*d - 5*c - 388 = -d. Is d a multiple of 5?
False
Let t(b) = b**3 + 8*b**2 + 6*b - 10. Let q be t(-7). Let z(c) = -2*c**2 + c - 3*c + 13*c**2 + 4*c. Is 31 a factor of z(q)?
True
Suppose -4*h = 2*w - 770, 5*w - 1946 = -4*h + h. Suppose 5*k - w - 259 = 0. Is 25 a factor of k?
False
Let u(m) = 2*m**3 - 33*m**2 + 18*m + 14. Is u(16) a multiple of 5?
False
Suppose p = -4*f + 828, 6*f + 4*p = 2*f + 840. Is f a multiple of 5?
False
Suppose 4*d = 598 - 30. Suppose 4*o + 3*c - d = -2*c, 0 = 5*o + 2*c - 186. Is 12 a factor of o?
False
Let n(b) = 4*b**3 - 2*b**2 + 2*b - 1. Let v be n(1). Is (v + -73)/(-2) - 1 a multiple of 11?
False
Suppose g + 30 = 3*j - 4*g, j - 2*g - 10 = 0. Suppose 3*y - j = 8. Does 6 divide y?
True
Is 16 a factor of (-3)/4 - ((-47817)/(-28))/(-9)?
False
Suppose 4 = 3*d - 2*d + v, -4*d = -3*v + 19. Let u(i) be the first derivative of 22*i**3 - i**2 - i + 3. Is u(d) a multiple of 15?
False
Let s = -56 - -77. Suppose 18*r = s*r - 216. Is 4 a factor of r?
True
Suppose -19*o = -1967 - 4341. Does 35 divide o?
False
Suppose -24*b + 25*b + 12 = 0. Let v be (-2 - b/5)*10. Suppose 2*w + v*p - 433 = -3*w, -p = -5*w + 423. Is 17 a factor of w?
True
Suppose 4*j = i + i + 90, -2*i - 90 = 5*j. Let u be (i/6)/(1/(-6)). Let f = -27 + u. Is f a multiple of 18?
True
Let n = -134 + 2781. Does 83 divide n?
False
Suppose -n + 105 = 4*t, -3*n + 79 + 61 = 5*t. Let a = 121 - t. Suppose -9*m + a = -5*m. Does 12 divide m?
True
Suppose 0*j + 9 = -3*j. Let b be (-8)/(-6)*-7*j. Suppose -o = -b - 14. Is o a multiple of 14?
True
Suppose -4*l + 5*f = -387 - 30, -4*l + 408 = 4*f. Let t(i) = -103 + 14*i**2 + l + i. Is t(-2) a multiple of 27?
True
Let j(x) = -57*x - 6. Let v be j(-4). Suppose -4*t = v - 686. Is 29 a factor of t?
True
Let o(m) = -6*m + 1677. Does 8 divide o(22)?
False
Let k be (0 + -99*1)/1. Let z be 301/9*5 + (-16)/72. Let d = z + k. Is d a multiple of 13?
False
Let i = -195 + 416. Does 14 divide i?
False
Let p(m) = -6*m**3 + 4*m**2 + 4. Let a be p(3). Let l = 62 - a. Is 23 a factor of l?
True
Suppose -5*h + h = -3100. Is 15 a factor of h?
False
Suppose 0 = -i - 192 + 572. Is 38 a factor of i?
True
Let t = 993 + -529. Is 4 a factor of t?
True
Let k(a) = -a**3 - 20*a**2 - 33*a + 25. Does 19 divide k(-21)?
True
Let p = 42 + -3. Suppose 5*h + 20 = -3*o + 74, -5*h = -2*o - p. Let m = h + 5. Is 11 a factor of m?
False
Let c = 15 + -30. Let r(q) = 17*q**2 - 12 - 8*q**2 - 8*q**2 - 4*q + 17*q. Does 9 divide r(c)?
True
Let g = -150 - -211. Is 2 a factor of g?
False
Let i(t) = -t**2 + 13*t + 2. Let l be i(13). Suppose -l*c - 2 = -3*c. Suppose o - c - 22 = 0. Is o a multiple of 12?
True
Does 115 divide (-858)/2*(-9 - (-10 + 6))?
False
Suppose a = 2*v + 2 - 12, 3*v - 4*a = 20. Suppose -3 = 3*u, 4*u - 282 = -v*r + 2*u. Does 27 divide r?
False
Suppose 21*w - 16525 = 13505. Is w a multiple of 26?
True
Is 9 a factor of ((-12)/(-9))/(4/324)?
True
Is 52 a factor of 21852/42 - (-1)/(-7)*2?
True
Let d = -45 + 47. Suppose d*q - 119 = 59. Is 21 a factor of q?
False
Let z = 20 - 68. Let o = 18 - z. Does 20 divide o?
False
Let h be 4/6 + (-305)/(-15). Suppose -14 = w - 5*d - 1, -3*w 