of -q**4/24 - 5*q**3/6 - q**2. Let f be l(-10). Suppose f*s - 285 = 3*b - 82, 5*b = -5. Is s a multiple of 14?
False
Let t be (3 - 1) + -6 + 3. Does 23 divide (-38)/(-2 - (0 + t))?
False
Let k = -35 + 26. Does 11 divide ((-6)/4)/(k/312)?
False
Let h be -8*8/(-1 - -2). Let x = h - -139. Is 13 a factor of x?
False
Suppose 3*p - 4*h = 242, -2*h = -3 + 7. Let v = p - 45. Is v a multiple of 11?
True
Does 15 divide -5*(-16 + 4 - -2)?
False
Let z(r) = -r + 14. Does 9 divide z(-4)?
True
Suppose 100 = 3*x + 2*x. Is 5 a factor of x?
True
Suppose -9*m - 689 = -2615. Is 21 a factor of m?
False
Let h(q) = -56*q - 13. Does 36 divide h(-3)?
False
Let x(g) = -g**2 + 12*g - 7. Suppose -3*j + 2*b + 8 = -19, -2*b + 9 = j. Is 8 a factor of x(j)?
False
Suppose 0 = d - 5*u - 5, -3*u + 5*u = 0. Let g(v) = -v**3 + 5*v**2 + 2*v - 3. Does 3 divide g(d)?
False
Suppose -2*c = -2*d - 3*d, 5*c = -2*d. Is 3 - c - 1 - 0 even?
True
Let c = 10 + -7. Suppose 2*u - 85 = -c*u. Suppose h - u = -0*h. Is h a multiple of 11?
False
Let t(k) = -k + 1. Let c be t(-4). Suppose -15 = c*b - 0*b. Let n(q) = -4*q + 4. Is n(b) a multiple of 8?
True
Let r(b) = b**2 - 1. Let o be 66/18 - (-2)/6. Is 6 a factor of r(o)?
False
Let r(s) = -211*s**2 - s. Suppose -g - 3*c = 3*g - 4, 3 = 3*g + 4*c. Let q be r(g). Does 15 divide 4/(-14) + q/(-7)?
True
Let g(l) = -3*l + 5. Let u be g(-11). Suppose -2*p - u = 2*d, 2*p + 72 - 18 = -3*d. Let a = 26 + d. Is a a multiple of 10?
True
Suppose h - 5*h = 0. Suppose -2*o + 2*p = 60, -p + h*p + 1 = 0. Let r = o + 53. Is r a multiple of 9?
False
Let n(v) = -v**3 + 7*v**2 - 4*v + 2. Let l be n(4). Suppose 5*h = -4*x + 133, 2*h = x + 4 - l. Does 16 divide x?
True
Let u(q) = -q**3 - 12*q**2 + 3. Let j be u(-12). Suppose -4*t - 3*w + 53 = 0, -j + 20 = t - 3*w. Does 7 divide t?
True
Let n be (-2)/(-2) - (-78)/1. Let p = 124 - n. Does 17 divide p?
False
Let j = -30 - -42. Does 12 divide j?
True
Suppose 2*g = 3*k - 65, -2*k - 2*g + 27 = -k. Does 9 divide k?
False
Let w(r) = -2*r + 4*r - 7*r**2 - 2 + 5 - 2 + r**3. Is w(7) a multiple of 5?
True
Let y = 5 + -8. Let d be -2 + 2 + y - -6. Suppose 0*g = d*g - 57. Does 15 divide g?
False
Is 19 a factor of (-43 + -8)*((-7)/3 + 1)?
False
Suppose -4*r + 132 = 4*m - 148, 3*m - 5*r - 250 = 0. Does 16 divide m?
False
Suppose 28 + 26 = 3*b - 3*t, 3*b - 44 = -2*t. Is b - 6/(-9)*-3 a multiple of 7?
True
Let l be (-515)/(-25) - 6/10. Suppose -2*c = 2 - 8. Suppose -c*g + l = -g. Is g a multiple of 4?
False
Let h(a) = a**3 - 7*a**2 - 2*a - 8. Does 11 divide h(8)?
False
Suppose -1467 = -5*c + 2*s - 305, 0 = c - 3*s - 222. Is c a multiple of 39?
True
Let k(c) = -c**3 + 11*c**2 + 2. Let a be k(11). Suppose 0 = -w - 5*x + 55, 2*w + a*x - 147 + 61 = 0. Is 15 a factor of (3 + -3 - -3) + w?
False
Let k(s) = -8*s - 6. Is 17 a factor of k(-5)?
True
Suppose 9*v = 7*v + 248. Is 33 a factor of v?
False
Suppose 12 = -4*p, -2*o - 3*o + 259 = -3*p. Does 17 divide o?
False
Let m = -3 + 16. Is 7 a factor of -3*2/(-6) + m?
True
Let w(f) = -3*f**3 - f**2 - f - 1. Let d be w(-1). Suppose 2*j = -4*x + 36, 13 = d*x + 3*j - 9. Let q = 2 + x. Is 9 a factor of q?
False
Suppose 69 = 2*k + 5*a, a + 84 = 3*k + 2*a. Is k a multiple of 5?
False
Let o(b) = -b**2 - 10*b + 6. Does 17 divide o(-6)?
False
Suppose -g + 4*g = -21. Let x be 0/(-1)*1 - g. Does 14 divide (1 + 1)*x*2?
True
Is (-4)/18 - (-245)/9 a multiple of 11?
False
Suppose -2 = 2*z + 8, -3*w = 3*z - 186. Does 29 divide w?
False
Let w(z) = -z**3 - 2*z**2 - z + 2. Let t = -10 - -8. Does 4 divide w(t)?
True
Let m be (-862)/22 - 6/(-33). Let r = 78 + m. Is r a multiple of 13?
True
Let k be (8 - (-185)/(-10))/((-2)/4). Let c be ((-2)/(-4))/((-2)/(-8)). Is k/(1/(c/3)) a multiple of 7?
True
Let k(q) = -q - 14. Let o be k(-7). Let s = o + 52. Is 16 a factor of s?
False
Is 19 a factor of -1 - (2 - 2 - 115)?
True
Let n(b) = -b - 8. Let i be n(-7). Is 11 a factor of 33/(-12)*(i - 7)?
True
Suppose -5*g = -15 + 5. Suppose -g*q + 72 = -q. Is q a multiple of 24?
True
Suppose 5*j - 4*x = 3 + 5, -5*x = j - 19. Suppose 0*r = -r - 2*l + 6, 84 = j*r - 4*l. Is 12 a factor of r?
False
Let k(u) = 8*u + 8. Let c(n) = -n - 1. Let g(d) = 6*c(d) + k(d). Is 6 a factor of g(8)?
True
Let r(h) = h**2 - 2*h - 4. Let n be r(4). Let y = 88 + n. Let l = y - 64. Is l a multiple of 14?
True
Is 1/5 + 0 + 1317/15 a multiple of 22?
True
Is (6/15)/(1/240) a multiple of 32?
True
Does 7 divide (-8)/40 - 352/(-10)?
True
Let y = -138 - -324. Is y a multiple of 31?
True
Let o = 21 + -21. Suppose b + 2*b - 174 = 4*t, o = 3*b + t - 174. Is b a multiple of 13?
False
Let m be ((-12)/(-4))/((-3)/(-52)). Let x = -36 - m. Is ((-15)/10)/(6/x) a multiple of 15?
False
Let s(b) = 2*b**2 - 5*b + 2. Is 4 a factor of s(4)?
False
Let i(g) be the first derivative of g**4/4 + 4*g**3/3 + g**2/2 - 4*g + 2. Let a be i(-3). Suppose 14 = 2*u - 2*s, -61 = -3*u + a*s - 7*s. Does 12 divide u?
True
Let v be 17*-1*(-5 + 4). Let y = 1 + v. Is 18 a factor of y?
True
Let o(l) = -6*l**2 + 2*l + 2. Let y be o(2). Is 12 a factor of (3 + -1)*y/(-1)?
True
Let t(g) = -45*g - 86. Is t(-6) a multiple of 10?
False
Let z = 7 + -5. Suppose z*m - 33 = h, -3*m + 4*m - 4*h = 20. Does 7 divide m?
False
Let z be 2*(-1 - -3)*5. Let i = z - 8. Does 4 divide i?
True
Suppose 823 = 3*n + 91. Suppose -5*f - 2*h + 256 = -0*f, -n = -5*f + 2*h. Does 25 divide f?
True
Let q(x) = 2*x**3 + 4*x**3 + 6*x - 5*x**3 - 13*x**2 + 1 + 11. Let c(i) = i. Let d(y) = -4*c(y) - q(y). Is 8 a factor of d(12)?
False
Suppose 40 + 160 = 5*w. Does 15 divide w?
False
Is 9/((-4)/64*-2) a multiple of 12?
True
Let z(d) = -d - 1. Let v(n) = n**2 + 8*n - 10. Let m(f) = -v(f) - 2*z(f). Let k be m(-9). Is (-10)/k - (-74)/6 a multiple of 13?
True
Suppose -4*w = -3*u - 380, w - 38 = -5*u + 34. Does 28 divide w?
False
Let g(o) = -22*o**3 + 3*o**2 - 2*o + 3. Let n be g(2). Let q = -117 - n. Is q a multiple of 24?
True
Let s = 6 - -13. Let o = s + -16. Is 2 a factor of o?
False
Suppose -3*d + d = -232. Suppose 3*q + d = 7*q. Is q a multiple of 8?
False
Let n(d) = 3*d - 3. Is 12 a factor of n(13)?
True
Suppose -m + r - 21 = 0, -4*m + 2*m - r = 42. Let h = m + 43. Does 11 divide h?
True
Let i = 7 + -4. Suppose 1 = -i*l - 8, 4*x - 111 = 5*l. Is 7 a factor of x?
False
Let r(q) be the first derivative of -q**3/3 + 3*q**2/2 + 4*q + 2. Let u be r(3). Suppose 2 = f + 4*w, 0*f + u*w = f - 26. Does 4 divide f?
False
Let z = 162 - 45. Is 17 a factor of z?
False
Suppose -4*c = 5*y - 10 - 22, 0 = c - y + 1. Is 11 a factor of 2 - (0/c - 13)?
False
Let s(i) = -i. Let b be s(-5). Suppose -2*q - 2*q = 5*r - 109, -r - 5*q = -5. Suppose 0 = b*v - 75 - r. Does 10 divide v?
True
Let x be -2 + 4/2 + -6. Let l(j) be the first derivative of -3*j**2 - 5*j + 35. Does 8 divide l(x)?
False
Suppose -4*q + 52 = -4*s, 0 = 4*q - 5*s + 3 - 57. Suppose 3*t = -2 + q. Suppose -t*g - g + 48 = 0. Is g a multiple of 4?
True
Let t(s) = 5*s**2 - 3*s - 25. Does 32 divide t(-6)?
False
Let c = -2 + 2. Suppose -m + 5 = -c. Suppose 0 = -y - v + 6 + 8, -v = m*y - 74. Is y a multiple of 15?
True
Let j = 97 + -61. Does 22 divide j?
False
Does 36 divide (244/28 - 1)*14?
True
Let v be 2/8 + 77/28. Let z(h) = -2*h + 0 + 2 + 0*h + 3*h**2. Is z(v) a multiple of 12?
False
Suppose 5*i = 2*q - 225, 5*q - 198 = 3*q - 4*i. Suppose 0 = -6*m + m + q. Does 7 divide m?
True
Let b = 37 + -19. Does 18 divide b?
True
Let j = 174 - 93. Does 11 divide j?
False
Suppose 5*j + 60 = 2*o - 7*o, 4*o - j + 48 = 0. Let p(r) = -4*r - 15. Is 11 a factor of p(o)?
True
Suppose -3*f + 5*b = -34, -4*b + 5*b + 18 = 2*f. Suppose -4*k + 24 = -f. Does 5 divide k?
False
Let f = -67 - -84. Is f a multiple of 7?
False
Suppose -u + 0 + 2 = 0. Suppose u*i + l - 51 = 0, -5*i + 5*l - 25 + 130 = 0. Is 6 a factor of i?
True
Suppose 4*t + 18 = 5*t. Does 2 divide t?
True
Let h = 105 - 59. Is 23 a factor of h?
True
Suppose -x + r - 19 = -2*x, 2*r = 0. Is 9 a factor of x?
False
Let o(g) = g**2 - 9*g. Let r be o(10). Suppose r*s + 10 = 11*s. Is 9 a factor of s?
False
Let d(x) = x + 14. Let b be d(-10). Let u be 60/9*102/b. Suppose z + 4*z = u. Does 12 divide z?
False
Does 5 divide -3 - (-1 + 2 + -26)?
False
Suppose 0 = -4*d - d + 100. Is d even?
True
Does 5 divide (26*2)/(-2)*(-1 - 5)?
False
Let q(l) = -77*l**3 + l**2. Is q(-1) a multipl