t z be 5*8*(-12)/40. Let l = 29 - z. Is 12 a factor of l?
False
Let p(z) = -z**3 + 2*z + 1. Let x be p(-2). Suppose -2 - x = -a. Is a a multiple of 5?
False
Is (-30)/(-1*((-278)/94 + 3)) a multiple of 17?
False
Suppose -106*l + 6528 = -89*l. Is 12 a factor of l?
True
Suppose 0 = -18*f + 9284 - 1958. Does 9 divide f?
False
Suppose -96 = 10*o + 4. Does 7 divide (-21)/30*6*o?
True
Let u(p) = -p**3 + 11*p**2 - 5*p - 22. Let s be u(9). Suppose -s*j = -92*j - 555. Is j a multiple of 37?
True
Let n be 0 + 165/3 + -3. Let i be 0/(-4) - (-2 + 2). Suppose -2*l + 8 + n = i. Does 10 divide l?
True
Suppose 4*y + 12 = -4*p, 1 = -3*p - 0*y + 5*y. Is 5 a factor of 1432/36 + (p/9)/(-1)?
True
Let a(x) = -x**2 + 5*x - 1. Let k(p) = p. Let i be k(2). Is 2 a factor of a(i)?
False
Let h be 2 + -2 + 2 - -1. Suppose 5*l - 2*k - h*k = 0, 5*l - 28 = -2*k. Suppose -2*o = -28 + l. Does 5 divide o?
False
Suppose 2*w + 3*r = 18, 5*w + 8 - 31 = -2*r. Suppose q - 5 = 0, -k - 19 = -3*k - w*q. Suppose -4*g = -2*f + 56, f - 39 - 5 = -k*g. Is f a multiple of 9?
True
Let w(f) = 4*f**3 - 23*f**2 - 86*f + 7. Does 147 divide w(13)?
False
Let o(b) = -6 + b - 11*b**2 - 7*b - 6*b + 6*b**3 - 2*b. Let i(n) = 7*n**3 - 11*n**2 - 14*n - 7. Let r(j) = 5*i(j) - 6*o(j). Does 5 divide r(12)?
True
Suppose -11*y + 40 = -7*y. Let s(k) = -k**2 - 12*k + 6. Let z(f) = -f**2 + 1. Let b(a) = s(a) - 3*z(a). Is 17 a factor of b(y)?
False
Let u(t) = 7*t - 2*t - 2*t + 0*t. Is 18 a factor of u(12)?
True
Suppose 3*u + 3457 = 4*n, -4*n - 3*u = -u - 3442. Does 104 divide n?
False
Suppose 4*s = -i + 2810, 10*i + 4*s = 14*i - 11220. Is 30 a factor of i?
False
Is (-444*2)/(-2) + (-24)/(-8) a multiple of 8?
False
Let l = 19 + -16. Suppose 0 = -l*g + g + 46. Suppose 1 + g = 2*j. Does 6 divide j?
True
Is (-11832)/(-34) - (-1 - 2) a multiple of 27?
True
Let u(c) = 2*c**2 - 11*c + 104. Is u(-17) a multiple of 14?
False
Suppose -2*s = -5*s. Suppose s = -2*k - 2*k + 20. Suppose -123 = 3*j - k*j + 3*t, 122 = 2*j - 2*t. Is 24 a factor of j?
False
Let s = 5 + -1. Suppose 0*q + 4 = -s*q. Is 13 a factor of 62 + (0 - 0) + q?
False
Suppose 3*p - 90 = -2*p. Suppose -p = -5*w - 2*u, -5*w - u + 6*u = 10. Suppose 3*m - 205 = -w*m. Is m a multiple of 8?
False
Let o = -139 + 1422. Is o a multiple of 10?
False
Let v = -15 + 36. Suppose -v*c + 26*c - 120 = 0. Does 8 divide c?
True
Is 22 a factor of ((-2810)/15)/(14/(-21))?
False
Suppose 4*p + 2*v = 502, 2*p = -3*p - 3*v + 625. Suppose -13*j - 7*j = -6*j. Suppose j = 4*t - 4*z - 42 - 130, 0 = -3*t + 2*z + p. Is t a multiple of 14?
True
Let d(h) = -h**3 - 10*h**2 + 2*h + 24. Let v be d(-10). Suppose 11*y - v*y - 140 = 0. Does 5 divide y?
True
Let i(q) = 2*q**2 - 12*q + 6. Suppose -x - 6 = -3*c + 3*x, c - 4*x - 2 = 0. Suppose -c*o - 10 = -26. Is 19 a factor of i(o)?
True
Let a be ((-12)/(-10))/(12/40). Suppose -a*p + 141 = -p. Suppose 0 = -2*t + 3*w + p, w = -3*w - 12. Is 5 a factor of t?
False
Let m = 77 + -39. Suppose m = 12*y - 274. Is 13 a factor of y?
True
Let s(v) = 3*v**2 + v + 4. Let w(x) = -x**2 + 1. Let r(l) = s(l) + w(l). Suppose 22 = 3*d + 4. Does 26 divide r(d)?
False
Let o be (-2)/(-5) + 264/15. Let x(k) = k - 33. Let j be x(o). Is 3 a factor of (28/3)/((-10)/j)?
False
Suppose -4*g + 21 - 5 = 0. Suppose 3*f - 32 = -f. Is (-50)/(-4) + g/f a multiple of 13?
True
Let k be 35/4 + (105/20 - 5). Is 1/(2/3 - k/14) a multiple of 6?
True
Suppose 116 = 4*n + 4*r, 5*r + 58 + 103 = 4*n. Suppose -d - 23 = -n. Is d a multiple of 11?
True
Let y = 10 + 45. Let w = -25 + y. Does 8 divide w?
False
Let i(u) be the first derivative of -15*u**2/2 + 12*u + 7. Is i(-8) a multiple of 44?
True
Suppose 0 = -12*s + 9*s + 9. Is 15 a factor of (-1 - -2)/((-1)/s) + 259?
False
Let n(v) = v + 2. Let d be n(0). Suppose d*j - 104 = -0*j. Is j a multiple of 13?
True
Suppose -6*g = -10*g + 132. Suppose p = n + g, 4*p - 3*n + 33 = 5*p. Does 11 divide p?
True
Let v(b) = b**2 + 17*b + 15. Let h be v(-8). Let t = h - -102. Is 5 a factor of t?
True
Suppose -13*n - 3*r = -14*n + 333, -r = -2*n + 641. Is 25 a factor of n?
False
Let k be (39/6 - -1)*2. Is 50/2 - k/(-15) a multiple of 6?
False
Let v = 17 - 15. Is ((-57)/(-38))/(v/4) a multiple of 2?
False
Let g = 149 + -122. Suppose -g = -36*a + 33*a. Does 2 divide a?
False
Suppose -4*i + 338 = -2*i. Suppose 6*n - 11 = i. Is 12 a factor of n?
False
Let z(p) = 2*p**3 - 6*p**2 - 2*p - 20. Let b be z(8). Suppose 0 = -4*y + 176 + b. Is 16 a factor of y?
False
Let n(h) = -3*h + h + 38 - 2*h + h. Let r = -1 + 1. Is n(r) a multiple of 19?
True
Suppose 0*w + w - 27 = 5*q, -3*w + q + 53 = 0. Let v = w - -179. Suppose 6*x - x = -c + v, 2 = 2*c. Is x a multiple of 13?
True
Let r = -106 + 101. Is 15 a factor of r - 0 - (-172 - 18)?
False
Let k(b) = -2*b - 17 - 7*b + 8 - 6. Is 4 a factor of k(-3)?
True
Let l = 12 - 15. Let r be 20/6 - (-1)/l. Suppose -3*h + 33 = a, -r*h = 2*h + 3*a - 51. Is h a multiple of 3?
True
Let d = -97 - -109. Suppose -d*m + 2*m + 2040 = 0. Does 51 divide m?
True
Suppose -450 = -5*s - 5*f, -8 = -3*f + 5*f. Suppose -3*n + s + 155 = 0. Suppose 2*o = -n + 231. Is o a multiple of 19?
False
Let a be (-5 - -7) + -3 + -4. Is 11 a factor of 25*2*(-11)/a?
True
Is 19 a factor of -2 - (-635 + (-36)/(-6))?
True
Let a(u) = 2*u**2 - 4*u - 1. Let o be a(3). Suppose -3*s + 18 = -3*f, s + 8 - 44 = -o*f. Let m(q) = q**3 - 10*q**2 - 9*q + 3. Does 25 divide m(s)?
True
Let j = 394 + -359. Is j a multiple of 35?
True
Let c(q) = -q + 16. Let b be c(11). Suppose z = b*z - 96. Is z a multiple of 8?
True
Let g(y) = 10*y**2 - 16*y + 14. Suppose -27 + 5 = -2*z. Let s be g(z). Does 21 divide s/20 + 8/(-20)?
False
Suppose 0 = 6*c - 100 - 836. Is 12 a factor of c?
True
Let l(d) = d - 9. Let n(w) = -15*w - 2. Let v be n(-1). Let t be l(v). Suppose 0 = -0*u + t*u - 4*g - 144, 5*u - 153 = -4*g. Does 11 divide u?
True
Suppose -3*g + 0*g + 66 = -o, -2*g + 44 = 2*o. Suppose 4*y = 4, -2*l - 2*l - 2*y + g = 0. Is 17 a factor of (357/(-35))/((-1)/l)?
True
Let b(m) = 7*m**2 - 2. Let o be b(1). Suppose -o*z + 252 = 2*l, z + 3*l - 36 = -l. Is 9 a factor of z?
False
Does 124 divide ((-1)/(-7))/(-1) + 3393836/1358?
False
Suppose -11158 = -17*o + 37938. Is 38 a factor of o?
True
Let z = 1532 + -300. Is z a multiple of 44?
True
Let o = 658 + -364. Is 6 a factor of o?
True
Let q = -2197 - -3386. Does 14 divide q?
False
Suppose -5*j = -3475 - 2320. Is 9 a factor of j?
False
Suppose -d + 1 = -1. Suppose -d*b = b + 9. Is ((-27)/b)/((-6)/(-20)) a multiple of 10?
True
Let u(b) = -2*b - 4. Let c(d) = d + 2. Let a(p) = -15*c(p) - 6*u(p). Let t be a(-4). Is 19/t - 2/12 even?
False
Is ((-2292)/(-27) - -1)/(21/189) a multiple of 4?
False
Let j(p) = p**2 - 5*p - 5. Let u be j(6). Let n = 432 + -376. Suppose u = 3*t - n. Is 15 a factor of t?
False
Let n(b) = -b**2 - b - 4. Let q be (-6)/21 + 19/(-7). Let i be n(q). Is 8 a factor of (-156)/i + (-4)/(-10)?
True
Suppose 3*w - 204 = -0*w. Let t = 97 - w. Is t a multiple of 12?
False
Let i(w) = 2*w**3 - w + 1. Let d be i(2). Let h be (-24)/(-4) - (5 - 0). Is 9 a factor of d + (-2 - -5)/h?
True
Suppose -3*g = -83 - 232. Suppose -g + 370 = -5*m. Let d = m - -86. Is 10 a factor of d?
False
Suppose 0 = 495*q - 494*q - 150. Is 15 a factor of q?
True
Suppose 3*i = 2*i. Let p be 0*(i - 2/4). Suppose -5*v + 20 = p, 5*x - 4*x + 2*v = 13. Does 4 divide x?
False
Let v = -716 - -1293. Suppose -r + v = 4*r + 2*q, 1 = q. Is 17 a factor of r?
False
Let i(a) = 2*a**2 + 5*a - 6. Let x = -23 + 17. Is i(x) a multiple of 14?
False
Suppose -4*r - r - 360 = 0. Let p be 16/r + (-119)/(-9). Suppose -5*c - p = -6*c. Does 3 divide c?
False
Let u(a) = 11*a + 141. Does 28 divide u(5)?
True
Let b(z) = -z + 4. Let t be b(0). Suppose 0 = t*v - 28 - 72. Let a = -13 + v. Is a a multiple of 3?
True
Let v(o) = 154*o**2 + 6*o - 7. Does 6 divide v(2)?
False
Suppose -3*g + 341 + 1390 = 0. Is g a multiple of 25?
False
Suppose 5*z - 22 = -4*d + 4, -d + 2 = -z. Suppose -r = -2*v - 13, z*v - 3 = -2*r + 17. Suppose -s = 3*b - r, -5*s - 75 = -10*s + 5*b. Does 14 divide s?
True
Let q be 11 + 0 - 1 - (7 + -9). Let h(g) = g**2 - 7*g + 8. Does 17 divide h(q)?
True
Let g(i) = -20*i + 90. Does 5 divide g(3)?
True
Let c(m) = -m**3 + 11*m**2 - 14*m + 16. Let h be c(8). Suppose -2*w - 1 = l - h, -80 = -l + w. Does 17 