) + 6*x(b). Does 35 divide w(1)?
False
Let r = 61 + -16. Suppose -3*x + 0*x = -r. Is 15 a factor of x?
True
Let o = -9 + 141. Is 11 a factor of o?
True
Suppose r - 3*x - 2 + 1 = 0, -5*r = 2*x - 90. Suppose 0 = -3*q - a - 0*a + r, 0 = 2*a - 8. Suppose 5*l + s - 163 = -2*s, s = -q*l + 129. Does 16 divide l?
True
Suppose -5*x = 159 - 579. Does 17 divide x?
False
Let t be (5/3)/(-5)*0. Suppose t = -5*f + 150 + 30. Is 18 a factor of f?
True
Let a(d) = d**3 + 4*d**2 - 2*d + 2. Let p be a(-4). Suppose r - 8 = -r - 4*n, -2*n = p. Is r a multiple of 7?
True
Let i(k) be the second derivative of k**4/4 + 2*k**3 + 3*k**2/2 - 6*k. Is 6 a factor of i(-5)?
True
Suppose 4*n - 2*n - 26 = 0. Does 13 divide n?
True
Let p(g) = -4 - 2*g - 4 - 4*g + 9. Suppose 0*m = 4*m + 20. Is p(m) a multiple of 12?
False
Suppose -27 + 2 = a. Let s = -15 - a. Does 10 divide s?
True
Let o(z) be the first derivative of -3 + 2*z - 1/2*z**2 + 1/3*z**3. Is o(-5) a multiple of 11?
False
Suppose -3*r + 168 = d + 2*d, -3*r - 4*d = -171. Is 53 a factor of r?
True
Is 2/(-6) + 1020/36 a multiple of 28?
True
Suppose 8*q - 193 - 351 = 0. Is q a multiple of 32?
False
Let m(h) = -2*h**2. Let x be m(-4). Let n = x - -74. Does 14 divide n?
True
Suppose -2*m + 123 = -177. Is 50 a factor of m?
True
Let j = -2 + 5. Let b = 4 + j. Does 3 divide b?
False
Suppose -4*y = -8*y + 156. Does 13 divide y?
True
Let m = -6 - -9. Let n = m - 2. Suppose -r = -22 + n. Is 9 a factor of r?
False
Suppose -a + 9 = a - i, -3*a - 2*i = -17. Suppose -13 = -5*n + 2*o, 0 = -4*o - 1 + a. Suppose -147 = -4*x - 3*y, y - 10 + 117 = n*x. Is x a multiple of 13?
False
Suppose 19 = 3*j - 11. Let l = j - 8. Suppose -l*f + 3*f = 38. Is 19 a factor of f?
True
Suppose 0 = -5*v + 3*v + 20. Suppose 3*k + v = 8*k. Is k + 4 + 0/(-3) a multiple of 3?
True
Let b(z) = z**2 + 5*z - 5. Is b(-7) a multiple of 3?
True
Let k(q) = -q**2 - 11*q - 8. Let o be k(-7). Suppose 3*u = -2*u + o. Is u a multiple of 2?
True
Let m be (-10)/(-4)*56/35. Suppose -2*a + m + 80 = 0. Does 21 divide a?
True
Let v(h) = -7*h - 7. Let q be v(-5). Suppose -q = -4*l - 0. Is l even?
False
Let i(l) = l - 1 - 4*l - 3 + 0. Is i(-6) a multiple of 7?
True
Suppose -4*o = -8*o - 8. Let k = o + 7. Suppose -k*g - 4*a + 33 = -2*g, -4*g + 44 = -5*a. Does 11 divide g?
True
Suppose 0 = -2*o - 4, 0 = n - 0*n + 4*o - 76. Is 12 a factor of n?
True
Let v = -142 + 250. Is 12 a factor of v?
True
Suppose 4*v + 3*r - 30 = 84, 5*r + 130 = 4*v. Is 15 a factor of v?
True
Suppose -5*j + 25 = -2*b + 7*b, 3*j + 25 = 5*b. Suppose 14 = 4*o - 2*l, -2*l + 6 = b*o + 2. Suppose -p = o*c - 11, 0*c - 1 = -c - 2*p. Is c a multiple of 2?
False
Let a(p) = -6*p**3 - 2*p**2 - 1. Is 13 a factor of a(-2)?
True
Let r(d) = 2*d**3 - 3*d**2 - 4*d + 9. Does 6 divide r(4)?
False
Suppose 5 = -5*a, 3*q - 7*q - 5*a + 15 = 0. Let x(k) = 2*k**2 - 6*k - 4. Let o be x(q). Suppose -3*d + o = -2*d. Does 16 divide d?
True
Does 22 divide 1*116/8*6?
False
Is 9 a factor of 0 + -3 + (-210)/(-3)?
False
Suppose -1 = -4*x - 5. Let b = x + 3. Suppose -b*l - 2*l + 136 = 0. Is l a multiple of 12?
False
Let o be (26/(-4))/(2/(-4)). Suppose 47 = 5*i - 2*w, -5*w + o = i - 18. Does 9 divide i?
False
Let f = 555 - 317. Does 34 divide f?
True
Suppose -2*p = 2*p - 12. Suppose 0 = 2*d - 6, -44 - 25 = -3*u - p*d. Does 20 divide u?
True
Let d(v) = 2*v - 27. Does 7 divide d(19)?
False
Suppose -k + 12 = w, -5*k - 28 = -w - 2*w. Is w a multiple of 9?
False
Let m = 74 + -40. Is 17 a factor of m?
True
Let m = -20 - -42. Does 5 divide m?
False
Let l = 5 - 4. Suppose 0 = -m + l + 5. Is m a multiple of 2?
True
Suppose -y - 31 = -m - 230, -627 = -3*y - 3*m. Does 17 divide y?
True
Suppose -k - 2*i + 18 = 0, k - 3*i + 7*i - 12 = 0. Is 12 a factor of k?
True
Let v(u) = -55*u + 4 - 11 + 6. Is v(-1) a multiple of 12?
False
Suppose 0 = -o + 421 - 63. Suppose 0 = 3*t - 4*s - o, -4*t = 2*s - 0*s - 470. Is t a multiple of 34?
False
Let n(u) = 6*u + 22. Does 13 divide n(5)?
True
Suppose 3*c - 26 = c. Is 13 a factor of c?
True
Suppose -5*i - 5*t + 3*t - 5 = 0, 0 = 2*i + 2*t + 8. Is 6 a factor of (3/(-12))/(i/(-44))?
False
Suppose -5*l + 5*o = 400, -4*o + 4 = -2*o. Let m = 120 + l. Does 14 divide m?
True
Suppose -4*l - 120 = l. Is 10 a factor of (-3)/(l/68)*2?
False
Suppose -76 = x - 2*x. Is x a multiple of 16?
False
Suppose -2*s + 52 = -5*n, -s - n = 2*s - 112. Is s a multiple of 8?
False
Let k be ((-26)/(-6))/(2/24). Suppose -k = -s - s. Does 14 divide s?
False
Let l = -76 + 117. Is l a multiple of 9?
False
Suppose 3*d - 6 = 3*g + 3, d = -2*g - 6. Let p(h) = -h**2 + 9*h - 8. Let s be p(8). Is 3 + 15 + (d - s) a multiple of 9?
True
Suppose -5*k - 15 = 0, 4*q - 486 = 3*k - k. Is q a multiple of 36?
False
Let j be (2 + (-228)/9)*-3. Suppose 2*l = -0*l + j. Is l a multiple of 14?
False
Suppose -39 = -0*l + 3*l. Let h = 5 - l. Is h a multiple of 13?
False
Let q be 2/(-4)*-26*-385. Is 22 a factor of q/(-117) + 2/9?
False
Suppose 0*l + 26 = j + 2*l, -5*j = -5*l - 145. Is j a multiple of 9?
False
Suppose 5*d = -1 + 131. Does 14 divide d?
False
Suppose 3*r = -3*d + 7 + 95, 4*d + 130 = 3*r. Let a = -15 + r. Does 11 divide a?
False
Suppose 3 = 3*j - 2*j. Suppose -28 = -2*r + r + h, 15 = -j*h. Is r a multiple of 23?
True
Suppose 0*j - 4*j + 176 = 0. Is j a multiple of 5?
False
Suppose -p + 5 = -0*p. Suppose 10*h + 3*g + 5 = 5*h, p*h = -4*g - 5. Does 10 divide ((-40)/12)/(h/6)?
True
Suppose 135 = 5*i - 2*t - t, 4*i + 5*t = 71. Does 19 divide i - (-1 - (-12)/4)?
False
Let u(l) = 2*l**2 + 5*l - 4. Let c be u(-6). Let m = c + 10. Is 12 a factor of m?
True
Let j be (-1)/(3/(-24))*2. Let p = j + -4. Does 6 divide p?
True
Suppose 0 = 4*a - 5*d + 839, -3*a + d + 143 = 786. Does 27 divide (3/(-6))/(2/a)?
True
Let r = 9 - 5. Suppose r*i = 18 + 34. Let h = i + -7. Is h a multiple of 6?
True
Let w(a) = -a**2 + 11*a - 3. Let m(r) = -5*r**2 + 7*r - 2. Let v(g) = g**2 + g. Let x(i) = m(i) + 4*v(i). Let c(l) = -5*w(l) + 4*x(l). Is 7 a factor of c(11)?
True
Suppose -2*g - 4*m + 664 = 0, 2*g - 4*m = -365 + 1021. Let h = -230 + g. Is 25 a factor of h?
True
Suppose -4*p + 129 = -5*q, -3*p + 128 = -2*q - 3*q. Let o = 1 - q. Does 15 divide o?
False
Let a(m) = m**2 + 7*m + 7. Let n be a(-6). Suppose 0 = u - q + 8 - 31, -u - 5*q = n. Does 9 divide u?
False
Suppose 0*h = 5*n + 3*h - 1155, n + 3*h - 219 = 0. Does 18 divide n?
True
Is 19 a factor of 2*(-3)/18*-171?
True
Let m(r) = 4*r + 3. Let s be m(-2). Let x be 0 - -2*2/(-2). Is (x*1)/(1/s) a multiple of 5?
True
Let g(s) = -s - 50. Let z(q) = q - 4. Let v be z(4). Let y be g(v). Let r = y + 76. Is 13 a factor of r?
True
Suppose -d + 4*l = -64, 2 - 8 = -3*l. Is 9 a factor of d?
True
Let n(a) = -a**3 + 7*a**2 + a - 3. Let m be n(7). Is m/(-18) + 114/27 a multiple of 4?
True
Let w(i) = -31*i - 9. Let x(p) = -46*p - 14. Let k(b) = -8*w(b) + 5*x(b). Let f be k(2). Suppose 0*m = 2*m - f. Is m a multiple of 14?
False
Does 14 divide (-224)/(-6)*60/40?
True
Suppose c = -8*c + 2295. Is c a multiple of 17?
True
Suppose 3*c + 2*c = 140. Suppose -c = 5*i - 103. Is i a multiple of 15?
True
Let q = 80 + -137. Is (q - 0)*(8 + -9) a multiple of 10?
False
Suppose -n - 2*n + 24 = 0. Let b = -6 + n. Suppose -40 = -3*p - b*p. Is 8 a factor of p?
True
Let b(s) be the first derivative of 2*s**3/3 - 1. Let n be b(1). Suppose -n*f = 23 - 117. Does 13 divide f?
False
Let d = 14 - -6. Does 6 divide d?
False
Let i(u) = u + 5. Let h be i(0). Suppose -3*p + 35 + 37 = 4*j, -54 = -3*j - h*p. Is 18 a factor of j?
True
Let j(s) = 15*s - 26. Is 37 a factor of j(19)?
True
Let a(j) = 3*j - 1. Is a(3) a multiple of 4?
True
Let s(u) = u**3 - u**2 - 3*u + 6. Let k(x) = -x**3 + 7*x**2 + x - 3. Let b be k(7). Is s(b) a multiple of 21?
True
Suppose 2*t - 2 = -20. Let c(z) = -2 + 9*z - z**2 + 9 + 5 + 2*z**2. Is 12 a factor of c(t)?
True
Suppose 3*n = 65 + 58. Suppose -3*a - 9 = 0, 5*i + 2*a = -a + n. Is i a multiple of 10?
True
Suppose 0 = 5*h + 2 - 27. Suppose 0*z + z = -b + 75, -2*b + 360 = h*z. Is z a multiple of 24?
False
Suppose 5*i + 330 = 7*i. Does 10 divide i?
False
Is 3/(54/(-56) + -1 + 2) a multiple of 9?
False
Let q = 9 - 17. Suppose 3*a - 2*a = 2. Is 10 a factor of (-142)/q - a/(-8)?
False
Suppose 4*m - 2*m = 0. Suppose m = -5*n - 14 + 189. Is 12 a factor of n?
False
Suppose 3