
True
Let f be (-14)/6 + (-1)/(-3). Let j be (f - 4) + 1 + -1. Does 14 divide 3/(-9) + (-146)/j?
False
Suppose 6 = -0*w + 3*w. Suppose 0 = w*n + 2*n - 40. Is 10 a factor of n?
True
Let r = 47 - -250. Is r a multiple of 21?
False
Does 35 divide (20 - 4)*5 + -4?
False
Let g be (-6)/8 - (-6)/8. Let d be (-5 - (g + -2)) + 2. Is (1/(-2) + d)*-4 a multiple of 5?
False
Suppose v = 2*v + 3*a + 9, -4*v = 5*a + 8. Does 30 divide -2 - (-98 + 0 + v)?
False
Let f = -5 + 7. Suppose -f + 8 = -3*q. Is 19 a factor of ((-95)/(-15))/(q/(-6))?
True
Let s(b) = b**2 - 5*b - 8. Let o be s(-8). Suppose -w + 4*w - o = 0. Does 13 divide w?
False
Suppose -3*o - 3*t + 6 = 0, 2*o + 2*o = t + 8. Let n = -2 + o. Let v(k) = k**3 + k**2 + 2. Does 2 divide v(n)?
True
Is 24 a factor of (-4)/(-30)*-3 + (-242)/(-5)?
True
Let v be 1 + -1*(-2 - -2). Let m = -2 - v. Does 7 divide 2/m + 59/3?
False
Let n(p) = 0*p + 24 + p + 0*p**2 - p**2. Let r be 3/3*0/(-1). Is 12 a factor of n(r)?
True
Suppose 2 + 4 = s. Suppose 5*u - s*u + 29 = 0. Is 8 a factor of u?
False
Let x be 51*(-1 - (-2 + 0)). Let s = -26 + x. Does 13 divide s?
False
Let m(u) = u**2 - 2*u + 21. Is m(-7) a multiple of 12?
True
Suppose 2 = -x + 7. Is 11 a factor of (x + -2)/((-3)/(-40))?
False
Let p be 2 + -4 + 2 + -131. Let c = p - -235. Let k = c - 64. Is k a multiple of 20?
True
Let f(u) = -u - 1. Let z be f(-6). Suppose -31 = -2*d - 3*d + 4*r, 0 = -z*r + 5. Suppose 4*x + 39 = d*x. Is 13 a factor of x?
True
Let m = -1 - -13. Suppose m = d - 14. Does 9 divide d?
False
Suppose 2*v = -4*j + j + 17, 4*v = -5*j + 29. Suppose i - n = 13, 3*n - 12 - j = -4*i. Is i a multiple of 8?
True
Let p = 0 - -4. Let a be (-2)/(-8) - p/16. Suppose z - 2*h + 2 - 8 = a, -z = -h - 5. Does 3 divide z?
False
Suppose 49 - 143 = -j. Let l = j + -156. Let o = -40 - l. Is 17 a factor of o?
False
Let h be (-1)/(-3*4/60). Suppose 4 - 17 = -4*w - 3*x, -x + 7 = 2*w. Suppose 2*b + 96 = w*v, -h*v - 5*b + 133 = -b. Is 9 a factor of v?
False
Suppose -3*h + 2*h = -7. Suppose -5*q + 0*q + h = 3*p, -p + 4*q = -8. Let d(a) = 7*a - 3. Is 17 a factor of d(p)?
False
Let j be -1 + (19 - (-4)/2). Let v = j + 0. Does 16 divide v?
False
Let h(f) = -7*f**3 + 7*f**2 - 7*f - 27. Let c(d) = d**3 - d**2 + d + 1. Let b(i) = -6*c(i) - h(i). Is 13 a factor of b(0)?
False
Let h(f) = -f - 6. Let q be h(-7). Let i = 20 + q. Is 7 a factor of i?
True
Let w(g) = -9*g**3 + 12*g**2 - g - 11. Let j(h) = 4*h**3 - 6*h**2 + h + 5. Let o(a) = 7*j(a) + 3*w(a). Is o(6) a multiple of 13?
True
Let u(w) = 0*w**2 + 2*w**2 + 2 - w**2. Is 3 a factor of u(-3)?
False
Let p = 6 + 12. Let b be (-4)/p + 29/9. Suppose 5*k - 6 = j, 2*k = -b*j + 5*j - 4. Does 4 divide j?
True
Suppose -l - 2*x + 5*x = 4, -4*x + 12 = 2*l. Does 6 divide (l + (-6)/2)*-11?
False
Is 12 a factor of (36/7)/(9/63)?
True
Suppose 3*b - 5 = 10. Suppose -3*x - 46 = -b*x. Let n = x - 10. Is 5 a factor of n?
False
Suppose d = 34 + 112. Suppose -c + 44 = -g + 3*g, -4*c - 2*g = -d. Is c a multiple of 13?
False
Suppose -5*r - 4*h + 12 = -2*h, 4*r - 8 = -2*h. Let c(y) = -1 - 4*y + 5*y**2 - y**3 + 0 + r. Is 6 a factor of c(3)?
False
Let b = 2 + -8. Let o(u) = -3*u - 3. Let t be o(b). Suppose h + 2*h = t. Does 3 divide h?
False
Suppose 3 = 2*w - 5. Is w even?
True
Suppose 17*b + 24 = 18*b. Is b a multiple of 6?
True
Is 15 a factor of 14/2*1560/91?
True
Let y(f) = 3*f**2 + 14*f - 6. Let i be y(-11). Suppose -2*c - 5 + 15 = 0, 3*q - 2*c - i = 0. Does 22 divide q?
False
Suppose w + 2*g - 7*g = -12, 4*w + 4*g - 72 = 0. Suppose 0 = -2*r + 93 + w. Is r a multiple of 18?
False
Let d(x) = x + 4. Let f be d(0). Suppose 2*u + 2 = -f*o - 10, u + 18 = -5*o. Suppose 24 + 48 = u*k. Is k a multiple of 13?
False
Suppose -7*v - 400 = -2*v. Let r = -418 - v. Is 10 a factor of 6/27 + r/(-18)?
False
Suppose h + h = 92. Let y = h - 66. Is 2/(-3) - y/3 even?
True
Let o(a) = 7*a**2 - 4*a - 2. Let z(j) = -6*j - 1 - j + 6*j**2 + 3*j. Let x(f) = -3*o(f) + 4*z(f). Is 17 a factor of x(3)?
True
Let l(s) = -4*s**3 - 2*s**2 + 3*s + 3. Let f be l(-2). Let h = 51 - f. Does 15 divide h?
True
Suppose -2*r = -7 + 1. Let i = -6 + r. Let v = 9 + i. Is v a multiple of 5?
False
Let k = -29 - -16. Let z = -5 - k. Is z a multiple of 8?
True
Let w(i) = -5 + 2*i**2 - i**3 - 6*i**2 - 5*i**2 - i. Let y be w(-9). Suppose 0 = -y*g + 2*k + 26, 4*g - g - 2*k - 21 = 0. Does 5 divide g?
True
Let t be 13*(5 + -2 + -2). Suppose -5*q = 2*v - 192 - t, 0 = -2*v + 10. Suppose 4*k = k + l + q, 4*k = -2*l + 62. Is k a multiple of 5?
False
Let i(s) = s + 8. Let b be i(-6). Let f(l) = l**3 + 2*l**2 + 2. Does 18 divide f(b)?
True
Let o(r) be the first derivative of -5*r**4/24 + r**3/3 + r**2/2 + 1. Let b(q) be the second derivative of o(q). Is 12 a factor of b(-2)?
True
Let j(q) = 24*q + 5. Let a be j(6). Suppose -o + 5 = -3*m - 18, -5*o - 2*m + a = 0. Does 10 divide o?
False
Let h = -10 - -40. Does 5 divide h?
True
Suppose 17 + 23 = n. Is n a multiple of 10?
True
Let i(a) = a**2 - 3*a - 4. Let s be i(4). Let y(p) = -p**2 - 4*p. Let t be y(-3). Suppose s = -l - t*l + 176. Is l a multiple of 22?
True
Let q = 0 + 3. Let p = 1 + q. Suppose -p*o - 4 = 0, -2*s + 2 + 8 = 2*o. Is 3 a factor of s?
True
Let c = 504 - 196. Is 77 a factor of c?
True
Suppose 2*t + 5 - 11 = 0, 2*t - 6 = -n. Let p(o) = o + 5. Let l be p(n). Suppose 5*v - 2*v = -c + 5, -c = 2*v - l. Is c a multiple of 2?
False
Suppose -3*n - 9 = 0, b + n - 4*n = 2. Does 13 divide (-1 + b)/((-6)/27)?
False
Suppose 2*s - w - 5 = 3, -s + 4 = -5*w. Suppose 0*h - 42 = -2*h. Suppose -m = -s*m + h. Is m a multiple of 7?
True
Let y(w) = w**3 + 5*w**2 - w - 3. Suppose 0 = l + 1, 3*b = 2*l - 4*l - 14. Let j be y(b). Let g = 27 - j. Is 10 a factor of g?
True
Suppose 0 = 3*v - f - 96, -128 = -4*v - 3*f - 0*f. Is v a multiple of 32?
True
Suppose -4*l + 177 = -l. Let a = 85 - l. Is 13 a factor of a?
True
Let l = 59 - 56. Is 3 a factor of l?
True
Let v(m) = -3 + 3*m - 3*m**2 + 7*m**2 + 7 + m**3. Let h be v(-3). Is 7 a factor of h/6 - (-146)/6?
False
Let r(g) = -11*g + 17. Let u be r(12). Let m = 196 + u. Is m a multiple of 27?
True
Let g = -8 - -10. Let d be (-6)/(-4)*g/(-3). Does 6 divide (1 + d - 3) + 11?
False
Suppose -3*a + 24 = -7*a. Let q = 25 - a. Is 13 a factor of q?
False
Let o(z) = z + 1. Let u(s) = -5*s - 10. Let b(d) = 6*o(d) + u(d). Let j be b(6). Does 7 divide (14/(-8))/(j/(-16))?
True
Let w be 0 - (2 + 1 + -2). Does 22 divide 3 + 2*(-31)/w?
False
Suppose 90 = 5*x - 2*o, -5*o - 33 = -3*x - 8*o. Is x a multiple of 2?
True
Let j(i) = -i**2 - 6*i + 8. Let f be j(-7). Does 13 divide f/(-1) + (-28)/(-2)?
True
Suppose -168 = -6*w + 3*w. Does 13 divide w?
False
Let i(t) = -24*t - 6. Is i(-2) a multiple of 10?
False
Suppose 3*c = m - 24, -2*c = -4*m + 6*m - 80. Is m a multiple of 12?
True
Suppose -15 = 5*a, 5 = -0*z - z - 3*a. Let k = z + -7. Is (6/4)/(k/(-28)) a multiple of 5?
False
Suppose -5*v + 3*x + 50 = -125, 4*x + 170 = 5*v. Is v a multiple of 5?
False
Let o(b) = 11*b - 2. Let y(j) = j. Let h(f) = 3*o(f) - 24*y(f). Is 10 a factor of h(3)?
False
Let s(t) = -t**2 + 11*t + 9. Let w(f) = -f**3 + f**2 + f + 8. Let g be w(0). Let h be -2 + 3 + (g - -1). Does 14 divide s(h)?
False
Suppose -9*d - 120 = -17*d. Does 3 divide d?
True
Suppose -148 = -3*t + 47. Is t a multiple of 13?
True
Is 13 a factor of ((-16)/40)/(2/(-320))?
False
Let d be -3 + 5 + 2 + -2. Suppose 96 = 2*z + d*z. Is z a multiple of 11?
False
Let v(q) = -1. Let l(i) = -3*i - 4*i + 5*i - 3. Let o(j) = -l(j) - 3*v(j). Is 10 a factor of o(7)?
True
Let s(p) = -p**3 - 9*p**2 + 15*p + 13. Is 18 a factor of s(-11)?
True
Let b be (12/(-18))/((-2)/(-93)). Suppose 0 = 5*z + 5*t - 240, -3*z + 141 = -t + 5*t. Let h = z + b. Does 10 divide h?
True
Let m(k) = -k**3 - k**2 - 15. Is 23 a factor of m(-4)?
False
Let k = -7 + 21. Suppose 0 = m - 0*m - k. Suppose 0 = -d + 4*i - m, 3*d + 3*i = -d + 39. Does 2 divide d?
True
Let a(j) = 9*j**2 + j - 1. Let o be a(3). Suppose w = 5*m + 91, -2*w + o = 3*m - 73. Does 27 divide w?
True
Let u(r) = -r + 1. Let a be u(-1). Suppose -2*y + 44 = 4*c, -20 = -4*c + 6*y - 2*y. Suppose d = -a + c. Is 3 a factor of d?
False
Let c(i) be the first derivative of -i**3/3 - 5*i**2/2 - 2*i - 1. Let u be c(-4). Suppose 0 = -2*j + 12 + u. Is 3 a factor of j?
False
Suppose 5*l = -4*i + 3