295. Suppose f + 3*b + 59 = 3*f, -i*b = -5*f + g. Is 17 a factor of f?
True
Suppose 0 = 2*o - 60 + 24. Suppose -5*h = -15, -4*c - 2*h + 0*h = -o. Does 3 divide c?
True
Let v(t) = 2*t - 3. Let b be v(3). Suppose -2*d = -107 - b. Suppose -d = -4*k - k. Is 7 a factor of k?
False
Let k(h) = h**3 - 4*h**2 + h - 1. Let u be k(4). Suppose 2*f - u*f = b - 6, -3*f = 2*b - 9. Is 8 a factor of b?
False
Suppose 0*h = -3*h + 27. Let r(w) = -w**3 + 10*w**2 - 7*w + 8. Is 13 a factor of r(h)?
True
Suppose -2 - 8 = 5*q. Let k = 32 - q. Is 17 a factor of 1/((-32)/k - -1)?
True
Suppose -2*q = -9*g + 13*g - 70, 75 = 4*q - 5*g. Is q a multiple of 5?
True
Suppose -32 - 145 = -3*j. Suppose -39 = -2*f + 3*v, -f = -4*f + 5*v + j. Is f a multiple of 6?
True
Let p(r) = 2*r + 1. Let t(d) = 4*d + 2. Let f(l) = 7*p(l) - 3*t(l). Is 6 a factor of f(7)?
False
Let s be ((-6)/(-4))/(2/4). Let v be (-4)/(-6) + (-328)/(-12). Suppose v = s*n - 8. Does 12 divide n?
True
Is 5 a factor of (30/(-8))/(3/(-12))?
True
Suppose -4*w + 60 = -w. Does 16 divide (w/(-15))/((-4)/138)?
False
Is ((-1)/(-2))/((-4)/(-88)) a multiple of 11?
True
Suppose 58 = 2*p - 3*z, 5*p - 3*z - 110 - 17 = 0. Is 23 a factor of p?
True
Let y(p) = 3*p**2 + 5*p - 2. Is 8 a factor of y(-4)?
False
Let u(w) = -w**2 - 12*w - 10. Does 8 divide u(-9)?
False
Let t be 4/(-6)*(0 + 66). Let l = -11 - t. Does 11 divide l?
True
Let l = 5 - 3. Suppose 3*j - l + 5 = 0, 4 = p - j. Suppose p*u = 16 + 23. Does 5 divide u?
False
Does 68 divide (0 - -120)*(-18)/(-9)?
False
Let o(n) = -n**2 + 6*n + 5. Let t be o(5). Suppose 0 = u - 3*u + t. Suppose 0 = -u*x + 5*d + 70, 0 = 5*x - d + 4*d - 102. Is 9 a factor of x?
True
Suppose -10 = -0*g - 5*g. Suppose 0 = 2*m + g*p - 8, -6*p = -4*p + 10. Suppose 3*k - m = 123. Is 16 a factor of k?
False
Let n(r) = -2*r + 3. Let f be n(-3). Suppose 65 = -f*b + 4*b. Does 13 divide b*(1/1 - 2)?
True
Suppose -3*g - 10 = -2*w + 8, w = 4*g + 19. Suppose -w*t - 17 = 46. Does 9 divide -1 + (t - -2)*-1?
True
Suppose -2*j + 2*c = -0*c - 20, 5*c = 4*j - 43. Let p = -3 + j. Is 4 a factor of p?
True
Let o(u) be the second derivative of -u**5/20 + 2*u**4/3 - 5*u**3/6 - 7*u. Is 6 a factor of o(7)?
False
Suppose i - 100 = 2*s, -i = s - 123 + 20. Is 20 a factor of i?
False
Suppose -5*d - 264 = -9*d. Is d a multiple of 14?
False
Suppose n + 4 = m, -3*m - n + 5*n + 7 = 0. Is 4 a factor of (-18)/(-15)*30/m?
True
Let x = -16 - -22. Is x a multiple of 2?
True
Let g(x) = -10*x - 4. Is 6 a factor of g(-4)?
True
Let o = -16 - 18. Let y = o - -12. Let u = -11 - y. Does 11 divide u?
True
Let a be 4/(-8)*(3 + -13). Is 10 a factor of 1 + a/(10/18)?
True
Is 7 a factor of 4 + (-1 - -8) - 4?
True
Let u(p) = 37*p**3 + p**2 - p + 1. Suppose -5*q - 3*w + 7 = -4, 11 = 3*q + 4*w. Is 19 a factor of u(q)?
True
Let d(o) = 4*o - 3 - 5*o + 1 - 7*o**2. Let k be d(2). Let q = 58 + k. Is q a multiple of 7?
False
Is 6 a factor of (-2 + 6/12)/(1/(-4))?
True
Suppose -b + 8*b - 2639 = 0. Is b a multiple of 43?
False
Let m(x) = 2*x**3 + 2*x**2 + 2. Is m(2) a multiple of 26?
True
Is ((-8)/(-12) - 2)*1*-90 a multiple of 12?
True
Let c = -69 - -108. Suppose 3*d = c - 12. Is 3 a factor of d?
True
Let f be ((-77)/(-3))/((-1)/3). Let q(s) = -2*s**3 + 8*s**2 + 4*s + 10. Let r be q(6). Let l = f - r. Is l a multiple of 13?
False
Suppose -t - n = -2*t + 10, 0 = 3*t - n - 26. Does 8 divide t?
True
Let h(n) = 14*n**2 - 4*n - 11. Is h(5) a multiple of 12?
False
Let y = 37 + -19. Does 4 divide y?
False
Let d = 4 + -2. Suppose -16 = -d*q + 16. Is q a multiple of 12?
False
Suppose 3*h + 3 = -3. Let l = 0 - h. Suppose -l*k + 52 = -12. Does 17 divide k?
False
Let h(c) = c + 1. Let p(v) = v - 1. Let r(j) = -h(j) + 3*p(j). Let o be r(3). Does 5 divide ((-3)/o)/((-9)/30)?
True
Suppose -16 = 3*s + 5. Let b = 13 + s. Let j = b + 16. Is 11 a factor of j?
True
Let b be 7/35 - 21/5. Let p(y) = -7*y**3. Let x be p(-1). Let u = x + b. Is u even?
False
Let r = 123 - 82. Is r a multiple of 2?
False
Let x be (6 - (-1)/(-1)) + -3. Let u(y) = 4*y + 2. Is 5 a factor of u(x)?
True
Let s be (-16)/20*(-235)/2. Suppose s = 5*i + 4*l, -l + 74 = 4*i + l. Is 10 a factor of i?
False
Suppose -v + 3*t + 7 = 0, -4*v + 11 = 2*t + 3*t. Is 5 a factor of 2/v + 54/12?
True
Suppose -w = -2*k - 3*w - 6, -2*w - 2 = k. Is 13 a factor of (-160)/(-6) + k/6?
True
Let u(r) = 2*r**2 - 3*r - 2. Suppose -2*w - 12 = -w - 3*n, -n = -w - 2. Is u(w) a multiple of 7?
True
Suppose -27*r + 296 = -23*r. Is r a multiple of 41?
False
Does 3 divide ((0 + 0)/4)/2 - -17?
False
Let p be (3/(1/1))/1. Let l be -1 + p - (0 + 1). Suppose k = -l + 9. Does 4 divide k?
True
Let r be -2 + 0 - (3 + 1). Is 26 a factor of ((-585)/20)/(r/16)?
True
Is (-1168)/(4/(-1)) - -4 a multiple of 17?
False
Let c = -1 + 1. Let v be (-19*20)/2*-1. Suppose 0 = -f - 5, c*f = 5*l - f - v. Does 14 divide l?
False
Let f(q) = 13*q**2 + 8*q - 27. Is f(4) a multiple of 15?
False
Let y = 13 + -7. Let j be (2 + 1)*8/y. Suppose 4*l = 2*g + 24, -l - g = j*g - 17. Is l a multiple of 5?
False
Suppose 5*v - 3*l = 460, 0*v - 4*l = -3*v + 265. Let k = v - 58. Is 14 a factor of k?
False
Suppose 130 + 6 = 4*i. Suppose 4*z - 38 = i. Is 18 a factor of z?
True
Let s be 3 - ((-1 - 0) + -2). Let l = 37 + s. Suppose -2*n + l = -35. Is n a multiple of 13?
True
Is 17 a factor of 81 + (1 - -1) - (3 + -5)?
True
Suppose 0 = -2*m - 2*k - 2, -13 = -5*m - 2*k + 3*k. Suppose -6*z + 152 = -m*z. Let r = z + 0. Is 19 a factor of r?
True
Is 4 + -1 + -4 - -40 a multiple of 12?
False
Let m(p) = -11 - p**3 - p**2 - p**2 - 8*p**2 - 12*p + 0. Is 8 a factor of m(-9)?
True
Suppose 0 = 7*f - 4*f. Suppose -45 = -3*t - f*t. Is t a multiple of 5?
True
Does 8 divide (-4)/(1 + 12/(-10))?
False
Let i(g) = 3*g**3 - g**2 + 1. Let y be i(1). Suppose -16 = y*d - 1. Does 7 divide (8/d)/((-4)/20)?
False
Suppose -2*g + 12 + 0 = 2*i, -g - 5*i + 18 = 0. Is (30 - (-2 + g)) + -3 a multiple of 26?
True
Suppose -5*h + 28 = -72. Let a = h + 3. Is 11 a factor of a?
False
Let q(c) = c**3 + 13*c**2 + 9*c - 2. Let x(w) = w**3 + 12*w**2 + 9*w - 3. Let j(r) = 4*q(r) - 5*x(r). Is 6 a factor of j(-7)?
False
Suppose 5*n - n + 108 = 0. Let m = -12 - n. Does 5 divide m?
True
Suppose b - 16 = 4*z, 3*b + 8 = -5*z - 12. Let s = 0 + b. Suppose c + c - 66 = s. Is c a multiple of 15?
False
Let t(k) = -k**3 - 11*k**2 + 9*k + 5. Does 31 divide t(-12)?
False
Let x(m) = 2*m**3 + 26*m**2 - m + 16. Does 29 divide x(-13)?
True
Is 4/(5*4/770) a multiple of 33?
False
Let m(y) be the second derivative of 37*y**5/120 - y**4/24 - y**3/3 + 3*y. Let u(f) be the second derivative of m(f). Is 18 a factor of u(1)?
True
Suppose -6*r + 39 = -5*r. Is 13 a factor of r?
True
Suppose g = 3*g - 4*h, 4*g = -4*h. Suppose g = -5*s + 249 + 81. Is s a multiple of 18?
False
Let r = 1378 + -813. Suppose 2*n + s = r, -s + 58 = -n + 348. Suppose 4*a + 21 = n. Is 26 a factor of a?
False
Let d be 42 + (5 - 3 - 2). Let w = 81 - d. Does 13 divide w?
True
Let w(z) = -2*z**2 + z - 1. Let n be w(3). Let c(j) = -j**3 - 4*j**2 - 1. Let t be c(-5). Let g = n + t. Does 7 divide g?
False
Does 11 divide (-1)/(((-3)/387)/((-3)/(-9)))?
False
Let s(b) = -7*b + 2. Suppose 0 = -u - 3*h + 30, -u + 3*h + 6 = -0*h. Let p be 1 + u/(-2 + -1). Is 13 a factor of s(p)?
False
Suppose -2*a - a - 135 = 0. Suppose 2*j = -j - 96. Let i = j - a. Is 6 a factor of i?
False
Suppose 2*j + 71 = 2*l - l, 2*l + 3*j = 163. Suppose 0 = a - 2*v - 14, -3*a - 5*v + l = -20. Does 5 divide a?
False
Suppose -a - 2*a = -66. Suppose 0*b = -2*b + a. Suppose -m + b = m - 3*t, -4*m = 2*t - 14. Is m a multiple of 2?
True
Let m = 7 - 7. Suppose m*f = 3*f. Suppose 5*g = 5*d - 35, -9 = -d + 2*g - f*g. Does 2 divide d?
False
Let s = 4 + -4. Suppose 7*i - 4*i - 30 = s. Is 5 a factor of i?
True
Let h(z) = z**3 + 12*z**2 - 14*z + 6. Let q(i) = -i**2. Let r(t) = -h(t) - 4*q(t). Is r(-10) a multiple of 14?
False
Let b be (-1)/((-12)/(-9))*12. Let x = 9 - b. Does 18 divide x?
True
Suppose 4*a = 8*a - 5*u - 60, -5*a + 2*u + 92 = 0. Does 3 divide a?
False
Suppose 0 = -0*x + 2*x - 60. Is x a multiple of 10?
True
Does 8 divide (-915)/9*12/(-10)?
False
Let j be (20 - 0) + (-5 - -3). Suppose -30 - j = -4*r. Does 6 divide r?
True
Suppose -3*z + 158 + 22 = 0. Is 15 a factor of z?
True
Is 480/12*(1/(-2) - -1) a multiple of 6?
Fa