4*k = -0*c - 29. Is c a multiple of 5?
False
Suppose 0 = -5*w - 20, 2*w + 9 + 2 = x. Let r be x/(-6)*4*-26. Suppose -2*j = 3*k - r, j - 2*j + 4*k + 4 = 0. Is 20 a factor of j?
True
Let y = 0 + -13. Is 8 a factor of y/(-2)*4 + -2?
True
Let s(k) = -k**2 - 9. Let m(b) = -3*b**2 + b - 26. Let l(y) = -4*m(y) + 11*s(y). Let n(g) = g**2 - 2*g - 1. Let w be n(4). Is 13 a factor of l(w)?
True
Let n(i) = -9*i - 1. Let p(r) = -10*r - 1. Let j(t) = 6*n(t) - 5*p(t). Is j(-4) a multiple of 13?
False
Let w(f) = -2*f**3 + 3*f**2 - 3*f + 1. Let k be w(2). Let d(m) be the first derivative of m**4/4 + 3*m**3 - m**2 - 8*m + 3. Is d(k) a multiple of 10?
True
Suppose -z + 16 = -20. Is z a multiple of 22?
False
Let b = -21 - -34. Let a = b - -13. Does 13 divide a?
True
Let i(g) = 4*g - 5 + 2 + 4 + 3. Let a be i(6). Suppose 5*r = -2*z + a + 33, -7 = -r - 3*z. Does 11 divide r?
False
Let h(j) = j**3 - 2*j. Let x be h(-2). Let t = x - 2. Is t/(-4)*(-22)/(-1) a multiple of 25?
False
Suppose 3*m + 3*r + 0 = -3, 4 = -r. Suppose -3*s = 4*n - m - 34, -2*s = -4*n + 22. Suppose i - 23 = n. Is i a multiple of 15?
True
Is 14 a factor of (-2)/(-4) - 664/(-16)?
True
Suppose 2*f = 4*o - o + 9, 0 = -3*o + 3. Suppose 20 = 5*q, k + q - f = 10. Is 5 a factor of ((-81)/k)/(6/(-16))?
False
Let h(c) = c**2 - 3*c + 36. Is h(12) a multiple of 24?
True
Let f(d) = 4*d - 1. Suppose 0 = -2*k + k - w - 3, -17 = -5*k + 3*w. Let q be f(k). Suppose q*o = 7*o - 120. Is o a multiple of 18?
False
Let h(w) = w**2 - 6*w**2 + 6 + 3*w + w**3 - w. Is h(5) a multiple of 16?
True
Let l(o) = -o + 6. Let w be l(7). Let p be (-6)/(-2*w/(-2)). Is 64/p - 1/(-3) a multiple of 11?
True
Let c be 4/((-2)/(-4)*-1). Let u(k) = -k**2 - 8*k + 8. Does 7 divide u(c)?
False
Suppose -4*f = -2*g - 74, 2*g - 14 = -2*f + 14. Is f a multiple of 17?
True
Let y(i) = i**3 + i**2 - i - 2. Let c be y(2). Let g(j) = -7 - c*j + 4*j**2 + 5*j**2 + j**3 - 2*j**3. Is g(7) a multiple of 14?
False
Suppose -2*s + 11 = -13. Suppose -v = 3*v - s. Suppose -4*h + v*h + 6 = 0. Is h a multiple of 4?
False
Let g(w) = -2*w - 10. Let h be g(-9). Let x = h - -12. Is (48/x)/(6/40) a multiple of 8?
True
Suppose -3*l + 1 + 2 = -3*i, 3*l = 5*i - 1. Suppose -5*h = l*c - 13 - 7, 3*c = -2*h + 17. Is c a multiple of 3?
False
Let p = -1 + 67. Is p a multiple of 11?
True
Let y be 2 + (0 - 12/(-4)). Suppose 0 = -6*r + y*r + 54. Is 20 a factor of r?
False
Suppose -3*w = -5*w + 12. Let a = -4 + w. Suppose a*l - 23 = -3. Is 6 a factor of l?
False
Let s(v) = 4*v**2 + 2*v - 7 - 3*v + 8. Does 19 divide s(-2)?
True
Let d(l) = 5*l**2 + 26. Is d(0) a multiple of 13?
True
Suppose -3*z = -4*d - 26, -2*d = 4*z - 1 + 3. Let w(r) = 8*r - 8. Let a(k) = -33*k + 33. Let c(y) = d*a(y) - 21*w(y). Is 6 a factor of c(-3)?
True
Suppose 5*v = c + 9, 2*v + 2*c = -8 + 2. Let n(k) = 16*k**2 + k. Let d be n(v). Suppose 2*p = p + d. Does 11 divide p?
False
Let k(h) = 12*h**2 + h. Let a(m) = -m**3 + 7*m**2 - m + 9. Let n be a(7). Is k(n) a multiple of 25?
True
Suppose 2*d = 5*d - 3*o - 384, 0 = 2*d - 3*o - 258. Is d a multiple of 15?
False
Let f = -66 - -137. Is f a multiple of 32?
False
Suppose -66 - 10 = -s. Suppose 8 = 3*v - s. Does 7 divide v?
True
Let i = 4 + 4. Let c be (18/i)/((-1)/(-4)). Does 5 divide (-60)/(-9)*c/6?
True
Let t(z) = -z**3 - z**2 + 1. Let j be t(0). Let m be (-2 + j)*(0 - 2). Is 10 a factor of -2*m/(12/(-51))?
False
Suppose 3*a - 19 = -z, 5*z - 5 = 2*a + a. Suppose -z*s + 156 = -2*s. Suppose -2*f - 2*k = -s, 0 = -f + 5*k + 2 + 7. Is f a multiple of 17?
True
Suppose 8 = 5*d + 2*o - 0, -3*o = -4*d + 11. Suppose -d*m = 3*m - 290. Does 22 divide m?
False
Suppose 6*v = 4*v - 12. Let q = v + 6. Suppose 4*g = -2*c + 36, -3*c + q*g = 5*g - 57. Is 13 a factor of c?
False
Is (-40)/6*(-24)/16 a multiple of 5?
True
Let g(z) = 191*z**2 + 1. Let q be g(-1). Suppose h + 2*h - 2*o - 144 = 0, 4*h - q = 2*o. Does 16 divide h?
True
Suppose -4*v + 3*b + 554 = 0, -v + 2*b = -2*b - 132. Does 14 divide v?
True
Let r(i) be the second derivative of -i**5/20 + i**4/2 - i**3/2 + i**2 + 3*i. Does 22 divide r(4)?
True
Suppose -3*p = -3*h - 6, 2*p + 10 = 7*p. Suppose h = -4*m + 16, 2*w + m - 72 = -4*m. Is 9 a factor of w?
False
Suppose -58 - 48 = -y. Suppose 0 = f - x - 21, -5*f + 4*x + y = 0. Does 10 divide f?
False
Let c = -28 - -116. Is 36 a factor of c?
False
Suppose -9*v = -8*v - 132. Is 33 a factor of v?
True
Suppose 3*n - 110 = -0*r - r, -n + 32 = -2*r. Is n a multiple of 14?
False
Let b(u) = -33*u - 28. Does 19 divide b(-3)?
False
Let b(c) = c + 12*c**3 + 6 + 2*c - 3*c**2 - 8. Is b(2) a multiple of 26?
False
Let b(d) = -41*d + 1. Let r be b(2). Let s = r + 156. Let z = -38 + s. Does 13 divide z?
False
Is (5/(-2))/(-1 + 325/330) a multiple of 15?
True
Let s be (-2)/(-6) - 10/(-6). Suppose 8 = 2*p - s*g - g, -6 = 4*p + 5*g. Let a = 7 - p. Is 4 a factor of a?
False
Is 16 a factor of 120/9*84/10?
True
Suppose 2*r = 4*r - 18. Is 10 a factor of r/3*39/9?
False
Let s be 6 - ((-3 - -2) + 3). Does 5 divide (23/2)/(s/8)?
False
Does 14 divide 2*((-17)/(-1) - 4)?
False
Let h = -23 + 2. Let d = 29 + h. Does 4 divide d?
True
Let c(r) = 10*r - 10. Let j(s) = -4*s + 4. Let i(q) = -5*c(q) - 12*j(q). Suppose 4*y + 17 = 1. Is 5 a factor of i(y)?
True
Let s(o) = 3*o**2 + o. Let c(h) = h**3 + 5*h**2 - 7*h - 4. Let t = -11 + 5. Let q be c(t). Is 7 a factor of s(q)?
True
Suppose 43 = -w + 176. Is w/14*(1 + 1) a multiple of 5?
False
Suppose 2 + 1 = t. Suppose 2 = -t*j - 1. Is 12 a factor of (j/2)/(6/(-156))?
False
Suppose c - 25 = -4*c. Suppose -c*r - 125 = -385. Suppose -40 + 144 = 4*h - 5*v, -2*h + r = 5*v. Is h a multiple of 13?
True
Suppose -2*a = -225 - 63. Is a a multiple of 24?
True
Suppose -2*d + 20 = 3*d. Let k(c) = c + 6. Let s be k(-4). Suppose -d*t + s = -14. Is t a multiple of 4?
True
Does 39 divide (3 + 27/(-6))*-88?
False
Let c be ((-8)/(-12) + 0)*-3. Let v = c + 8. Does 2 divide v?
True
Let t(c) = c**2 + 15*c + 2. Is 17 a factor of t(-17)?
False
Let a = -11 - -7. Let j(n) = -n - 5. Let r(f) = -2*f - 8. Let v(x) = -7*j(x) + 5*r(x). Is v(a) a multiple of 4?
False
Let k be 0 + 1 - 198/(-6). Is 9 a factor of (k/(-8))/((-5)/20)?
False
Let z be (-60)/(-14) - (-12)/(-42). Suppose -2*l = -z*l + 10. Suppose 3*o = 6*o - l*t - 41, 5*o - t = 105. Is 22 a factor of o?
True
Let s = -3 - -4. Let j be -2*(-7 + s/(-1)). Suppose 0 = -2*y - 0 + j. Is y a multiple of 4?
True
Suppose 0 = g - 5 - 0. Let o be (37/2)/(g/(-10)). Let v = o - -55. Is 9 a factor of v?
True
Let v = 0 - -2. Let o be v/10 + (-14)/(-5). Suppose 7*s - 44 = o*s + 4*g, 2*g = 5*s - 52. Does 4 divide s?
False
Let f be 2/3 + (-77)/21. Is 3 a factor of f/(-18) - (-41)/6?
False
Let u(s) = 17*s - 1. Let c(d) = 52*d - 4. Let x(t) = 3*c(t) - 10*u(t). Does 8 divide x(-2)?
False
Suppose 6*z = 2*z + 68. Does 3 divide z?
False
Let u = 10 - 7. Let a(j) = j**2 + j - 4. Let m be a(-3). Suppose u*l - 11 = m*l. Is 6 a factor of l?
False
Suppose 4*z - 9 = -1. Suppose -2*u + z = -4. Suppose h = 2*p + u*h - 20, 0 = -p - 2*h + 13. Is 5 a factor of p?
False
Let a be 7 - (8/4)/2. Suppose 0 = -5*i - 3*c + a*c + 312, 4*c + 16 = 0. Is 15 a factor of i?
True
Let p(u) = 18*u + 9 - 3 + u**2 - 5*u**2 + 3*u**2. Is 4 a factor of p(17)?
False
Let v(g) = -g**3 - 8*g**2 + 3*g + 9. Let y be v(-8). Is 13 a factor of 238/6 + 10/y?
True
Let c be ((-4)/7)/((-8)/28). Suppose -54 + 0 = -c*k. Does 13 divide k?
False
Let j(t) = -t**2 - 7*t + 6. Let d be j(-8). Is 2/d - (-13 + 2) a multiple of 5?
True
Suppose 0 = 4*m - 15 - 57. Suppose -5*o + m = -2. Suppose l - 3*s = 27, -4*l = -l + o*s - 68. Is l a multiple of 9?
False
Let a = -7 - -10. Suppose -2*u - 13 = -a*f - 4, 6 = 2*f + 2*u. Does 3 divide f?
True
Let f be 350/85 + (-6)/51. Suppose 5*w + 4*d - 485 = 0, 323 = f*w + 3*d - 64. Does 27 divide w?
False
Let p = -5 + 9. Suppose -4*h = -p*f - 44, 5*f + 34 = 9. Does 4 divide (-20)/h*(-18)/15?
True
Let t(r) = -r**3 - 2*r**2 - 2*r + 2. Let w be t(-2). Let d = -6 + w. Suppose 5*u - 4*i = -d*u + 62, -36 = -2*u - 4*i. Is 14 a factor of u?
True
Let l be -2*(-1 - 5/(-2)). Let r(i) = -4 + 0 + 2*i + 2*i**2 + i**2 + 0. Is r(l) a multiple of 9?
False
Let a(c) = 7*c**3 - 3*c**2 + 2*c - 2. Is 23 a factor of a(2)?
True
Suppose -4*p + 5*r = 9, -p + r + 15 = 4*p. Let k be (-4)/12 - 398/(-6). Suppose -1 =