e 0 = 8*g - 4*g. Suppose -x + 4*a - 2*a = g, 5*x - 44 = -a. Is x a multiple of 4?
True
Does 90 divide 2*12984/(-96)*1*-2?
False
Is 1/(5/1013)*(-611 + 616) a multiple of 21?
False
Does 38 divide ((-798)/12)/7*-32?
True
Let d(a) = 2*a**2 - 5*a + 1. Let w = 6 + -7. Let p = 3 - w. Is 10 a factor of d(p)?
False
Let o = 137 + -4. Is 8 a factor of o?
False
Let g = 270 + -188. Suppose -9*j + 422 + g = 0. Is 9 a factor of j?
False
Suppose -74 = -5*u - 14. Suppose 2*b = -3*s + 41 - 18, 2*b = 4*s - u. Suppose -s*n + 34 = -416. Is 18 a factor of n?
True
Let t(r) = -193*r + 175. Does 38 divide t(-5)?
True
Let k = 1108 + -708. Is 20 a factor of k?
True
Suppose 6*x - 15 = x. Let g(j) = 8*j - 4. Is 10 a factor of g(x)?
True
Suppose 3*i + 23 - 101 = 3*k, -57 = -2*i + k. Let r be (-6)/(-14) - (-1587)/21. Let o = r - i. Is o a multiple of 15?
True
Suppose 2*a = 4, 0*f - 38 = -f + 4*a. Is 60*(-3 + f/10) a multiple of 14?
False
Let r be (18 + -15)*-1*1. Does 33 divide (-408)/(-6) + r + 1/1?
True
Suppose 59 = -6*a + 1175. Suppose -2*b + a = -68. Is 27 a factor of b?
False
Let d be 2 - 6 - (0 - 4). Suppose d = -a - 3*s + 19, s + 73 = 4*a - 42. Let m = a + 28. Is 14 a factor of m?
True
Let j(r) = -r - 8. Let m be j(0). Let n = -11 - m. Is 12 a factor of 1 - 2 - 111/n?
True
Let s = -459 + 504. Does 2 divide s?
False
Let x = 1282 + -841. Does 9 divide x?
True
Let a(j) = j + 13. Let n be a(-9). Suppose 8*t - n*t = 136. Is t a multiple of 12?
False
Suppose 9*w - 4*g = 14*w - 1958, -774 = -2*w + 3*g. Is 39 a factor of w?
True
Let x(t) = -t**3 - 4*t**2 + t + 16. Does 2 divide x(-3)?
True
Let p(h) = h**2 - h. Let g(b) = 8*b + 9. Let v(a) = -g(a) - p(a). Let s be v(-6). Let j = s + 6. Does 2 divide j?
False
Let j = 805 - 593. Is 17 a factor of j?
False
Suppose f - 73 - 10 = 0. Is f even?
False
Let l(q) = q - 5. Let c be l(8). Let j(o) = 2*o**2 + 30*o + 5. Let s be j(-15). Suppose c*f + s - 92 = 0. Is 9 a factor of f?
False
Let v(i) be the first derivative of -i**3/3 - 6*i**2 + 4*i - 13. Does 16 divide v(-8)?
False
Suppose -88 = -17*p + 16*p. Is 3 a factor of p?
False
Suppose 0 = -3*o + 10*o - 14. Suppose -o*b - 136 = -5*b - r, 2*r = 4*b - 168. Does 6 divide b?
False
Let z = 6 + -8. Let g(n) = -n**2 - 20*n + 27. Let v be g(-17). Let r = z + v. Is 19 a factor of r?
True
Let w = 830 + -74. Does 28 divide w?
True
Let c(x) = -43*x - 33. Let r be c(-3). Suppose -3*u = -r - 51. Does 10 divide u?
False
Suppose -m + 0*m = -3*m. Does 19 divide (m + 342)*(12/8 + -1)?
True
Let k be (0 - (-5)/(-4))*16. Let g(b) = 7*b**2 + 11*b + 22. Let x be g(-3). Let h = k + x. Is 31 a factor of h?
False
Is 47 a factor of (-4)/(-3) + (-1668)/(-18)?
True
Is 17 a factor of (-17)/(-4)*95*(15 - 11)?
True
Suppose -3*a = -2*g + 300 - 68, -3*a = -g + 116. Does 18 divide g?
False
Let u(d) = 139*d - 279. Does 17 divide u(8)?
True
Suppose 10 = x + 6. Suppose -7*n = -x*n - 9. Suppose -4*k = -n*w - 135, -4*k + 63 + 77 = -4*w. Is 6 a factor of k?
True
Suppose -6*j + 3*j + 5772 = 0. Is j a multiple of 96?
False
Let i = 506 - 4. Does 33 divide i?
False
Is 12 a factor of (-197934)/(-198)*(3 - 0)?
False
Suppose -56 = -5*j + j. Let g = 11 - j. Is -4*g/6 + 52 a multiple of 27?
True
Let u(l) = -l**2 - l + 6. Let j be u(-3). Suppose -3*w - 5*f + 507 = j, w + f - 44 = 127. Is 6*(-1)/((-9)/w) a multiple of 29?
True
Suppose -62 + 6 = -8*l. Suppose -204 = -l*d + 237. Is d a multiple of 2?
False
Let b = 45 - 51. Let s(q) = -4*q. Let p(c) = 5*c. Let x(v) = -5*p(v) - 6*s(v). Is 4 a factor of x(b)?
False
Suppose 2*q + 2*q - 3516 = -4*u, u - 2*q = 894. Does 68 divide u?
True
Let v = -9 + 4. Let p(j) = 4*j + 13. Let a(g) = g. Let o(z) = v*a(z) + p(z). Is o(9) a multiple of 3?
False
Suppose -75*r = -71*r - 16, 5*r = 5*y - 3325. Is 18 a factor of y?
False
Let y(r) = 5*r**2 - 18*r + 76. Is 5 a factor of y(12)?
True
Let g = 3629 + -1863. Is 44 a factor of g?
False
Let f be 3*240/(-9) + -4. Let y = -15 - f. Does 11 divide y?
False
Let s = -614 + 850. Is s a multiple of 37?
False
Let o(r) = -16*r + 58. Is 93 a factor of o(-10)?
False
Let s be (-4)/(-14)*553/1. Suppose 0 = -5*j - 4*n + 481, -5*j - 3*n + s = -324. Is 12 a factor of j?
False
Suppose 0*s + 5*s = 10. Let l be (4/s)/(-10 - -12). Does 7 divide l*(-74 + 2)/(-3)?
False
Suppose -4*n + 16 = -2*f, 3*f - 5*n = -8 - 11. Suppose f*h = 5*a + 31, -2*h - 28 + 9 = 5*a. Suppose h*z - 32 = -z. Is z a multiple of 8?
True
Let n = 36 - 12. Let o = n + -18. Suppose o + 44 = 5*u. Is u a multiple of 6?
False
Suppose 0 = -154*p + 156*p - 1234. Is 12 a factor of p?
False
Let n be -3 + 6*(1 - 0). Suppose -2*o - 6 = -n*o. Let c = o + 2. Is 4 a factor of c?
True
Is 26 a factor of (-3 + 17586)*(9 - (-156)/(-18))?
False
Let d(l) = l**2 - 10*l + 14. Let p be d(10). Suppose a = 3*a + p. Let o(s) = -s**2 - 9*s + 1. Is o(a) a multiple of 15?
True
Suppose -5*l + 0*l = -4*m + 989, 0 = 5*m + 2*l - 1228. Is 3 a factor of m?
True
Let f = 2188 - 1544. Does 20 divide f?
False
Let u = 7 + -5. Suppose -14 = -5*z - l, -2*l - 3*l = 5. Suppose -z*t + 5 = -u*t. Does 2 divide t?
False
Let l be (2 + -1)*(162 - 2). Suppose -l = -5*f - 5*d, -4*f + 30 + 96 = 5*d. Is f a multiple of 32?
False
Suppose 22 = 4*r - 10. Let g be r/(-20) - 188/5. Is (-6 + 0)*g/4 a multiple of 18?
False
Suppose -5*t + 4*f - 39 = -105, 2*f + 38 = 3*t. Let y = t - 13. Is 4 a factor of 36/(-10)*5/y?
False
Let t = -9 + 3. Let m(d) be the first derivative of d**3 + 8*d**2 - 8*d + 273. Is m(t) a multiple of 4?
True
Let v(n) = n**3 + n**2 - n - 9. Let i be v(0). Let o be ((-3)/i)/((-1)/9). Let y = 36 - o. Does 14 divide y?
False
Let b(r) = -18 + 12 + 7 - 2*r + r**3 + 2*r**2. Let c be b(-2). Let q(z) = -z**3 + 8*z**2 - 6*z + 7. Is q(c) a multiple of 26?
True
Let a(m) = m**2 + 11*m + 9. Suppose -8 = -2*o, 3*o = -3*u - 2*u - 18. Let p be a(u). Let i = p + 33. Is i a multiple of 6?
True
Suppose -2*h + 175 = 2*p - h, -2*h = 3*p - 265. Does 6 divide p?
False
Let d(v) = -4*v + 12. Let y be d(8). Let w be (-104)/y + (-3)/15. Suppose 131 = 4*s - s + t, -s + 67 = w*t. Is s a multiple of 6?
True
Suppose -5*v = 5*r - 2 - 1838, 2*v - r - 736 = 0. Is v a multiple of 19?
False
Let c(b) = 65*b**2 + b + 1. Let d be c(-1). Suppose 3*u - d - 58 = 0. Is 14 a factor of u?
False
Let g(f) = 22*f**3 - 8*f**2 + 17*f - 5. Does 13 divide g(4)?
False
Let g = -19 + 32. Suppose -j = -2*j + g. Is j even?
False
Suppose -3*q + 5*b - 3584 = -5*q, 2*b + 4 = 0. Is q a multiple of 87?
False
Let z = 299 - 302. Suppose -3*x = -8*x + 5, 3*x = -5*s - 22. Is 7 a factor of s/((-30)/(-16))*z?
False
Suppose 3*q + 0*q - 384 = 0. Suppose 4*p - 5*x = q, -3*x + 4 - 29 = -p. Is p a multiple of 2?
False
Let n = -173 - -299. Suppose 0 = -6*p - 0*p + n. Is 3 a factor of 7/(p/(-6)) - -12?
False
Let c be 12*(0 - -3)/9. Suppose 2*d + 4 = 5*k + 2, 4 = -d + c*k. Let l(z) = -z**3 + 8*z**2 - z + 1. Is l(d) a multiple of 12?
False
Suppose 5*q = -2*s + 13391, -5*s = -5*q + 8511 + 4894. Does 57 divide q?
True
Let s(a) = -2*a**3 + 25*a**2 + 11*a + 4. Let q(y) = y**3 - 13*y**2 - 6*y - 2. Let v(t) = 5*q(t) + 3*s(t). Does 16 divide v(10)?
True
Does 28 divide (-3)/5 - (20196/(-55))/2?
False
Suppose z + 6631 = 20*z. Is z a multiple of 4?
False
Is 15 a factor of 1 - (8/(-12) + 4720/(-3))?
True
Suppose 0 = 3*h - 5*b + 7, -h + b = 2*b - 3. Does 19 divide 71 - (-1 + h + 2)?
False
Suppose 11*s - 9*s - 65 = -3*z, -3 = -z. Let m(a) = 5*a + 2. Let v be m(7). Let i = v + s. Is 17 a factor of i?
False
Let y(x) = 8*x**2 + 5*x - 4. Let c be y(-4). Suppose 2*f - 42 - c = 0. Is f a multiple of 9?
False
Let x(h) = -h + 5. Let b = 12 - 17. Is x(b) a multiple of 5?
True
Let q = -30 + 33. Suppose q*r = -0*r - n + 12, -3*r = 5*n - 12. Suppose -5*w + 20 = -5*j, 17 = r*j + 1. Is w a multiple of 8?
True
Let t = -57 + 154. Is t a multiple of 3?
False
Is 3 a factor of 670*(-13 + 13 - 2/(-4))?
False
Suppose 431*r + 624 = 433*r. Does 4 divide r?
True
Let q(s) = 3*s + 25. Let a be q(-6). Is 12 a factor of 2/a + (-1293)/(-7)?
False
Is 6 a factor of 3*((-392)/(-84) + 1/(-3))?
False
Suppose 0 = -16*h + 14*h + 16. Suppose -h*l + 24 = -6*l. Does 12 divide l?
True
Let x(c) = -c + 0*c + 0*c - 3*c + 11. Does 3 divide x(-13)?
True
Let d(f) = 12*f - 5. Let o be d(1). Suppose z - o - 14 = 0. Is 13 a factor of z?
False
Is 3 a factor of (245/(-14))/((-2)/4)?
F