 c(b)?
False
Suppose 0 = 5*q - 258 - 67. Let a = -5 + q. Suppose -2*z = 3*j - a, 2*j + 23 = -3*z + 68. Is j a multiple of 16?
False
Suppose -30 + 110 = 5*k. Let v = k - 5. Does 4 divide v?
False
Let h = 56 + -39. Is h a multiple of 10?
False
Suppose 5*k - 4*w - 340 = -0*k, w = 0. Let z = k - 38. Is 15 a factor of z?
True
Suppose 5*i = -2*j + 18, 3*i = -j + 5*j - 10. Does 22 divide ((-15)/6 - i)*-10?
False
Let s be (-370)/4*(-8)/10. Let f(b) = -6*b - 1. Let r be f(-1). Suppose -46 = -r*h + s. Is h a multiple of 12?
True
Let h = -8 + 11. Is 16 a factor of ((-4)/h)/(8/(-288))?
True
Let s(n) be the first derivative of -1 + 5*n**2 + n - 1 - 6*n**2. Does 5 divide s(-2)?
True
Let f be ((-11)/3)/(2/(-12)). Suppose -3*q = -f - 98. Is q a multiple of 20?
True
Let v(u) be the first derivative of u**3/3 - u**2 - u + 1. Suppose y = 2*y + 5. Does 17 divide v(y)?
True
Is (28/(-35))/((0 - -3)/(-330)) a multiple of 25?
False
Let i(r) = -3*r + 15. Is i(-13) a multiple of 9?
True
Does 12 divide (6/(-9))/((-3)/234)?
False
Let u(j) = j**2 + 9*j - 15. Is 7 a factor of u(-11)?
True
Let d(h) = h**3 + 9*h**2 - 13*h - 8. Does 10 divide d(-10)?
False
Suppose -5*d + 0*d - 5*n = -190, 158 = 5*d - 3*n. Does 4 divide d?
False
Let l be 24/9 + (-2)/3. Is (-3 - -3)/l - -35 a multiple of 10?
False
Let h = -15 - -10. Let t(f) = 9*f - 1. Let i be t(-1). Let b = h - i. Is 2 a factor of b?
False
Let t(r) = 11*r + 2. Let s be t(-1). Let b(x) = x**3 + 8*x**2 - 11*x + 12. Is 15 a factor of b(s)?
True
Let r = 1 + 2. Let q(n) = -n**2 + n - 1. Let t(v) = -3*v**2 + 7*v - 6. Let s(z) = -5*q(z) + t(z). Is s(r) a multiple of 6?
False
Suppose 4*x + 2*j = 302, x = -2*x + 2*j + 223. Is 16 a factor of x?
False
Suppose 3*c = -5*n + 25, 2*c - 8 = -n + 4. Suppose 10 + 0 = n*v. Is 5 a factor of v?
True
Let s(g) = g**3 + 5*g**2 - 7*g - 1. Let c be (27/7 + -3)*-7. Let u be s(c). Suppose -2*q + q = k - 15, u*q = 4*k - 60. Does 7 divide k?
False
Let r(o) = -o**2 - 6*o - 4. Let p be r(-4). Suppose x + 1 = -2*u, 0 = -u + 2 - 3. Is 3 a factor of (4*x)/(p/6)?
True
Let m(i) = -i**3 + 5*i**2 + 5*i + 2. Suppose -4*a - a + 20 = 0. Is 18 a factor of m(a)?
False
Let v(o) = -20*o**3 + 2*o**2 + 4*o + 4. Is 28 a factor of v(-2)?
False
Let x(z) = -z**3 + 9*z**2 + 10*z - 3. Let a be x(10). Let f = a - -47. Is f a multiple of 11?
True
Suppose -4*o + 105 = 33. Suppose -4*n + o = -n. Is 6 a factor of n?
True
Does 9 divide 34 + (1 - 0) - -1?
True
Let v be 3/(-2)*(-16)/12. Suppose 2*f + 2*a - 48 = -4, v*a - 86 = -4*f. Suppose -2*n + 23 + f = 0. Is 11 a factor of n?
True
Let u = 30 + -2. Does 4 divide u?
True
Suppose 20*y = 6767 - 1167. Is 40 a factor of y?
True
Let h = -11 - -4. Let x = h - -11. Suppose -64 = -4*p + 4*b, -5*p = x*b - 0*b - 80. Is p a multiple of 8?
True
Suppose 3*g - 272 = 2*f, -4*g + 336 = 7*f - 3*f. Is g a multiple of 22?
True
Let h be (-2)/2*1 - -4. Is 11 a factor of -1 + h + (-20)/(-1)?
True
Let s = -18 - -23. Suppose 5*b + j = 3*j + 48, -b = s*j + 12. Is 3 a factor of b?
False
Suppose 0 = 5*q - 4*d, -5*q - 2*d = 2*d. Suppose q*b - 66 = -b - 3*w, 0 = -2*b - 5*w + 134. Suppose 3*g + g - 4*k = 72, b = 4*g - k. Is g a multiple of 9?
True
Suppose -f = 3*f - 12. Suppose -273 = -f*m - 51. Is m a multiple of 22?
False
Let g(v) = v**3 + 6*v**2 + 2. Let m = -19 + 13. Let s be g(m). Suppose -3*l = 12, -3*i - 6 = s*l - 46. Does 6 divide i?
False
Suppose 4*x + z - 2*z = 102, -x - 4*z = -34. Is x a multiple of 26?
True
Let k = 73 + -48. Let f = k - 10. Is 7 a factor of f?
False
Let a be (-5)/((-25)/(-20)) - -23. Suppose -3*h - 6 + 1 = -t, -2*h + 76 = 5*t. Is 7 a factor of t/7 + 0 + a?
True
Suppose 0 = -g + 2*a - 21 + 87, 0 = 2*g + 3*a - 153. Does 8 divide g?
True
Suppose 2*i + 2*b - 88 = 0, 3*i + 3*b - 107 = 5*b. Is i a multiple of 10?
False
Let i = -49 - -91. Suppose m + i = -m. Let a = m + 32. Does 7 divide a?
False
Suppose 3*u = -2*u + 35. Let o(c) = c + 2. Does 2 divide o(u)?
False
Let d(f) = 4*f**2 - 11*f. Is d(6) a multiple of 13?
True
Let v(g) = -g**3 - 4 - 2*g - 10*g**2 + 0*g**3 + 2*g**2. Suppose 2*z - 40 = 4*q, -6*q + q = -5*z + 60. Is 5 a factor of v(q)?
False
Is 16 a factor of ((-37)/4)/(((-20)/(-4))/(-40))?
False
Let k be -13*((-6)/(-3) - 1). Let l = 2 - k. Let t = l + -9. Does 3 divide t?
True
Suppose 0 = -10*i + 5*i - 250. Let g be i/(-8) + 3/(-12). Suppose -s - 2 = -g. Is 4 a factor of s?
True
Let i(u) = 3*u**2 + 2*u - 5. Does 15 divide i(4)?
False
Let p(f) = f**2 - 4*f - 2. Let w be p(9). Does 21 divide (w - 7)*(-4)/(-6)?
False
Suppose 3*z - r = 62, 4*z - 89 = -8*r + 3*r. Does 7 divide z?
True
Does 2 divide 297/36 - (-2)/(-8)?
True
Is 7 a factor of 141/5 - (-3)/(-15)?
True
Suppose -5*y - 35 = -3*o, y + 4*y - 105 = -4*o. Is 5 a factor of o?
True
Suppose -3*p - 5*y = -61, 0 = -y - 3*y - 4. Is 22 a factor of p?
True
Let f(v) = 6*v + 7. Let g(s) = -1. Suppose -3*w + 5*d = -11, -8 = -4*w + 5*d - 0*d. Let h(p) = w*g(p) - f(p). Is 13 a factor of h(-5)?
True
Suppose 3*h + 5*i + 7 = 0, 3*h - 5*h + 32 = -4*i. Let r be -1 + -1 - (-10)/1. Is 3/((h/r)/3) a multiple of 12?
True
Suppose 0*m - 4*m + 3*w = -323, 5*w + 333 = 4*m. Is 11 a factor of m?
True
Suppose -3*a = -28 - 143. Is 19 a factor of a?
True
Let i(t) = -55*t - 1. Does 18 divide i(-1)?
True
Let z(u) = -15*u - 4. Let c(o) = -2*o - 11. Let h be c(-12). Let x(t) = 31*t + 9. Let b(y) = h*z(y) + 6*x(y). Is 10 a factor of b(-2)?
True
Let t(d) = -d**2 - 14*d - 8. Suppose 8 = -2*c, 2*v + 5*c + 26 = -12. Let n be t(v). Does 12 divide n + -1 + 3 + 3?
False
Suppose -12 = -2*t + 6. Let a be 3/t - (-118)/6. Does 13 divide 8/a + (-146)/(-10)?
False
Let u = -24 - -125. Let b = -141 + u. Is 10 a factor of (3/(-2))/(3/b)?
True
Suppose -2*j + 12 = 2. Let g = j - 2. Suppose 4*p - 8 = g*p. Does 8 divide p?
True
Suppose 4*l - 18 = l. Suppose -4*c + 2*c = 4. Does 4 divide 3/(-1*c/l)?
False
Suppose 4*l - 5*l + 2 = 0, 4*l = -s + 13. Suppose -2*c + 7 + s = 0. Is c even?
True
Let k be ((-10)/3)/(7/(-21)). Let q = k + 0. Is q a multiple of 4?
False
Let y(u) = -3*u + 7. Let z be y(-9). Suppose -v = -3*v + z. Does 7 divide v?
False
Suppose -401 = 5*n - 2*x, -3*n + 3*x - 105 = 132. Let o = -21 - n. Is 24 a factor of o?
False
Let l be (10/(-3))/(14/(-21)). Suppose -l*o - 25 + 67 = 4*j, 4*o - 8 = 0. Suppose -2*f - j + 20 = 0. Is f a multiple of 3?
True
Let i(r) = r**2 - 11*r + 11. Let k be i(9). Let c(s) = -s**3 - 8*s**2 - 7*s + 6. Let n be c(k). Is 15 a factor of n/(-4) + (-498)/(-12)?
False
Does 24 divide (-16)/20*10*-6?
True
Let j(m) = m**3 - 11*m**2 - 3*m + 2. Let f(i) = 3*i**3 - 34*i**2 - 9*i + 7. Let q(n) = 2*f(n) - 7*j(n). Does 21 divide q(9)?
False
Suppose t - 4 = -t. Suppose 4*w - 3*c - 20 = 0, -w - 14 = -4*w + t*c. Suppose -4*l + 96 = w*o, -o + 4 = -0. Does 11 divide l?
True
Suppose 2*z + z - 603 = -j, z + 5*j = 187. Is z a multiple of 35?
False
Suppose 4*v - 2*v = 6. Is 4 - v/(3/(-20)) a multiple of 24?
True
Suppose -7*r = -5*c - 4*r + 25, 5*c + 5*r = -15. Suppose -2*l + 8 = c. Is 3 a factor of l?
True
Let h = -44 - -50. Does 3 divide h?
True
Is 3/1 - (-72)/6 a multiple of 9?
False
Suppose 6*b - 221 = 103. Is b a multiple of 18?
True
Let d = -57 + 99. Does 20 divide 2 + -4 + d*1?
True
Let v(s) = -s**3 + 2*s**2 - 2*s. Let u(n) = n**3 - n**2. Let g(j) = 2*u(j) - v(j). Is g(2) a multiple of 4?
True
Let r(y) = -3*y + y + 0 - 2*y + 1. Let x be r(-1). Suppose 42 = 5*j - t, 5*t + 33 = x*j - 17. Does 4 divide j?
True
Let s = -13 + 3. Let a(h) = h**3 - 4*h**2 + 2*h - 2. Let l be a(3). Is 0 - s - 10/l a multiple of 12?
True
Let n(y) = y**2 + 11*y. Let m(w) = -2*w**2 - 21*w - 1. Let z(k) = 4*m(k) + 7*n(k). Let s be z(-6). Suppose 0 = s*l + l - 36. Is 12 a factor of l?
True
Let a(b) be the first derivative of -3/2*b**2 - 3 - 6*b. Is a(-7) a multiple of 6?
False
Suppose 0 = 2*x + x - 6. Let y(i) = 2*i**3 - 2*i + 1. Is y(x) a multiple of 3?
False
Let q(u) = 2*u + 2. Let a(z) = z**3 + 6*z**2 + 5*z + 1. Let p be a(-5). Suppose 5*o - 6 = -p, -2*o - 4 = -3*j. Is q(j) a multiple of 6?
True
Suppose -2*l + 7*l = 25. Suppose -48 = -4*t + 252. Suppose 0*h + l*a + t = 5*h, 4*h - 65 = 3*a. Is 10 a factor of h?
True
Suppose -2*w + 56 = -30. Let d(v) = v**2 - v + 1. Let j be d(2). Suppose 29 + w = j*p. Does 7 divide p?
False
Let g = -105 - -31. Let t be (g/1)/((-6)/(-3)). Let r = t - -56. Is r a