et v(h) = 568*h**2 + 35*h + 75. Is v(-5) a multiple of 15?
True
Does 16 divide ((-125)/75)/(1/(2543*-3))?
False
Let q(h) = -205*h**2 - 9*h + 9. Let o be q(1). Let m = 212 + o. Does 4 divide m?
False
Let c(j) = 5*j**3 - 4*j - 7. Let k = -57 - -60. Is c(k) a multiple of 21?
False
Let s be 171/27 - (-3)/(-9). Is s/(-2) + (-7)/(21/(-1524)) a multiple of 18?
False
Let y(m) be the second derivative of m**4/12 + 4*m**3 - 35*m**2/2 + 2*m - 59. Is y(-30) a multiple of 74?
False
Let c(s) = 4212*s - 9734. Is c(8) a multiple of 145?
False
Is 20 a factor of (-174)/2001 + 27142/23?
True
Let o(p) = 4 + 9 + 500*p - 9. Is 63 a factor of o(1)?
True
Let k = 368 - 197. Suppose 169*g + 36 = k*g. Is g a multiple of 9?
True
Suppose -3*c + 4*r + 600 = 0, -8*c = -4*c - 3*r - 800. Let o = 347 - c. Is 56 a factor of o?
False
Suppose -t = -2*d - 3, 4*d = -2*t - d - 30. Let b(x) = -x**3 - 3*x**2 + 13*x + 5. Let p be b(t). Let i(c) = 2*c**2 + 12*c - 11. Is 21 a factor of i(p)?
False
Suppose 5*d + 12*u - 10*u - 1655 = 0, -4*u = 3*d - 979. Is 37 a factor of d?
True
Let l be (-2)/(-4) - (-1261)/(-2). Let j be l/(-2) + -4 + 1. Let p = j + -187. Is 13 a factor of p?
False
Suppose 0 = 3*j + 2*i + 12, 24 = -2*j - 0*i + 4*i. Is 68 a factor of (-1792)/j - (-6 + (-40)/(-6))?
False
Let h(y) = 13*y**2 + 28*y + 25. Let g be h(-11). Let w = -735 + g. Does 57 divide w?
False
Suppose 2*h + 59 = -r, 2*h - 4*h = -3*r + 39. Let s be -3*2/12 + h/6. Does 9 divide (20/s + 106)/1?
False
Let z = -2047 + 2861. Is z a multiple of 10?
False
Suppose 2*z + z + 3*v = 24, -29 = -4*z - 5*v. Suppose -1141 = z*o - 5970. Is o a multiple of 56?
False
Suppose z - 8772 = 11*v - 16*v, z - 3*v = 8820. Does 53 divide z?
False
Suppose -k = 4*k - 4*c + 860, 2*k + 332 = 4*c. Let s = k + 218. Does 7 divide s?
True
Suppose 5*q - s = 4105 + 215, 0 = 4*q + 5*s - 3456. Let r(d) = 5*d - 2. Let z be r(1). Suppose z*o = -6*o + q. Does 16 divide o?
True
Does 65 divide 65/(-78)*29926/(-5) + 25/(-15)?
False
Suppose 0 = 7*g + 2 - 16. Suppose -2*a = -20*o + 15*o - 240, g*a - 216 = -o. Is a a multiple of 5?
True
Suppose -5*m = 2*p - 20, 4*m - p = 1 + 2. Suppose -m*x + 594 - 80 = 0. Is 36 a factor of x?
False
Is 110 a factor of (10/4)/((-324)/405 + (-26053)/(-32560))?
True
Let o(w) = 37*w**2 - 16*w + 34. Does 21 divide o(2)?
False
Let a be ((-72)/15)/4*-15. Is (-4)/a - (-3306)/54 a multiple of 7?
False
Suppose 22*a - 82*a + 215004 - 20604 = 0. Is 60 a factor of a?
True
Suppose 14*x - 15*x = -514. Let r = x - 392. Is 7 a factor of r?
False
Is ((-7196)/(-21) - 6)/((-3)/(-2*18)) a multiple of 10?
True
Let j(l) = -368*l + 4652. Is j(-10) a multiple of 7?
False
Suppose -6*u + 44 = 14. Let w be u - (-15)/(-12)*4. Suppose f - 595 = -4*f + 3*n, -3*f - 3*n + 333 = w. Does 29 divide f?
True
Let u(v) = 174*v**2 + 20*v - 128. Is 32 a factor of u(-16)?
True
Suppose -3*s + 315737 = -6*s + 74*s. Does 46 divide s?
False
Suppose 8*r = 14*r - 12. Let o(c) = -13*c + r*c**2 - c + 2*c - 52 + 29. Does 11 divide o(12)?
True
Suppose -18*k + 24*k = 42. Suppose 334 = 2*d + 4*f, 11*f = 5*d + k*f - 891. Is 35 a factor of d?
True
Let r(d) = 8*d**2 - 22*d + 601. Does 10 divide r(12)?
False
Let k(v) = -840*v + 2303. Is 27 a factor of k(-9)?
False
Let x = 349 + -194. Does 31 divide x?
True
Suppose 0 = -9*o - 12 + 156. Is 36 a factor of -336*4/(o/(-3))?
True
Let s(l) be the first derivative of 10*l**2 - 60*l - 136. Does 7 divide s(17)?
True
Is 31 a factor of 1/(3/22080) + 41 + -50?
False
Suppose -5*y + 8650 = 4*j, 10808 = 13*j - 8*j + 4*y. Does 16 divide j?
True
Let m(i) = 33*i**2 - 36*i - 1897. Is 13 a factor of m(-27)?
False
Suppose 52 + 21 = 3*d - 4*n, -3*d = -5*n - 74. Suppose -560 = 13*h - d*h. Is h a multiple of 4?
True
Let t = -1455 - -2355. Is 2 a factor of t?
True
Let a = 10 + -10. Let y be a/((6/1)/3) + 5. Suppose 5*s + 5*p - 20 = 0, -3*s - 5*p = -y + 1. Is s a multiple of 6?
False
Let x(f) = 9*f**2 + 117*f + 1. Let l be x(-13). Does 9 divide (l/((-2)/(-207)))/((-166)/(-1660))?
True
Does 5 divide 1838/(-6)*(-252)/35 - (-3)/(-5)?
True
Suppose -4*t - 456 = -2056. Let k = t + -237. Let u = 16 + k. Does 22 divide u?
False
Suppose -27*y = -3*y - 33336. Is y a multiple of 69?
False
Let a be (0 - 58)*(-6)/4. Suppose -i - 3*m = -18, 0 = 64*m - 65*m + 5. Suppose -a = -i*b + 273. Does 12 divide b?
True
Let z(n) = n**2 - 15*n + 27. Let f be z(10). Let o(i) = 3*i**2 + 32*i. Does 17 divide o(f)?
False
Let n = 2604 - 1810. Suppose -801*c + 147 = -n*c. Is c a multiple of 2?
False
Let g(c) = -c - 17. Let a be g(7). Let n be 4/a*0 + (-2 - 0). Does 17 divide -4 + (57 - -4) - (-1 + n)?
False
Let u(g) = -g**2 - 3*g - 3. Let k be u(-2). Suppose -13*n + 180 = 167. Does 9 divide k/(-2*n/98)?
False
Suppose 3*n + 152 = -4. Let y be 56 - (12/(-3) + 2). Let m = y - n. Is 11 a factor of m?
True
Let m(c) = c**3 - 2*c - 2. Let d be m(3). Suppose 0 = -15*o + d*o - 12. Suppose -4*t + 72 = -o*t. Is 12 a factor of t?
True
Suppose -3*d - 269 + 281 = 0. Suppose 5*t + y - 11 = 37, 8 = -d*y. Suppose -24 = t*b - 12*b. Is b a multiple of 12?
True
Let o = 20 + -13. Suppose -8 = -3*m + o. Suppose -2*x + 71 = -s, m*x - 3*s - 165 = 11. Does 10 divide x?
False
Let h(w) = 39*w**2 - 176*w - 2923. Is 18 a factor of h(-17)?
True
Let c(m) be the third derivative of 0 - 15*m**2 + 0*m + 1/6*m**3 - 1/24*m**4 + 2/15*m**5. Is c(4) a multiple of 32?
False
Let k(n) = -4*n**3 - 10*n**2 - 25*n + 10. Let j(m) = -m**2 + 7*m + 25. Let z be j(10). Is k(z) a multiple of 34?
False
Let w be 36/(-2)*(-1)/2*7. Is (-14)/w + (-47215)/(-45) a multiple of 36?
False
Suppose 10*s - 7*s = 15. Suppose -q = -4*j - 15, 2*q - s*j + 3*j = 12. Suppose -n - 3*b + q = -21, 5*n + 4*b = 131. Is n a multiple of 3?
True
Let c = -15381 + 23213. Does 16 divide c?
False
Let s = 141 + -137. Suppose s*j = -j + 330. Is 11 a factor of j?
True
Is 3 a factor of ((-1533)/(-14) - 9)*18?
True
Let q = 3733 + -3513. Does 11 divide q?
True
Does 65 divide (-295 - -25)*1*39/(-3)?
True
Is 48 a factor of 93821/20 - (-122)/(-2440)?
False
Let m be ((-3)/(-3))/((-7)/(-259)). Let f(u) = -u**2 + 40*u - 78. Is f(m) a multiple of 27?
False
Let f = -3276 + 3278. Suppose -4*n = -n - 315. Suppose 5*i - 5*j - n = 0, 0 = f*i - 4*j - 12 - 24. Is i a multiple of 24?
True
Suppose 0 = 3*u + 9 - 3. Let v(j) be the first derivative of -53*j**2/2 - 3*j - 20. Is v(u) a multiple of 18?
False
Let o = 6453 - 4084. Does 22 divide o?
False
Let v = 273 - 271. Suppose 0 = k - v*r - 466, -451 + 2322 = 4*k - r. Does 59 divide k?
False
Suppose 8*h + 5*i = 3*h + 10725, i + 10737 = 5*h. Suppose 2*d - h = 667. Is 21 a factor of d?
True
Suppose 11*i + 4 - 59 = 0. Let r(q) = 3*q**3 - 6*q**2 + 3*q + 6. Let l(k) = 7*k**3 - 12*k**2 + 5*k + 11. Let u(b) = -2*l(b) + 5*r(b). Does 6 divide u(i)?
False
Suppose 4*g = 3*f + 153, 4*f + 153 + 3 = 4*g. Suppose -2*p + 33 = p - 2*d, 3*p - 3*d - g = 0. Suppose 2*s = p + 1. Is 5 a factor of s?
True
Let q be (-8)/((-1)/(4 - 3)). Suppose q*l = -3*l + 5819. Is l a multiple of 23?
True
Let f = -32110 + 57740. Is f a multiple of 10?
True
Suppose 2*x + 5793 = 5*g, g - 469 - 691 = -x. Let f = g - 537. Is f a multiple of 32?
False
Let z be (-3)/2*(118 + 0). Let r be ((-430)/6)/(3445/234 - 15). Let k = r + z. Is 15 a factor of k?
False
Let q = 1884 - -690. Is q a multiple of 78?
True
Let f(n) = n**3 + 3*n + 21. Let g(y) = y**3 + 13*y**2 - 6*y - 6. Let v be g(-13). Suppose -33 - v = -15*h. Is 55 a factor of f(h)?
True
Is 42 a factor of 23821100/2070 + 2/18*-7 + 1?
True
Suppose 16721 = -3*h + 274643. Does 42 divide (h/(-54))/(-1) + (-1)/9?
False
Let i(v) = 6511*v**3 + 3*v**2 - 4*v + 2. Does 13 divide i(1)?
False
Suppose 471*q + 445320 = 591*q. Does 55 divide q?
False
Let h = -671 + 675. Suppose -195 = -q - 5*z, 4*q + 235 - 943 = h*z. Does 45 divide q?
True
Let a(b) = -14*b + 68. Let v be a(-4). Let d = -52 + v. Is 15 a factor of d?
False
Let y(p) = 4*p**2 - 7*p + 916. Is y(22) a multiple of 4?
False
Let b(a) = 16*a**2 + 73*a - 148. Let j be b(2). Suppose 532 = -c - 3*c. Let z = j - c. Is z a multiple of 13?
True
Let c(b) = -6*b**3 - 4*b**2 - 6*b - 8. Let m = 26 + -30. Does 8 divide c(m)?
True
Suppose m = -2*d + 42, -4*d = -2*m + m + 54. Suppose 2*i + 69*i = 710. Suppose -i*r - m = -11*r. Does 25 divide r?
False
Let q(m) = m**2 + 6. Let k be q(0). Suppose -k*f - 12