(41/(-2))/((-4)/m) + -3?
False
Suppose 70*s = 72*s + 4, 5*f - 3015 = -5*s. Is 87 a factor of f?
False
Let k be (4 - 2)/((-1)/(-53)). Suppose 4*u - d = 4*d + k, -3*u = -4*d - 79. Is 29 a factor of u?
True
Suppose -3*u - 3*a = -1098, 3*u + 5*a - 444 = 658. Is u a multiple of 28?
True
Suppose -4*s = -5*x - 25, 4*s + x + 3 + 2 = 0. Suppose -3*t - t - 3*i + 100 = s, -4*t + 100 = 2*i. Does 5 divide t?
True
Let h(y) = -119*y - 600. Is h(-12) a multiple of 46?
True
Suppose 4*w = 4*g + g + 1134, 4*w = -3*g + 1150. Is 6 a factor of w?
False
Let l(d) = d**3 + 7*d**2 + 4*d - 7. Let q be l(-6). Let v = q + -15. Let y = v - -14. Is 4 a factor of y?
True
Let i(p) = p**2 - 13*p - 7. Let k be i(14). Suppose -34 + 573 = k*w. Is w a multiple of 13?
False
Suppose 5*s + 4*g - 125 = -0*g, 5*g = 5*s - 170. Suppose -6*n = s - 257. Is 19 a factor of n?
True
Let r(d) = -d**3 - 2*d**2 - 3*d - 4. Let b be r(-2). Suppose -5*p - 3*a = -207, b*a - 193 = -5*p + 10. Is 8 a factor of p?
False
Let v be (-44)/(-16) - 1/(-6 - -2). Suppose 2*o - b = v*o - 16, 0 = 3*o - b - 28. Does 3 divide o?
False
Let f = -33 + 85. Suppose 0*d - f = -2*d. Does 2 divide (-13)/d + (-17)/(-2)?
True
Let l(v) = 2*v - v + 2*v + 5 - 5*v. Is l(-4) a multiple of 13?
True
Let j(m) = -m**3 - 22*m**2 + 19*m - 49. Is j(-23) a multiple of 4?
False
Suppose 4*b = 9*b - 75. Suppose 42 = -b*z + 22*z. Is z a multiple of 3?
True
Suppose n + 15 = 5*k, -3 = -2*k + 5. Suppose 138 = n*o - 2*o. Is o a multiple of 23?
True
Let z(m) = -m**2 - 16*m - 5. Let l be z(-10). Suppose -5*x + l = -175. Let j = x - 16. Does 10 divide j?
True
Suppose 24 = -m + 5*m - 3*s, -5*s - 23 = -m. Let f(z) = 3*z**3 - 6*z**2 + 2*z. Is 11 a factor of f(m)?
True
Does 37 divide (((-14610)/4)/(-15))/(1/2)?
False
Suppose 7*j - 259 = -0*j. Let f = j + -17. Is 4 a factor of f?
True
Suppose 37 = -3*u + 28. Is u + 19/6 + (-1282)/(-12) a multiple of 31?
False
Suppose -2*b = 393 - 1201. Does 16 divide b?
False
Let p(i) = 2*i**2 + 12*i - 11. Let f be p(-7). Suppose 3*n = 228 + 111. Suppose 206 = f*y - g + 33, -3*g - n = -2*y. Is y a multiple of 13?
False
Let o be 2 - (0/(-3))/2. Let y(d) = 0 + d**2 - o*d + 2 + 0*d + 1. Is y(6) a multiple of 8?
False
Suppose 94*f - 78*f = 81344. Is 62 a factor of f?
True
Suppose 6*p = 23043 - 2487. Is p a multiple of 16?
False
Let r = -1566 + 1834. Does 4 divide r?
True
Suppose -165 = f - 4*f + 2*m, -4*f + 222 = -2*m. Suppose 3*y + 51 = -f. Let p = -17 - y. Does 13 divide p?
False
Suppose w + 24 = 146. Is 61 a factor of w?
True
Let l be 296/(-10) + 4/(-10). Suppose -21*s = -389 - 913. Let t = s + l. Is t a multiple of 16?
True
Let v(l) = 10*l**2 - 1 + 16*l**2 + 0*l**2. Suppose 0 = h + 3*y - y - 5, h - 2*y + 7 = 0. Does 5 divide v(h)?
True
Suppose -11*z + 21*z = 9180. Does 18 divide z?
True
Suppose -15*t + 120 = -5*t. Suppose 0*p = -3*p + t, 3*p = 5*i - 78. Is 6 a factor of i?
True
Suppose 11465 = 16*j - 135. Does 29 divide j?
True
Suppose 0 = -21*i + 2273 + 1402. Is 15 a factor of i?
False
Let a(j) be the first derivative of j**4/4 - 7*j**3/3 + j**2/2 - 9*j + 12. Let r be a(7). Is -2*r*285/12 a multiple of 19?
True
Suppose 20*u = 15866 - 3686. Does 21 divide u?
True
Suppose 5083 + 4232 = 15*b. Does 67 divide b?
False
Let c(l) be the second derivative of -l**4/12 - 4*l**3/3 - 3*l**2 + 5*l. Let p be c(-5). Suppose z - 29 = -p. Is 20 a factor of z?
True
Is 20 a factor of (-6)/(-33) + 280676/242?
True
Let j = -181 + 213. Is 16 a factor of j?
True
Let c(w) = -w**3 + 10*w**2 + 9. Let x be c(7). Let d = x + -56. Is 15 a factor of d?
False
Let k = 625 - 312. Does 10 divide k?
False
Is 915/1 - 0/32 a multiple of 15?
True
Let r = -6 + 11. Suppose -2*c + 275 = 5*w, -5*w + r*c + 187 = -w. Let x = -33 + w. Does 10 divide x?
True
Let y(x) = x**2 + 2*x + 3. Let f be ((-2)/6)/(6/(-162)). Let s = 5 - f. Is y(s) a multiple of 3?
False
Let y be 37 + (-5 - -4)*1. Let f = -18 + y. Does 6 divide f?
True
Let v = 17 - 13. Does 12 divide 6/v*3*16?
True
Let j(h) = -8*h + 15. Let s be -9*2/2 - (-2)/(-1). Is j(s) a multiple of 13?
False
Let p be (-4 - -7)*(2 + -1). Suppose 0*a + 4*q = 3*a, 25 = 4*a + p*q. Suppose -3*f - 5*d + 35 + 42 = 0, -5*d + 101 = a*f. Is 8 a factor of f?
True
Let h = 925 + -412. Does 27 divide h?
True
Is 2/(-9) + 27940/18 - -6 a multiple of 38?
True
Let f(k) = 6*k**3 + 13*k**2 + 2*k - 6. Let w(p) = -7*p**3 - 14*p**2 - 3*p + 6. Let z(y) = 6*f(y) + 5*w(y). Suppose -2*c = c + 24. Does 9 divide z(c)?
True
Suppose 80*h - 45880 = 60*h. Is 16 a factor of h?
False
Suppose 2*r - 7*r + 10 = 0. Does 2 divide ((-3)/r)/((-3)/30)?
False
Let z(n) = n**3 + 8*n**2 + n - 1. Suppose -f = 4*p - 6, 0*f - 3*p = f - 3. Does 9 divide z(f)?
False
Let w(o) be the third derivative of -o**4/24 - 7*o**3/6 + o**2. Let b be w(-7). Suppose b = -0*k + 2*k - 5*t - 116, 114 = 2*k - 4*t. Does 28 divide k?
False
Suppose 0 = 4*h - h - 426. Let d = h - 70. Does 22 divide d/3 - (-2)/(-1)?
True
Let k = -234 - -609. Does 19 divide k?
False
Suppose 2 = -2*h - 3*m + 18, -3*h + 4*m = -7. Suppose -h*y + 3*x + 188 = -y, 5*y - 2*x - 235 = 0. Is 24 a factor of y?
False
Let b(h) = -3*h - 3*h + 16 + 5*h. Let z be b(14). Suppose 124 = 4*s + 5*w, -16 = -s - z*w - 3*w. Is s a multiple of 12?
True
Suppose 4*q + r + 3*r - 16 = 0, 4*r = -3*q + 13. Suppose q*w + 2*w = 5*c - 860, 820 = 5*c + 5*w. Suppose 0 = -5*n, -n = 3*o - 2*n - c. Is o a multiple of 13?
False
Suppose -2*b - 2*s + 1132 = 236, -4*b + 2*s = -1816. Is 113 a factor of b?
True
Let p(b) = -6*b - 1. Let l(q) = -24*q - 5. Let i(y) = 4*l(y) - 18*p(y). Does 29 divide i(5)?
True
Suppose -464 = -2*o + 3*p, 4*p - 6*p = 3*o - 722. Let w = o - 128. Does 22 divide w?
True
Let c(r) = r + 10. Let w be c(6). Let v(n) = 2*n + 13. Let m(f) = -f - 13. Let j(y) = 3*m(y) + 4*v(y). Is 11 a factor of j(w)?
False
Suppose -3*s + 5*q - 71 = 0, -2*s - 7*q + 2*q = 64. Let h = s + 39. Is h a multiple of 12?
True
Let n(y) = -y**3 + 5*y**2 - 22*y - 48. Is 30 a factor of n(-8)?
True
Suppose -z - 3*z - 60 = -5*p, -24 = 4*z + 4*p. Is 56 a factor of (-1)/5 + ((-3372)/z - 1)?
True
Let o be 5/(0 - (-4)/4). Suppose 0*u - 3*k - 5 = 5*u, o*u + k = 5. Let c(x) = x + 1. Is 3 a factor of c(u)?
True
Suppose 84 = -9*f + 13*f. Suppose 2*m + x - 19 = 0, -m - 3*x = 2*m - f. Does 12 divide m?
True
Suppose 3*n - 5*n + 303 = -3*h, -3 = h. Does 21 divide n?
True
Let w(p) = 2*p**2 + 24*p - 18. Let n be w(-13). Let j(m) = m**3 - 7*m**2 - 7*m + 6. Is 6 a factor of j(n)?
False
Let y(v) = 3*v**2 - 7*v + 1. Let r be y(6). Suppose d - r = -l, -l - 2*l = -3*d + 219. Suppose 0 = -0*j - 5*j + d. Is j a multiple of 9?
False
Let p(k) = -3*k - 11. Let m(t) = 3*t + 11. Let w(j) = 4*m(j) + 3*p(j). Let h be w(0). Suppose -h*c + 95 = -6*c. Is c a multiple of 4?
False
Suppose 0 = 3*q - 4*f + 19, 3*q + 43 = -4*f + 8. Let p be q/12 - 669/(-12). Let r = p - 39. Does 14 divide r?
False
Let u(o) = -o**2 + 9*o + 25. Let y = 1 - -9. Does 15 divide u(y)?
True
Let r be 1815/77 + 8/(-14). Suppose r = o - 15. Is 19 a factor of o?
True
Suppose -u + 545 = 5*i, 2*i + u - 300 = -85. Is 22 a factor of i?
True
Suppose 25 = b + 5*m, 3*b + 0*m - 31 = -4*m. Suppose 0 = 4*v + 4*a - 388, 60 + 418 = b*v - 2*a. Is v a multiple of 12?
True
Let r = 10 + -11. Let q(o) = -21*o**3 + o**2. Let m be q(r). Let g = m + 14. Is g a multiple of 18?
True
Suppose -f - 5*h - 27 = 23, 266 = -4*f + 2*h. Let k = -15 - f. Is k a multiple of 5?
True
Suppose 3*a + 2*n + 41 = 0, -3*a - 4 = -5*n + 51. Let w = 225 + a. Is w a multiple of 21?
True
Let f(a) = 2*a**3 - 8*a**2 + 12*a + 11. Let l(z) = -3*z**3 + 15*z**2 - 23*z - 22. Let b(w) = 5*f(w) + 3*l(w). Is 5 a factor of b(-6)?
False
Let z be (0 - 3)/((-6)/(-20)). Let h = z - -14. Suppose 2*o + 160 = 5*p, 7*p - h*p - 105 = 3*o. Is 15 a factor of p?
True
Suppose -2*m + 14 - 4 = 0. Suppose 3*r - m*y = -123, -6*y = r - 3*y + 27. Is 30/2*r/(-45) a multiple of 4?
True
Let x(q) = 6*q**3 - q + 3. Is x(4) a multiple of 44?
False
Suppose 4*i + 500 = 4*q, q + 399 = 4*q + 5*i. Does 6 divide q?
False
Suppose p - 4*o - 10 = -p, 0 = -5*p + o + 61. Suppose -1197 = p*f - 20*f. Is 57 a factor of f?
True
Suppose 20*d - 15*d = 5*b + 735, 5*d - 739 = 3*b. Does 8 divide d?
False
Suppose 0 = 3*k - 1044 - 468. Is 18 a factor of k?
True
Let j(d) be the third derivative of d**5/30 - 3*d**4/8 - d**3/3 - d**2