f w(n)?
False
Suppose 2*z + 3*g = -7, -3*z = 4*g - 4 + 13. Let o = 3 - z. Is 2 a factor of o?
True
Let g be (-1)/((-2*1)/12). Let l be 1/5 - g/5. Let a(u) = 21*u**2 + u. Is a(l) a multiple of 7?
False
Suppose -4*c + 124 = 4*f - c, 3*f - 3*c - 72 = 0. Suppose 4*a - 3*h - 105 = 0, -a - 2*h + 1 = -f. Is 16 a factor of a?
False
Suppose 5*f - 106 = 24. Is 19 a factor of f?
False
Let k be (-2)/(-6) + 1/(-3). Suppose p - 2 = -k*p. Is 10 a factor of (-1)/p*-13*2?
False
Let g be (-550)/(-143) + (-4)/(-26). Suppose 0 = 2*k - g*k + 8. Is k a multiple of 3?
False
Let b = -8 + 6. Let k = -1 - b. Does 13 divide 2/(k + -3) - -16?
False
Is 17 a factor of 60 + 1/((-3)/9)?
False
Let j = -70 - -80. Is j a multiple of 5?
True
Let z be (-116)/(-10) - 6/(-15). Suppose -31 + z = -y. Is 17 a factor of y?
False
Let b(u) = -u**2 - 13*u - 12. Is 6 a factor of b(-10)?
True
Suppose -13*v + 15*v = 166. Does 20 divide v?
False
Let v = 27 - 0. Is v a multiple of 12?
False
Suppose -5*j - 4*h = -0*h - 46, -4*j + 44 = 5*h. Is 6 a factor of j?
True
Let y(v) = -2*v**2 - 4*v**2 + 21*v**2 + 2 + v. Is 16 a factor of y(2)?
True
Suppose 1 = 2*b + 5. Let k be -38*b/1 - 0. Suppose 6*w = 2*w + k. Is w a multiple of 14?
False
Suppose 0 = -2*b - 7 + 59. Is b a multiple of 26?
True
Let k = -78 + 130. Suppose 5*y + 4*p = 22, -3*y + 22 = -y - 5*p. Suppose -k = -2*v + y. Does 17 divide v?
False
Suppose -47 = -4*r - 11. Suppose -r = t - 32. Suppose 5*k = t + 47. Is k a multiple of 7?
True
Suppose 4 = -q + 9, 5*h - 2*q = 65. Does 19 divide 25/h*(-54)/(-2)?
False
Let z be (5 + 0)*6/15. Suppose -g + 34 = -3*p, p + z*p + 114 = 3*g. Does 20 divide g?
True
Suppose 0 = 2*k + 3*r + 6, 3*r + 15 + 12 = 5*k. Let o(c) = -c + 3. Let d be o(k). Suppose d = -3*t + 5*w + 10, t = -2*t - 3*w + 42. Does 9 divide t?
False
Suppose 2*n = -g + 20, 0*n - 95 = -3*g + n. Suppose -4*r - 46 = g. Let s = -10 - r. Is s a multiple of 4?
False
Let p be (-76)/(-18) - (-8)/(-36). Suppose 0 = 5*w - 2*l - 1 - 100, 13 = w - p*l. Is w a multiple of 8?
False
Let w(m) = -3*m**2 - 2*m - 3. Let r(q) = q**2 - q - 1. Let d(c) = -2*r(c) - w(c). Let y(f) = -f**2 - 6*f - 15. Let h be y(-3). Does 10 divide d(h)?
False
Suppose -4*y + 17 = -l, -16 = y + 3*l - 4. Let c = 3 - y. Suppose f = -c*f + 3. Is 3 a factor of f?
True
Let k be 3 + 1 + -1 + -14. Let h = k - -20. Is 9 a factor of h?
True
Let c be (-2)/5 - (-1874)/10. Let m = 369 - c. Suppose -4*w + 3*o + 143 = -15, 5*w - m = -4*o. Is w a multiple of 19?
True
Let p(f) = -12*f**3 - f**2 - 2*f - 2. Is p(-1) a multiple of 8?
False
Suppose -2*u - 2*q - 88 = -5*u, -4*u = -3*q - 117. Suppose -2*h + u = 6. Let t = h + -8. Is 4 a factor of t?
True
Let a(r) be the third derivative of r**4/12 - r**3/6 + 2*r**2. Is a(5) a multiple of 4?
False
Suppose 0 = -4*l + 35 + 41. Is l a multiple of 12?
False
Let z = 38 - 8. Does 10 divide z?
True
Suppose 2*s + 25 = 3*n, -4*n + 3 = -5*s - 42. Let g = -8 - -11. Suppose -5*m = -g*f + 60, 0 = -n*f + m - 2*m + 128. Is f a multiple of 9?
False
Let m(c) = c**3 - 10*c**2 + 6*c + 6. Let w be m(9). Is (-6)/w - 771/(-21) a multiple of 20?
False
Let d = -3 - -6. Suppose 5*o = 4*q + 3*o - 196, -5*q + d*o + 246 = 0. Suppose a - 3*a = -q. Does 12 divide a?
True
Let y(v) = -v**3 - 5*v**2 + 23*v + 14. Is y(-8) a multiple of 2?
True
Suppose 0 = -3*w + 4 + 2. Suppose i = -w*i. Let n = 4 - i. Is 3 a factor of n?
False
Let y(d) = 3*d**2 + 9*d - 41. Is y(5) a multiple of 2?
False
Suppose j - 32 = -3*x, -2*j + 3*x + 59 = -5. Is 5 a factor of j/6 - 10/30?
True
Let k(j) = -j + 2. Let t be k(0). Suppose 5*d - v + 55 = 371, 0 = -d + t*v + 56. Does 32 divide d?
True
Let a(n) = 8*n. Suppose -4*p + 4*u = -20, p - 2*p + 3*u + 9 = 0. Let d be a(p). Does 4 divide (8/d)/(2/90)?
False
Let t = 205 + -160. Does 5 divide t?
True
Is 10 a factor of 60/(-9)*(-9)/2?
True
Let h = -1 + 0. Let x be (0 + -3)*(-4 - h). Does 3 divide (-3 - x)*1/(-2)?
True
Let t be (-4)/(-34) + (-3150)/(-102). Let m = -21 + t. Does 5 divide m?
True
Suppose 111 = -5*o - 3*p, -2*p = -2 - 4. Let l = 47 + o. Is 20 a factor of l?
False
Let j = -37 - -22. Let t = 1 - j. Is 13 a factor of t?
False
Suppose 2*u - 78 = -u. Let p = u - 2. Does 6 divide p?
True
Suppose -2*u + 21 = 3*u - 3*y, -2*u = 3*y - 21. Suppose 5*w + 2*r = -9 + 23, -u = -5*w + 2*r. Is 11 a factor of 2 + (2 - (w - 9))?
True
Suppose -4*s + s = -90. Is s a multiple of 12?
False
Let b(n) = n + 6 + n**3 - 3 + 2 - 3*n**2. Let o be b(5). Suppose -3*p + 42 = -o. Is 16 a factor of p?
False
Let f(k) = k**3 + 6*k**2 - 6*k - 8. Is f(-6) a multiple of 14?
True
Let q = -52 + 67. Is q even?
False
Let l be 2 - (161 - (1 + -1)). Is 2/(l/(-51) + -3) a multiple of 17?
True
Suppose q + 0*q = 0. Suppose 3*r - 6*w = -2*w + 102, q = r + 5*w - 34. Is 12 a factor of r?
False
Let a = 75 - 48. Is 5 a factor of a?
False
Let h(v) = v + 13. Let t be h(-6). Let q = t - -11. Is q a multiple of 9?
True
Let m(d) = d + 3. Is m(9) a multiple of 3?
True
Suppose -4*g + 176 + 160 = 0. Is 21 a factor of g?
True
Suppose -14 - 1 = -3*l. Suppose -l = r - 15. Is 4 a factor of r?
False
Suppose u = 2*k - 654, -7*u = 5*k - 2*u - 1605. Is k a multiple of 13?
True
Let y(w) = -w**2 + 9*w. Let r be y(9). Suppose -2*i + 4 + 2 = r. Is 2 a factor of i?
False
Is 58 + 7 + 0 + -2 a multiple of 5?
False
Suppose 2*n + 5*u - 288 = 0, 4*n - 4*u = -0*u + 576. Does 12 divide n?
True
Suppose -31 = 5*d - 3*k + 2, k + 29 = -5*d. Let m be -6*d/9 + 1. Suppose 2*x - 106 = 4*f, -m*f + 0*f = -5*x + 255. Is 18 a factor of x?
False
Let o(b) = -4*b**2 + 3*b + 3*b**2 + 3*b**2 + 1. Does 3 divide o(-2)?
True
Suppose -y + 5*n = -19 - 2, -y + 2*n = -21. Is y a multiple of 4?
False
Let k(r) = 4*r**2 - 6*r**2 + 2*r**3 - 6*r**3 + 1. Let d be k(-1). Suppose 2*j - 30 = -d*j. Is 6 a factor of j?
True
Let b(a) = -a**2 + 4*a - 2. Let x be b(3). Is 12 a factor of x/3 + 142/6?
True
Does 21 divide ((-21)/(-5))/(-1*5/(-25))?
True
Let n(s) = s**3 + 4*s**2 + 3*s. Let c be n(-2). Suppose -a = -3 - c. Suppose 17 + 43 = a*f. Is f a multiple of 12?
True
Suppose 4*w + 120 = 9*w. Is 8 a factor of w?
True
Suppose 0 = -12*h + 13*h - 132. Is h a multiple of 44?
True
Let f(v) = 176*v**2 - 2 + 3 - 2 - 43*v**2. Let q be f(1). Suppose 4*a - 3*l = 2*l + 176, -3*a + 3*l = -q. Is a a multiple of 17?
False
Let y(u) = 11*u**3 - 2*u + 1. Suppose v + 3*h = 2*h + 5, -14 = -v - 4*h. Let r = v - 1. Is 10 a factor of y(r)?
True
Let b be (-1)/(-2)*(6 - 2). Suppose -56 - 289 = 5*t - 3*p, 5*t + 370 = -b*p. Let y = 129 + t. Does 20 divide y?
False
Let x = -1 + -7. Let q(k) = k**2 + 7*k + k + 14 - 7. Is 6 a factor of q(x)?
False
Suppose 0 = -3*p - 2*q + 88, 0 = -4*q - 17 + 1. Let g = p + -5. Is g a multiple of 7?
False
Let t = 29 + -13. Is 4 a factor of t?
True
Let p(a) = a**2 + 5*a - 4. Let u be p(-5). Let q be u/14 + (-78)/21. Does 19 divide (2/q)/((-2)/176)?
False
Does 13 divide (-18 + 16)/(2/(-59))?
False
Let w = 170 + -72. Let f = w - 49. Does 16 divide f?
False
Let k(a) = a**3 + a**2 - a + 34. Let z be k(0). Suppose 3*f = z + 86. Does 14 divide f?
False
Suppose d + 2 = 2*d. Suppose 7*o + 15 = d*o. Let r(s) = -s**3 - 2*s**2 - s + 3. Does 8 divide r(o)?
False
Suppose -d = -5*d - 64. Does 18 divide (d/6)/(8/(-84))?
False
Let p(x) be the second derivative of -187*x**3/6 + 2*x. Let o be p(-1). Is 13 a factor of (-4)/10 - o/(-5)?
False
Let h = -6 + 2. Let c be h/(-2) + (-6)/(-2). Suppose -t = -c*r - 52, -t + 4*t - 122 = -2*r. Is 23 a factor of t?
False
Let w(a) = a**2 + 14*a + 15. Let b be w(-12). Let p(d) = -3*d - 12. Is 15 a factor of p(b)?
True
Suppose -19 = 3*m - 1. Let s be m/2 + 1 + -10. Let d = 36 + s. Is 12 a factor of d?
True
Suppose -4*p + 264 = 5*v - 218, 3*p - 386 = -4*v. Is v a multiple of 14?
True
Let t = 126 - 69. Is 10 a factor of t*(2 - -1)/9?
False
Suppose 2*b + 1 - 41 = 5*v, -2*b - 5*v = 0. Let m = -126 - -129. Let p = b + m. Is p a multiple of 13?
True
Let z(a) = a**3 + 11*a**2 + 12*a. Does 7 divide z(-9)?
False
Let z(v) = -v**3 + 7*v**2 + 9*v + 1. Let g be z(8). Is 3 a factor of g - (-1 + 0)*2?
False
Let h be 218/8 - 3/(-4). Let z = h - -42. Let o = 102 - z. Is 12 a factor of o?
False
Suppose -10*q - 85 = -11*q. Is q a multiple of 14?
False
Let j be 1*0*(-1)/(-3). Suppose -d + 4*c = -7, j*c = -5*d - c + 14. Suppose 4 = l + 2*u, 3*u + 29 = d*l - l. Is l a multip