7?
False
Suppose -3*b + 4*b - 627 = -2*o, 0 = -5*o - 2*b + 1565. Is 50 a factor of o?
False
Suppose g - 3*z - 28 = 0, -z - 116 = -5*g + 2*z. Suppose 5*a + 2*h - h = -g, 4*a - 2*h = -12. Let i = a - -15. Is 6 a factor of i?
False
Let d(k) = -k**2 + 16*k - 17. Does 6 divide d(14)?
False
Suppose 12*c = 7*c + 120. Is c a multiple of 12?
True
Let i = -14 + 40. Is 24 a factor of i?
False
Let g be 92/5*10/4. Let c = 70 - g. Does 12 divide c?
True
Suppose y - 2*y - 4*t = 0, -12 = -4*y - 4*t. Let p(a) = 2*a - 2. Is 3 a factor of p(y)?
True
Suppose -3*i - 151 = -34. Let o be (-4)/(-18) + 511/9. Let b = o + i. Is b a multiple of 9?
True
Let m(z) = -4*z**3 + z. Let n be m(-1). Suppose n*i - 230 = -2*i. Suppose i = p + p. Does 10 divide p?
False
Let a(s) be the first derivative of -s**4/4 - 3*s**3 - 11*s**2/2 - 11*s + 4. Does 4 divide a(-8)?
False
Suppose 4*x = -20 - 8. Let u(y) be the third derivative of -y**5/60 - 3*y**4/8 + 2*y**3/3 + 2*y**2. Is u(x) a multiple of 9?
True
Suppose -2*l = -2*o - 2*o + 258, 0 = -3*o - l + 191. Suppose -3*i + 20 = -o. Is i a multiple of 14?
True
Suppose f - 2*f + 10 = 0. Is 5 a factor of f?
True
Suppose -l + 0*f - 16 = 3*f, 4*l = -4*f - 40. Let o = l - -13. Does 3 divide o?
True
Let x(i) = i**2 + 10*i + 2. Let v be x(-10). Suppose -n - 3*a = -11, 3*n - 2*n - 8 = -v*a. Suppose n*w - 4 = 48. Does 19 divide w?
False
Let y be 3 + (1/(-1))/1. Suppose -96 = 4*a + 2*f, -y*a + 5*a + 59 = 5*f. Let i = 37 + a. Is 5 a factor of i?
False
Suppose 5*t - 24 = -2*f - f, -t + 3*f + 12 = 0. Let l be 2/t + (-17)/(-3). Does 10 divide 118/l + 2/6?
True
Suppose 6 = -2*a, l - a + 189 = 4*l. Is 16 a factor of l?
True
Suppose -5*r + 41 = 5*v + 6, 0 = 4*r + 3*v - 33. Suppose -5*j + 2 = 2*h - 8, 2*h + 4*j = r. Is 7 a factor of h?
False
Is 4 a factor of 1/8 - 2286/(-144)?
True
Let k be (-200)/6*(-9)/6. Suppose -4*l + 86 = -k. Suppose -l = -4*c + 2*j, 6 + 3 = -c + 4*j. Does 11 divide c?
True
Suppose -1260 = -0*t - 7*t. Does 30 divide t?
True
Let m(z) = 5*z - 7. Let a(y) = 2*y**3 - 3*y**2 + y + 1. Let s be a(2). Is 18 a factor of m(s)?
False
Let o(v) = -v**3 + v**2 + 2*v. Is o(-3) a multiple of 5?
True
Let m(y) = -y**3 - 7*y**2 - y - 2. Suppose t + 28 = -3*t. Does 2 divide m(t)?
False
Suppose -p - 3*p - 204 = -5*q, 0 = 4*q + 5*p - 196. Does 11 divide q?
True
Let u(i) be the second derivative of -i**3/6 - 13*i**2/2 + 3*i. Let g be u(-9). Let k(n) = n**2 + 3*n - 2. Does 2 divide k(g)?
True
Suppose -2*j = 3*a - 64, -4*j + 90 = 4*a + j. Is 7 a factor of a?
False
Suppose 6*o - 2*a = 4*o + 56, -62 = -2*o - a. Is o a multiple of 3?
True
Suppose -3*b - 365 - 127 = 0. Let x(l) = -16*l**3 - 2*l**2 + 1. Let k be x(-1). Is 8 a factor of b/(-10) + (-6)/k?
True
Let r(x) = -15*x + 2. Let n be r(-4). Suppose 3*u - 19 = n. Does 27 divide u?
True
Let d be -2*6/(2 + 1). Let j = 0 - d. Suppose -c = j*a - 38 + 9, 0 = 5*c - 3*a - 122. Does 12 divide c?
False
Does 16 divide (128/(-6))/(20/(-30))?
True
Suppose 2*u + 4*x = u + 5, -2*u + x + 19 = 0. Let g = u + -6. Suppose -12 = -3*c - 3*f + 6, 0 = f + g. Is c a multiple of 8?
False
Suppose 0 = a - 4*a - 186. Let n = -20 - a. Is n a multiple of 13?
False
Let x(s) = 6*s - 16. Let o be x(6). Let n = 4 - 2. Let f = o - n. Is 6 a factor of f?
True
Suppose 8*o = -2*w + 3*o + 423, 4 = 4*o. Is w a multiple of 31?
False
Let p(r) be the third derivative of r**6/360 - r**5/60 - 5*r**4/24 + r**3/2 - r**2. Let g(b) be the first derivative of p(b). Does 11 divide g(6)?
False
Does 4 divide (6/(-2) - -4) + 11?
True
Suppose 0 = -3*h + t + 20, 4*h - 32 = -0*h + 4*t. Let c(y) = -y - 2. Let a be c(-4). Suppose h*d = a*d + 16. Is 3 a factor of d?
False
Suppose 0 = -0*j - 2*j + 4, -84 = -4*y - 2*j. Suppose l = 3*l - y. Does 3 divide l?
False
Suppose -i - 3*i - 5*w = -122, 3*w = -5*i + 146. Is 5 a factor of i?
False
Let i = 1 + 2. Suppose 0 = -2*p - i*k + 25, 2*p - 3*k = 7*p - 49. Suppose r + 124 = 5*c + 3*r, -4*r = -p. Does 11 divide c?
False
Let g be ((-36)/(-5))/(10/225). Suppose 0 = -2*o + 8 + g. Is o a multiple of 17?
True
Suppose -s + 40 = -6*s. Let a(p) = 3*p + 7*p - 3 - 12*p. Is 13 a factor of a(s)?
True
Let a be (2 - 1)/((-1)/4). Let v = 6 - a. Is v a multiple of 3?
False
Is 7 a factor of 127/3 + 9/(-27)?
True
Is 20 a factor of -210*((-8)/3 + 2*1)?
True
Suppose 5*s - 193 = 47. Is s a multiple of 5?
False
Let s = 41 - -6. Let k = s - 10. Is k a multiple of 12?
False
Suppose 5*u + 17 = -0*f + 3*f, 4*f + 4*u = 12. Suppose f*g - 60 = 2*g. Is 7 a factor of g?
False
Suppose 18 = 2*v - 8. Suppose -2*c = -19 - v. Does 16 divide c?
True
Let r(j) be the first derivative of -1 - 6*j - 7/2*j**2. Is r(-4) a multiple of 11?
True
Let n be (-1*(2 - 2))/1. Is n*(-2)/2 - -24 a multiple of 12?
True
Let h = 14 + 91. Is 35 a factor of h?
True
Let z(o) be the second derivative of -7*o**3/6 + 2*o**2 + o. Is z(-6) a multiple of 13?
False
Let w(u) = -u**3 - 5*u**2 + 1. Let d be w(-5). Let t(g) = 39*g. Does 13 divide t(d)?
True
Let w(n) = n**3 + 4*n**2 - 5*n + 2. Suppose -2*a + 4 = -3*a. Let u be w(a). Suppose -5*k + u = -13. Is 4 a factor of k?
False
Let s be (-1)/2*(-399 + -5). Suppose 3*p = -73 + s. Is p a multiple of 9?
False
Let f = -6 - -6. Suppose -3*b - 3*h + 9 = f, b - 11 - 4 = 5*h. Is 5 a factor of b?
True
Let a = -2 + 5. Let h = -62 + 89. Suppose 2*w - h + 1 = -4*i, -i - 39 = -a*w. Is w a multiple of 10?
False
Let g = -3 - -8. Suppose g*r = 4*z + 65 + 36, 2*z + 93 = 5*r. Does 9 divide r?
False
Suppose 0 = -4*o - 0*n + 3*n + 281, 0 = 2*o + 2*n - 158. Let z = o + -40. Is 15 a factor of z?
False
Does 39 divide (0 + 39/6)/(1/18)?
True
Let t(x) = -x**3 + 6*x**2 - 6*x + 6. Let q be t(5). Suppose q = -l + 15. Is 3 a factor of l?
False
Suppose 0 = -4*n + 62 - 22. Is n a multiple of 6?
False
Suppose 48 = 5*x - 22. Let u be (-304)/(-14) + 4/x. Suppose -131 = -4*l + o, -4*l - o + u = -111. Is l a multiple of 14?
False
Let v(s) = -7*s**2 + 14*s + 11. Let z(w) = w**2 - 1. Let o(m) = v(m) + 6*z(m). Let u be o(9). Let r = 83 - u. Is r a multiple of 15?
False
Let f(s) = 2 + 2*s - 4*s**2 + 7*s**2 - s**2 + 0. Is 19 a factor of f(-5)?
False
Let h be (-96)/(-10) - 4/(-10). Suppose -8*u + 6 = -h*u. Does 4 divide -4 + 2 + u + 16?
False
Let t(q) = 2*q - 9. Let x be t(8). Suppose 15 = r - x. Does 19 divide r?
False
Suppose 0 = -5*a - a - 396. Let n = 1 + -3. Is a/(-4)*(-4)/n a multiple of 11?
True
Suppose -693 - 531 = -4*v. Is v a multiple of 21?
False
Suppose u = 3*j + 8, -5*j = 5*u - j - 97. Is u a multiple of 6?
False
Is 14 a factor of (-27 + -1)/(6/(-6))?
True
Is (3 + (-2 - -1))/((-2)/(-75)) a multiple of 10?
False
Suppose -21 = -3*m - w, 2*w - 22 = -4*m + 8. Suppose -5*z = -2*z + m. Is 8 + (z - (-1 - -1)) a multiple of 3?
True
Let b(z) = -92*z**3 - 3*z**2 - 3*z. Is b(-1) a multiple of 14?
False
Suppose -p = u - 5*u - 18, 0 = 3*p + 3*u - 9. Let y be 13/3 - (-4)/p. Suppose 5*r + 49 + 27 = 3*z, 4*z + y*r = 43. Is z a multiple of 9?
False
Let l be (-15)/(-20) - 13/(-4). Suppose -3*n - l*a = -56, -2*a = -2 + 10. Does 12 divide n?
True
Suppose 5*b - 390 = -f - 2*f, 0 = -2*b - 4*f + 156. Is 18 a factor of b?
False
Let n(v) = v + 11. Let m be n(-11). Suppose m = -3*p, -j + 5*p + 0*p + 39 = 0. Does 13 divide j?
True
Let p(d) = -d - 14. Let x be p(0). Let q = -6 - x. Does 4 divide q?
True
Let g(o) = -3*o + 4. Let t be (5*3)/(-1 - -2). Suppose 4*n + 3*y - 3 = 0, 2*y = -y + t. Does 13 divide g(n)?
True
Suppose -21 = 3*s - 252. Let p = s + -37. Let y = p + -28. Is 8 a factor of y?
False
Suppose 0 = -2*b - 2*b + 432. Does 27 divide b?
True
Let t(h) = -h**3 + 2*h**2 + 7*h - 5. Let i be t(4). Let s(n) = n**2 + 3*n - 12. Is s(i) a multiple of 10?
False
Let x = 1 + 2. Suppose -x*u = u - 44. Is 5 a factor of u?
False
Suppose t - 2*m - 23 = 3*m, 2*m = -5*t + 61. Is t a multiple of 2?
False
Let a = -51 + 66. Does 15 divide a?
True
Suppose -15 = -n - 2*n. Let x(u) = 3*u - 3. Let w be x(8). Suppose -2*a + r = -26, -5*a + w = -n*r - 34. Is 10 a factor of a?
False
Let p be (4 + -6)*(-2)/4. Does 9 divide 18 - ((p - 1) + -1)?
False
Let j(w) = 2 + w - 2*w + 0 - 14*w**2 - 3. Let r be j(-1). Let a = r - -25. Is a a multiple of 8?
False
Let j(h) = -h**3 + 6*h**2 + 8*h - 8. Does 8 divide j(6)?
True
Suppose 0 = 2*l + 10, -3*l + 0*l - 11 = z. Suppose v = 5*k - 2*k - 8, z*k - v - 12 = 0. Suppose -n = -k*