 - g**5/12 + 5*g**3/6 - 2*g**2. Let z be o(5). Suppose -z*q + 2*q = -90. Is 22 a factor of q?
False
Let w(n) = 8*n + 284. Is 25 a factor of w(27)?
True
Is (31/(-93))/((-1)/333) a multiple of 5?
False
Suppose 0*t + 3*t + 2*o - 1054 = 0, -350 = -t - 2*o. Is t a multiple of 11?
True
Suppose 36 - 24 = 4*j. Suppose -9*g = j*g - 324. Does 6 divide g?
False
Let p(l) = -272*l - 6. Does 47 divide p(-1)?
False
Let z be 1/(2/(-2))*24. Let d = 57 - 5. Let b = z + d. Does 14 divide b?
True
Is 10/10*-8 - -2667 a multiple of 46?
False
Suppose 2*t + v + 8 = -3, -4*t - 4*v = 28. Let d be (-14)/t*(-132)/(-77). Suppose d*a = 2*a + 32. Is a a multiple of 2?
True
Let h(j) = 25*j - 218. Is h(20) even?
True
Suppose -29*j + 22*j = -196. Suppose j*x = 33*x - 975. Does 39 divide x?
True
Let d(b) = 4*b**2 - b - 2. Let s be d(-1). Suppose 0 = -s*g + 6*g - 96. Does 16 divide g?
True
Suppose 2*z + 5*h = 3*z - 90, -3*h - 362 = -5*z. Is z a multiple of 47?
False
Suppose -5*l + 3600 = 15*l. Is 3 a factor of l?
True
Let j(o) = 199*o**2 - 12*o - 11. Is j(-1) a multiple of 40?
True
Let p(i) be the third derivative of -5*i**4/4 + 17*i**3/6 - 10*i**2. Let q be p(-7). Suppose -40 - q = -3*o. Is o a multiple of 20?
False
Let k(m) = 17*m + 38. Let z be k(6). Suppose -4*x = -6*x + z. Does 13 divide x?
False
Suppose -3*g = -4*g + 55. Suppose -5*s + 165 = g. Is s a multiple of 11?
True
Let f(n) = 2*n**2 + 2*n - 10. Let l be f(0). Let i = 2 + -6. Is l/((-17)/4 - i) a multiple of 14?
False
Let i(y) = -129*y - 21. Is 12 a factor of i(-1)?
True
Let a be (-2)/14 - 6432/56. Let x = a - -48. Let w = -11 - x. Does 14 divide w?
True
Let i(u) = 39*u + 57. Does 7 divide i(13)?
False
Let m = 824 + -338. Is 17 a factor of m?
False
Let p(u) = 5*u + 55. Let r be p(-11). Suppose i = -r*i + 74. Is i a multiple of 10?
False
Let z(r) = -r**2 - 7*r + 3. Let h be z(-6). Suppose 30*n - h = 29*n. Is 2 a factor of n?
False
Suppose -3*d = -4*d - 3*b - 7, 9 = -3*d - 5*b. Let y = 4 + d. Suppose 0*r - 4*r + 64 = -4*c, 0 = r + 4*c - y. Does 3 divide r?
False
Let u = -65 + -22. Let m = -33 - u. Does 31 divide (-2)/9 + 1686/m?
True
Let v be (1 - 3)*(3 - 11). Let k = v + -25. Is (-165)/k - (-4)/(-12) a multiple of 13?
False
Let q(x) = -2*x + 4. Let w(h) = h. Let l = -35 - -25. Let y be w(l). Does 12 divide q(y)?
True
Suppose -2*h + 662 = -2*c - 3*c, -4*h + 4*c + 1300 = 0. Suppose 0 = -4*u + 491 + h. Suppose 5*l + 405 = 5*i, -3*i = -0*l + 5*l - u. Is i a multiple of 19?
True
Let p(x) be the second derivative of -x**3/3 - 2*x. Let y = -39 - -31. Is 6 a factor of p(y)?
False
Suppose 0 = 5*w - 10, 0*c - 4*w = -4*c + 144. Suppose -c + 242 = 3*b. Is b a multiple of 17?
True
Let w(o) = 25 - o**3 - 4 - 3 + 2*o - 6*o - 13*o**2. Does 35 divide w(-13)?
True
Let h be ((-8)/5)/(7/(-420)). Let v = -65 + h. Is v a multiple of 14?
False
Let s be (1 - -2)*(-5)/(-3). Suppose s*z + 324 = 8*z. Suppose g - 5*o = 52, -z = -5*g + 2*o + 106. Does 21 divide g?
True
Let m = 52 - 17. Suppose 2*t - 85 - m = 0. Is 20 a factor of t?
True
Suppose -13*n = -12*n - 133. Does 19 divide n?
True
Suppose -27*v + 18580 = -7*v. Does 13 divide v?
False
Let s = -37 + 61. Let r = 29 - s. Suppose 0 = -n + r, -5*k - 2*n + 270 = 3*n. Is 24 a factor of k?
False
Suppose -y + 5*o - 26 = 0, y + 4*y + 3*o + 18 = 0. Let u be 3 + -4 + y/(-2). Suppose -27 = u*m - 39. Does 2 divide m?
True
Let l(o) = 3*o**3 - 5*o**2 + o - 3. Let b(d) = 9*d**3 - 16*d**2 + 3*d - 10. Let c(y) = -2*b(y) + 7*l(y). Is c(2) a multiple of 9?
False
Let b be (8/6)/(((-12)/405)/4). Does 5 divide (-2 - (-32)/20)*b?
False
Let d = -1135 + 2446. Is d a multiple of 57?
True
Let x(b) = b + 1. Let y(u) = 2*u + 2. Let s(w) = 3*x(w) - y(w). Let k be s(1). Is k + 0 + 1 + 17 a multiple of 10?
True
Suppose -4*g = -20, 1060 = -3*a - 5*g - 319. Does 11 divide a/(-10) + 0 - (-1)/5?
False
Let l(v) = -v**3 - v**2 + 12*v. Let i be l(-7). Does 10 divide 2/((-14)/(-21) - 134/i)?
True
Is 10 a factor of (-66)/44 - ((-5394)/4 - 3)?
True
Let p(j) = -3*j - 21. Let s be p(-7). Suppose s*r = 4*r - 48. Does 5 divide r?
False
Does 9 divide (-2404)/(-9) + 2*1/(-18)?
False
Suppose 4*a - 5 - 3 = -5*u, 2*u - 3*a = -6. Suppose 2*i = u, 2*i = 4*s - 220 - 128. Does 13 divide s?
False
Suppose 9 = k + 8*h - 4*h, -4*h + 8 = 0. Let s(n) = 19*n - 11. Let t(w) = w. Let v(j) = k*s(j) + 5*t(j). Does 28 divide v(5)?
False
Suppose -367*d + 378*d = 10626. Does 21 divide d?
True
Suppose -4*y = -q + 101, -2*q - 136 = -y + 6*y. Let j = 68 + y. Does 3 divide j?
True
Suppose 0*s = 2*s - 42. Let p = s + 3. Is 10 a factor of p?
False
Let o = -1 - 8. Is (8/(-6))/(o/108) a multiple of 8?
True
Let j(i) = i**3 - 5*i**2 - 11*i + 7. Let d be j(7). Suppose 0 = -3*p + d - 7. Is 2 a factor of p?
False
Suppose 4*c - 3*c + 48 = -5*y, 0 = 3*y - 5*c + 40. Let n be (-8)/(-3)*(-15)/y. Suppose -n*u = -2*s - 66, -u + 3*s = -16 - 8. Is 7 a factor of u?
False
Let h(i) = i**3 - 6*i**2 + 2*i + 7. Let y be -2 + (-3 - 5)/(-1). Let b be h(y). Suppose 0 = -6*s + 2*s - x + 37, -3*x = -s + b. Does 10 divide s?
True
Let y(b) = 6*b + 28. Let v be y(13). Suppose -v = -6*g + 14. Is 10 a factor of g?
True
Let i = 7 + -4. Suppose 5*f - i*k - 31 = 0, -2*k + 1 = 4*f - 3*f. Suppose 0 = h - f*w + 12, 5*w = 6*h - 3*h - 4. Does 4 divide h?
True
Let v(h) = -h**3 + 9*h**2 - 4*h - 12. Let i be v(9). Does 11 divide 1210/14 - i/(-112)?
False
Suppose -2661 = -3*y - 3*l, 11*y - l = 6*y + 4435. Does 16 divide y?
False
Let t = 94 - 91. Suppose -2*d = -t*k + 83 - 437, -4*d + 5*k + 712 = 0. Is 12 a factor of d?
False
Let l = -90 + 46. Let y = l - -248. Does 14 divide y?
False
Suppose 3*y + x = 744, -y + 3*y - x = 496. Does 31 divide y?
True
Let j(m) = -m**2 + 19*m + 45. Let y be j(21). Suppose -343 = -5*k - 3*r, -k + r + y*r = -64. Does 17 divide k?
True
Let a = 3 + 0. Suppose -a*x - 77 = 5*h, -x + 2*x = 2*h + 22. Let f(o) = -6*o + 9. Does 24 divide f(h)?
False
Suppose 700 = 3*n - 3*l + 268, 3*n + 3*l = 408. Is n a multiple of 35?
True
Suppose -166 = 25*l - 916. Is l a multiple of 3?
True
Suppose 6*t - 29*t = -11155. Is t a multiple of 29?
False
Let s(c) = 280*c + 17. Is 27 a factor of s(1)?
True
Let y(g) = -g + 18. Let i(r) = r**3 - 4*r**2 + 5*r - 3. Let v be i(3). Suppose v*t = -t + 40. Is 8 a factor of y(t)?
True
Let d = 4223 - 2323. Is 38 a factor of d?
True
Let u(k) = 6*k**2 + k - 1. Let h be u(2). Let q = h - 24. Suppose 4*s - 80 = -2*w, q = 2*w + 5*s - 81. Is w a multiple of 12?
True
Let k be 0*((-6)/4)/3. Suppose -8*p + 2*p + 78 = k. Is 6 a factor of p?
False
Suppose c = 9 + 14. Suppose 0 = -4*a + 379 - c. Is 33 a factor of a?
False
Let o(n) be the second derivative of n**4/12 + n**3/6 - 2*n**2 + 14*n. Suppose 20 = -0*j + 5*j. Is 8 a factor of o(j)?
True
Suppose 0 = h + 17 - 20. Suppose 84 = h*k + 9. Does 13 divide k?
False
Let a = 18 + -13. Suppose -15 = a*b, 2*q - 6*q + 2*b = -30. Is q a multiple of 3?
True
Suppose 3*a - a + 16 = -3*r, 5*r = -3*a - 24. Let u(l) = 2*l**2 + 5*l - 18. Does 9 divide u(a)?
False
Is (-56)/63*-353 + 14/63 a multiple of 10?
False
Suppose -8*y + 12 = -2*y. Suppose g = -4*l + 22, -g + 4*l = -6*g + 30. Let m = y + g. Is m even?
True
Suppose -889 = -3*r + d, 598 = 20*r - 18*r + 2*d. Does 3 divide r?
True
Let f(a) = 2*a**2 - 20*a + 162. Is 10 a factor of f(8)?
True
Let l be (36/(-21))/((-3)/14). Suppose -3*b = -l - 1. Suppose b*q + q = 136. Does 34 divide q?
True
Suppose 4*p - 16 = -4*g, -2*g + 5*p + 22 = -0*g. Does 5 divide (-18)/g + (22 - 0)?
False
Suppose x - 2*t = 4, -1 = -0*t + t. Suppose -2*z - 2*g + 3*g + 8 = 0, -x*z = 5*g + 4. Suppose -z*l = -9 - 12. Is l a multiple of 7?
True
Let j(x) = 46*x - 120. Is 9 a factor of j(12)?
True
Let b(a) = -a - 14. Let d be b(-7). Let z be (-14)/(-6) + d/21. Does 9 divide 6/(z - 0)*3?
True
Does 14 divide (11/(-2 + -9))/(1/(-574))?
True
Suppose 4*v = -3*g + 1940 + 324, -g - 2*v = -752. Is 38 a factor of g?
True
Suppose -25*f + 211 = -24*f. Suppose -5*l + 360 = 5*s, -f = -3*l - 0*s + 2*s. Is 10 a factor of l?
False
Let r(w) = 2*w**2 - 6*w + 3. Let v be r(10). Suppose -v - 5 = -4*p. Suppose -4*x = 3*o - 49, 3*o - 2*x - 6 - p = 0. Is 11 a factor of o?
False
Let n = 1835 + -1247. Does 12 divide n?
True
Let u(k) = k**2 + 27*k + 26. Let b be u(-17). Let m = -100 - b. Is 10 a factor of m?
False
Let h = -4043 + 6122. Is h a multiple o