 factor of 1/(2/(-8)) - (86 + i)?
False
Let x(h) = 310*h**2 - 7*h - 51. Is 97 a factor of x(-5)?
False
Let k = 793 + -765. Is k a multiple of 2?
True
Let r = -950 + 12542. Is r a multiple of 42?
True
Let n(y) = -127*y + 29. Let i be n(-3). Suppose -490 = -3*u - 4*p, 3*p + i = 5*u - 397. Is u a multiple of 81?
True
Let h(f) = -164*f**3 - f - 1. Suppose -4*z + 5*p = -196, -4*z + 0*p + 196 = 4*p. Let k = z + -50. Does 35 divide h(k)?
False
Suppose 150*s = 67*s + 149400. Is 8 a factor of s?
True
Let w = -6 + 8. Suppose -w*h + 84 = 3*l, 101 = -l + 5*l - h. Let z = l + -21. Is 5 a factor of z?
True
Suppose -2*b = -8*b - b. Suppose b = 2*v - v - 5*o - 18, -5*o - 39 = 2*v. Is 8 a factor of (-191)/v - (-11)/(308/(-8))?
False
Let t(n) = -2*n**2 - n - 17. Let m(x) = 3*x**2 + x + 17. Let h(b) = 4*m(b) + 5*t(b). Suppose -2*z + 18 = 3*k, 4*z - 18 = k + 18. Does 17 divide h(z)?
True
Let c be 5/(-2)*40/(-50). Let b(a) = 61*a**2 + 21 + 2*a - 22 + 33*a**c. Is 11 a factor of b(1)?
False
Is ((-16)/28)/(46/(-139265)) a multiple of 3?
False
Let d be ((6/4)/3)/((-1)/(-10)). Suppose 5*v = -2*k + d*k + 134, -k - 38 = -3*v. Let p = 75 + k. Is 16 a factor of p?
False
Suppose 5*u + b = -92, 2*b + 33 + 43 = -4*u. Let s = 22 + -58. Let g = u - s. Is 12 a factor of g?
False
Suppose -44213 = -5*v - 2*p, -v - 4563 = 5*p - 13401. Does 70 divide v?
False
Let u = 36 - -150. Is (6 - (-22)/(-4))*u a multiple of 3?
True
Let f(l) = -3197*l - 154. Does 17 divide f(-1)?
True
Let z = -27 - -17. Is 12 a factor of 86/((65/26)/(z/(-8)))?
False
Let b(z) = -7*z**3 - 26*z**2 + 65*z - 19. Let c(j) = -6*j**3 - 24*j**2 + 66*j - 17. Let t(a) = 5*b(a) - 6*c(a). Is t(-15) a multiple of 18?
False
Is (-29)/(-261)*27 + (0 - -830) a multiple of 3?
False
Suppose -q - 2 = -a - 6*q, 0 = 3*a + 4*q - 6. Let s be 50/a + -7 + 2. Does 24 divide 170 - (s/30 + 8/6)?
True
Let z = -22 - -25. Let n = -27 + 40. Suppose n = -z*g + 100. Does 15 divide g?
False
Suppose m + 127 - 38 = -r, -2*r + 4*m - 160 = 0. Let l = r - -176. Is l a multiple of 15?
True
Suppose 0 = -49*q + 48*q + 1. Let z = 10 - q. Suppose z*n + 130 = 742. Does 10 divide n?
False
Let r(w) = -w**3 - 12*w**2 - 2*w - 14. Let i be r(-12). Suppose -732 = i*v - 14*v. Is 25 a factor of v?
False
Is 27 a factor of (-675)/95 + 7 - 216946/(-38)?
False
Suppose -260 = -537*c + 538*c. Let n = -7 - c. Is 21 a factor of n?
False
Suppose 403*z + 202*z - 28277700 = 0. Does 228 divide z?
True
Let j = 44 - 38. Let k be 7 - j*(-3)/(-6). Suppose -3*h + 116 = 5*w, -2*h = k*w + h - 94. Is w a multiple of 8?
False
Let x(k) = 1435*k + 998. Is x(12) a multiple of 27?
False
Let h(m) = 19*m + 199. Let d be h(-10). Suppose 0 = 2*u + 6, p - 540 = 5*u - d*u. Is p a multiple of 46?
True
Let f be 233/4 + (-2)/8. Let k be 18*1/(-3)*-48. Suppose k = f*d - 56*d. Is d a multiple of 12?
True
Let k(q) = q**2 + 3*q - 7. Let y be k(2). Suppose -5*l + 695 = -5*h + y*h, -4*l - 3*h = -556. Let o = -8 + l. Does 10 divide o?
False
Suppose -34*u = 8803 + 3947. Let s = u - -1642. Is s a multiple of 12?
False
Suppose 76 = 4*m - k, m - 12 = -0*m + 2*k. Let f be 5*2*4/m. Suppose 4*y = -4*v + 152, 9*y - 204 = 4*y + f*v. Is 8 a factor of y?
True
Let c be -5 - (2 + 76 + -5). Let n = c - -85. Suppose n*z - 469 = 35. Is 6 a factor of z?
True
Let h = -11784 + 11788. Suppose 0 = -4*q + 3*t - 136 + 590, -4*q - 5*t = -438. Is 31 a factor of 7/(q/124)*h*4?
True
Let j = 840 - 541. Let b = j - 251. Does 2 divide b?
True
Let t(u) be the first derivative of 26*u**3/3 + 9*u**2 - 66*u + 93. Is t(3) a multiple of 26?
False
Let j = -1491 - -1494. Let v(d) = 4*d**2 - 4*d + 5. Let c(q) = -7*q**2 + 8*q - 11. Let w(n) = 6*c(n) + 13*v(n). Does 11 divide w(j)?
True
Let c(p) = p**3 + 4*p**2 - p - 1. Let s be c(-4). Let u be ((-6 + 4)*s)/(-2). Suppose -u*j + o = -18, -j - 4*j = 3*o - 44. Is 2 a factor of j?
False
Suppose -2*g = -2*v - 68, 32*v - 50 = -g + 29*v. Suppose 2*b - 3*z - 9 = -0*b, g = 4*b - 2*z. Does 3 divide b?
True
Let v(p) be the first derivative of -p**4/4 + 3*p**3/2 + 9*p**2/2 - 5. Let x(o) be the second derivative of v(o). Does 8 divide x(-7)?
False
Suppose -12 = -3*q, -5*c + 311 = q - 2*q. Does 13 divide 4928/c - (-12)/(-54)?
True
Let t(a) = -a**3 - 13*a**2 - a + 4. Let r be t(-10). Let p = -211 - r. Is p a multiple of 5?
True
Suppose 0*l + 20 = 4*l. Suppose 156 = 3*x + x. Suppose 6*k = 3*k + l*b + x, 0 = 4*k - 2*b - 52. Is 13 a factor of k?
True
Suppose -16*b = 2 - 8754. Suppose -2*j = -r + 88 + 76, 5*j = -3*r + b. Is 29 a factor of r?
True
Suppose -192*l - 223*l = -22388835. Is 158 a factor of l?
False
Let i(q) be the first derivative of 7*q**3/3 - 7*q**2 + 75*q + 230. Is 18 a factor of i(5)?
True
Let o(p) = -8*p + 3*p + 4*p**2 - 1 - p**3 + 9*p**2 - 14*p. Let d be o(8). Suppose -11*f = -12*f + d. Is f a multiple of 17?
False
Let r = 1560 - 1475. Suppose 22 + 318 = -5*v. Let i = r + v. Is 2 a factor of i?
False
Let y(d) = 2*d**3 + 17*d**2 + 6*d - 60. Does 40 divide y(12)?
False
Is 34 a factor of 18*(14/(-63) + 22856/36)?
True
Let o = 31 - 27. Suppose -4*t - 24 = -o*z, -4*z - 1 = 5*t + 2. Suppose 5*y = 3*n + 1052, -5*y + 2*y + z*n + 636 = 0. Is 43 a factor of y?
False
Let w(z) = 8*z**2 + 41*z + 169. Does 9 divide w(20)?
False
Let g = -3168 - -3846. Is g a multiple of 29?
False
Let q = 15 - 9. Suppose -13*y - 3*w - 8 = -14*y, 4*w - 32 = -4*y. Suppose -p - q*v + y*v - 2 = 0, 0 = -4*v + 16. Is p a multiple of 3?
True
Let y = 7589 + 7842. Is 53 a factor of y?
False
Let r(z) = z**3 + z - 1. Let l(f) = 2*f**3 - 2*f**2 + 3*f - 10. Let q(u) = -l(u) + 4*r(u). Let m = -6174 + 6177. Does 6 divide q(m)?
False
Let a = 6802 - 4690. Is 11 a factor of a?
True
Let u(y) = -y**3 - 6*y**2. Let v be -5 - ((-2)/4)/((-2)/4). Let g be u(v). Suppose -3*w + 17 + 37 = g. Does 6 divide w?
True
Let x = -403 + 407. Suppose 5*o - 13*g = -18*g + 895, 0 = -3*o - x*g + 533. Is 14 a factor of o?
False
Let c(z) = 9*z**3 - 12*z**2 + 9*z + 200. Is c(19) a multiple of 26?
False
Let l be (14/(-4) - -3)*0 + 3. Suppose -2*u - 18 = -j, -3*u - 39 = j - l*j. Is j a multiple of 8?
True
Suppose -52148 - 13563 - 97385 = -38*q. Is q a multiple of 29?
True
Suppose 43155 = 3*u + 29*x - 24*x, -x - 71897 = -5*u. Is 42 a factor of u?
False
Suppose -r - x = r - 18, -r + 8 = x. Suppose -r*o + 2464 - 64 = 0. Is o a multiple of 10?
True
Let l(d) = 291*d - 250*d - 50 - 13 + 429*d - 3. Is l(2) a multiple of 46?
True
Suppose b - 19387 = -5*i + 5113, -3*b - 5*i + 73480 = 0. Is 29 a factor of b?
False
Let q = 69 - -62. Suppose 14*z - q = 65. Is z a multiple of 14?
True
Suppose -18 = 9*n - 3*n. Let m be 3 + n*(-2)/(-3) + 140. Suppose 2*b + m = d + 479, -3*b - d + 517 = 0. Is 27 a factor of b?
False
Suppose 34*d = 33*d - 229. Let c = 34 - d. Does 59 divide c?
False
Suppose 0 = 4*q - v - v - 10738, -q = -2*v - 2689. Suppose 21*g = 257 + q. Is g a multiple of 10?
True
Let s(v) = -68*v + 972. Is s(-10) a multiple of 6?
False
Let z be 3*(-4)/((-60)/245). Let s be (-14)/z + 4/14. Suppose s = -7*w + 18*w - 66. Is 4 a factor of w?
False
Let d(j) = -10*j + 2. Let c(y) = 1. Let t(u) = 2*c(u) - 2*d(u). Let v be ((-6)/9 + 1)*3. Is 9 a factor of t(v)?
True
Is ((-4)/5)/((-779)/29477360) a multiple of 88?
True
Suppose -3*l - 9 = -i, -5*i - 3*l + 39 = -6. Suppose -13*q + i*q = -440. Is 10 a factor of q?
True
Let d be 6/(-3 - (104/34)/(-1)). Let j = d + -148. Let l = 142 + j. Is 24 a factor of l?
True
Let p = -259 - -261. Suppose -3*f - n - 4*n + 594 = 0, -p*f + 396 = 3*n. Is 66 a factor of f?
True
Suppose 352 = 3*g - 3*a - 440, 5*g - 1356 = -4*a. Suppose 4*u - g + 88 = 0. Does 3 divide u?
True
Let k = -22 - -26. Suppose 6*t - 3410 = -k*t. Is 23 a factor of t?
False
Suppose 0 = -4*t + 4*p - 1164, -21 = 4*p - 1. Does 8 divide 6/4*(t/(-12) + 2)?
True
Let t(b) = 283*b**2 + 27*b + 12. Is t(-3) a multiple of 6?
True
Suppose 39*f - 64*f + 73500 = 0. Is f a multiple of 15?
True
Suppose -4*s = -0*w - w + 5622, -5*s = -3*w + 16901. Suppose h = 15*h - w. Is 7 a factor of h?
False
Suppose -3*d - 42*k = -45*k - 3342, 0 = -3*d + 4*k + 3342. Is d a multiple of 21?
False
Let o(p) = -59*p + 1354. Is o(-40) a multiple of 12?
False
Suppose 4*k - 21628 = -2*u, k = 24 - 23. Does 51 divide u?
True
Suppose 5*t = 4*a - 1388, 1412 = -5*t - 5*a + a. Let v = t - -424. Is v a multiple of 18?
True
Let v(b) = 14*