es 17 divide v?
False
Suppose 0 = 2*q - 9 + 39. Does 3 divide (48/q + 2)*-5?
True
Let o be -1*(-8)/12*3. Does 21 divide (-625)/(-15) - o/(-6)?
True
Suppose -3*g - n = -4, -3*g = 3*n - 9 - 3. Let k be g + 2 + (1 - -2). Suppose 3*q + 2*o = 54, -3*q - 36 = -5*q + k*o. Is 12 a factor of q?
False
Let r(j) = -4*j + 3. Let y be r(4). Let u = y + 18. Suppose -t - 5*p + 39 = 0, -u*p = 2*t - 6*p - 34. Is t a multiple of 14?
False
Let h = -21 - -47. Suppose 2*m - m - h = 0. Is 13 a factor of m?
True
Let t(i) = i + 6. Let u be t(5). Let w = u - -23. Is 18 a factor of w?
False
Let t(n) = -7*n**3 + 4*n**2 + 5*n + 7. Is 8 a factor of t(-3)?
False
Let j(k) = k**2 + 17*k + 15. Let d be j(-16). Let n = -3 + 2. Does 3 divide n + d - -3*2?
False
Let j = 6 + -5. Let x be j/(-3*(-2)/108). Suppose -4*d + x = -d. Does 2 divide d?
True
Let k(d) = d**2 - 4*d - 6. Let o be k(-7). Let p = o - -1. Suppose 4*l = 2*l + p. Does 14 divide l?
False
Let l(q) = -q**2 - 7*q - 1. Let m(n) = n**2 - 5*n - 6. Let r be m(6). Suppose r = 2*d + 6 + 4. Is l(d) a multiple of 9?
True
Suppose 115 = 4*m + 3. Let c = m - 9. Is c a multiple of 11?
False
Let u(c) = -c**3 - 17*c**2 + 17*c - 6. Is u(-18) a multiple of 11?
False
Suppose 2*t - 157 = 2*i - 3*i, 4*i - 12 = 0. Does 6 divide t?
False
Is (-1)/1*32/(-4) a multiple of 4?
True
Let q(c) = 4*c + 6. Let w be q(10). Suppose 4*s + w = 214. Is s a multiple of 21?
True
Suppose 5*y - 3*y + 5*h - 9 = 0, 0 = 4*y + 5*h - 13. Suppose 0 = y*r - 36 + 8. Is r a multiple of 7?
True
Let s(g) = 11*g - 7. Suppose 3*h - h = 4. Does 15 divide s(h)?
True
Let b = 0 + 6. Let f be 2/8 - (-79)/4. Suppose -3*p + f = 2*d, 2*d = -2*p - 3*d + b. Is p a multiple of 8?
True
Let b(h) = -7*h + 4. Is 15 a factor of b(-8)?
True
Let l(v) = 5*v**2 + v - 1. Let c(b) = b**2. Let q be c(0). Let a = q + 1. Does 2 divide l(a)?
False
Suppose -s = -2*v + 13, 3*s + 27 = 5*v - 2*v. Let k(p) = -p**2 + p + 1. Let j be k(v). Let h = 49 + j. Does 13 divide h?
False
Suppose 0 = 3*p + 4*o - 34, 0 = 8*p - 4*p - 3*o - 12. Is 12 a factor of p*2 - -3 - 3?
True
Suppose -4*h + 0*o + 56 = -5*o, 0 = -3*h + 5*o + 47. Suppose 0 = -2*w + 2*d + 10, -h = -3*w - 0*d - 3*d. Is 2 a factor of w?
True
Suppose 0 = -0*f - 2*f. Suppose f*o - 25 = -5*o. Suppose 6*p - p + 3*c - 42 = 0, -o*p - 4*c = -46. Is p a multiple of 3?
True
Let j(b) = -b**2 + 1. Let z be j(1). Suppose -m - 3*c - 9 = z, 5*m + 2*c - c - 11 = 0. Does 2 divide m?
False
Suppose 0 = -2*l + 11 + 21. Suppose l = h - 0. Is h a multiple of 14?
False
Suppose 0 = 3*s + 117 + 6. Let f = -13 - s. Let k = -1 + f. Does 13 divide k?
False
Let b = -48 + 92. Is 11 a factor of b?
True
Let b(o) = o**3 + 7*o**2 - 6*o - 9. Let k be b(-7). Let z = k - -6. Is z a multiple of 13?
True
Let z(b) = b**2 - 2*b + 1. Let x be z(1). Let w be (-2)/(-1)*(-2 + 16). Suppose 0*t + 2*t - w = x. Is t a multiple of 7?
True
Does 7 divide ((-2)/(-5))/((-2)/(-70))?
True
Suppose 2*k + z - 37 = 8, 49 = 2*k + 5*z. Is 22 a factor of k?
True
Suppose -k - 3*n - 106 = -2*k, 3*k + 4*n - 331 = 0. Is 30 a factor of k?
False
Let q(d) = -d**3 - 5*d - 22. Let w(p) = -p**3 - 6*p - 23. Let g(v) = -7*q(v) + 6*w(v). Is 16 a factor of g(0)?
True
Suppose -112 = -x + 88. Does 20 divide x?
True
Suppose 10 = 5*p + 5*q + 30, 4*p - q - 4 = 0. Let h(f) = 0*f**2 - 9*f**3 + p*f + f + 2*f**2. Does 10 divide h(-1)?
True
Let q(n) = n**2 + 2*n + 1. Let l be q(-1). Suppose -6*o + 3*o = 4*t - 53, l = 4*o + 4. Is t a multiple of 10?
False
Let v be (-122)/(-10) - 2/10. Suppose -6*t + v = -3*t. Is 4 a factor of t?
True
Let h(x) = -2*x**3 - 22*x**2 - 3*x - 19. Does 2 divide h(-11)?
True
Let f(g) = g**3 + 11*g**2 + 7*g. Is f(-8) a multiple of 27?
False
Suppose 0 = -0*d - 2*d - 4. Suppose -16 = -4*r, 2*r + 32 = -5*y + 100. Is 5 a factor of (-15)/(9/y*d)?
True
Let w be -5 - -4 - (-1 + -19). Suppose 4 = a - 2*u - w, -2*a = 3*u - 39. Does 21 divide a?
True
Suppose 5*f = -18 - 2. Suppose -1 + 3 = -4*b + 2*k, -b - 4*k = 5. Is 2 a factor of (0 + b)*(-9 - f)?
False
Let h be (10/(-25))/((-2)/20). Let i(o) = o. Let r be i(h). Suppose r*l - 79 = -4*m + m, 2*l - 40 = -2*m. Is l a multiple of 13?
False
Does 11 divide 81 - (4 + -1 + -5)?
False
Let c = -35 + 40. Is c a multiple of 5?
True
Let t(r) = -r**3 + r**2 - 2*r + 203. Let v be t(0). Suppose -v - 157 = -6*o. Does 20 divide o?
True
Suppose a - 9 = -a + o, a = 5*o + 18. Does 3 divide -20*((-12)/16)/a?
False
Suppose h - 9*h + 936 = 0. Does 13 divide h?
True
Let o = 294 - 184. Is o a multiple of 18?
False
Suppose a + 112 = 3*k, -k - 2*a = a - 44. Is 8 a factor of k?
False
Let u(b) = -b + 9. Let z(s) = s**2 - 4*s + 8 + 2*s - 7*s. Let c be z(8). Does 7 divide u(c)?
False
Let x(n) = -n**2 - n + 4. Let m be x(0). Suppose -m*w - 2148 = -3*v, 3*v + 11 = -1. Does 9 divide w/(-16) - 2/(-8)?
False
Suppose 3*u + 7 = -g, 13 = 3*u - 4*g - 0. Let c = -20 + 11. Let j = u - c. Is 8 a factor of j?
True
Suppose z + 2*z - 87 = 0. Let r = 43 + z. Is r a multiple of 24?
True
Let j(l) = 21*l**2 - 2*l + 1. Suppose 0 = 3*k, -x + 0*k - 2*k = -1. Does 4 divide j(x)?
True
Suppose -4*n + 3*n - w + 40 = 0, -2*w = -3*n + 140. Is n a multiple of 23?
False
Let h(i) = 15*i**2 - 3*i. Let a = -17 + 19. Does 18 divide h(a)?
True
Let p = -49 + 133. Does 23 divide p?
False
Suppose 6*w - 143 = -5. Is 6 a factor of w?
False
Suppose -3*p + 1 = 4. Does 14 divide (p - (-8)/6)*87?
False
Suppose 0 = -v - 0*v + 64. Suppose 0 = 3*y + c - v, -c + 13 = -5*y + 117. Is y a multiple of 8?
False
Let m(j) = -49*j**3 - j**2 + 7*j. Let x(v) = -146*v**3 - 3*v**2 + 20*v. Let r(k) = 17*m(k) - 6*x(k). Is 16 a factor of r(1)?
False
Let m = 125 + -54. Let i = m - -25. Let p = i + -67. Does 16 divide p?
False
Let h = -51 - -61. Is h a multiple of 2?
True
Let m(d) = -d + 12. Suppose 2*g = 9 + 9. Let c be m(g). Suppose 0*v = -v - c*u + 31, 3*u = -2*v + 53. Is 11 a factor of v?
True
Suppose 5*z + 13 - 8 = 0. Let a(g) = -32*g. Is 8 a factor of a(z)?
True
Let c(y) = y**2 - 2*y - 1. Let n be 2/3*6/1. Does 7 divide c(n)?
True
Suppose 45 = 5*k + 5*g, -4*g = -k + 31 - 2. Does 10 divide k?
False
Let w(h) = -h**2 - 8*h + 8. Suppose -3*b = 69 + 30. Let j be 275/b - 1/(-3). Is 4 a factor of w(j)?
True
Let v(r) = 35*r**3 - 2*r**2 + r. Let a be v(1). Let w = a - 15. Is w a multiple of 6?
False
Suppose 0 = -3*r + 13 + 5. Does 23 divide ((-16)/r)/(6/(-207))?
True
Let z be 8*-3*2/4. Is 10 a factor of 3/z - 180/(-16)?
False
Let u be 137*(2 + -1) - -1. Suppose -9*s = -12*s + u. Is s a multiple of 23?
True
Let u be (-4 + 1)/1 - -3. Let i = u - 1. Does 12 divide 453/15 - i/(-5)?
False
Let g(q) = -3*q**3 - 5*q**2 + 7*q - 16. Let f(p) = -2*p**3 - 2*p**2 + 4*p - 8. Let o(l) = -5*f(l) + 3*g(l). Is o(6) a multiple of 17?
True
Let y = 465 + -227. Does 17 divide y?
True
Let r = 334 + -168. Is 11 a factor of r?
False
Let v = 233 + -163. Is 11 a factor of v?
False
Let z(c) = 31*c + 6. Is z(3) a multiple of 20?
False
Let z be (-4)/(-6)*(-6)/(-1). Suppose -z*a + 263 = -3*g, 4*g + 192 = a + 2*a. Suppose 4*d + 5*o = a, -d - 2*o - 2 = -16. Is d a multiple of 12?
False
Does 5 divide 8 + -1 + -2 + -1 + 1?
True
Let m(z) = 2*z**2 - 8*z + 5. Let q = -11 - -41. Suppose -3*b + q = 2*b. Does 14 divide m(b)?
False
Let a = -17 + 9. Is 10 a factor of (10/(-3))/(a/24)?
True
Suppose -19 = -s + 53. Suppose -54 = 3*m + s. Is 10 a factor of 3*(-7)/(m/40)?
True
Let f = 30 + -21. Suppose 3*q + f - 33 = 0. Suppose 5*n = q*n - 117. Is 15 a factor of n?
False
Suppose 7*n - 5*t - 1135 = 2*n, 2*n - 3*t = 454. Suppose -c + 4*c - n = 4*s, 3*s - 12 = 0. Is c a multiple of 11?
False
Let p = -4 + 4. Let r = p - -3. Suppose r*n + n = 48. Does 5 divide n?
False
Suppose 3*q + 15 = 3*g, -4*g - 3*q = -0*q - 13. Suppose g*f = 0, -5*t + 0*f = 2*f - 155. Does 19 divide t?
False
Suppose -78*z + 246 = -75*z. Is 13 a factor of z?
False
Suppose -6*p + p + 30 = 0. Suppose c - p = -c. Is 3 a factor of c?
True
Suppose t = 3 + 2. Let b = t + -3. Suppose -b*p = -6*p + 32. Is p a multiple of 4?
True
Let s(z) = -2 + 1 - 2 - 2 + 3*z. Is s(7) a multiple of 10?
False
Suppose 0 = 3*f - 0 - 18. Let n(b) = -4*b**2 + 10*b - 11. Let v(l) = -3*l**2 + 10*l - 10. Let m(q) = -2*n(q) + 3*v(q). Is m(f) a multiple of 6?
False
Let r(d) = -2*d**3 - 5*d**2 - 2*d + 2. Does 17 divide r(-3)?
True
Let k(c) = 6*c**2 + c + 1. Let n be k(-1). Let