3))?
False
Let j = -3 + 4. Let g be (j/3)/((-4)/(-60)). Suppose z + 188 = g*o, 0 = o - 3*o + 5*z + 89. Does 13 divide o?
False
Let o(k) = k**2 + 6*k + 3. Suppose -5*c = -0*c + 35. Is 10 a factor of o(c)?
True
Let o = 9 + -6. Let y(f) = f**2 - f + 2. Does 8 divide y(o)?
True
Let q(n) = -n**2 - 8*n - 8. Let m(r) = r**3 - 6*r**2 + 3*r + 4. Let a be m(5). Is 3 a factor of q(a)?
False
Let y = 3 + -6. Is 20 a factor of (63*3)/3 + y?
True
Suppose -4*v + 0 = -12. Does 19 divide -2 - (-2 - (v - -49))?
False
Is (-12)/15*(-90)/9 even?
True
Let u be 18/4 + 1/2. Suppose 30*c = 35*c - 30. Suppose 0 = -u*v - 2*m + 106, -c*v - 5*m + 34 = -4*v. Is 11 a factor of v?
True
Let l(o) = o**2 - 5*o + 3. Let u be l(5). Suppose u*p - 50 = p. Is 18 a factor of p?
False
Suppose 4*r + 2*w = 18, 5*r - 2*w + w - 26 = 0. Is 3 a factor of r?
False
Let q(v) = 3*v + 4. Let x be q(3). Let k(t) = 2*t - 5. Let h be k(7). Let l = x - h. Is l a multiple of 2?
True
Let o(h) = -35*h + 13. Let k(c) = 17*c - 6. Let i(m) = m**3 - 8*m**2 - 8*m. Let a be i(9). Let t(r) = a*k(r) + 4*o(r). Is t(2) a multiple of 9?
False
Suppose -3*l + 10 = -2. Suppose 4*q + l + 16 = 0. Does 10 divide 1*-66*q/10?
False
Suppose 6*y - 3*y - 12 = 0. Let k be (-10)/15 + y/(-3). Does 13 divide k/((12/(-39))/2)?
True
Let n(k) = k**3 - 10*k**2 + 3*k + 9. Let y be n(10). Suppose 0*h - 3*h = -y. Let l = 13 + h. Is l a multiple of 14?
False
Suppose 0 = 5*q - 5*i - 290, 3*q - 5*i = -19 + 197. Is 14 a factor of q?
True
Suppose 2*l = 4*y - 0*l - 14, -3*y = l - 8. Let n = 6 - 4. Suppose n*s - 4*a = 136, 5*s - 218 - 108 = y*a. Does 23 divide s?
False
Let a(i) = -38*i + 5. Let h(p) = 7 + 3*p - 1 - 39*p - 2*p. Let f(k) = 6*a(k) - 5*h(k). Does 16 divide f(-1)?
False
Let r(i) = 0 + 3*i - 1 - 4*i. Let u be r(-3). Is 7 a factor of u/(-9) - 220/(-18)?
False
Is 6*(100/12 + -1) a multiple of 7?
False
Suppose 6 = 2*b, 5*b = -n - 4*n + 480. Is n a multiple of 23?
False
Let h(s) be the first derivative of -6*s**2 - 6*s - 2. Let w be h(-5). Does 6 divide 0 - (w/(-3))/3?
True
Is 27 a factor of (315/(-20))/(1 - 26/24)?
True
Is (1 - (-4)/(-1)) + 147 a multiple of 36?
True
Suppose -5*v + 10 = -3*v. Suppose v*y - 63 = 4*a, -2*a + 0*a - 26 = -2*y. Is y a multiple of 8?
False
Suppose j - 48 - 24 = 0. Does 9 divide j?
True
Suppose -3*z + 10 = -2. Let v = -4 + z. Let h = 8 - v. Does 8 divide h?
True
Let x(v) = v**2 + 2. Is 3 a factor of x(-2)?
True
Let r = 28 + -12. Let m = 8 + r. Is 8 a factor of m?
True
Let q be (5 - 3) + (0 - -2). Suppose 16 = -2*i + 4*i + q*p, 2 = 2*i - 3*p. Is i a multiple of 3?
False
Suppose -2*x + 2*i + 28 = 0, 26 - 6 = 5*x + 5*i. Let p = x - 5. Is p a multiple of 4?
True
Let n be 8/(-16)*(-1 + 1). Suppose 0 = -2*t - 3*x + 21, n = -3*t - x - 2*x + 24. Suppose -t*c + 1 = -41. Is 14 a factor of c?
True
Let i(n) = n - 2. Let b be i(2). Suppose -3*y = -9, b*s - s = -5*y + 13. Suppose -o = -2*t + 3*o + 26, 5*t + s*o - 125 = 0. Is t a multiple of 14?
False
Suppose 307 = 4*s + 67. Suppose 5*d - s = 20. Is 9 a factor of d?
False
Suppose k + 2*s - 18 = 0, s = -4*k - k + 135. Is k a multiple of 7?
True
Suppose -g - 150 = -3*g. Let h be 2/((-6)/g*1). Is 17 a factor of (-1 - h) + 2 + -4?
False
Let r(j) = -2*j**3 - 9*j**2 + 1. Let x be r(-6). Suppose -5*b = 4*s - x, -s - b - 37 = -3*s. Is 12 a factor of s?
False
Let f be 0/(-2 - (0 - 3)). Is 22 a factor of 43 - (f + 0 - 1)?
True
Let l(g) = g - 3. Let f be l(7). Suppose -f*d + 0*d = -96. Is 24 a factor of d?
True
Suppose -l = -2*c - 70, -225 = -4*l - 2*c - c. Does 20 divide l?
True
Let c(a) = -9*a**2 - a - 2. Let h(w) be the third derivative of w**6/120 - w**5/60 + w**4/24 - w**3/6 + 3*w**2. Let r(p) = -c(p) - h(p). Is 3 a factor of r(10)?
True
Suppose 4*i - o = 13, 0 = -o - 2 + 5. Let j be i/(-14) + (-36)/21. Is j/9 - 65/(-9) a multiple of 3?
False
Suppose -s - 5 = 5*h, -5*s - 5*h + h = 4. Let g(t) = t - 12. Let v be g(6). Let r = s - v. Does 2 divide r?
True
Suppose 3*g = -2*t - 34 - 6, 10 = -2*t. Is 35 a factor of (-1048)/g + (-8)/(-40)?
True
Let g = -36 - -92. Does 28 divide g?
True
Does 12 divide 3*1/((-1)/(-12))?
True
Suppose 0 = -5*l - 4*x + 452, 2*l + 5*x - 72 = 119. Is l a multiple of 22?
True
Let i be 6*((-2)/(-4) - 0). Let h(n) = n**2 + 2*n - 3. Let w be h(-3). Suppose i*z - 4*u - 26 = w, -4*z - 2 = -2*u - 30. Is 6 a factor of z?
True
Let i(v) = -v**3 + 15*v**2 - 19*v. Is 13 a factor of i(8)?
False
Let k(u) = 4*u**2 + 10*u**2 - 3*u**2 + 10*u + 11 + u**3. Is k(-10) a multiple of 5?
False
Suppose 26 - 6 = 5*r. Suppose -r*s + 9 + 47 = 0. Suppose b - 4 = s. Does 11 divide b?
False
Suppose 5 - 35 = -3*b. Is 8 a factor of (2 - b)/((-8)/20)?
False
Let z(o) = o + 9. Suppose -4*u = -3*u - 21. Suppose 3*n - u = -0*n. Does 16 divide z(n)?
True
Let d = -69 + 224. Is d a multiple of 5?
True
Let h = -6 - -38. Does 16 divide h?
True
Let u be (-2 - -2)*(-3)/(-6). Is (14 + u)*(0 - -1) a multiple of 8?
False
Let r(x) = -2*x - 1. Let o be r(1). Let p be (-2)/(-3) + (-56)/(-6). Let n = o + p. Is n a multiple of 5?
False
Suppose -4*w = -2*y + 28, 0*y = -3*y + 3*w + 36. Suppose c - y = 19. Is 10 a factor of c?
False
Suppose 2*k + 3*q = -0*q + 51, k - 18 = -3*q. Is 8 a factor of k?
False
Let i = -62 - -131. Does 16 divide i?
False
Let q(k) = -k + 1. Let m be q(1). Suppose 0 = -m*c + 2*c. Suppose y - 3 = -c. Does 3 divide y?
True
Suppose -2*w = -2*b - 3*w + 68, 0 = b - 3*w - 20. Suppose 0 = -5*l - b - 38. Is (l/(-3))/((-8)/(-12)) a multiple of 3?
False
Let q(d) = 3*d - 3. Suppose -8*x = -3*x - 25. Let v be q(x). Suppose -c + v = -0*c. Does 12 divide c?
True
Suppose 2*l - 9 = -n, 1 + 0 = -n. Let a(t) = t**3 + 7*t**2 + 6*t - 1. Let r(o) = -o**3 - 7*o**2 - 7*o. Let z(h) = l*r(h) + 6*a(h). Does 23 divide z(-6)?
False
Let i = -3 - -5. Is i + (-2 - 0) - -41 a multiple of 14?
False
Let n = 17 - 11. Does 5 divide n?
False
Suppose 12 - 3 = 3*d, -371 = -4*g - 5*d. Suppose -2*m = -8, 2*m = 3*b + 4*m - g. Is 14 a factor of b?
False
Is 30 a factor of 1*(-10)/(-2)*(-324)/(-10)?
False
Suppose 2*i = -0*i + 114. Let j(f) = -3*f**2 - 4*f - 1. Let l be j(3). Let d = i + l. Is d a multiple of 7?
False
Let x(u) = -u**2 + u. Let d be x(5). Let y be (d/((-4)/(-2)))/(-1). Suppose r = -r + y. Does 2 divide r?
False
Let k be (3 - (-3 - -9)) + -3. Let v = k - -5. Does 9 divide -1 - v*(-19)/(-1)?
True
Let l be 2/7 - (-130)/35. Suppose -5*n - l*i + 6 = -32, -n - 2*i + 10 = 0. Does 3 divide n?
True
Let t = -6 - -9. Is 55/5 + (t - 0) a multiple of 8?
False
Let s = 60 + -36. Is 12 a factor of s?
True
Suppose 0 = -4*h - z + 20, 3*h + 5*z - 18 = 14. Suppose 1 = n, -2*i + h*n = -0*i - 30. Is 11 a factor of i?
False
Suppose 3*s = 4*s + 3. Let f = s + 11. Suppose f + 1 = 2*x - z, -2*z = 5*x - 27. Does 2 divide x?
False
Let b(y) = -y**2 - 24*y - 29. Does 5 divide b(-16)?
False
Suppose -4*q = h + 316, -3*q - h = 1 + 236. Let b = q + 125. Is 17 a factor of b?
False
Suppose 22*h = 831 - 303. Does 3 divide h?
True
Suppose -2*h + 57 = -79. Suppose h + 12 = 5*i. Is i a multiple of 8?
True
Suppose 2*a - 98 = -z, 0 = 5*z - 5*a - 175 - 375. Does 34 divide z?
False
Let k be -2 + 2 + -3 + 2. Let n be 1/((-2)/(-4)) - k. Is 19/4 + n/(-4) a multiple of 4?
True
Suppose 0*r + 4 = r. Let n(y) = y**3 - 3*y**2 + y + 1. Let s be n(5). Suppose -s - 52 = -r*m. Is m a multiple of 10?
False
Let j(k) = -3*k - 6. Let v be 2/10 + (-52)/10. Does 9 divide j(v)?
True
Suppose 2*a - 11 - 21 = 5*b, -2*a + 38 = -2*b. Does 7 divide a?
True
Suppose 0 = 4*w - p - 30, 0*w + 4*p = 2*w - 8. Let j(a) = -w - 8*a + 3*a + 3. Is j(-4) a multiple of 15?
True
Let m be (-2556)/(-15) - (-4)/(-10). Suppose u - p - 34 = 4*p, -p + m = 5*u. Is 12 a factor of u?
False
Let t(y) = -y - 11. Let g be t(-8). Let q be ((-4)/g + 0)*237. Is (-10)/65 - q/(-26) a multiple of 12?
True
Let c = 105 - 67. Is c a multiple of 13?
False
Suppose 2*x - 5 = 59. Suppose 2*z - 110 = x. Is 23 a factor of z?
False
Let a be (-18)/(-6) + (-1 - -128). Suppose -a = y - 3*y. Is y a multiple of 19?
False
Is 9/2 - 3 - 586/(-4) a multiple of 27?
False
Let v(n) = 4*n**2 + 13*n + 8. Does 4 divide v(-5)?
False
Let t(x) = 7*x**2 - 2*x - 2. Is t(2) a multiple of 12?
False
Suppose -11 = 3*m + 4. Is 17 a factor of 18*m/((-20)/22)?
False
Let j(i) = -4*i + 2. Let t be -2 + (2 + -3 - -4). Suppose -5*w = -s + 31, -w - t = -s 