-4*y + 8 = -k*y. Is 22 a factor of -94*(-2 + 3/y)?
False
Let n = -236 - -345. Let r = n + -65. Suppose 2*u - 7 = -w - u, -2*w + 4*u = -r. Is 8 a factor of w?
True
Let o(l) = 47*l + 28. Let i be 8/1*(-10)/(-20). Is o(i) a multiple of 12?
True
Let x(c) = 407*c - 21. Does 19 divide x(3)?
False
Let y = 138 - 97. Does 31 divide y + ((-16)/(-4))/2?
False
Let d(o) = o**3 + 46*o**2 + 45*o + 124. Does 2 divide d(-45)?
True
Let s = 228 - -96. Let k = s + -227. Suppose -k = -f - 3*f + 3*l, 0 = -2*l + 10. Does 7 divide f?
True
Suppose -5*v + o - 2*o = -1426, -v + 284 = -o. Suppose 2*c - v = -13. Is 17 a factor of c?
True
Suppose 3*x = 5*x - 338. Suppose i - 3*b - 71 = 0, -4*i - 2*b + x = -i. Let g = -14 + i. Does 15 divide g?
True
Suppose -10 = -27*j + 22*j. Is (-2)/3 - j/(6/(-17)) a multiple of 5?
True
Is 58 a factor of (-15)/9*(-2262)/15*12?
True
Let h = -19 + 23. Let t(p) = -h*p + 3*p + 4 - 1. Does 6 divide t(-9)?
True
Let w = -9 - -11. Let u = w - -3. Suppose -2*v + u*v = 39. Does 13 divide v?
True
Let t(u) be the third derivative of 7*u**4/6 - 35*u**3/6 - 23*u**2. Is t(6) a multiple of 11?
False
Let f(c) be the first derivative of -3*c**3 + 1/4*c**4 - 9 - 4*c - 3*c**2. Is f(10) a multiple of 27?
False
Suppose 40 = 2*w + 10. Let a(q) = -5*q - 2*q - q**2 + 5*q - w*q - 13. Does 10 divide a(-15)?
False
Does 44 divide 3/(-9)*-1057 - 4/12?
True
Suppose 3116 = 4*l - 1308. Suppose -66 + l = 8*t. Is t a multiple of 32?
False
Let n = 461 + -395. Is 7 a factor of n?
False
Is 12/(-102) - (-18710)/85 a multiple of 10?
True
Suppose 5*v - a = -514, v + a = -58 - 40. Let o = -36 - v. Does 14 divide o?
False
Suppose 0 = -v + 5 + 8. Suppose j - v = 27. Does 34 divide j?
False
Suppose v + 3 = 5*s, 8*v - 3*v + 5*s - 15 = 0. Suppose -c = -v*c + 45. Does 15 divide c?
True
Let q be (12 - 8) + 0/2. Suppose 3 = v, 3*z - 2*z + q*v = 42. Suppose 4*w - 4*d - 67 + 7 = 0, 2*w - 4*d = z. Is w a multiple of 11?
False
Let d = 0 + 4. Suppose 19*f - 118 - 604 = 0. Is 19 a factor of (-1)/d*-4*f?
True
Let h be -9*((-64)/21 - (-12)/(-42)). Suppose 83 = m - h. Is 9 a factor of m?
False
Suppose -18*r + 867 = -17*r + 3*o, 2*o - 4400 = -5*r. Does 6 divide r?
True
Let t(j) be the second derivative of j**4/12 - j**3 - 3*j**2/2 + 33*j. Does 24 divide t(9)?
True
Suppose -r - 2*j = -342, 0 = -4*r + 2*r - 5*j + 687. Is r a multiple of 21?
True
Suppose 4*s = -47 + 247. Is 40 a factor of 1120/50*s/4?
True
Let g = 3 - -1. Suppose -4*t = -16 + g. Suppose 45 = 2*h - 0*h - t*o, -5*h = -5*o - 120. Is 9 a factor of h?
True
Let d be (-2)/(-3) - 4009/(-57). Suppose d - 19 = h. Is h a multiple of 13?
True
Let a(q) = 3*q**2 - 2*q + 6. Let h be a(4). Suppose 2*n - 86 = h. Does 21 divide n?
False
Let a = -3847 - -6400. Is a a multiple of 23?
True
Suppose -m = -c + 29, -4*c - 5*m - 93 = -7*c. Does 16 divide c?
False
Let b = -13 - -15. Suppose -b*j - 6 = 60. Let v = 57 + j. Does 8 divide v?
True
Is ((-346)/(-6))/(((-272)/16)/(-51)) a multiple of 23?
False
Does 8 divide (0 - (-8 - -4))*210?
True
Let n = 10 - 16. Let o(x) = x**3 + 4*x**2 - 4*x + 7. Let c be o(n). Let q = 71 + c. Does 11 divide q?
False
Let q(f) = f**3 + 24*f**2 - f - 23. Let v be q(-24). Suppose 2*l = -y - 8, 2*l + 4 + 14 = 4*y. Does 2 divide v*y/(-4)*-4?
True
Suppose -5*g - 8 = l - 0, 4*l + 4*g = 16. Suppose -l*a + 5712 = 9*a. Is 18 a factor of a?
False
Let w = -143 - -65. Let q = w + 92. Is 6 a factor of q?
False
Let h = -24 + 24. Suppose 3*s + 6 + 4 = -z, -2*z + 3*s + 7 = h. Is 24 a factor of 4 - (-85 + 2 + z)?
False
Let s = 816 - 1290. Is s/(-7) + -1*10/(-35) a multiple of 4?
True
Suppose -30 = -5*s - 0. Is 54*(40/s)/2 a multiple of 36?
True
Let x be 1/(5/(-100)*-5) + -17. Let o(u) = -5*u + 2. Let w(d) = -6*d + 3. Let y(r) = 3*o(r) - 2*w(r). Is 22 a factor of y(x)?
False
Suppose 2*u - 2*m = 8, -m + 11 = u + 3*u. Suppose i + 178 = u*i. Suppose 42 - 108 = -4*y - 2*w, i = 5*y - 4*w. Is 4 a factor of y?
False
Let q be (-4 - -4)/(-2 - -3). Suppose 3*x = i + 163, -3*i + 105 = 2*x - q*i. Is x a multiple of 6?
True
Suppose -295 = -3*o - 4*g, -5*o + 540 = -0*g - 3*g. Is o a multiple of 5?
True
Suppose -5*q - 5*o = -2*o - 62, 3*q - 3*o = 18. Suppose 235 = q*n - 15. Is n a multiple of 20?
False
Let o be ((1 - 3)/(-2))/1. Suppose 5*n + j = o + 5, 0 = 5*n - 3*j - 22. Suppose -n*g - 93 - 66 = -5*s, 4 = -2*g. Is s a multiple of 18?
False
Suppose 4*u = 2*u - 50. Is 12 a factor of -4 - u - 1*-3?
True
Suppose 0 = -2*h + 2*v + 8, 0 = -0*v - 5*v + 5. Let j be 15*(4 - h - -2). Does 3 divide j/3 - 0/8?
False
Let f(t) = -2*t**2 + 3*t - 3. Let n be f(3). Is 15 a factor of (-248)/(-4) - n/3?
False
Suppose 5*g - 5*r - 90 = 0, -5 = 2*r + 1. Is 9 a factor of g?
False
Let q(i) = -2*i**3 + i**2 + i - 3. Suppose 0 = w - 7*w - 12. Does 14 divide q(w)?
False
Let f(r) = 19*r + 3 - 74*r - 4. Suppose -3*y - y = -20, 4*u = 4*y - 24. Is f(u) a multiple of 7?
False
Suppose -12*u = -7*u - 4*c - 7, c - 2 = 0. Let y = 4 - 2. Suppose -5*t = 0, -42 = -y*w + t - u*t. Is w a multiple of 13?
False
Suppose -62 + 0 = -2*d. Suppose d = 6*x - 29. Is x a multiple of 10?
True
Suppose 5*t - t + 16 = 4*n, 0 = -2*t - 2*n - 28. Is (-6)/27 - 461/t a multiple of 17?
True
Let s(c) = c**3 + c**2 + c - 1. Let k be s(0). Let g be -4*(k - 6/4). Is 29 a factor of (g + -3)*5 - 0?
False
Let t(c) = -7*c - 3. Let y be t(0). Is 10*((-1)/(8/204))/y a multiple of 4?
False
Let g(q) = -94*q - 387. Is g(-24) a multiple of 89?
True
Suppose 0 = 76*m - 158875 + 31195. Is 112 a factor of m?
True
Let s be (-5)/(-35) + (-39)/(-21). Let c be 75/50 - (-13)/s. Suppose c = d - 42. Is 28 a factor of d?
False
Let w(x) be the second derivative of x**4/3 + x**3/6 - x**2/2 + 382*x. Suppose 0*u + 5*u + 2*c = 8, -u = 2*c. Is 5 a factor of w(u)?
False
Let z be (24/10)/(2/30). Suppose -3*o - o = -z. Is o a multiple of 6?
False
Let z(g) be the second derivative of g**4/6 + 3*g**3/2 - 5*g**2/2 - 10*g. Let c(k) = -2*k**2 + 1. Let p be c(-2). Is 15 a factor of z(p)?
True
Let d = -526 - -1293. Is d a multiple of 13?
True
Let w be (0 - -2) + 6*(-3)/(-18). Suppose 20 = w*d - 7*d, -2*t - 2*d = -4. Does 4 divide t?
False
Let t(u) = -4*u**2 - 7. Let n(w) = 4*w**2 + 8. Let y(h) = -6*n(h) - 7*t(h). Let d be y(-2). Suppose -p + d = -25. Is 21 a factor of p?
True
Let l be (-26)/91 + (-174)/(-21). Suppose -3*f + 183 = -4*a, 0 = -2*f - l*a + 6*a + 136. Is f a multiple of 10?
False
Suppose -18 = -o + 3*q, -o + 2*q = 3*q + 2. Suppose -o*y + 328 = -299. Does 17 divide y?
False
Let r(q) = 2*q**2 - 5*q + 11. Let n be r(11). Let h = n - 132. Does 11 divide h?
True
Suppose 8*a - 16851 + 3659 = 0. Is 11 a factor of a?
False
Suppose 2*r = r. Suppose -4*c - 56 = -4*n - 0*c, -3*n - 3*c + 48 = r. Is n a multiple of 3?
True
Let i(n) = n**2 + 4*n + 3. Let f be i(-4). Let t = f - -2. Suppose 0 = -t*v + 33 + 17. Is v a multiple of 5?
True
Let v(r) = -4*r**2 + 2*r + 4. Let k be v(3). Is (8468/52 - -4) + (-4)/k a multiple of 16?
False
Is 19 a factor of 1/(15/16610) - (-4)/6?
False
Suppose -4 + 0 = j. Let d be 0 + j*(-1)/2. Let b = d - -26. Is b a multiple of 14?
True
Suppose 0 = -5*y + 4*y. Suppose 2*s + 4110 = 5*d, -3*d + y*s = -2*s - 2462. Suppose -5*g = 3*g - d. Is g a multiple of 38?
False
Suppose 3*l - 972 = -3*n, l + 197 - 848 = -2*n. Is 22 a factor of n?
False
Suppose 6*f + 219 = 3*f. Let z = 108 + f. Is z a multiple of 7?
True
Let k(w) = -2*w + 6. Let p be k(6). Let m = -2 + p. Is 8 a factor of 14 - 4/m*-6?
False
Let i = -25 - -23. Does 7 divide 11/(1/(3 + i))?
False
Let c(r) = 18*r**2 - 19*r - 30. Does 56 divide c(6)?
True
Suppose 4*x - r - 29 = -10, -17 = -2*x + 3*r. Suppose 2*h - x*h + 88 = 0. Is 10 a factor of (6 - 5) + h/1?
False
Let z be (-6)/(-2)*14/21. Suppose -2*a + 2*y = 7*y - 158, -2*a + z*y + 172 = 0. Is 21 a factor of a?
True
Let j(b) = -5*b + 20. Let i(y) = y**2 + 6*y - 15. Let g be i(-6). Is j(g) a multiple of 23?
False
Suppose -3*b + 4*b = 3. Suppose b*p - 5*p + 40 = 0. Does 5 divide p?
True
Let m = 1743 + -1032. Is m a multiple of 8?
False
Suppose -6*n + 2*n + 6 = 2*k, -1 = -2*k + n. Let x(h) = 49*h**2 - 5*h - 2. Let l(u) = 98*u**2 - 9*u - 3. Let z(s) = 3*l(s) - 5*x(s). Is z(k) a multiple of 16?
True
Does 6 divide 1275/(-34)*48/(-5)?
True
Let c(o) = 17*o**3 + 4*o - 16*o**3 - 5*o**2 - 2*o + 5 - o. Is 5 a factor of c(5)?
True
Suppose -4*f = 3