**3 + v**2. Does 12 divide n(o)?
False
Let y(t) = t**3 + 7*t**2 + 3*t - 2. Let k be y(-6). Let j = 0 + 3. Suppose 11 + k = j*p. Is 9 a factor of p?
True
Let n = -115 + 60. Suppose 5*r + 25 + 155 = 0. Let b = r - n. Is 13 a factor of b?
False
Let h be (-17)/(-3) - 4/6. Suppose h*n = -z + 79, 0 = -0*n + 2*n + 4*z - 46. Is n a multiple of 5?
True
Let y(u) be the second derivative of 21*u**5/20 - u**3/6 + u**2/2 - 4*u. Is 7 a factor of y(1)?
True
Suppose 5*t - 15 = -0*r - 5*r, -2*t = -4*r + 6. Suppose -7*f + i = -r*f - 18, 4*i = -12. Suppose -56 = -5*q - 4*s, f*s + 1 = 2*s. Does 7 divide q?
False
Let d(t) = 3*t**2 - 3*t - 9. Does 4 divide d(4)?
False
Let r = -37 - -61. Is r a multiple of 4?
True
Suppose n - 2*v = 122, -5*n + 4*v = -0*n - 586. Is 19 a factor of n?
True
Let m(o) = -o**3 + 12*o**2 - 9*o + 14. Is 16 a factor of m(11)?
False
Let f = -55 - -75. Is f a multiple of 4?
True
Let h = 2 - 3. Let a(l) = 11*l**2 + 1. Does 8 divide a(h)?
False
Let j(s) = s**2 + 5*s + 5. Let m be j(-5). Suppose m*r - 89 - 131 = 0. Does 22 divide r?
True
Let x = 329 - 230. Does 29 divide x?
False
Let s(i) = -i**2 + 8*i + 1. Let b(y) = y + 1. Let h(a) = 3*b(a) - s(a). Is h(6) a multiple of 5?
False
Let a = 55 + 23. Is a a multiple of 26?
True
Let b = 5 + -5. Suppose b = -v - v + 30. Is 8 a factor of v?
False
Suppose -p + 0*p - 9 = -2*t, 4*p = -t - 9. Suppose t*a - 5*h = 46, 3*a - 4*a - 5*h = 18. Is 2 a factor of a?
False
Is (336/49)/((-1)/(-28)*4) even?
True
Let g be -1*(1 - 7)/(-2). Let x be (-3)/(g/(4 - 1)). Suppose -130 = -x*s + 3*n - 8*n, -4*s - 4*n = -184. Is s a multiple of 18?
False
Suppose 0 = -5*d - 3*a + 1052, 2*d - 428 = a - 4*a. Is 9 a factor of d?
False
Let m be (-1)/(-1)*10/(-5). Is 18 a factor of ((-6)/m - 0)*12?
True
Let c be 1/((-70)/(-69) + -1). Suppose 156 = 5*x - c. Suppose 0 = 4*w + w - x. Is 9 a factor of w?
True
Suppose 174 = 5*h + 74. Suppose 0 = 4*j + h, -2*i - 220 = -7*i - 4*j. Does 16 divide i?
True
Suppose -6*n = -4*n - 140. Suppose l = -4*l + n. Let d = -6 + l. Does 3 divide d?
False
Let d(m) be the first derivative of 46*m**3/3 - m + 5. Is 15 a factor of d(1)?
True
Suppose 0 = 2*i + 1 + 27. Let g = i + 22. Is 6 a factor of g?
False
Let n = 474 + -204. Is 10 a factor of n?
True
Suppose -3*s - 197 = -956. Is s a multiple of 11?
True
Let m be (120/(-140))/(3/(-14)). Suppose m*q = -2*y + 144, 2*q = y + 41 + 31. Does 9 divide q?
True
Let s(p) = 9*p**2 + 3*p - 2. Is 34 a factor of s(2)?
False
Let x(s) = -s + 1. Let o be x(-4). Suppose z + 76 = o*z. Does 11 divide z?
False
Let u(x) = -5*x + 2. Is u(-1) a multiple of 6?
False
Suppose -4*c = 5*l - 37, -c - 2*c = 5*l - 34. Suppose 0 = v - c - 0. Suppose 0 = a - 3*a + v*u + 41, 2*a - 6 = -4*u. Does 13 divide a?
True
Suppose -2*s = 3*s. Suppose -12 = -3*h + u - 2*u, -3*h - 2*u + 12 = s. Suppose -6*m + h*m = -5*l - 121, -12 = 4*l. Is 22 a factor of m?
False
Suppose 2*d = 3*p - 101, -73 = -0*p - 3*p - 5*d. Let m be p/3 - (-1)/(-3). Suppose -2*j - 2*r = -6*j + 38, j = r + m. Is 4 a factor of j?
False
Let f(c) = c**3 + c**2 - c. Let b be f(0). Suppose -t + 5 - 1 = b. Let w(d) = 4*d. Is w(t) a multiple of 8?
True
Suppose 3*f - 6 - 81 = 0. Is f a multiple of 5?
False
Let y = -35 - -49. Does 6 divide y?
False
Suppose 0 = -4*f + 3*k, 4*f - 13 = -k + 3. Suppose o = f - 1. Suppose 0 = -5*b + o*b + 48. Is 16 a factor of b?
True
Suppose -210 - 182 = -7*f. Does 14 divide f?
True
Let h(p) = 9*p - 4. Let t be h(3). Suppose 0 = q - 4*d - 0*d - 5, -10 = -2*q + 4*d. Suppose 4*z - q*o - 77 = 0, 2*o + t = z - 3*o. Is 7 a factor of z?
False
Suppose -374 = -7*u + 4*u - 2*w, -2*u = 2*w - 246. Is 8 a factor of u?
True
Let b(j) = -14*j - 2. Is b(-7) a multiple of 48?
True
Suppose -5 = -3*w + 19. Is w a multiple of 4?
True
Let k = 15 + -3. Does 6 divide k?
True
Let h be 1/3 - (-2)/3. Suppose 12*d = 79 + 101. Is 10 a factor of d - 6 - (-2 + h)?
True
Is 5 a factor of (-2)/(-3)*(-21)/(-2)?
False
Suppose 0 = -7*a + 96 + 954. Is 25 a factor of a?
True
Let p(q) = q**2 - 5*q - 1. Let d be p(4). Let a = d - -44. Does 17 divide a?
False
Let p(v) = -v**3 + 9*v**2 - 3*v + 8. Let d be 4/(-10)*(-20)/1. Is 16 a factor of p(d)?
True
Let l = -7 + 16. Is 6 a factor of l?
False
Let y be -1*9*(-5)/(-15). Let r = 44 + y. Is 14 a factor of r?
False
Let r(v) = v**2 - v - 3. Let c be r(3). Suppose 0*l = c*l - 9. Does 8 divide (l/2)/((-6)/(-32))?
True
Suppose 0 = -4*u + 2*u + 12. Is u a multiple of 2?
True
Let q(t) = 2*t - t**3 - 13*t**2 + 5*t**2 + 7 - 9*t. Is 6 a factor of q(-7)?
False
Is 28 a factor of (14/(-4) + 0)*-16?
True
Suppose 2*l + 2*l = 36. Suppose g - 56 + l = 0. Does 17 divide g?
False
Suppose -24 = -0*a + 3*a. Let d(x) = -x + 1. Does 9 divide d(a)?
True
Let b(j) = -j + 6. Let t be b(3). Suppose 2*o + t*o = 25. Is o a multiple of 5?
True
Suppose 3*m = k + 17, 0 = 3*m - k - 4*k - 25. Suppose 0 = -m*i - 2 + 7. Does 13 divide (-3 - (i - 3))*-43?
False
Let h be 1 + (-2 - -2) + 2. Suppose -h*u + 126 = -12. Suppose 2*w - v + 3*v - u = 0, 3*w - 2*v = 54. Is w a multiple of 8?
False
Suppose -4048 = 12*o - 23*o. Is 31 a factor of o?
False
Let f(j) = -j**2 - 6*j. Does 5 divide f(-2)?
False
Let s(k) = 6*k + 5. Let i = 3 + 2. Let z be s(i). Suppose -4*j - n + z = 0, 5*j = -0*n + 3*n + 65. Does 5 divide j?
True
Let w be (0 - (3 - 3))/(-1). Suppose 2*n - 7*n - 20 = w. Is 3 a factor of 9 + n + 3 + -2?
True
Let t = 56 - 11. Suppose p + 2*p - t = 0. Is p a multiple of 8?
False
Let y be (-2)/7 + (-92)/(-28). Let s(t) = 11*t - 1. Does 20 divide s(y)?
False
Suppose 0 = 4*g - 62 + 6. Let a = -2 + g. Is a a multiple of 12?
True
Suppose g - 4*g + 2*h = -16, 4*h + 24 = 2*g. Suppose -2*j = g*j - 64. Does 4 divide j?
True
Let w = 8 - 6. Suppose -w = -3*a + 7. Suppose q + 72 = a*q. Is 18 a factor of q?
True
Let u(c) = 2*c**2 - 7*c + 6. Let k be u(5). Suppose 2*r - 2*a - k = -r, -2*r - 2*a + 24 = 0. Does 9 divide r?
True
Suppose 3*p = 2*w - 0 - 11, 7 = -p + 4*w. Is (-1 + p)*(-40)/10 a multiple of 16?
True
Let h be (-3)/1 + 40 + 3. Suppose h = 2*n - 4*j, 6 = -5*j + 1. Does 11 divide n?
False
Suppose g + b = 3*g - 8, -20 = 5*b. Suppose -c + g*a = -8, 3*c - 5*a = -a + 18. Suppose 0 = -c*n - 0*n + 14. Is n a multiple of 7?
True
Suppose 4*g = 4*q + 232, -2*g + 6*q + 117 = 3*q. Is g a multiple of 19?
True
Let b be (-9 + 15)*(1 + -2). Let a(v) be the second derivative of v**4/12 + v**3/6 - 2*v**2 - v. Is a(b) a multiple of 13?
True
Is 11 a factor of ((-33)/2)/(10/(-20))?
True
Suppose -17 + 81 = h. Is h a multiple of 8?
True
Suppose 216 = 4*b - 5*w - 258, -4*b - 3*w + 490 = 0. Let r = -78 + b. Is r a multiple of 22?
False
Let f = 34 + -6. Is f a multiple of 7?
True
Suppose -13*k - 9 = -14*k. Does 9 divide k?
True
Let m(d) = d**2 + 5*d + 4. Let x be m(-5). Suppose x*c - 2*c - 64 = 0. Is 21 a factor of c?
False
Let h = 41 - -16. Is h a multiple of 19?
True
Let s = -10 - -16. Let j = 1 + s. Is 7 a factor of j?
True
Suppose 0*x - 4 = -2*x, 4*q - 5*x + 18 = 0. Is (16 - q)*3/2 a multiple of 7?
False
Suppose 3*v - 171 - 48 = 0. Does 5 divide v?
False
Let j be 155/5*1/1. Is 14 a factor of 2/(-3 + 5) + j?
False
Suppose 0 = -3*i + 275 + 265. Is 15 a factor of i?
True
Let p = 7 + 23. Is p a multiple of 10?
True
Suppose 0*g + 2 = g. Suppose -6 = g*u - 4*u. Suppose 24 + 3 = u*a. Does 9 divide a?
True
Let l(y) be the first derivative of y**4/4 + 4*y**3/3 - y**2 + 2*y - 4. Is l(-4) a multiple of 5?
True
Suppose -6*h = -i - h - 13, 2*i + 8 = 4*h. Is 12 a factor of 0 + 29*(3 - i)?
False
Let n be 3/6*(10 + 0). Suppose 2*y - 3*b = 13 - 41, -n*y - 5*b - 70 = 0. Is (0 + y)/(0 - 1) a multiple of 14?
True
Let k(m) = -4*m. Let b(a) = -a**2 - 9*a. Let p(g) = 6*b(g) - 14*k(g). Let v be p(2). Let h = -12 - v. Is h a multiple of 7?
False
Suppose -19*d - 154 = -26*d. Does 7 divide d?
False
Let s(d) = d**3 - 3*d**2 - 4*d - 7. Does 5 divide s(5)?
False
Suppose -u + 3*u = 34. Is 0/u - (0 + -20) a multiple of 5?
True
Suppose -3*w + w + 10 = 0. Suppose 5*j - 4*q = -272, 0*j = -5*j + w*q - 270. Let v = j - -78. Is v a multiple of 9?
False
Let g(s) = -6*s + 16. Is g(-16) a multiple of 28?
True
Suppose 0 = 5*r - 2*j + 347 - 1029, -4*r + 2*j + 546 = 0. Is r a multiple of 17?
True
Suppose m = 6*m - 130. Let t = 45 - m. Does 11 divide t?
False
Let n(q) = -q**3 - 5*q**2 + 5*q - 4. Let s be n(-6). Is 9 a 