5*p + 7. Let b = -1 - -10. Does 15 divide o(b)?
False
Let r(t) = t**3 - 10*t**2 + 11*t - 13. Let k be r(9). Let g be (0 - 1) + 0/k. Let p(z) = 13*z**2 + z. Does 12 divide p(g)?
True
Suppose 134 = 7*i - 6*i. Is 35 a factor of i?
False
Let m = 1 + 2. Suppose 0 = -m*u + 4 + 11. Does 9 divide (-3 - -2 - u)*-3?
True
Let d = 41 + -29. Does 6 divide d?
True
Is 18 a factor of (52/12)/((-2)/(-18))?
False
Is 7 a factor of 3/(-1) + (-186)/(-6)?
True
Let u = -86 - 25. Let i be (u + (-1 - 1))/(-1). Suppose 2*q + 3*y - i = -0*y, 5*q - 272 = 3*y. Is 20 a factor of q?
False
Suppose -2*c = -c - 78. Does 39 divide c?
True
Let z(y) be the second derivative of -y**5/20 - y**4/4 + 7*y**3/6 + 2*y. Suppose 4*q - 5 + 25 = 0. Is 15 a factor of z(q)?
True
Let x = 3 + -3. Is 3 a factor of (x + 2)*(-5)/(-2)?
False
Let h be (1 - -3) + (-1 - -1). Suppose -7*a - 2*i = -3*a - 46, 16 = a - h*i. Is 6 a factor of a?
True
Suppose 0 = 2*w + 2*w. Suppose 0 = 3*v - 3*d - 114, w = 2*v - 3*v - 5*d + 26. Does 16 divide v?
False
Let p(y) = 2*y**2 - y - 3. Suppose 4*d = -3*t + 18, 2*t + 2*d - 23 = 3*d. Let q = t - 7. Is p(q) a multiple of 6?
True
Suppose 5*b = b - 5*p - 23, -5*b + 4*p = -2. Let d(w) = -5*w - 2. Is 8 a factor of d(b)?
True
Let a(v) = 10*v - 4. Let y be a(-10). Let k = -68 - y. Does 9 divide k?
True
Let p(b) = -5*b. Let k be p(-1). Let i(q) = q + 1. Is i(k) a multiple of 3?
True
Let n(l) = l**3 + 16*l**2 - l. Does 3 divide n(-16)?
False
Let o(r) = -r + 5. Let j be o(7). Let p be ((-77)/2)/(j/4). Suppose -4*b + p = 9. Is b a multiple of 13?
False
Suppose -10 = -2*r, 2*m + 2 = 3*r + 9. Let l = m - 7. Suppose -l*t + 220 = t. Does 22 divide t?
True
Suppose -55 = -x - 5. Suppose -z + 6*z - x = 0. Does 10 divide z?
True
Let k be -1*((0 - -1) + -44). Let g = k - 3. Suppose 0*f - g = -2*f. Is 11 a factor of f?
False
Suppose -l = -0*l + 2*m - 4, -m = 3*l - 37. Does 7 divide l?
True
Suppose 0*c + 12 = c + 4*w, 0 = -3*c - 2*w + 6. Let p be -2 + 4 + 2/(-1). Is 22 + (p - (2 + c)) a multiple of 10?
True
Let z be 6/8 + (-334)/8. Let p = -11 - z. Is p a multiple of 15?
True
Let g = -242 + 372. Suppose 0*x + g = 5*x. Let h = x + -14. Is h a multiple of 12?
True
Let k = -189 - -329. Suppose 0 = -0*m + 5*m - k. Suppose -24 = -4*l + m. Is l a multiple of 5?
False
Let z(i) = i**3 - 5*i**2. Let p be z(5). Suppose -5*n + y + 139 = p, 2*n - 6*n + 109 = -3*y. Is n a multiple of 6?
False
Let h(u) = -3*u + 10. Is 10 a factor of h(-10)?
True
Suppose -2*b - b = -5*m + 133, 3*m - 159 = 4*b. Let f = 52 + b. Suppose f = -0*c + 2*c. Is 8 a factor of c?
True
Suppose -6*z + z - 8 = -a, 2*z = 2*a - 8. Suppose l + 17 = 2*l - u, -4*u = a*l - 16. Is 2/4 + l/8 a multiple of 2?
True
Suppose -5*r - 13 - 2 = 0. Let s = r + 1. Is 3 a factor of s/12 + (-49)/(-6)?
False
Let p be (25/(-3))/(3/(-9)). Suppose 10 = 3*w + 2*v, -4*w + v - 8 = -p. Suppose -4*b = -2*n - 90, w*b + 2*n = -0*b + 70. Is 20 a factor of b?
True
Suppose -6*g + 25 = -g. Suppose -4*p = g*z - 3*z - 34, 5*z = -p + 112. Is 5 a factor of 1/4 - z/(-4)?
False
Let r(v) = v**3 + 4*v**2 - 6*v. Let z be r(-5). Let u be ((-6)/z)/((-6)/(-20)). Does 7 divide (42/u)/((-6)/8)?
True
Suppose -5*o + 288 = -37. Is 13 a factor of o?
True
Let k(x) be the second derivative of 2*x**3/3 - x**2/2 - 3*x. Is k(7) a multiple of 9?
True
Let b be (-21)/(-9) - (-3)/(-9). Is 9/((b - -1) + -2) a multiple of 4?
False
Let y(v) = -5*v**2 + 4*v - 4. Let o be (-2 - (2 + -9)) + 1. Let j be y(o). Is 16 a factor of ((-6)/(-5))/((-6)/j)?
True
Let r be (-12)/(-24) - 10/(-4). Suppose -2*o - 2*t + 69 = t, t = r. Is 15 a factor of o?
True
Let h be 8/36 + 52/9. Let n be (h/15)/((-2)/10). Is 8 a factor of n/(-7) - (-183)/21?
False
Suppose 367 = 3*k + 16. Suppose 2*r + 60 = 2*h + 4*r, 5*r = -4*h + k. Is h a multiple of 13?
False
Let m(i) = 6*i**2 + 3*i - 1. Let v(k) = -12*k**2 - 6*k + 3. Let f(s) = 5*m(s) + 2*v(s). Let l(b) be the first derivative of f(b). Is 22 a factor of l(3)?
False
Suppose u + 9 = 5*q, 2*q + 3*q = 2*u + 8. Let d(f) = f**3 + f**2 + 2*f + 1. Is 17 a factor of d(q)?
True
Let u(z) = z - 1. Let y(i) = i**3 + 8*i**2 + 7. Let m(o) = 6*u(o) + y(o). Is 6 a factor of m(-7)?
False
Suppose 2*g - 4*u - 15 = g, 2*g - 3*u = 15. Suppose g*d + d + 248 = 4*x, 2 = -d. Is 15 a factor of x?
True
Suppose -5*h - m - m + 100 = 0, 3*h + 4*m = 74. Suppose 4*w - 5*x - 60 = 0, 2*w - 3*x - 14 = h. Does 5 divide w?
True
Let l(r) = 4*r**2 - 6*r + 7. Does 25 divide l(3)?
True
Let i(u) = u**2 - u - 3. Suppose -3*h + 34 = -5*x, x + 3*x + 5 = -5*h. Let w be i(h). Suppose -w*a + 6 = -24. Is a a multiple of 10?
True
Let o(s) = s**3 + 12*s**2 - s - 7. Let m be o(-12). Is (-3)/(0 - 3/m) a multiple of 5?
True
Let c(q) = 87*q**2 - 2*q + 1. Suppose 0 = 3*d + j + 2, 0 = -7*d + 4*d - 3*j - 12. Is 22 a factor of c(d)?
False
Let t be 4/3 - (-6)/9. Suppose 0 = x - t*x + 3. Suppose -2*n + 6 = 2*d, 0*n - x*d - 15 = -5*n. Does 3 divide n?
True
Is ((-48)/14)/((-3)/42) a multiple of 8?
True
Suppose 3*s - 15 = 0, 4*r + s - 161 = 2*r. Let p = r + -33. Suppose 4*g - 35 - p = 0. Is g a multiple of 10?
True
Let q(b) = 5*b**2 - 7*b + 9. Let x = 12 - 8. Does 13 divide q(x)?
False
Is 49*2 - (1 - -2) a multiple of 36?
False
Suppose -3*u - 2 = -14. Suppose -2*t + u*t = 0. Suppose 4*v = -t*v + 100. Is 11 a factor of v?
False
Suppose -4*z - 6 = 2. Suppose -j - 2*j - 6 = 0. Does 5 divide (j/6)/(z/42)?
False
Let a = -170 + 290. Does 20 divide a?
True
Suppose 0 = -0*r - 5*r - 2*w + 80, -4*r + 5*w = -97. Is 9 a factor of r?
True
Suppose 0 = -3*z + 15, -2*g - 3*z - 1 = -6*g. Is (-806)/(-39) + g/(-6) a multiple of 14?
False
Let d(x) = 1 + 4*x - 4 - 1. Suppose -i = -5*w + 43, 5*w + 12 = 3*i + 61. Is 16 a factor of d(w)?
False
Let l = 24 + -21. Suppose -5*z + 7 = -o, 3*o - l*z + 8*z - 19 = 0. Is o even?
False
Let r(d) = -d**3 + 6*d**2 - d + 8. Let m be r(7). Let n = 92 + m. Is 8 a factor of n?
False
Let w be (-3)/4 + (-830)/(-8). Let a = 183 - w. Suppose 2*d + g - 2*g - 62 = 0, a = 3*d + 5*g. Does 13 divide d?
False
Let r(m) = m - 5. Let q be r(6). Let d(k) = 23*k**2 + 1. Is d(q) a multiple of 7?
False
Let d be 0*(3/2)/(-3). Suppose f + 2 - 6 = d. Suppose 5*a - 2*u + f*u = 130, 0 = 2*a + 2*u - 52. Is 11 a factor of a?
False
Let b(o) = -o**3 - 4*o**2 + 7*o - 3. Is 15 a factor of b(-6)?
False
Suppose -k = -5*k + 204. Does 22 divide k?
False
Suppose k + 4*s = -s + 50, 0 = 5*k + 3*s - 140. Is 385/k - (-2)/(-5) a multiple of 15?
True
Let t(g) = g**2 - 8*g + 6. Let w be t(7). Let h be 0/(w/(1/1)). Suppose h = b - 4*b + 39. Is 5 a factor of b?
False
Suppose 0 = -z - 3*z + 12. Suppose i - 5 + z = 0. Is (i + 4/1)*1 a multiple of 3?
True
Let o = 164 - 104. Let u = o - 38. Is u a multiple of 11?
True
Is 90/(-4)*(-56)/10 a multiple of 31?
False
Suppose 6*g - 165 = 4*g + n, -2*g - 2*n = -174. Is g a multiple of 7?
True
Let q = 6 - 3. Let h be 27/q + -1 + 2. Suppose 142 = 4*f + h. Does 14 divide f?
False
Suppose -2*q - s = -3 - 3, -q = -5*s - 25. Suppose -q*y + 2*d + 88 + 145 = 0, 4*d + 241 = 5*y. Is y a multiple of 15?
True
Let l be 39/12 - (-1)/(-4). Suppose -53 = -l*q + 1. Is 9 a factor of (-3 + 2)/((-2)/q)?
True
Let l(q) = q**3 + q**2 + 24. Let h be l(0). Suppose -4*p + h = 5*a, 2*p + p = 3*a - 9. Is a a multiple of 4?
True
Let g(o) = -o**3 + 9*o**2 - 8*o + 2. Let c be g(8). Suppose n - 189 = -5*s, c*s - 6*n = -4*n + 78. Is 16 a factor of s?
False
Let a(o) = -2*o - 5. Let i be a(-4). Suppose -3 = -2*h + i. Suppose -3*l = -h*y + 2*l + 126, -185 = -4*y + l. Is y a multiple of 17?
False
Suppose 2*h + 7*i - 156 = 2*i, 2*h + 3*i = 152. Is h a multiple of 17?
False
Suppose -4*t = -4*m + 44, -2*t - m - 49 = 2*t. Is 90/t*20/(-3) a multiple of 10?
True
Suppose -25 - 5 = -3*i. Is i a multiple of 2?
True
Let z(y) = 8*y**3 - y**2 - y + 1. Let j be z(1). Suppose 3*a + 2 - 8 = 0. Does 11 divide (j + a)/((-3)/(-4))?
False
Let h be 3*((-2)/(-3) - 0). Let y = h + 0. Suppose y*w = 5*w - 72. Is w a multiple of 12?
True
Let q = 448 - 298. Does 30 divide q?
True
Let a = 314 - 204. Is 13 a factor of a?
False
Let b(o) be the second derivative of -5*o**3/3 + 3*o. Is 23 a factor of b(-3)?
False
Let a(b) = b + 4. Let o be a(0). Suppose o*t = 5*j + 22, 0 = 2*t - 0*t - j - 8. Is 16 - (t + 9/(-3)) a multiple of 16?
True
Let s = -5 + 8. Let r(t) = -2 - 4*t**2 + 3*t + 4 + t**3 + t**2