x) = -x**2 - 3*x + 12. Let j be i(-5). Suppose 0*s - 4 = -s, j*a = -4*s + 24. Is 8 a factor of (-3 - (-9 - 0))*a?
True
Suppose -h + 5*h = -3*j + 9, 15 = 5*j - 2*h. Suppose -j*f + 340 = -f. Does 10 divide f?
True
Suppose -57 = -7*y - 36. Suppose 2535 = -y*h + 16*h. Is 5 a factor of h?
True
Suppose -17*f - 43 = 42. Let u = 109 - 34. Is (f/(u/(-42)) + -4)*-15 a multiple of 4?
False
Suppose 11*f = 18*f + 42. Let y be (f/8)/((-5)/180). Suppose 2*u - y = -u. Is u a multiple of 3?
True
Does 4 divide 21/21 + -1 + 1634?
False
Let g be (2 - 22)/4 + 116. Does 14 divide 8 + g - (0 - -7)?
True
Let x be (-1)/((-4)/240) + 0. Let m(k) = -k**3 - 43*k**2 + 2*k + 89. Let c be m(-43). Suppose 2*z - 3*t - x = 0, c*z + 4*t - 67 - 57 = 0. Is 26 a factor of z?
False
Suppose t + 714 = 2*t - 3*j, -3*j = 5*t - 3660. Is (t/9 + 7)*14 a multiple of 56?
True
Let g be (48/56)/(18/14 + -1). Is -2 + g - (-793 - -14) a multiple of 78?
True
Let g(r) = 9*r**2 - 187*r - 488. Is g(30) a multiple of 6?
False
Suppose -136*c - 128*c + 437640 = -256*c. Does 105 divide c?
True
Let c = -235 + 745. Suppose -5*b = -t + 503, -t - 12*b = -10*b - c. Is t a multiple of 56?
False
Let h(f) = 3*f**2 - 32*f - 2656. Is 39 a factor of h(-38)?
False
Let h = 140 - 137. Suppose h*l + p - 794 = l, -l = -p - 391. Is 6 a factor of l?
False
Let n(s) = 2*s**2 - 23*s + 90. Let t = 224 + -217. Is n(t) a multiple of 3?
True
Suppose 0 = -4*o + 20, -7*s + 5*s = 3*o - 41. Suppose -s*u + 594 = -30. Is 24 a factor of u?
True
Suppose -23*n - 791680 = -103*n. Is n a multiple of 95?
False
Let y = -5 - -5. Suppose -2*h + y*f = 3*f - 32, -3*f + 80 = 5*h. Is 8 a factor of (-21)/56 - (-726)/h?
False
Suppose -2*m - 4 = 0, -p = -5*p - 2*m + 7684. Let b = p + -1106. Does 24 divide b?
True
Suppose 2*t = 2*u - 3840, -u = -3*t - 0*t - 1922. Does 60 divide u?
False
Let m(k) = 14*k**2 + 7*k + 18. Let x(t) = 3*t + 49. Let u be x(-17). Is m(u) a multiple of 20?
True
Suppose -5*p = -u + 10, 3*p = -5*u - 5 + 27. Suppose -n + 0*c + 2*c = -230, -4*n + u*c + 923 = 0. Is 48 a factor of n?
False
Let x = 20814 + -12696. Does 82 divide x?
True
Let v(h) = -4 + 2 + 4 + 3*h**2 + 2 + 5*h. Let f be v(-1). Suppose -75 = -f*s - j, -s = 4*s + 2*j - 187. Is 13 a factor of s?
False
Let x be 1*-4*(-4808)/32. Suppose i = v + 120, 3*v + x = 5*i - v. Is 20 a factor of i?
False
Let a = -31 - -31. Suppose a = 59*g - 58*g. Suppose 0*z + z - 6 = g. Is z a multiple of 5?
False
Let m(x) = x**3 + 4*x**2 - 12*x - 1. Let k be 54/(-12) + (-6)/4. Let b be m(k). Is 5 a factor of (((-6)/(-3))/(-2))/(b/35)?
True
Let o(q) = -2*q**2 - 324*q + 513. Does 8 divide o(-43)?
False
Suppose 4*v = -5*l + 9 + 2, -4*l - v = -11. Let n(g) = -1 - 13*g + 14*g**2 - 7*g**l + 6*g**3 - 23*g**2. Is 29 a factor of n(-9)?
True
Suppose -3*v + 1029 = -747. Let c = v - 312. Does 14 divide c?
True
Let i be (-42)/(-4)*(24/7 - 0). Suppose i*p = 28*p + 488. Does 12 divide p?
False
Let k(z) be the third derivative of z**6/120 + 11*z**5/30 + z**4 + 8*z**3 + 13*z**2. Let q be k(-21). Let r(d) = d**3 + 14*d**2 - 22*d. Does 35 divide r(q)?
True
Suppose -2*q + 5*y + 1173 = -625, -2*q + 1758 = 5*y. Suppose -118*t = -111*t - q. Let l = t - 79. Is l a multiple of 18?
False
Suppose -2*f = -829 - 1817. Suppose -4781 + f = -14*h. Does 19 divide h?
True
Suppose -383529 = -86*v - 35*v + 335816. Is 15 a factor of v?
False
Let r(x) be the third derivative of -55*x**4/24 - 9*x**3 + 60*x**2. Is r(-6) a multiple of 23?
True
Is (-32)/((-128)/3)*(-22996)/(-3) a multiple of 34?
False
Suppose 0 = -2*a + 8 - 2. Suppose n + a*n - 172 = 0. Let h = 47 - n. Is h even?
True
Let l(c) = 139*c - 20. Let r be l(5). Let d = 871 - r. Does 13 divide d?
False
Let w(u) = 6*u + 18. Suppose -3*h - 12 + 21 = 0. Suppose g - h*q = 2, g + 4*q - 2 = 3*q. Does 15 divide w(g)?
True
Suppose x - f - 5529 = -0*f, 0 = x + 3*f - 5537. Does 142 divide x?
False
Let q be ((-2)/4)/(1/44)*-8. Suppose 2*a = 4*k + 556 + q, -1855 = -5*a + 5*k. Is a a multiple of 39?
False
Suppose 3*z + 98 = 4*d - 246, 5*z = -d + 86. Suppose -3*a = -40 - d. Suppose 2*s + 3*f = -s + a, 3*s - f = 42. Is 4 a factor of s?
False
Suppose 14 + 37 = 3*m. Let z(s) = -4*s + 82. Does 14 divide z(m)?
True
Let n(r) = r**2 + 6*r - 21. Let t(z) = z**2 + 14*z + 34. Let c be t(-14). Suppose 3*q - 26 - c = 3*k, 0 = 5*k - 4*q + 95. Is 19 a factor of n(k)?
True
Let f = -18091 + 32529. Is f a multiple of 172?
False
Let w(b) = 2*b**2 + 9*b + 23. Let z(i) be the second derivative of i**4/4 + 17*i**3/6 + 45*i**2/2 + 29*i. Let s(o) = 5*w(o) - 3*z(o). Does 3 divide s(9)?
False
Let b be 1/(3/(-2)) - 272/(-48). Suppose -3*v = 0, -8*k + b*k + 441 = -5*v. Does 31 divide k?
False
Let g = 294 - 154. Suppose -840 = g*d - 147*d. Does 10 divide d?
True
Suppose -424451 + 545083 = 90*n - 514408. Is 72 a factor of n?
True
Suppose 0 = -3*n + 37 + 35. Suppose 2*x = 332 + n. Is 6 a factor of x?
False
Let d = -49 - -23. Let r = 46 + d. Suppose 192 = k - 5*h, -3*h - h = -r. Is 16 a factor of k?
False
Suppose 7*d + 6910 = 3*c + 5*d, 5 = -d. Is 36 a factor of c?
False
Suppose -11*b - 6*b + 110316 = 12*b. Is b a multiple of 12?
True
Let t(c) = 319*c - 5. Suppose 0*w + 4*w - 4 = 0. Let l be t(w). Suppose 5*s - d = -0*d + 771, -d + l = 2*s. Is s a multiple of 23?
False
Suppose 9*k + 6*k - 79980 = 0. Is 96 a factor of k?
False
Let v be 2 - (-2*(-3 + 4) + -5). Suppose a - v*a + 0*a = 0. Suppose a = 3*f - 19 - 53. Does 8 divide f?
True
Suppose 0 = -1544*x + 1552*x - 20040. Does 5 divide x?
True
Let v(r) = r**3 - 8*r**2 - 19*r - 14. Let t be v(10). Is (-2)/t - (-714)/12 a multiple of 15?
True
Let n = 2596 + -1981. Is 41 a factor of n?
True
Suppose -18*h - 918 = -21*h. Let d = 439 - h. Does 16 divide d?
False
Let f(i) = 2*i**3 + i**2 - 4*i + 6. Let b be f(0). Let y be (-4)/b*(0 + 30/4). Let d(r) = -6*r + 2. Is d(y) a multiple of 23?
False
Let i(b) = 455*b**2 + 2*b + 2. Suppose 5*v + 7 = -4*o - 2, -4*v - o - 5 = 0. Does 35 divide i(v)?
True
Let j(q) = 307*q**2 + 185*q - 72. Does 23 divide j(9)?
False
Let r(c) = c**2 + 45*c + 334. Let d be r(-39). Let f = 0 - 1. Let a = d + f. Is a a multiple of 34?
False
Let g(o) = 7*o - 20. Let y be g(16). Let l = 120 - y. Suppose l = -15*b + 17*b. Is b a multiple of 7?
True
Suppose 8*t + 22516 = 100. Is 67 a factor of (t/9)/(-3 + (-21)/(-9))?
False
Let m(b) = -b**3 + 13*b**2 - 15*b + 12. Let n be (-7 - -4) + 2 - 2*-2. Suppose 0 = n*d - 6, y + d - 22 = -y. Does 18 divide m(y)?
True
Let l(g) = -g**3 - 3*g**2 + 8*g + 17. Let p = -273 + 266. Is l(p) a multiple of 23?
False
Suppose -3*x + 138*f + 1631 = 137*f, 2690 = 5*x + 4*f. Is x even?
True
Let t(n) = 2*n**3 - 4*n**2 + 96*n - 27. Is 9 a factor of t(23)?
True
Let n(g) = 6*g**3 - 5*g**2 + 5*g - 2. Let y(o) = o**3 + o**2 - 1. Let c be y(2). Suppose 33 = c*t - 0. Does 18 divide n(t)?
False
Suppose 17 - 57 = -4*r. Suppose -4*f = t - 3*t - r, 26 = 2*t + 5*f. Does 15 divide ((-5*t)/(-1))/1?
True
Let f(d) = 6*d**2 + d - 28. Let o be f(-4). Suppose 0 = o*r - 72*r + 616. Is 5 a factor of r?
False
Let w = 9336 - 1572. Is w a multiple of 12?
True
Let x(h) = 3146*h + 18. Is x(1) a multiple of 5?
False
Suppose 21*v = -21*v + v + 98154. Is 3 a factor of v?
True
Suppose -13 = -4*x + b - 32, -b = 2*x + 11. Is 11 a factor of (-4 - x)/(3*(-6)/(-12078))?
True
Let z = -2253 + 3341. Is z a multiple of 32?
True
Let h(w) be the second derivative of -150*w**3 + w**2/2 + w + 79. Does 11 divide h(-1)?
False
Let q(b) = -b + 2. Let l(c) = -7*c + 37. Let f(d) = -l(d) + 2*q(d). Does 9 divide f(21)?
True
Suppose -102*d + 106*d - 6168 = 0. Suppose 0 = -13*n + d + 1578. Is n a multiple of 12?
True
Let h be 6261/(-6) - (-3)/(-6). Does 22 divide (12/21 + h/14)*-5?
False
Let r be 15800/52 + 1 + (-22)/26. Let d = -3 + r. Is d a multiple of 27?
False
Let q(x) = x**2 - 4*x + 4. Let m be q(1). Let c be m/(-2 + (-44)/(-20)). Suppose -338 = -3*z - 4*s - s, 534 = c*z + s. Is 28 a factor of z?
False
Let f(m) = -m**2 - 10*m - 42. Let u be f(-8). Let y = 122 + u. Is y a multiple of 8?
True
Let y(n) = 11*n**3 + 7*n**2 + 18*n + 176. Let z(i) = -4*i**3 - 2*i**2 - 6*i - 59. Let o(k) = -3*y(k) - 8*z(k). Is 24 a factor of o(-7)?
False
Suppose 4*z + s = 10, 4*z = -s + 5*s. Let v(r) = 3*r + 2*r**2 - r**z - 16 + 0*r**2. Is v(6) a multiple of 5?
False
Is (-11985 + -55)/(6/(-8) + (-2)/(-8)) a mu