 the first derivative of -d**3/3 - 5*d**2 - 4*d - 1. Let p(c) = -c**2 + 6*c - 2. Let i be p(7). Is 2 a factor of n(i)?
False
Suppose -3*o - 2 = 1. Let h(r) = -11*r**3 + r. Does 10 divide h(o)?
True
Suppose 745 = 5*r + 2*k, 6 = k + 1. Does 21 divide r?
True
Let j = 1 + -1. Suppose -l = 4*r - 1 - 9, 0 = -2*r - 3*l. Suppose j*d - 39 = -r*d. Does 13 divide d?
True
Suppose 0 = -5*w + 5*f + 215, 75 = 2*w - f - 11. Suppose 3*l - 2 + 55 = 2*o, -2*o + l = -w. Is o a multiple of 7?
False
Let p = 261 - 176. Let u = p + -121. Let b = u + 51. Does 7 divide b?
False
Suppose 4*y - p = 147, -3*y + 119 = 5*p + 26. Suppose y + 12 = 4*u. Does 4 divide u?
True
Suppose -3*g = g - 212. Is 9 a factor of g?
False
Let f(q) = -5*q**3 - 4*q**3 + 3*q - 3*q. Is f(-1) a multiple of 3?
True
Let u(z) = 14*z + 6. Is u(3) a multiple of 8?
True
Let j = 4 + 10. Let k be (8 - (1 - 2))*-1. Let m = k + j. Does 5 divide m?
True
Suppose 35 = -3*h + 4*h. Does 7 divide h?
True
Suppose -2*x - 6 = -4*x. Suppose -q - 80 = -5*q + x*p, 2*q - 4*p = 50. Is 11 a factor of q?
False
Let q(d) = d**3 - d**2 - 1. Let p(f) = 4*f**2 - 3*f - 1. Let l(h) = p(h) + q(h). Let s be l(-2). Suppose 0 = -2*m + 4 + s. Does 3 divide m?
True
Let n = 168 + 108. Does 19 divide n?
False
Suppose d - 73 = -h, -2*d + 79 = -3*h - 47. Is 5 a factor of d?
False
Suppose -2*o - 8 = -38. Let l = 12 - 17. Let q = o + l. Does 10 divide q?
True
Suppose -3*t + 8 = -2*t. Suppose 3*s - 2*i = 13, -5*i + 3 = -2*s + t. Suppose 3*y - 5*r + 45 = s*y, 0 = 5*y - 3*r - 97. Does 10 divide y?
True
Suppose 0 = -y - 3*n + 28, -3*n - 11 = y - 3*y. Does 3 divide y?
False
Suppose 4*v - 48 = -4*d, -3*v - v = -5*d - 21. Suppose 4*h = v + 47. Does 6 divide h?
False
Suppose l = -l + 10. Let v be 2 - l - (-1 + -18). Let x = 8 + v. Is 8 a factor of x?
True
Let p = -7 - -7. Suppose p = 4*v - 4*y - 76, 3*v - 80 = -2*v + 2*y. Is v a multiple of 14?
True
Let b = -23 - -30. Suppose -3*w = -5*u + 114, b = -5*u - 5*w + 137. Is u a multiple of 6?
True
Suppose -2*o - 250 = -5*i + 164, i = -5*o + 72. Suppose 2*m + 22 = 4*j + 106, 2*m = 2*j + i. Does 8 divide m?
True
Let v be 8/(-12)*210/(-4). Suppose z + v = 2*z. Is z a multiple of 29?
False
Let g(k) = 2*k - 1. Let l be g(2). Suppose 90 = l*a - 2*a. Let u = a - 62. Is 11 a factor of u?
False
Let i(f) = f**3 + 2*f**2 - f + 1. Let m be i(-2). Is 15 a factor of (-2)/(18/m)*-45?
True
Does 3 divide -1*3/(12/(-88))?
False
Let m(w) be the first derivative of -1 + 1/2*w**2 + w. Is m(3) a multiple of 4?
True
Let j = -7 - -17. Is 5 a factor of j?
True
Suppose 0 = k - 2*k. Suppose k = p + 3*p - 60. Is p a multiple of 5?
True
Is ((-106)/(-4))/(2/4) a multiple of 14?
False
Suppose 0 = 4*y - 2*y - 36. Suppose c + y = 3*c. Is c a multiple of 9?
True
Let b = -59 + 114. Is b a multiple of 7?
False
Is 13 a factor of (-4)/(-8) - (-214)/4?
False
Let p(m) = -11*m - 1. Let l be p(-1). Let q = l + 3. Is q a multiple of 13?
True
Let u(c) = 14*c + 18. Is u(5) a multiple of 28?
False
Suppose 0 = 4*r - r + 24. Is 9 a factor of r/(-20)*50/1?
False
Let z(c) = c**2 + c + 3. Suppose 2*w = -3*w + 20. Suppose -p = -0*p - w. Is z(p) a multiple of 16?
False
Let l(o) = o**3 + 7*o**2 + 4. Let m be l(-7). Let w be -1 - -1 - (-7 - -7). Suppose -49 = -4*t - d, 2*d + m - 14 = w. Does 11 divide t?
True
Is 28 a factor of (-6259)/(-77) - 4/14?
False
Let s(z) = -2*z - 4. Let h be s(-3). Suppose -2*u = -h, -44 = -g - 3*g + 4*u. Is g a multiple of 12?
True
Let f(t) = -t**3 - 9*t**2 - 10*t + 2. Suppose 2*b + 2 = 8. Let l be b*1*8/(-3). Is f(l) a multiple of 9?
True
Let g = -1 + 0. Is 4 a factor of 1 + g - (-7 - 2)?
False
Let y(c) = -c**3 - 11*c**2 - 10*c - 4. Let g be y(-10). Is 7 a factor of ((-112)/(-42))/(g/(-42))?
True
Let c be (-4)/6 + 51/9. Suppose -2*d - 12 = -c*d. Suppose 2*w - 6 = -w, k = d*w + 2. Is k a multiple of 9?
False
Let a(t) = -21*t - 3. Let c(k) = -k + 2. Let q be c(4). Is a(q) a multiple of 13?
True
Let g(j) = 15*j**2 + 3*j - 1. Let d be g(3). Suppose d = 4*u + 2*s + 3*s, 5*u + 2*s - 183 = 0. Is 17 a factor of u?
False
Let i(c) = -2*c**3 - 7*c**2 - 2*c + 4. Let m(b) = -b. Let v be m(5). Let o be i(v). Let s = o - 31. Is s a multiple of 24?
False
Suppose -n + 6*n + 4*d = 234, 0 = -4*n - d + 185. Does 6 divide n?
False
Suppose -2*i = 2*f, 3*f - 4*i + 11 = -3. Let v be 6 - 0 - (f + 5). Suppose v*t - 56 = t. Is 14 a factor of t?
True
Suppose -5*m - 8 = -3, -5*m - 7 = -2*n. Let c = 2 - n. Let s = c + 39. Is 14 a factor of s?
False
Let q(f) = 32*f - 1. Is 9 a factor of q(4)?
False
Let d(f) = -9*f**3 - 5*f**2 - f - 2. Let b = -30 - -28. Is d(b) a multiple of 9?
False
Let f be (0 - -1 - 0)/1. Let b = -10 - -14. Let u = b - f. Is u a multiple of 2?
False
Let o = -62 + 125. Is o a multiple of 33?
False
Let i(q) = 27*q + 69. Does 13 divide i(9)?
True
Let k(u) = u**3 - 5*u**2 + 2*u + 14. Is 12 a factor of k(5)?
True
Let b(i) = i**3 - i**2 - 5*i + 2. Let g be b(3). Suppose -g*l + 45 = 5*y, 0*y = 2*l + y - 16. Suppose 0 = -t + 3*c + 13, -t + 4 = -2*c - l. Is 3 a factor of t?
False
Suppose -4*i = 6*x - 4*x + 14, 4*i - 46 = 2*x. Let r = x - -45. Is r a multiple of 10?
True
Suppose 0 = -3*d - 3. Let l(u) = -u**2 + 5*u + 8. Let s be l(6). Is 15 a factor of (-3)/(d - s)*15?
True
Let t = 2 - -2. Let y(n) = 14*n - 2. Let u be y(t). Suppose 4*s = -10 + u. Is 6 a factor of s?
False
Suppose -5*c - 4*l + 10 = 0, 3*l = -5*c + l. Let h = c - 15. Let d = -10 - h. Is d a multiple of 7?
True
Let l(o) = 46*o - 7. Let a = -2 - -9. Let t be l(a). Is t/28 - (-1)/(-4) a multiple of 5?
False
Let n(j) = j**2 - 3*j + 4. Let p be n(4). Is 18/(p/4)*1 a multiple of 8?
False
Suppose 3*q = 8 - 2. Let d = 4 - q. Is 22 a factor of -11*(-1 + (d - 3))?
True
Let w(y) = y**2 - 4*y. Let h be w(2). Does 9 divide 3/(1 + h) - -14?
False
Let d be (-3 - -4) + (-38)/(-2). Let f = d + -1. Is 15 a factor of f?
False
Suppose -f + 35 = -6*f. Let q = 21 + f. Does 7 divide q?
True
Suppose 0 = 3*h - 16 - 65. Is 1 + h + -1 + -3 a multiple of 11?
False
Let s = -25 + -7. Let m = -22 - s. Does 5 divide m?
True
Let d = -51 - -53. Does 2 divide d?
True
Let c(g) = 3*g**3 + 6*g**2 + 3*g - 2. Let b(n) = -4*n**3 - 7*n**2 - 4*n + 2. Let f(v) = 4*b(v) + 5*c(v). Let u be f(3). Is (-7)/2*24/u a multiple of 6?
True
Let c(k) be the third derivative of -13*k**6/120 + k**5/60 - k**4/24 - k**3/6 + 2*k**2. Let p be c(-2). Let i = p + -77. Does 16 divide i?
True
Let y be 6/(-4)*16/(-6). Let c be (2/y)/((-4)/(-24)). Let b(a) = 8*a - 2. Is b(c) a multiple of 11?
True
Let g(x) = x**2 - 5. Suppose 0 = -2*n - 0 - 8. Is 3 a factor of g(n)?
False
Suppose -2*a + 34 = -30. Is 8 a factor of a?
True
Let p(d) = -d**2 - 5*d - 2. Let c be p(-4). Let b be 2/c + -3 + -2. Does 11 divide (-115)/b - 6/8?
False
Let c(x) = x**2 - 7*x - 3. Let o be c(8). Suppose 0 = -2*q + 3*k + 12, -k - 4*k = -o*q + 40. Is 6 a factor of q?
True
Let j(x) = -x**2 - 2*x + 10. Let n be j(-7). Let w(t) = -t**3 + 16*t**2 + 15*t - 5. Let q be w(17). Let v = n - q. Is v a multiple of 10?
False
Let b = 33 + -107. Is 24 a factor of ((-20)/(-8))/(-5)*b?
False
Is 29 a factor of ((-22)/4)/((-2)/48)?
False
Suppose 0 = -3*y - 2*y. Suppose -2*j + 4*j - 68 = y. Suppose 59 = 2*s - 5*p, 2*s = -p - 5 + j. Is s a multiple of 9?
False
Let w(n) = -n**2 - 2*n + 9. Let g be w(-4). Is (36 + g)*(-3 + 4) a multiple of 13?
False
Suppose -3*n - 14 = -2*t, -2*n = -4*t + n + 22. Suppose t*q - 2*q = 84. Does 16 divide q?
False
Let q(b) = -b**2 - 6*b - 3. Let l = 9 + -13. Is 5 a factor of q(l)?
True
Let h be -5 + (-1 + -1 - -5). Let p be (-2)/(-4) - (-11)/(-2). Let r = h - p. Is 3 a factor of r?
True
Let g(w) = -31*w. Let x be g(-4). Suppose -4*k = 5*u - 281, -x - 186 = -5*k + 2*u. Is k a multiple of 16?
True
Suppose -2*j = 4*u - 76, 3*u + 79 = 6*u - 4*j. Does 18 divide u?
False
Let w(y) = 5*y**3 - 3*y**2 + 1. Suppose 4*v = -2*c + 18, -3*v - 2*v + 5*c - 15 = 0. Is w(v) a multiple of 17?
False
Let h be (-1)/2 + (-4)/(-8). Suppose h = -0*q + 5*q - 20. Suppose o - q*o = -144. Is 20 a factor of o?
False
Suppose -7*x + 24 = -4*x. Is 4 a factor of x?
True
Let n = -7 - -9. Suppose -w + n*w = 29. Is 29 a factor of w?
True
Suppose l + 5 = 0, 4*h - 85 = -h + 2*l. Does 3 divide h?
True
Suppose -2*o + 77 = -99. Suppose 3*z - o = -5*q, -2*q - 36 = -z - 5*q. Suppose 3*p = 2*p + z. Is 21 a factor of 