 - 12*s**2 - 2*s**3 - 9*s. Let t be j(-11). Does 3 divide 4*-1*t/6?
True
Suppose -16 = -4*s - 4*x, -11 = -5*s - 3*x + 9. Suppose -2*r - 32 = -4*l - 5*r, s*l + 5*r - 40 = 0. Is l even?
False
Let p(q) = -q**3 + 17*q**2 - q + 23. Let c be p(17). Let j(b) be the second derivative of b**5/20 - 5*b**4/12 + b**3/3 - 4*b**2 + 2*b. Is j(c) a multiple of 10?
True
Let v(y) = 2*y**2 - 17*y + 10. Let g be v(8). Does 15 divide 2*g - (-89 + 11)?
False
Let l = 1234 - 1126. Does 6 divide l?
True
Suppose 41*p - 37*p - 580 = 0. Is p a multiple of 11?
False
Suppose 2*q - 10 = -x - x, 0 = -5*x - 2*q + 37. Let u(t) = t**3 - 5*t**2 - 8*t - 8. Let a be u(x). Suppose 4*l + 72 = a. Is l a multiple of 15?
False
Let y(o) = -o**3 - 11*o**2 - 2. Let v be y(-11). Let u be (-1 + 101/v)*-2. Let a = -56 + u. Is 12 a factor of a?
False
Let d(u) = 2*u**2 + 24*u + 413. Is 101 a factor of d(27)?
False
Suppose n = 3*z - 1, 7*z - 8 = 3*z. Suppose n*u = u + 108. Suppose -w - u = -4*w. Is w a multiple of 9?
True
Let p = -14 + 17. Suppose 0 = -0*c - c + 1, -p*g - 20 = -2*c. Is 119/21 + (-2)/g a multiple of 3?
True
Is (-84)/56*16/6 + 315 a multiple of 94?
False
Let n(y) = 2*y + 1. Let o be n(2). Suppose 0 = -2*g - o*b - 7, g = -4*b - 6 - 5. Is (-1)/3 + 237/g a multiple of 13?
True
Let n(d) = 6 - 2*d - 9*d**2 + 13*d - d**3 + d - 2*d. Is 3 a factor of n(-10)?
True
Is (-3528)/(-4) - (1 + 5) a multiple of 18?
False
Let c(u) = -u**2 - 21*u - 41. Suppose -2*f + 55 = -7*f. Let w(t) = 4*t + 8. Let n(b) = f*w(b) - 2*c(b). Is n(5) a multiple of 21?
False
Suppose -18*p + 19*p - 1228 = -4*g, 0 = 3*g - 3*p - 936. Is g a multiple of 44?
True
Is 4 a factor of 3/5 - ((-56511)/(-15))/(-21)?
True
Let s(b) = -b**2 + 16*b - 1. Let d(u) = 3*u**2 - 48*u + 2. Let k(h) = 3*d(h) + 8*s(h). Does 13 divide k(17)?
False
Let l(y) = -14*y**2 + 5*y. Let n be l(3). Let j = 239 + n. Is j a multiple of 16?
True
Let y = 17 + -21. Is 17 a factor of y*(3 - 484/16)?
False
Let w(k) = -136*k - 4. Let f be w(4). Let t(a) = 4*a**2 + 3*a + 6. Let q be t(0). Is 23 a factor of f/(-6) - q/(-9)?
True
Suppose -3*t + 363 = -897. Suppose g - t = -4*q, 105 = -2*q + 3*q + 4*g. Is q a multiple of 21?
True
Let w(u) = 17*u - 3. Let p be w(-1). Let o be 5*(-2 - 52/p). Is (-6 - -2) + (o - -8) a multiple of 7?
True
Suppose 19*f - 3770 = -10*f. Is f a multiple of 5?
True
Let m(o) = -7*o**2 + 35*o + 16. Let d(w) = 3*w**2 - 17*w - 8. Let t(u) = -5*d(u) - 3*m(u). Is t(7) a multiple of 16?
False
Suppose 41*s + 36*s = 40502. Does 3 divide s?
False
Let b = 57 - 113. Let v be -2 + 12/3 + 100. Let y = b + v. Is 26 a factor of y?
False
Suppose 6 = -2*v + 16. Suppose 2*k = v*k - 87. Let s = 53 - k. Is 6 a factor of s?
True
Let n = 71 + -26. Suppose 0 = -5*f - 4*x - n - 42, -2*f - 2*x - 34 = 0. Let o = 6 - f. Is 19 a factor of o?
False
Let h = 986 + -674. Does 3 divide h?
True
Suppose -11*c + 28 = 3*c. Suppose -2*u + c*l = -l - 377, 2*u + 4*l - 370 = 0. Is 11 a factor of u?
True
Suppose -25 = -3*i + 23. Suppose 3*h - 40 = -i. Does 4 divide (-4)/h - (-46)/4?
False
Let t(g) = -g**3 + 8*g**2 - g - 8. Let w be t(8). Let u be w/8 + (-2)/(-1). Suppose -4*k + 202 = 2*v, v = -k - u*k + 49. Is k a multiple of 10?
False
Let l(o) = 371*o**3 + 2*o - 1. Let h(b) = b**3 - b - 1. Let g(k) = h(k) + l(k). Let f be g(1). Let z = f + -260. Is z a multiple of 28?
False
Let r = -190 - -267. Let w = -49 + r. Is w a multiple of 7?
True
Let b(x) = x**2 + 5*x. Let u be b(6). Let d = u - -32. Does 28 divide d?
False
Suppose 3 + 1 = 4*l, -5*k - 4*l + 24 = 0. Suppose -56 - 29 = -j + 5*s, 146 = 2*j - k*s. Is j a multiple of 13?
True
Is ((-4)/((-8)/(-5)))/((-8)/7472) a multiple of 28?
False
Suppose -55*i - 7759 + 58084 = 0. Is i a multiple of 15?
True
Let u(y) = -y**2 - 10*y + 2. Let s be 5/(-10) - 45/(-6). Let j = s + -13. Is u(j) a multiple of 13?
True
Let i = 51 - 49. Is i/10 - (-74)/5 a multiple of 9?
False
Suppose 5*j - 3*j - 388 = 5*f, 248 = -3*f + 5*j. Let s = -36 - f. Does 10 divide s?
True
Suppose c + 4*r = 1785, 4*r + 1809 = -2*c + 3*c. Does 9 divide c?
False
Does 13 divide ((-34)/(-85))/((-2)/(-510))?
False
Let x(u) = -5*u - 22. Let d = 3 + -11. Is 3 a factor of x(d)?
True
Let d(p) = p**3 + 7*p**2 - 19*p - 11. Let u be d(-9). Is -159*(-28)/24 - 1/u a multiple of 32?
False
Suppose -4*l + 4*z = 20, 2 + 2 = -2*l - 4*z. Let p be 1 + (4 + l)*1. Is 41 a factor of p/(-4) - (-1042)/8?
False
Let g(k) = -18*k**3 - 1. Let s(i) = i - 6. Let o be s(7). Let n be g(o). Let p = n + 30. Is 8 a factor of p?
False
Let w = -59 + 784. Does 5 divide w?
True
Suppose -357 = -3*q + 189. Does 13 divide q*((-15)/10 - -3)?
True
Let f(s) = 11*s**2 - 60*s + 448. Does 52 divide f(14)?
False
Let q be 4/10*(1 + 39). Let c be (q/(-24))/(1/(-9)). Suppose -4*g = -c*g + 42. Is g a multiple of 6?
False
Let i = -3 - 5. Let o be (-90)/(-4) - 30/12. Is 5 a factor of (o/i)/(-5)*40?
True
Let s be (0 - -1)*-1*(-22 - 1). Suppose 337 = 5*m - s. Is 18 a factor of m?
True
Suppose -t - 380 = -5*x, 16*x - 14*x - 169 = -3*t. Is x even?
False
Let z = -52 + 209. Does 9 divide z?
False
Let s be 2/4 - 77/(-2). Let d(x) = -x**2 - 10*x. Let h be d(-7). Let t = s + h. Is 20 a factor of t?
True
Let l(p) = p**3 + 4*p**2 + 3. Let u be (-14)/(-4) + (-8)/16. Suppose 0 = b, f - 3*b = -0 - u. Is l(f) a multiple of 6?
True
Is 13 a factor of -12 + 46 + 0 + 7?
False
Let h(w) = -w**2 - w - 1. Let k(y) = -8*y**2 - 9*y - 9. Let u(z) = -18*h(z) + 2*k(z). Let a be u(-2). Let x = 8 + a. Is x a multiple of 4?
True
Let w(f) = f**3 + 25*f**2 - 25*f + 55. Does 68 divide w(-25)?
True
Let d be 1/(((-28)/40)/(-7)). Suppose d*m = 5*m + 325. Is 10 a factor of m?
False
Suppose -2*m = -2 - 2. Suppose 3*j = -7*j + 600. Let a = j - m. Is a a multiple of 18?
False
Let k(x) = -6*x + 14. Let q be (8/(-12))/(-3 + 101/33). Is 12 a factor of k(q)?
False
Suppose -4*h = 4*i + 24, -h - 1 = -5*i + i. Let q(l) = -4*l + 1 - 4 + 1. Is 5 a factor of q(h)?
False
Let c(o) = 31*o + 8. Let g be c(5). Suppose 0 = 5*u - g - 237. Is u a multiple of 10?
True
Let i(z) = -z**2 - 21*z + 14. Let u be i(-10). Suppose -4*n + u = -140. Suppose 341 = 5*v + n. Does 13 divide v?
False
Suppose 0 = 5*u - 30 - 5. Suppose -385 = -u*j + 2*j. Is j a multiple of 22?
False
Let l(y) = -114*y + 681. Is 15 a factor of l(-6)?
True
Suppose 11 = 5*a + 1. Suppose -a*f = 3*f - 515. Does 24 divide f?
False
Suppose w - 1 = 2. Does 6 divide (2/w)/((-4)/(-72))?
True
Suppose 9*v - 13*v - 20 = 0, 4*v = -3*r + 11707. Is 12 a factor of r?
False
Let m(o) = 16*o - 5. Let n be 3/(42/(-4)) - 132/(-21). Is m(n) a multiple of 8?
False
Suppose -225*o + 212*o = -7657. Is 12 a factor of o?
False
Let o be (-75)/(-1) - (-4 + 1). Suppose -2*r = -5*r + o. Is r a multiple of 17?
False
Let q be (-16)/(-40) - 5/((-50)/56). Suppose q*y - 168 = -y. Does 6 divide y?
True
Let t = 2 - -1. Suppose 18*p = 15*p + 6, -5*s - 54 = 3*p. Is 10 a factor of -3*172/s - t?
True
Let x(p) = 83*p**3 + p**2 + p - 1. Let l(w) = -w**3 + 6*w**2 - 6. Let b be l(6). Let u be (-8)/(-12)*b/(-4). Is x(u) a multiple of 28?
True
Let f(m) = -48*m + 6. Let l be f(4). Let w = -264 + l. Is w/(-14) - (-4)/(-28) a multiple of 26?
False
Let k = -419 + 881. Is k a multiple of 21?
True
Suppose -c = -0*c - j, c = -j + 8. Let n(f) = f**2 - 2*f + 5. Does 2 divide n(c)?
False
Suppose 3931 + 6809 = 20*x. Does 71 divide x?
False
Let s(u) = -2*u**3 + 2*u**2 + 70*u - 14. Does 61 divide s(-9)?
True
Suppose m = -m + 236. Suppose -2*y = -m + 30. Is 14 a factor of y?
False
Let n = 107 - -34. Is 47 a factor of n?
True
Let z = -625 - -424. Let d = 291 + z. Does 30 divide d?
True
Suppose -5*d - 11*x = -14*x - 2244, 896 = 2*d - 2*x. Is 52 a factor of d?
False
Let r(g) = 9*g**2 - 2*g - 2. Suppose -o + 2*k - 1 = 0, 4*o - 3*k + 4 = k. Is 9 a factor of r(o)?
True
Let v(b) = -17 - 21*b + 41 + 8*b. Is 14 a factor of v(-10)?
True
Let m(d) = 96*d - 60. Is m(5) a multiple of 30?
True
Let r(x) = -x + 9. Let i be r(-7). Let s be ((-32)/5)/(i/(-40)). Suppose 2*w + 3*f = 32, w - s = -0*w + f. Is 8 a factor of w?
True
Let r be 222/4 - 2/4. Let q = r + -187. Let y = 224 + q. Is 23 a factor of y?
True
Suppose -f = 3*f - 3*t - 367, 3*f - 5*t - 289 = 0. Is f a multiple of 8?
True
Let q be 4*(3 + (-2)/8). Suppose 3 = -q*x + 10*x. Is 28 a factor of (-2)/x + 772/12?
False
Suppose j = 2*j + 5. Suppose 