. Is 15 a factor of n?
False
Suppose 26*q = 33*q + 882. Let m = 150 - q. Does 23 divide m?
True
Let j be (400/(-25))/((-1)/(-43))*-1. Let d = 838 - j. Is 10 a factor of d?
True
Suppose 6*q + 79 = -17. Let c = q + 288. Is c a multiple of 16?
True
Let c(b) = -b**3 - 28*b**2 + 7*b - 21. Let i be c(-30). Suppose 1293 = 9*y - i. Is 6 a factor of y?
True
Let z = -214 - -216. Is (-472)/(-12) + z + (-12)/(-18) a multiple of 3?
True
Let z = -674 - -981. Suppose h = -2*v + 646, -z = -5*h + 2*v + 2911. Is h a multiple of 14?
True
Let y(q) = -34*q**3 + 2*q**2 + 4*q - 4. Let w be y(2). Let r = -107 - w. Is 16 a factor of r?
False
Suppose -15 = 24*z + 9. Let g(c) = -319*c**3 + 6*c + 7. Is 32 a factor of g(z)?
True
Let g = 481 + 2291. Does 21 divide g?
True
Let z(i) = 11*i**3 + 31*i**2 - 36*i + 18. Let r(o) = 5*o**3 + 15*o**2 - 18*o + 8. Let w(n) = 9*r(n) - 4*z(n). Suppose 55 = -8*j - 33. Does 15 divide w(j)?
False
Let h = 42 + -32. Let b be 641/(-5) + 3 - (-2)/h. Let i = 206 + b. Is 27 a factor of i?
True
Suppose 3*h = 2*o - 5*o + 16881, -5*o + 11263 = 2*h. Is 28 a factor of h?
False
Suppose 2*c - 52 = 6*c. Let z(q) = q**3 + 12*q**2 - 12*q + 7. Let x be z(c). Is 1/((-3)/x) - -23 a multiple of 6?
False
Suppose 72*o = 75*o + 12, 0 = -f + o + 3119. Let y = f + -2152. Does 58 divide y?
False
Suppose -4*r = 2*h - 16, -2*h + 2*r + 36 = 14. Suppose -3*p - h = -7*p + 2*b, -p - b + 1 = 0. Is 32 a factor of 2/4 + p*(-1636)/(-16)?
False
Let r be (3/(-9))/(16/(-4944)). Suppose -3*c = q - 245, 4*c - 6*c - 3*q + 154 = 0. Suppose -k - 2*h = -4*h - r, 2*h = -k + c. Is 16 a factor of k?
False
Suppose 2725 - 20433 = -4*g. Does 19 divide g?
True
Suppose -7*k - 8*k = -3510. Is 17 a factor of k?
False
Let j = 2603 - -2755. Does 141 divide j?
True
Suppose -9 = -3*u - 18. Let f be 2/1 + 8 + 3 + u. Suppose f*r - 4*r = 96. Does 12 divide r?
False
Suppose 184 = 5*t - 2*n, -t + 28 = 5*n + 2. Is 6*(9/(t/376))/6 a multiple of 36?
False
Let x be (6/(-8))/(2/(-8)). Let p(h) = -21399*h**2 - 2*h + 4*h + 3*h + 21398*h**2 + 4. Is p(x) a multiple of 5?
True
Suppose t - 1988 = 2*d, 5*d + 463 + 1549 = t. Does 21 divide t?
False
Let i = 68 + 335. Suppose 8*b + 2*a + 199 = 9*b, 3*a + i = 2*b. Is b a multiple of 11?
True
Suppose -9*u + 1897 + 15615 = 2662. Is u a multiple of 22?
True
Let o be 6*(-12)/(-8) - 4. Suppose 4*u - 4*v - 9 = o*u, 0 = -2*u - 2*v. Suppose -2*g + 2*r = -r - 39, 3*g + u*r = 21. Does 6 divide g?
True
Let o = 41 + -41. Suppose o = 7*d - 4*d + 195. Let l = 70 + d. Is l even?
False
Let y(q) = 5755*q**2 + 34*q + 27. Is 29 a factor of y(-1)?
False
Let b(o) = -o**2 + 17*o + 20. Let y be b(18). Suppose -4*w = -6*w + 5*s + 16, -4*w - s = -32. Suppose y*i + w*i - 20 = 0. Is i a multiple of 2?
True
Suppose 111*p = -30*p + 24*p + 244764. Is p a multiple of 8?
False
Let u = -990 - -1419. Let l be 6/(-21) - u/(-7). Let r = l - 22. Is r a multiple of 17?
False
Let j be ((-22)/12)/11 - (-2)/12. Suppose j = 4*w - 2*w - 28. Does 8 divide 4*7/(w/8)?
True
Suppose f = 49*z - 47*z - 382, 184 = z - 4*f. Does 4 divide z?
True
Is 121 a factor of 531960/44 - (2 - (9 + 3))?
True
Suppose -42*a = -854651 + 49973. Is 113 a factor of a?
False
Suppose 106*o - 99*o = 35. Suppose 0 = -5*z - 5*g + 155, 3*z - z - 71 = -o*g. Is 4 a factor of z?
True
Suppose x + t = 5865, -5*t + 75 = 45. Is 47 a factor of x?
False
Suppose 2*r - 29 = -5. Does 7 divide 898/6 + 0 - 20/r?
False
Let w(q) = 9*q - 13. Let k be w(9). Suppose 0*c = 4*n - 3*c - k, -5*c - 62 = -3*n. Let a = n + 156. Is a a multiple of 17?
True
Let h(j) = -j**2 - 10*j + 108. Let c be h(8). Is ((-3)/(c/(-112)))/(16/(-144)) a multiple of 6?
True
Suppose 0*j + j - 6 = -l, 3*l - 26 = -5*j. Suppose -27 = l*i + 21. Is (0 - i)/(7 - 5) a multiple of 12?
True
Let f(p) = 344*p**3 - p**2 - 2*p + 6. Let l be f(2). Let w = l - 758. Is w a multiple of 12?
True
Let z be (-6 - (0 - 10))/(2/4). Suppose -4*q + n - 17 = -91, 91 = 5*q - 2*n. Let p = q + z. Is p a multiple of 9?
True
Let k(q) = 8*q - 65. Let u = 83 - 72. Does 2 divide k(u)?
False
Let i be 2592/40 - 10 - (-2)/10. Does 55 divide 22/44*i*2?
True
Let f be (-3)/10*-18 - (-9)/15. Let m(n) = n**3 - 6*n**2 + 5*n + 3. Let y be m(f). Is 720/y + 6/33 a multiple of 22?
True
Is 271 a factor of 4476*(-5 - (-279)/27)?
False
Let n(i) be the first derivative of -48*i**2 - 40*i - 37. Let h be n(-4). Suppose -19*q + h + 986 = 0. Is q a multiple of 5?
True
Does 31 divide (465/10)/((-3)/972*-6)?
True
Suppose 6*w - 130 + 34 = 0. Let s be w/(-6)*((-18)/4)/3. Suppose 2*l + s*l - 252 = 0. Does 42 divide l?
True
Let t = -401 + 247. Let w = 165 + t. Does 2 divide w?
False
Suppose 209*s - 809033 - 1433121 = 2635906. Is s a multiple of 20?
True
Let h be 3/(6*(-3)/48). Let k = 14 + h. Suppose k*g - 42 = 144. Is 20 a factor of g?
False
Is 3 a factor of (27 - 5456/66)/((-2)/6)?
False
Suppose 424248 - 284593 = 53*z - 376406. Is z a multiple of 81?
False
Let t(f) = 2*f**3 - f**2 + f - 1. Let d be t(1). Let u(j) be the second derivative of 22*j**3/3 - j**2/2 - 4*j. Is 16 a factor of u(d)?
False
Let s(d) = 311*d + 5583. Is s(90) a multiple of 21?
False
Let l = -22454 + 34844. Is l a multiple of 15?
True
Let h(x) be the third derivative of 47*x**4/24 - 10*x**3 + 48*x**2. Is h(12) a multiple of 12?
True
Let k(x) = -3*x**2 - 332*x + 12. Is 7 a factor of k(-16)?
False
Let p(g) = -g + 2 + 0*g + 0*g - 4 + 120*g**2. Is 7 a factor of p(-1)?
True
Let s = -10840 - -12713. Is s a multiple of 6?
False
Let q be (-182)/(-39) + (-2)/(-6). Suppose -123 = -2*h - s, -h - q*s = -71 - 4. Is h a multiple of 10?
True
Is 10 a factor of (-26)/39 + 124901/21?
False
Let n = -191 - -193. Does 11 divide -2 - (n/(-10) - (-12510)/(-75))?
True
Suppose 210*q + 153*q + 90*q - 4103727 = 0. Is q a multiple of 2?
False
Suppose -2*d + 6384 = 4*g, -3*g = -53*d + 54*d - 4790. Is g a multiple of 117?
False
Let b = 40 + -35. Let u be (b/5)/((-51)/27 + 2). Is 12 a factor of u/((-7)/(140/(-15)))?
True
Let l be (3 + (-65)/20)*-8. Suppose 3*f = x - 9, -4*f = 2*x + l*x + 12. Suppose x = -9*c + 4*c + 165. Does 16 divide c?
False
Is 3 a factor of 226/1243 - 146712/(-33)?
True
Let g = -2615 - -4842. Is g a multiple of 4?
False
Suppose -18 = 4*h - 42. Suppose 0 = h*c - 3*c + y - 841, c - 299 = -5*y. Is c a multiple of 31?
True
Suppose 0 = -3*m + 5*r + 11, 3*r - 2 - 1 = -3*m. Let a be -3 - (m + (2 - 3)). Is 4 a factor of -1*(-14)/a*-8?
True
Let a be 2/6 + -1 + 1040/(-15). Does 28 divide 32/((0 + 4)*(-1)/a)?
True
Let f(s) = 36 - 16 - 2*s**3 - 90*s - 17*s**2 - 29*s + 125*s. Let m(c) = -c**2 - 6*c - 2. Let v be m(-7). Is f(v) a multiple of 22?
False
Suppose 2*g - 441 = 4*z - 9*z, g - 264 = -3*z. Suppose f - z = 33. Suppose k = -5*k + f. Does 10 divide k?
True
Let s(g) be the second derivative of -12*g + g**2 - 5/6*g**3 + 0 + 2/3*g**4. Is 17 a factor of s(-4)?
False
Let t = -56 + 161. Let j = 110 - t. Suppose j*g - 16 - 324 = 0. Does 11 divide g?
False
Suppose 13*j - 7035 = -8*j. Suppose 4*x - j + 46 = q, -4*x + 5*q = -293. Is 72 a factor of x?
True
Suppose 65*i + 57218 = 84*i - 52944. Is 13 a factor of i?
True
Let p(y) = 2*y**2 - 6*y - 9. Let s = -20 + 38. Let n be s/(-2)*(-2 + 1). Does 20 divide p(n)?
False
Suppose -s + 107 = r - 544, r - 3*s - 679 = 0. Is 14 a factor of r?
True
Let j be (2/(-6))/((-82)/(-123))*-22. Suppose j*z - 8019 = 2937. Is z a multiple of 83?
True
Suppose 7935 = 69*f - 2553. Does 11 divide f?
False
Let u(l) = -3*l**2 - 6*l + 21. Let j = -61 + 66. Let d be u(j). Let h = -45 - d. Is h a multiple of 17?
False
Suppose h + 22 = 2*j + 8, -3*h = -j + 12. Suppose 2*w = 8, j*o - o = -3*w + 1187. Does 7 divide o?
False
Let a = 32424 + -25622. Does 19 divide a?
True
Suppose 0 = -22*l + 17360 - 5458. Suppose 4*o - w - 431 = 0, 0 = 5*o + w - 0*w - l. Is 9 a factor of o?
True
Is 98 a factor of 1232964/81 - 78/(-351)?
False
Let h be (9 + -10)/(1*3/(-1311)). Suppose 2*r + 143 = h. Let a = r + -99. Is a a multiple of 8?
True
Let u(n) = -3 + 17 - 11 - 4 + 2*n - 6*n + 86*n**2. Is 45 a factor of u(2)?
False
Let q be (132/(-2))/((-20)/180). Let i = -162 + q. Is 16 a factor of i?
True
Let n be (-2)/7 - 2255/(-77). Let f(t) = -132*t - 302. Let a be f(-6). Suppose 27*g = n*g - a. Is g a multiple of 35?
True
Let v be (5/((-15)/72))/(-2). Suppose 0 = v*m - 4*m - 120. Suppose -4*f = -5*b - f + 235,