*r = 2*r + 3*s - 3. Let p = 65 + r. Is p a multiple of 21?
False
Let b(m) = -2*m**2 - 3*m. Let k be b(-2). Let o = 3 - k. Does 2 divide o?
False
Let m = 10 + -10. Suppose m = 3*z + 3*q - 12, 4*z - 2*z + 5*q + 4 = 0. Is 3 a factor of z?
False
Let n be (-6)/(-4)*10/3. Suppose -6*w = -n*w - 13. Does 13 divide w?
True
Suppose -5*k - 200 = -9*k. Suppose -k = -5*s + t - 0*t, t + 23 = 2*s. Let y = s + 0. Is 5 a factor of y?
False
Let p = -5 - -4. Let c(f) be the second derivative of -28*f**3/3 + f**2/2 + 4*f. Is c(p) a multiple of 19?
True
Let c(b) = -28*b + 7. Is c(-3) a multiple of 7?
True
Let y(p) = -54*p**3 - 2*p**2 - p. Let m be y(-1). Let d = m - 37. Is d a multiple of 5?
False
Is -4 - (-48)/(3/1) a multiple of 6?
True
Suppose 2*s - 3 = -13. Let x = 22 - s. Is 7 a factor of x?
False
Let k(h) = -2*h**3 - 10*h**2 - 3*h + 4. Is 19 a factor of k(-5)?
True
Suppose -24 + 714 = 3*u. Does 29 divide u?
False
Does 21 divide (4/5)/(2/70)?
False
Let x = 249 + -164. Let i = x + -40. Is i a multiple of 15?
True
Let r be ((-27)/(-15))/(-3)*5. Does 13 divide 1/((-188)/64 - r)?
False
Let k(v) = -v**2 - 13*v - 9. Does 31 divide k(-8)?
True
Suppose 0 = 2*g + 2*g + 12. Let j = 35 + g. Suppose -3*b = j - 146. Does 15 divide b?
False
Suppose 0 = 3*r + 13 - 1. Let n(s) = -2*s**3 - 7*s**2 - 4*s + 2. Is n(r) a multiple of 10?
False
Suppose -5*d = 5*j - 240, -3*j - 2*d + 85 + 54 = 0. Does 11 divide j?
False
Suppose -2*k - 16 = -6*k. Is k even?
True
Suppose -12 = -i + 3*i. Let p = i + 8. Does 11 divide (-2 + 15/p)*2?
True
Let v(b) = -b**2 + 6*b. Let t be v(6). Let g(w) = w**3 - 3*w**2 + 3*w - 1. Let p be g(2). Suppose 0 = -2*d - t*d - 8, q + 4*d = -p. Is 15 a factor of q?
True
Let n(o) = 3*o + 7. Is 13 a factor of n(15)?
True
Suppose 0*f - f = 3. Is -1 - (1 + f + -23) a multiple of 12?
True
Suppose -3*b - 15 = n, -2*n + b - 11 = 3*n. Let i = n + 32. Let a = i - 1. Is a a multiple of 8?
False
Let o be (0 + (-1 - 0))*14. Let x be (-2 + 2 - 1) + o. Let f = -2 - x. Is f a multiple of 12?
False
Let u(v) be the first derivative of -1/4*v**4 + 1 + 8*v + 7/3*v**3 + 0*v**2. Is 3 a factor of u(7)?
False
Suppose -5*n = 3*m - 41, 33 = 5*n - 2*n - m. Is 6 a factor of n?
False
Does 10 divide ((-4)/(-10))/((-14)/(-1050))?
True
Suppose u = d - 3*d + 113, -2*d + 119 = -5*u. Let c = d - 31. Is 13 a factor of c?
True
Let l(g) = -g**2 - 4*g + 2. Let d be l(-4). Suppose 0 = d*x - 7 + 1. Suppose -x*h = -17 - 1. Is 6 a factor of h?
True
Let p = 0 - -4. Suppose p*k - 2 = -10. Is 8 a factor of 99/6 - (-1)/k?
True
Suppose w - r + 1697 = 6*w, 5*w = 2*r + 1691. Is 32 a factor of w?
False
Let d(t) = -t**3 + 4*t**2 + 7*t + 1. Let a be d(6). Suppose 0 = -4*v + 2*v - 96. Let o = a - v. Is o a multiple of 7?
False
Suppose -4*k + 720 = k + 2*c, 0 = k + 4*c - 144. Is 18 a factor of k?
True
Let w be 1*0/(1 - 3). Suppose 0 = 2*z - w*q + 2*q + 758, 0 = -3*q - 9. Does 5 divide 6/(-8) - z/32?
False
Let r(o) = -16*o - 2. Let d be r(-6). Let k be 410/8 + 3/(-12). Let q = d - k. Is 11 a factor of q?
False
Let t be 1*(-2)/(-4)*6. Suppose -t*f + 65 = 2*f. Is f a multiple of 7?
False
Suppose 1 + 1 = r. Suppose r*q - 3*p = -p + 94, -206 = -4*q - 2*p. Is 10 a factor of q?
True
Let x = 1 + 13. Is (77/x)/(1/6) a multiple of 11?
True
Suppose 23*g - 17 = 22*g. Is g even?
False
Does 14 divide ((-168)/15)/((-1)/5)?
True
Suppose 3*k = k - 34. Let n = 4 - k. Is n a multiple of 6?
False
Suppose 4*p + 4*h - 31 - 69 = 0, -5*p = -5*h - 145. Suppose -5*m = -3*d - p, d - 1 = -0*d. Suppose m*a - 3*a = 54. Does 6 divide a?
True
Suppose 5*q = 28 + 327. Suppose 0 = -4*k - 3*g - 0*g + 32, -q = -5*k + 4*g. Is 11 a factor of k?
True
Suppose 0*g + 51 = 2*g - j, -109 = -3*g - 5*j. Is g a multiple of 13?
False
Suppose 0 = 4*m - 20. Suppose 4*z = -4*c + 5*c - 26, -5*c + m*z + 55 = 0. Suppose -3*d = -0*d - c. Is d a multiple of 2?
True
Let k(s) = -s**3 - 8*s**2 - 7*s. Let c be k(-7). Suppose x - 5*x + 24 = c. Suppose 3*p - x*p = -21. Is p a multiple of 7?
True
Is (-7)/(7/(-4)) - (-71 + -2) a multiple of 22?
False
Suppose -5*i - 6*j - 24 = -2*j, -2*i = -5*j + 36. Let r be (-11)/44 + 6/i. Is 2/(1/(-2) - r) a multiple of 3?
False
Let w(h) = h - 6. Let x be w(8). Suppose -55 = -x*k - 13. Is k a multiple of 4?
False
Let h be 4/(-18) - (-224)/36. Let i(u) = u - 1. Does 2 divide i(h)?
False
Suppose -6 = -2*i - 5*s, s - 6 = 2*i - 3*i. Suppose 0 = -6*w + i*w - 100. Does 27 divide w?
False
Suppose 0 = -3*o - 2*o + 1260. Is 16 a factor of o?
False
Let b(u) = -45*u - 11. Let v be b(-6). Is v/14 + (-2)/(-4) a multiple of 19?
True
Suppose 5*c = -5, 3*c - 30 = -4*k + c. Let m be 28/(-2) - k/(-4). Let z = -8 - m. Is z even?
True
Let k(c) = -c**3 + 5*c**2 - 4*c. Let i be k(4). Let y = 15 + -11. Suppose y*z - 4*p - 24 = i, 0 = -5*p + 4 + 1. Does 5 divide z?
False
Suppose -7*a + 5*a - t = -211, 0 = -3*a + 5*t + 349. Is a a multiple of 19?
False
Suppose 0*j + 147 = -j. Is 9 a factor of ((-13)/3 - -4)*j?
False
Let n = -6 - -11. Let a(y) = -y**3 + 7*y**2 - 3*y - 3. Is 14 a factor of a(n)?
False
Let q = -14 - -30. Let p = 7 + -11. Let v = q - p. Does 20 divide v?
True
Let o = 11 - 8. Suppose -2*y = 5*f - 124, o*y + 88 = 4*f - y. Is 12 a factor of f?
True
Let n(r) = -2*r - 9. Does 2 divide n(-7)?
False
Suppose 4*g - 3*n - 15 = 0, -4*g - 20 = -0*g + 4*n. Suppose g = -3*k - 2*k - 30. Let o(y) = 2*y**2 + 9*y + 1. Is o(k) a multiple of 9?
False
Suppose -65 = -5*x + 95. Suppose 2*m - 10 = -2*h, 4 = h - 2*m + 14. Suppose h = t - x - 4. Does 12 divide t?
True
Let r be ((-8)/(-6))/((-6)/(-45)). Suppose -2*t + 5*j + 31 = 0, -2*t - r = 3*t + 5*j. Is t a multiple of 2?
False
Suppose 5*v - 4*h = 2, -5*v + 14 = -v + 3*h. Suppose v*j - 8 = -2. Suppose j*p = p + 16. Is p a multiple of 4?
True
Suppose 5*n + 12 + 33 = 0. Is 35 a factor of (27 - n) + -1 + 0?
True
Suppose 0 = -3*l - 12 + 36. Suppose 4*x - l = 200. Does 24 divide x?
False
Let a be (-1)/(3/5)*-3. Suppose 2*y - a*b - 162 = 0, -162 = -2*y - 2*b - 0*b. Suppose 0 = 2*d - y + 17. Is d a multiple of 12?
False
Let f be ((-26)/(-3))/((-4)/24). Let n = -17 - f. Is n a multiple of 7?
True
Is 21 a factor of (-1 - 8/(-2)) + 102?
True
Let i = 161 - -177. Does 34 divide i?
False
Suppose 125 = 5*m + 3*v, 4*v + 13 + 11 = 2*m. Is 11 a factor of m?
True
Suppose -f = 2*j - 26, 4*f + 2*j = 16 + 94. Does 7 divide f?
True
Let y = -67 - -127. Is 11 a factor of y?
False
Let h(n) = -n**2 + n + 2. Let x be h(0). Suppose 7*l - x*l - 55 = 0. Let c = l + 9. Is 9 a factor of c?
False
Suppose 2 - 6 = -5*z + 3*n, 4 = 3*z - n. Suppose -z*j = 2*d - 90, 5*j - 216 = d + 33. Is 22 a factor of j?
False
Suppose 0 = 2*q + 17 + 7. Let l be (q/8)/((-1)/18). Suppose 3*o - l - 33 = 0. Is o a multiple of 20?
True
Let u(f) = f**2 + 11*f + 20. Is u(-2) even?
True
Let b(i) = 57*i + 43. Is b(7) a multiple of 13?
True
Let x = -14 + 72. Suppose -4*b = -5*t - 287 + x, -b - 3*t = -70. Is b a multiple of 17?
False
Let s = -9 - -30. Is 7 a factor of s?
True
Let p(l) = -l**2 + 11*l + 11. Is p(11) even?
False
Let g be (-6)/(-1 - (-10)/4). Is ((-26)/g)/(8/16) a multiple of 3?
False
Let k be 5 - (-9)/(-2 + -1). Suppose -a = k*q - 23, q - 2*a - 21 = -2. Is q a multiple of 7?
False
Suppose -9 = k - 4*k. Is 16 - 2/k*-3 a multiple of 9?
True
Suppose -2*v + 131 = -5*a, 5*v - 291 = 3*a + 46. Let t = 100 - v. Is 11 a factor of t?
False
Let a(i) be the second derivative of i**3 + i**2/2 - 2*i. Is a(1) a multiple of 7?
True
Suppose -2*k + 180 = -0*k. Does 30 divide k?
True
Suppose 2*l = -4*w + 12, -3*l = -5*l + w + 2. Let v be (-2 + l)*2/(-4). Is 29 - ((2 - v) + -1) a multiple of 19?
False
Suppose -4*m + 5*m = 16. Is m a multiple of 8?
True
Suppose -3*t = -4*t + 2. Let j(b) = -b**3 - 7*b**2 - 6*b + 4. Let p be j(-6). Is (-2)/p + 35/t a multiple of 17?
True
Let t(f) = -f**2 - 7 + 2 - 7*f + 2. Is 4 a factor of t(-5)?
False
Let x(g) = 2*g - 7. Let b be x(5). Let j(f) = 2 + 4 + 5*f**b - 4*f**3 + f**2 + 1. Is 4 a factor of j(0)?
False
Let t(m) = 2*m**3 + 3*m**2 + 5*m. Let p(f) = -3*f**3 - 3*f**2 - 5*f + 1. Let w(k) = -3*p(k) - 4*t(k). Is w(5) a multiple of 20?
False
Suppose -5*n - 210 = -5*y, 75 = -8*y + 10*y - 5*n. Is 5 a factor of y?
True
Let w be 4*(-2)/(32/(-68)). Let q = w + 23. Does 12 divide q?
False
Let t(h) = h**3 - 5*h**2 - 5*h - 7. Let o be t(6). Let g be 25 + (o - -3)*-1. Sup