 3*r(v). Suppose -3 = -k - 0*k. Is d(k) a multiple of 4?
True
Is 13 a factor of 4*(1 - 0) - -16?
False
Let p(u) = 2*u + 11. Let l be p(0). Let d(z) = z**2 - 10*z - 1. Is d(l) a multiple of 10?
True
Is 12 a factor of (-28)/(-21)*(-183)/(-4)?
False
Let q(j) = 6*j + 12. Let k be q(-4). Let g = k + 24. Is g a multiple of 7?
False
Let k(p) be the first derivative of 3/2*p**2 + 2 - 6*p. Does 6 divide k(4)?
True
Let b = -6 + 32. Does 20 divide b?
False
Suppose 297 = 4*q + 121. Is 44 a factor of q?
True
Let t = -3 - -2. Let i = t - -30. Suppose -g - 2*n = -0*n - 19, -g + i = 4*n. Is 9 a factor of g?
True
Let x = 7 + -6. Let p = x - -7. Is 8 a factor of p?
True
Suppose -d = 3, 5*j - 5 = 2*d - 99. Suppose -4*z - w = 52, -72 = 5*z + w + 2*w. Let i = z - j. Is 4 a factor of i?
True
Let q = -2 + 2. Let g(m) = q*m + m**2 + 9*m - 5 - 2*m**2. Is g(8) even?
False
Is (-1)/((16/30)/(-8)) a multiple of 15?
True
Let x be -172*(4 - 7/2). Is 1 + -1 - (x + 2) a multiple of 20?
False
Is -3 + 4 + (1 - -131) a multiple of 35?
False
Does 4 divide -6*(-4)/(-8) - -8?
False
Suppose 5*d + 31 = 1. Let c = -22 - d. Let g = 29 + c. Is g a multiple of 5?
False
Suppose 0*s = -2*s. Suppose -2*y - y = s. Suppose 5*q - q - 72 = y. Is q a multiple of 9?
True
Let n be 0*-2*2/(-4). Suppose -3*q - 2*o - o + 54 = n, 4*q - 86 = 3*o. Is 5 a factor of q?
True
Let p(m) = -18*m**3 - 2*m**2 + m + 4. Is p(-2) a multiple of 22?
False
Is 9 a factor of ((-20)/8)/((-2)/28)?
False
Let m be 2*(9/(-6) - 1). Let j(t) = -t - 1. Let k be j(m). Suppose 0 = -3*z, -4*w + k*z - 3*z = -32. Does 4 divide w?
True
Let q = 201 - 347. Let w = q + 357. Suppose -148 = -4*o + y + y, -w = -5*o - 4*y. Does 20 divide o?
False
Suppose 16 = 4*j, -3*s + 2*s = -j - 3. Does 8 divide 4 - s - -19*1?
True
Suppose -2 = 3*q + 3*s + s, -q + 5*s - 26 = 0. Let w be (8 - -2)*(-2)/(-2). Let z = w + q. Is z a multiple of 4?
True
Does 3 divide 64/14 - (-24)/(-42)?
False
Let f = 100 - 26. Is f a multiple of 13?
False
Suppose 5*g = -2 + 27. Let r(s) = 2*s**3 - 5*s**2 - 5*s + 6. Let z be r(g). Let b = z - 67. Is 10 a factor of b?
False
Suppose 0 = -3*j + 2*s + 172, 2*j + j + 3*s = 177. Does 7 divide j?
False
Let f = 45 + 152. Suppose 5*d = -0*n - n + 336, 3*d - f = 4*n. Is 17 a factor of d?
False
Let w be -8 - -5 - (-4)/1. Is w*42 - 8/4 a multiple of 10?
True
Let j = -86 - -120. Is j a multiple of 17?
True
Does 37 divide (-1370)/(15/(-3)) + 5?
False
Let f(r) = 8*r. Let d be f(1). Let l(k) = k**2 - 7*k - 10. Let j be l(d). Is (-173)/(-9) + j/9 a multiple of 7?
False
Suppose -3*g + 0*g + 126 = i, 0 = 5*g - 20. Suppose -6*a + 3*a + i = 0. Does 19 divide a?
True
Suppose 0*v = 2*v. Let c(p) = 7*p - 4. Let z be c(2). Suppose -z = -2*m - v. Does 2 divide m?
False
Let c(g) = -g**2 - 6*g + 6. Let k be c(-6). Let v = k + -4. Suppose 3*y = -5*o + 84, 3*y - 16 = -o + v*y. Does 18 divide o?
True
Suppose 0 = -2*l - 3*s + 19 + 1, 5*l - 50 = -3*s. Is l a multiple of 9?
False
Let m(l) = -2*l. Let h(z) = 5*z. Let s(g) = -3*h(g) - 10*m(g). Is s(3) a multiple of 11?
False
Suppose 5*d - 3*w + 6 = -1, -3*d + 4*w = 2. Let k be (1 - -2)*(4 - d). Suppose -q + 58 = k. Is q a multiple of 20?
True
Let u be (0 + 3)*-1*5. Is 11 a factor of (-198)/(-10) - 3/u?
False
Let r = 5 + -3. Suppose -r*u = u - 12. Suppose u*a - 2*p = 2*p + 40, a - 14 = 3*p. Does 7 divide a?
False
Suppose -d - 5 = -3*h + 1, -28 = -2*d - 2*h. Let a(w) = w - 3. Let m be a(d). Suppose c = m*c + 5*f - 160, -162 = -5*c - 4*f. Is c a multiple of 15?
False
Let i(s) = s**3 + 3*s + 2. Let d be i(-2). Let j be (52/12)/((-2)/d). Suppose -5*o - 4*q + j = -144, -5*q + 25 = 0. Is o a multiple of 15?
True
Suppose -c - 126 = -5*w, -90 = -w - 2*w - 3*c. Is w a multiple of 5?
False
Let g = -12 - -120. Is 27 a factor of g?
True
Let i = 75 + -41. Does 14 divide i?
False
Let k(v) = -v**3 - 8*v**2 + 7*v. Let j(b) = -b**2. Let i(o) = 3*j(o) - k(o). Is i(-6) a multiple of 3?
True
Let k(p) = p**2 + 2*p + 4. Let s be k(3). Suppose -u - 14 = -4*i, -u + 0*u = -5*i + s. Suppose -3*n + u*n + r - 34 = 0, -3*r + 2 = -n. Does 5 divide n?
True
Let k(u) = -6*u - 3. Does 8 divide k(-8)?
False
Let j(h) = 6*h - 6. Let c = -14 - 1. Let q = -10 - c. Does 9 divide j(q)?
False
Suppose -18 = -5*b + 17. Suppose -12*q = -b*q - 140. Is q a multiple of 7?
True
Suppose -l + 5*l = 3*n + 250, -3*l - 2*n = -196. Suppose -8 - l = -4*j. Is 7 a factor of j?
False
Let q = -3 + 3. Suppose y + 8 = -q*y. Let s = 16 - y. Is 12 a factor of s?
True
Suppose t - 2*t = -15. Let u be 4/20 + 1347/t. Suppose -y - u = -6*y. Does 6 divide y?
True
Let x = 41 + -25. Is 4 a factor of x?
True
Let j(h) = -h - 9. Let x be j(-9). Let c = 36 - x. Is c a multiple of 14?
False
Let d(j) = 61*j**2 + 2*j + 1. Is d(-1) a multiple of 6?
True
Let i(k) = 2*k**2 + 1. Suppose -c + 3*o + 0*o + 16 = 0, 4*c - o = 20. Is i(c) a multiple of 11?
True
Let l(m) = m**3 - 10*m**2 + 9*m + 8. Let p be l(9). Let g(q) = q**3 - 7*q**2 + 4. Is g(p) a multiple of 17?
True
Let a(g) be the first derivative of -g**2/2 + g + 1. Let q be a(-3). Is q*3 - (3 + -2) a multiple of 11?
True
Suppose 5*r + 2*m = 63, -r - m + 37 = 2*r. Is 11 a factor of r?
True
Suppose 4*y + 38 = -2. Let n(k) = -2*k + 7. Does 17 divide n(y)?
False
Suppose -2*o + 47 = -5*p, -4*o + 5*p = 4*p - 67. Is o a multiple of 9?
False
Let k(x) = x + 5. Let n be k(-5). Suppose n*z = -z + 4. Is z even?
True
Let g = 23 + -33. Let v(c) = 2*c + 7. Let r be v(6). Let t = r + g. Is 9 a factor of t?
True
Suppose 2*z = -4*s + 8 + 248, -2*s = 2*z - 124. Does 41 divide s?
False
Let t(p) = 2*p - 2. Suppose 3*z = -2*z - 45. Let c be t(z). Let s = c + 32. Is 12 a factor of s?
True
Suppose -352 = -4*x + 92. Suppose 0 = -5*h + h + 20. Suppose h*r = 5*s - 185, -r = -3*s + r + x. Is s a multiple of 10?
False
Let g(z) = 4*z**2 - 3*z - 3. Is g(-3) a multiple of 7?
True
Let z(q) = q - 2. Let y be z(8). Let u be -16*((-9)/2 + 1). Suppose 4*r = y*r - u. Is 8 a factor of r?
False
Suppose -6 - 3 = -3*n. Is 8 a factor of (4 - -3)*n/1?
False
Let r be (0*3/(-6))/2. Suppose -p + 24 = -r*p. Is p a multiple of 6?
True
Suppose 2*w + 3*l = 27, 2*w - 5 - 16 = 3*l. Suppose -4*s - 4*h + 8 = -56, 5*s - 76 = -4*h. Let d = w + s. Is d a multiple of 12?
True
Suppose -8*o + 3*o + 700 = -5*a, 0 = 3*a + 15. Does 15 divide o?
True
Let h(s) = 7*s + 7. Let p be h(-5). Is (-3 + 2)*p/2 a multiple of 14?
True
Let r(u) = -u - 7. Let f be r(-4). Let d = 60 - f. Does 21 divide d?
True
Let a(g) = -g + 5. Let o be a(3). Let f be (-2)/o*-29*1. Suppose -5*v + 41 + f = 0. Is 7 a factor of v?
True
Let g = 6 + -8. Does 11 divide 1/2*(38 + g)?
False
Suppose -2*u = 4*x + 6, -4*x + 2*u = 5*u + 1. Let j be (-3)/(-2) + (-2)/x. Suppose -r = j*r - 33. Is 11 a factor of r?
True
Let z = 82 + -58. Is 196/3 + 16/z a multiple of 15?
False
Suppose -2*l + 63 = 5*s, 4*l + 2*s + 2*s = 120. Let t = l - 0. Is t a multiple of 8?
False
Suppose -y - 3*s = -87, -4*y + 5*s + 387 = 73. Let a = y - 57. Is 12 a factor of a?
True
Let g(t) = t - 1. Let q be g(1). Suppose 5*v = 4*a + 107, q = v + v - a - 44. Is v a multiple of 9?
False
Let i(p) = -11*p + 6. Let l = -1 - 3. Let k be 22/l - (-4)/8. Does 17 divide i(k)?
False
Suppose -8 = a - 5*s, -2*s + 4*s = 5*a - 6. Let h(x) = 7*x - 1. Let t be h(a). Let v = 2 + t. Is 9 a factor of v?
False
Let v(h) = h - 1. Does 6 divide v(7)?
True
Let p(l) = l**2 - 2*l - 9. Let a(z) = z - 4. Let y be a(-3). Let q be p(y). Suppose -2*v = -5*v + q. Is v a multiple of 9?
True
Suppose 3*k = -0*l - l - 4, 3*k + 19 = 2*l. Suppose -s - 88 = -l*s. Does 22 divide s?
True
Suppose 3*a = 3*j + 978, 20*j - 19*j = -a + 318. Does 38 divide a?
False
Is 3 a factor of 28/3 - (8/6 - 1)?
True
Let w = -22 + 118. Is w a multiple of 25?
False
Suppose 4*d - 44 = -j, j - 2*j + 37 = -3*d. Let n be (-2)/11 - j/22. Does 9 divide 3*n/(-6) - -8?
True
Let i(p) = p**2 + 5*p + 3. Let t be i(-2). Is 13 a factor of (6 + -3)/t - -40?
True
Suppose -16 = 2*g + 2*g. Let w(z) = z**3 + 7*z**2 + 7*z + 4. Let h be w(-4). Let r = h - g. Does 14 divide r?
True
Let s = -14 - -32. Is 9 a factor of s?
True
Let i = 103 + -31. Suppose k + 3*k - i = 0. Is 18 a factor of k?
True
Suppose k + 4*k = 180. Is 6 a factor of 5/((-40)/k)*-2?
False
Let v be -1 + (-1 - (-83 - -2)). Let g(c) = c**2 + 5*c - 9. Let m be g(-7). Suppose 2*j - 3*j + 25 = 