ose -3*j + f = -0*k + 2*k, -4*k - 566 = -3*j. Is 31 a factor of j?
True
Suppose -6*c + 309 = -9*c. Let x = -69 - c. Is x a multiple of 17?
True
Let n(q) = -q**2 + 14*q + 2. Let x be n(14). Let b(s) = 2*s**2 - s - 1. Is b(x) a multiple of 3?
False
Suppose -9 = 6*d + 3. Is 5 a factor of (-1 - d*2) + 25 + -23?
True
Suppose 5*a - 435 = -5*b, 177 = 2*a - b + 4*b. Let o = 133 - a. Is 7 a factor of o?
True
Suppose -2*o = 3*o - 60. Let l(s) = 6*s + 4 - o - 3*s - 16. Is l(13) a multiple of 2?
False
Let o = 3 + -3. Let z be (o - -42)*(-1 + 2). Let y = 0 + z. Is 30 a factor of y?
False
Is 16 a factor of ((-1260)/(-144))/((-1)/(-12))?
False
Suppose n = 4*i + 72, 16*i - 14*i = -n + 66. Is 4 a factor of n?
True
Suppose 2*l - 6573 = -5*n, 6*l - 4*l = n - 1305. Does 9 divide n?
False
Let m = 3381 - 2208. Is m a multiple of 23?
True
Suppose -n - 4 = 0, -2*p = -p + 4*n + 28. Is p*3*2/(-6) even?
True
Suppose v - 6 = -0*l + l, 3*l = 2*v - 14. Suppose v*c = -14*c + 774. Is 43 a factor of c?
True
Let k be 4*4/24*12. Suppose 13*a = k*a + 200. Is a a multiple of 16?
False
Let d be (-5 - -2) + 0 + 3. Suppose -662 = -4*x - n, 2*x + 2*x + 4*n - 656 = d. Is 19 a factor of x?
False
Let x = 804 + 162. Is x a multiple of 12?
False
Let w(y) = 30*y + 521. Is 144 a factor of w(63)?
False
Suppose -27*j = -33*j + 2*t + 22406, 0 = -4*j + 4*t + 14948. Does 148 divide j?
False
Let t = 0 + -4. Is (0 + (-162)/t)*2 a multiple of 27?
True
Suppose 2*x - 5 = -1, 0 = 2*s - 3*x + 342. Does 6 divide ((-18)/21)/((-4)/s*-3)?
True
Suppose -3*o = 3*w - 12, o + 3*w - 4 = -8. Does 6 divide o?
False
Suppose -9 - 1 = -2*l, -2*t + 66 = 4*l. Let v = -6 + t. Is v a multiple of 17?
True
Suppose 2*d = -d - 186. Suppose -48 = -5*a + 492. Let s = a + d. Is 8 a factor of s?
False
Let a = -10 + 15. Suppose 4*b - 98 = -4*d + 78, -a*d = 2*b - 223. Does 8 divide d?
False
Suppose 0 = 7*q - 11 + 53. Does 9 divide ((-80)/q)/((-1)/(-3))?
False
Is 2 a factor of -5 + ((34 - -5) + 4 - 0)?
True
Let h be -2 + 10*(-2)/(-4). Suppose 0 = -3*v + 3*z + 12, 0*z - 1 = 2*v - 5*z. Suppose -3*g + v = -h*m - 119, -5*m + 60 = g. Is g a multiple of 14?
False
Let w = -10 - -95. Is 18 a factor of w?
False
Suppose -3*o + d = -3*d + 51, -3*o - 60 = -d. Does 22 divide -1*(6/o + 2250/(-14))?
False
Let k(y) = -2*y + 1 + 7 + y**2 - 5*y - 3*y. Let m be k(8). Is (-5)/((-20)/m - 3) a multiple of 2?
True
Let v = 10 + -76. Let r = 124 + v. Is 58 a factor of r?
True
Suppose 32*l - 9*l - 7774 = 0. Is 3 a factor of l?
False
Let v = 2171 + -686. Does 58 divide v?
False
Suppose 2*f - 5 - 13 = 0. Suppose -k - 6 = -f. Suppose -k*a + 82 = -11. Does 12 divide a?
False
Let f(p) = p**2 - 13*p + 8. Let v be f(12). Is ((-3)/v*2)/(45/3900) a multiple of 26?
True
Let x(q) = -2*q - 1. Let f be ((-3)/(-6))/((-1)/(-4)). Suppose 4*n - 4*p = -28, -2*n + f*p - 17 = n. Is x(n) even?
False
Suppose 790 = 6*z + 244. Is 13 a factor of z?
True
Suppose 15*k = 6*k + 18. Does 16 divide (0 - -5) + 152 + 6/k?
True
Let d = 12 - 15. Let n(m) = -m. Let l be n(d). Suppose 4*i - 17 = 5*w, l*w + w = i + 4. Does 2 divide i?
True
Let r(c) = 31*c + 5. Suppose z - 7*z + 420 = 0. Let x be z/42*(-12)/(-10). Is r(x) a multiple of 23?
False
Does 2 divide (378/(-24))/((-3)/20)?
False
Let o(z) = -3*z + 18. Let l be o(12). Let k(t) = -5*t - 18. Does 36 divide k(l)?
True
Is 6 a factor of (882 - 7)/7 - -5?
False
Let u(n) = 53*n - 340. Is 7 a factor of u(9)?
False
Suppose 6*t + 2318 = 8*t. Is t a multiple of 33?
False
Let h be -2 + -1 + (15 - 3). Let t = -8 + 12. Suppose -c = -t - h. Is c a multiple of 5?
False
Let g = 1081 - 671. Does 7 divide g?
False
Let b(w) = 81*w**2 - w. Let l = 19 + -18. Does 13 divide b(l)?
False
Let p(c) = 4*c**2 - 4*c + 29. Let i(h) = -3*h**2 + 5*h - 28. Let u(w) = -3*i(w) - 2*p(w). Is 34 a factor of u(13)?
False
Let n(m) = -10*m**3 - m + 1. Is n(-2) a multiple of 15?
False
Suppose -w = -7*w + 2*w. Suppose -7*v + 551 = -4*v - y, 3*y + 6 = w. Is v a multiple of 54?
False
Let h = 38 + -50. Does 5 divide ((-40)/h)/(116/36 - 3)?
True
Let h(b) = -b**2 + 14*b - 7 - 7 + 0*b. Let u be h(12). Suppose -6*x - 112 = -u*x. Is x a multiple of 6?
False
Suppose -54 - 456 = -6*v. Let g = 146 - v. Does 7 divide g?
False
Let a be (-12)/(-1*(-2)/(-4)). Let u be (-2)/(-2)*(4 + -1). Let o = a - u. Is o a multiple of 14?
False
Let d(r) = -2*r. Let u be d(6). Let h be (0 - 1/3)*u. Suppose -235 = -h*c - 43. Is 14 a factor of c?
False
Let b be 4 - (4 - 0)*1. Suppose b = -q + 4*q. Is 2 a factor of (4 + 1 + q)/1?
False
Suppose 0 = 3*r - 6*r - 267. Let k = -2 + 148. Let i = r + k. Does 19 divide i?
True
Does 11 divide (-1881)/66*(-506)/3?
True
Let a(f) be the first derivative of 4*f**3/3 - f**2 - 6*f - 12. Is a(3) a multiple of 6?
True
Let i(z) = 4*z**2 - 25*z - 301. Is i(-12) a multiple of 5?
True
Let h(p) = 5*p**3 - 36*p**3 - 1 + 0*p**2 + p**2. Suppose -6*g + 31 = 37. Is 19 a factor of h(g)?
False
Let h = 149 - 107. Does 21 divide h?
True
Suppose -5*r + 1574 = -2*r + a, -4*a = -20. Does 17 divide r?
False
Let j be (-864)/(-33) - (-4)/(-22). Let f = -28 + j. Let z(x) = 10*x**2 + 4*x + 2. Does 17 divide z(f)?
True
Suppose d + 3*d + 228 = 3*h, 3*h = 3*d + 228. Does 8 divide h?
False
Let g = 16 + -8. Let q = g + -3. Let i = 9 - q. Does 2 divide i?
True
Let q(b) = 2*b**2 + 3*b. Let c be q(-2). Suppose 22 = 2*d - c. Is 4 a factor of (-97)/(-5) + d/20?
True
Does 13 divide 2269 - (20 + -11) - 7?
False
Suppose -4*o + 3*x + 356 = 2*x, 5*x = 4*o - 340. Suppose 137 = 4*g + 393. Let m = o + g. Is m a multiple of 10?
False
Let t = -75 + 77. Is 435/9 + t + 8/(-6) a multiple of 5?
False
Let s(v) = -57*v - 122. Is 31 a factor of s(-31)?
False
Suppose 0 = -2*b + 4*x + 738, -x = -5*b - 5*x + 1859. Is b a multiple of 19?
False
Suppose -199 + 16 = -3*s. Suppose -5*i + 792 = 4*v, -i - 4*i + 6*v = -762. Suppose -2*d - i = -3*w + d, -s = -w - 2*d. Is 16 a factor of w?
False
Let g = -17 - -14. Let v(j) = j**3 + 5*j**2 + 2*j - 2. Is 10 a factor of v(g)?
True
Let a(k) = -92*k - 34. Is 6 a factor of a(-5)?
True
Let h(r) = r + 13. Let w be h(-9). Is (162/w)/((-2)/(-12)) a multiple of 20?
False
Let u(p) = 113*p**2 + 11*p - 24. Is u(-4) a multiple of 30?
True
Suppose 0 = -10*f + 7*f + 6. Suppose 5*q - o - 16 = -0*o, 4*o - 24 = -f*q. Suppose -12 = -q*c + 20. Does 7 divide c?
False
Suppose -193*a - 3073 = -200*a. Is a a multiple of 5?
False
Let r be 0 - 0 - (-8 - 0). Let q be (-150)/(-36) - 10/60. Suppose 4*o - 20 = -q*u, -5*u = 4*o - r - 7. Is 5 a factor of o?
True
Let w(r) = 13*r**2 + 9*r + 135. Let t(f) = 3*f**2 + 2*f + 34. Let m(v) = 9*t(v) - 2*w(v). Is m(0) a multiple of 6?
True
Let p(g) = g**2 - 5*g - 1. Let c be p(6). Suppose -2*a + 296 = 4*w - w, 3*w - c*a - 331 = 0. Suppose -7*f + w = -f. Is 17 a factor of f?
True
Suppose 9*n - 5151 = 1626. Does 47 divide n?
False
Let z(x) = 5*x**2 - 12*x - 40. Let v(t) = -4*t**2 + 13*t + 40. Let h(b) = -4*v(b) - 3*z(b). Is 11 a factor of h(23)?
True
Suppose 221 + 299 = 13*h. Does 8 divide h?
True
Let m be (127 - 0)/((-14)/70). Let g be m/7 - 2/7. Is 12 a factor of (-5421)/g - (-3)/7?
True
Let m(u) = 14*u + 66. Is 17 a factor of m(5)?
True
Suppose -21*r + 13224 = 8*r. Does 76 divide r?
True
Suppose -372 = -29*z - 24. Is 3 a factor of z?
True
Let w(s) be the first derivative of -s**4/4 - 5*s**3/3 - 9*s**2/2 - s + 2. Let i be w(-6). Let n = i - 27. Is 31 a factor of n?
True
Let o(d) = d**3 + 50*d**2 - 53*d - 61. Is o(-51) a multiple of 9?
False
Suppose -545 = -2*x + h + 237, 5*x + 2*h - 1946 = 0. Does 10 divide x?
True
Suppose 2*f = -s + 66 - 19, f + 4*s = 6. Suppose -n = 4*v - 2*v + 26, 3*v - 5*n = -f. Is 15 a factor of 10*(-3)/(v/8)?
False
Suppose 0 = -r - 3*w + 4*w, w = 3*r - 6. Is 3 a factor of (-102)/(-12) - r/6*-1?
True
Suppose -2*i = -2*g + 2116, 19*g - 20*g - 4*i + 1078 = 0. Is 18 a factor of g?
True
Let q(f) be the second derivative of -f**2 - 5*f + 1/2*f**3 + 0 + 7/2*f**4. Does 7 divide q(1)?
False
Suppose -3*k + 2*j + 14 = 0, -5*j + 6 = 3*k - 1. Suppose -k*z - 26 = 3*x, 0*x + 10 = -4*z + 5*x. Let d(w) = -2*w - 5. Is d(z) a multiple of 2?
False
Let l = 133 + -55. Let n(x) = -9*x + 8. Let c be n(7). Let t = l + c. Is t a multiple of 3?
False
Let i(f) = 3*f**2. Let v be i(1). Let x be -15*(3/(-3) - v). Suppose 2*a + x = 3*r, 3*a - 27 = -2*r - 0*a. Is 5 a factor of r?
False
L