r. Is c(b) a multiple of 3?
True
Let r be (2/(-3))/((-6)/(-828)). Suppose 0 = -0*i + i + 2. Is (-2 + r)/(i - 0) a multiple of 17?
False
Suppose -7 = -2*g + g. Let k = 14 + g. Is 21 a factor of k?
True
Suppose 0*p - 10 = 2*p. Let s = p - -8. Suppose 0 = d - 4*d + s*g + 96, 4*d - 5*g = 124. Is 12 a factor of d?
True
Suppose 124 - 30 = r. Does 11 divide r?
False
Suppose 33 - 13 = 2*k. Let p(v) = -5*v**3 + 8*v**3 - 2*v**3 + 2*v + v**2 - 11*v**2 - 6. Is p(k) a multiple of 7?
True
Let y(i) = -21*i + 35. Is 7 a factor of y(-6)?
True
Suppose 4*j - 4 - 8 = 0. Suppose -2*n = 2*u + 6, -u = 2*u - j*n - 21. Is u even?
True
Does 35 divide 84 + -4 - (-2)/2?
False
Suppose -a + 8 = -3*a. Let v be 2/a - 15/(-2). Suppose 0 = -v*w + 3*w + 12. Is 2 a factor of w?
False
Is (-2 + (-28)/(-7))*(9 + -1) a multiple of 6?
False
Let i be -3*((-150)/(-9))/(-5). Suppose -3*p - i = -8*p. Let y(u) = 2*u**3 - u**2 - u + 1. Is 10 a factor of y(p)?
False
Does 6 divide 11 - (-4)/(-6)*-6?
False
Let a(q) = 2*q**2 - 2*q - 10. Let c be a(-6). Suppose -9*v + 11*v = c. Is v a multiple of 8?
False
Suppose 7*s = 12*s - 440. Does 11 divide s?
True
Let n be (24/42)/(4/14). Is 208/(-6)*(-3)/n a multiple of 21?
False
Let f = -58 + 118. Suppose -5*d + d = -f. Is d a multiple of 15?
True
Let v(b) = 12*b**2 - 3*b**2 - 2*b**2 + 6 + b**3. Suppose 0 = -x - 0*x - 6. Does 21 divide v(x)?
True
Let z be 0 + 4 - (1 - -1). Let k = 99 + -47. Suppose 6*x - z*x - k = 0. Is 13 a factor of x?
True
Let i be 68 - (-7)/((-28)/(-8)). Let z = 142 - i. Is 18 a factor of z?
True
Suppose -4*s + 5*y = 4*y - 88, -4*y + 88 = 4*s. Suppose 7*l - 8 = 5*l. Let o = s + l. Does 13 divide o?
True
Let x = 6 + -6. Suppose b + x*b - 52 = -4*a, 2*a - 98 = -2*b. Is b a multiple of 16?
True
Let g(m) = 110*m**2 + 2*m + 1. Let o be g(-1). Let r = -44 + o. Does 14 divide r?
False
Let d(p) = -6*p**2 - p + p**2 + p**3 + 2*p**3 - p**3 - 1. Is 10 a factor of d(4)?
False
Let b(t) = t**2 + 1. Let g be (-1 + (-3)/3)/1. Let z be b(g). Suppose 52 = z*k - 3*k. Does 7 divide k?
False
Let a(i) = -i**2 - 13*i + 16. Let g be a(-14). Suppose g*h + 4 - 92 = 0. Is h a multiple of 16?
False
Let p = 12 + -40. Is 9 a factor of (-8)/p + 1252/28?
True
Let g(x) = 2*x**2 - x + 3. Is 12 a factor of g(3)?
False
Let d be 4/(-3)*9/6. Let g be 0 + d - (-1)/1. Does 8 divide g/(-5) + 104/5?
False
Let m be 8/12*795/2. Suppose -5*g + m = 5*b, -4*b - 2*g = g - 214. Is b a multiple of 11?
True
Let l = 2 + -3. Let k be 2 + (2 - (l + 3)). Suppose 2 + 0 = 3*o + k*s, -o - 11 = 3*s. Is 4 a factor of o?
True
Let s be ((-5)/(-10))/((-1)/(-48)). Does 11 divide 27/(-4)*s/(-9)?
False
Let a = -6 + 4. Let n be a*1/2*3. Is 15 a factor of (n - (-66)/(-8))*-4?
True
Suppose -7*w = -4*w. Suppose -3*q - 4*p + 21 = -0*q, 0 = -4*q + 3*p + 3. Suppose -q*u = -w*u - 51. Is u a multiple of 7?
False
Let n(a) = a**2 + 5*a + 3. Let u be n(-4). Let b(j) = j + 3. Let y be b(-4). Is u/(y*(-3)/(-141)) a multiple of 16?
False
Let d(x) = 16*x - 2. Let q be d(-2). Let v be 206/3 - (-12)/(-18). Let a = v + q. Is 17 a factor of a?
True
Let l = -56 + 112. Is l a multiple of 14?
True
Let k = 16 + -9. Suppose -5*d = k + 3. Is 14 a factor of (0 - d) + -2 + 31?
False
Suppose 3*z - 37 - 26 = 0. Is 7 a factor of z?
True
Let j(q) = 16*q + 6. Is 15 a factor of j(5)?
False
Suppose -r + 2*m + 50 = 0, 5*m = r - 41 - 18. Does 22 divide r?
True
Suppose -4*w - 76 = -8*w. Is w a multiple of 19?
True
Let l = -24 + 30. Suppose -2*q + 2*o = -l*q + 42, -o + 31 = 3*q. Is 10 a factor of q?
True
Suppose 0 = 8*p - 5*p + 2*o - 36, -p - o + 13 = 0. Does 3 divide p?
False
Let m(l) = 7*l**2 - 4*l - 1. Let w be m(3). Suppose 2*n - w = -x, -x - 4*x + 3*n = -263. Is 18 a factor of x?
False
Let w(n) = -2*n**3 + 3*n + 3. Suppose 0 = 5*i - 0*i + 20. Let m = 2 + i. Is 6 a factor of w(m)?
False
Let o be 1*((-1)/1)/1. Let b = 6 + o. Suppose -3*v + a + 1 = -b, 5*v - 2*a = 9. Does 3 divide v?
True
Suppose -4*c = -9 + 1. Suppose c*d + 7 = -7. Let r = -2 - d. Is r a multiple of 5?
True
Suppose -75 - 55 = -5*y + 3*b, -2*y = b - 41. Is y a multiple of 11?
False
Is (-2 + 3)/((-1)/95)*-1 a multiple of 9?
False
Suppose 5*x = -3*p + 2*p + 326, -258 = -4*x + 2*p. Is x a multiple of 13?
True
Let n(z) = 3*z**2 - 14*z - 5. Is 28 a factor of n(9)?
True
Let o = 57 - 38. Is 4 a factor of o?
False
Suppose -85 = -z + 5*k, -6*z + 195 = -4*z - 5*k. Does 24 divide z?
False
Suppose -24 + 0 = -4*a + 3*g, -3*a + 2*g = -18. Suppose 26 + a = 2*r. Does 8 divide r?
True
Let r = -1 - 0. Let x(v) = 0 - 14*v + 1 - 7*v. Is 11 a factor of x(r)?
True
Let o(w) = w**2 - 3*w - 4. Let f be o(3). Is 198/12 + 2/f a multiple of 8?
True
Suppose -5*f + 7 - 62 = 0. Let p be (f/(-2))/((-2)/4). Let o = -4 - p. Is 5 a factor of o?
False
Let v be ((-18)/45)/((-2)/10). Suppose -4 = -v*x + x. Is x a multiple of 4?
True
Let a = -5 - -9. Suppose -2*n = -0*l + 3*l - 5, 4*l - a*n + 20 = 0. Is 8 a factor of 8*(-1 - 0)/l?
True
Let x be (-11)/(-33) + (-272)/6. Let d = x - -91. Does 19 divide d?
False
Let z(m) = m**3 + m**2 - 3*m - 3. Let h be z(-2). Let s be h*1*(0 - 11). Let g = -2 + s. Does 8 divide g?
False
Let b(j) = -j - 2. Let m be b(-2). Let g be 1 - -3 - (m - -2). Is -2 + g - -25 - 0 a multiple of 9?
False
Let u be (-13 - -1)*(-2)/3. Let x = u + -5. Does 3 divide x?
True
Let x(w) = 2*w**2 + 7*w + 8. Let i(t) = -7*t**3 + t**2 + t - 1. Let j be i(1). Is 17 a factor of x(j)?
False
Is 17 a factor of (-2)/(-10) + (-3588)/(-60)?
False
Suppose -3 = -2*y + 1. Suppose 4*o + y = 322. Suppose 4*b = -b + o. Does 8 divide b?
True
Is 2/(-4) + 159/6 a multiple of 13?
True
Suppose -6*p + 2*p = -3*t + 84, 4*p + 84 = -4*t. Let u = p + 55. Is u a multiple of 11?
False
Let l(p) be the first derivative of p**3/3 - p**2 + 4*p + 3. Does 7 divide l(3)?
True
Is 7 a factor of (8 - -4)*(-52)/(-12)?
False
Let g(o) = -1. Let y(s) = s**2 + 10*s - 4. Let n(t) = -3*g(t) + y(t). Let c be n(-9). Let d = c + 23. Is d a multiple of 6?
False
Let a(y) = 68*y + 17. Is a(3) a multiple of 23?
False
Suppose 23 = -2*f - 25. Let m = f - -71. Is 16 a factor of m?
False
Is 15 a factor of 2 + 2 - (-22 - -11)?
True
Suppose -3*c = -3 - 15. Let i = 14 - c. Does 2 divide i?
True
Suppose 0 = 5*t - t - 676. Suppose -k - 206 = -q - 4*q, -4*q = -5*k - t. Is q a multiple of 18?
False
Let i = 108 - 72. Is 6 a factor of i?
True
Suppose -7*x - 50 = -1198. Does 8 divide x?
False
Suppose -4*k - 3*m + 13 = 1, 20 = -5*k + 5*m. Suppose -2*l - 105 = -4*q - 5*l, 75 = 2*q - 3*l. Suppose 4*g - q - 2 = k. Is 4 a factor of g?
True
Suppose 5*k + 67 = 2*g, -5*k + 6 = 1. Is g a multiple of 6?
True
Let v(k) = -k**3 + 4*k**2 - 1. Let d be v(5). Let q = 133 + -78. Let f = d + q. Does 16 divide f?
False
Let j(p) = 2*p - 2. Let t be j(2). Suppose 0 = t*g - g + 9. Does 10 divide ((-30)/4)/(g/24)?
True
Let o(i) = i**2 - 8*i - 13. Let f be o(10). Let y(z) = 2*z - 6. Is y(f) a multiple of 8?
True
Let l(s) be the first derivative of -1/4*s**4 - 3*s**2 - 5/3*s**3 - 2*s + 2. Is l(-5) a multiple of 14?
True
Let l(n) = n**3 + 5*n**2 - 6*n + 13. Does 6 divide l(-6)?
False
Suppose -11*w + 164 = -10*w. Does 35 divide w?
False
Let a(h) = h**2 + 7*h + 9. Let f be a(-6). Let y(l) = -l + 11. Let q be y(7). Suppose g = 2*g - f*c - 18, -65 = -q*g + 5*c. Is 6 a factor of g?
False
Let y(j) = j**3 + 9*j**2 + 9*j + 8. Is y(-6) a multiple of 8?
False
Let j(c) be the first derivative of 4*c**2 - 4. Is j(3) a multiple of 7?
False
Let s(d) = 23*d**2 + 1. Does 12 divide s(-1)?
True
Let i(o) = -o**3 + 10*o**2 + 11*o + 3. Let w be i(11). Suppose 5*x + 0*x - 37 = 3*s, -13 = -2*x + w*s. Is 4 a factor of x?
True
Let v(k) = -k**2 + 16*k - 13. Does 21 divide v(11)?
True
Suppose 0 = -3*y + 133 + 95. Does 24 divide y?
False
Let g(a) = a**2 - a + 49. Let z be g(0). Suppose -5*u + 166 = -2*j, -u + 26 = -0*u - 4*j. Let l = z - u. Is 15 a factor of l?
True
Suppose -4*z + 97 = 1. Does 24 divide z?
True
Suppose 2*a = -s + 57, 4*s - 5*s + 45 = -a. Is 10 a factor of s?
False
Let j(m) = 0*m + 4 + 6*m**2 - 8 - m. Is 11 a factor of j(-2)?
True
Suppose -133 = -5*l + 422. Suppose -2*c - c + l = 0. Is 21 a factor of c?
False
Let p(b) = b**3 + 4 + 1 - 2*b**3 - b - 5*b**2. Let m be p(-4). Let j(n) = -3*n + 6. Does 10 divide j(m)?
False
Let b = 17 - 18. Let x = b - -53. Is 15 a factor of x?
False
Let a(o) = 26*o*