) = -q**2 + 5*q + 6. Let z be x(6). Let h be 35 - (z + (3 - 3)). Suppose 3*y - 2*y = h. Is y a multiple of 35?
True
Let u = 467 + 26. Is 29 a factor of u?
True
Let u be (0*(-1)/(-7))/(-1). Suppose 19*g + 385 - 11215 = u. Is g a multiple of 30?
True
Let q be (2 - 56/21)*-3. Suppose b + 2274 = 5*l, 4*l - q*b = 86 + 1738. Is 22 a factor of l?
False
Is 9 a factor of 2*(-16 - -12) + 3 + 1553?
True
Suppose -10*j - 4*j + 42 = 0. Let k be j*(-3)/((-18)/4). Is (k + 236/(-10))*-10 a multiple of 36?
True
Suppose 5*l + 1057 = g + 3*l, 5*l + 4222 = 4*g. Suppose -3*x - 4*z + g = 0, -5*x + 1813 = z + 58. Is 32 a factor of x?
False
Let l be (-6)/(-27) + 148/(-18). Suppose 5*t - 2*t = 303. Let g = l + t. Is 23 a factor of g?
False
Let n(j) = -180*j - 9381. Is n(-157) a multiple of 25?
False
Let j(a) = -7*a - 58. Let w(f) = -15*f - 116. Let p(v) = -v**3 + 9*v**2 + 12*v - 16. Let n be p(10). Let i(h) = n*w(h) - 9*j(h). Is 15 a factor of i(0)?
False
Let l(p) = -571*p - 438. Does 46 divide l(-15)?
False
Is 11 a factor of 11*4/22 + 856?
True
Suppose -108*f - 140*f + 3557269 = 1325269. Is f a multiple of 200?
True
Suppose 3*s + 48 = -2*l, 8 = -0*s - 4*s. Let a(h) = -2*h**2 - 44*h + 18. Is 4 a factor of a(l)?
True
Let f be 5/(75/(-6))*12640/(-32). Suppose f = 5*u + 2*c, -8 = -u + 4*c + 6. Is 8 a factor of u?
False
Let n = 42 - 40. Suppose 312 = 5*a - 4*k, 4*a - k - 250 = n*k. Is a a multiple of 16?
True
Is 31 a factor of ((-52)/16 + 1)/(5*(-4)/131440)?
True
Let d be (-4)/(-12) + (-6)/18. Let s be d*(-2 - 28/(-12)). Suppose 5*x - 18 = j, s = j + x - 0*x - 12. Does 2 divide j?
False
Suppose -18 = 114*i - 111*i. Is 22 a factor of i - (-44)/8 - (-1747)/2?
False
Let x(p) = 3*p**3 - 215*p**2 - 391*p + 103. Does 85 divide x(74)?
False
Suppose 10 = -2*l, 7*l + 50 = 5*d + 9*l. Let n(y) = y**3 - 11*y**2 + 40*y - 19. Is n(d) a multiple of 62?
False
Suppose 98*g + 9030 = 112*g. Is g a multiple of 43?
True
Suppose 3*w = -5*p + 22, 2 + 8 = w + 3*p. Suppose -90 = 5*i - 3*u + 8*u, -u - w = 0. Is 9 a factor of 218/8 + i/56?
True
Suppose 9534*x = 9542*x - 100512. Is 18 a factor of x?
True
Let k be 9/45 + (1 - (-652)/(-10)). Let x = -72 - k. Let g(v) = -v**2 - 10*v + 11. Is g(x) a multiple of 7?
False
Suppose -2*k + 3*q = -21, -3*k - 3*q = 5 - 74. Is (k - 9) + 222/2 a multiple of 8?
True
Let j = 1048 + -965. Suppose 0 = -2*l + 3*l - 86. Suppose -j*t - 162 = -l*t. Is t a multiple of 6?
True
Let s = -90 - -152. Let l = -378 - s. Does 8 divide (-8)/(-52) - l*1/13?
False
Suppose 3*b + 41 + 64 = 0. Let h = -31 - b. Is 17 a factor of ((-22)/h)/((-9)/306)?
True
Suppose 0 = -0*i + 3*i + s - 17, 5*i = -s + 25. Suppose o - 5*h - i = 0, 0 = 5*o - 0*h - 5*h - 60. Suppose -o = -3*f + 118. Is f a multiple of 11?
True
Suppose -9*z + 33*z + 37*z = 608231. Is 59 a factor of z?
True
Let x = -24 - -28. Suppose 2*s + h = -0*h + x, -4*h + 16 = -3*s. Suppose s = 5*j - 177 - 353. Is j a multiple of 29?
False
Let o(a) = -2*a**2 - 10*a + 6. Let s be o(-9). Let q = s + 114. Does 13 divide q?
False
Suppose 0 = l - 5*s - 7, 2 = -4*s - 2. Does 7 divide (l - -4) + (2 - -230)?
True
Let x be ((-1)/(-10)*5*4)/(-1). Does 32 divide x/6 - (-16911)/27?
False
Suppose 2*u - 9033 = 4*y - 52113, 2*y - 21540 = 4*u. Is y a multiple of 10?
True
Let p(t) = -9*t**3 - t**2 - 207 + 7*t + 105 - 20*t**3 + 95 - t. Is 36 a factor of p(-4)?
False
Suppose 33*l = 662553 - 209001. Is l a multiple of 13?
False
Let c be (-420)/(-3) + -4 - -5. Suppose x - c = 69. Is 30 a factor of x?
True
Let g(k) = k**3 - 70*k**2 - 428*k - 434. Is 24 a factor of g(79)?
False
Let w = 204 + -210. Is (100 - -1) + (-1)/(2/w) a multiple of 26?
True
Let v = 165 - 160. Suppose v*n = -13*n + 630. Does 14 divide n?
False
Suppose -4*z + 9 = 485. Let w(x) = -8*x**2 + x - 16. Let j be w(-5). Let m = z - j. Is 17 a factor of m?
True
Suppose 8*v = -0*v + 9*v. Suppose -4*x + 2839 = -q - 2*q, v = 4*x + 4*q - 2860. Is 50 a factor of x?
False
Let b(y) = 16*y + 90. Suppose 0 = -3*a + 9, 6*a + 12 = k + 3*a. Is b(k) a multiple of 18?
False
Let q be (26 - 6864) + 4*2. Is (q/(-5) + 6)/2 a multiple of 49?
True
Let x be (-296)/(-72) - (-1)/(-9). Suppose 0 = -3*u + x*u. Suppose u = 2*w - 225 - 135. Is w a multiple of 18?
True
Suppose 0 = 19*p + 254 + 202. Let g = p + 501. Is 44 a factor of g?
False
Let l(t) = t. Let d(b) = 15*b + 17. Let u(n) = d(n) - 4*l(n). Suppose -28*j - 41 = -68 - 113. Is u(j) a multiple of 8?
True
Suppose -1135 = -2*x + 4*o + 21313, o + 56156 = 5*x. Is 14 a factor of x?
False
Is (10199 - 0) + 1 + -18 + 12 a multiple of 101?
False
Let c(q) = 4*q**2 + 18*q + 9. Let r be c(-8). Let l = 63 + r. Is 8 a factor of l?
True
Suppose -4*j - 78*f = -79*f - 14579, -5*f + 14633 = 4*j. Does 103 divide j?
False
Let q = -43 + 46. Is (-2*(-4)/q)/(4/654) a multiple of 9?
False
Let h be 3*(-4)/3 + 6*-1. Let l be (-2)/h*-23*-5. Suppose -25*b + 440 = -l*b. Is b a multiple of 33?
False
Is 15 a factor of (56 + -2486)*(-30)/9?
True
Is 12 a factor of 19/(2736/(-54))*-42464?
True
Let z be 15*(-7 - 32/(-4)). Suppose 4*v = 4*p + 1324, -2*v = z*p - 12*p - 652. Is v a multiple of 18?
False
Let g(k) be the first derivative of 3*k**4/4 + 2*k**3/3 - k**2/2 + 2*k + 110. Does 8 divide g(2)?
True
Suppose 5*n = -4*h + 21750, 11*h + n + 5433 = 12*h. Is h a multiple of 82?
False
Let z(x) = -x**3 + x**2 + 2*x + 2. Let d be z(0). Let f be -4 + (-311 - 8/d). Let a = -187 - f. Does 44 divide a?
True
Suppose 17*v = 9*v + 8. Let q be (v - (-2)/(-4))/((-1)/236). Let j = 254 + q. Is 34 a factor of j?
True
Is ((-332)/32)/((-47)/90616) a multiple of 78?
False
Let t be (((-8)/12)/1)/(6/117). Let c(u) = -u**3 - 13*u**2 - u - 13. Let v be c(t). Suppose v = 12*q - 6*q - 396. Is q a multiple of 7?
False
Suppose -2*y + 938 = 2*j, 145*y - 2393 = 140*y + 3*j. Is y a multiple of 2?
False
Let m = 34 - 29. Suppose -65 = -5*r + m. Is 3 a factor of r?
False
Suppose -2*y = -3*n - 11, 4*y - y = -3*n + 24. Let h be -3*(-38)/y - (-22)/(-77). Let i = 76 - h. Is 20 a factor of i?
True
Suppose -53*f + 43976 = -45*f. Suppose -6*t + 203 + f = 0. Is 38 a factor of t?
True
Suppose -42832 - 62718 = -36*s - 29626. Is 57 a factor of s?
True
Suppose 41*o + 47345 = 58*o. Does 28 divide o?
False
Let l = 13060 - 946. Is 85 a factor of l?
False
Suppose -7*b = 15*b - 6*b. Suppose 3*l - 3*o + 51 = b, 4*l - 3*l - 2*o + 21 = 0. Let i = l + 52. Is i a multiple of 12?
False
Let i(p) = -p**3 + 17*p**2 + 3*p + 26. Suppose -9*c + 80 = -28. Does 23 divide i(c)?
True
Let m(u) = u**3 + 6*u**2 - 5*u - 1. Suppose 0 = x - 5*x - 2*q, -4*q = -5*x. Suppose -7*f - 15 - 27 = x. Is m(f) a multiple of 21?
False
Let m be -4 + (41 - (-6 + 3)). Suppose 0 = -5*r + 10, -j + 4*r = -r - m. Suppose -3*n - j + 269 = 4*w, -2*n + w + 157 = 0. Is n a multiple of 12?
False
Suppose -3*s - 58 + 685 = -3*q, 5*s = -2*q + 1052. Let c = -165 + s. Does 45 divide c?
True
Does 208 divide (21/(-28))/((252/250832)/(-21))?
False
Let z be (-80)/(-60)*1*3. Suppose g - z*g + 4*j = -244, -340 = -4*g - 2*j. Suppose 2*u = 5*u + 4*y - 70, 4*u - 4*y - g = 0. Is 4 a factor of u?
False
Suppose 0 = -2*f - 3*z + 15, -z + 4*z - 15 = -f. Suppose f = -y + 5 + 15. Is ((-10)/y - (-19)/6)*18 a multiple of 15?
False
Let t(b) = b**3 - 18*b**2 - 5*b + 38. Let n be t(20). Let j = -196 + n. Is j a multiple of 70?
False
Let g(m) = m**2 + 3*m + 2. Let x be g(-3). Let u be ((-21)/(-7))/(3*(-1)/3 + 2). Suppose 4*t + x*j = 2*t + 16, u*t + j = 32. Is 3 a factor of t?
True
Let a = 41818 + -3442. Is 13 a factor of a?
True
Let d = -42 - -69. Let p = d + -27. Suppose n + p*n = 76. Does 13 divide n?
False
Suppose -37*c + 110 = -741. Let y(x) = x**2 - 3*x + 3. Let f be y(6). Suppose 94 = c*d - f*d. Is d a multiple of 10?
False
Suppose 70146 = 129*y - 286123 - 85298. Is 163 a factor of y?
True
Let g(s) = -364*s + 7847. Is 18 a factor of g(0)?
False
Suppose -4343 + 23843 = 13*w. Is 75 a factor of w?
True
Let u = 142 - 140. Suppose 0 = -2*f - u*t - 6, -8*f = -4*f + 5*t + 14. Does 19 divide 7/8 + f + 31950/240?
True
Suppose -21*o + 26*o + 11*o = 195728. Does 15 divide o?
False
Let n = 53826 - 24603. Does 32 divide n?
False
Let f = 66810 - 34687. Is 31 a factor of f?
False
Let j(s) = 2*s**3 - 14*s**2 - 3*s - 16. Let n(t) = -6 + t**3 + 6 + 3 - 4. Let v(b) = -j(b) + n(b). Does 10 divide v(14)?
False
Let c be 5 - 6 - (-2 + 8*