- 5*a**3 + 10*a**3 - 4*a**3. Is r(5) a multiple of 10?
True
Let b(z) = 117*z - 94. Let x be b(-7). Let s = 1384 + x. Is 8 a factor of s?
False
Suppose -3*a - 1407 + 101244 = -5*r, -3*a + 3*r = -99843. Does 44 divide a?
False
Suppose 1425 - 6243 = -11*h. Let i be (4 - (-17)/(-4)) + h/(-8). Is 396/i*165/(-6) a multiple of 21?
False
Let q = 6 - 4. Suppose 5*b = 2*s + 9, 2*b - q = -4*s + 16. Suppose -153 - 171 = -s*r. Is r a multiple of 12?
True
Suppose 4*p + 590 = 566, 4*j - 24520 = 2*p. Does 53 divide j?
False
Let k(j) = 13*j - 60*j**3 + 3 + 2 - 5*j + 6*j + 61*j**3. Does 58 divide k(8)?
False
Let o(s) = s**2 + 23*s + 60. Let x be o(-20). Suppose x = -5*f, 0 = -2*u - 3*u - f. Let l = u - -13. Is 2 a factor of l?
False
Suppose 20 = 3*d + 2*d. Suppose -4*o + 5 = -5*s, 4*s + 0*o = 3*o - d. Does 44 divide 7*10/35 - 42/s?
True
Suppose 18 + 6 = 6*p. Suppose -o + 358 = -p*n, n + 0*n + 3 = 0. Is 10 a factor of o?
False
Let d = 1880 - 1879. Let r(u) be the second derivative of 22*u**3/3 + 3*u**2/2 - 3*u. Does 7 divide r(d)?
False
Suppose 5*o + 12*r - 17 = 14*r, -5*r = -20. Suppose -572 = -2*b + y, -11*b + 7*b = -o*y - 1144. Does 11 divide b?
True
Let s = -458 - -452. Is 25 a factor of (-13 - -4 - -4)/(s/930)?
True
Suppose -13 = v - 213. Let n = 72 + v. Is n a multiple of 11?
False
Suppose -25*c - 28644 = -58*c. Is c a multiple of 28?
True
Let d be ((-1 - 4) + (4 - 1))*-1. Suppose u - n - d*n = 435, 3*n = -3. Does 12 divide u?
True
Let s(p) = -11*p - 5*p + 10*p. Let m be s(-1). Is 10 a factor of (m/4*25)/((-33)/(-88))?
True
Let l(s) = s**3 + 68*s**2 - 83*s + 362. Is l(-63) a multiple of 61?
False
Let s be (-3)/(-6)*(10 - 0)/1. Suppose -s*f + 11 = -4, 2*f = 5*m - 1574. Is 56 a factor of m?
False
Let k(b) be the first derivative of -b**5/15 - b**4/8 + 46*b**3/3 + 13. Let p(g) be the third derivative of k(g). Is p(-3) a multiple of 4?
False
Suppose 108*v = 99*v + 43713. Does 61 divide v?
False
Let u = -15 + 20. Suppose -u*v = -3*v + 10, -2*v - 126 = -4*w. Is w a multiple of 2?
False
Suppose -f + 1622 = -2*n, 6*f - 7*f = 3*n - 1602. Let d be ((-534)/(-4))/(3/12). Suppose f = 12*i + d. Is i a multiple of 6?
True
Let c = 3257 + -8255. Suppose -84*u + 9 = 235 + 278. Is 14 a factor of ((-4)/u)/((-7)/(c/4))?
False
Suppose 3*a - 128 = m - 5*m, m - 5*a = 9. Suppose -m*y + 18464 = 1325. Is 19 a factor of y?
False
Let m = 95 + -141. Let j = -16 - m. Does 3 divide -4 + j/5 + 1?
True
Let u(i) = 26*i - 35. Let a = -110 - -117. Is u(a) a multiple of 4?
False
Let y be (-11)/(-33)*(1 + 11 + -3). Suppose 0 = -2*n + 2, -285 - 6 = -i + y*n. Is 22 a factor of i?
False
Let h(m) = 85*m**2 + 72*m + 321. Is 167 a factor of h(13)?
False
Let k = -10 + 12. Suppose 3 = 3*w - k*w, -5*t - 2*w + 831 = 0. Let g = 275 - t. Is g a multiple of 34?
False
Let z = -21203 - -21279. Is 19 a factor of z?
True
Suppose 57*w - 7728 = 49*w. Does 16 divide w + -10*(-12)/(-30)?
False
Suppose 0 = -21*u + 6216 - 4076 + 40595. Does 7 divide u?
False
Suppose 171855 = 175*d - 237120. Is d a multiple of 13?
False
Let z be 5/3*(-36)/(-10). Suppose -228 = -0*q - z*q. Does 7 divide q?
False
Let i(o) = -2*o**2 - 22*o - 39. Let x be i(-8). Suppose s = -2*h + 16, 2*h = x - 1. Is s a multiple of 4?
True
Let o(z) = -5*z**3 + z + 2. Let a be o(-2). Let i = a - -16. Suppose -7 = -3*t + i. Is t a multiple of 7?
True
Suppose 37*a - 21*a = 64. Suppose 0 = a*r - 2880 - 756. Is r a multiple of 9?
True
Let g = 6720 + -1158. Is 18 a factor of g?
True
Let h(k) = -k**3 + 7*k**2 + 38*k + 23. Let a be h(-3). Let m(s) = -2*s**2 + 2*s + 4. Let c be m(3). Does 24 divide (c*a/(8/254))/2?
False
Let l(n) be the third derivative of n**5/15 - n**3/3 + 4*n**2. Let d = 22 + -26. Is l(d) a multiple of 25?
False
Let q(g) = g**3 + 22*g**2 + 16*g + 46. Let m be (-6)/(-14) - (2 + 1224/63). Is q(m) a multiple of 19?
False
Let s(m) = 3*m**2 - m. Let b be s(1). Let g(a) = -a**3 - 20*a**2 - 90*a + 18. Let q be g(-13). Suppose l = -b*l - 3*d + 255, 0 = d + q. Is 15 a factor of l?
True
Suppose -s - q - 33 = -2*s, -q = -3*s + 105. Suppose -2*i = -4*f - s, i + 4*f - 60 = -i. Is i a multiple of 12?
True
Let w(v) = 6*v - 19. Let r(m) = 6*m - 20. Let u(i) = -5*r(i) + 6*w(i). Let y be u(3). Suppose -3*h = -l - 296, -h + 488 = y*h - 3*l. Is 10 a factor of h?
True
Is 21 a factor of 12348/(-7)*36/(-54)?
True
Suppose -i - 36 = -7*i. Let s(r) = 1 + 12 + i + 5 - 2*r. Is 12 a factor of s(0)?
True
Let u(m) = 173*m**2 + 23*m + 126. Does 9 divide u(-7)?
True
Let v(u) = -716*u + 2. Suppose 3*b + 4*m + 18 = 0, 3*m - 1 = -5*b + 10*b. Is v(b) a multiple of 15?
False
Let x(f) = f**3 - 3*f**2 - 6*f - 3. Let j be ((-27)/(-6))/9*-14. Let l be x(j). Is 15 a factor of l/(-5) + -2*2/20?
True
Suppose 0 = -5*q + 5*t + 59865, 5*q - 2*t - 107715 = -4*q. Is 30 a factor of q?
False
Let g(x) = -84*x - 600. Is g(-11) a multiple of 54?
True
Suppose -5*r - 11*z + 7*z = -4810, 4*z - 1924 = -2*r. Does 22 divide r?
False
Let w be ((-80)/(-6))/(34/(-255)). Let t = w - -225. Is t a multiple of 15?
False
Suppose 2*l - 2*q + 3191 = 59041, -3*l - 5*q = -83775. Does 45 divide l?
False
Let q = -279 + 419. Suppose b = 6*b - q. Suppose 0 = 5*s - b - 142. Does 4 divide s?
False
Let z(r) = 2*r**2 + 22*r + 10. Let f be 236/(-20) + (-2)/20*-8. Let s be z(f). Suppose s*m - 172 = 68. Is m a multiple of 11?
False
Let j be ((-3)/2)/((-6)/(-2360)). Let z = -310 - j. Does 40 divide z?
True
Suppose 6218 = 82*t - 17890. Is 20 a factor of t?
False
Let i = 16339 - 6733. Does 10 divide 1/(-8) - i/(-48)?
True
Suppose 0 = 2*j + 4*g - 9906, -63*j - 14824 = -66*j + g. Is 101 a factor of j?
False
Suppose -i = 5*a + 2641, a + 2*i + 530 = -0*i. Let g = -151 - a. Is g a multiple of 51?
False
Does 19 divide (1 + 37)/(6 + (-6294)/1050)?
True
Let m(c) = -6*c - c**2 + 0*c - 6 - 5*c + 5*c. Let s be m(-4). Suppose -i + 4*q - 5 = 0, s*q + 10 = 4*q. Does 5 divide i?
True
Let s = 111 + -16. Let h = -91 + s. Suppose -n - h = 0, 0 = -3*a - 0*a - 2*n + 856. Does 16 divide a?
True
Does 59 divide (380/(-209))/((-8)/33308)?
False
Suppose 0 = -h - 2*h. Suppose 3*b - x = 40, 0*x - 4*x = b - 22. Suppose h = -j + 42 - b. Is j a multiple of 14?
True
Suppose 9*h - 16*h = 98. Let z(n) = -7*n - 71. Is z(h) a multiple of 20?
False
Suppose 4*r - 628 = o - 205, -4*r - 1269 = 3*o. Let v = 556 + o. Does 20 divide v?
False
Suppose -5*h + 10 = 4*t, -8 = 2*t - 2*h - 2*h. Let n(y) = y**3 - 12*y**2 + 45*y - 19. Let d be n(10). Suppose -3*p - 54 + d = t. Is p a multiple of 30?
False
Let r(h) = -2*h**3 - 5*h**2 - 3*h + 9820. Does 20 divide r(0)?
True
Suppose -2*u = -0*u + m - 72, 4*u = 2*m + 128. Suppose -14 = -v - 43. Let r = v + u. Is 2 a factor of r?
False
Let i = -4491 - -4788. Does 11 divide i?
True
Let w be 0/(-1)*(-4 - (-45)/10). Suppose 420 = h + 4*m - m, w = -2*h - 4*m + 830. Is 27 a factor of h?
True
Does 68 divide (76/(-247) - 180/(-78))/(1/1730)?
False
Suppose 3*d + 3*m - 29 = -14, -4*m = 3*d - 12. Does 16 divide (-14)/d - (-262334)/232?
False
Let g(l) be the third derivative of 5*l**4/8 + 14*l**3 + 68*l**2. Does 7 divide g(14)?
True
Suppose 14338 = -74*t + 87154. Does 24 divide t?
True
Suppose -2*v - 5*o + 14 = -0, 3*o = 3*v. Suppose v*g - 2*z = 614, 0*z + 5*z = 2*g - 605. Let a = -193 + g. Is a a multiple of 13?
True
Suppose 18*o - 46 = 422. Suppose -3*m = 3*v - 819, -o*m = -23*m + v - 821. Is m a multiple of 43?
False
Let m = 5531 - 4563. Is m a multiple of 8?
True
Let a be 1 + ((-2)/2)/((-16)/(-16)). Suppose -3*g - 5*t + 1335 = 0, a = -4*g + t + 66 + 1737. Is g a multiple of 50?
True
Let x be 4*-4*(-294)/48. Suppose x*u = 107*u - 1647. Does 61 divide u?
True
Suppose -3*c + 2*y - 58 = -7*c, 5*y + 23 = 4*c. Let g(p) = 0*p**2 + 9 + 0*p - 6*p + p**2. Does 6 divide g(c)?
False
Suppose -7*v + 36420 = -23388. Does 32 divide v?
True
Let l(o) = -o**3 + 9*o**2 + 13*o + 9. Let z be l(9). Suppose -4*j + 23 + 373 = 0. Let h = z - j. Is 24 a factor of h?
False
Let y = 35444 - 24825. Is 167 a factor of y?
False
Let i(p) = -19 - 295*p + 1202*p + p**3 - 305*p - 300*p - 303*p - 8*p**2. Let l(j) = j**2 + 7*j + 9. Let a be l(-7). Is i(a) a multiple of 20?
False
Let j(z) = 2*z**3 - 2*z - 2. Let a be j(-1). Let x be (3 + a + -3)*-1. Suppose 0*w = x*w + 3*s - 17, 0 = -w + 2*s + 5. Is 7 a factor of w?
True
Let g(y) = 4*y - 8*y - 12 - 2*y + 3*y. Let p be g(4). 