 5*c - 6, 6 = -3*c. Let a(h) = -3*h**2 - 26*h - 6. Is a(m) a multiple of 9?
False
Let x(i) = 328*i + 6027. Is 25 a factor of x(-11)?
False
Suppose 2*d = -m + 1, -3*m + 10 = -5*d - 8*m. Suppose 0 = d*p - 320 - 430. Is 16 a factor of p?
False
Suppose -5*f - 19356 = 2*c - 52972, 3*c = -2*f + 13442. Is 10 a factor of f?
False
Suppose -5*r = 26 - 46. Suppose -5*w - l + 2026 = 0, 0*l = -r*l + 4. Suppose v = -5*j + 974, 0 = 3*j - 3*v - w - 165. Does 25 divide j?
False
Let m(r) = -r**3 + r**2 + 5*r + 4. Let n be m(3). Is 49 a factor of 20*(n - (-642)/24) + 6?
False
Let l = -9465 - -18761. Does 14 divide l?
True
Let d(z) = 889*z + 62. Let q be d(2). Suppose -6*k + 428 = -q. Is k a multiple of 9?
True
Let j = 22905 + -13493. Is 52 a factor of j?
True
Let f = -2433 + 19862. Is f a multiple of 235?
False
Suppose -41*z + 48990 = -210910 - 22385. Is z a multiple of 57?
False
Suppose 0 = -2*l + 9*l. Suppose -2*t + 4 = l, -2*v = -v + t - 691. Is 13 a factor of v?
True
Let w(x) = -7*x**2 - 2*x - 2. Let q(z) = -29*z**2 - 9*z - 8. Let f(v) = 4*q(v) - 18*w(v). Let y be f(-2). Suppose 43*n = y*n - 54. Is n a multiple of 9?
True
Let k = -98 - -126. Suppose 35*w = k*w + 189. Let b = 242 - w. Is 12 a factor of b?
False
Let g(a) = a + 21. Let d be g(-16). Suppose n - 4*b - 9 = d, 0 = -n + 3*b + 11. Suppose 0 = -5*i - 4*l + 799, -3*i - 3*l + 482 = n*l. Does 29 divide i?
False
Suppose 3594 = 9*u - 231. Let f = u + 199. Is f a multiple of 26?
True
Let a(b) = 9*b**2 - 15*b + 34*b - 8*b - 23*b + 3. Let u be a(-11). Suppose 26*n - 9*n - u = 0. Is 18 a factor of n?
True
Let j = 221 + -216. Suppose 4*h = -h + 4*z + 3136, -j*h - 3*z + 3108 = 0. Does 48 divide h?
True
Suppose -10*i + 6664 + 4116 = 0. Suppose 32*t - 3690 = i. Is t a multiple of 4?
False
Suppose 0 = -42*a - 34*a + 87252 + 47800. Is a a multiple of 16?
False
Suppose 11*h - 10*h - 1044 = -4*d, 2*d - 8 = 0. Is 2 a factor of h?
True
Suppose 0 = -3*k - 5*o + 9370, -3*o + 2596 = 5*k - 13010. Suppose -16*q = -24*q + k. Is q a multiple of 15?
True
Let g = 4704 + 7407. Is 33 a factor of g?
True
Suppose 573*y - 20 = 578*y, 3*y = -5*l + 38738. Does 31 divide l?
True
Suppose 5*t - t + 4 = 0. Let i be 6*(-3 + (t - -6) - 3). Is 14 a factor of 18/i*(-28)/6?
True
Let v = -345 - -348. Suppose 4*k - 328 = -r - 3*r, 218 = v*r - 4*k. Is 26 a factor of r?
True
Suppose 68*r - c = 63*r + 35625, 28499 = 4*r - c. Does 81 divide r?
False
Suppose 3*i - 19163 = 2*n, -6*n = -7*n - 4. Is i a multiple of 105?
False
Suppose 4*c = -d + 2*c, 2*d - 20 = c. Suppose 16 = 6*j - d. Suppose j*t - 40 = 140. Is 15 a factor of t?
True
Let c(t) = 3*t + 90. Let s be c(20). Is s*(-9 + 6)/(0 - 3) a multiple of 10?
True
Let g be 6/8 - 1503/36. Let w = -36 - g. Suppose -2*p + 124 - 394 = -5*j, 249 = 4*j + w*p. Is j a multiple of 7?
True
Let l be (-2)/8 + (-100)/(-16) + -6. Suppose -4*h + g + 632 = l, 3*g + 632 = 4*h + g. Is h a multiple of 33?
False
Suppose 55*s - 210010 - 195440 = 38*s. Is s a multiple of 30?
True
Let y = 59 - 46. Suppose -y = 9*o + 113. Let z(p) = -p**3 - 14*p**2 - 18*p - 9. Does 27 divide z(o)?
True
Let h = -86 - -172. Let p = 226 - h. Does 24 divide ((-10)/(0 - 2))/(5/p)?
False
Let g = -2204 - -3162. Suppose -g = -3*v + 5*h, 45*v - 44*v = h + 320. Does 20 divide v?
False
Let j(u) = -61*u + 2087. Does 17 divide j(-14)?
True
Let j(l) = -l**2 - 19*l + 24. Let a(m) = -m - 24. Let u be a(-4). Let r be j(u). Suppose 3*w - 392 = 2*v + 55, -r*w + 5*v + 603 = 0. Is 40 a factor of w?
False
Let d(k) = -13*k**3 - 51*k + 38. Is 171 a factor of d(-9)?
False
Suppose 9*j + 2 = 38. Suppose -2*o = -f + 92, -j*o + 151 = 2*f - 1. Does 6 divide 28/f*(36 + 1 + -1)?
True
Suppose -55*n + 179176 = 21*n - 686236. Is 18 a factor of n?
False
Suppose 0 = -5*k + 46*l - 42*l + 23921, 0 = k + 4*l - 4789. Does 20 divide k?
False
Let g be (2754/15)/3 - 1/5. Let m = 57 - g. Is 39 a factor of (m/(-22) - 5196/264)*-2?
True
Let k = 583 - 508. Suppose -k - 29 = -g - 3*s, -104 = -g + 3*s. Is g a multiple of 29?
False
Suppose -3*d + k - 1 = 0, 0 = 2*d - 4*d - 5*k - 12. Does 5 divide ((-2)/9)/d - 4923/(-81)?
False
Let p = 655 - 563. Suppose -p*h - 580 = -96*h. Does 5 divide h?
True
Suppose 5*f - 8 = 4*q, 3*f + 2*q = f + 14. Suppose -f*s + 608 = t - 0*t, -3*s = -4*t - 437. Is s a multiple of 23?
False
Let y be (-11 + (3 - 7))*-129. Let g = y - 1080. Is g a multiple of 57?
True
Let f = -607 - -678. Is 7 a factor of f?
False
Let b(d) = -529*d - 881. Does 42 divide b(-5)?
True
Suppose 7*a - 120 = -3*a. Suppose 3 = -5*r - a. Does 17 divide 150/1 - (45/5)/r?
True
Suppose -9*f = -0*f - 18. Let j be (f/3)/((-1)/(-18)). Is (j/16)/(-3) + 207/12 a multiple of 17?
True
Suppose -5*a - 49 - 1 = 0. Let o(q) = 4*q**3 + 11*q**2 + 9*q + 6. Let v(z) = 3*z**3 + 11*z**2 + 10*z + 9. Let s(h) = 2*o(h) - 3*v(h). Is s(a) a multiple of 4?
False
Let o(t) = 2*t**2 - 13*t - 26. Let z be (-6)/(-2) + (8 - -3). Is o(z) a multiple of 34?
False
Suppose -64 = -12*p - 100. Let h(w) = -156*w - 18. Is h(p) a multiple of 11?
False
Let a(v) = 569*v + 1888. Is a(34) a multiple of 26?
False
Let s(o) = 81*o**2 - 131*o - 1248. Is s(-9) a multiple of 20?
False
Let m(h) = -4*h + 3*h**2 + 4*h - 15*h - 2*h**2 + 23. Let p be m(14). Is 27 a factor of p/(-2)*60/(-5)?
True
Let v(s) = 2090*s**2 + 9*s - 9. Let x be v(1). Suppose -x = -11*l + l. Does 11 divide l?
True
Let k = 5330 + -2810. Suppose 31*t - k = 24*t. Does 36 divide t?
True
Suppose -4*a + 5*x + 4641 = 0, 0 = -0*a + 2*a - 2*x - 2322. Suppose -3*i - 32 + 47 = 0. Suppose d = -i*h + a, 3*d - 1167 = -5*h + 5*d. Is 27 a factor of h?
False
Let q = 45 - 4. Suppose 0*u + 4*u - 54 = 3*p, -2*p = -3*u + q. Is (-102)/(u/10 - 3) a multiple of 34?
True
Let u = -322 + 327. Suppose 0 = -h - u*q + 30, 5*q + 90 = 3*h - 0*h. Is h a multiple of 4?
False
Suppose 12 = -6*v + 12*v. Suppose b = 2*a + 83, -v*b - 3*a + 0*a = -152. Suppose 8 - 152 = -4*l + 3*k, -5*k = 3*l - b. Is l a multiple of 11?
True
Let s = -141 + 412. Suppose -s - 242 = -9*f. Does 57 divide f?
True
Let g = 678 - 246. Suppose 3*o + 4*m - 643 = 0, -5*m + 4*m + g = 2*o. Is 31 a factor of o?
True
Suppose 2*j + 342 = -7*j. Let k = j - -53. Suppose 3 + k = m. Is 2 a factor of m?
True
Suppose 39*h - 43*h + 4*j = -70716, 4*h = 3*j + 70719. Is 19 a factor of h?
False
Suppose 0 = -2*y + 2*a - 0 + 12, 3*a = -12. Let o be y/(-19) + (-18)/(-171). Suppose 2*l + o*l - 100 = 0. Does 25 divide l?
True
Let g(m) = -1141*m - 6118. Let n(z) = 30*z + 161. Let w(v) = -2*g(v) - 77*n(v). Is 37 a factor of w(-9)?
False
Let o be (-57)/(-12) - (26/(-8) - -3). Suppose o*x - 4*x - 119 = 5*z, 0 = 3*x + 3*z - 339. Is x a multiple of 6?
True
Let b be 10/(-3)*(-2 + 32/10). Does 21 divide -7*-1*32 + b/(-1)?
False
Let m = -457 - -459. Suppose -q + 6 = 4*o - m, -3*q + 3*o = -99. Is q a multiple of 7?
True
Suppose 12*j - 36 = 3*j. Suppose -w = -5*m + j*w + 2270, -w - 2274 = -5*m. Is 26 a factor of m?
False
Suppose 5*d - 8 = f, 0 = 2*f + 5*d - 0 - 44. Does 4 divide (f/(-7))/((-28)/4214)?
False
Let l(d) = -2*d**2 - 6*d + 11. Let k be l(4). Let p = 53 + k. Suppose -4*m = 5*s - 805, p*s - 5*m = 3*s + 760. Does 12 divide s?
False
Suppose -d = -48*q + 47*q + 15453, 0 = -5*d - 10. Does 8 divide q?
False
Let q(j) = -7*j**3 - j**2 - j + 8. Let i(y) be the third derivative of -y**6/40 + 2*y**3/3 + 8*y**2. Let w(x) = -5*i(x) + 2*q(x). Does 4 divide w(4)?
True
Let h = 162 + -102. Is (1728/h)/(-2*(-9)/60) a multiple of 6?
True
Let s(u) = -10*u + 309. Let l be s(37). Is 4 a factor of (-4)/(48/(-1251)) + l/244?
True
Let s(i) = -78*i**3 + 8*i**2 + 32*i + 57. Does 43 divide s(-5)?
True
Let b(i) = -i**3 + 10*i**2 + 13*i + 14. Suppose 0 = 4*h - 1 - 19. Suppose h*g - 21 - 34 = 0. Is b(g) a multiple of 9?
True
Suppose -t - 389 = 2*w, 5*t - t = 2*w - 1526. Let s = 430 + t. Is s a multiple of 5?
False
Let k = 121 - -15. Suppose v - 153 = k. Suppose -276 - v = -5*i. Does 28 divide i?
False
Suppose 117*f + 5041 = x + 118*f, 0 = 4*x + f - 20140. Does 2 divide x?
False
Let s be 2/((-108)/(-20) + -5). Suppose 5*d = -2*n + 573, 0 = -s*n - d + 958 + 509. Is n a multiple of 21?
True
Suppose -3*h + 4*w = -21, -2*h - 3*w - 2*w = 9. Does 9 divide (-9)/(-27) + h + 260/3?
True
Let r = -15 - -111. Let t = 344 + -387. Let j = r + t. Is 7 a factor of j?
False
Let k = -67 + 78. Is (k/(-2) - -7)*316/