((-2)/(-4)) + 168. Let i = c + -54. Suppose -i = -3*b - b. Is b a multiple of 18?
False
Let n(j) = 51*j**2 + 9*j + 15. Does 42 divide n(-2)?
False
Does 4 divide (-13)/((-10)/4 - -2)?
False
Let j be (-3 - -1) + 39/(-3). Is 11 a factor of (-5)/j*1*87?
False
Let l be 915/(-7) + (-16)/56. Does 22 divide l/(-3) - 1/(-3)?
True
Suppose -231 = -4*a - 6*l + 5*l, 2*a + 2*l = 114. Is a a multiple of 3?
False
Suppose 4*j + 268 = 5*o - 0*j, 71 = o + 5*j. Does 10 divide o?
False
Let h(t) = 17*t**2 - 2*t - 6. Let a be h(5). Suppose 3*q - 2*i - 283 = 2*i, 4*q - a = -i. Let y = -67 + q. Is 13 a factor of y?
False
Suppose 2*z - 12 = -4*u, u - 5*z = -4*u. Suppose 5*q - q - 12 = 0. Suppose -33 = -4*k - 5*j, -u*k + 0*j - q*j = -15. Is k a multiple of 7?
False
Let p = -4 + 10. Suppose -m - 1 = -p. Let n = m - 3. Is n a multiple of 2?
True
Let r = -63 - -99. Does 4 divide r?
True
Suppose 5*q - x - 2 = 0, -3*q + 5*x - 2*x + 6 = 0. Suppose 4*m + 2*l = -2, l + 1 + q = m. Suppose -2*o + 26 = -3*w - 9, -3*o - 3*w + 15 = m. Does 4 divide o?
False
Let m be ((-1)/1)/((-5)/(-625)). Let o be ((-4)/10)/(1/m). Is 6 a factor of 2*(o/4 + -1)?
False
Let f(d) be the first derivative of d**4/12 - 4*d**3/3 + 2*d + 1. Let k(a) be the first derivative of f(a). Is 5 a factor of k(9)?
False
Suppose 4*o = 2*o + 48. Is 15 a factor of o?
False
Let c = -33 + 63. Is c a multiple of 10?
True
Suppose 16*f - 1510 = 6*f. Is f a multiple of 11?
False
Suppose -4*j - 2 - 62 = 0. Let d = -9 - j. Is d a multiple of 7?
True
Let v(t) = 3*t - 8. Let i be v(5). Does 12 divide (6/i)/((-2)/(-56))?
True
Suppose 0 = f - 5*r - 4, 3*r + 81 = 5*f + 17. Let z = 29 - f. Does 15 divide z?
True
Is (48/(-9))/((-1)/9) a multiple of 10?
False
Let x = 9 - 10. Is 6 a factor of (8/x)/(5/(-25))?
False
Let h(c) = -15*c - 1. Let d be h(-1). Suppose 0 = t + t - 18. Let y = d - t. Is y a multiple of 4?
False
Let r be (-25)/(-2) - 12/(-8). Let q(k) = 8*k - 2. Let n be q(5). Let y = n - r. Does 15 divide y?
False
Suppose -2 = -x - 2*x - d, 5*d = -3*x - 14. Suppose -8 + 2 = -x*k. Is k a multiple of 3?
True
Let f(l) = -516*l. Let n be f(-1). Suppose b = -3*b - n. Is 4/(-16) + b/(-4) a multiple of 11?
False
Suppose 4 = -3*q - 2*y + 16, 2*q = 3*y - 5. Suppose -q*g - 1 + 5 = 0. Suppose -g*h = -7*h + 70. Is h a multiple of 14?
True
Suppose 0 = -m - a + 5*a - 18, -54 = 2*m - 2*a. Suppose 36 + 34 = -5*v. Let c = v - m. Is 8 a factor of c?
True
Is 19 a factor of (798/35)/(9/30)?
True
Let d be 6/(-15) - 222/(-30). Suppose 0 = 4*c - d - 125. Is 10 a factor of c?
False
Let q = 7 + -10. Let t = q - -9. Suppose -t = -3*m + 15. Does 7 divide m?
True
Let j be (-5 + -25)*2/(-5). Does 11 divide j/8 + (-21)/(-2)?
False
Let u = -20 - -41. Does 5 divide u?
False
Let b = 5 - 104. Let l(u) = -u**2 + 2*u - 6. Let p be l(9). Let n = p - b. Is 15 a factor of n?
True
Let w(j) = j**3 - 7*j**2 + j + 1. Suppose 19 - 54 = -5*f. Does 8 divide w(f)?
True
Let g(c) = 3*c + 2. Let r = 182 - -52. Let i be 2/8 - r/(-24). Is 16 a factor of g(i)?
True
Let c = -50 + 13. Let q = c - -103. Does 17 divide q?
False
Let g be (5 - 2 - 3)/(-1). Suppose g = 2*o + 5 - 301. Suppose -12 = 4*x - o. Is 17 a factor of x?
True
Let a(q) = -q**2 + 7*q + 6. Let v = 15 - 9. Does 3 divide a(v)?
True
Suppose -29*o + 19*o = -2760. Is o a multiple of 23?
True
Suppose -4*y = -4*j - 2*y + 22, j - y = 8. Let u = -24 + 35. Suppose j*b + u = a, b - 33 = -a - 2*a. Is a a multiple of 11?
True
Let f = 4 + 7. Does 11 divide f?
True
Let k(d) = 10*d - 1. Let s(r) = r + 7. Let a be s(-4). Is 11 a factor of k(a)?
False
Let k be 0 + (3 - (-3)/(-3)). Is (-39)/k*4/(-3) a multiple of 26?
True
Is (3850/4)/7*(-16)/(-20) a multiple of 10?
True
Let w(p) = -8*p**3 + 2*p**2 - 2. Does 35 divide w(-2)?
True
Suppose 12 = 4*z + z - 3*c, 4*z - 3*c = 12. Suppose z = 4*v - 205 - 39. Is 25 a factor of v?
False
Suppose -2*s + 202 = 4*y, -6*y = -y - 5*s - 215. Does 14 divide y?
False
Let s(g) = 2*g**2 + 3*g - 4. Suppose 3*w = -2*w - 30. Let m be s(w). Suppose -2*y + m = -20. Is 11 a factor of y?
False
Let a(g) = -2 - 2*g**3 + 1 + 3*g + g**3 + 5*g**2. Let r = 6 - 1. Is a(r) a multiple of 6?
False
Suppose 43 = -4*c + 119. Does 19 divide c?
True
Let p(j) = -2 - 6*j**2 - j + 0*j + 0 + 7 + j**3. Let o be p(6). Let z(n) = -35*n. Does 12 divide z(o)?
False
Does 33 divide -297*3*(-2)/9?
True
Suppose 0 = -3*n + 54 + 33. Suppose -3*o + 2*o - n = -z, 0 = -5*z - 3*o + 113. Is z a multiple of 5?
True
Let s be -56 - -2*(-6)/(-4). Let l = 74 + s. Let y = 38 - l. Is 10 a factor of y?
False
Let z(k) be the second derivative of -1/12*k**4 + k**3 + 1/2*k**2 - 2*k + 0. Is 10 a factor of z(3)?
True
Suppose -4*p - f + 122 = -3*p, -5*p + f = -586. Let x = 248 - p. Suppose 9*g - x = 4*g. Does 12 divide g?
False
Let i = 1 - 3. Let s = i - -12. Does 3 divide s?
False
Suppose 4*m = -d + 75, -3*m + 19 = d - 59. Does 16 divide d?
False
Let q = 494 + -286. Does 26 divide q?
True
Let i be 2*-1 - (-322)/7. Suppose -i = -2*t + 32. Is 10 a factor of t?
False
Let o = 7 + 1. Is 20 a factor of 5/(3 - 23/o)?
True
Does 4 divide (4/(-5))/(3/(-135))?
True
Let z(g) = g**2 - g + 3. Suppose -4*d + 4*i = -28, -3*i - 11 = -5*d - 6*i. Let r be z(d). Let f = -5 + r. Does 4 divide f?
False
Let s = 2 - 0. Suppose -112 = -s*z - 2*z. Is 14 a factor of z?
True
Let u(n) = -n**3 + 7*n**2 - 2*n - 5. Let q(a) = a**3 + 5*a**2 + 5*a + 2. Let r be q(-3). Let v be u(r). Let c = 50 - v. Is 15 a factor of c?
True
Let s(j) = -j**3 + 4*j**2 - 2*j. Is s(3) a multiple of 3?
True
Let z = 2 - 7. Does 8 divide ((-6)/z)/((-8)/(-60))?
False
Suppose z = -3*z + 84. Suppose z + 31 = 4*u. Is u a multiple of 10?
False
Let s(a) = a**2 - 6*a + 8. Let q be s(5). Suppose 0 = 3*m - 5*o - 36, -q*m + 2*m - 3*o + 12 = 0. Does 12 divide m?
True
Let o = 0 - -3. Suppose -n - 5*f + 7 = -1, 4*n + o*f = 32. Is n a multiple of 3?
False
Suppose b - 94 = -3*g, 2*b - 188 = 4*g - 0*g. Does 11 divide b?
False
Let o = 3 + -1. Let f(l) = 4*l**2 + 4*l + 4. Let v be f(-5). Suppose o*j = -j + v. Is j a multiple of 15?
False
Suppose -4*r + 361 = 97. Does 22 divide r?
True
Let l(z) = -z**3 - 7*z**2 - 7*z - 3. Let f be l(-6). Is (9 - 0)/f + 25 a multiple of 14?
True
Suppose 0 = -3*w + 56 + 76. Does 11 divide w?
True
Is 16 a factor of (-7 + -96)/(-4 + 2 + 1)?
False
Suppose 140 = -0*l + 4*l. Is l a multiple of 29?
False
Is 2/(-5)*(-12 + -18) + -1 a multiple of 8?
False
Let m = 7 - 3. Suppose -2*l = 8*b - 4*b - 90, -b = -m*l - 18. Is 12 a factor of b?
False
Let m be 6/39 + (-2559)/(-13). Let j = -112 + m. Is j a multiple of 28?
False
Let z = 5 + -3. Let w be (-2 - (-4 + z)) + 2. Suppose -5*v = -w*v - 42. Is 7 a factor of v?
True
Suppose -3*p + 840 = 3*p. Does 28 divide p?
True
Suppose -c + 2*d + 2*d = -7, 5*c + 1 = 2*d. Let o be -2 - (-1 + 0 + c). Suppose -2*q + 44 + 12 = o. Is 15 a factor of q?
False
Let w be (-1 + -11)*(-7)/(-3). Let s = w + 91. Is s a multiple of 21?
True
Let s be (-162)/(-24) - (-2)/8. Let h(n) = 3*n**2 - 13*n - 1. Let a(i) = i**2 - 4*i. Let p(x) = s*a(x) - 2*h(x). Is p(-6) a multiple of 24?
False
Let m = 33 - -26. Is 9 a factor of m?
False
Suppose -3*m - 3*b = -135, -2*m - 4*b + 8 = -72. Is m a multiple of 10?
True
Let m = 7 - 5. Does 18 divide m + -3 + (-114)/(-2)?
False
Let k be 1/(-1)*(-5 - 5). Suppose g - k = -0. Is 5 a factor of g?
True
Suppose -2*u + 32 = 2*u. Let x(d) = -3*d**3 + u - 4*d - 5 + 4*d**3 + 4*d**2. Is x(3) a multiple of 18?
True
Suppose -584 = -4*y - 4*b, -3*y + 489 = -4*b + 44. Is 30 a factor of y?
False
Let x = 1 - -9. Suppose -5*d + 4*d = -x. Is 10 a factor of d?
True
Suppose 87 = 2*s - 3*m, s + 3*m - 26 = m. Is s a multiple of 4?
True
Suppose -45 - 17 = -2*b. Let v = -4 + b. Does 7 divide v?
False
Suppose 2*d - 3 - 1 = 0. Let r = d + 50. Is r a multiple of 26?
True
Let u(t) be the first derivative of t**3/3 - 3*t**2/2 - t + 2. Let h be u(4). Suppose h*o = 42 - 9. Is 11 a factor of o?
True
Let r(t) = 2*t + 26*t**3 + 6 - 5*t - 9*t**3. Let a(m) = m - 1. Let y(n) = -5*a(n) - r(n). Is 16 a factor of y(-1)?
False
Let x = 80 - 60. Is x a multiple of 20?
True
Suppose 0 = f + f - 792. Is 7 a factor of f/14 + (-6)/21?
True
Suppose 0 = d + 2*u - 77 + 30, -d + 44 = u. Is (-1)/(-2)*(-5 + d) a multiple of 9?
True
Let o(k) = k**3 - k + 4. Let q be o(0). Suppose -5*w + p = -401, 0 = -2*w - p - q*