5*c - 0*c, -4*j = -c - 336. Suppose 7 = 5*z - j. Does 6 divide z?
True
Let x(d) = d + 11. Let b be x(-7). Let g = 5 + 4. Suppose v = g + b. Is v a multiple of 5?
False
Let k(m) = 0*m**2 - 4*m**2 + 2 + 5*m**3 - 4*m**3 + 2*m**2. Is 7 a factor of k(3)?
False
Suppose -3*h = -5*t - 71, -4*h - t + 4*t = -102. Is 8 a factor of h?
False
Is 15 a factor of ((-6)/(-4))/((-90)/(-20280))?
False
Let p = -46 - -116. Does 10 divide p?
True
Let z(f) = -13*f - 16. Does 10 divide z(-7)?
False
Suppose -12*u + 223 = -125. Is 17 a factor of u?
False
Suppose 268 = 4*p - 0*l - l, -5*p = l - 326. Is p a multiple of 11?
True
Is (4 - 1 - 0)*37 a multiple of 37?
True
Suppose 4*p - 540 = -5*y, 2*p = -4*y - y + 530. Suppose g = -3*g - y. Let o = g + 43. Is o a multiple of 12?
False
Let n = 81 - 14. Is n a multiple of 52?
False
Suppose -3*n = -4*f - 48 + 129, 2*f + 2*n = 58. Does 24 divide f?
True
Let s = -5 + 7. Let g(o) = o**3 - 2*o**2 + 2*o. Is g(s) even?
True
Suppose -5*t = -6 - 14. Let v = t + 1. Suppose -v*n = -3 - 7. Is n even?
True
Let s be (2/(-4))/((-2)/72). Let p = 0 + s. Is p a multiple of 12?
False
Let b(z) = -z**3 + 10*z**2 + z - 13. Let n be b(10). Let w(c) = c**3 - 6*c**2 - 2. Let t be w(3). Does 12 divide 1 + n + (-3 - t)?
True
Let h(r) = -27*r - 5. Is h(-3) a multiple of 14?
False
Suppose 0 = 4*y + 2*w - 0*w - 36, 4*w = -3*y + 32. Let b = -5 + y. Is b a multiple of 2?
False
Let h be -1 - (2 + -1 + -790). Suppose -5*v = -2*g + h, 616 = v - 5*v - 2*g. Is v/(-10) - (-4)/10 a multiple of 8?
True
Let r(x) = x**2 - 5*x + 7. Let l be r(5). Let g = 7 - l. Suppose g = -y + 3*b + 40, 7*b - 110 = -5*y + 4*b. Does 10 divide y?
False
Let b(o) = -o**2 + 1. Let d be b(1). Suppose d = -0*l - 2*l. Suppose t - 4*v + 10 = -t, l = 4*t - 4*v. Is 2 a factor of t?
False
Let z(u) = u**2 - 8*u + 4. Let j be z(8). Suppose -41 + 137 = j*n. Is 11 a factor of n?
False
Is 17 a factor of (-15)/(-1 - ((-24)/7)/4)?
False
Let a(f) = -3*f + 16. Let q be a(6). Let j be -5*(-7 - (0 - 2)). Is 7 a factor of 3/6 - j/q?
False
Let k(f) = -2*f**2 + 9*f - 9. Let j be k(7). Let a = 87 + j. Suppose 27 = 3*s + 2*g, -5*s + 0*g + a = 4*g. Is 4 a factor of s?
False
Let p(q) = q**2 + 9*q - 1. Let h be p(-9). Let z be (0 - 2/1)*h. Suppose u - 22 = -z. Is u a multiple of 10?
True
Suppose 0 = 4*u + 2*y + y - 138, -3*u + 4*y + 91 = 0. Is 5 a factor of u?
False
Suppose -4*r - l = -5*l - 432, 3*r - 336 = -3*l. Does 31 divide r?
False
Suppose -11*j + 14*j = 6. Is 2 a factor of j?
True
Suppose i + i - 6 = 0. Suppose -2*b = -i*b + 2. Let r(f) = 9*f**2. Is 15 a factor of r(b)?
False
Let c = 295 + -211. Suppose c = 5*b - 81. Does 12 divide b?
False
Let t(f) = -f**2 + 3. Let q be t(3). Is 5 a factor of -10*3/(9/q)?
True
Let x(a) = -a + 10. Suppose p - 5*p = 0. Suppose i + t - 9 = p, -4*t + 6*t = i - 3. Is x(i) a multiple of 3?
True
Let y be 1/(1/(-2 - -21)). Let h = -5 + y. Does 14 divide h?
True
Suppose 0 = 3*y + w - 252, w - 73 = -y - 3*w. Does 47 divide y?
False
Let x = 8 + 7. Does 15 divide x?
True
Does 24 divide (-4)/8 - (-516)/8?
False
Suppose -5 = -x - 6, o = -x - 14. Let p = 21 + o. Is p a multiple of 5?
False
Is 0/(-2) + 1501/19 a multiple of 37?
False
Suppose 4*t - 3*t = 20. Let w = 77 - t. Does 21 divide w?
False
Let g(w) = w**2 + w + 6. Does 6 divide g(0)?
True
Let q(j) be the third derivative of j**4/4 - 2*j**3 - 8*j**2. Does 27 divide q(11)?
True
Let g = -9 - -11. Suppose j = g*j - 196. Suppose 0 = i - 5*i + j. Is i a multiple of 13?
False
Let m = 4 + 1. Suppose -m*b - 5*c + 135 = 0, 0 = 3*c - 16 + 4. Suppose 0*w = w + 5*x - b, -5*x = -3*w + 9. Does 4 divide w?
True
Let l(c) = c**3 - 10*c**2 + 8*c + 11. Let t be l(9). Suppose d - 3*o = o + 25, t*d = -o + 50. Is d a multiple of 10?
False
Let u(t) = -t**2 + 6*t - 5. Let o be u(4). Let k = 3 + 3. Does 13 divide k/(o + (-42)/15)?
False
Let d be (-2)/(-4) + 287/14. Let t = 58 + d. Is t a multiple of 22?
False
Let j = 14 + -11. Suppose -3 + 26 = 4*g + c, 22 = j*g - 4*c. Is g even?
True
Suppose -3*o - 4*n = -3*n + 285, -380 = 4*o - 4*n. Let f = o - -160. Does 17 divide f?
False
Let x be 1 - 2/(0 + -1). Let g = -1 + x. Suppose -6 = -t + 5*l, -2*l + 4 = -g. Is t a multiple of 9?
False
Let q(u) = -u**3 - 14*u**2 - 5*u + 2. Let g be q(-14). Suppose -g = -2*t + 32. Does 28 divide t?
False
Is (-53)/(-1) + -3 + 4 a multiple of 18?
True
Let k be 0 + 1 + 3 + -1. Suppose 0 = w - 5*b - 20, -3*b = k*w + w - 57. Let p = 29 - w. Is 14 a factor of p?
True
Suppose 0*b + 4 = -4*b. Let s(y) = -33*y**2 - 7*y - 2. Let h(j) = 17*j**2 + 3*j + 1. Let c(p) = 7*h(p) + 3*s(p). Is 7 a factor of c(b)?
True
Suppose -z = -3*z - 18. Let j be 58/18 - (-2)/z. Suppose -5*d + 103 = -2*y, j*d - 22 - 23 = -3*y. Does 19 divide d?
True
Suppose 0*m + 4*m + 16 = o, 4*o = 5*m + 31. Suppose -a = a. Suppose 0*q - o*q + 24 = a. Is q a multiple of 4?
False
Let d be (-92)/16 - 1/4. Is 3 a factor of (-15)/6*d/3?
False
Suppose 4 = -t - 8. Let q = 54 + t. Does 14 divide q?
True
Let s = -6 + 4. Is 10 a factor of s/9 + 364/18?
True
Suppose 23*z = 19*z + 664. Does 29 divide z?
False
Let x = -19 + 115. Does 16 divide x?
True
Let f(l) = -2*l - 6. Let z be f(-5). Suppose 3*y = -y + z. Let m(i) = 21*i**3 + i - 1. Is m(y) a multiple of 12?
False
Let i(c) = 6*c**3 + 2*c - 2. Let d be i(2). Let y = -30 + d. Is 20 a factor of y?
True
Suppose 5 = 5*a + k, -4*a + 2*k = -0*k - 18. Suppose 0 = -2*l - a*r - 18, 2*r - 15 = 5*l + r. Let c(n) = -n**3 - 2*n**2 + 4*n. Does 14 divide c(l)?
False
Let f(i) = 49*i + 1. Does 50 divide f(1)?
True
Let b = 11 - 8. Is 15 a factor of (35 - b) + -2 + 0?
True
Suppose 0 = 2*k - 4*z + 12, -2*z + 15 = 3*z. Suppose -2*h + 4 = -k*h. Does 16 divide 1 - (1 - 60/h)?
False
Let w(i) = i + 4. Let o be w(0). Suppose r + 117 = o*r. Is r a multiple of 13?
True
Let u = 9 - 3. Does 5 divide u?
False
Suppose 0 = -3*j + 2*d + 229, -j - 2*j = 3*d - 249. Does 6 divide j?
False
Let u = -2 - -4. Suppose 330 = -7*j + u*j. Let c = j - -92. Is c a multiple of 14?
False
Let t(w) = 18*w. Let a be t(-1). Let h = a + 31. Is 6 a factor of h?
False
Suppose -q = 3*b - 43, -2*b = -0 + 2. Is q a multiple of 21?
False
Suppose k + 0*k = 5. Suppose -b + 8 - 4 = g, k*b = 2*g + 20. Let c = g - -39. Is c a multiple of 14?
False
Let w(p) = -p**2 + 5*p - 2. Let c be w(3). Let l = 14 + c. Is 7 a factor of l?
False
Let a(l) = l + 1. Let p be a(-5). Let z = 3 - p. Is 7 a factor of z?
True
Let z(m) = m**3 - m + 21. Let k be z(0). Suppose -k = x - 1. Let w = -11 - x. Does 8 divide w?
False
Let i(r) = -r**3 + 8*r**2 - r - 10. Is 7 a factor of i(6)?
True
Let j = -54 - -118. Let h = j + -41. Is h a multiple of 13?
False
Suppose 3*x - 10 = -5*m, -2*m + 5*x = -0*m - 4. Suppose 0 = -2*d + m, 6*d = -5*w + 4*d + 97. Does 6 divide w?
False
Let j = -3 + 5. Let p(o) = 2*o**2 - 3*o. Let k be p(j). Is 6 a factor of (-91)/(-5) - k/10?
True
Let c be -1 - -19 - 2/(-1). Suppose 2*z - 24 = -2*f, -2*f - f + z = -c. Is f a multiple of 8?
True
Suppose 0 = 6*u - u + 15. Let q = -16 + 1. Let b = u - q. Is 12 a factor of b?
True
Suppose -7*z = -12*z. Is 2 a factor of 1*(-2 + 7 + z)?
False
Let i(u) = u**3 + 6*u**2 - 2. Let x be i(-6). Let n be 1 - -3*x/6. Suppose 136 = 4*a - n*a. Does 16 divide a?
False
Let m be 1/(3 + 32/(-10)). Let i = 6 - m. Is i a multiple of 3?
False
Suppose 0 = -3*g + 2*q + 130, -3*g - 2*q = -5*q - 129. Is 22 a factor of g?
True
Let z(g) = g**3 + 6*g**2 + g - 2. Is 13 a factor of z(-4)?
True
Suppose 0*y - 15 = 5*y. Let p(x) = 4 - 3*x - 6 + 2*x**2 + 3*x. Is p(y) a multiple of 11?
False
Let n be 2/7 + (-72)/(-42). Suppose 2*d - 20 = -n*d. Suppose d*k + 62 = 5*y - 3, -5*y - 3*k + 73 = 0. Does 14 divide y?
True
Let q(f) = -f**2 - f - 1. Let a be q(-1). Suppose 4*i = -b - 7, 4*b - 3*i - 32 = -4*i. Let d = b + a. Is d a multiple of 7?
False
Suppose 3*h - 126 = q - 2*q, 0 = 5*q. Is h a multiple of 10?
False
Let c(y) = y**2 + 6*y + 5. Let q be c(-4). Let x = 7 - q. Does 8 divide x?
False
Let d be 4*(27/4 - 3). Let v = 25 + d. Does 22 divide v?
False
Is 244*(10/(-4) + 3) a multiple of 18?
False
Let h be (-2)/(-9) - (-550)/(-45). Let m = 3 - h. Is m a multiple of 14?
False
Suppose -4*b + 132 = -3*b. Let k(l) = l**3 + 12*l**2 + 6*l - 15. Let s be k(-12). Let q = s + b. Is 15 a factor of q?
True
Let m = 1 + 2. Suppose 0 = -m*d + d + 6. Is 3 a fact