True
Suppose -5*z - 1368 = -7*z - 4*v, -5*v = 25. Is 54 a factor of z?
False
Suppose 0 = -2*p - 2*z - 232, 2*p - 3*z - 18 + 260 = 0. Let v = p + 253. Is v a multiple of 34?
False
Let k = -7 + 14. Suppose k = -3*y + 1. Is y/(3 - (-137)/(-45)) a multiple of 17?
False
Let x = 260 - 266. Let j(y) = -y. Let l(g) = -20*g + 20. Let a(m) = 25*j(m) - l(m). Is a(x) a multiple of 4?
False
Let q(i) = i**3 + 8*i**2 + i. Suppose -4*l - 15 = 17. Let f be q(l). Does 3 divide (6/4)/((-4)/f)?
True
Suppose 0 = 4*v + 3*j - 203, 3*j - 262 = -5*v + 2*j. Let z = 83 + v. Does 34 divide z?
True
Suppose 84 = 6*w - 144. Let r be w/(-57) - 38/(-3). Is 12 a factor of 4/(((-8)/r)/(-2))?
True
Let a(h) = -h**2 - 21*h - 20. Does 18 divide a(-19)?
True
Let g(u) = u**3 + 10*u**2 - 3*u - 9. Let y be g(-10). Let p be 60/y + (-1)/(-7). Suppose -3*a + 2*b + 3*b = -82, 23 = 2*a + p*b. Is a a multiple of 9?
False
Suppose 528 = 108*p - 106*p. Is p a multiple of 44?
True
Suppose t = -0*t - 5*k - 2, -7 = -4*t - 5*k. Let d(b) = b**3 + b**2 - 7*b - 3. Let v be d(-3). Suppose -t*h + 9*h - 228 = v. Is h a multiple of 24?
False
Let k(r) = -r**2 - 37*r - 64. Is k(-29) a multiple of 12?
True
Let j(c) = -c**3 - 10*c**2 - 8*c + 13. Suppose -5*m - 18 = 2*s, -2*s - 26 = 4*m - 8. Let g be j(s). Suppose u - 35 = -x, 2*x - 2 + g = 0. Is 12 a factor of u?
True
Is 8 a factor of -4*(-10)/16 + 1803/6?
False
Suppose 5*q - 196 = q - 4*m, -2*m + 47 = q. Suppose -q = -i - 0*i. Is i a multiple of 17?
True
Let x(s) = -3*s - 26. Let l be x(-13). Suppose -l*o = -4*o - 738. Is 11 a factor of o?
False
Let j be ((-62)/(-3))/((-22)/(-363)). Let i = -239 + j. Is 13 a factor of i?
False
Suppose 2*k + 6 = k. Let n = k + 8. Suppose -4*d + 20 = w, -w + n*d = -17 - 33. Does 10 divide w?
True
Suppose -5334 - 4356 = -10*m. Is m a multiple of 17?
True
Let d(p) = p**3 + 5*p**2 + p - 1. Let l(v) = v**3 + 14*v**2 - v - 10. Let n be l(-14). Suppose -4*c + 3*c - n = 0. Does 11 divide d(c)?
True
Let a be 28/10 - 6/(-30). Suppose k = c - 104, 0*c + 213 = 2*c + a*k. Is c a multiple of 15?
True
Suppose 3*i - 190 = -2*i. Suppose -4*q + 4*o = 2*o - 44, i = 3*q + o. Is 24 a factor of ((-9)/q)/(3/(-312))?
False
Suppose 5*g + 3*w - 25 = 0, 3*w + 16 = 3*g + 5*w. Suppose c + 10 - 350 = -g*i, 0 = 3*c + 6. Is 12 a factor of i?
False
Let q = -66 + 70. Suppose -q*r + 295 = l, -4*r + 14 = -5*l - 263. Is 10 a factor of r?
False
Let h(p) = -4*p + 2. Let k(r) = 9*r - 7. Let l(y) = -7*h(y) - 3*k(y). Let q(b) = -b**3 - b - 2. Let v be q(-2). Does 15 divide l(v)?
True
Suppose -x = 4*k - 1387, 76 + 595 = 2*k + 5*x. Is k a multiple of 16?
False
Is 38373/63 + 6/(-63) a multiple of 29?
True
Let d(c) = 59*c**3 - 4*c**2 + c + 4. Let w(p) = -59*p**3 + 3*p**2 - p - 3. Let s(y) = -4*d(y) - 5*w(y). Does 12 divide s(1)?
True
Suppose 3*f - 2*g - 1487 = 48, -2*f - g + 1035 = 0. Suppose 6*y + 77 = f. Let r = -43 + y. Does 10 divide r?
True
Let q(i) = 17*i - 4. Let c be q(3). Let x = 24 - -7. Let o = c - x. Is o a multiple of 14?
False
Suppose -3*g - 5*u + 16 = 0, 3*u - 11 = 4. Let z(f) = f**2 + f. Let p(a) = -7*a**2 + a + 6. Let b(r) = -p(r) - 3*z(r). Does 14 divide b(g)?
True
Suppose 8*w - 42108 = -14*w. Is w a multiple of 22?
True
Let k = 9 + 3. Let j(r) = -r + 15. Let t be j(k). Does 7 divide -1 - (t*-20)/4?
True
Let t = -90 - -164. Let h = -44 + t. Is h a multiple of 30?
True
Let d(q) = 358*q**2 - 10*q - 7. Is d(-1) a multiple of 4?
False
Let l = 176 - 50. Is l a multiple of 8?
False
Let d(n) = 3*n**2 + n - 8. Let w be d(-4). Suppose w - 12 = 4*a. Is 2 a factor of a?
True
Let w(j) = 4*j**3 - 7*j - 13. Let t(d) = -5*d**3 + d**2 + 6*d + 14. Let c(g) = 3*t(g) + 4*w(g). Is 14 a factor of c(-4)?
True
Let t(b) = 3*b**3 - 3*b**2 - 7*b - 6. Does 23 divide t(6)?
False
Let y(h) = 10*h + 243. Is y(56) a multiple of 21?
False
Let w(g) = g**3 - 6*g**2 - 9*g + 9. Let f be w(7). Is 2/1 - 0 - f a multiple of 3?
False
Suppose -103*n + 6815 = -98*n. Is n a multiple of 29?
True
Suppose -4*o - 32 = 5*i, 0 = 5*i - o + 22 - 5. Let p = i + 27. Is 13 a factor of p?
False
Does 4 divide 8802/24 + 44/(-16)?
True
Let q(z) = -z**2 + 14*z - 8. Let o be q(6). Suppose 0 = 2*f + 2*f - o. Suppose 0 = 4*p + f - 218. Is 13 a factor of p?
True
Let c(n) = -n**2 + 13*n - 3. Let p = -14 + 19. Suppose r - 17 = -5*o, -p*r + o = -4*r - 11. Is c(r) a multiple of 9?
True
Suppose -19*u + 15050 + 7845 = 0. Is 12 a factor of u?
False
Let m(z) be the third derivative of z**5/60 - z**4/8 - z**3/2 - 3*z**2. Let k be m(5). Suppose -3*d - 40 = -k*d. Does 10 divide d?
True
Let v(b) = -b**2 + 23*b - 19. Let h be v(18). Let a = h + -26. Does 15 divide a?
True
Suppose -46*a - 1323 = -53*a. Is a a multiple of 9?
True
Let q(g) be the third derivative of -5*g**2 - 1/8*g**4 + 0 + 0*g - 2*g**3. Is q(-12) a multiple of 9?
False
Does 12 divide (3/((-36)/32))/((-32)/16272)?
True
Let z = -2 - -2. Suppose -5*n - 64 - 116 = z. Let t = n - -54. Is t a multiple of 11?
False
Let w = -1533 - -2299. Suppose -5*i = 0, 2*j = -2*i - w + 180. Does 27 divide j/(-3) + 2/6?
False
Let f = -379 - -381. Suppose 0 = -2*a - 4*c + 828, 3*a - a - 4*c = 860. Suppose 0 = 5*s + 15, -4*b = -0*s - f*s - a. Does 26 divide b?
True
Suppose c = -4*k + 1238 - 497, 0 = k + 2. Suppose -5*v + 193 = -4*y + c, -4*v - 272 = -2*y. Is 24 a factor of y?
True
Let u = 156 + -147. Is 11 a factor of (-693)/(-14)*12/u?
True
Let z(s) = 18*s**3 + s**2 + s. Let l be z(-1). Does 8 divide ((-32)/(-6))/(l/(-27))?
True
Suppose -9*z = -5*z. Suppose -3*t = -t, -4*a - 5*t + 136 = z. Is 23 a factor of a?
False
Suppose 4*t - 2672 = 4*x, 0*t - 4*x + 643 = t. Suppose 2*h = -v + 223, v - 102 = 5*h - t. Is h a multiple of 31?
False
Let y be (-3652)/(-16) - 3/12. Suppose 57 = z + 2*a, 2*a + 0*a = -4*z + y. Is (-3)/(-6)*(z + 3) a multiple of 11?
False
Let l = 322 + 839. Is l a multiple of 15?
False
Let k(l) = -l**2 - 6*l - 12. Let y be k(-6). Let f be (-2 - y)/(0 - 1). Let h = f - -20. Is h a multiple of 5?
True
Does 66 divide (11 - 10)*(-2 - -360)?
False
Let o(p) = -3*p - 4. Let b be o(-5). Suppose 5*n = b + 14. Suppose 0 = 2*v + h - 0*h - 45, n*v + h = 108. Is 7 a factor of v?
True
Suppose 572*g = 567*g + 7730. Does 16 divide g?
False
Suppose 4*m = 83 + 789. Does 10 divide m?
False
Let t(r) = 4*r**2 + r - 3. Let d be t(-3). Let a = d + -26. Suppose 0 = -3*q + 2*l + 81, -a*l + 38 = 2*q - 0*q. Is q a multiple of 19?
False
Suppose -55*w = -58*w + 12. Is 8 a factor of (w*(-16)/(-12))/((-2)/(-21))?
True
Let g = -25 - -33. Suppose -13*x + g*x + 260 = 0. Is 26 a factor of x?
True
Let x(m) = -8*m. Let f(r) = 20*r. Let t(p) = -5*f(p) - 12*x(p). Let k = 8 - 15. Does 14 divide t(k)?
True
Suppose 0 = -6*v + 3*v + 63. Is 7 a factor of (4 + -5)/((-1)/v)?
True
Suppose -4*h = 3*a + 15, h + 2*a + 1 + 9 = 0. Suppose -63 - 13 = -4*j. Let t = j + h. Does 8 divide t?
False
Let v = 13 - 12. Suppose -5*o = 5, -2*o + v + 3 = 2*x. Suppose -4*h + x*j = -225, -2*h + j + 108 = -3. Is h a multiple of 23?
False
Let p = -49 - -68. Let r = p - -1. Is r a multiple of 10?
True
Let k be 2/11 + 11564/(-77). Let z = k + 198. Is z a multiple of 12?
True
Let l be (11 - (1 + -2)) + -4. Suppose l*q - 3*q - r - 291 = 0, -20 = -5*r. Does 15 divide q?
False
Does 6 divide (-14 + 71)*(-2)/6*-1?
False
Let i be (-12)/(-2)*(-3 + 2). Let w be ((-134)/i)/((-2)/(-6)). Suppose -25 = -d + 2*c, -3*d + w = -2*c - 0*c. Is 7 a factor of d?
True
Suppose 0 = -8*v - 25 - 47. Is 8 a factor of (-2)/(v/((-729)/(-6)))?
False
Let i(q) = -2*q**2 - 33*q + 25. Let t be i(-15). Does 17 divide 2/5 + 7112/t?
True
Suppose 13 = -5*n + 288. Is (0 - n/(-10))*2 a multiple of 8?
False
Suppose 4*n - 4*d = 36, -4*n - 3*d - 2 = -3. Suppose -m = -n*m. Suppose m = -a + 4 + 19. Does 18 divide a?
False
Let j(g) = -41*g + 11*g**2 - 12 + 25*g - 2*g**3 + 2*g**3 + g**3. Let u be 2/(-8)*2*24. Does 12 divide j(u)?
True
Let i = 7 + 54. Does 21 divide i?
False
Suppose 2*h - 207 = 93. Suppose -2*y - 3*y + h = 0. Is 6 a factor of y?
True
Let p(h) = 4*h + 24. Let r(u) = 2*u**2 - 17*u + 16. Let i be r(8). Does 4 divide p(i)?
True
Let m = 211 - 128. Does 23 divide (0 - -2)*6/(12/m)?
False
Suppose 53 = 2*v - 5*q - 268, 2*v + 4*q - 366 = 0. Suppose 66 - v = -z. Is 12 a factor of z?
False
Let j = -5 + 4. Let x(o) = -54*o**3 + o**2 + o. Let c be x(j). Suppose -3*g + g + 4*f = -c, 