alse
Suppose 0 = -5*d + 4*x + 25, 5*d - 15 = -x + 3*x. Let h be d - (-11)/(22/12). Suppose -2*n = -h*n + 5, -3*w + 2*n + 256 = 0. Is 10 a factor of w?
False
Suppose 0 = 3*w + 5*l + 6, 30*w + 4*l = 27*w - 3. Suppose 12*c - w*c - 567 = 0. Is c a multiple of 63?
True
Suppose 0 = -4*z - 5*x - 288 + 29, 4*z + 3*x + 269 = 0. Let q = z - -74. Suppose q*g + 82 = 100. Is 3 a factor of g?
True
Let w(m) = -54*m + 8. Let p be w(-2). Suppose p = 5*o - 1549. Does 21 divide o?
False
Let m = 1219 - -937. Does 98 divide m?
True
Suppose -40*l = -37*l - 15. Let k be 15*18/(-12)*(-6)/l. Is 54 a factor of (-1816)/(-6) + (-18)/k?
False
Suppose 2*y - 47 = -41, 3*f + 2*y = 6. Suppose f = 6*w - 81 - 21. Is w a multiple of 10?
False
Let g be ((-270)/150)/((-1)/(-45)). Let s = 213 + g. Is 12 a factor of s?
True
Suppose 0 = -3*d + 576 - 591, 2*d = 3*o - 13048. Is o a multiple of 17?
False
Let r be (-80 - -41)/(0 + (-3)/(-18)). Is (10/(-2))/(18/r) a multiple of 11?
False
Suppose -4*m - 32 = -3*s + 16, 5*s = 0. Let c be -3*(4 - 5) - 1*m. Is (3 + (-5)/(-3))*c a multiple of 10?
True
Let v = 23279 + -15223. Is 67 a factor of v?
False
Suppose 4*t = -4*z + 68, 3*z - 2*t - 20 - 51 = 0. Suppose 4*l = -4*d + 2096, -z*l + 17*l - 20 = 0. Is 12 a factor of d?
False
Suppose 3*l + 5*j - 19507 = 0, 0 = -l + j + 5652 + 837. Does 17 divide l?
True
Suppose h - 4*h + j - 38 = 0, -j = -2*h - 24. Does 9 divide (h + 3 + 10)/(2/(-406))?
False
Is 3 a factor of ((-10)/2)/(-4 - 9/(-3))?
False
Let f(t) = -355*t - 6. Let s(q) = 361*q + 5. Let a(v) = 4*f(v) + 5*s(v). Is a(4) a multiple of 12?
False
Let n = -20 + 28. Suppose -n*f = -2*f - 2880. Is 30 a factor of f?
True
Let u(i) = i**3 + 15*i**2 + 14*i + 12. Let a be u(-14). Is ((-129)/a)/(2/16*-1) a multiple of 10?
False
Let u = 777 + -771. Suppose u*r - 2192 = 9028. Is r a multiple of 10?
True
Let v be (-10)/(40/12) - -655. Suppose 210*b - v = 206*b. Is b a multiple of 14?
False
Suppose 10*y = 13*y - 5*x + 13, -4*y + 31 = 3*x. Suppose 0 = -14*f - y*f + 3150. Does 16 divide f?
False
Let z(r) = -r + 17. Let o be z(12). Suppose -4*s = -3*b + s + 1730, -o*b = -2*s - 2858. Is 32 a factor of b?
False
Suppose -4*i = 4*w - 28, 4*i + 16 - 44 = 5*w. Let t(v) = 2*v**3 - 6*v**2 + 6*v - 70. Is t(i) a multiple of 14?
True
Let i(f) be the third derivative of -1/6*f**4 + 0 + 0*f - 12*f**2 + 1/60*f**5 + 3/2*f**3. Does 27 divide i(-5)?
True
Does 12 divide 23932/(-248)*(-23 - 1)?
True
Suppose 794*z = -4*a + 797*z + 13476, 16 = -4*z. Is 18 a factor of a?
True
Is -107 + 102 + (-3*6/(-9) - -5228) a multiple of 25?
True
Let n(j) = 60 - 12 - j + 50. Is n(-23) a multiple of 15?
False
Let c = 109 + -91. Let b(y) = 3*y - 14. Is 15 a factor of b(c)?
False
Let j be (8 + -10)*2/4. Let x be (0 - -59) + 1*j. Does 14 divide x + -4 + (2 - 0)?
True
Suppose -5*n - 367 = -3*a, 2 = 6*n - 4*n. Does 2 divide 1/5 - -9*a/20?
True
Suppose 0 = 3*c + 3*g + 714, c + 2*g = -3*g - 222. Let i = 172 - c. Is 13 a factor of i?
False
Suppose -3*c - 210*a + 80170 = -211*a, -5 = 5*a. Is c a multiple of 22?
False
Let g = 918 + -240. Let c = 1257 - g. Suppose -c = -3*l + 3*o, 3*l - 574 = 5*o - o. Does 22 divide l?
True
Let b = 4024 - 3436. Is b a multiple of 47?
False
Let b be -1 - (-71 - -3) - 0. Let i = -63 + b. Suppose -3*l + 26 = -5*f - 74, 0 = 4*f - i. Is l a multiple of 5?
True
Let w be (-3 - -4)*-108*(-3)/2. Let v = -129 + w. Suppose 70*d = 69*d + v. Is d a multiple of 12?
False
Let s(t) = -t**3 - 2*t**2 + 4*t - 8. Let m(l) = l + 8. Let g be m(-4). Let h be s(g). Does 6 divide ((-15)/2)/(66/h)?
False
Suppose n + 3*n = -20. Let b(q) = 2*q**2 + 12*q - 5. Let p(v) = -10*v**2 - 60*v + 26. Let s(z) = 14*b(z) + 3*p(z). Is 18 a factor of s(n)?
True
Suppose 5*u + 19 = -3*j, -5*j - 8 = u - 13. Is 1 + 3 - (-171 + j + -1) a multiple of 10?
False
Suppose -2*r + 8*r = -330. Let y = 110 - r. Suppose 0 = 5*w + 5*d - d - y, -d = 2*w - 66. Does 11 divide w?
True
Let j(v) = v + 19. Let o be j(-11). Suppose -7*q + o*q - 5 = 0. Suppose -q*l + 331 = -319. Is l a multiple of 26?
True
Let i be 0/(32/8) + 5. Suppose -4*z + i*u = -1169, -2*z - 5*u = -z - 311. Is z a multiple of 6?
False
Suppose -1384*k - 104085 = -1441*k + 167121. Does 39 divide k?
True
Let l(z) = z**2 - 92*z + 442. Is l(103) a multiple of 4?
False
Suppose o - 15308 = -d, -3*o + 44915 = -6*d - 946. Does 150 divide o?
False
Suppose -62985 = 27*t - 20*t - 24*t. Is t a multiple of 15?
True
Suppose -58*l = 63 + 111. Let o(z) be the second derivative of -4*z**3 - z**2 + z. Does 11 divide o(l)?
False
Is 73 a factor of 32787 + -9 + (-13 - (1 + -13))?
True
Let f(h) = -3945 + 2*h**2 + 3943 + 6*h**2. Is 18 a factor of f(5)?
True
Suppose 5 = 3*z - 4. Let n(m) be the third derivative of 29*m**4/12 + m**3/2 - 255*m**2 - 5*m. Is 43 a factor of n(z)?
False
Is 6 a factor of 20/(-30) - (-1)/(-3) - -925?
True
Suppose -21390 = -5*x + 3985. Is x a multiple of 35?
True
Let a = 2090 + -1196. Let i = 1594 - a. Does 20 divide i?
True
Let s = 5137 + -3022. Is s a multiple of 59?
False
Let v(g) = 21*g**2 + 66*g - 989. Is v(16) a multiple of 17?
False
Suppose 0 = 3*p + 4*o - 6196, -5*p + 2*o + 10292 = -0*o. Is p a multiple of 4?
True
Is (-420)/490 + 5431/7 a multiple of 12?
False
Let y(c) = c**3 - 38*c**2 - 78*c - 18. Is 162 a factor of y(43)?
False
Suppose 0 = -2*u - 8, -3*p - 5*u - 145 = 1. Let j = -41 - p. Is 14 a factor of (66 + (1 - (3 - -1)))*j?
False
Let d(w) = w**3 - 9*w**2 - 24*w + 2. Let v be d(9). Let k = -156 - v. Is 29 a factor of k?
True
Suppose 3*y = -4*z + 420, 0*y = -5*z - y + 514. Suppose -22 = -g + z. Suppose 3*v + v - g = -2*m, -47 = -m - 5*v. Is 36 a factor of m?
True
Suppose -53*a + 154*a + 57*a = 1040272. Does 18 divide a?
False
Does 19 divide (39/(-15) + 3)*(-463225)/(-70)?
False
Let i = 497 - 281. Suppose 12 = -17*j + i. Is j a multiple of 4?
True
Let r(l) = -4*l + 42. Let z be r(12). Is z/((-3)/(-18)*(-2)/3) a multiple of 6?
True
Let v(t) = -2*t**2 + 92. Let y(g) = g + 3. Suppose -2*o = -4*l + 2, 2*o - 1 + 11 = -4*l. Let q be y(o). Does 23 divide v(q)?
True
Let g = -6116 - -15970. Is 13 a factor of g?
True
Suppose -17*x + 12037 = 30*x - 14048. Is 15 a factor of x?
True
Let f(b) = 11*b + 204. Is 86 a factor of f(-1)?
False
Let w(n) = -2*n + 7. Let u(t) = -1. Let y(l) = 10*u(l) - 2*w(l). Suppose -i - 3*i + 52 = 0. Does 7 divide y(i)?
True
Does 41 divide ((-10)/(-6) - 7/(-3))*410 - 2?
False
Suppose -7*w = 496 + 127. Let d = 184 + w. Does 13 divide d?
False
Is (-130)/(-10) + 1580/2 a multiple of 4?
False
Let k(w) = 422*w + 57. Does 63 divide k(3)?
True
Let u = 69719 + -6890. Is 13 a factor of u?
True
Let r(k) = -644*k - 6. Let o be r(-1). Is (1 - -1)*27/(297/o) a multiple of 38?
False
Let j(g) be the third derivative of -g**4/24 + 29*g**3/6 + 31*g**2. Let x be j(4). Let c = 40 - x. Is 2 a factor of c?
False
Suppose -42*u + 27880 = -8366. Suppose u = 5*x + 3*b, -2*x + 69 + 273 = -2*b. Is 7 a factor of x?
False
Suppose 0 = -3*i - 12, -2*t + 0*i - 4*i - 32 = 0. Let b(r) = -2*r**2 + 17 + 5*r**2 - 13 + 16 + 12*r. Is 14 a factor of b(t)?
False
Suppose t = -0*t + 425 + 493. Is t a multiple of 41?
False
Suppose 6 = -3*g - 2*u + 12, -u - 4 = -2*g. Suppose -2*y - 78 + 8 = -2*c, -3*y - 71 = -g*c. Is 14 a factor of c?
False
Let o(i) = -i**3 + 3*i**2 + 2*i - 4. Let j be o(3). Suppose 9*m - 11 = 13*m - 5*z, 3*z = -2*m - 11. Is (-12)/m + j - 2 even?
False
Suppose 19924 = -993*f + 1016*f - 208834. Is f a multiple of 7?
False
Is 18 a factor of -3 - -2 - (-13256)/8?
True
Suppose -2*y - 1 = -k, 4*k - 2*y + 5*y + 18 = 0. Let l be (0 + 2 + k)*-1. Let p = l + 32. Does 4 divide p?
False
Suppose 3*o = -c - 5 - 2, -2*c = 4*o + 10. Let n(z) = z**3 + z**2 + z. Let h be n(c). Let m(t) = -200*t + 2. Does 35 divide m(h)?
False
Let r(z) = z**3 - 11*z**2 - 16*z + 7. Let g be r(12). Let v = g - -29. Let m(a) = -12*a + 24. Is 13 a factor of m(v)?
False
Let j(n) = -n**3 + 17*n**2 - 22*n. Let s be j(10). Suppose 484*c - s*c - 792 = 0. Is c a multiple of 35?
False
Let r be (-6 - 1608/(-30)) + 2/5. Suppose 0 = 4*n - 116 - r. Suppose 122 = 9*v + n. Is v a multiple of 9?
True
Suppose 0 = 9*y - 12*y + 9. Is 12 a factor of 9798/24 + y/(-12)?
True
Let w = 3667 - -5684. Suppose -w = -32*u + 5529. Is u a multiple of 27?
False
Let s(o) = -4*o**3 + o**2 + 26*o + 6. Let h be s(7). Let g = 1997 + h. Does