) = -3*o + 28. Let l be z(-9). Suppose -2 = -j, 3*c - 228 + l = -4*j. Is 5 a factor of c?
True
Let q(l) = l**3 - 5*l**2 - 5*l - 1. Let t be q(6). Suppose -t*x = -8 - 47. Is 2 a factor of x?
False
Let q(t) = -t**3 + 10*t**2 - 8*t - 9. Let n be q(9). Suppose -m + n*m + 39 = -3*f, -3*m = f - 97. Does 3 divide m?
True
Suppose -55 - 90 = 5*p. Let i = 47 + p. Is 6 a factor of i?
True
Let r = -75 - -128. Suppose 49*o - r*o = -60. Is o a multiple of 15?
True
Let n be ((1 + -1)/(-4))/(5 + -3). Is 24 a factor of (-124)/((n + -3)/3) + -4?
True
Suppose 5*m + 3178 = r + 10153, 5*m = -2*r + 6975. Is m a multiple of 8?
False
Let d = -31 + 37. Suppose -d*p + p + 5 = 0. Suppose -4*q - 33 = -2*h + p, 2*q + 10 = 0. Is 2 a factor of h?
False
Suppose 7*a = 12*a - 120. Let y = 30 - a. Suppose -4*l = -g + 24, 3*l = y*g - g - 188. Is 8 a factor of g?
True
Suppose -5*u - 16 = 2*y, -3*u - 8 = 2*y + 4. Let o(d) = -2*d**3 + 3*d**2 - 1. Does 20 divide o(y)?
True
Suppose -1026 = 14*m - 23*m. Is 11 a factor of m?
False
Suppose 11*q + 574 = 8802. Is q a multiple of 11?
True
Let c(n) = -n + 2. Let o be c(-2). Suppose 3*g - 242 + 227 = 0. Suppose -o*m - 6*b = -4*b - 414, -g*m = -b - 521. Is 26 a factor of m?
True
Let v(z) = z**2 - 5. Suppose 0 = -0*q + 4*q - 16. Is 4 a factor of v(q)?
False
Suppose l = 3*l. Suppose 5*b - 17 = -2*d, l = -2*d - 4*b + 8*b + 8. Let s(h) = 12*h - 9. Is s(d) a multiple of 16?
False
Suppose -x + 3*q = -339, -4*q - 1713 = -5*x - 7*q. Suppose 5*f - l - 567 = l, -x = -3*f + 3*l. Does 5 divide f?
False
Suppose -3*a = -38*x + 36*x - 2488, x = -3*a + 2473. Is a a multiple of 2?
True
Suppose 12*b - 1198 = 2222. Is b a multiple of 19?
True
Suppose -3*u + 122 = k, -16 + 559 = 4*k + u. Let a = k + -88. Is a a multiple of 13?
False
Let i = 2 - 19. Suppose -4*v - 326 = -42. Let c = i - v. Is 9 a factor of c?
True
Let l(z) = 2*z**2 + 11*z - 42. Let c be l(-12). Is 3 a factor of ((-56)/(-168))/(1 - 112/c)?
False
Let z = -37 - -1004. Does 4 divide z?
False
Let x = -95 + 194. Does 9 divide x?
True
Let f be (-15 + -1)*(-5)/10. Suppose f*a - 3*a - 225 = 0. Is a a multiple of 9?
True
Suppose -4*j - t = -3, -5*j + 3*t - 12 = -t. Suppose 2*n - 43 + 227 = j. Let w = n + 174. Does 25 divide w?
False
Suppose 0 = -5*j - 889 + 199. Is 5 a factor of (2/(16/j))/(3/(-8))?
False
Let t(x) be the third derivative of x**6/72 + x**5/120 - x**4/24 + 13*x**3/6 - 2*x**2. Let s(d) be the first derivative of t(d). Is 3 a factor of s(2)?
True
Let w be 2 - (-3 + 2 - 59). Suppose -4*h + w + 90 = -4*g, 0 = 2*h + 2*g - 92. Is h a multiple of 6?
True
Let c(t) = -2*t**2 - t + 2. Let g be c(-2). Let z(j) = -8*j + 4. Let m(a) = 17*a - 7. Let l(y) = -3*m(y) - 5*z(y). Does 15 divide l(g)?
True
Let r(u) = 6 + u**2 + 9*u + 0 - 15 - 25*u. Is r(-7) a multiple of 19?
True
Let a(x) = -1 + 4*x - 1 + 3*x - 4 - 12*x. Let n(o) = -6*o**3 + o**2 - o. Let s be n(1). Is a(s) a multiple of 8?
True
Let y(o) = 16*o + 4. Let b be y(1). Let k be -1*(18 + -2)*-1. Let n = b - k. Is 4 a factor of n?
True
Suppose 2*y - 3 + 1 = 0. Suppose 0 = -4*u + 5*w + 407, -5*u + 5*w + 506 = y. Is u a multiple of 19?
False
Let s be (5/3)/((-6)/(-18)). Suppose -t = 2*n - s*t - 238, 4*t = n - 113. Is 20 a factor of n?
False
Let z = 94 - 88. Let d(b) = 32*b - 34. Does 17 divide d(z)?
False
Suppose 5*u - v = v + 2367, -2*u = 5*v - 941. Is u a multiple of 43?
True
Let f = 28 - -11. Suppose f = -3*l + 243. Does 6 divide l?
False
Let m(p) = -p**2 - 10*p. Let i(t) = t. Let z(g) = -1. Let l(v) = -i(v) + z(v). Let n be l(5). Does 12 divide m(n)?
True
Let s = 4267 + -2987. Does 80 divide s?
True
Let c be (42/8)/(((-1)/1)/(-12)). Let k = 84 - c. Is k a multiple of 21?
True
Suppose 0 = -4*u + 65 + 267. Suppose u = 4*k - a, 0 = -2*k + 4*a + a + 55. Is k a multiple of 13?
False
Let t(l) = 1 + 0 + 13*l + 0. Let f be ((-150)/(-4))/15*12/10. Does 20 divide t(f)?
True
Suppose 2*g - 37 = 7. Suppose -216 = -24*j + g*j. Suppose -8*y = -j - 4. Is y a multiple of 14?
True
Suppose 4*s + 5*l - 284 - 46 = 0, 244 = 3*s + 2*l. Is s a multiple of 80?
True
Suppose 391 + 149 = -5*y. Let q = y - -170. Is 16 a factor of q?
False
Let g = 25 + -9. Let n be 4/g - (-145)/(-4). Let d = n + 66. Does 10 divide d?
True
Let c(u) = -2*u + 4. Let g be c(2). Suppose -4*z - 5*m + 72 = g, 0 = -0*z + 4*z - 2*m - 72. Suppose -4*f - a = -75, -f + 2*a + z = 3*a. Is 19 a factor of f?
True
Suppose -4*q - 72 = 36. Let o = -22 - q. Suppose -r + o*r - 3*g = 52, r - 2*g - 18 = 0. Is 3 a factor of r?
False
Suppose 8341 = 13*i - 3983. Is 14 a factor of i?
False
Let f(z) = z**3 + 14*z**2 - 4*z - 14. Let o be f(-14). Let l = o + -27. Does 9 divide l?
False
Suppose 67 = -5*t + 3*b + 3866, -4*b = 5*t - 3778. Does 20 divide t?
False
Let g be (-57)/(-15) + 2/10. Let t(h) = -h**2 + 9*h - 2. Let r be t(6). Suppose -g*x + r = -44. Is x a multiple of 12?
False
Does 24 divide -21*(-5)/(-15)*-35?
False
Let d = -260 + 179. Let v = d + 126. Does 9 divide v?
True
Let a = 1391 - 743. Is a a multiple of 24?
True
Is 3148/24 - (-7)/(-42) a multiple of 2?
False
Let f(z) = 53*z**2 - 6*z - 5. Is f(-4) a multiple of 4?
False
Suppose 2*b - 406 = -y, y + 7*b = 4*b + 403. Is 6 a factor of y?
False
Let o(l) = -2*l + 9. Let u be 6 - (3 - 6)/(-3). Suppose -u*p = w + 45, -4*w = -2*p - 2*w - 18. Is 9 a factor of o(p)?
True
Let c(b) = -b**2 - 15*b - 24. Let x be c(-13). Suppose 0*g = d - 5*g - 8, -g - 16 = -x*d. Does 6 divide d?
False
Suppose 4*l + p - 573 + 105 = 0, -2*l - 4*p = -248. Let w(d) = -19*d + 5. Let c be w(-3). Suppose -r = 3*r + 2*x - l, -2*r - 3*x + c = 0. Is r a multiple of 10?
False
Suppose -4*n - 206 = -5*k + 462, 0 = 2*k - 5*n - 257. Is k a multiple of 17?
True
Suppose -3*s = -6 - 3. Suppose -6*t + 507 = -s*t. Does 13 divide t?
True
Let u be (-114)/42 - 4/14. Let y = -11 - u. Is (4/y)/((-2)/264) a multiple of 22?
True
Suppose 0 = 5*k - 12 + 37. Let a(n) = -n + 12. Let w be a(k). Suppose 15*h + 48 = w*h. Is h a multiple of 8?
True
Suppose n - 77 = -0*o - 2*o, 0 = -5*n + 2*o + 445. Let c(k) = 48*k**2 - k + 1. Let t be c(1). Suppose n = 3*q - t. Is q a multiple of 9?
True
Let y(o) = 33*o**3 - 34*o**3 + 2*o + 43 - 2*o**2 - 41. Let r(d) = 4*d + 3. Let k be r(-2). Is 21 a factor of y(k)?
False
Let m = 12 - 9. Let x(d) = 19*d - 6. Let c be x(m). Let p = 47 + c. Does 14 divide p?
True
Suppose -3*l = -5*m + 1631, -3*l + 969 = 3*m - 0*m. Is m a multiple of 65?
True
Let b = -717 + 423. Let z = -107 - b. Is 29 a factor of z?
False
Let n be 1*-1*(16 - 411). Let t = n + -125. Is 37 a factor of t?
False
Let v(b) be the second derivative of 11*b**3/6 + 9*b**2/2 + 27*b. Is 6 a factor of v(3)?
True
Suppose 5*n - 717 = 418. Let s = -152 + n. Is s a multiple of 25?
True
Let q(r) = r**2 - 6*r + 29. Let s = -32 - -37. Is q(s) a multiple of 24?
True
Suppose 0 = -0*z + 3*z - 9. Suppose 4*r = -3*t + 6*t - 21, -2*t + r + 19 = 0. Suppose t = z*d + n, d + n = 3*n + 13. Is d a multiple of 3?
False
Let u = 149 - 53. Let f = u - 20. Does 20 divide f?
False
Let u be (-1 - 7)/(5 - 7). Suppose 3 = g + 2*g - u*t, -5*g + 28 = t. Is g a multiple of 5?
True
Let m = 726 + -267. Is m a multiple of 51?
True
Let a(p) = 4*p**2 + 19*p - 123. Does 31 divide a(15)?
False
Suppose 6188 = -0*b + 17*b. Is b a multiple of 14?
True
Suppose z - 2*l + 2 = 0, z + 4*l + 5 = 21. Suppose -118 - 182 = -z*m + 5*g, 0 = -m + 4*g + 86. Is m a multiple of 11?
False
Suppose -4*a + 3*t = -327, 3*a - 5*t - 103 = 2*a. Suppose -12*r + 15*r = a. Is 7 a factor of r?
False
Suppose -5*j + 0*j = -1200. Suppose -5*h + j = 4*p, -3*p + 245 = 3*h + 2*h. Does 26 divide h?
True
Let v = -37 - -21. Let s be (-52)/v - 4/16. Is 27 + 0/s - 0 a multiple of 12?
False
Suppose 3*d - 5*p + 0*p + 40 = 0, -2*d - 25 = -3*p. Is -3 - (4 + 11*d) a multiple of 16?
True
Let q(c) be the second derivative of -c**5/20 + 5*c**4/12 + c**3/2 + 7*c**2/2 - 5*c. Let o be q(5). Let w = o - -35. Does 19 divide w?
True
Suppose 13629 = 37*n - 16674. Does 39 divide n?
True
Let b = -2 - -7. Let d = b - 0. Suppose 0 = -d*s + 73 + 62. Is 9 a factor of s?
True
Let t(w) = 48*w**2 - 2*w + 78*w**2 + 1 + 0*w + w. Let h be t(1). Suppose 4*m + 5*y - 114 = 0, -6*m + h = -2*m - y. Does 16 divide m?
False
Is 192/112*(139 + 1) a multiple of 8?
True
Let k be 30/20*(-2)/3. Let u(x) = 272*x**2 + x - 1. Is u(k) a multiple of 22?
F