- 0 - 4. Suppose 247 = o*l + 7. Is l a multiple of 30?
True
Let g = 18 - 24. Let z be (-20)/15*g/(-1). Let s(a) = a**3 + 9*a**2 + 7*a - 2. Is 6 a factor of s(z)?
True
Is 12 a factor of 258/(4*4/16)?
False
Let n = 249 - 165. Does 28 divide n?
True
Let r = 134 - 67. Let m = r + -47. Does 2 divide m?
True
Let q(v) = -2*v + 4*v - 31 + 12 + 0*v. Is q(11) a multiple of 2?
False
Suppose -5*t + 3*u + 1837 = -54, 0 = 3*t + u - 1129. Is 32 a factor of t?
False
Let n(j) = -59*j + 8. Suppose -2*r + 5 = 9. Does 18 divide n(r)?
True
Does 22 divide (-45)/(-6)*(-264)/(-18)?
True
Let c be 2/2*7 + -2. Suppose 15 = -2*v + c*v. Suppose 0 = -10*f + v*f + 25. Is f a multiple of 4?
False
Let p(v) = -2*v + 1. Let t(a) = 7*a + 2. Let q be t(-1). Is p(q) a multiple of 6?
False
Let f = 2330 + -1297. Does 4 divide f?
False
Suppose -7*s = -2*s + 1295. Let i be ((-32)/24)/((-5)/(420/(-8))). Is s/(-49) + 4/i a multiple of 2?
False
Let w(m) = 3*m**3 - 11*m**2 + 15*m - 25. Does 10 divide w(6)?
False
Let b = 243 - -278. Is 29 a factor of b?
False
Let x = 953 + -810. Is x a multiple of 2?
False
Suppose -409 = -4*f + 47. Let x = f + -50. Is 16 a factor of x?
True
Let v = -317 - -771. Is v a multiple of 20?
False
Let s be (233/1)/((-7)/(-14)). Suppose 3*t + 2*r = -3*r + s, 4*t - r = 583. Is 14 a factor of t?
False
Let f(z) = -133*z + 137. Is 87 a factor of f(-3)?
False
Let n(d) = d**3 + 1. Suppose -2*l + 9 = l. Let c be n(l). Suppose 13 + c = w. Is w a multiple of 19?
False
Suppose -54 = 5*y - 489. Does 3 divide y?
True
Let v = 98 + -45. Suppose -5*u + v = -242. Is u a multiple of 31?
False
Suppose -3*t = s - 69, 0*s - 5*t - 160 = -2*s. Suppose 1235 = 5*v + s. Suppose -5*i - v = -722. Is i a multiple of 19?
False
Let b(o) = -o**3 + 11*o**2 + o - 7. Let y be b(11). Suppose c = -y*c - 15. Is 693/22*(-2)/c a multiple of 6?
False
Let t = -67 + 66. Does 27 divide 2*t/2*-108?
True
Let q(a) = 15*a - 3. Suppose 2*z - 2*t + 1 = 7, -4*z - 2*t = -12. Let c be q(z). Suppose 0 = 6*y - 3*y - c. Does 3 divide y?
False
Suppose 25*f - 19*f = 2382. Does 6 divide f?
False
Let p = -24 - -24. Is (-30)/(-10) - -1*(p - -2) even?
False
Is 13 a factor of 6 - 1 - (-4)/4*476?
True
Let g = 1225 + -273. Is (-2 - 1) + g/4 + -7 a multiple of 45?
False
Let z(h) = -9 - 23*h + 0 - 9. Is 20 a factor of z(-6)?
True
Let i be -33*((-21)/9 + 0). Suppose 2*l = -3*b + 3*l + 55, -5*l - i = -4*b. Let z = 30 - b. Does 6 divide z?
True
Let i(x) = 4*x**3 - 3*x**2 + 2*x. Let g be i(1). Suppose -2*d + g*h + 165 = -447, -4*d = 3*h - 1260. Is d a multiple of 24?
True
Let c(m) = 7*m**2 + 6*m - 21. Let g(o) = -6*o**2 - 7*o + 20. Let t(z) = 5*c(z) + 6*g(z). Is t(-6) a multiple of 13?
False
Suppose 5*b - 1095 = -3*u - 0*b, 5*b = 0. Suppose 8*i - 811 - u = 0. Is 21 a factor of i?
True
Let u = 503 - -1447. Is 28 a factor of u?
False
Suppose 5*w - 8 = -n, -4*w - 3*n = n. Let j be (w - 2)/(-1 - 0). Let t(p) = 2*p + 34. Is t(j) a multiple of 17?
True
Let f = -283 + 431. Is 74 a factor of f?
True
Suppose 4*q - 57 = q. Let r(o) = o**3 - 8*o**2 + 7*o + 11. Let w be r(7). Let x = q + w. Does 9 divide x?
False
Let u be (40/(-3))/(-5)*(-144)/(-3). Suppose 2*t + 2*x = u, 132 = -t + 3*t - 2*x. Does 5 divide t?
True
Let w(p) = 593*p - 4. Let t(s) = 148*s - 1. Let g(x) = -22*t(x) + 6*w(x). Does 15 divide g(1)?
True
Suppose -w - f + 6 = 0, -4*f = -2*w - 3*f + 6. Suppose -w*u - r = -4*r - 146, 0 = 5*u + 4*r - 167. Does 17 divide u?
False
Let y(n) = n + 4. Let g be y(-8). Suppose -3*b + 6 = 0, 5*i + b = -2*b + 11. Is (i/g)/(3/(-204)) a multiple of 14?
False
Let u be 1 + -1 + 9 + 3. Let v = u + -6. Does 3 divide v?
True
Let a(o) = -638*o**2 - 12*o - 14. Let r(g) = -425*g**2 - 8*g - 9. Let u(y) = 5*a(y) - 8*r(y). Is 26 a factor of u(-1)?
True
Let r(y) = 5*y**2 - 9*y - 16. Does 47 divide r(9)?
False
Let k be 9/((-18)/(-8)) - 11. Does 11 divide (-24)/(-2)*(539/(-14))/k?
True
Is 48 a factor of 244 + 1/(-2)*8?
True
Suppose -5*u = -17*c + 21*c - 3998, u - 3*c = 811. Is u a multiple of 6?
False
Suppose 0 = o + 3*o - 2*t - 2012, -5*o - 4*t = -2541. Suppose -5*x = -0*x - o. Let f = x + -56. Is 13 a factor of f?
False
Let w be -4 + (6 - (-10)/(-5)). Suppose 0 = -3*v - 3*g + 264, 3*v - 4*g - 333 + 55 = w. Is v a multiple of 45?
True
Let j = 14 + -11. Suppose 5*l = -4*q + 158 + 79, 171 = 4*l - j*q. Let b = 3 + l. Is 12 a factor of b?
True
Let n be (-1)/(-2)*(-2)/3*3. Let u = n - -89. Is u a multiple of 27?
False
Let l(g) be the first derivative of 7*g**5/60 - 7*g**4/24 - g**3 - 2. Let s(a) be the third derivative of l(a). Is s(5) a multiple of 21?
True
Suppose q - 5554 = -5*j + 5258, -6504 = -3*j + 5*q. Is 21 a factor of j?
True
Let n = 305 - 468. Let h = 259 + n. Is h a multiple of 32?
True
Suppose 4*g - 15*g + 5852 = 0. Is 14 a factor of g?
True
Let n = 8 - 3. Let i(p) = -27*p + n*p**2 + 1 + 4*p**2 + 29*p. Is i(2) a multiple of 22?
False
Let j(s) = -5*s**3 - 6*s + 10*s**2 + 2*s + 14 + 6*s**3. Is j(-6) a multiple of 37?
False
Let q(c) be the third derivative of 0*c - 5/24*c**4 - 5*c**2 - 4/3*c**3 + 0. Is q(-8) a multiple of 16?
True
Suppose 0 = 2*s + 4*j - 360, -2*j + 2 = -8. Is 8 a factor of s?
False
Let c(v) = v**2 - 15*v + 7. Let h be c(15). Let u = -3 + h. Is (4/6)/(u/186) a multiple of 6?
False
Is 102 a factor of 126/4*(-12240)/(-210)?
True
Suppose -z - 1 = -3. Suppose -113 = -4*c - s, -z*c + s + s + 64 = 0. Is c a multiple of 29?
True
Let u(l) = 15*l**2 + 16*l - 49. Is 12 a factor of u(6)?
False
Suppose f - 28 = -o + 6*o, -2*f = -2*o - 16. Let i(k) = k**2 + 4*k - 1. Let l be i(o). Suppose -l*s - 33 + 113 = 0. Is s a multiple of 15?
False
Suppose -211 = 2*b - 35. Let q = -2 + -15. Let y = q - b. Is 24 a factor of y?
False
Let s(i) be the first derivative of 2*i**3/3 - 3*i**2/2 - 3. Let v be s(2). Suppose -m - v*w = -14, -3*w + 12 = -3*m + 36. Does 10 divide m?
True
Let k(b) = 56*b + 34. Let g(l) = 5*l + 3. Let n(c) = 68*g(c) - 6*k(c). Does 11 divide n(7)?
False
Suppose 9 = 3*x - 0. Suppose 3*v - 2*t = 88, 5*t = -x*v - 0*t + 53. Let c = v + 1. Is 15 a factor of c?
False
Suppose -2*y + 6 = 3*y - f, 4*y - f - 4 = 0. Let b be 445/(-10)*y*-1. Let k = -34 + b. Is 12 a factor of k?
False
Suppose -56*b - f - 1119 = -57*b, b - 3*f = 1117. Is 9 a factor of b?
False
Suppose -13*v + 12389 + 7722 = 0. Does 77 divide v?
False
Let k be -2*((-2)/(-4) - 3). Suppose -m = 3 - k. Suppose -1 - 15 = -m*x. Is 4 a factor of x?
True
Suppose -5*n - 3*z = -1259, z + 1267 = 11*n - 6*n. Is n a multiple of 10?
False
Is 5 a factor of 179 + (4/6 - 14/3)?
True
Does 5 divide ((-258)/24)/(20/(-80))?
False
Suppose 5*c - 1868 = -3*m + 3409, -3*m - 4200 = -4*c. Is c a multiple of 23?
False
Let y = 5629 - 3300. Does 17 divide y?
True
Let u be -4*2 + 2 + -4. Let o = u + 10. Let d(t) = -t**2 - t + 13. Does 6 divide d(o)?
False
Let m(b) be the first derivative of -b**5/20 + 2*b**4/3 + 7*b**3/3 - 7*b**2/2 + 2*b + 4. Let q(y) be the first derivative of m(y). Is 13 a factor of q(9)?
False
Let j = 39 - 75. Does 14 divide (27/(-6) - -1)/(6/j)?
False
Suppose 0 = -3*f - 12, 3*h - 4*f = 157 + 96. Let z = h + -41. Is 10 a factor of z?
False
Let o be (-2)/(-2 - 48/(-21)). Let r(j) = -j**2 - 7*j + 3. Let h be r(o). Suppose 19 = h*n - 107. Is 14 a factor of n?
True
Suppose 1180 = 6*u - 650. Suppose -3*f = 2*f - u. Is 15 a factor of f?
False
Suppose 32*h - 21*h = 13871. Is h a multiple of 18?
False
Suppose -2*v + 8 = 4*u, 0*u + 2*u - 22 = -4*v. Let z be (v - -1)/(-2 + 3). Let m(i) = -i + 16. Does 5 divide m(z)?
False
Let g(c) = -c + 5. Let b = 96 + -65. Suppose -2*o - b = -9. Does 8 divide g(o)?
True
Let w(f) = f - 8. Let y be w(6). Does 34 divide (-2 + 24)*y/(-8)*18?
False
Let a(z) be the first derivative of z**4/4 + 7*z**3/3 + 7*z**2/2 + 6*z - 13. Let l be a(-6). Suppose 4*j - 82 - 54 = l. Is 8 a factor of j?
False
Let r be (1 - 0)/((-8)/(-40)). Let d(b) = b**3 - 3*b**2 + 4. Let u be d(4). Suppose 9*z - u = r*z. Is 3 a factor of z?
False
Let u = 267 + -437. Let w = u - -298. Suppose 0*p = 2*p - w. Is 20 a factor of p?
False
Let l = 48 + 128. Does 22 divide l?
True
Let d(b) = b**3 + b**2 - b + 1. Let u(j) = j**3 + 7*j**2 + 1. Let t be u(-7). Let c be d(t). Suppose 41 = 4*r + x, -2*r + r + c*x = -8. Is r a multiple of 10?
True
Let x(s) = 8*s**2 - 33*s - 36. Does 9 divide x(9)?
True
Let n(j) = -j**3 - 6*j**