. Let z = -15 + g. Does 8 divide z?
False
Suppose -5*g = -1 - 14. Suppose p + g*p - 16 = 0. Suppose p*f = 145 + 55. Does 25 divide f?
True
Suppose 826 = -11*u + 18*u. Does 59 divide u?
True
Let v = 4 + -20. Let k = v - -25. Is k a multiple of 9?
True
Is 32 a factor of 1/(-4) + (-2369)/(-4)?
False
Suppose 4*s - 1 - 7 = 0. Let x(y) = 7*y - 1. Is 5 a factor of x(s)?
False
Suppose -3*x = x + 16, 2*x + 448 = -4*r. Let b = -50 - r. Is 10 a factor of b?
True
Let h(s) = -s**3 + s + 1. Let z(y) = y**3 + 14*y**2 - 18*y - 6. Let q(g) = -2*h(g) - z(g). Let k be q(12). Let x = -63 - k. Does 8 divide x?
False
Suppose 0*w = -7*w + 455. Is 7 a factor of w?
False
Let q be 2/4 - 22/(-4). Let r be 6*(-5)/((-30)/(-39)). Is q/r - 5474/(-91) a multiple of 8?
False
Suppose -4*w + 5*w - 105 = 4*y, -w - 95 = 4*y. Let l(u) = -5*u**2 - 8*u + 1. Let j be l(-4). Let v = y - j. Does 4 divide v?
False
Let s(f) = -f**2 - 9*f - 6. Let l be s(-9). Is l/(-2)*(11/3 + 6) a multiple of 5?
False
Let q be (-49)/(-14)*8/(-14). Let c be q/(-8) - 1528/(-32). Let g = c - 28. Is g a multiple of 20?
True
Suppose 0 = -4*w - 3*n + 16, 4*n - 4 = -w. Suppose -5*p = -21 - w. Let u(h) = 14*h - 10. Is u(p) a multiple of 10?
True
Let x be (-40)/(-18) + 10/(-45). Suppose 7*r - x*r = -50. Let o = r - -28. Is 18 a factor of o?
True
Let j = 15 + -11. Suppose -q - j*b = -92, -2*b - 25 = -q + 43. Is 23 a factor of q?
False
Let k be (-4)/16*35 - (-2)/(-8). Does 15 divide 58/3*k/(-2) - -3?
True
Let q = 46 + 81. Is q a multiple of 12?
False
Let k = 215 + -73. Suppose 5*h + 2*w - 464 - k = 0, -4*w = -3*h + 348. Is 20 a factor of h?
True
Let z = -148 - -217. Suppose 0 = -x - o - 4*o + 5, -3*x + 3*o - 3 = 0. Suppose x = 4*f - z + 17. Is 6 a factor of f?
False
Suppose -5*c - 4*p = 22, p + 6 = -2*c - 1. Suppose 2*q - 16 - 13 = -3*d, 0 = 4*q - 2*d - 34. Is 9 a factor of (-5)/q*29*c?
False
Is ((-21470)/(-20) - 5) + 2/(-4) a multiple of 6?
True
Let k(b) = 33*b + 18. Does 45 divide k(9)?
True
Let c = -190 - -310. Is -807*(-8)/c - 1/(-5) a multiple of 6?
True
Let o(f) = 0 + 3 - 3*f**2 + 2*f**2 + 3*f - 4. Let k be o(2). Is 56 - (0 - k)*3 a multiple of 17?
False
Let z be -1*802*2/(-4). Suppose l = -2*r - 111, -53 = -3*l - r - z. Is 20 a factor of l/(-6) - (-1)/2?
True
Suppose -4*r = 3*u - 265, 4*u + 207 = 5*r + 550. Is 38 a factor of u?
False
Suppose 0 = -6*d - 2*d - 352. Let a = d + 64. Is a a multiple of 20?
True
Let n(w) = w**2 + 14*w + 19. Let p be n(-13). Let j(h) = h**3 - 4*h**2 + 7*h - 2. Let g be j(p). Suppose -g = -5*x + 133. Is 13 a factor of x?
False
Is 33 a factor of (7 - 271)*(1 + -1 - 1)?
True
Suppose 307 = 4*r + 75. Let a = -143 + 142. Let x = a + r. Is 13 a factor of x?
False
Suppose -4*p = -8, 5*v + 0*v = 3*p + 6944. Is v a multiple of 10?
True
Suppose -34*u + 4572 = -16*u. Does 14 divide u?
False
Let q(c) = 0*c + c + 5*c - 4*c + 30. Let a be q(0). Let h = a + -3. Does 9 divide h?
True
Let y(x) = -2*x**2 - 55*x + 24. Is 35 a factor of y(-23)?
False
Suppose 35*b + 29*b = 8064. Is 2 a factor of b?
True
Let m = -1604 + 2055. Does 14 divide m?
False
Suppose -4*r - 18 + 134 = 0. Suppose 3*c - 2*p - 2 = 0, 3*c + 5*p - r = 2*c. Suppose 0 = -5*a + c*a + 30. Is 10 a factor of a?
True
Let g be (3 + -2)*12 + -2. Let p = g + 3. Let j = 40 - p. Does 9 divide j?
True
Let q(b) = -37*b + 6. Suppose o - 3*t = -0*t + 1, 4*o - 5*t = -3. Is q(o) a multiple of 19?
False
Let g(m) = 8*m - 19. Let i be (1 - (-51)/(-9))*-3. Let r be g(i). Suppose r = u + 2*u. Is u a multiple of 14?
False
Let n be (-8)/12*327*(-1)/2. Suppose 0 = g - 7 - n. Is g a multiple of 58?
True
Suppose -3*z + 2*z - 36 = 0. Let b be 6*1*(-672)/z. Suppose -b = -2*v + 48. Is v a multiple of 20?
True
Let v(u) = 16*u + 322. Is 8 a factor of v(-16)?
False
Let f = -324 - -498. Suppose 5*s - 261 = -5*b + 29, -3*b + 3*s + f = 0. Is 11 a factor of b?
False
Suppose h = 14 + 55. Suppose -57 = -w + 2*s + 3*s, s + h = w. Does 8 divide w?
True
Let m(h) = 3*h**2 + 6*h - 11. Let n = 32 + -38. Is m(n) a multiple of 35?
False
Suppose -2*f - 10 = -4*a + 2*a, 5*f = -a - 13. Suppose a*l = l - 3*r + 27, 0 = -4*l + 5*r + 159. Does 6 divide l?
True
Let b(p) = -3*p + 2. Let a be b(6). Let l = a + 16. Suppose 0 = -3*f - l*f + 84. Is 14 a factor of f?
True
Let p(i) = -2*i + 7. Let o be p(-8). Let l = o + -33. Let g = 19 + l. Is g a multiple of 9?
True
Let n = 1853 - 786. Does 97 divide n?
True
Suppose -9*l - 19*l + 4368 = 0. Does 2 divide l?
True
Let s = 590 - 418. Is s a multiple of 10?
False
Suppose -2*z + 419 = 231. Is 11 a factor of z?
False
Let j(a) = 261*a**2 - 58*a - 248. Is j(-4) a multiple of 10?
True
Let q = -777 + 1302. Is q a multiple of 21?
True
Suppose 5*c = -2*f + 519, -4*c + 9*c + f - 522 = 0. Let s = 146 + c. Is 25 a factor of s?
False
Suppose -5 = 5*j - 410. Is j a multiple of 9?
True
Let j = 35 + -30. Suppose -5*q - 216 = x - 5*x, -j*x + 241 = q. Does 7 divide x?
True
Let n be 3*58 + 1 - -2. Suppose 2*b + b = -n. Let a = b - -111. Does 26 divide a?
True
Suppose -340 = 4*i - 5*i. Suppose 0 = h - 4*f - 118, -2*h + 5*f = h - i. Is 10 a factor of h?
True
Suppose 0 = 3*z - 9*z + 24. Suppose -5*l + 762 = -3*p, -5*p + 280 = -2*l + z*l. Does 12 divide l?
False
Suppose 2*d + 2*c + 1078 = 0, 0 = 2*d - 0*d + 4*c + 1070. Does 5 divide 3 - (d/6 - (-2)/(-4))?
False
Suppose 2*l + 6 = -i, 5*l + 18 = -2*i + 2. Is (10 + i)/(-3) - -286 a multiple of 33?
False
Let a(i) = 2*i**3 + 4*i**2 + 24*i + 2*i**2 - 2 - 27*i. Does 30 divide a(4)?
True
Let b be 1 - (-31 + (1 - 0)*-2). Let p = b - 8. Does 3 divide p?
False
Let i be 3*((-10)/3 - -4). Suppose 4*h - h - i*n = 92, 4*h + 3*n - 151 = 0. Does 17 divide h?
True
Let b(m) = m**2 - 12*m - 30. Let a be b(14). Is (a + -50)*15/(-6) a multiple of 26?
True
Let t = 301 + -197. Suppose 5*m = 2*r + 4*m + t, -3*r - 5*m = 156. Let w = 85 + r. Does 11 divide w?
True
Let o(m) = -5*m**3 + 26*m**2 - 44*m + 59. Let l(j) = -j**3 + 5*j**2 - 9*j + 12. Let z(k) = -11*l(k) + 2*o(k). Is 37 a factor of z(7)?
True
Let p(b) = 3*b**3 - 9 + 36*b**2 - 4*b**3 - 12*b - 44*b**2. Is p(-7) a multiple of 13?
True
Let t be 3/9*-4*3/2. Does 9 divide (-5 - (-4 - t))*53/(-3)?
False
Suppose -4328 = -5*k - 4*a, 19*a = 4*k + 17*a - 3478. Is 14 a factor of k?
True
Suppose -26*f + 5120 = -18*f. Is 40 a factor of f?
True
Suppose 0 = -7*y + 938 + 2247. Is y a multiple of 9?
False
Let y(g) = -g**2 + 2*g + 6. Let r be y(3). Suppose -5*v + 2*t = -2*t - 343, -4*t + 193 = r*v. Does 36 divide v?
False
Is 1/((-6)/1) - 29995/(-42) a multiple of 51?
True
Suppose -12138 = 7*u - 49*u. Is 17 a factor of u?
True
Let q be -2*(606/(-4) + -4). Suppose -q = -6*z + 85. Does 11 divide z?
True
Let h be (8 - 7)/((-2)/3 + 1). Let w(y) = 3*y**2 - 6*y + 5. Does 2 divide w(h)?
True
Let h = 1979 - 768. Is h a multiple of 36?
False
Let f be (43 - 44)*(-16)/(-2). Let t(w) = -w**2 + w - 1. Let n(y) = y**3 + 13*y**2 + 8*y + 6. Let x(v) = n(v) + 3*t(v). Is 15 a factor of x(f)?
False
Let z(c) be the third derivative of c**5/20 + c**4/4 + 23*c**3/6 - 12*c**2. Does 8 divide z(-4)?
False
Let h be -2 - (-55 + 3)/(-2). Let f be 8/h + 768/(-7). Is 26 a factor of -3 + 1/(-2)*f?
True
Does 8 divide 9/(-18) - (9462/(-12) - -4)?
True
Is (-192)/(-320) - 24814/(-10) a multiple of 34?
True
Suppose -4*z + 5*a + 2 = 0, 3 = -3*z + 5*a + 2. Suppose 0 = 4*p + 4*s - 244, -z*p + 2*p + 71 = -s. Is 27 a factor of p?
False
Let r(s) = 3*s - 56. Let b(v) = -v + 19. Let u(y) = -17*b(y) - 6*r(y). Let j be u(9). Suppose j*t + 9 = 5*t. Does 3 divide t?
True
Let h(m) = -4*m - 27*m + m - 8. Let a be h(-5). Suppose 0 = -p - 5*c + a - 47, 0 = -5*p + 5*c + 385. Is 16 a factor of p?
True
Let c = 21 + 270. Is c a multiple of 53?
False
Suppose 4*l - 228 - 618 = -2*x, 2*l - 2*x = 408. Is 3 a factor of l?
False
Let q = 1495 - 966. Does 23 divide q?
True
Let s be (-1 - 0)*(-19)/(-19). Is 9 a factor of (-15)/((-2)/(-5) + s)?
False
Let t(g) = -g**3 + 48*g**2 - 3*g + 192. Is 16 a factor of t(48)?
True
Suppose 3*w + 16 = 13. Is 13 a factor of -1 - (1 + 240)*(w + 0)?
False
Suppose 21074 = 67*p - 11153. Is 28 a factor of p?
False
Let a be (-3 + 3)*(-4)/8. Suppose 4*n = 3*h - 81, -3*n = -5*h - a*n + 135. Let c = h - 0. Is 8 a factor of c?
False
Suppose 2*m + 606 = 4*z + 206, 3*m - 114 = -z. Let t = z + -88. Is 7 a factor of t?
True
Suppose 3761 + 1391 = 2*