3/52. Let l = 3 - 3. Suppose -n*g - 2*g + 120 = l. Is g a multiple of 8?
True
Let m(v) = 17*v**3 + 2*v + 1. Let p be m(-1). Let j = 7 + p. Let g = j + 14. Is g even?
False
Let q(p) = p + 14. Let v be q(-9). Suppose -12 = -v*j + 2*j. Suppose 2*m + 3*n - 5*n - 20 = 0, -j*m + 3*n + 36 = 0. Is m even?
True
Suppose 0 = -4*m + 4*h + 2452, -5*h + 0*h - 5 = 0. Does 51 divide m?
True
Let t = -424 + 1345. Does 11 divide t?
False
Suppose -35*x = -x - 6120. Is 5 a factor of x?
True
Let t(q) = -6*q**2 + q - 2. Let i be t(1). Suppose z = -2*v + 5, -2*v = -10 - 0. Does 8 divide z/(105/72)*i?
True
Suppose -3 - 3 = -3*a. Suppose -18 = -a*b - 4*h, -2*h = 4*b - 4*h - 6. Suppose -59 = -b*j + 43. Is j a multiple of 16?
False
Let c(p) = -2*p**2 - 5*p + 1. Let l be c(4). Let x = l + 91. Is x a multiple of 8?
True
Let h(n) = -16*n**3 + n**2 - n - 1. Let s = 14 + -8. Let z be (-4)/12 + s/(-9). Is 5 a factor of h(z)?
False
Let q(t) = t**3 - 10*t**2 - 12*t + 12. Suppose -4*i = -5*m - 54, 5*i - 48 = 2*m + 11. Let s be q(i). Is (-6)/(-4 - (s + -4)) a multiple of 6?
True
Let m(c) = -34 - 6*c + 60 + 5*c**2 - 32. Let p be m(-6). Suppose 3*f - p = -2*u, 3*u + 2*u = -f + 57. Does 12 divide f?
True
Suppose b + 2*n - 14 = 10, 5*n + 15 = 0. Let a be (147 - -1)*(0 + 5/10). Suppose -6*i - g + a = -i, -i - 4*g = -b. Does 4 divide i?
False
Let q = -4 - 0. Let n be (q/5)/((-24)/60). Suppose -65 = -5*d - 3*p - n*p, 0 = -5*d - p + 49. Is d a multiple of 5?
False
Let o = 29 + -27. Is 12 a factor of (-3)/o + 342/4?
True
Suppose -3*k - 14 = y + y, 3*k + 12 = 0. Let n be -9 + 64 + 1*y. Suppose 96 = 2*x - 2*d, 5*d = -x + n - 6. Is x a multiple of 16?
True
Suppose r + 701 = 3*k, 0*r = -2*k + r + 466. Is k a multiple of 47?
True
Let b be 1 + 86 + -2 + -1. Let z be (-4644)/b - (-2)/7. Let y = 116 + z. Is y a multiple of 17?
False
Let l be 2/13 + 408/52. Let z(q) = q + 25. Is z(l) a multiple of 13?
False
Suppose -m + 5*q = 3 - 71, -5*q - 440 = -5*m. Is 31 a factor of m?
True
Let m = 3233 + -1744. Is 8 a factor of m?
False
Suppose -5*t + 375 = w, 385 + 1043 = 4*w - 4*t. Is w a multiple of 8?
True
Let p be (4 - 2) + -1 - 3. Does 18 divide p/2 - 0 - -19?
True
Let w(l) be the second derivative of -l**3/6 + 4*l**2 + 4*l. Let c be w(7). Does 17 divide 49 + 4/c + -2?
True
Is 17 a factor of -3*(9 + (-6620)/30)?
False
Let r be (-1058)/3*(5/10 - 2). Suppose 0 = 5*u - r - 51. Is 29 a factor of u?
True
Let t(h) be the first derivative of 7 + 2*h**2 + 2*h**2 - 17 + 6*h. Is 12 a factor of t(4)?
False
Suppose -99*x = -115*x + 54400. Does 20 divide x?
True
Suppose -2*b + 8 = 7*a - 3*a, a - b = -4. Suppose h + a = 4. Let c = h + 4. Is 8 a factor of c?
True
Suppose 151 = 2*m - y, -7*m + 10*m - 259 = -5*y. Does 39 divide m?
True
Suppose 3*w + 5 = 4*w + 4*b, 5*b = 20. Let v = w - -16. Suppose -f + 27 = 4*d, -2*f + 0*f = v*d - 39. Does 7 divide f?
True
Let h(x) = -4*x - 30. Let d be h(6). Let r = d + 114. Is 9 a factor of r?
False
Suppose 3*w = -f - 1, -4 + 1 = 4*w + 3*f. Suppose 5*d + 79 + 71 = w. Does 7 divide 15/4*(-160)/d?
False
Suppose -3*d - 5*q - 13 = 0, -5*q + q = 3*d + 8. Suppose -d*u - 6*r + r = -398, 386 = 4*u - r. Does 4 divide u?
False
Suppose 3*t - 9 = 0, -2*s + 1677 = 5*t - 4*t. Does 9 divide s?
True
Let i(o) = -5*o. Let s be i(-1). Suppose 2*m = -s*y - 4 + 9, -5*m = 2*y - 2. Does 2 divide y*((-2)/(-2) + 2)?
False
Let s(i) = -3*i**2 + 2*i - 3. Let r(d) = -7*d**2 + 3*d - 7. Let k(c) = -2*r(c) + 5*s(c). Let h be k(4). Is h/(-1 + 60/64) a multiple of 5?
False
Let l(h) = 19*h**2 - 16*h - 49. Is l(-5) a multiple of 23?
True
Let k = -4674 + 8373. Is 27 a factor of k?
True
Suppose -4*u + 766 = -5*p, -3*p = 4*u - 6*p - 762. Is u a multiple of 6?
False
Is ((-78)/(-3)*11)/(4/2) a multiple of 11?
True
Suppose 8*p = -819 + 6955. Is 7 a factor of p?
False
Let r(n) = 6*n**3 + 6*n**2 + 17*n + 14. Let w(g) = 5*g**3 + 7*g**2 + 16*g + 13. Let c(k) = -4*r(k) + 5*w(k). Suppose 2*j - 5*j = 27. Is 24 a factor of c(j)?
False
Let w(n) = 8*n**2 - 9*n + 157. Does 27 divide w(7)?
True
Suppose -d + 4*c + 52 = 0, -2*d - 3*c + 128 = -5*c. Suppose 0 = 2*f + 14 - d. Is 9 a factor of f?
True
Let c = 2925 + -840. Is 18 a factor of c?
False
Suppose -926*m + 918*m + 1032 = 0. Is m a multiple of 5?
False
Let i be (1/1 - 1)/(-1). Suppose 3*x + 5*j - 50 = i, -3*x = -5*x + 5*j. Suppose 3*q = 23 + x. Is 7 a factor of q?
False
Let z be ((-76)/8)/((-5)/50). Let d = 183 - z. Suppose -m = -0*m - d. Does 17 divide m?
False
Suppose -2*a - 3*a - 50 = 0. Let c = a + 13. Does 19 divide c/12 - (-717)/12?
False
Let n = 102 - 34. Suppose -2*m + 2 = -4*u - 6, 0 = -4*m - 5*u + n. Is m + -1 - (-18)/6 a multiple of 7?
True
Suppose -7*k = 10 - 24. Suppose -g + 82 = 2*w + k*g, -5*w + g = -222. Is 22 a factor of w?
True
Let a(f) = -2*f - 27. Let g be a(-20). Suppose m - g + 7 = 0. Is m a multiple of 6?
True
Let u = -9 + 5. Let g(l) = -2*l**2 + 4*l + 6. Let t(b) = -b**2 + 3*b + 4. Let k(q) = -5*g(q) + 8*t(q). Is k(u) a multiple of 7?
False
Suppose 0 = -31*q + 35*q + 20. Does 3 divide -4 - q/(15/111) - -1?
False
Let x be (-230)/3*(-18)/12. Suppose 16 = -4*o - 4, -4*i - o + x = 0. Is i a multiple of 6?
True
Let p = -225 - 268. Let i = -209 - p. Is 26 a factor of i?
False
Let h(d) = 13 + 0*d**2 + 2*d**2 + 3*d**2 - 4*d**2 + 15*d. Let o be h(-14). Is o/4 + (-423)/(-12) a multiple of 14?
False
Suppose 2*j - j = -2*j. Suppose j = -5*g + 3*p + 70 + 236, 4*g - 2*p - 244 = 0. Is 12 a factor of g?
True
Let c(y) = 3*y**2 - y - 9. Let g(p) = p**3 - 6*p**2 + 5*p + 6. Let v be g(4). Is 15 a factor of c(v)?
True
Let h be 0 + (1 - 4) + 91. Suppose -5*p + 3*l = -h + 2, 5*p + 4*l - 107 = 0. Suppose p + 11 = b. Does 15 divide b?
True
Let z be (1 + -2)/((-16)/(-208)). Let o = z + 29. Suppose -o = -5*j + j. Is j a multiple of 4?
True
Let j(l) = -l**3 + 6*l**2 + 8*l - 11. Let f(g) = -g**3 + 5*g**2 - 3*g + 2. Let w be f(4). Is j(w) a multiple of 6?
False
Let o be 78/9 - 4/6. Suppose -c - 4*c = -2*b - o, c - 3 = -b. Suppose -4*l + 223 = -4*i + 47, 5*l + c*i = 206. Does 9 divide l?
False
Suppose -3*y + 0*y = -249. Suppose 36 - y = -g. Suppose -2*c + g + 47 = 0. Is 6 a factor of c?
False
Is (1 - 21/9)/(10/(-1710)) a multiple of 12?
True
Let k(j) be the third derivative of j**6/120 + 11*j**5/60 + 3*j**4/8 + j**3/6 + 8*j**2. Is k(-8) a multiple of 13?
False
Suppose -406 = -22*x + 21*x. Let h = -598 + x. Is (h/(-9))/(2/6) a multiple of 14?
False
Suppose -q + 8395 = 11*y - 9*y, -2*y - 4*q = -8380. Is 75 a factor of y?
True
Let w(h) = h**2 - 14*h + 7. Let k be w(13). Let o be 3/(k*2/(-8)). Suppose 4*y - 83 = i, -o*y - 3*i + 16 = -15. Is 6 a factor of y?
False
Suppose 2*w + 0*w - 11 = 3*u, 5*w + 2*u - 37 = 0. Let j(y) = y**3 + 6*y**2 + 5*y + 2. Let l be j(-5). Suppose -h = 5, 0*h - w = k + l*h. Does 3 divide k?
True
Suppose 5*m - 192 = -3*i, -5*i + 320 = 3*m - 0*m. Let n = -21 + i. Is 7 a factor of n?
False
Suppose -2*x + 2*q + 18 = -0*x, -15 = -4*x - 3*q. Suppose -x = -2*f + 2. Is 4 a factor of (-1)/(6/f)*-30?
True
Let y(l) = 22 - 51 - 3*l**2 + 26 - l**3 + 2*l**2. Let f be ((-6)/4)/1*2. Does 7 divide y(f)?
False
Suppose -3*o = q + 3, 3*o - q = 3 - 6. Let c = 145 + o. Does 24 divide c?
True
Let r = 20 + -12. Suppose r*h = 4*h + 48. Is 10 a factor of (-3)/h + 847/28?
True
Let l = 1120 - 427. Does 11 divide l?
True
Suppose -282 = -2*v - b, -3*v + 0*v = 5*b - 416. Suppose 0 = 5*o - 608 - v. Is o a multiple of 15?
True
Let y(v) = v**3 - 14*v**2 + 5*v - 11. Let x be y(14). Suppose -4*c + x = l - 95, 2*l = -3*c + 288. Does 23 divide l?
True
Let k(i) = -i - 4. Let m be k(4). Let v(r) = -24*r - 12 + r**3 + 59*r - 38*r + 8*r**2. Is v(m) a multiple of 4?
True
Suppose 2*v + 2*v = 12. Suppose q - 6*q = -v*b + 130, -4*b = 3*q - 212. Does 25 divide b?
True
Let a(y) = -y**3 + 13*y**2 - 2*y + 18. Is a(8) a multiple of 26?
False
Suppose a + 39 = 5*q, 5*a = -q - q + 21. Let n be ((-321)/12)/((-2)/q). Suppose 4*w + 144 = 4*z, -3*z = -0*z - 4*w - n. Is z a multiple of 17?
False
Let n = -1349 - -1769. Is n a multiple of 14?
True
Suppose -4*b + 21 = -3*b. Does 11 divide (-741)/(-12) - b/28?
False
Let r(g) = 29*g - 463. Does 56 divide r(43)?
True
Let d(y) = 35*y + 2. Does 2 divide d(5)?
False
Does 38 divide (2 + (-3 - -1) + 1)*246?
False
Suppose 5*l + 9 = y, l = 4*y - l + 54. Suppose -z = 2*z + 15, 2*g - 5*z + 