8*g = -12*g - 69536. Is 72 a factor of g?
False
Suppose 144*i = 143*i + 5*a + 8890, 4*i = a + 35636. Is i a multiple of 33?
True
Let a be 0 + 8 + -3 + 0. Suppose -a*l - 3*j = -0*l - 883, -3*l - 3*j + 531 = 0. Does 3 divide l?
False
Let x(b) be the third derivative of b**6/120 - 4*b**5/15 + 5*b**4/12 - 6*b**3 + 4*b**2 - 4*b. Is 31 a factor of x(16)?
True
Let r(q) = -56*q - 12. Let i be r(-31). Is 12 a factor of 285/114*i/10?
False
Let z be (-810)/(-27)*(-5)/3. Let s = 7 - z. Does 19 divide s?
True
Let r = -29 + 31. Let l(c) = 9 + 51*c**2 - 26*c**r - 24*c**2 + 6*c. Is l(-11) a multiple of 20?
False
Let g = 3443 + -2974. Is g a multiple of 7?
True
Let b(q) = -21*q + 87. Let w be b(4). Is 5 a factor of (26/(-8) + 2)*(w - 71)?
True
Let w = -5025 - -7319. Is 37 a factor of w?
True
Let s(r) = 9*r + 16. Let l be s(10). Suppose -4*w = -3*w - l. Is 17 a factor of w - (1 + (-8 + -1)/(-3))?
True
Suppose 9*r - 200632 = -0*r - 32674. Does 31 divide r?
True
Let x(m) = -m**2 - 9*m + 70. Let i be x(-14). Suppose 3*h = -2*o + 1023, 0 = 5*h - i*o - 3*o - 1724. Is 14 a factor of h?
False
Let s(h) = -h**3 + 85*h**2 - 81*h - 115. Is s(77) a multiple of 316?
True
Suppose -10*b + 8*b = -754. Let r = b - -505. Is r a multiple of 18?
True
Let w be (-17)/7 - (-6)/14. Let r(v) = -304*v + 14. Let l be r(-4). Does 16 divide (w/5)/((0 + -6)/l)?
False
Suppose 0 = -d - 5, -d + 153 = -3*u + 2*d. Let i = 349 - u. Is 45 a factor of i?
True
Let x(h) = 387*h - 2974. Is x(22) a multiple of 20?
True
Let y(i) = 76*i**2 + i - 1. Let t be y(1). Let s(g) = 3*g**2 + 38*g + 71. Let k be s(-2). Suppose t = -k*r + 8*r. Is r a multiple of 11?
False
Let y(j) = 2*j**2 - 2*j - 20. Let t be y(5). Suppose -b - 4*l = -5*b + t, 4*b - 2 = -2*l. Suppose -4*f + 439 = x + b*x, 2*f = 2*x + 230. Does 16 divide f?
True
Let o(n) = -n**3 - 6*n**2 + 9*n + 10. Suppose i = 5*q - 4 + 10, -34 = -3*i - q. Suppose 0 = 4*k - i*k - 56. Is o(k) a multiple of 33?
True
Let o be (256 + -1)/(-2 - 98/(-48)). Suppose 9*i - o = -6*i. Does 17 divide i?
True
Suppose -27*d + 20*d - 336 = 0. Let w = 322 - d. Does 20 divide w?
False
Let j be -6*((-3)/(108/114) + -2). Suppose 5*n - 3*y - 351 = 0, -2*y = -28*n + j*n - 222. Is 9 a factor of n?
True
Let x(b) = -4*b**3 - 21*b**2 - 49*b - 69. Is 16 a factor of x(-10)?
False
Let b = 156 + -49. Let s = 103 - b. Does 17 divide ((-916)/(-8) - s) + (-2)/(-4)?
True
Suppose -25*c + 613443 = 180793. Does 23 divide c?
False
Let d(r) = -2*r + 0*r + 2*r**2 + 16 - 3*r**2 + 7*r. Let q be d(6). Suppose -q*v + 1805 - 95 = 0. Is 28 a factor of v?
False
Let g(i) = -i**2 - 23*i - 32. Let v be g(-22). Let b be (-18 + -638)/((-4)/v). Is 1/((-7)/(-2)) - b/140 a multiple of 8?
False
Does 8 divide (-4 + 5722/(-6) + -3)/(40/(-60))?
False
Let w(m) = 2*m**3 - 9*m**2 - 11*m + 1. Let l be w(8). Suppose 0 = -z + l + 35. Is 33 a factor of z?
True
Let g be (-4)/6 - (-671)/(-33). Let h = g + 12. Is 8 a factor of (h/((-108)/(-8)))/((-2)/48)?
True
Suppose -3*k + 120 = -3*x, -3*x - 115 + 40 = -2*k. Suppose -3*p + 0*p = -3*j + k, 44 = 4*j + 4*p. Does 20 divide (1 + 0)*3*j?
False
Suppose 69*l - 1378045 + 455101 = 0. Is l a multiple of 16?
True
Let c(x) = -119*x + 421. Is 33 a factor of c(-7)?
True
Is 46 a factor of (-162)/(-39) + -4 + (-1092488)/(-377)?
True
Let u(w) = -122*w**3 + 164*w + 1060. Is u(-6) a multiple of 90?
False
Suppose -19*w = 16*w. Suppose w = j + 181 - 265. Is j a multiple of 15?
False
Let a be (1 - -1 - 2)/2 + 0. Suppose 4*p + 19 - 39 = a. Suppose -p*x = -10*x + 135. Is 26 a factor of x?
False
Let h = 76 + -76. Suppose 2*q - 4*k - 22 = -h*k, 0 = -5*q - 3*k + 68. Let w(a) = -a**3 + 15*a**2 - 12*a - 29. Does 46 divide w(q)?
False
Let p(t) = 2. Let g(l) = 45*l**2 + l - 4. Let j(h) = g(h) + 3*p(h). Is j(-1) a multiple of 23?
True
Let a = 18907 + -9407. Is a a multiple of 38?
True
Let d = -22 + 13. Let g be 258/((54/(-8))/d). Suppose -154 = s - 3*s + 5*c, -c = -4*s + g. Is 16 a factor of s?
False
Let x = 506 - -138. Suppose 4*n + 0*n - x = 3*i, 3*n - 483 = -4*i. Suppose -357 + n = -s. Is s a multiple of 49?
True
Suppose 5*g = -8 + 13. Let o be -3 - (-2 + g) - -6. Does 11 divide 92*-1*(-5 + o)?
False
Let h be (4 + (-77)/14)*1*-8. Is 12 - (2 - h/(-8)*-2) a multiple of 8?
False
Let a(l) = 718*l**2 - 93*l - 68. Is 102 a factor of a(5)?
False
Let t = 8871 + -135. Is t a multiple of 91?
True
Let m = 799 - 113. Is m a multiple of 26?
False
Suppose -93 = -h + 285. Suppose -20230 = -32*j + h. Is j a multiple of 26?
False
Suppose v - 2*a - 20142 = 0, 23*v - 25*v + 3*a + 40293 = 0. Is v a multiple of 8?
True
Is 32 a factor of (-198)/660 + ((-27746)/(-20) - -2)?
False
Let c(d) = 3*d - 1. Let h(j) = 2*j - 1. Let b(p) = c(p) - h(p). Let u(x) = -2*x**2 - 7*x - 13. Let w(k) = 2*b(k) - u(k). Does 38 divide w(-9)?
False
Suppose -u + 1839 = 2*u - 4*g, 0 = 5*u - 2*g - 3051. Let k = u - 281. Is 41 a factor of k?
True
Let x be (0 - 1)*-1 - 11. Let f(g) be the third derivative of -g**4/8 - g**3/2 - 34*g**2. Is 18 a factor of f(x)?
False
Let q = 45736 - -27089. Is 75 a factor of q?
True
Let u(x) = 28*x**2 - 4*x - 3. Let s(p) be the second derivative of -p**5/20 + p**4/4 - p**2 - 25*p. Let a be s(3). Is u(a) a multiple of 13?
True
Let h = -4 - -6. Suppose 5*m = -h*t - 3 + 30, -5*t = 4*m - 25. Let u = 12 + t. Does 5 divide u?
False
Suppose -44 = 4*m - 4*k, 4*m + 6 + 13 = -k. Suppose x - 17 = -3*x - 5*a, -4*a = -4. Is m/(3/(-162)*x) a multiple of 36?
True
Is (25/75)/((-2)/(-1236)) a multiple of 36?
False
Suppose -4 = z + 5*m, -2*z = -2*m + 16 - 8. Let h(y) = -58*y - 22. Does 18 divide h(z)?
False
Suppose 15*z - 1095831 = -11*z + 645649. Is 16 a factor of z?
False
Let l(b) = -4157*b**3 - 115*b**2 - 115*b + 1. Is 14 a factor of l(-1)?
True
Suppose -15*r = -13*r - 6. Suppose 2*q - 11 = -0*q + r*i, 4*q + 3*i = 13. Suppose q*h + m - 306 = 3*m, 3*m + 228 = 3*h. Does 7 divide h?
True
Let t = -3993 - -4497. Is 36 a factor of t?
True
Suppose -10*m + 5284 = -6*m. Does 16 divide m?
False
Suppose 0*j - 129 = 2*j - 5*t, 4*j + 5*t + 213 = 0. Let k = 58 + j. Is -6 - (k + -6) - (-198)/2 a multiple of 14?
True
Suppose 0 = 2*t - 5*j - 154, 119 = 3*t - 3*j - 112. Let n = t - 41. Is 50 a factor of 4/18 - (-5392)/n?
True
Let f(t) = -12*t + 49. Suppose -20*z - 288 = 16*z. Is 16 a factor of f(z)?
False
Let n(l) = -l**2 + 13*l + 72. Let x be n(17). Suppose -x*t + 27 = -t. Does 9 divide t?
True
Let p = -72 + 322. Suppose 0 = 5*i + 3*h - p, 7*i - 2*i = -2*h + 255. Is 12 a factor of i?
False
Let g(x) = 34*x**2. Let s be (2 - (0 + -4))*13/39. Is 19 a factor of g(s)?
False
Suppose -3*z + 2*c + c = -1671, -2*z = 2*c - 1122. Suppose -2*s + 4*o = -466, -2*s = -3*o + 95 - z. Does 14 divide s?
False
Let v = -632 - -632. Suppose 0 = 2*r + w - 189 - 137, -2*r + 2*w + 326 = v. Does 3 divide r?
False
Let b be (1/3)/(1 - 8324/8328). Let g = b - 470. Is 7 a factor of g?
True
Let x(t) = -t**3 + 70*t**2 - 115*t - 24. Does 13 divide x(68)?
True
Let y(n) be the first derivative of n**4/12 + 4*n**3/3 + 17*n**2/2 - 31*n - 23. Let w(g) be the first derivative of y(g). Is 34 a factor of w(-17)?
True
Let s = 98 + -95. Suppose s*k = 1 + 14. Suppose -11*f = k*f - 464. Is 10 a factor of f?
False
Let z(s) = 12*s - 2. Let u be z(0). Is 75*(-12)/18*u a multiple of 10?
True
Let y be (20/(-8) - -3)*(-5 + -2583). Let n = -629 - y. Is n a multiple of 19?
True
Let p(n) = n + 138*n**2 + 138*n**2 + 3 + 41*n**2 + 180*n**2. Does 44 divide p(-1)?
False
Suppose 266*k = 271*k. Is 2 a factor of (180/(-2 - -12))/(k - -1)?
True
Let x(w) = 33*w**3 + 11*w - 9295 - 7*w - 3*w**2 + 9293. Suppose -2*i = 3*a + 3, -10 + 2 = 4*a + 4*i. Is x(a) a multiple of 27?
False
Suppose -5*i + 13 + 2 = 0. Suppose 4*n = -3*c + 12, c + 5*n - 16 = -i*c. Suppose -q - 79 = -3*r, 30 = -c*r - 4*q + 114. Does 25 divide r?
True
Let v(i) = i**3 - 13*i**2 + 2*i - 22. Let r be v(13). Let g be 1*-179 - -3*r/(-12). Let l = g - -334. Is l a multiple of 50?
False
Is -12 - (11 + -15 + -1386) a multiple of 129?
False
Let c(i) = i**3 - 5*i**2 - 21*i - 3. Let k be c(7). Let f = 45 + k. Does 23 divide (-481)/f + 4/14?
True
Suppose 5*u - 313135 = 5*l, -282474 = -5*u - 5*l + 30741. Is 24 a factor of u?
False
Let s(p) = -65*p + 209. Let r be s(12). Let n = r + 734. Does 17 divide n?
False
Let m(w) = -9*w**3 - 3*w**2 + 30*w + 19. Let h(n) = 4