 Is z a multiple of 10?
False
Let f = 10 - 4. Let o be 6/(-9) + (-80)/f. Let b = o - -56. Is b a multiple of 21?
True
Suppose -5*j - 769 = -2*c - 2*c, -2*c - 4*j + 378 = 0. Is c a multiple of 39?
False
Suppose 2*o = -5*h - 447 + 1619, 2*h + 2*o - 470 = 0. Is 59 a factor of h?
False
Suppose -s + 168 = 2*s. Let l = 147 - 118. Let c = s - l. Does 13 divide c?
False
Suppose -5*i + 5*d = -6860, -5*d + 6840 = 19*i - 14*i. Is i a multiple of 79?
False
Let c(x) = -19*x - 12. Let v(h) = -37*h - 1 - 9 - 13. Let t(g) = -7*c(g) + 4*v(g). Is 26 a factor of t(-4)?
True
Suppose 16752 = 26*n - 13174. Is 22 a factor of n?
False
Let u = 188 - -244. Is u a multiple of 16?
True
Let s = -7 - -9. Suppose -2*z - 3*j - 11 = 0, -3*z - j = -5*z + 9. Suppose -z*g + 3*o = -o - 144, o = -s*g + 129. Is g a multiple of 9?
False
Let d be (-4)/((-25)/(-15) + -3). Suppose r - 17 - 54 = 4*z, d*r = 4*z + 229. Is r a multiple of 19?
False
Suppose -5*t - 5*c - 14 = -3*t, t + 17 = -5*c. Let j be ((-8)/t)/((-18)/297). Suppose -3*m = -4*m + j. Does 22 divide m?
True
Let a(d) be the second derivative of d**3/6 + 7*d**2/2 - 234*d. Suppose 0 = x + 2*x + 9. Is 3 a factor of a(x)?
False
Suppose -11*t + 52 + 14 = 0. Suppose -2*v - t*s + s + 293 = 0, -591 = -4*v - 5*s. Does 5 divide v?
False
Let h = 109 + -52. Let z = 90 - h. Suppose 5*a = z + 267. Is a a multiple of 15?
True
Suppose -3*x - 4*w + 10 = 0, -3*w - 8 = -x - 2*w. Suppose 3*r + f - 124 = x, -148 = -4*r + 5*f. Is 14 a factor of r?
True
Let b be 6/(-7)*56/(-12). Suppose -s + 17 = -0*s + 3*x, 4*s = -b*x + 36. Is s a multiple of 5?
True
Suppose 2*k - 95 = -i, 3*i - 4*k - 374 = -69. Is 11 a factor of i?
True
Let k = -11 + 11. Suppose 0 = 3*d - 12, -2*d = -v - k*d + 52. Is 12 a factor of v?
True
Let f(c) = -c - 11. Let v be f(-13). Suppose 52 - 20 = v*h. Is 8 a factor of h?
True
Let g(t) = -t**3 - 5*t**2 + 55*t + 79. Is g(-15) a multiple of 16?
True
Let n be 3/(-2) - 114/(-4). Let a = -21 + n. Let l = a + 3. Is l a multiple of 6?
False
Let a(x) = -3*x**2 - 5*x - 6. Let m(h) = -7*h**2 - 9*h - 12. Let p(r) = -5*a(r) + 2*m(r). Let b be p(-6). Is 3 a factor of 2 - (b - -3) - -6?
False
Let p = -24 + 59. Let y = p - 32. Suppose 0*z + y*z = 288. Is 14 a factor of z?
False
Let o = -773 + 1505. Is o a multiple of 37?
False
Suppose 5*o = 4*v + 5977, -4*o + 5*v + 99 = -4679. Is 42 a factor of o?
False
Is 15 a factor of 8/(-6) + (-5)/3*-215?
False
Suppose o = -4*y - 27, 0 = -4*y - o - o - 30. Let v = y - -5. Does 25 divide (v - 1)/(34/(-2057))?
False
Let n(i) = 125*i**2 - 5*i + 4. Let j be n(1). Let m = 28 + j. Is 38 a factor of m?
True
Let o = -4 - 0. Let m = -1 - o. Suppose -u + 60 = 5*n + 4*u, m*n - u = 24. Is n a multiple of 9?
True
Suppose 0 = -7*n + 12 + 2. Let u(p) = 3*p**3 + p**2 - 5*p + 7. Is u(n) a multiple of 4?
False
Let q(z) = -z**3 - 27*z**2 + 45*z - 228. Is q(-29) a multiple of 35?
False
Let x(c) = -c - 2. Let r be x(-14). Suppose -r*z + 3*z + 405 = 0. Is 3 a factor of z?
True
Let x(m) = m**2 + 29*m + 756. Does 23 divide x(-58)?
True
Suppose 0 = 3*o - 2 - 4. Let c be o/(-4) + 170/(-4). Let m = c - -76. Is m a multiple of 10?
False
Suppose 0 = -7*z + 161 - 7. Let k = 223 - z. Is k a multiple of 50?
False
Let k = 278 - -867. Is k a multiple of 31?
False
Suppose 0 = 5*j - 7*k + 8*k - 1443, 3*k = -5*j + 1449. Is 12 a factor of j?
True
Suppose -94 = -5*i + 361. Is i a multiple of 34?
False
Let n(p) = -p**3 - p**2 - 6*p + 8. Does 8 divide n(-5)?
False
Suppose -w - 16 + 232 = 0. Let g = -125 + w. Does 21 divide g?
False
Let r(h) = 7*h**2 + 4*h + 2. Is 14 a factor of r(-4)?
True
Let g be (-2776)/(-18) + 6 + 112/(-18). Suppose -148 = -2*c + 2*x, 0 = -5*c + 3*c + 5*x + g. Is 18 a factor of c?
True
Let y = -312 + 852. Is 15 a factor of y?
True
Let j(c) = c**2 - c - 74. Let q = -3 + 3. Let y be j(q). Let g = y + 115. Is 21 a factor of g?
False
Let k = -170 + 304. Suppose 2*s - 32 = r - k, 4*s + 4*r = -192. Let b = s - -88. Is 9 a factor of b?
False
Let z = 498 - 388. Is z a multiple of 11?
True
Let f = -27 - -29. Suppose f*y - 2*i - 48 = 4*y, -3*y = -3*i + 72. Does 7 divide (-32)/y*(5 + 1)?
False
Is (-42218)/(-285) + 4/(-30) a multiple of 3?
False
Suppose 0 = -u - 2*u + 60. Let k = u - 19. Is 7 a factor of k*7/((-14)/(-80))?
False
Suppose -k - 5*v + 1916 = -2*v, 0 = -4*k + 4*v + 7616. Suppose 16*q - k = -627. Is 8 a factor of q?
True
Let f be -3*((-33)/9 - -3). Is -4 + (-16 - f)*-2 a multiple of 6?
False
Let f(i) = -i + 15. Let l(m) = -m + 14. Let d(v) = -5*f(v) + 6*l(v). Does 4 divide d(5)?
True
Let g = 103 + -94. Suppose -3*z - 43 = -4*z. Let x = z - g. Is x a multiple of 17?
True
Let q = 3209 - 1241. Is q a multiple of 24?
True
Let b be -124*2/(-2 - 2). Let s = b - -91. Is 15 a factor of s?
False
Let v = 128 - 70. Suppose -111 = -4*w + w - 2*p, 2*w = 4*p + v. Is w a multiple of 17?
False
Suppose 28*h - 517 = 43. Is 5 a factor of h?
True
Let w = -33 + 498. Is w a multiple of 15?
True
Suppose 0 = -s + 4*j, -4*j = s - 3*j. Is 29 a factor of 62/(2 - s) + -2?
True
Let f = 204 - -559. Suppose 0 = -4*i + 11*i - f. Is 19 a factor of i?
False
Let c(o) = 6*o**2 + 6*o + 13. Is 2 a factor of c(3)?
False
Let i = 780 - 245. Is i a multiple of 5?
True
Suppose -64 - 288 = 11*o. Let p = o + 152. Does 12 divide p?
True
Let r be 33 + (2 - 3) - (-1 + 0). Suppose -51 = -g + r. Is 28 a factor of g?
True
Suppose -7*q + 6 = -4*q - 2*o, 3*q - 6 = 4*o. Suppose y + q = 0, 2*h + 4*y + 114 = 3*h. Is 18 a factor of h?
False
Let m = 24 + -7. Let p = -32 + m. Let l = 18 + p. Is 2 a factor of l?
False
Suppose -6 = -5*k + 3*k. Let m(p) = 2*p**2 - 3*p - 3. Let b be m(k). Suppose -b - 9 = -5*v. Is v even?
False
Let c = 75 - 71. Suppose c*k - 585 = -229. Is k a multiple of 5?
False
Suppose -5922 = 25*y - 59622. Is y a multiple of 6?
True
Suppose 2*l - 15*s + 14*s - 359 = 0, 4*s - 544 = -3*l. Does 12 divide l?
True
Let q(i) = -i**3 - 9*i**2 + 11*i + 13. Let d be q(-10). Suppose 0 = -2*k + d*k - 134. Let l = k - 82. Does 26 divide l?
True
Is 5 a factor of (9/(-9))/((-2)/518)?
False
Suppose 0 = 4*j + g + 3, 2*g = -2*j - j - 6. Suppose -4*a + j*a + 500 = 0. Is a a multiple of 7?
False
Suppose -6*m = -3*m - 9. Suppose m*u = 4*v + 2 - 1, 10 = 4*u - v. Is 3 a factor of u?
True
Suppose 11*a = 10*a - 3. Let d(h) = 3*h**2 + 6*h. Is d(a) a multiple of 9?
True
Let m(c) = -c + 3. Let o be m(0). Let z be 4*(-2)/(-4)*1. Suppose o*f = -5*v - 0*v + 79, 0 = z*f - 4*v - 60. Is 7 a factor of f?
True
Let q(y) = 27 - 12 + 19*y - 20*y. Does 5 divide q(0)?
True
Let y = -24 + 19. Let q(g) = -g**3 - 4*g**2 - 7*g - 1. Is q(y) a multiple of 59?
True
Let o(w) = -10*w - w**3 - 6 + 6*w**2 - 3 + 2*w**3. Suppose 4*k + 6*t + 12 = 10*t, 4*k + 3*t = -33. Does 17 divide o(k)?
True
Let t = 66 - -48. Let v = t + -76. Is v a multiple of 19?
True
Suppose -o + 16 = 3*i, -i - 2*o = 2*o - 20. Suppose 5*t + 4*q - 417 = -144, -t + 45 = -i*q. Does 7 divide t?
False
Let p = -1712 - -2839. Does 23 divide p?
True
Suppose 2*i + 2*z = -0*z - 10, 4*z + 20 = 0. Suppose 2*b - 2 - 18 = i. Let n = 9 + b. Is n a multiple of 19?
True
Is 41 a factor of 56290/78 - 12/(-9)?
False
Suppose 2*f - 3 = 3. Let n be 91 - ((f - 2) + 1). Suppose 4*u = -4*x + 3*u + n, -x + 5*u = -38. Is x a multiple of 6?
False
Let d(a) = 147*a**2 - 47*a - 201. Is d(-4) a multiple of 16?
False
Let o(h) = 8*h**2 - 2*h - 37. Does 6 divide o(8)?
False
Let z(t) = t**3 + 11*t**2 + 22*t - 6. Is z(-6) a multiple of 7?
True
Suppose -1993 = -4*d + n, 2*n + 1485 = 3*d - 2*n. Is 6 a factor of d?
False
Suppose -d + 4*u + 44 = d, 4 = 2*u. Suppose 0*q - 5*n = -2*q + 49, q - 4*n = d. Suppose q = m + 5. Is 12 a factor of m?
False
Suppose -3*w + 50 - 1 = -2*v, v - 3 = -4*w. Suppose -22*g + 2*g = 440. Let c = v - g. Is c a multiple of 2?
False
Let p(m) = m**3 + 3*m**2 + 2*m + 10. Let r(n) = -n**3 - 2*n**2 - 2*n - 11. Let u(x) = -5*p(x) - 4*r(x). Let a be u(-6). Is a/((-2)/(-4) + -2) a multiple of 20?
True
Let i be (-224)/98 - 2/(-7). Does 18 divide (-117)/15*10/i?
False
Suppose -h - 2 = -2*u + 168, 3*h + 5*u + 466 = 0. Does 28 divide (-1)/2 + (-4)/(16/h)?
False
Let z(y) = 17*y + 14. Suppose l + 15 = 4*l. Is 13 a factor of z(l)?
False
Suppose 864 + 856 = 5*h. Is h a multiple of 18?
False
Is 1263/3 - (-1)/1 - 3 a multiple of 49?
False
Let w(u) be the second derivative of 1/20*u**