-24 = -3*x + 3*r. Is x a multiple of 5?
True
Let t(p) = 17*p - 7 + 8 + 6*p. Is t(1) a multiple of 9?
False
Let u = -4 - -5. Suppose 4*z = -5*t + 10, -z + 3*z + 3*t - 6 = 0. Does 22 divide -2 + u + 43 + z?
False
Let q(i) = 3*i**3 - i**2 + i + 1. Let m be q(2). Let b = -4 + m. Is b a multiple of 13?
False
Let l(d) = -23*d - 2. Let w(g) = g**2 - 8*g + 5. Let f be (6/(-3))/(6/(-21)). Let m be w(f). Is l(m) a multiple of 22?
True
Let k(t) = t + 3. Let p be k(-3). Suppose -3*j + 0*j + 6 = p. Suppose -a + 16 = -2*m, j*a + 3 - 25 = 2*m. Is 6 a factor of a?
True
Let j = 354 + -246. Does 36 divide j?
True
Suppose 0*p = 4*p - 480. Let t be ((-4)/2)/(1*-1). Suppose h - p = -t*h. Is h a multiple of 15?
False
Let y(j) = j**2 - 10*j - 5. Let v be y(7). Let k = v + 39. Does 10 divide k?
False
Let z be (-3)/(1 + 1 + -3). Suppose 4*c - 66 = 2*k + z*k, -c = -2*k - 15. Is 10 a factor of c?
False
Let p = -14 - -13. Let k(o) be the first derivative of -5*o**2 + 1. Is 5 a factor of k(p)?
True
Is 16 + (-1 - 2) + (-2 - -3) a multiple of 4?
False
Let m(c) = -11*c**3 - 2*c - 1. Let a(g) = 10*g**3 + g + 1. Let f(o) = -o + 1. Let y be f(-3). Let w(q) = y*a(q) + 3*m(q). Is w(1) even?
True
Let c(n) = -n**2 - 6*n - 3. Let k be c(-4). Suppose 0 = 4*v - 2*u - 22, -2*u = -k*v - 4*u + 14. Does 3 divide v?
False
Suppose 1 = -3*p - 14. Let x = 27 + p. Is 22 a factor of x?
True
Let z = -12 + 4. Let c = -6 - z. Is c*((-2)/(-4) + 2) a multiple of 2?
False
Let l be -4 + 2 + -2 - -2. Let c be (4*7)/l - 0. Let u = -4 - c. Is u a multiple of 4?
False
Let y = 3 - 3. Let p = 2 - y. Suppose -p*z + 4 - 14 = -2*v, -3*z + 49 = 5*v. Is 4 a factor of v?
True
Suppose -3*o + 152 - 44 = 0. Is 30 a factor of o/84 - (-417)/7?
True
Suppose 2*p - o - 176 + 47 = 0, 0 = -2*p - 2*o + 120. Is 9 a factor of p?
True
Suppose 801 = 3*z + 5*w, -w + 190 = -2*z + 737. Is z a multiple of 17?
True
Let c(j) = -j**2 + j + 1. Let n be c(1). Let g be 5 - 7 - 21*n. Let q = g + 41. Is 9 a factor of q?
True
Suppose -6*g = -g. Suppose -r + g = -5. Suppose -2*i - 5*k = -r*i + 60, 0 = -2*k + 6. Does 10 divide i?
False
Suppose -5*d + 90 = -50. Suppose -5*q = -2*f - 0*f - d, 5*f = 3*q - 13. Does 3 divide q?
True
Suppose 2*a + 5*l - 43 = -0*a, -5*l = 3*a - 52. Is a a multiple of 9?
True
Suppose 3*a + 16 = -5*q, 3*a + q + 0*q + 8 = 0. Is 3 a factor of 3 + (0 - (1 + a))?
False
Let m be 3/1 + 0 + 3. Is 582/8 - m/8 a multiple of 24?
True
Let m(w) = 4*w - 2*w - w + 6. Let f be m(-5). Suppose -5 = j + 5*b, -j + 0 = 3*b - f. Is 5 a factor of j?
True
Let g = 16 - 27. Let j = 30 + -8. Let m = g + j. Does 11 divide m?
True
Suppose 4*k = -k - 35. Let y = -11 - k. Let w(o) = -o**3 - 3*o**2 + 2*o - 3. Does 3 divide w(y)?
False
Is (16/12)/(((-15)/9)/(-5)) even?
True
Let l(o) = -4*o + 1. Let f be l(1). Is 9 a factor of (160/12)/(f/(-9))?
False
Let b be 0/(-3 + 2/1). Suppose 7*d = 4*a + 5*d - 92, 2*a - 4*d - 46 = b. Let m = 43 - a. Is m a multiple of 7?
False
Let x(a) = -a**2 + a. Let g be x(1). Suppose 0 = -g*l + 3*l. Suppose l = -3*f + 15, f + 59 - 204 = -5*y. Is 14 a factor of y?
True
Let u = -25 + 7. Suppose -r + 4*x = 16, -7 = -0*r - 3*r + x. Is 11 a factor of (-418)/u - r/18?
False
Let o = 7 + -2. Let h(k) = -2 + 6*k - 5 - k**3 + 5*k**2 + 2. Is 13 a factor of h(o)?
False
Let o = 74 + -7. Is o a multiple of 18?
False
Is (-140)/(-1)*(-5)/40*-4 a multiple of 8?
False
Let u(r) = -r**3 + 2*r**2 + 3*r. Let h be u(3). Let c = h - -76. Is 26 a factor of c?
False
Let j(c) = 3*c**2 - 5. Is j(-7) a multiple of 9?
False
Suppose -1 = q, 5*q - 323 = -3*j + j. Is 41 a factor of j?
True
Suppose 0*n - 15 = -m + 4*n, -2*n = 2*m. Suppose -57 = -m*j - 0*j. Is j a multiple of 19?
True
Let r(i) = -i**2 + i + 1. Let d be r(-1). Let p be d + (3 + -4)*1. Does 3 divide 3/(p - -5) + 3?
False
Let l = -78 + 51. Let w = -9 - l. Is 7 a factor of w?
False
Suppose 101 = -2*c + 43. Let j(t) = t**2 - 6*t + 4. Let d be j(3). Let g = d - c. Does 18 divide g?
False
Let i = -75 - -126. Is 17 a factor of i?
True
Let v(h) = -23*h**3 - 3*h**2 - h + 2. Let o be v(-2). Let d = o + -110. Is d a multiple of 33?
True
Let t(b) = 3 + b**2 - b - 4 + b - 3*b. Let f be t(4). Suppose -f*r + 112 = r. Is r a multiple of 14?
True
Let t(a) = a**3 - 2*a**2 + 2*a - 1. Let k be t(1). Suppose -2*b = -8 - k. Suppose 3*d - 2*m - 6 = m, 3*m + 11 = b*d. Is d a multiple of 2?
False
Let u = 2 + -2. Let t = u - 2. Let v(n) = n**3 + 4*n**2 + 2*n - 2. Is 2 a factor of v(t)?
True
Let g = -3 - -58. Suppose g = -4*s + 191. Is s a multiple of 16?
False
Suppose -2*z - 395 = -3*r, 0 = 5*r + z - 183 - 458. Does 35 divide r?
False
Let b be 204/(-8)*(-4)/(-6). Let s = 33 + b. Is s a multiple of 5?
False
Suppose -5*y + 12*y - 602 = 0. Does 9 divide y?
False
Let b = -895 + 1259. Is 52 a factor of b?
True
Suppose 0 = -5*o + 68 + 47. Is o a multiple of 7?
False
Let b(r) = -1 + 4 - 2 - 68*r. Does 23 divide b(-1)?
True
Suppose 0 = 4*t - 2*j - 354, 5*t = 5*j + 501 - 66. Is 14 a factor of t?
False
Suppose -5*i - i + 342 = 0. Is 4 a factor of i?
False
Let w = -36 + 98. Is 31 a factor of w?
True
Suppose -22 = -5*s + 3. Let y = 7 - s. Suppose 2*p - 4*x - 32 = 0, -71 - 9 = -5*p + y*x. Is p a multiple of 8?
True
Let c(j) = j**3 - 4*j**2 + 6*j - 7. Is 16 a factor of c(5)?
True
Let q = 5 - 3. Suppose 0 = r + 2*t - 10, q*r = 3*r - 4*t - 28. Is 15 a factor of (-1 + r)*(1 - 0)?
True
Let n = 10 - 6. Suppose n*b + 11 = 51. Is 5 a factor of b?
True
Suppose -z + 9 = -2*y, -7 + 19 = -4*z - 4*y. Suppose 5*k + z = -34. Let q(m) = m**3 + 6*m**2 - 8*m + 5. Does 6 divide q(k)?
True
Let v be -14*1*(-1 + 0). Let k = v + -10. Suppose -k*t = 5*p - 5 - 61, -5*p - t = -54. Is p a multiple of 4?
False
Let o(w) be the third derivative of w**5/30 + w**4/4 + 5*w**3/6 - w**2. Suppose -33*c = -34*c - 4. Does 6 divide o(c)?
False
Suppose 0 = -0*q + 3*q - 177. Does 20 divide q?
False
Let b be (0 + (-1)/(-2))*30. Suppose -3*s = -2*s - b. Does 7 divide s?
False
Suppose 3*b = -3*i + i + 58, -b + 10 = -4*i. Is 6 a factor of b?
True
Does 9 divide 24*(-2)/(-8)*4?
False
Let i = -5 - -7. Suppose 2*j = h + 67, i*j - 3*h = -6*h + 63. Is 9 a factor of j?
False
Let n = -240 - -471. Is 7 a factor of n?
True
Suppose -3*k - 4*z = -271, -5*k = -7*k + 2*z + 190. Is k a multiple of 20?
False
Let a = 225 - 135. Is a a multiple of 6?
True
Let k = 55 - -11. Is 18 a factor of k?
False
Let l(y) = y**2 - 13*y + 17. Is l(14) a multiple of 18?
False
Suppose 2*z + 5*n - 3 + 74 = 0, 0 = -4*z - 4*n - 160. Let o = z + 68. Is o a multiple of 11?
False
Let u(m) = 4*m + 2. Let y be u(-2). Let z = 24 + y. Is z a multiple of 8?
False
Let v(g) = -18*g + 8. Does 20 divide v(-4)?
True
Suppose -p = w, 5*p - 2*p = 5*w + 16. Is p*(-2 - 43/(-2)) a multiple of 13?
True
Let b(q) = -27*q - 2. Does 20 divide b(-6)?
True
Let f be ((-10)/1)/(8/(-12)). Suppose 3*d + 2*d - f = 0. Is d a multiple of 3?
True
Suppose 10 = -7*y + 276. Is y a multiple of 19?
True
Suppose 3*q + 8 = 7*q. Let d(m) be the third derivative of m**5/20 - m**3/6 - m**2. Is 4 a factor of d(q)?
False
Let r(g) = -g**3 + 2*g**2 + g - 1. Let h be r(2). Let m be (0/(-2))/(-2 + h). Suppose 2*j = m, -5*j - 7 + 0 = -u. Does 7 divide u?
True
Let o = 22 + -2. Suppose 5*c - 4*a - o - 14 = 0, 3*a = c - 9. Does 2 divide c?
True
Let g(s) = s**3 - 15*s**2 + 18*s + 4. Is g(14) a multiple of 15?
True
Suppose 0*q + 2*d = -5*q + 113, 0 = 4*q - 5*d - 64. Let v be (-2 + 1)*(1 + -4). Suppose 0 = -v*a + q + 15. Is 4 a factor of a?
True
Let c(y) = 4 - 1 + 16*y + 14*y - 2. Does 7 divide c(1)?
False
Let s = -69 - -97. Suppose -q + s = q. Is q a multiple of 7?
True
Let h(g) = -7*g + 3. Suppose -4*n - 2*c = 14, -2*n + 2*c + 3*c - 1 = 0. Does 9 divide h(n)?
False
Suppose 2*c = -4*c + 162. Let t = c + 36. Is 13 a factor of t?
False
Suppose 3*k + 5*o = -3, 2*o = -0*o + 6. Let x = -2 - k. Suppose -r - 5*y - 38 = -x*r, 0 = -4*y - 16. Does 6 divide r?
True
Let u(n) = n**2 + 3*n - 4*n**3 - 5*n**3 - 2*n - 1 + 32*n**3. Does 12 divide u(1)?
True
Suppose 3*i - 5*i + 6 = 0. Suppose -253 = -5*m + 4*v, 4*m = -0*m + i*v + 202. Suppose -a = -3*l - 15, -4*l + 9*l + m = 3*a. Is 9 a factor of a?
True
Suppose 6*h = 326 + 1474. Is h a multiple of 30?
True
Let l be (-1 - (-10)/6)*-3. Let u(o) be the second derivative of o**4/2 + o**3/3 - o**2/2 + 5*o. Does 9 divide u(l)?
False
Su