0 = -c + v*h + 10, 4*c - 5*h - 10 = 30. Suppose c*n - 12*n + 96 = 0. Does 8 divide n?
True
Let o be (5 + -4)/((-1)/(-5)). Does 27 divide (0 + 3)/(o/45)?
True
Does 15 divide (-5 - -4)/((-1)/15)?
True
Is (1 - 5 - -3)/((-3)/339) a multiple of 2?
False
Suppose -5*a + 701 = -1824. Suppose -80 = -5*q + a. Is q a multiple of 39?
True
Let i = -48 - -48. Suppose 31*r - 30*r - 210 = i. Is 12 a factor of r?
False
Let x = -16 + 10. Suppose 3*h = -4*h + 756. Is 8 a factor of (1/(-2))/(x/h)?
False
Suppose -3 = -7*x + 18. Suppose -3*h + 0 = x, 5*j - 171 = -4*h. Is 7 a factor of j?
True
Let a(g) = 312*g**3 + 10*g - 5. Does 93 divide a(2)?
True
Suppose -4*x - 3*g + 9 = -7*x, -3*g + 13 = -5*x. Let a = x - -101. Does 12 divide a?
False
Suppose 20*j - 31*j = 1364. Let f = j - -210. Is 11 a factor of f?
False
Suppose -3*c - 1 = 2*y - 5, 0 = 4*y + 2*c - 24. Let b be (2 - 0) + y - 1. Let n = b - -36. Is n a multiple of 9?
True
Suppose -4*o = -2*o - 506. Is 23 a factor of o?
True
Let w = -4032 - -6235. Is w a multiple of 14?
False
Suppose -2*i - 5 - 1 = 0. Let a(b) = -b + 3. Let c be a(i). Suppose -34 = -p - 4*d, 145 = -p + c*p - 5*d. Does 5 divide p?
True
Let p(m) = 13*m**3 + 4*m**2 + 8*m - 16. Is p(2) a multiple of 30?
True
Suppose -336*u + 358*u - 66462 = 0. Is u a multiple of 57?
True
Let s(z) = 2*z**2 + 8*z + 6. Does 8 divide s(13)?
True
Let f(v) = 29*v**2 - 4*v + 1. Does 24 divide f(-2)?
False
Is 16 a factor of 12*(92/2 + -2)?
True
Suppose -i - 15 = -6*i. Suppose 3*o - 3 = i*m, -2*o + 5*m + 9 = 2*o. Let y(n) = -5*n - 1. Does 10 divide y(o)?
False
Let d(v) be the third derivative of -5*v**2 + 0 + 1/12*v**4 + 0*v + 2*v**3. Is 5 a factor of d(4)?
True
Let b be (-5)/30 - 70/12. Let d be ((-4)/b)/((-2)/21). Let w = d + 21. Is 14 a factor of w?
True
Suppose 3314 = 27*c - 1438. Is 22 a factor of c?
True
Suppose -1965*b = -1987*b + 3080. Is b a multiple of 14?
True
Suppose 2*z - 4*j - 1704 = 0, 2*z - 3*j - 2*j - 1700 = 0. Suppose -6*a = -11*a + z. Is 40 a factor of a?
False
Does 4 divide 192/10 + (-138)/115?
False
Suppose -13*r + 9*r = -8. Suppose 0 = -r*s - 8, 27 = -0*n + 5*n - 3*s. Is n a multiple of 2?
False
Does 79 divide ((-888)/(-18))/(-4)*-12?
False
Let o = 568 - 388. Is o a multiple of 30?
True
Let z = 15 + 0. Is (24/z)/(2/110) - 2 a multiple of 10?
False
Let n(g) = -g + 1. Let t be n(-3). Suppose 5*i = j - 153, -52 = 4*i + t*j + 56. Is 304/5 - (-24)/i a multiple of 20?
True
Suppose -88*i + 910 = -75*i. Is i a multiple of 7?
True
Let j(c) = 22*c**2 + 8*c - 6. Does 42 divide j(-5)?
True
Let r = 20 - 15. Suppose 304 = -y + r*y. Is y a multiple of 38?
True
Let s = 1589 - 1004. Does 31 divide s?
False
Let k = -794 + 1307. Is k a multiple of 27?
True
Let u = 143 + 3. Is 15 a factor of u?
False
Suppose 0 = 13*x - 23 - 887. Is x a multiple of 5?
True
Let l = -54 + 56. Is (0 - 7 - l)/(3 - 4) a multiple of 3?
True
Let r(t) = -5*t + 209. Does 14 divide r(-15)?
False
Suppose 13*d - 193 - 197 = 0. Does 3 divide d?
True
Let o(f) = -f**3 - 10*f**2 - 11*f - 8. Let s be o(-9). Let q(h) = -12*h + 8 + s*h + 21*h - 1. Is q(4) a multiple of 13?
False
Suppose 2*r - 642 = -c, -1079 - 2131 = -5*c - 5*r. Is c a multiple of 16?
False
Suppose -y = 2*y - 15. Let c(i) be the second derivative of i**4/12 + i**3 - 7*i**2/2 - 9*i. Is c(y) a multiple of 17?
False
Suppose -27*i - 76*i + 289018 = 0. Is 74 a factor of i?
False
Suppose 533 = 12*x - 379. Suppose 2*p + 0 = z + 8, -4*z = -p - 3. Suppose 0 = z*y + 10 - x. Is 27 a factor of y?
False
Let a(i) = -i**2 + 24*i + 18. Let c be ((-69)/(-12))/(3/12). Does 4 divide a(c)?
False
Suppose 2*l - 2130 = -3*l. Suppose -2*h = -2*j + l, -392 - 55 = -2*j - 5*h. Is 27 a factor of j?
True
Suppose -5*j = -3*u - 756 - 3429, -25 = -5*u. Suppose -16*o + j = -o. Is 13 a factor of o?
False
Let k = -199 + 44. Let u = k - -224. Let v = u - 28. Is v a multiple of 11?
False
Suppose -18*o + 17612 = -o. Is 7 a factor of o?
True
Let o(v) = 7*v**3 - 19*v**2 + 19*v + 11. Let l(y) = -10*y**3 + 28*y**2 - 28*y - 17. Let m(r) = -5*l(r) - 7*o(r). Suppose -n = 3*n - 24. Is 8 a factor of m(n)?
False
Let y(t) = 4*t - 7. Let a be y(11). Let n = 61 - a. Is n a multiple of 6?
True
Let g(c) = -2*c**2 - 6*c + 1. Let d be g(-6). Suppose -3*b + 5*q + 200 = 0, -2*q = -5*b + q + 312. Let y = d + b. Is y a multiple of 7?
False
Suppose -303 + 33 = -10*t. Let c = -18 + t. Does 8 divide c?
False
Let l be ((-3)/6)/((-1)/8). Suppose -5*z + m + 8 = 3*m, -3*z - 2*m + 8 = 0. Suppose -l*w + 108 = -4*d, z*w + 3*w + 2*d - 56 = 0. Does 11 divide w?
True
Let k(y) = -y**3 + 9*y**2 + 10*y - 10. Suppose 36 = -3*u + 132. Let n = -23 + u. Is k(n) a multiple of 19?
False
Let r(o) = -o**2 - 10*o - 3. Let f be r(-9). Let w(b) = -b**2 + 4. Let j be w(f). Does 4 divide 1 - j/12*6?
False
Let o = -18 - -8. Let c(r) = r**3 + 14*r**2 + 5*r - 4. Let p be c(-13). Does 9 divide p/6 + o/15?
False
Suppose 0 = -16*j + 6*j + 2250. Is j a multiple of 19?
False
Let g be 20/15*(-15)/10. Does 3 divide 2*(-13)/4*g?
False
Let o = -47 + 47. Suppose o = -3*t - 3*t + 264. Is 33 a factor of t?
False
Let z be -5*4/(20/(-433)). Suppose -j + 3*u = -121, j + 5*u = -2*j + z. Suppose 5*k - t - 332 = 0, 2*k - 3*t = -t + j. Is 22 a factor of k?
True
Suppose -5*z = -l + 102, -4*l + 254 = 5*z - 79. Is l/(-2)*(-2 + 0) a multiple of 43?
False
Let g be (-20)/(-5) + (-3 - 1). Suppose -3*o + 4*m + 20 + 154 = g, -3*o + 174 = 2*m. Is 11 a factor of o?
False
Is 35*19*(-294)/(-105) a multiple of 38?
True
Suppose 3*x + 22 = -0*p + 2*p, -x = 2*p - 14. Suppose -p*n = -12*n + 180. Is n a multiple of 9?
True
Let y = -53 - -53. Suppose y = 10*c - 778 - 792. Is c a multiple of 38?
False
Suppose v = 3*v - 8. Suppose 0 = -3*l + v*w + 10 - 72, 0 = -l + w - 19. Let g = l + 27. Does 5 divide g?
False
Suppose -3*v = -3*w - 63, 5*v - 21 = 4*w + 88. Is v a multiple of 5?
True
Suppose 0 - 3 = -t. Suppose 8*b = t*b + 35. Is 3 a factor of b?
False
Suppose 92*h + 36 = 98*h. Suppose -20 - h = -a. Is 7 a factor of a?
False
Suppose 61*g = -2*j + 60*g + 739, 4*j = -5*g + 1487. Does 8 divide j?
True
Suppose -4*z - 3*w + 6 = 0, w + 8 + 9 = 5*z. Suppose z*p + 5*g - 234 = -p, 5*g = p - 46. Is p a multiple of 14?
True
Suppose -2*n - 561 = -1669. Does 11 divide n?
False
Suppose 0 = -40*o + 45*o + 25, -3*q + 2185 = -5*o. Is q a multiple of 60?
True
Let t = -10 + 24. Suppose 4*x + 3*x = -t. Is x/(-7) + (-304)/(-14) a multiple of 11?
True
Suppose 7192 = 20*a - 2048. Does 6 divide a?
True
Let q = -731 + 1123. Does 13 divide q?
False
Let z = 13 - 15. Let v = 6 - z. Is 3 a factor of v?
False
Let k(w) = 51*w**2 - 3*w - 68. Does 20 divide k(-6)?
False
Let q(s) = 10*s**2 - 23*s - 7. Let r be q(-6). Suppose -3*y + r = o, -y + 4*y - 511 = 4*o. Is y a multiple of 19?
False
Suppose -41*j + 5124 = 1352. Does 46 divide j?
True
Let z(f) = 8*f**2 + 19*f - 4. Let s(p) = -p**3 + 4*p**2 - 7*p + 22. Let c be s(4). Does 6 divide z(c)?
False
Let h be ((-11)/((-44)/18))/((-6)/136). Let f = h - -212. Is f a multiple of 15?
False
Let o = -125 - -118. Let i(s) = s**3 - s - 55. Let v be i(0). Let k = o - v. Is k a multiple of 8?
True
Let c be 10 + -2 + (0 + 0 - 3). Suppose -q + 44 = -0*q + 2*j, 20 = c*j. Does 2 divide q?
True
Does 4 divide ((-138)/(-4))/((-8)/(-16))?
False
Suppose 2*d - 5*b - 4820 = -0*d, -5*b = -3*d + 7235. Is 35 a factor of d?
True
Let o be -41 + 2 - 1*-1. Let u = o + 63. Is u a multiple of 5?
True
Is 6 a factor of (8/5 - 2)/(39/(-19890))?
True
Suppose -4*p + 188 = 4*k, -3*p - 2*p + 5*k + 265 = 0. Is p a multiple of 3?
False
Let s = -6 - -6. Let t be 20*(1 - s)/(-1). Let g = 50 + t. Is 10 a factor of g?
True
Let p(h) = -h**2 + 9*h - 15. Let v be p(7). Let f = v - -37. Does 9 divide f?
True
Suppose -348 = 17*z - 93. Let u = 1 - -4. Let g = u - z. Is 16 a factor of g?
False
Let d(t) = -53*t**3 + t**2 - 2*t - 2. Suppose -2*y - 16 = 2*y. Let s be -3 - y*4/8. Is d(s) a multiple of 16?
False
Let h(y) = y**3 - y**2 + 10*y + 2682. Does 121 divide h(0)?
False
Suppose 3*s - 12 - 24 = -4*z, -z - 4*s + 9 = 0. Let p be (-6)/(-4)*-2 - 1. Let y = p + z. Does 2 divide y?
False
Suppose 0 = -p - 4*z - 16, 0 = -p + 6*p + 5*z + 5. Suppose 0 = -3*o + p*o - 3. Is o a multiple of 3?
True
Let d = 824 - 394. Is d a multiple of 10?
True
Suppose -3*q - 24 = -5*f + 391, -3*q - 419 = -f. Is q/(-3) - (-1)/3 a m