8*u - 192. Does 12 divide u?
True
Let s = 52 - 30. Let q = 26 - s. Does 2 divide q?
True
Does 16 divide 3 + 287 + 3 - (23 + -18)?
True
Let t be -27*-4*(-2)/12. Let i = t + 28. Let y(q) = -q**3 + 12*q**2 - 12*q - 4. Does 19 divide y(i)?
True
Let n be 3 + -3 - (30 + 3). Let p = n - -17. Let q = 27 + p. Is 8 a factor of q?
False
Suppose -5*r - 3*l + 545 = -8*l, -l + 521 = 5*r. Suppose z = 2*j - 233 - r, 5*z + 346 = 2*j. Is 42 a factor of j?
True
Let x = -138 + 1324. Does 8 divide x?
False
Let c(d) = 4*d**2 + 16*d + 3. Let l be c(5). Suppose -8*p = 7 - l. Is 6 a factor of p?
False
Let j = 1370 - 1270. Does 50 divide j?
True
Let q = -34 + 38. Suppose j = 4*z + 14, q*j = 8*j + z - 39. Is 4 a factor of (-44)/14*(j - 17)?
False
Let t be (8/(-7))/(3/(-21)). Suppose t*f = 12*f - 384. Is f a multiple of 32?
True
Let j = 0 + -10. Suppose 5*q - 4*u + 9 = 0, 2*q = q + 4*u + 11. Is (42/4)/(q/j) a multiple of 7?
True
Suppose -5*x + 87 = 2*h - 2*x, -205 = -5*h + 5*x. Suppose -j + 2*z = -16, -2*j + h = z - 3*z. Is 9 a factor of j?
False
Let q = 76 - 72. Suppose -l + 5*u = -176, -742 = -0*l - q*l + u. Does 31 divide l?
True
Suppose -4*g = -4*z + 176, -3*g = 2*z + g - 94. Is z a multiple of 22?
False
Let a(i) = -i**3 + 5*i**2 + 6*i + 4. Let q be a(6). Suppose 5*j - 3*y - 1 = 3, -5*y = -q*j - 2. Suppose -j*g + 126 = g. Does 21 divide g?
True
Suppose 176336 = 89*w - 90130. Is 15 a factor of w?
False
Let w = -1 - -5. Suppose 19 = -j - a, 0 = 2*j - 2*a - w + 62. Let l = j + 72. Is l a multiple of 13?
False
Let t(p) = -3*p**2 + 79*p + 17. Is t(26) a multiple of 4?
False
Suppose 2*y + 16 = -3*i + i, 2*i = -4. Let m = -3 - y. Suppose 0 = -5*s + m*t + 211, -3*s - 3*t + 35 = -2*s. Is s a multiple of 14?
False
Let b = 0 + 1. Suppose 20*o = 19*o - 4. Is ((-408)/32)/(b/o) a multiple of 17?
True
Suppose -2*b = 2*b - 2*p - 58, -5*b + 85 = -5*p. Let s be 1 + -2 + (1 - 12). Is 15 a factor of (-2)/s + 1042/b?
False
Let n = 25 + -55. Let b be (-4)/10 - 1032/n. Suppose 0 = -z + 4*o + b + 10, -3*o = -5*z + 169. Is 10 a factor of z?
False
Suppose -5*f - 5 + 40 = 0. Suppose 0 = 4*a + 4*r - f*r - 62, 0 = -5*a + 3*r + 79. Let c = 28 - a. Does 11 divide c?
True
Suppose -r + 79 + 515 = 0. Is 66 a factor of r?
True
Let a(y) be the second derivative of -y**7/840 + y**6/45 + y**5/24 - 7*y**3/6 + 7*y. Let b(p) be the second derivative of a(p). Is 12 a factor of b(8)?
False
Suppose 2*u = 4*m, -2*m - 3*u = 3*m. Suppose 0 = -2*c - 5*a + 22, -3*a + a + 8 = m. Let z(p) = 18*p**2 + 1. Does 19 divide z(c)?
True
Suppose -908 = -3*u - 4*w + 852, 3*u - 1756 = -5*w. Is u a multiple of 37?
True
Let w be ((-9)/((-18)/(-4)))/2. Does 4 divide (-15)/5*(w - 1 - 1)?
False
Let k(s) = -3*s**3 - 2*s**2 + 3*s + 5. Let l(m) = -m**3 - 18*m**2 - 32*m - 2. Let r be l(-16). Is k(r) a multiple of 15?
True
Let o be (2/(-4))/(5/(-20)). Suppose -o*q + 4*f = -18, f = -0*q + 3*q - 17. Suppose q*y - 7*y = -112. Is 14 a factor of y?
True
Suppose -l - l + 320 = 0. Suppose 5*m - 4*k = l, 0 = 4*m - 4*k - 155 + 31. Suppose m = -6*j + 8*j. Does 6 divide j?
True
Suppose 2*d + 2*d - 8 = 0. Let p be (1 - d)/(3/(-3)). Let w(j) = 20*j**3 + 2*j**2 - j. Does 10 divide w(p)?
False
Let c be (-102)/14 + (-8)/(-28). Let n be (-1)/2 - c/(-2). Is 4 + (-300)/n + 1 a multiple of 16?
True
Let p(d) = d**3 - 7*d**2 + 6*d + 6. Suppose -a - 45 = -4*t, -54 + 3 = -3*t - 5*a. Suppose -v = v - t. Is p(v) a multiple of 3?
True
Let q(w) = w**3 + 2*w**2 - w + 2. Let t be q(-3). Let v(p) = -2*p**3 - 6*p**2 - 2*p - 3. Let f be v(t). Suppose 2*j - f = 13. Does 25 divide j?
True
Suppose -w = -3*k - 3*w + 175, 5*k - 5*w = 275. Let b = k + -16. Is b a multiple of 41?
True
Suppose 0 = -281*r + 285*r - 108. Is r a multiple of 9?
True
Let w = -1015 + 1080. Suppose 42 = -3*z + 3*g + 168, z + 4*g - 62 = 0. Let r = w - z. Is r a multiple of 13?
False
Is (-108)/(-702) - (-2 - (-18326)/(-26)) a multiple of 29?
False
Let n(x) = 5*x - 1. Let q be n(-3). Let d = -452 - -453. Is 6/(d - (-10)/q) a multiple of 8?
True
Let z be 52/(-9) - (-4)/(-18). Let p(q) = -q**3 - 7*q**2 - 5*q + 8. Let h be p(z). Suppose -i + h*i + 2*o - 30 = 0, -2*o + 102 = 4*i. Is 24 a factor of i?
True
Let s = 2283 - 827. Suppose -3*b + 1077 = 3*t, -t - s = -6*b + 2*b. Suppose 4*p - v - b = 0, p = -p - 3*v + 171. Is 28 a factor of p?
False
Suppose -18*y + 794 = 2*k - 16*y, 0 = 5*y + 5. Is 10 a factor of k?
False
Is (-10)/(-55) - (-27716)/22 a multiple of 10?
True
Let t be 0 - 4/18 - 2344/(-18). Let q = t - 40. Is q a multiple of 10?
True
Let s = -421 + 839. Is 6 a factor of s?
False
Suppose 3*a = 8 - 2. Suppose 0 = y - 261 - a. Suppose 0 = -2*f + 4*f + 2*d - 106, -3*d + y = 5*f. Is 13 a factor of f?
True
Let u(z) = z**2 + 2*z + 2. Let q be u(-2). Suppose q*k = 5*k. Suppose -4*c + 175 + 101 = k. Is c a multiple of 22?
False
Let w be ((-6)/15)/((-2)/(-1300)*-2). Is 2/3 + 42/18 + w a multiple of 14?
False
Let w(g) = g - g - 6*g - 2 - 3*g. Let f be w(-2). Does 13 divide (-4)/(-16) + 412/f?
True
Let w = 102 + -180. Suppose 2*t - 5*s = -4*s + 241, t + 3*s - 117 = 0. Let u = t + w. Is 14 a factor of u?
True
Let c = 30 - 26. Suppose 3*h = -c*s - 11, 3*h + 6 = -3*s - 0. Suppose h*f = -o + 256, -2*o = 2*f - o - 172. Is f a multiple of 21?
True
Let t be 6 + (-6)/(-2) + -4. Suppose 4 = -2*p + t*d + 7, d + 2 = -p. Is ((-16)/(-20))/(p/(-55)) a multiple of 22?
True
Let r(h) = h**3 - 4*h**2 + 3*h - 2. Let i be r(4). Let s = 11 - 5. Is 13 a factor of (-1 + 39/s)*i?
False
Suppose 0 = 2*w + 8*f - 11*f - 2214, 5*w - 3*f - 5535 = 0. Is w a multiple of 9?
True
Let n be 28/(-6) + (-6)/18. Let o = -34 - -66. Let d = n + o. Is 9 a factor of d?
True
Let r(t) = 6*t**2 - 3*t + 21. Is 11 a factor of r(3)?
True
Suppose -5*d = n - 865, -2555 = 23*n - 26*n + 5*d. Is n a multiple of 45?
True
Let o(j) = -177*j - 1. Let x be o(2). Let q = -226 - x. Suppose 4*c - q - 23 = 0. Is 15 a factor of c?
False
Suppose 5*p + 57 = -j + 3*p, 4*j + 244 = -4*p. Let x = j + 120. Is x a multiple of 11?
True
Let r = -29 + 31. Suppose 87 = 4*f + r*k + 3*k, -4*f + 4*k + 132 = 0. Is 4 a factor of f?
True
Let i(o) = 2*o**2 + 7*o + 6. Let j be i(-4). Let g(k) = -k**3 + 10*k**2 + 3*k - 8. Is g(j) a multiple of 5?
False
Let x = 11 + -13. Is 26 a factor of 2404/12 + (-1)/(3/x)?
False
Let j(i) = i**2 + 9*i - 50. Is j(10) a multiple of 7?
True
Let u = 114 - -196. Suppose 2*n + 7 = 5*q, -1 = 2*n - 3*q - 0. Suppose -5*w + 5*y + u = 0, n*y + 0*y = w - 74. Does 18 divide w?
False
Let x(l) = -l**2 - 8*l + 5. Suppose 0 = j + 6 - 1. Is x(j) a multiple of 5?
True
Let s = 28 + -32. Is 51 a factor of (2 - 3) + (-10)/s*82?
True
Let a(s) = 6*s**2 - 3*s**2 + s + 0*s + 5 - 5*s. Is a(3) a multiple of 20?
True
Let k(n) be the second derivative of n**5/20 - 5*n**4/12 + n**3/3 - 8*n**2 + 26*n. Is 48 a factor of k(8)?
True
Let t = 937 - 424. Is 19 a factor of t?
True
Let k(i) = 5*i**2 - 83*i + 1. Is k(24) a multiple of 76?
False
Let f(h) = 2*h**2 - 5*h. Suppose -4*p + r + 87 = 2*r, 0 = -2*p + 2*r + 36. Let x = -18 + p. Is f(x) even?
False
Suppose o = -3*o + 5*r - 25, 0 = -4*o - 3*r + 15. Suppose o = -5*j + 2*j. Suppose j = 3*f - 11 - 70. Is 27 a factor of f?
True
Let l(g) be the first derivative of -41*g**2/2 + 2*g + 17. Is 20 a factor of l(-3)?
False
Let n(d) = 5*d + 14*d + 7*d. Let j be n(-3). Let l = j - -148. Is l a multiple of 35?
True
Suppose -63 - 103 = -2*o. Let m = 23 + o. Is 9 a factor of m?
False
Let z(m) = 8*m - 7 - 3 - 1 - 14*m. Is 5 a factor of z(-6)?
True
Suppose 5*s = 2*i + 17, 2*i - 5*s + 33 = -i. Does 31 divide (-2 - -4 - -151)/((-24)/i)?
False
Let o(t) be the first derivative of t**4 - t**3/3 + t**2/2 + 3*t - 13. Is 33 a factor of o(2)?
True
Suppose 12284 = 34*o - 17704. Does 63 divide o?
True
Let p = -618 - -968. Suppose 910 = 5*o - p. Is o a multiple of 18?
True
Let n = -65 + 41. Let h be (-3)/(2/(n/9)). Suppose -5*i + h*i + 15 = 0. Is i a multiple of 3?
True
Let y = 35 + -7. Let k = -4 + y. Is 4 a factor of k?
True
Suppose n - 2*n = 0. Suppose -g + 5 = -n. Suppose 51 = 2*j - g*y, 4*j + j - 75 = 2*y. Does 13 divide j?
True
Suppose -2*b + 0*b + 5*b = 0. Is (1 + b + (-134)/(-4))*10 a multiple of 15?
True
Let v(m) = 2*m - 7. Let j be v(4). Let r = j - -21. Is 3 a factor of r?
False
Let y(h) = 4*h**2 - 3*h + 2. Let o be y(2). Let g be (3/(-2))/(o/(-56)). Let i = g