 14 a factor of r?
False
Let v(f) = 5*f**2 + 3*f - 1. Let j be v(-4). Let n = j + -45. Suppose -4*y = -2*z + 5*z - n, -2*z = y - 8. Is z even?
True
Suppose 8 = 3*c - 1. Let o be 60 + (-6)/(-2) - c. Suppose 3*v + 2*v - o = 0. Is 12 a factor of v?
True
Let q = 14 + -13. Does 25 divide 1*(2 + q + 47)?
True
Suppose 5*i + 61 + 59 = 0. Is 13 a factor of 6/i + 314/8?
True
Suppose 4*z + 2 = 3*y - 5*y, 3*z = -y. Let w be (-10)/y*(-18)/(-15). Suppose w*o - 3*o = -4, g = o + 17. Is g a multiple of 13?
True
Suppose 2*v + 3 + 1 = -2*k, -v = -5*k - 10. Suppose x - 15 + 1 = v. Does 7 divide x?
True
Let l = 51 - -39. Is 10 a factor of l?
True
Let x(g) = 5*g**2 + 11*g + 7. Is x(-5) a multiple of 7?
True
Is 15/10 + -3 + 87/2 a multiple of 14?
True
Suppose 2*m + 0*m + 52 = 2*s, 104 = 4*s + 2*m. Is 9 a factor of s?
False
Suppose 4*b = 16, 2*b = -5*p + 101 + 32. Suppose -5*f + p = 0, 2*f - 30 = -3*g + g. Is 4 a factor of g?
False
Suppose 0 = n - 3. Suppose -51 = -n*o - 0*o. Is o a multiple of 6?
False
Suppose -y + 4*y = 4*j - 109, 5*j = 4*y + 136. Is 8 a factor of j?
False
Suppose 2*t = 0, 2*b - 160 = -0*b - 3*t. Let o = b - 165. Is (o/(-20))/((-2)/(-8)) a multiple of 12?
False
Let q be (7 - 1 - 1)*1. Suppose 0 = 5*i - 2*i - 5*k - 230, 402 = q*i + k. Is 20 a factor of i?
True
Suppose -23 = -u + 4. Suppose -11 = 4*p - u. Is p a multiple of 3?
False
Let o(s) = s**2 - s - 3. Let u be o(3). Let t(x) = 2*x + 1. Let i(y) = -1. Let p(j) = u*i(j) + t(j). Is p(3) even?
True
Let z = -2 - -5. Suppose -r = -s + 1 - 3, z*r = 2*s + 9. Suppose -3*g + 60 = s*y, 45 = 5*y + 2*g - 49. Is 9 a factor of y?
True
Suppose 2*t + 158 = 36. Let o = -23 - t. Does 19 divide o?
True
Suppose g - 73 = 2*m, g + 430 = 6*g + 3*m. Does 5 divide g?
False
Let b = -19 + 38. Suppose -j - 4 = -b. Does 5 divide j?
True
Let k(o) = 7*o**2 + 2 - o**3 + 9*o - o**2 + 4*o**2 - 3*o**2. Is k(8) a multiple of 5?
True
Suppose 5*c + 3*x = 81, c + 3*c + x = 69. Does 4 divide c?
False
Suppose -p = 3*z - 40, 0*z = -5*z + p + 72. Is 5 a factor of 300/21 - 4/z?
False
Suppose 770 = 5*f - 0*n + 2*n, -4*f + 616 = 5*n. Suppose i = -i + f. Let o = i + -50. Does 13 divide o?
False
Let p = 16 + 27. Suppose -5*v = -2*s - 3*s, 5*s = 2*v. Suppose s = -5*c + p - 18, 2*y - 33 = -5*c. Is y a multiple of 3?
False
Let u(k) = 2*k**2 + 3*k. Is u(-3) a multiple of 3?
True
Let j = 1 + 3. Let o be -3*-3*j/18. Suppose r - 2*g = 17, 69 = 5*r - o*g - 0*g. Is r a multiple of 10?
False
Let a(v) = -v**2 + 13*v - 8. Is a(5) a multiple of 32?
True
Let n = -76 - -106. Is n a multiple of 26?
False
Suppose -11*b = -7*b. Suppose -3*n + 31 + 5 = b. Is n a multiple of 6?
True
Let t(f) = 11*f - 2. Let j be t(6). Suppose v - j = -3*v. Is 4 a factor of v?
True
Let z(f) be the second derivative of f**3/6 + 17*f**2/2 + 4*f. Is z(-10) a multiple of 7?
True
Suppose -4*h - 2*y = 30, -y + 3 = -2*h - 10. Let a = h + 20. Is 6 a factor of a?
False
Suppose 2*o = -3*o - 25. Let m = o + 5. Suppose -2*g + g + 7 = m. Does 7 divide g?
True
Suppose 2*m = m - 49. Suppose -3*b + 36 - 249 = 0. Let t = m - b. Is t a multiple of 11?
True
Let q(z) = -25*z - 11. Does 41 divide q(-7)?
True
Suppose 4 = x, -x - 7 = -m + 41. Is 4 a factor of m?
True
Is 186/14 - 2/7 a multiple of 13?
True
Let j(b) = -21*b - 9. Suppose 4*t = -t + 35. Let y be j(t). Does 6 divide ((-2)/(-4))/((-6)/y)?
False
Suppose 0 = -5*b + 163 + 42. Is 10 a factor of b?
False
Let g = 9 + -4. Let z(r) = -g*r - 1 - 2 - 6 + 1. Is z(-8) a multiple of 16?
True
Suppose 5*s - 3*o - 8 = 0, 4*o - 6*o - 4 = -3*s. Suppose -s*v + v + 378 = -5*k, 4*v - 5*k = 509. Suppose -3*z = -3, -3*u + 8*u - v = -z. Does 15 divide u?
False
Suppose 33*y - 35*y + 130 = 0. Is 5 a factor of y?
True
Suppose 0*n + 240 = 5*i + n, i - 34 = -3*n. Is -3 + (i - 0) - -2 a multiple of 21?
False
Let c(z) be the second derivative of z**5/60 + z**4/24 + 5*z**3/6 + z**2/2 - 2*z. Let t(f) be the first derivative of c(f). Is t(-4) a multiple of 17?
True
Let a be 8/3*6/4. Suppose -j = 2*m + 3, -6 = -4*j - a*m + 2*m. Is 15 a factor of 7/(((-9)/(-12))/j)?
False
Let k be (-4 + 9)*(-8)/(-10). Suppose -k*w = -3*w - 12. Does 3 divide w?
True
Let b(k) = 5*k**2 - 2*k - 1. Let r(l) = 3*l**2 - l. Let d(w) = 4*b(w) - 7*r(w). Let p be d(0). Does 8 divide (-402)/(-33) - p/(-22)?
False
Is (68/(2 + 0))/(4/32) a multiple of 56?
False
Let i = -2076 + 1468. Is 15 a factor of i/(-18) - 16/(-72)?
False
Is ((-1936)/(-66))/(2/3) a multiple of 16?
False
Let g be (-5)/((-15)/42) + -3. Suppose 3*z = -x + 15, -5*z + 4*x = x - g. Suppose z*p - 40 = -0*p. Is p a multiple of 5?
True
Let u be (18*-1)/((-4)/(-10)). Let p = u - -65. Is 4/p + (-458)/(-10) a multiple of 19?
False
Let x = 479 - 334. Let n = -85 + x. Is 19 a factor of n?
False
Suppose -2*p + 8 = 5*j - 14, 5*p + 11 = 4*j. Let y(w) be the first derivative of 10*w**2 + w - 1. Does 8 divide y(p)?
False
Suppose f - 11 = -0. Suppose -o + 30 + f = 0. Does 14 divide o?
False
Suppose -7*d - 4*d = -858. Does 6 divide d?
True
Is (-24)/4*((-2)/(-3) - 2) a multiple of 3?
False
Let j = 10 - 6. Suppose -2*b + 4*o = j, 3*o = 2*b + 1 - 0. Suppose 2*l + 18 = 3*l - 3*g, 0 = l + b*g - 11. Is 5 a factor of l?
True
Suppose 3*d + 2*m - 364 = m, 2*m = d - 112. Does 15 divide d?
True
Suppose 3*x - 5 = 4. Suppose -17 = -x*w + 10. Does 5 divide w?
False
Let f be (0 - (-9)/(-3)) + 453. Is (f/(-20))/(2/(-4)) a multiple of 15?
True
Suppose g - 2*g + 3 = 0. Suppose 2*d - 40 = -5*k - 3*d, -k = g*d - 16. Suppose 0 = k*p + 16, 2*u + 0*u = 4*p + 60. Is 11 a factor of u?
True
Let j(p) = -p - 5. Let s be j(-8). Suppose 0 = -t - 4*o - 1, t - 2*o - s*o + 1 = 0. Is (t - -2)*9 + 3 a multiple of 5?
False
Suppose 9*j - 24 = 147. Is 4 a factor of j?
False
Suppose -2*x = -3*x - 5*f - 13, -f - 1 = x. Let h(v) = 9*v**2 - v. Is h(x) a multiple of 15?
False
Let b be (81/(-2))/((-2)/4). Suppose b = z + 2*z. Is 9 a factor of z?
True
Let h(c) = 5*c**3 - c**2 + 3*c - 2. Let y be h(2). Suppose -2*k + 2*u = 3*k - 248, y = k + 2*u. Is k a multiple of 24?
True
Let d = 513 + -267. Is 41 a factor of d?
True
Let s be -18 - 6/3 - 2. Let n = -3 - s. Does 18 divide n?
False
Let q(o) = o**2 + o + 1. Suppose 2*t - 29 = -5*w, -1 = t - w + 2. Let c be q(t). Let f = c - -2. Is f a multiple of 9?
True
Suppose -2*y = -3*y + 3. Is 4 a factor of (-175)/(-15) + (-2)/y?
False
Suppose -91 = -4*y - 4*x + 33, -3*y + 95 = 5*x. Is 10 a factor of (y/(-21))/((-1)/7)?
True
Suppose -3*v - 1 = -2*v. Let k(m) = -20*m - 1. Does 5 divide k(v)?
False
Let w(p) = -p**2 - 6*p - 3. Is 4 a factor of w(-4)?
False
Suppose 7*s - 274 - 76 = 0. Is s a multiple of 15?
False
Let w = 16 - 1. Suppose o = -z - 5, -3*z - w = 5*o + 2. Does 10 divide (12/(-3))/(o/6)?
False
Let u be 4/8 + 5/2. Suppose 4*k - 87 = u*k. Does 29 divide k?
True
Let m(y) = y**3 + 9*y**2 - y + 11. Suppose c + 2*n + 0*n - 1 = 0, -2*c + 7 = 5*n. Is m(c) a multiple of 10?
True
Suppose 5*d - 4 - 1 = -2*t, d - 5*t = 28. Suppose 0*o - 18 = -d*o. Suppose i = 3*p - 25, -5*i - o = -3*p - 1. Is p a multiple of 9?
False
Let q = 5 - 4. Is 2 a factor of q/((-20)/(-12))*15?
False
Suppose 10 = 5*x - 640. Suppose -2*p = -4*k + x, -5*k + p + 145 = 2*p. Is 10 a factor of k?
True
Let l = -41 + 57. Is 8 a factor of l?
True
Let i = 8 - 4. Does 4 divide i?
True
Let t = 6 + -9. Let d be (0 - t)*(-2)/3. Does 9 divide 16 + (-2)/d + 1?
True
Does 4 divide 0 - (-2 - 0) - -6?
True
Let b(w) = -28*w + 90. Is b(-7) a multiple of 21?
False
Is 11 a factor of (-10)/(-25) - (-218)/5?
True
Let f(h) = h**2 - 2*h - 1. Let b be f(-1). Suppose w + 3*j = -b*j - 13, -2*w - 5*j - 21 = 0. Does 14 divide (-112)/6*12/w?
True
Let z(p) = -p**2 + 10*p + 17. Does 11 divide z(8)?
True
Does 6 divide (1 - 2) + (46 - 3)?
True
Suppose -657 = -3*x + 627. Is x a multiple of 22?
False
Let y be -2 + (1 - 6) + 0. Let a = y - -33. Is 9 a factor of a - (-3)/(5 - 2)?
True
Suppose -2*n + x + 121 = -48, -2*x = -5*n + 425. Suppose 318 = 3*c + n. Suppose -c = -4*g + 2*y - y, -g = -5*y - 24. Is g a multiple of 8?
False
Suppose 0 = 3*i - 4*i - 2*h + 55, 5*i + h - 275 = 0. Is i a multiple of 16?
False
Let o(c) = -2*c**3 - 2*c**2 + c + 8. Let g(l) = 3*l**2 - 7 + 6 - 3*l**2 + l**3. Let x(p) = -6*g(p) - o(p). Is 27 a factor of x(-2)?
False
Let b(w) = -w**3 - 6*w**2 - 5*w - 7. Let l be b(-5). Let z = 4 + l. Is 8 a factor of 22 -