128 = 192. Suppose -4*m - 118 = -5*v - 6*m, -2*m - s = -4*v. Is v a multiple of 7?
False
Let w(n) = -4*n**2 - 13*n - 36. Let j be w(-6). Let k = j - -177. Does 21 divide k?
False
Let g = -61 - -65. Is 16 a factor of (-1280)/(-12)*6/g?
True
Suppose 0 = 3*a + 5*p + 29, 3*a - a + 18 = -2*p. Does 2 divide ((-6)/(-8))/(-3)*a?
True
Let i = -94 + 151. Is i a multiple of 9?
False
Let h = 945 + -269. Does 19 divide h?
False
Let d = 15 + -4. Suppose -d*h = -16*h + 185. Does 26 divide h?
False
Suppose -3*c - s + 331 = 0, -2*s = 3*c + 2*s - 316. Suppose -a = 3*o - c, 3*a - 504 = -2*a - o. Is 10 a factor of a?
True
Suppose -5*i + 4*p + 190 = -58, -4*i + 2*p + 196 = 0. Suppose -45*r + i*r - 162 = 0. Is 18 a factor of r?
True
Suppose -2*a - 3*g + 191 = 0, -6*a + 324 = -3*a - 3*g. Does 4 divide a?
False
Let t(f) = 35*f. Let b(p) = p**2 - p - 9. Let w be b(-3). Suppose -w*l - z - 4*z = -4, 4*z - 11 = -5*l. Is t(l) a multiple of 24?
False
Let k = -5 + -291. Let x = 752 + k. Is 15 a factor of x/10 + (-6)/10?
True
Suppose 787*k - 790*k = -7185. Does 22 divide k?
False
Let z(q) be the third derivative of -q**6/120 + 7*q**5/60 + 5*q**4/12 + 5*q**3/3 - 4*q**2. Suppose 5*x - 41 = -1. Is 13 a factor of z(x)?
True
Is (-98)/245 + 2204/10 a multiple of 22?
True
Suppose -5*h + 5*i = -35, 2*h - 2*i - 3*i = 8. Let c = h + 30. Let g = 65 - c. Is 15 a factor of g?
False
Let y(z) = -z**3 - z**2 + 27*z + 118. Is 18 a factor of y(-11)?
False
Let j be 15/25 + 404/10. Let a = j - 29. Does 12 divide a?
True
Let q(h) = 48*h + 408. Does 10 divide q(24)?
True
Suppose -f + 3*b + 21 = -0*f, -5*b - 19 = f. Is 6 a factor of (f*(-15)/(-8))/((-93)/(-248))?
True
Suppose 3*v - 3*a + 0*a = 963, -3*a = -2*v + 643. Suppose 0*x = -8*x + v. Is x a multiple of 20?
True
Let j(l) = -18*l**3 + l**2 + l + 1. Suppose -x + 4 = -f, 4*f - 3*x + 14 = -f. Does 19 divide j(f)?
True
Suppose -7*t = -3*t - 12. Suppose t*q - 5*q - 30 = 0. Let i = -8 - q. Is 7 a factor of i?
True
Let k(n) = 120*n**3 + 2*n**2 - 3*n + 1. Let v be k(1). Suppose 0 = 2*u - v + 32. Is 4 a factor of u?
True
Let m(l) = -8*l + 7. Let q(r) = -2*r**2 - r - 2. Let g be q(0). Is m(g) a multiple of 2?
False
Let p be (75/6)/5 - (-2)/4. Let w(r) be the first derivative of 2*r**3/3 - r**2 - 4*r - 1. Is w(p) a multiple of 6?
False
Suppose 4 = -q + 2*q. Suppose -6*v + q*v + 194 = 0. Is 23 a factor of v?
False
Let t(d) be the first derivative of 3*d**2 - 2*d + 11. Is t(1) a multiple of 4?
True
Suppose 3*k = -3*h - 15, 3*h - 5*k + 25 + 30 = 0. Let d be 26/h*(-5 - 0). Let f = -2 + d. Does 4 divide f?
False
Let y(l) = -l**2 + 19*l - 24. Let n be y(17). Is 30 a factor of 152/5 + (-4)/n?
True
Does 10 divide 374/(-99) - -4 - (-3040)/9?
False
Let g be ((-6)/(-5))/((-515)/175 - -3). Does 9 divide -4*g/(-8)*6?
True
Let i(j) = 3*j**2 - 3*j - 12. Is i(7) a multiple of 11?
False
Let t(x) = -x. Suppose -2 = 4*d - 14. Let n(f) = -5*f - 19. Let s(l) = d*t(l) - n(l). Does 16 divide s(15)?
False
Let u(c) = -c**2 - 2*c + 7. Let r be u(-3). Suppose r*z + 2*a = 538, 2*z - a - 284 = 3*a. Is z a multiple of 34?
True
Suppose 171 = 6*r - 3*r. Suppose 5*v - r = 543. Suppose 3*z + 0*f + 4*f - 180 = 0, -f = -2*z + v. Does 30 divide z?
True
Suppose -a + 9*p - 4*p + 544 = 0, -5*a = 5*p - 2630. Is 40 a factor of a?
False
Suppose 8*d - 5*d = 57. Let t = d - -5. Suppose -t = 11*j - 12*j. Does 24 divide j?
True
Let q = -65 - -147. Let m = q - 65. Does 2 divide m?
False
Suppose 0 = -0*g - 2*g + 6. Does 21 divide -1 + 70 - 0/g?
False
Suppose -16*d + 3*k + 938 = -15*d, -2827 = -3*d - 4*k. Is 62 a factor of d?
False
Let p = -4704 + 8223. Is p a multiple of 69?
True
Suppose -3*q = -227 - 22. Suppose 2*n + 3*o - 81 = 0, -o - 44 = -4*n + q. Is n a multiple of 11?
True
Let m(f) = 2*f + 7. Let d be m(6). Let i = d + -19. Suppose i = 2*t - 6*t + 52. Does 9 divide t?
False
Let j = 11322 + -6457. Is j a multiple of 53?
False
Let w = 1994 + -1124. Let v be (w/(-8))/((-9)/24). Suppose -z - 4*z + v = 0. Does 24 divide z?
False
Let t be 3 + 2/((-4)/6). Suppose 2*d = -t*d + 8. Suppose -6*p + 15 = -p, d*k + 5*p - 55 = 0. Does 8 divide k?
False
Suppose 27 = -13*c + 16*c. Suppose -c*t + 541 = -53. Does 6 divide t?
True
Let l(g) = -g**3 + 5*g**2 + 9*g - 8. Suppose 5*y - 22 + 0 = -f, y - 11 = 2*f. Suppose -2*a + q = -11, -4*a - 12 = y*q - 41. Is l(a) a multiple of 6?
False
Does 37 divide (12 + -3)/((-474)/96 + 5)?
False
Let u(f) = 6*f**2 + 37*f - 1. Is u(15) a multiple of 11?
False
Suppose -3*n - 5*n = -8496. Is 16 a factor of n?
False
Let l(j) = 5*j**2 - 2*j + 1. Let a be 8/14 + 21/49. Let g be l(a). Suppose 96 = 4*x + 4*y, -4*x - y - g*y = -94. Is x a multiple of 7?
False
Let c = 405 + -102. Does 21 divide c?
False
Suppose 5*f + 190 = 5*g, 0 = -2*g + 3*g + f - 44. Is 6 a factor of g?
False
Let k(p) = 3*p - 7. Let s be k(3). Let z be 12685/65 - s/13. Is 5/15 - z/(-9) a multiple of 22?
True
Suppose c - 3*m - 145 = 0, -3*c + 409 = -0*m + 4*m. Let a = 188 - c. Is a a multiple of 5?
False
Does 52 divide -4 + 1002 - 180/18?
True
Is 31371/19 - (-100)/(-950) a multiple of 14?
False
Suppose -18*x + 23*x - 100 = 0. Does 6 divide (x - (-9)/3) + 4?
False
Let z be ((-3)/(6/(-76)))/((-2)/(-1)). Let c = 64 - z. Is c a multiple of 15?
True
Let s = 287 - -775. Is 14 a factor of s?
False
Let c(i) = -i**3 + 41*i**2 - 3*i + 305. Does 7 divide c(41)?
True
Is -54*1*39/(-6) a multiple of 7?
False
Suppose 0 = 5*i - 25, 0 = -4*r + i + 422 + 625. Is r a multiple of 74?
False
Suppose 7*p = 2*c + 8*p - 1289, -5*c - 2*p = -3222. Is c a multiple of 3?
False
Let w(s) = -s**3 - 6*s**2 - s - 1. Let d be w(-6). Suppose -r = -2*r + d. Suppose -54 = -r*a + 16. Does 7 divide a?
True
Suppose -3*y = -2*y + 15. Let r = 25 - y. Does 20 divide r?
True
Let j = -485 - -703. Is j a multiple of 11?
False
Let l be (2*-1)/((-2)/3). Let g(i) = -3 - i**2 + 3*i + 4*i**2 - i**l - 4*i**2. Does 4 divide g(-3)?
False
Suppose -3*j = -l + 192, 5*l - 22*j = -18*j + 916. Is l a multiple of 18?
True
Let p(x) = -x**2 - 4*x. Let d(u) = u**2 + 5*u. Let a(g) = 3*d(g) + 2*p(g). Does 20 divide a(-12)?
True
Let j = -26 - -48. Suppose -j = 3*s - 7. Let r(l) = -13*l - 20. Is 10 a factor of r(s)?
False
Suppose -c + 48 + 11 = 0. Let m = 246 + -146. Let q = m - c. Is q a multiple of 17?
False
Let r = 1 + 11. Is (r/14)/((-5)/(-245)) a multiple of 25?
False
Suppose 0*i = -i + 38. Let u = i - 36. Let y = u - -70. Does 18 divide y?
True
Suppose -3*i - 4*s = -16, 2*i - 3*i - 3 = 3*s. Let l(q) = -q**2 + 14*q - 10. Is l(i) a multiple of 3?
False
Let b = 6 + 1004. Does 9 divide b?
False
Suppose -3*g = 3*w - 262 - 272, -g + 178 = -w. Does 38 divide g?
False
Let z = -132 - -192. Is z a multiple of 3?
True
Let i(c) = c**2 - 5*c + 11. Let h(t) = -t**2 + 3*t + 5. Let m be h(0). Let d be (m/(-2))/((-10)/20). Is i(d) a multiple of 3?
False
Is 50 a factor of ((-16000)/(-96))/(2/6)?
True
Suppose 5*s + 3*k = 31, 2*k = -3*k + 10. Suppose p - s*j = 4, -16 = -2*p - 2*p + 3*j. Is 4 a factor of p?
True
Let t be 3 + (6/(-2) - 0). Let l(p) = p**3 - p + 87. Is l(t) a multiple of 29?
True
Let g(z) = z**3 - z**2 + 2*z - 3. Let s be g(2). Let f be 1/((-6)/(-18)) + 57/1. Suppose -h = -s*h + f. Is 15 a factor of h?
True
Suppose 0 = 3*a + 5*b - 1638, -6*b = 3*a - 3*b - 1644. Is a a multiple of 29?
True
Let m(u) = u**2 + u + 24. Let b be m(-4). Suppose 7*h - 55 = b. Does 3 divide h?
False
Let i(f) = 58*f - 41. Is i(7) a multiple of 13?
False
Let a be 206 + 5 + -5 + 4. Let v = a + -76. Is 18 a factor of v?
False
Let x be 2/(-2 + 8/2). Is 17 a factor of (-34)/((x - 3)*(-7)/(-63))?
True
Does 40 divide 45/(-7*1/(-56))?
True
Let k be (-6)/(-18)*(10 - -2). Suppose n - 3*h = 248, 772 = k*n - n - 2*h. Suppose 0 = 5*j - 3*c - 290, -4*c + n = 5*j - c. Is j a multiple of 14?
False
Let k(q) = -q**3 + 7*q**2 - q - 7. Let t be k(6). Let j = t - -5. Is j a multiple of 12?
False
Let s(u) = 2*u**3 - 5*u - 2. Let t(k) = k**3 - k**2 - k. Let q(r) = s(r) - 3*t(r). Let v be q(2). Let g = 6 + v. Is 3 a factor of g?
False
Let i = -348 + 996. Is 27 a factor of i?
True
Let k(a) = -185*a - 149. Is 16 a factor of k(-13)?
True
Suppose 4*b = 472 - 128. Suppose 3*x - b = 13. Does 4 divide x?
False
Suppose -2*o = -3*p - 963, 50 = 3*p + 47. Is o a multiple of 69?
True
Let k(y) = -y**2 - 5*y - 3. Let j be k(-3). Suppose -q = 2*l - 1