 of x(0)?
True
Let i = -105 + 190. Is 27 a factor of -7 + i - 3/(-1)?
True
Suppose 2 = -2*u + 4, 4*p - 47 = -3*u. Let z(h) be the third derivative of h**6/120 - 11*h**5/60 + 7*h**4/24 - 4*h**3/3 + h**2. Does 19 divide z(p)?
False
Does 5 divide 46 - ((-2)/(-18) - (-48)/54)?
True
Let g be (1 - 1/(-1))*-1. Let v be (14 + g)*10 + -4. Suppose -8*k + 12*k = v. Is k a multiple of 16?
False
Let v(i) be the third derivative of -i**5/60 + i**4/8 + i**3 + i**2. Let j(d) = -d + 1. Let y(h) = -6*j(h) + v(h). Is 13 a factor of y(5)?
False
Let w be (-1 + 0)/(1/(-4)). Let d(z) = -6*z - 9. Let v(s) = -18*s - 26. Let p(h) = 11*d(h) - 4*v(h). Is 10 a factor of p(w)?
False
Let i(z) = z**3 + 3*z**2 - 13*z - 27. Let y be i(-4). Suppose 1 = u - 1. Suppose 0 = 3*b - 2*w - 19, u*w = -3*b - w + y. Does 5 divide b?
True
Let a = 15 - 12. Suppose 2*d + 6 = a*k, 4*d - 3 = -5*k + 7. Suppose -s + 13 = 2*j, 0 = -3*s - 15 - d. Does 3 divide j?
True
Let d be (-3720)/(-18) + -2*2/(-12). Suppose 3*b + 2*b - 2*w - d = 0, -5*w - 23 = -b. Is b a multiple of 3?
False
Let i(l) = l**2 - 6*l + 4. Let y be i(4). Is 2 a factor of (-2)/(y - 104/(-28))?
False
Let s be 8*(4 - 4 - 1). Let h be 0*(-4)/s*-2. Suppose -3*c - c + 352 = h. Is c a multiple of 15?
False
Let j = -85 + 88. Suppose -3*o - 65 = -y + 5, 3*o - 210 = -j*y. Does 10 divide y?
True
Suppose -1 = -4*d - 25. Let a(p) = p**2 + 3*p + 4. Let x be a(d). Suppose -26 = -2*j + x. Is 6 a factor of j?
True
Let a(s) = -2*s**2 - s + 4. Let z be a(-4). Let k be (z/42)/(6/(-21)). Suppose 2*j + 2*w = 144, 2*w + 2*w = -k*j + 152. Is 17 a factor of j?
True
Suppose 0 = -5*k + 55*k - 22400. Does 8 divide k?
True
Let p = 283 + 255. Suppose -11*h - 164 + p = 0. Is 15 a factor of h?
False
Let c(i) = 20*i - 8. Let x be c(14). Suppose 5*g - x = 3*g. Is 8 a factor of g?
True
Let b be (-96)/18 + (-6)/9. Let f = 51 + b. Let p = 111 - f. Is p a multiple of 33?
True
Is 39 a factor of (1259 - 0) + 902/(-82)?
True
Suppose 2*t - t - 161 = 2*g, -3*t + 501 = 3*g. Is 5 a factor of t?
True
Let o be 0/2 + (2 - 0). Let u(n) = -n**2 + 14*n - 1. Let d be u(10). Suppose -d = -r - o*r. Is 13 a factor of r?
True
Suppose -u + 4*w = -4*u - 43, w + 4 = 0. Let v = 5 + u. Does 13 divide (-159)/v + 3/(-4)?
True
Let q be (6/(-4))/((27/(-16))/9). Suppose -h + q + 48 = 0. Is h a multiple of 5?
False
Let i(r) = 5*r**3 - r + 1. Let x be i(1). Suppose 0 = -3*n - 5*t + 230, -50 = 3*n - 4*n + x*t. Is n a multiple of 7?
True
Let b(o) = -31*o - 230. Does 38 divide b(-17)?
False
Let k(v) = -5*v - 17*v + 11*v - 18. Is 6 a factor of k(-6)?
True
Let l(p) = -12*p + 1. Let c be l(-1). Let k = -28 + 48. Suppose -t + k = -c. Is 7 a factor of t?
False
Let i = -22 - -93. Is 71 a factor of i?
True
Suppose 39*p - 55*p + 1040 = 0. Is p a multiple of 13?
True
Let y(f) = 2*f**2 + 17*f + 4. Let z be y(-12). Suppose 0 = 24*v - 26*v + z. Is 44 a factor of v?
True
Is 43 a factor of (47/(-4) - -1)/(17/(-1564))?
True
Suppose 146 = -5*f - 89. Let z = f + 90. Does 23 divide z?
False
Let k = -1079 - -1707. Suppose 21 + k = 11*u. Is u a multiple of 5?
False
Let x = 5393 + -2168. Is x a multiple of 25?
True
Suppose -5*l + x + 5 + 11 = 0, 3*x = -l. Suppose 2*h = a + 2, 0 = l*a + 2*h - 4*h + 18. Let u(w) = -w**3 - 8*w**2 - 3*w - 3. Is u(a) a multiple of 7?
True
Let t(o) be the second derivative of o**5/5 - 4*o**4/3 + 2*o**3/3 + 5*o**2 - 24*o. Does 17 divide t(5)?
False
Let k(a) = -59*a**3 + 2*a**2 + 9*a - 12. Is 11 a factor of k(-3)?
False
Suppose -5*o + 3*o + 4*y + 24 = 0, -25 = -5*o + 3*y. Let z(d) = 0*d - o*d - d + 28 + 4*d. Is 7 a factor of z(0)?
True
Suppose 124 = -0*v + 2*v. Does 2 divide v?
True
Let y(v) = -4*v + 33. Suppose -4*r - f - 58 = f, -5*f - 15 = 0. Does 17 divide y(r)?
True
Let l(q) = -3*q**2 + 1. Let o be l(1). Let h(t) = t**2 + 6. Let m be h(-7). Is o/(-8) - m/(-4) a multiple of 4?
False
Let r be (-42)/(-8) + 2/(-8). Suppose -3*a + 62 = k + 1, 3*k = r*a + 113. Does 6 divide k?
False
Let r(d) = -d**3 - 5*d**2 - 13*d - 23. Is 7 a factor of r(-8)?
True
Let u = 2663 + -1563. Does 11 divide u?
True
Suppose 13*p = 10*p + 6. Suppose -2*a = p*a - 104. Is a a multiple of 8?
False
Let b = -4 + 6. Let j be b - (-1 + 0)*1. Suppose 2*v + j*v - 250 = 0. Does 13 divide v?
False
Let v(r) = -5*r + 16. Let n(b) = -b**3 - 2*b**2 + 9*b. Let m be n(-4). Is 12 a factor of v(m)?
True
Does 7 divide (1470/(-40))/((-582)/(-120) + -5)?
True
Let o(n) = -85*n + 13. Let p be o(-3). Suppose 4*r - 888 = -p. Does 31 divide r?
True
Suppose 7*o = 172 + 556. Is 4 a factor of o?
True
Let n be 2*(2 + 93/(-6)). Let x = 19 - n. Does 23 divide x?
True
Suppose -7*c + 12*c - 320 = 0. Suppose -4*r = -8 - c. Does 4 divide r?
False
Suppose -3*f + 0*d - d + 17 = 0, 4*f - 30 = -5*d. Let p = 16 - f. Is p a multiple of 4?
False
Suppose 2*q = -2*k - 0*k + 218, -5*q + 3*k = -513. Does 15 divide q?
True
Let k be (2 - 82)/4*-1. Let t be (-8)/k - (-97)/5. Is 20 a factor of t + 2 - (-2 + 3)?
True
Suppose 432 = 17*z - 9*z. Is 43 a factor of z?
False
Let a(f) = f - 10. Suppose 48 = 2*h + k + 15, -2*k - 60 = -5*h. Let p be a(h). Suppose -4*i - n = n - 128, -p*i + 108 = -3*n. Is i a multiple of 12?
False
Suppose 37 = -3*m + 43. Suppose 0 = -4*g - m*z + 266, 3*g + 2*z - 152 - 45 = 0. Is 19 a factor of g?
False
Let a(s) = 2*s**2 - 10*s + 5. Let u be (15 - 12)/(3/5). Suppose 3*z = u*l - 23, 5*z = l + 2*l - 1. Is a(l) a multiple of 11?
True
Suppose 3*b - 3*d + 7*d = 69, 0 = 5*b + 5*d - 110. Suppose b = -4*v + 91. Let q = v - 6. Does 7 divide q?
False
Let u(x) = -18*x**2 + x - 1. Let s be u(2). Is 13/6 + -2 - s/6 a multiple of 2?
True
Suppose -5*q = l - 29, -4*l - 2*q - 3*q = -56. Is l/(-6)*672/(-18) a multiple of 28?
True
Suppose 0 = -v - 3, v = 5*z - 9 - 4. Suppose 0 = -5*o - 0*o + 90. Is o + (-4 - -6) + z a multiple of 5?
False
Let c = -25 + 28. Suppose -c*j + 136 = -2*j. Does 17 divide j?
True
Let m(q) = q**3 + 3*q**2 + 2. Let b be m(-3). Suppose b*t - 11 - 29 = 0. Does 10 divide t?
True
Let s be (84/35)/(6/220). Suppose 0 = -4*x + x - 5*v + s, 0 = -3*x + 3*v + 48. Suppose -3 = 2*h - x. Is 3 a factor of h?
True
Suppose 12*g - 43 = 29. Suppose g*i - 654 = 1182. Does 34 divide i?
True
Let j(b) = 60*b + 3456. Is j(0) a multiple of 16?
True
Let r(t) = t**2 + 10*t + 38. Suppose -4*x - 14 = -2*b, 3*x = 7*x + 5*b + 35. Is r(x) a multiple of 13?
True
Suppose -3*a + 364 = -224. Is a a multiple of 22?
False
Suppose 19*f = -3*n + 22*f + 996, -3*f = -4*n + 1326. Is 33 a factor of n?
True
Let f(r) = 2*r**3 - 18*r**2 - 29*r - 72. Is 78 a factor of f(14)?
True
Let t(f) = 27*f**2 + 71*f - 562. Is t(8) a multiple of 18?
False
Let x = -20 - -24. Suppose 0 = -x*h + 37 - 17. Is h a multiple of 2?
False
Suppose -u - 5 = -2*s, -5*s + 3*s = 2*u - 14. Let i(c) = 14*c + 10 + 3*c + c - 9. Is i(s) a multiple of 16?
False
Let b be (42/126)/(1/21). Let k(t) = 9 + 8*t**2 - t**3 - 2 + 4. Is 30 a factor of k(b)?
True
Let a(h) = h**2 + 10*h + 6. Let y be a(-9). Let b = y - -17. Is (-14)/(-4)*(b + -4) a multiple of 25?
False
Let h(o) = 4*o**2 - 2*o + 2461. Does 11 divide h(0)?
False
Let r = 277 + -160. Suppose -4*k - 185 + 26 = -5*p, 3*p + 3*k = r. Does 8 divide p?
False
Suppose j + 73 = u, -4*u + 3*j + 68 = -223. Is 17 a factor of u?
False
Suppose -5*y = -p - 1163, 3*p + 479 = 2*y - 2*p. Suppose -h + 4 = 0, 4*j + 0*j = -4*h + y. Is 9 a factor of j?
True
Let d = 94 - -39. Does 5 divide (-19)/d - 680/(-7)?
False
Let o be 8/(-6)*618/(-4). Let n = o + -126. Does 20 divide n?
True
Let r = -9 - -12. Does 8 divide (-3 - (1 + -7))*40/r?
True
Let g(a) = 15*a**2 - 33*a + 19. Let d(s) = -7*s**2 + 16*s - 9. Let j(y) = 13*d(y) + 6*g(y). Suppose 0 = 5*n - 20, t - 13 = -2*t + 2*n. Is 18 a factor of j(t)?
True
Suppose 694 = 56*u - 54*u. Is u a multiple of 2?
False
Let x(s) = -s - 6. Let n be x(-6). Let k be n + (-2 - -2)/4. Suppose 5*z + 72 + k = 4*t, -3*z = 4*t - 40. Is t a multiple of 5?
False
Let f(q) = -28*q**2 - 3*q - 2. Let o be f(-1). Does 18 divide 40 + 9/(o/12)?
True
Let q be -1*3/6*-8. Suppose -2*g = -24 + q. Is 10 a factor of g?
True
Suppose -5*x - 35 = 5*n, 0*n - 13 = 3*x + n. Let h(a) = 9*a**2 + 7*a + 12. Is h(x) a multiple of 8?
True
Let x(i) = 5*i**2 - 3*i + 1 + 4*i - 2. Let l be x(1). Suppose -11 = -5*p - 3*n, -l*p = 5*n - 0 - 5. Is p a multiple of 3?
False
Suppose 0 = -5*v + 2*z - 