- 93, 2*m + z - 4*z - 181 = p. Does 24 divide m?
False
Let q be 51 - -2*1/(-2). Suppose -2*y + q = -42. Suppose 4*u = l - 0*u + 6, -3*l - 4*u = -y. Is l a multiple of 5?
True
Let k be (-5)/20 + (-18)/(-8). Is (-3)/(-24)*k + (-4184)/(-32) a multiple of 10?
False
Let r(q) = q**3 - 3*q**2 - q + 2. Let i be r(2). Let k(o) = 3*o**2 - 5*o - 3. Let p be k(i). Suppose 0 = 3*t - 31 - p. Is 11 a factor of t?
False
Let p be 9*(-2 - 0)/2. Let u(t) be the third derivative of -7*t**4/12 - 11*t**3/6 - 6*t**2 - 4*t. Does 24 divide u(p)?
False
Let w(d) = -4*d + 7. Let g(n) = -11*n + 21. Let o(p) = -3*g(p) + 8*w(p). Let y be o(11). Suppose y*h - 256 = -0*h. Is h a multiple of 18?
False
Let l(q) = -2*q**2 - 2*q + 1. Let p be l(1). Let w = p - 3. Is 4 a factor of (-27)/w*16/6?
True
Is 8 a factor of 2061/15 + 8/(-20)?
False
Let v be 4/(2/(-1)) - -2. Suppose v = -3*l - l - 16. Does 25 divide 3*(208/(-6))/l?
False
Suppose -16*b - 40 = 4*b. Let m(r) = 36*r. Let j(a) = 12*a. Let k(q) = 8*j(q) - 3*m(q). Is 12 a factor of k(b)?
True
Let v be (-9)/3 - (-4 - 3). Suppose 4*s = 5*i - 0*i - 384, 316 = v*i - s. Suppose -5*k + 285 = -i. Is k a multiple of 31?
False
Suppose 2*g - 356 = 5*d + 79, 12 = 4*d. Is 67 a factor of g?
False
Let b = 187 + -131. Let j = 98 - b. Is 589/7 + (-6)/j a multiple of 14?
True
Let z be 26/2 - (4 - (5 - 2)). Suppose 360 = -3*f + z*f. Is f a multiple of 20?
True
Let w(u) = 174*u + 3. Let v = 44 - 43. Is w(v) a multiple of 33?
False
Let l(s) = -s**3 + 10*s**2 + s - 7. Let v be l(10). Is 10/(v - -2)*55 a multiple of 8?
False
Let o = -365 + 1090. Is o a multiple of 29?
True
Let m(t) be the first derivative of t**3/3 + 6*t**2 + 10*t + 9. Is 10 a factor of m(-12)?
True
Suppose 3*a = d - 4, -2*a - 2 = -2*d + 18. Suppose -j + 2*c + d = -10, 61 = 3*j + 2*c. Is 7 a factor of j?
True
Suppose 2*y - 5*y + 5*a + 5 = 0, -5*y - a = -27. Suppose -4*k + 620 = y*g + k, -4*k + 136 = g. Is 40 a factor of g?
True
Suppose 0 = -324*c + 300*c + 696. Is c a multiple of 8?
False
Is 15 a factor of (2958 - 19) + (3 - -3)?
False
Suppose 2*t - 16 = 34. Suppose -2*s = 38 - 6. Let u = s + t. Is u a multiple of 7?
False
Suppose 5*x = 2*g + 907, 6*x = 4*x + 2*g + 364. Is 49 a factor of x?
False
Is 41 a factor of 6/(-4)*((-204138)/(-27))/(-11)?
False
Let h = -42 + 44. Suppose 0 = -h*t - 8, t - 228 = -4*z - 0*z. Does 29 divide z?
True
Suppose 20483 = -50*k + 111683. Is k a multiple of 32?
True
Let p(a) be the third derivative of 17*a**5/10 + 11*a**2. Is p(-1) a multiple of 12?
False
Suppose 5*z = 4*z + 1015. Is 29 a factor of z?
True
Let s = -29 - -35. Suppose 4*h = 3*f + 30, 26 = -s*h + 10*h - f. Does 6 divide h?
True
Suppose 5*l = 5027 + 3563. Is 24 a factor of l?
False
Let l(p) = -12*p + 10. Let y be l(5). Let g = 35 - y. Is 17 a factor of g?
True
Suppose -5*w + 443 = 22*p - 20*p, -4*w + 229 = p. Is p a multiple of 7?
False
Let t be (21/4)/((-3)/(-8)). Suppose -t - 34 = -d. Is d a multiple of 8?
True
Suppose -5*t + 4*t = -9. Suppose 4*w + 3 = k, -3*k + 0*w + t = 3*w. Suppose 2*g + 41 = 4*l - 5, 0 = -k*l + 4*g + 42. Is 10 a factor of l?
True
Let u(s) be the second derivative of s**7/2520 + s**6/240 - s**5/24 + s**4/4 + 3*s. Let k(b) be the third derivative of u(b). Is 2 a factor of k(-5)?
False
Let b(j) = 3*j - 7. Let t be b(4). Suppose 5*p = -t*l + 175 + 355, 0 = 2*l - 5*p - 219. Is l a multiple of 38?
False
Suppose -2*x = 2*w - 54, 0 = 4*w + 2*x - 142 + 40. Suppose 0 = 5*z - 5*g - 130, z - g = 2*g + w. Does 23 divide z?
False
Let k(m) = -m**3 + 2*m**2 + 5*m. Let y be k(4). Let v = -10 - y. Suppose -v*t = -39 - 19. Is 11 a factor of t?
False
Suppose 5*g + 10 = 15. Let x(p) = 90*p**2 + p - 1. Is x(g) a multiple of 53?
False
Let f(t) be the third derivative of -t**4/24 - 2*t**3/3 - 2*t**2. Let i be f(-7). Suppose y + 12 = 2*d - 2*y, i*d - 52 = -4*y. Is d a multiple of 4?
True
Let d = -176 + 254. Is d a multiple of 14?
False
Suppose m - 121 = 71. Is 24 a factor of m?
True
Let f = -25 + 25. Is 19 a factor of (-3 + f)*(-29)/3?
False
Let s(v) = -5 - 6*v + 5 + 2 - 3. Let x be s(-1). Suppose -4*q + x*j = -102, -5*j - 18 = -2*q + q. Does 17 divide q?
False
Let s(x) = -x**3 - 12*x**2 - 7*x - 16. Let a be s(-13). Let k = 36 + a. Is 16 a factor of k?
False
Suppose -3*g + q - 130 = 0, 0*q = 2*g - 4*q + 70. Let v be ((-12)/15)/((-6)/g). Let t = 19 - v. Is 9 a factor of t?
False
Let i = -179 - -227. Is 8 a factor of i?
True
Let i be ((-15)/6 - 0)*4. Let w(p) = -5*p - 24. Is w(i) a multiple of 13?
True
Let v(n) = 2*n**2 + n + 1. Let w be v(-1). Let h(p) = p**2 - p + 2. Let s be h(w). Suppose -s*f + 96 = -0*f. Is 14 a factor of f?
False
Suppose 0*v - 31*v + 14508 = 0. Is v a multiple of 6?
True
Is 8 a factor of 1059 + ((-12)/15)/((-5)/50)?
False
Let n(d) = d**3 - 8*d**2 + 11. Let f be n(11). Suppose -f = -4*j + 78. Does 25 divide j?
False
Let d = 1092 - 476. Is d a multiple of 44?
True
Let d = 2 + 25. Suppose -d*q + 312 = -23*q. Does 13 divide q?
True
Let q be ((0/(-5))/(-3))/(-3). Suppose q = 2*b - 57 - 13. Is b a multiple of 4?
False
Let g be (-215*14/(-35))/(2/1). Let n = g - 13. Does 4 divide n?
False
Suppose 4*x - 500 = -2*z, -3*z - z + 991 = 5*x. Suppose 3*p + 184 = 4*j + p, 0 = -5*j - p + z. Is j a multiple of 6?
True
Let y(r) = r + 5. Let s be y(-3). Suppose 140 = 4*v - s*v - 5*g, -2*g = -v + 68. Is 13 a factor of v?
False
Let r(w) = 8*w**2 + 54*w + 129. Is 98 a factor of r(-22)?
False
Let k(v) = 26*v**2 - 5*v + 6. Is k(-5) a multiple of 31?
False
Let l be (-11)/(2/172*-2). Suppose -l = -4*s - 7*s. Does 2 divide s?
False
Let v(d) = 112*d + 17. Let k(x) = 56*x + 9. Let o(j) = 7*k(j) - 4*v(j). Let n be o(-2). Let m = n - 76. Is 8 a factor of m?
False
Suppose -3*t - 41 + 5 = 0. Let m be (t/((-4)/(-2)))/(-1). Does 16 divide ((-10)/m)/(3/(-36))?
False
Suppose 5*z + 5353 = 2*o, 0 = 3*o - 7*o - 7*z + 10757. Is o a multiple of 14?
False
Let s(y) = -12*y + 204. Is 12 a factor of s(12)?
True
Suppose -2*n + 3*t + 2525 = 0, -2*n + t + 3877 - 1362 = 0. Is n a multiple of 21?
False
Let x(t) be the third derivative of t**5/60 + t**4/8 - 3*t**2. Let b be x(-3). Suppose -5*n + b*n = -285. Is 19 a factor of n?
True
Suppose -22*v + 6*v + 2832 = 0. Is v a multiple of 16?
False
Suppose 2*v - 10334 = 2*f - 6*f, f + v - 2583 = 0. Is f a multiple of 136?
True
Suppose 14*u - 2814 = 2786. Suppose 3*b + 5*g - 159 = u, -4*b + 722 = 2*g. Is 21 a factor of b?
False
Suppose 52 + 228 = 5*n. Suppose 5*y = 5, 5*x + 3*y - 23 = -0*x. Let l = x + n. Is l a multiple of 29?
False
Let v(z) be the second derivative of z**5/20 + z**4/3 - 5*z**3/6 - 5*z**2/2 + 8*z. Does 10 divide v(-4)?
False
Let u(i) = -8*i + 26. Let r = 55 + -62. Is 40 a factor of u(r)?
False
Let d(k) = -19 - 13*k + 6 - 7 + k**2. Is 6 a factor of d(15)?
False
Suppose f = -4*a + 19, -a - 4*f - 2 + 3 = 0. Let k be -1*(-5)/(a/2). Suppose k*z + 18 = 3*z. Does 6 divide z?
True
Suppose -5*f + 20 = 0, 3*m + 73*f = 76*f + 4797. Does 33 divide m?
False
Suppose -4*v + 13 = -3. Suppose 0 = -v*f + 67 + 49. Is f a multiple of 5?
False
Does 27 divide (16111/6 + (-5)/30)/1?
False
Let m = 1432 + -532. Suppose 9*q = -6*q + m. Is q a multiple of 30?
True
Let o = -32 + 179. Let j = -80 + o. Suppose 0 = 5*p - j - 308. Is p a multiple of 24?
False
Suppose -45 = -5*q - 5*n, 2*n = -3*q - 2*n + 27. Suppose y = 15 - q. Is 4 a factor of y?
False
Let p(l) = -l**3 - 8*l**2 + 8*l + 7. Let n be p(-9). Is 20 a factor of ((-4)/(n/716))/(-1)?
False
Let q(j) = 39*j**2 + 3*j + 148. Is q(-9) a multiple of 40?
True
Let p = 3 - -1. Suppose -a - p*a = -590. Does 24 divide a?
False
Let q be 224/24 + (0 - 2/6). Suppose 5*w - q*w + 732 = 0. Does 20 divide w?
False
Let s(h) = 12*h - 40. Let p(v) = -4*v + 13. Let j(m) = -7*p(m) - 2*s(m). Is 11 a factor of j(16)?
False
Let j be (0 + 29 - 1*-2) + 4. Suppose 0 = -16*f + 11*f + j. Is f even?
False
Let b(p) = -11*p - 16. Let s be b(10). Let w = -35 - s. Let k = 200 - w. Is k a multiple of 13?
False
Let a = 1 + -7. Let f(j) = 3*j**2 + 6*j - 8. Let o be f(a). Suppose 0 = -2*d - 2*d + o. Is d a multiple of 16?
True
Suppose -f + 1 = -p, -4*p = 5*f - 19 - 13. Let t(k) be the first derivative of 9*k**2/2 + 3*k + 1. Is t(p) a multiple of 15?
True
Suppose 0 = 3*m - 0*m - 6. Let s(y) = 9*y**3 - 3*y**2. Is s(m) a multiple of 44?
False
Let p(b) = 0 - 5 + 2*b - 2*b**3 