n = 3*i + 24. Does 31 divide ((-186)/24)/(i/24)?
True
Let v = 29 - 41. Let r be -4*3/(-12) - -16. Let j = r + v. Is j a multiple of 3?
False
Let z be 2/1 - (-2)/2. Suppose -5*b = 4*g - 11, -2*g - 3*b + 0 = -z. Is 2 a factor of g?
False
Let v be (-112)/(-32) + 1/(-2). Suppose 8 = 2*q, u - v*u = -3*q + 22. Is -1 + u/(-1) - -6 a multiple of 5?
True
Is 6 a factor of (13772/(-132))/((-4)/12)?
False
Let h be 12 + -15 + (5/1 - -1). Does 11 divide (-40)/12 + 3 + 100/h?
True
Let x(n) be the first derivative of n**3/3 - 11*n**2 - 29*n - 28. Does 27 divide x(25)?
False
Suppose p = z, 4*p = -5*z + 13 + 23. Let u be 10*(p - (5 - 2)). Is 3 a factor of (-2)/4 + 95/u?
True
Suppose -2*b = 2*g - 8, 0*g = -b + 4*g - 6. Suppose -b*f = -4*f + 320. Does 8 divide f?
True
Let i(j) = 7*j + 30. Let d be i(-4). Suppose -f + 2*v + 42 = -14, d*v - 8 = 0. Does 4 divide f?
True
Suppose 3*z - z - 32 = 0. Let w = z + -3. Let h = 22 - w. Does 3 divide h?
True
Let v = -129 - -181. Is 52 a factor of v?
True
Let r(h) = -h**2 - 6*h + 24. Let c(s) = 5*s - 23. Let k(f) = -5*c(f) - 4*r(f). Is k(6) a multiple of 22?
False
Let z(n) be the third derivative of -n**5/30 - 3*n**4/4 + 11*n**3/6 + 12*n**2. Let x be z(-8). Does 16 divide (-3)/x - (-290)/18?
True
Let q be 3/(3 + 0) + 3. Suppose 0 = 5*n - 2*v - 309, v - q*v + 198 = 3*n. Is 7 a factor of n?
True
Let w(x) = -x - 1. Suppose -2*n + 5*h = 7, -4*h + 13 = -3*n + h. Is w(n) a multiple of 4?
False
Suppose -2*i + 5*q = -3 - 11, 2*i + 5*q - 34 = 0. Suppose 2*j - 54 = -k - i, 3*j = -4*k + 163. Is 8 a factor of k?
True
Suppose t + z - 4 = 3*t, 5*z + 20 = 0. Let x = 9 + t. Let s(u) = 4*u**2 - 4. Is s(x) a multiple of 32?
True
Suppose -5*t = -2*j - 52 - 365, 0 = 3*t - 2*j - 251. Does 4 divide t?
False
Let v be ((-20)/12 + 1)/(1/(-3)). Suppose 4*w + 268 = v*a, -3*w = -5*w - 8. Does 14 divide a?
True
Let h = 10 + 51. Suppose 5*q = h + 34. Suppose -3*k + 2*k + q = -p, -p - 39 = -2*k. Is 20 a factor of k?
True
Suppose -9*m + 99 = -126. Let q = 40 - m. Is q a multiple of 4?
False
Suppose 0 = 9*c + 253 - 9487. Is 27 a factor of c?
True
Suppose 56944 + 36656 = 30*h. Does 26 divide h?
True
Suppose 0 = 4*b + 37 - 457. Is b a multiple of 7?
True
Suppose -5*c = -5 - 15. Suppose -3 = -c*y + 5. Suppose -14 = -2*g + y*q, 4*g - 5*q = 19 + 11. Is 4 a factor of g?
False
Let y be 3 - (287*-1 - 16/4). Let t = -157 + y. Is 21 a factor of t?
False
Is (-16863)/(-84) - 9/12 a multiple of 10?
True
Let n(j) = j**2 + 2*j + 2. Let d = 2 + -4. Let b be n(d). Let g(a) = 6*a**3 + 2*a**2 + a - 1. Is g(b) a multiple of 19?
True
Suppose 4 = -q + 4*y, -4*y + 2 = 5*q - 2*y. Suppose q = -3*r + 2*s + 295, -3*s + 291 = 3*r - 6*s. Does 13 divide r?
False
Suppose 4*n = 3*v - 3328 + 421, -3*v = 2*n - 2907. Suppose 0*l - 4*l = 3*s + v, 2*l = 2*s + 632. Is 12 a factor of (-5)/(-25) + s/(-5)?
False
Suppose 51*x - 53*x + 364 = 0. Is x a multiple of 18?
False
Suppose -858 + 33 = -15*l. Does 5 divide l?
True
Suppose 2816 = 4*w + 2*i, -4*w + 1541 + 1279 = 3*i. Is w a multiple of 6?
True
Let d = -6 + 7. Let y be d - 3 - (0 - 44). Suppose 0*p = 2*p - y. Is p a multiple of 6?
False
Let r(h) = h. Let z = 17 - 17. Let m be r(z). Suppose -72 = -m*j - 4*j. Does 16 divide j?
False
Let d = -1 + 2. Let u be (15 - 9)*d/2. Does 4 divide (0 + u)/((-1)/(-3))?
False
Let g = 34 + -32. Is 45 a factor of 184 + (9 - 10) + 0 + g?
False
Is (-2048)/(-18) + (76/18 - 4) a multiple of 4?
False
Let t(o) be the second derivative of 5*o**4/12 - o**3/2 - o**2/2 - o. Is t(-2) a multiple of 16?
False
Let k(w) = 139*w**3 + w. Let z be k(1). Suppose 5*u = -2*u + z. Is u a multiple of 20?
True
Let w be 3 + (-3)/3 + 4. Suppose 0 = a - w. Does 30 divide 1071/35 + a/(-10)?
True
Suppose -5*i + 91 - 18 = 4*a, -49 = -3*i - 5*a. Suppose 0 = -6*t + 497 + i. Does 17 divide t?
True
Let j(v) = -v**3 + 10*v**2 - 9*v + 5. Let s be j(9). Is 75 + s + 16/(-4) a multiple of 34?
False
Suppose -6*p + p = 3*k - 27, k = 3*p - 5. Suppose -p*j + 72 = 282. Let x = j + 108. Is 11 a factor of x?
False
Let j = 463 + -677. Let h = j + 379. Is h a multiple of 15?
True
Let f(v) = 114*v**2 + 15*v + 16. Is 17 a factor of f(-2)?
True
Suppose 2*b = 3*b - 2*q - 440, 5*b = -2*q + 2200. Is 40 a factor of b?
True
Suppose 5*b - 5*f = -0*f - 5, -3*f = 4*b + 32. Does 7 divide (12/b)/(18/(-135))?
False
Let c = 777 - 357. Is c a multiple of 4?
True
Suppose 3*l = -2*l - 2785. Let v = 257 + l. Is 10 a factor of v/(-16) + (-2)/(-8)?
False
Let s(k) = k**2 + 12*k - 7. Let l be s(-13). Let c be 56/(-6) - l/(-18). Let p = 4 - c. Does 6 divide p?
False
Suppose -5*v + 620 = 4*x, 4*v + 10 = -5*x + 515. Suppose 18*q - 14*q = v. Let i = -19 + q. Is i even?
False
Let r(v) = -v + 16. Let f be r(7). Suppose -q + 3*c + f = q, 0 = -c - 1. Does 3 divide q?
True
Suppose -9268 = -14*m - 2884. Is 15 a factor of m?
False
Suppose 128 = -2*t + 12. Let h = t + 100. Suppose 0 = -6*v + 3*v + h. Does 3 divide v?
False
Suppose 2*c + 7 = o + 4*c, 3*c = 3*o - 21. Suppose 3*b - o*b + 198 = -2*w, 99 = -w - 2*b. Let j = -22 - w. Is 17 a factor of j?
False
Does 77 divide (-2 + 34/(-4))*1232/(-12)?
True
Let n(b) = -b**3 + 5*b**2 - 2*b - 9. Let p be n(4). Let a = p + -3. Let z(i) = 5*i**2 - i - 3. Is z(a) a multiple of 27?
True
Let d(i) = 84*i**2 - 2*i - 2. Let o be d(-1). Does 14 divide (o/(-15) + 4)*-70?
True
Let m(n) = 3*n**2 + 4*n - 2. Suppose -11*u + 12*u + 2 = 0. Is m(u) a multiple of 2?
True
Let b(y) = y**3 + 9*y**2 + 8*y + 20. Let i be b(-8). Is 32 a factor of 6/(-15) + 322/i*4?
True
Let r = 7 + 40. Let l = 125 + -36. Let h = l - r. Is h a multiple of 12?
False
Let j = 314 + -61. Is j a multiple of 43?
False
Let k(u) = -7*u - 21. Let j(w) = -14*w - 41. Let q(t) = 3*j(t) - 5*k(t). Suppose -6 = -g + 2*g. Does 12 divide q(g)?
True
Is 34 a factor of 8/(-1)*(-10998)/52?
False
Let i(v) = -1 - 9 - 8 + 9*v + 3. Is i(8) a multiple of 10?
False
Let s = -415 + 2901. Is s a multiple of 113?
True
Suppose 4*x + 62 - 14 = 0. Let g be (0 + x)/((-6)/(-30)). Let i = 100 + g. Does 12 divide i?
False
Let z(w) = 3*w**2 + 1. Let j = -15 + 13. Let o be z(j). Let q = o + 17. Is q a multiple of 22?
False
Suppose 4*m - 815 = -3*h, 8*h = -2*m + 7*h + 405. Is 20 a factor of m?
True
Suppose 3*i + i = 48. Let o = 12 - i. Suppose 0*b - 17 = -w + 4*b, o = w - 2*b - 25. Is w a multiple of 11?
True
Suppose -10*y - 12 = -14*y. Suppose 3*q - u = 67 + 147, -y*u - 82 = -q. Is 18 a factor of q?
False
Suppose 2*n - 1782 = -4*y + 5*n, 0 = -5*y - 3*n + 2214. Is y a multiple of 75?
False
Let k be 4/(-22) - 8/(-44). Let r = k - -1. Is 9 a factor of (-7 + -4)*r*-1?
False
Let y(o) = -o**3 + o**2 + o. Let r be y(2). Let m(a) = -24*a**2 - 2*a - 2. Let p be m(-1). Is 3 a factor of (3 - (-3 - p))/r?
True
Let o be 0 - -4 - -1 - 2/(-2). Is 1/3 - (-1084)/o a multiple of 55?
False
Let j(o) = o**2 + 2*o - 22. Let k be j(-7). Let t = k + 1. Is t a multiple of 7?
True
Is (-4)/(-14) - 1*39110/(-70) a multiple of 13?
True
Let f = -435 - -494. Is 7 a factor of f?
False
Suppose 0 = 4*s + 5*y - 127, -31 = -2*s + 5*y + 40. Let x = s + 176. Suppose 5*t - f + 0*f - 253 = 0, -3*f = -4*t + x. Does 25 divide t?
True
Suppose -4*n - 2*n - 48 = 0. Is (-2)/n - (-3952)/64 a multiple of 19?
False
Suppose 38 = 5*z - 12. Does 3 divide (8/(-10))/(z/(-75))?
True
Let f(v) = -4*v**2 - 7*v - 6. Let h(b) = 5*b**2 + 6*b + 6. Let y(z) = 6*f(z) + 5*h(z). Is y(14) a multiple of 11?
True
Let j(z) = z + 24. Let m(c) = c**2 - 10*c. Let v be m(10). Is j(v) a multiple of 24?
True
Let a(c) = -14*c**2 - 6*c - 16. Let m be a(7). Is 3 a factor of (-4)/(-34) + m/(-34)?
False
Suppose -4*u - 720 = 316. Let o = u - -456. Is o a multiple of 11?
False
Let n = -1563 - -2132. Does 11 divide n?
False
Suppose -2*j = j - 612. Suppose 3*w - j = -w. Is 17 a factor of w?
True
Let w(a) = -a**3 + 4*a**2 - 2*a + 3. Let t be w(5). Let o(k) = -52*k**2 - 4*k. Let y be o(2). Is 5 a factor of t/6*y/32?
False
Suppose 5*o + 1 = -3*w, -5*w - 13 = -0*o - 3*o. Is (464/24)/(o/6) a multiple of 29?
True
Suppose -2*k + 5998 = 3*k + r, -2*r + 2404 = 2*k. Is 109 a factor of k?
True
Let a(f) = -24*f + 52. Let x(b) = -12*b + 26. Let d(h) = 4*a(h) - 9*x(h). Is 35 a factor of d(14)?
False
Let p = -25 - -28. Suppose p*c - 284 = 94. Is c a multiple of 18?
True
Let v(k) = 25*k - 39. Let g be v(5). Let x = 54 + g. Is 28 a