. Suppose 5*v + 0*v = -35. Let o be t(v). Let x = o - -120. Is 22 a factor of x?
True
Let j be (2 - (-3)/(-3))*0. Suppose 2*x = -y - 81, y + x + 59 + 22 = j. Let g = -45 - y. Does 16 divide g?
False
Let s(a) = 18*a + 4. Let t be s(4). Suppose -8 = -4*x, -3*x = 4*m - 2 - t. Suppose -3*j = -12 - m. Does 10 divide j?
True
Let w = -172 - -92. Is 1/(4/w*-4) a multiple of 4?
False
Let g(s) = s**3 + 6*s**2 + 5*s - 4. Let t be g(-5). Is 16 a factor of 19 - (t - (-6 + 3))?
False
Let y = 17 + 86. Is y a multiple of 15?
False
Let r(k) = -k**2 + 6*k - 1. Let v be r(-6). Let s = v - -111. Does 13 divide s?
False
Suppose 5*v - 79 = -m, 2*v + 5*m - 84 = -34. Is 12 a factor of (36/v)/((-2)/(-10))?
True
Suppose -10*x + 204 = 7*x. Is 3 a factor of x?
True
Let f be (-2)/(6/(-15))*-1. Let g(c) = 3*c**2 + 3*c - 5. Let h be g(f). Suppose -3*x - h = -160. Is x a multiple of 14?
False
Let z = 1 - 3. Let b(r) = 21*r - 5. Let t(o) = 20*o - 4. Let a(s) = 5*b(s) - 6*t(s). Is a(z) a multiple of 19?
False
Let z be 2/6 - 14/(-3). Suppose -205 + 75 = -z*o. Is o a multiple of 21?
False
Let r(t) = 7*t**2 + t. Let b(q) = -4*q**2 - 6*q + 4. Let f(y) = 5*y**2 + 6*y - 5. Let n(c) = 4*b(c) + 3*f(c). Let x be n(-6). Is 4 a factor of r(x)?
True
Let t be 8/(-36) + (-20)/(-9). Suppose y - 3*u - 11 = 0, 2*y - 19 = 7*u - t*u. Does 3 divide (-4)/5*(-25)/y?
False
Suppose -3*h = x - 68, -4*x + 94 = 4*h - x. Does 4 divide h?
False
Let y(i) = -i**3 - 13*i**2 - 11*i + 14. Let v be y(-12). Suppose -q = -v - 0. Is 2 a factor of q?
True
Suppose -5*j + 69 = -r, -4*j + 2*r + 40 = -14. Is 7 a factor of j?
True
Let n be 1/(8/52)*-6. Let j = n + 88. Is 17 a factor of j?
False
Suppose -225 = -3*d - 3*x, -2*d + 147 + 5 = 4*x. Is d a multiple of 9?
False
Suppose -2 + 17 = 5*y. Let d(u) = -y + 12*u - 3 + 3. Does 11 divide d(3)?
True
Let d(h) = -8*h + 58. Does 65 divide d(-9)?
True
Let c be ((-15)/4)/(3/(-12)). Let r = c + -10. Suppose r*v = t + 64 + 9, -5*t - 43 = -2*v. Is 6 a factor of v?
False
Let y = -2 - -22. Is y even?
True
Let u(p) = p**2 + 8*p - 1. Let s be u(-6). Let b = s + 24. Is b a multiple of 7?
False
Let l be (-6)/6 - 8/(-2). Let b(c) = -7 + 1 + c**l + 4*c**2 + 10*c + c - 14*c**2. Is b(9) a multiple of 4?
True
Let t(g) = g**3 - 2*g**2 + 2*g + 4. Is 5 a factor of t(3)?
False
Suppose c = 3*i - 8*i + 41, 3*c - 107 = i. Is c a multiple of 22?
False
Suppose -5*v + 17 = 42, -37 = -3*q + 5*v. Suppose -q*n + 105 = n. Is 7 a factor of n?
True
Let n = 49 + 33. Is 33 a factor of n?
False
Let s = -6 - -9. Suppose -2*q - 3*k = -22, 4*q + 2*k - 38 = -k. Let j = q + s. Does 4 divide j?
False
Let t(w) = -w**3 - 4*w**2 - w + 1. Let l be t(-4). Suppose a - 59 = -d, 3*a = -l*d + 341 - 44. Is 20 a factor of d?
True
Let i(m) = m**2 + 8*m + 8. Let o(k) = -11*k**2 - 4*k - 2. Let v(c) = 4*c**2 + c + 1. Let h(d) = -6*o(d) - 17*v(d). Let r be h(4). Is i(r) a multiple of 17?
True
Suppose -3*f + 125 = -s, -5*f + 2*s + 280 = 71. Does 41 divide f?
True
Let a(u) = u**3 + u + 31. Let y be a(0). Is y + -3*2/(-6) a multiple of 16?
True
Let o = 5 + -6. Let n be (1 - o) + -3 + -2. Let f = n + 18. Does 15 divide f?
True
Is 14 a factor of (6/(-4))/((-72)/1248)?
False
Let j(z) = z**3 - 4*z**2 - 8*z + 14. Is j(6) a multiple of 9?
False
Suppose 0 = -5*s - 7*k + 4*k + 210, 5*s - 3*k - 210 = 0. Is 21 a factor of s?
True
Let x be (-3)/(-6) + 57/(-6). Is (2 - 1)/(x/(-162)) a multiple of 18?
True
Let w(o) = 48*o - 2. Does 50 divide w(6)?
False
Suppose 5*w - 17 - 143 = 0. Does 5 divide w?
False
Let u = -11 - -95. Does 19 divide u?
False
Let b(y) = -y**2 + 5*y + 4. Let r be (0 - 2*-1)*3. Let o be b(r). Let f = 13 - o. Is 15 a factor of f?
True
Is 6 a factor of 0 + 1 + 17/1?
True
Is 14/70 + 558/10 a multiple of 13?
False
Suppose -5*u + t = -89, 35 = -3*u + 4*t + 85. Let b = -24 - -28. Suppose v - u = -2*r, -76 = -2*v - 3*v + b*r. Does 8 divide v?
True
Suppose 2*d + 2*o - 274 = 0, 4*d - 214 - 337 = -5*o. Is d a multiple of 13?
False
Does 31 divide -31*(-5 + 4)*1?
True
Is 6 a factor of 9/(-27) - 140/(-6)?
False
Let r = -135 - -198. Let b = r + -38. Let s = b + -18. Does 7 divide s?
True
Suppose a = 3*o + 8, 5*o - a + 5 = 3*o. Let g be (20/6)/((-1)/o). Let b = g + -7. Does 3 divide b?
True
Suppose 4*d - 121 = 3*v, 5*d + 0*v - 2*v = 146. Is 14 a factor of d?
True
Let z = -34 - -70. Does 9 divide z?
True
Suppose a - 2*w = 16, -2*w - 15 = -a + w. Let n(t) = -t**2 + 8*t + 12. Let p be n(9). Let v = a + p. Is v a multiple of 19?
False
Suppose -16 = -5*d - 1. Let k be (-4)/d*(-4 - -1). Suppose 0 = k*v - 12 - 36. Is 12 a factor of v?
True
Let f = -106 + 64. Is 21 a factor of f/4*(-8)/2?
True
Let z(k) = -2*k + 1 - 2*k**2 - 1 + 0*k. Let p be z(-4). Does 2 divide (4/(-12))/(2/p)?
True
Let g(n) = 2*n + 2. Is 3 a factor of g(5)?
True
Let r be 7/2 + (-2)/4. Let p = 25 - 37. Let b = r - p. Is b a multiple of 5?
True
Let k = -2 - -8. Let w(v) = -v**3 + 4*v**2 + 5*v + 2. Let b be w(k). Is 7 a factor of (-3)/6*b*1?
False
Suppose -5*b - 2*q - 127 = -446, -q = -4*b + 263. Is b a multiple of 13?
True
Let g be (4/(-6))/(4/(-30)). Let z(a) = -a**2 + 7*a - 2. Let h be z(3). Let i = h - g. Does 5 divide i?
True
Let s be (-4)/(4/(-3)) - 3. Does 4 divide 1/(2/(s - -12))?
False
Suppose -b + 4 = -a, 2*b = 3*b - 2*a - 5. Suppose -b*z = -3*u - 45, 5*u = -2*z + 3*u + 42. Suppose 2*m - x - 8 = z, -2*m + 4*x + 20 = 0. Is 5 a factor of m?
False
Let v = 86 - 30. Is v a multiple of 19?
False
Suppose -17*k + 14*k = -285. Does 19 divide k?
True
Let h be (5 + -1)*16/2. Suppose 4*p - z - 3*z = h, 4*z + 7 = -p. Is p a multiple of 5?
True
Is -3 + (-1)/(-3)*87 a multiple of 26?
True
Let v(b) = -3*b**3 + 9*b**2 - b + 2. Let o(j) = -13*j**3 + 37*j**2 - 3*j + 7. Let s(z) = -2*o(z) + 9*v(z). Is s(5) a multiple of 14?
False
Suppose -1 - 3 = k, 3*z - 5*k = 203. Is 22 a factor of z?
False
Let n(s) = 8*s**2 - 2*s + 6. Suppose 2*p = -4*t + 6, -3*p = -5*t + 2*p + 30. Is 28 a factor of n(t)?
False
Suppose 5*l = -4*x - 36, -2*l + 19 = -5*x - 26. Is (-3)/x + (-195)/(-9) a multiple of 16?
False
Is 3 a factor of 1 - (8/5)/(2/(-15))?
False
Let x be 25*2*2/2. Suppose -5*f = x - 155. Does 6 divide f?
False
Let f(j) = 8*j + 3. Let t be f(-2). Let m = 18 + t. Let g = m + -3. Does 2 divide g?
True
Let m be (-4)/(-8) + (-1)/(-2). Let q be 15*(m + (-31)/(-3)). Suppose -j + 5*j + 148 = 4*k, -5*k + 2*j = -q. Is 12 a factor of k?
False
Let s = -6 + 8. Suppose -5*r + 4*x = -90, 0*r - 59 = -s*r - 3*x. Does 22 divide r?
True
Let k(y) = -y - 3. Let q be k(-3). Suppose q = 5*s - 6*s + 107. Let t = s - 59. Does 24 divide t?
True
Suppose -2*h + 0*h - 3*t + 3 = 0, -5*h = t - 1. Is 28 a factor of 30/(-12)*(-28 + h)?
False
Suppose -180 = -4*u - 8. Let r = u - 17. Is 17 a factor of r?
False
Let n = 3 + -3. Suppose n = -6*i + i + 100. Is 20 a factor of i?
True
Let n = -28 + 72. Suppose -26 - n = -2*r. Suppose 5*y = 2*d + 30 + 29, -2*y - 3*d = -r. Is y a multiple of 7?
False
Suppose -3*m = 6, o + m - 18 = 10. Is o a multiple of 6?
True
Let m(r) = 3*r**3 - r**2 - 2*r + 3. Let z(q) = q**3 - 7*q**2 + 2. Let k be z(7). Let x be m(k). Let g = 55 - x. Is g a multiple of 15?
False
Suppose 7*w - 951 + 167 = 0. Does 16 divide w?
True
Let z = -198 + 101. Let w be -1 - (z + -2 + 2). Suppose 0 = s + 3*s - w. Is s a multiple of 13?
False
Suppose -173 = -4*g + 115. Is g a multiple of 24?
True
Let t(k) = -k**3 - 6*k**2 + 7*k - 1. Let y be t(-8). Suppose -l - y + 17 = 0. Is (2/(-6))/(2/l) a multiple of 4?
False
Is 16 a factor of ((-21)/(-14))/((-6)/(-124))?
False
Suppose 0 = 2*r + 17 + 9. Let j = r - -39. Let o = j - 5. Does 8 divide o?
False
Suppose -80 = -7*p + 3*p. Is (8/p)/(2/30) a multiple of 2?
True
Suppose 5*v - 350 = -5*h, -h + 6*h + 250 = 3*v. Does 13 divide v?
False
Suppose -k - 50 = -6*k. Is 5 a factor of k?
True
Suppose y = 5*s - 24, 4*y = 4*s + 6 - 54. Let j = 16 + y. Is j a multiple of 6?
False
Let q(u) = -42*u. Does 14 divide q(-1)?
True
Does 23 divide ((-184)/4)/((-6)/9)?
True
Let h(x) = x**2 - x. Does 12 divide h(-3)?
True
Suppose -6 = -d - 0*d. Let i = 8 - d. Suppose 4*k = -i*x + 2, -3*k - 5*x - 2 - 7 = 0. Is 2 a factor of k?
True
Suppose -4*r = 2*b - 140, -b + r = 4*r - 67. Does 11 divide b?
False
Suppose -p + 181 = 5*b - 84, -1295 = -5*p + 5*b. Does 13 divide p?
True
Is -1 - -1*(110 + 3) a multiple of 16?
True
Let