-1984))?
True
Suppose 4 = -y - 2. Let s be -290*-3*(-1)/y. Suppose -4*c - s = -377. Is c a multiple of 16?
False
Suppose -3*q = -6*q + 18. Suppose -3*c - 1 + 4 = 2*w, -3*w - 3*c + q = 0. Suppose 0 = 4*v + l + w*l - 152, 3*l + 222 = 5*v. Is 29 a factor of v?
False
Let m(v) = v**3 + 13*v**2 + 13*v + 13. Let d be m(-12). Suppose -n + 4 = d. Suppose -n*i + 25 + 26 = -2*f, 5*i - 69 = -2*f. Does 5 divide i?
True
Let o = 11 + 3. Suppose 4*t - 22 = o. Does 2 divide t?
False
Let k(q) = -28*q - 6. Let p be k(19). Let m = p - -1054. Suppose 9*f - m = 5*f. Is f a multiple of 22?
False
Let d = -655 + 1249. Does 2 divide d?
True
Suppose 0 = 4*h - c + 154 - 4625, 5*h - 5*c - 5600 = 0. Does 4 divide h?
False
Suppose 42*o = 37*o - 760. Let a = o - -258. Is a a multiple of 16?
False
Let y(z) = 47*z**3 - 15*z**2 - 4*z - 7. Does 61 divide y(4)?
True
Let j(l) = -8*l + 2. Let y = 20 + -28. Is 11 a factor of j(y)?
True
Suppose 4*n + 16 = 0, 11*n - 6*n + 80 = 5*d. Let x(v) = -9 + v + 2*v - 5. Is x(d) a multiple of 16?
False
Suppose -3*f = 2*b - 4*f - 23, -2*f = 10. Suppose p - b = 51. Is 15 a factor of p?
True
Let u(x) = -19*x - 1. Let y be u(1). Suppose -3*h - 97 = -0*h - 4*v, h = 4*v - 35. Let z = y - h. Does 10 divide z?
False
Let i = 286 - 201. Does 17 divide i?
True
Does 15 divide 36100/68 - (-8)/68?
False
Let y = 77 + -102. Suppose -4*d + 2*t = 46 + 8, -5*d - 85 = t. Let q = d - y. Does 6 divide q?
False
Let b(t) = -104*t + 21. Does 28 divide b(-4)?
False
Let d be (0 + -1)*13*10/(-10). Suppose -d*v = -v - 1068. Is v a multiple of 7?
False
Suppose -3*p + 2*p - 4*m - 10 = 0, -5*m - 4 = -3*p. Let h = 49 + p. Is h a multiple of 8?
False
Let h(v) = 11*v**2 + 2*v - 1. Let u be h(1). Let q(c) = -15 - c**2 + c**2 + u*c + 7 - c**2. Does 6 divide q(5)?
False
Let n = 27 - 7. Let m = n + 37. Is m a multiple of 19?
True
Let g(x) = -x**3 + 2*x**2 + 2*x - 2. Let r be g(2). Suppose 0 = r*y + 2*y - 52. Suppose y + 53 = 2*d. Does 6 divide d?
False
Let q be (-23)/(1/(0 + -1)). Let g = -18 + q. Suppose -g*s - 116 = -7*s. Does 20 divide s?
False
Let k = -20 + 22. Let m = k - -2. Suppose x + 50 = c - 2*x, -214 = -m*c - 2*x. Is 14 a factor of c?
False
Let j(a) = -a**3 + 3*a**2 + a + 2. Let y(x) = -x**2 - 5*x - 2. Let p be y(-3). Let u be j(p). Let v = 17 + u. Does 4 divide v?
False
Let b(v) = -3*v - 2. Let n be b(-2). Let a(s) be the first derivative of -s**4/4 + 2*s**3 - 3*s**2/2 + 6*s + 31. Is a(n) a multiple of 13?
True
Suppose 3*c - 126 = h, -h - 68 = 2*c + 63. Let p = h - -204. Is p a multiple of 5?
True
Suppose 7*t - 4*g - 84 = 6*t, 0 = 5*t - g - 458. Does 9 divide t?
False
Let x = 20 - 28. Is 26 a factor of (-404)/x - (-3)/2?
True
Let f(j) = 91*j**2 - 9*j + 18. Is 14 a factor of f(2)?
True
Suppose 0 = -3*u - s - s + 16, -s - 2 = -u. Suppose -u = 3*q - 82. Is 13 a factor of q?
True
Let j(a) be the second derivative of 2*a**3 - 3*a**2 + 9*a. Let h(g) = 18*g - 9. Let z(y) = -5*h(y) + 7*j(y). Is 29 a factor of z(-14)?
True
Let w be (-15)/(-60)*(52 - 0). Suppose 0 = -3*q + z + 612, 1020 = 5*q - w*z + 12*z. Is q a multiple of 51?
True
Let p be (-9 + -9)/(3/(-4)). Let w be p/(-16)*(2 + -24). Suppose r - w = -0*r. Is 11 a factor of r?
True
Let y = 17 - 15. Suppose -2*g = y*g. Suppose 2*t = 6*t + 8, g = -5*f + 2*t + 224. Is 23 a factor of f?
False
Suppose -4*l - 3*h + 1424 = -5177, -6596 = -4*l - 4*h. Does 20 divide l?
False
Suppose 4*c - 16 = -k + 3, -4*k = -5*c - 34. Suppose -k*d + 8*d = 0. Suppose 3*x - 2*h = 56 + 134, d = -5*x - 2*h + 290. Does 14 divide x?
False
Let v = -104 - -326. Suppose -3*j + 93 = -v. Does 26 divide j?
False
Suppose -5*a + 445 = -560. Does 8 divide a?
False
Let x(l) = -4*l - 15. Let n(k) = 2. Let i(f) = 14*n(f) + 2*x(f). Let g(q) = q. Let m be g(-1). Is 6 a factor of i(m)?
True
Let b(c) = -c**2 - c - 1. Let k(z) = 4*z**2 - 6*z + 3. Let s(n) = -b(n) + k(n). Let a = 220 + -217. Is s(a) a multiple of 34?
True
Suppose -2506 - 362 = -6*a. Does 27 divide a?
False
Let s(y) = y**3 - 8*y**2 + 9*y - 10. Let v = 20 - 13. Let o be s(v). Suppose -4*i + 2*i - o*k = -56, -3*i - 4*k = -92. Is 9 a factor of i?
True
Suppose 4*c + f + 484 = 0, 4*f = -6*c + 2*c - 472. Let w = c + 173. Is w a multiple of 17?
True
Suppose -119 = 5*p - 499. Is 16 a factor of p?
False
Suppose 0 = 11*p - 13*p. Suppose -2*z + 0*m + 24 = 2*m, -z - 3*m + 10 = p. Does 13 divide z?
True
Let u = 1444 - 1399. Does 15 divide u?
True
Let v = 25 - -211. Suppose 799 = 5*a - v. Does 23 divide a?
True
Suppose -54 = -81*u + 78*u. Is u a multiple of 4?
False
Let w be 2*(-1)/(-2) + 7/(-1). Is (-202)/(-8) + w/24 a multiple of 4?
False
Let l(z) = -z + 3. Let y be l(1). Suppose y*o = -o + 72. Is o a multiple of 6?
True
Suppose 3638 = 5*c + 1088. Does 15 divide c?
True
Suppose -18*c + 269 = -2089. Let l(k) = -2*k**3 - 2*k**2 - 4*k. Let d be l(3). Let a = d + c. Is a a multiple of 9?
False
Let p(r) = -7*r + 13. Let i(t) = -14*t + 26. Let d(b) = -3*i(b) + 5*p(b). Does 3 divide d(5)?
False
Let w(s) = 221*s - 912. Does 21 divide w(22)?
False
Suppose -c + 4*a - 83 = -2*c, 4*c + 5*a - 354 = 0. Is c a multiple of 29?
False
Suppose 118*d - 1568 = 114*d. Is 12 a factor of -6 + d/63 - 844/(-9)?
False
Suppose 2*q = -0*q + 2. Suppose -y - 40 = -q. Let g = y + 98. Is g a multiple of 15?
False
Let z(b) = -17*b + 29. Let d be z(-4). Is 9 a factor of -1 + d + 3/(-9)*-9?
True
Suppose 0 = 5*j + d - 51 - 274, 4*j - 260 = -d. Is 4 a factor of j?
False
Let s(x) be the second derivative of x**4/12 + 2*x**3 + 3*x**2/2 - 4*x. Let v be s(-12). Suppose v*w = w + 184. Is 29 a factor of w?
False
Suppose -2*s + 4*b + 10 = 2*b, -25 = -4*s + 5*b. Suppose -w - 110 + 313 = s. Does 19 divide w?
False
Is (-21891)/(-10) - 2*(-3)/(-60) a multiple of 11?
True
Does 11 divide (1*3)/(87/28971)?
False
Let x = -12 + 12. Suppose -w + d - 5 = 0, x = 3*w + 5*d - 24 - 1. Suppose -3*r + 59 + 154 = w. Is 18 a factor of r?
False
Suppose -261 + 17 = -h. Suppose -l - 2*l + 498 = 0. Suppose l = 5*c - h. Is c a multiple of 21?
False
Does 24 divide -2*((-382)/4 - 9)?
False
Let l(k) = k**2 - 9*k. Let t be l(9). Suppose -5*c + t = -240. Is c a multiple of 12?
True
Let d be 0 - ((-11 - 9) + (-2)/(-2)). Does 7 divide 0 + (0 - -3) + -1 + d?
True
Let j(h) = -h**3 - 16*h**2 - h + 13. Let q be j(-16). Suppose 11 = 4*g - q. Is (48/g)/((-2)/(-10)) a multiple of 12?
True
Suppose 24 = 5*f - 16. Let t(p) be the third derivative of p**4/12 + 5*p**3/6 - 3*p**2. Is t(f) a multiple of 6?
False
Suppose -3*a - 2*w + 14 = -a, -6 = 2*a - 3*w. Is 10 a factor of (44 - a) + 4 + 4?
False
Suppose 12 = -u + 2*u. Suppose 0 = -i - u + 84. Is i a multiple of 36?
True
Suppose -34*w - 1702 = -36*w - 5*n, -3*n = -4*w + 3456. Does 5 divide w?
False
Is 41 a factor of -2 + 1/(-2)*(9 + -1185)?
False
Suppose 15*z + 12 = 2*b + 17*z, -4*z - 4 = -3*b. Is 17 a factor of (b/(-10))/((-1 - -2)/(-765))?
True
Let k(t) = t**3 + 24*t**2 - 64*t - 45. Does 17 divide k(-26)?
False
Suppose 5*y = 2*p + 3*p + 2795, -4 = -4*p. Is 35 a factor of y?
True
Let a(y) = 6*y**2 - 8. Is a(-3) a multiple of 8?
False
Suppose 4*a - 2*b = 2*b - 60, -36 = 2*a - 4*b. Does 13 divide (-615)/a - (-3)/(-12)?
False
Let n(b) = 548*b - 190. Does 53 divide n(4)?
False
Let d be -36*((-3)/(-9) - 1). Suppose -4*o = -2*g + 8 + d, -o = 3*g - 48. Suppose -5*z + 56 = g. Is 8 a factor of z?
True
Suppose 35*n = 9323 + 57002. Is 15 a factor of n?
False
Let m = 900 + -55. Is m a multiple of 7?
False
Let k = 482 + -378. Is 26 a factor of k?
True
Suppose -110 = 2*t + 3*t. Let v = t - -31. Is v a multiple of 3?
True
Let f = 570 + -350. Does 14 divide f?
False
Suppose -10*y = -8*y - 6. Suppose -k + 67 = -5*l, k = -3*k + 5*l + 208. Let i = y + k. Is i a multiple of 25?
True
Suppose -6*j + 2*j + 448 = 0. Does 7 divide j?
True
Suppose 0 = 5*c + 4*m - 38, 0 = -3*c + 2*m + 13 + 1. Is (0 + c)/(15/105) a multiple of 7?
True
Let o(h) be the third derivative of -h**6/120 + 13*h**5/60 - h**4/2 - h**3/3 - 29*h**2. Does 12 divide o(11)?
True
Suppose 4*o - 24 = -2*o. Suppose o*z + 18 = -2*z. Let c = z - -60. Is c a multiple of 8?
False
Let m(i) = 2*i**3 + 5*i**2 + 7*i + 5. Let o(b) = -3*b**3 - 8*b**2 - 11*b - 7. Let u(v) = 7*m(v) + 5*o(v). Let j = 19 - 23. Is 3 a factor of u(j)?
False
Suppose 300 = -v - 4*v. Is ((-1128)/v)/((-1)/(-5)) a multiple of 29?
False
Is 2 a factor o