?
True
Suppose 5*q + 25 = 80. Let f = q + -9. Suppose -f*y - 3*y = -105. Does 7 divide y?
True
Suppose -1 = -q + 2. Let t(x) = -5*x**2 + 9 - x**q - 5 + 0 + 2*x. Is 11 a factor of t(-6)?
False
Suppose -t - 3*t + 24 = -4*o, 16 = 3*t - 5*o. Is 2/t - (-48)/28 even?
True
Let q = 6 - 1. Let p(o) = -o**3 + 6*o**2 - 4*o. Let a be p(q). Let u(v) = 13*v - 6. Is u(a) a multiple of 15?
False
Suppose 22 = 4*u - 34. Let t = -11 + u. Suppose 2*v + 10 = 0, 4*k - t*v = -6*v + 49. Is 8 a factor of k?
True
Does 17 divide 2/14 - 1070/(-7)?
True
Suppose x = 5*f - x + 44, 3*f = -x - 22. Is 16 a factor of 6/4*-4*f?
True
Suppose -2*y + 4*m = -26, y + 4*m = 5*m + 14. Is y a multiple of 15?
True
Suppose 0 = 4*y - 195 - 25. Is 11 a factor of y?
True
Suppose 130 + 94 = 7*i. Does 4 divide i?
True
Let f(u) = -4*u**2 - u - 1. Let v be f(-1). Let n = v + 44. Is 11 a factor of n?
False
Suppose -2*y = -s - 105, -29 = -3*y + 2*s + 127. Does 15 divide y?
False
Let l = 25 - 16. Does 9 divide 187/l - 2/(-9)?
False
Let m be 4/6 + 2/(-3). Suppose -14 + 1 = -3*v - 5*d, v + d - 1 = m. Does 9 divide (v/6)/((-4)/54)?
True
Let v(s) = s**2 + 0 - 1 + 3 + s. Is 16 a factor of v(5)?
True
Suppose 0 = -j + 21 + 5. Is 9 a factor of j?
False
Let g = -13 - -13. Is 10 a factor of -2 + 0 - g - -20?
False
Let y(p) = -p**2 + 27*p + 4. Does 18 divide y(20)?
True
Is 5 a factor of (0/5 - 1) + 10?
False
Let z(q) = -77*q**3 - 1. Let k be z(-1). Let n = k - 54. Is n a multiple of 22?
True
Let s = 107 - -145. Suppose 0 = 4*y + 84 - s. Is 21 a factor of y?
True
Let n = 62 + -10. Suppose -2*x + n = -4. Is x a multiple of 28?
True
Suppose 0 = -4*k + 9*k - 265. Does 11 divide k?
False
Let z(s) = s**2 - 3*s + 3. Let l be z(-4). Suppose -3*j = 4*c + l, 2 + 7 = -2*c + 5*j. Let d(b) = -b**3 - 7*b**2 - b + 3. Does 6 divide d(c)?
False
Let p(c) = 4*c**2 - 5*c - 6. Let t be p(-3). Suppose 3*q - t = -2*n, 4*n + 2*q = 74 + 28. Does 9 divide n?
True
Let r be (-38)/(-2) + 7 + -10. Suppose 4*x = 2*s + 64, -s + 0*s = x - r. Does 16 divide x?
True
Let o(z) = 32*z**2 + z + 1. Let a be o(-1). Suppose -s + a = -6. Is 19 a factor of s?
True
Let a(v) = -14*v + 14. Is a(-4) a multiple of 7?
True
Let j be 6/15 - 26/(-10). Suppose -j*m = 5*v - 116, -4*m + 59 = -v - 65. Let z = m + -18. Is z a multiple of 9?
False
Let j(d) = 10*d**2. Suppose 2*c + 5*p = -1, 2*c - 2*p = -5*p + 1. Let i be c/(-5) + 14/10. Is j(i) a multiple of 5?
True
Is 9 a factor of (-1015)/(-49) - -6 - (-2)/7?
True
Is (3 + (-37)/3)*-9 a multiple of 14?
True
Let s = 10 - -118. Suppose -8*d + 4*f + s = -4*d, -d - 3*f = -20. Is d a multiple of 13?
False
Let z = 216 - -1. Let s = z - 150. Let y = s - 34. Is y a multiple of 15?
False
Suppose 2*a - 1 = 1, 3*a - 24 = -u. Is 21 a factor of u?
True
Let q = -7 + 13. Let o = q - -28. Is 15 a factor of o?
False
Let z = 5 + -3. Suppose 0*l + z*l + 52 = 4*u, -3*l - 98 = -2*u. Let j = -23 - l. Is 13 a factor of j?
True
Does 33 divide 2308/10 + 3 - (-1)/5?
False
Let p(k) = 67*k + 1. Is p(1) a multiple of 17?
True
Let m be 2 + 1/(-1) + -27. Suppose -2*b = -4*s + 40, 2*s - 1 = s. Let t = b - m. Is t a multiple of 8?
True
Let c(u) = 74*u. Is 5 a factor of c(1)?
False
Suppose -2*x + 58 = -14. Is 6 a factor of x?
True
Let v = 6 + -3. Suppose 5*m - 5*h + 10*h - 70 = 0, -v*m + 36 = h. Does 11 divide m?
True
Suppose j + 1 = -4. Is 211/4 - j/20 a multiple of 24?
False
Let n(o) be the first derivative of -o**4/2 - o**3 + 2*o**2 + 3*o + 1. Let v be -5 - 3*(-6)/9. Is n(v) a multiple of 8?
False
Let k(g) = g**3 + 9*g**2 + 6*g. Let x be k(-8). Suppose -1 = -2*v - 5*s, 5*v - 3*v + 2*s = x. Is v a multiple of 13?
True
Suppose -1 - 7 = -4*n. Suppose 3*j = -5*z + 59 + 4, 2*z - 42 = -n*j. Does 7 divide j?
True
Let j = 0 + -6. Let u be j/(-4)*4/(-6). Let y = u + 8. Does 4 divide y?
False
Suppose -3*n + 324 = 3*a, 3*n = -a + 125 + 209. Let b(l) = -l**2 + l + 17. Let t be b(0). Suppose 4*g + t - n = 0. Is 9 a factor of g?
False
Let p(z) be the second derivative of z**4/12 + z**3/6 + 13*z**2 + 2*z. Suppose -v + 5*l + 10 + 0 = 0, 4 = 2*v - 2*l. Does 13 divide p(v)?
True
Let n(l) = l**3 - 5*l**2 - 3*l - 3. Let j be n(6). Is 13 a factor of (-4)/(-5) + 348/j?
False
Suppose 2*y - 4*b = 294, -2*y - 5*b + 146 = -139. Is y a multiple of 29?
True
Is (-3646)/(-9) - 12/108 a multiple of 15?
True
Let h(t) = 8*t**2 - 6*t - 10. Does 12 divide h(-4)?
False
Suppose 4*f - f - 51 = 0. Let h = 19 + f. Is 11 a factor of h?
False
Suppose -4*j = -974 - 518. Is j a multiple of 50?
False
Let r be -18*-2*3/(-6). Let l = 35 + r. Let c = 39 - l. Does 11 divide c?
True
Let u(r) = -2*r. Let a be u(6). Does 14 divide (a/(-10))/((-9)/(-150))?
False
Does 10 divide ((-4)/(-10) + 82/(-30))*-18?
False
Let s = -8 - -15. Suppose -s + 1 = -2*c. Let w = c + 17. Is 10 a factor of w?
True
Suppose 6*d + 46 = 76. Is d a multiple of 3?
False
Let t = 495 - 105. Is t a multiple of 30?
True
Suppose -4*v = -2*q + 120, -3*v - 2*v = 3*q - 147. Is q a multiple of 26?
False
Let p(v) = 5*v - 20. Is 5 a factor of p(9)?
True
Suppose -4*v + 5*f + 812 = -0*f, 3*f + 408 = 2*v. Suppose k = 4*k - v. Does 18 divide k?
False
Let h(u) = 11*u**2 + 3*u + 4. Is h(-2) a multiple of 3?
True
Let b = 38 - -39. Is 6 a factor of b?
False
Let v(m) = -m**3 + 10*m**2 + 12*m - 6. Let s be v(11). Suppose 5*q + 25 = -s*d, 0 = -d + 3*d + 4*q + 16. Let b = d + 17. Does 15 divide b?
True
Suppose 8*l - 18 = 3*l + 2*d, d + 8 = 2*l. Let w be (-2)/l*1 - -1. Suppose 8 = -4*g, 3*g - 90 = -4*s - w*g. Does 12 divide s?
True
Let a be (-3)/(-4)*(-2 + -46). Suppose 27 = -2*g - 5*c, 0 = g + 4*g - c + 27. Let h = g - a. Is h a multiple of 15?
True
Let v(h) = -h**2 + 6*h - 2. Let p be v(4). Let g = p - 4. Is 12 a factor of (8/2)/(g/12)?
True
Let d be (-86)/(-8) + 3/12. Let w = d + -8. Is 4 a factor of (w/(-9))/(1/(-12))?
True
Is 7 a factor of 2/(2/(-42)*-3)?
True
Let v(c) be the second derivative of 2*c - 1/3*c**3 + 0 + 5/2*c**2. Does 7 divide v(-5)?
False
Let o(p) = -7*p**2 + p - 6. Let w(a) = a**2 - 1. Let i(r) = -o(r) + 6*w(r). Is i(1) a multiple of 11?
False
Suppose 44 = g - 28. Does 24 divide g?
True
Let i(m) = 0*m - 2*m**2 + 3*m**2 - m + 22. Let q be i(0). Suppose 5*w - 3 = q. Does 2 divide w?
False
Suppose 0 = w - 4*w + 72. Does 6 divide w?
True
Suppose 0 = -t - 4*n - 2, -2 - 9 = -4*t + 3*n. Suppose 5*f - 30 = t*f. Does 2 divide f/3*9/6?
False
Let x(s) = 16*s**2 + s + 1. Let r be 4/6 + 10/(-6). Let c be (3 + 2/(-1))/r. Does 7 divide x(c)?
False
Suppose -18 + 45 = x. Is x a multiple of 5?
False
Let r = 17 - 12. Suppose r*a = 5*v - 35, -v + 3*a + 0 = -3. Let x = v + 7. Is 14 a factor of x?
False
Is 7 a factor of ((-6)/10)/(6/(-210))?
True
Let f(d) be the second derivative of d**4/6 + d**3/6 + d**2/2 + d. Let b be f(-1). Suppose -r + z + 8 = -0*z, b*r + 2*z = 8. Is r a multiple of 4?
False
Let m(y) = 48*y**3 - 2*y**2 - 4*y + 5. Is 47 a factor of m(1)?
True
Let o be (-10)/40 + 194/8. Let l(a) = 2*a - 9. Let b be l(6). Suppose b*f - f + 5*g = 27, f - o = g. Does 13 divide f?
False
Let j(d) be the first derivative of d**7/840 - d**6/90 - d**5/15 + d**3/3 - 2. Let s(p) be the third derivative of j(p). Is 13 a factor of s(6)?
False
Is 27 a factor of (81/(-36))/((-3)/180)?
True
Suppose 0 = -d + 3*y + 14, d - 2*y - 2*y - 19 = 0. Is 880/48 + d/3 a multiple of 6?
True
Is 11 a factor of (-1312)/(-20) + 2/5?
True
Let r(a) = 13*a**2 + 15*a + 2. Let o be r(-6). Suppose -3*h + o = 2*h. Does 27 divide h?
False
Let s(h) = 4*h - 83. Is s(26) a multiple of 21?
True
Let n be ((-1)/(-3))/(10/3720). Suppose 0*y + 2*y - n = -2*s, s = -5*y + 54. Does 16 divide s?
True
Suppose -4*j - 10 = j. Let b be ((-5)/2)/(j/20). Suppose 2*q - b + 9 = 0. Does 8 divide q?
True
Let m(d) = -d + 1. Is m(-6) a multiple of 2?
False
Let l(w) = 16*w + 3. Let m be l(-3). Let i = 129 + m. Is i a multiple of 28?
True
Let v(l) = -l. Let c(d) = d**2 - 7*d + 4. Let n be c(5). Does 6 divide v(n)?
True
Suppose 5 = 5*i, 3*i - 9 = 2*w - 4*w. Suppose w*t - 26 + 8 = 0. Does 2 divide t?
True
Suppose 0 = 5*s + 4 - 24. Suppose 3*p = -s*d + 39 + 5, 0 = 5*d - 5*p - 20. Does 6 divide d?
False
Suppose -10*f - 650 + 3360 = 0. Does 13 divide f?
False
Suppose 6*d - 17 = 1. Does 5 divide 2 + -4 - (d - 20)?
True
Let h(m) = m**3 + 5*m**2 - 6*m + 6. Let j be h(-6). Suppose 2*p + 0 = j. Is p a multiple of 3?
