 + 8*v + 2*w. Is v a multiple of 34?
False
Let q(g) = -g**2 - 14*g + 57. Let p be q(-17). Let m be (-8)/p - (-10)/(-15). Is m - (49/4)/(8/(-32)) a multiple of 31?
False
Suppose 16*c - 47*c + 182776 = 0. Is 16 a factor of c?
False
Is 54 a factor of (11961/(-4))/(-3) + 750/(-1000)?
False
Suppose -3*t + 20 = 2*t. Suppose -2*i + t*i = 0. Suppose -4*v + 3*o = -415, -5*v + 520 = -i*o - 4*o. Is 20 a factor of v?
True
Let v(a) = 62*a**3 - 7*a**2 + 7*a + 8. Does 8 divide v(5)?
False
Let z(l) = 2*l**3 - 8*l**2 + 6*l. Let h be z(5). Suppose 3*v - 256 = 35*v. Let m = v + h. Is m a multiple of 36?
True
Let h(b) = b + 2. Let i(m) = -6*m + 31. Let v(u) = 6*h(u) + 2*i(u). Is 15 a factor of v(-8)?
False
Let l = 352 + -217. Suppose 12*c + l = 5*h + 8*c, 36 = 2*h + 2*c. Does 3 divide h?
False
Let c(o) = -3*o + 14. Let r be c(5). Let s(p) = 120*p**2 - 3*p - 1. Let j be s(r). Suppose -j = -d - 67. Is 14 a factor of d?
False
Let r(a) = -a**2 + a + 5. Let t be r(0). Suppose 0 = -t*z - 25, 3*z + 0 = -4*x - 11. Suppose -111 = -2*l + x. Does 40 divide l?
False
Suppose 0 = 3*r + 12*j - 17*j - 1100, 5*r + j - 1880 = 0. Suppose 3*o - r = -2*k, -56*o = -k - 59*o + 189. Does 31 divide k?
True
Is 64*(8 + 3497/26) a multiple of 8?
True
Let k = 70 + -59. Let h(y) = 3*y**2 + 17*y - 54. Is h(k) a multiple of 16?
True
Let z be 1/(0 + 1) + 86. Let d = 1395 - 1486. Let k = z - d. Is k a multiple of 16?
False
Let f = 49192 - 16699. Is 44 a factor of f?
False
Suppose -12*m - k = -13*m + 58, -5*k + 330 = 5*m. Is 62 a factor of m?
True
Let d(h) = h**2 + 3954. Let t be d(0). Let p be -4*t/132 - (-2)/(-11). Let z = p - -225. Is 35 a factor of z?
True
Let c be (2 - 8/2) + (-21)/(-7). Suppose -4*p = -5*w + 6, -5*w - p + 10 = -c. Suppose 177 + 57 = w*k. Is k a multiple of 9?
True
Let n = -402 - -402. Suppose -t + 791 = -n*t. Is 5 a factor of t?
False
Let t(q) = -q**3 + 4*q**2 + 6*q - 10. Let a be t(5). Let i(v) = -13*v - v**2 + 40 + 29 - 78. Is 4 a factor of i(a)?
False
Let b(g) = 12*g**2 + 2*g + 10. Let v be b(-4). Let r = v + -46. Is 10 a factor of r?
False
Let b = 417 - 416. Is 68950/(-140)*(-1 + b/5) a multiple of 18?
False
Let a(l) = -10*l**2 - 148*l. Let p be a(-10). Let g = -176 + p. Is 38 a factor of g?
True
Suppose 1197 + 2016 = 3*m + 5*o, -2*o + 2142 = 2*m. Let a = m + -711. Is a a multiple of 10?
True
Let o(h) = 42*h**3 - 9*h**2 + 13*h - 182. Is 15 a factor of o(8)?
True
Suppose 5*n - 29861 = -10*i + 23859, -i + 5374 = n. Is i a multiple of 30?
True
Let f(g) = g**2 + 7*g + 6. Let z be f(-1). Suppose z = -15*b + 339 + 501. Does 28 divide b?
True
Let z = 34 + 10. Suppose 5*s + z = s. Let v = 114 - s. Is 12 a factor of v?
False
Suppose 2281*n = 2288*n - 1232. Does 22 divide n?
True
Let a(l) = l**3 - 10*l**2 + 24*l - 18. Let f be a(7). Let n(t) = -t + 132. Is 3 a factor of n(f)?
True
Let m(f) = -f**2 - 13*f + 34. Let x be m(-15). Suppose 2*l - x*c - 224 = -6*c, 0 = -5*l - c + 564. Does 7 divide l?
False
Let m be (-4 - (0 + -5))*-13. Let v = 95 - m. Does 36 divide v?
True
Suppose -w - 5 = -2*w, -100397 = -4*p + 3*w. Does 199 divide p?
False
Let w(l) = 357*l + 1. Let x be w(1). Let y = 408 - x. Does 5 divide y?
True
Let g(l) = 10*l**2 + 18*l - 49. Is 6 a factor of g(-16)?
False
Suppose -908 = 2*f - 6*f + 5*b, f - 4*b = 227. Does 13 divide f?
False
Does 2 divide ((-438)/(-365))/((-3)/(-6925))?
True
Suppose -3*b = 3*r - 234, -3*b = 3*r - 4*b - 234. Is 3 a factor of r/((-56)/(-32) + 1/4)?
True
Let k(d) = d**3 - 7*d**2 - 6*d + 6. Suppose -4*g + 6*i - i = 7, 0 = 4*g - 4*i + 4. Suppose -g*h - 15 = -5*z + 29, -48 = -5*z + 4*h. Is k(z) a multiple of 11?
True
Suppose -108 - 52 = 5*u. Let z(w) = w**3 + 32*w**2 - 11*w - 72. Is z(u) a multiple of 4?
True
Suppose 11*s = 14*s - 12. Suppose 5*k - s*x + 143 = 0, -k + 68 = -3*k - 2*x. Let o = -22 - k. Does 2 divide o?
False
Suppose -13*x + 42*x = 21*x. Suppose x = -4*k + 5*f + 1832, 3*f = -48*k + 52*k - 1824. Is k a multiple of 8?
False
Let b be (-6955)/(-6) + ((-1)/6 - 0). Suppose -b - 1241 = -6*w. Does 50 divide w?
True
Let r = -55 - -67. Suppose 3*q = 45 + r. Suppose 22*c - 81 = q*c. Is 25 a factor of c?
False
Let d(o) = -19*o + 226 - 3*o**3 + 16*o**2 + 4*o**3 - 188. Is 12 a factor of d(-17)?
True
Suppose 12*y - 7*y + 9 = -2*o, -4*o = -4*y - 24. Is o/(310/(-315) + 2 + -1) a multiple of 65?
False
Does 5 divide 16662 - ((-295)/15 + 18)/((-10)/18)?
False
Is 29 a factor of (-241168)/(-36) - (26/(-9) - (1 - 4))?
True
Let i be (4 - -3) + (-1 - -5). Let x = i - -1. Does 6 divide x*(2/4)/1?
True
Suppose -g = a - 3044, -g + 2508 + 546 = 3*a. Does 55 divide g?
False
Does 93 divide ((-32)/(-20))/(4*6/106140)?
False
Let j be (-8)/(-6)*(18/(-1))/3. Let l be 4*177/4*j/(-12). Does 29 divide l/4 + (-8)/16?
True
Let a be (-90)/210 + 104/14. Does 13 divide (-6)/2 - (1077 - a)/(-10)?
True
Does 16 divide ((-10)/(-50) - (-1622)/(-10))*-72?
True
Suppose 0*t = -2*p + 2*t + 98, -3*t = p - 33. Let i = 48 - p. Suppose i*d + 17 = 92. Is d a multiple of 25?
True
Suppose -5*f - 2*p + 14 = -3*f, 0 = -f - 4*p + 22. Suppose -f*o = -4*o. Suppose 4*j + j - 670 = o. Does 20 divide j?
False
Let l(h) = h**3 - 7*h**2 + 156*h - 1870. Is l(12) a multiple of 84?
False
Let v(n) = -141*n - 21. Let r(p) = p - 1. Let s(h) = 18*r(h) - 2*v(h). Does 12 divide s(1)?
True
Does 7 divide 1566/30*(44 - 9) + 1 + -3?
False
Let v(g) = 3*g + 6. Let m(q) = q**2 + 6*q - 22. Let l be m(-9). Is 2 a factor of v(l)?
False
Let n(o) = o**2. Let r(x) = -30*x**2 + 6*x + 4. Let i(z) = -12*n(z) - r(z). Does 19 divide i(5)?
False
Suppose -5*k - 3*d + 159675 = 0, -21*k - 5*d = -16*k - 159665. Does 95 divide k?
False
Suppose -29670*i + 129357 = -29667*i. Does 79 divide i?
False
Suppose -1058 = -5*r + 782. Suppose 0 = 21*g - r - 199. Is 16 a factor of g?
False
Let m = 28 - 18. Let k be ((-186)/(-30) - 5)/(4/m). Suppose -k = -2*f + 15. Is f a multiple of 3?
True
Suppose -395 - 941 = -4*l. Let z = l - 292. Is z a multiple of 42?
True
Suppose -29*x + 3375 = h - 24*x, 10*h = -2*x + 34086. Is 55 a factor of h?
True
Let t(o) = 17*o**2 + 0*o**3 + 8 - 9*o + 2*o**3 - 5*o**3 + 2*o**3. Suppose -3*j + 8*j - 3*n = 80, 2*j = -4*n + 32. Is 15 a factor of t(j)?
True
Suppose -f - 14 = -5*j, 5*f + 7*j + 18 = 6*j. Let n(y) = -6*y - 20. Let i be n(f). Suppose x - 16 = -i*a + 15, 4*a = 4*x - 204. Does 47 divide x?
True
Let i(b) = 99*b - 98. Is 2 a factor of i(9)?
False
Let z be ((-2376)/60)/(2/(-5)). Let h = z + -89. Is (-6)/h - 588/(-5) a multiple of 13?
True
Let l(j) = -273*j**3 - 2*j**2 - 22*j - 38. Is l(-3) a multiple of 19?
False
Let o = 330 + -289. Let r(p) = p**3 - 42*p**2 + 43*p + 61. Does 13 divide r(o)?
True
Suppose -5*x + 351 = 2*s + s, -s - 363 = -5*x. Let m = -71 + x. Is (m - -60)/(7*(-3)/(-21)) a multiple of 22?
False
Suppose 0 = -z + 3, -4*k - 5*z - 2433 = -8*k. Suppose k = 4*i - 0*i. Does 17 divide i?
True
Let p be 10/1*(-4 + 6). Suppose -6*n = -11*n + p. Suppose -4*q = -3*q - 3, -n*q - 432 = -4*f. Does 18 divide f?
False
Let r(i) = -i**3 - i**2 - 3*i + 3. Let v = 42 - 42. Let b be r(v). Suppose -b*o - 5*w - 272 = -7*o, w = -o + 59. Is 21 a factor of o?
True
Let m(r) = -r - 8. Let i be m(8). Let q be (-33 + i)/(1/6). Does 11 divide q/(-6) - (0 + -3)?
False
Suppose -6*j = 3 - 15. Let x(h) = 3*h**j - h - 15 + 7*h**2 + 9*h + 0*h. Does 37 divide x(4)?
False
Let a = 3873 - -9308. Suppose 0 = -16*z + a + 1379. Does 6 divide z?
False
Let b(u) = 3*u + 11. Let g be b(-5). Let k be 88/g*(-6)/12. Is 18/99 - (-900)/k a multiple of 41?
True
Let j(h) = 5*h**2 + 11*h + 21. Let d be j(8). Let p = 534 - d. Is 5 a factor of p?
True
Let m be 8/(0 - 6/(-249)). Let z = m - 251. Is 16 a factor of z?
False
Let u be -1 - (-14)/4*2/1. Suppose -2*r - u*r = 352. Is 11 a factor of r*(34/(-52) + 4/26)?
True
Let g(s) = -15*s**3 - 26*s**2 - 14*s - 42. Is g(-4) a multiple of 93?
True
Suppose -3*q - 818 = -5*h + 436, -3*h = -q - 422. Let s = 493 + q. Is 16 a factor of s?
True
Suppose 2*n + 5 + 7 = 2*l, -4*l = -3*n - 23. Let p(o) = o**2 + 39*o - 20. Let x(u) = -u**2 + 8*u. Let w(j) = p(j) - 4*x(j). Is 14 a factor of w(l)?
True
Suppose 9688*a + 69312 = 9696*a. Does 4 divide a?
True
Let m be 0 + (4 - (-2 - -18)). Let c = m - -51. Let s = c - 5. Is 17 a factor of s?
True
Suppose 11*m + 6*m = 34. Suppose -2*d - 624 = -m*f, -2*d - 4 = -0*d. Is 40 a factor of 