2 - 20*d + 22. Is 4 a factor of u(6)?
False
Let i = -78 + 141. Let t = 9 - 10. Is 9 a factor of (i/27)/(t/(-9))?
False
Let u(n) = 2*n**2 + 0*n + 3*n + 30 - 2*n - 3*n**2. Suppose -5*g + 3*a = -1 - 5, 2 = 3*g - a. Is 15 a factor of u(g)?
True
Suppose 487*w - 467*w = 1080. Is 6 a factor of w?
True
Let n be (-5)/2*14*-1. Suppose n + 21 = 4*p. Does 14 divide 404/p - 5/(-35)?
False
Suppose -2*a + 5*a - 4*f - 340 = 0, -a = -5*f - 95. Is 10 a factor of a?
True
Let l(r) = 2*r - 2. Let h be l(-3). Let d(a) = a**2 + 10*a - 10. Let s be d(h). Let p = 76 + s. Is p a multiple of 13?
False
Suppose 0 = 5*s + 3*o - 16, 5*o - 19 = -5*s + 3*o. Suppose 0 = s*d + 2*r + 10, -r = r + 10. Suppose 0*j + 5*j - 30 = d. Is 6 a factor of j?
True
Suppose 4*f - 2*u - 37 - 181 = 0, 3*f - 4*u - 166 = 0. Is f a multiple of 2?
True
Suppose -3*a + 2*a = -92. Is 27 a factor of a?
False
Let x(z) = -z**3 + 0*z**3 + 6*z + 13 + 0*z**3 - 6. Does 10 divide x(-3)?
False
Suppose -796 = 5*v - 6376. Is v a multiple of 18?
True
Let a be ((-3)/(-9))/((-1)/(-30)). Suppose -1210 = -12*n - a. Is n a multiple of 7?
False
Suppose 3*y = 4*t - 7, -2*t = 1 - 9. Suppose 0 = y*w - 3 - 9. Is 19 a factor of (61/w)/((-3)/(-12))?
False
Let b = -41 - -347. Does 47 divide b?
False
Suppose 4*z - 18 = 2*n, 0 = 3*z - 5*z - 3*n - 3. Let s(p) = 6 - 3*p**z + 2*p**3 + 13*p - 8*p**2 - 7*p**2 + p**2. Does 9 divide s(-15)?
True
Let m = 1640 - 894. Is m a multiple of 13?
False
Let t(o) = 22*o - 81. Is 21 a factor of t(11)?
False
Is 11 a factor of (-120)/8*(-49)/35*3?
False
Suppose -z - 340 = -1412. Is z a multiple of 40?
False
Suppose 2*l - 508 = -a, a + 992 = 4*l - 3*a. Does 13 divide l?
False
Let o = -3 - -7. Suppose -3*a = 0, -4*f - o*a = a + 220. Let k = -11 - f. Is 24 a factor of k?
False
Let j = -81 + 53. Suppose -r = 4 - 7, -f + 53 = -5*r. Let l = j + f. Does 10 divide l?
True
Suppose s = -4*z + 69, z - 4*s - 15 - 15 = 0. Suppose u + u = z. Does 9 divide u?
True
Let l(m) = 2*m**3 - 110*m**2 + m + 93. Is 10 a factor of l(55)?
False
Is 2 a factor of -20 - -9 - (-2 - 463)?
True
Suppose 5*q - 2*q = 0. Suppose d + 0*d - 93 = q. Does 12 divide d?
False
Suppose 0*t - 2*t + 1476 = 4*l, 2*t + 3*l - 1479 = 0. Is 31 a factor of (4/3)/(8/t)?
True
Let l = 1777 + -1737. Is l a multiple of 40?
True
Suppose -3 = u, 18*o - u - 5 = 16*o. Suppose -h = h - 236. Let d = h + o. Is d a multiple of 17?
True
Suppose 2*p - 213 = -p. Suppose -5*k = 3*z - p, 0 = -4*k - z + 27 + 34. Does 16 divide k?
True
Let q(p) = -16*p**2 - 20*p - 9. Let u(j) = -3*j**2 - 4*j - 2. Let m(h) = 2*q(h) - 11*u(h). Is m(-7) a multiple of 25?
True
Let v(x) = -x**3 + 8*x**2 + 8*x + 13. Let s be v(9). Suppose -533 = -s*g + 163. Suppose -2*l + g = 4. Is 17 a factor of l?
True
Let a(k) = 17*k - 10*k + 3*k**2 + 2*k**2 - 22 - 8*k. Is a(5) a multiple of 14?
True
Suppose -3353 = -i + y - 849, 3*i - 7516 = y. Suppose -11*p + i = 636. Does 17 divide p?
True
Let l(w) = 12*w**2 + 7. Let y(n) = n**2 + 12*n + 32. Let k be y(-5). Is 22 a factor of l(k)?
False
Let g = -1998 - -6707. Is 11 a factor of g?
False
Let v(i) be the first derivative of -i**4/4 - 4*i**3/3 + 3*i**2 + 2*i + 1. Let l be v(-5). Is 17 a factor of ((-22)/l)/(1/6)?
False
Suppose 4*b - s = 7, b + 2*s - 4 = -0. Does 10 divide -3 + (b - 0)*61?
False
Suppose 99 = 2*i + 4*n - 21, 172 = 3*i + 4*n. Is i a multiple of 26?
True
Let r(z) = 7*z**2 - 36*z - 5. Does 5 divide r(8)?
True
Let d = 88 - 80. Suppose 3*i - 281 = -z, 0 = i - d*z + 6*z - 96. Does 14 divide i?
False
Is -15*((-366)/9 - 6) a multiple of 20?
True
Let d(q) = 4*q**2 + 1. Let i be d(-3). Suppose i + 29 = y. Is y a multiple of 33?
True
Let k = -379 - -581. Does 13 divide k?
False
Let t(g) = 3*g**3 - 4*g**2 - g + 3. Let x(s) = s**2 + 3*s + 29. Let z be x(0). Suppose -7*r + z = 8. Is t(r) a multiple of 12?
False
Let u(j) = 3*j - 7. Let v be u(5). Suppose 5*p + v = 2*r, 0 = -3*p - 2*p + 4*r - 16. Suppose p = -x - 0*i - 4*i + 34, -5*x = -i - 149. Is x a multiple of 10?
True
Let g = -7 + 7. Is 15 a factor of 32*(0 - (g - 2))?
False
Let r = 501 - 309. Let x = 2 - 2. Suppose x = 5*t - t - r. Is t a multiple of 16?
True
Let z(l) = l**2 - 2*l + 2. Let v be z(-1). Does 13 divide 94/v + 4 + (-38)/10?
False
Let z = -1001 + 1064. Does 9 divide z?
True
Let d(z) be the third derivative of z**5/60 + 16*z**3 - 12*z**2. Let y be d(0). Suppose -y = -2*n - 4*i, 0*i - 36 = -n + 2*i. Is n a multiple of 14?
True
Let l be (-62)/8 - (-1)/(-4). Let p be l/6 + 13/3. Suppose p*n - 27 - 45 = 0. Does 13 divide n?
False
Is (-18)/45 - (-6457)/5 a multiple of 21?
False
Let q(y) = 197*y + 2. Is 10 a factor of q(3)?
False
Suppose 0 = -4*s + 8. Is (s/2 + -13)*(-3)/2 even?
True
Suppose -20*z + 3957 - 957 = 0. Is 15 a factor of z?
True
Is 15 a factor of ((-26)/(-3))/(7/63)?
False
Let g be 118/10 + 2/10. Suppose 0 = -4*n - 4 + g. Suppose -n*o - 3*d + 52 = 0, 4*o = o + d + 56. Is o a multiple of 10?
True
Let m = -3 - -6. Let a(i) = -4 + 0*i + 21*i**2 + m - i. Does 8 divide a(-1)?
False
Is 98 - (-4)/(-20)*0 a multiple of 7?
True
Let z = 91 - 144. Suppose h - 4*w + 23 = -5, w = -3*h - 110. Let r = h - z. Does 14 divide r?
False
Let c(b) = -b**2 - 3*b - 6. Let a be c(-6). Let v be (-30)/4*a/20. Let i(f) = -f**3 + 8*f**2 + 10*f + 5. Does 4 divide i(v)?
False
Let t(g) = 3*g**2 + g - 1. Let h be 2/3 - 6/(-18). Is t(h) even?
False
Let a(b) = 595*b + 4. Suppose -4 - 2 = -3*i. Let s be a(i). Does 16 divide s/14 + (-6)/21?
False
Suppose 0 = -3*g + 127 - 502. Let q = -65 - g. Is 15 a factor of q?
True
Does 26 divide -1*24/(-14)*91?
True
Suppose 173 - 53 = -5*k. Let r(i) = -i**2 - 28*i - 40. Does 8 divide r(k)?
True
Suppose -285*p = -289*p + 18164. Is 17 a factor of p?
False
Is 2 a factor of 8/20 - (-2148)/30?
True
Let s = -699 + 2409. Is s a multiple of 36?
False
Let r(i) = -i**2 + 3*i + 9. Let w be r(5). Does 19 divide (-7)/(-14)*(-48)/w?
False
Suppose -w + 3*w = 4*d + 56, -5*d = -3*w + 88. Let a = w + -40. Is (a + 44)/4*3 a multiple of 21?
False
Suppose -19*g = -15*g - 8. Suppose 2*t = -0*t - 4*n + 32, -g*n = 3*t - 48. Is t a multiple of 12?
False
Let j = 23 + -6. Let u(b) = 2*b - 20. Is 14 a factor of u(j)?
True
Let k be (-3)/(-1) - (2 + -3 + -1). Suppose 2*j - 14 - 23 = 3*l, j + k*l = 51. Is j even?
True
Suppose 7*x + 36 = 3*x. Let y(c) = -2*c - 16. Let z be y(x). Is (-12)/(-8) - (-135)/z a multiple of 23?
True
Let p = 1 + 4. Suppose 9 = -3*s, p*k + 5*s - 129 = 2*k. Is 7 a factor of k?
False
Let u(x) = 107*x**3 - 6*x**2 + 3*x + 5. Is u(3) a multiple of 22?
False
Let z be (-14)/2 - (-6 - -6). Let i(j) = 5*j**2 + 10*j + 12. Let o be i(z). Suppose 2*a = -2*k - a + 90, -5*k + 2*a = -o. Does 12 divide k?
False
Let v(p) = p**3 - 7*p**2 + 5*p + 3. Let t be v(6). Let y be (2 - (5 + t))/1. Suppose -5*i + 160 = -y*i. Does 19 divide i?
False
Suppose 3*v + 4*p = 211, -p - 65 = -v - 5*p. Is 24 a factor of v?
False
Suppose 0 = i - r - 80, 368 + 64 = 5*i + 3*r. Does 42 divide i?
True
Let j be 11/(33/12) + 7*23. Suppose -5*o + 8*o = j. Is 15 a factor of o?
False
Let q(k) = 8*k + 24. Let y be q(14). Suppose -6 = b - y. Is 26 a factor of b?
True
Suppose 45133 - 162313 = -54*r. Does 31 divide r?
True
Let f(x) be the second derivative of x**3/6 + 4*x**2 - 4*x. Let s be f(-6). Suppose -s*p + 62 = -2*l - 122, 5*p = -3*l + 444. Is p a multiple of 16?
False
Let n(i) = -i**3 + 16*i**2 + 8*i + 6. Does 10 divide n(16)?
False
Let a be ((-18)/14 - -1)*-7. Suppose 4*l = 2*h - 0*h - 4, 10 = -a*l - 3*h. Does 3 divide 14*((-60)/(-21) + l)?
True
Let h(f) = f**2 - 11*f + 285. Does 15 divide h(30)?
True
Let o = 105 - 95. Suppose o*f - 11*f + 61 = 0. Is f a multiple of 8?
False
Suppose 3*z = 4*k - k + 30, -3*k = z + 18. Let v = k + 9. Suppose v*s - 20 = -0. Is 5 a factor of s?
True
Is (-80)/(-12)*12 + (-8 - -4) a multiple of 4?
True
Let c be ((-1)/3)/(3/(-279)). Let g(z) = z**3 + 11*z**2 + 11*z + 6. Let k be g(-10). Let i = c - k. Is i a multiple of 11?
False
Suppose -1 + 7 = -t. Let i be 4/8 + (-15)/t. Does 3 divide i/(-6) + (-7)/(-2)?
True
Let o = 311 + -21. Does 29 divide o?
True
Let c = -62 + 66. Suppose 3*k - 447 = -7*v + 4*v, 4*v = c*k + 612. Is v a multiple of 38?
False
Suppose -9*a = -38*a + 2088. Does 4 divide a?
True
Suppose -13*a + 23*a - 700 = 0. Is a a multiple of 9?
False
Let v(x) = -18*x - 135. Is 2 a factor of v(-14)