Suppose 0 = -2*s + s - 4. Is 10 a factor of u(s)?
True
Let o(s) = s**2 + 9*s + 2. Does 10 divide o(-10)?
False
Suppose 135 = 2*d + 5*x, -d - 4*d - 4*x = -295. Suppose -d = -j - 4*j. Does 6 divide j?
False
Let o = 52 + -31. Suppose 4 + o = z. Is z a multiple of 12?
False
Let g(u) = u**3 + 4*u**2 - 4*u - 6. Let l = -17 - -13. Does 4 divide g(l)?
False
Let o(c) = -c**2 - 2*c - 1. Let m be o(-2). Let h be (-1 + -2 + -11)/(-2). Does 3 divide -1 - (h*m + 0)?
True
Let f(q) = 2*q - 1. Let a(g) = 2*g. Let y(u) = 4*a(u) - 5*f(u). Let w be y(5). Let t = 23 - w. Is 14 a factor of t?
True
Let p(i) = i**2 + 3*i - 10. Does 18 divide p(11)?
True
Let x = -43 - -88. Let c = x - -45. Let v = -58 + c. Is 12 a factor of v?
False
Suppose 493 = 7*v + 24. Does 8 divide v?
False
Suppose 64 = 2*n - 116. Does 18 divide n?
True
Is 390/12 - 2/4 a multiple of 8?
True
Let t(s) = -s**3 + 19*s**2 - 11*s + 1. Is 32 a factor of t(18)?
False
Does 13 divide 28/(-42) + (-158)/(-3)?
True
Let m(j) be the third derivative of 1/4*j**4 + j**2 + 0*j + j**3 + 0. Is 15 a factor of m(6)?
False
Suppose 385 = 5*a + 2*h - 3*h, -3*a - 4*h + 208 = 0. Is 16 a factor of a?
False
Let a = -15 - -6. Does 2 divide ((-8)/(-12))/((-1)/a)?
True
Let m(j) = 5*j + 1. Let o be m(3). Let u be 4/14 + (-645)/(-21). Let r = u - o. Does 6 divide r?
False
Suppose -2*z + 24 = -14. Let k = -12 + z. Let q = k - -20. Is q a multiple of 13?
False
Suppose 5*l - 112 = 2*z, -z = 2*l - 7 - 45. Does 12 divide l?
True
Let f be (-2 + 12/9)*-3. Suppose u = 3*l - 15, -u + 11 = 5*l + f*u. Suppose -4*j - j - 3 = l*i, -5*i + 9 = 2*j. Does 3 divide i?
True
Let y = -59 - -12. Let d = -29 - y. Does 9 divide d?
True
Suppose 10 = -10*w + 5*w - 5*y, 4*w - 1 = -y. Let f(z) = -6*z - w + 0*z + z**2 - 4. Does 11 divide f(8)?
True
Suppose -47*z + 48*z - 28 = 0. Is 4 a factor of z?
True
Suppose -3*a = -5*r + 4, -16 = -5*r + r - 4*a. Suppose -3*t + 2 + 12 = h, 4*h = r*t. Is h a multiple of 2?
True
Suppose -3*j + 8*j = -4*b + 80, 80 = 5*j + 5*b. Is 60/j*1*4 a multiple of 15?
True
Let s = -9 + 47. Let k = -12 - -17. Suppose -k*c = -s - 22. Does 12 divide c?
True
Let v = 6 - 6. Suppose 4*w + 24 + 6 = 2*f, v = 5*w. Does 4 divide f?
False
Let y(x) = -3*x - 22. Does 6 divide y(-16)?
False
Suppose -29 = 4*j + 27. Does 20 divide (-822)/j - (-4)/14?
False
Let x(y) = y**2 + 4*y + 1. Suppose 0*j + 4*w = 2*j + 14, -3*w = -3. Does 2 divide x(j)?
True
Let h be 0 - (1 - -1 - 4). Suppose 3*l + l + 40 = -4*v, 5*v + 35 = -h*l. Let p(a) = -a**3 - 3*a**2 + 6*a. Does 7 divide p(l)?
False
Suppose 582 = 3*d + 2*f, -d = 4*d - f - 970. Suppose 4*g = -2 + d. Does 11 divide g?
False
Suppose 53 = 5*m - 127. Let l = m + -23. Is 9 a factor of l?
False
Let q(n) = 33*n - 4. Let k be q(3). Suppose 2*c = 7*c - k. Is 14 a factor of c?
False
Suppose 4*v - 3*b = 269, -2*b = -5*v - b + 328. Suppose 5*c + 5 - v = 0. Suppose -c = -h + 3. Does 9 divide h?
False
Suppose i + 2*d - 1 = -5, -2*d - 10 = 2*i. Let v be 5/(-3) - 4/i. Let k(y) = 16*y**2 - 1. Is 9 a factor of k(v)?
False
Suppose -3*y + 6 = -q, 3*y - 4*q = -q + 6. Suppose 0 = -k + 5, 2*u - y*k + 3 = -k. Does 11 divide (0 - u) + 0 + 12?
True
Let v = 8 + -8. Let z = 0 + v. Suppose a - 25 = h, z*a = 5*a + 4*h - 152. Is 17 a factor of a?
False
Suppose 5 = -3*b - 5*u, 0*u + 5*u = -b - 15. Suppose z - 3*k = -z + 87, b*k = z - 61. Is 13 a factor of z?
False
Let g = 8 - 13. Is (-78)/g + (-2)/(-5) a multiple of 15?
False
Suppose -2*w + 19 = -81. Let u = -12 + w. Is u a multiple of 19?
True
Let f(h) = 3*h + 3. Is 15 a factor of f(9)?
True
Suppose 3*g + 0 = 6. Suppose g*b + 0*b = 36. Is 6 a factor of b?
True
Let d(g) = -g**2 - 4*g - 4. Let i be d(-4). Let z = i + 10. Does 6 divide z?
True
Suppose -2*u = -2*m, -5*u + 30 = m + 4*m. Suppose -t = -5*n + 25, 0 = -m*t + 7*t - 20. Does 5 divide n?
False
Suppose -y = -5*y + 4*m + 824, 0 = m - 5. Is y a multiple of 15?
False
Suppose n + 3*d - 35 = 6*d, 4*d = -20. Is 20 a factor of n?
True
Is 2 a factor of (-1*9)/((-3)/2)?
True
Let v(k) = -27*k**2. Suppose -2*r - r = 3. Let f be v(r). Let z = -9 - f. Does 9 divide z?
True
Let z = 66 - 31. Does 20 divide z?
False
Let y(d) = -14*d - 13. Is y(-7) a multiple of 18?
False
Suppose 0 = -2*w - 8 - 8. Let n = w + 12. Suppose -2*x - 112 = n*b - 7*b, 0 = -5*x - 10. Is 13 a factor of b?
False
Let k(h) = 3*h + 2. Let j(f) = 10*f + 5. Let g(z) = -6*j(z) + 17*k(z). Let b(p) = -p + 1. Let v(w) = -2*b(w) + g(w). Does 15 divide v(-6)?
False
Let j(i) = -i + 3. Let w be j(0). Let g(b) = -b - w*b - 3 + 3*b + b**2. Is g(3) even?
False
Let v(b) = 14*b**2 - 1. Is v(-2) a multiple of 11?
True
Let m = -34 - -94. Let y = -12 + m. Is y a multiple of 16?
True
Let d(w) = 14*w + 5. Let f be d(4). Let r = -12 + f. Does 23 divide r?
False
Let z(q) = 2*q**2 + 2*q + 54. Is z(0) a multiple of 7?
False
Let f(v) = 2*v**3 - v**2 + 2*v - 4. Is f(2) a multiple of 3?
True
Suppose 0*j + 4*j + 8 = 0. Is (-119)/(-5) + j/(-10) a multiple of 8?
True
Let m = -147 + 234. Is 4 a factor of m?
False
Suppose 6 = 4*y - 2. Suppose -n = -y*n + 24. Is 2 a factor of (9/(-6))/((-9)/n)?
True
Let x(q) = -q**2 - 14*q + 2. Let z be x(-14). Suppose -w = -3*y + 17, -4*y - z*w = y - 32. Does 6 divide y?
True
Let c be (6/(-9))/((-2)/6). Let f(b) = 2*b**3 - 3*b**2 + 3*b - 1. Is f(c) a multiple of 9?
True
Let j = -2 + 11. Does 2 divide j?
False
Suppose 9 = 2*b + 3. Does 11 divide (1/b)/(2/132)?
True
Let h be 3 - 3 - -1 - -2. Suppose -2*n = -h*n + 21. Does 19 divide n?
False
Suppose 6*l - 10 = 5*l. Suppose -p - 3*r + l = 0, 2*p - 4*r = -r + 38. Is 8 a factor of p?
True
Suppose 5*c - 296 = 2*k + 519, 0 = 4*c - 4*k - 652. Is 14 a factor of c?
False
Let v(f) be the third derivative of -f**4/8 + f**3/6 + 3*f**2. Does 15 divide v(-5)?
False
Let c(g) = g**2 + 7*g + 4. Let z(p) = p. Let m(t) = c(t) - 5*z(t). Let j = -5 + 2. Does 3 divide m(j)?
False
Suppose -3*a + 2 = -2*h, -2*a + 12 = h + 3*a. Suppose 195 = 5*t + 5*l, h*l + 36 = 2*t - 54. Is 14 a factor of t?
True
Let r be ((-2)/4)/(3/(-990)). Suppose -2*j = 3*j - r. Is j a multiple of 11?
True
Suppose 0*m = m + j - 122, 342 = 3*m - 5*j. Is m a multiple of 17?
True
Let p(s) = 83*s**2 - 4*s - 1. Let i be p(-3). Suppose 5*d = 4*n + i, -2*d + 308 = -n - 3*n. Does 8 divide d/9 + 1/3?
False
Suppose 0 = -3*h + 182 + 214. Is h a multiple of 16?
False
Is (-3)/(6/(-40)) - 1 a multiple of 11?
False
Let g = 37 + -21. Suppose 3*s = -2*u + 34, u - 2*s + g = 2*u. Is u a multiple of 10?
True
Let o(f) = f**3 + 6*f**2 - 7*f + 2. Let x be o(-7). Suppose -3 = -x*j - 3*z + 51, -22 = -2*j + 5*z. Is j a multiple of 12?
False
Suppose -3*q - 2*q = -2*p + 247, -240 = -2*p - 2*q. Is 27 a factor of p?
False
Let v(n) = n + 25. Does 4 divide v(-9)?
True
Let p(x) = -2*x - 3. Let a be p(-2). Suppose -5*q = 5, 0 = -2*v - 2*q + q + 3. Is (v - (2 + -3)) + a even?
True
Let a = -73 + 108. Does 16 divide a?
False
Suppose 3*p - 95 = -5. Is 6 a factor of p?
True
Let x = 16 - 13. Does 2 divide x?
False
Let s = 87 + 97. Does 8 divide s?
True
Let q be 0 - 156 - (-12)/6. Does 4 divide q/(-10) - (-6)/10?
True
Let y = 351 - 208. Does 13 divide y?
True
Suppose -4*b = -2*v + 2, -15 = -5*b - 2*v + v. Suppose -3*x = 5 - 2, -2*x = b*h - 24. Is h a multiple of 13?
True
Let x(f) = -2*f + 11. Is 8 a factor of x(-7)?
False
Suppose 4*g - 177 = 195. Is g a multiple of 13?
False
Let g = -3 + 5. Is 15 a factor of (g - 2 - -20) + 2?
False
Let f(w) = w**3 - 6*w**2 + 7*w - 4. Let i be f(5). Suppose i*o - 11 = y + 3*o, y + 7 = 2*o. Suppose k + y = 40. Does 14 divide k?
False
Let w = -104 - -212. Suppose -3*c + w = -0*c. Is c a multiple of 18?
True
Suppose 0 = 3*z + 23 + 4. Let r(x) = -4*x + 17. Let k be r(0). Let y = k + z. Is 3 a factor of y?
False
Is 25 a factor of (-160)/48*30/(0 + -1)?
True
Is ((-96)/56)/(2/(-7)) a multiple of 5?
False
Let p(h) = -h**3 - 2*h**2 - h. Let w be p(-2). Let b(i) = 3*i**2 + i**3 + i + 0*i + w*i**2. Is b(-3) a multiple of 13?
False
Let z = 17 - -12. Suppose -z = -n - 2*o, 6*o - 4*o = -2*n + 56. Is 9 a factor of n?
True
Let t(m) = -m**2 - 8*m - 8. Let y be t(-6). Suppose -109 = -y*b + 59. Does 9 divide (-4)/14 - (-1146)/b?
True
Let h(d) = -57*d + 11. Is h(-3) a multiple of 13?
True
Suppose -2*f + 170 = 5*k + 2*f, -k + 5*f = -63. Is k a multiple of 8?
False
Let z(v) = -2 + 3*v - 7*v - 1 - 1. Does 6 