ose -2*p + 98 = -j*t, -3*p + 4*t = -t - 147. Does 19 divide p?
False
Suppose -h = -5 - 137. Does 22 divide h?
False
Let d(a) = -a**3 + 14*a**2 - 16*a + 10. Let i be d(10). Suppose -26 + i = 4*q. Let o = q + -34. Is 7 a factor of o?
False
Suppose -5*m + 3*s + 453 = 0, -2*m + 4*m = 2*s + 182. Is m a multiple of 30?
True
Let y(r) = -46*r + 1. Is y(-1) a multiple of 4?
False
Suppose 1 = 2*h - 1. Let y be (39 - 1) + h + -3. Suppose -4*a + a = -y. Is 6 a factor of a?
True
Let i = -137 + 169. Is i even?
True
Suppose 187 = 4*q + 11. Is 29 a factor of q?
False
Suppose 5*k = -2*c + 56, -2*k - 2*k = 5*c - 106. Is 3 a factor of ((-17)/51)/((-1)/c)?
True
Let r be 154/6 + (-2)/3. Let v = -3 + r. Does 16 divide v?
False
Suppose -j = -5, u + 3*j - 7*j = 155. Is u a multiple of 11?
False
Does 8 divide 0 + (-2)/(-6)*69?
False
Let c be 784/6 - (-1)/3. Suppose 2*m - 4*k - 86 = 0, -2*m + 4*k + c = m. Is 24 a factor of m?
False
Suppose i + 5*y - 2 - 4 = 0, 0 = -4*i + 3*y + 1. Let z be (-1)/((-5)/2 - -2). Is 2 + -3 + z + i a multiple of 2?
True
Suppose -v - r = -53, 3*v + 2*r - 40 = 122. Suppose -m + 1 = -2. Suppose 5*d - m*d - v = 0. Is d a multiple of 13?
False
Let v be (-258)/(-12) - (-6)/(-4). Is 17 a factor of (-5)/(v/(-284)) - 3?
True
Let v(o) = -2*o - 3. Let b(a) = a + 2. Let x(y) = -13*b(y) - 6*v(y). Let g(r) = 2*r + 1. Let q be g(-6). Is 3 a factor of x(q)?
True
Suppose 222 = -k - k. Let a = k - -157. Is a a multiple of 23?
True
Let v be (0 - 3)/9*-15. Suppose -u + v = 4*u. Is 17 a factor of u - 1/((-3)/99)?
True
Let p = -118 + 204. Suppose -p - 29 = -5*h. Is h a multiple of 23?
True
Let c be (-406)/(-10) + (-10)/(-25). Let j = c - 15. Is 11 a factor of j?
False
Let h be 7 + ((-3)/3 - 0). Let u = 6 - h. Suppose -3*k + 12 + 42 = u. Is k a multiple of 7?
False
Let t be 0 - (-3)/((-12)/(-8)). Does 11 divide 1*35 - 2/t?
False
Suppose -x - 2*x + 673 = 5*p, 3*x - 539 = -4*p. Is p a multiple of 9?
False
Let m = 43 + -31. Is m a multiple of 2?
True
Suppose 3*p - 6 - 12 = -q, -2*p = -5*q + 5. Does 3 divide q?
True
Let a(o) be the third derivative of -o**5/60 + o**4/3 - 3*o**3/2 - 2*o**2. Is a(6) a multiple of 3?
True
Let k(u) = -u**3 - 7*u**2 - 7*u + 3. Suppose 5 = -5*t - 5*w, -6*t + 4*t + w = 17. Is k(t) a multiple of 7?
False
Let b = 39 + -9. Does 15 divide b?
True
Let s = 382 + -242. Is 20 a factor of s?
True
Suppose -3*f - k + 219 = -0*f, 12 = 4*k. Suppose -x = 5*b - 63, 3*x = 5*b + 7*x - f. Does 6 divide (6/3)/(2/b)?
True
Let p be (-2 + -3 + 5)/3. Let u(l) = -l**3 + l**2 - l + 29. Is 20 a factor of u(p)?
False
Let o = 6 - 4. Is 2 + 15 + o + -1 a multiple of 9?
True
Let o(a) = -a + 39. Let q(k) = 2*k - 79. Let z(b) = 7*o(b) + 3*q(b). Suppose 5*g - 4*g = 0. Is 18 a factor of z(g)?
True
Let m = -66 - -110. Is 18 a factor of m?
False
Suppose 3*d - 5*d = 3*a - 110, 25 = -5*d. Is a a multiple of 10?
True
Let o(t) = -7*t**3 + t**2 - t - 2. Let i be (-1)/(-4) + 28/16. Let h be o(i). Let b = -21 - h. Is b a multiple of 11?
False
Let z(r) = -3*r + 2*r - 3 + 7*r - 2*r. Let j be -1 + -1 + (6 - -2). Is z(j) a multiple of 10?
False
Let s(w) = 9*w - 4. Suppose -2*h + f + 15 = 0, -3*h + 11 = -4*f - 4. Let a be s(h). Let c = -43 + a. Is c a multiple of 17?
True
Let t(g) = -4*g**3 - 9*g**2 - 9*g + 6. Let l(v) = v**3 + v. Let p(b) = -3*l(b) - t(b). Let x be p(-8). Suppose x = -3*d + 5*d. Is d a multiple of 2?
False
Let n be 4/(-3) - (-12)/(-18). Let c = n + 6. Suppose -48 = -c*z + 12. Is z a multiple of 7?
False
Let t(j) = j + 8. Let y be t(0). Let z = y - 0. Is z a multiple of 8?
True
Suppose -20 = 4*m, -q + 3*m + 48 + 49 = 0. Is q a multiple of 26?
False
Let s(l) = -l - 6. Let w be s(0). Let i be (w/4)/(6/(-16)). Suppose c - 8*a + 3*a - 12 = 0, 0 = 4*c - i*a - 48. Is c a multiple of 12?
True
Suppose 12 = -3*k - 3*r, 0 = -2*k + r + 4*r + 20. Suppose 2*p - 7*p = k. Suppose 5*l - 22 - 88 = p. Does 11 divide l?
True
Suppose x + x = 5*o + 173, 2*x + 2 = 0. Let v be o*((-1)/(-1))/(-1). Suppose v = 3*g - 67. Is 14 a factor of g?
False
Does 9 divide 4480/175*(-10)/(-4)?
False
Let l(n) = -n**3 - 8*n**2 - 3*n + 9. Does 10 divide l(-8)?
False
Suppose 27 - 1557 = -15*o. Does 17 divide o?
True
Let p(r) = -r**3 + 7*r**2 + 12*r - 4. Let u be p(8). Is 14 a factor of ((-21)/u)/((-2)/104)?
False
Let m(v) = 16*v**2. Let t be m(1). Suppose -z = -5*o - t, o = -3*z - 4*o + 128. Is z a multiple of 12?
True
Let r = -4 + 6. Let y(l) = l**2 - r*l + 0 + 4*l - 3. Is y(3) a multiple of 10?
False
Let x(c) = -c - 8. Let a be x(-8). Suppose 2*o = -s - a*o + 16, 3*o - 3 = 2*s. Let g = s - -3. Does 4 divide g?
False
Suppose 8 = -2*u, -4*h - 8 = 4*u + 16. Let d be ((-6)/(-1))/(h/3). Is 100/6 + 6/d a multiple of 13?
False
Let i = -350 + 622. Is 34 a factor of i?
True
Suppose -o = -0*o - 17. Suppose -2*k + 170 = 3*k. Let u = k - o. Does 17 divide u?
True
Let y(g) = -g**2 - 12*g + 6. Let t be 21/2*(-8)/3. Let m = 18 + t. Is 9 a factor of y(m)?
False
Let b = -19 - -83. Is 17 a factor of b?
False
Let i(l) = -l**3 + 12*l**2 + 17*l - 19. Does 33 divide i(13)?
True
Let n be ((-45)/(-6))/((-12)/(-112)). Suppose -2*y - 34 = -5*y + b, -5*y - b = -n. Suppose 0 = l - 4*c + 9*c + y, -c = -3*l + 25. Does 7 divide l?
True
Suppose 7*y - 168 = 182. Does 25 divide y?
True
Suppose -277 = -4*r - 3*p + 96, 3*r - 271 = -4*p. Suppose 5*u + 4*o - 149 - r = 0, -2*o = u - 54. Is 18 a factor of u?
False
Suppose -348 = 15*r - 18*r. Is r a multiple of 29?
True
Let y(m) = -m**3 + 5*m**2 - 2*m - 4. Is 4 a factor of y(3)?
True
Let d(u) = 21*u**2. Is 15 a factor of d(-2)?
False
Let a(i) = i**3 - 8*i**2 + 7*i + 24. Is a(9) a multiple of 21?
True
Let u(l) = 3*l**2 - 18*l. Does 24 divide u(-6)?
True
Suppose 4*q - 76 = -4*k, -5*k + 13 = -3*k - 3*q. Suppose -3 = -h - 1. Let r = h + k. Does 9 divide r?
False
Let d(w) = w**2 + w + 78. Let k be d(0). Suppose -75 = 10*f + 345. Let r = f + k. Does 18 divide r?
True
Let z(k) be the second derivative of 1/3*k**3 - 3*k - 1/2*k**4 - k**2 + 0 + 1/20*k**5. Is 7 a factor of z(6)?
False
Let d(t) = 14*t**2 - t. Let u be d(1). Let a = -9 + u. Is a a multiple of 3?
False
Let c = -133 + 79. Let k = c - -90. Is 12 a factor of k?
True
Suppose -3*g - 3*v + 65 = -22, 150 = 5*g + 4*v. Suppose -g = -0*u - 2*u. Is u a multiple of 8?
False
Suppose 2*b - 7*b + 1270 = -5*y, -y = 2*b - 508. Does 36 divide b?
False
Suppose 15 = 3*m - 3*f, 3*m - 2*f + 5 = 19. Suppose 0*j - m*j = 8. Does 8 divide (3/j)/((-2)/12)?
False
Suppose -4*a + 5*x = -4 + 14, 0 = a + 5*x + 15. Let g = 12 + a. Is 5 a factor of g?
False
Let g = 9 + -6. Let i = 5 + g. Is 4 a factor of i?
True
Suppose 4*r - 144 = 5*l, 4*l - 16 = -0*l. Is 41 a factor of r?
True
Let o = -224 + 78. Is (-1)/2 + o/(-4) a multiple of 18?
True
Let p = -78 - -134. Does 14 divide p?
True
Let w(l) = -l**3 - 10*l**2 - 5*l - 6. Suppose -5*p - 50 = -0*p. Does 16 divide w(p)?
False
Let f(d) = d**3 - 9*d**2 + d - 3. Let j be f(9). Let b be 1/(-6) + 73/j. Suppose h + b = 3*h. Is 6 a factor of h?
True
Let b be 1 - (-2)/(-6)*0. Suppose 5*g - 21 = -b. Suppose 0 = g*v - 4, -3*v = -6*x + x + 22. Is 5 a factor of x?
True
Let a(r) = -r**3 - 9*r**2 - 12*r - 11. Let q be a(-8). Does 10 divide q + (-3)/(-1) + -2?
False
Suppose 0 = -12*o + 2347 + 557. Does 11 divide o?
True
Let p(h) = 5*h**2 + 2*h - 1. Let y be p(-5). Suppose -l = -4*l + y. Is l a multiple of 19?
True
Is 3 a factor of (-1336)/(-20) - 1 - (-2)/10?
True
Let b(u) = u**3 + 14*u**2 + 12*u - 16. Let z be b(-11). Suppose 3*c - 37 - z = 0. Is c a multiple of 28?
True
Let j be 4/2 - (2 - -19). Let b = j + 31. Does 14 divide (-2)/(-3) - (-208)/b?
False
Let k(j) be the first derivative of -31*j**4/4 - j**3/3 + j**2/2 + j - 1. Let r be k(-1). Suppose -3*b + r = 2*b. Is 3 a factor of b?
True
Let b(f) = 37*f + 7. Let s(k) = 18*k + 4. Let u(j) = 3*b(j) - 5*s(j). Is u(1) a multiple of 14?
False
Let c be 4 + (-1 - -1) - 2. Suppose 0 = t + c*t - 12. Let h = t + 9. Is 13 a factor of h?
True
Let q = -13 - -15. Suppose 4*k = -h - q*h + 32, k = 3*h + 23. Is k a multiple of 3?
False
Let q be 3 + (-2 - -3 - -1). Suppose -5*k = -25, -q*j + 0 = 3*k - 10. Does 9 divide (104/(-4))/(1*j)?
False
Let u(q) be the second derivative of -q**4/12 - 4*q**3/3 + q**2/2 + q. Let n(l) be the first derivative of u(l). Is 3 a factor of n(-7)?
True
Suppose w - 4*y = 67, -4*w =