)?
False
Let a(j) be the second derivative of 2*j**3/3 - 3*j**2 + 3*j. Does 4 divide a(5)?
False
Let s = -3 - -6. Suppose -4*h = 5*g - 118, s*h + 2*g - 98 = 3*g. Does 16 divide h?
True
Does 10 divide (-704)/(-14) + ((-24)/21)/4?
True
Suppose 2*i = -2*i + 4*s + 24, s - 21 = -2*i. Is 6/i*3*1 even?
True
Let t = 0 - 3. Let o be ((-4)/t)/((-8)/(-12)). Suppose 3*x + 33 = 3*r, -o*x = 4*r - 9*r + 67. Does 15 divide r?
True
Let w(n) = -n**2 - 5*n + 3. Let a = 0 + -4. Is w(a) a multiple of 4?
False
Let l(f) = -3*f. Does 12 divide l(-19)?
False
Let y be (-5)/(-1 - 3/(-6)). Suppose 0 = -2*u + 8 + y. Does 8 divide u?
False
Let k be 2 - (3 + 0 + -1). Let b be 11 + -7 - k/(-2). Suppose -3*z + b*p = -26 - 7, 0 = -z + 3*p + 16. Does 2 divide z?
False
Let h = 9 + -6. Suppose h*n - 12 = -3*a, -4*a + 4*n - 8 = -7*a. Does 9 divide (-2)/a + (-135)/(-12)?
False
Let w = -9 + 5. Let j = w + 13. Is j a multiple of 8?
False
Let b(z) = z**2 + 5*z - 4. Let t be b(-4). Is 9 a factor of (180/t)/(-5)*6?
True
Let i be (-4 - -1) + 7 + 1. Let p(b) = 3*b - 6. Is p(i) a multiple of 5?
False
Suppose 5*h = 2*m - 65, m = -2*h + 12 + 7. Let d = 15 + m. Is 9 a factor of d?
False
Let i = 107 + -55. Let y = -25 + i. Is y a multiple of 9?
True
Let q = -80 - -55. Let h be 21/4 - 1/4. Is 7 a factor of ((-210)/q)/(2/h)?
True
Let y(h) = h + 17. Let k be y(-14). Suppose 4*j - 34 = z, j + 2*z = k*z + 7. Is j a multiple of 5?
False
Is 11 a factor of (-501)/(-15) + 10/(-25)?
True
Suppose -y - y = -78. Let m = y + -15. Does 12 divide m?
True
Is 12 a factor of 7/((-28)/(-240)) + 0?
True
Let h(g) = -4*g - 8. Let a = -7 - -25. Let j = a - 26. Is h(j) a multiple of 8?
True
Let v(l) = 7*l + 7. Let g be v(-3). Let i = -7 - g. Is 7 a factor of i?
True
Let s(t) = 4*t + 1 - 3*t - 2*t. Suppose -4*z = 7 + 17. Does 4 divide s(z)?
False
Let o = 21 - 34. Let i = -3 - o. Is 10 a factor of i?
True
Let d(q) = q**2 - q + 15. Is 32 a factor of d(12)?
False
Does 16 divide (30/(-9))/((-1)/48)?
True
Is 2 a factor of 2/9 - (-427)/63?
False
Let n be ((-13)/2)/(1/(-2)). Suppose 3*g = g - 3*b + 164, 2*b + 312 = 4*g. Suppose -2*o - n = -g. Is o a multiple of 10?
False
Let g be (0 - 1)/(1/(-4)). Suppose 3*t - 14 = g*c + 14, -3*t - 5*c + 19 = 0. Is t a multiple of 8?
True
Let i(p) = p**3 + 3*p**2 - 4*p - 3. Let v(s) be the third derivative of s**5/60 + 11*s**4/24 + 7*s**3/6 + 3*s**2. Let m be v(-10). Does 9 divide i(m)?
True
Let j(c) = c**3 + c**2 - 3*c - 1. Let m(a) = a + 1. Let y be m(3). Let o(q) = -q**3 + 3*q**2 + 5*q - 1. Let d be o(y). Is j(d) a multiple of 9?
False
Let a(y) = y**2 + 6*y + 8. Suppose 10 = -5*p, 5*q + 5*p + 65 = 20. Does 3 divide a(q)?
True
Suppose 4*c + 5*s = 221, -3*c - 2*s = -26 - 138. Does 22 divide c?
False
Let q(f) = -f**2 + 9*f + 13. Is 2 a factor of q(10)?
False
Suppose 19 = f + 2. Is 17 a factor of f?
True
Let f = 2 - -15. Does 5 divide f - (-2 + -2 + 1)?
True
Suppose 0 = 2*m + 10, -a + 2*a = 2*m + 52. Suppose 0 = -2*p + 32 + a. Does 19 divide p?
False
Suppose 0 = 3*g - 3*o + 288, g - o + 288 = -2*g. Let w = -68 - g. Is w a multiple of 14?
True
Let u be 2/4 + (-76)/(-8). Is 7 a factor of 212/u + 4/(-20)?
True
Let f(j) = 29*j**2 - 3*j. Let n be f(2). Suppose -n = -4*q - 6. Let u = q - 12. Is 14 a factor of u?
True
Suppose -2*c + 1 + 5 = 0. Suppose -3*x + 71 = x - 5*r, -x = c*r - 22. Is 17 a factor of x?
False
Suppose -7 = 2*c - 1. Let g = 5 + c. Suppose 5*w = 3*p - 13 + 138, g*p + 10 = 0. Is w a multiple of 11?
True
Suppose 24 = -7*r + 3*r. Let p(n) = -n**2 - 11*n - 2. Is 19 a factor of p(r)?
False
Let i = 21 + -7. Is 3 a factor of i?
False
Let u be 15/10*(-4)/(-3). Suppose 3*j + 93 = 5*s, u*s - 2*j = 12 + 26. Is 6 a factor of s?
True
Let a(b) = 2*b**3 + 2*b**2 - 8*b + 7. Is 15 a factor of a(4)?
True
Does 5 divide 15/6*144/20?
False
Let r(c) be the second derivative of c**5/20 - c**4/6 - c**3/2 + 3*c**2 + 3*c. Suppose 2*q = 4*j - 4, j + 1 = 4*q - 4*j. Does 20 divide r(q)?
False
Suppose -z = -6*z + 2*j + 2, -j - 1 = -3*z. Does 12 divide z - (-3)/3 - -11?
True
Suppose -12 + 2 = -5*m. Does 12 divide (-18)/(0 - 3/m)?
True
Suppose 0 = 4*g - 3*q - 20, g - 3*g + 10 = 4*q. Suppose d + 280 = g*d. Does 25 divide d?
False
Let d(j) = -2*j**2 + 2*j + 2. Let u be d(3). Let w(p) = 5*p**3 + 10*p**2 - 2*p. Let x(y) = -y**3. Let t(o) = w(o) + 4*x(o). Is 10 a factor of t(u)?
True
Let t = 155 - 50. Let r = t + -65. Suppose 153 = 4*q - 0*z + z, -q - 2*z + r = 0. Does 19 divide q?
True
Suppose 5*a + 3*v + 0*v = 907, 2*v - 366 = -2*a. Is 21 a factor of a?
False
Suppose g - 11 = 3*z, -g + 36 = 3*g - 4*z. Let q = g - 3. Does 3 divide q?
False
Let z(n) = n**3 + 1. Let l(d) = -5*d**3 - d**2 - 13. Let j(g) = -l(g) - 6*z(g). Is j(0) a multiple of 4?
False
Let z be (-48)/(-21) + (-4)/14. Suppose -3*h - 2 = -k - 0, -6 = z*h - 3*k. Is 5 a factor of 10/15*(h + 15)?
True
Let l(o) = -o - 1. Let i be l(1). Is (-75)/(-6) - i/(-4) a multiple of 5?
False
Suppose -k + 6*k - 3*b = -23, 2 = -k - 2*b. Let i be 52/9 + k/(-18). Suppose -5*q + 105 = 3*m - i*m, 3*q + 5*m = 29. Does 9 divide q?
True
Suppose 0 = 12*t - 8*t - 256. Is 16 a factor of t?
True
Suppose 4*t + 49 = -15. Is 12 a factor of (-180)/t - (-12)/16?
True
Let f = 197 - 32. Is f a multiple of 33?
True
Suppose 3*t + 25 = -2*n + 2*t, 0 = 4*n + t + 45. Let p = 77 - 55. Let v = p - n. Does 11 divide v?
False
Suppose n + 4 = 5*n. Let i(v) = 19*v + 0 + 1 + 0 - 2. Is 9 a factor of i(n)?
True
Suppose -5*t = 52 - 7. Let h be ((-222)/(-9))/(2/3). Let q = t + h. Does 12 divide q?
False
Let o(a) = 24*a**2 - 2. Is o(-3) a multiple of 12?
False
Let z = 233 - 65. Is 24 a factor of z?
True
Let h = 74 + -48. Does 3 divide h?
False
Does 8 divide (-18)/27 + (-181)/(-6)*4?
True
Let m(o) = o**2 - 9*o + 9. Let n be m(9). Let f(u) = 2*u**2 - 13*u - 2. Is 28 a factor of f(n)?
False
Does 43 divide 0 + (-3)/(-3) + 197?
False
Let d(y) = 7*y**2 + 48*y**3 - 7*y**2. Is d(1) a multiple of 12?
True
Let m(v) be the first derivative of 2*v**3/3 + v**2/2 - v - 1. Let f be m(3). Is 11 a factor of 225/f - 2/8?
True
Suppose 5*d = -0*d + 105. Is 3 a factor of d?
True
Let k(w) = 2*w**2 - 7. Does 8 divide k(-3)?
False
Suppose 3*r = -4*b - 255 + 87, -3*b - 5*r - 126 = 0. Let t be (2/(-4))/(3/b). Let k = t - 3. Does 4 divide k?
True
Let q(x) be the first derivative of x**3 + x - 1/2*x**2 + 3. Is q(-2) a multiple of 5?
True
Let u(y) = 2*y**2 + 10*y + 7. Let v be u(-6). Let f = -2 + v. Suppose -3*b = -56 + f. Does 7 divide b?
False
Suppose -3*m + 1 = -m - 3*w, -2 = -2*m + 4*w. Let n be -2 + m/((-3)/42). Let p = n - 5. Is 3 a factor of p?
False
Suppose 4*j - 2*q - 26 = 160, 94 = 2*j - 2*q. Let m(k) = -42*k - 1. Let s be m(-2). Let c = s - j. Does 19 divide c?
False
Suppose 0 = -5*b - 3*r + 36, b - 12 = -8*r + 5*r. Suppose 0 = 4*j - 5*o - 275, -o + b*o = -4*j + 325. Suppose -3*d = 2*d - j. Is d a multiple of 15?
True
Let w = -2 + 1. Let p(u) = -5*u**3 - 2*u**2 - u + 2. Let c(s) = -6*s**3 - 2*s**2 - s + 3. Let y(b) = -2*c(b) + 3*p(b). Is y(w) a multiple of 2?
True
Is 2 a factor of ((-6)/(-14))/((-6)/(-42))?
False
Let z(t) = -10*t - 7. Is 11 a factor of z(-4)?
True
Let g = -8 + 21. Is 5 a factor of g - -4*(-12)/16?
True
Let j(i) = 20*i - 6. Is 14 a factor of j(5)?
False
Suppose -31 = i - c, 2*i + 62 = -0*i + c. Let z = 76 + i. Suppose -3*b + 8*b = z. Is b a multiple of 7?
False
Suppose -7 - 3 = -5*y. Let t = y - -2. Suppose -t*q - 33 - 31 = -4*b, -2*q = 4. Does 5 divide b?
False
Let f(c) = -c**2 - 5*c - 4. Let u be f(-4). Suppose u = 2*h - h. Suppose 0 = 3*j - h*j, 0 = -4*t - j + 28. Is t a multiple of 7?
True
Let u be (-111)/9 - (-2)/6. Let x be u/(-2*(-6)/(-8)). Suppose 4*h + x = 0, -5*w + 3*h + 139 = 53. Does 8 divide w?
True
Suppose -6*q - 140 = -10*q. Is (-180)/q*(-14)/3 a multiple of 4?
True
Does 10 divide (143 + 27)/((-2)/(-2))?
True
Let p(l) = 6*l**3 + 2*l + 3. Let t be p(-2). Let j be 4/(-6) + (-169)/39. Is 18 a factor of (t/2)/(j/10)?
False
Let w(c) = -3*c. Let v be w(8). Is 16 a factor of (v - 1)*6/(-5)?
False
Suppose -4*q + 202 = d, -7*d - 2*q + 766 = -3*d. Is 38 a factor of d?
True
Let f(m) = m**2 + 5. Let d be f(0). Suppose 47 = -2*x + 5*x + 2*i, d = 5*i. Is x a multiple of 9?
False
Suppose 0 = 2*q + 4*g - 628, -4*q = -8*q - g + 1249. Is q a multiple of 13?
True
Suppose -4*n - 3*w + 5*w = -102, 2*n = -2*w +