 - 6. Let x(q) = -8*q**2 - 11*q - 5. Let z(m) = 6*r(m) - 7*x(m). Does 3 divide z(-4)?
False
Let a = -69 + 79. Is 3 a factor of a?
False
Suppose 5 = -5*s, -l - 2*s = 4*l + 17. Let j(q) = q + 1. Let k be j(l). Does 7 divide 8*(k - -1*3)?
False
Let t(a) = a + 7. Suppose g + 7 = -2. Let k be t(g). Does 4 divide -2 - (-9 + k/2)?
True
Suppose -25 = 4*l - 73. Let f = l - 11. Suppose 5*a - 98 = -4*x, -2*a + f = x - 25. Is x a multiple of 8?
False
Suppose m - 44 = 23. Let x = -122 + m. Let t = x + 100. Does 18 divide t?
False
Let p(l) = -4*l**2 + 3*l - 2 + 2*l**2 + 3 + 5*l**2. Is 4 a factor of p(-2)?
False
Let f(o) = -2*o - 7. Let d be f(-5). Suppose 270 = 2*t + d*t. Does 14 divide t?
False
Let k = 4 - -9. Suppose 0 = -3*d + k + 35. Is d a multiple of 8?
True
Let k(t) = 5*t - 2 - 3*t + 2*t + 3*t. Does 11 divide k(5)?
True
Suppose -13*d + 21*d = 2976. Is d a multiple of 31?
True
Let c = 10 + -5. Suppose 5*x - 4*f - 8 + 3 = 0, -45 = -4*x - c*f. Suppose -x*l - 28 = -4*y, 3*l = 3*y - 2*l - 16. Is 6 a factor of y?
True
Let g(q) = q**2 - 4*q - 8. Let n be g(6). Let z(u) = 3 + 2*u**2 - 7*u - 1 + 2. Does 8 divide z(n)?
True
Let g(u) = -u**3 + 8*u**2 - 7*u + 2. Let p = 0 - 1. Let v be 7*(1 - (p - -1)). Is 2 a factor of g(v)?
True
Is 12 a factor of ((-8)/(-24))/((-2)/(-126))?
False
Let p(o) = o**2 - 2*o - 11. Does 3 divide p(-5)?
True
Let r be 3/(-2)*20/15. Let u be r/4 - 29/(-2). Suppose 5 = -l + u. Is 3 a factor of l?
True
Does 22 divide (-5)/(-2)*1032/30?
False
Suppose 0 = 4*p - 5*o + 2*o + 2, -7 = 3*p - 5*o. Is (p + 0)/(2/20) a multiple of 3?
False
Let f be 1/(3 - (-14)/(-5)). Is 7 a factor of ((-18)/f)/(4/(-20))?
False
Let s = 12 - 15. Let b = s + 32. Is 29 a factor of b?
True
Suppose 2*t + 4*x = 160, 3*t - x = -t + 320. Is t a multiple of 20?
True
Let t = 106 + 40. Is t a multiple of 46?
False
Let m(z) = 2*z - z**3 + 7*z**2 + 8*z**2 - 8*z**2 - 12. Is m(5) a multiple of 24?
True
Let a = 93 + -65. Is 5 a factor of a?
False
Let a = -130 - -77. Let u = a + 102. Does 18 divide u?
False
Let g be 2/(-4) - 75/(-2). Suppose 169 = 3*w + g. Suppose -3*k - w = -7*k. Is 4 a factor of k?
False
Suppose 0 = -2*v + 7*v - 65. Is 7 a factor of v?
False
Suppose -33 = -4*p + 3*p. Is p a multiple of 10?
False
Is 15*1*8/24 a multiple of 5?
True
Is 6 a factor of 2/(-6) - 304/(-48)?
True
Let o(f) = f**2 - 5*f + 2. Let n be o(6). Let l be n/(-36) - 74/(-9). Suppose 38 = 2*w - l. Is 17 a factor of w?
False
Let q(h) = -h**2 + 25*h + 9. Is q(18) a multiple of 28?
False
Let y(t) = 9*t - 1. Let x be y(-1). Let h = 20 + x. Does 6 divide h?
False
Let c(i) = 2 + i**3 + i + 1 - 5 + 0. Does 14 divide c(3)?
True
Let a(t) = 0 - 4 - 2 + 4*t - 5 + 3*t**2. Does 21 divide a(5)?
True
Let v = -49 - -74. Let k = -11 + v. Is k a multiple of 13?
False
Suppose -2*m + 4*m - 16 = -2*o, 3*o - 4 = m. Suppose -m*g = 4*c - 213, 5*c - 200 - 91 = 2*g. Let d = c + -23. Is d a multiple of 17?
True
Let c(h) = -2*h - 12. Is 4 a factor of c(-9)?
False
Suppose 2*o - 152 + 56 = -q, 5*q = 2*o + 444. Suppose 9 - q = -3*d. Is 7 a factor of d?
False
Let z(w) = -5*w + 1. Let o = 5 + -3. Let d be z(o). Let y(g) = -4*g. Is y(d) a multiple of 15?
False
Let k(w) = w**3 + 10*w**2 - 3*w - 11. Does 12 divide k(-10)?
False
Suppose -6 = -3*u + 18. Suppose -4*x + 4 = 2*p, -7*x + 5*x = -2*p - u. Does 8 divide p - -8*1 - -2?
True
Suppose -6*k = -2*a - 11*k + 176, -5*k - 216 = -2*a. Does 17 divide a?
False
Let j(b) = 70*b**2 + 2*b - 1. Let u be j(2). Suppose -4*a + u = -3*y, 0*y - 3*y + 137 = 2*a. Suppose -7*d = -2*d - a. Is 7 a factor of d?
True
Let r(l) = l**3 - l**2 - 4. Let d be r(0). Is 18 a factor of 6/(-4)*144/d?
True
Let m(b) = -b**3 - 3*b**2 + 5*b + b**2 + b**2 + 0*b**3. Is m(-4) a multiple of 7?
True
Is 29 a factor of (-8 - -6 - (-180)/2)/2?
False
Let u(k) = -k**3 - 2*k**2 - 4*k - 3. Suppose -2*w + 4*w = -6. Is u(w) a multiple of 7?
False
Let y be (-3)/(-15) - (-28)/10. Suppose 3*z - 3*l = 24, -4*z - y*l = -81 + 28. Does 5 divide z?
False
Suppose -3*a + 4*a - 17 = 0. Suppose -7 = 5*n - a. Let s(x) = 2*x**2 + x - 2. Is s(n) a multiple of 4?
True
Let m(k) = 47*k - 1. Suppose -3*c + 2 = -1. Suppose -4*h + 5 = c. Does 13 divide m(h)?
False
Let n be (-4)/6 + (-47)/(-3). Let k = n + -6. Is 4 a factor of k?
False
Let l(u) be the third derivative of u**4/8 - u**3/3 - 2*u**2. Let i be l(2). Suppose 57 = i*h + 3*t - 0*t, 0 = -4*h - 4*t + 56. Does 15 divide h?
True
Suppose -30*d = -35*d + 330. Does 6 divide d?
True
Suppose 0 = 17*q - q - 480. Does 5 divide q?
True
Let i(l) = -20*l + 3. Let c be i(-3). Suppose -6*w + 3*w - 3*k - 144 = 0, 5*w + 228 = -2*k. Let t = w + c. Does 6 divide t?
False
Let a = 44 + -3. Is 6 a factor of a?
False
Let v(x) = -x**3 - x**2 + x - 1. Let h(d) = 5*d**3 - 5*d + 12. Let u(f) = h(f) + 6*v(f). Let k be -7*(0 - (-1 + 0)). Does 16 divide u(k)?
True
Suppose a - 4*t = 15, -3*t + 12 = -4*a - 5*t. Let v(s) = -38*s**3 + s**2 - s - 1. Is v(a) a multiple of 20?
False
Suppose x + 4*x = 0. Suppose 2*g + 2*g = -4, -4*m - g + 131 = x. Is 11 a factor of m?
True
Let o(h) = -5*h. Let k be o(2). Does 10 divide (-4)/k + (-192)/(-20)?
True
Let i(o) be the third derivative of -o**5/60 + o**4/2 - o**3/6 - o**2. Let q = -4 - -12. Is 11 a factor of i(q)?
False
Suppose q = -2*f + 146, 5*f = -3*q + 2*q + 371. Let d = 39 - f. Is 1 - d - (-3 - -3) a multiple of 21?
False
Let a(v) = -v**3 + 6*v**2 - 7*v + 1. Let o be a(5). Let y be (44/(-6) + 2)*o. Is (-6)/(-15) - y/(-5) a multiple of 4?
False
Suppose -2*r = -4 + 2. Let j be ((864/(-3))/3)/r. Does 17 divide 0 + 2 + j/(-3)?
True
Suppose 4*a = 3*p + 309, -4*a - 2*p + 243 + 91 = 0. Let g = -58 + a. Is g a multiple of 22?
False
Let k(z) = 2*z - 1. Let g be k(2). Suppose -9 = -g*i, -4*i + 8 = -c - 0. Suppose 5*b - 47 = -3*a, c*b - 2*a = 3*a + 45. Does 5 divide b?
True
Let n be ((-15)/(-2))/(4/8). Suppose m - n - 4 = 0. Does 19 divide m?
True
Is 20 a factor of ((-36)/24)/(2/(-80))?
True
Does 17 divide 2 - (-50 + 1)*1?
True
Let q = 9 - 7. Let f(y) = y + q - 3 + 2 + y**2 - 4*y + y**3. Is 10 a factor of f(3)?
False
Let p = -14 - -10. Let u(i) = -i + 1 + 0 - 3 - 6*i. Does 12 divide u(p)?
False
Let y(o) = 3*o**2 - 21*o + 7. Does 3 divide y(8)?
False
Suppose 3*n = 4*n + 3*q + 10, 2*q = -2*n. Suppose 2 + 62 = 4*d + p, -2*d = -n*p - 54. Is d a multiple of 5?
False
Suppose 0*x - x = -20. Does 5 divide x?
True
Suppose 89*v = 95*v - 1458. Does 27 divide v?
True
Suppose 2*f + p - 74 = 0, 0 = -5*f + 2*p + 103 + 82. Is f a multiple of 3?
False
Let l = 4 + -1. Suppose 74 - 8 = l*h. Is 8 a factor of h?
False
Let t be (-2 + 11)/((-1)/(-12)). Suppose -y = s + 3*y - 12, -4*s = 4*y - t. Suppose 2*m = 4*f - 22, 4*f - 4*m + 0*m - s = 0. Does 2 divide f?
False
Let d be (0*1/(-2))/(-1). Suppose 2*x + d*x - 22 = 0. Does 11 divide x?
True
Let a(b) = 153*b**3 + 2*b**2 + 2*b + 1. Let c be a(-1). Is (c/(-20))/(1/5) a multiple of 15?
False
Let k = 15 + 1. Suppose u - 59 - 183 = 0. Is (-4)/k + u/8 a multiple of 15?
True
Suppose 0 = -q - 7*f + 2*f + 82, 2*f + 212 = 3*q. Let h = 7 + -4. Suppose u = h*u - q. Is 13 a factor of u?
False
Let s(h) = 5*h**3 + 15*h**2 + 7. Let r(m) = 3*m**3 + 7*m**2 + 3. Let p(g) = -7*r(g) + 4*s(g). Suppose 3*t - 8 = 25. Is 7 a factor of p(t)?
True
Let t(j) = -13*j - 8. Let s(x) = -x + 1. Let a(w) = 6*s(w) + t(w). Suppose -k = 14 - 12. Is a(k) a multiple of 12?
True
Let b be 16/(-10)*(-8 + 3). Let d be (2 - b)/(-1 - -2). Let s = d - -12. Is 4 a factor of s?
False
Let z = 21 - 10. Let d(f) = f + 17. Let v be d(14). Let h = v - z. Is h a multiple of 7?
False
Suppose -2*z + 20 = -16. Does 6 divide z?
True
Let g(r) = -r**2 - 26*r - 32. Is 16 a factor of g(-16)?
True
Let c = 193 + -97. Is c a multiple of 32?
True
Let u = -6 + 8. Suppose 3*c = -u*c. Suppose 5*j + 16 = -k - c*k, 3*k - 22 = -j. Is 9 a factor of k?
True
Let g(l) = -2*l + 1. Let u be g(2). Is (0 - (u - 0)) + 10 a multiple of 5?
False
Suppose -5*o = 20 - 145. Let v = o + -11. Is v a multiple of 7?
True
Let a(v) = v**3 - 7*v**2 + 7*v - 2. Let f be a(6). Suppose -f*k + 220 = k. Does 9 divide k?
False
Let p(b) = -b**3 + 6*b**2 - 4. Suppose 2*m + 2*m - 16 = 0. Is p(m) a multiple of 14?
True
Let o be (-6)/6 - (0 + -1). Suppose -4*s + 3*d - 75 = o, -4*s - 37 + 2 = 5*d. Let g = 14 - s. Is 11 a factor of g?
False
Let g = 11 - 10. Does 4 divide g