s o a multiple of 5?
True
Suppose 2*y - 3 = 325. Suppose -y + 62 = -2*d. Let u = d - 14. Does 14 divide u?
False
Let w(o) = 4*o + 3. Let f(c) = -8*c - 5. Let g(n) = 4*f(n) + 7*w(n). Let m = -6 - -3. Is g(m) a multiple of 7?
False
Does 3 divide 30/4*(-80)/(-50)?
True
Let a be ((-2)/(-4))/((-5)/(-50)). Let l(j) be the first derivative of j**3/3 + j**2/2 - 4*j - 1. Does 13 divide l(a)?
True
Let c = 6 + -3. Is 6 a factor of 2/(18/21)*c?
False
Let g = -36 - -22. Let w = g - -40. Is w a multiple of 9?
False
Let r(l) = -8*l**2 - 14 - l - l - 6*l**2 - l**3. Is 7 a factor of r(-14)?
True
Suppose 74 = -6*f + 218. Does 11 divide f?
False
Let y = -10 - -4. Let v = y + 4. Is 6 a factor of 2 - 1 - (v - 3)?
True
Let m(a) = a**3 - 4*a**2 - 3*a - 5. Let d be m(5). Suppose 115 = d*n - 3*b, -4*b + 129 = 4*n + b. Is n a multiple of 14?
False
Does 17 divide (-2)/((-2 - 1) + (-736)/(-248))?
False
Let s(t) = 27*t - 4. Is 29 a factor of s(2)?
False
Let j be 1/(2 + (-10)/6). Let i = -1 + j. Suppose -2*z - q = -59, -5*q - 1 - 40 = -i*z. Is 14 a factor of z?
True
Let l = -33 - -65. Is ((-4)/(-4))/2*l a multiple of 8?
True
Let f = -112 - -161. Is f a multiple of 7?
True
Suppose -345 = 2*o - 7*o. Is o a multiple of 12?
False
Suppose 0 = a - 1 - 71. Does 30 divide a?
False
Does 27 divide ((-12)/16)/(1/(-36))?
True
Let w(y) = -8*y + 46. Does 6 divide w(0)?
False
Suppose 3*p + 3*l - 126 = 0, -21 = -p - 3*l + 15. Does 15 divide p?
True
Suppose -w = 3*k - 469, -7*w - 309 = -2*k - 4*w. Is k a multiple of 13?
True
Let a(g) be the first derivative of -g**4/4 + 7*g**3/3 - 2*g**2 - 5*g + 2. Let i be a(5). Is 302/10 - 5/i a multiple of 13?
False
Let p = -80 - -142. Does 14 divide p?
False
Does 35 divide (-4)/((-24)/1466) - (-6)/9?
True
Let z = 5 - 3. Let v(g) = 0*g - 3*g**2 + 4*g**2 + 1 + 3*g + 3*g**z - g**3. Does 13 divide v(-2)?
False
Let h(u) = -u**2 + 21*u - 24. Is 8 a factor of h(12)?
False
Suppose 3*f + 30 = 3*y, 14 = 2*y + 3*f - 2*f. Does 5 divide y?
False
Suppose 2*m = 5*m + 3. Is 6 a factor of m/(-5) + 495/25?
False
Suppose 3*l = l. Let i = 2 - l. Suppose -5*w = -5*s + 130, -w + 34 = -i*s + 3*s. Does 13 divide s?
False
Let f(q) = q**2 + 1. Let m be f(2). Suppose -m*b + 2*b + 18 = 0. Does 3 divide b?
True
Let y(m) be the second derivative of m**3/3 + 40*m**2 - 2*m. Is y(0) a multiple of 16?
True
Let p(b) = -b**3 + 6*b**2 + 10*b - 5. Let z be p(7). Let r = z - 1. Is 13 a factor of r?
False
Let h = -33 + -39. Is 16 a factor of (h/(-3))/((-6)/(-8))?
True
Let l(q) = 4 + 2 - 7*q + 4*q**2 + 5*q. Is l(4) a multiple of 18?
False
Is (-2)/((-4)/30) + 1 a multiple of 9?
False
Suppose 198 = 2*y - 86. Suppose 0 = -5*d - 2*j + 5*j + y, 0 = 2*j + 8. Suppose d = 2*p - 6. Is 7 a factor of p?
False
Suppose 2*r - 50 = -3*l, l - 12 - 4 = -r. Is 8 a factor of l?
False
Let c be 4/10 + (-34)/10. Is 21 a factor of 128/6 - c/(-9)?
True
Let l(a) = 11*a**2 + a + 2. Suppose 2 = 4*q - 6. Does 13 divide l(q)?
False
Suppose -41 = -5*s + 364. Does 40 divide s?
False
Suppose -15*t + 13*t + 102 = 0. Is 19 a factor of t?
False
Does 33 divide -5 - (-4)/8*76?
True
Suppose -2*d + 0*x + 58 = -4*x, d - 31 = 3*x. Does 14 divide d?
False
Let t be (-3 - -3)/((-6)/(-3)). Suppose -3*m + 161 - 53 = t. Is m a multiple of 12?
True
Let k be 20/(-6)*12/10. Let y(q) = 1 - q**3 - 2 - 3*q - 4*q**2 + 0 + 2*q. Is y(k) a multiple of 3?
True
Suppose -5*r + 20 = 0, -m + 2*m + 3*r = 17. Suppose m*c = 3*x - 119 - 87, 4 = -c. Suppose x = 2*u + y, -24 - 16 = -u - 5*y. Is u a multiple of 15?
True
Suppose 0*h + 6 = 3*h. Is 16 a factor of -16*h/10*-10?
True
Let h(c) = c**3 + 11*c**2 + 11*c + 8. Let d be h(-10). Let s be 0/(-2) + (-10)/d. Suppose -2*w = x - 40, 0 = -s*w + 4*x + 3 + 71. Does 9 divide w?
True
Suppose -2*i + 2*y + 32 = -3*i, -4*i + 2*y = 148. Let o = -22 - -30. Is (4/(-3))/(o/i) a multiple of 6?
True
Suppose 4*n = -4*m, 5*m + 5*n = 4*m. Let p = m + 4. Is 2 a factor of p?
True
Suppose w - 8 = 4*q, 5*w + 2*q - 17 = -q. Suppose -4*g - 2 + 10 = 0, w*v = g + 126. Let n = v - -24. Is 19 a factor of n?
False
Let x be ((0 - -3) + 0)/1. Let b(f) = -f**2 - f - 1. Let z(v) = -4*v**2 - 4*v. Let o(d) = 3*b(d) - z(d). Does 9 divide o(x)?
True
Let q(i) = -7*i. Let v be -3 - (-1)/3*-3. Let b be q(v). Is ((-72)/28)/((-6)/b) a multiple of 6?
True
Suppose -4*f + 430 = 3*u - 48, 3*f - 356 = -u. Is 29 a factor of f?
False
Suppose h = -4*d + 305, 2*d = 7*d + 5*h - 385. Let y = d - 43. Is y a multiple of 13?
False
Suppose -5*y + 82 = -48. Is 4 a factor of 1 - (-2 - (y + -4))?
False
Let f(n) = -n**3 + 18*n**2 - 15*n + 24. Is 20 a factor of f(17)?
False
Suppose -39 = -2*k + 71. Is 12 a factor of k?
False
Let r(k) = 2*k**2 - 2*k - 2. Let i(v) = -v**2 - 1. Let q be i(1). Is r(q) a multiple of 5?
True
Suppose -2*m = 4 + 4, -3*m - 4 = 2*t. Suppose -v = g - 6, 0 = -t*v + 5*g + 9 + 15. Is 26 a factor of 76/3 - v/(-9)?
True
Suppose 4*b + r = -0*r - 23, -3*r = -3*b - 21. Does 7 divide 4/9*b*-6?
False
Suppose -2*j = -5*u - 54, -u - 207 + 26 = -5*j. Is j a multiple of 10?
False
Let w = -180 - -103. Let j = -26 - w. Does 13 divide j?
False
Let f(l) = -4*l - 2. Is 6 a factor of f(-2)?
True
Is 20 a factor of (15/(-4))/(2 - (-1288)/(-640))?
True
Let a be 190*4/(1 + 3). Suppose -5*s - 5*x = -a, -2*s + 3*x - 3 = -69. Is 18 a factor of s?
True
Let r = 25 - 13. Is r a multiple of 3?
True
Let r(z) be the first derivative of 22*z**3/3 + z - 3. Let a be r(-1). Does 8 divide 2*a/2 + -2?
False
Suppose 5*j - 740 = j. Is j a multiple of 47?
False
Let c be 6/30 + 1/(-5). Suppose c = -3*p - 7 - 5, 4*g + p = 0. Suppose -11 - 5 = -2*m + 3*z, -m - 2*z + g = 0. Is 2 a factor of m?
False
Suppose -t = -6 - 4. Does 5 divide t?
True
Let l(k) be the second derivative of k**5/20 - k**4/12 - k**3/6 - 2*k. Let g be l(2). Suppose -2*b + 25 = -x, 0 = 2*b - g*x + 6*x - 40. Does 8 divide b?
False
Let k(s) = -95*s + 1. Let t be k(-4). Let r = t + -251. Let h = -90 + r. Is h a multiple of 15?
False
Let y(m) = -2*m - 11. Let s be y(-10). Let l(g) = 13*g - 4 - s*g + 0. Is l(3) a multiple of 8?
True
Let u(d) = -d - 13. Let h be u(-7). Let a = 8 - h. Is a a multiple of 7?
True
Suppose 2*k - u - 5 = 5*k, -2*k + u = -5. Suppose k*x - 4*x - 84 = 0. Does 12 divide (-330)/x - (-2)/7?
False
Let m = -8 + 24. Suppose b - m = -b. Does 3 divide b?
False
Let f = -2 - 2. Let h = -2 - f. Suppose 6*z = h*z + 64. Does 8 divide z?
True
Let r(q) be the second derivative of -1/12*q**4 + 0 + 2*q + 0*q**2 - 7/6*q**3. Is r(-6) a multiple of 6?
True
Let z be 64/36 - 2/(-9). Suppose z*i - 7 = p, 4*p = 2*i - i. Suppose -i*n - 15 = -9*n. Is n a multiple of 2?
False
Let n(h) = h**3 - 9*h**2 + h - 6. Let f be n(9). Let w(j) = j**2 - j - 1. Let a be w(f). Suppose -3*v = -a*r + 94, -r + 12 = -2*v - 2*v. Does 10 divide r?
True
Let q be -2 + 0/2 - 214. Let o be q/(-1)*3/(-3). Is o/30*(-20)/6 a multiple of 12?
True
Let u(a) = 3*a**2 - 6*a + 7. Let f(s) = s**2 + s - 1. Suppose -6 = 4*g + 10. Let x(y) = g*f(y) + u(y). Does 11 divide x(-10)?
True
Let r be 0 - -2 - (54 - 0). Let s be 3/(((-30)/r)/5). Let b = s - 12. Does 7 divide b?
True
Let h(c) = c**3 + 10*c**2 + 10*c + 13. Let f be h(-9). Is (0 + 4/f)*14 a multiple of 10?
False
Let k = 22 + -13. Suppose -3*o = -k, -3*y + 4*o + 9 = -0*o. Is y a multiple of 4?
False
Suppose 0 = 2*x - 4. Let n(p) = 11*p. Is 22 a factor of n(x)?
True
Suppose 4*l = 7*l + 6. Let p be (-66)/3*3/l. Let u = p - 16. Is 10 a factor of u?
False
Let j(t) = -10*t**2 - 27*t + 10. Let i(n) = -3*n**2 - 9*n + 3. Let a(f) = 7*i(f) - 2*j(f). Is 7 a factor of a(-4)?
True
Is ((1125/(-20))/9)/((-1)/4) a multiple of 5?
True
Let o be 5 - (0 - 0 - -3). Suppose 22 = -o*x + 3*x. Is 22 a factor of x?
True
Is (2007/(-4))/(-3) + 6/8 a multiple of 20?
False
Let a(f) = 0 - 6 + 47*f + 3 + 5. Is a(2) a multiple of 32?
True
Let h(w) = w + 4. Let p be h(-4). Suppose 0 = -p*t + t - 12. Is t a multiple of 12?
True
Let a be -3 + 1 - (5 - 7). Suppose a*q - p = -5*q + 19, 0 = -4*q - 3*p. Suppose -90 = -q*x - 2*x. Is x a multiple of 7?
False
Let g be 4/(-10)*(0 + 5). Suppose 2*p + 5*k - 11 = 0, 0*p = -3*p + 5*k + 29. Let b = p - g. Does 5 divide b?
True
Suppose -3*y = y - 276. Is 15 a factor of y?
False
Suppose 4*n + 0*n - 20 = 0. Let j(i) = i - 5. Let t be j(n). Suppose t = -3*c + 3*h + 15, -5*c + 17 = -3*h - 14. Is 8 a factor of c?
