 - 0*t - 9. Suppose -34 = -2*n - 0*m + q*m, -4*n = 2*m - 68. Is n a multiple of 17?
True
Suppose m = 3*m + 4. Let a be 142/(6/(5 + m)). Let v = a + -50. Is 9 a factor of v?
False
Suppose 3*h - 85 - 89 = 0. Does 29 divide h?
True
Suppose -551 + 211 = -5*y. Is y a multiple of 18?
False
Suppose 4*q - c - 16 = 0, -5*q + c = 5*c - 20. Let n = -87 - -88. Let w = q - n. Is w even?
False
Suppose -29 - 59 = -4*v. Suppose v + 17 = c. Is 13 a factor of c?
True
Let w be (-7)/28 + (-25)/(-4). Let o(f) = f**3 - 6*f**2 + f - 2. Let t be o(w). Suppose -2*h = s - 39, 4*h + t*s = 8*s + 96. Does 21 divide h?
True
Let i(p) be the third derivative of p**5/60 - 13*p**4/24 + 7*p**3/2 - 8*p**2. Does 6 divide i(14)?
False
Let i = 88 - -20. Suppose -5*q + i = -q. Is 12 a factor of q?
False
Let s(l) = -l**2 + 9*l - 5. Suppose -2*y + 3*y = -2*n + 18, -5*n = 5*y - 65. Does 2 divide s(y)?
False
Let d be (4 + -1)*(-18 + 1). Let m = -3 - d. Does 25 divide m?
False
Suppose -120 = -13*q + 10*q. Is 4 a factor of q?
True
Let u(d) = -d + 2. Let s be u(-7). Let n(q) = 4*q - 16. Is 6 a factor of n(s)?
False
Let y = -36 - -52. Suppose 0 = 5*j + 4*c + y, 3*c + 12 = j - 0*c. Suppose j = -2*p + 5*r + 34, 0 = -0*r + 4*r + 16. Is p even?
False
Suppose 0*q + q = 54. Suppose -4*l + 2*l + q = 0. Is l a multiple of 9?
True
Let k(g) = g - 1. Let x(j) = -j**3 - 6*j**2 + 5*j - 9. Let b be x(-7). Is k(b) a multiple of 4?
True
Let u(z) = -3*z**2 + 23*z + 3. Does 17 divide u(7)?
True
Suppose -4*v + 117 = -v. Does 19 divide v?
False
Let y be (-18)/3 - 0/1. Let m = y + 0. Is 6 a factor of (-102)/(-9) - 4/m?
True
Suppose -5*z + 120 = -90. Is 14 a factor of z?
True
Let c = 31 - -13. Is c a multiple of 11?
True
Let y(n) = n**3 - 4*n**2 + 2*n - 3. Let b be y(4). Suppose 28 - 3 = b*w. Suppose 3*d = w + 61. Is 11 a factor of d?
True
Let j = 35 + 4. Does 10 divide j?
False
Let q(y) = -y + 67. Does 22 divide q(23)?
True
Is 6 a factor of -1*(1 + -30 - 0)?
False
Let s(g) = -3*g**2 - 5*g - g + 4*g**2. Is s(8) a multiple of 6?
False
Let s = -15 - -42. Is s even?
False
Suppose 5*w = -2*k + 79, 5*k + 4*w + 69 = 275. Does 13 divide k?
False
Let z(u) = u**3 - 7*u**2 - 8*u + 3. Let i be z(8). Let r(b) = -2*b**2 + 4*b - 2. Let p be r(i). Let h = 8 - p. Is 8 a factor of h?
True
Suppose 3*d = 5*u - 0*d - 41, -18 = -3*u + 4*d. Is 2 a factor of u?
True
Let f(z) = z**3 + 8*z**2 + 3*z + 4. Suppose 4*j = -n + 16, -j + 9 = -n - 0. Does 15 divide f(n)?
False
Let t(q) = 3 + 13*q**3 - 2 - q**2 - 57*q**3. Is t(-1) a multiple of 18?
False
Suppose -5*x = -4*x + 3. Let r be (27/6)/((-6)/8). Is x/(-2)*(-124)/r a multiple of 11?
False
Let t(p) = 3 + 2*p + 2*p - 7. Does 13 divide t(5)?
False
Let m(s) = 2*s. Let b be m(1). Let g = 106 + -102. Suppose -80 = -g*t - 2*p, 0*p = b*t + 4*p - 46. Is t a multiple of 19?
True
Let h be (-1 - 0)*(-3)/(-1). Suppose 0 = -2*m + 5*m + 78. Let o = h - m. Is 11 a factor of o?
False
Let k(r) = -r**3 + r. Let h be k(0). Suppose -7 = 4*x - 19. Let t = x + h. Does 2 divide t?
False
Let j(g) = -8*g**2 + 10*g + 1. Let l(o) = o**3 - o. Let r(c) = j(c) + l(c). Suppose -28 = -4*t + 4*k, 5*t + 2*k = -k + 35. Is r(t) a multiple of 15?
True
Suppose 5*l + 0*k - k = 82, -3*k = -9. Is l a multiple of 8?
False
Let a = 7 + 2. Is 3 a factor of a?
True
Let c be (2/6)/(2/18). Suppose 52 = -u + c*u. Is 15 a factor of u?
False
Let f(s) = -3*s - s - 16 + 25. Is 25 a factor of f(-4)?
True
Suppose -3*t = -3*c - 450, 7*t - 4*t + 4*c - 485 = 0. Is 31 a factor of t?
True
Let m = 118 + -70. Suppose m - 136 = -2*f. Is 22 a factor of f?
True
Suppose 68 = 3*d + x - 68, 4*x + 255 = 5*d. Is 25 a factor of d?
False
Suppose -3*g = 13 + 17. Let u = -2 - g. Does 3 divide u?
False
Does 12 divide (-1 + (-708)/(-16))/(2/8)?
False
Is ((-9)/(-2))/((-279)/96 + 3) a multiple of 12?
True
Suppose -i + 3 + 3 = 4*p, -2*i = -5*p + 1. Suppose -i*w = -2, w + 18 = 5*x - w. Suppose -x*a + 12 = -108. Is 11 a factor of a?
False
Let s(a) = a**2 + 13*a - 13. Does 3 divide s(-15)?
False
Suppose -2*v - 5*k = 25, v - 3*k - 24 + 9 = 0. Suppose v = -3*z + 31 + 77. Is z a multiple of 15?
False
Let b(g) = 2*g**2 - 6*g + 5. Is b(3) a multiple of 4?
False
Let x = 4 + -4. Let f be x + (0 - -2) + -51. Let d = 81 + f. Is d a multiple of 21?
False
Suppose z = 4 - 7. Let l = z - -55. Does 15 divide l?
False
Suppose r - 9*r = -56. Let u = -42 - -63. Suppose -4*j = -r*j + u. Is j a multiple of 7?
True
Let d(y) = y**3 - 8*y**2 + 8*y + 2. Let o(g) = -g**3 + 6*g**2 - 3*g - 7. Let f be o(5). Suppose 35 = f*s + 2*s. Is d(s) a multiple of 4?
False
Let k = 297 + -11. Is k a multiple of 13?
True
Suppose -4*p - o + 3*o + 10 = 0, 5*p = -4*o + 19. Let s(l) = l**2 - l + 2. Let v be s(0). Suppose -d + v*f = -28, p*d - 4*f = 5*d - 32. Is d a multiple of 11?
True
Is 7 - (0 + -2)/(-2) even?
True
Suppose 3*w - 1184 = -5*k, -8 + 18 = -5*w. Does 12 divide k?
False
Let t(y) = -3*y + 5*y**2 + 6*y + 2*y - 2*y. Let k be t(-4). Does 13 divide ((-3)/(-6))/(2/k)?
False
Let o = 19 + -16. Suppose o*c + 0 = -6, -2*l - c + 84 = 0. Does 18 divide l?
False
Let f = -2 - -8. Suppose f*u + h - 198 = u, -u = 2*h - 36. Does 10 divide u?
True
Let m = 2 + -1. Is (m - 10)/(6/(-20)) a multiple of 13?
False
Is 4*(-5)/(-40)*46 a multiple of 4?
False
Let b(h) = h**2 + 14*h - 24. Is b(-20) a multiple of 5?
False
Let j be ((-16 - -1) + 2)/1. Let a = j - -27. Is 14 a factor of a?
True
Suppose 5*n - 57 = 13. Suppose -61 = -3*j + n. Does 13 divide j?
False
Let k(t) = t**3 + 4*t**2 + 3*t + 3. Let r be k(-3). Suppose r*q - 12 = -q. Suppose 28 = q*d - d. Is d a multiple of 11?
False
Suppose 5*r = -0*h + 3*h + 35, 0 = -2*h. Is 4 a factor of 30/(-4)*(r + -9)?
False
Let a = -5 + 3. Let o be ((-6)/8)/(a/8). Suppose -4*c = o - 67. Is 8 a factor of c?
True
Let j = -13 - 20. Let q = j - -53. Suppose -z = z - q. Is z a multiple of 10?
True
Let v = -38 - -26. Let o = -4 - v. Is o even?
True
Suppose w - 9 = -5*h, 3*w = -3*h - 1 + 16. Suppose 5*d + 16 = 2*d - 4*y, -5*d + 16 = -w*y. Suppose -5 = 5*x, d*j - 3*j + 9 = 3*x. Is j even?
True
Is 11 a factor of (-13)/(-26) - 55/(-2)?
False
Let n be (-7)/(-2) + 12/(-8). Suppose -3*s = 5*q + 49, n = -3*s - 4*q - 42. Let h(x) = -x**3 - 7*x**2 + 8*x + 11. Is 5 a factor of h(s)?
False
Let l be (1 - 0) + 114/6. Suppose 0 = -3*n - 58 - l. Is 17 a factor of 3 - n - 2*-1?
False
Suppose -c + 0*g - 2*g = -12, c = 4*g - 18. Is 15*c/(6/15) a multiple of 19?
False
Let s = -2 + 2. Suppose -3*h - 6 = -4*k + 4, -3*h - 4*k + 22 = s. Does 2 divide ((-26)/(-10) - h)*5?
False
Suppose -15 = -3*c - 2*c. Suppose 0 = 2*p + 3*j - 44 + 8, 0 = -4*p + c*j + 72. Does 13 divide p?
False
Suppose 3*i + x - 5*x = 194, 252 = 4*i - 2*x. Suppose 0 = 3*m + 4*t - 57, 3*t - 22 = -5*m + i. Is m a multiple of 6?
False
Let z(t) = -3*t + 8. Let x(h) = -h**2 - 4*h + 6. Let s be x(-6). Is z(s) a multiple of 13?
True
Let i(l) = -l**2 - 3*l + 4. Suppose 0 = -2*v - 3*o - 1 - 8, 0 = 3*v + 3*o + 12. Is i(v) a multiple of 4?
True
Suppose -5*p - 2*o = 5, -4*p + 2*o = 4*o + 6. Let r be (0 - p - -8) + -2. Suppose 0*c - 69 = -2*c - 5*s, -r = -s. Does 10 divide c?
False
Suppose h + 5*t + 180 = 6*h, 139 = 4*h - 3*t. Suppose -61 = -v + 3*r, 4*r + 33 + h = v. Does 12 divide v?
False
Suppose -8*f = -2085 + 469. Is f a multiple of 11?
False
Suppose 4*c - 3*j - 31 = 0, 4*c = -5*j - 2 + 25. Let w = c + -3. Suppose -2*i = -w - 16. Does 9 divide i?
False
Suppose 2*m - 67 - 239 = 0. Is m a multiple of 23?
False
Suppose -8*d + 4*d + 200 = 0. Is 13 a factor of d?
False
Suppose -8*y - 24 = -4*y. Let f(p) = p**2 + 6*p + 1. Let r be f(y). Suppose 2*b = 51 - r. Is 17 a factor of b?
False
Suppose j = b, -4 = -3*b - 5*j + 4*j. Let w be (-2)/(-2) + 38/(-2). Is (w/(-4))/(b/6) a multiple of 14?
False
Suppose 40 = 4*x + 4*t - 7*t, -4*x = t - 24. Suppose 5*r - 2*y - x = 10, -4*r + y + 13 = 0. Suppose r*s + 24 = a, 2*s + 83 = 4*a + 3*s. Is 15 a factor of a?
False
Suppose -t - t + 8 = 0, 2*t = -2*h + 328. Does 40 divide h?
True
Suppose 0 = 2*o - o - 127. Let j = o + -24. Let v = j - 67. Is 18 a factor of v?
True
Let u = -1 + 4. Suppose 0 = -4*r + 2*i + 50, -4*i = -u*r - i + 42. Suppose -17 = -2*n + r. Does 7 divide n?
True
Suppose 0 = 4*c - 5*c + 4. Suppose 0 = -c*x - x + 120. Is x a multiple of 15?
False
Suppose 0 = 5*k + 7 + 3. Let h be 2 + k + 3 + 1. Suppose 3*n - 3*