. Suppose 7*p - 10*p + 144 = 5*v, 4*v - 122 = p. Let l = v + s. Is 14 a factor of l?
False
Let n be 6/10 + 69/(-15). Let c be ((-30)/(-3))/(n/38). Let a = 147 + c. Is a a multiple of 20?
False
Suppose -7*g + 11 = -3. Is 34 a factor of (11 + (0 - g))*5?
False
Let x(r) = r + 8. Let a be x(-7). Suppose -a - 1 = -u. Is 6 a factor of (-45)/u*8/(-12)?
False
Suppose 4*m = 2*m - 16. Let k(n) = -5*n + 24. Does 16 divide k(m)?
True
Let z(n) = n**2 - 5*n - 4. Suppose -2*d + 17 = y + 4, -4*d + 5*y + 19 = 0. Let u be z(d). Suppose -3*i = 4*b - 2*i - 116, -u*i - 48 = -2*b. Does 14 divide b?
True
Suppose 2*r + 3*y + 53 = 4*r, r + 3*y = 4. Let b = r - -103. Does 25 divide b?
False
Let r(c) be the second derivative of 3*c**4/4 - c**3/2 + 4*c**2 + 10*c. Is 20 a factor of r(3)?
True
Is 34 a factor of ((-38)/(-4) + 1)*7560/490?
False
Let y = -213 + 228. Is y a multiple of 14?
False
Suppose -4461 = -432*r + 429*r + 4*o, 4*o + 7443 = 5*r. Does 9 divide r?
False
Let f = 5 + 0. Suppose f*d - d - 380 = 0. Suppose -5*q + 4*i + 110 = 0, 5*q + 4*i - d = 5*i. Does 6 divide q?
True
Let v = 12 - -214. Suppose v = 2*o - 122. Does 29 divide o?
True
Suppose -4*n - 1 = 3. Let h = n + 1. Suppose -2*x = 4*l - 38, 3*x = -5*l - h*x + 50. Is l a multiple of 3?
False
Suppose 12*u + 969 = 165. Let y = -16 - u. Is y a multiple of 9?
False
Let y(s) = 36*s - 39*s - 12 + 3. Let f be y(-6). Is 3 a factor of (f/5)/((-3)/(-10))?
True
Suppose -34 - 1 = 5*y. Let q be (-1)/(-3) + (-147)/9. Let w = y - q. Is w a multiple of 3?
True
Is 66/(-11)*26/(-3) even?
True
Let g(h) = -4*h + 1. Let v be g(0). Does 7 divide -5*v*12/(-4)?
False
Suppose -3*j + 5 = 2. Let r(k) = 142*k**2 - 1. Let x be r(j). Suppose 4*m + 3*c - 44 - x = 0, 0 = -5*m + c + 217. Is m a multiple of 11?
True
Suppose 5*h = 23*h - 25344. Does 11 divide h?
True
Suppose 115 = 3*s - u, 0*s = -s + 4*u + 42. Let a = s + -17. Is 7 a factor of a?
True
Suppose 538 = -5*s + 1348. Suppose 3*m - 150 - s = 0. Is m a multiple of 26?
True
Let f = -183 - -309. Is f a multiple of 14?
True
Let b(p) = 234*p**3 - p**2 - 6*p + 7. Does 6 divide b(1)?
True
Suppose 335*c = 341*c - 4824. Is 4 a factor of c?
True
Let o be 8/4 - (2 - -40). Let g = -22 - o. Let m = g - -2. Is 3 a factor of m?
False
Suppose -l + 7 = -4*t - 4, -4*l = -2*t + 12. Does 26 divide 4 + 78 + 0 + t?
True
Let m(s) = -5 - 9 + 9*s - 8. Let a be m(9). Let b = a + -8. Does 17 divide b?
True
Let p(g) = -2*g + 44. Let x be p(20). Suppose v + x*f = -17, 2*v - 4 = -v - f. Is v a multiple of 2?
False
Suppose 9*x - 1565 = 1504. Is 15 a factor of x?
False
Suppose -2*z = -5*h + 2*z + 741, 0 = -2*h + 2*z + 296. Does 34 divide h?
False
Suppose 2*g - 49 = 7. Suppose -g = -5*z + z + 3*d, 2*z + 12 = -5*d. Is z a multiple of 4?
True
Let n be (-4)/20*-5 + -1. Let z be (-2 + n)/(-2) - 1. Is (-57 - z)/((-12)/8) a multiple of 19?
True
Suppose 32035 + 21389 = 28*i. Does 12 divide i?
True
Suppose -17 = 4*f - q, -2*f + 5*q - 34 = f. Is 7 a factor of f - ((-4)/4 + -51)?
True
Does 17 divide (100/12)/(146/36 + -4)?
False
Let k(t) = -38*t + 301. Does 31 divide k(-8)?
False
Suppose -4*z = -12 - 20. Let p(i) = -i - 3 + 9 + z - 1. Does 2 divide p(9)?
True
Let f(o) = o**2 + 8*o. Let g be f(-3). Let l = 11 - g. Does 16 divide l?
False
Let l = 2130 - 954. Is 84 a factor of l?
True
Let j = 2181 - 1460. Does 27 divide j?
False
Let a(d) = d**2 - 4*d + 76. Does 12 divide a(20)?
True
Is (-2)/(-24)*-1 - 788070/(-360) a multiple of 30?
False
Suppose -5 = 2*w + 2*u + 11, -5*w - 48 = 3*u. Let a(o) = -o**3 - 11*o**2 + 11. Is a(w) a multiple of 31?
True
Suppose -16*z - 60 = -12*z. Is 9*(z/(-9) + -1) a multiple of 4?
False
Suppose 31*d + 10795 = 52955. Does 85 divide d?
True
Let o(t) = t**3 + t + 21. Let h be o(0). Let c be 0 - (36/198 - 163/(-11)). Let k = h - c. Does 23 divide k?
False
Let f(h) = -h**3 + 7*h**2 + 8*h. Let i(u) = u**3 + 4*u**2 - 7*u - 2. Let y be i(-5). Let s be f(y). Suppose s = -5*t + 35 + 40. Is 5 a factor of t?
True
Let g(c) = 82*c**3 + c**2 + c + 1. Let q be g(-1). Suppose 153 - 37 = -4*p. Let x = p - q. Is x a multiple of 13?
True
Let o be -2 + -9*(-8)/12 - -202. Suppose 0 = -4*k - 3*a - 527, -2*k - 208 = -3*a + 51. Let x = o + k. Is 14 a factor of x?
False
Let f(p) = p**3 - p**2 - p + 1. Let x(c) = -4*c**3 - c**2 + 1. Let n(h) = 2*f(h) - x(h). Let g be n(2). Suppose -5*q + 39 = -g. Does 8 divide q?
True
Let z(o) = -o**2 + 5*o + 2. Suppose -3*t - 3*m = -7*t + 15, 0 = -2*t - 3*m + 3. Is z(t) a multiple of 8?
True
Suppose -4*o - 2*u - 95 = -281, -135 = -3*o - 3*u. Let q = o - 68. Does 9 divide 1/((-2)/q)*2?
False
Let z(h) = -3 - 7*h + 2 - 11*h. Let m be 3*-1*(-4)/(-12). Is z(m) a multiple of 17?
True
Does 22 divide ((-216)/30 - -6)/((-6)/1720)?
False
Suppose 2*c - 106 = -0*c. Suppose -4*f - c - 18 = -u, u - 31 = -4*f. Is u a multiple of 17?
True
Suppose -3*b - 7 = 2, -4*h + 883 = -b. Does 22 divide h?
True
Let n be ((-3)/2)/((-7)/252*1). Suppose -49*l = -n*l + 10. Is l a multiple of 2?
True
Suppose u + 0*u = 10. Suppose u*z = 8*z + 4. Does 2 divide z?
True
Let a(o) = 283*o + 74. Is 40 a factor of a(2)?
True
Suppose 3*n - 280 = 206. Does 27 divide n?
True
Let t(u) = u**2 + 24*u + 20. Is 9 a factor of t(-26)?
True
Let l(p) = -2*p - 2. Let v = 11 + -19. Is 7 a factor of l(v)?
True
Let b(g) be the third derivative of g**5/15 + 11*g**3/6 + 10*g**2. Is b(-4) a multiple of 15?
True
Let f(o) = o**3 + 6*o**2 + 5*o + 3. Let i be f(-5). Let x(a) = a - 3. Let z be x(7). Suppose -z*d - 90 = -i*s, s - 41 = -2*d + 7*d. Does 13 divide s?
True
Let h be 260/(-30) - 2/6. Let s = h + 6. Is 16/3 - 2/s a multiple of 4?
False
Let g be 434 + 3 + (2 - 7). Is (10/(-6))/((-4)/g) a multiple of 15?
True
Let b(t) = t**2 + 4*t + 14. Let l be -4 + (-2 - (-1 - -2)). Let y be b(l). Does 13 divide y - (-8 + (-8)/(-2))?
True
Let v(m) = -m**3 - m**2 + m + 1. Let c be v(-2). Suppose -2*y + 41 = -3*k + 2*k, 0 = -k + c*y - 38. Let t = 77 + k. Is t a multiple of 15?
True
Let x = 43 - -30. Suppose 4*l - 41 = -3*y, -y - x = -4*y + 4*l. Is y a multiple of 8?
False
Let y(u) = 5*u + 28. Let w be y(-7). Let x = 49 + w. Is x a multiple of 14?
True
Let i(c) = c**2 - 1671*c + 14 - 2*c**2 + 1648*c. Does 36 divide i(-22)?
True
Let j = -49 + 294. Is j a multiple of 18?
False
Suppose 0*u + u = 4, -u + 60 = 4*q. Suppose -12*d = -q*d. Suppose m + 179 = 6*m + 3*t, d = -5*t + 15. Is 12 a factor of m?
False
Let d(f) be the second derivative of f**4/12 - f**3/6 - f**2 - 4*f. Let s be d(-2). Suppose 112 = 5*a - u + s*u, -5*a = -3*u - 118. Does 23 divide a?
True
Let k be (-2)/(-5) - (-3348)/30. Suppose 0 = 4*z + 4*f + k, 2*f = 2 + 2. Let p = z - -76. Is 13 a factor of p?
False
Let g(v) = 2*v**3 - 12*v**2 + 29*v + 25. Is 6 a factor of g(8)?
False
Let w(o) be the first derivative of -o**2/2 + 11*o + 5. Does 6 divide w(-11)?
False
Let d = 14 - 10. Suppose 3*c - 4*r + 17 = d, -c - 4*r = -1. Let t = 42 + c. Does 6 divide t?
False
Let l(q) = 44*q + 280. Is 16 a factor of l(18)?
True
Suppose 0 = -3*u - 0*u. Suppose u = -3*j - j + 240. Is 11 a factor of j?
False
Let c = -263 - -361. Is c a multiple of 14?
True
Suppose -12 = 2*u - 8. Let k(l) = 2*l. Let i be k(u). Does 25 divide ((-74)/i*8)/2?
False
Let h be (-5 + 8)*(-5)/(-3). Suppose u = -h, u + 2 = -0*l - l. Suppose -5*j = -3*w - 313 - 78, 0 = 2*j + l*w - 148. Is 20 a factor of j?
False
Let g = 65 - 21. Suppose l - g = 16. Is 30 a factor of l?
True
Let i(k) = k**3 - 5*k**2 - 5*k - 6. Let x be i(6). Suppose -552 = -3*f + 2*z, x*f - f + 198 = 4*z. Let s = -131 + f. Does 14 divide s?
False
Let k be -3 + (-11 - -9)*(-442)/4. Suppose -x + 429 = 3*t - k, -x - 637 = -3*t. Is t a multiple of 49?
False
Let o = 67 - -1599. Suppose -11*y = -18*y + o. Does 30 divide y?
False
Let c(r) = -11*r + 1 - 4 - 30*r. Let i be c(-3). Suppose -24 = -3*b + i. Is b a multiple of 6?
True
Let i = 26 - 27. Is i/2 + 420/8 a multiple of 8?
False
Let f be 0*((-4)/2)/8. Let o(l) = -8*l**2 + f + 6*l**2 + l**2 + l**3 + 14. Does 7 divide o(0)?
True
Let w be ((-65)/(-25))/((-2)/(-10)). Let d(x) = x**2 - 12*x + 2. Is 5 a factor of d(w)?
True
Let y(l) = 7*l**2 + l + 235. Is y(0) even?
False
Let v = -17 + 22. Suppose -t + 96 = 3*w + 10, v*w + 150 = 2*t. Does 20 divide t?
True
Does 4 divide 85/(-34)*768/(-15)?
True
Let f = -48 + 83. Suppose -4*i + 45 = i - s, i = -5