Let p(w) = -8*w**3 + 2*w**2 - 1. Let u be p(1). Let l = u + 28. Is l a multiple of 7?
True
Let c be (-7)/14 - 7/(-2). Suppose -5*q - 11 = -n, -c*n - 2*n - 4*q = -200. Is n a multiple of 13?
False
Let a(b) = 28*b + 1. Is a(1) a multiple of 13?
False
Let b be 1/((-9)/(-4) + -2). Suppose b*v + 2 = -u - 2*u, 0 = 5*v + 10. Suppose 0 = -o - u + 4. Is o even?
True
Suppose -u = -4*u + 6. Suppose -4*w = u*a - 88, -4*w + 22 = -2*a - 82. Is w a multiple of 12?
True
Let p(c) = -3*c**2 - 3*c + 1. Let h(v) = v**2 - v. Let j(y) = -4*h(y) - p(y). Does 3 divide j(6)?
False
Let a = 6 - 4. Let q(s) = 2*s**a - 2 - 6*s + 8*s - 5*s + 5*s. Does 2 divide q(-2)?
True
Let m(o) = o**3 + o - 2. Let f be m(0). Let h(u) = u**2 + 2*u + 2. Let r be h(f). Is r/(-4) - 245/(-10) a multiple of 16?
False
Suppose 0 = -m - 3*m. Is (-23 + 0 + m)/(-1) a multiple of 17?
False
Suppose -18*s + 2070 = -3*s. Does 23 divide s?
True
Suppose -2*o - o = -54. Suppose -f + 0*d = -d + 2, -f = d - 6. Let s = f + o. Is 10 a factor of s?
True
Suppose -3*a = -50 - 28. Suppose -n + a = -0*n. Suppose -q + 4 = -n. Is q a multiple of 10?
True
Let f(u) = -u**2 + u - 1. Let s(k) = 6*k**2 + 8. Let b(q) = -5*f(q) - s(q). Let l be b(-3). Suppose 10 = l*j - 23. Is 11 a factor of j?
True
Let j be 2/((-63)/(-64) - 1). Let z = -80 - j. Is 23 a factor of z?
False
Let t(u) = -u**2 - 2*u - 4. Let n be t(-4). Does 3 divide (-18)/n*(-68)/(-6)?
False
Let z(a) = -a**2 - 4*a + 2. Let m be z(-4). Suppose 0 - 3 = -g. Suppose -x = -3*f + g - 14, -m*x + 31 = 3*f. Does 7 divide x?
True
Let z(n) = -6*n - 29. Is z(-22) a multiple of 21?
False
Suppose 2*o - 4 = 6. Suppose -4*r = -o*h - 30, 4*r = 3*r. Is ((-44)/h)/(1/3) a multiple of 11?
True
Let z = -47 - -91. Let w = z + -24. Does 9 divide w?
False
Suppose -43 = -v + t, v + 3*t = -2*v + 129. Is 14 a factor of v?
False
Let z(o) be the first derivative of -1/2*o**2 - 3 + 22*o + 1/3*o**3. Does 11 divide z(0)?
True
Suppose -33*y + 30*y + 438 = 0. Is 18 a factor of y?
False
Let n be 2/7 + 72/(-7). Let v be (n/3)/(6/(-27)). Does 13 divide (175/v)/(2/6)?
False
Let w(c) = c. Let r be w(6). Let s(j) = j**3 - 4*j**2 - 5*j + 2. Let k be s(5). Suppose -r*h + k*h = -4*f, 12 = 4*h - f. Is h a multiple of 2?
True
Let d be (1 - 3)/((-2)/7). Let v be (-2)/6 - d/(-3). Does 12 divide (-244)/(-10) + v/(-5)?
True
Let b(l) = 4*l + 8. Let p(v) = 3*v + 6. Let r be p(-4). Let c be b(r). Let k = 23 + c. Is k a multiple of 5?
False
Let w(i) = i**3 - 6*i**2 + i - 6. Let k be w(6). Let d = 2 - k. Let f = 32 - d. Is 10 a factor of f?
True
Suppose 3*j + 3*q = 420, -2*j + 6*q - 2*q = -304. Does 24 divide j?
True
Let v = 58 + 2. Does 30 divide v?
True
Let x(c) = 15*c**2 + 13*c - 14. Is 54 a factor of x(5)?
False
Suppose -4*i + 2*b = -54, -5*b - 64 = -4*i - 7. Let w = i + 2. Suppose -u - w = -49. Is 17 a factor of u?
True
Suppose -5*v = -2*v + 6. Let t be -3 + (v - (0 + 0)). Let f = 6 - t. Is 11 a factor of f?
True
Let x = 40 - 13. Suppose 3*h = 129 - x. Does 16 divide h?
False
Let f = -12 + 17. Suppose -2*r = -2*a + 206, 4*r = -f*a - 162 - 295. Is 9 a factor of r/(-5) - 14/(-35)?
False
Suppose 2*c - 363 - 133 = 0. Is 36 a factor of c?
False
Let o(b) = b**3 - 17*b**2 + b + 20. Is 10 a factor of o(17)?
False
Suppose q - 2*q = -4. Suppose 0*o - q*o = -136. Is 9 a factor of o?
False
Let k(h) = h**2 + 4*h + 4. Let p = -3 - -6. Let u = 8 - p. Is k(u) a multiple of 16?
False
Suppose 5*z - 3*n = 3*z - 43, 61 = -4*z + n. Let y = z - -24. Is y a multiple of 5?
True
Let b(x) = -x**2 + 14*x - 7. Let q(m) = m - 2. Let u be q(4). Suppose u*n + 2*o - 3*o - 12 = 0, n - 3*o - 1 = 0. Is 14 a factor of b(n)?
True
Let b = -2 + 5. Let w be -1*34/(b - 5). Suppose -2*r + w = -r. Is 5 a factor of r?
False
Let d = 87 + -155. Let r = 99 + d. Is 9 a factor of r?
False
Let t = 1037 - 659. Does 54 divide t?
True
Let j(h) = 3 - 2 - 3*h - 3. Is 3 a factor of j(-3)?
False
Let v(b) = 2*b + 4*b - b**3 + 5*b**2 + 0 - 3. Is v(5) a multiple of 26?
False
Let f(i) = 2*i - 3. Let q be f(3). Suppose -q*k - 3 = -4*k. Suppose -3*t + 4*u = -49, -4*t - k*u + 2*u + 97 = 0. Is 11 a factor of t?
False
Let z = 54 - 2. Is z a multiple of 26?
True
Let u(l) = 3*l - 40. Let c(b) = -b + 13. Let s(o) = -11*c(o) - 4*u(o). Is 5 a factor of s(7)?
True
Suppose o = 4*o. Let b(w) = o*w**2 - 4*w + 6*w + 2*w**2 + 2. Is b(-2) a multiple of 6?
True
Suppose 0*q = 5*l - 4*q - 481, -q = 4. Suppose -f + 0*n + 3*n = -l, 0 = 4*f - n - 339. Does 23 divide f?
False
Suppose 4 = 2*a - 0*a. Suppose 5*d - 2*d = 3*o + 81, 5*d - a*o - 126 = 0. Let z = d - 0. Is z a multiple of 12?
True
Let j(c) = -1. Let w(r) = 3*r**2 - 4*r - 9. Let s be 4/12 - (-4)/6. Let n(q) = s*w(q) - 6*j(q). Does 6 divide n(-2)?
False
Let t(u) = 2*u**2 - 28*u - 18. Does 2 divide t(15)?
True
Let p = -7 + 63. Suppose -p = -4*x + 64. Does 9 divide x?
False
Let d(o) = 2*o**3 - 16*o**2 - 13*o - 4. Let m(s) = s**3 - 8*s**2 - 7*s - 2. Let k(a) = 6*d(a) - 13*m(a). Is k(9) a multiple of 19?
True
Let d = 2 + -2. Let x be (-94)/(-8) - (-2)/8. Let o = d + x. Does 7 divide o?
False
Suppose -17*q = -20*q + 210. Is q a multiple of 10?
True
Suppose -l = -0*w - w + 279, w - 271 = -l. Does 11 divide w?
True
Let s(f) = f + 4*f**2 - 6 + 1 - 4*f + 2. Does 12 divide s(3)?
True
Suppose -2*x + 0 = -168. Is x a multiple of 16?
False
Suppose 2*m + 3*m - 5*j = 10, 5*m - 10 = -j. Let l be 81 + -2 + 2/m. Suppose 0 = -6*n + n + l. Does 10 divide n?
False
Let w be 13/5 - 6/(-15). Suppose -s + 8 = w*s. Suppose -7 - s = -3*g. Is g a multiple of 2?
False
Suppose -5 = -2*i - 261. Let z = -61 - i. Suppose -5*c + 4*k = 2*k - z, -19 = -c - k. Does 15 divide c?
True
Let i(z) = z**2 - 12*z + 1. Let k = 19 - 7. Let g be i(k). Is 8 a factor of g/(-3) + (-120)/(-9)?
False
Suppose 3*s + 13 - 7 = 0. Is 4 a factor of (8/6)/(s/(-18))?
True
Does 34 divide ((-68)/20 + 3)*-255?
True
Let p = -131 + 227. Is 16 a factor of p?
True
Suppose 3*v + 80 = 7*v. Is v a multiple of 8?
False
Suppose 5*v - o = 187, -4*v - 4*o = o - 138. Is v a multiple of 16?
False
Suppose 723 = 2*t + 2*t + 5*v, 3*t = 4*v + 581. Does 23 divide t?
False
Is (-2)/9 + (-1)/((-36)/3716) a multiple of 10?
False
Let q = 124 - 46. Does 27 divide q?
False
Suppose 4*x = 7*x - 162. Is 18 a factor of x?
True
Let k(g) = -g**2 - 6*g + 5. Let a be k(-6). Suppose 0 = -4*z - a*l + 248 - 58, -2*z + 84 = -3*l. Is z a multiple of 17?
False
Let p = -69 + 111. Does 26 divide p?
False
Suppose 0 = k - 3*l - 21, 3*l + 43 = 3*k - 2*l. Let i = k - 1. Suppose -3*j + 7 = c - 5, -i*j - 60 = -5*c. Is 7 a factor of c?
False
Let s = 9 - 7. Suppose -3*o + s*o = -17. Is 17 a factor of o?
True
Suppose 0*w + 72 = 2*w. Is 18 a factor of w?
True
Let s(q) = 4*q**2 - 3*q + 2. Is s(6) a multiple of 18?
False
Let w = 586 + -366. Does 47 divide w?
False
Is (4 - (-48 - -4)) + -3 a multiple of 15?
True
Let f(k) = k**2 + 6*k + 5. Let h be f(-5). Suppose -5*p = -2*n - 2*p + 7, -14 = n - 5*p. Suppose h = -2*v + n + 15. Does 10 divide v?
False
Let z = 6 - 35. Let a = z - -57. Is a a multiple of 7?
True
Let m be (-26)/(-6) + (-6)/(-9). Suppose -m*a = -a - 24. Suppose 0 = i - 3 - a. Is i a multiple of 9?
True
Suppose 2*t - 3*t + 16 = -5*s, t - s = 4. Let h(u) = -3*u**2 + 9*u + 4. Let c(b) = b**2 + 1. Let q(k) = t*h(k) + 2*c(k). Is 20 a factor of q(7)?
True
Let v(t) = -2*t - 1. Let b be v(-3). Suppose -b*h = -4*p - 154, -4*p = -4*h - 6*p + 118. Is 14 a factor of h?
False
Let x be (2/3)/((-1)/(-6)). Suppose x*m + 7 = -9. Let q = 10 + m. Is q a multiple of 6?
True
Suppose 9 = -5*u + 39. Let b(y) = -7 + 2*y + 3*y - 4*y + u. Does 4 divide b(11)?
False
Suppose -3*w - w + 74 = -2*z, w + 5*z - 24 = 0. Does 18 divide w?
False
Let g = -16 - -49. Is 11 a factor of g?
True
Suppose -3*q + 8 = -7*q. Let c(y) = 4*y**2 + 3*y. Let o be c(q). Suppose 0*k + 3 = 3*k - 3*a, 2*k - 5*a = -o. Is 5 a factor of k?
True
Let i(f) = -f + 9. Let c be i(7). Let g be (12 + (-4)/2)*c. Suppose -99 = -3*t + 2*x + x, 0 = 4*x + g. Does 14 divide t?
True
Let c be (-1 - (-3)/1) + 60. Is 10 a factor of 3/(0 + 6/c)?
False
Suppose -2*f + 6*x = 4*x - 58, 5*f + 2*x = 166. Is f a multiple of 16?
True
Suppose -5*v = 0, -4*p - 2*v + 1924 = -4*v. Is p a multiple of 34?
False
Suppose j = 4*j. Suppose -g = -2*p + 50, j = -5*p - 3*g + 93 + 10. Does 9 divide p?
False
Suppose -2*h + 5*g = -10