- 34. Let m(w) = 12*w + 11. Let l(x) = -8*m(x) - 3*z(x). Does 13 divide l(10)?
True
Suppose 10*w - 2 + 12 = 0. Is 3 a factor of -6 + 8 + -3 - 13*w?
True
Let s be 84/((20/(-6))/(-5)). Suppose 0 = -3*o - 0*o + s. Does 13 divide o?
False
Suppose 0 = 2*p + 5*r + 28 + 103, 2*r = 4*p + 250. Let d = p + 111. Does 11 divide d?
False
Suppose 5*q = -2*b + 31, 4*b - 3*q = -7*q + 92. Does 14 divide b?
True
Let v = 462 + -378. Is 3 a factor of v?
True
Let b(l) = 4 - 3 - 97*l + 16*l. Is b(-1) a multiple of 40?
False
Suppose -j + 2 = -3*j, -2*t = -5*j - 587. Suppose -3 + t = 2*l. Does 48 divide l?
True
Suppose -4*x - 3 - 27 = -5*b, -16 = 2*b + 4*x. Let t(g) = g**2 - 2*g + 3. Let v be t(b). Suppose v*o - 7*o + 112 = 0. Is 15 a factor of o?
False
Suppose -10*d - 6*d + 576 = 0. Is 10 a factor of d?
False
Let x(a) be the second derivative of a**5/5 - 2*a**3/3 + a**2 - 11*a. Is 4 a factor of x(2)?
False
Suppose h - 3*u - 132 = 0, -2*h = 2*h + u - 528. Suppose -4*s = i - h, 2*i - 24 - 2 = -s. Does 9 divide s?
False
Let q = 74 - -332. Does 14 divide q?
True
Suppose 0*h + 1461 = 3*h. Let u = h + -318. Is 13 a factor of u?
True
Let c(r) = -r - 2. Let p be c(5). Is 6 a factor of (-18)/p*70/15?
True
Suppose -4*f = -5*z + 3780, 1512 = -2*z + 4*z + 3*f. Is z a multiple of 36?
True
Let m(c) = -13*c - 101. Is 67 a factor of m(-49)?
True
Suppose k - 2*t = -4*k + 6, -k = t - 4. Suppose 20 + 97 = 3*r - c, -92 = -k*r - 4*c. Is (-37)/(-2)*r/10 a multiple of 20?
False
Suppose 4*t - 2*y + 2 = 0, 2*t - 7*t + 3*y = 4. Let o be (4/(-8) + t)*-2. Let x(b) = -3*b + 2. Is x(o) even?
False
Let j = 147 - 39. Suppose q = -2*q + j. Suppose -4*d + d + q = 0. Is 4 a factor of d?
True
Let x(i) = -i**3 + 6*i**2 + 9*i - 8. Let v be x(7). Is 31*(v + (-6 - -3)) a multiple of 37?
False
Let y be 3 + 2 + ((-6)/(-2) - 2). Let j(u) be the first derivative of u**2/2 + 8*u + 1. Is 6 a factor of j(y)?
False
Suppose -158*w - 33497 = -201*w. Is w a multiple of 31?
False
Let t = -39 + 81. Let k = t + 10. Is 5 a factor of (k/12)/((-2)/(-6))?
False
Let s(m) = 23*m - 15. Let h(t) = t**3 + 19*t**2 - 20*t + 4. Let i be h(-20). Is 11 a factor of s(i)?
True
Let l(g) = 7*g**2 - 26*g - 13. Is l(8) a multiple of 6?
False
Is 8 a factor of 34/68*(248 - 0)?
False
Let s(u) = -89*u + 51. Is s(-8) a multiple of 32?
False
Suppose -25*c + 26*c = -6. Is 28/c*114/(-4) a multiple of 24?
False
Let z be (1 + 0 + -2)*(-3)/1. Suppose z*j + 8*j - 154 = 0. Is 2 a factor of j?
True
Suppose 4*s - s + 5*x = 85, -5*x - 35 = -s. Let j = 37 - s. Does 2 divide j?
False
Let h = 56 - -446. Is h a multiple of 26?
False
Suppose 3*k = -4*v - k, 5*k = 4*v - 36. Suppose -x - 7 = -a - a, v*a - 4 = 4*x. Suppose a*j - 124 = 2*j. Is j a multiple of 11?
False
Let t = -78 + 84. Let y(o) = 4*o**2 - 13*o - 4. Is 9 a factor of y(t)?
False
Suppose -4*z - 4*y = -9*z + 123, 2*y + 50 = 2*z. Let c = z - 35. Let t(d) = -4*d - 18. Is 10 a factor of t(c)?
True
Let q = -44 + 42. Let o(g) = g**3 - g**2 + 4. Let w be o(0). Does 7 divide (-21)/q + (-2)/w?
False
Let o(w) be the third derivative of -5*w**4/24 - 5*w**3/2 - 5*w**2. Does 2 divide o(-6)?
False
Suppose -10 + 106 = 2*r. Suppose 0 = -2*u + r + 12. Does 3 divide u?
True
Suppose -5*c - 176 = -7*c. Suppose c = 3*x + 5*x. Is x even?
False
Suppose 0 = -4*j + 3*j - 3, -15 = -2*n + 5*j. Let o(g) = g**2 - 2*g + 20. Is o(n) a multiple of 10?
True
Let t = -3 - -8. Suppose 0*h = -5*h + 4*j + 12, 0 = -t*h + 5*j + 10. Suppose -2*w - h = 0, 0 = 4*d - 4*w + w - 126. Is d a multiple of 10?
True
Is 44 a factor of (-1)/(6/(-176))*(49 + 2)?
True
Let h(s) = 2*s + 5. Let i(k) = -7*k - 14. Let p(x) = -17*h(x) - 6*i(x). Is p(12) a multiple of 12?
False
Suppose 6*m - m = 75. Suppose -m*u - 19 = -16*u. Does 19 divide u?
True
Does 9 divide (-392)/(-6)*(-3105)/(-460)?
True
Let a(v) = v**3 + 10*v**2 + v - 15. Let b(n) = 2*n**2 - 10*n - 6. Let d be b(5). Is a(d) a multiple of 41?
True
Suppose 5*w + 2335 = 4*b, -3*w = -3*b + 600 + 1149. Is 5 a factor of b?
True
Suppose -6*s + 172 + 2 = 0. Let f = -27 + s. Suppose 223 = f*n + 3*n + x, -2*n + 98 = -4*x. Does 15 divide n?
True
Suppose -m + 17*x + 179 = 16*x, -855 = -5*m - 5*x. Is m a multiple of 4?
False
Suppose -2*d = -3*k - 27, -d = -2*d - 3*k - 9. Does 4 divide ((-3)/d)/((-2)/16)?
True
Let u(a) = -a**3 + 16*a**2 + 4*a + 32. Let r be u(16). Let n = -33 + r. Is n a multiple of 9?
True
Suppose -2*k - 10 = -14. Suppose -21 - 25 = -k*x. Does 6 divide x?
False
Let b = -553 - -1216. Is b a multiple of 36?
False
Let k(b) = -b**2 + 5*b - 8. Let i be k(15). Let d = i - -351. Does 14 divide d?
False
Suppose 15*g - 2 = 13*g. Let v(q) = 9*q**2 + 1. Let z be v(g). Is 13 a factor of (-2)/z - (-712)/10?
False
Let g(w) = w**2 - 3. Let h be g(-3). Suppose 3*q - b = -43, 5*b + 71 - h = -5*q. Let d = 45 - q. Does 12 divide d?
False
Suppose -308 = 5*b - b. Let d = -35 - b. Is d a multiple of 14?
True
Does 68 divide -612*((-21)/49 - 5/21)?
True
Suppose -4*t + 2*t + 14 = -4*k, 0 = -k + 5*t - 17. Does 4 divide ((-2)/(-5))/k - 5301/(-155)?
False
Let k be (4 + -4 + 1)*-103. Let z = 147 + k. Does 22 divide z?
True
Let x = -33 + 39. Suppose -x*k = -37 - 95. Is 15 a factor of k?
False
Suppose 5*c + 200 = 9*c. Is (-44)/55*c/(-4) a multiple of 2?
True
Let g(o) = 114*o + 6. Let s(t) = -38*t - 2. Let i(k) = -3*g(k) - 8*s(k). Does 36 divide i(-4)?
False
Suppose 3*p - 3*a = -39, 2*a - 17 = 3*p + 21. Does 9 divide 2/p + (-3790)/(-60)?
True
Let z(c) = 128 - 8*c - 3*c + c + 9*c. Is z(0) a multiple of 16?
True
Suppose -2*w - 18 = -3*w. Suppose -3*s + 6*s - 6 = -q, 0 = s - 5*q - w. Let v = s + 17. Does 20 divide v?
True
Let a(n) = 2*n - 14. Suppose 0*h = 4*h + 40. Let x be 2/(-2)*(h - 1). Is a(x) a multiple of 8?
True
Let o = 2893 - 2076. Is o a multiple of 12?
False
Let c = -34 + 56. Suppose 3 = -4*y - 1, -c = -3*f + y. Is f even?
False
Let v(d) = 5*d**2 - d + 3. Let x(p) = 4*p**2 - p + 4. Let k(c) = -5*v(c) + 6*x(c). Let l(y) = -y**3 + 7*y**2 - 3. Let j be l(7). Does 3 divide k(j)?
True
Let x be (-2)/8 + 39/12. Let m(w) = -w**3 + 14*w**2 + 9*w + 19. Let p be m(14). Suppose 110 = 5*s + 5*f - p, 2*s - x*f = 122. Does 12 divide s?
False
Let c = 1052 - 2674. Let z be c/(-14) + 6/42. Suppose -2*s + z - 20 = 0. Does 24 divide s?
True
Suppose -846 = -x - 5*x. Suppose 5*s - 2*s = x. Is s a multiple of 20?
False
Suppose -32 + 60 = 2*d. Suppose -17*i + d*i + 192 = 0. Is i a multiple of 16?
True
Let d be (4 - 6) + (-80)/(-4). Let v = d + 1. Suppose 2*j - 3*j = s - v, 0 = -3*s + j + 49. Is s a multiple of 10?
False
Suppose 2*z - 3*z + 2*x + 6 = 0, -41 = -5*z - x. Let a(w) = 27 + 14*w**3 + z*w**3 - 21*w**3. Is a(0) a multiple of 9?
True
Let q be (-8)/(4 - 2) - (9 + -13). Suppose q*a = 4*a, 350 = 5*i + 3*a. Is 14 a factor of i?
True
Let y be ((-124)/(-8)*4)/1. Let j be y/15 - (-18)/(-135). Suppose 32 = g + 5*o, g + j*o = 7*o. Is g a multiple of 5?
False
Let k(u) = 2*u + 1. Let t be k(-2). Is t - (3 + -5) - -64 a multiple of 27?
False
Suppose -u - 3*u + 228 = 0. Let h = 43 + u. Suppose k - 5*k + h = 0. Does 7 divide k?
False
Let m(u) = -7*u**2 + 5. Let x be m(4). Let r be (142*(-3)/6)/1. Let p = r - x. Does 6 divide p?
True
Let t(n) = 68*n - 549. Does 13 divide t(40)?
True
Let j be (1*(-2 - 0))/(-2). Let y be (-1)/j + 58/1. Suppose -4*t - 4*d + 128 = 0, -5*t + 5*d + y = -83. Is t a multiple of 15?
True
Let q = -43 - -88. Is (-12)/(-1 - (-3)/q*13) a multiple of 13?
False
Let b(q) = 139*q - 1489. Is 87 a factor of b(37)?
True
Suppose -2*a - 314 = -2*d, -3*a - 116 = -4*d + 511. Let u be (-1)/((-2 + 0)/d). Is (-192)/36*u/(-8) a multiple of 13?
True
Suppose -2*l + 36 = 2*l. Let g(i) = -6 + i + 0*i - 4 + 2*i. Does 4 divide g(l)?
False
Let m(c) be the second derivative of -c + 7/6*c**3 - 1/2*c**2 + 0. Does 13 divide m(3)?
False
Let d be 9/2*1/(9/6). Suppose 0 = d*a - 15 - 84. Is 7 a factor of a?
False
Let v(t) = t**2 + 2*t + 2. Let a be v(-10). Suppose 0 = -4*p + x + a, 7*p - 2*p + 4*x = 113. Let i = 40 + p. Is i a multiple of 18?
False
Let j(b) = b**2 + 6. Let m(g) = g - 8. Let s(x) = -2*x + 16. Let h(f) = 13*m(f) + 6*s(f). Let p be h(12). Does 13 divide j(p)?
False
Let s be 42/(-14) + 100 + -1. Suppose 10*b - 7*b - s = 0. Is 8 a factor of b?
True
Let p(w) = -w**2 + 22*w + 11. Let j be p(17). Suppose 4*g - 218 = 2*r, -2*g + 5*r = -j - 25. Let 