et d = -4 + 39. Suppose 2*t + d = 3*t. Is t a multiple of 11?
False
Let s(r) = -2*r**2 + 2 + 6*r + 3*r**2 - 4 - 8*r. Is s(4) a multiple of 6?
True
Let d(k) = -5*k**3 - k**2. Let m be d(-1). Suppose 5*y - 8 = 2. Suppose -m*c = -y*c - 38. Is 6 a factor of c?
False
Suppose 4*r + 425 = 9*r. Is 28 a factor of r?
False
Let d(k) = -k**2 + 10*k + 6. Let a be d(10). Suppose a*b - 84 = 2*b. Is 21 a factor of b?
True
Let j(h) = h + 4. Let f be j(0). Suppose -f*r = 4*o - 52, -4*r = -2*o - o + 18. Does 8 divide o?
False
Let z = 230 + -110. Does 9 divide z?
False
Let z = -1 - -2. Let y = z + -1. Suppose -4*n + 44 + 20 = y. Is n a multiple of 12?
False
Let q = 8 + -4. Suppose q*z = 3*o + z - 81, 5*o + 2*z - 100 = 0. Is o a multiple of 9?
False
Suppose 5*z - 20 + 132 = 2*m, 0 = 4*m + 3*z - 250. Is 14 a factor of m?
False
Let j = -24 - -34. Does 5 divide j?
True
Does 11 divide 224/20 - 1/5?
True
Suppose 0*t + 3*v + 2 = t, 3*v - 83 = -4*t. Does 6 divide t?
False
Suppose -2*o + 11 = 5*g, -8 = -4*g - o - o. Suppose 0 = 5*p - 25, 0*w + 5*p = -g*w + 37. Is 4 a factor of w?
True
Let g(w) = -w**2 + w + 3. Let t be g(0). Let a be 5*2/(1 - -1). Suppose -a*f = -j - 42, -3*f - 5*j = -11 - t. Does 8 divide f?
True
Let c be -1 + 0 + (0 - -1). Suppose h - 32 = -c. Suppose -3*z = -1 - h. Is 4 a factor of z?
False
Let q be (122 - 2)/2 - 0. Suppose -7*z = -3*z - q. Is z a multiple of 7?
False
Suppose 0 = 6*k - 2*k - 16. Suppose s - k*j = 25, 4*s = -0*s + 5*j + 133. Suppose 3*v - 88 = 2*h, h - 4*h + s = 2*v. Does 9 divide v?
False
Let x be -14*2*3/6. Is (24/x)/((-14)/245) a multiple of 5?
True
Suppose f + 3*f = 192. Let j = f - 15. Is j a multiple of 11?
True
Suppose 5*c - c - 26 = 3*m, 5*c + 2*m - 21 = 0. Suppose 5*r = -0*r + c, 4*h - 3*r - 9 = 0. Is h a multiple of 2?
False
Suppose 0 = -0*n + 5*n - 420. Is 14 a factor of n?
True
Suppose 2*f + 2*f = 336. Does 28 divide f?
True
Suppose 30 = -3*h + 6*h. Is 3 a factor of h?
False
Let s(u) = u**3 + u - 6. Let x be s(0). Let q = x + 17. Does 11 divide q?
True
Let s(z) be the second derivative of z**4/12 + z**3/2 + 2*z**2 - 2*z. Is 22 a factor of s(-6)?
True
Is 10 a factor of (168/(-20))/((-1)/10)?
False
Suppose -z = -4 - 58. Is 31 a factor of z?
True
Suppose 7*z - 2*z - 3*b + 52 = 0, -2*b + 8 = 0. Let m(q) = -q**2 - 12*q - 5. Is 9 a factor of m(z)?
True
Let p(y) = 19*y**2. Is 19 a factor of p(1)?
True
Let y(i) = i**3 - 7*i**2 + 6*i + 2. Suppose 22 = 4*m - t, 22 = 2*m + 3*m - 4*t. Is y(m) even?
True
Let q = -542 + 801. Is q a multiple of 37?
True
Let x = 264 - 159. Does 21 divide 16/(-20)*x/(-2)?
True
Let f(u) = -123*u + 6. Does 42 divide f(-2)?
True
Let a be 20/6*(2 - -10). Suppose -7*i - a = -5*i - r, 2*i + 5*r + 64 = 0. Let q = i - -44. Is 9 a factor of q?
False
Let i(l) = 7*l**2 - 7*l - 2. Let b(v) = 13*v**2 - 13*v - 3. Let j(s) = 6*b(s) - 11*i(s). Let n be j(0). Is 17/3 - n/6 a multiple of 2?
False
Let u = -27 + -11. Let f = 88 + u. Is f a multiple of 29?
False
Suppose -4*j - j = -140. Is 4 a factor of j?
True
Let j(h) = -23*h + 25. Is j(-4) a multiple of 26?
False
Suppose -5*j - 116 = -2*m, m = -4*j + 20 + 12. Is m a multiple of 16?
True
Let v(m) = m**3 + 4*m**2 - 7*m - 7. Is v(-5) even?
False
Suppose -m = -6 - 9. Is 2*m*2/4 a multiple of 9?
False
Suppose -5*f - 3*n = 2*n + 20, 8 = f - 2*n. Suppose f = -5*y + 27 + 23. Is 5 a factor of y?
True
Suppose 21 = n - 4*v - 7, 3*n + v = 19. Is n a multiple of 2?
True
Suppose 5*f - 2 = 3*x - 26, -4*f = 5*x - 3. Let g(c) = -c. Let t be g(f). Suppose -2*o + 230 = t*o. Does 23 divide o?
True
Let b be (2*-1)/((-12)/6). Let j(m) = -b - 3*m + m + 2 + 15*m**3. Is j(1) a multiple of 8?
False
Let q = 17 - -6. Suppose 3*x - 53 = -s + q, -5*x + 148 = 2*s. Is s a multiple of 16?
True
Let p = -9 + 38. Does 15 divide p?
False
Let a(m) = -m**2 - m + 2. Let x be a(-3). Let u = 5 + x. Is 12 a factor of -16*(-2)/2 + u?
False
Let f(z) = -13*z**3 + 11*z**2 - 11*z + 11. Let w(r) = -7*r**3 + 6*r**2 - 6*r + 6. Let a(u) = -4*f(u) + 7*w(u). Let k = 1 + 1. Is 12 a factor of a(k)?
False
Let p(x) = x**3 + x**2 - x + 9. Let h be p(0). Suppose -108 + 24 = -3*l + q, -3*q = h. Is 9 a factor of l?
True
Let l(f) = -f**3 - f**2 + f + 1. Let t be l(-3). Suppose i = -i + t. Does 5 divide 90/i + 5/(-20)?
False
Let q be -1 - (-11 - -2)/1. Let l = 8 + q. Let z = 28 - l. Does 7 divide z?
False
Let b(s) = -2*s**2 - 4*s - 4. Let t be b(-4). Is 11 a factor of 5/(t/(-136)) + -1?
True
Suppose -2059 = -6*q + 935. Suppose f = -5*k - 81 + q, 2*f = -4. Is k a multiple of 28?
True
Let q = 3 + 21. Does 7 divide q?
False
Suppose 4*p = 19 + 73. Does 4 divide p?
False
Let z = 10 + -7. Let i = z - 6. Is 12 a factor of i + 27 + -1 + -2?
False
Let m(u) = -u - 2. Let v be m(-2). Suppose -5*w - 5*p + 13 = -27, -4*w - 8 = -4*p. Let b = w + v. Is 2 a factor of b?
False
Let s(a) = -8*a - 10. Is 7 a factor of s(-3)?
True
Suppose 2*x - 192 = -4*x. Is x a multiple of 16?
True
Let z(p) = -p**3 - p**2 + 4*p - 11. Let d be z(-5). Suppose 4*r = -2*i - 3*i + 9, 0 = r + i - 3. Suppose -r*f = -3*f - d. Does 15 divide f?
False
Suppose -j + 1 + 2 = 0. Let o be (j/(-6))/((-1)/38). Let n = -13 + o. Is 2 a factor of n?
True
Let r(q) = q**3 - 19*q**2 + 2*q + 5. Does 9 divide r(19)?
False
Let v be 1/(-4) + 5/4. Is ((-1)/v)/1*-40 a multiple of 20?
True
Let h(q) = 20*q**3. Let t be h(1). Let x = t - 14. Suppose -19 - x = -5*w. Is w even?
False
Let f = -9 - -3. Let b = f - -4. Let u = 10 - b. Is 12 a factor of u?
True
Let s be 17 + 0 - (-1 - 0). Suppose 4*h - 5*m - s = 12, 2*m = -4*h + 44. Is h a multiple of 6?
False
Suppose 4 + 5 = 3*y. Let a(q) = 2*q**2 - 5*q + 3. Let u be a(3). Let o = u - y. Does 2 divide o?
False
Is 17 a factor of -4 + -2 + 183 + 0?
False
Let r(b) = b**2 + b + 13. Does 5 divide r(0)?
False
Let v(l) = -12*l - 12. Is 24 a factor of v(-5)?
True
Let u(z) = -z**2 - 22*z - 7. Is u(-14) a multiple of 14?
False
Let q be (22/6)/((-2)/12). Let u = q + 31. Is u a multiple of 3?
True
Let i = 20 - 10. Is 13 a factor of 234/15*i/3?
True
Suppose q - 2*q = -68. Suppose 16 = 4*s, -3*m - q = -4*m - 2*s. Does 20 divide m?
True
Suppose 0*d = 4*d - 12. Suppose d = p - 0*p. Suppose -27 = -p*l - 9. Is l a multiple of 4?
False
Suppose -2*o = o - 6. Suppose o*t + 19 = 205. Does 31 divide t?
True
Does 8 divide ((-12)/(-15))/(1/55)?
False
Let g be (-1)/4 - 26/(-8). Suppose c + 5*m - 43 = 2*m, -g*c = 3*m - 147. Is c a multiple of 14?
False
Let c(z) = -z**3 - 5*z**2 + 3*z + 8. Does 13 divide c(-6)?
True
Suppose -10 - 266 = -4*l. Is 23 a factor of l?
True
Let c(o) = -59*o**3 - 2*o**2 - o + 1. Does 8 divide c(-1)?
False
Let h = 173 + -28. Is h a multiple of 21?
False
Suppose 256 = 21*p - 19*p. Is 8 a factor of p?
True
Suppose -i + 4*g = -51 + 10, 5*i + 2*g - 227 = 0. Is i a multiple of 15?
True
Let y = -19 - -53. Does 10 divide y?
False
Let x(t) = -358*t + 6. Is x(-1) a multiple of 26?
True
Let i(j) = j**2. Let x(a) = 15*a**2 - a. Let r(n) = 5*i(n) + x(n). Is r(1) a multiple of 6?
False
Let p(l) = l**3 + 9 + 3*l - 8*l**2 - 4*l + 3*l. Let v be p(8). Suppose 3*b - 6*b + 3*k = -15, -3*b + v = 2*k. Is 7 a factor of b?
True
Suppose z + 1 = p + 5, -p - 19 = -4*z. Is 20 a factor of 1076/10 - (-2)/z?
False
Suppose -3*m + 3*i = -264, 0 = 5*m + i - 668 + 216. Does 18 divide m?
True
Let o = -154 + 233. Let p = -48 + o. Does 21 divide p?
False
Let z be 10 + (-7)/((-14)/(-4)). Let v(x) = -x**2 + 12*x - 8. Is v(z) a multiple of 9?
False
Let u(o) = 21*o**3 - o**2 + 2*o - 1. Does 6 divide u(1)?
False
Suppose -6 = -3*r + 3*x, -42 = -5*r + 2*x - 5*x. Is 8/5*120/r a multiple of 11?
False
Suppose 5*g = -2 + 7. Let s(z) = -2*z + 1. Let r be s(1). Is 7 a factor of (-1 + r)/(g/(-10))?
False
Let a(y) = -37*y - 3. Is 36 a factor of a(-3)?
True
Suppose -4*o = 4 + 4, 2*t = o + 22. Is t a multiple of 3?
False
Let o be (-1000)/2*12/(-16). Suppose -5*m - 45 = -o. Does 22 divide m?
True
Let i(j) = j**3 - 5*j**2 - 5*j + 2. Let p be i(6). Suppose -4*c - 224 = -p*c. Let d = c + -30. Is d a multiple of 13?
True
Let w(s) = 13*s + 23. Is 15 a factor of w(9)?
False
Suppose 0 = 2*w - 7*w + 30. Let l(j) = j - 3. Let c be l(w). Suppose 7*d - 2*d = -c*t + 31, -4*t - 5*d = -43. Does 12 divide t?
True
Let j = 22 + 27. Suppose -r + j = 2*f, 5*r + 53 = 5*f - 92. Is 13 a factor of f?
True
Let q = 7 - 4. Suppose -q*h =