2 - 5*o - 6. Let p be g(5). Let c be (p/(-9))/(1/(-6)). Does 11 divide z(c)?
False
Suppose 3*d + 176 = 7*d. Let p = 105 - d. Is 40 a factor of p?
False
Suppose 0 = 12*m - 9*m - 642. Is m/2 - (2 + -5) a multiple of 44?
False
Let p(i) = -5 + 7*i**2 - 1 + 15. Is p(-3) a multiple of 9?
True
Let y = 771 - 295. Is 14 a factor of y?
True
Let z be -2 + 2 - (-169 + 3). Suppose 4*s + 3*q = -336, 2*s + 2*q - q = -z. Let f = 134 + s. Does 24 divide f?
False
Let h = 1753 - 1037. Does 29 divide h?
False
Let q(b) = -72*b**2 - b - 2 - 66*b**2 + 9*b**3 + 136*b**2. Is q(2) a multiple of 11?
False
Suppose 3*u + u - 16 = 0. Let a(m) = -m**3 + 5*m**2 - 4*m. Let p be a(u). Suppose -5*y = 5*z - 140, -y - 2*z + 43 - 11 = p. Is 12 a factor of y?
True
Suppose -4*c + 202 = 34. Is c a multiple of 7?
True
Suppose 2*j - 3*w = -5*w, 3*w - 8 = j. Let c be -8 - 0/(-6 - j). Does 22 divide (-230)/(-20)*c/(-1)?
False
Is (60/(-21))/((-12)/378) a multiple of 18?
True
Let m be ((-35)/5 - -4 - 1) + 41. Let q = 167 + -73. Suppose 4*x - 5*k - 89 - q = 0, 0 = x - 3*k - m. Is x a multiple of 14?
False
Suppose -11*m + 6*m + 3325 = 0. Is 14 a factor of m?
False
Suppose -1504 = -30*u + 26*u. Is 13 a factor of u?
False
Suppose 2*l = 2, 31 = -5*q + 4*l - 3*l. Suppose h - 5*x - 13 = 0, -7*h - 2*x + 62 = -5*h. Is (5 + q)*(1 - h) a multiple of 16?
False
Let h = 1 + -2. Let k be -1 + 45 - (h + -2). Suppose -k - 19 = -3*w. Is w a multiple of 11?
True
Let q(m) = -2*m + 26. Let n be q(11). Suppose 4*s - n*i = -i + 83, 0 = -s - 5*i + 38. Is s a multiple of 7?
False
Suppose -13*b = 332 - 2568. Let c = -120 + b. Is c a multiple of 5?
False
Suppose -2494 = 4*t - 2*j - 628, -2*j = 2. Let h = t - -681. Is 17 a factor of h?
False
Let g(o) be the second derivative of o**4/12 - o**3/3 + 9*o**2 - 12*o. Does 11 divide g(0)?
False
Let f(i) be the third derivative of 0*i + 2/3*i**3 - 2*i**2 + 3/8*i**4 + 0 - 1/60*i**5. Is f(8) a multiple of 4?
True
Let z be (-19)/2*-1*6. Suppose -3*f + z = 2*d, f = -1 - 4. Does 4 divide d?
True
Let v be 6/(-33) + 171/33. Suppose -v*u = -a - 103, -a - 32 = -2*u + 4*a. Suppose 3*t - u = 15. Is t a multiple of 12?
True
Let m(c) = c**2 - c - 2. Let b be m(4). Suppose -3*r = -122 - b. Is 11 a factor of r?
True
Let d be (-7)/(-2) + (-9)/18. Let p be ((-2)/d)/(8/(-60)). Is 9 a factor of 5*((-124)/p)/(-4)?
False
Let d(b) be the second derivative of -b**5/20 + 2*b**4/3 + 11*b**3/6 + 6*b**2 - b. Let z be d(9). Let a = z + -10. Does 6 divide a?
False
Let w be 3/4*(6 + -2) + 199. Suppose f + 24 + w = 5*h, -2*h - 5*f = -112. Does 10 divide h?
False
Let m(k) be the third derivative of k**5/30 + k**4/4 + 2*k**3 + 7*k**2. Is m(-10) a multiple of 19?
True
Suppose 2*t + 2*t + 328 = 0. Let l = t - -182. Does 10 divide l?
True
Let n(d) = -2*d + 2. Let j be n(-1). Suppose -3*m - 2*m = 3*q - 177, j*q + 3*m = 225. Does 18 divide q?
True
Let q be (-240)/(-135) - 4/(-18). Suppose 3*p - 4*b = 5 - q, 0 = -3*p + 3*b + 3. Does 16 divide p/5 - (-159)/5?
True
Suppose 86*x + 12474 = 93*x. Does 27 divide x?
True
Suppose 2 = -y + 4. Suppose 0 = -4*g - y*b + 476, -4*g + 488 = -5*b + b. Is 40 a factor of g?
True
Let h = 330 + 1. Is 49 a factor of h?
False
Let c be (28 - 20/(-5)) + 4. Let v = -25 + c. Is v a multiple of 4?
False
Suppose 165 - 51 = 57*v. Suppose -3*d + 89 = 4*w, 0 = -0*w - 2*w - 3*d + 49. Suppose -5*y - v*x = -72, 2*x - 7*x = w. Is y a multiple of 16?
True
Let j be 2/(-1) - ((-9)/3 - 14). Let f(r) = 2*r + 29. Is 18 a factor of f(j)?
False
Let h(l) be the third derivative of 6*l**2 + 0*l + 0 - 1/60*l**5 + 11/24*l**4 + 2*l**3. Is 11 a factor of h(10)?
True
Suppose 0 = 4*m - 2*q - 4, 12 = 3*m + q + 2*q. Suppose -10 = m*j, 4*j + 32 = t - 0*t. Is 3 a factor of t?
True
Suppose -33*a + 30*a + 75 = 0. Does 6 divide a?
False
Let i(t) = t**3 + 7*t**2 + 4*t + 9. Let v be i(-7). Let s = v - -47. Suppose 2*l + s = w, 0*w + 4*l + 128 = 5*w. Is w a multiple of 14?
False
Suppose g - 4*u - 23 = 2*g, -5*g - 10 = -u. Let p = g - -4. Let v(o) = 20*o. Does 5 divide v(p)?
True
Let z be (-126)/(-4) - 6/(-4). Suppose 54 = y - z. Is y a multiple of 16?
False
Let x = -461 + 699. Is 69 a factor of x?
False
Is 320/3360 + 27716/42 a multiple of 120?
False
Suppose -571 = 3*x - 133. Let f = x + 209. Is f a multiple of 15?
False
Let f be 46/(-14) - 6/(-21). Let i be f + (-4)/(12/(-195)). Suppose -b - 13 = -i. Does 21 divide b?
False
Is 7 a factor of 1 + 595 + (51 + 3)/9?
True
Let q(l) = l**3 - 9*l**2 + 15*l - 6. Let o be q(7). Does 12 divide 40/o - (-7 - -11)?
True
Is (-8)/(-4)*-1*(-854)/28 even?
False
Let s = 832 + -592. Suppose -b - 3*o = -7*o - 75, -4*b = 4*o - s. Is b a multiple of 6?
False
Let u = -30 - -19. Let o(j) = -j**3 - 11*j**2 - 3*j - 4. Let m be o(u). Suppose -b = m - 91. Does 31 divide b?
True
Let x(u) = -u + 5. Let y = 9 + -6. Let n be (-12)/(-2 + y) - 0. Does 3 divide x(n)?
False
Suppose -5*q - 217 = 233. Is (-353)/(-2) + (q/12)/15 a multiple of 22?
True
Does 19 divide (2 - -8) + (568 - 8)?
True
Let o be (-1)/2*(-7 - -13). Is (2/o)/((-1085)/360 + 3) a multiple of 48?
True
Let f(k) = 12*k**3 + 4*k**2 + 3*k - 9. Does 14 divide f(5)?
False
Let a(s) = s**3 + 7*s**2 - 8*s. Let t be a(-8). Suppose -3*b + 88 = -g, 4*b - 6*g + g - 121 = t. Is b a multiple of 19?
False
Let k(x) = -2*x**2 - 7*x + 18. Let d be k(5). Let u = 86 + d. Is u a multiple of 4?
False
Suppose 5*z - 6933 = 2*m - 1756, 3*m = 4*z - 4143. Is z a multiple of 15?
True
Let s(w) = w**2 - 8 - 5*w**3 - 5*w**3 - 6*w**2 - 5*w. Does 27 divide s(-3)?
False
Let s(d) = -d**3 - 2*d**2 + 3. Let v be s(-2). Let p(i) = 20*i**2 - i + 6. Let q be p(v). Does 31 divide 1/(q/(-186) + 1)?
True
Suppose 3*p - 198 - 438 = 0. Does 53 divide p?
True
Let t be 7*57 + -4 + -1. Suppose 2*y - t + 48 = 0. Does 43 divide y?
False
Let l(h) = -400*h + 145. Does 45 divide l(-7)?
False
Let i(b) = -2*b - 8. Let v be i(-6). Is (-56 + -1)*v/(-4) a multiple of 18?
False
Let q = 43 - -7. Suppose -3*t + 4*o + 80 = 0, 5*o = 2*t + 4*o - q. Is t a multiple of 8?
True
Let a(d) = 14*d**3 - 3*d - 3 + d**2 - 3 - 13*d**3 + 3. Suppose 0 = 4*w - 13 + 1. Is a(w) a multiple of 5?
False
Let d(v) = -v**2 - v + 1. Let y be d(5). Let q = 112 + y. Is 17 a factor of q?
False
Suppose -3*u + 2 + 4 = 0. Suppose -5*w + 63 = -u*f, 15 + 41 = 4*w + 4*f. Is 13 a factor of w?
True
Let v be 32/6 - 14/42. Suppose -56 + 1 = -v*l. Let w = 32 - l. Is w a multiple of 10?
False
Let d = 1858 - 812. Does 18 divide d?
False
Let j be 23*2/(2*-1). Let v be -4*(-2)/12*(-106 - 14). Let q = j - v. Is 23 a factor of q?
False
Let h(n) = 4*n**2 - 57*n + 3. Is 79 a factor of h(-8)?
False
Let z be (4/4)/(2/(-4)). Let m be z/(-5) + (-40)/(-25). Suppose 4*q - 79 = s, 5*q - m*s = 42 + 53. Is 6 a factor of q?
False
Let b(g) = 455*g**2 - 4*g - 3. Does 12 divide b(-1)?
True
Let z(a) = -606*a - 223. Is 30 a factor of z(-4)?
False
Suppose 0 = -2*u + 79 - 9. Suppose 0 = -4*y + k + 83, k = -4*y + 42 + u. Does 7 divide y?
False
Is 12 a factor of (23/2 - -2)/((-117)/(-1560))?
True
Let r be 3/1 + 0/(-6). Suppose -b + r*b = 0. Suppose b = 6*y - 2*y - 12. Is y a multiple of 3?
True
Suppose -234 + 50 = -4*t. Let b = 98 + t. Does 12 divide b?
True
Let h(g) = -g**3 - 14*g**2 + 13*g + 16. Suppose -5*j = -j + 84. Let b = j - -6. Does 11 divide h(b)?
False
Let l(c) = 368*c**2 - 2. Does 15 divide l(-1)?
False
Suppose 9*s - 4*s - 2*g = 5033, -4*s = 2*g - 4030. Does 53 divide s?
True
Let l(m) = m + 11. Let q be l(-7). Suppose -q*a + b + 125 = 0, -263 = -5*a + 2*b - 103. Is 0 + a/(-4 + 9) even?
True
Let l(y) = 0*y + y + 0*y**3 + 6*y**2 + 0*y**3 + 6 + y**3. Let s be l(-6). Suppose w + s*w = -m + 16, 79 = 4*w - m. Is 6 a factor of w?
False
Is 10276/2 + 15 + 13 + -33 a multiple of 54?
False
Let i be (2/((-36)/(-30)))/((-1)/(-6)). Suppose -d = -i*d + 1413. Is 19 a factor of d?
False
Suppose -5*b - 33 = -2*l, 17 = -8*l + 6*l - 5*b. Is 27 a factor of (-1)/((1*l/(-60))/9)?
True
Let o(a) = a**3 - 7*a**2 + 7*a. Let y be o(6). Let k(p) = -p**2 + 2*p. Let s be k(y). Let c = s + 39. Is 6 a factor of c?
False
Let o = -1713 + 2637. Is 66 a factor of o?
True
Let l = -129 + 159. Suppose -3*j = -l - 6. Is j a multiple of 5?
False
Let p = -10 - -12. Let x be p/4 + (-18)/36. Suppose -7*d + 3*d + 168 = x. Does 9 divide d?
False
Suppose 3*b = i - 2, -4 = -2*i + b + b. Is 31 a factor 