s = r - 1064. Is 34 a factor of s?
True
Let i(g) = g**2 - 15*g + 14. Suppose -3*s - m = 25, 4*m = -3*s + m - 15. Does 22 divide i(s)?
True
Let z = 85 - 79. Let p be 0*2/z*1. Suppose -5*i - 5*k = -i - 475, p = 2*k + 2. Does 30 divide i?
True
Let q = -1954 - -5603. Is q a multiple of 4?
False
Let w(i) = i**3 - 42*i**2 - 62*i + 286. Is 8 a factor of w(44)?
False
Let n = 30 - 36. Let j be 40/12 - n/9. Suppose 0 = -4*y + 2*h - j*h + 398, -5*y + 487 = -h. Does 14 divide y?
True
Let o = 1417 - -383. Suppose 751*q - o = 747*q. Is q a multiple of 18?
True
Let s(z) = 153*z - 131. Let j be s(10). Suppose -4*k - 5*n + j = 0, -17*k = -19*k + 3*n + 705. Is 32 a factor of k?
False
Suppose -4*l = 5*p - 2779, 23*l + 5*p + 1397 = 25*l. Does 103 divide l?
False
Let z = 148 + -137. Suppose -c + 34 = z. Suppose 25*h - 176 = c*h. Does 20 divide h?
False
Suppose 152 = 2*t - 1498. Suppose 16*m - t = 711. Is 7 a factor of m?
False
Let l(w) = -w. Let s(z) = -83*z - 4. Let f(d) = -3*l(d) + s(d). Let m be f(-1). Let v = 12 + m. Is 22 a factor of v?
True
Let j = 983 + -208. Let v = j + 89. Does 48 divide v?
True
Suppose 0 = v - 3*z - 8 - 70, -5*v + 5*z = -400. Suppose -b + v = -2*n, -3*b = -8*b - 3*n + 431. Suppose -1 + b = 4*g. Is g a multiple of 7?
True
Let p be (-7 + (5 - -2))/2. Suppose 20*g + g - 882 = p. Is g a multiple of 3?
True
Let n = -31 - 294. Let k = 755 - n. Is k a multiple of 30?
True
Is 3507*-6*(-53)/(-159)*2/(-2) a multiple of 14?
True
Suppose 5*i + 76 = -164. Let u be ((-69)/(-12))/((-2)/i). Is (-4 - u/(-12))/(2/36) a multiple of 9?
True
Let c(i) = i**2 + 4*i - 5. Suppose 24 = -3*j + 5*n - 7*n, -2*j - 24 = 4*n. Let v be c(j). Does 39 divide (-4)/((-12)/105) + v + -3?
True
Let a = -34 - -2. Let n(c) = -46*c**3 + 2*c**2 - 3*c. Let i be n(1). Let q = a - i. Does 4 divide q?
False
Let x(q) = 7*q**3 - 11*q**2 - 26*q + 10. Let r(c) = -8*c**3 + 12*c**2 + 26*c - 9. Let s(o) = 5*r(o) + 6*x(o). Does 14 divide s(8)?
False
Suppose 210443 = 3*m + 229*f - 234*f, 2*m - 5*f = 140297. Does 18 divide m?
True
Let h = -3442 - -7349. Is 92 a factor of h?
False
Suppose -5*b = -11*b. Let x be 10/(1*(b + 2)). Suppose -4*w + 570 = x*c, 4*w + 3*c - 199 - 375 = 0. Is 29 a factor of w?
True
Let x(p) = 14*p**3 - 4*p**2 + 3*p + 9. Let s(m) = -42*m**3 + 13*m**2 - 9*m - 26. Let w(d) = -4*s(d) - 11*x(d). Does 44 divide w(3)?
False
Suppose 5*d - 14 = 3*h + 17, 4*h + d + 72 = 0. Let c = 30 + h. Suppose 0 = -f - c + 67. Is f a multiple of 8?
False
Is 52 a factor of 808010/1295 - 4/(-74)?
True
Suppose -306*i + 20 = -296*i. Suppose 5*q = 10*q - i*f - 808, -f = -q + 164. Is q a multiple of 20?
True
Let f be (20/30)/(4/18). Suppose -i + 11 = -f*a, i + 3*a - 5 = 4*a. Suppose 6*l - o = 3*l + 61, l - i*o - 27 = 0. Does 6 divide l?
False
Suppose 135*r + 24052 - 425947 = 0. Is 6 a factor of r?
False
Let p = 2778 + -1674. Suppose -4*j + 1096 = 4*r, 6*r - p = 2*r - 2*j. Suppose 0 = 8*o - 982 + r. Is o a multiple of 22?
True
Let o(g) = 14*g**2 - 11*g + 7*g + 17*g + 7 - 39*g**2 + 2*g**3. Is 3 a factor of o(12)?
False
Let y(b) = -4*b**2 + 17*b - 10. Let m be y(4). Does 8 divide (225/m)/(522/(-168) + 3)?
False
Let i(q) be the third derivative of q**6/120 - q**5/4 + 7*q**4/6 - 11*q**3 + 140*q**2. Is i(16) a multiple of 29?
True
Let v(f) be the third derivative of -f**6/60 - f**5/30 + 5*f**4/24 + 5*f**3/3 - 3*f**2. Let j = 358 + -361. Is v(j) a multiple of 4?
False
Let c(j) = 108 - 32 - 154376*j + 154380*j. Is 4 a factor of c(9)?
True
Let t = 832 + -54. Suppose 2*w - 3*l = t, w - 321 - 65 = 3*l. Is 49 a factor of w?
True
Let v(y) be the second derivative of y**5/2 + y**4/4 + y**3/3 - 5*y**2/2 - 63*y. Is 25 a factor of v(3)?
False
Let z be (2/2 - -1)*15/(-10). Let c be (5 + (-6)/z)/((-2)/8). Is 15 a factor of 14/c + (-782)/(-4)?
True
Is 118 a factor of (-4248012)/(-300) + 22/(-550)?
True
Let j(p) = p**3 + 24*p**2 - 31*p - 39. Let n be j(-26). Let b = n + 661. Is b a multiple of 3?
False
Suppose 0 = 4*s - 5*k - 5513, -5*s - 19*k = -29*k - 6910. Does 26 divide s?
False
Does 34 divide (-863949)/(-92) + 18/72?
False
Suppose 3*i = 9, 3*w - 5*i + i = -3. Let q = 144 - -198. Suppose -2*r + w*h + q = 47, 2*h = -2*r + 270. Is 14 a factor of r?
True
Let m(p) be the first derivative of p**2/2 - 2. Let l be m(4). Suppose 0*c - l*c + 228 = 0. Is 20 a factor of c?
False
Suppose 5*z - 405 = -f, -5*z - 1429 = -5*f + 686. Is 2*2*f/56 a multiple of 6?
True
Let g = -12514 + 27265. Is g a multiple of 33?
True
Suppose c = j - 5 + 27, -5*j - 5*c - 110 = 0. Let f be j/(-10) + ((-1)/5 - 0). Is 2 a factor of 45/15*f/2?
False
Let b = -8177 + 9961. Is 4 a factor of b?
True
Let k(w) = w**3 + w**2 - 5*w + 868. Let x be k(0). Suppose 219*c - x = 215*c. Is 23 a factor of c?
False
Suppose 19998*r = 19962*r + 455328. Is 31 a factor of r?
True
Let y(q) = 4*q + 135. Let m be y(-33). Suppose -m*h + 41 = -5*z, -3*h + 44 = -z - 5. Does 17 divide h?
True
Let i = -92 + 103. Let q(w) = 12 + 62*w**2 + w - 21 + i. Is 28 a factor of q(2)?
True
Let a = -17217 - -26505. Does 24 divide a?
True
Suppose 3*v = -3*r + r + 2858, 2*v + 2878 = 2*r. Is r a multiple of 4?
False
Suppose -5*q + 2*k - 238 = 0, -5*q + k = -7*q - 97. Is 21 a factor of 32/q - (-410)/3?
False
Let o(f) = 10*f**2 + 9*f + 16. Let v(c) = -4*c - 21. Let l(r) = -2*r - 10. Let p(i) = 5*l(i) - 3*v(i). Let u be p(-8). Does 8 divide o(u)?
False
Suppose 2*x = -5*h - 387, 0 = 2*x - 4*h - 0*h + 342. Let v = -161 - x. Is 5 a factor of v?
True
Suppose 3*p - 24 = -3*v, -3*v - p = -4*v + 4. Suppose -u + v*a = 3*a + 12, -4*u = -3*a + 30. Let q = u - -58. Is 13 a factor of q?
True
Let b(g) = -3*g - 9. Let r be b(-3). Suppose -3*q = 0, r = 2*s - 5*q + 364 - 44. Does 16 divide (-2 + 13/2)/((-15)/s)?
True
Let y = -88 - -202. Let m = -58 + y. Does 8 divide m?
True
Suppose 22*l - 38*l = 208. Let t(o) = -o**2 - 19*o - 49. Does 15 divide t(l)?
False
Suppose -19*a + 25 = -14*a, -a - 1755 = -5*s. Is s a multiple of 4?
True
Suppose 0 = -8*l + 40692 + 48501 - 32137. Does 9 divide l?
False
Suppose -133*q + 95*q + 379 = 113. Let x(l) = -l**2 - l - 112. Let k be x(0). Is 13 a factor of 2540/k*-4 - (-2)/q?
True
Let g(a) = -2*a**3 + 2*a**2 + 9*a + 9. Let q(w) = -w**3 + w**2 + 8*w + 10. Let k(p) = 5*g(p) - 6*q(p). Does 15 divide k(-5)?
True
Suppose 2*o = 0, 4*o + 245 = -q + 6*q. Let c = -49 + q. Suppose c = 7*p - 9*p + 22. Is p a multiple of 2?
False
Let z = 226 + -223. Suppose 4*q + 2*d - 671 - 311 = 0, -2*d - 747 = -z*q. Is 23 a factor of q?
False
Suppose 22*c - 51906 = 51868. Is c a multiple of 89?
True
Suppose -4*i + a = -239 - 89, 5*i - a - 411 = 0. Suppose 2*q = 6, 3*q - 19 = -t - 2*q. Suppose -2*f + u + t*u = -85, -2*f = -3*u - i. Is 10 a factor of f?
True
Suppose -p - 3*u + 1057 = 2*u, 3*u = 4*p - 4159. Let n = 1510 - p. Does 52 divide n?
True
Let s = -61 - -56. Let o(f) = -73*f + 55. Is 10 a factor of o(s)?
True
Suppose a - 321 = -a + c, -5*a + 798 = 2*c. Let j(o) = 31*o + 1. Let s be j(-1). Let z = a + s. Is 13 a factor of z?
True
Let c(v) be the first derivative of 7*v**2 + 30*v - 18. Let p be c(-3). Is (42/(-8) + p/16)*-2 a multiple of 3?
True
Let o = -238 - -480. Let m = o - 128. Is m a multiple of 38?
True
Let o(a) = -a**2 - 28*a - 25. Let t be o(-23). Is 6/t*5 + (-10095)/(-9) a multiple of 19?
False
Let d(l) = 17*l + 48. Let u be d(16). Let p = 1027 - u. Is 29 a factor of p?
False
Let l(f) = 3*f**2 - 2*f - 8. Suppose -p - k = k - 1, 0 = -3*k - 9. Let g be l(p). Suppose 4*w = 2*x - 12 - 38, -5*x = -5*w - g. Is 7 a factor of x?
False
Suppose 6*c + 2*v - 80346 = 0, c - 53580 = -3*c + 4*v. Does 93 divide c?
True
Let u(t) = -t + 18. Let z be u(5). Suppose -4*k - 5*c + 28 = 0, 1 = 3*k + 2*c - z. Suppose 0 = -0*m - k*m + 286. Is m a multiple of 11?
True
Let w = 2109 + 3379. Is 45 a factor of w?
False
Let v = -32 + 25. Let y be v + 5 + (5 - -3). Is 13 a factor of (21 - y) + -2*1?
True
Let g(t) = 2*t**3 - 95*t**2 - 11*t + 48. Is g(50) a multiple of 7?
True
Let w(n) be the second derivative of 2*n**3/3 - 15*n**2 + 93*n. Let p = -17 - -41. Is w(p) a multiple of 22?
True
Let i(x) be the second derivative of x**4/4 + 5*x**3/3 + 2*x**2 - x. Let n = -303 + 296. Is i(n) a multiple of 9?
True
Let n(j) = -20*j**3 - 8*j**2 - 17*j - 37. Does 137 divide n(-6)?
False
Suppose -4*j = 5*f - 10, 5*f + 8 = -j + 3. Suppose -2*q 