s 32 a factor of z(g)?
False
Suppose 0 = 5*z - 2*m - 6535, 4*z = 3*m + 2*m + 5245. Let d = 2694 - z. Is d a multiple of 35?
False
Suppose -6*b = -2*j - b - 6, -2*j + b + 10 = 0. Suppose -23 - j = -6*o. Suppose -o*n + 22 = -38. Is 6 a factor of n?
True
Let b = -416 + 716. Does 23 divide (b/36 + -9)*(-897)/2?
True
Let m = 6775 - 6572. Let f be 238/1*(-1)/2. Let g = m + f. Is g a multiple of 12?
True
Let d(n) = 5*n**2 + 55*n - 64. Is d(14) a multiple of 7?
False
Let b be (1 - (-1)/(-2))/(18/36). Let x be b/(5 - (-45)/(-10)). Suppose 2*y = 4*p - x*p + 406, 0 = y - 5*p - 199. Is 34 a factor of y?
True
Let y be 6 + -2 + (-4)/(-1). Suppose -y*q - 451 + 3907 = 0. Is q a multiple of 48?
True
Suppose t + 56 - 60 = 0. Suppose 0 = b - 4*a - 4 - 43, 4*b = t*a + 236. Is b a multiple of 22?
False
Suppose -344 = -16*w - 280. Let u be 1 - (-1 - (1 - 0)). Suppose -2*f - f = u*n - 252, -n + w*f = -104. Is n a multiple of 17?
False
Let o = 43 + -39. Let c(f) = -o - 2*f + 4*f**2 - 3*f**2 + 7. Is 22 a factor of c(10)?
False
Let z(f) = -249*f + 33. Let c be z(-3). Suppose 4*u + 2*p - 1042 = -0*p, -3*p + c = 3*u. Is 41 a factor of u?
False
Suppose q + 5*d = 18, 3*d = -2*q - 3 + 18. Does 27 divide (33/q)/(4 - (-55)/(-14))?
False
Let v = 4403 - 3438. Is v a multiple of 17?
False
Does 9 divide 539/(-147) - (-10514)/3?
True
Suppose 136 = 2*u - 2*s, 0 - 6 = 3*s. Suppose 0 = -c + u + 78. Is c a multiple of 16?
True
Suppose -6*n = -37 + 1. Is (-281)/(-3) + -2*n/18 a multiple of 15?
False
Suppose 5*h = o + 704, -4*h - 4*o + 511 = -57. Let m = 87 - h. Let i = -14 - m. Is 20 a factor of i?
True
Let z = 16514 - 5525. Does 27 divide z?
True
Let f(g) = 114*g - 1373. Is f(33) a multiple of 9?
False
Let d(h) = -4*h - 7 + 4*h + 9*h. Let z be d(2). Let m = 29 - z. Is 18 a factor of m?
True
Let f(c) = -37*c + 1. Let j be f(6). Let k = j + 427. Does 21 divide k?
False
Let c(q) = -q**2 + 17*q - 48. Let j be c(14). Let r = 118 - j. Is 12 a factor of r?
False
Let d be (0 + -1)/(12/(-50292)*3). Let m = d + -893. Is 36 a factor of m?
True
Suppose 4*c = -2*h + 9085 + 271, -5*c = 5*h - 23395. Suppose 15*q - h = 7*q. Is 45 a factor of q?
True
Let d be -3 + (426/4)/(14/28). Suppose 0*r + 2*r = 82. Suppose -r = q - d. Is 11 a factor of q?
False
Let p = 447 + 8473. Is p a multiple of 37?
False
Suppose 5*m + 4*q - 24960 = 0, 18*m - 3*q = 19*m - 4992. Is 32 a factor of m?
True
Suppose -l + 706 = 2*s + l, -25 = -5*l. Suppose s = k + 5*f - 3*f, -5*k + 1716 = 2*f. Is k a multiple of 6?
True
Suppose 20 = 2*h + 3*h. Suppose -h*y + 24 = 2*s - 80, -2 = 2*y. Is 18 a factor of s?
True
Is (1232/(-42) - 2)*(-21)/2 a multiple of 7?
True
Let n = 37 - 105. Let b = n - -141. Let w = b + -41. Is 8 a factor of w?
True
Suppose 3*i - 3172 = -4*q, 0 = 5*i + 4*q - 2101 - 3191. Suppose -490 = -10*v + i. Does 31 divide v?
True
Let i = -195 - -204. Suppose 0 = 5*v + 5*f - 3*f - i, -2*f - 15 = -3*v. Does 3 divide v?
True
Let g(j) = -5*j**3 - 2*j**2 - 2. Let x(q) = -q + 7. Let w be x(5). Suppose 6 = -3*r - 3*k, -k + 6 + 1 = -w*r. Does 17 divide g(r)?
False
Let w(i) = 6*i**2 + 48*i - 244. Does 34 divide w(-21)?
True
Let j = 2548 + 1086. Does 17 divide j?
False
Suppose 28*i = 151 + 58789. Is i a multiple of 54?
False
Let a = 185 + -291. Let n = -25 - a. Let f = -78 + n. Is f a multiple of 3?
True
Let t = 78 - -30. Let k = -102 + t. Suppose k*s - 45 = 207. Is s a multiple of 29?
False
Is 336/294 - 6/(-7) - -8586 a multiple of 9?
False
Suppose 0*p + 13624 = 30*p - 4*p. Is 4 a factor of p?
True
Suppose -5*r + 22 = -8. Let y = r - 0. Is 24 a factor of (-1070)/(-6) - y/(-9)?
False
Let r = 750 - 1512. Let m = -392 - r. Is 10 a factor of m?
True
Let u(w) = w**2 - 4*w + 5. Let g be u(5). Suppose 0 = -3*z + z + g. Suppose -o + 4 = 0, -8 = i + 2*i - z*o. Is 4 a factor of i?
True
Let q(m) = -33*m**2 + 67*m**2 - m - 31*m**2 - 17. Let h be q(7). Does 24 divide (0 + 3)*-1 + h?
True
Is ((-481962)/(-185))/(9/15) a multiple of 26?
True
Let u = -21008 + 22779. Is u a multiple of 23?
True
Let d be -2*1*85/(-34). Let t(y) = -30*y + 36. Let b(n) = 59*n - 73. Let x(q) = d*t(q) + 3*b(q). Is x(12) a multiple of 19?
True
Suppose -5*g = -25, 4*j + 3*g - 6 - 9 = 0. Suppose -r - 60 + 262 = j. Is 13 a factor of r?
False
Let s be 56/(-6)*(1290/(-35) - 12). Let m = s - 137. Is 7 a factor of m?
False
Let u(v) = -77 - 101 + 12 + 28*v. Is u(9) a multiple of 6?
False
Is (-25011)/(-3) + ((-16)/(-32))/((-2)/(-20)) a multiple of 194?
True
Let x(d) = -4933*d - 978. Is 26 a factor of x(-10)?
False
Let k be 9 - 1 - 27/(6 - -3). Suppose -3*d - 714 = -z - 0*d, -k*d = -3*z + 2130. Is 15 a factor of z?
True
Let b(j) = 14*j - 227. Let l be b(15). Let x(p) = -53*p + 19. Does 20 divide x(l)?
True
Let n = -91 - -157. Let c(q) = -2*q**3 - 67*q - 7*q**3 - q**2 + n*q + 29*q**3 + 2. Is 23 a factor of c(2)?
False
Suppose 3*f = 2*b - 393, 3*b - 318 - 297 = -4*f. Suppose 2*q - 87 - b = 0. Does 24 divide q?
True
Suppose 2*p = g + 9 + 1, -2*g + 2*p - 10 = 0. Suppose 301 = x - a, g = 5*a + 5. Is 12 a factor of x?
True
Let n = -307 - 207. Let c = n + 730. Is 6 a factor of c?
True
Suppose 42182 + 39691 = 33*h. Does 34 divide h?
False
Suppose 13*v - 377092 - 158079 = 0. Is v a multiple of 38?
False
Let o = 10712 + -7252. Is 98 a factor of o?
False
Let i(s) = 2*s - 7. Let x be i(6). Suppose z = -x*c + 9, 0 = -2*z + 4*c - 7*c + 11. Suppose -n = -z*a + 447, 8*a - 563 = 3*a - 3*n. Does 28 divide a?
True
Let v(j) = -19*j - 32. Let o(x) = 3*x - 38. Let w be o(11). Is v(w) a multiple of 5?
False
Suppose 0 = 4*k - 16*k + 7*k + 2040. Does 102 divide k?
True
Let i = -840 + 842. Is 18 a factor of i/16 + 27915/40?
False
Let d(y) be the third derivative of -17*y**4/12 + 95*y**3 + 134*y**2. Does 29 divide d(0)?
False
Let i(w) = -10*w**2 + 15*w + 114. Let d be i(-11). Let z = 2369 + d. Does 79 divide z?
False
Let z(k) = 2*k**2 + 13*k + 8. Let y(j) = -j**3 + 0*j**2 - 13*j - 18*j**2 + 22 + 2*j**2. Let x be y(-15). Is 8 a factor of z(x)?
True
Let k = 11729 - 9815. Is 50 a factor of k?
False
Let k = 36 + -24. Suppose -k*v - 3751 = -v. Let p = -201 - v. Does 20 divide p?
True
Let o(w) = -43*w**3 + w**2 - w - 2. Let a(y) = -y**3 - 2*y**2 + 2*y + 3. Let r be 0/(1/1) + (3 - 5). Let b be a(r). Is 11 a factor of o(b)?
False
Let t = -20560 - -31900. Is 30 a factor of t?
True
Let p be (-8 + 279/18)*(-12)/(-5). Suppose -27*s + 117 = -p*s. Does 13 divide s?
True
Suppose -38*p + 42*p = 12, -3*p + 6497 = 4*h. Does 6 divide h?
False
Is 126 a factor of 3266 + (-18)/63*-35?
True
Let o(k) = 367*k + 7. Suppose 0 = -4*b - 2*n + 6, -4*b + 3 = -9*n + 8*n. Does 22 divide o(b)?
True
Let n(b) = 2*b**3 + 16*b**2 - 18*b + 44. Is 16 a factor of n(10)?
False
Let b = -2452 - -3419. Is 8 a factor of b?
False
Let v(z) = z**3 - 3*z**2 - 8*z + 10. Let s be v(4). Let x be 1 + 4/(-3) + (-422)/s. Suppose -35 = -2*u - 5*f, -2*u + 0*f + 2*f + x = 0. Is u a multiple of 15?
True
Let u = 2 - -14. Let y = u - 30. Let p = 2 - y. Does 5 divide p?
False
Let n(m) = -10*m**3 + 17*m**2 + 8*m + 78. Let o(r) = -5*r**3 + 8*r**2 + 4*r + 39. Let l(y) = 4*n(y) - 9*o(y). Is l(5) a multiple of 8?
False
Suppose 4*b = 4*l - 16668, -3*l = -1530*b + 1535*b - 12429. Is l a multiple of 11?
True
Let h(n) = 462*n**2 + 21*n + 37. Is h(-2) a multiple of 19?
True
Let u be (23 - 0) + 1*(-10)/2. Let v(r) = -r + 88. Is v(u) a multiple of 10?
True
Suppose -1 + 8 = -7*q. Let t = q - 3. Is 12 a factor of 39*2/5*(-10)/t?
False
Let n(w) = 1359*w - 580. Does 31 divide n(8)?
True
Let a(f) be the second derivative of 25*f**3/2 - 165*f**2/2 - 127*f. Is 2 a factor of a(5)?
True
Suppose 7*z + 1495 = 12548. Does 25 divide z?
False
Suppose -1038 = -4*o + a, 5*a = -0*o - 3*o + 767. Suppose 5*i - i + k - 343 = 0, -k = -3*i + o. Is 2 a factor of i?
True
Suppose 5 = 4*f + m, 15 = -5*f + 7*m - 4*m. Suppose z - 130 + 15 = f. Is z a multiple of 9?
False
Let m(i) = i**3 + 8*i**2 - 4*i - 4. Let f = -117 + 109. Let n be m(f). Suppose 107 + n = 3*o. Does 9 divide o?
True
Let a(o) = 3*o**2 - 11*o - 1. Let j be a(4). Suppose j*z - 81 = -t - 0*z, z = -2*t + 147. Is t a multiple of 18?
True
Suppose -s - 2*s = -2*z - 1435, 4*z = 3*s - 1445. Let l = -89 + s. Is 10 a factor of l?
False
Suppose 0 = 5*a - 9*a + 104. Let k be (-16)/(-10) - a/(-65). Suppose k*y - 30 - 16 = 0. Does 6 divide y?
False
Let