r of h?
False
Let t be 25/10 - (-2)/(-4). Let k be t/3*(-30)/(-4). Let h = 49 - k. Is 11 a factor of h?
True
Let c(j) = -j**3 - 6*j**2 - 5*j + 7. Suppose -4*g - 19 = g - 2*n, -g + 3*n + 4 = 0. Let u be c(g). Suppose -p = -u - 8. Is 5 a factor of p?
True
Let m = 14 + -7. Let d(v) = -6*v - 1. Let k(f) = -11*f - 2. Let c(x) = 5*d(x) - 3*k(x). Is c(m) a multiple of 11?
True
Suppose 5*a - 57 = -7. Suppose -r = -58 + a. Does 17 divide r?
False
Suppose 7*n = 3*n - 488. Let x = 182 + n. Let i = 99 - x. Is 12 a factor of i?
False
Let o(b) = -b**3 - 2*b**2 + 5*b - 1. Let a be o(4). Let g be a/(-33) + (-2)/(-3). Suppose 4*s - 78 = -2*w + s, -g*w + 106 = -s. Does 9 divide w?
True
Let z(f) be the first derivative of -8/3*f**3 + 3 - 6*f + 1/4*f**4 - 2*f**2. Is z(9) a multiple of 16?
False
Suppose 2*l = 7*l - 45. Suppose d - g = 1, 2*g - 9 - l = -3*d. Suppose b + 4*r - 47 = 0, -3*b + d*r + 111 = r. Does 15 divide b?
False
Suppose -28 = -85*a + 83*a. Does 35 divide ((-3795)/(-7))/3 - (-4)/a?
False
Suppose -42*y = -63*y + 43386. Is 17 a factor of y?
False
Let f(d) = -23*d + 42. Does 7 divide f(-31)?
False
Suppose -2*t + 45 = 13. Let c be 197/2 - 8/t. Suppose 5*q + c = 7*q. Is q a multiple of 12?
False
Does 11 divide (-248)/6*108/(-24)?
False
Let v = -2 + 17. Let s = 17 - v. Suppose a = -s*h + 235, h - 63 - 56 = a. Does 36 divide h?
False
Let m(h) = 6*h**2 - 5*h**2 - 1 + 54 + 79. Let b be m(0). Let i = b - 78. Does 18 divide i?
True
Let u(d) = d**3 + 28*d**2 - 56*d - 43. Does 18 divide u(-25)?
False
Let p(n) = 7*n**2 - 3*n. Let v be p(-3). Suppose 0 = 4*h - v + 356. Let i = -48 - h. Is i a multiple of 4?
False
Suppose -11*t - 3744 = -20*t. Is t a multiple of 3?
False
Suppose -4*d - 537 = 107. Let a = d - -281. Is a a multiple of 30?
True
Suppose -2*q + 4*d + 1204 - 138 = 0, -5*q + 2*d + 2657 = 0. Is 9 a factor of q?
True
Let j(m) = 17*m + 697. Is 12 a factor of j(15)?
False
Suppose 5*g = 25*g - 4000. Is 25 a factor of g?
True
Let p(t) be the second derivative of -t**6/720 - t**5/24 + t**4/4 - 6*t. Let u(r) be the third derivative of p(r). Is 3 a factor of u(-8)?
True
Let y(s) = -s**3 + 9*s**2 - 9*s + 8. Suppose 8 = b - 0*b. Let k be y(b). Suppose -t + 3*z + 0 + 1 = k, 28 = 3*t - 4*z. Is t a multiple of 6?
False
Let y(w) = -2*w + 4*w + 3 - 3*w + 0. Suppose -5*r - 38 + 3 = 0. Does 10 divide y(r)?
True
Suppose 0 = -16*d + 12*d. Does 17 divide ((-93)/2 - d)/((-6)/8)?
False
Let t be 4/6 + 564/18. Let a = t + -13. Does 9 divide a?
False
Suppose -u + 16 = 3*u. Suppose -17 = -u*k + 39. Is 7 a factor of k?
True
Let c = 10 + -7. Suppose 0 = l + 2*p - 14, c*p = -0*p. Let m = 23 - l. Is m a multiple of 3?
True
Suppose 3*v - 12 = 5*t + 1102, -v = 3*t - 362. Does 23 divide v?
True
Suppose 0 = 83*f - 88*f + 10545. Is 90 a factor of f?
False
Suppose 5*a - 11 = 9. Suppose c = -j - a, 0*c + c + 4 = 5*j. Suppose -4*u + 4 = -j, 0 = -4*f + u + 95. Is f a multiple of 24?
True
Suppose 15*a - 19*a = -7488. Is a a multiple of 51?
False
Let r = 19 + -14. Suppose 264 = r*n - 56. Let o = n + 22. Is 25 a factor of o?
False
Suppose 6*z + 0 = 12. Let b be (-1)/4 - 168/(-32). Suppose j + z*q - 47 = -3*q, 5*q + 85 = b*j. Does 7 divide j?
False
Suppose 0 = -2*l + t - 336, -5*t = 4*l + 448 + 196. Is 10 a factor of l/(-8) - 24/(-96)?
False
Let y(k) = 3*k**2 + 120*k - 79. Does 18 divide y(-48)?
False
Let l(i) = 2*i**3 + 103*i**2 + 40*i + 67. Is l(-51) a multiple of 16?
False
Let u = -715 - -1102. Suppose -2*k = k - u. Let m = k + -77. Does 26 divide m?
True
Let c(h) = 7*h**2 - 11*h - 2. Suppose -2*i - 2*i + 28 = 4*t, -2*t - 10 = -4*i. Let k(p) = 3*p**2 - 5*p - 1. Let l(f) = i*c(f) - 9*k(f). Is l(5) a multiple of 8?
False
Let g = -59 + 145. Let a = g + 90. Does 24 divide a?
False
Suppose 0 = -12*k + 10*k. Suppose 4 = -2*h, a + 3*h - 14 = -k*h. Is 10 a factor of a?
True
Let b = 2146 - 1275. Is 27 a factor of b?
False
Let a(i) be the first derivative of 7*i**3/3 - 3*i**2/2 - 2*i + 6. Let d be a(-3). Suppose -d - 158 = -4*u. Is u a multiple of 19?
True
Let h(k) = 35*k**2 - 33*k + 155. Is h(4) a multiple of 5?
False
Let g(f) = -19*f**3 + f. Let r be g(-1). Let a = r + -13. Does 16 divide 8/a*(26 - 6)?
True
Let t be (-4)/((-20)/15) - -12. Does 9 divide 10/t - (-336)/9?
False
Suppose 28*v = 26*v + 362. Does 37 divide v?
False
Let r = 3071 - 2969. Is 69 a factor of r?
False
Let d(i) = i**2 - 24*i - 166. Is 6 a factor of d(32)?
True
Suppose b = -9*s + 14*s - 576, -s + 120 = -5*b. Does 55 divide s?
False
Let y = -59 + 106. Let m be ((-1)/3)/(4/(-276)). Let v = y - m. Is v a multiple of 6?
True
Suppose -2*u + g + 59 = 0, 9*u = 4*u - 2*g + 170. Suppose -16*p + 26 = -3*p. Suppose 3*b - 86 = -2*b - p*w, -2*b = 2*w - u. Is b a multiple of 6?
True
Let u = -4 + 7. Let g = u - -14. Is g a multiple of 2?
False
Suppose -307*x - 3614 = -309*x. Does 13 divide x?
True
Let m(l) = -8*l**3 - 3*l**2 + 13*l + 32. Is m(-4) a multiple of 5?
False
Suppose 51 + 89 = u. Is u a multiple of 5?
True
Let q(i) = 22*i**2 - 10*i - 8. Let s(b) = -15*b**2 + 7*b + 5. Let m(l) = 5*q(l) + 7*s(l). Is m(-5) a multiple of 27?
False
Suppose -4*o - 573 = -6*o - p, 5*o + p = 1437. Is 32 a factor of o?
True
Suppose 57*i - 60*i = 477. Is 32 a factor of (i/(-6))/(2/4)?
False
Let s = 2490 - 2422. Is 4 a factor of s?
True
Let q(d) = -11*d + 16. Let g(s) be the first derivative of -5*s**2 + 15*s - 5. Let f(m) = -5*g(m) + 4*q(m). Does 10 divide f(7)?
False
Let c(y) = -2*y + 15. Let f be c(6). Suppose 0 = f*l - 2*l - 14. Suppose -k - k = -l. Does 6 divide k?
False
Suppose 5*f = -43 - 2. Let x = 7 + f. Does 2 divide ((-1)/(-3))/(x/(-48))?
True
Let j(u) = u**3 - 2*u**2 + 2*u - 4. Let d be j(3). Suppose -d = -2*t - 4*n + 127, 123 = 2*t - n. Is t a multiple of 12?
False
Let t(c) be the second derivative of -c**3/6 + 17*c**2/2 + 6*c. Let l be t(14). Does 18 divide l + (-1 - -27) + 3?
False
Let g = -1048 - -2968. Is g a multiple of 8?
True
Let r(x) = 2*x + 11. Suppose 16 = 4*f - 0*f. Let v be f/(-10) + (-2)/(-5). Is 3 a factor of r(v)?
False
Suppose 4*c + 6*y = 5*y - 34, -c = -3*y + 2. Let b(k) = k**2 - 7*k - 12. Is 27 a factor of b(c)?
True
Suppose -4*o + 5*y + 168 = -117, 0 = 5*o + 2*y - 315. Is 8 a factor of o?
False
Let m(a) = 1540*a. Let r(l) = 22*l + 36*l - 4*l + 3*l. Let h(q) = -2*m(q) + 55*r(q). Is 26 a factor of h(1)?
False
Let x(l) = l**3 + 16*l**2 + 10*l - 20. Let q = -14 - 0. Is x(q) a multiple of 29?
True
Let d(n) = 25*n + 260. Is d(32) a multiple of 12?
False
Let l(m) = -55*m**3 - m**2 + 5*m + 5. Let h(p) = p**3 + p + 1. Let o(w) = -5*h(w) + l(w). Is o(-1) a multiple of 14?
False
Let w = 3856 - 2151. Is 31 a factor of w?
True
Suppose -l - 5*z = 2*l - 70, -4*l + 70 = 2*z. Suppose -12*r = l - 291. Does 10 divide r?
False
Suppose 8*f - 30 = 23*f. Is 9 a factor of 15/f*12/(-10)?
True
Suppose 3*t = -a - 0*t + 88, 4*a - 373 = -5*t. Is 35 a factor of a?
False
Let k(n) = -27*n - 12. Let p(a) = -a**3 - 4*a**2 - 3*a - 4. Let b be p(-3). Is 24 a factor of k(b)?
True
Suppose 0 = 4*w - 3*p - 3, -26*w + 23*w + 4*p - 3 = 0. Let c = 2 + -1. Suppose 3*z + 5*q - c = z, w*z + 3*q = 15. Is 4 a factor of z?
True
Is 2*(-4 + (-2 - -5))*-55 a multiple of 10?
True
Suppose 0*z - 434 = -5*v - 4*z, v + 5*z = 70. Does 9 divide v?
True
Suppose 4*t = -4*f + 4272, 4*f + t = 5*t + 4288. Is 53 a factor of f?
False
Let s(b) = b**2 + 7*b + 10. Suppose 65 = 5*d - 85. Suppose 4*y + d + 10 = 0. Is 10 a factor of s(y)?
True
Suppose -22*t = 1138 - 6000. Is 13 a factor of t?
True
Suppose -11563 = -5*z + 4*f - 3035, -6841 = -4*z - 3*f. Is 5 a factor of z?
False
Suppose o - 806 = -0*l - 2*l, -l - 4 = 0. Is o a multiple of 8?
False
Suppose 5*v - 1335 - 315 = 0. Is 3 a factor of v?
True
Suppose 5*j - 6 = 14. Suppose j + 11 = c. Is 14 a factor of (-46)/(-345) + 1258/c?
True
Suppose -4 = -i - 3. Is 888/16 + 1/(-2) + i a multiple of 7?
True
Let r(h) = h. Let q be r(-9). Let m = -2 - q. Is m a multiple of 3?
False
Let x(r) = r**2 - 8*r + 7. Let n be x(7). Suppose 3*u + 2 - 5 = n. Suppose 0 = -3*j - 11 - u, 2*w - 48 = -2*j. Is 14 a factor of w?
True
Let f(u) = -u**2 + 21*u - 33. Let k be f(19). Suppose 6*p = k*p + 84. Is p a multiple of 14?
True
Let y be (-52)/(-8) - 1/2. Let m be 25/y + 16/(-96). Suppose 0 = -5*l + 4*s + 221, m*s + 6 + 10 = 0. Is 28 a factor of l?
False
Let g = 70 + -15. Let