39. Let p be u(-12). Let x(q) be the first derivative of -q**4/4 - q**3/3 + 2*q**2 + q - 1. Is 7 a factor of x(p)?
True
Is 17 a factor of 34/(0 + 3 + -2)?
True
Suppose -5*h = -2*u - 13, 0 = -3*h - 4*u + 7*u + 15. Is 14 a factor of 29 + -1 + h + -1?
True
Is 27/12 - 18/(-24) a multiple of 2?
False
Let b = 76 - 54. Is 4 a factor of b?
False
Let t(w) = w + 11. Let n be t(-8). Suppose -43 = -4*v - l, -n*v - v + l + 53 = 0. Is 11 a factor of v?
False
Let x be 32/(-20)*10/(-4). Suppose 0 = -2*z + 4*j - x, 4*j = -3*z + 3*j + 8. Suppose u - 33 = -z*u. Does 10 divide u?
False
Let s = -96 + 149. Is 32 a factor of s?
False
Let d = -420 + 925. Is d a multiple of 15?
False
Suppose i + 760 = 5*q, -5*i + 6 = -4*q + 614. Suppose 3*o - q = -35. Suppose -5*s - 19 + 4 = -5*a, 3*a - o = -3*s. Does 4 divide a?
True
Let n(p) = -19*p + 1. Let k(v) = -9*v. Let d(r) = 14*k(r) - 6*n(r). Let h be d(-5). Suppose 0*o - 3*o + h = 0. Is o a multiple of 7?
False
Let d(j) be the third derivative of 11*j**6/60 + j**4/24 - j**3/6 + j**2. Is d(1) a multiple of 12?
False
Suppose -4*u + 2 = -26. Let p(m) = m**2 - m - 17. Is p(u) a multiple of 16?
False
Let k = 19 - 3. Does 13 divide (k/10)/((-14)/(-455))?
True
Suppose -29 = -3*b - 8. Suppose -306 = 4*j - b*j. Is 27 a factor of j?
False
Let x(r) = -r + 8. Let q be x(6). Suppose q*b + 88 = 4*b. Is b a multiple of 22?
True
Suppose -2*c = 1 - 3. Let s(j) = 6*j**2 + c + j**2 + 0. Does 16 divide s(-2)?
False
Let c(u) = 2*u**2 + u + 1. Let d be c(-1). Suppose -116 = -d*j - 26. Is 17 a factor of j?
False
Suppose 3*b + c - 213 = -3*c, -c = b - 71. Let j = 34 - b. Let y = j + 58. Is 21 a factor of y?
True
Let g(w) = -4*w**3 - w**2 + 4*w + 2. Is 3 a factor of g(-2)?
False
Let t be 5 - 3 - 2 - -32. Does 15 divide (20/(-3))/(t/(-240))?
False
Let s(m) = -26*m - 1. Let b be s(-2). Suppose 20 = 3*u - 2*i - b, -5*u = 3*i - 131. Is 7 a factor of u?
False
Let f be (-1 - -82*1)*-1. Let u = -48 - f. Is 15 a factor of u?
False
Suppose 3*y = 5*y - 8. Suppose -5*k + 6*o = 2*o - 123, 0 = -y*o - 8. Is k a multiple of 19?
False
Let p be (-2 - (-12)/9)*3. Let y = -8 - -21. Let z = y - p. Is z a multiple of 5?
True
Let i(x) = -x**2 + 7*x - 5. Let c be i(5). Suppose -2 = o - c*r, -2*r - 8 = -2*o - 4*r. Suppose -o*j - 16 + 85 = 0. Does 12 divide j?
False
Let i = 2 - -12. Suppose 4*z - 2 = i. Is z even?
True
Suppose 4*o = -57 + 681. Does 12 divide o?
True
Let p = -51 + 103. Does 18 divide p?
False
Suppose 5*y = 10*y - 180. Is y a multiple of 6?
True
Suppose -4*y + 19 = -i, -4*y + 2*i + 13 = -y. Is 2 a factor of y*1 - (-12)/(-6)?
False
Let u be 26/(-6) + 3/9. Let i be 2/u + 10/4. Suppose o + i*o - 147 = 0. Does 24 divide o?
False
Suppose -4*o = -3*y + 100, -18 - 7 = -5*o. Does 11 divide y?
False
Is (86/(-8))/(8/(-32)) a multiple of 13?
False
Suppose -2*l = -l + 70. Let b = l - -98. Does 7 divide b?
True
Let d(r) = 2*r**3 - 6*r**2 + 6*r + 8. Let w(f) = -3*f**3 + 6*f**2 - 7*f - 8. Let t(a) = -4*d(a) - 3*w(a). Does 4 divide t(-6)?
False
Let b = 77 + -5. Is b a multiple of 12?
True
Let g = 2 + 0. Suppose 4*r + q = 52, r = g*r + 4*q + 2. Does 3 divide r?
False
Suppose -42 = -3*i - 3*k, 0 = 5*i - 0*k - 5*k - 50. Suppose -q = 3*z - i, -2*q + 64 = -3*z + z. Is 14 a factor of q?
False
Let x(i) be the second derivative of i**4/6 + i**3/3 + 2*i**2 + i. Suppose -1 - 2 = -h. Is 10 a factor of x(h)?
False
Suppose 0*h = -h + 3*k + 11, -3*k = -2*h + 16. Suppose -24 = -7*w + 4*w - 4*i, h*i - 40 = -5*w. Is w a multiple of 8?
True
Let a(g) = g + g**2 - 2 - 2*g - 2*g + g**3. Let y be a(-2). Suppose -b + 3 = -y*b. Is b a multiple of 2?
False
Let y = 60 - 34. Let g = y + -12. Does 4 divide g?
False
Let p = 13 + 0. Is 2 a factor of p?
False
Let p = -18 + 54. Is 9 a factor of p?
True
Let x(m) = -5*m - 5. Does 15 divide x(-10)?
True
Is 40 a factor of 408/(-85)*25/(-1)?
True
Let a(y) = 43*y - 9. Does 13 divide a(4)?
False
Suppose 0 = 5*t - 4*t + 50. Let j be 3/(6/(-20) - 0). Is 540/t*j/4 a multiple of 27?
True
Let z(y) = -y**2 + 7*y. Let r be z(7). Let p be 0 + -1 + 2 + r. Suppose -3*s = 4*h + 11, 0 = -3*s - h + 5 - p. Is 2 a factor of s?
False
Let a = 5 - 11. Is 17 a factor of (3 + a + -95)/(-2)?
False
Suppose 3*x + 11 = s - 2*x, 2*s = -x. Is -2 - (0 + (s - 16)) a multiple of 4?
False
Let w = 67 - 45. Is w a multiple of 15?
False
Does 19 divide 444/20 - (-3)/(-15)?
False
Let v = 34 + 10. Is v a multiple of 37?
False
Let x(f) = 18*f**2 - 5*f + 1. Does 9 divide x(2)?
True
Is (-6)/(-6)*(-75)/(-3) a multiple of 9?
False
Suppose 4*j - 33 = 5*f - 10, 4*j - 5 = -f. Suppose -2*h + 70 - 12 = -2*w, -h + 4*w = -38. Suppose 2*g = 2*c + 2*c - 48, j*g + h = 2*c. Is 11 a factor of c?
True
Is 204/10 + 4/(-10) a multiple of 20?
True
Let i be (-16)/12*(-6)/4. Let d = -1 + i. Let x = d - -4. Is x even?
False
Suppose -q = -5*t - 3*q - 21, -6 = t + q. Let p = 3 + t. Suppose p*z + 3*z - 27 = 0. Does 5 divide z?
False
Suppose 12 = -4*k, 3*k = 5*h + 2*k - 18. Suppose -h*o + 5*o = -2*n + 102, -2*n = 2. Is 18 a factor of o?
False
Let d(i) = -i**2 - 11*i - 12. Does 8 divide d(-5)?
False
Is 7 a factor of ((-245)/(-14))/(2/4)?
True
Let p(v) = -4*v - 11. Let o be p(-5). Let i = o + -1. Is 8 a factor of i?
True
Let x(q) = q**3 + 7*q**2 - 2*q + 4. Let g = -4 + 4. Let s = -7 + g. Does 15 divide x(s)?
False
Let l(t) = t**3 - t**2 - t - 1. Let u(a) = -a**3 - a**2 - a. Let n(k) = l(k) - 2*u(k). Is n(2) a multiple of 16?
False
Let d = 81 + -54. Does 3 divide d?
True
Is (-9)/(-15) - (5 + 469/(-35)) even?
False
Let n(w) = -w**3 + 3*w**2 + 11*w + 3. Is n(5) a multiple of 8?
True
Let n(w) = -w**2 - 11*w + 6. Let p(k) = -k - 11. Let l be p(-5). Is n(l) a multiple of 18?
True
Let c = -19 - -18. Is 294/12 - c/(-2) a multiple of 9?
False
Suppose -6 = -5*n - 1. Suppose -n + 3 = 2*g. Let d(q) = 17*q - 1. Is d(g) a multiple of 8?
True
Suppose 0 = 9*f - 4*f - 275. Suppose -4*r - r + f = -3*n, 0 = 3*n - 15. Suppose -g + 4*z = -2*g + r, -z + 8 = g. Does 6 divide g?
True
Let z = -4 - -7. Suppose 2*l + 2 = 16. Let y = l + z. Is 7 a factor of y?
False
Let b(k) = k**3 + 4*k**2 + 3*k. Let u be ((-8)/20)/((-1)/(-5)). Let s be b(u). Suppose -s*g + 22 = 4*j, 0*g + 56 = 4*g + 2*j. Is 8 a factor of g?
False
Let y(a) = 7*a - 9. Is 11 a factor of y(5)?
False
Let v(l) = 4*l**3 + l**2 - 2*l + 1. Let j be v(1). Let y(o) be the second derivative of -o**5/20 + o**4/3 + o**3/2 - o**2 - o. Is y(j) a multiple of 4?
False
Let q(c) = -18*c - 1. Let y be q(-1). Suppose 2*k - 3 = y. Does 10 divide k?
True
Suppose -4*u = -3*f + 20, -3*f = 4*u + 2*f - 12. Let h be u + (1 - -1) + -8. Let z = 15 + h. Is 6 a factor of z?
False
Suppose 0*u = 3*u - 3. Let b = 10 + u. Does 11 divide b?
True
Suppose 0 = 2*y - 7*y + 30. Suppose -220 = -y*v + v. Does 15 divide v?
False
Suppose -51 = 2*p - 3*p - 4*q, 5*q - 15 = 0. Is p a multiple of 13?
True
Let p(b) = 12*b. Let d be p(1). Is 6 a factor of 2/4 - (-66)/d?
True
Let a = -3 + 18. Is a a multiple of 15?
True
Let k(o) = 2*o**2 - 10*o + 2. Does 15 divide k(7)?
True
Suppose 0 = -4*v - i + 3, -i + 3 + 0 = 0. Suppose 2*k + 4 - 40 = v. Is k a multiple of 11?
False
Suppose -56 = p - 5*p. Is 7 a factor of p?
True
Does 8 divide 135/7 - (-4)/(-14)?
False
Let z(c) = c**2 - c + 1. Let v = 12 - 7. Is 8 a factor of z(v)?
False
Let m(r) be the second derivative of -2*r**3/3 - 5*r**2 - 3*r. Let g be -1 - ((-2)/(-2) - -5). Does 14 divide m(g)?
False
Let u(z) = 4*z**2 - 8*z + 1. Does 4 divide u(-2)?
False
Let p be (3 + 1)*9/4. Let k = 0 + p. Is k a multiple of 5?
False
Is 77/(4*(28/16)/7) a multiple of 11?
True
Let i(z) = 25*z + 7. Is i(2) a multiple of 16?
False
Suppose -21 = 3*j - 15. Is 33 + (j - -2) - 2 a multiple of 24?
False
Is 4617/12 + 6 - (-3)/(-4) a multiple of 13?
True
Let w(n) = 2*n - 4. Let p be w(3). Suppose 5*j - 253 = -5*f + 97, 0 = -p*f + 4*j + 110. Is f a multiple of 15?
False
Suppose -5*h = -3*z - 4*h + 6, -3*z - 5*h + 6 = 0. Let t(g) = 2*g + 3. Let n be t(-9). Is 20*(z - (-24)/n) a multiple of 8?
True
Let x = -33 + -34. Let q = 103 + x. Is q a multiple of 12?
True
Suppose -4*x + 76 = -16. Is 11 a factor of x?
False
Let f = 3 - 12. Let z be 1*7 + (f - -6). Suppose 4*i + z*q - 40 = -i, 4*i = -q + 43. Is i a multiple of 12?
True
Suppose -r + 6 = -4*r. Let f(d) = 9*d**2 + d + 2. Is 11 a factor of f(r)?
False
Suppose 2*k = -k 