11 - 35. Suppose 0 = -5*p + 39 + g. Is 23 a factor of p?
True
Let u = -183 + 204. Does 21 divide u?
True
Let l be (27/6 + -4)*0. Suppose -8*z + 9*z - 13 = l. Does 6 divide z?
False
Let s(r) = -7 + 21*r + 7. Let q be s(3). Let t = -36 + q. Is 8 a factor of t?
False
Suppose g - t = 0, 4*g - 17 - 1 = -5*t. Let a(k) = 9*k**2 - 2*k + 1. Is 13 a factor of a(g)?
False
Let f(p) = 47*p + 4. Is 14 a factor of f(1)?
False
Let f = 0 - 2. Let x(p) = -2*p - 3. Let v be x(f). Is v*(-1 + 5) + 2 a multiple of 2?
True
Let m be 3/(-2) - 63/18. Let n(l) = -5*l - 4. Is 5 a factor of n(m)?
False
Suppose -5*u + 34 = -v - 3*v, -v - 4*u = -2. Let s = v + 11. Does 3 divide s?
False
Let l = 160 + -116. Is 9 a factor of l?
False
Suppose 5*a + 4*x = 104, -3*x = 2*a - 0*x - 43. Is a a multiple of 10?
True
Let x = -19 - -32. Suppose 0 = 4*l - y - 70 - x, 66 = 3*l - 2*y. Let g = l + -14. Does 6 divide g?
True
Let u(c) = -8*c + 2. Is 4 a factor of u(-4)?
False
Let d(q) = -q**3 + 6*q**2 + 6*q - 3. Let m = -5 + 48. Suppose 3*s + 5*x - m = 0, -s - 4*s + 35 = x. Is 11 a factor of d(s)?
True
Let p(g) = g**2 + 2. Let n be p(4). Suppose -d + n = k + 4*k, -3*k = -12. Is 7/14 - 45/d a multiple of 8?
False
Let b(j) = j**3 - 3*j**2 - j + 3. Let v be b(4). Let c = v - -19. Is c a multiple of 17?
True
Let r(v) = -3*v - 2. Let s be r(-3). Suppose 0 = z - 5*z + 20. Suppose z*q + 5 = -3*x, q - x - s = -0*q. Is 2 a factor of q?
True
Let s(k) = 3*k**2 + 8. Let a(u) = -4*u**2 - u - 8. Let j(t) = 2*a(t) + 3*s(t). Is 11 a factor of j(6)?
False
Let b(p) = p**3 - 7*p**2 + 5*p + 5. Let v be b(6). Let x be (5/(10/(-4)))/v. Suppose 5*m - 33 = x. Is 3 a factor of m?
False
Suppose -4*t = -0*t - 396. Is t a multiple of 33?
True
Let p = -82 - -140. Is p a multiple of 16?
False
Suppose -274 = 5*i - 7*i. Is 18 a factor of i?
False
Let x(o) be the third derivative of o**5/60 - 3*o**4/8 + 11*o**3/6 + o**2. Let c be x(8). Does 13 divide 43/c - (-3)/(-9)?
False
Let d be 3 + -1 + -2 - -8. Let l be (-22)/(-4) - 4/d. Let t(h) = h**3 - 3*h**2 - 5*h + 1. Does 26 divide t(l)?
True
Let p = -3 - -3. Let c be (-1 - p)*(-8)/4. Suppose c*g - 42 = -j, -3*g + 2*g = j - 19. Is g a multiple of 9?
False
Suppose -g - 14 = -h - 36, -4*g + 84 = -3*h. Is 6 a factor of g?
True
Let h be 5/4*4/1. Let l(o) = 5 + 5*o + 0 + o. Is 14 a factor of l(h)?
False
Let p(k) = k**2 + 3*k - 8. Let w be p(-8). Suppose 0 = 2*j - 6*j + w. Is 6 a factor of j?
False
Is 5 a factor of ((-6)/4)/((-3)/30)?
True
Let h be (-45)/(-6)*(-2)/(-3). Suppose 0 = h*k + 3*c + 210 - 55, -k - 18 = -2*c. Let a = k + 62. Does 9 divide a?
False
Let n(a) = a**2 - 4*a + 2. Let g be n(4). Suppose g*w = 15 - 3. Suppose w = 3*d - 5*d, 4*d = 2*h - 18. Does 2 divide h?
False
Let x = 2 - 2. Suppose c - 3 = x, 2*b - 5*c - 65 = -0*b. Does 20 divide b?
True
Does 8 divide (-1)/((-4)/88) + 2?
True
Let c(q) = q**2 + q. Is 10 a factor of c(-6)?
True
Suppose -33 - 15 = -4*r. Suppose r = -t + 30. Does 16 divide t?
False
Let b = 3 - 3. Suppose 2*n + 0*n = -5*d, -d + 4*n = b. Is 8 a factor of (-2 - d)/((-3)/12)?
True
Let s be (-3)/6*-52*7. Suppose 0 = 4*t + 5*p - 228, 5*p = -3*t + 4*p + s. Is 23 a factor of t?
False
Suppose 0*r + 20 = 5*r. Does 4 divide r?
True
Suppose 0 = -h - 4*h - 3*a + 265, h + 4*a = 36. Let i = 83 - h. Is 8 a factor of i?
False
Let l(j) = j**2 + 2*j - 5. Let o be l(-4). Let y(m) = -m**3 - m**2 + 3*m. Let q(s) = -s**3 - s**2 + 4*s - 1. Let x(g) = o*y(g) - 2*q(g). Does 4 divide x(-2)?
True
Suppose 138 = 5*s - 212. Does 14 divide s?
True
Suppose 4*w + 9 = 7*w. Is 3 a factor of w?
True
Let d(m) = 13*m**2 + 4*m - 2. Let g be d(-2). Let n be (-7)/(-3) + (-1)/3. Suppose -n*w + g = w. Does 5 divide w?
False
Let j = -11 - -16. Let p = 46 + j. Is 15 a factor of p?
False
Let r be (2 - -2) + (14 - -2). Does 18 divide (-90)/(-4)*r/25?
True
Let a be 3/(-3) - (-4)/2. Let c be (-3 + 0)/((-6)/40). Let f = c - a. Is 8 a factor of f?
False
Let f(q) = -2*q**3 - 2*q**2 - 3*q + 4. Is 14 a factor of f(-4)?
True
Suppose 4*y + 1 = -5*p + 3, -2*y - p = -4. Suppose -y*i = -i - 140. Let t = 108 - i. Does 21 divide t?
False
Suppose 0 = -3*b + 8*b - 5. Is 3 a factor of (2 - 1) + 3/b?
False
Let u(w) = -w + 10. Let j be u(8). Let f be (0 + (j - 1))/(-1). Does 24 divide 31 + -2 + (f - -1)?
False
Let g be -1*(1 - (0 + 0)). Let b = -2 - g. Is 18 a factor of (-27)/b*4/6?
True
Let f be (14 - -1)*(-40)/(-6). Suppose 3*j - f = -2*j. Suppose -3*y + j = -y. Is 5 a factor of y?
True
Suppose -5*c - 46 = 79. Let g = c + 57. Is g a multiple of 16?
True
Let l(g) = -g**3 - 7*g**2 + 4*g - 8. Let m be l(-8). Suppose 0 = 2*v - 0*a + a - 7, 5*a = v + m. Is (-3)/(v + (-11)/8) a multiple of 4?
True
Let t(u) = -3*u**3 - u**2 - 2*u - 3. Let g = 21 + -23. Is 13 a factor of t(g)?
False
Suppose -y = -3*y + 176. Suppose 89 = 5*u - 111. Let s = y - u. Is 24 a factor of s?
True
Let h(s) = -8*s - 4. Suppose -10 = 2*a - 0*a. Does 10 divide h(a)?
False
Does 7 divide (-23 + -12)/(1/(-1))?
True
Let w(f) = -2*f**2 + 2*f - 3. Let i be w(2). Let q(p) = -3*p - 1. Does 10 divide q(i)?
True
Let c(x) = 14*x. Let d be c(7). Suppose 3*l = -14 + d. Is l a multiple of 14?
True
Suppose -9*c = -3*c - 360. Is c a multiple of 15?
True
Suppose x = 3*h + 30, -2*x - 120 = -6*x - h. Is 15 a factor of x?
True
Suppose 0 = 7*u - 9*u. Suppose u = -5*z + z + 36. Is z a multiple of 6?
False
Let d be 2 - (0/3 - 0). Let t be 3/2 + (-133)/d. Let i = -20 - t. Is 15 a factor of i?
True
Let f = -225 - -401. Does 11 divide f?
True
Let s be 2 + (-1)/((-3)/30). Let a be (-19)/(-7) - (-8)/28. Let c = s + a. Is 15 a factor of c?
True
Let k(d) = -3*d**3 - d**2 - d. Let o be k(-1). Suppose 3*n + 1 = f + 2, -2*f - o*n + 7 = 0. Is f even?
True
Is (-6*(20 + -5))/(-1) a multiple of 9?
True
Let g be (-65)/15 + (-3)/(-9). Is 20 a factor of (-14)/28 + (-90)/g?
False
Let v(t) = t**2 + 3*t + 2. Let i be v(-2). Suppose 2*h - 52 = -4*p - h, -p - 3*h + 22 = i. Is 9 a factor of p?
False
Let m = -39 - -102. Is 12 a factor of m?
False
Suppose 0 = 2*n - 4*n + 4*y - 2, -5*y + 5 = -5*n. Let u(j) = -14*j - 3*j + j. Does 8 divide u(n)?
True
Let g be 6/2 + (-1 - 0). Suppose 2*d + 3*y - 22 = 0, 5*d - 33 = -0*d - g*y. Is 2 a factor of d?
False
Let g = -6 - -6. Suppose g*p = 5*p - 160. Does 13 divide p?
False
Suppose 3*r - 37 = -x - 4*x, 0 = -3*x + 5*r + 29. Let z be (x/(-6))/((-14)/147). Let n = -8 + z. Is n a multiple of 3?
True
Suppose 0 = 2*m - x - 43, -2*x = -3*x + 5. Is 3 a factor of m?
True
Let s = -3 - -5. Let f be (s - 4/2) + -4. Does 15 divide (-87)/(-6) + (-2)/f?
True
Let w = -15 + 10. Let f(i) = i**3 + 5*i**2 - i - 3. Let u be f(w). Suppose -34 = -3*q + 5*x, 4*q - x = u*x + 38. Is q a multiple of 3?
False
Let i(v) = 11*v + 22. Is 33 a factor of i(7)?
True
Suppose 6*u = -3*f + 2*u + 33, -3*u + 30 = 3*f. Let b be (3 - 4) + f + -1. Suppose -b*m + 232 = 82. Is m a multiple of 15?
True
Suppose 2*d + 2 = -5*x, 0*d + 6 = 3*x + 3*d. Let u = 27 - 20. Let n = u + x. Is n a multiple of 5?
True
Let l(s) be the third derivative of s**4/4 - s**3/6 + 3*s**2. Is 10 a factor of l(3)?
False
Suppose -984 = 2*w - 2*x, 4*w + 1064 = x - 904. Let u be 18*2/(1 + -6 - -1). Is (-6)/u*w/(-8) a multiple of 17?
False
Suppose -u + 15 + 87 = 0. Suppose u = 3*g + 3*q, 4*g + 3*q - 146 = q. Is g a multiple of 19?
False
Let v(r) = -17*r - 30. Is 28 a factor of v(-10)?
True
Let q = 33 + 21. Is q a multiple of 18?
True
Suppose w + 3 = -5*v, -3*w - 1 = 3*v + 8. Let n(o) = 17 + o - 2*o + v*o. Does 10 divide n(7)?
True
Let w be -1*1/2*-2. Is 13 a factor of -2*w/(2/(-47))?
False
Suppose 2*y + 4*k = -24, 3*y + 4*k - 3*k + 16 = 0. Let v(c) = -c**3 - 4*c**2 + 1. Let n be v(y). Suppose -23 = -g - n. Does 12 divide g?
False
Let t = 7 + -7. Let v(f) = f**3 - f**2 + 14. Does 9 divide v(t)?
False
Suppose 2*k - 4*n = 4*k - 2, 1 = k + 3*n. Let y(g) = 0*g**3 + 2*g**3 - g - k + 3*g. Does 10 divide y(2)?
False
Let r = 31 - 13. Is r a multiple of 3?
True
Suppose 1 = -s - 1. Let p be (1 + s)/((-3)/(-69)). Let z = 33 + p. Does 10 divide z?
True
Suppose 4*c = -u + 16, -2*c - 3*c + 11 = -u. Suppose -c*z + 20 = -z. Let p = 0 + z. Is 10 a factor of p?
True
Let c(q) = q**3 + q**2 - 2*q - 3. Let o(z) = -z**2 + 5*z + 4. Let w be o(6). Let n be c(w). Is 19 a factor of (108 - n)/3 - -1?
True
Let d be (-2)/8 - (-9)/4. Suppose 38 = d*f + 2*h, -