ppose -23 = -2*b + 8*o - 9*o, -5*b = -3*o - 52. Suppose -132 = -13*p + b*p. Is 12 a factor of p?
False
Does 8 divide ((7 + -11)*-10)/(2/4)?
True
Suppose 2*m = -4*h + 11702, m - 14431 = -4*h - 2728. Is h a multiple of 38?
True
Suppose 93 = 3*v - u, 3*v - 162 = -2*v + 4*u. Is (20/v)/(4/414) a multiple of 12?
False
Let d = 93 - 88. Suppose -d*t - r + 1428 + 397 = 0, -t + 4*r = -344. Is t a multiple of 52?
True
Suppose -r = -0 - 6. Let h(n) = 32*n - 12. Let c be h(r). Suppose -5*o = -2*o - c. Is o a multiple of 17?
False
Suppose 70*n = 38625 + 9885. Is n a multiple of 18?
False
Let q be ((2 - 2)*1)/(-2). Suppose q*x - 2*x = -86. Let b = -5 + x. Is b a multiple of 19?
True
Suppose 4*v - 20 = 0, -15 = 2*w - 4*v + 5. Let d(u) = 4*u + 74. Is d(w) a multiple of 38?
False
Suppose -2*b - 5*v = -1870, 133*b - v = 137*b - 3704. Does 37 divide b?
True
Let z be 32/5 + 6/(-15). Suppose -4*d + 178 = 2*q - z, 4*q = 3*d - 127. Is d a multiple of 7?
False
Let a(o) = -9 + 4*o + o**2 + 11 + 5. Let j = 1 + 4. Is 13 a factor of a(j)?
True
Let x = 547 - 364. Suppose 4*m - 117 = x. Is m a multiple of 25?
True
Let k(b) = 4*b**2 + b**3 + 6 - 15*b**2 - 15 - 7*b. Let v(w) = w**3 - 2*w**2 - 4*w - 4. Let g be v(4). Is 11 a factor of k(g)?
False
Let i = 0 - 0. Let r be ((-32)/(-4))/(1 + i). Let s(c) = c**2 - 5*c + 8. Does 15 divide s(r)?
False
Suppose -4*q + h + 12 = -2*h, 4*q - h - 12 = 0. Let v be 2 + (-9)/q - -88. Let m = v + -25. Does 31 divide m?
True
Suppose -b - 5 = 5*k, -6*b + 2*b = -2*k - 24. Suppose -4*d = -3*o - 552 + 173, b*o = -5*d + 430. Is 15 a factor of d?
False
Let w(t) = 4*t**2 - 12*t + 12. Let l be w(6). Let g = 99 - l. Does 15 divide g?
True
Is 33 a factor of 3909/9 + 2 + 4/(-3)?
False
Let u(y) = 4*y - 1. Let b(a) = -5*a + 2. Let m(z) = -3*b(z) - 4*u(z). Is m(-9) a multiple of 2?
False
Let r be 116/8*(-6)/3. Let x = 48 + r. Is 8 a factor of x?
False
Suppose -1217 = -w - 18*k + 16*k, -5*k = -4*w + 4829. Is w a multiple of 39?
False
Let f = 1621 + -48. Is f a multiple of 11?
True
Suppose 4*l - 2*z = 8870, -32*z + 28*z + 20 = 0. Is l a multiple of 21?
False
Let c(a) = -6*a - 13 - 18 + 37. Is 14 a factor of c(-6)?
True
Let f be 2/8 - (-435)/4. Suppose -2*h + w = 4*w - f, -307 = -5*h + 4*w. Suppose 3*x = -2*n + h, 5*n + x + 4 - 119 = 0. Does 11 divide n?
True
Let t(h) = h**2 + h - 16. Let x be t(-7). Let o = 55 - x. Is 7 a factor of o?
False
Suppose 0 = 58*z - 8*z - 24050. Does 13 divide z?
True
Let w(u) = -u**3 + 13*u**2 - 4*u + 3. Is 24 a factor of w(7)?
False
Suppose 4*b + 54 = 3*v - 6*v, -5*b - 2*v - 64 = 0. Does 5 divide (3 - 23)*(3 - (-69)/b)?
True
Let a be (-625)/(-15) - 2/3. Let w = -21 + a. Is 20 a factor of w?
True
Does 9 divide (35 + -5)*1/(2/10)?
False
Let a = 115 + -96. Is 18 a factor of a?
False
Suppose -2*o - 496 - 2300 = -3*r, 0 = -o. Is 13 a factor of r?
False
Let j(s) = -22*s - 146. Does 6 divide j(-8)?
True
Let n(a) = 2*a**2 - 9*a - 7. Let d be n(5). Let w = d + 33. Does 31 divide w?
True
Suppose -7*d + 675 = -12*d. Does 13 divide (-516)/(-10) - (5 - d/(-25))?
True
Let j(z) = -2*z - 6. Let g be j(3). Let q(d) = -d**3 - 13*d**2 - 13*d - 13. Let o be q(g). Let k = o + 33. Is 8 a factor of k?
True
Suppose 3*h - 7740 = 3*a, 4*h + 3*a + 593 = 10941. Is h a multiple of 19?
True
Let u(y) = -y**2 - 9*y + 12. Let a be u(-10). Suppose a*r = 7*r - 15. Suppose 0 = -r*s - 2*n + 22, -s - 3*n = -5. Is 8 a factor of s?
True
Suppose 2*p = -3 + 11, -4*c + 476 = 4*p. Suppose -5*d = -195 - c. Does 22 divide d?
False
Let h(p) = 5*p**3 - p**2 - p + 1. Let r be h(1). Suppose 12 = -r*s + s. Let w = 12 + s. Is w a multiple of 8?
True
Let t = 3 - 0. Let y(h) = 48*h - 1. Is 13 a factor of y(t)?
True
Is 34 a factor of 33/21 + -1 - 3792/(-28)?
True
Let j(x) be the first derivative of -3/4*x**4 - 1/3*x**3 - 6*x - 5/2*x**2 - 9. Does 14 divide j(-3)?
False
Let u = -5 + 2. Let j be 12/9 + (-11)/u. Suppose -j*q + 15 = -105. Is q a multiple of 16?
False
Let m(c) = c**2 + 11*c - 8. Does 5 divide m(-19)?
False
Suppose 2*f + 8 = -l, -3*f = l - 4*f - 4. Suppose -2*a = 5*p - 55 - 44, 3*a + 3*p - 153 = l. Is 8 a factor of a?
False
Let v(n) = n - 8. Let i be v(8). Suppose i = 10*d - 3302 + 862. Does 12 divide d?
False
Suppose -7*z = -z - 390. Does 4 divide z?
False
Let w be (-3 + 4)/((-1)/(-30)). Let c = 10 + w. Suppose y = -y + c. Is 5 a factor of y?
True
Suppose 3*l - 31*l = -22932. Is l a multiple of 19?
False
Suppose -2*c - 2*q = -5*c + 16, -3*c = 3*q - 21. Is 2 a factor of (0 - 3) + (c - -12)?
False
Let f(x) = -31*x - 59. Is f(-9) a multiple of 2?
True
Let k = 342 + 1503. Does 99 divide k?
False
Let n(u) = -22 + 11 - 24*u + 11. Is n(-1) a multiple of 4?
True
Suppose 20 = 4*i - 6*i. Let y = i + 8. Let d = 54 - y. Is d a multiple of 14?
True
Suppose 3*i - 23 = 5*k + 55, -3*i + 51 = 4*k. Let a = i - -11. Is a a multiple of 4?
True
Suppose -5930 = -4*w - w - 5*i, -4 = 2*i. Is 54 a factor of w?
True
Let o(s) = s - 5. Let w be o(9). Is 2 a factor of 68/7 - w/(-14)?
True
Let x be 1*-3 - (-1 + -4). Suppose -3*a = 4*c + 4, 3*a = c + x*c + 3. Let w = 60 + a. Is 20 a factor of w?
True
Suppose -g = 2*c - 96, 2*g = -c - 42 + 222. Let l = -23 + g. Does 13 divide l?
True
Let q(a) = 42*a**2 - 3*a - 3. Let j = -13 + 12. Does 11 divide q(j)?
False
Let t(w) = -2*w - 2. Let q(c) = -100*c - 110. Let n(b) = 2*q(b) - 110*t(b). Suppose 4*j + 8 = -4*u, 2*j = 4*u - 9 - 13. Is n(u) a multiple of 20?
True
Does 13 divide (-36786)/(-54) + (-30)/135?
False
Suppose 2*r + 130 + 340 = 5*v, -3*r + 353 = 4*v. Is v a multiple of 23?
True
Suppose 5*t = 3*p + 39, -3*p - 15 = -2*t + t. Suppose -3*c + 197 = b, -t*c + 319 = -c - 3*b. Does 14 divide c?
False
Let x(d) = d**2 + 2*d + 4. Let s = -12 - -10. Let j be x(s). Suppose 0 = 4*a - c - 347, -a - j*c - 184 = -3*a. Is a a multiple of 25?
False
Suppose f - 2 = -0. Let d be (-1551)/(-11) - (f - 0). Suppose -c - d = -2*c. Is c a multiple of 21?
False
Let a(f) = f**3 + 16*f**2 + 13*f - 4. Let y be a(-15). Suppose 4*t + y = -3*q + 84, -2*q + 72 = -4*t. Is q a multiple of 13?
True
Let k be (-6)/(-3)*(-2612)/8. Let g = -369 - k. Is g a multiple of 40?
False
Suppose 4*u = 5*c + 2907, 4*u - 4885 = -3*c - 1970. Let w be u/(-11) - 8/(-44). Let v = w + 102. Does 27 divide v?
False
Suppose 4*q - 5*r = 3415, 5*r = -24*q + 27*q - 2565. Does 17 divide q?
True
Suppose -x + q = 2*q - 7, q - 4 = 0. Suppose -5*l = -b - 60, 8 + 28 = x*l - 3*b. Is 4 a factor of l?
True
Suppose 3*m = 4 + 11. Suppose -4*p - 5 = -m*p. Suppose p*y - 135 = 25. Is 16 a factor of y?
True
Suppose 0 = q - 7*q - 552. Let h = 32 + q. Let f = 118 + h. Is 29 a factor of f?
True
Suppose -5*z = -3*u - 2392, -4*z + 6*z + 5*u = 932. Does 28 divide z?
True
Let f be (1 + -4)/6 - (-106)/(-4). Is f/(2 - 18/8) a multiple of 36?
True
Suppose -3*s + 2355 = -675. Does 9 divide s/7 + 14/(-49)?
True
Let y be (-1740)/(-50) - 2/(-10). Is 1795/y - (-4)/(-14) a multiple of 17?
True
Suppose -166*u = -171*u. Suppose -4*j + w + 360 = 0, j - 2*w - 27 - 56 = u. Is 23 a factor of j?
False
Suppose -2*b - 446 = -29*f + 27*f, -4*f = 3*b - 885. Is 37 a factor of f?
True
Suppose 40 = 9*u - 734. Is 3 a factor of u?
False
Let m be 4 + -2 - (53 + -1). Let j = 23 + m. Let q = j + 83. Is 12 a factor of q?
False
Suppose -25 = -3*z - 10, -5*h - 4*z + 630 = 0. Is h a multiple of 23?
False
Let p(u) = 2*u**3 + u + 255. Does 16 divide p(0)?
False
Suppose 0 = -718*l + 720*l - 1440. Is l a multiple of 16?
True
Suppose 31409 = 38*m + 8837. Does 18 divide m?
True
Let o(s) = s**3 - 4*s**2 - 2*s + 4. Let v be o(3). Let u = v - -11. Suppose 3*h - 5*y - 44 = 47, u = 5*h + 2*y - 100. Is h a multiple of 11?
True
Suppose 3*k + 5*z = 175, 0*k - 3*k + 3*z = -159. Is k a multiple of 11?
True
Let z = -5765 - -8235. Is z a multiple of 63?
False
Let x(i) = 36*i + 302. Is x(7) a multiple of 46?
False
Let m(s) = -15*s - 3. Let d be m(1). Let w = d - -18. Let h(f) = -f**3 - f + 30. Does 27 divide h(w)?
False
Suppose -5*p = -0*c - 3*c - 55903, -5*p = -5*c - 55905. Is 33 a factor of p/169 + 2/(-13)?
True
Is 60 a factor of (776/3)/(6/(-18) + 1)?
False
Suppose g = -2*d - 2, -g = -0*g. Is 4 + -1 + (-44)/d + 2 a multiple of 4?
False
Suppose -4*x = -h - 5215, 9*x - 7*x = 5*h + 2585. Is 26 a factor of x?
False
Let n(t) = t**2 - 2*t + 1. Let l be n(1). Let j be (-1 - l) + 2 + 5. Let