*v + v - a = -u, 2*v - 4*a = 76. Let w = 0 + v. Does 14 divide w?
True
Let z(t) = 3*t**3 - 1. Let g be z(1). Let m = 4 - g. Suppose -4*x - 4*w + 58 = -m*w, 5*x - 2*w - 95 = 0. Is 17 a factor of x?
True
Let f(s) = 49*s - 87. Is f(8) a multiple of 59?
False
Let c(v) = -v**2 - 4*v + 5. Let o(z) = -3*z - 4. Let s(i) = 2*i + 3. Let b(y) = 5*o(y) + 7*s(y). Let h(n) = 4*b(n) - c(n). Does 15 divide h(4)?
True
Let l be (0 - 2)/(1/(-18)). Does 14 divide l/(-4)*6/(-2)?
False
Let y be (2 - 39/(-6))*2. Let a = y + -7. Is a a multiple of 6?
False
Let o be 2 - (0 - 2 - -4). Let q = 11 - o. Suppose -5*n - q = -6*n. Is 5 a factor of n?
False
Let m(z) = 3*z**2 + 2*z - 2. Let r be m(-2). Does 4 divide (-6)/(-3)*r*1?
True
Let h(d) = -d + 4. Let v be h(0). Suppose 0*l + v*l = 320. Does 21 divide l?
False
Let m be 1/(2/(76/2)). Let t = 31 - m. Is 6 a factor of t?
True
Let o(f) = -f**3 + 3*f**2 + 3*f - 7. Is o(-3) even?
True
Let o(z) be the first derivative of z**3/3 - 5*z**2/2 + 3*z - 1. Does 3 divide o(6)?
True
Let q = 5 - 2. Suppose -q*r + 515 = -5*g, 0*g = r + g - 169. Suppose -4*p + r = 46. Is p a multiple of 11?
False
Let v = 3 + -6. Is (-7 + -11)*4/v a multiple of 8?
True
Let w be (-75)/4 - 2/8. Let n = 55 + w. Suppose n = o + 2*o. Is 12 a factor of o?
True
Let y(u) = -u**2 - u + 19. Let t be y(0). Suppose 4*f - 3*f - t = 0. Is 13 a factor of f?
False
Let d = 22 + -12. Let f be d/((-10)/12 + 1). Suppose 4*j - f = 60. Is 15 a factor of j?
True
Suppose 0 = 4*w - 8, t = -t - 3*w + 10. Suppose -t*v + 108 = -0*v. Is 18 a factor of v?
True
Let v = 122 + -72. Does 12 divide v?
False
Suppose 0 = 7*r + 134 - 1758. Is 60 a factor of r?
False
Let n = -7 - 17. Let h be n/9*3/(-4). Suppose -18 = -h*t + 4. Does 3 divide t?
False
Suppose -2*l = -2*m + m - 178, 0 = -4*l - 3*m + 336. Is 29 a factor of l?
True
Let z be -27 + 2/((-4)/(-2)). Let r = z + 44. Is 9 a factor of r?
True
Is 20 a factor of 15/(-25) - 496/(-10)?
False
Suppose -3*v = -d - 4, v + 4 = -3*d + 12. Suppose d*b - 6*b = 0. Does 16 divide (-2 - 14)*(b + -2)?
True
Suppose -v - 35 = -4*n, 4*v + 44 = -0*n + 4*n. Suppose s + 10 = -n. Does 4 divide (-3)/((s/(-16))/(-3))?
True
Let w(g) = -4*g**2 + g. Let u be w(1). Let s(t) = 2*t. Let n be s(u). Let a = n + 17. Is a a multiple of 7?
False
Let v = 7 - 2. Let o(m) = 3*m + m + 5 + 1. Does 12 divide o(v)?
False
Suppose -1 = 2*q - 17. Let l be (-2)/q - (-58)/8. Suppose -4*u - 3*f + f + 26 = 0, 4*f = u + l. Is u even?
False
Suppose 0 = -2*m + 2 - 4, 2*l = m - 31. Let a = l - -25. Suppose -a + 3 = -3*r. Does 2 divide r?
True
Let h be 2/10 + (-1598)/(-10). Suppose 2*r + 3*r = h. Does 16 divide r?
True
Let u be 4/(-2) - (-1)/(-1). Let v be 2/(-6)*5*u. Suppose -i - 178 = -v*l, 176 = 5*l - i - i. Is l a multiple of 18?
True
Suppose 0 = 4*f - 2*f, -5*t - 40 = -3*f. Let d(k) = -k**2 - 10*k + 4. Is 7 a factor of d(t)?
False
Suppose 120 = -5*m + 9*m. Does 10 divide m?
True
Suppose -3*k + 22 - 4 = 0. Let n = k + 1. Suppose 6*l - n*l + 11 = 0. Does 4 divide l?
False
Let u = 6 + -2. Let q = 23 + u. Is 9 a factor of q?
True
Let v = 224 + -135. Does 15 divide v?
False
Is 10 a factor of 1 - 20/8 - (-66)/4?
False
Let k(u) = u**2 + 14*u + 2. Let a be k(-15). Let j = a - 9. Does 4 divide j?
True
Let v = -2 - -8. Is ((-1)/(-2))/(v/24) a multiple of 2?
True
Suppose 2*r - 3*r = 59. Let i be (r - (-2 + 4)) + -1. Let j = -42 - i. Is j a multiple of 11?
False
Let v(a) = a**2 - 8*a + 7. Let k be v(5). Let f be k/(-20) - 459/(-15). Suppose -5*w + 17 + 15 = -3*g, 4*g + f = 5*w. Does 7 divide w?
True
Suppose -2 = -3*c + 1. Let p(l) = -l + 1. Let b be p(c). Suppose b = 5*k - 30 - 35. Is k a multiple of 13?
True
Let a(k) = -18*k + 4. Let u = 9 - 11. Is a(u) a multiple of 20?
True
Is 8 a factor of ((-22)/(-88))/((-2)/(-488))?
False
Suppose 5*m - 7 = -2. Let o be (m + -1 + 24)*-3. Is 18 a factor of o/(-10)*(-15)/(-3)?
True
Let u = -55 - -130. Suppose u = 3*o + b, -3*o - o = 5*b - 100. Is 12 a factor of o?
False
Let h(l) = -8*l**2 + l + 4. Let k be h(3). Let t = -97 - k. Let z = 58 + t. Does 7 divide z?
False
Suppose y - 20 = -3*y. Suppose 106 = 4*w + l + l, y*l = 3*w - 47. Is 12 a factor of w?
True
Let p(b) = 10*b**2 - 7*b - 15. Does 24 divide p(-3)?
True
Let v be (-2)/(-12)*(6 - 0). Does 24 divide v/((-50)/(-48) - 1)?
True
Suppose 4*w + 8*w = 1956. Is w a multiple of 26?
False
Let j = -9 - -8. Is 112/12 - j/(-3) a multiple of 3?
True
Let u be (1 - 15)/(-2 + 3). Let g be (5/2)/(1/u). Let b = 55 + g. Is b a multiple of 14?
False
Let q be (-2)/(-7) + (-162)/(-21). Let x(c) = 2*c + 0*c + c + 0*c - 8. Does 16 divide x(q)?
True
Let a(i) = 2*i**2 - 6*i + 1. Let h = 9 - 5. Is a(h) a multiple of 3?
True
Suppose 0 = 2*l - o - 135, -155 = -6*l + 4*l - 3*o. Is 14 a factor of l?
True
Let r(y) = -5*y**2 + 8*y + 5. Let b(v) = v**2 - v - 1. Let i(q) = 4*b(q) + r(q). Let o be i(3). Suppose -o*a + 28 = -20. Is a a multiple of 6?
True
Let a = -12 - -35. Suppose 32 = -2*m - 3*t + 12, 3*m + a = -t. Does 18 divide (-36)/14*(m + 0)?
True
Let d(j) = -j**3 - 7*j**2 - 4*j - 8. Let i = -15 + 8. Is d(i) a multiple of 5?
True
Let y(n) = -3*n - 6. Let i be y(-4). Suppose -3*r = -i*r + 36. Does 6 divide r?
True
Let r(u) be the first derivative of -u**3/3 + 8*u**2 + 2*u + 2. Is r(15) a multiple of 9?
False
Suppose 2*p + 2*p = 28. Let g(m) be the first derivative of 2*m**3/3 - 9*m**2/2 + 6*m - 1. Does 15 divide g(p)?
False
Let o = 29 - -51. Is o a multiple of 40?
True
Let r = -71 + 119. Suppose 2*k - r = -k. Is k a multiple of 16?
True
Let k(f) = 9*f - 43. Is k(13) a multiple of 37?
True
Suppose 7 = -2*b - 7. Is (-54)/b + (-6)/(-21) a multiple of 8?
True
Let q(s) = -s**2 - 12*s - 6. Let u be q(-6). Suppose -3*c = 2*c - u. Is 6 a factor of c?
True
Let l be 7 + (-4 - (-4 - -2)). Suppose -4*y + 1 = m + l, 5*m = y - 20. Let s = m + 22. Does 6 divide s?
True
Suppose 0 = -0*q - q + 15. Is q a multiple of 15?
True
Let j = -42 - -82. Is j a multiple of 3?
False
Let q = -4 + 2. Is 4 a factor of ((-5)/q)/((-1)/(-6))?
False
Is 6 a factor of 1/(-3) + 120/9?
False
Let h(v) = v**3 + 2*v**2 - v + 1. Let o be h(-2). Suppose -o*z = -z - 10. Suppose -4*g + 47 = m - 4*m, 0 = -2*g + z*m + 41. Does 4 divide g?
True
Let a be -4 + 2 + 0 + 3. Is 2 + a/(3/90) a multiple of 16?
True
Suppose -k - 15 = -6*k. Let r(m) = 98*m - 2. Let h be r(1). Suppose -8 = -4*s, -4*j - k*s + 5*s = -h. Is 13 a factor of j?
False
Suppose -t + 4 = -3*x, -x + 24 = t + x. Suppose -3*c = -t - 47. Does 21 divide c?
True
Let z = -23 + 70. Is z a multiple of 17?
False
Is 11 a factor of ((-33)/1)/(2*4/(-16))?
True
Suppose 3*u + 4 = -u. Let b(s) = -s - 2 - 5*s**3 + 3 - s**2 - 3 + 1. Is 2 a factor of b(u)?
True
Let z be 34/10 + (-6)/(-10). Suppose 0 = -2*l + 28 - z. Is l a multiple of 3?
True
Suppose 3*m = -5*g - m - 12, m = -3*g - 10. Suppose x = l - 40, 3*x - 2*x + 2*l = -40. Let j = g - x. Does 16 divide j?
False
Let r(q) = -q**3 + 2*q**2 + q. Let o be r(-1). Let h = 3 + o. Suppose -5*w + 4*u + 23 = -20, -4*w + 38 = -h*u. Is 5 a factor of w?
False
Is 2/(-2) - -16 - (-21)/7 a multiple of 18?
True
Let h(f) = -f**3 - 3*f**2 - 3. Let m be h(-3). Let s be m/((-9)/2)*3. Does 7 divide 2 + (-1)/(s/(-10))?
True
Let d(s) = 4*s**2 - 22*s - 21. Is d(10) a multiple of 16?
False
Suppose s = -3*i + 11, 0*i = 3*i - 4*s + 14. Suppose -51 = -i*t - 3*c + 2, 2*t = -2*c + 50. Is 22 a factor of t?
True
Let q(f) = -f**2 - 16*f - 5. Let d(c) = -c**2 - 15*c - 6. Let s(n) = 5*d(n) - 4*q(n). Let u be s(-9). Suppose 2*a - 74 + u = 0. Is a a multiple of 11?
True
Let v(u) = 2*u + 5. Let b be v(-11). Let z = -12 - b. Is 5 a factor of z?
True
Let g(a) = 2*a**2 + 11*a + 4. Suppose -5*d - 29 = -4*z, -4*d - 35 = -5*z + d. Suppose z*n + 28 = 2*n. Is g(n) a multiple of 10?
False
Suppose 3*v - 39 = -2*o - 2*v, 0 = 5*o + 3*v - 126. Suppose -2*w + w = -o. Is 12 a factor of w?
False
Let r be 4/((-12)/(-9)) + 35. Let j = r + -17. Is 21 a factor of j?
True
Suppose -2*o - 55 = -5*w + 3*o, -5*o + 75 = 5*w. Is 11 a factor of 1*(w - 6/3)?
True
Does 9 divide 1 - -13 - (0 + -1)?
False
Suppose 4*j = 5*j - 12. Is j a multiple of 12?
True
Let x(r) = -r**2 + r + 101. Let o be x(0). Suppose 0 = 4*z + o - 325. Is 21 a factor of z?
False
Suppose 0*f = -k + 3*f, k = f + 2. Suppose k*i + 21 = 81. Is 5 a factor of i?
True
Let l = -19 + 13. Le