 17*p + 7. Let u be c(y). Suppose -6*j + u = -355. Does 18 divide j?
True
Suppose j = 3*b + 35, 0 = 3*j - j - b - 45. Suppose -n + 6*n = j. Suppose -6 = 2*y + n*w - 2, 2*w = -4*y + 16. Is 3 a factor of y?
True
Let j = 158 + 17. Does 15 divide j?
False
Is 224/21*2*(-333)/(-24) a multiple of 37?
True
Suppose 0 = -6*f + 5*f + 602. Does 12 divide f?
False
Suppose 2*o - 492 = 2*t, -t + 637 + 587 = 5*o. Let p = 371 - o. Is 26 a factor of p?
False
Suppose 7 - 22 = 3*a. Let t = a - 0. Let z(p) = -p**3 - 6*p**2 - 5*p + 7. Is 7 a factor of z(t)?
True
Let m = 16 + -13. Let p(g) = 16*g**2 - 7. Let f be p(m). Let y = f + -81. Does 25 divide y?
False
Let y(j) = 9*j**2 - 15*j + 4. Let w be y(6). Let c = 360 - w. Is 7 a factor of c?
False
Let g = -234 - -92. Let o = 232 + g. Is 15 a factor of o?
True
Suppose 0 = 4*o - 98 + 34. Suppose q - 348 = -5*b, b - 4*b = -3*q - 216. Suppose g - b + 9 = -f, 4*f - o = 0. Is g a multiple of 19?
True
Suppose 148368 = 8*t + 58*t. Does 8 divide t?
True
Let j = 405 + -243. Suppose -3*l = 3*l - j. Let p = l + 45. Does 24 divide p?
True
Let y = 199 + -136. Is y a multiple of 7?
True
Suppose 90*n = 160*n - 25480. Does 5 divide n?
False
Suppose -5*u + 76 = 2*m - 3*u, -u = -3*m + 94. Let d = 28 - m. Is (-30)/(-2)*d/(-15) even?
False
Does 68 divide (28/3)/(26/1326)?
True
Let s(t) = -t**3 - 12*t**2 + 3*t + 22. Let w be s(-12). Let g = w - -45. Is 11 a factor of g?
False
Let y be 1/((-3)/369 - 0). Let c = -174 - y. Let x = c + 80. Does 10 divide x?
False
Let j(w) be the second derivative of -w**3/3 - 4*w**2 - 5*w. Let l be j(-8). Suppose 0*k + k = l. Does 4 divide k?
True
Let w be (-1 - -3) + -2 + 0/4. Suppose -4*n - z + 567 = 0, n + 2*z + z - 150 = w. Does 10 divide n?
False
Suppose 4*p - 188 = 4*m, -12*p - m = -11*p - 53. Is 2 a factor of p?
True
Let x(l) = 4*l + 112. Let z be x(-10). Let k be 1 - (1*-1)/(-1). Suppose k = 4*v - 8*v + z. Is 6 a factor of v?
True
Let j(o) = 27*o - 125. Is 6 a factor of j(7)?
False
Let l(q) be the second derivative of q**4/12 - q**3/3 + 5*q**2 - 15*q. Is l(0) a multiple of 10?
True
Suppose -4*b - b + 35 = 5*o, 5*o - 5*b + 5 = 0. Let p(j) = 6*j**3 - j**2 + 2*j + 6. Is p(o) a multiple of 15?
True
Let t = 2366 - 1200. Is 10 a factor of t?
False
Let b(f) be the third derivative of 1/12*f**5 + 1/8*f**4 + 0*f**3 + 0*f + 0 + 8*f**2. Is 6 a factor of b(-2)?
False
Let z(x) = 126*x**2 + 13*x - 13. Let o be z(1). Let m be 1*37 - 0 - 1. Suppose r + m = p, 4*p - 63 = -5*r + o. Is p a multiple of 14?
False
Let n be (-6)/8 + 14/(-112)*-102. Suppose -24 = o - 4*r, 11 = -o + 2*r - 7. Let z = n - o. Is z a multiple of 12?
True
Suppose -448 = -16*n + 10288. Is n a multiple of 61?
True
Suppose -2*q + 748 = q + 2*k, -3*k - 1272 = -5*q. Is q a multiple of 12?
True
Let z(s) = -7*s - 2. Suppose -k = -5*k - 20. Is z(k) a multiple of 20?
False
Suppose 6*k + 37 = 115. Suppose 3*v - 47 - k = 0. Is 3 a factor of v?
False
Let y(r) = 8*r**3 + 3*r**2 + 2*r + 3. Let g be y(-3). Let a = -134 - g. Let c = 96 - a. Is c a multiple of 19?
True
Suppose 3*n - 294 - 66 = 3*m, 2*m + 252 = -2*n. Let d = -9 - m. Suppose -4*c = -c - d. Is 20 a factor of c?
False
Let s = -59 + 370. Does 12 divide s?
False
Suppose -3*i = 5*l - 4, -2*l + 2*i + 8 = -0. Suppose 0 = 2*o - 4*f - 134, -l*o + 138 = -7*f + 2*f. Does 21 divide o?
False
Suppose 0 = -5*a + 2*l - 10 + 31, 3*a - 19 = -2*l. Suppose -576 = -0*b - 4*b. Suppose i - a*i = -b. Does 18 divide i?
True
Let y = 125 - 291. Let a = 292 + y. Is 18 a factor of a?
True
Let k(g) = 13*g**2 + 5*g + 1. Is 9 a factor of k(5)?
True
Suppose -144*p + 143*p = -120. Does 6 divide p?
True
Let w(p) = -p**2 - 9*p - 4. Let y be w(-7). Let c(g) = 2*g + 1. Let f be c(y). Let h = f + -12. Does 6 divide h?
False
Suppose -4*k + p - 768 = 0, -3*k + 4*p - 960 = 2*k. Let b = 399 + k. Does 49 divide b?
False
Let y(h) = -h**3 - h**2 + 2. Let x be y(0). Is ((-25)/x)/(1/(-2)) a multiple of 5?
True
Let i(j) = 3*j + 10. Let a(d) = d + 1. Let h(p) = -4*a(p) + i(p). Let x be h(5). Suppose -301 + x = -5*b. Is 20 a factor of b?
True
Let q = -82 - -76. Does 8 divide -115*2/(-4) + 9/q?
True
Suppose -2*g = 4*g - 180. Let i = 20 + g. Is i a multiple of 19?
False
Is 11 a factor of 74/(-4)*(0 + 1)*-6?
False
Suppose 0 = 3*m + 5*w + 525 - 1435, -4*m = -4*w - 1256. Let r = m + -190. Does 24 divide r?
True
Suppose 35*g - 74777 = -12*g. Is g a multiple of 35?
False
Let l be (-4 - -4)*(2 + -3). Suppose 0 = -7*v - l*v + 343. Is v a multiple of 10?
False
Let z be (1 - (-15)/(-12))/(2/(-8)). Let g(f) = -f**3 + 4*f**2 + 2*f - 3. Let x be g(4). Is 11 a factor of z*(-2 + x)*22?
True
Let c = 115 - 253. Let m = -13 - c. Is 42 a factor of m?
False
Let p(i) = -i**2 + i + 1. Let d(h) = 8*h**2 + h - 5. Let n(g) = -d(g) - 6*p(g). Let l be n(-3). Suppose -l*y = -y - 20. Does 4 divide y?
True
Let d = 864 + -600. Is d a multiple of 11?
True
Let i(s) = -1 - 2*s**3 - 11 - 21*s**2 + 3*s**3 + 3*s. Is 17 a factor of i(21)?
True
Suppose -3*f = -u - 103, -2*f + 69 - 12 = -3*u. Let l = -24 + f. Is 4 a factor of l?
True
Is 7/(56/6)*(1848 + -8) a multiple of 23?
True
Let l = -1376 - -980. Let b = l + 262. Is (-2)/4*(b + 6) a multiple of 23?
False
Is 1861 - ((-21)/(-6) + 45/18) a multiple of 99?
False
Suppose r + 2*m = -4, -r + 3*m = 9 - 25. Let z = 1 + r. Suppose 0*g = -z*g + 15. Is 3 a factor of g?
True
Suppose 0 = r - 24*r + 6095. Is r a multiple of 70?
False
Let f = -162 + 158. Suppose -5*w + 4*u = -10, 0 = 5*w - 4*w - 3*u - 2. Does 14 divide (f + 5)/(w/84)?
True
Let a(d) = -3*d - 30. Let z be a(-6). Is z/(-36) - 178/(-6) a multiple of 15?
True
Let x(y) = -y**3 + 7*y**2 - 4*y - 6. Let a be x(6). Let n = -4 + a. Suppose -n*j + 3*b = j - 69, -b = 4*j - 77. Is 20 a factor of j?
True
Suppose -5*a - 2 = -2*k + 3, k = 2*a + 2. Let p = 26 - a. Is 8 a factor of p?
False
Let w(t) = -4 + 2 + 9*t + 0. Is 8 a factor of w(2)?
True
Let v = 814 - -11. Is v a multiple of 75?
True
Let s = -237 - -347. Let w be (10/(-4))/((-2)/4). Suppose 0*a + s = w*a. Is 22 a factor of a?
True
Let c = -3078 - -6498. Is 36 a factor of c?
True
Let g = 23 + -21. Suppose 3*r - 4 = 2*b, -5*r + g*b = 6 - 14. Suppose -123 = -3*p - f - 6, 5*p - r*f = 206. Does 10 divide p?
True
Suppose 0 = -3*x - 227 - 139. Let w = -62 - x. Is w a multiple of 12?
True
Let x(p) = p**2 + 10*p - 6. Suppose 3*k = -25 + 1. Let f be x(k). Let n = f - -33. Does 3 divide n?
False
Suppose 6*j - 79 - 437 = 0. Let d(m) = -m**3 - 2*m**2 + 3*m + 2. Let y be d(-3). Suppose -5*l - 3*u = -j + 16, -14 = -l + y*u. Does 6 divide l?
False
Let b be -5 + 2 + 5 + 178. Suppose 4*j = -3*c + b, -4*c + 5*j - j + 212 = 0. Suppose 5*w - c = 3*w. Is w a multiple of 7?
True
Let k(n) = -n**2 - 8*n + 13. Let z(s) = -3*s**2 - 32*s + 52. Let c(y) = -18*k(y) + 4*z(y). Is c(6) a multiple of 11?
True
Is (496*(-5)/6)/((-274)/1233) a multiple of 20?
True
Let b be (-170)/(-6) - 10/(-15). Suppose i - 5*t = 2*i - b, -5*t = -20. Does 9 divide i?
True
Suppose -22 = 5*d - 7. Is -3 + ((-189)/(-3) - d) a multiple of 19?
False
Let c be 0 + (-1)/2*-2. Let z(i) be the second derivative of 5*i**4/12 + i**3/6 - 12*i. Is 2 a factor of z(c)?
True
Let b(z) = -3*z - 20. Let g be b(-6). Does 17 divide (g/8 + -4)*-16?
True
Suppose -a = 5*b - 17, 0 = -5*b + 21 - 1. Is ((-352)/12 + 1)/(a/9) a multiple of 17?
True
Let y = -8 - -7. Let h = y - 5. Let o(n) = n**3 + 5*n**2 - 9*n - 7. Is 8 a factor of o(h)?
False
Let w(g) = 2*g**2 - g. Let h be w(0). Suppose 2*v - 8 - 4 = h. Does 6 divide v?
True
Let v be 3*(-4)/(-12)*(-1 - -3). Let z(t) = 24*t**3 - 3*t**2 + 6*t - 3. Does 27 divide z(v)?
True
Suppose -2*m + 28 = w + 3*m, -2*w - m + 29 = 0. Let d(z) = z**2 - 12*z - 8. Let n be d(w). Suppose n*y - 164 = 71. Is y a multiple of 14?
False
Is 7 a factor of (-264)/(-55) - 5 - (-812)/10?
False
Suppose 3*f - 81 = 2*a, 8*a = -5*f + 13*a + 140. Is f a multiple of 5?
True
Suppose 1549 = 5*i - 4*x, -i + 64*x = 59*x - 314. Does 85 divide i?
False
Suppose -10 = 14*p - 19*p. Suppose 60 = 5*a - p*a - 4*j, 3*j = 9. Is a a multiple of 22?
False
Suppose 781 = -51*z + 52*z + v, -4*z = -5*v - 3133. Is z a multiple of 23?
True
Suppose -2*o + o + 157 = -5*i, i + 35 = -o. Let a(s) = s**3 + 53. Let k be a(0). Let f = k + i. Is f a multiple of 7?
True
Suppose -2104 = -n + m, -6*m - 2124 = -17*n + 16*n. Is n a multiple