. Let t be v(1). Suppose t*o = -9*o + 3510. Does 10 divide o?
True
Suppose -9 = 3*u - 15. Suppose -3 = -2*z + u*q + 31, -q = -4*z + 77. Does 3 divide 3/(-3) + (2 - z/(-4))?
True
Let v = 94 + -64. Suppose -4*j - 14 = v. Let t(m) = -m**3 - 10*m**2 + 11*m + 8. Is 8 a factor of t(j)?
True
Let m(k) = 4*k**3 - 18*k**2 - 5*k - 17. Suppose t + 3*t - 16 = -4*b, 0 = 3*b - 2*t - 22. Is m(b) a multiple of 15?
False
Let v be (-18)/(((-2)/12)/((-1)/6)). Let d(b) = -b**3 - 17*b**2 - 2*b - 54. Is d(v) a multiple of 17?
True
Let x be 16123/(-115) - (0 - (-2)/(-10)). Is (x/12 - 1)*-7*6 a multiple of 14?
True
Let c(v) be the second derivative of 3*v**5/20 - v**3/3 - 11*v**2 + 25*v. Let b(w) be the first derivative of c(w). Is b(-3) a multiple of 7?
False
Suppose -2*p = 8, 3*t - p + 3*p = -2. Suppose -5*n + 23 = -4*y + t*y, -4*y - 5*n - 31 = 0. Is 6 a factor of 6*(-3)/y*3?
True
Suppose -63 = -11*r - 10*r. Suppose -457 = -2*i + r*y, -3*y - 227 = -4*i + 3*i. Is i a multiple of 9?
False
Suppose -b = 3*b - 288. Suppose -16 = -11*n - 5. Is n/(147/b - 2) a multiple of 12?
True
Does 92 divide 12666 + (0/39 - (-9 - 1)/(-2))?
False
Let k = 127 + -142. Let i(d) = -2*d - 2. Let z(n) = 3*n + 3. Let u(g) = -4*i(g) - 3*z(g). Does 8 divide u(k)?
False
Suppose -13*v - 10 = -62. Let x(c) = -c**2 + 8*c - 12. Let d be x(5). Suppose n = 5*n - v*a - 144, d*n + 3*a - 90 = 0. Is 11 a factor of n?
True
Let g(h) = 74*h - 28. Let k(u) = -234*u + 95. Let c(t) = 47*t - 19. Let y(p) = -11*c(p) - 2*k(p). Let q(z) = 5*g(z) + 8*y(z). Is 13 a factor of q(-3)?
True
Let l(a) = -10*a - 27. Let s be l(-3). Suppose -s*r + 705 = 3*c, -2*c = 5*r + 25 - 510. Does 24 divide c?
False
Suppose 0 = -5*c + 25, x - 2*c - c + 3 = 0. Let b be 4*92/x - (-1)/3. Let l = -3 + b. Is l a multiple of 8?
False
Let q(a) = -23 + 4 + 669*a - 1 + 10. Does 19 divide q(1)?
False
Let y(g) be the first derivative of 13*g**2/2 - 50*g + 70. Does 23 divide y(18)?
True
Suppose 60 = 8*c + 4*c. Suppose -c*q = 5 + 170. Let f = q - -47. Is f a multiple of 6?
True
Does 97 divide (-187)/44 - -5 - 72932/(-16)?
True
Let k = -54 + 56. Let y(a) = 5 + 6*a**2 - k - 3*a**2 + 20*a - 23*a. Is y(2) a multiple of 2?
False
Let t(p) = -5*p**3 + 14*p**2 - 2*p + 8. Let j(m) = -m**3 + m**2 - 1. Let a(z) = 6*j(z) - t(z). Let x be a(-8). Is 13 a factor of 4/x - 392/(-15)?
True
Suppose -2*r - x + 1449 + 3459 = 0, -r + 2449 = -2*x. Does 22 divide r?
False
Is 163 a factor of (-1 + (-12)/(-9))/((-8 - 3)/(-543279))?
True
Suppose 2*x - 4*a + 4755 = 18429, 6795 = x + 5*a. Does 65 divide x?
True
Suppose -911585 - 712825 = -91*o + 2630750. Does 334 divide o?
True
Let g(c) = 431*c - 2597. Does 7 divide g(42)?
True
Is (4 - 1422)*(7 + -11) + (3 - -1) a multiple of 32?
False
Let t(m) = -m**2 + 10*m - 21. Let p = 41 - 35. Let b be t(p). Suppose 2*x - 47 = 5*l, -b*x - 3*l + 128 = l. Does 4 divide x?
True
Let b = 7562 - 2186. Suppose -6*x - 6*x = -b. Is x a multiple of 32?
True
Suppose 0 = -384*r + 6821715 + 3424506 + 5017395. Is r a multiple of 10?
False
Suppose 98*b + 111445 = 269186 + 262091. Does 36 divide b?
True
Suppose 9 = 6*y - 15. Suppose 0*v - 3*v - y*t + 111 = 0, -111 = -3*v - t. Is 35 a factor of v - (0 + -2)*-1?
True
Let y(q) = -3*q**3 - 5*q**2 + q + 2. Let p be y(-2). Suppose 2*d - 148 = -2*c + 260, -5*c = p*d - 816. Does 68 divide d?
True
Let k(a) = -4*a**2 - 2*a + 0 + 20 - 14 - 15*a**3 - a**2. Is 62 a factor of k(-3)?
True
Suppose 10*x = 6*x. Let r be (1 + 0 - x)/((-2)/(-14)). Suppose 0 = -6*f + r*f - 46. Does 23 divide f?
True
Let l(m) = -m**3 + 7*m**2 + 20*m - 14. Let n be l(9). Suppose -6*h - n*h = -5*h. Suppose -6*v + 66 + 30 = h. Is 16 a factor of v?
True
Suppose -10*b + k = -9*b - 4, 0 = 3*b + 3*k - 12. Suppose 3*w + 2*i - 1539 = 0, 4*w + 1374 = -b*i + 3426. Is 14 a factor of w?
False
Let c(b) = 26*b + 9. Let h(g) = -13*g - 4. Let n(l) = 4*c(l) + 7*h(l). Is 29 a factor of n(15)?
True
Suppose -7*y = 4*h - 9484, -6359 = -2*h + 3*y - 1643. Does 23 divide h?
False
Suppose 0 = -8*p + 1154 - 4650. Suppose 2*k = -225 - 253. Let v = k - p. Is 9 a factor of v?
True
Let m = -108 + 240. Let i = m - 120. Is (18/i)/(3/28) a multiple of 7?
True
Suppose 237 = 49*h - 39110. Does 17 divide h?
False
Suppose -3*k = -0*k + 3*j + 6, -2*k + 10 = -5*j. Suppose k = -4*q + 2*q + 2. Is 2 + q - -1 - -14 a multiple of 9?
True
Does 168 divide (-2483691)/(-77) - (-12)/44?
True
Let k(l) = -13*l**2 + 178*l + 24. Let r(h) = -4*h**2 + 59*h + 8. Let y(s) = -4*k(s) + 11*r(s). Is 44 a factor of y(9)?
False
Suppose 5750 + 70125 + 59365 = 138*k. Is 70 a factor of k?
True
Suppose -35472 = -3*k + 5*f, -36671 + 119479 = 7*k - 5*f. Does 97 divide k?
True
Let o = -133 - -137. Suppose 3*q - 139 = -o*s, 4*s + 63 = q + 2*s. Does 11 divide q?
False
Let o be 0 - -4*(-3 - -5). Let d be 2/(-1) + -1 + o. Suppose -l - 3*m + d*m = -16, m = -3*l + 55. Is l a multiple of 18?
True
Suppose -9392 = 17*f - 977. Suppose 0 = -22*j + 18*j - 776. Let s = j - f. Is s a multiple of 27?
False
Suppose -9*g - 42 = -16*g. Let b(p) = -p**3 + 9*p**2 - 8*p - 28. Is 4 a factor of b(g)?
True
Let p(h) = 3*h - 9*h - 3*h + 2 - 7*h - 10*h. Suppose -4 = m - v, m - 3*m - 3*v = -2. Does 27 divide p(m)?
True
Suppose 3*i = 3*k + 153, 0 = -i + 2*k + 59 - 8. Let b = 94 - i. Suppose 37 + b = d. Is 9 a factor of d?
False
Let g(s) = 70*s + 354. Suppose -52 = -4*k - 4*d, 22 = 3*k - d - 1. Is g(k) a multiple of 20?
False
Suppose -8 = -4*y - k, 0*y = -3*y - 2*k + 6. Let p be (-2 - -3) + -2 + y. Is (0 - 4/4) + 141/p a multiple of 35?
True
Let n(x) = 467*x + 59. Let y be n(4). Suppose -3*g - u = -y, -g - 3*u + 2*u = -643. Does 28 divide g?
False
Let c = -661 - -1632. Suppose 0 = 7*w - 226 - c. Is 2 a factor of w?
False
Let v(u) be the second derivative of u**5/20 - 4*u**4/3 + 3*u**3 - 7*u**2 + 73*u. Is v(16) a multiple of 19?
False
Suppose 97*s - 322 = 90*s. Suppose 0 = -s*k + 561 + 1095. Does 4 divide k?
True
Suppose -6*f - 65*y + 68*y = -186648, 2*f - 62200 = -y. Is f a multiple of 96?
True
Suppose 0 = -16*x + 9*x + 35. Suppose 2*c = -3*b - 2*c + 743, -x*b + 2*c + 1273 = 0. Does 38 divide b?
False
Let l(n) = 13*n**3 + 7*n**2 + 30*n - 1. Let f(h) = 7*h**3 + 3*h**2 + 15*h - 1. Let t(r) = -11*f(r) + 6*l(r). Suppose 0 = 3*z + 3 + 15. Is 4 a factor of t(z)?
False
Let a = -6897 - -16620. Is a a multiple of 12?
False
Suppose -209 = -32*f + 13*f. Suppose -f*y - 61 + 3548 = 0. Let z = y - 92. Is 9 a factor of z?
True
Let m = 321 + 67. Let c = -217 + m. Is c a multiple of 9?
True
Suppose 2*j + 6*x - 9*x = 67705, -33885 = -j - 5*x. Is 26 a factor of 2/(-9) + j/90?
False
Let c(n) = n**2 + 4*n + 7. Let v(r) = r**2 - r - 1. Let z(i) = -c(i) + 2*v(i). Suppose -2*f - 64 = 6*f. Is 14 a factor of z(f)?
False
Suppose 5*q - 32 = 2*x + 39, 0 = -5*q - 2*x + 59. Suppose -q*o + 1146 + 323 = 0. Is o a multiple of 46?
False
Let w = 93 - -191. Suppose 5*b - v - 230 = 494, -2*b = v - w. Is b a multiple of 12?
True
Let b(z) = -z**2 + 46*z + 247. Is b(48) a multiple of 11?
False
Let y be 2080/(-36) - -4 - (-8)/(-36). Let n = y - -57. Suppose -21 - 975 = -5*b - 3*t, 0 = 3*b - n*t - 588. Does 18 divide b?
True
Suppose 8 = -a - 3*a. Let j be ((18/4)/(-9))/(a/88). Suppose j = -n + 56. Is n a multiple of 17?
True
Let o = 62 - 56. Let s be 2 - (-256)/3 - 2/o. Let b = s - -21. Is b a multiple of 12?
True
Suppose 2*z + 11*z = 0. Suppose 4*a - 20 = -z, -3*a + 347 = 2*d. Let w = -49 + d. Does 13 divide w?
True
Let b = 113 + -55. Let w be 0 + 1 + -4 + -47. Let n = w + b. Is n a multiple of 2?
True
Suppose b - 4*z = -1, 6*z - 11*z + 20 = -5*b. Let n(a) = -5*a**3 - 7*a + 7. Is 29 a factor of n(b)?
True
Let q = -6077 + 7400. Is 27 a factor of q?
True
Let b(x) = -3*x. Let s(d) = -9*d. Let a(p) = 8*b(p) - 3*s(p). Let o be a(0). Suppose 0 = 2*r - 8, -4*r + o*r = -3*j + 89. Does 35 divide j?
True
Suppose 5*y + 261 = -4*t + 26, -5*t + 3*y = 266. Let b = t - -88. Suppose 2*z - b = z. Is z a multiple of 24?
False
Let u = 146 + 170. Suppose 2*s + u = -4*a, 0*a - 152 = 2*a - 2*s. Let p = a - -130. Does 13 divide p?
True
Suppose -24 = 4*h, 5*o - 31*h = -27*h + 13674. Does 70 divide o?
True
Let k(f) = -3*f**2 + 39*f + 15. Let v be k(13). Is 27 a factor of (v - 31)*(-1 + -9)?
False
Suppose 1 - 5 = 4*a. Is -6*a*(-101)/(-2) a multiple of 16?
False
Suppose -18*q = -20*q + 2. Is 4 a factor of 