e n + 35 = g*w. Is w a multiple of 12?
False
Let x be -5*-3*(-2)/(-5). Suppose g + 5*o = x, 0*g = 2*g + 4*o - 12. Suppose -14 = g*h - 7*h. Is h a multiple of 14?
True
Suppose -3*h = -g - 1487, 0 = 3*h + 6*g - g - 1475. Is 15 a factor of h?
True
Suppose 3*z + 4*v + 184 = 699, z = -5*v + 157. Is 54 a factor of (5 + -6)/((-1)/z)?
False
Let u = 934 - 640. Suppose -2*t + 144 = -u. Does 23 divide t?
False
Let i(v) = 146*v**2 + 4*v - 7. Is 5 a factor of i(2)?
True
Suppose 1535 = -8*v + 4511. Suppose 552 = 7*o - v. Does 24 divide o?
False
Suppose -2*d + 26 = -0*h - 3*h, 3*d - h - 25 = 0. Suppose 15*n = d*n + 1624. Does 33 divide n?
False
Let w(t) = -t**2 - t - 54. Let j be w(0). Let u = 81 + j. Let a = u + -10. Is 8 a factor of a?
False
Let w(c) = c**2 - 7*c - 6. Let v be w(6). Let b be (-2 - 10)*4/v. Suppose -b*o - 4*k + 12 + 200 = 0, -o + 5*k = -59. Is 18 a factor of o?
True
Let k(w) = w**2 - w + 1. Let u be (-6)/9 + 0 - 87/(-9). Is 6 a factor of k(u)?
False
Suppose -4*t = -3*r - 2*t + 11, 3*r = 3*t + 12. Suppose -3*j - 10 = 2*z, r*j = -0*j - 5*z - 7. Is ((-37)/(-4))/((-1)/j) a multiple of 12?
False
Suppose 0 = -2*z, -3*o - z + 15 = -0*o. Suppose o*w = 44 - 24. Is 2 a factor of w?
True
Let m(g) = -g**2 - g + 1. Let v be m(0). Let h(f) = -3*f - 2*f**2 + 2 + v + 1 + 3 - f**3. Is 3 a factor of h(-3)?
False
Let i(d) = -4*d**2 - 3*d + 540. Is i(0) a multiple of 30?
True
Let i(t) = -15*t - 1. Let q(z) = 46*z + 4. Let g(j) = -7*i(j) - 2*q(j). Let d be g(1). Suppose -b + 4 + d = 0. Is b a multiple of 16?
True
Let k be (-11)/(-2) - (-10)/20. Suppose r - k*r = -545. Does 14 divide r?
False
Let s(r) = 4*r**2 - 16*r + 6. Is 9 a factor of s(-12)?
True
Let o = 16311 - 11345. Is 13 a factor of o?
True
Is 59 a factor of (783/6)/(1 - (-17)/(-20))?
False
Suppose 0 = -3*i + 8*i - 2*k - 86, 3*i + 5*k - 33 = 0. Suppose 6*r - 62 = i. Does 4 divide r?
False
Let d(v) = -v**3 - v**2 + v. Let b(w) = 6*w**3 + 9*w**2 - 3*w - 2. Let u(a) = b(a) + 5*d(a). Let k be u(-2). Suppose -3*j = -k*j - 6. Is 2 a factor of j?
True
Let y be 2/(-1)*(-319)/22. Let u = 27 - y. Does 3 divide 7/((-21)/(-30)) - u?
True
Is 21 a factor of 3 + (-12)/3 - -1*2038?
True
Let z be -26*(-2 + 6/4). Is 2 + (-1 - z/(-1)) a multiple of 14?
True
Let q(j) = j**2 - 6*j - 5. Let g(k) = 3*k - 5. Let s be g(4). Let z be q(s). Let a = 34 + z. Does 12 divide a?
True
Suppose -1 = 4*o - 13. Suppose -j + 4 = -3*t - 8, 0 = -5*t - o*j - 20. Is (-2)/t*154/11 a multiple of 7?
True
Let l be (-1)/(-2) - -9*2/4. Let j(g) = -7*g**2 + 5*g + 1. Let c(s) = 8*s**2 - 6*s. Let k(v) = -4*c(v) - 5*j(v). Does 25 divide k(l)?
False
Let m be 2/4 - (-1070)/4. Suppose -3*t = 2*n - 253, 0 = -5*n - t - m + 894. Let q = n + -86. Does 39 divide q?
True
Suppose -j + 5*f + 200 = 0, -j - 25 + 225 = f. Is j a multiple of 10?
True
Let d(m) = 15*m**2 - m - 1. Let f be d(-1). Let y be (-8)/(-5)*f/6. Suppose y*n - a - 23 = 0, -a - a - 10 = -2*n. Is 3 a factor of n?
True
Let b be (150/(-125))/(0 - 1/5). Suppose 380 = 4*f - 2*x, -4*x = 2*f - b*x - 194. Is f a multiple of 19?
False
Let r(t) = -t**2 - 17*t + 1. Let u be (-24)/2 - 9/3. Does 31 divide r(u)?
True
Let j(n) = -n**3 + 82 + n + 3*n**2 + 69 - 4*n**2. Is 17 a factor of j(0)?
False
Suppose 3*j = -15, -28*j = 5*r - 23*j - 4830. Does 24 divide r?
False
Let j = 260 - 626. Is 12 a factor of -5 - (j/2 + -2)?
True
Suppose 3*l - 1251 = 1089. Does 20 divide l?
True
Suppose 8*z = 4*z. Suppose -q - 29 = 4*r - 8, z = 3*q + 4*r + 23. Is 32/4 + (q - 0) even?
False
Suppose 5 = -x - 2. Let b(u) = -6*u**2 + 5*u - 7*u - u**3 - 7 - u. Does 21 divide b(x)?
True
Suppose 3*p = v - 892, -3*v + 2663 = -0*v + 4*p. Is 22 a factor of v?
False
Let g = -179 + 299. Is 5 a factor of g?
True
Let i(r) = -r**2 - 16*r - 3. Let n(u) = -u**3 + 11*u**2 - 3*u + 24. Let s be n(11). Is 7 a factor of i(s)?
False
Does 50 divide (-1)/(6/5)*-6 + 395?
True
Let f be (0 + (0 - -1))*3. Suppose -f = -2*p + 3. Let q(j) = j**2 + 3*j + 4. Is 16 a factor of q(p)?
False
Does 44 divide 1*(7 - 14755)/(-6) + 6?
True
Let b(w) = -w - 9. Let d be b(-6). Is (1 - 4)*((-60)/9 - d) even?
False
Suppose 57*z = -17*z + 43142. Is z a multiple of 2?
False
Suppose 0 = -4*h + 4*l - 7*l + 1319, -h + 5*l + 301 = 0. Suppose 5*j = 4*v - 266, -5*v = 4*j - 7*j - h. Does 5 divide v?
False
Let h be (-7968)/(-21) - (-9)/(-21). Suppose 5*n = -44 + h. Is 51 a factor of n?
False
Suppose -44 = 5*z - z. Let n be 8/(-5)*(-7 + 1 + 11). Let f = n - z. Is 2 a factor of f?
False
Let l(x) = -x**3 - 14*x**2. Let q be l(-14). Suppose -3*p - 2*p + 2*z + 30 = q, -4*p + 17 = -3*z. Is p a multiple of 8?
True
Suppose -27*d + 8*d = -9747. Is d a multiple of 27?
True
Let o = -488 + 1623. Is 31 a factor of o?
False
Let v = -7 - -9. Suppose 2*c - 12 = -3*s, c = v*c. Suppose 5*r - 176 = -s*i - 0*i, 4*r = -i + 143. Is r a multiple of 16?
False
Let n be (((-9)/(-2))/(-9))/((-1)/202). Let s = 151 - n. Is 12 a factor of s?
False
Suppose 21*q - 56*q = -151620. Is 114 a factor of q?
True
Suppose -3 = -i, -3*y + 1021 = -5*i - 764. Is y a multiple of 12?
True
Suppose 0 = -f - 5, 4*j + 2*f - 5810 = 0. Is j a multiple of 97?
True
Let r = -13 - -15. Suppose -r*x = 3*x. Is 11 a factor of 36/2 + 2 + x?
False
Suppose -y + 5 = 4*y. Let z(m) = 17*m**3 - 2*m + 2. Does 3 divide z(y)?
False
Suppose -4*k = 5*u - 5, 5*u = -3*k + u + 4. Suppose 5 = -5*x - 4*r, k = -4*x - 3*r - 3. Suppose 5*g = y + x*g - 18, g - 9 = -y. Is y a multiple of 6?
True
Let f = 396 + -410. Let w(b) = 6*b**2 - 10 - 2 - 19*b**2 - b**3 + 9*b. Is w(f) a multiple of 29?
True
Let x = 934 - -329. Is x a multiple of 42?
False
Suppose -115 = 5*b + 25. Let k = 22 + b. Let h(r) = -r**3 - 7*r**2 - 6*r + 7. Is 7 a factor of h(k)?
True
Suppose 4*h - 1756 = 740. Is 52 a factor of h?
True
Let d(g) = -3*g + 12. Let k be d(3). Let n = k + 7. Let x(v) = -v**2 + 12*v - 8. Does 12 divide x(n)?
True
Let f(k) = -2*k**2 + 92*k - 35. Is f(20) a multiple of 35?
False
Let c(i) = -47*i - 25. Let a(m) = 16*m + 8. Let o(h) = 7*a(h) + 2*c(h). Is o(9) a multiple of 21?
True
Suppose -37*i + 1282 = -20363. Is 3 a factor of i?
True
Let z be 0/(3 + (-1)/1). Let q be z + 2 + -2 - 1. Does 12 divide q + (148/4 - 0)?
True
Suppose -30 = 4*u - 9*u. Let f = 10 - u. Is 4 + 63 + f/2 a multiple of 23?
True
Let l be 1/(-2)*-1205 + 2/4. Suppose -3*s + l + 239 = 4*k, 4*s = -3*k + 635. Does 19 divide k?
True
Suppose x - 3 = 0, 0 = -s + 2*x - 3*x + 7. Let q(k) be the second derivative of k**3/2 - k. Is 9 a factor of q(s)?
False
Let j be -6 - (1 + 1 - 4). Let z = 6 + j. Suppose z*t = -2*t + 28. Is 6 a factor of t?
False
Suppose -2*a = 49 - 683. Suppose -d = 4*f - 0*d - a, -3*d + 327 = 4*f. Is 13 a factor of f?
True
Let z(s) = 261*s**3 + 2*s**2 - 2*s + 2. Is 4 a factor of z(1)?
False
Let r = 98 + -46. Is 52 a factor of r?
True
Let s(p) = -34*p - 254. Is s(-44) a multiple of 67?
False
Let b be 2 - 7/((-35)/540). Let y be b/(-11)*(-2)/(-5). Let p(x) = 5*x**2 + 4*x - 2. Is 13 a factor of p(y)?
False
Let p(i) = i**2 - 7*i - 9. Let h be p(14). Suppose 121 = 3*k - 2*u - 115, -4*k + 3*u + 314 = 0. Suppose -4*l - k = -2*b, 2*b = -0*l + l + h. Does 19 divide b?
False
Let m = -119 - -497. Is m a multiple of 21?
True
Suppose -3*p = -697 - 86. Let t = -516 + p. Let o = t + 364. Is 23 a factor of o?
False
Let g be (-14)/63 + (-788)/18. Let i = 8 - g. Is i a multiple of 7?
False
Suppose -13 - 152 = 3*x. Let p be 1042/10 + 11/x. Suppose p = 5*c - 21. Is 17 a factor of c?
False
Let i = 10 + -5. Suppose -4*z + 5*g + 117 = 0, 4*z - 144 = -0*z - 4*g. Suppose -83 = -4*t + c, -2*t - i = 4*c - z. Is 5 a factor of t?
True
Let l(o) = o**2 - 34*o - 199. Does 73 divide l(-42)?
True
Let g(x) = -x**2 + 10*x - 9. Let c be g(7). Let k be (15/c)/((-2)/(-48)). Suppose -y + 5*r + 18 = 0, -2*y = -0*y - 4*r - k. Is y a multiple of 13?
True
Let l(u) = -35*u - 29. Let z(m) = -14*m + 11. Let y be z(1). Is l(y) a multiple of 3?
False
Suppose -2*n = 3*n - 20, -3 = -5*o + 3*n. Suppose -o*c + 236 = c - 4*d, d = 2*c - 113. Suppose -u - 3*f = -c, -2*u + f = -103 - 33. Is 18 a factor of u?
False
Suppose -14 - 22 = -g. Does 12 divide g?
True
Let t(x) be the second derivative of -x**5/20 + 7*x**4/12 + x**3/3 - 11*x**2/2 - 222*x. Let h be (1 + 8 + -2)/1. Is t(h) even?
False
Let m(u) = 2*u**2 - 5*u. Let g(i) = -i**2 - i. Let t(z) = -2*g(z) +