 415 = -m, 0 = -2*m + 4*k + 836. Is 35 a factor of m?
True
Suppose 0 = 3*r - 3*i + 24, -11 = r + 3*r + 3*i. Let v = 10 + r. Suppose 59 = n + v. Is n a multiple of 11?
False
Suppose y - 4*u + 2*u - 1642 = 0, -3*u = 3*y - 4881. Is 18 a factor of (-2)/(-6) + y/18?
False
Suppose 3*c + 0 - 3 = 0. Let p be 3*2/3 + c. Suppose -3*k - k - 2*x = -56, -52 = -p*k + x. Is 8 a factor of k?
True
Let o(q) = 4*q**3 + 3*q**2 - 3*q + 1. Let n be o(1). Suppose n*k + 149 = 4*d - 2*d, -4*k = -3*d + 227. Does 6 divide d?
False
Suppose 0 = -4*y - 8, p = 4*y + 87 + 65. Is p a multiple of 3?
True
Suppose -25*o - 334 = -134. Suppose -116 = 5*v - v. Let z = o - v. Is z a multiple of 8?
False
Let d = -1 - -13. Let u be 106/12 + 2/12. Let i = d - u. Is 2 a factor of i?
False
Suppose 2*h - 5 + 9 = 0. Let u = h - -11. Suppose -3*w = -s - 4*w + 21, s = -5*w + u. Is s a multiple of 8?
True
Suppose -3*i - 2*i - 10 = 0. Is 12 a factor of 2 - (i + 0 + -44)?
True
Suppose -2*a - 4*t = 2, 5*a - 4*a - 2*t - 7 = 0. Let p be 309/(5 - 2) - (-12 + 15). Suppose 0 = -a*s + 8 + p. Does 5 divide s?
False
Suppose 10 + 14 = -2*m. Let k be 0/(m/3 - -2). Suppose n - b = 4*n - 21, k = -4*n - 3*b + 23. Is n a multiple of 8?
True
Let l(r) = -7*r**3 - 7*r**2 + 12*r - 10. Let m(p) = -6*p**3 - 7*p**2 + 11*p - 9. Let x(f) = -5*l(f) + 6*m(f). Let z be x(-8). Is 116/14 - z/42 a multiple of 4?
True
Let u(n) = -56*n - 105. Is u(-18) a multiple of 10?
False
Suppose 45*q + 1161 = 54*q. Is 43 a factor of q?
True
Let n = 1028 + -417. Let l be n/4 + (-3)/4. Suppose 125 = 3*w - 4*f, -w - l = -5*w - 2*f. Is w a multiple of 19?
False
Let h = 44 + -66. Let v = 25 + h. Suppose -2*y = 3*g - 196, -v*y + 370 = -g + 87. Is 17 a factor of y?
False
Suppose 1414 = 2*b - 5*z, 5*b - 3*z - 706 = 4*b. Is b a multiple of 120?
False
Let r = -2234 + 4071. Does 85 divide r?
False
Let f(s) = -s**2 + 8*s - 12. Let u be f(6). Suppose -r + 2*l + 119 = u, -5*r + 0*l + 559 = 2*l. Does 14 divide r?
False
Suppose -9*o + 8024 = 8*o. Is o a multiple of 17?
False
Suppose 19*v - 14*v + 468 = 2*u, 4*u + v = 892. Does 12 divide u?
False
Let l = 7 - 13. Let z = 9 - l. Is 3 a factor of z?
True
Suppose 0 = 4*i - 33 + 85. Let j(t) = t + 11. Let u be j(-8). Does 18 divide -3*(i + (u - 2))?
True
Suppose 10*u - 4972 = 18548. Is u a multiple of 105?
False
Let v(x) = x**3 + 17*x**2 + 23*x + 7. Let s be v(-15). Suppose 19*g - s - 2415 = 0. Does 9 divide g?
False
Let o be 896/10 + (110/25 - 5). Suppose 2*q + 3*k = k + 146, -q = -3*k - o. Does 11 divide q?
True
Let b be 4/10 + 984/40. Suppose -5*h + u - 5 = -b, 5*u = 0. Suppose 21 = -h*d + 4*t + 349, 4*d - 344 = -4*t. Does 21 divide d?
True
Let r = -62 - -69. Let g(y) = -y**3 + 7*y**2 + 8*y + 16. Does 18 divide g(r)?
True
Let o(g) = -4*g - 5. Let u be o(1). Does 26 divide (-1419)/u - (-1)/3*1?
False
Let n(f) = f**2 - 5*f - 8. Let a be n(6). Let j be (2/a)/1 - 5. Let i = j + 57. Does 13 divide i?
False
Let g = 120 - 13. Suppose 5*j = -3*u + 159, 10 = -3*j - u + g. Is 28 a factor of j?
False
Let g(r) = -r**3 - 8*r**2 + 11*r + 5. Does 8 divide g(-12)?
False
Suppose 0 = -10*c + 335 + 115. Suppose -7*k + c = -6*k. Is 15 a factor of k?
True
Let j = -79 + 108. Is 3 a factor of j?
False
Let u = 249 + -68. Let j = u - 41. Does 15 divide j?
False
Let z = -14 - -6. Let m be z/(-4) - 0 - -27. Suppose 4*d + 140 = 5*n + m, 5*d + 77 = 3*n. Is n a multiple of 5?
False
Let a(n) = n**3 + 7*n**2 + 5. Let u = 39 - 24. Let t be 50/u*6/(-5). Is a(t) a multiple of 9?
False
Let x(w) = w**2 - w + 1. Let j be x(-1). Let a = -52 - -42. Let q = j - a. Is q a multiple of 9?
False
Let j = 32 - 38. Let o be j/(-21) - (-40)/7. Is 12 a factor of 4*o*(-1)/(-2)?
True
Let g(p) = 6*p**2 - 11*p + 14. Let r be g(-12). Suppose 5*t - r = -425. Does 13 divide t?
True
Let x(h) be the first derivative of -h**4/2 - h**3/3 + h**2 - 3*h - 14. Is x(-3) a multiple of 15?
False
Does 10 divide 20*(5/6)/(20/36)?
True
Suppose 4*q + 1 - 5 = 0. Suppose p = q, -2*p + 4 + 2 = k. Suppose k*d - 7*d + 81 = 0. Does 4 divide d?
False
Let x(n) = -191*n + 55. Is x(-8) a multiple of 15?
False
Let p = -17 - -11. Let a be (-129)/p + (-3)/2. Suppose 0*h + 5*v = -h + a, h = -2*v + 11. Is 2 a factor of h?
False
Let f(x) = -3*x + 615. Is f(49) a multiple of 18?
True
Let p(x) = -300*x - 40. Let b(a) = 120*a + 16. Let n(g) = 12*b(g) + 5*p(g). Does 3 divide n(-1)?
False
Let z be 3/(-1) - 27*-3. Suppose -4*i - z = -310. Suppose -4*q + 15 = 3*o - i, 4*o - 4*q = 144. Is o a multiple of 9?
False
Suppose b + 87 = 3*n - 2*b, -81 = -3*n + 5*b. Is 16 a factor of n?
True
Let s be (35/(-14))/(2/(-4)). Suppose 2*u = s*o - 32 - 38, u = 3*o - 41. Is (18/o)/((-2)/(-36)) a multiple of 9?
True
Suppose 28 = -9*i + 10. Does 17 divide -3 + (-1 - -52)/((-3)/i)?
False
Suppose -705 = -5*x + 5*m, -20*m - 286 = -2*x - 22*m. Does 35 divide x?
False
Let p(y) = -y. Let x be p(-9). Let k(v) = x*v + 1 - 2 + 3*v. Does 10 divide k(4)?
False
Let j(s) = -s + 475. Does 18 divide j(-47)?
True
Let f(l) be the second derivative of l**3/2 + 7*l**2/2 - 11*l. Is 6 a factor of f(7)?
False
Let r(i) = -i**2 - 9*i + 2. Let p be (28/(-6))/((-20)/(-30)). Is r(p) a multiple of 16?
True
Let c = -57 - -39. Let p(u) = u**3 + 9*u**2 - 14*u + 6. Let t be p(-10). Let s = c + t. Is 7 a factor of s?
True
Suppose -5*j + 2712 = -333. Suppose 6*b - 471 = j. Does 34 divide b?
False
Let a(d) be the second derivative of -1/20*d**5 + 1/2*d**2 + 5*d + 0 + 2/3*d**4 + 1/6*d**3. Is 23 a factor of a(4)?
True
Let j(l) = -373*l**3 - 2*l**2 + l + 2. Let n be j(-1). Suppose 7*z - 27 = n. Is 28 a factor of z?
False
Suppose -2 = 6*r - 7*r. Suppose r = -2*t, 2*i - 2*t = i + 86. Does 28 divide i?
True
Let o(m) = 55*m**2 - 1. Let b be o(-1). Suppose -s - s = -b. Suppose l + h + 2*h = s, -199 = -5*l + h. Is l a multiple of 10?
False
Let i = 28 + -28. Suppose i*d = 3*d - 39. Let g(x) = x**3 - 13*x**2 + 2*x - 9. Is 17 a factor of g(d)?
True
Suppose 0 = -h + 4*m - 8, 5*h - 3*m - 2 = -4*m. Suppose h = -10*d + 2*d + 40. Suppose d*g - 100 = -2*t, -2*g + 250 = 5*t - 7*g. Does 25 divide t?
True
Let o(k) = 2*k**2 - k + 2. Let m be o(2). Let y = m - 11. Is 10 a factor of (y/(-2))/((-21)/(-140))?
True
Let p(z) = -z**3 - 12*z**2 + 40*z + 6. Is 3 a factor of p(-15)?
True
Suppose 0 = -3*i + 3*b + 45, 3*b - 2*b - 24 = -2*i. Let h = i + 13. Is 23 a factor of h?
False
Let y(s) = s**3 - 15*s**2 + 26*s + 11. Let j be y(13). Is (j/(-7))/(11/(-77)) a multiple of 11?
True
Let d(j) = 19*j - 16. Let h be d(10). Let y = h - 40. Is y a multiple of 29?
False
Let u = 369 + -174. Let c = u + -122. Is 6 a factor of c?
False
Suppose 5*j - q - 3*q = 17, 22 = 4*j + q. Suppose j*m = -3*b + 82, -2*m = b - 35 + 7. Is b a multiple of 12?
True
Does 5 divide 1192/(3 - -5) - 9?
True
Let h(k) = 2*k**2 + 3*k. Let d be h(-4). Let c = 35 - d. Suppose 2*w - c = 2*t + 99, 90 = 2*w + 4*t. Is 15 a factor of w?
False
Suppose 4*y = -m - 0*m + 287, -2*y + m + 139 = 0. Suppose 68*q + 180 = y*q. Does 5 divide q?
True
Suppose 5*x - 217 = 323. Suppose -2*h - x = 2*h. Is h/12*16/(-3) a multiple of 4?
True
Suppose -3*r = 4*s - 351, 2*s - 357 = 4*r - 7*r. Suppose 350 = -119*k + r*k. Is k a multiple of 35?
True
Let l = 81 + 35. Is 29 a factor of l?
True
Suppose 0*w = -w - 5*k + 19, -3*w + 18 = 2*k. Suppose p + 4*s = -p - 32, -w*p - 2*s - 88 = 0. Let l = 41 + p. Does 4 divide l?
False
Suppose t + 5*t = 0. Suppose -6*v + 2*v + 20 = t. Suppose -3*d + v*j + 95 = -0*j, 0 = 5*d - 4*j - 180. Does 10 divide d?
True
Let h(u) = 3*u**3 - 53*u**2 + 18*u + 33. Let n be h(17). Let r(t) = -t**2 + t - 15. Let o be r(0). Is n/(-7) - o/(-105) a multiple of 7?
False
Let u(r) = -7*r + 101. Does 6 divide u(-6)?
False
Suppose -6*w = -16 - 14. Suppose -w*u + 45 = 4*l, -2*u + 18 = -0*u - 5*l. Let s = u - -36. Is 10 a factor of s?
False
Suppose 23*z + 360 = 35*z. Is 19 a factor of z?
False
Let x = 19 - 26. Let y(i) = i**3 - 7*i**2 - i - 3. Let w(z) = 3*z**3 - 14*z**2 - 3*z - 7. Let k(o) = 2*w(o) - 5*y(o). Is k(x) a multiple of 7?
False
Let y(m) = 8*m - m**2 + 6 - 6*m + m. Let s be y(3). Let n = 28 - s. Is n a multiple of 11?
True
Let j = -40 - -40. Suppose -4*a = 4, -2*a + 160 = -j*p + p. Is 27 a factor of p?
True
Let p(u) = u. Let d(j) = j**2 + 5*j + 2. Let b be d(-5). Let c be p(b). Suppose 0 = -4*l + 2*x + x + 403, 0 = c*x - 6. 