11*v + 4. Let j(c) = -6*k(c) - 7*q(c). Is 32 a factor of j(-8)?
True
Let n(u) = 6*u**2 + 20*u - 64. Suppose -q = 2*j - 20, 4*q = 3*j + 3*q - 20. Does 40 divide n(j)?
True
Does 18 divide (-3015606)/(-374) + (-18)/153?
False
Let n = -534 - -539. Suppose -n*r = 4*w - 253, -w + 3*r + 42 = -0*r. Does 19 divide w?
True
Let b = -51 - -53. Suppose h = 3*q + 15, -q = -4*h + b*q + 33. Does 32 divide (158/(-1))/(h/(-9))?
False
Let f(i) = -2*i**3 + 38*i**2 - 35*i + 87. Is f(17) a multiple of 6?
True
Suppose 0 = m - q - 97, -2*q + 19 - 29 = 0. Suppose -5*l - 262 = -8*l + z, -m = -l - 2*z. Is 44 a factor of l?
True
Suppose -2*h + 42*z = 43*z - 506, -h - 5*z = -262. Is h a multiple of 36?
True
Let z(a) = -79*a + 1. Let c be z(-1). Let q(x) = x**3 + 30*x**2 - 4*x - 63. Let j be q(-30). Let m = j + c. Does 15 divide m?
False
Let r(x) = -4927*x + 33. Is 160 a factor of r(-1)?
True
Let s(x) = -95*x**3 - 16*x**2 - 13*x - 10. Is s(-4) a multiple of 87?
False
Suppose 17*h = 10*h + 357. Suppose -3*d + 36 = 3*o, 0 = 4*o - 0*o + d - h. Suppose -s = -30 - o. Is s a multiple of 10?
False
Let t(m) = m**2 + 4*m + 219. Let u be t(0). Suppose o - u = -2*d, 15*d + 334 = 18*d - 4*o. Does 22 divide d?
True
Suppose -35385 = -z + 4*d, 2*z - 45*d + 43*d - 70746 = 0. Does 113 divide z?
True
Suppose 3*c = -c + 424. Suppose 0 = 3*q + 296 + c. Is 17 a factor of (-1)/(4/q) + 3/6?
True
Suppose -2151 = 5*y + 139. Let p = -296 - y. Is p a multiple of 2?
True
Let x = -369 + 261. Let t = -11 - -13. Is (t/6)/((-2)/x) a multiple of 3?
True
Let q be (2/(-2))/6 + (-106)/12. Let x(v) = -3*v + 33. Let f be x(q). Is 20 a factor of (-12)/(-8)*(f + -2)?
False
Suppose 3*y = 2*t - 48554, -48538 = -2*t - 1016*y + 1021*y. Is 15 a factor of t?
False
Let h be 224/35*-355*3/6. Let b = -616 - h. Suppose 9*r = -r + b. Is 13 a factor of r?
True
Let l(a) = 3*a**2 + a + 1. Suppose -2*s - 3 = -11. Suppose -s*i + 5*n - 3 = 0, -2*i - 2 = -5*n + 3*n. Is 3 a factor of l(i)?
False
Let w be (-56)/(-10) - 123/205. Suppose 0 = 3*y - w*y - 4, -y = 2*o - 166. Is 21 a factor of o?
True
Let s be 25 - ((-27)/(-36) + 2/8). Suppose 0*y + 5*a - 22 = -y, 4*y = -4*a + s. Is 438/4 - 2 - (-1)/y a multiple of 27?
True
Let g be -1*(4 + -1 + -10). Suppose -3*b = 5*f + 94, 91 = 2*f - g*f - 2*b. Let w(r) = -r**3 - 16*r**2 + 9*r - 19. Does 15 divide w(f)?
False
Let b = -13350 + 16600. Does 25 divide b?
True
Suppose 2*u = 5*u + 6. Let h(d) = -14*d**3 - 2*d**2 + 4*d. Let k be h(2). Is 24 a factor of (k/u)/((-4)/(-12))?
True
Suppose 0 = -5*t - 4*s + 17758, 19*t + 5*s = 22*t - 10640. Does 25 divide t?
True
Let l(r) = -r**3 - 7*r**2 + 6*r - 12. Suppose -57 = -4*t - 5*o, 3*o = -2*t - 0*t + 29. Let u = 4 - t. Is l(u) a multiple of 22?
False
Suppose 1694 = 10*i + i. Suppose 4*f - 314 = i. Let x = 147 - f. Is x a multiple of 10?
True
Let l = 95 + -94. Let g be -173*l/2*-2. Is 9 a factor of (g - 0) + 7 + -6?
False
Let q = -171 + 167. Let a(p) = -225*p - 146. Is a(q) a multiple of 42?
False
Let f = -480 + 455. Is (-2604)/35*f/2 a multiple of 12?
False
Let i = -48 - -50. Suppose 3*m + 5*f - 789 + 224 = 0, 948 = 5*m + i*f. Suppose 2*q - 8*r + 6*r - m = 0, -q + 115 = -5*r. Does 10 divide q?
True
Let d(z) = 341*z**2 + z. Suppose -34 = -9*n - 25. Does 57 divide d(n)?
True
Let t be (-87)/5 + (-2)/(-5). Suppose -82*a + 69*a = -949. Let l = a - t. Is l a multiple of 18?
True
Does 18 divide 664/166 + 2242*(-5)/(-1)?
True
Let y = 56 - 57. Let o be (7 - 9) + (y - -1). Is 13 a factor of (3/(-3) - 0)*(-81 + o)?
False
Suppose -3*w - 17 = -2*w + 5*l, -9 = w + 3*l. Let c be w/21 + (-3870)/42. Let v = c - -140. Does 6 divide v?
True
Let i = -440 - -445. Suppose d + 2*c = 58 + 1243, 15 = i*c. Is d a multiple of 18?
False
Let a(s) = 226*s + 20. Let y be a(13). Suppose 505 = i - 3*h - 79, y = 5*i + 4*h. Does 6 divide i?
False
Let a = 1158 - 658. Suppose a = w - 2*m, 53 - 1078 = -2*w - m. Does 34 divide w?
True
Suppose 4*l - 134*i = -138*i + 3280, -3*i - 1610 = -2*l. Is l a multiple of 6?
False
Suppose 71*i - 129774 = 21456. Is 10 a factor of i?
True
Suppose -2*u + 212*k - 211*k + 1973 = 0, 0 = u - k - 983. Does 5 divide u?
True
Let b(l) = -l**3 + 2*l**2 - 4*l - 2. Let h be b(3). Let t = 995 - h. Suppose t = 6*j + 214. Does 13 divide j?
False
Let d be 55 + -57 + (2 - 0 - -6). Let m(z) = 3*z + 6*z + 11 + 3. Is 26 a factor of m(d)?
False
Let m = -16986 - -21321. Does 17 divide m?
True
Let c = 74 - -20. Suppose -5*j = h + 30, -2*j - c = 3*h - 30. Let p(d) = d**3 + 19*d**2 - 22*d + 8. Does 24 divide p(h)?
True
Let a = -139 + 597. Suppose -a = -2*u + 46. Is u a multiple of 21?
True
Let z be 1976/12 - (-1)/(-6)*-2. Let i = z - 147. Is i a multiple of 7?
False
Let k = -47803 - -80275. Is (-10)/3*k/(-205) a multiple of 6?
True
Let a be -3*1*(-10)/(-6). Let s(n) be the third derivative of n**4/8 + 16*n**3/3 + 373*n**2. Does 13 divide s(a)?
False
Let l = -575 + 583. Let r be (-3)/(-3)*1 - -10. Is r*l/1 + 3 a multiple of 31?
False
Let u = 161 + -159. Suppose 280 = u*w - 4*p, -11*w + 5*p + 548 = -7*w. Does 12 divide w?
True
Suppose 0 = 2*y + 14 - 2. Let h be (8/y)/(6/(-9)). Suppose 0 = h*c - 5*c + 5*f + 140, -93 = -2*c + 3*f. Does 7 divide c?
False
Suppose -1532 = 5*c - a - 11290, 0 = 4*a + 32. Is 15 a factor of c?
True
Let u(r) = -69*r + 108. Let c be u(6). Let w = c - -565. Does 7 divide w?
True
Let n = -364 - -367. Suppose 2*c - 31 = n*d - 11, -12 = -5*c - 2*d. Is c even?
True
Let p(q) = 161*q**2 - 2*q - 1. Let v = 553 + -555. Is 11 a factor of p(v)?
False
Let t be 6/2 - (14/(-2) - -403). Let s = t + 681. Is s a multiple of 36?
True
Let c(x) = 2*x**3 - 25*x**2 - 1. Let z(g) = g**3 - 12*g**2 - 1. Let i(b) = 2*c(b) - 5*z(b). Let l be i(10). Let a = 8 + l. Is 4 a factor of a?
False
Let c = -184 + 186. Suppose -c = -2*o - k, 3*o + 13 - 2 = -5*k. Is o a multiple of 2?
False
Let z(r) = r**3 - 4*r**2 + 2. Suppose -28 = -2*d - 4*a - 8, -5*a + 11 = -d. Let k be z(d). Suppose 14 = k*u - 32. Does 4 divide u?
False
Let q(v) = -78*v - 1450. Is 32 a factor of q(-56)?
False
Suppose 3 + 1 = j + 2*u, 3*j + 3*u = 6. Suppose 2*f = 4*d - j*f - 4, 5*f = -4*d + 18. Suppose -6*k + d*k = -952. Does 40 divide k?
False
Let a(z) = z**3 + 26*z**2 - 67*z - 12. Let n = 394 - 422. Is a(n) a multiple of 19?
False
Let n be (-2)/(-18) - 5750/(-414). Let d(j) = 2*j**3 - 27*j**2 - 6*j + 30. Is d(n) a multiple of 3?
False
Let f(c) be the third derivative of 5*c**5/3 + 2*c**4/3 - 8*c**3/3 + 292*c**2. Is f(1) even?
True
Let z be (2/(-15))/1 + (-469798)/690. Let q = z + 1122. Is q a multiple of 49?
True
Let d = 181 - 115. Suppose -z + d = -0*z. Is 22 a factor of z?
True
Suppose 0 = 6*f - 64 + 4. Let u(z) = 2*z - 39 + 17 + f + 21. Is 19 a factor of u(8)?
False
Let v = 3365 + -53. Suppose 5*x = -4*x - v. Let z = -242 - x. Is 21 a factor of z?
True
Suppose 8*o - 1 = -1. Suppose -5*q = o, 9*t - 13*t - q + 416 = 0. Is 13 a factor of t?
True
Suppose 1911*j - 1929*j = -66798. Does 24 divide j?
False
Let f(a) = 232*a**2 - 3*a. Let o be f(1). Suppose 2*t = -5*d - 230, -3*t - d - 116 = o. Is t*(1 + 8/(-3 + -1)) a multiple of 8?
False
Let h(g) = -g**3 - 11*g**2 - 10*g - 23. Let s be h(-10). Let o(t) = 8*t - 47. Let p be o(s). Is ((-24)/(-14))/((-6)/p) a multiple of 11?
True
Suppose 48512 = 19*f - 318. Suppose -2290 = -18*o + f. Is o a multiple of 16?
False
Let j = -127 - -226. Suppose 13 = y + j. Let r = y - -158. Does 11 divide r?
False
Suppose -9*d = -3*d - 54. Let f(b) = 28*b + 96. Is f(d) a multiple of 12?
True
Let y be (-2 - (-585)/7) + (-28)/49. Is 4/(-6) + 13662/y a multiple of 4?
True
Does 92 divide 75/(-30)*972/(-10)?
False
Suppose -5*l + 50840 = 3*w, 26*w + 30504 = 3*l + 31*w. Does 41 divide l?
True
Let r(g) = -g**2 - 18*g + 39. Let u be ((-126)/(-33) - 4) + (-194)/22. Is r(u) a multiple of 24?
True
Is (14 + 856/10)*5 a multiple of 17?
False
Let c be (2/33*-3)/((-1)/11). Suppose -4*n = -c*a - 2720, -n - a + 1360 = n. Does 34 divide n?
True
Let z(l) be the third derivative of -l**4/24 - 3*l**3 - 23*l**2. Let k be z(-16). Is ((-210)/28)/(1/k) a multiple of 3?
True
Let s(y) = y**2 + 4*y - 10. Let j be s(-6). Suppose -3*h - j*h + 1430 = 0. Let u = h - 126. Is u a multiple of 42?
False
Let i(r) = 4*r**3 + 8*r**2 - r + 4. Let h be i(7). Suppose 0 = 4*t - h + 129. Is 68 a factor of t?
True
Let y(o) = -2677*o - 3209. Do