0/(-3)*s - -1. Suppose 0 = i - 12 - u. Is 11 a factor of i?
False
Suppose -30 = 2*s - 5*s. Let l be ((-14)/35)/(2/s). Is 13 a factor of 25 - (5 + -3)/l?
True
Suppose 20 = 5*w - 5*c + c, -4*w = 4*c - 16. Suppose -593 + 209 = -w*t. Suppose j = -3*j + t. Is j a multiple of 12?
True
Let a(o) = -7*o - 10. Is 4 a factor of a(-5)?
False
Let g(w) = w**2 + 19*w + 15. Does 3 divide g(-19)?
True
Let v = -332 + 218. Let u = -64 - v. Is 25 a factor of u?
True
Let l(t) = t - 10. Let p be l(13). Suppose s - p*u - 53 = 0, -5*s + 180 = -s - 4*u. Is s a multiple of 18?
False
Suppose -3*h = -4*h + 2. Suppose 3*v = -5*f + 7 + 5, -v + h*f = -15. Is 5 a factor of v?
False
Let z(d) = 2*d**2 + 2. Let k be z(2). Suppose 0*o - 198 = -3*o. Suppose o = 4*p - k. Is 8 a factor of p?
False
Let d = 3 - -7. Does 2 divide d?
True
Does 12 divide (-4)/(-6) - 230/(-6)?
False
Let a be 10/(72/33 - 2). Let w be -1 + 0 - (3 - a). Is 16 a factor of (1/3)/(1/w)?
False
Let u(w) = w**3 + 5*w**2 - 8*w - 7. Let g be u(-6). Suppose 2*c + 1 = g. Suppose 109 = 3*y - c*j, 2*j + 194 - 50 = 4*y. Does 16 divide y?
False
Let f(o) = 3 + 0 - 3*o - 5. Let w(i) = -i - 1. Let m(t) = -6*f(t) + 13*w(t). Is 14 a factor of m(3)?
True
Suppose -4*j + 2*j = 5*v - 288, -3*j + 12 = 0. Is 15 a factor of v?
False
Does 13 divide 10/35 - 430/(-14)?
False
Does 14 divide 3/(18/(-42))*(2 - 52)?
True
Let h be 259/(-35) + (-2)/(-5). Let k = -1 - h. Is k a multiple of 6?
True
Does 6 divide (-6 + (-715)/(-25))*(0 - -5)?
False
Suppose 0 = 5*q - 0*q + 80. Let v = q - -40. Is v a multiple of 12?
True
Suppose 3*s + 120 = 8*s. Is s a multiple of 12?
True
Let n(m) be the second derivative of m**3/3 + 6*m**2 - 3*m. Let d be n(-9). Is 8 a factor of ((-3)/9 + -1)*d?
True
Let b = 2 + 0. Suppose -b*q - 6 - 12 = -4*a, -2*a - q = -3. Suppose -3*v - 4*x - x = -22, -a*x = -5*v + 82. Is 14 a factor of v?
True
Let y = 4 + -6. Let h be (-2*1)/(y/(-7)). Let v = h + 19. Is 5 a factor of v?
False
Suppose -2*t - 2*t = -12. Suppose 3*o - 4*z - 120 = 0, 0 = 3*o - z + t*z - 102. Suppose 4*k - o = 4*g, -2*g = -4*g + 6. Is 6 a factor of k?
True
Suppose 0*r - 4*z = 2*r + 26, 19 = -2*r + 3*z. Let v = 35 + r. Does 10 divide v?
False
Let j(s) be the third derivative of -s**5/60 + s**4/3 + 7*s**3/6 + 3*s**2. Does 12 divide j(6)?
False
Let j be ((-2)/(-4))/(1/4). Suppose 0 = 2*c + j + 2. Does 16 divide 120/3 - 4/c?
False
Suppose 2*g - 3*j - 58 = 0, -3*g = 2*g + j - 111. Is g a multiple of 10?
False
Let f(z) = -4*z**2 + 8*z**2 - 3 + 5*z**2. Is f(-3) a multiple of 16?
False
Let h be -1 + 0 - 1*14. Does 10 divide (-6)/h - 83/(-5)?
False
Suppose -4*o + 5*c + 116 = 0, 2*o = 4*o - 2*c - 56. Does 3 divide o?
True
Suppose 10*o - 1196 = 6*o. Is o a multiple of 44?
False
Let c be (-2)/4 + 5/2. Let g be 1*-2*c/1. Does 5 divide ((-4)/6)/(g/30)?
True
Let t = 92 + -40. Is t a multiple of 26?
True
Suppose -k + 4*p + 8 = -3*k, -4*k = 4*p + 4. Suppose -3*s - k*x = -7*s + 48, -5*s = -x - 54. Is s a multiple of 10?
True
Suppose -o - 86 = -4*g + o, 5*o = -5*g + 100. Is g a multiple of 3?
True
Let t be (-1 - 16)/((-4)/20). Suppose -3*k + 150 = 3*x, -2*k - 2*x - 3*x + t = 0. Does 27 divide k?
False
Let m be 1 + (-1)/(1 - 0). Let z = 3 - m. Does 3 divide z?
True
Suppose 3*h + 3*h - 750 = 0. Is h a multiple of 25?
True
Let q(z) be the third derivative of -z**4/24 + 2*z**2. Let d be q(0). Suppose 3*m - 6 - 39 = d. Is m a multiple of 8?
False
Let r(d) = -d**3 - 2*d**2 + 5*d + 6. Let w(u) = -u**2 + 3*u + 5. Let i be w(4). Let m = i + -5. Does 9 divide r(m)?
True
Is 21 a factor of (21 + -5)/(1/17)?
False
Let w = -87 - -51. Is (2/(-4))/(3/w) a multiple of 4?
False
Let h(s) = -s**3 + 7*s**2 - 5*s. Let q be h(6). Let r be (0*(-2)/6)/2. Suppose -2*j = -8, r = 3*z - j - 2 - q. Is z a multiple of 3?
False
Suppose 2 - 20 = -3*n. Let x be 2/n + (-41)/(-3). Suppose -3*d = -x - 25. Is 13 a factor of d?
True
Suppose 3*q = 2*b - 7*b + 422, 0 = -q + 2*b + 148. Does 12 divide q?
True
Let a(c) be the second derivative of c**4/12 - 7*c**3/6 - 7*c**2 - 3*c. Let d be a(10). Is (d/(-20))/(4/(-30)) a multiple of 4?
False
Let g = -6 + 34. Is 28 a factor of g?
True
Let a = 33 + -48. Is 10 a factor of a*((-5)/3 - -1)?
True
Suppose -5*n = 4*g - 36 - 6, 5*n = 3*g - 49. Is 13 a factor of g?
True
Let l(w) = 10*w**2 + 3*w + 6. Does 10 divide l(-2)?
True
Suppose -f - 4*f - 45 = 0. Let h(b) = b**2 + 6*b - 7. Is 10 a factor of h(f)?
True
Is 11 a factor of 178/8 - 10/40?
True
Let y = -58 - -93. Is y a multiple of 13?
False
Suppose 465 = -5*a + 5*j, a = -3*a + 3*j - 374. Does 9 divide 1/4 - a/4?
False
Suppose -4*m - 3*d = -627 - 61, m = 4*d + 153. Is m a multiple of 36?
False
Let k = 44 + -21. Does 7 divide k?
False
Let n = 4 - 1. Suppose -l = n*l - 264. Is l a multiple of 16?
False
Suppose -g = -2*p + 36, -4 = 2*g - 0*g. Suppose l + p = 2*l. Does 17 divide l?
True
Let k(f) = -f**3 + 7*f**2 + 10*f. Is k(5) a multiple of 10?
True
Let c(t) = -14*t + 1. Let o be ((-5)/(-15))/(2/(-18)). Is c(o) a multiple of 11?
False
Suppose -t - 52 = -5*t + 4*z, 15 = 3*z. Suppose t*m - 17*m = 34. Is 8 a factor of m?
False
Let h(f) = -f**3 - 6*f**2 - f + 5. Let t be h(-5). Is ((-204)/t)/(4/10) a multiple of 15?
False
Suppose 2*t - 232 = 62. Is t a multiple of 21?
True
Let h be 76/18 + -5 + 43/9. Let i(d) = -d**3 + d**2. Let z be i(1). Suppose -l - 12 = 4*a, z*a - 28 = -l + h*a. Is 5 a factor of l?
False
Let i be 0*(3/(-2))/(-3). Suppose i*u + 76 = u. Let y = u + -36. Is 14 a factor of y?
False
Let i be (-4 - -5) + -6*22. Let g = i - -185. Is 18 a factor of g?
True
Suppose 2*o + 2*f - 284 = 0, 5*o + 4*f = 4*o + 133. Does 27 divide o?
False
Let q be -2*(3 + -2)*-4. Let j be -9 - (q/(-2))/(-2). Is 8 a factor of 3/(j/(-8) - 1)?
True
Is (6 + 29)*(0 - 28/(-10)) a multiple of 14?
True
Suppose 0 = -i + 2*s + 17, -3*i + 4*i + 4*s = 35. Is i a multiple of 21?
False
Let l = -1 + 26. Is 25 a factor of l?
True
Let u be (-10)/4*(-820)/25. Is (-2)/(u/(-78) - -1) a multiple of 13?
True
Let l(w) = -9*w + 4. Let i be l(-4). Suppose -104 = -4*x + 2*b, -5*x + 3*b + i = -89. Does 9 divide x?
True
Let a(s) = s. Let h(l) = 3*l. Let j(m) = 6*a(m) + 3*h(m). Suppose 0 = 13*x - 8*x - 5. Does 7 divide j(x)?
False
Suppose 0 = 6*r - 2*r - 12, 5*s = 5*r + 155. Is 2 a factor of s?
True
Let g(f) = 10*f - 13. Is 16 a factor of g(7)?
False
Let h(m) = -9*m + 1. Is 25 a factor of h(-11)?
True
Suppose w = -5*u + 127, 4*u + 3 - 11 = 0. Is w a multiple of 13?
True
Suppose 3*i = -0*l - 3*l, 0 = -l - 2. Suppose -i*y + 4*h = 2*y - 116, h = -3*y + 103. Does 16 divide y?
False
Let r = -1 - -6. Suppose 3*x - 48 = 3*y, -x - 11 = -r*y - 35. Is 8 a factor of x?
False
Is 8 a factor of (-10 - 315/(-28))/(1/92)?
False
Let w(r) = 5*r**3 - 2*r**2 + 2*r - 1. Let t be w(1). Suppose -t*b + 5*b = 0. Suppose v + v - 6 = b. Is v even?
False
Is 3 - 2/(4/(-30)) a multiple of 5?
False
Let z be 2/(-4)*2 - -5. Suppose -21 - 3 = z*b. Does 11 divide 9*(-1)/(b/20)?
False
Let r(o) = 2*o**3 - o**2 + o. Let v be r(1). Suppose 3*w - 50 = v*w. Is 25 a factor of w?
True
Let t be (1/(-3))/(1/6). Is -6*((-20)/(-3))/t a multiple of 19?
False
Let i(y) = 4*y**2 - 3*y + 4. Is i(-3) a multiple of 18?
False
Suppose -4*i + 16 = -g, 6*i = i + 25. Suppose 0 = 6*a - 2*a + g. Does 6 divide 8/(-10)*(a - 14)?
True
Let i(g) = 5*g**2 - 6*g + 1 - 6*g**2 + 5*g. Let l be i(2). Does 4 divide -1 - (1 + -2 + l)?
False
Is (2 - -10 - -2)/((-2)/(-12)) a multiple of 14?
True
Suppose -b = -2*b - 3*g - 78, -2*g - 234 = 3*b. Is (0 - 3)*b/9 a multiple of 9?
False
Let u = -63 + 94. Suppose -u - 17 = -3*x. Is x a multiple of 4?
True
Let j(d) = d**2 + 3*d. Let s be j(-4). Suppose 0 = -s*a + k + 94, -3*k = 5*a - 3*a - 54. Is a a multiple of 8?
True
Let m(w) = -2*w**2 + 13*w - 12. Let q be m(8). Let x = q + 60. Does 12 divide x?
True
Suppose -4*o + 2 = 42. Is (-64)/o*(-2 - -7) a multiple of 16?
True
Let g be -2 - (-4)/(0 - -2). Let u = g - -1. Is (75/9)/(u/3) a multiple of 22?
False
Is (2 - 2) + -3 - -62 a multiple of 26?
False
Suppose -3*l = 3, l + 1 + 4 = r. Suppose 2*s = -b + 5, -4*b = r*s - 4 - 24. Is 9 a factor of b?
True
Let q = 7 - 2. Let z(p) = -5 + 0 + 2 - q*p. Is 7 a factor of z(-3)?
False
Suppose -5*x = -4*a + 10, x + 2*x = -4*a - 6. Suppose 6*c - 4*c + 16 = a. Does 2 divide (-3)/3*(c + 3)?
False
Let b(q) = 3*q - 10. Let s(l)