 = -6*k - 3*x, -5*k = 5*x - 20. Does 20 divide 9*3 - (1 - k)?
False
Let q(n) = 0*n - n - 2*n - 3*n + 3. Is q(-4) a multiple of 27?
True
Suppose -4*n - 5*m + 322 = 0, -5*m - 190 = -3*n + 34. Does 21 divide n?
False
Let s(y) = 3*y + 2. Let z(r) = 7*r + 5. Let q(i) = 5*s(i) - 2*z(i). Let j be q(3). Suppose 6 = j*h, -5*f + 2*f + 4*h + 25 = 0. Is 7 a factor of f?
False
Suppose i - 23 = 2*i - 4*r, -22 = -i - 5*r. Is (4 + i)/((-1)/(-7)) a multiple of 3?
False
Suppose 21 + 21 = 3*r. Is r a multiple of 12?
False
Let n = -2 - -6. Suppose 4*h - 6 = -2*m - 0*m, -n*h - 12 = -4*m. Is m even?
False
Let m(k) be the first derivative of -3*k**2 + 6*k + 1 - 1/3*k**3. Is 11 a factor of m(-5)?
True
Let q(b) = -b**2 + 4*b + 2. Let i be q(4). Is ((-4 - 1) + i)*-13 a multiple of 13?
True
Let b(a) = 3*a**3 - 3*a**2 - 2*a + 4. Is 26 a factor of b(3)?
True
Let i(a) = -a**3 - 4*a**2 - 4*a + 4. Let l = 3 - 3. Let p = -4 - l. Is i(p) a multiple of 10?
True
Let v = 2 - 1. Let o be 19 + v/(-1 + 0). Is 8 a factor of (-4)/o + (-292)/(-18)?
True
Suppose 0 = -5*k - 72 + 652. Suppose -k = -4*h + 4*o, 2*o = -5*h - 0*h + 152. Does 10 divide h?
True
Does 23 divide (-1)/(0 + (-3)/69)?
True
Suppose -4*c - m + 210 = -2*c, 3*m + 119 = c. Does 19 divide c?
False
Let o(b) = 2*b**2 - 3*b + 1. Suppose -5*i + 12 = 2. Let w be o(i). Suppose 0 = 3*u - 0*u - 2*k - 36, -3*u + 51 = w*k. Is u a multiple of 14?
True
Let x = 75 - 37. Is x a multiple of 6?
False
Let s(o) = -o**2 - 9*o - 8. Let f be s(-8). Suppose f*r + 48 = 4*r. Suppose x - r = -x. Is 3 a factor of x?
True
Let u be 0 - -1 - (2 + -51). Suppose -2*g + f + 59 = 0, 3*g - 4*f - u - 46 = 0. Is g a multiple of 14?
True
Let g(i) = -i**2 + 5*i - 2. Let c be g(4). Suppose -2*s - c*t = 2*t - 110, 0 = -s + t + 43. Is s a multiple of 21?
False
Suppose -14 = -4*m + 10. Let c(a) = a**2 - 9*a + 8. Let f be c(m). Let s = f - -25. Is 15 a factor of s?
True
Suppose -5*a + 319 + 136 = 0. Does 13 divide a?
True
Let j = -73 - -154. Is j a multiple of 27?
True
Let j(u) = u + 2 + 2*u - 4 - 2*u. Does 5 divide j(8)?
False
Let y(r) = -34*r**3 + 2*r + 1. Suppose 5*n - 6 = -4*b, -2*b = -4*b - 2*n + 2. Does 11 divide y(b)?
True
Let i(k) = 0 + 0*k - 1 - k. Let t(s) = s**3 - 6*s**2 - 11*s - 4. Let b(h) = 6*i(h) - t(h). Does 20 divide b(3)?
True
Is 24 a factor of (4/1)/4*24?
True
Let k(u) be the second derivative of u**3/3 - 3*u**2 + u. Suppose -51*a = -49*a - 14. Is 4 a factor of k(a)?
True
Suppose -6*b + 3*b + 204 = 0. Is 13 a factor of b?
False
Let q = -69 - -102. Suppose y = 3*n - 3*y - q, 5*y = 2*n - 29. Is 7 a factor of n?
True
Let m be ((-4)/(-3))/(1/3). Let x(n) = -n**3 + 6*n**2 - n - 5. Is 23 a factor of x(m)?
True
Let f = 266 + -186. Does 20 divide f?
True
Suppose 12*o = 13*o - 24. Is 5 a factor of o?
False
Suppose -5*o + 59 = 3*d, -2*o - 9*d + 16 = -4*d. Suppose o = i + 4. Let y = i - 3. Does 3 divide y?
True
Suppose -197 - 16 = -x. Is 32 a factor of x?
False
Let d = -469 + 807. Does 26 divide d?
True
Let q be (-6)/(-15) - 2/5. Let p(a) = -a**2 - 4*a + 4. Let i be p(-5). Is 15 + (q + i - 1) a multiple of 13?
True
Let d(s) = -80*s**3 + s**2 + 3*s + 2. Is d(-1) a multiple of 41?
False
Is (-8)/32 + (-162)/(-8) a multiple of 10?
True
Let a = 3 + -11. Let j = a - -21. Is 13 a factor of j?
True
Let p(k) = 4*k**2 - 1. Let r be p(1). Suppose 2*m - 118 = 4*d, 207 = -r*m + 6*m + 4*d. Is m a multiple of 23?
False
Suppose -4*h + 10 = -2. Suppose 36 = h*w + 6. Is 5 a factor of w?
True
Suppose -27 = -2*w + 33. Does 10 divide w?
True
Let d = 20 + 60. Is d a multiple of 15?
False
Let n(v) = -v - 2. Let r be n(-4). Does 8 divide r - (-21 + -1)/1?
True
Suppose -2*s - 6 = -20. Is s a multiple of 5?
False
Let c = 11 + 93. Is c a multiple of 26?
True
Let u(z) = -54*z. Let k be u(-3). Let j be k + 0 - 1*-2. Suppose 5*i + 3*p + p - 231 = 0, 2*p = 4*i - j. Is 15 a factor of i?
False
Let f = 45 + -6. Is f a multiple of 18?
False
Suppose 5*v - 4*c - 23 = 0, 2*v - 20 = -2*c - 0*c. Let w = 2 + v. Let j = 1 + w. Does 10 divide j?
True
Suppose 2*a = 2*k - 20, 2*k = k + 1. Let t = 6 - a. Is 15 a factor of t?
True
Let x be (-93)/(-6) + (-1)/2. Let y = 3 + x. Suppose -5*a - 5*t = -60, -3*a - 2*t + 21 = -y. Is a a multiple of 15?
True
Let o(b) = -2*b**3 - 3*b**2 - b + 9. Does 13 divide o(-3)?
True
Let x(d) = -d + 4. Let w be x(0). Is w/(-18) + (-436)/(-18) a multiple of 24?
True
Suppose 1052 - 92 = 4*q. Is q a multiple of 16?
True
Suppose 34*m - 35*m = -280. Is m a multiple of 56?
True
Let s(f) = 4 - 42*f - 2 - 16*f. Let c be s(-2). Suppose -c = -5*h + 2. Does 12 divide h?
True
Let v = 6 - 4. Is 13 a factor of -2 + (-153)/(-3) + v?
False
Let i(n) = 9*n**3 + n - 1. Let c = -10 - -11. Is 6 a factor of i(c)?
False
Let p(x) = x**3 - 3*x**2 + x + 1. Let i be p(4). Let n = i + -6. Suppose -4*h + n = -h. Is 2 a factor of h?
False
Let g(w) = 4*w + 92. Is 17 a factor of g(0)?
False
Suppose -12*y = 3*y - 2490. Is 18 a factor of y?
False
Suppose 18*m - 6*m = 1716. Is 19 a factor of m?
False
Let c = -88 - -98. Is c a multiple of 6?
False
Let f(b) = -6*b + 4. Suppose -4*w + 2*s = 22, 26 = -w - w - 4*s. Does 23 divide f(w)?
True
Suppose -2*v - 3*b = -b - 6, -4*v = -4*b - 12. Suppose -41 + 5 = -v*f. Does 4 divide f?
True
Let m(q) = -q**3 - 6*q**2 + 5*q - 9. Let i be m(-7). Suppose -i*p + 75 = -5*v, 5*p - 12 = -3*v + 39. Is 4 a factor of p?
True
Does 11 divide 4 + 6/((-12)/(-70))?
False
Let y(j) = j - 9. Let p(k) = -2*k + 19. Let v(f) = -2*p(f) - 5*y(f). Let x be v(0). Suppose -x*b + 54 = -2*b + r, 0 = r - 4. Does 10 divide b?
True
Is (-1179)/(-15) + 4/10 a multiple of 22?
False
Suppose -2*q = -3*q + 3*a - 110, 0 = 3*q + 5*a + 260. Let z = -39 - q. Is 22 a factor of z?
False
Let d(f) = f**2 + 1. Suppose 0 = 3*m + m - 8. Suppose -t = -m*g + 3, -3*t + 5*t - 5*g + 5 = 0. Does 16 divide d(t)?
False
Let z be -2*(-6 - -2 - -2). Suppose -39 = -7*k + z*k. Is k a multiple of 13?
True
Let g(x) = -x**2 - 5*x + 8. Let v be g(-6). Suppose -41 = -2*f + r, 7*f + 5*r = v*f + 125. Does 7 divide f?
False
Suppose -17*j + 21*j - 92 = 0. Let n = 65 - j. Is n a multiple of 21?
True
Is 5 a factor of 9/((-63)/14) + 22*1?
True
Let j = 8 + -3. Suppose j*u = 331 + 144. Is u a multiple of 32?
False
Is 16 a factor of (141/9)/((-4)/(-12))?
False
Let q(u) = -3*u**3 - 20 - 3*u**2 - u + 2*u**3 + 22. Let m be q(-3). Is (42/m)/((-4)/(-10)) a multiple of 7?
True
Suppose -s + 33 = 2*s. Let w = s + -7. Suppose 6 = w*h - 26. Is 3 a factor of h?
False
Let y(j) = j**2 + 5*j - 18. Is y(6) a multiple of 16?
True
Suppose -2*f + 14 - 4 = 0. Suppose 8 = 2*g - 0*g. Suppose -2*u - 2*u + 20 = -2*y, u - f = g*y. Is 5 a factor of u?
True
Let t(d) = 3*d**3 + 4*d**2 - 2*d + 5. Let p(c) = -2*c**3 - 5*c**2 + 3*c - 6. Let g(x) = -4*p(x) - 3*t(x). Is 16 a factor of g(7)?
True
Suppose 0 = -2*l - 0*l, 144 = 3*o + 2*l. Is 16 a factor of o?
True
Is 16 a factor of (-4)/10 - (-5)/((-125)/(-2410))?
True
Let w(y) be the first derivative of y**4/4 - 2*y**3/3 - 3*y**2 + 2*y + 3. Does 10 divide w(4)?
True
Suppose 2167 = 12*k - 545. Is k a multiple of 18?
False
Suppose -v = -4*v - 12. Let o = 3 + v. Is 5 a factor of 2 - 3/(o - 0)?
True
Let t(j) = 13*j - 78. Is 3 a factor of t(12)?
True
Let k = 8 + -6. Suppose -3*x = k*l + 4 + 7, -x - 1 = 2*l. Does 2 divide (3/3*6)/l?
False
Does 29 divide (-4)/(-18) + 1040/18?
True
Suppose 6*a - 12 = 2*a. Suppose 5*z = -4*g - 8, -g + 0*g - a*z = 2. Is 12 a factor of g/4*-2 + 11?
True
Let b = 32 - 20. Is 3 a factor of b?
True
Let y be 6/(-6)*(-8 + 1). Is 29 - y - (1 - 0) a multiple of 20?
False
Suppose -153 = -3*q + 9. Suppose 16 = 2*o - q. Does 18 divide o?
False
Suppose 9 = -3*u - 9. Is 8 a factor of (-26)/(-3) + 4/u?
True
Let d be ((-1)/(-2))/((-3)/(-6)). Let j(z) = 37*z - 1. Let x be j(d). Suppose -f - 2*f = -x. Does 6 divide f?
True
Suppose h = -0*v - 4*v + 102, 3*v - 4*h = 86. Is 9 a factor of v?
False
Let r = 62 - 43. Suppose 3*v = r + 35. Is v a multiple of 9?
True
Let g be -4 - -3 - (-2 - 21). Suppose o - 5*y = -7, 4*o - 2*y - 40 = g. Does 17 divide o?
False
Let f = -1 + 5. Suppose -p - 13 = -2*p + 5*d, -5*d - 22 = -f*p. Suppose 3*b = -u + b + 9, p*u - 42 = -b. Does 15 divide u?
True
Let f be (-4)/(-10) - 1012/(-20). Suppose 0 = -0*n + n - f. Suppose -4*c = -33 - n. Does 21 divide c?
True
Let n = -4 + 11. Is 3 a factor of (-14