5*v**3 - 4*v**2 - 3*v - 1. Let k be u(-2). Let m = -103 - k. Let z = 88 + m. Is 12 a factor of z?
True
Is (581/(-4))/(210/(-40) - -5) a multiple of 86?
False
Suppose 3*u = 5*a + 9, -4*a + 5*u + 2 = 4. Let h(r) = 10*r + 1. Let t(j) = 11*j + 2. Let m(b) = a*t(b) + 4*h(b). Is 4 a factor of m(2)?
True
Let a be (-1)/((-5220)/2608 - -2). Let h = a + -445. Suppose h = 4*u + 3*g, 0 = -2*u + g + 3*g + 76. Is 16 a factor of u?
True
Suppose 29 = k + 5*b, 0*b - 76 = -3*k - 4*b. Let a = 21 - 29. Let g = k + a. Is g a multiple of 4?
True
Suppose 5*z + s = 84, 31*z - 3*s = 26*z + 68. Let n = -156 + 304. Suppose 0 = -z*u + 12*u + n. Is u a multiple of 15?
False
Let g(r) = -r + 41. Is 4 a factor of g(-7)?
True
Let l = 114 - 92. Suppose -7*i - 975 = -l*i. Is i a multiple of 5?
True
Suppose 5*f = -3*n - 15, 3*n + 2*f = 7*n - 6. Suppose -5*v = -n*x + 2*x - 3, -x = 3*v - 1. Does 3 divide v - (-18 + -2 + 4)?
True
Suppose 0 = -4*m - 0*i - 3*i + 23, i + 3 = 4*m. Let d(p) = -46*p. Let n be d(m). Let b = -59 - n. Is b a multiple of 17?
False
Suppose -l + 50 = 4*u, 4*u - 2 = l + 44. Suppose 4*m = u, -b + 3*m + 15 = 2*b. Let i = b + 1. Is 3 a factor of i?
True
Let p(f) = f**2 - 2*f + 1. Let w be p(1). Suppose 3*l - 2 = 13. Suppose m - 4 = -q - w*m, l*q = -3*m + 24. Is q a multiple of 6?
True
Suppose 0 = -5*u + 2*u - 9. Let h be 75*(-4)/(20/u). Suppose -2*n = -0*n - 2*f - 22, -4*n + 3*f + h = 0. Is 6 a factor of n?
True
Let j = 2 + 1. Suppose j*b - b = 78. Suppose x - b = 5. Is x a multiple of 23?
False
Let p(z) = -z**3 - 50*z**2 - 105*z + 72. Does 9 divide p(-48)?
True
Let t = -857 - -1218. Does 4 divide t?
False
Suppose -5*z - 935 = -16*z. Let i = -65 + z. Is 20 a factor of i?
True
Let j = 130 - 110. Let q(v) = v**3 - 19*v**2 - 16*v + 16. Is 32 a factor of q(j)?
True
Let d be 2/4*(3 - 5). Is 5 a factor of (d*(-1)/2)/((-13)/(-1274))?
False
Let f be -1*1/(-1)*6. Suppose 2*k + 2*d = -0*k, -5*k + 4*d - 45 = 0. Is 13 a factor of (f/k)/(2/(-50))?
False
Suppose 4*h + 4*g = 1368, 0 = 10*g - 5*g + 5. Is h a multiple of 13?
False
Let t(r) = -r**3 + 9*r**2 - 2*r + 9. Let y be t(9). Let s = y - -35. Does 20 divide s?
False
Let w(g) = g**2 + 5*g + 437. Is 42 a factor of w(0)?
False
Suppose 31*q - 2*n + 960 = 33*q, -5*q - 3*n + 2400 = 0. Is q a multiple of 15?
True
Suppose 18*s = 16*s + 294. Is s a multiple of 7?
True
Let l(v) = v**2 + 15*v + 16. Let z be l(-14). Let m be ((-7)/14)/(3/(-426)). Suppose m = r - z*p, 2*r + 2*p - 114 = -p. Is r a multiple of 29?
False
Let l = 26 - 26. Suppose 5*z = 35 - l. Does 2 divide z?
False
Let g(t) = 2*t**2 - t. Let a be g(-1). Suppose -2*b - 4*i + 138 = a*b, 2*b - 48 = -4*i. Is b a multiple of 12?
False
Let f(r) be the first derivative of 9*r**4/4 + r**3/2 + 6*r - 2. Let l(m) be the first derivative of f(m). Is 34 a factor of l(-2)?
True
Let j = -23 - -26. Suppose z + l = -j*z + 1040, -5*l + 780 = 3*z. Suppose -6*h = -11*h + z. Is 13 a factor of h?
True
Let z(b) = b**3 - 8*b**2 - 25*b - 8. Let c be z(11). Suppose c = 6*x - 82. Is 17 a factor of x?
False
Let m(j) = 3*j**2 - 2*j + 3. Let t be (0/3 + 1)*1. Let n be t - 3 - 20/(-4). Does 8 divide m(n)?
True
Let b(h) = 3*h - 15. Let p(w) = -9*w**3 + w. Let d be p(1). Let g be b(d). Is 18 a factor of ((-182)/g)/(2/9)?
False
Let v = -15 + 5. Let h(u) = -5*u + 15. Let r be h(v). Suppose 5*k - 3 = -3*i, 5*i = 5*k - 20 + r. Is i a multiple of 2?
True
Suppose -s = -243 - 189. Is 12 a factor of s?
True
Let h be (-402)/(-24)*4 - -5. Is (-18)/h + (-258)/(-8) a multiple of 4?
True
Let f = -47 - -102. Let i = f + -29. Does 10 divide i?
False
Let z(h) = 9*h**2 + 17*h - 7. Let s(r) = -5*r**2 - 8*r + 3. Let w(n) = 11*s(n) + 6*z(n). Does 5 divide w(12)?
True
Let o be 9/(-99)*-11 + (1 - 1). Let f(q) = q**3 - 6*q**2 + 4*q + 7. Let s be f(5). Suppose -p + 68 = s*n, 0 = -p + 1 + o. Does 11 divide n?
True
Let o(p) = -p**3 + 9*p**2 - 9*p - 9. Let w = -4 + -1. Let l = 12 + w. Is 6 a factor of o(l)?
False
Suppose -2 = -l - 0. Suppose g - 8 = l*q, 3 = 5*g - 3*q - 23. Suppose 2*m = g*m - 126. Is 21 a factor of m?
True
Suppose 0 = -2*u - 6*o + 2*o + 644, 3*o - 981 = -3*u. Does 65 divide u?
False
Let z(p) = p**3 - 10*p**2 - 32*p - 24. Does 39 divide z(14)?
True
Let q(s) = 2*s + 198. Is 2 a factor of q(-18)?
True
Let k(f) = 2*f**3 - 20*f**2 - 2*f + 34. Is 14 a factor of k(10)?
True
Let n(s) = s**2 - 10*s + 26. Let a be n(7). Suppose -3*c + j = -90, j + 150 = 5*c + 4*j. Is 12 a factor of (-4)/a - (-1884)/c?
False
Suppose -4*v = -35*v + 1302. Does 6 divide v?
True
Suppose -37 = -5*r - 4*h, -16 = -5*r + 2*h + h. Suppose -5*x + k = -4, 5*x - 2*k - 8 = -r*k. Does 22 divide (3/(-2))/(x/(-26))?
False
Let v = 171 + -69. Let x = -60 + v. Does 14 divide x?
True
Let f = 355 + -229. Is f a multiple of 18?
True
Suppose 48*c - 49*c = -58. Is 3 + 1 + (-1 - 2) + c a multiple of 34?
False
Does 45 divide 10/(12 - (-13384)/(-1116))?
True
Let i = 938 - 815. Is 41 a factor of i?
True
Let l(m) = m - 9. Let b be l(5). Is (27/6)/(b/(-40)) a multiple of 9?
True
Suppose 5*i + 1102 = 3*j, -5*i - 1466 = -22*j + 18*j. Does 13 divide j?
True
Suppose 0 = 93*a - 88*a - 50. Does 4 divide (-6)/a - 732/(-20)?
True
Let b be 3*((-8)/(-12) - -1). Let l(f) = 3*f - 8 + b + f**2 - 7*f. Does 19 divide l(10)?
True
Let l be (-6 + 1 + 6)*3/(-1). Does 6 divide 53 - (l - -2 - -1)?
False
Let s = 17 - 14. Let v(r) = r**s + 12*r**2 + 3 + 10*r**2 - 2*r - 9*r**2. Is v(-13) a multiple of 6?
False
Let h(w) = 1 - 4*w**2 + 0*w**3 + 0*w + w + w**3. Let o(b) = 2*b**3 - 5*b**2 + 2*b + 1. Let f(c) = 3*h(c) - 2*o(c). Is 3 a factor of f(-2)?
True
Suppose 0 = -2*m - 3*c + 7*c + 1566, -2*m - 5*c = -1566. Does 18 divide m?
False
Let q(r) = r**2 + 14*r + 73. Let o be q(-12). Let g(i) = -i**2 - 6*i. Let p be g(-6). Suppose p = -c + 11 + o. Is 12 a factor of c?
True
Suppose -o + 1000 = 4*o. Is o a multiple of 5?
True
Let l be -5 - (3 - 6) - -5. Suppose w - k = 13, 2*k - l*k = 3*w - 35. Let a(f) = 2*f + 4. Does 24 divide a(w)?
False
Suppose 25 = 2*v - m + 4, -3*m = 2*v - 17. Suppose x + 3*i = 3*x - v, 0 = x - i - 5. Is x a multiple of 5?
True
Suppose 3*y - 6*a - 1976 = -5*a, -3*a + 3312 = 5*y. Is y a multiple of 10?
True
Let i be 860/(-30) - (-6)/9. Let j = i - -160. Does 12 divide j?
True
Let t(k) = -k**2 - 24*k - 36. Is t(-8) a multiple of 11?
False
Suppose 76*x - 69*x - 9828 = 0. Does 58 divide x?
False
Let t(x) = -x + 46. Let j = -34 + 49. Is t(j) a multiple of 29?
False
Let p = 20 - 7. Let o = p + -17. Is (-602)/(-49) + o/14 a multiple of 9?
False
Suppose -6*s + 0*s = -24. Suppose s*t = 6*t + 10. Let r(h) = -h**3 - 3*h**2 + 3*h - 3. Does 8 divide r(t)?
True
Let x = 277 + 242. Is x a multiple of 27?
False
Let q be (-2)/(-5) - 1866/(-10). Let k = q - 134. Is k a multiple of 17?
False
Let q be (-36)/(-48) - (-1)/4. Let h(c) = -2*c**2 - q - 11 - 12*c + c**2. Is h(-8) a multiple of 10?
True
Let o be ((-212)/6)/((-10)/75). Suppose -o + 13 = 4*v. Let z = v + 115. Is z a multiple of 16?
False
Let x(m) = m**2 - 12*m + 19. Let f be x(11). Let s(j) = -j**2 + 12*j - 28. Is s(f) even?
True
Let y = 1 - -13. Let t = -7 + y. Suppose 61 = t*b + 12. Is b a multiple of 2?
False
Let q(f) = -f**3 + 11*f**2 - 30. Does 4 divide q(-7)?
True
Suppose 0 = 5*c - 5*m - 60, -2*c - 5*m + 90 - 31 = 0. Let j = -233 + 235. Suppose b - r - c = 0, 36 = -0*b + 3*b + j*r. Is 5 a factor of b?
False
Suppose -u = -0*u - 3. Suppose -3*i + 2 = -2*i. Suppose -u*n = 4*h - 1 - 0, -i*n - 4*h = 6. Is 4 a factor of n?
False
Suppose -8*j + 12*j = -5*x - 1, 0 = 3*j + 3*x + 3. Does 4 divide j + (1/(-3))/((-2)/318)?
False
Suppose 5*y + 1348 = 3*w - 618, -3*w + 4*y = -1970. Is 5 a factor of w?
False
Let v = -38 - -38. Suppose -5*g + 3*w + 494 = -38, v = -2*g + 3*w + 220. Does 17 divide g?
False
Suppose -3*c + p + 17 = -c, -p - 3 = 0. Suppose 1245 = c*t - 1947. Is (2/(-4))/((-4)/t) a multiple of 15?
False
Suppose -m = -3 - 3. Let l = m + 6. Is l a multiple of 3?
True
Let t be 3*(-2 + (-28)/(-12)). Suppose -2*n + 21 = 2*l - t, 0 = -4*n - l + 50. Is n a multiple of 8?
False
Is 2 a factor of (-51)/119 + (0 - 1210/(-14))?
True
Suppose 0 = -66*f + 74*f - 3840. Is 15 a factor of f?
True
Let u(m) = -218*m - 428. Is 7 a factor of u(-8)?
True
Suppose v - 596 = -u + 2*v, -3*u + 5*v + 1792 = 0. Does 33 divide u?
True
Does 8 divide 32/2*(-297)/(-66)?
Tr