-3*n. Is 50 a factor of n?
False
Let v = -4 - -7. Let w be -9 + (9 - (-3 - 0)). Suppose -166 = -w*t - 2*q + 212, -5*q + 378 = v*t. Is 18 a factor of t?
True
Suppose 15 = 12*l - 9. Suppose l*x - 940 = -4*h + 4*x, -4*x - 695 = -3*h. Is h a multiple of 48?
False
Let p(i) = 2*i**3 - 3*i**2 + i + 536. Let g be p(0). Let n = g + -156. Does 20 divide n?
True
Let y(u) = -u + 8. Let p be y(5). Suppose -3 = -3*v + p. Suppose 6*a - v*a - 304 = 0. Is 19 a factor of a?
True
Let k(o) = -317*o + 8606. Does 2 divide k(27)?
False
Let o(v) = -106*v - 29. Let g be o(-3). Suppose -r - 2*t + 199 = 0, r - 4*t + 66 = g. Is 23 a factor of r?
True
Does 5 divide 68486/6 + (-16)/12 + 2?
True
Let z = 1071 - 689. Suppose -z + 534 = 4*t. Does 15 divide t?
False
Let q = 1177 - 751. Let s = q + -249. Is 12 a factor of s?
False
Suppose -2*w - 63*q + 844 = -67*q, 4*w - 2*q = 1700. Is 15 a factor of (w/(-10))/((-15)/50)?
False
Let x be -3 - -1 - (-4)/(8/(-6)). Is 1/x + 60440/200 a multiple of 18?
False
Suppose 4*u = -2*t + 14, 8*u - 3*u = -4*t + 25. Let i be -17*(7606/8 + u/4). Is 21 a factor of 18/(-14) + 1 + i/(-357)?
False
Let j be (-37)/(-4) + (-69)/(-92). Suppose -5*y - 2335 = -j*y. Is y a multiple of 8?
False
Let u = -5355 + 11152. Does 11 divide u?
True
Suppose 4*q - 19 = 25. Let z(m) = -m + 10. Let s be z(q). Is 14 a factor of (-73)/(-4)*s*(-7 - -3)?
False
Let q(r) = 3*r + 16. Let t = -249 - -253. Does 13 divide q(t)?
False
Let s = 70 - 143. Let t = s - -75. Suppose 0 = y + a - 7, 4*a - 31 = -t*y - 3*y. Is y a multiple of 2?
False
Suppose 0*y - 6465 = -3*z + 3*y, 0 = z + 5*y - 2137. Is 4 a factor of z?
True
Suppose -18*i = 4910 - 32. Let p = i + 413. Is 11 a factor of p?
False
Let n = 26 + -15. Suppose v + 2 = n. Suppose -v*q - 2412 = -21*q. Does 19 divide q?
False
Let n = 192 + -436. Let l = n - -255. Does 4 divide l?
False
Let w(s) be the second derivative of s**5/20 + 11*s**4/12 - s**3 + s**2 - s. Suppose 660*l = 657*l + 5*g - 40, -4 = -2*g. Does 18 divide w(l)?
True
Let c = 13312 - 7565. Is 50 a factor of c?
False
Suppose 28*q - 4*q = 96. Is 9 a factor of (4 - q) + 103 - 2?
False
Let y be ((-5)/6)/((-1)/6). Suppose -2*k = -5*k + 5*n - 37, y*n - 29 = k. Is 23 a factor of (15/k)/((-5)/40)?
False
Let f(n) = -n**3 + 10*n**2 - 11*n + 11. Let y be ((-24)/1)/(-4)*9/6. Let a be f(y). Let o = a + 101. Is 13 a factor of o?
False
Let i(w) be the second derivative of -11/2*w**2 - 1/20*w**5 + 1/12*w**4 + 5/6*w**3 - 40*w + 0. Does 38 divide i(-6)?
False
Let n(f) be the third derivative of -f**6/120 + f**5/10 + f**4/24 - 3*f**3 + 13*f**2. Let v be n(7). Let q = v - -128. Does 17 divide q?
True
Is 3 a factor of (0 - 10/6) + (-1260075)/(-477)?
True
Let x = 58 + -39. Suppose 0 = 18*g - x*g + 2. Suppose -6*j = -g*j - 44. Does 3 divide j?
False
Let r(x) = -x**2 + 6*x - 7. Let w be r(5). Let b be ((-211)/w)/((0 - 5)/10). Let g = -143 - b. Does 6 divide g?
False
Suppose 0 = 4*z - 5*z - 5, 4*w - 5*z = 37. Suppose -y + 958 = 2*s, w*y - 2*y = -3*s + 1437. Is 14 a factor of s?
False
Let l = -33036 + 61810. Does 15 divide l?
False
Let v be 2*(12/4 - 2). Suppose 5*l + v = 4*l. Is ((24/7)/(-2))/(l/7) a multiple of 4?
False
Let k(p) = -2*p**3 - 48*p**2 - 41*p - 16. Let h be k(-23). Let j = h + 749. Does 7 divide j?
False
Does 3 divide 42/252 - 773/(-6)?
True
Suppose 4*k - 7 = -7. Suppose 0 = -k*r - 21*r + 189. Suppose -3 + 399 = r*b. Is 7 a factor of b?
False
Suppose -90 = 224*y - 239*y. Let x(p) = -4*p + 2*p**3 - 2 - 2*p - 6*p**2 - 2. Is x(y) a multiple of 12?
False
Let m = -16266 - -28295. Does 23 divide m?
True
Does 23 divide (-223)/(4/(-11 - 97))?
False
Suppose 3*i + i = -2880. Is (18/15)/((-12)/i) a multiple of 5?
False
Suppose -6*i - 20 = -11*i. Let r(l) = 7*l**3 - l + 4. Let b be r(i). Suppose -b = -5*u + 62. Does 34 divide u?
True
Suppose 1 = -2*b - 7, 3*a = b + 49. Let c(o) = -2*o + 47. Is c(a) even?
False
Let l(n) = 5*n - 52. Let i be l(19). Suppose 41 + i = 4*t. Does 38 divide 27/t + -1 - 2656/(-14)?
True
Suppose -5*y + 1593 + 4312 = 0. Suppose 2*a = -4*f - 3*a + y, f - 289 = 5*a. Is f a multiple of 14?
True
Suppose 4*j + 3398 = 2*h, -3*h + 4368 + 685 = 5*j. Is 3 a factor of h?
False
Let h = -3194 + 4984. Is h a multiple of 10?
True
Let r = 5910 - 177. Does 63 divide r?
True
Let n be (-4*1)/2 + -179. Let f = 3181 + -2808. Let a = n + f. Is 48 a factor of a?
True
Suppose 39*n - 4*n - 140 = 0. Is 5 a factor of 98 + (-8)/(n/(-2))?
False
Let p be 3 + (-8)/4 + -3 - -6. Suppose 0 = -p*h - 16*h + 5300. Does 53 divide h?
True
Let h(m) = 95*m**3 + 2*m**2 - 7*m + 5. Suppose n - 10 = -12*k + 8*k, -2*n + 3*k = 2. Is h(n) a multiple of 16?
False
Let w(b) = 16*b**3 - 6*b**2 - 866*b + 4341. Does 15 divide w(5)?
False
Suppose -63*z + 129*z - 327764 = 208288. Does 12 divide z?
False
Let d(v) = -v**3 - 20*v**2 - v + 16. Let q be d(-20). Let b = 81 - q. Suppose 5*f - 101 - 96 = -n, f - b = -3*n. Does 39 divide f?
True
Does 63 divide -1*4*2 + 1453 + -185?
True
Let k be 1138 - 6 - (-2 - 1). Suppose 0 = 2*c - 449 - k. Suppose 9*r - c = r. Is r a multiple of 32?
False
Suppose 2*a - 4842 - 20000 = -n, -n - 5*a = -24845. Is 30 a factor of n?
True
Let l = 6684 - 6539. Does 2 divide l?
False
Let g be (176/165 - (-2)/(-5))*6. Let v be (-60)/5*(2 - g). Suppose 7*z - v = -z. Is 3 a factor of z?
True
Let n(w) = 34*w - 173. Let x be ((-204)/374)/(3/(-66)). Is 5 a factor of n(x)?
True
Let b(c) be the second derivative of c**4/4 - 31*c**3/6 - 15*c**2/2 + 46*c - 1. Does 7 divide b(12)?
False
Let r(u) = 18*u**2 + 9*u - 96. Let s be r(6). Suppose -177 = -3*q + s. Does 9 divide q?
True
Suppose 31*k = 89*k - 348123 - 253859. Is k a multiple of 52?
False
Suppose -4*q - l = -957, 526 = 4*q - l - 437. Let h(b) = -9*b**3 - 2*b**2 - 2*b + 2. Let w be h(-2). Let r = q - w. Is r a multiple of 12?
False
Suppose 4*j = 6*j + 66. Let h be (-2)/(j/8 + 4). Is 8 a factor of 3/(2*1/h)?
True
Let o = 917 - 380. Let d be o/18 + 2/12. Is (-10)/75 + 1414/d a multiple of 12?
False
Suppose -561279 = -22*m + 101559. Is m a multiple of 83?
True
Suppose 136*j - 121*j = 49350. Does 4 divide j?
False
Let r(a) = -a**3 + 21*a**2 + 23*a + 358. Does 16 divide r(19)?
False
Let j(k) = k**2 - 10*k + 20. Let x be j(8). Let c(d) = d**3 - 4*d**2 - 5*d + 9. Let t be c(x). Let y = t + 95. Does 12 divide y?
True
Suppose 0 = -155*a + 160*a - 1740. Suppose 13*c - a = -2*m + 15*c, -4*c = 3*m - 529. Is 3 a factor of m?
False
Suppose -46 = z - 53. Suppose z*q - 345 - 411 = 0. Suppose 18*p + q = 21*p. Is p a multiple of 6?
True
Let s(g) be the second derivative of 2*g**3/3 + 2*g**2 - 3129*g. Let k(w) = w**2 - w + 2. Let z be k(2). Does 7 divide s(z)?
False
Suppose -a + 1 = k, 0 = 2*k - 4*a + 6 - 2. Suppose 295 = 4*v - 4*w - 381, -4*v + 2*w + 668 = k. Does 11 divide v?
True
Let d = -2549 - -7975. Is d a multiple of 152?
False
Suppose 0 = -4*f - 5*u + 128, 5*f + u = 105 + 34. Let l(z) = 2*z**2 - 45*z + 12. Let n be l(f). Suppose 19*h + n = 22*h. Does 22 divide h?
False
Is 26 a factor of 84246/30 + 3/(-15)?
True
Let h = 4869 - -736. Does 55 divide h?
False
Suppose 5*x + 17 = i, -7*x + 16 = -11*x. Let t be 0 - -308 - i/(-3). Suppose 6*p = t + 485. Does 16 divide p?
False
Suppose 0 = -0*b + 21*b - 2457. Is b/(-12)*(-2584)/57 a multiple of 17?
True
Suppose p - 5*p = -4*b - 12, b + 1 = 0. Does 62 divide (0 - p/6)*100149/(-19)?
False
Let i be -4 + 11 + -1 - 662. Is 3 a factor of (-10)/(-55) - i/22?
True
Suppose -5*z + 750 = -5*m, -9 - 6 = -5*m. Let c = z - 117. Does 4 divide c?
True
Let q(s) = -3*s + 125 - 18 - 17. Does 6 divide q(0)?
True
Let h(t) = -92*t. Let l be h(-6). Suppose -5*n = -2*j + 71, 3*n = 5*j + n - 125. Suppose j*s - 15*s = l. Is 16 a factor of s?
False
Suppose 0 = 5*k - z - 14985, -3*k + 9009 = 95*z - 92*z. Is 12 a factor of k?
False
Let o = 1200 - 1204. Let p(k) be the second derivative of k**4/4 - 7*k**3/6 - 11*k**2/2 + 2*k. Does 13 divide p(o)?
True
Suppose 0 = 5*o - 13*o + 8. Is 14 a factor of (-1726)/(-14) + (o - (-27)/(-21))?
False
Suppose -18 - 6 = -3*n. Suppose -2*q = 40 + n. Let d(j) = -2*j + 6. Is 18 a factor of d(q)?
True
Let t = -4 - -2. Let g(s) = 37*s + 4. Let y be g(t). Let u = -44 - y. Is u a multiple of 3?
False
Let a(p) = -7*p**2 + p**3 + 33 + 3*p**2 - 38*p - 9*p**2 + 0*p**3 - 6. Does 29 divide a(16)?
False
Suppose -3*y = 5*f - 4*f + 4,