x = 4*m - 15. Does 5 divide m?
False
Let f(i) = -75*i + 2. Does 7 divide f(-1)?
True
Let d = 23 - 12. Let q = d + -5. Is 3 a factor of q?
True
Suppose -118 = -2*p + 82. Suppose 2*w - p = -5*u - 0*w, -2*u + 54 = -2*w. Does 15 divide u?
False
Suppose -2*c + 6 = 2. Suppose -c*l + 4 = -8. Is l a multiple of 2?
True
Suppose 0 = -3*l - l + 20. Suppose -l*q + 23 = -j - 0*j, j = 3*q - 13. Does 2 divide q?
False
Let g(l) be the first derivative of -l**4/4 + l**3 - l - 1. Is 3 a factor of g(2)?
True
Let r(p) = -1 - 6 + 2 - 4*p - 2. Let s be r(-5). Suppose 3*a - 71 - s = 0. Is 21 a factor of a?
False
Let g be 27/9 + (0 - 5). Is 5 - -4*1/g a multiple of 3?
True
Let c(r) = r - 3. Suppose 4*b = 3*m - 7, -3*b + 2 - 6 = -2*m. Let w be c(m). Suppose -w*j = -4*j + 48. Is j a multiple of 12?
True
Suppose 102 = -4*u + 6*u. Is u a multiple of 17?
True
Let h be (-350)/15 - 4/6. Does 8 divide h*(22/(-6) - -3)?
True
Let w = 182 - 71. Is 27 a factor of w?
False
Suppose -355 - 8 = -3*h. Suppose -3*r = 0, -3*r + h + 1 = -2*x. Does 20 divide x/(-3) + (-1)/3?
True
Let r be 1/((-8)/(-6) - 1). Is 5 a factor of 1/3 + 29/r?
True
Let t(u) = -4*u - 8. Let l be t(-12). Let z = -47 + 69. Let i = l - z. Does 11 divide i?
False
Let q be ((-8)/24)/((-2)/12). Suppose 47 = q*c - m, -6*c + 35 = -4*c - 5*m. Is c a multiple of 6?
False
Let y = 11 - 7. Does 20 divide 6/y*(-80)/(-3)?
True
Let s be ((-8)/6)/((-12)/18). Suppose 5*z = 2*v - 22, 4 = s*v - z - 2. Suppose -n + 9 = v. Is n a multiple of 6?
False
Let n(c) = 3*c**3 + c**2 + c - 3. Let q be n(-3). Does 8 divide 3/((-9)/q) + -2?
True
Let c(a) be the third derivative of -a**6/120 + a**5/10 + a**4/12 - a**3 - 4*a**2. Is 17 a factor of c(5)?
False
Let c(h) be the first derivative of h**3/3 - 7*h**2/2 + 7*h + 1. Let d = -18 - -26. Is 13 a factor of c(d)?
False
Let i be (-348)/(-22) - 16/(-88). Let d = 29 - i. Does 6 divide d?
False
Let f(j) = -24*j + 10. Let q(n) = n + 5 - 11*n + 2 - 6*n. Let a(k) = -5*f(k) + 7*q(k). Is a(6) a multiple of 19?
False
Let s(d) = d**2 - d - 1. Let j(p) = 3*p**2 - 5*p - 4. Let z(b) = -j(b) + 2*s(b). Does 2 divide z(3)?
True
Suppose 3*i - i = -2. Is (-5)/i + (-4)/2 a multiple of 3?
True
Let u(s) = -s**3 - 5*s**2 + 8*s + 2. Let o = 71 + -38. Suppose 5*i - i = 3*v + o, -3*v = -i + 24. Does 13 divide u(v)?
False
Let i(c) = 3*c**2 - 3*c + 7. Is 11 a factor of i(4)?
False
Suppose 4*y - 376 = 4*a + 128, 5*y - 4*a = 635. Does 8 divide y?
False
Let f(m) = -m**2 + 15*m - 18. Is f(13) a multiple of 8?
True
Suppose 5*l = 51 + 39. Let j be (l/15)/((-4)/(-10)). Suppose 4*r + 9 - 1 = 0, -4*r + 100 = j*b. Is 18 a factor of b?
True
Suppose -2*s - 432 = -4*s. Is 12 a factor of s?
True
Let r(u) = -u**3 - 9*u**2 - 7*u + 8. Suppose 5*n = -22 - 18. Let t be r(n). Suppose 3*o - 16 - 14 = t. Is o a multiple of 5?
True
Let d be 1 + -1 - (2 - 5). Suppose -l - d*l = -76. Does 10 divide l?
False
Let x = 850 + -463. Is x a multiple of 43?
True
Let o(f) = 14*f**2 - 1. Let w be o(-1). Let b = -5 + w. Is b a multiple of 6?
False
Let h = 16 + -16. Suppose 0 = -h*y - 5*y + 5*a + 205, 2*a = 6. Is y a multiple of 29?
False
Suppose 0 = 3*u - 5*p - 0*p - 29, -27 = -3*u + 3*p. Is u even?
True
Let m(i) = -6*i + 1. Let o be m(1). Let t be (-6)/(-3) - 0 - o. Suppose 3*u + 32 = t*u. Is 4 a factor of u?
True
Suppose 5*h = -i + 17, -3*h + 2*i = 5*i - 3. Let m be (1 + 1 - h) + 4. Suppose 5*p - 34 = -0*p + m*f, -5*f - 22 = -2*p. Is p a multiple of 4?
False
Let i = 3 + -3. Let j = 3 - i. Does 3 divide j?
True
Let z(y) = -y - 6. Let i be z(6). Let f = -2 - i. Is 10 a factor of f?
True
Suppose 2*u - u - 4*d = 23, 0 = 5*u - 4*d - 35. Let i(t) be the third derivative of -t**6/120 + 2*t**5/15 - t**4/12 - t**3/2 - t**2. Is 18 a factor of i(u)?
True
Let v be (-2)/6*(3 + -114). Suppose -3*z + v = 16. Is z a multiple of 7?
True
Let r(d) = -d**2 + d + 10. Is r(0) a multiple of 10?
True
Is 18 a factor of (-569)/(-3) + 8/6?
False
Let o = 4 - 2. Suppose 0 = 2*n - w - 12 + 1, -o*w = 10. Suppose -93 + 24 = -n*p. Is p a multiple of 10?
False
Let z = 76 - 54. Suppose r - z = -3*f, 0*r - 4*r + 3*f = -148. Does 17 divide r?
True
Suppose 0*r - 6 = -r + 5*o, 0 = -2*r - o + 12. Suppose j - r*j + 145 = 0. Does 8 divide j?
False
Let y(f) be the first derivative of -f**2/2 - 4*f - 3. Is y(-8) a multiple of 4?
True
Let r be 3/((-3)/(-2)) + -2. Let p(l) be the third derivative of -l**6/120 + l**5/60 + l**4/24 + 11*l**3/6 - 2*l**2. Does 4 divide p(r)?
False
Let i(z) = z**2 - 3*z - 2. Let x be i(4). Let c be (x - 22/(-5))*30. Suppose c - 44 = 4*f. Is f a multiple of 13?
False
Let f(l) = l**3 + 12*l**2 + 19*l + 6. Is 36 a factor of f(-6)?
True
Is (20/30)/(-1*6/(-27)) even?
False
Suppose 5*y = 3*x - 15 - 13, -25 = 5*y. Let a(i) = -6*i**2 - 2*i - 7. Let q(r) = -3*r**2 - r - 4. Let f(z) = -4*a(z) + 7*q(z). Is f(x) a multiple of 2?
True
Suppose -3*v = -7*v. Suppose -2 = -c + 2. Suppose v = -0*d + 2*d - c*l + 8, 0 = -2*d - 5*l + 19. Does 2 divide d?
True
Suppose -15 = -x - 4*x. Suppose -x*m - m + 140 = 0. Does 3 divide 126/m + 4/10?
False
Let l(b) = 9*b**2 + b + 1. Let m = -10 + 8. Does 17 divide l(m)?
False
Let k be 14/4*16/8. Let r(b) = 7*b**2 - 2*b + 7*b - k*b. Is 12 a factor of r(2)?
True
Let s = -6 - -3. Does 13 divide s - -69 - (-5)/(-5)?
True
Let c be (-12 + 0)*5/(-10). Suppose 90 - c = 2*g. Suppose -4*u - 2*l = -54 - g, 4*u - 124 = 5*l. Does 13 divide u?
True
Let p(h) be the first derivative of h**4/6 + h**3/2 + 3*h**2/2 + 2*h + 2. Let x(l) be the first derivative of p(l). Does 13 divide x(3)?
False
Let q(m) = -3*m**2 - 3*m - 2. Let g be q(-2). Let i = g - -8. Suppose -4*d + 44 + 0 = i. Is d a multiple of 3?
False
Suppose 0 = 2*g - 1 - 3. Let i be (1 + -1)/(g + -4). Suppose -4*t + 55 + 17 = i. Does 9 divide t?
True
Let g = -9 - -23. Let b(s) = -2*s**2 - 4*s - 5. Let i be b(-4). Is ((-38)/3)/(g/i) a multiple of 6?
False
Let h(p) = -p**2 + 13*p + 18. Let x be h(13). Is 31 a factor of 28/8*x - 1?
True
Suppose 0 = o + 11 + 1. Suppose 4*u - y = -53, 4*u + 11 + 12 = -5*y. Is 3 a factor of (-69)/o + (-3)/u?
True
Suppose -5*o - q = -o - 180, 2*q = -8. Does 13 divide o?
False
Let g(o) = o**2 + 5*o + 2. Let c be g(-2). Let r be c*3*(-1)/(-4). Let t(u) = -4*u + 3. Is 15 a factor of t(r)?
True
Let g(m) = -m**2 + 11*m - 4. Suppose -h + 13 - 3 = 0. Does 2 divide g(h)?
True
Is (12/8 - 0)*42/9 a multiple of 4?
False
Let w = -25 + 66. Does 16 divide w?
False
Let k = -1 + 1. Suppose k = d + t - 21, -2*t + 24 + 81 = 5*d. Does 11 divide d?
False
Suppose -5*g - 3*p + 177 = 0, 0 = 2*g - 3*p + 14 - 89. Is 9 a factor of g?
True
Let x = 6 - -1. Let w(r) = -r**2 + 8*r + 4. Does 9 divide w(x)?
False
Suppose -2*y - j + 20 = -0*j, 30 = 3*y + j. Suppose x + x = y, 5*k - 3*x = 365. Does 19 divide k?
True
Let v(y) be the first derivative of -3*y**2/2 - y - 2. Let z be v(-1). Suppose 0 = 2*t - z, 4*c - 5*t + 0*t = 63. Is 10 a factor of c?
False
Let k(w) be the second derivative of w**5/10 - w**4/3 - w**3/6 - 2*w. Let m be k(4). Suppose 2*v - 4*v = -m. Does 14 divide v?
False
Suppose 5*c + 15 = 0, -4*n + 204 = 3*c - 203. Is 13 a factor of n?
True
Suppose 4*b + 18 = -3*i, 4*i = 2*b - 6*b - 16. Let w = b - -1. Is 5 a factor of 4/(-10) - 27/w?
True
Let y(j) be the third derivative of j**6/360 - 3*j**5/40 - j**4/24 + j**3/6 + 2*j**2. Let a(g) be the first derivative of y(g). Is a(10) a multiple of 5?
False
Let v(a) = -3*a**3 - a**2 + 8. Is 23 a factor of v(-4)?
True
Suppose 0 = -5*b + 286 - 1. Does 9 divide b?
False
Suppose -v - 155 = -4*d, 2*v = 5*d + 6*v - 199. Does 13 divide d?
True
Suppose 19 = k - 2*t - 13, -2*k - 2*t = -40. Let l = -47 - k. Is l/(-4) - 1/(-4) a multiple of 9?
True
Let c(q) = 7*q**2 - 4*q - 26. Is c(-4) a multiple of 17?
True
Let s be (-80)/((2 + -3)/1). Suppose -2*w - 2*w + s = 0. Is (8/w)/(2/100) a multiple of 12?
False
Is 2/((-8)/18)*392/(-21) a multiple of 5?
False
Let h(o) = o**2 - o - 1. Let s(x) = -36*x**2 + 45*x + 45. Suppose -2*y + 93 = 3. Let z(g) = y*h(g) + s(g). Is z(-1) a multiple of 5?
False
Suppose 0*r - 3*r + 9 = 0. Suppose 0 = -r*b - 211 + 46. Let q = b + 93. Is q a multiple of 11?
False
Suppose -3*m = 2*m - 4*s - 726, 0 = 4*m - s - 572. Does 32 divide m?
False
Let y(h) = 15*h**2 + 4*h + 6. Is y(-2) a multiple of 3?
False
Let d be (-34)/(-119) - (-26)/7. Suppose -305 = -d*t - 