+ r - 3). Let t = n + 7. Is 5 a factor of t?
True
Suppose -3*l + 17 = -22. Suppose 0 = 3*f - 5 - l. Is (4/f)/(2/15) a multiple of 2?
False
Suppose -3*b - 11 + 95 = 0. Is b a multiple of 14?
True
Let s(m) = -m**2 - 9*m + 12. Let b be s(-10). Is 15 a factor of (53/b)/(7/14)?
False
Suppose 11*d - 5*d = 894. Does 53 divide d?
False
Let d(a) = a + 6. Does 16 divide d(11)?
False
Let a(j) = -3*j + 2*j + j + 6*j**2 - 1. Is a(-2) a multiple of 23?
True
Let s(a) = -5*a - 36. Does 16 divide s(-20)?
True
Let j = 9 - 18. Let r be (-12)/(-66) + j/(-11). Is 7 a factor of r + (-2)/1 + 14?
False
Let m(c) = c**3 + c**2. Let q(h) = 6*h**3 + 15*h**2 + 8*h + 4. Let u be ((-2)/6)/((-3)/(-45)). Let n(x) = u*m(x) + q(x). Is 13 a factor of n(-9)?
True
Let m(x) be the second derivative of 0 + 1/6*x**3 + 1/2*x**2 - x. Is m(1) even?
True
Let m(b) = -11*b**2 + 3 - 4 - b + 24*b**2 + 3. Is m(2) a multiple of 13?
True
Let r(q) = 7*q + 1. Let t be r(2). Is 27 a factor of (110/t)/((-2)/(-30))?
False
Let s(x) = -2 - 9 + x**2 + x**3 + 12*x + 7*x**2 - 2*x**3. Is s(9) a multiple of 12?
False
Is -2 + -1 + 3 - 4 - -7 a multiple of 2?
False
Suppose -z + 4 = 0, 4*z - 3*z = 3*p - 425. Is 22 a factor of p?
False
Let z(w) be the first derivative of -w**5/20 - w**3/3 - 3. Let x(n) be the third derivative of z(n). Is x(-5) a multiple of 11?
False
Let n(t) = 1 + 1 + 0 + 3*t. Is n(5) a multiple of 6?
False
Let b(q) be the second derivative of 3*q**4/4 + 8*q. Let y = 1 - 2. Is 5 a factor of b(y)?
False
Let j be 1/(((-4)/5)/4). Let o(d) = -d**2 - 10*d - 2. Does 9 divide o(j)?
False
Suppose -5*w = -6*w + 174. Suppose -g - 3*s = -91, -2*g - w = -4*g - 4*s. Is 16 a factor of g?
False
Let f(y) = 2*y**2 + 4*y + 1. Let i be f(5). Let q = 98 - 146. Let c = i + q. Is 16 a factor of c?
False
Let v(j) = -24*j + 7. Does 26 divide v(-3)?
False
Let a(c) = c**2 + c. Is a(-5) a multiple of 12?
False
Suppose 4*c + 5*w + 22 = 1, -2*w = -c + 11. Let i(g) = 11*g - c + 8*g - 4*g. Is 6 a factor of i(1)?
False
Let x(q) = 8*q. Does 5 divide x(2)?
False
Suppose -3*w + l + 43 = w, 4*w = -4*l + 68. Let s be (0/(0 - -2))/(-1). Suppose s = 3*q - w, -5*q + 13 = u - 31. Is u a multiple of 12?
True
Let b = -36 - -22. Is 6 a factor of (12/b)/((-2)/28)?
True
Suppose -2*t - t - u = -119, -u - 76 = -2*t. Is 3 a factor of -2 + -2*t/(-6)?
False
Suppose -668 = -91*h + 87*h. Is 25 a factor of h?
False
Suppose -3*y + 49 - 7 = 0. Suppose j - y = -j. Suppose n = -m + 26, j = m - 2*n - 25. Is 12 a factor of m?
False
Let f = 179 + -44. Let r = f + -72. Suppose -2*s - r = -5*s. Is s a multiple of 12?
False
Suppose -5*c + 88 = 33. Let u be 2/(-8) + c/(-4). Is 7 a factor of u/(-9) + 20/3?
True
Suppose -s - 8 = -4*q, 3*s - 5*q = 2*s - 11. Suppose -5*x = -s*x. Suppose x*i + 2*i = 26. Is 7 a factor of i?
False
Suppose 0 = 4*n - 44 - 336. Let m(y) = y**2 - y. Let x be m(2). Suppose 0 = -x*j + n + 17. Is 28 a factor of j?
True
Suppose 0 = 3*t - 12 - 3. Let y(n) = -t + 3*n + 5 - 2. Is 10 a factor of y(4)?
True
Suppose 5*i - 246 = 129. Is i a multiple of 25?
True
Suppose 0 = -w - 0*u + 2*u + 8, 2*w = -4*u. Let b = -31 + 57. Let k = b + w. Does 12 divide k?
False
Let x(v) be the second derivative of -5/2*v**2 - v**3 + 0 - 1/12*v**4 - v. Is x(-4) a multiple of 3?
True
Is 11 a factor of (9*-2)/((-1)/2)?
False
Let g = -5 - -9. Suppose 0 = m - 5, 4 + 16 = g*t + 4*m. Suppose -80 = -4*b - 2*a, -5*b - 4*a + 88 + 15 = t. Does 7 divide b?
False
Let r(l) = 3*l**2 + 6*l - 3*l + 12 + 5*l - 2*l**2. Does 10 divide r(-10)?
False
Does 19 divide 72/(-18) - (-156 - 0)?
True
Suppose 783 - 118 = 7*b. Is b a multiple of 19?
True
Let t(f) be the third derivative of f**5/60 + 5*f**4/24 + f**3 + 4*f**2. Let k be t(-4). Suppose 5*d = -3*r + 126, -3*r - 56 = -k*d - 7*r. Is 12 a factor of d?
True
Suppose c - 124 = -3*p, 2*c + 372 = 5*c + 5*p. Does 31 divide c?
True
Suppose -i + 4*i = -15. Let u = i + 44. Let x = u + -20. Is 14 a factor of x?
False
Let n be (-82)/(-2) + -2 + 3. Suppose 2*j - 4*j + 5*q = -82, 0 = -2*j - 5*q + n. Is 13 a factor of j?
False
Suppose 12 = -4*o - 12. Let d = 13 + o. Is 7 a factor of d?
True
Suppose 0 = 3*z - 6*z + 399. Suppose 0 = i + 4*s - 29, z = -3*i + 7*i - s. Is 11 a factor of i?
True
Suppose -11 + 6 = 5*d. Is 18 a factor of 6 - -18 - (d + -1)?
False
Suppose -2*c - y = -6*c - 132, -4*c + 2*y = 136. Let h = 57 + c. Is 12 a factor of h?
False
Let o(n) be the first derivative of n**3/3 - 5*n**2/2 - 4*n + 3. Let x be o(6). Suppose -2*a + 4*z - 7 = -39, -20 = -x*a + z. Is a a multiple of 8?
True
Suppose 0 = -t - 2*t + 6. Does 15 divide ((-20)/25)/(t/(-110))?
False
Suppose -842 = 4*w + 2*o - 4*o, -1090 = 5*w + 5*o. Let q = w - -303. Suppose 9 = -3*j + q. Does 15 divide j?
False
Let x(i) = i**3 - 8*i**2 - 9*i - 3. Let s be x(9). Suppose 6 = -3*b + 6*b. Is 7 a factor of 2 + (b - (s - 0))?
True
Let w be 0/(-3) - -6 - 2. Suppose 3*u = w*u - 2. Suppose 0*r - 24 = -u*r. Is r a multiple of 6?
True
Suppose 3*r + k + 5 = 0, 0 = 3*r + 3*k + 10 + 5. Suppose u + 51 = -z, 3*z - u + 176 - 43 = r. Does 9 divide (-1)/(-2) + z/(-4)?
False
Let r = -6 - -11. Suppose r*i = -10, 11 - 39 = -5*y - i. Is 5 a factor of y?
False
Suppose 0 = -y + 25 - 9. Is y a multiple of 4?
True
Suppose -5*j = -2*j - 78. Suppose n = 2*v - j, -5*v + 3*n + 0*n = -66. Is 6 a factor of v?
True
Let f(x) be the third derivative of 7*x**5/60 - x**4/24 - x**3/6 + 4*x**2. Is f(-1) a multiple of 7?
True
Suppose -24 = -5*l + 3*l. Is 5 a factor of (18/l)/(2/12)?
False
Let u be -150 - (1 - (-1 + 2)). Is 6 a factor of (-1970)/u + (-4)/30?
False
Let h(y) = -y**2 + 8*y. Let b be h(6). Let m = b + -8. Suppose -m*n = -50 - 22. Does 9 divide n?
True
Suppose 5*d + b - 285 = -3*b, 4*d + b - 217 = 0. Does 22 divide d?
False
Let y(c) = c**2 + 3*c - 1. Let i be y(-5). Let t = i + -1. Does 8 divide t?
True
Let g(m) = m**2 + m - 1. Let l be g(2). Suppose l*t = t + 56. Is 14 a factor of t?
True
Suppose -3*c - 8 = -s, 0*c = 5*c + 10. Let r = 2 - s. Suppose r*d + d = 14. Is d a multiple of 14?
True
Suppose 5*m - 167 = -3*o, 5*o - 47 = -3*m + 50. Let y = m + -16. Is 16 a factor of y?
False
Let w = 5 + -8. Does 10 divide 6 + 16 - (w + 1)?
False
Is 41 + -2*(1/(-1))/(-1) a multiple of 3?
True
Let z be (0/(-2))/(3/(-3)). Let k(u) = u**2 + 66. Let o be k(z). Suppose -o = 4*a - 258. Does 24 divide a?
True
Suppose 3 = -w, 3*w - 15 = -2*j - j. Is 8 a factor of j?
True
Let i(g) = 4*g**3 - 5*g + 5*g**2 - 10 - 3*g**3 + 4. Suppose 2*f - f + 4 = 0. Is i(f) a multiple of 15?
True
Suppose -5*d + 4*n + 61 = 2*n, 62 = 4*d + 5*n. Suppose -19 = -4*o + d. Does 8 divide o?
True
Suppose x = 4 - 0. Suppose -3*i = 2*w + 56, 0*i = -3*w + x*i - 67. Let t = w - -37. Is 6 a factor of t?
True
Let g = 106 + -51. Is g a multiple of 9?
False
Suppose 610 = 3*t + 2*t. Suppose 4*a - 5*s = t + 29, -a - s = -49. Does 16 divide a?
False
Let h(u) = -u**2 - 15*u - 36. Does 10 divide h(-8)?
True
Let u(o) = -o + 1. Let p(z) = 6*z - 17. Let j(y) = p(y) + 4*u(y). Does 4 divide j(9)?
False
Suppose -t - 128 = -3*t. Does 14 divide t?
False
Does 11 divide 1/3*(113 + 1)/1?
False
Let h = -53 + 37. Let k = h + 40. Let s = 34 - k. Is 4 a factor of s?
False
Suppose -f + 1 = -59. Is 20 a factor of f?
True
Suppose -6*c + c - 3*u = -29, -3*c + 25 = -2*u. Suppose c*d = 2*d. Suppose -4*h = -d*h - 80. Does 10 divide h?
True
Let y be 276*(0 - (-3)/6). Suppose -5*m + 2 = -y. Is m a multiple of 5?
False
Does 11 divide ((-6)/(-9))/(1*(-6)/(-693))?
True
Let m be 4/16 + (-2)/8. Suppose -u - 2 + 8 = m. Suppose 0 = d - u - 17. Does 8 divide d?
False
Suppose t - 2*t = -67. Is t a multiple of 11?
False
Suppose -36 = -8*u + 2*u. Let d(h) = h**3 - 5*h**2 - 2*h + 13. Is d(u) a multiple of 9?
False
Let i(g) = -g**2 - 2*g + 6. Let q be i(-5). Let c = q - -29. Is c a multiple of 10?
True
Let m(u) = 145*u**2 - 1. Suppose -4*x - 4*l = -8, 0 = -x - l - 2*l + 8. Let h be m(x). Suppose 5*b - h = 51. Is b a multiple of 13?
True
Does 38 divide 0 + 1 - 454*1/(-2)?
True
Suppose 5*x - 411 - 249 = 0. Is 33 a factor of x?
True
Let t be 8/6*225/6. Let q be t - (0/(-3) - 1). Is 17 a factor of (0 - q/(-6))*4?
True
Let k be 6 + (-3 - -2) - 3. Suppose k*i = c - 27, 81 = 3*c + i + 2*i. Does 9 divide c?
True
Let i = -142 - -298. Suppose 2*f - i = t, -3*f + 6*f - t = 234. Does 26 divide f?
True
Let a(r) = -