Let s(h) = -h**3 - 4*h**2 + 19*h + 20. Let i(b) = 39*b - 2*b**3 - 1 + 43 - 2 - 7*b**2. Let d(g) = -2*i(g) + 5*s(g). Is 4 a factor of d(-8)?
True
Does 93 divide ((-880)/154)/10 + (-97658)/(-14)?
True
Let p = -503 + 505. Suppose 4*y - p*j = 48 + 154, -y + 52 = -j. Does 3 divide y?
False
Let w = -538 - -1412. Let y = 1706 - w. Does 64 divide y?
True
Let c be 114 - (9 + -7) - -4. Let w = c - 101. Does 5 divide w?
True
Let c(j) = -41 - 639951*j - 8 + 639953*j + j**2. Let q be 20/(-6)*(-9)/(-2). Is 19 a factor of c(q)?
False
Let i(a) = 3*a + 84. Let o be i(-10). Is 39 a factor of ((-27)/24*6)/(o/(-4104))?
False
Let r(k) = -4*k**2 - 52 + 33*k - k**2 + 22 + 4*k**2. Is r(18) a multiple of 12?
True
Let u(v) = 3*v**3 + 11*v**2 - 31*v + 203. Is 13 a factor of u(11)?
False
Suppose 262578 = 78*z + 29*z. Is 8 a factor of z?
False
Let t(q) = 77*q**2 - 49*q + 123. Is 49 a factor of t(16)?
False
Let n(g) = -g**2 - 48*g + 396. Let o be n(-55). Let m = 472 + -60. Suppose 0 = o*i - 7*i - m. Does 15 divide i?
False
Let d(x) = -3*x**3 - 25*x**2 - 23*x - 45. Does 8 divide d(-11)?
True
Let s(m) = m**2 + 2*m + 1. Let i be s(-2). Let t = 11 - i. Suppose 9*v - t = 7*v. Is v a multiple of 5?
True
Let u = 32 + -32. Suppose -4*d = -u*d - 5*d. Suppose d = 2*b - 16 - 8. Is 7 a factor of b?
False
Is 35*((-2)/9 + 12812/63) a multiple of 15?
True
Let z = -299 + 307. Suppose 3*v - 3*u - 120 = 0, 4*u = v + z*u - 20. Is 9 a factor of v?
True
Suppose -3*o + 645 = -930. Suppose -o = -v - 2*v. Suppose -5*w + v = 5*a, a + 20 = w - a. Is w a multiple of 6?
True
Is 3*(-72)/(-27) + 30286 + 10 + -3 a multiple of 157?
True
Suppose 9032 = 2*a + 34*m - 29*m, -3*a + 13557 = 3*m. Does 12 divide a?
False
Let t(c) = 817*c - 4853. Is 6 a factor of t(35)?
True
Let s = 7771 - 3675. Does 9 divide s?
False
Suppose 30331 = 15*x + 6931. Is 4 a factor of x?
True
Suppose 5*r + 4*b - 301 = -42, 5*r = -3*b + 263. Let u be (16 - 10) + 1 + -5. Suppose -d = 2*s - 37, u*d - 18 = -5*s + r. Is 6 a factor of d?
False
Let g = -62 - -62. Suppose g = 15*r - 8*r. Suppose -4 = 2*v, 6 = 2*s - r*v + v. Is s even?
True
Let s be (49*11/231)/((-2)/(-78)). Suppose -229 = -3*l - s. Does 18 divide l?
False
Let l be ((-2)/(-6))/(476/(-48) + 10). Is 24 a factor of (5/l)/(3/32)*12?
False
Let z be -78*7*(-4)/6. Suppose 9679 = 15*i + z. Is 69 a factor of i?
True
Suppose -h + 29 = 23. Does 30 divide 0 + h/(-12)*-1270?
False
Suppose -f + q = -15, q - 19 = 4*f - 5*f. Suppose -f*v + 6203 = -36. Is 19 a factor of v?
False
Let q(b) = -b**2 + 27*b + 14. Suppose -8 - 38 = -2*k. Let c be q(k). Let t = c + -60. Is t a multiple of 13?
False
Let p be 3*4/(-6) + 0 + 2. Let d be (p - -6)*(-3)/(-6). Suppose 0 = 2*k + g - 172, d*g = 4*k - 0*g - 334. Is 8 a factor of k?
False
Suppose 3*p - 7*p = -8. Suppose 2*m - 3*o = -2, p*m + o = -3*m + 29. Suppose m*w - 905 = -7*h + 2*h, -20 = 4*w. Is h a multiple of 31?
True
Suppose -2*t + 4*o = -184, t = -t + 2*o + 182. Let h be (5/(70/(-12)) + 1)*0. Suppose 0 = 4*i - 5*q - 154, 4*q = -2*i - h*q + t. Is i a multiple of 2?
False
Suppose 117 = 43*l - 30*l. Suppose l*n = 14*n + 2*i - 42, 2*n + 3*i = 8. Does 2 divide n?
True
Let h = -323 - -133. Is 6 a factor of (h/4)/(13/(-26))?
False
Suppose 645*v - 2*p = 642*v + 108852, 5*p + 36258 = v. Is 108 a factor of v?
True
Let b(w) = w**3 - 6*w**2 - 2*w - 33. Let s be b(9). Let c = s - 84. Is 15 a factor of c?
False
Let o(t) be the second derivative of t**4/12 + 3*t**3/2 + 12*t**2 - 21*t. Let l be o(-4). Suppose -5*b = 2*c - 548, 12 = 4*c - l. Is b a multiple of 27?
True
Let g be (110/30 - 4)*12/(-2). Suppose 2*c - g*a = 698, a = c + 4*c - 1765. Is c a multiple of 31?
False
Let y(s) = s**3 + 36*s**2 - 43*s + 9. Let c be ((-9 + 13)/(-12))/((-1)/(-111)). Is y(c) a multiple of 21?
True
Suppose 3*o = -34*r + 35*r + 76412, 76406 = 3*o - 7*r. Is o a multiple of 20?
False
Is 6/(-15) + ((-6)/(-16) - (-57972401)/1640) a multiple of 178?
False
Suppose -3*r + 98 = -157. Is r + (7/(-2) - -4)*4 a multiple of 32?
False
Suppose -3*v + v + 5*v = 10023. Does 33 divide v?
False
Let y(b) = -b**3 - 9*b**2 + 35*b - 22. Suppose -j - 25 = 2*i - 6*i, -2*i = -5*j - 71. Is 5 a factor of y(j)?
False
Suppose 0 = -6*f + 52 - 460. Let q be f/(-170) - 1/((-10)/(-4)). Suppose 15*l - 3*l - 4092 = q. Is l a multiple of 31?
True
Let i(q) = -6*q + 54. Let u be i(8). Suppose u*l + 7*l = 20592. Is 23 a factor of l?
False
Let i = 907 + -283. Let h = -352 + i. Is h a multiple of 15?
False
Let x = -20221 + -51555. Is 16 a factor of x/(-112) - 6/7?
True
Let f(q) = -q**3 + 9*q**2 - 11*q - 13. Let m be f(7). Suppose 5*t - 4*g - 910 = 0, -m*g + 15 = -5*g. Is 14 a factor of t?
False
Let u be (-33)/88 - 19/(-8). Suppose -u*b + 3 = -1. Suppose 3*i + 163 + 119 = 5*k, b*i = 2*k - 116. Does 9 divide k?
True
Suppose -4*o - 4*m = -7708, 2*o + 17*m - 8*m = 3854. Is 47 a factor of o?
True
Suppose 151*i - 3502555 = -137*i + 59*i. Is 59 a factor of i?
False
Suppose 2*m = -5*t + 28805, -5783 = -t - 0*t + 4*m. Does 43 divide t?
False
Let h(t) = t**2 - 14*t - 17. Let x be h(18). Let d = 0 + x. Suppose c - 5*o = d, 4*o - o = 5*c - 231. Does 9 divide c?
True
Let g(f) = 2*f**2 + 6*f + 14. Let q = 90 - 95. Let k be g(q). Let w = k + -5. Is w even?
False
Suppose -810 - 830 = 5*h. Let o = 409 + h. Does 81 divide o?
True
Let p(b) = -3*b**2 - 2*b + 1. Let r be p(1). Let n be (r/10)/(14/210). Is (-9)/6*64/n a multiple of 8?
True
Let k = 20063 - -1569. Is k a multiple of 16?
True
Let q(n) = -121*n + 388. Is 199 a factor of q(0)?
False
Suppose -57*r + 132 = -45*r. Does 17 divide 11/((-1210)/(-48410)) + (-1)/r?
False
Let g be (-29)/(-2) + ((-9)/2 - -4). Suppose 0*f = -g*f + 2996. Does 24 divide f?
False
Suppose 1570489 = -27*f + 283*f - 263239. Does 2 divide f?
False
Suppose -5*r - 3*o + 2180 = 0, -5*r - 1062 = -4*o - 3207. Is 4 a factor of r?
False
Suppose 15*h + 5*h + 24*h = -31988. Suppose u + 1554 = -2*u. Let g = u - h. Does 30 divide g?
False
Suppose -g + 5*k - 15 = 0, -k = -2*g + 10 + 5. Suppose r + 5*p = -2*r - 14, -g = r - p. Is 4 a factor of (4 - r - 4)*(-1)/(-2)?
True
Does 24 divide ((-6)/27 + 264/(-1485))/((-2)/7320)?
True
Let f = 1588 + 1953. Does 95 divide f?
False
Let i = 13938 - 7752. Is i a multiple of 18?
False
Let j(c) = -1271*c + 5200. Does 119 divide j(-17)?
False
Let l(x) = x**2 - 28*x + 1419. Is 7 a factor of l(-50)?
False
Let j(y) = 60*y + 3. Suppose -3*u + 0 = -3. Let r be j(u). Suppose -4*x + 5*v = -r, 8 - 2 = -2*v. Is 6 a factor of x?
True
Let r = 249 - 249. Suppose -4*b + r*b = -5*w - 777, -2*w = -5*b + 984. Does 11 divide b?
True
Suppose -20 = -5*y, 2004 = 4*c - 2*y - 6576. Does 19 divide c?
True
Is 6 a factor of 99636/92 + 9/1?
True
Suppose -24487 - 198575 = -6*t. Is 9 a factor of t?
False
Let d = -176 - -2158. Does 19 divide d?
False
Let u(l) be the second derivative of l**5/20 + 7*l**4/12 + l**3/2 - 13*l**2/2 - l. Suppose -14*w - 67 = 8*w + 43. Is u(w) a multiple of 4?
False
Suppose 5996 = -50*h + 9711 + 9935. Is h a multiple of 74?
False
Let m(g) = g**3 - 3*g**2 - 4*g - 21. Let s be m(5). Suppose -3*z = s*z - 228. Is 6 a factor of z?
False
Let b(a) be the first derivative of 2*a**3/3 + 3*a**2/2 + 7*a + 2. Let z be (-279)/(-372) + (-38)/8. Does 4 divide b(z)?
False
Let w(u) = -u**3 + 19*u**2 - 16*u - 34. Let v be w(18). Suppose n + 11 = -5*h + 84, 0 = v*n + h - 155. Let b = 96 - n. Does 9 divide b?
True
Let m = 27230 - -29840. Does 26 divide m?
True
Let t be 4/3*84/28. Does 31 divide (-2)/t + 6276/24?
False
Suppose 0 = -4*u + 41 - 5. Suppose 10*n - 264 = u*n. Is 24 a factor of n?
True
Let v(t) = -98*t + 8. Let m be v(-7). Suppose m - 1706 = -4*c. Suppose k - 2*q + 6*q - 101 = 0, 3*k = -2*q + c. Is 27 a factor of k?
True
Does 64 divide (110/15)/(-11) - (-7 - 46446/9)?
False
Let a(z) be the third derivative of z**8/4032 - z**7/5040 - z**6/180 - z**5/60 + 11*z**2. Let f(s) be the third derivative of a(s). Is f(-3) a multiple of 13?
False
Suppose 3*n - 34 - 38 = 0. Suppose 6438 - 16374 = -n*z. Is 24 a factor of z?
False
Let k(o) = 5*o**2 + o - 1. Let t be k(5). Suppose -22 + 134 = 28*x. Suppose 2*a = 5*a + p - t, x*p = 5*a - 232. Is 11 a factor of a?
True
Suppose -5*i - 15*t + 100706 = -12*t, 0 = -3*i + 4*t + 60412. Does 190 divide i?
True
Let i = 229 - -3171. Is i a multiple of 12?
False
Let k be (3/4)/((-1)