e 0 = -0*p + 2*p - 8. Suppose a - 2*a - 2*k + 3 = 0, -p*a - 2*k = 12. Is (-1)/a + (-116)/(-20) a multiple of 4?
False
Let r(t) = -t**3 + 4*t**2 + 8*t - 7. Let h(f) = f - 1. Let l(u) = -4*h(u) + r(u). Let i be l(3). Suppose -a + 2*a = i. Is 12 a factor of a?
False
Let v(h) = 4*h**2 + 2*h - 1. Let o be (2/6 - 0)*3. Is v(o) even?
False
Let j = -17 - -54. Does 18 divide j + (-1)/(0 + 1)?
True
Let h be -5*1*(-51)/5. Suppose 3*j - i = -0*j + h, 2*j + 2*i = 42. Is j a multiple of 10?
False
Suppose -3*g = -90 - 204. Suppose 0 = 3*c - g + 20. Is c a multiple of 12?
False
Let j(v) = v**2 + 2. Let h be j(4). Is 3/(-12) + h/8 even?
True
Is 14 a factor of (-3 + (260 - 3) + 0)/2?
False
Let a(m) = -2*m - 1. Let i be a(2). Let v(d) = d**2 + 6*d - 1. Let j be v(i). Does 9 divide (-2)/j + (-56)/(-3)?
False
Let h(v) = v + 6. Let r be h(-5). Is (-156)/(-16) + r/4 a multiple of 5?
True
Let f = 124 - 52. Let r = f - 38. Is r a multiple of 17?
True
Let b = -93 + 153. Suppose -5*h - b = -10*h. Is 4 a factor of h?
True
Let f(y) = -5*y - 7. Let a(p) = p. Let r(m) = -6*a(m) - f(m). Suppose 4*t - 5 - 7 = 0. Is r(t) a multiple of 4?
True
Does 17 divide 16/1 + 2 + -1?
True
Let q(z) = 2*z**2 + 11*z - 1. Is q(-9) a multiple of 13?
False
Let q(d) = -17*d. Suppose 4*g + 4*s + 20 = 0, 6*s - 28 = 4*g + 2*s. Let c be q(g). Let r = c + -71. Does 21 divide r?
False
Suppose -q - 36 = -7*q. Does 2 divide q?
True
Let a = -23 + 69. Does 32 divide a?
False
Let w(b) = 5*b**2 - 5*b + 3. Let s be -9*((-2)/6 + 0). Is w(s) a multiple of 12?
False
Suppose -80 = -4*w + 52. Does 11 divide w?
True
Suppose -5*s - 11 = -236. Is s a multiple of 17?
False
Suppose 121 = 5*z + 4*g, -4*z - 83 = -7*z - 5*g. Is z a multiple of 7?
True
Let i be 6/(-10) + 9/15. Suppose -2*v + 6*v - 120 = i. Is 8 a factor of v?
False
Let p(r) = 30*r**3 - r**2 + 2*r - 1. Let w(a) = a - 2. Let v be w(4). Suppose -v*t = -3*t + 1. Is p(t) a multiple of 17?
False
Suppose -t + 5 = r, 4*t + 1 = 5*r - 15. Let w = t - -1. Suppose -4*v - 3*a + 32 = w*a, -2*a = -2*v + 16. Is 3 a factor of v?
False
Suppose 4*f + 0*f + 8 = 0. Is (7*f)/((-1)/2) a multiple of 14?
True
Let a(s) = s**3 - s**2 - s - 2. Let n be a(0). Let w = n + 4. Suppose -5*h = -w*m + 11, -3*m + 2*h + 0 = -11. Is m even?
False
Suppose -4*s = -2*u - 410, 6*u - 201 = -2*s + 3*u. Is 23 a factor of s?
False
Let w(c) = 13*c**3 - c**2. Let q be w(1). Suppose 0*k = -2*k + 4*s - q, 0 = -2*k + 2*s - 8. Let m(p) = -p + 1. Is m(k) a multiple of 2?
False
Let z(u) = -u**3 - 4*u**2 + 3*u + 2. Let r be 15/9*(-5 - -2). Let w be z(r). Let s = w + -2. Does 9 divide s?
False
Let x = -176 - -293. Does 13 divide x?
True
Let t(i) = -2*i + 15. Let x be t(-15). Suppose -z = 5*q + 18 - 54, -2*z + x = q. Does 13 divide z?
False
Suppose 0 = 3*v - v - 10. Let i be v*(2 - 12/10). Is (24 - i)/(4/6) a multiple of 15?
True
Let d(t) = t**2 + 10*t + 1. Let o be d(-10). Let p be (o - 0)/(3/15). Suppose 3*m - 153 = -p*q - 26, -m + 4*q + 14 = 0. Is 14 a factor of m?
False
Suppose 2*t - 52 = 6*t. Let f = t - -32. Is f a multiple of 6?
False
Let m(r) = -6*r + 7. Let d be m(-7). Let x = d - 32. Is x a multiple of 5?
False
Let g(j) = 15*j**3 - j**2 + 1. Suppose 0 = 3*w - y - 0*y, -4*w = -y - 1. Does 15 divide g(w)?
True
Let a be 6/10 - (-156)/(-10). Does 7 divide (-59)/(-3) + (-5)/a?
False
Suppose s + 0*i = 4*i + 35, -3*i = 2*s - 70. Does 35 divide s?
True
Suppose 0 = 4*l - 2*x - 256, -2*l + 3*x = -x - 128. Let d = l - 40. Is d a multiple of 12?
True
Suppose 0 = -5*x + 4*z - 20, -5*x = z - 6*z + 25. Let u = x - -2. Suppose -4*c = u - 58. Is 6 a factor of c?
False
Suppose -5*j = -6 - 4. Let s = j - -4. Let q(d) = -d**2 + 9*d - 4. Is 8 a factor of q(s)?
False
Let r(j) = j**3 - 4*j**2 - 7*j + 2. Let v(a) = -2*a**3 + 8*a**2 + 15*a - 4. Let s(i) = 5*r(i) + 2*v(i). Let y be s(5). Let q = y + 5. Is 3 a factor of q?
False
Suppose -3*l - 35 = -89. Is l a multiple of 6?
True
Let t(f) = 0*f + 5*f**2 + 2 + 2*f - 3*f. Does 18 divide t(-3)?
False
Let w(y) = y**2 - y + 413. Let c be w(0). Suppose 2*k + c = 9*k. Does 15 divide k?
False
Suppose 25*k - 162 = 22*k. Is 24 a factor of k?
False
Let r(h) = h - 6. Let n be r(5). Let v = -2 - n. Is 1 + (-3 - v) + 15 a multiple of 14?
True
Let x = 86 + -44. Let j = x + -17. Is j a multiple of 15?
False
Let n(c) = c**3 + 2*c**2 - 4*c + 1. Let x be n(-3). Suppose -4*p + q + q = -188, x*p - q = 190. Is 16 a factor of p?
True
Let r(b) = b**3 + 19*b**2 - 11*b + 25. Is 21 a factor of r(-19)?
False
Let w = 19 - -11. Suppose -o = 4*o - w. Is o a multiple of 6?
True
Let p(o) = 3*o**3 - 5*o**2 + o + 3. Is p(3) a multiple of 19?
False
Suppose -y - 52 = -5*y. Is y a multiple of 9?
False
Let p(i) = i**3 + 7*i**2 - 4*i. Let g be p(-6). Suppose g = d + 4*d. Does 6 divide d?
True
Suppose 7 = -3*o + l, -3*o - 7 = -3*l + 2. Is (-50)/(-13) + o/(-13) a multiple of 3?
False
Is (-3)/10*-5*(-64)/(-3) a multiple of 4?
True
Let v(m) = -5*m**3 + m**2 - 2*m + 1. Is v(-4) a multiple of 15?
True
Let z(v) = -1 + 13*v**2 - 5*v**2 + 4 - 1 + 2*v. Is z(-2) a multiple of 30?
True
Suppose -b = 5*d + 4*b - 70, 0 = -2*d - 4*b + 18. Is 3 a factor of d?
False
Let r(p) = 3*p**2 + 7*p + 1. Let z be r(-5). Suppose 2*g - 2*f + 5*f = z, -43 = -2*g - 5*f. Does 5 divide g?
False
Suppose -20 = -5*j + x, 0 = -j - 3*j - 4*x + 16. Suppose j + 20 = 4*b. Is b a multiple of 6?
True
Let a(z) be the first derivative of z**3/3 - z**2/2 - 2*z - 2. Is 6 a factor of a(-3)?
False
Let r = -24 + -65. Let f = -41 - r. Is f a multiple of 16?
True
Let f(j) = -4 - 2*j - 4*j + j - 2. Is f(-7) a multiple of 15?
False
Is 1 + 49 + 51/17 a multiple of 9?
False
Suppose -21*y = -20*y - 102. Is 24 a factor of y?
False
Let b = -24 + 53. Is 13 a factor of b?
False
Let a = 2 + 0. Suppose 3*i = -2*n + 15, -a*n - 2*i = -3 - 15. Is 6 a factor of n?
True
Suppose 3*t + 4*j = 256, t + 254 = 4*t + 2*j. Suppose 3*r = -3*n + 51, 6*n - t = -5*r + 2*n. Does 8 divide r?
True
Let y = 22 - -14. Is y a multiple of 30?
False
Let x = 130 - 58. Is x a multiple of 18?
True
Let p(f) = -2*f - 6*f**2 + f + 2 - f**3 + 1. Does 9 divide p(-6)?
True
Let p(j) be the second derivative of -3*j + j**2 + 0 + 1/6*j**4 + 0*j**3. Is p(-3) a multiple of 10?
True
Let g(v) = 3*v**2 + 9*v + 7. Let o be g(-6). Let b = 38 + o. Suppose -5*r - f + b = 0, -3*r - f = -5*f - 41. Does 15 divide r?
False
Let k = 60 - 34. Let u be 0/(-2) + 3*k. Suppose 0 = 2*z + c - 34, -5*c + u = 5*z - 6*c. Does 8 divide z?
True
Let p(r) = 6 + 2*r - 3*r + 0*r. Let s be p(9). Let u(g) = -2*g**3 - 4*g**2 - 3*g + 1. Is 15 a factor of u(s)?
False
Suppose -d + 2*l = -13, -7*d + 2*d - 5*l = -35. Let i = 13 - d. Suppose -i*k = -5*t + 9 + 50, -3*t + k = -34. Is t a multiple of 11?
True
Suppose 5*s + 335 - 1035 = 0. Does 21 divide s?
False
Let d = 541 + -319. Is 26 a factor of d?
False
Let l = -4 - -8. Suppose -5*j + 60 = -q, j + l*q = 2*j + 7. Is j a multiple of 10?
False
Let r be (6/(-18))/(1/(-21)). Suppose 196 + 161 = r*a. Is a a multiple of 17?
True
Suppose -5*z = -17*z - 72. Let j(a) = a - a - 4*a + 1. Is j(z) a multiple of 20?
False
Is 4896/60 - (-6)/(-10) a multiple of 16?
False
Let w = 10 - 6. Let q(z) = z**3 + 3*z**2 - 3*z - 6. Let y be q(-4). Let g = w - y. Is g a multiple of 5?
False
Suppose -m = -3*m - 34. Let l = m + 36. Suppose -20 = 4*g, -3*v + 2*v + l = -g. Does 14 divide v?
True
Let l be 1/2*(49 + 1). Is (-15)/2*(-40)/l a multiple of 12?
True
Let c(d) = -d + 47. Is c(15) a multiple of 15?
False
Let d = 401 - 37. Let r be (-6)/27 - d/(-18). Suppose 0 = 2*g - 2*k - r, 0 = 2*g + 2*k + 6 - 18. Is g a multiple of 4?
True
Suppose m - 56 - 40 = 3*j, 170 = -5*j + 5*m. Let k = 27 - j. Does 14 divide 2/(-6) + k/3?
False
Suppose 12*w - 32 = 13*w. Let x = w + 54. Does 17 divide x?
False
Suppose 0 = -2*j - 2*j + 8. Is 14 a factor of (-204)/(-9) + j/6?
False
Suppose 82 = -2*r + 488. Is r a multiple of 20?
False
Let n = 29 + 139. Is n a multiple of 9?
False
Let b be (32 - -1)/((-9)/(-66)). Suppose 0 = 4*g - b - 62. Suppose -3*h + 35 + 25 = 3*d, 4*d - g = -3*h. Is 16 a factor of d?
True
Let a(y) = -y**2 - 14*y - 12. Is a(-11) a multiple of 9?
False
Let v(o) = -o**3 - 6*o**2 + 3*o + 9. Let l be v(-6). Let t = 3 - l. Is 12 a factor of t?
True
Suppose -2*x = -x + 51. Let k(d) = 34*d + 2. Let p be k(3). Let g = p + x. Is 17 a factor 