
False
Suppose -60 = -j - 3*x, -j - 5*x + 37 + 31 = 0. Does 7 divide j?
False
Let t(d) = 4*d**3 - 5*d**2 + d - 11. Let r(h) = 11*h**3 - 16*h**2 + 4*h - 33. Let s(o) = -3*r(o) + 8*t(o). Let b be s(8). Let u = b + 44. Does 9 divide u?
False
Let y(t) = 5*t**3 + 41*t**2 + 25*t + 16. Let s(b) = -b**3 - 10*b**2 - 6*b - 4. Let v(k) = 9*s(k) + 2*y(k). Let c be v(8). Let o = c + 60. Is o a multiple of 24?
True
Suppose 2*d + 2*s = d + 62, -2*s + 194 = 3*d. Is d a multiple of 17?
False
Suppose -11*n = -2*n - 990. Is 22 a factor of n?
True
Suppose -164 = -2*s + g - 6*g, -s + 5*g = -97. Suppose -9 = 5*t - 4. Is 11 a factor of t/(2 - 177/s)?
False
Let p(w) = 6*w**3 + 4*w**2 + 5*w. Let r be p(4). Does 9 divide r/16 + (-3)/12?
False
Suppose 3*p + 1 = -11. Let x = 10 - p. Let v = x + -2. Is v a multiple of 6?
True
Let d = -5 - -3. Let o = 3 - d. Suppose 4*b - 50 = -j, -5*j - 4*b + o*b = -250. Is j a multiple of 15?
False
Suppose -k - 3*i + 29 = 0, -4*k = 5*i - 36 - 101. Let c = k - 20. Suppose -4*r - 4 = 0, 2*v - 5*r = c + 3. Is v a multiple of 8?
True
Let q = -6 + 7. Let m be q/(-2*1/(-90)). Is 8 a factor of (-74)/(-9) - 10/m?
True
Suppose s - 76 = -14. Is 31 a factor of s?
True
Let q(v) = -2*v + 27. Does 2 divide q(8)?
False
Is 15 a factor of (-4)/(-10) - (-146)/10?
True
Does 25 divide (-75)/(-6)*(-5 + 7)?
True
Let d = 4 + 70. Is 6 a factor of d?
False
Suppose f + 8 = 5*f, 0 = -4*h - 3*f + 66. Suppose 4*g - g = h. Suppose -2*q = -3*k - 0 + 37, 2*k + g*q = -7. Is 5 a factor of k?
False
Let s(q) = -q**2 + 2*q - 2. Let r = -12 + 8. Let u be s(r). Let y = 43 + u. Is 7 a factor of y?
False
Suppose 0 = -2*m - 2 + 534. Does 13 divide m?
False
Let i = 0 - -4. Let m(j) = -20*j**3 - 2*j**2 - 20*j - 2. Let l(v) = -7*v**3 - v**2 - 7*v - 1. Let g(s) = -17*l(s) + 6*m(s). Is 8 a factor of g(i)?
False
Let j = 137 - 87. Let y = -35 + j. Is 9 a factor of y?
False
Suppose 5*x - 19 = 296. Does 12 divide x?
False
Let g be 4 - -2*1/2. Suppose -g*j + 31 = -64. Let s = j + -5. Is s a multiple of 7?
True
Let p = 187 - 99. Is p a multiple of 11?
True
Let q = 124 + -17. Is q a multiple of 11?
False
Let s = -17 - -18. Is 15 a factor of (s/1)/(1/30)?
True
Let o be -1 + 1 + 42/3. Let u = o - 10. Suppose w - 150 = -u*w. Does 13 divide w?
False
Let j be (-2)/(-3) + 80/15. Suppose 5*b - 3*z = j, 3*z + z = 2*b + 6. Is 2 a factor of b?
False
Suppose -4*q + 4*x + 183 = -q, -305 = -5*q - x. Let s = q - 39. Is 8 a factor of s?
False
Let g(o) = -o**2 - 7*o. Let a be g(-7). Suppose a*m + 4*m - 76 = -2*y, -2*m = -6. Suppose -d + 35 = -2*c, 3*d + y = 3*c + 143. Is 15 a factor of d?
False
Suppose 3*d = -2*d + 10. Let w = 1 + d. Suppose 2*h = 3*h - 4, 3*h - 63 = -w*u. Does 11 divide u?
False
Let s be (-3 - -2)/(1/6). Let d be ((-26)/s)/((-1)/(-3)). Suppose -32 - d = -5*u. Is u a multiple of 9?
True
Suppose -4*l + 4*w - 4 = 5*w, 4*l + 20 = 3*w. Let d be (-9 - 1)/(l/7). Suppose -6*n + d = -n. Is 3 a factor of n?
False
Let t(q) = -2*q - 3. Let g be t(-2). Let z(a) = 3*a + 2. Let x be z(-4). Does 10 divide 8/(6/x + g)?
True
Suppose 0 = -4*j + j + 12. Let n be (-1)/(1 + 1)*j. Is 9 a factor of (-1)/n - 82/(-4)?
False
Let b = -6 + 12. Is b a multiple of 3?
True
Suppose 12 = 3*m, -4*t + t + 218 = 5*m. Is 8 a factor of t?
False
Suppose 2*t = -22 + 68. Is 9 a factor of t?
False
Suppose -5*k = -0*k - 5. Is 4 a factor of (k - 2) + 11 + -3?
False
Let n = -63 + 88. Let v = n + -4. Suppose -2*z + 0*l = -3*l - 14, 3*z + 3*l = v. Is 7 a factor of z?
True
Let j(n) = 7*n**2 - 2*n**2 - n + 2*n. Let b be j(-2). Is b/(2 - 1) + 0 a multiple of 11?
False
Let o(f) = 5 - 5 - 2*f. Let l be o(-1). Suppose 0*s - 30 = -l*x - 2*s, -30 = -x + 4*s. Does 9 divide x?
True
Let m = -89 + 140. Does 5 divide m?
False
Is 26 a factor of 109 - (-1 - 4/2)?
False
Let u = 2 + -12. Does 18 divide -2 + u/2*-4?
True
Suppose 15 = -4*h - 1. Let b = h - -29. Is 12 a factor of b?
False
Suppose -4*t = -t. Let i(w) = -w + 12. Is 9 a factor of i(t)?
False
Let x be (1/(3/195))/(-1). Let q = -42 - x. Is q a multiple of 15?
False
Suppose 4*a = 8*a. Let s be (2/(-5))/((-1)/5). Suppose -f = -k - 7, a*f + s*f - k = 18. Does 7 divide f?
False
Let a(n) = 5*n**2 - 6*n + 13. Does 20 divide a(4)?
False
Let s(x) = -x**2 + 4. Let p be s(0). Suppose 6*r - 10 = p*r. Suppose -5*d - 10 + 141 = -c, -r*d = c - 139. Does 14 divide d?
False
Let p(b) = -b**2 - 2*b + 3. Let t be p(-3). Suppose 3*g + w = -0*g + 35, -g + 2*w = t. Is 10 a factor of g?
True
Let t = -17 - -12. Let d(n) = -n**3 - 5*n**2 - 4*n + 6. Is d(t) a multiple of 11?
False
Let w(n) = -3*n - 5. Let q be w(-9). Let p = q + -8. Is p a multiple of 14?
True
Suppose -3*g + 67 = -29. Does 16 divide g?
True
Suppose 3*f - 108 = -3*f. Is 17 a factor of f?
False
Let h be 4/(-2) - (-580)/2. Suppose -t = -m - 56, 5*t + 5*m - 2*m = h. Let q = t - 39. Is q a multiple of 18?
True
Suppose 0 = -2*u + 4*t + 33 + 5, 3*u - 2*t - 73 = 0. Let m = -20 + u. Does 3 divide m?
False
Let p = 309 - 121. Is p a multiple of 38?
False
Suppose -6*i + 273 = -123. Is i a multiple of 8?
False
Let v(w) = -w**3 + w**2 + w. Let z be v(0). Suppose -q + z*m = -3*m - 8, 0 = 5*q + 5*m. Suppose 0 = -4*x - q*k + 86, x + 0*x = 4*k + 44. Does 12 divide x?
True
Let l(c) = 10*c**2 - 4*c + 21*c**2 + 3*c. Let r be l(1). Suppose -2*v - 3*p + r = 0, 5*v - p - 42 - 33 = 0. Does 9 divide v?
False
Suppose -s = 3*s - 220. Suppose -4*c + 33 = -s. Does 11 divide c?
True
Let s = -108 - -176. Is 3 a factor of s?
False
Suppose 2*s + 832 = 6*s. Does 8 divide s?
True
Suppose 3*u - 25 = -2*u. Suppose -u*c + 58 = 2*a, 2*a = -c - 2*c + 66. Does 19 divide a?
False
Let a = 34 + -24. Suppose -2*c + a = 2. Is c a multiple of 4?
True
Suppose 7*d + 1 = 8*d. Is 20 a factor of (d - -6)*(6 + 1)?
False
Let o = 0 - -35. Does 5 divide o?
True
Let t(r) = -r**3 + 5*r**2 + 6*r + 2. Let a be t(6). Suppose 0 = 3*h - 5*h. Suppose 0*d + a*d = h, -106 = -2*p + d. Is p a multiple of 14?
False
Suppose 0*d = -2*d + 4. Let p(c) = 25*c - 2. Does 12 divide p(d)?
True
Let s be 3 - 4/((-8)/22). Let d = -3 + s. Does 11 divide d?
True
Let h = 34 - -33. Is 18 a factor of h?
False
Let x = 13 - -43. Let s = -30 + x. Is 12 a factor of s?
False
Let o(i) = 3*i**2 - 4*i + 1. Suppose 3*g = -15, 4*g + 16 = 2*u + 4. Is o(u) a multiple of 11?
False
Let j(y) = -y - 6. Let p be j(-6). Let o = p + 3. Suppose -16 = b - o*b. Is 8 a factor of b?
True
Does 12 divide 6/(-48)*30*-32?
True
Let j be 2/2*-1 + -1. Let l be 3*j*(-1)/(-3). Is 14 a factor of 0 - (4 + l + -38)?
False
Let p = 1 + -7. Let s be (-2)/(((-4)/p)/1). Let c(l) = -3*l - 3. Is 3 a factor of c(s)?
True
Suppose 0 = 5*p - 6*p + 3*g + 232, 0 = -2*p + 4*g + 468. Does 14 divide p?
True
Suppose 3*l = -2 - 1. Let n = l + 0. Is (0 - n)*(4 - -15) a multiple of 8?
False
Suppose -i - 4*i = -1600. Suppose 2*h - 7*h + i = 0. Is h a multiple of 13?
False
Let c be 4/10 + 39/15. Suppose -2*l + j - 4*j - 21 = 0, 0 = 2*l - c*j + 3. Does 3 divide (-9)/3 - (0 + l)?
True
Let x(s) = -2*s**2 - 2*s. Suppose -6 = t - 3. Let n be x(t). Let r = n - -22. Is r a multiple of 4?
False
Let m be 327/(-13) + (-24)/(-156). Let a = 43 + m. Does 5 divide a?
False
Let c = 7 + 16. Is c a multiple of 18?
False
Let c(s) = -s**2 + 12*s - 3. Let u be 8 + (-4 - (-3 - -1)). Is c(u) a multiple of 16?
False
Does 21 divide (-3 + 188/6)*3?
False
Let z(h) = -41*h**3 + h**2. Let d be z(-1). Suppose 0*a + 3*a = 36. Suppose d + a = 3*w. Does 11 divide w?
False
Suppose -110 + 20 = -5*h. Does 6 divide h?
True
Let u(m) = -2*m**2 + 25*m - 8. Does 8 divide u(8)?
True
Let l be (3 + -18)*(-2)/6. Suppose l*d - 68 = -z, -5*z + 5*d = -2*z - 264. Does 32 divide z?
False
Is 79/2 - 2/(-4) a multiple of 4?
True
Let x be 14/(-4)*(-3 + -3). Let m = -5 + x. Suppose -o = o - m. Is o a multiple of 8?
True
Let c(d) = -3*d**3 + 15*d**2 + 8*d + 10. Let h(r) = -r**3 + 5*r**2 + 3*r + 3. Let j(z) = -2*c(z) + 7*h(z). Let l be j(5). Let u = -3 + l. Is u a multiple of 8?
False
Let x(r) = -2*r - 10. Is 6 a factor of x(-14)?
True
Suppose -2*s - 11 = -k, 3*k + s - 25 = 5*s. Let z(b) be the first derivative of b**4/4 - b**3/3 + b**2/2 - b - 4. Is z(k) a multiple of 12?
False
Is 10 a factor of 4/(4 - 6)*290/(-4)?
False
Let q = -1 + 14. Is q a multiple of 12?
False
Let s(d) = 33*d + 15. Is s(4) a multiple of 7?
True
Let r = 60 - 34. Let l = r