actor of b(v)?
False
Suppose -5*f + 25 = -2*a, 0 = -2*f + 2*a - a + 9. Suppose f*z - 45 = -2*p + 2*z, -135 = -5*p - 5*z. Does 15 divide p?
True
Let n(i) = -6*i**2 + 25*i**2 - 2*i + 13*i**2 + 1 - 3*i**2. Let g be n(1). Suppose 5*r = 62 + g. Is 18 a factor of r?
True
Suppose -3*f - 3*j + 64 = 16, f - 2*j = 1. Suppose 18 = 5*d - 62. Suppose d = 3*w - f. Is 9 a factor of w?
True
Suppose -80*h + 70*h = -30840. Does 20 divide h?
False
Let i(f) = f - 13. Let t be i(9). Let d be (-5)/(-1) - t/(-2). Suppose 20 = 2*n + 4*s + 6, s = d*n - 7. Is 2 a factor of n?
False
Let f be 15 + (0/(-4) - -1). Let m = f + -14. Is m + -3 + (27 - -2) a multiple of 14?
True
Let m = 74 + -65. Let p(q) = q**3 - 8*q**2 + 0*q + 2 - 8 - 7*q. Is 6 a factor of p(m)?
True
Is (2 - 6)/(3/(-90)) a multiple of 20?
True
Let n = 976 + -328. Does 81 divide n?
True
Suppose -11*i + 104832 = 61*i. Is 104 a factor of i?
True
Let n(d) = -308*d - 630. Is 88 a factor of n(-13)?
False
Suppose 4*w = -4*h + 120, -h - 28 = -3*w + 2*w. Let d be (w - -3)/2 - -3. Suppose 234 - d = 5*u. Does 12 divide u?
False
Let m = 178 - -210. Let h = m + -260. Does 5 divide h?
False
Suppose -37*t + 59*t - 15730 = 0. Does 12 divide t?
False
Let b(d) = 8 + 2*d**2 + 4*d + 6*d + 4 - d**2. Is b(-10) even?
True
Suppose -6*y + 25 + 5 = 0. Suppose 5*t = y*b - 40 - 95, 2*b - 84 = -4*t. Is b a multiple of 18?
False
Let u(a) = -6*a - 34. Let o = -35 - -21. Is u(o) a multiple of 21?
False
Let v = -307 + 465. Is v a multiple of 2?
True
Suppose -f + 3*d = -41, 3*f = f + 2*d + 102. Let b = f - 39. Does 2 divide b?
False
Let d(h) = h**3 + 9*h**2 + 7*h - 1. Let k be d(-6). Is (-104)/k*(-170)/4 a multiple of 22?
False
Let g(d) be the second derivative of -d**5/20 + 151*d**2/2 - 3*d. Let h be g(0). Suppose 4*p - h = 33. Does 11 divide p?
False
Suppose -5*p - 3*i + 5119 = 0, 0 = 5*p + 3*i - 6*i - 5131. Is p a multiple of 25?
True
Let c(k) = -k**3 + 15*k**2 - 24*k + 31. Is 15 a factor of c(13)?
False
Let z(b) = 8*b - 2. Let h be z(-2). Suppose -121 - 29 = -5*o. Let k = h + o. Does 4 divide k?
True
Suppose 6*s - 3*s + 19 = l, 5 = -s. Suppose 64 = 4*p - l*f, -5*p - 4*f - f + 50 = 0. Does 8 divide p?
False
Let l(j) = j**3 - 12*j**2 + 13*j - 19. Let d be l(11). Suppose -5*n + 4 = -11, 53 = 2*c - d*n. Does 25 divide c?
False
Let v = 111 - 77. Is v a multiple of 9?
False
Let v = 390 - -1548. Is v a multiple of 17?
True
Does 21 divide -2*(4/8)/((-2)/42)?
True
Suppose 2*z - 3 - 11 = 0. Let o = z - -13. Does 10 divide o?
True
Let f(p) = p**2 + 3*p. Let i be f(-5). Let d = i - 8. Suppose 0 = -b + d*b - 5. Is 2 a factor of b?
False
Let o(a) = a**2 + 3*a - 5. Let p be o(-5). Suppose 5*c = 5*u + 15, 0 = 4*u + u - p. Is (5/2)/(c/8) a multiple of 4?
False
Let w be (4/2)/(-2) + 3. Let g(z) = -3*z**2 - 61*z + 14. Let d be g(-20). Let v = d - w. Does 8 divide v?
True
Let c(s) = s**2 + 9*s - 17. Let u be c(-11). Suppose u*y = -y + 180. Is y a multiple of 10?
True
Suppose 0 = 5*o, -9*p = -8*p + o - 92. Is p a multiple of 4?
True
Is 8 a factor of -6*3/42 - 354/(-42)?
True
Let h = -3 + 8. Let a be 8/h - 4/(-10). Suppose -4*g - 3*k + 231 = 0, a*g - 112 = -0*k + 2*k. Is g a multiple of 14?
False
Let u = -1 + 5. Suppose -50 = -5*m + 5*o, 7*m - 2*o - 27 = u*m. Suppose l = -m + 53. Does 23 divide l?
True
Suppose -8*q - 13066 + 46722 = 0. Does 43 divide 1/7 + q/49?
True
Suppose 2*n = -0*n + 4. Suppose 0*w = -n*w. Suppose 4*q + 3*g - 21 = w, -q - 3*q = -5*g + 3. Does 2 divide q?
False
Let u(f) = -5*f + 283. Is u(12) a multiple of 6?
False
Let s be (-1)/(1/(-32)) - -1. Let h = 121 - s. Suppose 4*v - 3*w = h, -107 + 20 = -5*v - 2*w. Is 19 a factor of v?
True
Let o = -555 + 691. Is o a multiple of 13?
False
Suppose -11*x + 3*x = -16. Suppose 0 = -x*s - 12*s + 2520. Is 18 a factor of s?
True
Suppose 9*f - 10*f + 10 = 0. Let s = f - 8. Suppose -2*q = -8*x + 3*x - 63, -s*x - 48 = -2*q. Does 9 divide q?
False
Suppose -4*q + 38 = 30. Suppose 0 = -q*f - 2*m + 96, -f - 167 = -5*f + m. Is f a multiple of 14?
False
Let h = 3 + -17. Let p be (9 + h)/(2/14). Does 9 divide ((-28)/p)/(1/55)?
False
Let d = -47 + 85. Is 3 + (-14*1)/((-4)/d) a multiple of 17?
True
Suppose 47*m - 626 = 878. Is m a multiple of 32?
True
Suppose -r = -2*n + 5*n + 179, -4*n - 243 = -3*r. Does 25 divide 46/(n/(-25) + -2)?
False
Suppose -i = -2*q - 4, 7*q = 4*q + 2*i - 6. Let t be 41 - ((-5 - q) + 0). Let w = t - 28. Does 4 divide w?
True
Let g be 24/14 - 2/(-7). Let t(v) = 18*v**2 + 20*v + 20. Let p(u) = -6*u**2 - 7*u - 7. Let a(f) = 17*p(f) + 6*t(f). Is a(g) a multiple of 11?
False
Suppose -3*m - 3*g + 57 = 0, -3*g = 2*m + g - 48. Is m a multiple of 4?
False
Let w(x) = 5*x**2 - 6*x + 8. Let h(u) = -u**2 + u - 1. Let n(b) = 4*h(b) + w(b). Is 19 a factor of n(5)?
True
Suppose -4446 = -16*f + 1602. Is f a multiple of 42?
True
Suppose -9 = 5*b - 2*b. Let u be ((-9)/(-4))/(b/12). Let q(c) = c**3 + 8*c**2 - 12*c - 1. Is 13 a factor of q(u)?
True
Suppose -7*v + 8*v + 11 = 0. Let b(s) = -s**3 - 10*s**2 + 9*s - 7. Is 4 a factor of b(v)?
False
Let g(v) = -2*v**2 - 32*v + 58. Does 21 divide g(-11)?
True
Let q(n) = 9*n**2 - 25*n - 35. Is q(-14) a multiple of 63?
True
Let y(m) be the first derivative of -m**4/4 - 10*m**3/3 - 6*m**2 - 4*m - 15. Is y(-9) a multiple of 3?
False
Suppose 3*t - 560 = 5*m, m + 6 - 2 = 0. Is t a multiple of 30?
True
Let z be -126*(-3)/(-15)*(-10)/2. Let q = z + -66. Does 20 divide q?
True
Let s(x) = -2*x - 5. Let o be s(-7). Let z be -19*(0 + 4 - 5). Let g = z - o. Is 5 a factor of g?
True
Suppose 5*z - 14 = 6*z. Let w = z + 115. Is 13 a factor of w?
False
Suppose 0 = -12*n + 4*n + 96. Is 34 a factor of 2/n + (-3129)/(-18) + -4?
True
Suppose -l + 4*r + 86 = 0, 3*r + 2*r - 20 = 0. Is 51 a factor of l?
True
Suppose -m - 54 = -386. Is m a multiple of 83?
True
Suppose -4*l = a - 178, 0*l + 5*a + 78 = 2*l. Let s(p) = 1 - 46*p - 3 + l*p. Is 8 a factor of s(-9)?
True
Let g be (-3 + 3)/(6 - 2). Suppose 4*h - 7*h + 243 = g. Does 14 divide h?
False
Let d(y) = -y**3 + 9*y**2 - 2*y + 9. Let l be d(9). Let g = l + 8. Does 7 divide 36 + g - 4 - 3?
True
Let y(r) = 3*r**2 - r**3 + 2*r**2 + 5*r - 6 + 5*r + 2*r**2. Let a = 13 - 6. Is 16 a factor of y(a)?
True
Let q(l) = -l**2 - 19*l - 28. Let z be q(-23). Let m = z - -232. Does 16 divide m?
True
Suppose -m + 172 = -0*m - 3*o, 174 = m - o. Suppose -4*q + m = 43. Is 3 a factor of q?
True
Let m(v) = -26*v - 2 + 14*v + 11*v. Let j be m(-1). Is 4 a factor of 5*j/(-1) - -3?
True
Let j = -2 - -2. Let f be (-2)/(-5)*180/18. Suppose j = -5*k - 10, 6*h = f*h - k + 26. Does 2 divide h?
True
Let l(a) be the first derivative of 7*a**2 - 1/3*a**3 - 11*a - 3. Is 18 a factor of l(9)?
False
Let p(g) = g**3 + 3*g**2 - 3*g - 6. Let j be p(-3). Suppose 5*u = j*n - 4*n + 117, 97 = n + u. Is 23 a factor of n?
True
Let p(s) = 23*s + 3. Let l be p(2). Let q = -14 + l. Does 7 divide q?
True
Let j = -187 + 935. Does 68 divide j?
True
Suppose 2*k - 6*k = -12. Suppose 2*i = k*i - 441. Is 5 a factor of i/45 - 1/(-5)?
True
Let t be (-2076)/(-30) + 2/(-10). Let f = -52 + t. Is f even?
False
Suppose 0 = z - 5, 5*z = 3*a - 0 + 13. Suppose 0 = h + a*j - 97, 4*h + 4*j + 7 = 419. Is h a multiple of 35?
True
Let f(i) = i**3 - 10*i**2 - 7*i - 6*i**2 + 11*i**2 - 17. Let h be f(7). Suppose -4*t = -8 - h. Does 2 divide t?
True
Let o(s) = s**2 - 21*s - 49. Suppose -2*r + 64 = -5*d, 3*r - 3*d - 89 = d. Does 31 divide o(r)?
False
Suppose -10 = n + 2. Let o be 21 + 3/(n/(-8)). Let a = 40 - o. Is 17 a factor of a?
True
Let o(h) = -5*h**3 + 4*h + 3. Let y be o(-2). Let d(i) = 5*i + 95. Let f(u) = -u - 16. Let j(g) = y*f(g) + 6*d(g). Does 20 divide j(-10)?
True
Let b(d) = -5*d**3 + 24*d**2 + 16*d + 25. Let j(y) = 3*y**3 - 16*y**2 - 11*y - 17. Let h(l) = -5*b(l) - 8*j(l). Does 4 divide h(-6)?
False
Let s = -91 - -646. Does 15 divide s?
True
Let p = 253 - 163. Is 9 a factor of p?
True
Suppose -55*q + 34*q + 28749 = 0. Is 21 a factor of q?
False
Let j(r) = 3*r**2 - 2*r - 6. Let m(s) = -s**2 - s. Let z(i) = -5*i**2 - 11*i + 1. Let d(o) = 6*m(o) - z(o). Let f be d(4). Is j(f) a multiple of 15?
True
Let p = 592 + -295. Is p a multiple of 29?
False
Let d(c) = -7*c + 1. Suppose 3*k + 2*q = 7*k - 8, 12 = -k - 3*q. Let g = k + -1. Is d(g) even?
True
Let f = -16 + 15. Let d(q) = q**3 + 11*q**2 + 4*q - 1. Let b 