
Let p = -10044 - -27632. Is p a multiple of 98?
False
Suppose 324*u = 323*u + 3. Suppose -u*g + g + 132 = m, -2*m + 261 = 3*g. Is 21 a factor of m?
True
Let s = -10473 + 27413. Is 74 a factor of s?
False
Suppose 12*r + 717 + 939 = 0. Is 77 a factor of 92/r*(-1353)/2?
False
Let b(n) = -n**3 - 23*n**2 - 20*n + 28. Let c be b(-22). Let z = 118 - c. Does 20 divide z?
False
Let i be 140/15*3*(2 - 9/6). Let y(l) = -2 - 19*l + 1 + 2*l**2 - 13. Is y(i) a multiple of 28?
True
Let p(l) = -100*l**3 - 12*l - 93. Is 24 a factor of p(-4)?
False
Let x be 1 - (-540)/189*(-21)/2. Is 4 a factor of x/(-1) + -1*5?
True
Let o(y) be the first derivative of -y**2/2 + 12*y - 35. Let n be o(8). Suppose -n*p - 118 + 576 = 2*t, p + 880 = 4*t. Does 22 divide t?
False
Let c(j) = 5*j**2 - 15*j - 52. Let z(q) = 6*q**2 - 18*q - 52. Let t(p) = 5*c(p) - 4*z(p). Is t(23) a multiple of 68?
True
Let q be ((-264)/55)/((-6)/15). Is 24 a factor of (1/(-2))/(q/(-3360))?
False
Suppose 33*a - a = -15*a + 388784. Does 11 divide a?
True
Let f = 30645 + -14985. Is 12 a factor of f?
True
Suppose 0*n - 2*n + 132 = -3*l, 5*n - l - 317 = 0. Let i be (-13)/5 + 2 - 2924/860. Is i/((-4)/n) + 1 a multiple of 8?
True
Let w(q) = 2*q**2 - 117*q + 2084. Is w(56) a multiple of 54?
False
Let h(g) = -g**3 - 26*g**2 + 54*g - 27. Let p be h(-28). Suppose 3*z - 12 = 0, -5*j = -31*z + p*z - 3032. Is 76 a factor of j?
True
Let d = 8308 - 5695. Is d a multiple of 39?
True
Suppose -8*v = 4370 - 794. Let a = -225 - v. Is 74 a factor of a?
True
Suppose -4*c - 2 = -2*x, 0 = -x - c - 28 + 29. Is (x/1*-51)/(66/(-1320)) a multiple of 23?
False
Let z(n) = n**3 - 4*n**2 + 8*n + 1. Suppose 0 = -2*l + 3*x + 23, 5*l - 5*x + 1 = 51. Does 14 divide z(l)?
False
Let l(r) = -4*r - 1. Let y be l(-2). Let h(o) = 0*o + 0*o**2 - 3*o + 8*o**2 - o**3 + 3 + 2*o**2. Does 43 divide h(y)?
True
Suppose -4*d - 5*w = -329, -5*d + 4*d - w = -82. Let c = 1013 - d. Suppose 21*o - c = 1588. Does 12 divide o?
True
Suppose -41621 = -5*s - 6*f + 4*f, 0 = -4*s + 2*f + 33304. Is 195 a factor of s?
False
Suppose -3*f - 904 = 5*h, -f - 273 = -3*h - h. Let i = -91 - f. Is 16 a factor of i?
False
Let f(r) = r**3 + 8*r**2 + 8*r + 14. Let k be f(-7). Suppose -3*v + 30 = 8*n - k*n, -n = -v - 30. Is 5 a factor of n?
True
Let s(q) = -20*q**3 - 114*q**2 - 41*q + 19. Let p(a) = -13*a**3 - 76*a**2 - 27*a + 13. Let o(k) = 8*p(k) - 5*s(k). Is o(-10) a multiple of 8?
False
Let i = 43 + -44. Let u(q) = q**2 - 3. Let y be u(-2). Does 26 divide ((-10)/i)/2*y*13?
False
Suppose 7*x - 6*x - 5*l = 21834, 0 = -3*x - 4*l + 65407. Is 113 a factor of x?
True
Let j be (28 - 26) + 0/1. Suppose 5*t + 10 = 0, -2*t = -w + 14 - j. Does 3 divide w?
False
Does 3 divide (-3666033)/(-4743) - (-2)/31?
False
Let s = 35 + -32. Suppose -s*q = -0*q. Suppose q = -2*g - 6*g + 640. Is 10 a factor of g?
True
Let y(s) be the second derivative of s**4/12 - 25*s**3/6 + 143*s**2 + 10*s. Does 26 divide y(0)?
True
Let h(r) = 5*r**3 + 56*r**2 - 7*r - 57. Let u(n) = 2*n**3 + 28*n**2 - 3*n - 29. Let i(z) = -3*h(z) + 7*u(z). Does 86 divide i(26)?
False
Suppose 0 = -2*d + f + 267, 0*d - 4*f = -d + 151. Suppose -j + d = 3. Let u = 37 + j. Is 36 a factor of u?
False
Let c(g) = g**3 - 12*g**2 - 12*g + 24. Let q be c(13). Suppose 41*z - 192 = q*z. Is 12 a factor of z?
True
Let c = -4 - -78. Suppose 2*k = -3*d - 137, -3*d - k - 63 = 70. Let l = d + c. Is l a multiple of 23?
False
Suppose -g - 14*q + 35801 = -18*q, 2*q - 2 = 0. Does 6 divide g?
False
Suppose -16*l + 30083 = -107213. Does 44 divide l?
False
Let r(d) = -3*d**3 + 19*d**2 - 7*d - 7. Let q be r(5). Suppose 57*l + 450 = q*l. Does 75 divide l?
True
Let i = -341 + 347. Suppose 4*u - 4*c - 1300 = 0, -2*c = 5*u - i*u + 330. Is 10 a factor of u?
True
Let b be 4/(-6) + 4324/6. Suppose -10*a = -50 - b. Is a a multiple of 11?
True
Let g(p) = 3*p - 2 + 2*p - 6*p. Suppose 16 = -z + 5*l - 2, 0 = 3*z + 2*l + 20. Is g(z) a multiple of 6?
True
Suppose 0 = -g + 4*j + 30, 0 = -4*g - 7*j + 2*j + 57. Suppose -4*a = -13*a + g. Is 2 a factor of a?
True
Let f(j) = -j**3 + 1. Let g(y) = -7*y**3 - 9*y**2 - 13*y + 9. Let n(u) = 6*f(u) - g(u). Suppose 0 = -2*d + 9*d + 49. Is 3 a factor of n(d)?
False
Suppose -2*y - 5*k + 19 = 0, -6*y = -3*y + k - 48. Suppose 0 = -13*r + y*r - 400. Is 25 a factor of r?
True
Let a(i) = -i**2 + 16*i + 108. Let j be a(-29). Does 30 divide 126/j - (-29644)/38?
True
Let w(s) = s**2 + 7*s - 16. Let c be w(-11). Is 12 a factor of ((-55)/(-7) - 1)*98/c?
True
Suppose 4*c = -4*c. Suppose 4*o = 3*o + 3*h - 36, 5*o + h + 100 = c. Is 300/(-8)*28/o a multiple of 10?
True
Let y = -15 + 25. Suppose 5*n + 25 = y. Does 26 divide -1*(0 - n) - -107?
True
Let o(p) = p**2 - p + 12. Let u be o(0). Suppose 34 = 4*k - 7*w + u*w, -10 = -2*k + w. Is k a multiple of 6?
True
Let d(q) = -q - 14. Let p be d(-14). Is 28 a factor of ((-4)/(-8) + p)*382?
False
Suppose 13*s = 15*s - 16. Suppose s*v - 73 - 527 = 0. Is 5 a factor of v?
True
Let p(q) = -123*q - 1. Let d be p(-4). Suppose 15*z - 12168 = 54*z. Let t = d + z. Does 13 divide t?
False
Let d = -497 - -884. Let x be (-6)/12 - (-521)/2. Let w = d - x. Is 30 a factor of w?
False
Let k(d) = 38*d + 8. Suppose 5*o - 5*t = 0, 4*o - 4*t + 5 = t. Let u be k(o). Suppose 5*b = -2*x + 90, 2*x - b = 6*x - u. Is x a multiple of 25?
True
Suppose t - 5*g - 18801 = 40024, -294025 = -5*t + 5*g. Does 210 divide t?
True
Does 3 divide (-21 - (7 + -23))/(2/(-468))?
True
Let b(q) = -2*q**3 - 3*q**2 - 3*q - 2. Let c be b(3). Is c/1012 + 16370/22 a multiple of 24?
True
Is 8 - 11/((-198)/(-3084))*-6 a multiple of 7?
True
Suppose -8*l - 119124 = -5*g, -1 = -2*l - 7. Is 12 a factor of g?
True
Suppose -4*a + 0*a = 8*a - 12240. Is 20 a factor of a?
True
Suppose o = -2, 76*x + 3*o + 12645 = 79*x. Is 8 a factor of x?
False
Suppose -1933107 = -247*a + 1093878. Is a a multiple of 11?
False
Let u = 180 + -178. Suppose 0 = u*l - 81 + 29. Is 26 a factor of l?
True
Suppose -2*d - 966 + 3997 = 3*g, -2*g + 3028 = 2*d. Does 79 divide d?
False
Suppose 72500 = 130*o - 73402 + 29682. Does 6 divide o?
True
Suppose 2*y - 3153 = -3*j, 3*y - j + 7889 = 8*y. Suppose 732 = 5*l - y. Is l a multiple of 22?
True
Suppose 91*m = 478731 + 386042. Is m a multiple of 13?
True
Let p be (-10)/55 + ((-4)/(-22) - -2). Suppose 5*a = -0*a - p*a. Is 16 a factor of (-2 - -111) + 3 + (-6 - a)?
False
Is (-6 + (-16375)/100)*-4 a multiple of 2?
False
Suppose -4*i - 5*y = 117, -5*i - 11 = 2*y + 114. Let z = i - -27. Suppose -10*t + z*t = -174. Is 15 a factor of t?
False
Let q = -38 + 41. Let h be -7 + q + (-16)/(-2). Suppose 0 = h*o - 85 - 43. Is o a multiple of 26?
False
Suppose 1350 = h - 36*l + 31*l, -4100 = -3*h + 5*l. Suppose 105*s - h = 94*s. Is s a multiple of 5?
True
Suppose 0 = p + 4*o - o + 14, 1 = -o. Let c be (-1 - 0)/1*-41. Let n = c - p. Is n a multiple of 13?
True
Suppose 0 = 5*y + g + 2*g - 4, -2*g - 8 = -2*y. Suppose 0 = -4*m + 7*m - 9, y*m = -2*v + 478. Is 8 a factor of v?
False
Let n(y) = y**3 - 3*y**2 + 3*y - 4. Let f be n(2). Does 78 divide -4 - (-12 + f)/(2/112)?
True
Let c(p) = -p**3 - 21*p**2 - 17*p + 15. Let o be c(-25). Suppose 6*y + o = 12*y. Is 98 a factor of y?
True
Let m(h) = -10*h + 162. Suppose -153 = 3*f + 3*u, -f + 5*f = 3*u - 204. Does 16 divide m(f)?
True
Let b(v) = 2*v**2 + 7*v + 7. Let x be b(-1). Suppose 4*k - 17*p - 1092 = -15*p, 3*k - 820 = x*p. Does 17 divide k?
True
Let o = -81 - -93. Suppose 5*f - v = 5, 4*v = -5*f - o - 8. Suppose n + 0*n - 2*p - 38 = 0, -2*n - p + 51 = f. Is n a multiple of 26?
False
Suppose 0 = -4*k - 20. Let d be (-6)/(-14) + (654/42 - k). Does 7 divide 97 + (14/d)/((-3)/(-9))?
False
Let a(t) = 2*t**2 + 3*t - 222. Let h be (18/3)/1*91/21. Is a(h) a multiple of 8?
True
Let p(m) = 13*m + 120. Does 3 divide p(27)?
True
Suppose 0 = -i + 3*f - 1, -4*i + 5*f + 5 = i. Suppose i*r + 18 = -r. Is (2/3)/(r/(-459)) a multiple of 6?
False
Let o be (-110 + 0)*9/(-2). Let m(i) = -161*i - 295. Let f be m(-4). Let d = o - f. Does 15 divide d?
False
Suppose -5*z - 28 = -4*w + 67, 3*z = -4*w - 25. Let l(s) = s**2 + 13*s - 6. Let g be l(z). Is 11 a factor of 1050/g + (-15)/(-12) + -1?
True
Let a(p) = -60*p + 45. Let v(n) = -119*n + 84. Let c(y) = 5*a(y) - 2*v(y). Is c(-9) a multiple of 15?
True
Let v(l) = -19*l - 200. Let u be v(-35). 