of j?
True
Is 8 a factor of ((4 - 0) + -3)*14?
False
Suppose -x + 3*x - 81 = 5*m, 4*x = 4*m + 144. Does 9 divide x?
False
Suppose -4*c + c - x = -59, -64 = -3*c - 2*x. Does 6 divide c?
True
Let l = -4 - -9. Suppose 129 = l*i + 34. Is i a multiple of 6?
False
Is 19 a factor of -4 - (-1656)/15 - 4/10?
False
Is 6 a factor of -36*(-3 + (-15)/(-6))?
True
Suppose 25 = -2*a + 295. Is a a multiple of 45?
True
Suppose t + 3*t - 176 = 0. Is 11 a factor of t/3*9/6?
True
Let t be -1*6*(-33)/(-11). Does 2 divide (t/21)/((-4)/28)?
True
Let x = 227 - 123. Is x a multiple of 57?
False
Let c = -10 - -17. Suppose c = -a - 1. Does 13 divide ((-78)/(-8))/(a/(-32))?
True
Does 11 divide ((-16)/(-12))/((-4)/(-42))?
False
Let p(s) = s**3 + s**2 + s - 648. Let b be p(0). Is 3/(-5) - b/30 a multiple of 7?
True
Let r be 32/(-5) + 2/5. Let h be (-2)/(-6)*(6 - r). Suppose 3*y = h*c + 60, -c - 100 = -5*y + 4*c. Does 20 divide y?
True
Suppose 249 = 6*n - 159. Does 17 divide n?
True
Let d = -10 - 12. Suppose 0 = -s + 18 - 97. Let a = d - s. Is 19 a factor of a?
True
Suppose -3*y + 3 = -3*g, -5*y - g + 29 = -0*g. Suppose y*z - 20 = 0, -5*z + 2*z - 38 = -2*c. Is c a multiple of 8?
False
Suppose 3*k - 3 = 2*k. Let y be 2/k + 164/6. Suppose 3*f + y = 4*q, q = -q + 5*f. Does 5 divide q?
True
Let a be ((-16)/6)/((-2)/3). Let d(q) be the first derivative of q**3/3 + q**2/2 - q - 2. Is 7 a factor of d(a)?
False
Let z(n) = 2*n**2 + 27*n - 3. Is z(-15) a multiple of 21?
True
Suppose -3*u + 0*i = -3*i - 69, 2*u - 3*i - 46 = 0. Does 6 divide u?
False
Let k be (1/(-3))/((-3)/36). Suppose 0 = 3*z + k*u - 158, 0 = -2*z + 4*u + 128 + 4. Is z a multiple of 15?
False
Suppose 0 = -2*r - 5*d + 1, 2*d = -5*r + d + 14. Suppose 2*k + 3*p - 22 = 0, k + r*p + 26 = 5*k. Is k a multiple of 4?
True
Let s(m) = -m**3 + 7*m**2 + 10*m + 8. Is s(8) a multiple of 12?
True
Let a = 22 + -22. Let r be (-1)/(-2) - 210/(-4). Suppose 4*w - 27 - r = a. Does 7 divide w?
False
Suppose -3*k + 0*k + 42 = 0. Let q be (-6)/(-4)*(-16)/(-6). Suppose 2*d + 3*m - k = 7, -4*d = q*m - 36. Does 2 divide d?
True
Suppose 0 = -2*m + 10, 75 + 14 = 3*k + m. Is 11 a factor of k?
False
Let t = 0 + 4. Suppose -4*h + 43 = 3*q + h, -4*q = t*h - 44. Suppose -q*d + d = -95. Is 19 a factor of d?
True
Suppose 0 = -77*w + 80*w - 39. Is w a multiple of 13?
True
Let c(i) = -4*i**2 - i - 15. Let u(h) = -5*h**2 - h - 16. Suppose -3*s - 9 = -w - 24, -2*s = -5*w - 36. Let k(d) = w*c(d) + 5*u(d). Is 4 a factor of k(0)?
False
Let x = 2 + 0. Let r = 8 - 8. Suppose -x*i = -r*i - 70. Is i a multiple of 12?
False
Let k(n) = n - 4. Let x(h) = -h**3 - 14*h**2 - 15*h - 18. Let p be x(-13). Does 3 divide k(p)?
False
Let j = -149 + 622. Is j a multiple of 73?
False
Suppose -4*k + 5 = -3*k. Suppose 0 = -4*q + k*q - 13. Does 6 divide q?
False
Let d(m) = -m - 2. Let k be d(-7). Suppose 95 = 4*f + 4*b - 5, -k*f + b + 101 = 0. Is f a multiple of 7?
True
Let o be (-2)/(-8) + 477/12. Suppose x = -q + 10, 0*q - x = 3*q - o. Does 5 divide 6/q + (-96)/(-10)?
True
Let g(w) = -w**2 + 10*w + 2. Let k be g(10). Suppose -k*x = -7*x + 285. Does 19 divide x?
True
Let o(c) = c**2 + 4*c + 1. Let j be o(-3). Is 15 a factor of (79 - -7)/((-4)/j)?
False
Let x be 4/(-10) - 12/(-5). Suppose -o + 90 = x*o. Suppose 2*k = 7*k - o. Is k a multiple of 3?
True
Suppose -3*v + t + 311 = 0, -362 = -3*v + 4*t - 45. Does 23 divide v?
False
Let s be (1/(-1))/((-1)/4). Let h = s + -2. Suppose -h*n + 120 = 3*n. Does 12 divide n?
True
Suppose n + 9 = 2*k, -12 = -2*k - 2. Let h be (1 + -11)/(15 + -16). Let x = n + h. Does 11 divide x?
True
Suppose 5*m = 9*m + 8. Let v = m + 6. Does 4 divide v?
True
Let v be ((-1)/1)/((-2)/4). Let f(u) = 17*u + 4. Does 9 divide f(v)?
False
Let d be ((-28)/(-35))/((-1)/(-10)). Let v = d - 7. Suppose -15 = -u - v. Does 5 divide u?
False
Suppose 0 = 5*s - 299 - 1. Does 12 divide s?
True
Let c = 34 + -7. Is c a multiple of 4?
False
Let l = -9 - -40. Suppose -2*g - 17 = -6*g - s, -3*s + 12 = -g. Suppose -g*w + l = 5*o, 0 = -5*o - w - w + 34. Is o a multiple of 8?
True
Let y = -8 + 68. Suppose -r = -6*r + y. Is r a multiple of 12?
True
Let c = -157 + 457. Is 25 a factor of c?
True
Let f = -661 - -385. Let x be 3/2*f/(-9). Suppose 4*r = 3*m + 42, -6*m + x = 3*r - m. Does 12 divide r?
True
Let b = -70 - -30. Let h = b + 6. Let k = h - -60. Is k a multiple of 13?
True
Let p(q) = 2*q - 3. Let x be p(4). Let l be 1*-1*(1 - 8). Let b = l - x. Is 2 a factor of b?
True
Let h = 1717 - 1133. Let f be (4/(-10))/((-7)/(-105)). Is 17 a factor of f/(-21) - h/(-14)?
False
Let y = 18 - 16. Suppose 102 = y*k - 2*z, -3*k + 42 + 71 = 5*z. Does 23 divide k?
True
Suppose -3*n - 54 = -264. Is 14 a factor of n?
True
Let d = 0 - -3. Suppose 2*b = j + 11, 0 = -4*j - j + d*b - 27. Is (j/2)/(2/(-32)) a multiple of 11?
False
Suppose -5*b + 40 - 10 = 0. Suppose -3*o = -o - b. Suppose -24 = -o*w - w. Does 6 divide w?
True
Suppose 75 = 2*f - 31. Is f a multiple of 11?
False
Suppose 20 = 5*b - 5*f, 2*b - 3*f = b + 8. Does 19 divide (120 - 3)/3 - b?
False
Let j be 4/(-4)*(-23)/1. Let m = j + 1. Suppose -2*o - o + m = 0. Does 5 divide o?
False
Let l be 18/(-81) - (-508)/18. Suppose -4*t - z = -118, 2*t - 4*z - 40 = l. Is t a multiple of 15?
True
Let z = -13 - -13. Let w = z + 22. Is w a multiple of 6?
False
Let q = -6 + 9. Suppose 6 = -q*n + 3*c, -5*n - 4*c + 20 = -3*c. Suppose -38 = -2*r + n*u, 2*u - 4 = u. Is 13 a factor of r?
False
Suppose 0 = 3*w + 5*t - 53, -3*t + 9 = -w + 2*t. Let l = 3 + w. Suppose 0 = 4*n - l - 6. Is 2 a factor of n?
False
Suppose 3*z + 0*z - 5*c - 129 = 0, -4*z + 5*c + 177 = 0. Is 3 a factor of z?
True
Suppose -4*j + 6*d = 3*d - 279, 0 = -5*j + 5*d + 345. Is 4 a factor of j?
True
Suppose -185 = -3*w - y, -37 = -3*w - 4*y + 163. Suppose 5*j - j = w. Is 15 a factor of j?
True
Suppose -q = -179 + 27. Is q a multiple of 38?
True
Suppose 0 = v - 2*v + k + 2, -3*k = 4*v - 15. Suppose 2*l = -s + 59, -l = v*s + 2*s - 52. Is 9 a factor of l?
True
Suppose 3*s = 0, 0 = -k - 4*k - 5*s + 250. Does 23 divide k?
False
Let k = -5 + 5. Suppose k = -2*o + 5*o - 12. Suppose -f + x = -47, -143 = -o*f - 0*x - 5*x. Is 21 a factor of f?
True
Suppose -3*i + 5*l + 40 = 0, 0*i - i = l. Let t = -1 + i. Is (-152)/(-20) + t/10 a multiple of 7?
False
Let p = -5 + 0. Is (-22)/(-2) - (p - -3) a multiple of 11?
False
Suppose -3*p = -2*p + 5. Let m(n) = -n**2 - 6*n + 6. Does 5 divide m(p)?
False
Let h(x) = -x + 4. Let t be h(6). Is 15 a factor of (-1)/(2*t/136)?
False
Let a(j) = 5*j. Let d be a(1). Let y be -1 + (-162)/(-24) - 3/4. Suppose 4*f + l - 100 = 0, d*l - 52 = -y*f + 73. Is 11 a factor of f?
False
Let i be 1/(-3) + (-364)/6. Suppose -2*m - 273 = -5*m. Let j = i + m. Is 19 a factor of j?
False
Let w = -15 - -51. Suppose -22 - w = -2*i. Is i a multiple of 7?
False
Let c(m) = -16*m. Let x be c(-5). Suppose 0 = 5*p - 0*p - x. Is 9 a factor of p?
False
Suppose 3*u = 3*j, 2*j + 15 = -4*u + 3*j. Let h = u + 7. Is h even?
True
Let y = -16 - -119. Is y a multiple of 34?
False
Let k(c) = -c**2 - 9*c - 3. Does 8 divide k(-6)?
False
Let d = -14 + 24. Suppose 215 = 5*g + d. Is 23 a factor of g?
False
Suppose -3*u - 17 + 111 = -2*d, -u - d = -33. Is u a multiple of 14?
False
Let p be 180/(-16)*(-40)/3. Suppose 0*x - p = -5*x. Is ((-14)/(-5) + -2)*x a multiple of 8?
True
Let k(n) = -n**3 + 13*n**2 + 14*n + 3. Let h be k(14). Suppose h*y + 4*z - 20 = 25, -5*y - 2*z = -75. Is y a multiple of 15?
True
Let h = -5 - -18. Suppose 2*t - h = 43. Is 14 a factor of t?
True
Suppose 0 = -4*m - 12, -3*m + 19 = -4*l + 124. Is l a multiple of 8?
True
Let t(z) = -z**2 + 1. Let i be t(1). Suppose i = -4*o - 0*o + 16. Is o a multiple of 4?
True
Suppose -3*i + 3*r = -171, 3*i - r = -0*r + 167. Let q = i + -19. Is 16 a factor of q?
False
Let k(v) = 3*v**2 + 13*v + 28. Is 2 a factor of k(-4)?
True
Let k(u) = 37*u**2 - 3*u - 1. Let d be k(-2). Suppose 3*m - d = 3*r, -47 + 237 = 4*m + 3*r. Does 8 divide m?
False
Let p(o) be the second derivative of 1/20*o**5 + 3/4*o**4 + 9/2*o**2 + o + 0 - 1/2*o**3. Is 12 a factor of p(-9)?
True
Let f(d) = d**2 - 3*d - 4. Is f(-2) a multiple of 3?
True
Suppose -4 = 5*z - 49. Suppose 6*a = 4*a - x + 6, -3*a + x = -z. Suppose 4 = 2*k, -a*d + 2 = 2*k - 56. Does 11 divide d?
False
Does 17 divide 1090/8 - (2