3*m**2 - 4*m + 5. Let a be 9 + (-2 + 4)*-2. Is t(a) a multiple of 15?
True
Let o(f) = 3*f - 11. Let v be o(8). Let d = -11 + v. Suppose 2*k + d*p = 30, p + 2*p = k - 31. Is k a multiple of 6?
False
Let v(k) = k + 18. Let o be v(-16). Suppose 2*i = 8, 4*g = 3*g + o*i + 153. Let m = g + -89. Is m a multiple of 18?
True
Let s(j) = 12*j - 6. Let n be s(8). Suppose 0 = -5*u - 25, 3*u + 69 = 4*c - n. Is 23 a factor of c?
False
Suppose 80*l - 74*l - 264 = 0. Is l a multiple of 8?
False
Let t(o) = -2*o - 12. Let q be t(-5). Let s be -31 - (2 - (q + 0)). Let u = 77 + s. Does 21 divide u?
True
Does 13 divide 8/(-10) - (-6853)/35?
True
Let v(q) = -q**2 - 6*q - 6. Let i be v(-4). Suppose 198 = 2*a - o, 3*a + i*o = -101 + 391. Let s = a + -5. Is 31 a factor of s?
True
Suppose -2*g = f - 5*f - 250, -4*f = g - 125. Is 10 a factor of (g/(-20))/((-99)/48 - -2)?
True
Let c = 4 - 0. Suppose 0 = 3*m + 9, c*z - 3*m = 2*m + 31. Is z even?
True
Let d = -88 + 57. Let f = d - -86. Does 13 divide f?
False
Suppose -12 = -6*j + 6. Suppose -45 = -j*d + 102. Does 13 divide d?
False
Suppose 27*z + 6800 = 43*z. Is z a multiple of 25?
True
Let r be (-21 + 2)*(-4 + 6). Let j = r - -56. Suppose 3*l = -2*y + 38, 2*l - j - 18 = 4*y. Does 7 divide l?
True
Let p(m) = m**3 + 47*m**2 - 22*m - 212. Is p(-46) a multiple of 36?
True
Let q(c) be the second derivative of 11*c**5/20 - c**4/6 + c**3/6 + 2*c**2 + 3*c + 5. Is 9 a factor of q(2)?
False
Let d be (-39)/65 + 3/5. Suppose d*o + 2*o = 8. Suppose -3*r + o*p - 11 = -91, -2*p + 70 = 4*r. Is 20 a factor of r?
True
Suppose 3*t - 4*t + v = -418, 4*t - 1672 = 5*v. Is 19 a factor of t?
True
Suppose l = 4 - 1. Suppose l*f + 0 - 6 = 0. Suppose 0 = -4*w - 8, f*w = 2*z + 3*w - 24. Is 13 a factor of z?
True
Let v(x) = x - 4. Let t be v(6). Suppose -t = 2*d - 4*r + 4, 5*d - 12 = r. Suppose -d*u = -u - 20. Is 3 a factor of u?
False
Suppose -4*a - 4*k + 5916 = 0, 828 + 3615 = 3*a + k. Does 16 divide a?
False
Does 47 divide (-12 - (6 + -14)) + 581?
False
Suppose 0 = 3*i + 4*c - 6244, -3*i - 4*c + 3*c + 6259 = 0. Does 87 divide i?
True
Let g = -209 + 495. Is g a multiple of 10?
False
Let k(d) = d**2 - 7*d - 10. Let g be k(8). Let y(a) = -3*a**2 - a - 2. Let m be y(g). Is (18/m)/(3/(-16)) a multiple of 8?
True
Let x(c) be the third derivative of -c**4/8 + 5*c**3/6 + 3*c**2. Is x(-9) a multiple of 8?
True
Let n be 8/44 - (-62)/22. Suppose n*b - 77 = 238. Does 35 divide b?
True
Let y(l) = l**2 + 12*l - 17. Let j be y(-13). Let n(f) = 2*f**2 + 2*f - 4. Is n(j) a multiple of 2?
True
Suppose -z + 4*s + 15 = 0, 2*z + 7*s = 2*s + 56. Let a(y) = -y + 56. Is a(z) a multiple of 11?
True
Suppose -2*u = -5*u + 4*m + 408, 543 = 4*u - 5*m. Does 9 divide u?
False
Let f(h) = 2*h**3 - h**2 - 6*h - 35. Does 61 divide f(11)?
True
Suppose -2*s - 26271 = -23*s. Is s a multiple of 9?
True
Suppose -h - 2*m = -4, -m - m - 20 = -h. Suppose h*r = 15*r - 336. Is 14 a factor of r?
True
Suppose -5*t + 31 = -4*d, t - 5*d - 11 = 4*t. Suppose 0 = -f + 2*l + 67, 0*f - l + 187 = t*f. Is f a multiple of 9?
True
Let a be 4/(-1)*(-1 - 15/(-2)). Let f = 120 + a. Does 12 divide f?
False
Suppose -2*s + 20 = -4*t, -2*t = 3*s - 0*t - 46. Suppose -44 = -3*q - s. Does 21 divide q/(-15) - (-384)/9?
True
Suppose 3*t = 2*o + 1103, 1203 = 5*t + 4*o - 628. Does 9 divide t?
False
Suppose 167 - 35 = 4*v. Is (v/(-2))/(3/(-6)) a multiple of 11?
True
Let z = 706 + -496. Does 6 divide z?
True
Suppose 5*b - 4 - 16 = 0. Suppose 947 - 247 = 4*x. Suppose 5*q + 2*d = x, 0 = d - b - 1. Is q a multiple of 28?
False
Suppose 7 = -8*m + 23. Is (-411)/(-2) - 1/m a multiple of 16?
False
Suppose 0*q = -3*q + 21. Suppose -59 - 186 = -q*z. Let a = z + 49. Does 21 divide a?
True
Let k be (-2)/(-10) + (-84)/(-30). Let d(c) = 21*c. Let s be d(k). Let x = -45 + s. Does 13 divide x?
False
Let w = 8 - -10. Let g be (-4)/w + 325/45. Does 7 divide (0 + g)*(-7 + 10)?
True
Let u = -52 - -28. Let h = u - -26. Suppose v - 15 = -5*p, -3*v - v + 60 = h*p. Is 15 a factor of v?
True
Suppose -u = u. Suppose u = 8*i - 5*i. Suppose i = o - 3*x - 28 - 0, -o + 20 = x. Is o a multiple of 22?
True
Let a(p) = -10*p - 7 - p - 8*p + 5*p - p**3 + 11*p**2. Let t be a(7). Suppose -t = -2*m + 29. Is m a multiple of 10?
True
Let q(f) = 5*f**3 - f**2 + 5*f - 3. Let p be q(3). Suppose 0 = 5*z - 3*a - 186, -4*z + 0*z + p = 3*a. Is z a multiple of 12?
True
Suppose 36 = q - 36. Let n = 152 - q. Does 10 divide n?
True
Suppose 0 = 4*a + 3*u + 160465, 5*a + 2*u = 4*u - 200610. Does 13 divide 1 + 13/(-11) + a/(-440)?
True
Suppose 15 = -2*y - v, 2*v = -y - 2*v - 4. Let n be (9/(-2))/((-2)/y). Is (-4)/(-6) - 852/n a multiple of 19?
False
Suppose -4*g + 266 + 902 = 0. Does 19 divide g?
False
Let q(w) be the third derivative of -17*w**4/12 - 5*w**3/6 - 4*w**2 - 9. Let u(b) = b**3 + 7*b**2 + 5*b - 8. Let c be u(-6). Is q(c) a multiple of 9?
True
Let b(s) = 42*s**2 - 24*s - 54. Does 17 divide b(-5)?
False
Suppose -v - i = -64, 0*v + 130 = 2*v + 4*i. Is 2/9 + 9058/v a multiple of 36?
True
Suppose -3073 + 217 = -2*l. Let b be (-9)/(-6) + l/8. Let c = b + -128. Does 13 divide c?
True
Suppose 0*r = -5*r + 275. Let b = -3 - -9. Suppose b*q = q + r. Is q a multiple of 11?
True
Suppose -3*l + 4*q = -l - 1076, 4*q = 3*l - 1604. Is 16 a factor of l?
True
Let m(v) = -94*v + 2. Let a be m(1). Is 10 a factor of (-2 + 6/4)*(a - -10)?
False
Let f be (-2)/(-5) - (-2130)/50. Suppose 0 = h + 8 - f. Does 7 divide h?
True
Let m = -166 + 332. Does 5 divide m?
False
Let g = 60 - -167. Is 60 a factor of g?
False
Let j(z) = -z**3 + 9*z**2 - 13. Let p be j(9). Let l(k) = k**2 + 14*k + 10. Let h be l(p). Does 18 divide (h/((-9)/516))/2?
False
Suppose 0 = 3*x + 15, -2*x = 5*k - x - 3610. Is k a multiple of 33?
False
Suppose 23 = -2*n + 3*n. Suppose 50*v = 61*v. Suppose -l + n = -v*l. Does 8 divide l?
False
Let p(i) = i**3 + 22*i**2 - 24*i - 23. Let z be p(-23). Suppose 5*q = -2*d + 241, d = -5*q - z*d + 243. Is q a multiple of 7?
True
Is ((-58)/4)/(14/(-224)) a multiple of 30?
False
Suppose -4*t + 5*p + 11 = 0, -3*t - 2*p + 14 = -0*t. Let g = 3 - t. Is -12 + 16 + (-96)/g a multiple of 28?
False
Suppose -4*i = -4*b + 1702 + 1398, -2323 = -3*b + 5*i. Suppose -9*j - 101 = -b. Is 15 a factor of j?
True
Let l(p) = 62*p**2 + 8*p - 17. Is 13 a factor of l(2)?
True
Is 26 a factor of 3/15 + 5195/25?
True
Let m be 4/(-6)*21/(-7). Suppose 0*a - 354 = -m*a. Suppose x = h + 4*x - 45, -a = -5*h - 3*x. Is h a multiple of 20?
False
Let w = 962 - -100. Is 18 a factor of w?
True
Let q be (2*2/(-4))/((-4)/404). Suppose -3*a + 4*j = -q, -69 = -3*a + a + j. Is 21 a factor of a?
False
Let w(p) = -p**2 + 4*p + 1. Let q(a) = 8*a + 6 - 3 - 2 - 2*a**2. Let h(t) = -4*q(t) + 7*w(t). Does 19 divide h(-4)?
False
Let p = -97 - -41. Let f = 59 + p. Does 3 divide f?
True
Suppose 8*g = g + 1890. Suppose -41*q + g = -36*q. Is q a multiple of 9?
True
Suppose -395 - 1495 = -5*h. Let c = h + -207. Is c a multiple of 9?
True
Let i(l) = 6*l**2 - 2*l - 2. Let a(m) = m**3 - 10*m**2 - 2*m + 16. Let b be a(10). Let p be i(b). Is 20/(-8)*p/(-15) a multiple of 8?
False
Suppose -339 = 5*k - 1059. Does 4 divide k?
True
Suppose -14*s - 120 = 188. Let d = 82 + s. Does 10 divide d?
True
Suppose -2*f + 26 + 6 = 4*d, 5*d + 10 = 0. Suppose 4*p = 4*a + 16, 3*p = -3*a - 9 - 9. Let k = p + f. Is k a multiple of 4?
False
Suppose -8006 = -19*k - 1356. Is k a multiple of 14?
True
Is 234 + 6 + (-10 - -6) a multiple of 29?
False
Let a(j) = 17*j**2 + 18*j + 75. Is a(-7) a multiple of 17?
True
Let l(j) = 3*j + 9. Let f(p) = -p - 5. Let c(u) = -5*f(u) - 3*l(u). Let b be 15/6*40/(-25). Does 7 divide c(b)?
True
Suppose -772 = -2*q - 4*g, -g - g + 1178 = 3*q. Is 22 a factor of q?
True
Let t be 4014/(-27)*3*(-3)/6. Let o = -115 + t. Does 9 divide o?
True
Let r = 781 - 484. Is 25 a factor of r?
False
Let q be (-80)/4*5/(-4). Let u = -7 + q. Is 12 a factor of u?
False
Suppose -59 + 139 = 5*o. Suppose 4*n - o = 4. Suppose -2*d + 2 = 0, -x - 4*x + n*d + 265 = 0. Is x a multiple of 14?
False
Let f = -439 - -693. Let n = -152 + f. Is 17 a factor of n?
True
Let q be (7 + -5)*(2 + 0). Suppose -q*y = -5*y. Suppose y = 2*b - 21 + 7. Is b a multiple of 3?
False
Suppose z - 17 - 28 = 0. Suppose -d - z = -6*d. Does 9 divide d?
True
Suppose 3*m - m = 476. Let j be (