(n) = 3*n**2 + 10*n - 5. Let h be v(7). Suppose 5*m + h = 2*r, 2*r = -r - 3*m + 276. Suppose 2*t + 2*t = r. Is 11 a factor of t?
False
Let h(k) = 46*k**2 + 8*k - 8. Is 24 a factor of h(2)?
True
Let q be 3/12 + (-483)/(-4). Suppose -5*i = -m - q, 0 = -4*i + 5*m - 34 + 114. Does 25 divide i?
True
Let q be 1*3*(-2)/(-6). Let c be ((-2)/q)/((-3)/6). Suppose -4*s + 68 = x - c*x, -4*x - 4 = -s. Is s a multiple of 10?
True
Is -4*(-2 - (-68)/(-8)) a multiple of 21?
True
Let z(i) = -15*i - 4. Let h(l) = -22*l - 6. Let r(p) = -5*h(p) + 7*z(p). Does 27 divide r(5)?
True
Is (1*4)/(6/12) even?
True
Suppose 0 = 3*c - 294 - 360. Is c a multiple of 14?
False
Let t = -2 + 2. Suppose -x - 80 - 70 = -5*z, z - x - 34 = t. Does 11 divide z?
False
Does 20 divide 76 - 20/(5/(-1))?
True
Suppose c + 0*x + 4 = -5*x, 0 = -5*x - 5. Let d = 10 - c. Does 3 divide d?
True
Let b(o) = o**2 - 13*o - 1. Let f be b(11). Let s = 56 + f. Does 16 divide s?
False
Let c = -38 - -71. Is 11 a factor of c?
True
Let w be (-2)/9 - 20/(-9). Let b be (-2)/w + -1 + 4. Suppose 12 = 3*h - 4*u + b*u, 4*h - 11 = u. Is h even?
True
Is (-3 - -90) + 2 - -3 a multiple of 40?
False
Is 12 a factor of 58700/425 + (-4)/34?
False
Is 37 a factor of 1*(2 - -7*5)?
True
Let r = -84 - -26. Let o = 91 + r. Does 29 divide o?
False
Let b = 8 + -3. Is b even?
False
Let q = -58 + 97. Suppose -2*v + 5*v + 2*j - 60 = 0, 5*j = 3*v - q. Let z = 32 - v. Is 7 a factor of z?
True
Suppose -3*t = 4*o - t - 378, 4*o + 4*t - 372 = 0. Is o a multiple of 48?
True
Suppose -4*l = -5*q + 163, 3*l + 17 = 3*q - 79. Is 7 a factor of q?
True
Suppose -w = 4*w - 50. Does 2 divide w?
True
Let q(n) = n**2 + n + 46. Let f be q(0). Suppose 12 = 2*j - f. Is j a multiple of 17?
False
Suppose -2*g - g = v - 25, 111 = 5*v + g. Is 22 a factor of v?
True
Let u(h) = 2*h**2 - 4*h + 1. Does 17 divide u(4)?
True
Is (-11 + 9)*(-2 - 3) a multiple of 5?
True
Suppose 3*x - 55 = -2*l, -4*l + 14 = 2*x - 36. Suppose -s = -n + 7, -n - n + s + x = 0. Does 8 divide n?
True
Does 9 divide (-2)/((-268)/(-92) - 3)?
False
Let z = -35 - -91. Does 13 divide z?
False
Suppose -2 - 8 = -r. Is r a multiple of 7?
False
Let f(l) be the second derivative of l**4/12 + l**3 + 5*l**2/2 + 4*l. Does 8 divide f(-9)?
True
Let a(l) = 11*l**2 + 2*l. Is 11 a factor of a(-2)?
False
Suppose 0 = -v - 4, d - 3*v = -v + 36. Is 14 a factor of d?
True
Let x = -5 + 9. Suppose b + b = x*y - 132, 0 = 3*b. Does 11 divide y?
True
Let g = 16 - 8. Suppose 4*n - g = -0. Suppose -5*b - t = -0*t - 60, 0 = n*b + t - 24. Is 6 a factor of b?
True
Suppose -4*y - 25 - 3 = -2*r, -4*r = -y - 63. Is r a multiple of 16?
True
Suppose -8 = -7*y + 3*y. Is y even?
True
Let v(j) = -5*j. Suppose -l - 2 = -2*i, i - 4*i + 25 = 4*l. Let n = l + -8. Is v(n) a multiple of 14?
False
Let l(r) = 28*r**2 + 2*r - 2. Does 3 divide l(1)?
False
Let v(h) = h**3 - 2*h - 1. Let d be v(2). Suppose 5*k - d*z = 125, -3*z = -k - 4*z + 17. Is k a multiple of 22?
True
Let u = -620 - -972. Is 16 a factor of u?
True
Let z(l) = 32*l - 6. Is 13 a factor of z(1)?
True
Let x(w) = 31*w + 13. Is 27 a factor of x(3)?
False
Let u be (-15)/(-18)*3*2. Suppose 17 - 77 = -u*f. Does 6 divide f?
True
Is 10 a factor of (-2 - -1)/(1/(-30))?
True
Suppose -2*y + 4*t = -6*y + 72, -16 = -4*t. Suppose q + 1 = y. Is q a multiple of 13?
True
Let v(j) = -j + 2*j + 13 - j - j. Is 7 a factor of v(0)?
False
Let y(c) = 21*c**2 + c + 1. Let x be y(2). Let s = -54 + x. Does 11 divide s?
True
Let k(x) = -x**2 - 7*x + 5. Let w be k(-7). Suppose w*n - 7*n + 36 = 0. Is 9 a factor of n?
True
Suppose -5*i + 208 = -2*i + 4*j, -4*i - 5*j + 279 = 0. Is i a multiple of 16?
False
Let h(z) = -18*z - 19. Does 15 divide h(-6)?
False
Let f = 69 + -48. Let w = -8 + f. Is 6 a factor of w?
False
Let r(w) = -w**3 + 11*w**2 + 2*w + 8. Is r(11) a multiple of 15?
True
Let y(w) = w**3 - 7*w**2 - 7*w - 2. Suppose 3*h + h - 32 = 0. Does 5 divide y(h)?
False
Let b(r) = r**2 + r + 96. Is 6 a factor of b(0)?
True
Let i(r) = -3 + 3*r + 1 + 5. Let l be ((-3)/(-6))/(2/20). Does 9 divide i(l)?
True
Suppose i + 13 = a + 2*i, -3*i = 5*a - 63. Suppose 0 = 5*f - 32 + a. Does 4 divide f?
True
Let t(u) = -u**2 + 8. Suppose 22 = m + 5*w, 2*m + 9*w - 4*w = 24. Suppose -m*c = -c. Does 8 divide t(c)?
True
Suppose -u + g + 1 = 0, -u - 5 = -4*u + 2*g. Suppose t - 2*h - 94 = 6, -u*h = 0. Suppose 2*q + i = 4*i + 60, 0 = -4*q + i + t. Is 12 a factor of q?
True
Let u(a) = 7*a**2 - 8 - a + 2*a - a**3 + 2*a**3. Let y be (-225)/36 + (-1)/(-4). Is u(y) a multiple of 12?
False
Suppose -2*z - z + 60 = 0. Suppose -5*a + 20 = 4*f - 2*a, 4*f - 3*a = -4. Suppose f*p + 2*p = z. Does 5 divide p?
True
Let y be (-2 - -3)*1 + -1. Suppose y = s + 4, 2*s = 5*l + s - 24. Suppose -l*d - 5*g + 56 = 0, 4*d - 11 = g + 69. Is 7 a factor of d?
False
Let i = 2 - -1. Suppose 0*s = i*s. Suppose 5*y + s*y = -3*w + 18, -3*w = -3*y + 6. Does 2 divide y?
False
Does 9 divide ((-770)/21)/((-1)/3)?
False
Suppose -4*i = -9*i - 3*q + 435, 3*i = -5*q + 277. Is 14 a factor of i?
True
Suppose 2*o = -4*v + 8*v - 12, 0 = -5*o - 10. Suppose 3*w + 5 = 4*w, 2*k + v*w - 34 = 0. Does 12 divide k?
True
Let a(n) = n**3 + 3*n**2 - 2*n. Is 13 a factor of a(3)?
False
Suppose g = -2*p + 38, -4*p + p = g - 33. Is 8 a factor of g?
True
Suppose 4*q + 5*c = -0*q + 528, 0 = -4*q + 2*c + 500. Is 27 a factor of q?
False
Is 8 a factor of 1904/35*(-10)/(-4)?
True
Suppose 0 = 2*q + 2, 4*a + 3 = -q + 6. Let z be -1*a*(3 + -5). Suppose -c = -z*c + 14. Is c a multiple of 14?
True
Suppose -3*h + 6 = 0, -i + 4*h = 1 - 3. Let w(z) = -z**2 + 9*z + 14. Let m be w(i). Suppose 40 = f + m*f. Does 8 divide f?
True
Let z(c) = 3*c**2 + 3*c + 6. Is z(-4) a multiple of 14?
True
Is (-644)/(-7) + 0 + -3 a multiple of 24?
False
Let a(w) = w**3 - 11*w**2 + 9*w + 10. Let n be a(10). Suppose n = -3*l - 0*l + 171. Is 19 a factor of l?
True
Let t = 379 - 267. Does 35 divide t?
False
Suppose 6*m - 2*m = 48. Is 4 a factor of m?
True
Suppose -r + 11 = 4*n, -2*n + 18 = -0*n - 2*r. Let t(m) = 2*m**3 - 2*m**2 - 2. Let f be t(2). Does 4 divide 38/n - f/(-4)?
False
Let d(x) be the first derivative of -3*x - 2 - 1/2*x**2. Does 2 divide d(-5)?
True
Does 12 divide 109/5 + 7/35?
False
Let g(f) = -f**2 + 12*f + 4. Does 12 divide g(10)?
True
Suppose -2*b = 10 - 86. Let p(x) = -x**2 + 11*x - 2. Let t be p(12). Let o = b + t. Is 17 a factor of o?
False
Let r(v) = v**2. Let t be r(-2). Suppose 5*g - 96 = -u - 25, 5*g = 3*u - 113. Suppose t*z + 2 = u. Is 10 a factor of z?
False
Suppose 0*b = -3*b + t + 1025, -4*b = -4*t - 1380. Suppose -2*n - b = -7*n. Suppose 3*y + y = n. Does 10 divide y?
False
Let l be ((-4)/(-2) - 0)/(-1). Let q be l + 4 - (-1 + 1). Suppose -q*y = -9 - 5. Does 4 divide y?
False
Let y(w) = -w**2 - w. Let i be y(0). Suppose h + i*h = 40. Is 11 a factor of h?
False
Let j = -5 + 8. Let d = j - 1. Suppose -d*u = -3*v + 4 + 18, -3*u - 15 = 0. Does 4 divide v?
True
Let f(t) = -t**3 - t**2 + 7. Is 5 a factor of f(0)?
False
Suppose -3*v + 10 = 4. Is v a multiple of 2?
True
Suppose 4*i + 3*h - 6 = 0, 4*i = -h + 2*h - 2. Suppose 3*w - 23 - 40 = -3*v, i = -3*w - 4*v + 58. Let y = w - 16. Is y a multiple of 8?
False
Let v(a) be the first derivative of 11*a**2 - a - 3. Is 18 a factor of v(2)?
False
Let j = -9 + 11. Suppose j*f - 23 - 11 = 0. Does 15 divide f?
False
Let z(h) = -5*h**2 - 11*h**3 + 3*h**2 + h**2. Does 10 divide z(-1)?
True
Let k(w) = w**2 + 7*w - 2. Let u be k(5). Suppose -3*s + 3*m + u = -17, 3*s - 95 = -m. Does 12 divide s?
False
Let i be ((-9)/15)/(3/(-15)). Suppose -3*r = i*m - 8*m + 15, -5*m = -2*r - 10. Suppose m = 5*l, -51 = -3*g + 3*l - 0*l. Is 7 a factor of g?
False
Suppose 22*v + 288 = 24*v. Is 24 a factor of v?
True
Suppose w - 7 - 2 = 0. Does 9 divide w?
True
Suppose -3 + 2 = -s. Suppose -5*i + l = -67, 3*i - 2*i + s = 5*l. Is 14 a factor of i?
True
Suppose h - 5*h = -300. Let y = 105 - h. Is 5 a factor of y?
True
Suppose 3*s = -3*x - 78, 4*s = 4*x - 25 + 97. Let k = -14 - x. Is k a multiple of 8?
True
Suppose -3*y = -178 - 101. Is 26 a factor of y?
False
Let j = -2 - -2. Suppose -5*q = j, 3*o = 6*q - q + 12. Suppose -o*z + 5*z + 25 = 2*t, z - 14 = -t. Does 13 divide t?
True
Suppose 4*a + 4*c = -8, -3*a + 10 = -0*c - c. Suppose 0*s - 3*s - 3*o + 42 = 0, -a*s - 4*o + 38 = 0. Is s