uppose 3*p + 4*c = 7*p - 56, 2*c + 4 = 0. Let a = 0 + 3. Is 9 a factor of 196/16 - a/p?
False
Let j = 736 + -330. Is 58 a factor of j?
True
Let u(y) = -2*y**3 + 3*y**2 + 7*y + 7. Let m be u(-5). Suppose -4*o + m = -o. Is 33 a factor of o?
True
Suppose 0*i - 9 = -3*i. Suppose 56 = -3*s + b, 24 = i*s + 4*b + 85. Let w = 41 - s. Does 15 divide w?
True
Let u(f) = -2*f - 5. Let s be u(-6). Is 7/147*-3 + 988/s a multiple of 47?
True
Let z = -93 - -148. Is 5 a factor of z?
True
Let b(d) be the first derivative of -d**2/2 - 3*d + 9. Let x be b(-6). Suppose -2*f + 61 = -5*m, -5*m - 10 = -x*f + 94. Is 8 a factor of f?
False
Let u(m) = -3*m + 13. Let q be u(5). Is 12 a factor of 93/q*160/(-60)?
False
Let x = -11 - -7. Is 15 a factor of (-628)/(-6) + x/(-12)?
True
Suppose -3*s + 3*y + 15 = -0*s, 5*y + 19 = -s. Let v be (3*(-1)/s)/1. Is 9 a factor of 1 - (v - 32)*1?
True
Let i(p) = -p**3 - 41*p**2 + 22*p - 12. Is 46 a factor of i(-42)?
True
Let i be -1 + (-1)/((-1)/4). Suppose -8*j + 413 = -51. Let k = j - i. Is 12 a factor of k?
False
Let z(f) = 2*f**2 - 21*f - 368. Is z(-10) a multiple of 4?
False
Suppose -8*l + 18 = 2. Let c = 252 + -168. Does 11 divide (l*1)/(6/c)?
False
Let z(b) = b**3 + 5*b**2 - 8*b + 88. Is 25 a factor of z(-6)?
True
Let u = -580 + 1141. Does 33 divide u?
True
Suppose n + 4 = -24. Let s = 48 + n. Does 20 divide s?
True
Suppose 96 = -0*s + 4*s. Let m = s + -18. Let d = m + 11. Is d a multiple of 9?
False
Let g = 86 - -60. Does 52 divide g?
False
Suppose -13*u + 4*k + 61 = -12*u, 0 = -k + 2. Is 9 a factor of u?
False
Let k(h) = -100*h - 2. Let q be k(-2). Is q/5*(-10)/(-4) a multiple of 13?
False
Suppose 9*k - 105 = 2*k. Is 15 a factor of k?
True
Let s be ((-7)/21)/(1/6). Let q be (2/4)/(s/48). Does 16 divide 14/(-3)*90/q?
False
Let u = -1188 - -2819. Is u a multiple of 11?
False
Let m be 4/(4/(-8)*-1). Suppose 3*p - p = 5*k - 20, k - 4 = 3*p. Suppose -m = -a + k. Does 12 divide a?
True
Suppose -5 = -c - 0. Suppose 4*w + c*m = 7, -w + m - 2*m + 1 = 0. Let n = 37 + w. Is 21 a factor of n?
False
Suppose j + 111 + 13 = -2*z, 2*z + 5*j = -132. Let c = z + 88. Is c a multiple of 5?
False
Suppose -c = a - 917, -3*a + 1834 = -3*c + 5*c. Does 17 divide c?
False
Let v = 2848 + -1615. Is 15 a factor of v?
False
Is (-15)/(-9)*14889/35 a multiple of 34?
False
Let g(u) = -59*u + 89. Is 11 a factor of g(-7)?
False
Suppose 36*w + 8042 - 26258 = 0. Is w a multiple of 46?
True
Suppose y - 2*q = 3*q - 24, -2*y - 3*q + 17 = 0. Let g be ((-13)/y)/(-2 + 3). Let r = g + 23. Is 10 a factor of r?
True
Let t = -48 + 119. Suppose t - 17 = 3*x. Is x a multiple of 9?
True
Let s = -3749 - -5562. Is 18 a factor of s?
False
Suppose -24*p + 35*p = 550. Does 25 divide p?
True
Suppose m - o = 2*o - 12, 4*m + 8 = 4*o. Suppose m*g = p + 156, -3*p = 5*g + 203 - 477. Is g a multiple of 17?
False
Let z be 31/5 + 20/(-100). Does 33 divide (-24)/z - 37*-1?
True
Let a(h) be the third derivative of -h**6/120 - h**5/6 - h**4/12 + 2*h**3/3 - 4*h**2. Let p(g) = -g**2 - g - 4. Let n be p(-3). Does 19 divide a(n)?
False
Suppose 80 = 3*y - 5*f + 15, -31 = -y + 4*f. Is 4 a factor of y?
False
Let x(u) = -u - 2. Let v be x(-4). Suppose 0 = -v*f - 2*s + 16, s - 6 - 6 = -2*f. Suppose f*p + 2*w = 34, 42 = 5*p - 0*p + 2*w. Is 5 a factor of p?
False
Suppose 0 = 5*g - 10 - 5. Suppose 5*y - g*f = 382, 2*f = y + f - 76. Is y a multiple of 31?
False
Suppose 0 = -i + 1, 395 + 97 = 3*q - 3*i. Suppose -q = -5*f + 285. Is 16 a factor of f?
False
Let t(v) = v**2 - v + 2. Let c be t(6). Let s be (c/(-40))/((-1)/30). Suppose 0 = p - s + 8. Is 16 a factor of p?
True
Suppose 31*t + 616 - 2693 = 0. Is t even?
False
Let l(n) = -2*n + 3. Let y be l(-3). Let s be 29/(-9) - 2/(-9). Let t = y + s. Is 2 a factor of t?
True
Let b(q) = q**2 + 6*q - 5. Let d be b(-7). Suppose j + 2 - 6 = 0, 28 = 5*u + d*j. Suppose 3*y - 29 = 2*y + u*s, y + 5*s - 56 = 0. Does 13 divide y?
False
Suppose 3*v - 9 = 0, m - v + 27 = -3*m. Does 11 divide (11*3)/(m + 7)?
True
Let a(z) = z**3 + 6*z**2 + 25*z + 140. Let o be a(-6). Let s(g) = 0*g**3 - 2*g - 15*g + 2 - 11*g**2 - g**3. Does 12 divide s(o)?
True
Suppose -17*w + 52 = -13*w. Suppose o + 15 = w. Let d(f) = -f**3 - 2*f**2 - 2*f. Is d(o) even?
True
Let t be ((-22)/10 - -3)*-5. Let r = t + 8. Suppose w - 18 = -a, -w + r*w = -4*a + 69. Is a a multiple of 15?
True
Suppose -5*x + 1735 = -5*m, -17*x = -15*x + 5*m - 666. Is 5 a factor of x?
False
Suppose -7*j + 5831 - 511 = 0. Does 74 divide j?
False
Let g(u) = u**3 + 13*u**2 - u - 68. Is g(-8) a multiple of 31?
False
Let q(b) be the third derivative of b**4/4 - 2*b**3/3 + b**2. Let i be q(5). Let r = i - 8. Does 6 divide r?
True
Let o be 6/21 - 46/14. Let w(v) = -v + 1. Let z(x) = 15*x - 9. Let d(y) = -5*w(y) - z(y). Is 7 a factor of d(o)?
False
Let w(s) be the first derivative of 4*s**2 - 15*s - 5. Does 14 divide w(8)?
False
Let k = 134 + 139. Does 7 divide k?
True
Suppose 7*x - 10*x = 12. Does 13 divide (-32 + 6)/(1/x)?
True
Suppose 2*h - 4 = 0, 2*j - 3*h = j - 2. Suppose -j*c = 8 + 120. Does 9 divide -1 - (c/2)/1?
False
Let m = 34 + -29. Suppose -m*q + 292 = -43. Does 14 divide q?
False
Does 8 divide (84 + -197)/((-1)/1)?
False
Let a = 60 + -128. Let j be (10/8)/(17/a). Is 13 a factor of (14/j)/(4/(-60))?
False
Suppose 3*f + 49 = 5*w + 6*f, -2*f - 26 = -4*w. Suppose 0 = 10*o - w*o - 96. Is 5 a factor of o?
False
Let g(v) = -3*v + 108. Let p be g(0). Is (5/2)/(6/p) a multiple of 9?
True
Is 11/(-66) + (-166707)/(-54) a multiple of 9?
True
Suppose -1694 - 1866 = -8*k. Is k a multiple of 37?
False
Suppose 4*d - 696 = 4*y, 5*d - 2*y - 1287 = -429. Does 17 divide d?
True
Suppose -7*h + 2 = -6*h. Suppose -h*b - 39 - 11 = 0. Let n = b - -40. Does 12 divide n?
False
Suppose 0 = -5*g + 1082 - 302. Let f = -84 + g. Does 7 divide f?
False
Let o = 159 + -120. Is 10 a factor of o?
False
Suppose 0 = -3*k + 3*y + 21, 0 = k + y - 17 + 2. Is k a multiple of 11?
True
Suppose 0 = -5*z + 21 + 4, -3*r - z + 23 = 0. Suppose -r*j + j + 455 = 0. Is 13 a factor of j?
True
Let u = 1117 - 397. Does 45 divide u?
True
Let m = -15 - -18. Let o(i) = -i**3 + 4*i**2 - 2*i + 1. Let n be o(m). Suppose 4*w - 2*s - 16 + n = 0, 0 = -3*s. Is 3 a factor of w?
True
Suppose 3*t + 165 = 4*u + 1417, 5*u = -5*t + 2075. Is 16 a factor of t?
True
Let w(n) = 2*n**2 + 4*n + 4. Let v(j) = -j**2 + 3*j - 2. Let r be v(4). Let l be w(r). Is 9 a factor of ((-12)/(-8))/(6/l)?
False
Let f = -7 + 19. Suppose -42 + f = -i. Suppose i = -0*a + a. Is 15 a factor of a?
True
Let c be (1 - (-10)/(-8)) + 14/(-8). Does 6 divide (c + (-784)/12)/(4/(-6))?
False
Suppose -q + g - 5 - 7 = 0, -q - 12 = 4*g. Does 7 divide (0 + 1)/(-6) + (-194)/q?
False
Let c(s) = -3*s + 27. Let h = 44 + -44. Does 27 divide c(h)?
True
Let d be 10/2 + -1 + -1. Suppose 94 - 484 = -d*h. Is h a multiple of 28?
False
Let l(a) = 10*a**2 - a. Suppose 4*s - 10 = 2. Is l(s) a multiple of 28?
False
Let l be 8/1 + 4/(-1). Suppose 0 = -l*o - o + 490. Is o a multiple of 14?
True
Suppose 3*d - 56 = 28. Suppose f - 29 - d = -5*g, -3*f - 4*g + 215 = 0. Is f a multiple of 14?
False
Suppose z + 24 = -3*r - r, 2*r = z. Let w = -18 - z. Does 3 divide -3 - -4 - (w - 3)?
False
Let b(t) = t**2 - 5*t - 12. Let s be 13 - 9/(9/2). Is 6 a factor of b(s)?
True
Let k(l) = l**3 + 19*l**2 + 42*l + 32. Does 67 divide k(-12)?
True
Let j(p) = 197*p + 428. Is 7 a factor of j(6)?
True
Let n(d) = 2*d**2 - 9*d. Let m = 0 + 8. Is n(m) a multiple of 18?
False
Let b = 1724 + -918. Does 20 divide b?
False
Let h be 43/4 - (-3)/12. Let u = -12 + h. Let o(f) = -29*f**3 - f - 2. Is 10 a factor of o(u)?
False
Let p be 12/(-4) + 2 - -107. Suppose -3*n = -6*n + x - 58, 5*n + p = -3*x. Let g = 31 - n. Is g a multiple of 15?
False
Suppose -30 = -28*h + 25*h. Suppose 6*z = z + h. Suppose -7 = 3*o + 8, 5*a = z*o + 280. Is 18 a factor of a?
True
Let p(x) be the third derivative of x**4/4 - x**3/6 + x**2. Suppose -38 = -3*s - w + 6*w, -3*s - 2 = 5*w. Is p(s) a multiple of 12?
False
Let p(m) = -m + 9. Let l be p(5). Suppose 0 = 4*t - 4*y - 24, -3*t - 3*y - 14 = -5*t. Suppose -w - t*v = -0*v - 14, -5*w = -l*v - 142. Does 26 divide w?
True
Suppose 1953 = 7*s - 1365. Does 52 divide s?
False
Let k = -13 + 22. Suppose -9 = -f - 3*n, n = -f + 5*n + k. Does 9 divide ((-54)/10)/(f