uppose -v + 18 = 5*z, 0 = -v - 4*z + 11 + 3. Is 13 a factor of v/o*(-39)/2?
True
Suppose -3*t + 2*i - 2 = 0, -t = 5*i - i - 18. Suppose -t*a = -4*h + 74, a - 11 = -h + 6. Is 10 a factor of 3 + (h - (-2 - -1))?
False
Suppose 4*z - 6 = -s + 3*z, 0 = 3*s - 2*z + 2. Suppose 0 = -3*p + 2*r + 77, 0 = -s*p - 4*r - r + 26. Suppose -7 = -h + p. Does 30 divide h?
True
Suppose -3*j + 47 = d, 5*d + 0*d + j = 235. Suppose 5*q = -2*x - 59, 37 = -5*q - x - 20. Let y = d + q. Is y a multiple of 9?
True
Let o(i) be the third derivative of i**6/60 - i**5/30 - i**4/24 + i**3/3 - 12*i**2. Is o(2) even?
True
Let m(y) = -y**2 + 9*y - 4. Let l be m(7). Is (108/l)/((15/(-25))/(-3)) a multiple of 12?
False
Suppose 8*m = 2*m. Suppose -a - 108 = -i, 4*i + 3*a + m*a = 460. Is i a multiple of 28?
True
Let c be ((-5)/(-3))/((-3)/(-9)). Let n = c + -4. Is 25/4 - n/4 a multiple of 5?
False
Suppose -29 - 21 = -10*z. Suppose -2*k = 2*w - 48, z*k + 76 = 2*w - 0*w. Is 14 a factor of w?
True
Let b(w) = -w**3 - 10*w**2 - 9*w + 2. Let v be b(-9). Suppose -3*d + 344 = -5*k, -v*d + 148 = -d + 5*k. Is d a multiple of 24?
False
Suppose 12*n - 17*n - 5*b + 10140 = 0, -3*b = 2*n - 4059. Is n a multiple of 27?
True
Suppose -3*n = -4*k - 940, 5*k + 4*n = k - 940. Let c = k - -523. Does 13 divide c?
False
Let r = 7 - 5. Suppose -339 = -6*s + r*s + x, -4*s = -2*x - 342. Let z = s + -54. Is z a multiple of 15?
True
Suppose -2*k + 3*u + 23 = 0, -5*u = 4*k - u + 4. Does 13 divide 4*2/k - -89?
True
Let k be (-1)/(0 + -1) + 2. Let h(p) = -p**2 - 26*p - 44. Let j be h(-24). Suppose -3*v + 27 = j*b, k*v - 2*b - 9 = 2*v. Is v a multiple of 3?
True
Let c(h) = -2*h**2 + 13*h + 10. Let l be c(7). Let n(r) = 30*r - l - 3 + 4. Is 11 a factor of n(3)?
True
Suppose 3*k + 0*k - 36 = x, k = -3*x - 98. Is 18 a factor of 5/(30/(-16))*x?
False
Let t(x) = 2 - 5*x - 4 + 4. Let l(u) = -9*u**3 - 1. Let z be l(1). Is t(z) a multiple of 17?
False
Let f(v) = v + 7. Let o be f(-7). Suppose 2*j + 3 = 5*j, o = -4*g - j + 25. Suppose g = 5*h - 3*d - 201, 3*d - 45 = -h. Is h a multiple of 14?
True
Suppose 5*o + 1747 = 4*j - 1815, 1786 = 2*j - 5*o. Is j a multiple of 37?
True
Let v be 238/(-8) + 1/(-4). Let k(h) = -6*h - 91. Let b be k(-13). Let x = b - v. Is x a multiple of 15?
False
Let r = 8 - 5. Suppose -d - 3 = 0, -21 + r = -5*k + d. Suppose -2*n + k*g + 3 = -36, 3*n - 5*g - 61 = 0. Does 4 divide n?
True
Let y(m) = -m**2 + m + 4. Let g be y(0). Suppose -133 = -g*i + 15. Does 19 divide i + 2/6*3?
True
Let c(f) = f**2 - f. Let r be c(-5). Suppose -4*k - s = 15, -3*k + 0*s - r = -3*s. Is 13 a factor of k/(-2)*24/3?
False
Suppose -28 = -5*x + 7. Let q(f) = f**3 - 5*f**2 - 14*f + 5. Let b be q(x). Suppose b*s + 55 = 6*s. Does 31 divide s?
False
Let m = -498 + 1233. Does 35 divide m?
True
Suppose 10 = 3*a - 3*u + 1, -5*u - 6 = -2*a. Suppose -4*p + c + 10 = -50, -a*p + 3*c + 45 = 0. Is 15 a factor of p?
True
Suppose 4*s = -3*u + 343, 3*s + 0*s - 3*u = 273. Suppose -s = -3*p - 10. Is p a multiple of 26?
True
Suppose -2*s + 12 = 4*s. Is ((-15)/s)/((-19)/76) a multiple of 4?
False
Let i(t) = 87*t + 796. Does 59 divide i(-4)?
False
Suppose 5*k = -2*b + 5428, -3012 = -3*k + 4*b + 250. Is 163 a factor of k?
False
Let z be 6/4*(-4 + 6). Suppose 4*d = -5*t + 1273, 2*t + 4*d - z*d - 508 = 0. Is t a multiple of 53?
False
Suppose k + k = 12. Suppose 0 = -3*b - 4*v - k, -2*v = -5*b + 3*v + 25. Suppose -b*l + 1 = -25. Is l a multiple of 9?
False
Let x = -1164 + 1700. Does 37 divide x?
False
Let w(p) = -p**3 - 10*p**2 + 4*p - 23. Does 9 divide w(-11)?
True
Let k(y) = 4*y**3 - 5*y**2 + 10*y - 5. Does 42 divide k(5)?
True
Suppose -q + 366 = -3*c, 5*c = -5*q + 771 + 1019. Is q a multiple of 20?
True
Let c = 679 - 319. Does 14 divide c?
False
Let w be 2/4*6 - 1. Suppose 0 = -c - 5, 5*c + 145 = -w*k. Let f = k + 90. Is 9 a factor of f?
False
Let y = 19 - 14. Suppose 5*k = y*h - 7*h + 535, 5*k + 4*h = 535. Let g = -59 + k. Does 10 divide g?
False
Let c = 136 + -308. Let r = c + 109. Is (-2)/(-14) + (-2637)/r a multiple of 13?
False
Does 4 divide 2/(-13) + 98364/546?
True
Let n = -4495 - -6728. Does 29 divide n?
True
Suppose 0 = -14*n + 15*n. Suppose 2*c + 4*b + 0*b + 2770 = n, -4*b = -c - 1355. Does 23 divide 3/18 - c/30?
True
Is 14*(147/14 + 6) a multiple of 10?
False
Let n(d) = -3*d**2 - 5*d + 8. Let a(x) = -x**2 - x + 1. Let j(w) = -4*a(w) + n(w). Is 6 a factor of j(5)?
True
Let k be (-6)/(-9)*333/6. Does 7 divide 2/(6/9) + k?
False
Suppose 7*o = 12*o - 5*t - 8450, 8486 = 5*o + 4*t. Is o a multiple of 11?
True
Let k = 135 + -147. Is 32*(-14)/(-35)*(-165)/k a multiple of 39?
False
Let k = 22 + -34. Let r be (-192)/k*(-6)/8. Is ((-12)/(-2))/((-9)/r) a multiple of 8?
True
Let n(q) = 21*q**2 - q - 2. Suppose -7*i + 3*i = -8. Let p be n(i). Suppose 0 = -5*v - 2*w + p, 3*v - 50 + 2 = 3*w. Does 8 divide v?
True
Suppose -48*u + 14*u + 38420 = 0. Is u a multiple of 89?
False
Suppose 12*c - 18*c = -12. Suppose -4*f - 5*w = -631, 4*w - 184 + 506 = c*f. Is f a multiple of 45?
False
Suppose 2*b - 3044 = -d, 4*b + 2*d - 5*d = 6108. Is b a multiple of 12?
True
Let p = 660 - 324. Does 14 divide p?
True
Let i = -12 - -14. Let s(x) = x**3 + x**i - 13*x + 13*x + 46. Does 23 divide s(0)?
True
Let s(q) = q**2 - 7*q + 6. Let z be s(4). Let v = z + 7. Suppose -23 = -h - v. Is h a multiple of 4?
False
Let r(i) = -43*i**3 + 2*i**2 - i. Suppose 0 = -n - 5, 5*p - 24 = p + 4*n. Let l be r(p). Is ((-18)/(-7))/((-9)/l) a multiple of 12?
True
Suppose -46*w = -10*w - 18504. Does 5 divide w?
False
Does 14 divide (-4 - -6)/(20/16200)?
False
Let f = 368 - 159. Is 11 a factor of f?
True
Suppose 0*h - 5*x = 4*h - 1900, h - 496 = 4*x. Does 40 divide h?
True
Let x(a) = 10*a**2 - 5*a - 10. Does 30 divide x(-6)?
False
Suppose 72263 = 32*x + 8679. Does 42 divide x?
False
Let d = -31 + 33. Suppose 0 = -3*k - d*k + 310. Is 19 a factor of k?
False
Suppose 37*t - 3180 = 27*t. Is 33 a factor of t?
False
Is (6904/10)/((-86)/(-215)) a multiple of 13?
False
Let s(f) = 2*f. Let r be s(1). Suppose r*i - 116 = -18. Does 8 divide i?
False
Let m = -215 - -218. Let o = 15 + -11. Suppose -m*u - d + 252 = 2*d, 0 = -d + o. Is u a multiple of 16?
True
Is (464 + 1)/(-158 - -159) a multiple of 5?
True
Suppose 0 = 2*l - 4*b - 332, -3*l + 11*b = 6*b - 494. Is 35 a factor of l?
False
Let o(k) = -3*k**2 + 2*k - 9. Let z be o(3). Let y = -25 - z. Suppose -96 = y*l - 11*l. Does 8 divide l?
True
Let i(o) = 2*o**3 - o**2 - o + 2. Let q = -8 + 9. Let w be i(q). Suppose -w*v + v - 3*n = -12, 5*n = 3*v - 78. Is 7 a factor of v?
True
Let f = -32 - -5. Let s = 29 + f. Suppose -m + 3*m - 283 = -3*l, 5*m + s*l - 713 = 0. Is 31 a factor of m?
False
Let p(u) = -2*u**3 + 4*u + 4. Suppose 0 = -3*q - 5 - 1. Does 6 divide p(q)?
True
Let k = 1689 + -933. Does 7 divide k?
True
Suppose -432 - 170 = 2*t. Let k = -165 - t. Is 8 a factor of k?
True
Suppose -3*t + 6*t - f - 6076 = 0, -3*t + 6074 = f. Does 26 divide t?
False
Let o(q) = q**2 + 15*q + 18. Let t be o(-14). Suppose -t*f + p + 58 = 0, -p - 9 - 4 = -f. Is f a multiple of 15?
True
Let t be (-3)/(3/(-119)) - -1. Let c = -290 + 292. Suppose -t = -q - 4*q - 4*b, c*b - 48 = -2*q. Is q a multiple of 8?
True
Let z be (1*(-18)/(-4))/((-5)/70). Let i = z - -88. Is i a multiple of 25?
True
Let q(i) = 3*i - 1. Let r be q(-4). Suppose 10 + 9 = -c. Let m = r - c. Is 6 a factor of m?
True
Suppose -73 = -n + i + 58, -i = -4*n + 518. Is n a multiple of 25?
False
Let j(r) = r**2 - 3*r - 14. Let i = -60 + 67. Is 7 a factor of j(i)?
True
Let b(x) be the second derivative of 11*x**3/6 - 11*x**2/2 - 22*x. Is b(2) a multiple of 7?
False
Let k(y) = -51*y + 35. Let x be k(5). Let a = -87 - x. Is a a multiple of 7?
True
Let a be 2/6 - 1055/(-3). Suppose -2*v + v - 4 = 0, a = 3*g - v. Suppose -g + 35 = -2*p - 5*u, 144 = 4*p + 4*u. Is 16 a factor of p?
False
Let y(w) = w**3 + 3*w**2 - w + 12. Let j(t) = -t**3 - 5*t**2 + 5*t - 2. Let x be j(-6). Is y(x) a multiple of 24?
True
Does 4 divide 105 - (5 - 22/2)?
False
Let i(j) = -8*j - 5. Let v be i(-1). Let o(p) = 3*p**2 - 4*p + 2. Is o(v) a multiple of 5?
False
Suppose d - 4*y + 402 = 3*d, 0 = -3*d + 4*y + 603. Does 4 divide d?
False
Let k = -5 + 8. Suppose 2*w = k*w + 5. Is 23 a factor of (w + 74)*(2 - 1)?
True
Let c(t) = 254*t**2 + 16*t + 17. I