2*b**2 + b - 2. Let r be m(2). Suppose -2*c - 3*x = -14, 0*x + 2*x + r = 3*c. Suppose -3*q + 114 = q - 2*k, -c*k + 136 = 5*q. Is 14 a factor of q?
True
Let j be (-12)/6 + 0 + 5. Suppose -2*l - 2*y = -60, l - 19 - 11 = -j*y. Is l a multiple of 15?
True
Is (-70)/7*6/(-4) a multiple of 13?
False
Let y(p) = 4 - 1 - 2 + 4 + p. Does 8 divide y(4)?
False
Let q be 548/12 - (-2)/(-3). Let t = q + -20. Does 8 divide t?
False
Does 4 divide (1/3)/(2/(-18))*-12?
True
Is 31 a factor of (-2 - -4)*32/1?
False
Suppose -5*n - 5 = -75. Is 11 a factor of n?
False
Does 16 divide 6*(0 - (-80)/6)?
True
Does 12 divide (0 - 3) + 35*1?
False
Let n be 4/14 + (-1466)/(-14). Suppose 2*c - 5*d = -3*c + n, -5*d = -2*c + 30. Is 14 a factor of c?
False
Suppose 2*z + 3*h = 6*h - 2, -5*h + 12 = z. Suppose 1 = 2*w + 3, z*r - 2*w - 18 = 0. Is 3 a factor of r?
False
Let n = 1 - 1. Let m(a) = -a**3. Let f be m(n). Is 2 a factor of -1 + (2 - (f + -1))?
True
Suppose 369 = 5*w - 2*h - 395, 2*h = -4. Let o = w - 106. Is o a multiple of 23?
True
Let b be (-1 - -2)*-3 - -1. Let g = b + 4. Suppose g*p + h - 34 = -3*h, -37 = -3*p + h. Is 5 a factor of p?
False
Suppose 2*w + y = -5, 0 = -4*w + 3*y + 9 + 6. Suppose 2*n + 3*x + 267 = 6*n, w = -3*n + x + 204. Is 30 a factor of n?
False
Let z(p) = -2*p**2 + 4*p**3 + 0*p - 2*p - 1 + 4*p. Let d be z(1). Suppose 4*y - 44 = -4*h, h + 23 + 26 = d*y. Does 15 divide y?
True
Let b(t) = -t**2 - 9*t + 8. Let k be b(-10). Let i(m) = -2*m + 3. Is i(k) even?
False
Is 3 a factor of (6 + -14)*(-3 + (0 - -2))?
False
Suppose -3*p + 21 = -2*g, -g - 7 - 11 = -3*p. Suppose -42 = -y - 0*w + p*w, 5*w + 110 = 5*y. Does 8 divide y?
False
Let u(n) = 37*n - 5. Is 23 a factor of u(2)?
True
Suppose -y = -2*y + 64. Does 11 divide y?
False
Suppose 5*g = 6*g. Suppose g*w + 3*w - 57 = -3*t, -2*t + 73 = -5*w. Is t a multiple of 8?
True
Let y(l) = 11*l + 27. Is 17 a factor of y(8)?
False
Let y = -9 + 11. Suppose -5*x + 4*u + 355 = 0, 2*x = 3*x - y*u - 77. Is 14 a factor of x?
False
Let s = -2 - -14. Does 6 divide s?
True
Let k(i) = 2*i - 10. Let m be 3 + 1*(-5 + 3). Let l = 6 + m. Is k(l) a multiple of 4?
True
Suppose 0 = 15*r - 12*r - 600. Is 9 a factor of r?
False
Let h = 74 - -46. Suppose -h = -4*m + 2*m. Suppose 0 = -2*t - 0*t + m. Is 15 a factor of t?
True
Let u(y) = y**2 - y + 1. Let r(s) = -2*s**2 + 1 - s - s - 11*s**2 + 0. Let o(t) = -r(t) + u(t). Does 11 divide o(1)?
False
Let j(s) = -2*s + 3. Let l = 42 - 30. Let r = 8 - l. Is j(r) a multiple of 4?
False
Let m be 0 - 0 - (-12)/6. Does 19 divide (-1 - -2) + 35 + m?
True
Suppose 2*c + 200 = 4*c + 4*f, c - 3*f - 75 = 0. Is c a multiple of 32?
False
Suppose -2*o + o + 180 = -5*h, 4*h - 4*o = -160. Let f = h - -60. Let b = f - 2. Is 11 a factor of b?
False
Let a = 7 - -18. Is 8 a factor of a?
False
Suppose 2*r - 262 = -100. Suppose -2*g - g + r = 0. Suppose 5*n - g = 13. Is 3 a factor of n?
False
Let p(u) = 3*u**2. Suppose 2*m = n - 7, -3*n - m + 2*m = -6. Is p(n) a multiple of 3?
True
Let a = -76 - -144. Let o be a + (-3*2)/(-3). Suppose -3*p = -4*m - o, -5*m = -21 - 4. Is p a multiple of 17?
False
Let u = -105 - -212. Is 15 a factor of u?
False
Let p be 4/(-14) - 552/(-21). Suppose -4 = -2*z + p. Does 4 divide z?
False
Suppose -2*w + 8 = 4*b + w, -5*b - 4*w + 11 = 0. Let f be b/((-72)/70 + 1). Does 12 divide (1 - f)*(-2)/4?
False
Suppose 0 = -8*d + 10*d - 88. Is d a multiple of 4?
True
Suppose f - 588 = -4*y - 2*f, 2*y - 304 = -4*f. Suppose -y = -9*r + 6*r. Is r a multiple of 12?
True
Let r(j) be the second derivative of j**5/20 - j**4/6 - j**3/3 + 5*j**2/2 + j. Let d be (6/(-9))/(2/(-12)). Is 20 a factor of r(d)?
False
Let c(a) = 7*a**2 - 3*a - 4. Let k be c(-3). Suppose -8 = 2*y - k. Does 10 divide y?
True
Let y be (6/(-3))/((-1)/(-6)). Let d(j) = -j**3 - 12*j**2 - 5*j - 18. Is 14 a factor of d(y)?
True
Let h be 2/3 - (-32)/24. Suppose 0 = -t - 3*c - 5, -h*t = c + 4*c + 6. Suppose 0 = -t*i + 3*i + 112. Is 14 a factor of i?
True
Let n(b) = 2*b**2 - b - 1. Let r(t) = t**2 - t - 1. Let s(l) = -5*n(l) + 8*r(l). Let o be s(-2). Is o*(1 - 5/1) a multiple of 7?
False
Let p(d) = d**3 + 21*d**2 - 8*d - 11. Is 22 a factor of p(-21)?
False
Suppose 2*s - 5 - 21 = 0. Suppose -11*q - 32 = -s*q. Is 10 a factor of q?
False
Let u(k) = 4*k**2 + 1. Let r be u(-1). Suppose 0 = 4*f + r*q - 62 - 26, -4*q + 110 = 5*f. Is 11 a factor of f?
True
Suppose 0 = -5*t - 62 - 28. Is 2 a factor of t/(-8)*44/33?
False
Suppose 2*q - 203 = -5*r, 4*q + r - 223 = 2*q. Is 30 a factor of q?
False
Suppose 0*a + 2*a + t = 6, 5*t = -4*a. Suppose 4*f + 5 = a*q - 33, -24 = -3*q + 2*f. Suppose u + u = q. Does 4 divide u?
False
Suppose -5*z + 333 = 3*j, 2*z - 261 = -2*z + 3*j. Is 22 a factor of z?
True
Let a = -203 + 376. Let g = a + -62. Does 37 divide g?
True
Suppose 0 = 2*q + 2. Let d(k) = -134*k**3. Let x be d(q). Does 10 divide 1/4 + x/8?
False
Suppose 2*n - b = 395, 6*n - 4*n - 420 = -4*b. Is 10 a factor of n?
True
Does 22 divide (-12)/(-66) + (2297/11 - 1)?
False
Let o be (-87)/12 - 2/(-8). Let l be ((-5)/(-4))/(o/(-28)). Suppose l*d - 36 = -2*f, -3*f - 2*f = -4*d - 24. Does 4 divide f?
True
Let z = -253 + 438. Let d = z + -88. Is d a multiple of 35?
False
Let y(c) = -c**2 - 4*c + 1. Let v be y(-3). Suppose -9 = v*o - 33. Suppose i = o*i - 135. Does 10 divide i?
False
Suppose -2*f - 13 = -5*j - 31, 4 = -4*f. Let t(b) = b**2 + 3*b + 2. Let q be t(j). Let a(o) = o + 2. Is a(q) a multiple of 4?
True
Let c(o) = -o**3 + 4*o**2 - o + 4. Let y be c(5). Let l = 104 + y. Does 13 divide l?
True
Let v be ((-2)/3)/(1/(-3)). Does 15 divide -17*((-8)/2 + v)?
False
Let p = -60 + 42. Let t = p + 33. Is 19 a factor of -6*(-2 + t/(-9))?
False
Let m = 136 + 54. Does 40 divide m?
False
Suppose 6*q = 2*q + 20. Let g be (-2)/5 - 66/(-15). Suppose 2*t + g = 0, q*h = 3*h - 4*t + 32. Is h a multiple of 10?
True
Let y be (-2)/(-4)*-2 - -4. Let l = y + -5. Let p(b) = -b**3 - 2*b**2 - 3*b - 2. Does 4 divide p(l)?
True
Is 18 a factor of 162/15*(7 + -2)?
True
Suppose -c - 2*c + 173 = y, 3*y = -3*c + 177. Does 12 divide c?
False
Let z be 8*(-3)/6*2. Let p = z + 24. Is p a multiple of 3?
False
Suppose -10*j = 2*j - 3948. Is 32 a factor of j?
False
Suppose 0 = 3*s - 0*s + 6. Let x = s - -2. Suppose 2*g - 86 = -2*m - x*g, -5*m + 212 = 4*g. Does 16 divide m?
False
Let q(w) = 14*w - 1. Does 13 divide q(5)?
False
Let n = -16 - -29. Suppose z = -2*z + 4*g + 33, 0 = -4*z - 5*g + n. Suppose 2*j - z*j = -200. Is 11 a factor of j?
False
Let i(m) = -m - 7. Suppose -2*h + 12 + 10 = 0. Let w be i(h). Let s = 36 + w. Is s a multiple of 9?
True
Suppose n - 2*n = i - 7, 4*i - 13 = n. Suppose -5*v + 36 = -i*v. Does 12 divide v?
True
Let v = 193 + 15. Is 36 a factor of v?
False
Suppose -m - 2*m + 162 = 0. Suppose -2*d + m - 8 = 0. Suppose -2*u - 3 = -d. Is u a multiple of 10?
True
Does 10 divide (36/(-27))/((-2)/27)?
False
Suppose 10*n - 11*n = -4. Does 2 divide n?
True
Let n = 33 + 25. Is 10 a factor of n?
False
Suppose -2 - 2 = -2*t. Suppose -5*b = 4*n - 30, -t*b + 3*b - 5*n + 23 = 0. Suppose -273 = -5*a + b*r - 53, 89 = 2*a - r. Does 14 divide a?
True
Suppose 0 = 4*u + 2*n - 50, -2*n + 59 = 4*u + 3*n. Is 8 a factor of u?
False
Let y(v) = -v + 7. Is 10 a factor of y(-15)?
False
Let d be -5 + 6 - (-4)/1. Let l(w) = -w**2 + 5*w + 4. Let t be l(d). Suppose -2*m + t*m = 42. Is m a multiple of 10?
False
Let k(y) = -y**2 - 5*y - 1. Let m(a) = -2*a**2 - 11*a - 1. Let i(v) = -9*k(v) + 4*m(v). Is 2 a factor of i(0)?
False
Suppose 0*c + 3*l + 947 = 2*c, 4*c - 5*l = 1891. Is 67 a factor of c?
True
Suppose -4*c = -c + 240. Let q = -40 - c. Is 14 a factor of q?
False
Does 4 divide 12*1/6*3?
False
Let p = -17 - -51. Is p a multiple of 24?
False
Suppose -k + 8 = -0*k. Suppose 2*a - k = -v + 7, -3*a - 3*v + 30 = 0. Does 2 divide a?
False
Suppose -5*g + 756 = 7*g. Is g a multiple of 25?
False
Suppose -6*q = -3*q - 15. Suppose 0*r + q*k + 28 = 3*r, 2*k = r - 9. Does 11 divide r?
True
Let m = -1 - -1. Let g = 3 + -4. Is 11 a factor of m/g - -2*14?
False
Let w = 6 + 7. Let p = w + 6. Is 15 a factor of p?
False
Let k = 2 + 5. Suppose -3*v + 3*w - k = -2*w, -5 = v + w. Let y(m) = -4*m + 1. Is y(v) a multiple of 17?
True
Suppose 5*g + 6 = 1, -3*f - 29 = 5*g. Let x(h) = -h**2 + 8*h + 3. Let d be x(6). Let u = f + d. Is 4 a 