ose 0*a = -a - 1. Let j be (a + (-36)/(-28))*7. Suppose j*g + 2*g - 40 = 0. Is 3 a factor of g?
False
Let n be 68/28 - (-9)/(-21). Suppose n*v + 3*v + 175 = 0. Let w = v + 71. Is 12 a factor of w?
True
Let a(g) = 54*g - 23. Let p be a(7). Suppose 0*s - s - z + 71 = 0, 0 = 5*s + 2*z - p. Does 16 divide s?
False
Let b be 3 - (2 - -2)/2. Is 2 a factor of -19*(b + -4 + 2)?
False
Suppose -z = -0*z - 4*n + 14, 2*z - 5*n = -16. Let o = 7 - z. Is 7 a factor of 2/o - 138/(-5)?
True
Let k(a) = 15*a + 1. Suppose 10*o - 11*o + 7 = 0. Suppose -2*m + o + 5 = 0. Is k(m) a multiple of 19?
False
Suppose 5*a = 2*w + w + 3, 5*a = -w - 1. Let g(k) = -5*k + a*k - k**2 + 10 + 2*k**2. Is g(7) a multiple of 13?
False
Suppose -2 = 5*c - 17. Let a = -49 + 73. Let x = c + a. Is x a multiple of 8?
False
Let z be (4 - (-90)/(-21))*-14. Suppose -3*f - 54 = -5*f. Suppose z*t = 5*t - f. Does 27 divide t?
True
Is 15 a factor of -11 - ((-960)/4 - 11)?
True
Let j(p) = -8*p**2 - 10*p + p**3 - p**3 - p**3 - 7. Let o be j(-7). Suppose -o + 74 = 3*z. Does 20 divide z?
True
Let v(w) = 5*w - 6. Let t be v(2). Suppose 4*c + 370 = 3*m, 0 = t*m - 5*c - 597 + 102. Is 13 a factor of m?
True
Suppose 17 = -5*x - 2*d + 550, 5*x = 3*d + 538. Is x a multiple of 4?
False
Let r(h) = -12*h + 8. Let g be r(-13). Let z be g/14 + 8/28. Suppose x = -4*w + 41 - z, 4*w - 17 = -5*x. Does 3 divide w?
False
Suppose 3*g = 8*g. Let b(z) = 5*z - 40. Let l(k) = -4*k + 41. Let i(f) = 5*b(f) + 6*l(f). Does 8 divide i(g)?
False
Let r be (-3)/18 - 175/(-42). Suppose 0 = r*c, 5*c + 20 = -3*x + 152. Does 12 divide x?
False
Let g = -86 - -132. Is g a multiple of 19?
False
Let l = 1258 + -897. Is 17 a factor of l?
False
Let t be 273/(-6) + (-3 - 5/(-2)). Let v = t - -79. Does 11 divide v?
True
Let r(i) = -i + 10. Let p(f) = -f**2 - 7*f + 7. Let z be p(-7). Let j be r(z). Suppose -4*c - 84 = -4*y, j*y + 2*c = 6 + 32. Is 3 a factor of y?
False
Let i(f) = 10*f - 12. Let k(y) = y**2 - 5*y + 6. Let x be k(5). Is i(x) a multiple of 6?
True
Let h = -446 - -842. Does 33 divide h?
True
Let u(q) = -8*q - 34. Let j be (44/(-16))/((-1)/(-4)). Is u(j) a multiple of 27?
True
Suppose s - 8 = -3*s. Suppose -s*q + 95 = -125. Is q a multiple of 27?
False
Let c = 6 + -1. Let t(q) = 8*q + 58. Let k be t(-7). Does 21 divide c*(k - 296/(-20))?
True
Let k = -297 + 792. Does 15 divide k?
True
Let g(i) = -i + 30. Let q be g(0). Let f = q + -21. Suppose -6*k - f = -7*k. Does 9 divide k?
True
Suppose -3*j = 7*b - 3*b - 1100, -4*j + 5*b = -1477. Is j a multiple of 46?
True
Does 12 divide -3*269*4/(-12)?
False
Does 3 divide -6 - (-486)/(3/1)?
True
Let a = -11 + 14. Suppose -a*q + 20 = -q. Is 19 a factor of ((-390)/(-25))/(2/q)?
False
Let q(f) = 2*f**2 + 15*f - 95. Is 2 a factor of q(-18)?
False
Let i(w) be the second derivative of -1/2*w**2 + 2/3*w**4 + 0 - 1/6*w**3 + 7*w. Does 11 divide i(-2)?
True
Suppose 0 = n - 2*i + 1, n + 5*i - 2 = 4. Let s be n*(2 - 1)*0. Suppose s = -7*y + 8*y - 66. Is 22 a factor of y?
True
Let c = 771 - 343. Is c a multiple of 7?
False
Suppose 0 = -6*p + 2*p + 8. Suppose 2*g = g - 16. Is p*38*(-12)/g a multiple of 19?
True
Is 36 a factor of (11 - -11)*(3 - 2 - -1)?
False
Let d(q) = 5*q**3 + 2*q**2 - 2*q + 4. Does 15 divide d(3)?
False
Is 3 a factor of (-448)/35*(-15)/2?
True
Let x(s) = 295*s**3 + 1. Let h be x(-1). Let p = 198 + h. Let m = 152 + p. Is m a multiple of 19?
False
Let z = 86 - 82. Suppose -z = -a + 12. Does 8 divide a?
True
Suppose 0 = 3*k + 3*t - 4530, 59*t - 63*t + 7554 = 5*k. Is k a multiple of 38?
False
Let d be (-36)/(-16)*-6*26. Let p = d - -502. Suppose 0 = 5*m - s - p, 5*m - 4*s + 2*s = 147. Is m a multiple of 7?
False
Let t be 36/162 - ((-368)/(-18))/2. Is ((-171)/(-6))/((-5)/t)*1 a multiple of 4?
False
Let a(l) = 7*l**2 - 11*l - 79. Is a(-18) a multiple of 77?
True
Let n = -1553 - -1604. Is n a multiple of 3?
True
Let p be (-92)/6*15/(-2). Let s(b) = -15*b + 10. Let c be s(-5). Suppose 0 = -5*y + c + p. Is y a multiple of 8?
True
Let g(x) = 6*x**3 + 4*x**2 - x - 5. Let f(o) = 7*o**3 + 3*o**2 - 2*o - 5. Let r(c) = 2*f(c) - 3*g(c). Is 35 a factor of r(-4)?
False
Suppose -5*z - 40 = -2*y, 2*z = 5*y - 2*z - 100. Let p = -17 + y. Suppose 4*m = p*s - 190 + 8, -290 = -5*s + 4*m. Is s a multiple of 18?
True
Suppose -121*j + 23712 = -45*j. Is 12 a factor of j?
True
Is 5*10 - (-12)/(-18)*-3 a multiple of 3?
False
Suppose -45 = -3*j - 2*a, -4*j + 5*a + 80 = a. Suppose -2*s + 2 = -m + j, 0 = -m - s. Suppose -3*h + 3*y = -51, -m*h = -0*y + 5*y - 35. Does 12 divide h?
True
Let z(h) = -2*h**3 - 15*h**2 + 8*h - 24. Does 44 divide z(-10)?
True
Suppose 0*f + 14 = 4*f + 2*k, 0 = 3*f - 2*k - 14. Suppose -5 = q, -2*j = -f*j - 3*q - 15. Suppose j = 5*x + 6 - 66. Is x a multiple of 4?
True
Let v(h) = -h**3 + 8*h**2 + 18*h + 7. Let x(j) = j**3 + 15*j**2 + 11*j - 33. Let z be x(-14). Does 8 divide v(z)?
True
Suppose -1109 - 916 = -15*x. Is x a multiple of 9?
True
Let o = 46 + -11. Suppose -5*m = 3*w + o - 545, -m - 3*w = -114. Is 17 a factor of m?
False
Let o(i) = 2*i**2 + 13*i - 20. Let r be o(-8). Suppose 5*n - 81 = -r*n. Does 5 divide n?
False
Let c(w) = -w**2 + 4*w + 3. Let s be c(4). Suppose 4*z + 3*f = 11, 0 = s*f - 0 - 3. Does 2 divide (1 - -1)*2/z?
True
Suppose 3*z - 1444 = -n - 589, 1411 = 5*z - 3*n. Does 40 divide z?
False
Suppose -3*y = -3*j + 60, -y + 32 = -2*y - 3*j. Let t = 20 + -12. Let w = t - y. Is 17 a factor of w?
False
Let k be (4 - (-2 + 6)) + 0. Suppose -g - 3*s = -284, 0 = -3*g - k*g - 2*s + 852. Suppose 3*x = -86 + g. Is 22 a factor of x?
True
Suppose -370 = -5*j - 0*j. Let y = -20 + j. Is y a multiple of 26?
False
Let m = -832 + 1564. Is 12 a factor of m?
True
Let y(j) = -46*j - 34. Is 21 a factor of y(-3)?
False
Let j(s) = -23*s**3 + 2*s + 1. Let p be j(-1). Suppose 0 = -5*o + 3 + p. Is 8 a factor of 151/o + (-6)/30?
False
Suppose 8*g = 5*g + 15. Let r(n) = n**3 - 13*n**2 + 2*n + 2. Let u be r(13). Suppose -g*d + 3*d = -u. Does 14 divide d?
True
Suppose 27560 = -28*n + 41*n. Does 10 divide n?
True
Let u = -172 + 312. Suppose -3*j - u = -7*j. Does 7 divide j?
True
Let i(x) = -6*x + 7*x - 4*x**3 - 2*x - 1 - x**2. Let t be i(-1). Is (75 + t)/((-3)/(-2)) a multiple of 14?
False
Let f(p) = -p**3 + p**2 - p + 2. Let g be f(0). Suppose -4*h + 9 + 4 = w, h + 5 = -3*w. Suppose 9*n - 184 = h*n + 2*s, -2*s = g*n - 82. Is 6 a factor of n?
False
Let b be (349 - -1) + 3 + 0. Let o = b + -197. Is 39 a factor of o?
True
Let u = 1770 + -1258. Is 9 a factor of u?
False
Does 3 divide (-4)/(4856/696 - 7)?
True
Let b(v) = -2*v**3 - 10*v**2 - 3*v - 1. Let g be b(-7). Suppose -5*q + 146 = 2*f, -3 - g = -3*f + 3*q. Is f a multiple of 9?
False
Let c be 3 - (3 - (3 + 1)). Suppose -5*q + 0 + 5 = -c*k, -4*q = -k - 4. Suppose k = -4*i + 121 - 45. Is 8 a factor of i?
False
Suppose -6*h - 14 + 14 = 0. Suppose 4*t + h*t = 560. Is t a multiple of 25?
False
Let n(q) = q**3 + 5. Let v be n(0). Let x be (9 - v) + 0 + -1. Suppose x*i - 4*i = -58. Is i a multiple of 17?
False
Let o = 5 + -5. Suppose o = -a - 4*r + 34, 5*r = 4*a - 3*a + 11. Suppose 6*c = 7*c - a. Is c a multiple of 14?
True
Suppose -11 - 1 = -3*q. Suppose q*w = 8, -534 = -3*u - u + w. Is u a multiple of 35?
False
Let c(d) = -d**3 + 8*d**2 + 8*d + 11. Let h be c(9). Suppose -j - 5*p + 12 = -h*p, -4*p + 8 = 0. Does 3 divide j?
True
Let v(h) = 2*h**2 + 5*h - 7. Let n be v(-5). Suppose 5*x + n = -22. Let u = 18 + x. Does 10 divide u?
True
Let o(z) = -z**2 - 6*z - 2. Let y = -3 + -2. Let g be o(y). Suppose -31 = -u + g. Is u a multiple of 15?
False
Suppose 4*b - 3*b = n - 3, 4*b + 8 = 0. Is (2 + -6)/(n/(-25)) a multiple of 20?
True
Let l(r) = 53*r - 173. Is 29 a factor of l(6)?
True
Suppose 9*x + 756 = 23*x. Does 9 divide x?
True
Suppose -29*i + 11772 = -7049. Does 24 divide i?
False
Is (240/(-14))/((-20)/560) a multiple of 12?
True
Let b be (-12)/(-20)*(31 - 1). Does 9 divide 202/18 - 4/b?
False
Let f(q) = -2*q - 5. Let j be f(-8). Suppose -4*w = 3*b - 31, 0 = 5*b - 14 - j. Suppose 0*y = w*y - 300. Is y a multiple of 11?
False
Suppose 8 = 16*s - 72. Suppose s*q + 131 = j + j, j - 4*q - 58 = 0. Is 13 a factor of j?
True
Suppose -3*y + 2*y + 3*i = -666, 3*y - 4*i - 1993 = 0. Does 51 divide y?
True
Does 24 divide (-63)/(-54) - 4601/(-6)?
True
Let f = -95 + 97. Is (-360