. Let d be a(-2). Suppose d = -z - z + 152. Is z a multiple of 19?
True
Let b(m) = -2*m - 8. Let a be b(14). Does 43 divide 91/(-39)*(1 - -2)*a?
False
Suppose 3*z - 5137 = -18*c + 14*c, -c + z + 1286 = 0. Is c a multiple of 10?
False
Let w be (7 - 4)/((-12)/(-224)). Suppose -3 = -3*r - 3*p, -p - 5 = -r + 4. Suppose -r*o = -25, 3*o - 27 = -2*g + w. Is g a multiple of 13?
False
Suppose -4*l = 5*u - 1333, -4*u + 319 = 2*l - 745. Is 11 a factor of u?
False
Suppose 4*u - u - 2*c - 16 = 0, 2*u + 1 = -c. Suppose u*y + 22 = 60. Does 3 divide y?
False
Let a(v) = v**3 + 5*v**2 - 6*v - 1. Let n be a(-6). Let w be n + (62 - -2) + 0. Let i = w + -45. Does 9 divide i?
True
Let n(f) = -2*f**2 + 4*f + 3. Let a be n(3). Let d(p) = 2*p**2 + 8*p + 27. Does 2 divide d(a)?
False
Let y = 396 + -256. Suppose -14*o = -9*o - y. Is 15 a factor of o?
False
Suppose 3*a = -2*w - 309, -a - 104 = 3*w + 6. Is 29 a factor of (3 - (a - -1))*(1 - -1)?
False
Let f(k) be the first derivative of -k**4 - k**2/2 - 2*k + 18. Let n be -3*(8/(-6) + 2). Is 14 a factor of f(n)?
False
Suppose 0 = -17*d + 677 + 1703. Does 20 divide d?
True
Let d be (562/(-1) + 2)/(3 - 2). Is 8 a factor of ((-2)/(8/6))/(21/d)?
True
Let m = -208 - -245. Is 10 a factor of m?
False
Suppose 0 = 7*y - 2*y + 2*j - 7, -3*j = -3*y + 21. Suppose -3*k + y = -12. Let h(o) = o + 4. Is h(k) a multiple of 3?
True
Suppose -619 = -7*i + 655. Is 7 a factor of i?
True
Suppose -560 = -4*r + 12*f - 10*f, 2*f - 850 = -6*r. Does 4 divide r?
False
Suppose 5*w = -5*x - 85, -3*w + 4*x - 43 = 3*x. Let t = 111 - w. Is 21 a factor of t?
True
Suppose 8 = q - 2*t + 4*t, -t - 4 = 0. Suppose 3*c + 44 = -4*s, -3*c + 2*s + 28 = -5*c. Let m = q + c. Does 3 divide m?
False
Suppose -3*r + 5*r - 800 = 2*d, -3*d = 4*r - 1572. Suppose q - 3*q = -r. Is 11 a factor of q?
True
Let k be (-6)/27 - (-25)/(-9). Let v be (k - -1 - -44) + -3. Let b = v - 8. Does 26 divide b?
False
Suppose 120*f - 19908 = 41*f. Is f a multiple of 4?
True
Suppose -2705 = -5*z - 2*c, -c - 3*c = 20. Is z a multiple of 18?
False
Suppose -133 = -3*k + 245. Suppose 0 = -k*t + 121*t + 385. Is 42 a factor of t?
False
Let r(k) = -k**2 + 11*k - 8. Let j be r(10). Let i(h) = h**2 - 8. Let y be i(0). Is j/y*0 - -16 a multiple of 16?
True
Let n = 897 + -645. Does 18 divide n?
True
Let p(m) = 124*m**2 + m**3 - 4*m + 115*m**2 - 11 - 235*m**2. Is 11 a factor of p(5)?
False
Suppose 13*p - 173 = 1114. Is p a multiple of 11?
True
Suppose -4*u + 4623 = -s - 368, u + 4*s = 1252. Does 24 divide u?
True
Let s(b) = -11*b**2 + 7*b**3 - 6 - 4*b**3 - 2*b**3 + b - 5. Let f be s(11). Suppose f = -2*a, 2*j + 4*a + 80 = 7*j. Does 16 divide j?
True
Suppose 240 + 1965 = 5*l. Is 63 a factor of l?
True
Suppose 0 = -3*t + 2*f + 57, -1 = 2*t + 5*f - 39. Suppose 0 = -11*o + t*o - 232. Is o a multiple of 20?
False
Let r(n) = -14*n - 4. Let u be r(-7). Let q = u + -31. Is 9 a factor of q?
True
Let n(c) be the third derivative of 8*c**2 + 0 - 1/120*c**6 - 1/2*c**3 + 1/2*c**4 - 7/60*c**5 + 0*c. Does 13 divide n(-9)?
False
Let s(r) = 8*r**2 + 20*r - 124. Is s(7) a multiple of 17?
True
Suppose -7*r - 2556 + 7547 = 0. Does 31 divide r?
True
Let v(a) = 5*a - 1. Let o be v(4). Suppose 0 = b + o - 73. Is 9 a factor of b?
True
Let d(n) = 2*n + 31. Let b be d(-18). Is ((-3)/b)/(3/105) even?
False
Suppose 0 = -0*c - 2*c, -3*k + 2*c = -9. Suppose k*a - 544 - 416 = 0. Is a a multiple of 16?
True
Let o = 113 - 111. Is 26 a factor of ((-1130)/(3 + -8))/(2/o)?
False
Suppose -4*s + 2139 = -5*c + 2*c, -5*s + 3*c + 2673 = 0. Suppose 3*t - s = 2*f, -t - 3*f + 519 = 2*t. Is 8 a factor of t?
True
Let r(y) = -3*y**3 - y**2 - 4*y + 6 + 4*y**2 + y**2 + 2*y**3. Let s be r(3). Suppose s*c = 15, 4*q = -q + 5*c - 10. Is q even?
False
Suppose 39 = -10*a + 2949. Is 53 a factor of a?
False
Let w = -538 - -785. Does 19 divide w?
True
Let q(b) = -b + 4. Let p be q(3). Let j be 184/6 - (-50)/150. Is 11 a factor of j + (1 - (1 + p))?
False
Suppose -9*l = -14*l + 1275. Suppose -2*k - 2*u + 534 = 0, 3*k = 2*u + 571 + l. Is k a multiple of 34?
True
Let u(o) = -o**3 + 11*o + 10. Let i be u(-5). Let b = -15 + i. Is b a multiple of 13?
True
Let g(b) = 5*b - 4*b**2 + 13*b - 9*b - b**3 - 10. Let w be g(-7). Suppose -c + w = -0*c. Does 37 divide c?
True
Suppose 0 = -5*q + 4*o - 0*o + 2451, 0 = -3*q + 5*o + 1481. Is 14 a factor of q?
False
Let x(l) = 2*l**3 - 5*l**2 + 6*l + 6. Let v be x(-5). Let q = v - -574. Is q a multiple of 20?
False
Let q = 3637 + -952. Is 59 a factor of q?
False
Let z = 44 - -256. Is z a multiple of 13?
False
Let z = -710 - -1931. Is 33 a factor of z?
True
Let w = -355 + 794. Let k = w + -300. Does 8 divide 1/2*(-1 + k)?
False
Is 39 a factor of 144/(-360) + (-4682)/(-5)?
True
Is -5 - -1 - (0 - 578 - 2) a multiple of 10?
False
Let i(v) = -v**2 + 6*v + 1. Let h be i(6). Let b be (3/3 - -1)/h. Suppose -c - 5*w = c - 101, -3*w = b*c - 111. Is 19 a factor of c?
False
Does 18 divide (-11 - -350) + 16 - (1 + -6)?
True
Suppose 2*b + i = -3*b + 660, 4*b - 547 = 3*i. Suppose -4*p = 3*p - b. Does 6 divide p?
False
Is (-8399)/(-12) + (-37)/(-444) a multiple of 6?
False
Let s be (-10)/2*(-9)/15. Is 9 a factor of -1 + 25/15 - (-100)/s?
False
Let o(d) = -d**3 + 8*d**2 + 19*d + 16. Is 10 a factor of o(9)?
False
Let k be (-4672)/(-40) + 1/5. Let f = k + -61. Let g = f - 33. Is g a multiple of 13?
False
Suppose -q + 19 + 9 = 0. Let k = q - 8. Is k a multiple of 17?
False
Let g(o) = -3*o**2 + 2*o + 3. Let f(c) = -4*c. Let p(z) = z. Let n(b) = f(b) + 3*p(b). Let v(i) = -g(i) + 6*n(i). Does 14 divide v(6)?
False
Suppose 5*m + 221 + 1120 = 3*t, -3*t = -4*m - 1338. Does 46 divide t?
False
Let b(i) be the second derivative of -13*i**3/6 + 23*i**2/2 - 24*i. Is 19 a factor of b(-7)?
True
Let j(o) = -o**3 + 4*o**2 - 2. Let g be j(3). Let f(p) = 9*p - 12. Let k be f(g). Suppose 2*l - 3*h + 171 = 5*l, l = -4*h + k. Is 12 a factor of l?
False
Suppose 42 = 5*i - o, 0*o - 2 = o. Let h be 46/i - (-2)/8. Is 1/2*h - -6 a multiple of 4?
False
Let l be ((-6)/(-2))/((-2)/(112/12)). Does 2 divide 5 + (1 + 0)/((-7)/l)?
False
Let y(l) = -l**3 - 16*l**2 + 18*l + 12. Let n be y(-17). Does 4 divide 2 - (n/5 - 9)?
True
Suppose -4*b + 54 + 1598 = 0. Is b a multiple of 32?
False
Does 32 divide ((-14)/(-7) - 4)*(0 + -290)?
False
Let x(l) = l**2 - 4*l + 2. Let k be x(4). Suppose 0 = -4*n + k*n - 124. Let h = n - -129. Does 26 divide h?
False
Let j(o) = -4*o**2 - o - 1. Let m(b) = b**2 + b + 1. Let u(l) = j(l) + 5*m(l). Let f be u(0). Suppose 3*k + 66 = 7*k - 2*q, -12 = f*q. Does 15 divide k?
True
Suppose -3*i - 2262 = -3*m, 4*m + 0*i - 3052 = -5*i. Does 63 divide m?
False
Let t be (-9)/(-4)*-10 + 12/8. Is 5*(-8)/(-20) - t a multiple of 4?
False
Is 61 a factor of 610/(-6)*10164/(-770)?
True
Let c(x) = 20*x + 13. Let z be c(8). Suppose 7*y - z = 3*y + i, 62 = y - 4*i. Does 11 divide y?
False
Suppose f - 5 + 2 = 0. Suppose 2*l + l - 50 = c, 4*l + f*c - 45 = 0. Does 15 divide l?
True
Let s(v) = 4*v. Let r(c) = -3*c - 1. Let g(w) = 3*r(w) + 2*s(w). Let q be g(-3). Suppose -2*i = -4*d + 6, -d + 9 = -q*i + 2*i. Is i a multiple of 3?
True
Let y(d) = -58*d**2 + 71*d**2 + 5 - 4*d + 2*d. Is y(2) a multiple of 25?
False
Suppose n + 4*v = -2*n - 3, -2*n - 5*v = 9. Suppose -n*o + 184 = -50. Is o a multiple of 26?
True
Is (30436/140 - 2/5) + -5 a multiple of 20?
False
Let z = 592 - 311. Does 65 divide z?
False
Let k = -34 - -38. Suppose 4*j + 16 - k = 0, 0 = -4*f - 3*j + 175. Suppose -f - 44 = -3*a. Is a a multiple of 6?
True
Let m = -21 - -17. Let o be -4 + (-1 - (-3 - m)). Does 17 divide 1/o + 824/48?
True
Is 16 a factor of 23/((-3)/36*6/(-16))?
True
Let x = 1188 + -821. Is 4 a factor of x?
False
Suppose -15 = -5*k, -k = -3*w + 5*w - 2403. Is 80 a factor of w?
True
Let m be (-3102)/24 - 1/(-4). Let w be ((-8)/12)/(2/m). Let c = w - 10. Does 33 divide c?
True
Suppose -88*t + 89*t = 82. Does 4 divide t?
False
Let z = -639 + 717. Is z a multiple of 12?
False
Let r(u) = u**3 - u**2. Let g(d) = 4*d**3 - 3*d**2 - 2*d - 15. Let j(l) = -g(l) + 3*r(l). Suppose 4*f = 2*f. Is j(f) a multiple of 15?
True
Let s = 316 + 284. Is s a multiple of 60?
True
Let g be 8/(-36) + (-38)/(-9). Suppose g*l = -6 - 2, 0 = d + 2*l. Suppose -6*i = -d*i - 100. Is i a multiple of 12?
False
Let s(f) = -f**2 + 31*f + 92. I