 - 11*u + 2. Is c(-11) a multiple of 61?
True
Let s(t) = -t**3 - 4*t**2 - 3*t - 6. Suppose -1 + 5 = -x. Is 4 a factor of s(x)?
False
Suppose -32 = -3*r - 2*o, -2*o = -0*o + 10. Does 7 divide r?
True
Let d = 13 + -1. Let n(m) = m**2 - 5*m + 5. Let w be n(5). Suppose -w*k + k - 4*r = -24, -2*k + d = -2*r. Is k a multiple of 6?
True
Let v(j) be the third derivative of 1/12*j**5 + 0*j**4 - 1/6*j**3 - 3*j**2 + 0 + 0*j. Is v(1) a multiple of 4?
True
Suppose 0 = -5*b + 23 + 7. Is b even?
True
Suppose 308 - 50 = 3*b. Suppose -3*y = -y - b. Is y a multiple of 21?
False
Let s = 25 - 11. Is s a multiple of 8?
False
Suppose 3*p + 2*u = 160, u = -2*p + 6*u + 113. Is 6 a factor of p?
True
Let s(f) = -2*f**2 - 13*f - 8. Let r be s(-10). Let l = -40 - r. Does 23 divide l?
False
Suppose -4*g = 4*k - 28, -4*g - 16 = -2*k + 10. Suppose -3*u + k = -4*u - 5*r, -5*r - 33 = -3*u. Does 3 divide u?
True
Suppose -2*i + 35 - 11 = 0. Is 17 a factor of (i/(-8))/(3/(-150))?
False
Let y(j) = j**3 + 24. Suppose 5*p - 6 = 3*r - 0, -r - 2 = -2*p. Is y(p) a multiple of 12?
True
Suppose k - 17 - 17 = 0. Is k a multiple of 17?
True
Let l be 48/21 - (-4)/(-14). Suppose 3*x = l*x + 20. Does 10 divide x?
True
Does 28 divide -1*(-24)/(-18) - (-508)/3?
True
Let y be (-4)/(-14) + (-18)/14. Let s = 19 + y. Does 6 divide s?
True
Let x = -1 - -2. Let v be (-3)/x*(-10)/(-6). Let d(j) = -j**3 - 4*j**2 - j + 3. Does 13 divide d(v)?
False
Is 12 a factor of (-2548)/(-35) - (-8)/(-10)?
True
Let b(w) = -w**3 - w**2 - w + 126. Let j be b(0). Suppose -n + 21 = v - 13, 3*v - 5*n = j. Does 14 divide v?
False
Suppose 20 + 82 = 3*f. Is 6 a factor of f?
False
Suppose 4*q - 2*t + 4 = 0, -q - 1 = -2*t - 6. Is 12 a factor of q/((9/(-24))/3)?
True
Let q = 315 + -225. Does 18 divide q?
True
Let a(t) = -t**2 - 11*t + 6. Let f(h) = h - 1. Let s(q) = -a(q) - 6*f(q). Is 18 a factor of s(4)?
True
Let v(g) = g**3 - 5*g**2 - 4*g - 6. Let w be v(6). Suppose s + 2 = t, -t + 0*s - w = s. Let a = t + 32. Is 9 a factor of a?
False
Let v = 0 + 3. Suppose 0*k + v*k - 153 = 0. Is 21 a factor of k?
False
Let c = 0 - 6. Is 7 a factor of (-40)/c - 11/(-33)?
True
Let w(d) = d**2 + d. Let k be w(-1). Does 2 divide k + (-3 + 2 - -3)?
True
Suppose 0*w = 4*w - 32. Suppose 4*u + 0*u - w = 0. Suppose -u = -3*v + 34. Does 12 divide v?
True
Let l be (6/8)/((-7)/(-28)). Suppose 8*a - 40 = l*a. Let m = a - -16. Is m a multiple of 8?
True
Let j(p) = -p**3 + 9*p**2 - 6*p + 10. Suppose r = -r + 16. Let q be j(r). Suppose -3*g - 2*t = -27, 4*g + 5*t - q - 10 = 0. Does 5 divide g?
False
Suppose 0 = 2*r + 6, -4*o + 73 = -3*r - 348. Does 21 divide o?
False
Suppose -3*w + 65 = 2*w. Is w a multiple of 13?
True
Suppose 3*x + 120 = 5*x. Suppose -5*b + 0*b = -x. Does 12 divide b?
True
Let d(m) = -m**2 + 1 + 14*m**2 - 2*m**2 + 0. Let n(s) = 23*s**2 - s + 2. Let w(j) = 5*d(j) - 2*n(j). Is 11 a factor of w(-2)?
True
Let u(l) = l**2 - 6*l + 1. Let y be u(4). Let a be (-111)/(-21) - (-2)/y. Let g = 11 - a. Is g a multiple of 2?
True
Let b = 4 - 1. Let z(c) = -2*c - 4 - 2*c**2 - 3*c**2 - c**b + 7*c. Is 2 a factor of z(-6)?
True
Let m = 7 + -13. Let d(z) = -z**3 - 5*z**2 + 4*z - 7. Let h be d(m). Suppose -h*a + 68 = -92. Is 16 a factor of a?
True
Suppose 3*n - 12 = 30. Is 2 a factor of n?
True
Let s = 149 - -147. Does 37 divide s?
True
Let j(q) be the third derivative of q**6/120 - q**5/30 - q**4/24 - q**2. Let a be j(2). Let y(v) = -17*v + 1. Is 13 a factor of y(a)?
False
Suppose -f + 12 = -4*f. Let n(w) = w**3 - 6*w**2 - 2*w. Let y be n(6). Does 3 divide y*(-1)/((-6)/f)?
False
Let m be (2 + -6)*(0 + -2). Let c be m/(-24) - (-16)/3. Suppose 3*s - a - 4*a = 69, c*s = a + 137. Is s a multiple of 12?
False
Let f(t) = -6*t + 1. Let p be f(-3). Suppose -p = -4*o + 1. Is 5 a factor of o?
True
Let j(a) = a**2 - a + 1. Let f be (-5)/(-5) - 2*1. Let z(o) = 7*o**2 - 16*o. Let p(c) = f*z(c) + 6*j(c). Is p(6) a multiple of 15?
True
Suppose 10 = k + 2*h - 15, -2*h - 80 = -4*k. Let j be (-2 + k/9)*9. Suppose 0 = 6*u - j*u - 45. Does 5 divide u?
True
Suppose 3*k + 99 = -2*q, -2*q + 4*k = -4*q - 98. Let r = -15 - q. Suppose 0 = -w + 2*w - r. Is 18 a factor of w?
True
Let d be ((-4)/1)/(2/(-1)). Suppose -d*a = -4*h - 20, 3*a - 5*h - 37 + 10 = 0. Suppose a*x - 25 = 107. Is 14 a factor of x?
False
Let d(y) = -38*y**2 - 13*y - 15. Let u(w) = -9*w**2 - 6*w - 10 - 10*w**2 + 3. Let s(v) = 6*d(v) - 13*u(v). Is s(-1) a multiple of 12?
False
Suppose 2*j + j = 48. Is 11 a factor of (-3)/12 - (-516)/j?
False
Let k be ((-1)/(-3))/((-6)/(-54)). Suppose -k*t + 168 = t. Does 14 divide t?
True
Suppose -3*y - 2*j = -212, 0 = -4*y - 5*j + 181 + 104. Suppose 0 = u + 4*u - y. Is 7 a factor of u?
True
Suppose 3*d = 2*d + 73. Does 16 divide d?
False
Let c = -5 - -18. Does 2 divide c?
False
Is 30 a factor of (386/6)/((-10)/(-30))?
False
Let q(t) = -t**3 - 4*t**2 + 7*t + 9. Suppose -3*s = 4*k - 63, 4*k - s = s + 38. Suppose -42 = 5*i - k. Does 14 divide q(i)?
False
Let l(x) = -x**2 - 6*x - 5. Let j be l(-7). Is 1 - (1 - -3) - j a multiple of 9?
True
Suppose 16*i = -98 + 770. Is i a multiple of 7?
True
Suppose 4*m - 24 = x + 17, 5*m + 2*x = 48. Is m a multiple of 5?
True
Suppose -4*g - n + 19 = 0, -n = -2*g + 3 + 2. Let f(k) = -k**2 + 8*k - 2. Is f(g) a multiple of 5?
False
Let r be ((-24)/(-20))/(1/5). Suppose -r*a + 44 = -2*a. Is a a multiple of 3?
False
Let z(u) = -2 + 4*u - 4 + 9. Is z(5) a multiple of 23?
True
Let q(z) = -z**2 - 9*z - 2. Let x = -5 - -8. Suppose 13 = -x*b - 2. Is 9 a factor of q(b)?
True
Does 28 divide -3 + (0 - -50 - 0)?
False
Let b = -94 - -349. Does 15 divide b?
True
Suppose -f - 16 = 3*u - 234, -3*f + 289 = 4*u. Does 23 divide u?
False
Let h(s) = -s + 5. Let r be h(0). Suppose 0 = 3*t, -3*j + 13 = -r*t - 26. Suppose 4*u - 11 = j. Does 5 divide u?
False
Let r(g) = -g**2 + 2*g + 4. Let h be r(3). Let m be (-1)/(-1) + h + 0. Suppose -j + 165 = m*j. Is 19 a factor of j?
False
Does 13 divide (-7)/((-196)/(-12)) + 734/14?
True
Let n be 0/(1 - 0 - 3). Suppose -a + 5*z - 2 = -n, 28 = 3*a + 2*z. Is a a multiple of 3?
False
Let a be (-13)/(-3) + (-4)/(-6). Let b be 4/(-10) + 17/a. Suppose -5 = b*s - 113. Does 15 divide s?
False
Let q(b) = 4*b**2 - 2*b + 1. Let z be q(1). Suppose -z*p - 6 = -5*p. Suppose -c = 3*f + 2*f - 57, c + p = 0. Does 12 divide f?
True
Suppose -4*u + 3 = -3*w + 83, -86 = -3*w - 2*u. Suppose -q - w = -3*q. Does 14 divide q?
True
Suppose 3 = -4*u - 2*w + 19, -12 = -2*u - 2*w. Suppose 0 = -p + u. Does 2 divide p?
True
Let m = 83 - -9. Is 23 a factor of m?
True
Let x = -18 - -32. Is 16 a factor of (-1872)/(-84) - 4/x?
False
Let h(q) = q. Is h(6) a multiple of 3?
True
Let n(l) = -9*l - 8. Let u = 3 - 7. Does 14 divide n(u)?
True
Let x be ((-4)/(-3))/((-14)/(-147)). Suppose 9 = 2*m - 1. Suppose -m*r + x = -86. Is r a multiple of 9?
False
Let t = -7 - -10. Suppose 5*d + 2*i - 73 = 133, -t = -i. Does 18 divide d?
False
Suppose -5*u + 276 = -2*u. Suppose -3*g = -2*d + 64, -4*d + 0*d - 3*g = -u. Does 13 divide d?
True
Let g = -6 - -6. Suppose -4*u + 57 + 47 = g. Does 11 divide u?
False
Suppose n = 4*n - 6. Let s = 2 - n. Suppose -4*d + 5*t = -s*t - 43, 5*d - 75 = 2*t. Does 17 divide d?
True
Let k be (46/8)/((-3)/12). Let g = 17 - k. Is g a multiple of 9?
False
Let m = -10 + 7. Let i(v) = -v**3 + 3*v + 2. Let s be i(m). Suppose s = 3*d - 58. Is 13 a factor of d?
True
Suppose -i + 5*o = 4 + 3, 5*i = -5*o + 25. Suppose -55 - 26 = -i*c. Is c a multiple of 15?
False
Suppose 108 + 282 = -5*y. Is 8 a factor of -8*(y/8 - -4)?
False
Suppose 5*q = 3*w + 58, 4*q + 2*w - 64 = -0*q. Suppose 0*g = 3*o + g - q, -5*o + g + 26 = 0. Does 3 divide o?
False
Suppose 4*w - 5*v + 13 = 0, -w - v = v - 13. Suppose -m + 3*l - 14 = -w*m, l = -2*m + 10. Does 3 divide m?
False
Let z = -1 + 6. Suppose -z*m = -m + 20, 0 = -3*v + 5*m + 112. Is 10 a factor of v?
False
Let x = 448 - 268. Suppose -2*g + x + 20 = 0. Suppose -3*n + g = -d, d - 3*d = 5*n - 152. Does 17 divide n?
False
Let l = -7 - -13. Let m(k) = -k**3 + 6*k**2 + 3*k - 6. Does 6 divide m(l)?
True
Let a = -4 + 6. Suppose 2*g + 4 = a. Is 7 - (1 - g)/1 even?
False
Let c(o) = 9*o**2 - 2*o - 2. Let h be c(-3). Suppose -55 = -2*z + 7*u - 2*u, -4*z + 5*u + h = 0. Is 5 a factor of z?
True
Let k = -7 + 4. Is (-10)/(-4) - k/(-6) a multiple of