52/(-10) + -1)/((-2)/10)?
False
Is 18 a factor of (-508)/(-8) + (-1)/2?
False
Let s(x) = x**3 - 3*x**2 - 4. Is 6 a factor of s(4)?
True
Let d(m) = -m**2 - 6*m + 4. Let v be d(-7). Let c(i) = -i**2 - i + 2. Let l be c(v). Does 10 divide 104/(-20)*(l - 1)?
False
Suppose s = 13 + 26. Is s a multiple of 8?
False
Let v be -3 - 8*-4*1. Suppose 0 = 2*j - v - 1. Does 8 divide j?
False
Let x(m) = m**2 + 7*m - 3. Let n be x(-9). Suppose -5*g = 5*c - 30, -4*g + c = -8*g + n. Suppose 4*b - g*b = 11. Is 4 a factor of b?
False
Suppose -6*c = -3*c - 126. Let m = c + -22. Is m a multiple of 20?
True
Suppose 137 = 2*h - 9*z + 4*z, -2*h = 5*z - 167. Suppose 2*u = -s + u - 54, 66 = -s - 4*u. Let f = s + h. Does 9 divide f?
False
Let w(v) = -32*v - 3. Let j be w(2). Let n = j + 145. Is 26 a factor of n?
True
Let o(c) = -c**2 + 13*c + 27. Is 33 a factor of o(9)?
False
Let n(i) = -i**2 - 8*i - 4. Let a be n(-9). Let j = a - -30. Is j a multiple of 17?
True
Let d(u) be the first derivative of u**4/4 - 5*u**3/3 + u**2/2 + 5*u + 1. Let a(c) = -2*c - 13. Let s be a(-9). Does 10 divide d(s)?
True
Let a(p) = -39*p - 5. Let q be a(6). Let m = q + 164. Is m/(-12)*(4 + 0) a multiple of 10?
False
Suppose 5*m = 36 + 84. Does 12 divide m?
True
Let h(x) = x**2 - 10*x + 9. Let y be h(10). Let s = 17 - y. Is s even?
True
Let x = 31 - 10. Suppose 81 = -5*b - 3*f - 0*f, 0 = -b + 3*f - 9. Let p = x + b. Is 3 a factor of p?
True
Let f be 58/12 + 1/6. Suppose -2*w + f = -7. Suppose w = g - 0. Does 6 divide g?
True
Let x(k) = -3*k + 7. Is x(-5) a multiple of 5?
False
Let q = 9 + -4. Suppose 7*b - 4 = q*b. Suppose b*m = -5*l + 97, 5*m = l - 3*l + 190. Does 12 divide m?
True
Let f = -139 - -242. Is f a multiple of 39?
False
Suppose z - 3*z + 2 = 4*m, -m - 17 = 4*z. Let a = -3 - z. Let n(k) = 12*k - 3. Does 10 divide n(a)?
False
Suppose 190 = 3*p - 5*t, -4*p = 4*t + 58 - 290. Is 12 a factor of p?
True
Let y = 24 - 18. Is 4 a factor of y?
False
Let i(f) = -f**3 - 6*f**2 + 7. Let a be i(-6). Suppose 0 = -5*s + a + 183. Does 19 divide s?
True
Let w be 2*47/2 - -2. Let r = w - 19. Is 18 a factor of r?
False
Let c = 2 - -5. Does 3 divide c?
False
Let g = 32 + -17. Suppose 2*x - g = -3*x - 4*l, -4*l + 3 = x. Let m(r) = r**3 - r**2 - 3*r - 1. Does 3 divide m(x)?
False
Let m be (-40)/50*15*2. Let z = m + 31. Is 5 a factor of z?
False
Let k = 22 + 133. Does 19 divide k?
False
Let d(k) = -31*k**2 - 4*k - 1. Let j be d(4). Does 6 divide (-12)/28 + j/(-21)?
True
Suppose i + 63 = -2*i. Suppose -2*n + 90 = n. Let c = n + i. Is 8 a factor of c?
False
Let v be (-52)/(((-3)/(-2))/3). Suppose 2 = 2*i + 10. Does 9 divide i/(-6) - v/6?
True
Let q = 12 + -6. Let k(w) = -w**3 - w**2 - w + 1. Let h(d) = -5*d**3 - 11*d**2 - 15*d + 14. Let u(y) = -h(y) + 6*k(y). Is 5 a factor of u(q)?
True
Suppose -3*l + 8*l = 170. Is 4 a factor of l?
False
Suppose -4*z + 406 = -126. Does 38 divide z?
False
Suppose 4*u = 51 + 25. Let r = u + 19. Is 22 a factor of r?
False
Suppose 0 = q + 2*q - 66. Does 16 divide q?
False
Let u = 0 + 1. Let s = 7 - u. Is 3 a factor of s?
True
Let a(j) = -2*j - 1. Let m be a(-3). Suppose 3*t - 7 = m. Is (-2)/t*(-1 - 55) a multiple of 13?
False
Suppose v - 2*v + 196 = 0. Is 8 a factor of v?
False
Is 8 a factor of 1 + -14*(-4)/8?
True
Suppose -6*h - 40 = -h. Does 10 divide (-2)/8 - 186/h?
False
Let a(x) = x**3 - 4*x**2 - 3*x - 7. Let l be a(5). Is (1 - -37) + (-3)/l a multiple of 14?
False
Suppose 76 = 4*y - 188. Suppose -2*o - 3*a = -22, -5*a = -2*o - 2*o + 44. Suppose y = 5*j + o. Does 8 divide j?
False
Let q be (-6)/(0 + (-6)/4). Let m(v) = -4*v + 3*v - 2 + q*v + 2*v**2. Is 4 a factor of m(-3)?
False
Let z(c) = 8*c**2 + c. Is z(3) a multiple of 17?
False
Let u be -33 - (1/(-1) + 0). Suppose -21 - 123 = -3*x. Let m = u + x. Does 16 divide m?
True
Let v(y) = -y**2 + 14*y - 5. Let l(n) = n - 1. Let r(g) = -5*l(g) + v(g). Is 9 a factor of r(6)?
True
Suppose -i + 2*i = 48. Let v be 0 + 1*i - 0. Suppose 2*f - v = 18. Is 9 a factor of f?
False
Let a be (-12)/(-3) + (0 - 8). Let h = -4 - -2. Let p = h - a. Does 2 divide p?
True
Let r(y) = -3 - 7*y**3 + 3 - 4*y**3 + y. Let x be r(-1). Let f = x + -6. Does 2 divide f?
True
Suppose 0 = -2*z + 4*z - 12. Suppose -5*t - 9 + 24 = 0. Suppose z*n = t*n + 138. Does 17 divide n?
False
Suppose -3*n - 6*s - 13 = -s, 5*s = -2*n - 17. Suppose -n*l = 4*p - 109 + 5, 72 = 3*l + 5*p. Is 13 a factor of l?
False
Let b(f) = 14 + 3 - 1 + f. Is b(-13) even?
False
Let n(h) = -16*h - 3. Does 2 divide n(-3)?
False
Suppose 6*t - 60 = 5*t. Is t a multiple of 20?
True
Suppose 0 = -t + 54 + 13. Does 18 divide t?
False
Let j(x) = -x + 3. Let s be j(5). Does 17 divide s/(-1 + (-48)/(-51))?
True
Let r = -30 + 42. Let q = 0 - r. Let c = -4 - q. Is 4 a factor of c?
True
Suppose 3*y + i = -i - 62, -4*i + 96 = -4*y. Let q = 38 + y. Is q a multiple of 14?
False
Let q(o) = -23*o**3 + 2*o**2 + 2*o + 2. Let p be q(-2). Suppose -b - 4*b + p = 0. Is 13 a factor of b?
False
Is ((-3)/(-6))/(2/4) + 5 a multiple of 4?
False
Let l = 75 - 48. Does 3 divide 3/(-3 + l/8)?
False
Suppose 5*k + 3*z = 13, -k - 1 = -2*k - z. Let y = 13 - k. Let d(j) = -j**3 + 8*j**2 + 3. Does 2 divide d(y)?
False
Suppose 38 = -2*m - 3*x, 0*m + 4*m + 5*x = -72. Let t = 4 - m. Is 13 a factor of t?
False
Let g(w) = -3*w - 5. Let a be g(-5). Let m = a + -2. Is m a multiple of 4?
True
Suppose 0 = 3*f - q - 11, 0*q + q + 3 = f. Suppose 7*d - f*d - 288 = 0. Is 32 a factor of d?
True
Suppose -2*f - m - 33 = 0, -m - 6 - 11 = f. Let j = f + 60. Is j a multiple of 11?
True
Let a = -4 - -8. Let r(y) = y**3 - 4*y**2 + 4*y + 1. Let t be r(3). Suppose t*s - 2*x - 78 = -7*x, a*x = -8. Is 11 a factor of s?
True
Let v(z) = -z**3 + 9*z**2 + 4*z + 4. Is 31 a factor of v(5)?
True
Let v(k) = 2*k**3 - 5*k**2 + 3*k - 6. Let w = 6 + -2. Is 27 a factor of v(w)?
True
Suppose 5*t = -b + 140, -t + 2*b = 5 - 44. Does 29 divide t?
True
Suppose 4*k - 5*k = -25. Is k a multiple of 9?
False
Let a(n) = n + 19. Is 14 a factor of a(-5)?
True
Let q(n) = -3*n**2 - 4 + 2 + 8*n**2 + 0*n**2. Is 6 a factor of q(2)?
True
Suppose 10*y = 4*y + 276. Is y a multiple of 13?
False
Let z(m) = 4*m**3 - 5 + 0*m**2 + 0 + 4 + 2*m**2. Is z(1) a multiple of 5?
True
Let p(j) = j**2 - 5*j - 6. Let b be (-3)/(18/(-8))*-3. Does 10 divide p(b)?
True
Suppose 36 = n - 3*f - 8, -260 = -5*n + 5*f. Is n a multiple of 13?
False
Let j = 33 + -18. Does 15 divide j?
True
Let w(j) = -j**2 - 8*j + 28. Does 2 divide w(-10)?
True
Let b(c) = -c**3 + 7*c**2 - 4*c - 7. Let w be b(6). Does 4 divide -2*w/((-15)/6)?
True
Suppose -3*x - 9 = 0, -b = -0*b - 4*x - 63. Is b a multiple of 16?
False
Suppose 0 = y + y - 42. Suppose -2*p = -45 - 25. Let l = p - y. Is 7 a factor of l?
True
Suppose 0 = 3*p - 4*s - 172, -4*p - 3*s = s - 248. Is 9 a factor of p?
False
Let u be (10/15)/(2/15). Suppose u*l - 590 = -215. Does 19 divide l?
False
Suppose 10*y - 14*y + 420 = 0. Is y a multiple of 22?
False
Let k = -224 - -420. Is k a multiple of 28?
True
Suppose 0 = 8*s - 6*s - 50. Does 5 divide s?
True
Let s = 18 + -14. Suppose -50 = -3*z + j - 2*j, -2*z + 50 = s*j. Does 12 divide z?
False
Suppose 2*r = -5*h + 385, -5*r - 3*h + 567 + 443 = 0. Is r a multiple of 41?
True
Does 17 divide (0 - 434/(-4)) + (-2)/(-4)?
False
Let l be 24*(2 - 10/4). Let a be (l/18)/(2/(-36)). Suppose -a - 10 = -q. Is 11 a factor of q?
True
Let b be ((-27)/(-18))/(1/8). Is 24 - (-4)/(b/9) a multiple of 10?
False
Suppose -2*j = -2*i + 4, 2*j + 3*i - 2*i = 2. Suppose j = 4*s, 5 = -2*z + 5*s + 41. Is z a multiple of 4?
False
Let o(s) = s**3 - s**2 + s + 139. Is o(0) a multiple of 16?
False
Let k(l) = l**2 - 3*l - 4. Let m be k(4). Suppose m*p + 32 = 2*p. Is 7 a factor of p?
False
Let o(m) = -m**3 + 8*m**2 + 13*m - 20. Is 30 a factor of o(7)?
True
Suppose -4*s - 3 = 9. Let a = -13 - -20. Let k = s + a. Is 2 a factor of k?
True
Suppose 3*v - 47 = 34. Is v a multiple of 14?
False
Let z = 11 + 26. Is z a multiple of 14?
False
Let n = -6 + 6. Suppose 0 = z - 4*z + 4*k + 213, n = -5*z + 2*k + 355. Is z a multiple of 18?
False
Suppose 3*m = -21 + 3. Suppose -3 = 2*j + 5, -2*q + 34 = -4*j. Is m/(-27) - (-88)/q a multiple of 8?
False
Suppose -2*l + 14 = s, s + s - 3*l = 0. Let w = s - 3. Suppose -5*q - 32 = -3*c + c, -49 = -5*c - w*q. Does 11 divide c?
True