of 1402/x + (-4)/(-18)?
False
Let s(u) = u**3 + 29*u**2 + 27*u - 23. Let w be s(-28). Is 12 a factor of (4/6)/(w/720)?
True
Let b be 6/4 - (-6)/12. Let u be 0 + -1 + (-240)/(-4). Suppose -b*s + u = 5*d, -2*s + 5*d = s - 51. Is 6 a factor of s?
False
Suppose 3421 = 12*i - 923. Is i a multiple of 8?
False
Let k be (-1)/((11/6)/(-11)). Let z(t) be the second derivative of t**4/12 - 2*t**3/3 - 9*t. Is 6 a factor of z(k)?
True
Suppose -373 = 9*n - 2101. Suppose 26*r + n = 30*r. Is r a multiple of 41?
False
Let a be (-1 + (-16)/2)*(-6)/6. Does 4 divide 61/3 + (-3)/a?
True
Let u(f) = -31*f - 4. Does 4 divide u(-4)?
True
Suppose 0 = -5*k - 4*o + 1890, -4*k + 3*o + 853 + 659 = 0. Is k a multiple of 6?
True
Let w = -338 + 601. Does 26 divide w?
False
Let g be ((-124)/3)/((-14)/63). Suppose -2*k + 3*c = -g, -c + 268 = -3*k + 6*k. Is 15 a factor of k?
True
Suppose 0 = 2*f - 326 - 240. Does 3 divide f?
False
Let o(j) = 77*j**2. Let v be o(-1). Suppose 13*k - 6*k = v. Does 3 divide k?
False
Is (28/8 - 6) + 819/2 a multiple of 11?
True
Let z = 129 - -5. Let q = z + -16. Is 23 a factor of q?
False
Suppose 0*a - 4*a = 2*i - 6, -4*i - 24 = -4*a. Suppose a*j - 15 = 102. Does 12 divide j?
False
Let s = 13 - -10. Let w = s + -19. Suppose 5*d + 81 = 3*b, 0 = w*d + 2 + 10. Is 6 a factor of b?
False
Let d(p) = p + 3. Let q be d(5). Suppose -4*h - 8 = -q*h. Suppose -h*r = -3*r + 50. Does 19 divide r?
False
Suppose 5*v - 1082 = 2*s + 260, -v + 265 = 3*s. Suppose -m + 3 = -7. Suppose m = 3*c + 4, 0 = 4*x - 2*c - v. Does 17 divide x?
True
Let b(z) = -z**3 + 5*z**2 + 6*z + 3. Let i be b(6). Let c be i + 8*(-32)/(-2). Suppose 5*n = -3*h + c, 0 = 3*n - 0*n - 3. Is h a multiple of 12?
False
Let m be 3/(-5) + 52/(-5). Let q = 12 + m. Is 14 a factor of 52 - (q - -2 - 7)?
True
Let d = -125 + 60. Let u = d - -175. Does 22 divide u?
True
Is 56 a factor of 5 - ((-18)/6)/3 - -162?
True
Let h be (2 + -1)/(1/4). Suppose w = h*w - 153. Is 17 a factor of 1/(2 - 99/w)?
True
Suppose 2*d = -2 - 2. Let n be 1 + d + (-6 - 0). Is 2 + 3 + (-5 - n) a multiple of 7?
True
Let h be 6/(-27) - 22/(-18). Suppose l + h = 4. Does 17 divide 34/l*54/12?
True
Let s = 479 - 326. Does 17 divide s?
True
Let u(a) be the third derivative of -a**4/3 + 53*a**3/6 - 21*a**2. Does 38 divide u(-16)?
False
Suppose -8071 = -30*p + 22379. Is 12 a factor of p?
False
Let s = 4 + 200. Suppose -4*a - 4*l = -s, 5*a - 2*l + 100 - 362 = 0. Is 3 a factor of a?
False
Let o = -227 - -152. Let v = o - -107. Is 4 a factor of v?
True
Let d(i) = 12*i**3 - i**2 + 6*i - 5. Is 15 a factor of d(3)?
False
Let m(n) = -n + 15. Let c be m(3). Suppose -3*z = -2*a - 146, c = 2*z - a - 84. Does 13 divide z?
False
Let m be 0/3 + 1 + 195. Let d = -100 + m. Is 30 a factor of d?
False
Suppose l = -3*l + 8. Suppose -391 = -5*g - 6*i + l*i, 0 = 3*g - 2*i - 239. Suppose g - 19 = 3*k. Is 10 a factor of k?
True
Suppose -5*p = 2*j + 3*j - 65, -j + 2*p = -1. Let g = 9 - j. Suppose -3*h + 46 - 7 = g. Is 7 a factor of h?
False
Let h = 3424 + -2343. Is 14 a factor of h?
False
Suppose 0 = 8*j - 8 - 0. Let f be -270 + (1 - 3 - 0). Is 17 a factor of (4 - j)*f/(-48)?
True
Suppose 19*w + 5*w - 3264 = 0. Is 68 a factor of w?
True
Let w(x) = 2356*x + 104. Is w(1) a multiple of 10?
True
Let h be (12/8)/(3/(-4)). Let c = -29 - -27. Is c/2*-65 + h a multiple of 16?
False
Let p = 68 + -66. Suppose 0 = p*q - 16 - 16. Is 3 a factor of q?
False
Suppose -r - 3*v + 213 = 0, 0*r + 4*r - 5*v - 801 = 0. Suppose -y + 5*y = r. Is 9 a factor of y?
False
Let y(q) = -q**3 - 8*q**2 + 10*q + 6. Let t be y(-9). Let o(g) = 5*g**3 + 4*g**2 - 4*g + 1. Let j be o(t). Let z = -54 - j. Is z a multiple of 16?
True
Let k be -1 + -2 + (-5447)/(-13). Suppose 5*f = f + k. Let d = f - 59. Is 20 a factor of d?
False
Let m(j) = 221*j - 273. Is m(9) a multiple of 52?
True
Suppose 0 = 2*u - 5 - 13. Let h = 3 + u. Is 6 a factor of h?
True
Let v be 0 + (-10)/3*(-12)/8. Let u be (-5)/(-2)*14/1. Suppose u + v = 5*p. Is p a multiple of 6?
False
Let q(y) = -6 - 4*y**2 + 7*y**2 + 0. Suppose -5*f + 5*p = -25, 5*p + 0*p + 9 = f. Is q(f) a multiple of 14?
True
Let i be 4/(-14) + 6/(210/185). Suppose -n = i*l - 264, 2*l = -5*n - 0*l + 1320. Is 33 a factor of n?
True
Let j = 987 - 576. Is j a multiple of 22?
False
Let n be -1*(-6)/(18/15). Suppose 0 = -a - q + 6*q + n, -a + 35 = 5*q. Is 14 a factor of a?
False
Let k(w) = -w**3 - 3*w**2 + w + 3. Let t be k(-4). Suppose -5*o = -5*c + 55, 0*c + 2*o = c - t. Is c a multiple of 7?
True
Let p(r) = -r**3 + 8*r**2 + 8*r + 12. Let v be p(9). Suppose 2*q + 48 = v*q. Suppose 0*f - q = -4*f. Is f a multiple of 6?
True
Let q(f) = -4*f**3 - 5*f**2 + 2. Let u be q(-2). Suppose -8 + u = 2*a. Does 24 divide (-27)/(a/6 - 1)?
False
Let v = 68 - 16. Suppose 0*n + v = -4*n. Let k = n - -26. Is 8 a factor of k?
False
Let b be 5 + -1 - (-2)/(-2). Let s(r) = r**2 - 2*r + 1. Let y be s(b). Let x = 8 - y. Does 2 divide x?
True
Suppose -2*c + c = 5*f - 2760, 2*f - c - 1111 = 0. Suppose 5*w + f = 4*l, -2*w = 12*l - 8*l - 574. Is 18 a factor of l?
False
Suppose 3*i = -6 + 18, -4*i + 24 = 4*y. Suppose y*g = -4*g + 60. Does 5 divide g?
True
Let y(g) = -4*g. Let i be y(-3). Let d(q) = -q**2 + 11*q + 16. Let s be d(i). Suppose -s*a + 29 = -23. Does 5 divide a?
False
Suppose -4*r + 14023 = 5*v, 2*r + v - 3626 - 3381 = 0. Does 17 divide r?
True
Suppose 4*u + 4 = -2*m, -5*m = -4*u - u - 20. Let n = m + -4. Is 4 a factor of (-4)/(-6)*(-45)/n?
False
Let j = 224 - 152. Is j a multiple of 3?
True
Suppose 2*v = -2*f - 0*f + 16, 4*v - 14 = 2*f. Suppose -f*g - 35 = u - 160, 3*u - 345 = -3*g. Does 11 divide u?
True
Let c = -2380 + 3255. Is 31 a factor of c?
False
Suppose q - 1 - 1 = 0. Suppose 5*g = -3*x + 79, 0 = 6*x - x + q*g - 138. Is (-3 - -6) + x + 1 a multiple of 8?
True
Let d(x) = 3*x + 23. Let c be d(-23). Let f = 82 + c. Is 17 a factor of f?
False
Suppose 4*u = 188 + 644. Suppose 4*h - u = -4*h. Does 9 divide h?
False
Is 39 a factor of ((-25722)/27 - 12)*(-3)/2?
False
Suppose -131 = -3*g - 3*b - 611, 2*g + 308 = 2*b. Let p = 227 + g. Does 43 divide p?
False
Is 87 a factor of 184 + (-36)/(-4) + -19?
True
Let y(l) = -552*l**2 - 2*l + 6. Let j be y(-6). Is 17 a factor of j/(-234) - (-4)/26?
True
Suppose 0 = 4*o + 2*r - 5892, r - 3*r + 7367 = 5*o. Does 75 divide o?
False
Suppose -5*x + 165 = 5*y, 12*y - 10*y + 50 = 2*x. Is 24 a factor of x?
False
Let k(q) be the third derivative of -q**5/60 - q**4/3 + q**3/3 - q**2. Let f(o) be the first derivative of k(o). Is 3 a factor of f(-8)?
False
Let v(x) = 6*x**3 - x**2 + 2*x. Let i be v(-2). Let f = i - -100. Let t = f + -22. Is 11 a factor of t?
True
Let x be (-904)/20 - (-2 - 9/(-5)). Does 15 divide 0*1/(-2) - x?
True
Let o(k) = -k**2 + k + 5. Let r be o(2). Let b(w) = w**3 + w**2 - 9*w + 5. Does 2 divide b(r)?
True
Let q(n) = n**3 - 17*n**2 - 37*n - 28. Let h be q(19). Is 17 a factor of (-5 - h) + (-2 - (-96)/3)?
True
Let w be (119/(-21) - -6)/(2/(-24)). Is (59 - 0)/(w/(-8)) a multiple of 16?
False
Suppose 1057*o - 1055*o = 16. Does 8 divide o?
True
Let g = -572 + 619. Is 47 a factor of g?
True
Suppose -5*b + y = -52, 8*y = 3*y - 10. Suppose b*a - 753 - 847 = 0. Is a a multiple of 10?
True
Let j = 0 + 2. Suppose -5*y = 5*t + 6 - 16, -3*t = j*y - 2. Suppose 2*c - y*c = -44. Is c a multiple of 7?
False
Suppose -13*g = -11*g. Let b = -7 - g. Is 3 a factor of 2*(98/(-4))/b?
False
Suppose -6 = -5*v - 156. Let a = v + 90. Is a a multiple of 10?
True
Suppose r = -f + 3 + 2, 0 = 5*f - 5*r + 5. Let v(d) = 24*d**2 + 2*d. Does 10 divide v(f)?
True
Let x(a) = -a**2 + 9. Suppose 24 = 4*m - 0*m. Suppose -m*c = -c. Is x(c) a multiple of 9?
True
Suppose 3*k - 3*n - 259 = 2*n, 5*k - 4*n - 436 = 0. Suppose -4*q + k = 4*c, -2*q - 2*c = -4*c - 28. Does 11 divide q?
False
Let x(c) = 16*c - 16. Let q be x(-9). Let k = -62 - q. Does 27 divide k?
False
Suppose -4*d = -3*y - 6 - 10, 0 = -4*y. Suppose -d*t + 0*t = -56. Does 8 divide t?
False
Let c(j) = j**3 + 13*j**2 - 14*j + 1. Let u be c(-14). Suppose m = 4*w + 3, 4*w + u + 1 = 2*m. Does 35 divide (m - 14)/((-13)/65)?
False
Suppose -28*r + 30*r = 8. Suppose -15 = -o + r*b + 120, -5*o - b = -675. Does 13 divide o?
False
Suppose 0 = -s + 164 + 214. Is 3 a factor of s?
True
Suppose 64 = 4*l + 4. Suppose 2*z + 5*k - 6 = 0, k 