s = -0*s - 5*n + 332. Suppose -438 = -4*v - 2*c, -3*c + 285 + s = 4*v. Is v a multiple of 12?
True
Is (-1)/((-4495)/(-750) - 12/2) a multiple of 15?
True
Is 4/(-16) - (-2228)/16 a multiple of 3?
False
Let y(l) = l**3 - 2*l**2 - l - 4. Let w be y(3). Suppose 3*j = -15, 0*q - w*q = -j - 11. Let r(u) = 5*u**2 + 5*u - 4. Is r(q) a multiple of 17?
False
Suppose 0 = -4*o - o + 10. Let c(u) = -3 + 1 + 5*u + o*u**2 - u**3 + 3 - 5. Is 2 a factor of c(3)?
True
Does 102 divide (((-432)/(-8))/3)/((-9)/(-102))?
True
Let s(m) = 2*m**3 + 15*m**2 - 9*m - 3. Let r be s(-8). Suppose -5*c - r*b + 90 = -55, 2*c - 2*b - 54 = 0. Does 12 divide c?
False
Suppose -519 - 1341 = -10*m. Suppose -z - 59 + m = 4*s, 5*z - 740 = s. Does 36 divide z?
False
Let z(k) = 145*k - 2 + 0 + 1. Let v be z(1). Suppose -3*h + v = h. Is h a multiple of 18?
True
Let n(x) be the second derivative of -23*x**3/6 + 9*x. Does 23 divide n(-1)?
True
Let w = -164 - -189. Is w a multiple of 5?
True
Suppose 4*i + 22 = 214. Let k = i + 91. Suppose -6*c + k = -131. Is c a multiple of 9?
True
Let a(f) = 4*f**2 + 21*f - 13. Suppose 0 = -9*u + 4*u - 45. Is 32 a factor of a(u)?
False
Let m be 57/12 + 2/8. Suppose -d + 0*d = 4*n - 245, 1120 = m*d - n. Is d a multiple of 45?
True
Let b = 75 - -150. Does 30 divide b?
False
Suppose 0 = -4*g + 2*g + 10. Suppose g*f - 2 + 37 = 4*n, 0 = -4*n + f + 23. Is 11 a factor of (-56)/(-5) + (-1)/n?
True
Let q be (116/(-6))/((-6)/81). Suppose 0 = 2*c - q + 13. Does 14 divide c/9 - (-4)/18?
True
Suppose -2*q - 12*q = -5236. Is q a multiple of 23?
False
Let h = -38 + 45. Suppose 4*d = -3*n + 951, -3*d + h*d + 5*n - 961 = 0. Does 26 divide d?
True
Suppose -o = 5*p - 1155, 4*o = -33*p + 38*p + 4645. Is 15 a factor of o?
False
Let x(d) = -d**3 - 12*d**2 - 11*d + 3. Let p be x(-11). Suppose -122 = -p*u - 8. Is 11 a factor of u?
False
Let b(q) = 6*q**3 - 5*q**2 + 7*q + 3. Let w(m) = -19*m**3 + 15*m**2 - 20*m - 8. Let r(p) = -8*b(p) - 3*w(p). Is r(2) a multiple of 15?
True
Let j = 108 + -36. Is j a multiple of 6?
True
Let r(y) = 5*y**2 - 16*y - 19. Does 16 divide r(-9)?
False
Let h = 8 - 8. Let n(u) = h*u + u**2 + 4*u - u - 4*u - 1. Is n(8) a multiple of 14?
False
Suppose 5*d + 3*y - 159 = 0, -3*d + 4*d - 3*y - 21 = 0. Suppose -70 = -d*a + 29*a. Is 35 a factor of a?
True
Let d = -8 + -27. Is ((-8)/(-10))/((-14)/d) a multiple of 2?
True
Let u(w) = 2*w**2 - w + 8. Let g be -1 + 3 - 4 - -4. Let k be 14/28 - (-7)/g. Is u(k) a multiple of 12?
True
Let z(m) = -m + 23. Let f be z(8). Let a(q) = -q**3 + 15*q**2 + 5*q - 31. Is 19 a factor of a(f)?
False
Let o = -265 - -325. Does 30 divide o?
True
Suppose -10*h - 93 = -613. Is h a multiple of 17?
False
Let c(i) = -27*i + 39. Is 24 a factor of c(-19)?
True
Let l(v) = 3*v**2 + 4*v - 4. Let h be l(-5). Suppose k - f - h = -9, -3*k - 3*f + 114 = 0. Is 4 a factor of k?
True
Let t = -261 - -871. Is t a multiple of 61?
True
Let r be 352 + 3/(-9)*0 + 3. Suppose -4*k + r + 722 = -h, -2*k = -2*h - 534. Is k a multiple of 27?
True
Let j(t) = -t. Let k be j(-6). Let m be 79 - 4 - -2 - (-1 + 3). Suppose k*f - f - m = 0. Is f a multiple of 15?
True
Let u(j) = j**2 + 12*j - 160. Does 12 divide u(14)?
True
Suppose b = 5 - 3. Suppose b*t - 36 = -2*t. Let f = t - 4. Is 2 a factor of f?
False
Let j(t) = -10*t**2 - 6*t - 19. Let x(z) = z**2 + z + 1. Let g(y) = -j(y) - 6*x(y). Suppose -u = 4*i + 8 - 33, 2*i - 2*u = 0. Is 19 a factor of g(i)?
False
Let c(h) = h**3 - 13*h**2 - 11*h - 34. Let l be c(14). Let z(g) = 2*g**2 - 9*g - 8. Is z(l) a multiple of 8?
True
Suppose -k - 2*t + 6 = -4*t, 0 = 5*k - 5*t - 25. Is k/(-10) + 4*(-708)/(-80) a multiple of 7?
True
Let c(s) = s**2 - 2*s - 4. Let n be c(-4). Let x be (24/n)/((-2)/(-155)). Suppose 237 = 3*j + x. Is 12 a factor of j?
True
Let x be 14/(-21) - 8/(-3). Suppose -2 + 76 = -2*b + x*u, -u = -2*b - 79. Let r = -28 - b. Does 14 divide r?
True
Suppose -3980 = -30*t + 10*t. Is 11 a factor of t?
False
Suppose z + 2 = 0, 0 = -q - 34*z + 39*z + 280. Is 15 a factor of q?
True
Let p = -26 - -122. Suppose 2*w - 3*g - 62 = 0, 4*w - p = -0*g - g. Suppose 0 = -3*k + 76 - w. Is 17 a factor of k?
True
Let t(v) = -2*v + 44. Let c be t(19). Suppose -c*y + 869 = 149. Is y a multiple of 40?
True
Suppose 2*v - 3 = 53. Let l be v/42 + 7/3. Is 162/l + (4 - 1) a multiple of 18?
False
Let b(l) = -l - 14. Let p be b(-8). Let a(n) be the third derivative of -n**4/6 - 2*n**3/3 + 2*n**2. Is 20 a factor of a(p)?
True
Is (-2076)/(-7) - 2 - 69/(-161) a multiple of 33?
False
Let i = -44 - -179. Is 27 a factor of i?
True
Suppose 3*s - 760 = s. Suppose z + 4*z = s. Suppose z = c + c. Is c a multiple of 19?
True
Does 25 divide 9996/10 + ((-85)/(-25) - 3)?
True
Let w(q) be the first derivative of q**3/3 + 26*q + 6. Let c be w(0). Suppose 0 = 4*s - c - 46. Is 9 a factor of s?
True
Let k(d) = d**3 - 17*d**2. Let x be k(17). Suppose x*h + 2*h = 4*n - 560, -h - 142 = -n. Is n a multiple of 24?
False
Let q(o) = -o**3 + 6*o**2 - 8*o + 6. Let j be q(5). Let y be (-81)/j + (-1 - -2). Let b(n) = -n**3 + 9*n**2 + 15*n - 9. Is 6 a factor of b(y)?
False
Is 33476/8 + 7/14 - 5 a multiple of 76?
True
Let w = 1081 - 853. Is 6 a factor of w?
True
Let h = -873 - -3953. Does 28 divide h?
True
Let r = 49 - -247. Does 23 divide r?
False
Suppose 5*g - 10 = 5*l, -2*g = 4*l - 2*l - 16. Suppose -i = -3*k + 204, l*k - 107 = 4*i + 88. Does 6 divide 3/(9/k) - 2?
False
Suppose -2*j + 5 = -5*v, 5*v = -4*j - j - 5. Suppose -5*z + 135 = -4*z + 4*d, 3*z - 3*d - 435 = j. Is z a multiple of 12?
False
Suppose -2*z - 8*v + 10*v + 2202 = 0, -1101 = -z - 2*v. Does 24 divide z?
False
Let q = -7 + 22. Let m be q/(-15) - (0 + -4). Suppose -2*t + 7 = n, -2*t = -m*n + 47 + 6. Does 5 divide n?
True
Suppose -5*d = -575 - 215. Is 7 a factor of 28/42 - d/(-6)?
False
Does 9 divide 407 + 3 - (6 + 1)?
False
Suppose 4*l - l - 237 = 0. Let r = 440 - l. Is 20 a factor of r/5 + 7/(-35)?
False
Let s(m) be the first derivative of -1/2*m**2 + 3 + 50*m. Is 25 a factor of s(0)?
True
Suppose 3*c - 4*n + 61 + 509 = 0, -4*c + 2*n = 760. Let f = 268 + c. Is 13 a factor of f?
True
Let o = 5 + -17. Let z be -12*(0 + 51/o). Suppose 0 = -s + 5*l + z, -5*s - 3*l = -174 - 81. Is s a multiple of 17?
True
Suppose -3 = -3*c + 3*v, 2*c + 2 - 6 = v. Suppose -g = -3*z + 35, 81 = 5*z - c*g + 7*g. Suppose -j + 0*j + z = 0. Does 13 divide j?
True
Suppose 0 = 5*k - 281 - 1444. Is k a multiple of 23?
True
Let r(b) = -b**3 + 7*b**2 + 9*b - 5. Let a = 81 + -74. Is 10 a factor of r(a)?
False
Suppose -2961 = -32*u + 10095. Does 8 divide u?
True
Let z(f) be the first derivative of -f**3/3 - 11*f**2 - 13*f + 35. Is z(-18) a multiple of 18?
False
Let i be (-4 + 5)*4 - -1. Let p(u) = -u**3 + 8*u**2 - 6*u + 7. Does 11 divide p(i)?
False
Suppose 11*r = 6397 + 27604. Does 13 divide r?
False
Let c(j) = -j**2. Let d be c(-4). Let z = -32 + 23. Let h = z - d. Does 3 divide h?
False
Let g(o) = -o**3 - 4*o**2 + 3*o - 5. Let c be g(-5). Suppose c = -3*q - 2*r, q + 4*q - r + 4 = 0. Is (-27)/2*(q - 5) a multiple of 27?
True
Let d(x) = 667*x - 71. Does 10 divide d(3)?
True
Let c(w) = -5 - 3 + 36*w + 2 - 3. Let i be c(6). Suppose 0 = v + 2*v - i. Does 24 divide v?
False
Suppose -2*t - 10 = 2*l, 2*t + 4*l - 5*l = -4. Let f be t*(-2)/6*5. Suppose 7*z - 204 = 3*z - f*q, -q - 4 = 0. Does 28 divide z?
True
Let a(x) = x**3 - 15*x**2 - 44*x - 12. Is 30 a factor of a(21)?
True
Suppose -1509 = -5*y + 5*o + 1011, -o - 2520 = -5*y. Suppose -2*g - 2*g = y. Let x = 201 + g. Is x a multiple of 25?
True
Let v(s) = -4*s - 69. Is v(-22) a multiple of 19?
True
Let o = 5 - 1. Suppose 4*g = -0*g + 4*n + o, 0 = 5*g + 5*n + 5. Suppose 4*l - 2*a - 260 = g, 3*l - 2*a - 202 = -4*a. Does 22 divide l?
True
Suppose -14*i + 11*i - 4*s + 896 = 0, 4*s = -16. Does 16 divide i?
True
Let i(y) = 6*y + 1. Let j be i(-15). Let x = -5 - j. Does 21 divide x?
True
Suppose -47 = -5*p + 88. Is (-168)/9*p/(-6) a multiple of 6?
True
Let r(m) = m - 1. Let j(a) = 0*a - 1 + 2 - 2*a. Let b(g) = 4*j(g) + 3*r(g). Is 13 a factor of b(-3)?
False
Suppose 693 = 3*x + 3*w - 444, 0 = -2*x + w + 755. Is 42 a factor of x?
True
Let g(o) = -o**2 + 7*o - 2. Let u be g(6). Let j = u - 11. Is 19 a factor of j/(-2)*(7 + -1)?
False
Let d(i) be the second derivative of 11*i**4/12 + i**3/2 - 5*i. Does 19 di