-2)/9 + 11/9. Let s(w) = 2*w - 4. Let k(y) = y - 3. Let v(x) = -5*k(x) + 4*s(x). Is 2 a factor of v(q)?
True
Let a(h) = 3*h - 2. Let d be a(2). Suppose -31 = -d*f + 5. Does 4 divide f?
False
Suppose 5*z + 2*k = -13, 2*k - 4 = 3*k. Let w = 2 - z. Suppose -9 = -3*s, 5*c - w*s + 7*s = 97. Is c a multiple of 6?
False
Let d(i) = 5*i - 1 + 1 - 2 + 2*i**2 + 5*i. Let f be d(-8). Suppose 0 = 5*k + 4*a - f, -4*k + 39 = a - 0*a. Does 8 divide k?
False
Suppose -2*n - 2*h = h - 48, 0 = 4*n - 3*h - 132. Is n a multiple of 10?
True
Suppose 3*x + 5*y - 152 = 0, 2*x = 4*y + 70 + 2. Is x a multiple of 35?
False
Suppose -4*o + 34 = 2. Let x = 11 + o. Does 5 divide x?
False
Is 4*((-12)/(-28))/(4/42) a multiple of 7?
False
Let d be (-13)/2*(3 - 5). Let q = -8 + d. Is 2 a factor of q?
False
Let j(p) = -4*p - 4. Suppose 5*t + 23 = -7. Let u be j(t). Suppose 4*x = -16, -3*o + 5*x = u - 142. Does 12 divide o?
False
Let k = 9 + -24. Let x = k - -66. Is 14 a factor of x?
False
Suppose t = -4*y + 483, 0 = 2*y + 3*y + t - 603. Suppose -y = q - 4*q. Does 20 divide q?
True
Let d = 12 - 9. Let a be d - 54/(9/3). Let l = 36 + a. Is 21 a factor of l?
True
Let m be ((-10)/(-8))/((-4)/(-16)). Suppose 0*g = g - m. Is 4 a factor of g?
False
Suppose d + 0*d - 5*g = 23, -12 = 3*g. Suppose 50 = d*m - 40. Is 14 a factor of m?
False
Let l(h) = h**2 - h. Let m(g) = -5*g**2 + 3*g - 7. Let u(z) = 6*l(z) + m(z). Does 7 divide u(8)?
False
Let j(w) = 35*w**3 + 1. Let v be j(1). Suppose 3*o - 3*u - v = 0, 4*u = -3*o + 6*o - 36. Does 11 divide o?
False
Suppose t + 4*t = 30. Suppose -2*s - 62 = -4*m, -46 = -t*m + 4*m - 2*s. Does 18 divide m?
True
Suppose -2*u + 5 - 3 = 0. Let v be 41 + (u + 2)/3. Suppose v = 4*g - g. Is 7 a factor of g?
True
Let d = 39 - -77. Suppose -4*q + 0*q - 3*b + 121 = 0, 4*q = -4*b + d. Is q a multiple of 17?
True
Does 26 divide (-52)/(-4)*6 + 0?
True
Let j = 8 - 6. Let d be 90 - (-1)/(j/(-4)). Suppose -m = -3*o - 5*m + d, 0 = 3*o + 5*m - 83. Is 13 a factor of o?
False
Let i(s) = s**2 + 8*s + 9. Let b be i(-7). Is 6 a factor of b/3 - (-98)/6?
False
Suppose -404 - 21 = -5*q. Let h = -58 + q. Does 9 divide h?
True
Let u be (0 + 0 + 10)/2. Let o = u - 3. Is 4 a factor of 1/o - 15/(-2)?
True
Let o = -18 - -9. Let b be (-390)/o - 2/6. Suppose 3*m = 5 + b. Does 8 divide m?
True
Let l be 10*1 + -2 - 2. Suppose -m - l = 2*u, 5*m + 2*u = -0*u + 2. Suppose 20 = m*r + 2. Is 4 a factor of r?
False
Does 2 divide 3/(-18)*-3*12?
True
Let w = 4 + 0. Suppose -w*b + 11 = -85. Is 12 a factor of b?
True
Suppose 2*q + 4*i = 70, -4*q + 34 = -2*i - 76. Is q a multiple of 29?
True
Let x = 691 + -418. Is 45 a factor of x?
False
Let w = -7 - -1. Let p = -6 - w. Suppose p = -2*b + 58 + 72. Is b a multiple of 23?
False
Let q be (-75)/27 - (-4)/(-18). Let v = q + 6. Suppose 2*p = p - 4*k + 14, 53 = 5*p + v*k. Is 4 a factor of p?
False
Suppose -3*d + 31 = -26. Is d a multiple of 6?
False
Suppose -4*c = -0*c - 128. Let i = 48 - c. Does 8 divide i?
True
Let t be (-3)/(1/((-6)/(-9))). Let q be t/(-2) - (2 - 2). Does 2 divide q/4 - (-38)/8?
False
Suppose 2*p - 8 = 0, -4 = 5*a + p + 2. Let q(l) = -7*l - 3 - 4*l + l - 2*l. Is 12 a factor of q(a)?
False
Suppose -18 = -j + 4*j. Does 7 divide (2 + -1 - j) + 2?
False
Let t = 8 - -114. Suppose 0 = 5*d - 58 - t. Is 18 a factor of d?
True
Let a(g) = 4*g**2 - 10*g - 5. Is a(-2) a multiple of 31?
True
Let d(m) = m**3 + 6*m**2 + 5*m + 2. Let g be d(-5). Let t be ((-1)/g)/((-3)/(-48)). Let c = -2 - t. Is c a multiple of 4?
False
Let j(z) = 4*z - 13. Is j(5) a multiple of 3?
False
Let g(q) = q**3 + 6*q**2 - q - 5. Let d be g(-6). Suppose -h + 0 = 3*y + 1, -2*h + 2*y + 14 = 0. Does 2 divide h - (0 - (d + -1))?
False
Suppose 2*m + 6 = -2. Does 15 divide (m/(-6))/(2/45)?
True
Let t(h) = h**3 + 6*h**2 + h + 16. Let n = -6 - -12. Let y(v) = v**3 + 5*v**2 + v + 16. Let f(d) = n*y(d) - 5*t(d). Is f(0) a multiple of 7?
False
Suppose 3*j - 19 = 29. Is j a multiple of 16?
True
Let o = -33 + 56. Is 15 a factor of o?
False
Does 5 divide 6/(3 + 81/(-30))?
True
Suppose o = 36 - 2. Is o a multiple of 17?
True
Let f(c) = -2*c - 5. Suppose 4*p + 21 = -7. Does 3 divide f(p)?
True
Let k(l) = -13*l - 3*l**2 + 3*l**2 + 1 - l**2. Does 14 divide k(-8)?
False
Suppose -2*a - 108 = 5*y, 3*y - a - 3*a = -44. Suppose 0 = -n + 6*n + 155. Let d = y - n. Is d a multiple of 8?
False
Suppose -5*m + 141 = a - 4*m, 4*m + 131 = a. Is 13 a factor of a?
False
Suppose 0 = 3*w - 4*x - 18, 5*w = -3*x + 2 - 1. Is -21*(w - 1)*-1 a multiple of 4?
False
Suppose 2*c = i + c - 16, -2*i + 5*c = -41. Is i a multiple of 8?
False
Suppose 0 = 3*p - 2 - 1. Let a = -2 + 2. Suppose -r + p = a, -3*r - 45 = -4*b - 4*r. Is b a multiple of 8?
False
Suppose 3*f - 76 = f. Suppose 10 = 3*a - f. Does 6 divide a?
False
Suppose -221 = -7*y + 199. Does 6 divide y?
True
Let c(y) = -y + 8. Let f be c(7). Suppose 2*j - 58 = 52. Suppose a - f = 0, j = 2*q + 6*a - a. Is q a multiple of 12?
False
Let m(j) = -2*j - 3*j - 19*j**3 + 5*j. Let s be m(-1). Let h = s + -8. Is 5 a factor of h?
False
Let h be (3 + 0 + 40)/1. Suppose z - h = -3*n - 0*z, 4*n - 51 = 5*z. Is n a multiple of 14?
True
Suppose -17 + 43 = 4*k + 2*f, 3*f = 3*k - 6. Suppose -10*a + 180 = -k*a. Does 18 divide a?
True
Let z be -4 - -1 - 0 - -13. Let j = -7 + z. Does 3 divide j?
True
Does 5 divide (-2 + -14)*(-26)/8*1?
False
Let h be (-1 - 0)/(2/(-4)). Suppose h*g - 64 = 24. Suppose -2*n - n + 37 = -2*a, 4*a + g = 4*n. Does 8 divide n?
False
Let h(y) be the first derivative of y**4/4 + 3*y**3 - y**2 - 13*y - 3. Let b be h(-9). Suppose 13 = 3*q - 2*p - 108, b*q - 197 = p. Is q a multiple of 14?
False
Suppose -3*d = -4*t + 199 + 489, -16 = 4*d. Is 17 a factor of t?
False
Let l(z) = z**2 + 5*z + 6. Let b be l(-5). Let n(q) = -q**3 + 8*q**2 - 3*q + 3. Is 17 a factor of n(b)?
False
Let b = 5 - 5. Suppose -5*k - 3*a + 154 = b, -5*a - 88 = -3*k - 16. Is 10 a factor of k?
False
Let j(s) = 2*s**2 + 6*s + 6. Let o be j(-4). Let g be 2/(o/10 + -1). Suppose -g*u + 5 = 5*n, -2*n = -4*u + 3*n + 40. Is 5 a factor of u?
True
Suppose -2*r = 5*z - 30, -5 = -0*z - 5*z + 3*r. Is 546/9 + z/(-6) a multiple of 20?
True
Let t(k) = 5*k - 7. Let c be t(9). Suppose c = 3*b + 11. Does 3 divide b?
True
Let w = 145 - 21. Is w a multiple of 23?
False
Suppose 0 = -3*l + 2*i + 97 + 3, 0 = -4*i - 20. Is l a multiple of 19?
False
Let b = -15 + 59. Is 8 a factor of b?
False
Let v = -8 + 12. Is 4 a factor of (v - 0)/(-1)*-2?
True
Suppose 0 = -3*s, -51 - 72 = -z + 3*s. Suppose 5*v = 4*l - z, 5*l - 144 = 2*v + v. Is 10 a factor of l?
False
Let q be (-3 + 7)/((-1)/1). Let a = q + 9. Suppose 0 = y - i - 33, -159 = -y - 3*y - a*i. Is 18 a factor of y?
True
Suppose 0 = 2*n + 2 - 8. Suppose h - m - 17 = -4, n*h = -m + 23. Is h a multiple of 2?
False
Let h(g) = g**3 - 10*g**2 + 12*g + 9. Let w be h(9). Does 15 divide (5/(-3))/((-4)/w)?
True
Suppose -5*u - 2*j - 3 = 5, 8 = -3*u + 2*j. Let d(o) = -4*o**3 - o**2 + 2*o + 1. Let n be d(u). Suppose -4*c + 11 = -n. Is c a multiple of 3?
True
Let m(a) = 3*a**2 + 7*a - 10. Let x be m(-9). Suppose -2*b + 7*b - x = 0. Does 7 divide b?
False
Let v(d) = -d**3 - 13*d**2 - d - 15. Let h be v(-13). Let y be ((-3)/h)/((-5)/10). Let q(a) = -6*a. Is q(y) a multiple of 18?
True
Let m(u) = -3 + 5 + u + 3 + 1. Let y(d) = d**2 + 8*d + 6. Let c be y(-8). Does 12 divide m(c)?
True
Let p(g) = -g**2 + 17*g + 42. Is 21 a factor of p(17)?
True
Suppose -5*p + 163 = -2*n, 5*n + 16 = -4. Suppose 3*b = -5*t - 57, -b - b + 2*t = 38. Let g = b + p. Is 12 a factor of g?
True
Let q = 29 + 29. Does 18 divide q?
False
Let v(n) = -n**3 - 6*n**2 - 5*n - 6. Let f be v(-6). Suppose -2*a - 3*b = -f, 0 = 3*a - 5*b - 7 - 10. Does 3 divide a?
True
Let q(h) be the second derivative of 2*h**3/3 + h**2 + 9*h. Does 18 divide q(4)?
True
Let z = -31 + 10. Let g = z - -57. Is 16 a factor of g?
False
Let s(h) = h**2 + 7*h - 9. Let f be s(9). Suppose f = 7*u - 2*u. Is u a multiple of 10?
False
Let d = -13 - -42. Is 12 a factor of d?
False
Is 4 a factor of -2 + (1 - 0) - -52?
False
Let y(q) = q**3 - 4*q**2 - 4*q. Is y(5) a multiple of 2?
False
Suppose 4*a + 55 = 351. Is a a multiple of 8?
False
Let y(f) = f**2 + 9*f + 3. Let r be y(-9). Suppose r*o - 39 = 4*t, 3*t - 1 = 4*t + o. Let q = 12 - t. Is 9 a factor of q?
True
Le