 q?
False
Suppose 4*y = 68 - 468. Let j = y + 140. Does 9 divide j?
False
Let h be (-5 - -3) + 2 - -18. Suppose -2*l + h = -0*l + u, 4*u = -16. Is l a multiple of 11?
True
Is 10 a factor of (-5 + (-125)/(-15))*54?
True
Suppose 10*q = -0*q + 450. Is 9 a factor of q?
True
Suppose 0 = -2*v + 4*n - 32, 2*v + 0*n + n = -12. Let f = 14 + v. Does 6 divide f?
True
Let d be (-4 - -1)/(-3) - -1. Suppose -h - 13 = -4*q - d*h, 2*q - 4*h = -16. Suppose 0*a = q*a - 68. Is 13 a factor of a?
False
Does 13 divide (-10)/45 - (-1707)/27?
False
Let g be 0/(-2 + (-2 - -2)). Let b be (g - -6)*(-1)/(-2). Suppose -2*s = b*r + 2*r - 15, 4*r + 6 = 2*s. Does 5 divide s?
True
Let m(q) = q**3 + 6*q**2 + q - 5. Is 12 a factor of m(-4)?
False
Let j(q) = -23*q - 6. Is 8 a factor of j(-2)?
True
Suppose 0 = 2*b - 4, -2*b - 38 = -f - 0*b. Let w(h) = -3 + f*h + 3. Is w(1) a multiple of 21?
True
Let t = 22 + -16. Let a(s) = s**3 - 7*s**2 + 7*s - 3. Let f be a(t). Suppose 4*b = f*h - 21, 2*b - 9 = -h - 2. Is 6 a factor of h?
False
Suppose 0 = -2*s - 2*g + 212, s + 3*g = 2*s - 98. Is 25 a factor of s?
False
Suppose -5*n = -k - 25, k + 25 = -2*k + 5*n. Suppose k = -3*j - j + 36. Is 3 a factor of j?
True
Let w(r) be the first derivative of r**2/2 + 6*r + 1. Let m be w(-3). Suppose -3*h + 55 - 4 = -m*p, h = -3*p + 1. Is h a multiple of 13?
True
Suppose -82 = -3*g + 2*b + 246, 4*g + 5*b = 399. Does 25 divide g?
False
Suppose 4*w - 20 = -2*z, 0 = -2*w - 4*z + 5 + 5. Suppose -4*c + 214 = -h, w*h - 10 = -0*h. Suppose -3*r + 3 = -c. Does 5 divide r?
False
Suppose 0*f - f = 5, -4*f - 292 = -4*r. Suppose -r = -5*m - 3*v, -5*m + 44 = -3*m - 3*v. Does 16 divide m?
True
Suppose -2*i - 3*i = -g - 13, -5*g + 19 = 3*i. Suppose 0 = 3*h - 2*h - i. Suppose 0 = -0*x + h*x - 54. Is 18 a factor of x?
True
Suppose 2*p + 48 - 158 = 0. Is 11 a factor of p?
True
Let r(a) = -6*a + 4*a + 3*a - 11 - 4*a. Is r(-9) a multiple of 8?
True
Let o(a) be the second derivative of -a**5/20 - a**4/2 - 2*a**3/3 - 7*a**2/2 - 7*a. Does 15 divide o(-6)?
False
Is -5*3/3 + 35 a multiple of 6?
True
Suppose -589 = -5*z + 4*x, -z - 6*x + 137 = -2*x. Is 26 a factor of z?
False
Suppose 2*p - 6 = 0, 2*i - 5 = 3*i - 3*p. Suppose 3*u - 5 = b, 2*b + 2 = i*b. Suppose -9 - 27 = -u*z. Does 18 divide z?
True
Let v(o) = 720*o**2 + 4*o + 14. Let r(s) = 240*s**2 + s + 5. Let c(t) = -8*r(t) + 3*v(t). Let x be c(-2). Does 8 divide x/42 + (-2)/(-7)?
False
Let o(h) = -h**2 + 6*h - 3. Let m be ((-20)/15)/((-1)/3). Is o(m) a multiple of 5?
True
Let r(p) = p**2 - 8*p + 15. Does 3 divide r(8)?
True
Let h = 18 - 51. Let l = h + 54. Does 7 divide l?
True
Suppose -5*h = 2*g - 2*h - 64, -2*g = h - 60. Is g a multiple of 29?
True
Is 19 a factor of (-9)/45 + 381/5?
True
Suppose n - 5*n + 24 = 0. Suppose -x + 14 = n. Is 4 a factor of x?
True
Suppose 3 = i, 2*c - 3*i + 9 = -3*c. Suppose 4*p - p - 75 = c. Does 10 divide p?
False
Let b(x) = 54*x - 4. Is 10 a factor of b(1)?
True
Suppose -3*n + 30 + 39 = 0. Suppose 5*x = -2*m - 7, -n = -2*m + 6*x - 5*x. Is m a multiple of 9?
True
Let s = 7 - 4. Suppose 15 = -3*u, -a + 4*u = s*a - 24. Let x = 3 + a. Does 3 divide x?
False
Let i(f) = -f**3 + 4*f**2 + 5*f - 4. Does 10 divide i(4)?
False
Let p(j) = -j**2 + 14*j - 2. Is 22 a factor of p(9)?
False
Let k(r) be the second derivative of -r**7/840 + r**6/72 - r**5/60 - r**4/12 - r**3/3 + 2*r. Let l(s) be the second derivative of k(s). Is 10 a factor of l(3)?
True
Let q(r) = -2*r + 22. Let h be q(11). Suppose 0 = -h*j + j + 3*u - 9, 79 = 5*j - 2*u. Is j a multiple of 11?
False
Let k(o) = 2*o**3 - 4*o**2 + 2*o + 1. Let c be k(2). Suppose 0 = 4*n + 4, c*m + 3*n - 223 = 6*n. Is 24 a factor of m?
False
Let x(l) = -l**3 - 17*l**2 + 18*l + 30. Is x(-18) a multiple of 14?
False
Let r = 9 - 11. Let o be (-4)/6*(5 + r). Is (63 - 3)/2 + o a multiple of 14?
True
Suppose 15*z = 12*z + 138. Is z a multiple of 5?
False
Suppose -3*z - 4*s = -83, 0 = 2*z - 0*z + 5*s - 67. Does 9 divide z?
False
Suppose 0*z = -3*z - 6. Let a be (-2)/z - (0 - -1). Is 14 a factor of (-32)/(-3)*(a - -3)?
False
Suppose 3*t + 4*g - 540 = -t, -4*g = 5*t - 679. Does 6 divide t?
False
Let d(x) = x + 29. Let j be d(0). Let m = j - 42. Let h = 35 + m. Is h a multiple of 11?
True
Does 13 divide (9 + -5)/(1/15)?
False
Suppose 3*d + 6 = 5*d. Suppose d*z - 2*z - 24 = 0. Let p = -4 + z. Does 18 divide p?
False
Suppose -4*b + f - 31 = 0, -37 = 4*b - 4*f + f. Let y(z) be the second derivative of -z**3/6 - z**2/2 + 5*z. Is y(b) a multiple of 6?
True
Let r(u) = 29*u**2 + u - 1. Let c be r(1). Let j = -15 + c. Suppose 0 = -x + 2*h + 9 + j, -2*x + 73 = 5*h. Is x a multiple of 17?
False
Let h(c) = 23*c - 79. Is 19 a factor of h(7)?
False
Let v(w) = w**2 + w + 1. Let c(u) = -u**2 + 12*u + 7. Let n(j) = -c(j) - 2*v(j). Let m be n(-7). Suppose 3*l = l + m. Does 20 divide l?
True
Let s = -15 + 14. Let c(l) = 6*l**2 - 1. Is 5 a factor of c(s)?
True
Let q(d) = -d - 12. Let i(b) = 3*b + 35. Let j(n) = 3*i(n) + 8*q(n). Let w be j(-5). Suppose 69 - 25 = w*l. Is l a multiple of 8?
False
Suppose 0 = 3*p - 6*p + 105. Is 10 a factor of 5*1*329/p?
False
Suppose 0 = 2*m - 223 - 155. Suppose -4*q + q + m = 3*g, -4*g = -3*q - 287. Does 14 divide g?
False
Let g = -2 - -7. Suppose -5 = -5*h + 2*b, 2*h + g*b = -0*h + 2. Let l(a) = 7*a**3 + 2*a - 1. Is l(h) a multiple of 3?
False
Let d(p) = p**2 - 6*p + 4. Let h be d(6). Suppose -1 = -h*y + 79. Is y a multiple of 8?
False
Let r = 129 - 79. Let i = r + 16. Is 12 a factor of i?
False
Suppose -3*d = -0*d - 171. Let w = 111 - d. Is 27 a factor of w?
True
Suppose -5*o + 36 = -144. Is 9 a factor of o?
True
Let c(i) = 2*i**2 + 8*i - 4. Suppose 0 = 4*o + 3*p - 4 - 20, -3*p = 0. Let h be (-4)/o + (-32)/6. Does 10 divide c(h)?
True
Let m = 9 + -5. Suppose 0 = m*l - 59 - 89. Does 10 divide l?
False
Let v be ((-3)/9)/(6/342). Let w = -12 - v. Is w a multiple of 2?
False
Is 22 a factor of (-3)/((-610)/2502 - 2/(-9))?
False
Let d be (3*2)/(4/2). Suppose 2*w = -5*l + 18, -4*w = -d*w - 4. Does 2 divide l?
True
Suppose -3*w = -74 - 55. Is 9 a factor of w?
False
Suppose -q = -w + 4 - 119, w = -q + 117. Suppose -6*y + q = -2*y. Is 12 a factor of y?
False
Let q(r) = r + 6. Does 13 divide q(13)?
False
Suppose 2*f + 5*b = -87, 0 = 2*f - 0*f + 3*b + 89. Is 7 a factor of (f/4)/((-4)/8)?
False
Let z(s) = -s**3 - 4*s**2 + 5*s. Let q be z(-5). Let f = q - -10. Does 7 divide f?
False
Suppose 5*o = 3*k - 174, 4*o - 290 = -k - 4*k. Is 6 a factor of k?
False
Suppose 5*g - 27 - 13 = 5*v, -g + 3*v = 2. Is 12 a factor of g?
False
Let k(i) be the second derivative of 3*i**5/20 + i**4/12 + i**3/6 + i**2/2 - 19*i. Suppose -j = -2*q + 2, 0*q = -3*q - 4*j + 14. Does 8 divide k(q)?
False
Let a(y) = y**2 - 7*y + 9. Let d be 2 + 1 + (-4)/(-1). Is a(d) a multiple of 3?
True
Suppose 0 = -17*x + 906 - 158. Is x a multiple of 14?
False
Let c = 9 + -3. Does 25 divide (-10)/((c/14)/(-3))?
False
Suppose -9 = i - 3*b - 1, -5*i - 3*b - 40 = 0. Let h(q) = q**2 + 6*q. Is 10 a factor of h(i)?
False
Let l be 21*5/(15/4). Suppose 0 = -3*v + 2*i + 31, 5*i + l = 2*v - 0*v. Suppose 0*z = z - v. Does 9 divide z?
True
Let m(o) = 2*o + 7. Let j be (5 + 0)*(-2 - -3). Is m(j) a multiple of 6?
False
Is (-1)/(2/(96/143) + -3) a multiple of 6?
True
Let j = -18 + 52. Is 18 a factor of j?
False
Let y be 0 + 0 + 1 + -4. Is 22 a factor of 2 - (-2 + 54/y)?
True
Let w(q) = 5*q - 1. Let k be w(1). Let z(s) = -s**3 + 6*s**2 - 5*s - 3. Let y be z(k). Let h = 17 - y. Is h a multiple of 4?
True
Let x = 2 - 6. Does 4 divide x/(-1*2/4)?
True
Suppose 4*m - 228 = -3*u, 5*m + 92 = 3*u - 163. Does 6 divide u?
False
Let a(o) = -o**2 + 22*o - 2. Is a(15) a multiple of 32?
False
Suppose 0 = 9*d + d - 290. Is 7 a factor of d?
False
Let u = -8 + 43. Does 6 divide u?
False
Suppose 2*z - 28 = -5*c, -2*c + 22 = 5*z - 27. Is z a multiple of 3?
True
Suppose -3*i + 56 = -2*j + j, -3*j = -4*i + 83. Is 3 a factor of i?
False
Let r = 4 - 1. Suppose -z = -2 + r. Does 15 divide z/4 + (-244)/(-16)?
True
Let f = -20 - -24. Does 10 divide 984/33 + f/22?
True
Let m(r) = 12*r + 9. Let q be m(8). Suppose -4*i + 0*y + q = 3*y, -3*y = -5*i + 111. Is 20*(-3)/((-45)/i) a multiple of 16?
True
Let g = -24 + 49. Suppose -5*i + 3 = 5*h - 3*h, g = 5*h - 5*i. Suppose -k = 4*y + 2*k - 14, -10 = -h*y - 5*k. 