69 = b, 0 = x + 5*b - 465. Does 15 divide x?
False
Let m be 11653 - (0 + 3 + 3). Suppose -65*n + 14743 = -m. Does 34 divide n?
False
Let q = -667 - -364. Let h = 582 + q. Is 31 a factor of h?
True
Let j be ((-2)/10*-12)/(16/40). Is ((-9)/2)/(j/(-8)) a multiple of 2?
True
Let b(t) = -5*t**2 - 15*t - 4. Let s(a) = 11*a**2 + 29*a + 9. Let w(i) = -5*b(i) - 2*s(i). Suppose -10*c - 76 = -6. Is w(c) a multiple of 9?
False
Suppose 24 = 2*s - 5*c, 5*s + 0*c + 6 = -4*c. Suppose 3*f + 41 - 183 = -g, s*g - 5*f = 295. Does 14 divide g?
False
Suppose 10*t - 3*h - 8423 = 6043, 2888 = 2*t + 2*h. Does 75 divide t?
False
Suppose 0 = -5*c - 4*y - 127 - 203, y = -5*c - 315. Let a(s) = s**3 - 11*s**2 + 19*s + 6. Let u be a(10). Let k = u + c. Is 4 a factor of k?
False
Let m(a) = -2*a**3 + a**2 + 2*a - 10. Let b be m(-5). Let t = b + -68. Suppose -6*d + 5*j + t = -2*d, 0 = 5*d + 3*j - 243. Does 43 divide d?
False
Let n(q) = q**3 + 14*q**2 - 8*q + 19. Let t be n(-14). Suppose 5*l + 0*a = -3*a + 62, -5*l + 42 = -2*a. Suppose 3*h = t + l. Does 38 divide h?
False
Suppose 3*u - 24 = -0. Suppose -481 = u*a - 1681. Is 50 a factor of a?
True
Suppose 44*f = -457147 + 2206191. Is 313 a factor of f?
True
Suppose -5 = 6*m + 1, -3*a + 11 = -2*m. Suppose -k = -3*b - 0*b - 219, 231 = k + a*b. Does 25 divide k?
True
Let g(l) = -8*l**2 - 244*l + 210. Does 3 divide g(-29)?
True
Suppose -3*x = -5*x + 4*k + 4, 3*x + k = -1. Suppose 3*q + z + 288 = x, -104 = q - 0*z + 3*z. Let o = -62 - q. Does 4 divide o?
False
Suppose -5*a - 584 + 6412 = k, k = -a + 1172. Is 77 a factor of a?
False
Let s(a) = a**2 - 60*a + 80. Let u be s(28). Let l = u - -1188. Is l a multiple of 62?
True
Let v = 1111 + -980. Is 10 a factor of v?
False
Let n(y) = -7*y**3 - 6*y**2 - 3*y - 11. Let u be n(-4). Let v = u - 223. Is v a multiple of 19?
False
Suppose -41*d = -39*d - 60. Suppose 2768 = 4*h - j, d*h + j + 1382 = 32*h. Is 81 a factor of h?
False
Suppose 296*g - 6336 = 285*g. Is 144 a factor of g?
True
Let y = 394 + 2114. Does 19 divide y?
True
Suppose 2*m - 1 = m. Let k(y) = -y**3 - y**2 + 1. Let d(r) = 6*r**3 - 4*r + 5. Let s(b) = m*d(b) - k(b). Does 28 divide s(2)?
True
Let i(j) = j**3 - 10*j**2 + 10*j - 18. Let b be i(9). Let c be 465/b - 4/12. Let t = 123 + c. Is 12 a factor of t?
False
Let w = 6075 - 2972. Is 20 a factor of w?
False
Suppose 3*v - 4*c - 87 = 0, -c = 5*v - 4*c - 145. Suppose 0 = -n + 4*q - 7 + 1, 0 = -n - 3*q + v. Does 25 divide (n/(-8))/7 - (-573)/4?
False
Let t be ((-6)/(-8))/(57/228). Suppose 0 = 2*c - 10, -t*j + 0*c + 3183 = 3*c. Is 11 a factor of j?
True
Let x be (6 + 0)/6 + -3. Is 2 a factor of 7*x/6*36/(-12)?
False
Let v = 8206 - -1669. Is 27 a factor of v?
False
Let u(w) = -3*w**3 - 11*w**2 - 3*w + 125. Does 12 divide u(-13)?
True
Let l(u) = 9*u**3 + 2*u**2 - 20*u - 39. Is 6 a factor of l(7)?
True
Let o = -12187 - -28203. Is 208 a factor of o?
True
Let r be (37 + -38)*(1 - 0)*85. Suppose -4*d - 414 = 2*z, d = -5*z - 75 - 33. Let w = r - d. Is 10 a factor of w?
False
Does 47 divide -8 - ((-5 - (-14 + 3)) + (-8988 - 0))?
False
Let c(s) = 6*s**2 + 2*s. Suppose 3*x - 5 = -v + 2, -4*v = 2*x - 18. Let b be c(v). Suppose -b = -60*f + 58*f. Is 7 a factor of f?
False
Let a(r) = r - 13. Let z be a(18). Suppose 0 = -2*l + 8, -2*n + z*n - 1514 = 4*l. Is 6 a factor of n?
True
Let w(m) = 20*m - 155. Let f be w(8). Suppose -10*i + f*i = -1140. Is 12 a factor of i?
True
Is (-2)/2*(-350 + 0 + -2) a multiple of 17?
False
Let n(a) = -a**3 + 16*a**2 - 32*a + 18. Let g be n(13). Let m = -87 + g. Is 7 a factor of m?
False
Suppose 40*a - 470 = 30*a. Suppose 51*o = a*o + 2560. Is 21 a factor of o?
False
Let d = 18595 - 10530. Is d a multiple of 50?
False
Let o(l) = 39*l**2 + 6*l - 9. Let f(d) = 78*d**2 + 13*d - 18. Let t(p) = -3*f(p) + 7*o(p). Does 9 divide t(3)?
True
Suppose 160 = 3*m - 2*d - 93, 0 = -3*m - 3*d + 243. Suppose -5*x + 26 = 5*j - 159, m = 3*j - 4*x. Suppose -a = -0 - j. Is a a multiple of 7?
False
Let w(o) = o**3 + 11*o**2 + 13*o + 8. Is 10 a factor of w(-6)?
True
Let f(c) = -c + 1. Let k be f(-8). Let y = 14 - k. Suppose 19 = y*j - 36. Is j a multiple of 4?
False
Let z = 62 + -102. Let b = -25 - z. Is 5 - 1 - (1 - b) a multiple of 15?
False
Suppose 5*c - 32 = 8. Suppose -7*t = -c*t + 1. Is (t + 418/2)/(6/8) a multiple of 56?
True
Let s be -4 + -9 - (0 - 0). Let u(g) = g**2 + 12*g + 14. Let q be u(s). Suppose 0 = 2*f - 3*n - 65, 0 = -f - 0*n - 4*n + q. Is f a multiple of 31?
True
Suppose -4*l + 116 = 4*u, 0 = -4*l + 5*u + 60 + 47. Suppose -2*t = -62 - l. Let x = t - -5. Does 5 divide x?
True
Let q(v) = v**3 - 94*v**2 - 241*v + 386. Is 35 a factor of q(97)?
False
Let n(y) = 4*y + 53. Suppose m = -5*z - 70, -2*z = -6*z + 4*m - 32. Let k be n(z). Is 11 a factor of 1*(-173)/(0 - k)?
False
Let s = -14 + 269. Let y = 383 - s. Does 8 divide y?
True
Suppose -16*b - 29859 = -43328 - 94819. Is 94 a factor of b?
True
Suppose 4*b + j = 32277 + 8420, j = 5*b - 50887. Is 16 a factor of b?
True
Suppose -2*w + 35 - 27 = 0. Suppose -12 = -4*y + y + 4*r, -w = -y + 3*r. Suppose q = -t + 124, 0 = -3*t - y*q + 2*q + 371. Does 19 divide t?
False
Suppose -29601 = -15*g - 3861. Suppose g = 13*c + 559. Is 12 a factor of c?
False
Let u = -68 + 73. Let g be (u/(-5))/((-1)/4). Suppose 3*s - 196 = -4*v, -g*s = -2*v - 3*v + 214. Does 23 divide v?
True
Let k(g) = -363*g - 11634. Is 40 a factor of k(-76)?
False
Let g be 14/(1/(22/4)). Suppose -8*m = -m - g. Suppose 16*x - 240 = m*x. Is 8 a factor of x?
True
Suppose 6*n + 9 = 3*n, -n = -2*r + 9. Suppose -r*u + 630 = 4*u. Is u a multiple of 6?
True
Suppose -23*h = -10*h - 156. Let x(s) = -s**2 + 28*s - 107. Is x(h) a multiple of 3?
False
Suppose -9 = -3*h, y - 5*h = -3 - 3. Suppose 13*q = y*q + 480. Suppose 3*m = 2*i - 2*m - q, -4*i - 5*m = -180. Is i a multiple of 11?
False
Let b = 17470 + 1133. Is b a multiple of 66?
False
Suppose 3*x + 1040 = 4*x. Suppose -8*i - x = -40. Is (-2)/(-4) + i/(-2) a multiple of 28?
False
Let y be 26/(2*(6/4 + -1)). Let r = y + -100. Let z = r + 191. Is 25 a factor of z?
False
Let m = -22717 + 32577. Is 10 a factor of m?
True
Let t = 461 + -695. Let l = 289 + t. Does 11 divide l?
True
Let s = 3397 + 438. Is 89 a factor of s?
False
Let h = 7 - -1. Let y(i) = i**3 - 7*i**2 - 9*i + 12. Let m be y(h). Does 2 divide (-6)/12 + 22/m?
False
Let z = 6464 + -5576. Is 3 a factor of z?
True
Let y(h) = -10*h**2 + 14*h + 13 - 13*h - 7*h. Let q(m) = -1. Let p(j) = -5*q(j) - y(j). Is p(2) a multiple of 11?
True
Suppose 2*k - 2*f - 22829 - 15495 = 0, 12 = -3*f. Is 186 a factor of k?
True
Is ((-352)/6 + 1)/((-589)/83049) a multiple of 51?
False
Let p = -2490 - -6873. Does 87 divide p?
False
Let z be (-4)/(((-24)/(-633))/(-4)). Let y = -280 + z. Is 36 a factor of y?
False
Suppose 0 = -28*v + 62 - 342. Does 6 divide (3735/v)/(-6 - 147/(-28))?
True
Suppose -60385 = -5*h + 2*b, 9*h - 12*h = 4*b - 36231. Is h a multiple of 87?
False
Suppose -77*h = -69*h - 9688. Suppose -99*t + 97*t = -3*f + 903, -h = -4*f + 5*t. Is 3 a factor of f?
False
Suppose 4*r - 10*r = -18. Let c(u) = 18*u**2 + 14*u - 28. Is 13 a factor of c(r)?
False
Let w be (-13 - -66) + 0*2/4. Let m = -53 + w. Suppose m = -4*i - o + 363 + 381, -915 = -5*i - 5*o. Is i a multiple of 17?
True
Let z = -61 + 62. Suppose -5*i - 5*c - z = 4, -2*i + 23 = -3*c. Suppose 2*u + i*n - 28 = -3*u, 5*u - 5*n = 55. Does 2 divide u?
True
Let c = 7550 - 10574. Does 11 divide c/(-135) + 2/(-5)?
True
Let a = 71 + -67. Suppose -a*i = b - 4*b + 216, 16 = -4*b. Let x = 77 + i. Is 10 a factor of x?
True
Let m = 2150 - -3342. Is 4 a factor of m?
True
Is 819 - (-2 + 1) - (3 + -153)/(-25) a multiple of 106?
False
Let d = -446 - -450. Suppose 3*f = -2*f. Suppose 3*v + j - 200 = 0, f = -v - 0*v + d*j + 71. Is 8 a factor of v?
False
Suppose 2*t = -2*m, -5*t + 4*t = -3*m. Suppose 0 = -5*l + 2*q + 290, 2*q - 6*q - 20 = m. Suppose -44 = -4*o - 2*k, 5*o - 3*k = -5*k + l. Is 4 a factor of o?
True
Let m = 57 - 78. Is (-2922)/m - 78/(-91) a multiple of 6?
False
Suppose -89 = -u - 36. Suppose w + 6*l - 8*l = -19, w + l = -16. Let j = u - w. Is 5 a factor of j?
True
Let g = 0 - -5. Suppose 21*n + p = 26*n - 29, -5*n = -3*p - 37. Suppose -x - g*f = -75, 5*x + n*f + 66 - 361 = 0. Is x a multiple of 7?
False
Let t(y) = 5*y**2 + y - 34. Let b b