t be j(3). Does 4 divide (t - -1) + 23 + r?
False
Does 37 divide (7 + (918 - -3))*(0 - -1)?
False
Suppose -a = -2*k - 6, -3*a - 2*k = -7*a. Let q be (a/(-3))/(2/12). Suppose -p - 3*p = -q*l - 12, -3*p - 4*l + 44 = 0. Does 8 divide p?
True
Let v(g) be the first derivative of g**3/3 - g**2 - 3*g - 1. Let x be 2*(2 + 21/(-6)). Is v(x) a multiple of 6?
True
Suppose -j + 34 = 2*q, -92*q - 86 = -3*j - 90*q. Is j a multiple of 6?
True
Is 35 a factor of (-42)/(-4) - 9 - (-557)/2?
True
Let q = -48 - -74. Let w = q + -21. Is 2 a factor of w?
False
Let p be 3/(5/25*5). Suppose 0 = -p*b + 6, -3*a + 0*b = -2*b - 86. Is 30 a factor of a?
True
Suppose -10 = 3*q - 64. Let r = q - 7. Is 90/r + 4/(-22) a multiple of 4?
True
Suppose 0 = -9*u - 1310 + 3983. Is u a multiple of 25?
False
Let w(y) = 6*y + 1. Let z be w(7). Let p be (-84 - 0)*(-33)/44. Let h = p - z. Is h a multiple of 9?
False
Let r = 411 - 231. Does 6 divide r?
True
Let j(d) = -2*d**3 - 5*d**2 + d. Let t be j(-3). Let r(m) be the first derivative of 3*m**2/2 - 3*m - 1. Does 15 divide r(t)?
True
Let k(d) = -d**2 + 10*d + 14. Let x be k(11). Let f be 3 - (-1)/(-4 + x). Suppose 0 = 4*i + f*r - 10 - 62, 0 = -2*i + 3*r + 36. Is i a multiple of 6?
True
Let s = -93 - -96. Is 33 a factor of (-2638)/(-10) - s*3/(-45)?
True
Let i = -11 - -8. Let v be (-5 + 1)*(-402)/24. Does 29 divide -2 - (i + 2)*v?
False
Let k(h) be the first derivative of -h**4/4 - 5*h**3/3 + 4*h**2 + 5*h - 2. Let v be k(-6). Let m(u) = -5*u - 11. Is m(v) a multiple of 8?
True
Let y(c) = c**3 - 8*c**2 + 5*c + 4. Let o be y(9). Does 4 divide o/8 - (-1)/(-4)?
True
Suppose -2*b + 2 = -b. Suppose -b*t + 4 = -t. Suppose -2*x = t - 46. Does 6 divide x?
False
Let o = -43 + 146. Is 14 a factor of o?
False
Suppose 4*o = n + 105, 0 = -5*o + 2*n + n + 133. Suppose 0 = o*w - 21*w. Suppose -r - r + 112 = w. Is r a multiple of 28?
True
Let m be -2 - (-2 - 0/4). Let o = m - -4. Is 10 a factor of o/(-14) + (-780)/(-35)?
False
Let v(y) = 2*y**2 - 3*y - 1. Let b be v(-3). Suppose 4*p = -2*g - 3*g + b, -5*g = -5*p + 10. Suppose -g*x + 279 = 99. Does 15 divide x?
True
Suppose q + f = 14, -6*q + 4*q = 5*f - 37. Let y(c) = -c**2 + 11*c + 11. Does 9 divide y(q)?
False
Let v(l) = -2*l**3 + 2*l**2 - l - 1. Let b(d) = 3*d**3 - 5*d**2 + 3*d + 2. Let m(w) = 3*b(w) + 5*v(w). Is 13 a factor of m(-6)?
True
Let s be 0/(2 - (-2 + 3)) - -3. Suppose 5*f = k - 3*k + 696, -s*f = 3*k - 423. Is 13 a factor of f?
False
Let f(g) = -3*g + 10. Let l be f(10). Let k = 19 + l. Let y = k - -65. Is y a multiple of 16?
True
Let f = 81 - 51. Let k be 8/((-24)/15) - -49. Let s = k - f. Is 11 a factor of s?
False
Let a be (9 - 2)*1 - -3. Let p be (12/(-30))/((-4)/a). Suppose -w + 3*t = p, -2*w - 4*t + 13 = -15. Is w a multiple of 8?
True
Suppose 0 = -q - 3*q - 188. Let n = -47 - -126. Let j = q + n. Does 16 divide j?
True
Suppose f = -4*f + 2*l + 23, -5*f = 2*l - 27. Suppose 3 = 4*m - f*n, 0 = 4*m - 3*m - 2*n + 3. Suppose m*s + 36 = 11*s. Is s a multiple of 9?
True
Is 15 a factor of 363*(-8)/36*-18?
False
Suppose -3*h + 88 = -5*v + v, 5*v + 83 = -3*h. Let b = 41 - -23. Let r = v + b. Does 20 divide r?
False
Suppose -3*z - 18 = g, -z - 3*z + 5*g = 43. Let m(q) = q**2 - 7. Let v be m(z). Suppose -4*j + 53 = f, v = 5*j - f - 22. Is j a multiple of 13?
True
Let l(x) = -x**2 - 34*x - 163. Is l(-20) a multiple of 53?
False
Let f = -43 + -2. Suppose 5*k - b - 389 = 0, 0*k - 3*k = -3*b - 231. Let n = f + k. Does 10 divide n?
False
Let o = 94 - -275. Is 58 a factor of o?
False
Let x = -668 - -1520. Does 5 divide x?
False
Let q = 18 + -10. Suppose 2*l - q*l = -42. Does 4 divide l?
False
Let n be (3 + (-15)/6)*2. Let m be ((-4)/2)/(n/(-48)). Suppose 0*z - m = -4*z. Is z a multiple of 6?
True
Let h be (5/(15/(-54)))/1. Let l = 111 - h. Does 43 divide l?
True
Suppose j = 2*f + 7, -j + f + 4 = -3. Is (6 + j/(-1))*-9*12 a multiple of 18?
True
Let i = 43 + -37. Is 6 a factor of i?
True
Let q(v) = -41*v + 149. Is q(-8) a multiple of 9?
True
Suppose 3*p - 1915 = w, 2*p + 2*p = 5*w + 2557. Is 22 a factor of p?
True
Let d be (3/(-2))/(3/(-6)). Let x(h) = -h - 1 - h**3 - h - 15*h**d. Is x(-1) a multiple of 10?
False
Let c(v) = -518*v - 58. Is c(-4) a multiple of 19?
True
Suppose 15 = r - 5*h, -r = -0*r + 2*h + 6. Suppose 6*o - 40 - 74 = r. Is o a multiple of 13?
False
Let d(c) = 407*c**3 - c**2 + 5*c - 3. Is 17 a factor of d(1)?
True
Let i = 70 + -66. Let l(w) = 22*w. Is l(i) a multiple of 9?
False
Let a(t) = 4*t - 36. Let o be a(9). Is 352 - 1/(-6)*o a multiple of 22?
True
Let q(m) = -m**3 - 9*m**2 - 9*m + 4. Let s(x) = 3*x**3 + 27*x**2 + 27*x - 12. Let b(u) = 17*q(u) + 6*s(u). Let y be b(-9). Let r = y + 142. Is 19 a factor of r?
True
Let u = -9 - -14. Suppose -m = -3*x + 23, 65 = 5*x + u*m - 0*m. Is x even?
False
Let i(d) = -84*d + 53. Is 4 a factor of i(0)?
False
Let p(o) = 18*o**2 + 4*o + 8. Does 42 divide p(-4)?
False
Suppose 2*o - 836 = -0*o - 4*i, -2*i - 2114 = -5*o. Is 41 a factor of o?
False
Let s be 2/((4/6)/1). Suppose 3*c + 2*c - 5*n - 410 = 0, s*n = -c + 90. Does 14 divide c?
True
Suppose 3*p = -100 - 8. Let i = p - -43. Does 7 divide i?
True
Let k = 2629 + -2564. Does 2 divide k?
False
Suppose 0 = 2*q + 2*t - 156, -5*q = -3*t - t - 345. Suppose q = 2*z - 3*y, 2*y - 4 = 6. Does 11 divide z?
True
Suppose 0 = -m - 5*q + 101, m - 62 - 48 = 4*q. Suppose v + 5*s = 81 + 33, 3*s = -v + m. Suppose 3*y - y - v = 0. Is y a multiple of 31?
False
Does 20 divide (-1824)/(-40)*5 + 2?
False
Let p(v) = 2*v**2 - 19*v - 5. Let w be p(10). Suppose -9*f + 228 = -w*f. Does 16 divide f?
False
Suppose 34*w - 29*w - 2*a - 1882 = 0, -2*a - 754 = -2*w. Does 16 divide w?
False
Let b(g) be the third derivative of 1/60*g**5 + 6*g**2 + 0*g - 5/24*g**4 + 0 + 7/6*g**3. Is 3 a factor of b(4)?
True
Suppose 0 = -2*d - 2*p + 26, 3*d - p - p - 34 = 0. Suppose 2*c - 4*b = -3*b + 34, c - 3*b = d. Is 18 a factor of c?
True
Suppose 2*f + 4*y = 3*y + 825, 5*y = -5*f + 2075. Suppose -507 = -5*h + 3*c, h - 2*c + f = 5*h. Is 34 a factor of h?
True
Let b be 1/((-1)/(-7)) + 6/(-2). Suppose -3*d - 256 = -5*y, -b*y + 198 = 4*d - 3*d. Is 12 a factor of y?
False
Suppose 495 - 81 = 2*r. Does 19 divide r?
False
Let a = -1348 + 1523. Does 5 divide a?
True
Is 4 + (26 + -68)*(-6)/7 a multiple of 10?
True
Suppose 0 = o - 35 - 109. Does 12 divide (4/26 - (-18)/52)*o?
True
Let k = 18 - 12. Suppose w + 4*u - k = -0, 0 = -3*w + 4*u - 14. Is 18*2 - (-2 - w) a multiple of 12?
True
Suppose -2 = -w - 7, -4*w - 22 = 2*d. Let n = 5 + d. Is 2 a factor of n?
True
Suppose 2651 = 21*y - 1465. Is y a multiple of 14?
True
Let q(m) = 104*m - 118. Is 11 a factor of q(6)?
True
Let m = 7 + -16. Let u(k) = -6*k - 2. Is u(m) a multiple of 13?
True
Suppose 2 = 2*n, -19*p + 726 = -15*p - 2*n. Is p a multiple of 21?
False
Does 91 divide (432/30 + -4)/((-2)/(-70))?
True
Let a be ((-7)/(-5) + -1)*145. Suppose 2*n = -2*h + 56, -2*n = -h + 2*h - a. Does 15 divide n?
True
Let r = 1090 - 1035. Is r a multiple of 15?
False
Suppose -12*y + 7*y + 868 = 2*t, -3*t - 525 = -3*y. Is y even?
True
Let b(f) = -570*f. Let d be b(2). Is 17 a factor of (-1)/3*d/5?
False
Let y(b) = 3*b - 27. Suppose 5*a + 65 = -4*w, w + 19 = -6*a + 2*a. Let g be 1 + 2/2 - w. Does 17 divide y(g)?
False
Suppose -4*s = 168*h - 169*h - 8267, -4*s + 5*h + 8279 = 0. Is 9 a factor of s?
False
Let m(i) = -i**3 - 3*i**2 - i + 2. Let w = -6 + 4. Let q be m(w). Suppose q = y - 20. Is y a multiple of 5?
True
Suppose 12*u - 15*u - 267 = 0. Let m = u + 232. Suppose -2*k = 3*r - m, 5*r + 90 = 3*k + 360. Is 27 a factor of r?
False
Let q = 6 + -2. Suppose -q*a - 604 = 4*d, 4*d + 3*a = 93 - 693. Does 12 divide (10/6)/((-7)/d)?
False
Let j(b) = -2*b - 47 + 19 + 15. Does 2 divide j(-11)?
False
Let n(h) = -h**2 + 9*h + 3. Let w be n(9). Suppose l = -2*g + w*l + 52, -4*g + 5*l + 102 = 0. Let j = g + -22. Does 3 divide j?
True
Suppose 0 = 25*d - 33*d + 6216. Is 37 a factor of d?
True
Suppose 0 = -358*f + 340*f + 43740. Is 27 a factor of f?
True
Suppose 4*j + 63 + 117 = 2*y, -4*j + 204 = 2*y. Suppose w + y = 9*w. Is 4 a factor of w?
True
Suppose 0*x - 128 = 4*x. Let c be 1/(-4) + (-72)/x. Let v = 21 + c. Is 18 a factor of v?
False
Does 30 divide 529/(-4)*(10/10 - 5)?
False
Suppose 5*b - 4*l = 33, -3*b + 7*b + 5*l - 10 = 0. Suppose