- 9. Suppose 2*k - 11 = k - 3*m, 0 = -o*k - m + 22. Suppose 4*c - 113 = -5*f, k*c - 47 = 4*c + 5*f. Does 4 divide c?
True
Let i = 103 + -38. Suppose 2*a - 175 = -i. Is 48 a factor of a?
False
Let p(l) = -2*l + 33. Let z be p(14). Suppose 21 - 146 = -z*v. Does 11 divide 22*(-5)/(v/(-10))?
True
Let a be 3 + (-6)/(1 + 2). Let y(z) = 17*z + 6. Is 13 a factor of y(a)?
False
Let m = -216 + 214. Is (-1)/(m - 717/(-359)) a multiple of 15?
False
Let t(s) = -s**2 - 7*s + 94. Let d be t(6). Does 2 divide 1162/16 + 6/d?
False
Let z(y) = 3873*y + 132. Is z(1) a multiple of 15?
True
Suppose 4*q = -3*v + 106, 0 = -q + 4*v - 2*v + 21. Let x(g) = q - 11*g - 13*g + 32*g. Is 31 a factor of x(17)?
False
Suppose -2*o = -5*q - 15818 - 3945, -3*o = 2*q - 29692. Suppose -3*w = -54*w + o. Is 6 a factor of w?
False
Let g(q) = q**3 + 18*q**2 + 4*q + 4. Let a be g(-14). Suppose -5*t + 78 = -a. Is 13 a factor of t?
False
Let b be 561/2 - 5/(7 + 3). Suppose -240 - b = -13*g. Is 13 a factor of g?
False
Suppose 0 = -3*q + 5 + 4. Suppose -h + 1103 = 5*k - 3*h, 0 = -3*k - q*h + 645. Is k a multiple of 17?
False
Suppose 3*b = -97 - 197. Let i = 118 + b. Is 4 a factor of (20 - 18)/(((-2)/i)/(-1))?
True
Suppose -4*d + 9 = -d. Let k be 63 - 60 - (0 + -1). Suppose k*a + 2*c = 9*a - 120, 4*a - 89 = d*c. Is 2 a factor of a?
True
Let x(a) = -a**3 + a**2 + 3*a - 1. Let f be x(2). Let c be (-40)/(-22) + f + (-45)/55. Suppose -5*j - p = -426, 3*j - p - 424 = -c*j. Is 11 a factor of j?
False
Let n be 30/50 + (-1)/(10/(-94)). Suppose -9*f = -440 - n. Is 10 a factor of f?
True
Let m(w) = -w**3 + 2*w**2 + 3*w - 3. Let k be m(2). Let l = 1147 + -775. Suppose 3*p + 0*o + o - 380 = 0, 0 = 3*p + k*o - l. Does 19 divide p?
False
Let p = -503 - -369. Let t = 278 + p. Is 36 a factor of t?
True
Suppose -27*w + 120 = 12. Does 12 divide w + -4 + -40*(-37 - -5)?
False
Suppose -10*i + 1081 = -49. Let s(r) = r**3 + 6*r**2 - 6*r. Let j be s(-5). Suppose j = v - i. Is 24 a factor of v?
True
Suppose -178200 = 11931*v - 11942*v. Is 15 a factor of v?
True
Let d = -7030 + 19792. Is 18 a factor of d?
True
Suppose -z = 4*h + 333, h - 2*z + 42 = -39. Let k = 597 + h. Is k a multiple of 12?
False
Let x be 4/18 + ((-376)/72 - -5). Suppose x = -n - 2*f + 446, 2*f + 0*f - 2206 = -5*n. Is 44 a factor of n?
True
Let q = -892 + 899. Is ((-2658)/1)/(-6) + q a multiple of 5?
True
Let d be 586/7 + ((-48)/(-21) - 2). Suppose 8*m = d + 124. Let w = 94 + m. Is 24 a factor of w?
True
Let l(q) = -2*q**3 - 7*q**2 + 4*q + 3. Let g be l(-4). Suppose -2*z = j - 111, -g*z + 2*j + 139 = -2*j. Let x = z - 19. Is 34 a factor of x?
True
Let j(g) = g**3 + 8*g**2 + 16*g + 4. Let x be j(-6). Let z = -13 - x. Is (-4)/10 - 604*z/(-70) a multiple of 10?
True
Is 17 a factor of 2/(-4)*1 + (-18)/(216/(-96090))?
True
Let j be 1*((-78)/65)/((-4)/(-10)). Let v(b) = -b**3 - 9*b**2 - 2*b - 6. Let t be v(-9). Is (78/t)/(2 + j/2) a multiple of 6?
False
Suppose 35*v - 116334 = -108*v + 227867. Is v a multiple of 29?
True
Suppose 9*l - 33*l + 42886 = -126722. Is 20 a factor of l?
False
Let i(u) = 439*u**2 - 244*u - 6. Is i(5) a multiple of 4?
False
Suppose 0 = 11*d - 614 - 387. Suppose -3*i + 4 = 5*y, -i + 8 = 5*y - 0*i. Suppose -y*w = -d - 1. Is 46 a factor of w?
True
Let r(l) = -121*l + 3. Let g(b) = b**2 - 242*b + 7. Let w(o) = -3*g(o) + 5*r(o). Is 58 a factor of w(36)?
False
Let f = -15 + 19. Let a(k) = -k**3 + 2*k**2 + 9*k - 1. Let b be a(f). Suppose 82 = 5*v - b*q, 2*q = v - q - 14. Is 6 a factor of v?
False
Let t = -6573 + 12673. Does 20 divide t?
True
Let z be (-5)/(-40) - 121/8. Is 5 a factor of ((-20)/(-16))/(-1)*4*z?
True
Is 45 a factor of (-2)/(-33)*9 + (-1)/((-33)/83142)?
True
Let u = -46999 + 114359. Is 32 a factor of u?
True
Suppose 16 = 4*a, -5608 + 867 = -3*y + 2*a. Suppose -2827 = -6*l + y. Is 49 a factor of l?
True
Let d be 1*48/20 + 9/15. Suppose -5*k = 6*q - q - 2455, d*q = -9. Is 13 a factor of k?
True
Let s(f) be the second derivative of f**3/2 + 11*f**2/2 + 28*f. Let c be s(-2). Suppose 0 = c*n + 5*g - 111 - 29, -2*n + 59 = 3*g. Is n a multiple of 8?
False
Let o be -4 - -2 - (15 + -7 + -10). Is ((-69)/12)/((o - -4)/(-96)) a multiple of 9?
False
Suppose 0 = -211*l - 83*l + 2778300. Is 10 a factor of l?
True
Let q be (-6)/(-144)*6*(4 - 0). Let o be q*(0 + (-2 - 1)) - -8. Suppose -o = b - 20. Is 5 a factor of b?
True
Suppose 164*f + 71630 = 193*f. Does 19 divide f?
True
Let v = 3439 - -12381. Is 17 a factor of v?
False
Let u = 138 - -1283. Is u a multiple of 29?
True
Let u(l) = 69*l**2 + 32*l - 98. Does 14 divide u(4)?
True
Let t be ((-4)/6)/(2/(-12)). Suppose 0 = -5*m - t*m + 4086. Is 39 a factor of m?
False
Let d(l) = l**3 + 17*l**2 - 3*l - 42. Let v be d(-17). Suppose -v*h = -70 - 11. Let q(s) = s**3 - 7*s**2 + 6*s - 5. Does 10 divide q(h)?
False
Suppose 0 = 5*a - 9*a - 1256. Is 17 - 16 - (a + 3) a multiple of 5?
False
Let y(j) = 141*j**2 - 3*j - 8. Is 11 a factor of y(2)?
True
Let l be (122592/(-18))/(-8) + (-42)/18. Let n(t) = -614*t - 1. Let g be n(-5). Suppose 15*a = -l + g. Is 13 a factor of a?
False
Suppose -v - 3*v + 3*o - 97 = 0, -132 = 4*v + 4*o. Does 2 divide (v/(-10) - 1)*(-15 - -30)?
False
Suppose -10*f - 5*f - 3615 = 0. Let n = 304 + f. Is n a multiple of 9?
True
Suppose 6*l - 3*l + 162 = 5*t, 0 = 4*l - 2*t + 202. Let k = l + 52. Suppose -2*h - 5*i + 227 = 0, -k*h - 230 = -5*h - 2*i. Is 8 a factor of h?
False
Let g = 9395 - 8860. Is g a multiple of 2?
False
Let s(x) = 12*x**2 - 4*x. Let f be s(10). Is 8 a factor of (f/(-6))/(-1 + (-4)/(-6))?
False
Let o be 4 - (34/221 + (-54)/13). Suppose o*z = 6*z + 888. Is 61 a factor of z?
False
Let q be 1/2*14 - 5. Let w be 229 - q - (-15)/(-3). Suppose -2*b + 3*y = b - w, -4*y + 208 = 3*b. Is 24 a factor of b?
True
Suppose -3*h - 11 = -23. Suppose 0 = -h*w + 9*w - 1610. Is w a multiple of 14?
True
Let b be (-2)/8 - 595/(-28). Let w be 4/14 - (-4866)/b. Suppose x - 21 = -q + 29, -5*x = -4*q - w. Does 8 divide x?
True
Is 14 a factor of (432 + 1)/((-63)/(-399)) + 10/6?
True
Suppose -7*a - 878 = 3343. Let n = -355 - a. Is 34 a factor of n?
False
Let z(n) = 116*n - 2. Let w = 48 - 46. Is z(w) a multiple of 15?
False
Let o(x) = -x**2 + 31*x - 12. Let t be o(30). Let g = t + 56. Does 37 divide g?
True
Suppose -26*g + 62*g = 59472. Does 27 divide g?
False
Suppose -99*x + 49*x + 10710 = -33*x. Is 90 a factor of x?
True
Let w(k) = k**2 + 12*k + 19. Let o be w(-9). Let z = -5 - o. Suppose -r = z*p + r - 56, -p + 17 = -r. Is p even?
True
Let j = 6737 + -6529. Does 23 divide j?
False
Let t be 3/(-2 + 4/((-220)/(-115))). Let h(n) = 47*n + 37. Is h(t) a multiple of 31?
False
Let q = -92 - -91. Let v be (-3)/(-6)*q*(2 - 2). Suppose i - 3*k + 1 = -i, 4*k - 20 = v. Does 3 divide i?
False
Suppose 0 = -302*q + q + 4103719 + 4426320. Does 29 divide q?
False
Suppose 2*r - 7 = 49. Suppose 3*n - 48 = 7*n. Is r/n*(-57 - -3) a multiple of 25?
False
Let p(q) = -13090*q**3 + 7*q**2 - 31*q - 37. Is 85 a factor of p(-1)?
False
Suppose 5*n = -56 + 161. Does 6 divide 118 + n/14*(-12)/(-9)?
True
Let l(s) = -563*s + 620. Is 24 a factor of l(-5)?
False
Let l = 303 + -342. Does 4 divide (l - -25)*39/(-6)?
False
Let z = -25106 - -25923. Is 2 a factor of z?
False
Is 10 a factor of (-2044)/(-1)*2520/(-336)*2/(-20)?
False
Let w be (-322)/(-9)*3 - -4*(-8)/96. Let c be 187/(-3) - (-2)/6. Let a = c + w. Is 9 a factor of a?
True
Does 2 divide (-19)/57 - (1101/(-9) - 3)?
False
Let n = 257 - 245. Suppose 0 = -3*f - 9, -3*o + 8*f + 1134 = n*f. Is o a multiple of 35?
False
Suppose 40*j = -5*j. Let x(a) = a**2 - 9*a + 132. Does 44 divide x(j)?
True
Let m = 263 - 33. Suppose m = -6*a + 4310. Is 40 a factor of a?
True
Suppose 0 = 211*t - 1824875 - 2088120. Does 168 divide t?
False
Suppose 2*s = -3*f + 1, 5*s - 22 = -5*f + 4*f. Suppose 3*h - g + 11 = 0, 0*h + s*g + 13 = -2*h. Is 25 a factor of -1*-50*h/(-8)?
True
Let c(v) = 50*v - 96. Let l be c(6). Suppose y - f - l = 64, -5*f = -10. Is 30 a factor of y?
True
Is 97 a factor of (-1750)/(-42)*(515213/371 + (-2)/(-7))?
False
Is 31 a factor of ((-76)/(-12) + 0)*426?
False
Suppose -6*z - 240 = -2*z. Is 18 a factor of (-48)/z*(-2)/(4/(-2105))?
False
Let j = -146 + 206. Suppose 0 = 6*t + 12 - j. Is (-5)/((-35)/(-84))*(-22)/t a multiple of 14?
False
Let m(s) be the first derivative 