divide s(-22)?
False
Let z = -9 + 12. Suppose -4*r + 2*c = -2*c - 44, 2*r - 17 = -z*c. Suppose -a - 4*a + r = 0. Is a a multiple of 2?
True
Let z be 145/(-4) - (-1)/4. Let n be -5*136/(-120)*-12. Let c = z - n. Is 14 a factor of c?
False
Let l be 162/4 + 11/(-22). Let d = l - 20. Is 9 a factor of (-6)/(-7)*(d - -1)?
True
Let p(q) = -2*q**3 - q**2. Let w be p(-2). Let h be ((-4)/(-8))/(2/w). Suppose 0 = -h*k - 2*n + 19, -3*k - 2*k + 15 = -5*n. Is 5 a factor of k?
True
Let i = -18 + 21. Suppose 0 = 4*k + 16, 2*a + 4*k = i*k + 56. Suppose -2*f = -a - 8. Is 10 a factor of f?
False
Suppose -3*h - 94 = -u, 3*h = -8*u + 5*u + 258. Does 5 divide u?
False
Let p(z) = 8*z**2 + 19*z + 10. Does 30 divide p(-4)?
False
Is (-2885)/(-20) + 1/(-4) a multiple of 18?
True
Let k(g) = -14*g**3 + 2*g - 2. Let f = -11 + 9. Is k(f) a multiple of 10?
False
Let u(d) = 15*d**2 + 33*d + 31. Let a(q) = 7*q**2 + 16*q + 15. Let x(t) = 9*a(t) - 4*u(t). Let g be x(-9). Suppose -134 = -5*m + g. Does 14 divide m?
True
Suppose 0 = 3*l - 180 + 930. Let y = l + 350. Does 10 divide y?
True
Suppose -79*s - 3432 = -90*s. Is s a multiple of 24?
True
Let u(r) = r**3 - 3*r**2 - 3*r - 5. Let z be u(6). Suppose -z = -3*t - 1. Is 4 a factor of t?
True
Suppose 24*m = 9*m - 30. Let y(f) be the third derivative of -f**6/60 - f**5/30 - f**3/6 + f**2. Is 3 a factor of y(m)?
False
Let z = -87 + 789. Does 17 divide z?
False
Suppose 0 = -9*l + 5*l + 40. Suppose 22 - l = 4*s. Suppose s*u - 2*z = 57, -z - 11 = -2*u + 26. Is 17 a factor of u?
True
Let b = -225 + 745. Does 10 divide b?
True
Let k(b) = 26*b**2 - b. Suppose -2*u - 12 = u + 3*h, 3*u + h + 2 = 0. Let m be k(u). Suppose x - 15 = m. Is x a multiple of 10?
True
Suppose 5*r - 11 = -n, -3*r + 0*r + 1 = n. Is 17 a factor of (-1)/(n/590) - 16/112?
False
Suppose 1057 = 4*l - i, i = l - 350 + 85. Does 27 divide l?
False
Suppose 704 = 2*d - 6*d. Let c = -110 - d. Is 11 a factor of c?
True
Let p be 1610/45 + 6/27. Let q = 51 - p. Is (q + -9)*(-13)/(-3) a multiple of 6?
False
Is 5 + (-128)/28 - (-2696)/14 a multiple of 14?
False
Let c be 0 - 0 - (-21)/(-3). Let i = c - -33. Let d = i - 5. Does 9 divide d?
False
Let f(d) = 8*d + 110. Is 36 a factor of f(0)?
False
Suppose -3607*r - 4249 = -3614*r. Does 88 divide r?
False
Let t(l) be the first derivative of -l**3/3 - 7*l**2/2 + 3*l + 10. Is 3 a factor of t(-7)?
True
Let v(z) = 14*z - 2. Let t be v(2). Let k = 41 - t. Does 12 divide k?
False
Let r(t) = -t**3 + 3*t**2 + 3*t. Let d be r(4). Does 19 divide (-11 + -1)*26/12*d?
False
Suppose -3*u + 12 + 39 = 0. Let r = 22 - u. Suppose -230 = -0*y - r*y. Does 23 divide y?
True
Let b be (-2)/8 - (-4)/16. Suppose -x = -2*x, 5*j - x - 175 = b. Suppose 3*n + 2*n = j. Is n a multiple of 4?
False
Let a be ((-770)/(-18) - 0) + 2/9. Let b = 78 - a. Is b a multiple of 7?
True
Let r(b) = -2*b**2 - 26*b + 5. Let i be r(-13). Suppose 0 = i*q - 4*s - 250, -q + 11 + 15 = 4*s. Is 10 a factor of q?
False
Let b(k) be the first derivative of -k**4/4 - 3*k**3 + 3*k**2 + 8*k - 4. Let y be b(-10). Does 8 divide 70/(-4)*y/(-40)?
False
Let i(a) = 218*a - 58. Let k be i(12). Suppose 2032 = 15*v - k. Is v a multiple of 18?
True
Let x = 215 - -504. Is x a multiple of 56?
False
Let j = 1387 + -862. Does 25 divide j?
True
Suppose 2*k + 2*q - 9 = 3*k, -1 = -q. Let r = k - -13. Is r a multiple of 3?
True
Let p be -3*82*2/(-6). Let g = -40 + 44. Suppose -5*i - p = -3*o, 4*o = -g*i + 138 - 50. Is 12 a factor of o?
True
Let b(s) = 33*s**2 - 2*s + 6. Let l be b(3). Let g = l - 72. Is 25 a factor of g?
True
Suppose 5*i = -2*y - 19, 5*y + 2*i = -i - 19. Let x = y + 8. Suppose 9*l - x = 8*l. Is 3 a factor of l?
True
Suppose -11 = -3*z + 2*b, -3*z - 11 = 2*z + 4*b. Let g(a) = 17*a**2 + a - 1. Is g(z) a multiple of 9?
False
Suppose 17*w - 19*w + 1054 = 2*z, -z + 1056 = 2*w. Is 23 a factor of w?
True
Suppose -j - 16*j = -2210. Let f = j - 11. Does 17 divide f?
True
Let n(u) = 79*u + 12. Let k(q) = 79*q + 11. Let s(c) = -3*k(c) + 2*n(c). Is 10 a factor of s(-1)?
True
Let f(i) = 2*i**3 - 9*i**2 - 13*i + 21. Let a be f(7). Suppose -16*x + a = -15*x. Does 25 divide x?
True
Is 24 a factor of (-4)/6*51/68*-536?
False
Suppose -105*p + 101*p - 1660 = -3*l, -p - 2235 = -4*l. Is l a multiple of 16?
True
Suppose 13 = 2*o - 11. Does 12 divide o?
True
Suppose 136307 - 15273 = 73*h. Does 13 divide h?
False
Let w be ((-12)/8)/((-3 - 1)/8). Suppose 4*h = z - w - 23, 3*h = 3. Is z a multiple of 30?
True
Let a = -176 - -606. Let h be a - (-3 - (-3 - 0)). Suppose 5*m + 5*k = h, -4*k = -m + 2*m - 92. Is 28 a factor of m?
True
Suppose -5*n = 0, -2*t - 4*n + 1 = -1. Suppose -75 = r - 0. Is (r/(-10))/(t/2) a multiple of 15?
True
Let c = 3 + 11. Let k = -12 + c. Suppose y - 16 = k. Is y a multiple of 9?
True
Let c = -104 + 34. Suppose 326 = -g + 340. Does 28 divide g/c - (-216)/5?
False
Let b = 174 + -11. Does 10 divide b?
False
Let a = 8 - 5. Is 10 a factor of 22 - (a + -3 - -2)?
True
Suppose -i - 108 = 2*i. Let u(n) = -n**2 - 10*n + 27. Let d be u(-8). Let p = i + d. Does 7 divide p?
True
Let d = 7203 - 2910. Is 159 a factor of d?
True
Suppose w = -7 + 13. Suppose 2*z - 1 = -3*g + 2, -z + w = 3*g. Does 3 divide g?
True
Let q = 1403 + -670. Is 26 a factor of q?
False
Suppose 19 + 142 = 2*h + 5*f, 5*h + 3*f = 450. Does 70 divide h?
False
Is 5 a factor of ((-22)/8*-1)/(66/3168)?
False
Let n(g) = -g**2 + 14*g - 13. Let x be n(13). Suppose 0 = 4*i - k - 14, -5*k + k - 8 = x. Does 2 divide i?
False
Suppose -3*i = -5 - 7. Suppose k = 3*k - 4*v - 8, -3*v = -i*k + 11. Suppose 3*r = -k*r + 70. Is 7 a factor of r?
True
Let f be 18/(-6) + 59 + -1. Suppose -80 - f = -j. Is j a multiple of 15?
True
Is (-2 - (-18)/12)/((-1)/266) a multiple of 19?
True
Suppose 0*j = -4*j + 16. Suppose 0 = -5*v - 20, -j*o - v + 6*v = -32. Does 3 divide o?
True
Suppose 2*g + 8 = -3*l + 7*l, -10 = -3*g - 5*l. Suppose a + g*a = -1. Does 12 divide -1 - (3 + 22)*a?
True
Suppose -5*y + 8 = u, 0 = -2*u + 3*y + 2*y + 1. Let q(o) = 22*o + u - 3 - 26*o. Is 8 a factor of q(-4)?
True
Let l(h) = h**3 - 5*h**2 + 3*h. Suppose 4*v = -3 + 11. Let s be l(v). Let a(w) = 4*w**2 + 9*w + 9. Is 33 a factor of a(s)?
True
Let v(o) = -3*o + 0 + 2 - 9*o + 0*o - 17. Let m = 15 + -25. Is 35 a factor of v(m)?
True
Suppose -5*h + 187 + 173 = 0. Suppose a = 43 + h. Is 23 a factor of a?
True
Suppose -3*u = u - k - 2393, 0 = -u - 5*k + 614. Does 23 divide u?
False
Suppose -3*b - 15 - 15 = 0. Let j = b + 35. Suppose 5*q + 3*h - 35 = 0, -2*h + h + j = 3*q. Is 3 a factor of q?
False
Let n be (-8)/6 + (-29)/3. Let f = 26 + n. Is 15 a factor of f?
True
Suppose -5*y - g + 1611 = 0, -3*y + g = -613 - 360. Does 12 divide y?
False
Suppose -2*v + 3*s - 762 = -5*v, 0 = v - 5*s - 278. Does 40 divide v?
False
Let j = 848 - 260. Does 6 divide j?
True
Let g = 102 - 102. Suppose s = -g*s - 2*m + 36, 0 = -4*s + 5*m + 118. Is s a multiple of 4?
True
Let s be 413/(-2)*2/(6/(-6)). Suppose s = 6*h - 379. Is h a multiple of 16?
False
Let p(b) = 12*b**2 + b + 2. Let k be p(5). Let u = -181 + k. Is u a multiple of 42?
True
Suppose 0 = -46*t + 43*t + 2451. Does 9 divide t?
False
Let r = -664 + 658. Let f(q) be the third derivative of -q**4/24 + q**2. Is 3 a factor of f(r)?
True
Let c(w) = 7*w + 82. Is 41 a factor of c(0)?
True
Let q = -926 + 2847. Is 113 a factor of q?
True
Let p(l) = -l**3 + 18*l**2 - 31*l + 5. Is 5 a factor of p(14)?
True
Does 8 divide 2*5 + 2363 + -93?
True
Let y(d) = d**2 - 4*d + 1. Let w be y(3). Let f be (-14 - w)/((-3)/2). Let b(r) = r**3 - 9*r**2 + 12*r - 12. Is 10 a factor of b(f)?
True
Suppose -9 = -c + 3. Let o = -7 - c. Let q = 13 - o. Does 16 divide q?
True
Let n(p) = 60*p**2 + 3*p - 3. Is n(3) a multiple of 42?
True
Suppose 2*y = 157 - 47. Suppose 13*a - 5*a - 16 = 0. Suppose -y = -8*i + 3*i - 5*p, i = -a*p + 6. Is 16 a factor of i?
True
Suppose 0 = 26*h + 30*h - 26880. Does 40 divide h?
True
Suppose -7*z = -3*z + 112. Let r = 58 + z. Is 29 a factor of r/20 + 110/4?
True
Let i = 74 - 72. Suppose i*x - 146 = -4*r, -3 = 4*r - r. Is x a multiple of 15?
True
Does 7 divide ((60/(-1))/(-6))/(1/34)?
False
Suppose 2 = -3*j - 4*i - 4, 0 = -i + 3. Let s be -5*-1*j/(-10). Suppose 3*o + 2*a - 118 = 0, -3*o + 49 + 44 = -s*a. Does 12 divide o?
True
Let q(c) be the third derivative of c**5/20