-2)). Let k be 2/7 - t/(-7). Is 2 a factor of h(k)?
True
Let z = 23 - 18. Suppose 2 = -3*b + 4*a + 19, -z*b - 5*a = -75. Let h = b - -17. Is h a multiple of 14?
True
Let p(s) = s. Let x be p(2). Let q(b) = -b**x + 31 + b**3 - b + b + b + 0*b**3. Is 26 a factor of q(0)?
False
Let f(v) = 5 + 3 + 5*v**3 - 5*v**2 - v**3 + 8*v - 5*v**3. Let r be f(-6). Let l = 17 + r. Does 3 divide l?
False
Let k(t) = t**3 - t**2 - 4*t + 2. Let n be k(0). Suppose -n*j + 34 = -j. Does 9 divide j?
False
Suppose -3 = 3*g - 9. Let z(a) = -4 - 2*a**2 - 3*a**2 - 4*a + 2*a**2 + 9*a**g. Is z(-3) a multiple of 31?
True
Let u = 2 - 0. Suppose 2*b = 2*m, 0*b - 16 = -u*b - 2*m. Is 4 a factor of b?
True
Let d(q) = 3*q**2 - q. Let l be d(1). Suppose -3*t - 3 = -2*i + l*t, 5*i - 2*t - 60 = 0. Let a = i - -11. Is 14 a factor of a?
False
Let x(n) = -n**3 - 5*n**2 - n - 8. Let r be x(-5). Is 30 a factor of ((-20)/(-3))/(r/(243/(-6)))?
True
Let j(v) = 5*v - 25. Suppose -5*x + 20 = 2*p, 0 = -3*p - 0*p - 5*x + 30. Is j(p) a multiple of 4?
False
Suppose -4*h - 2*t + 12 = 0, -t = -2*h + 2*t + 22. Let j(y) = 2*y**3 - 5*y**2 + 2*y + 1. Does 21 divide j(h)?
False
Suppose -d + 3*c = -108, d + 2*c - 123 = -0*c. Is d a multiple of 9?
True
Suppose -2*a - 3914 = -8*i + 3*i, -2*i - a + 1562 = 0. Does 23 divide i?
True
Suppose 0 = -5*n + 2*n + 2*o + 22, 0 = -3*o - 6. Suppose 0 = 5*c + 4*p - 37, -n*c - p + 34 = -2*c. Is c/(-12) - 38/(-8) a multiple of 3?
False
Suppose -h + 0 = 4*j + 3, j + h = -3. Does 21 divide (j - -1)*(100 - 1)?
False
Suppose -4*g - o + 1463 = 0, -3*g + 1094 = -24*o + 28*o. Does 2 divide g?
True
Suppose -s + 5*w + 196 = 0, -5*s - w + 0*w = -876. Is 49 a factor of s?
False
Suppose -c + 710 = -4*h, 5*c + 2*h + 1176 = 4638. Is 18 a factor of c?
False
Let j(x) = x**2 + 28*x - 1. Let w be j(-28). Is 4/(-16)*w*(-3376)/(-4) a multiple of 12?
False
Suppose 9*v - 8*v + 5*k = 190, 5*v - 2*k - 977 = 0. Is v a multiple of 15?
True
Suppose 0 = -5*y - 39 + 4. Does 17 divide 1416/42 - 2/y?
True
Let i(a) = 4*a**3 + 5*a**2 - 3*a + 4. Let c(h) = -4*h**3 - 5*h**2 + 3*h - 4. Let f(v) = -5*c(v) - 4*i(v). Let j be f(-4). Does 7 divide (-2)/(-9) + j/(-9)?
False
Does 30 divide (-2)/(-6) + (-32)/96 + 634?
False
Let n(s) be the second derivative of -3*s**3/2 - 9*s**2 + 3*s. Let z be n(-8). Does 12 divide (z/63)/((-2)/(-28))?
True
Is 6 a factor of (-24)/(-144) - (-10997)/6?
False
Let k(n) = n**3 - 5*n**2 + 6*n - 2. Let f be k(4). Suppose -f*v - 1170 = -11*v. Is 32 a factor of v/5 + (-4)/(-20)?
False
Does 4 divide 1275/170*(0 - (-256)/10)?
True
Let q be (-2)/(-1)*113 - 2. Does 9 divide (5/10)/(4/q)?
False
Let x(c) = c**3 - 8*c**2 + 9*c + 3. Let d(m) = m + 7. Let i be d(0). Is x(i) a multiple of 3?
False
Let a(q) = -11*q**2 - 134*q - 5. Is a(-11) a multiple of 3?
True
Let r be ((-6)/(-4))/(15/50). Suppose -t - 51 = -r*o - 0*o, 3*t = -2*o - 136. Does 5 divide t/(-8) + (-5)/(-20)?
False
Let j = 40 + -58. Let h(w) = -w**2 - 16*w + 41. Is h(j) a multiple of 2?
False
Is 9 a factor of 1/(10/(-96))*(-4260)/568?
True
Suppose -15*t + 57749 = 64*t. Does 15 divide t?
False
Let b be -112 + (5 - 8) + -1. Let w = -65 - -231. Let v = w + b. Does 8 divide v?
False
Suppose -2 = 4*b + 2. Let g be ((-33)/(-18))/b*-6. Suppose -n - 5*v + g = -0*n, 4*n = -5*v + 119. Does 14 divide n?
False
Suppose -32*h - 158 - 162 = 0. Let q(y) = 4 + 8*y - 5 + y**2 + 7. Is q(h) a multiple of 8?
False
Let c be (-3 - -2)*(0 + 1). Let v be (-2 - (c - 0)) + -12. Does 20 divide 4698/117 - (-2)/v?
True
Suppose 0 = -4*r - n + 1193, 2*r - 845 + 235 = 4*n. Is r a multiple of 18?
False
Suppose -r - 4*g + 28 = g, r - 22 = -3*g. Suppose -3192 = -c - r*c. Is c a multiple of 57?
True
Suppose 0 = 2*g + 4*i - 828, 3*g + 6*i = 2*i + 1242. Is 9 a factor of g?
True
Let f = -624 + 1065. Does 32 divide f?
False
Suppose 0 = 11*f - 28*f + 612. Suppose -3*v - 4*o + f + 315 = 0, 0 = 4*v - 2*o - 446. Is 6 a factor of v?
False
Let y = 111 - 68. Let s = -27 + y. Suppose -l + s = l. Is l a multiple of 3?
False
Let p = 720 + 112. Is 52 a factor of p?
True
Let u be 96/9*18/12. Suppose -112 = -8*q - u. Is q a multiple of 11?
False
Suppose s + 2*x = 6*x + 9, -s = 2*x - 3. Suppose s*w - l - 50 = 4*l, 2*w - 44 = -4*l. Is w a multiple of 10?
False
Suppose 480 = -3*y - 3*y. Let a = y + 177. Is 18 a factor of a?
False
Let i(c) = -c**3 + 20*c**2 + 30. Let z be i(15). Suppose -19*j = -24*j + z. Is 27 a factor of j?
False
Suppose k - 678 = -2*t - t, -2*k - 2*t = -1364. Let b = k + -180. Is (-2)/(-11) + b/11 a multiple of 17?
False
Is 26 a factor of 1508 + (-6)/(-14) + 33/(-77)?
True
Let x(f) = -19*f - 47. Is x(-22) a multiple of 23?
False
Let b(m) = -m**2 - 8*m - 7. Let y be b(-7). Suppose 3*h - 283 = 2*j - y*j, 2*h = j + 144. Let d = 218 + j. Is 23 a factor of d?
False
Suppose -2*n - 1711 = -5*i, -i + 3*i - 684 = n. Does 16 divide i?
False
Suppose -6 - 14 = -4*k. Suppose -3*n = -k*n + 204. Is 20 a factor of n?
False
Is 58 a factor of (-415)/(-110)*234 + (-4)/(-22)?
False
Let m be (-6)/(-4)*140/42. Suppose 0 = -c - 4*u + 169, -m*c + 5*u + 869 = u. Let f = -121 + c. Is f a multiple of 13?
True
Suppose 4 = -3*r - 20. Let o be r/28 - 177/(-7). Is 9 a factor of ((-10)/o)/(2/(-180))?
True
Let i(d) = d**2 + 4*d - 3. Let o be i(5). Let f = 24 + o. Is 22 a factor of f?
True
Let z(l) = -l**2 + 6*l - 3. Let s be z(5). Let r(n) = 3*n**3 - 3*n**2 + n - 2. Does 9 divide r(s)?
False
Let w(l) = l**3 - 21*l**2 - 20*l + 52. Suppose -5*q = -66 - 44. Is 16 a factor of w(q)?
True
Let z(l) = l. Let w(s) = -3*s + 20. Let a(i) = w(i) + 5*z(i). Does 18 divide a(8)?
True
Suppose -3*k = a + 2*k + 5, 0 = 4*a + 3*k + 3. Suppose -5*i + 4*q + 898 = 0, -3*i + 5*q - 2*q + 537 = a. Does 13 divide i?
True
Let j(d) = 3*d**2 - 11*d + 162. Is j(-16) a multiple of 83?
False
Suppose -5*p + 10*p - 3*l = 20, 0 = -3*p + 5*l + 28. Let b = p + 61. Is 31 a factor of b?
True
Let o(y) = 19*y - 7. Does 11 divide o(4)?
False
Is 10 a factor of 4 + 1 + (-31010)/((-20)/2)?
False
Suppose -3*s = 2*f - 5*f + 3, 5*f + 3*s = 21. Is 17 a factor of (-30)/(f - (-45)/(-10))?
False
Let i be ((-10)/(-4))/5*(-8 - -12). Suppose -i*d + 523 = -2*q - 3*q, 3*d = -4*q + 750. Is d a multiple of 10?
False
Let q = -42 + 76. Let u(b) = -18 - 28*b - q*b + 68*b. Is 12 a factor of u(9)?
True
Suppose -1 = 2*q + w + 1, 0 = -q + w + 5. Suppose -3*j - 163 = -4*g, 0 = 3*j + q + 2. Is 10 a factor of g?
True
Let z = -37 - -40. Is (-4 - -3) + -3 - (z - 159) a multiple of 21?
False
Suppose 7*m = 52 + 39. Let t = 18 - m. Is t a multiple of 5?
True
Suppose 27*o + 14720 = 43*o. Does 23 divide o?
True
Let c = -1465 - -2097. Is c a multiple of 12?
False
Suppose -4*u = -5*c - 1, 2*c - 5*u + 0*u + 14 = 0. Let b be (33 - c)/(2/3). Suppose 273 = 4*h + b. Is h a multiple of 19?
True
Suppose 3*b + p + 89 - 382 = 0, -b + 86 = -2*p. Is 6 a factor of b?
True
Suppose -4*l + 4 = 0, l + 243 = t + 3*l. Suppose t = 3*y - 92. Is y a multiple of 14?
False
Suppose -2 - 4 = -3*f. Suppose m = -f*m + 2*y - 4, 0 = -3*y + 15. Let q(z) = 4*z**3 + z**2 - 2*z - 1. Is 9 a factor of q(m)?
False
Let v = -8 + 12. Let u be v - -9*8/(-12). Does 4 divide (7 - 25)*u/3?
True
Let o(k) = -k + 23. Let m be o(7). Suppose -m*p = -15*p - 50. Is 14 a factor of (-2 - -12)*210/p?
True
Suppose 28*s + 1104 = 31*s. Does 23 divide s?
True
Let d be 18/8 - 9/(-12). Suppose d*u - 5*f - 135 = 0, u - 4*u + 135 = 4*f. Is 5 a factor of u?
True
Suppose -w - 3*x = 11, 0 = -6*w + 2*w - 4*x - 4. Suppose 4*g = 2*u, 4*g = 5*u - 16 + w. Is (-4*(-140)/8)/g a multiple of 7?
True
Let f = 1013 + -429. Suppose -116 = -5*v + f. Is 35 a factor of v?
True
Suppose 0 = 2*c - 24 - 134. Suppose 4*d - c = 181. Let a = -46 + d. Does 5 divide a?
False
Let o = -4 - -38. Suppose 0 = 4*j - 5*n + 23, 2*n + 58 = j - 5*j. Let f = j + o. Does 13 divide f?
False
Let w(y) = 18*y + 12. Suppose -4*l - i = -2*i - 22, -4*l - 5*i + 34 = 0. Is 13 a factor of w(l)?
False
Let s be (-10 + 4)/((-2)/10). Let h = s + -22. Let q = h - -34. Is 11 a factor of q?
False
Is 22 a factor of 907 - ((-5)/(-8))/(2/16)?
True
Let z(r) = -128*r - 809. Does 26 divide z(-30)?
False
Let y(p) = 19*p - 13. Let z be y(12). Suppose 5*l = 5*b + z, 4*b + 5*l + 255 = -b. Let m = -1 - b. Is 13 a factor of m?
False
Suppose -t - 36 = -4*t. Let h(r) = r**2 - 25*r + 2. Let y be h(t). Let l = 