 factor of f(-5)?
False
Let a(p) = 6*p - 2. Let v be a(-4). Let k = v + 58. Does 16 divide k?
True
Let c(a) = -3 - 2*a + 0 + a + 2. Let t be c(3). Let q = t - -8. Does 4 divide q?
True
Suppose 0 = 3*n - 140 - 256. Suppose -3*k + 0*k + q = -141, -3*k + n = 2*q. Is k a multiple of 15?
False
Let l = 30 - 18. Is l a multiple of 12?
True
Suppose 4*l = 3 - 43. Let z(o) = o**2 + 6*o - 4. Is z(l) a multiple of 12?
True
Suppose -10*v + 74 = -9*v. Is 15 a factor of v?
False
Let y(l) = l**3 - 3*l**2 - 2*l. Let o be y(4). Suppose 0 = 5*g + 4*d - 110, -2*d + 67 = 4*g - 3*d. Let s = g - o. Is 10 a factor of s?
True
Suppose 76*o - 75*o = 140. Is 20 a factor of o?
True
Let x(o) = 3*o**2. Let d be x(1). Suppose 3*m + b - 12 = 27, 2*m + d*b - 19 = 0. Is 5 a factor of m?
False
Let d(s) = 30*s + 1. Is d(1) a multiple of 15?
False
Let w = -79 + 351. Let i = w - 138. Is i a multiple of 28?
False
Suppose 7 = 3*m + 2*n - 18, 35 = 3*m + 4*n. Suppose -m*k = -2*k - 153. Does 29 divide k?
False
Let h be 11/4 - (-3)/12. Suppose 4*m - 8*m + 2*i = 0, h*i = 0. Suppose m = g + 2*g - 42. Is g a multiple of 7?
True
Suppose 0 = 3*u - 13 - 86. Let v = u + -46. Let a = -8 - v. Is 3 a factor of a?
False
Let t(u) = u**3 - 7*u**2 - 16*u + 6. Is 7 a factor of t(9)?
False
Let c be (-2)/(-7) - (-51)/(-7). Let u = 10 + c. Suppose -l = -u*g + 70, 6*g - 3*g = -5*l + 46. Does 8 divide g?
False
Suppose 2*b = 11 + 3. Let u(q) = -14 + b*q - q**2 + 0*q + 5*q. Is u(10) a multiple of 3?
True
Let l(a) be the second derivative of a**3/2 + a**2 + a. Suppose -r = 4*o - 15, -6*o + 2*o + 12 = 0. Is l(r) a multiple of 5?
False
Is (105 - (-12)/4)/1 a multiple of 23?
False
Let p = -2 - -58. Is p a multiple of 8?
True
Let h(q) = -q**3 + 9*q**2 - 8*q + 6. Let i be h(8). Let o be 3*(0 + 4/i). Suppose 0*k + o*x = k - 21, 4*k = 5*x + 69. Does 10 divide k?
False
Suppose -2*q - 153 = -431. Does 35 divide q?
False
Let f(u) = u**3 + 6*u**2 + 8*u - 3. Let h be f(-6). Let r = h + 85. Is r a multiple of 11?
False
Is 21 a factor of 951/45 - 2/15?
True
Let b(s) = 3*s - 1. Let n be 4/18 + (-14)/(-18). Let u be b(n). Suppose 2*k = 4 + u. Is k a multiple of 3?
True
Suppose 12 = 4*p - 5*w, -4*p = -w - 40 + 12. Does 2 divide 9/(12/p*1)?
True
Suppose p = -3*k + 22, -5*k - 4*p = -5*p - 26. Is 6 a factor of k?
True
Let k(z) = z**3 + 6*z - 4. Let m be k(4). Let w(b) = b**3 + 7*b**2 - 9*b - 4. Let p be w(-8). Suppose 0*l = -p*l + m. Does 12 divide l?
False
Let l(q) = -q**3 - 8*q**2 - 9*q + 6. Let n be l(-7). Suppose 0 = 2*j + 4*r - n, 19 = -j + 2*j - r. Is j a multiple of 10?
False
Let l(j) = -12*j + 2. Let m(u) = 8*u - 1. Let b(i) = -5*l(i) - 7*m(i). Is b(3) a multiple of 3?
True
Let o(v) = -2*v + 4. Is o(0) a multiple of 3?
False
Let v(t) = -12*t - 25. Is 8 a factor of v(-3)?
False
Suppose x - 4*x + 15 = 0. Suppose 4*w - 82 = -2*l, 4*w - x*l + 1 - 48 = 0. Is 9 a factor of w?
True
Let u be (-2)/6 - 100/(-3). Suppose 14 + u = 3*a - 2*n, -5*n - 5 = 0. Is 5 a factor of a?
True
Let s(h) = -51*h - 4. Let j(k) = 152*k + 13. Let o(y) = -2*j(y) - 7*s(y). Does 14 divide o(1)?
False
Suppose 4*l - 495 = l - 3*y, 2*l - 5*y = 351. Is l a multiple of 20?
False
Suppose -3*r = -0*r + 2*a + 63, -4*r + 5*a = 84. Suppose 0 = -2*b - 3*c + 27 + 16, b - 49 = 4*c. Let w = r + b. Is w a multiple of 8?
True
Let i = 104 - 55. Does 7 divide i?
True
Suppose -a + 1 = -j, -2*j - 3 = j + 2*a. Is 3 a factor of j*2*(2 - 5)?
True
Let y(z) = -27*z**3 + z**2 + z. Let s be y(-1). Let p be (-6)/(0 - (1 - -1)). Suppose -3*d - s = -p*f, d = -4*f + 4*d + 35. Is f a multiple of 8?
True
Suppose 5*u = 86 + 139. Is 12 a factor of u?
False
Let z be 31*(-3)/(3*-1). Suppose 0 = -2*n + z + 59. Suppose -h + n = 2*h. Is 15 a factor of h?
True
Let n(f) = 5*f**2 + 8*f - 2. Is n(-5) a multiple of 32?
False
Let l(b) = 2*b**3 + b**2 - b + 1. Let m = 2 - 1. Does 2 divide l(m)?
False
Let u(l) = 1. Let c(p) = p - 5. Let q(r) = -c(r) - 4*u(r). Let o(k) = -k**2 - 2*k + 1. Let w(z) = -o(z) + 3*q(z). Is w(-3) a multiple of 7?
True
Let q(t) = t**3 - 6*t**2 + 8*t - 7. Let a be q(5). Does 9 divide ((-18)/a)/(5/(-20))?
True
Let q be (-1)/2 - (-18)/4. Suppose 0 = 3*k, 0*k = -2*t - q*k + 34. Suppose -68 = -3*v - t. Does 6 divide v?
False
Let j(z) = -z**2 - 6*z + 7. Let i be j(-7). Suppose i = -2*m + m + 16. Is m a multiple of 16?
True
Suppose 5*f - 66 = 4*d, 2*f - 32 = -0*d + 3*d. Is f a multiple of 4?
False
Let r = 3 - 8. Let p(n) = n**2 + 5*n - 7. Let d be p(r). Let h(u) = -2*u - 2. Does 7 divide h(d)?
False
Suppose 2*q - 2 = 0, 3*c + 4*q = 8*c + 534. Let a = c + 178. Is a a multiple of 14?
False
Is 17 a factor of 7/(((-2)/(-1) - 1)/17)?
True
Is (((-108)/8)/9 - 0)*-34 a multiple of 8?
False
Let y = 37 + 41. Is 13 a factor of y?
True
Let w(t) = -2*t - 2. Let n be w(-4). Does 13 divide 2/n*(-1 + 40)?
True
Suppose h = 5*p - 23, -h - 2*h + 4*p = 14. Suppose -5*b + 48 = -h*b. Does 6 divide b?
False
Let k(h) = 3*h**2 + 14*h - 2. Let a(s) = -10*s**2 - 43*s + 7. Let f(m) = -2*a(m) - 7*k(m). Is f(-6) a multiple of 14?
False
Let q(l) = l + 9. Let v be q(-7). Suppose -v*x - 3*j - 7 = -53, -2*x = 4*j - 50. Is x a multiple of 17?
True
Suppose 0 = 5*c - 20 - 0. Let o(z) = -z**2 + 10*z - 2. Does 11 divide o(c)?
True
Let c(t) = t**3 + 8*t**2 + 5*t + 1. Is c(-7) a multiple of 15?
True
Does 4 divide 142/8 - (-27)/(-36)?
False
Let k(n) = -n**3 - 5*n**2 - 4*n - 2. Let z be k(-4). Let c be -2 + 1/z*0. Is ((-2)/c)/((-1)/(-13)) a multiple of 7?
False
Suppose -37*d = -32*d - 115. Does 11 divide d?
False
Let l = -4 - -25. Does 2 divide l?
False
Let r be 2/(-3) + (-173)/(-3). Suppose -2 = -3*c + f - 114, c = -4*f - 20. Let v = r + c. Is v a multiple of 8?
False
Let f = -20 + 36. Does 2 divide f?
True
Let y(l) be the second derivative of l**4/12 + l**3/3 + l**2/2 + 4*l. Let g be y(-5). Does 11 divide 66/(-4)*g/(-12)?
True
Suppose -225 = -5*y - 0*y. Is 15 a factor of y?
True
Suppose -3*q + 0*q - 3 = 4*f, -3*q = 3*f. Suppose 0*t = q*t. Suppose 4*d + 8 = -t*m - 3*m, -d = 3*m - 7. Is 2 a factor of m?
True
Let w = 5 - 8. Is (2 - 3)*-7 + w even?
True
Suppose -o = -37 - 30. Does 15 divide o?
False
Let p(n) = n**3 + 3*n**2 - 6*n - 4. Let o be p(-4). Suppose -42 = 2*w - o*w. Is 7 a factor of w?
True
Suppose 2*z + 31 = 5*s, -6*z - 1 = -4*z + s. Let y = 8 + z. Is y a multiple of 2?
False
Suppose -5*j = -j + 24. Let m = j + -8. Let d = 38 + m. Is d a multiple of 12?
True
Suppose -a - 9 = -0*a. Let y = 1 - a. Let w = y + -6. Is w a multiple of 2?
True
Let v = -7 - -5. Is (-4)/v*2 - -8 a multiple of 12?
True
Is (-8)/44 - 105/(-33) a multiple of 3?
True
Let n(z) = 6 - 3 - 3*z - 7*z. Does 21 divide n(-6)?
True
Let v(p) = -p - 7. Let d be v(-7). Suppose d = -2*c - c + 6. Suppose -i = c - 16. Is 14 a factor of i?
True
Let h(i) = i + 1. Let w be h(-5). Let p = 6 + w. Is 2 a factor of p?
True
Let t(a) = a**3 - 3*a**2 - 5*a - 1. Suppose 14 = 3*x - 1. Is t(x) a multiple of 24?
True
Does 27 divide -45*(0 + 60/(-25))?
True
Let u = 55 + -95. Let f = u + 57. Let y = 11 + f. Is 10 a factor of y?
False
Is 7 a factor of -2*(4/(-2) + 40/(-16))?
False
Let c = -2 + -3. Let k = c - -8. Suppose k*q + 7 = 46. Is 13 a factor of q?
True
Suppose -17*v = -16*v - 20. Is 4 a factor of v?
True
Suppose 1245 = 5*s + x, 14*x - 15*x - 747 = -3*s. Is 48 a factor of s?
False
Let q = -166 + 197. Is q a multiple of 4?
False
Does 29 divide 78/4*(49/3 - -1)?
False
Let z = 1 + 3. Suppose -y - 3*o - 219 = -z*y, 5*y = 3*o + 359. Is y a multiple of 14?
True
Let p(c) = -c**3 - 5*c**2 + 5*c + 4. Let z = -7 + 1. Is p(z) even?
True
Suppose 0*v - 15 = 3*v, -282 = -2*h + 4*v. Suppose -179 - h = -5*p. Suppose 0 = 5*n - 48 - p. Is n a multiple of 6?
False
Let b be ((-556)/(-6))/(6/(-9)). Let a = -72 - b. Is a a multiple of 27?
False
Suppose -5*z = -0*z - 45. Is z a multiple of 9?
True
Suppose -218 = -0*n - 2*n. Is n a multiple of 10?
False
Suppose t - 2 = -t. Is 10 a factor of (11 - (0 + t))*2?
True
Suppose 0 = -5*s + 5*k + 410, -51 = 5*s + 3*k - 461. Is 11 a factor of s?
False
Let c be 2/(-8) + (-51)/(-12). Suppose c*n - n = 108. Suppose -2*v - v + n = 0. Does 5 divide v?
False
Let s(v) = v**2 + v. Let f be s(-2). Suppose -2*h + 112 = f*h. Is h a multiple of 14?
True
Suppose -3*i + 32 = -2*i. Suppose -3 - i = 5*f. Let a = f + 17. Is a a multiple of 5?
True
Is 47 a factor of (2