((-4)/(-6)). Suppose o*i - 3*i = -4*p + 23, 14 = p + 4*i. Suppose s + 15 = m, 42 = -p*m + 4*m + 2*s. Is m a multiple of 18?
True
Let n = 321 - -189. Is 6 a factor of n?
True
Let d be (3 - -16)/(2/18). Let t = 260 - d. Is 13 a factor of t?
False
Let u(p) = 257*p + 6. Let c = -100 + 101. Is u(c) a multiple of 11?
False
Suppose k = -k - 12. Let x(h) = 32 - 22 + 0*h - h. Is x(k) a multiple of 3?
False
Suppose -3 = -2*u + 3. Let o be (8/10)/(u/(-390)). Let w = 173 + o. Is w a multiple of 23?
True
Let f = -984 - -1468. Is 4 a factor of f?
True
Let g(v) = 8*v**2 + v + 6. Let h be g(4). Suppose -6*z - h = -0*z. Is 8 a factor of -2 + (2 - z) + 4?
False
Suppose -2*t = t - 18. Suppose 4*b + 2*f - 342 = 0, 3*f = 3*b + t*f - 255. Does 19 divide b?
False
Suppose -3*i + 11 + 52 = 0. Is 7 a factor of 1*(-2)/((-6)/i)?
True
Suppose -5*n = 17 + 33. Let w = n - -22. Does 3 divide w?
True
Suppose 1055 + 3585 = 29*n. Is 8 a factor of n?
True
Let o = 18 - 0. Let d be o - (1 + 0 + 0). Suppose 0*z = z - d. Is z a multiple of 17?
True
Suppose 45*c = 74*c - 5278. Does 14 divide c?
True
Suppose -2*u = -3*u + 3*d + 189, 8*u - 1425 = -5*d. Is 6 a factor of u?
True
Suppose -2*h + 3*k - 51 = 0, 5*h - 2*k = -25 - 75. Let a be 14/49 + h/14. Is 9 a factor of -43*1*(0 + a)?
False
Let f = 90 + -58. Suppose u - 4 = 2*l, 5*u - u - 2*l - 10 = 0. Suppose f = u*q - 22. Does 9 divide q?
True
Let g(r) = -1158*r**3 - 7*r - 8. Does 13 divide g(-1)?
True
Suppose 7*m + 16 = 3*m, -m = -4*i + 16. Let p be 6/(-4)*(-22 - 2). Suppose h + p = i*h. Is 9 a factor of h?
True
Let u(q) = 2*q**2 + 7*q. Let s = -10 + 5. Is 15 a factor of u(s)?
True
Let k(h) = -39*h + 58. Does 45 divide k(-2)?
False
Suppose 0 = -w - 7 + 16. Let d(g) = g**2 - 6*g - 3. Is 6 a factor of d(w)?
True
Let a(y) be the second derivative of 5*y**3/3 - y**2 + y. Is a(11) a multiple of 27?
True
Let x(a) = -177*a**2 - 4*a - 4. Let l be x(-1). Let u = -94 - l. Is 23 a factor of u?
False
Suppose -c + 1 = 2*c + a, 0 = c - 2*a + 2. Let m(g) = g**2 + g + 29. Let f be m(c). Suppose f = 3*w - 91. Is 21 a factor of w?
False
Suppose 4*s = -0*s + 3*u - 324, 3*u = 0. Let l = 138 + s. Does 19 divide l?
True
Is 10 a factor of (-120564)/(-90) + (24/15)/4?
True
Let h(v) = -55*v - 26. Let q = 97 - 99. Does 21 divide h(q)?
True
Let c = 6 - 17. Let y(h) = -10 - 2*h - 5*h + 4*h + 4. Is y(c) a multiple of 9?
True
Let b(z) = -z**3 - 8*z**2 - 6*z + 9. Let g be b(-7). Suppose 2*o - g*v - v - 9 = 0, -3*o = 2*v - 7. Suppose -o*h + 85 = -29. Is h a multiple of 19?
True
Let o(i) = -7*i + 1. Suppose 0 = 4*w, m = -m + 4*w - 6. Does 3 divide o(m)?
False
Let v(t) = t**2 + 20*t - 13. Let p be v(-20). Is (6 + -1 + 1)*(1 - p) a multiple of 14?
True
Let t be (-1)/3*(-78 - 0). Suppose 27*r - 63 = t*r. Is 4 a factor of r?
False
Let i = -380 - -644. Suppose 5*j + i = 8*j. Suppose p + w = -0*w + j, 0 = 4*w - 8. Does 11 divide p?
False
Let c(k) be the second derivative of 53*k**4/4 + k**2/2 + 11*k. Does 32 divide c(-1)?
True
Suppose 0 = 2*d - 40 - 14. Suppose i = 82 - d. Does 11 divide i?
True
Suppose 24*f - 24195 - 28197 = 0. Does 17 divide f?
False
Let w(u) = -4*u**3 + 5*u**2 + 16*u - 5. Let n be w(-5). Suppose -2*m + n = 3*m. Does 27 divide m?
True
Suppose -3*c = -396 - 852. Is c a multiple of 13?
True
Suppose 3*v = 3*c + 3, 0 = 2*c + 4*v - 2*v - 2. Suppose -5*q + 45 = -c*q. Suppose -3*a = q, -n - 4*n = 4*a - 53. Is 13 a factor of n?
True
Let p = -21 + 37. Suppose w + 2*j = 6*w - p, 2*w + 5 = -3*j. Let q(r) = 2*r**2 + r. Is q(w) a multiple of 3?
False
Let z be 1 - ((-8)/24 + (-1)/(-3)). Let c(s) = 15*s**3 + 3*s**2 - 2*s + 1. Does 3 divide c(z)?
False
Suppose 2*m = 8 + 2. Suppose -m*p + 58 - 18 = 0. Is 9 a factor of p/(-20) + (-276)/(-15)?
True
Suppose g + 12 = 4*g. Suppose -g*n - 15 = n. Let j = 9 + n. Does 3 divide j?
True
Suppose -55*p = -48*p - 1120. Is p a multiple of 10?
True
Suppose -b = s - 5 + 2, 2*s = 2. Suppose 132 = -b*d + d. Is (d/(-10))/(2/5) a multiple of 11?
True
Let f(s) be the third derivative of -13*s**6/120 - s**5/15 + 2*s**3/3 + 6*s**2. Is f(-2) a multiple of 20?
False
Let l(m) = 5*m**2 + 7*m - 20. Let a be (9/(-2))/((5/2)/5). Is l(a) a multiple of 12?
False
Let q(b) = 9*b**2 - 107*b + 4. Is q(21) a multiple of 9?
False
Let d(b) = b**2 + 5*b + 4. Let n be d(-5). Suppose -z + n*r + 12 = -0*z, 0 = -5*r - 15. Suppose 3*m + 5*k - 250 = z, 2*m - 78 = m - 3*k. Is 18 a factor of m?
True
Suppose -x - 2*x = 2*x. Let s = x - -15. Is s a multiple of 4?
False
Let h(l) = l**2 - 4*l - 29. Let f be h(15). Let x = 227 - f. Does 10 divide x?
False
Suppose -16*o + 18*o - 1457 = 5*a, 5*o - 2*a = 3653. Is 38 a factor of o?
False
Let v = 71 - 69. Suppose -v*o + w + 98 = -0*w, -31 = -o - 4*w. Does 16 divide o?
False
Suppose -2*w - 3 + 23 = 0. Let m(j) = j**3 - 11*j**2 + 10*j + 3. Let b be m(w). Suppose -4*p + d + 100 = -56, 3*p - b*d = 126. Is p a multiple of 13?
False
Let u(b) = b**3 + 3*b**2 - b + 4. Let v be u(-5). Let k = -27 + 21. Let i = k - v. Is 7 a factor of i?
True
Let d(m) = 32 + 56*m - 22 - 28. Is 16 a factor of d(5)?
False
Let t be (30/25)/((-2)/(-10)). Let x = 9 - t. Suppose 2*q = x*s + 60, 4*q + 4*s = 122 + 18. Does 18 divide q?
False
Suppose 33*p = 40*p - 1386. Is 66 a factor of p?
True
Suppose 3 = -3*w + 12. Let u be (-1)/(-1 - 40/(-36)). Is 8 a factor of 31/(w/u*-3)?
False
Let h(y) = -y**2 - 26*y + 8. Let t(b) = -4*b**3 + 2*b**2 - 4*b + 7. Let a be t(2). Does 26 divide h(a)?
False
Is (9 + -2)*(-154)/(-2) a multiple of 12?
False
Suppose 0 = -3*v + 2*v. Suppose -2*n + 8*y - 4*y = 0, v = -4*n - y. Suppose 2*i - 3*i + 79 = n. Does 20 divide i?
False
Let x(j) = 17*j - 15. Let h(l) = 52*l - 45. Let z(v) = 4*h(v) - 11*x(v). Does 26 divide z(12)?
False
Suppose -11*z = -6*z - f - 514, 2*z + f = 200. Does 7 divide z?
False
Suppose 133*l = 131*l + 2560. Suppose -8*y + l = -0*y. Is y a multiple of 20?
True
Let v(c) = 28*c**2 + 18*c - 20. Is v(6) a multiple of 24?
False
Suppose g = -4*y + 5*g + 16, y + 8 = 5*g. Let t(o) = 4*o**2 - 23*o - 16. Does 6 divide t(y)?
False
Let b = 37 - 34. Suppose -b*m + 181 = -143. Is m a multiple of 29?
False
Does 14 divide 11/((-88)/24) + (2 - -404)?
False
Suppose -11*w = -15*w + 2584. Is 19 a factor of w?
True
Let t(p) = 38*p**3 - p**2 + 2*p - 1. Let w be t(1). Suppose 3*m = -3*i + 6, -2*i + 4 = -4*i + 2*m. Suppose i = -2*v + 16 + w. Does 9 divide v?
True
Does 4 divide -6*(-4)/64 + (-1692)/(-96)?
False
Suppose -n - 97 = -13. Let r = n + 189. Suppose 3*w - 2*o = o + r, 0 = -2*o. Does 15 divide w?
False
Let a(s) = 115*s + 12. Is a(3) a multiple of 21?
True
Suppose 0 = -31*t + 35*t - 12. Is 18 a factor of 1/t - 215/(-3)?
True
Let m(q) = -q + 92. Suppose 0 = 8*z - 7*z. Is m(z) a multiple of 23?
True
Suppose -12 = -q + b, -b = -2*q + 21 - 1. Let s(d) = d**2 - 5*d - 12. Let o be s(q). Let g(m) = 3*m + 24. Is g(o) a multiple of 15?
True
Let i be (1 + -2)*(-4 + 0). Suppose -i*d + 62 = v, -2 = -5*d - 4*v + 81. Is 11 a factor of d?
False
Does 15 divide (345 - (11 + -8)) + 5?
False
Let f(p) = -5*p**2 - p + 1. Let w be f(1). Let z be 2/2*(w + 50). Suppose j - 3*d + z = 4*j, 2*d - 60 = -5*j. Is 10 a factor of j?
True
Suppose 4*v + 2*j = 30, 2*v - 7*v + 38 = 3*j. Let l be (-2 - -1)*(124 - v). Let w = l - -177. Is 10 a factor of w?
True
Does 11 divide (22/99)/((-7)/(-4977))?
False
Let f = 9 - 14. Is 1/f - (-8)/(-20)*-153 a multiple of 14?
False
Suppose -y - 29 = -2*y. Suppose 2*s = 2*n + s - 25, -2*n = -5*s - y. Let z = 4 + n. Is 4 a factor of z?
True
Let g(i) = 4*i**3 - 2*i**2 - 4*i - 5. Let q be g(6). Let w = q - 470. Suppose 5*v - w + 38 = 0. Is v a multiple of 11?
False
Suppose -20969 = 3*h - 16*h. Suppose 203 - h = -10*o. Is 8 a factor of o?
False
Suppose -2*i + c = -1540, -4*i - c = 2*c - 3060. Does 16 divide i?
True
Let t(l) = -11*l + 17. Let v = 15 + -8. Let s be t(v). Let m = -31 - s. Is 15 a factor of m?
False
Let v(n) = n**3 - 13*n**2 - 12*n + 16. Suppose 3*g - 10 = 32. Let f be v(g). Suppose -2*q - 8 = -f. Is 9 a factor of q?
True
Let w = 38 + -34. Does 29 divide 176*1 + 8/(0 - w)?
True
Let m be 68/(-442) + (-3072)/(-26) + -2. Let g = m + -3. Is g a multiple of 7?
False
Let h(p) = -p + 14. Let d be h(12). Suppose -3*a + d*i + 122 = 0, -2*a - 160 = -6*a + 2*i. Is a a multiple of 9?
False
Let u = -211 - -1272. Is 50 a factor of u?
Fals