-r**3 - 16*r**2 - 30*r - 18. Let g be d(-14). Is (-4 - (-1075)/g)*2 a multiple of 23?
True
Suppose 2*b + 15 = 5*b. Suppose 0 = b*n - n - 64. Let t = n + 6. Is 7 a factor of t?
False
Let t(r) = -6*r - 31. Let p be t(-14). Let h = p - 39. Does 7 divide h?
True
Suppose -21*a + 16*a + 55 = 0. Let v(j) = 9*j - 9. Does 15 divide v(a)?
True
Suppose -7344 = -58*l + 49*l. Does 71 divide l?
False
Let i(s) = s**2 + 3*s + 2. Suppose -2*y + 12 - 26 = 0. Does 10 divide i(y)?
True
Let y = -87 - -59. Let h be y*(-2 - 3/12). Suppose -4*r + h + 45 = 0. Is r a multiple of 9?
True
Let b(j) = 313*j - 23. Is 54 a factor of b(5)?
False
Is (168/4)/((-38)/(-475)) a multiple of 15?
True
Let r(j) = 28*j + 30*j - 13*j - 1. Let m be r(1). Suppose m = 3*h + h. Does 5 divide h?
False
Suppose -k + 7 = w, -2*w + 0*w + 4*k - 4 = 0. Suppose 0 = 6*t + w - 58. Does 2 divide t?
False
Suppose -5 = u - 3*n + 13, -5*n = -25. Let v be 24/(-18)*u/(-2). Does 8 divide 12*(v - 8/(-3))?
True
Suppose j + 1 = 0, j = 2*h - 3 + 4. Let o(g) = g - 1. Let y(b) = 12*b - 6. Let n(f) = h*y(f) + 4*o(f). Is n(-5) a multiple of 7?
True
Suppose 3*z = -364 - 800. Let p = z + 164. Is 4 a factor of (-3)/2*p/48?
False
Let a(h) be the third derivative of -h**6/12 - h**5/15 + h**4/24 + h**3/6 - 26*h**2 + 1. Let x be (-2 + 7)*2/(-5). Is 21 a factor of a(x)?
True
Suppose -4*w - 123 - 125 = 0. Let s be w/(-8) + 6/24. Does 10 divide s*(2 - 3/(-2))?
False
Let f = 1420 - 926. Does 26 divide f?
True
Let x(n) = -n**2 - 8*n + 1. Let z be x(-9). Is 5 a factor of -10*(-1 + z/4)?
True
Suppose 3 = -p + 7, 4*p = 5*o + 1. Suppose 2 - o = a, 4*a - 4 = -2*v. Suppose 0 = u + u - v. Is u a multiple of 2?
True
Let d be (-144)/(1*(-3)/12*-4). Suppose -2*s + u - 79 = 4*u, 0 = s + 2*u + 38. Let t = s - d. Is 25 a factor of t?
True
Let o = -3021 - -4301. Suppose -60*u + 64*u - o = 0. Is 24 a factor of u?
False
Let j(z) = z**3 - z**2 + 550. Let t be j(0). Let k = -270 + t. Is 28 a factor of k?
True
Let k = -55 - -55. Suppose -11*o + 933 + 145 = k. Does 21 divide o?
False
Let u be -2*(-453)/12 + (-1)/2. Let d = u + -33. Is d a multiple of 6?
True
Suppose b = h - 36 - 62, 212 = 2*h + 2*b. Is 6 a factor of h?
True
Let y(c) be the second derivative of 5*c**4/4 + c**2/2 + 5*c. Let j be y(1). Suppose j = 5*z - 99. Is 9 a factor of z?
False
Let b(u) = 40*u. Let o be b(2). Suppose -16 = -2*q - 8. Suppose -o = -q*k - 0*k. Is k a multiple of 20?
True
Let g = -34 + 39. Suppose r + i + 172 = 4*r, -5*r - g*i + 260 = 0. Is r a multiple of 8?
True
Let b(a) = 4*a - a**2 + 2*a + 19*a**2 + 6. Let h be b(-2). Does 15 divide 1*30*h/44?
True
Let u(n) = n**2 + 6*n + 9. Let h be u(-4). Suppose 3*c + 10 = x + h, -c + 29 = 5*x. Does 3 divide (-40)/(-60) + 38/x?
False
Let n(g) = g. Let h be n(4). Suppose -h*y = 179 + 45. Is 28 a factor of 16/y - 844/(-14)?
False
Suppose 4*v = 115 + 33. Let p(f) = -5*f + 3*f + 1 - 4*f - v*f. Does 10 divide p(-1)?
False
Let t be 0 - (4 + -2)/1. Let a = t + 4. Let p = 5 - a. Is p a multiple of 2?
False
Let p(w) be the second derivative of 0 + 4/3*w**3 - 7*w + 5*w**2. Is p(7) a multiple of 22?
True
Suppose i + 4*s = s + 1357, 3*s = 9. Suppose 6*c + 562 - i = 0. Does 29 divide c?
False
Let w(k) = -k**3 + 8*k**2 + 10*k - 6. Suppose -5*g + g = -36. Let u be w(g). Suppose 4*o - 296 = 4*p, -378 = -2*o - u*o + p. Is o a multiple of 38?
True
Is 19 a factor of ((-1751)/(-102))/((-2)/(-60))?
False
Suppose 0 = -u + 4*u - 483. Suppose 4*o = 3*d + 109, -20 = 5*o + d - u. Does 14 divide o?
True
Suppose -5*y + 3769 = 4*t, -4*y - 5 = -5*y. Does 11 divide t?
False
Suppose -5*d = -906 + 136. Let l = -93 + d. Is l a multiple of 17?
False
Let j = 28 - 30. Let f(d) be the second derivative of -3*d**3/2 - 2*d. Is f(j) a multiple of 10?
False
Does 38 divide ((-441)/(-28))/(3/152)?
True
Suppose -2*q - 20466 = -4*s, 94*s = 93*s - 3*q + 5134. Does 20 divide s?
False
Let g(i) be the second derivative of i**4/12 - 5*i**3/3 - 4*i**2 - 3*i. Let c be g(11). Suppose c*p - 5*p = -60. Is 15 a factor of p?
True
Let l(z) = z**2 - 5*z + 292. Is l(0) a multiple of 26?
False
Let u be 2/4 + (-95)/10. Let i be 9/(-3) - (0 + u). Let t(g) = 4*g - 4. Is 17 a factor of t(i)?
False
Suppose 4*w - 32 = 3*j - 5*j, -j - 4*w = -22. Let z(f) = -f**2 + 14*f - 8. Does 16 divide z(j)?
True
Let u = 159 + -234. Is 35 a factor of (u/18 + 1/(-3))*-12?
False
Suppose 12*v - 9*v = 936. Let n = v - 103. Is 33 a factor of n?
False
Let f(u) = -2*u. Let s be f(10). Let w = -20 - s. Suppose w = -3*b + b + 12. Is 6 a factor of b?
True
Let t = 122 + 478. Is 85 a factor of t?
False
Suppose -m + 570 = 2*x, -x + 82 + 217 = 4*m. Is x a multiple of 6?
False
Suppose 2 - 12 = -2*b. Suppose l = 0, -b*l + 4 - 22 = -2*s. Is s a multiple of 3?
True
Let v be (-612)/(-7) + (-16)/(-28). Let j = v - 53. Suppose -j = 5*g - 295. Is 11 a factor of g?
False
Suppose 17*o = 12*o + 20. Suppose -86 = -l + 3*h, o*l - 3*h = 222 + 95. Is l a multiple of 16?
False
Let y = 148 - -710. Is 78 a factor of y?
True
Let x = 0 - -674. Is x a multiple of 11?
False
Let k(c) = c**2 + 2*c - 10. Let i be k(3). Let h(l) = l**3 - 2*l - 6. Let j be h(i). Suppose -z = -5*g + j, z = 5*g - 2*z - 107. Is 11 a factor of g?
True
Let d be (-1 + 1)/(-12 + 10). Let k(h) = 0 + d - 19*h + 7*h. Is 12 a factor of k(-1)?
True
Let j(t) = -12*t - 4. Let m be j(-3). Suppose 7*b + m = 8*b. Suppose -3*w = -p - 149, -w + 39 = 5*p - b. Is 12 a factor of w?
False
Let p be (6/(-4))/(9/84). Let h = p - -41. Is 15 a factor of h?
False
Let f = -83 - -86. Suppose -n = -5*o - 169 + 18, -o + 453 = f*n. Does 54 divide n?
False
Suppose -6*v + v = 4*w - 1636, 4*w - 2*v = 1608. Is w a multiple of 7?
False
Suppose -105*o + 11258 = 4*c - 100*o, -2*o = 3*c - 8440. Is c a multiple of 113?
False
Suppose -5*m - 15 = 0, 38*m = -3*j + 39*m + 303. Is 52 a factor of j?
False
Let s(g) = 0*g**2 + 8 + 3 + 5*g + g**2 + 2. Is 27 a factor of s(-7)?
True
Suppose 2*j + 0 = -4*h + 5218, 3*h = -3. Is j a multiple of 19?
False
Let z = 58 - 46. Let h = z + 138. Does 30 divide h?
True
Let v = -17 + 14. Let d = v + 6. Suppose 4*m - 137 = -5*k, d*k - 5*m - 32 - 65 = 0. Is 7 a factor of k?
False
Let y(t) = 3*t**2 - 20*t + 8. Does 8 divide y(8)?
True
Let j = 54 - 46. Suppose j*w - 10*w = -54. Is w a multiple of 7?
False
Let m(p) = 3*p + 12. Suppose 0 = -w + 4*s - 17, 47 = -5*w - 2*s + 3*s. Let c be m(w). Does 7 divide (-106)/(-4) - c/(-10)?
False
Let g(u) = 103*u**2 + 3*u + 2. Suppose 0*z = 2*z + 2. Is g(z) a multiple of 17?
True
Let c = 12881 + -7299. Is 11 a factor of c?
False
Let l(p) be the third derivative of -p**5/120 + p**4/2 - 5*p**3/6 + 4*p**2. Let n(s) be the first derivative of l(s). Is 7 a factor of n(-11)?
False
Let f = -628 + 1140. Does 16 divide f?
True
Let w be 5/15 - (-80)/12. Let j(a) = -a**3 + 9*a**2 - 3*a + 7. Let m be j(w). Is 2796/m + (-4)/14 a multiple of 11?
True
Let d(o) = o**2 + o. Let v(h) = 4*h**2 + 17*h - 11. Let l(y) = 3*d(y) - v(y). Does 8 divide l(-13)?
True
Suppose -2*c - 2*p = -966, -4*c - 4*p = -6*p - 1914. Is 32 a factor of c?
True
Suppose -653*f + 659*f = 10320. Is 20 a factor of f?
True
Suppose -5*o = -3*o - 6. Suppose -o*q + 0*q - 3*y + 27 = 0, 29 = 3*q + 5*y. Let c = q - 4. Is c even?
True
Let n = 10 - 7. Let j be -1 - ((-9)/n - 0). Suppose -j*c + 28 = 2*c. Is 6 a factor of c?
False
Is 16 a factor of (408/(-9))/(((-8)/(-4))/(-24))?
True
Suppose 0 = -88*d + 82*d + 7980. Is d a multiple of 38?
True
Let q(z) = z + 16. Let j be q(-8). Suppose -j*i = -130 - 126. Does 32 divide i?
True
Let h(g) = 186*g**2 - 17*g - 2. Is 35 a factor of h(3)?
False
Let f(k) = -k + 217. Is 86 a factor of f(45)?
True
Suppose 0 = -5*q + 346 - 71. Suppose 0 = -2*g + k + q, 124 = 4*g + g + 2*k. Does 16 divide g?
False
Let j = 3688 - 2278. Is j a multiple of 94?
True
Suppose 5430 = 5*l + 5*n, l - 138 = -2*n + 943. Does 75 divide l?
False
Let u(p) = 4*p + 14. Let a be u(6). Suppose 5*b = a + 72. Is 16 a factor of b?
False
Let z = 879 - 604. Suppose 0 = 3*m - 15, -5*i + z = 2*m - 0*m. Suppose w = -2*u + i, -2*u = 2*u + 8. Is 19 a factor of w?
True
Does 6 divide (-13)/((-117)/(-12))*-225?
True
Suppose 2*o - 45 + 15 = 0. Suppose -o*s + 316 = -11*s. Is 5 a factor of s?
False
Let p be -3 + 2 + 0 + 3. Suppose 6 = p*f + 4*r + 18, 4*f = 3*r + 31. Suppose 0 = f*d - 56 - 176. Does 15 divide d?
