0. Is 31 a factor of q?
False
Suppose n = -w + 39144, -2*n - 19*w = -14*w - 78267. Is 13 a factor of n?
False
Let l be 6 + (560/7 - -2). Suppose 4*r - 365 = -3*g, r + 9*g - 5*g = l. Does 4 divide r?
True
Let s = -233 - -244. Let v(x) = 5*x**3 - 10*x**2 + 0*x**3 - 3*x**3 - x**3 + 3 - 6*x. Is 29 a factor of v(s)?
True
Let f = -31 - -278. Let p = f + -145. Suppose n - 2*n + 43 = 3*l, -2*n = -2*l - p. Is 21 a factor of n?
False
Let v = 13798 - 6957. Is v a multiple of 25?
False
Suppose 3*i = 2*f + 21, i = 3*f + 4 + 10. Suppose 325 = -2*c - 3*n - 27, -2*c - i*n = 344. Does 13 divide (c/(-4))/(3/6)?
True
Suppose -30 = -m - 28. Suppose 5*r = -25, c + 2*c + m*r = 2876. Does 74 divide c?
True
Let x = 244 - 424. Let c = x + -1. Let w = -88 - c. Does 18 divide w?
False
Let h(j) = -j**2 - 9*j + 78. Let x be h(-14). Does 18 divide 6/8 + 5322/x?
True
Let s(k) = -3*k + 33. Let g be ((-21)/4)/(39/(-104)). Let u be s(g). Is 65/(-45)*3*u a multiple of 13?
True
Suppose 5*s - 45 = 2*j + 3*j, 0 = -2*s + j + 22. Suppose 9*h - s*h - 728 = -2*w, 0 = w - h - 362. Is w a multiple of 12?
True
Let a = 348 + -134. Let q = a + 62. Is q a multiple of 12?
True
Suppose 3*a - 2*g + 42 = 0, 0 = 5*a - g + 4*g + 51. Is 18 a factor of (a/1)/((-12)/72)?
True
Let t(n) = n + 17. Let p be t(-17). Let a be (-1 - p)*251/(-1). Suppose c + q = 2*q + 84, 0 = 3*c - 2*q - a. Does 40 divide c?
False
Let d = 382 + -378. Suppose d*p - y = 3344 - 1161, p - 5*y - 541 = 0. Is p a multiple of 26?
True
Suppose -56*s - 31607 + 374327 = 0. Is s a multiple of 55?
False
Suppose 5978*r - 5960*r - 590112 = 0. Does 35 divide r?
False
Suppose y = -i - 35, -2*i + 64 - 6 = -2*y. Let r = 288 + y. Does 32 divide r?
True
Let k = 78239 - 29620. Is k a multiple of 174?
False
Let u(y) = y**3 - 5*y**2 + 3*y + 6. Let g be u(4). Suppose -v - 3 = -2*f - 1, -g*v = 4*f - 12. Suppose -7*s + f*s = -660. Is 13 a factor of s?
False
Suppose b - 4*g = 0, -4*b - g + 28 = -3*g. Let s(h) = 0*h**3 + 3 + 15*h + 3*h**3 + 15*h**2 + b*h - 2*h**3. Is s(-13) a multiple of 7?
True
Let s = -206 + 212. Is s*((-14)/3 + 4) + 36 a multiple of 22?
False
Let m(h) = -3*h**2 - h - 6 - 113*h**3 + 10*h**2 + 114*h**3. Let s be m(-7). Is (s - (5 - 3))/((-3)/180) a multiple of 30?
True
Suppose 3*a + 253602 + 57303 = 52*a. Is 54 a factor of a?
False
Suppose -2*g = -2*c - 290, 4*g + 5*c = 2*g + 325. Let h be 12/(-42) - 4/(-14). Suppose -5*n - n + g = h. Is n a multiple of 5?
True
Let m(z) = -870*z - 378. Is 28 a factor of m(-7)?
True
Let k(f) be the second derivative of 14*f**3/3 + 64*f**2 - 175*f. Does 12 divide k(7)?
True
Let v(w) = -243*w - 33. Is v(-8) a multiple of 13?
True
Let m(t) be the first derivative of -3/4*t**4 - 2*t - 1/2*t**2 - 18 - 1/3*t**3. Does 10 divide m(-2)?
True
Let i be 329/94 - (-7)/(-2). Suppose -5*h + 1452 = -3*f, -h + 2*f + 19 + 277 = i. Does 36 divide h?
True
Suppose 0 = a - 4*q - 26, 0*a - 3*q - 79 = -5*a. Suppose a*m = 11*m + 15. Suppose -m*x - 285 = -10*x. Is x a multiple of 19?
True
Let z = -2903 - -3807. Is z a multiple of 16?
False
Let f be (-615)/(-75) - 1/5. Does 9 divide 673/f + (-2)/16?
False
Let m(q) = 6*q - 14 - 4*q**3 + 5*q**3 - 12*q**2 - 13 + 5. Let w be m(12). Suppose -4*c = -3*c - w. Is c a multiple of 25?
True
Let l(i) = i**3 - 6*i**2 - 7*i + 4. Let b be l(7). Let w(j) = 18*j + 474. Let u be w(-26). Suppose 5*y - 396 = b*g, -2 + u = -g. Does 19 divide y?
True
Let f(o) = -o**2 - 4*o + 5. Let w = 77 - 75. Let l(g) = 2*g**2 + 5*g - 6. Let d(a) = w*l(a) + 3*f(a). Is 8 a factor of d(7)?
False
Suppose -3*q = 2*d - 1991, 7*q = -2*d + 4966 - 315. Does 19 divide q?
True
Suppose -14*c = -34*c + 170924 + 98876. Is 190 a factor of c?
True
Let q(g) = 4*g - 129. Let y(n) = -n + 1. Let k(c) = -q(c) + y(c). Is k(-21) a multiple of 10?
False
Suppose -3*u = -4*g + 33, -3*g = -5*g + 2*u + 16. Suppose g*s + 2*s = 748. Suppose -p - 31 = -s. Does 13 divide p?
False
Suppose 0 = -3*x - x + 1238 + 5050. Is x a multiple of 28?
False
Let d(w) be the third derivative of -13*w**2 - 11/6*w**3 + 0 + 53/24*w**4 + 0*w. Is 10 a factor of d(3)?
False
Is ((-1598)/51)/((-64)/49056) a multiple of 14?
False
Let i = 703 + -793. Let s = -313 + 160. Let g = i - s. Is 9 a factor of g?
True
Let r = 15 - 41. Let c be 60/(-52) + (-4)/r. Does 6 divide 39 + 1 + 3 + c?
True
Let n(s) = 3*s**2 + 8*s + 31. Let q be n(-7). Suppose 5*m - m + 5*c + 246 = 0, q = -2*m - 2*c. Let b = m - -153. Does 21 divide b?
False
Let i = -9 + 11. Suppose -3*h - i*h = -10. Suppose 4*o - h*o = 148. Is o a multiple of 19?
False
Suppose 0 = 95*w - 94*w - 199. Suppose -8*g + w + 9 = 0. Is g - (-2)/(-4)*-4 a multiple of 3?
False
Let l(s) = -s**2 + 17*s - 34. Let u be l(14). Let g be 4/u + (-9)/(-6). Does 5 divide 0/g - -2 - -21?
False
Let s be (-13)/(-52) + 14/8. Suppose 0 = i - 3, s*y = -3*i + 214 + 15. Is 10 a factor of y?
True
Let d be ((2 - -3) + -1)*-1. Let r be 4/(-4) - -3 - (d - -1). Suppose -r*y + 611 = 36. Does 23 divide y?
True
Let k = -6082 + 7147. Does 2 divide k?
False
Let n(u) = 12*u**2 - 14*u - 66. Let c be n(-9). Is 8 a factor of 4/(-12) - c/(-18)?
False
Suppose -15*r = -11*r + 3*p + 32, 0 = -5*r + 2*p - 17. Is 47 a factor of 6/r*(-38540)/123?
True
Let v be (23/((-69)/72))/(6/(-8)). Suppose 30*o = v*o - 6. Suppose 7*i = o*i + 1028. Is i a multiple of 12?
False
Let i = 245 + -146. Let l = -42 + i. Is 2 a factor of l?
False
Let i(s) = s**3 - 76*s**2 - 105*s - 408. Is 33 a factor of i(81)?
True
Let b(y) = y**3 + 7*y**2 + y + 11. Let l be (-12)/(-24)*(-42)/3. Let i be b(l). Suppose i*k + 3*n = k + 144, 0 = k - 3*n - 36. Is k a multiple of 9?
True
Suppose 16 = -2*z - 4*n - 0*n, 4*z + 20 = -5*n. Suppose z = -3*w - w + 180. Suppose -5*s = 4*r - 189 + 21, -w = -r - 2*s. Does 14 divide r?
False
Let c = 469 - 302. Let n(f) = -161*f**2 - 1 + f**3 + 2*f - 3*f**3 + c*f**2 + 3*f**3. Is n(-5) a multiple of 4?
False
Is 0 + 7 - (232/203 - (-5349)/(-7)) a multiple of 195?
False
Suppose -4*h = -3*n + 241, 0 = n - 2*h - h - 72. Suppose -l - 47 = -j, n + 2 = 2*j + 3*l. Let z = 50 + j. Is z a multiple of 12?
True
Suppose 9*r = -7*r + 4800. Suppose -12*z + 14*z = r. Is z a multiple of 25?
True
Suppose -2*u + 10 = -4*p, 2*u - 4*u + 15 = -5*p. Does 5 divide (53 + p)/(6/8)?
False
Suppose -9526 = -4*x + 13994. Is x a multiple of 35?
True
Does 55 divide 118106/19 + ((-24)/18)/(342/27)?
False
Suppose -16*p = -5*p - 3366. Suppose -4*w = 258 - p. Is 5 a factor of w?
False
Suppose -4*c = q - 7130, -17*c + 7126 = -13*c + 3*q. Is 50 a factor of c?
False
Suppose -3*g = -4*k + 30, -6 - 6 = -3*k - 3*g. Let s(h) = h**3 - 5*h**2 + h - 12. Let l be s(k). Suppose -100 = l*d - 32*d. Is 10 a factor of d?
True
Let q be 22/8 - 3*2/(-24). Suppose 3*m - r - 24 = 0, 2*m - 2*r - 11 = -q*r. Suppose 4*y + l = 78, -2*y + m = -4*l - 41. Is 10 a factor of y?
True
Let x(r) = 52*r**3 + 2*r**2 - 9*r + 14. Suppose 13*z - 43 + 17 = 0. Does 12 divide x(z)?
True
Let v be 1/(-2) - 15/(-30) - -36. Let y be 2/(-3) + v/54. Suppose j = -5*m + 100, y = -4*j + j + 3*m + 228. Is 22 a factor of j?
False
Let k(i) = -25*i - 49. Let x be k(6). Let w(q) = -30*q + 20. Let h be w(-9). Let s = x + h. Is s a multiple of 19?
False
Let n = 49 - 46. Suppose 9 = n*b + o + 2*o, 3*o = 3. Let d(v) = 124*v - 20. Is 17 a factor of d(b)?
False
Let u = 9 + -15. Let h be (6 + u)*(-2 + (-3)/(-2)). Suppose 12*x - 1592 - 244 = h. Does 13 divide x?
False
Is (500 + 32800)*((-6)/(-4))/3 a multiple of 25?
True
Let s be (1/2)/((-6)/(-336)). Let n be (-4)/5*(3 - s). Suppose 15*d + 15 = n*d. Is d a multiple of 3?
True
Let q = 66 - -2. Suppose 67*z + 261 = q*z. Does 9 divide z?
True
Suppose -13*h - 12 = -7*h. Is (h/4)/1 + 2646/28 a multiple of 33?
False
Let b(x) be the third derivative of -x**6/120 + 7*x**5/60 - 7*x**4/24 + 4*x**3/3 - 5*x**2. Let u = -8 + 12. Is 7 a factor of b(u)?
True
Let n(v) = v + 11. Suppose -37 = 5*x - 2*l, -5*x + 3*l - 33 = -0*x. Let j(s) = s + 4. Let d be j(x). Is 6 a factor of n(d)?
True
Let b = -12438 + 19065. Does 68 divide b?
False
Let o be 3 + -2 + (-4)/4. Suppose -z + 12 - 9 = o. Suppose -j = z*c + c - 181, 0 = 2*c - j - 83. Does 22 divide c?
True
Suppose 9*c - 7*c = -50. Is 8 a factor of -2 + 0 - 4 - c?
False
Suppose 1465 = 3*j - 1103. Let a = -183 + j. Does 15 divide a?
False
Suppose 542 = 5*l - 2*w, 5*l - 3*l = -4*w + 212. Is 32 