 -4*r + l - 266 = -972. Suppose 5*b + 11 = r. Is b a multiple of 11?
True
Is 12 a factor of -3 + (-2)/2 - -32?
False
Let d(z) = 2*z**2 + z. Let s be (2 - (-10)/(-6))*-33. Let w = s - -15. Does 10 divide d(w)?
False
Suppose 4*g - 4*z + 12 = 0, -7*z + 2*z = -3*g - 19. Suppose g*m - 4 = m. Is 1/(((-4)/(-25))/m) a multiple of 15?
False
Does 14 divide 12/42 + 1340/14?
False
Let v = -5 + 10. Let x be 128/v + 2/5. Suppose -8 = 2*f - x. Does 4 divide f?
False
Let t be (7 - 4)*2/(-3). Let v(s) = s**2 + s + 2. Is v(t) a multiple of 2?
True
Suppose -19 - 5 = -2*f. Does 12 divide f?
True
Let t(u) = -u**2 + 7*u - 6. Let g be t(5). Suppose -4*v = -g*z + 76, 2*v + v = 0. Is z a multiple of 15?
False
Suppose -4*p - 56 = -5*q - 8*p, -2*p = -8. Suppose 4*c - q = 0, 0 = s - c + 5*c - 38. Suppose -2*h = 6 - s. Is 6 a factor of h?
True
Does 5 divide (1*-6)/(3/(-9))?
False
Let o(u) = 10*u + 14. Does 23 divide o(7)?
False
Suppose -h + 120 = 2*h. Is h a multiple of 20?
True
Let g = 14 - -2. Does 4 divide g?
True
Let i(p) = 8*p. Let y be i(1). Let a = y - 2. Let o = a - 1. Does 3 divide o?
False
Let x(o) be the first derivative of o**4/4 - 2*o**3/3 - o**2/2 - 2*o + 3. Let d be x(3). Suppose -6*y + 11*y = d*b + 132, y - b - 27 = 0. Is y a multiple of 18?
False
Let z(c) be the second derivative of 5*c**3/3 - 3*c**2 - 7*c. Does 10 divide z(3)?
False
Let l(p) = 22*p - 50. Is l(7) a multiple of 4?
True
Suppose 4*q + 2*p = -2*p + 24, 2*p = 0. Let h(c) = -c**3 + 8*c**2 - 6*c - 8. Is 7 a factor of h(q)?
True
Suppose -2*w + 352 = -48. Is 42 a factor of w?
False
Let t(c) be the third derivative of 19*c**5/120 - c**4/12 + c**3/3 + c**2. Let m(r) be the first derivative of t(r). Is 18 a factor of m(2)?
True
Let k = 3 - 3. Suppose -3*o + 4*r - r + 30 = 0, k = 3*r - 3. Is o a multiple of 11?
True
Let p = -40 - -61. Let j = 188 + -95. Let i = j - p. Is 19 a factor of i?
False
Let b(r) be the first derivative of -1/4*r**4 - 7/2*r**2 - 5*r - 2*r**3 + 3. Is b(-5) a multiple of 3?
False
Suppose -2 - 1 = -w. Suppose -30 = -2*l + 5*q, -w*l + 3*q + 35 = -2*q. Is 4 a factor of l?
False
Is 20 a factor of (-4)/((-2)/20*1)?
True
Suppose -s - 5*z = 10, -3*s + 2*z - 5*z = -6. Suppose -u - 29 = -n, s*u + 63 = 2*n + 4*u. Does 10 divide n?
False
Suppose 2*c = -0*c + 10. Let s(g) = g**3 - 3*g**2 - 6*g - 7. Is s(c) a multiple of 13?
True
Let n be (0/(-3))/(-2) - 0. Let i(x) = -x**3 + x**2 + x + 8. Is 4 a factor of i(n)?
True
Let z(f) = 3*f**2 - 6*f - 5. Let r(d) = -4*d**2 + 6*d + 5. Let a(w) = 4*r(w) + 5*z(w). Let j(k) = k + 10. Let t be j(-14). Is a(t) even?
False
Let x(y) = -100*y - 2. Is 33 a factor of x(-2)?
True
Let h = 20 - 10. Does 4 divide h?
False
Let l(v) = -5 + 9*v - 2 - 7*v. Is 5 a factor of l(6)?
True
Let x = -8 + 10. Suppose -3*i - 2*f = -x, -3*f + 0 + 2 = 4*i. Suppose 41 = q + z, 5*q - z = -i*z + 201. Is 20 a factor of q?
True
Suppose -3*t - 3*z + 15 = 0, 0 = -t + 3*t - 3*z - 5. Suppose 0*p - 8 = -t*p. Suppose -p*a + 67 = -a. Does 23 divide a?
False
Suppose 2*j - 28 = -2*q + 4*j, 2*q - 32 = -2*j. Suppose -q = -2*u - u. Does 4 divide u/((-25)/2)*-20?
True
Suppose 3*a - 4*a + 44 = 0. Is 9 a factor of a?
False
Let n(z) = 2*z**2 - 2. Suppose -u - 10 = -6*u. Is n(u) a multiple of 2?
True
Suppose -i + 166 = i. Is i a multiple of 12?
False
Suppose -4 = -2*p - 2*f, 0 = 7*f - 2*f + 10. Suppose c - 4*a = 5*c - 4, -c + 1 = p*a. Does 3 divide ((-15)/(-10))/(c/2)?
True
Suppose -4*s - 5*g + 1 = 0, -3*g - 1 = -4*g. Is 17 a factor of s*3*(-204)/36?
True
Let z(m) = -m**2 - 8*m - 3. Does 4 divide z(-7)?
True
Let g(y) = y**3 - 14*y**2 + 4. Let h be g(14). Is (h/12)/(3/243) a multiple of 9?
True
Let p = 29 + -179. Is (2/4)/((-1)/p) a multiple of 15?
True
Suppose -2*f - z = -3*z, -2*z + 12 = 2*f. Suppose -f*b + 28 = -41. Is 22 a factor of b?
False
Let t(q) = -4*q + 1. Let i be t(-7). Let y be (1 + i)/(3/4). Let u = y - -7. Is 17 a factor of u?
False
Suppose 3*w = -0 + 33. Let m(f) = -f**3 + 11*f**2 + f - 2. Is 3 a factor of m(w)?
True
Let g be (-54)/(-2)*(0 + 1). Suppose -g = -4*x - 3*k + 38, -3*k = -x + 5. Suppose 4 = -y + x. Is y a multiple of 5?
True
Suppose p - 10 = 4*a, 3*a - 8 = -2*p - a. Let d(s) = s**3 - 4*s**2 - 9*s + 8. Is 13 a factor of d(p)?
True
Suppose 280 = 3*m + 85. Does 13 divide m?
True
Suppose 0 = 2*k - 0*r + 3*r - 112, k - 3*r - 38 = 0. Is 13 a factor of k?
False
Let z(m) = m**2 - 5*m + 10. Let y be (21/(-3))/(-1) + 1. Is z(y) a multiple of 17?
True
Let l(o) = -o**3 + o + 35. Let p be l(0). Let x be (-12)/(-5) - 14/p. Suppose 0 = 2*g + x*g + j - 24, 2*j = -g - 1. Is 3 a factor of g?
False
Let m(t) = 24*t + 46. Is 13 a factor of m(11)?
False
Let l = 9 - 4. Suppose y = -l*v + 24, -y = -5*y + 16. Is v a multiple of 4?
True
Is 15 a factor of (3 + (-14)/6)*27?
False
Let q be 348/22 + (-4)/(-22). Suppose 0 = 4*b + q, 5*n - 60 = n + 5*b. Is 9 a factor of n/(((-4)/(-2))/2)?
False
Let j be (-3)/(-6) + (-82)/(-4). Suppose 0 = -3*s - 7*o + 4*o + j, s - 2*o = -8. Suppose s*p - b = 3*b + 52, 4*b - 116 = -5*p. Is 8 a factor of p?
True
Suppose 0 = 5*v - 5, -c + 2*v = -73 + 21. Does 9 divide c?
True
Let x be 1/4 + (-1)/4. Let p(o) = -o**3 + o**2 - o + 2. Let w be p(x). Suppose -4*j + w*i - i + 66 = 0, j - 26 = 5*i. Does 16 divide j?
True
Suppose 9 = -3*u, -3*j + 339 = -2*u + 9. Does 6 divide j?
True
Is 76/12 - (-2)/(-6) a multiple of 6?
True
Suppose 0 = 3*a - 4*a. Let v = -1 + a. Is 7 a factor of (v + 4/3)*39?
False
Let a(v) = v**2 + 4*v + 1. Let d be a(-4). Let g(r) = -4 - r**2 + 8*r - d + 2*r. Does 11 divide g(7)?
False
Let w(b) = 3*b + 4. Is 5 a factor of w(7)?
True
Let a = 18 + 20. Let i = 92 - a. Is 16 a factor of i?
False
Let d(x) = 2*x**2 - 6*x - 2. Let g(p) = p - 1. Let k be g(9). Let h be 2/(-4)*(-18 + k). Is 9 a factor of d(h)?
True
Let c = 48 + 6. Is 18 a factor of c?
True
Let u = -5 - -6. Let n = u + 28. Is 19 a factor of n?
False
Suppose 4*h + 2*l - 160 - 46 = 0, 0 = -h - 3*l + 64. Does 9 divide h?
False
Let h(c) = -2*c + 4. Let f = -8 + 2. Let k be h(f). Let r = -3 + k. Does 13 divide r?
True
Is (22/4)/(1*(-3)/(-72)) a multiple of 22?
True
Suppose 2 = -j + 26. Suppose 4*u = -5*w + 226, 5*w - 5*u - 202 = -3*u. Let y = w - j. Is y a multiple of 18?
True
Suppose 3*o - 8*o = 15. Let y = 3 + o. Suppose -m - 2*m + 159 = y. Is 23 a factor of m?
False
Let x(a) = a**3 - 6*a**2 + 5*a + 4. Let t be x(5). Suppose -i - 22 + 80 = t*q, 0 = -i + 2*q + 46. Is 20 a factor of i?
False
Let g(a) = a**3 - 2*a**2 + 3*a + 3. Is 12 a factor of g(4)?
False
Let c(d) be the third derivative of d**5/30 + d**4/24 + d**3/6 - 23*d**2. Suppose -2 = 2*s + 4. Is 16 a factor of c(s)?
True
Suppose -9*z = -99 - 225. Does 10 divide z?
False
Let g = 123 - 66. Let x = g - 22. Is x a multiple of 15?
False
Let c(z) = -27*z - 1. Let i be c(-3). Let h = i + -46. Let b = -24 + h. Does 5 divide b?
True
Let g(p) be the third derivative of p**6/10 - p**3/6 + 2*p**2. Does 5 divide g(1)?
False
Let a(g) = -g**3 - 9*g**2 + 10*g - 4. Let w be a(-10). Let c be (-15)/20 + (-59)/w. Suppose -6*t + 4*t = -c. Is t a multiple of 4?
False
Let t(n) = 3*n + 5*n + 3 + 7*n. Is t(3) a multiple of 18?
False
Let a be (1/(-3))/(2/(-366)). Suppose -v + h = -a, -4*h + 122 = 2*v - h. Does 18 divide v?
False
Let n = -45 + 95. Let o = -10 + n. Is o a multiple of 10?
True
Let q(y) = y**3 + 6*y**2 + y. Let r be q(-4). Let c be 2/(-7) - (-9)/7. Is -2 - (0 - c)*r a multiple of 13?
True
Suppose -s + 1 = -20. Is s a multiple of 5?
False
Suppose -2*a - a + 117 = 0. Is a a multiple of 6?
False
Let u(p) = 2*p + 90. Does 10 divide u(0)?
True
Let f = 170 - 67. Suppose 5*c = 2*p + 128, 2*c - f = -2*c + p. Does 13 divide c?
True
Let l = 50 - 72. Let p = l + 38. Does 4 divide p?
True
Let d(g) = -2*g - 7. Let q be d(-5). Suppose -w = -q*w + 20. Is 10 a factor of w?
True
Let s = -28 + 114. Is 12 a factor of s?
False
Let d be (-14)/((-3)/9*-3). Let o = d - -22. Does 8 divide o?
True
Suppose -4 = -4*n + 2*k, 3*n + 4*k + 12 - 37 = 0. Suppose n*y + y - 128 = 0. Does 9 divide y?
False
Let s(x) be the third derivative of x**4/24 + x**3/3 - 5*x**2. Does 5 divide s(12)?
False
Suppose -d - d - 10 = 0. Is 4 a factor of d - -12 - (1 + 2)?
True
Let i(n) = n + 1. Let d be i(-5). Let m be d/16 - 23/4. Does 20 divide 20/m*(-156)/10?
False
Let m = 35 + -25. Is 3 a factor of m?
False
Is (-