12/144*5 a multiple of 47?
False
Let f(x) = -3*x**2 - 16*x - 19. Let q be f(-3). Suppose k - 131 = -4*b, q*k + 3*b + 7 = 294. Does 13 divide k?
False
Suppose 0 = 5*a + 102 - 147. Suppose 3*f - a*f = 108. Is 10 a factor of 2*27*(-30)/f?
True
Suppose 105098 = 111*n - 853609. Does 72 divide n?
False
Let f(t) = t + 10. Let x = -62 - -68. Let p be f(x). Is 3 a factor of (-4 + 2)/((-4)/p)?
False
Let d(g) = 2540*g**2 + 53*g - 1. Does 162 divide d(1)?
True
Suppose 156 = -5*v + 591. Suppose 0 = -3*y + 13*k - 16*k + v, -5*y + 110 = -2*k. Does 6 divide y?
True
Let z be (-30 - -6)/4 - -8. Suppose 0 = -x - 5*f + 99, -z*x + 7*f + 180 = 8*f. Is x a multiple of 3?
False
Suppose 4*i - 21 = -5. Let h(u) = -29*u**2 - 28*u - 20 - u**3 + u**2 + i*u**2. Is 13 a factor of h(-23)?
False
Let p = -70 + 72. Suppose u - 2*i - 75 = 0, -3*i = -p*u + 195 - 45. Does 15 divide u?
True
Let k(b) = 2*b + 20. Let r be (-18)/(-6)*-1 - (0 - 43). Let s = r - 34. Is 8 a factor of k(s)?
True
Suppose 0 = 45*y - 286725 + 26715. Is y a multiple of 18?
True
Let b(k) = 304*k**3 + k**2. Suppose 12*g = -0*g + 12. Is b(g) a multiple of 17?
False
Let z = -46 + 14. Let u = z + 26. Let n(t) = 2*t**2 + 5*t + 14. Does 7 divide n(u)?
True
Let k(d) = -33 - 19*d - 47 + 7*d**3 + 16 - 6*d**3 + 7*d**2 + d**2. Does 2 divide k(-7)?
True
Let q(f) be the third derivative of -1/60*f**6 + 4/3*f**3 + 27*f**2 - 1/15*f**5 + 0 - 1/6*f**4 + 0*f. Is 11 a factor of q(-4)?
True
Does 8 divide 23 - (-85800)/30 - (-3)/(3/5)?
True
Let k = 10702 - 7275. Is k a multiple of 23?
True
Suppose 18 = c + c. Suppose 0 = 3*r + 2*o + 11, 10*o + 1 = r + 6*o. Is (r - 87)/(c/(-24)) a multiple of 40?
True
Let q = -54 + 56. Suppose 186 = q*d + 5*j - 180, j + 515 = 3*d. Is d a multiple of 31?
False
Let w(o) = 10*o**3 - 25*o. Let m be w(8). Suppose 70*t - m = 10*t. Is 23 a factor of t?
False
Suppose -5*p + 12*p = -1708. Let v = 25 - p. Is v a multiple of 18?
False
Let s(j) be the first derivative of -j**6/120 - 7*j**5/60 + j**4/6 - 2*j**3/3 + j**2 + 5. Let p(d) be the second derivative of s(d). Is p(-8) a multiple of 4?
True
Suppose d - 2*d = 5*a + 210, -42 = a - 4*d. Suppose -4*x - r - 294 - 2 = 0, -2*x - 4*r - 162 = 0. Let o = a - x. Is o a multiple of 16?
False
Let u(q) = 8*q**2 + 5*q - 5. Let x(j) = 7*j**2 + 4*j - 4. Suppose -4*a - 7 = -5*z, 4*z - 4*a = -0*z + 4. Let d(f) = z*u(f) - 2*x(f). Is d(-6) a multiple of 16?
False
Suppose 0 = -439*v + 431*v + 38656. Suppose -3*k = -v + 1862. Is k a multiple of 15?
True
Let c be (-20)/30 - (-4)/(-3). Let b = -2 - c. Suppose -3*k + n = -5, b = 5*k - n - 0*n - 11. Does 2 divide k?
False
Let m = 465 + -410. Suppose 135 = -2*d - 3*d. Let f = d + m. Is f a multiple of 7?
True
Suppose 3*y - 21900 = 6804. Is y a multiple of 46?
True
Let i(w) = -5*w**3 + 8*w**2 - 9*w - 31. Let c(g) = 6*g**3 - 7*g**2 + 9*g + 31. Let o(b) = 4*c(b) + 5*i(b). Is o(7) a multiple of 30?
False
Suppose 3*q = 8*q - 390. Suppose 2*u + 4*h - 88 = 0, 0*h = 3*u + 4*h - 122. Let y = u + q. Is 16 a factor of y?
True
Suppose 830 = 5*r + 5*g, 0 = 4*r - g - 0*g - 659. Let y = r - 142. Is y a multiple of 6?
False
Let i(t) = 152*t - 2538. Is 52 a factor of i(39)?
False
Let u(a) be the third derivative of 13*a**5/10 + 7*a**4/24 - 3*a**3 + 22*a**2. Does 28 divide u(2)?
True
Let p(z) = -5*z**2 - 14*z + 71. Let r(n) = -n**2 - 2. Let q(h) = -p(h) + 3*r(h). Is 35 a factor of q(9)?
False
Let c(h) = -h**2 + 3*h + 6. Let i be c(5). Let w be (5/(-2) - i)*20/6. Does 29 divide -3 - ((-10)/w + 1*-228)?
False
Let v(w) = -2166*w - 6522. Does 6 divide v(-8)?
True
Let q be (0 - 30/(-16))*-44*6. Let l = q - -737. Does 10 divide l?
False
Let j(r) = -151*r - 2782. Is 23 a factor of j(-105)?
False
Is 19 a factor of (-15)/((-225)/(-30)) - 42972/(-2)?
False
Suppose 0 = 14*o - 223370 - 70714. Is 18 a factor of o?
True
Let g(a) = -a**3 - 1 + 3 + 21*a**2 + 53 + 19*a**2. Is g(40) a multiple of 5?
True
Let l(f) = -120*f + 705. Does 6 divide l(-21)?
False
Let p = -435 - -435. Suppose z - 3*x - 324 = 0, -3*z + p*x - x = -1012. Is 8 a factor of z?
True
Suppose -24 = -13*a + 17*a. Let i be (-23378)/6 - 2/a. Is 9 a factor of i/(-48) - (-2)/(-12)?
True
Let c(w) = -2*w**2 - w + 44. Let h(j) = j**2 + 8*j + 7. Let u be h(-7). Let p be c(u). Suppose -p - 1 = -z. Is 15 a factor of z?
True
Let f = 27717 - 23458. Does 4 divide f?
False
Suppose -1826799 = -76*x - 186719. Does 20 divide x?
True
Suppose -9*u = 2*w - 10*u - 7279, 2*u - 14562 = -4*w. Does 40 divide w?
True
Suppose 0 = 18*i + 13*i - 923831. Does 17 divide i?
True
Suppose -7*q - 34*s = -31*s - 3048, q - 2*s - 416 = 0. Is q a multiple of 9?
True
Let x be 3252/(30/(-45)*6/(-4)). Suppose -220*j - x = -226*j. Is 33 a factor of j?
False
Suppose -3*a + 1598 = 2*m, -4*a = -12*m + 9*m + 2380. Is m a multiple of 4?
True
Let i = -40 + 42. Let k be (i/4)/(3/18). Suppose 0*b = k*b + 9, 3*d - 5*b = 159. Is 16 a factor of d?
True
Let k(m) = -229*m - 11. Let v be k(-1). Let x = v + -10. Is x a multiple of 2?
True
Let x(m) = m**3 - 2*m**2 + 4*m + 175. Let t be x(0). Suppose 0 = 2*a - 7*a + 20. Suppose -a*w + 77 = -t. Does 9 divide w?
True
Suppose 0*k + 4*k = 8, 5*k - 162 = 4*f. Let w = -35 - f. Does 26 divide (w + (-2)/8)*(-88)/(-2)?
False
Let s = 2049 + -1425. Let d = -441 + s. Is 3 a factor of d?
True
Let m(n) = -n - 15*n**2 + 10 + 0 + n**3 + 24*n**2. Is m(-4) a multiple of 12?
False
Let m be 6/(-33) - (2 - (-268)/(-22)). Let g(w) be the third derivative of w**6/120 - 2*w**5/15 - 3*w**4/8 + 3*w**3 + w**2. Is 13 a factor of g(m)?
False
Suppose 0 = -15*o - 214 - 236. Is 14 a factor of (841/87)/((-2)/o)?
False
Suppose -15*f + 20*f = 7950. Suppose -3*s - 216 = -f. Does 15 divide s?
False
Suppose 165011 = 13*l + 5*s + 33897, 30282 = 3*l - 3*s. Is l a multiple of 15?
False
Suppose 312*v - 308*v - 308 = 0. Let t = 97 - v. Does 12 divide t?
False
Let m = -3061 + 2051. Let y = -694 - m. Suppose -254 = -6*s + y. Is 19 a factor of s?
True
Let q(s) = -2*s**2 - 37*s - 1. Let b be q(-10). Suppose 189*k - b*k - 3400 = 0. Does 10 divide k?
True
Let o be 4 + 1 + 4/4. Suppose -o = -2*m, 3*g + 2*g - 2*m = 309. Suppose -g*n + 65*n = 152. Is n a multiple of 19?
True
Let c(v) = 5851*v**2 + 763*v + 764. Is 28 a factor of c(-1)?
True
Let p = -20 - -15. Let l(v) be the first derivative of -v**4/2 - 4*v**3/3 + 7*v**2/2 - 11*v + 40. Does 15 divide l(p)?
False
Let t = 40386 - 26658. Is 143 a factor of t?
True
Let r(v) = -v**3 - 5*v**2 + 2*v - 26. Let k be r(-7). Let s = k + 396. Is 42 a factor of s?
False
Suppose 0 = -0*j + j + 3*o - 63, 5*o = j - 47. Let d be j + (4 - 6) + 2 + 0. Let n = d - -9. Is n a multiple of 6?
True
Let h = 47 - 47. Let o be h + -3 + -1 + 136. Let s = o + -55. Is s a multiple of 9?
False
Let w be (3/(-2))/((-33)/4246). Let o = w - 83. Suppose 3*j - q = 3*q + o, -5*q = 5*j - 160. Is j a multiple of 27?
False
Suppose 30*x = 3*h + 29*x - 1598, 4*x = 16. Suppose 125 - h = -p. Is 13 a factor of p?
False
Let v(c) = -c**3 - 17*c**2 - 20. Let n be v(-17). Is -15*(-2*1 - (-312)/n) a multiple of 33?
True
Let y = -9 - -14. Suppose -3*b - 4*h + 428 = -b, -4*h = y*b - 1040. Suppose 12*u - 6*u - b = 0. Is u a multiple of 34?
True
Let i(d) = 9*d. Let l be i(5). Suppose 6*y + l + 207 = 0. Let n = y + 85. Is n a multiple of 5?
False
Suppose 0 = 8*a - 3115 - 12733. Let v = -1162 + a. Does 21 divide v?
True
Let w(b) be the second derivative of b**5/20 + 7*b**4/12 - 3*b**3/2 - 3*b**2/2 + 59*b + 2. Is w(-7) a multiple of 20?
True
Let i = 153 + -149. Let j(m) = m**3 - 8*m**2 + 18*m - 1. Is 7 a factor of j(i)?
True
Suppose -11 = 4*y + 7*n - 4*n, 0 = n + 5. Is 6 a factor of -2*(y*(5 + -58) + -1)?
True
Suppose -24 = -4*r + 2*b, -2*r + 8 = -0*b - 3*b. Suppose -r*n - 296 = -1087. Let w = -93 + n. Does 16 divide w?
False
Let h = -91 - -100. Let u be (1/2)/(h/9036). Suppose 202 = -5*q + u. Is q a multiple of 10?
True
Suppose 3*x + 120 = 7*x. Let i be (4 + (-1 - 0))/(x/(-20)). Is 12 a factor of 25 - (i + 1 - (-6 + 4))?
True
Let y be (4/7)/((-24)/(-21) + -1). Suppose 0 = 4*s + w - 24, -w = -y*s + 2*w + 8. Suppose -3*j + 499 = -4*h, -79 = -s*j - 5*h + 706. Is j a multiple of 13?
False
Suppose -5*u = -6*u - 5*r + 66977, -200861 = -3*u - 5*r. Is 400 a factor of u?
False
Let v = -2015 - -3775. Does 4 divide v?
True
Suppose 595*h + 2406 = 599*h + 5*n, -n = -2. Does 