12. Is 32 a factor of i(o)?
True
Let y = -230 - -256. Suppose y*h - 729 = 17*h. Is h a multiple of 27?
True
Let p(l) = -3*l**2 - 8*l + 9. Let y(h) = -7*h**2 - 16*h + 17. Let d(z) = 9*p(z) - 4*y(z). Let j be 40/14*(-35)/(-10). Does 11 divide d(j)?
True
Let y = -614 + 578. Let r be 4*((-3 - -2) + 14). Let q = r + y. Is 8 a factor of q?
True
Suppose 38*n - 412501 + 100111 = -51*n. Is n a multiple of 37?
False
Suppose 0 = -22*b + 5*r + 41394, -17*r + 18*r - 1884 = -b. Does 2 divide b?
True
Let c be 686/21*(-9)/6. Let i = c + 58. Suppose i = 3*h, -5*h + 235 = 8*q - 3*q. Is 11 a factor of q?
True
Suppose 0 = -2*c + 3*c - 5*n - 29, 2*c - 102 = -n. Suppose 4*k + c = 169. Does 15 divide 57 + (86/k - 2/(-15))?
True
Suppose 4*r + 24 = 5*r - 3*u, 5*r - 5*u - 80 = 0. Suppose -1331 = r*h - 4091. Is 9 a factor of h?
False
Suppose -z - 4*x = -480, 2*x = -z + 28 + 448. Let t = -391 + 119. Let p = t + z. Does 40 divide p?
True
Let q be (-18*2)/(5 + 3717/(-738)). Let k = q + -872. Is k a multiple of 4?
True
Let t = 35569 + -20305. Is 24 a factor of t?
True
Let l(y) = 111*y + 1153. Is 36 a factor of l(24)?
False
Let t = 1562 - 1080. Let h = t - 343. Is h a multiple of 15?
False
Is 9 a factor of (-6)/1 + (19 - 7 - -1875)?
True
Suppose 1612 = -v + 27*v. Does 22 divide (-5 + -3)*(0/1 - v)?
False
Is 2 a factor of 1/7 - (-20 + (-33910)/35)?
False
Suppose 0 = -21*n + 9*n + 3072. Let k = n - 238. Is k a multiple of 4?
False
Let t(a) = -480*a - 228. Does 6 divide t(-4)?
True
Let k = 8713 - 4501. Suppose 0 = 7*t - k + 26. Does 46 divide t?
True
Suppose 2*n - 3 - 5 = 0. Let y be 6/8*160/60. Suppose u = -n*w + 187, -u + y*u - 203 = 4*w. Is 13 a factor of u?
True
Let b(h) = 3*h**3 + 4*h**2 - 8*h + 5. Let i be b(1). Is 9*4/(-48)*i + 302 a multiple of 7?
False
Is 20 a factor of -8*(-22)/(-1144) + 732164/26?
True
Suppose 0 = -4*r - 1 + 5. Let t be r/(-1) + 15 + -9. Suppose -x + 36 = -t*g, 3*x = -0*x - 4*g + 108. Does 18 divide x?
True
Suppose 50*d = -44*d + 985590. Is 53 a factor of d?
False
Let g = 2425 + -1443. Is g a multiple of 97?
False
Let w = -20 - -24. Suppose w*d - 186 = 1374. Suppose -d = 3*o - 8*o. Is 26 a factor of o?
True
Suppose -n = -4*r - 20, -3*n + 4 + 42 = 2*r. Suppose -5*w - f = -1262, n*w - 2*f = 15*w + 248. Does 21 divide w?
True
Let y be (-2)/13 + (-96)/52 + 8. Let n(m) = 3*m**3 - 3*m**2 + 20*m + 8. Is n(y) a multiple of 29?
False
Is 468/14*(-98 - -112) a multiple of 52?
True
Let d(m) = -650*m - 1552. Does 5 divide d(-3)?
False
Let d(p) = -5*p**3 + 30*p**2 + 2*p - 28. Let m(j) = 6*j**3 - 31*j**2 - j + 26. Let u(y) = 5*d(y) + 4*m(y). Is u(26) a multiple of 5?
True
Is 492305/10 + (8 - (-42)/(-12)) a multiple of 215?
True
Suppose 4*o = 5*i + 9513, -424*o + 7135 = -421*o - 4*i. Is 4 a factor of o?
False
Let a(h) = -h**3 + 2*h**2 + 7*h + 1. Let o be a(-2). Suppose -o*f - 1988 = -7*f. Let s = f + -246. Is 13 a factor of s?
False
Suppose -c = -4*y + 7*y - 5652, 5*y - 16944 = -3*c. Is 33 a factor of c?
True
Let i(z) = -z**2 - 10*z - 11. Let r be i(-2). Suppose 46 = -r*y + 236. Is y a multiple of 20?
False
Let u be 4/(-6) - 418/(-6). Suppose -u*f + 16 = -65*f. Suppose 38 = t + p - 84, 0 = f*t + 3*p - 486. Is 30 a factor of t?
True
Let r(j) = j**2 - 13*j - 22. Let s be r(15). Suppose -s = -0*c + 4*c. Is (2 - 1)*-5*c a multiple of 10?
True
Suppose 5*y - 4487 - 3053 = 0. Let i = y - 899. Suppose 372 = 3*c + q, q + i = 5*c - q. Is c a multiple of 13?
False
Let f = 26338 + -17528. Does 85 divide f?
False
Let c(s) = -s**3 - 5*s**2 - 4*s - 5. Let l be c(-2). Does 8 divide 126*((-1)/l - (-10)/45)?
False
Suppose 1 = -6*j - 35. Let i(y) = -112*y + 126. Is 38 a factor of i(j)?
True
Suppose -16*m + 10 = -15*m. Suppose -m*d + 15*d = 3040. Is 6/(-14) + -2 + d/14 a multiple of 5?
False
Let m(k) be the first derivative of -k**4 - 2*k**3 + 5*k**2 + 15*k - 30. Does 45 divide m(-5)?
True
Let u(v) = v**2 - 13*v + 26. Let k = 51 + -63. Let j = k + 24. Is 7 a factor of u(j)?
True
Let g be (-13 + 19)*(-2)/(-3). Suppose -3*j = 12*n - 15*n + 90, 5*j + 118 = g*n. Does 22 divide n?
False
Suppose b - 17274 = -2*j, -2*b - j = j - 34554. Is b a multiple of 96?
True
Let s = -9932 - -20264. Is s a multiple of 82?
True
Let b = 3958 + -333. Is 125 a factor of b?
True
Let i = 6 + -16. Let m(c) be the second derivative of c**3/6 + 13*c**2 - 120*c. Does 11 divide m(i)?
False
Let j = 2355 + -1235. Does 35 divide j?
True
Suppose -2*j - 6 = 2*u, 4*u - 35 = -u + 5*j. Suppose -u*f + 1 = 3, 2*p - 41 = -f. Suppose -2*z + 51 = -p. Does 5 divide z?
False
Let q = 11848 - 1591. Is 13 a factor of q?
True
Let j = -499 + 502. Is 5 a factor of ((53199/(-27))/(-23))/(1/j)?
False
Suppose 809*p - 806*p - 8556 = 0. Does 62 divide p?
True
Let o be (6/(-4))/((15/(-28))/5). Let q(d) = d**2 - 5*d + 24. Is q(o) a multiple of 15?
True
Suppose -2*z + 0*w = w + 304, 2 = -w. Is 10 a factor of 19 - z - (1 + -5)/(-2)?
False
Suppose -3*k = q + 1780, 2*k - 453 + 1638 = q. Let h = -375 - k. Is h a multiple of 17?
False
Let b(t) = 1. Let s(g) = -4*g + 10. Let o(l) = -2*b(l) + s(l). Let v(c) = -12*c + 24. Let w(a) = -7*o(a) + 2*v(a). Does 6 divide w(11)?
True
Suppose 5*g - 2528 + 9893 = 0. Let c = 2691 + g. Does 58 divide c?
True
Let z(b) = -93*b - 18*b - 2*b + 25 - 4*b - 7*b. Is z(-2) a multiple of 38?
False
Let i be 1/4 - 66/(-24). Suppose 0 = -5*h - i*z - 21, -h + 0 - 11 = 4*z. Is 6/2 + (24 - -1) + h a multiple of 8?
False
Does 103 divide ((-13376)/(-154))/(2/14)?
False
Let h(v) = -3078*v + 43. Is 61 a factor of h(-5)?
True
Suppose -4*m - 2*o + 77 + 65 = 0, -4*m = -2*o - 146. Does 33 divide m?
False
Let c be 9/(-6) + (-3)/(30/(-575)). Let y = -54 + c. Suppose 592 = 3*x + 2*a, y*x - 449 + 48 = 5*a. Does 11 divide x?
True
Let i(d) = 30*d**2 - 97*d + 476. Does 57 divide i(11)?
False
Let d(a) = 94*a + 2. Let g(n) = -n**2 - 4*n + 12. Let b be g(-6). Suppose 2*r + b*m = -4*m + 6, m - 1 = 0. Is 34 a factor of d(r)?
False
Suppose 0 = u - 3*f, u - f + 1 = 3*f. Suppose 4*g + 27 = -4*x + 319, -4*x = -u*g + 219. Is (-3 - -1) + (g - -2) a multiple of 11?
False
Let j(p) = 253*p + 3473. Is j(121) a multiple of 241?
False
Suppose -222 = -3*o + 4*o - i, 658 = -3*o - 5*i. Let k = -918 + o. Does 33 divide 24/84 - k/7?
False
Suppose w + 6 = -5*u, -26*w = -22*w - u - 18. Suppose -w*a = -9*a - 5*t + 320, 5*a = 5*t + 310. Is a a multiple of 5?
False
Suppose 335 - 4970 = -5*j. Suppose 5*n - p - j = 0, 0 = 3*n - p + 86 - 643. Is 43 a factor of n?
False
Let h = -5050 - -8644. Is h a multiple of 6?
True
Suppose u = 1 + 5. Let x(d) = -d**3 + 10*d**2 + 5*d + 11. Let p(z) = -2*z**3 + 23*z**2 + 9*z + 23. Let o(y) = 2*p(y) - 5*x(y). Is 21 a factor of o(u)?
True
Let d = -842 + 1418. Does 12 divide d?
True
Suppose -2*h = -2*p - 0*p, -3*p = -h - 6. Suppose -792 = -p*t - 0*t. Does 12 divide t?
True
Suppose v - 5*f = 2 + 5, 2*v + 4*f = 0. Let g = -4 + v. Is 15 a factor of (92/3 - g/(-3))*1?
True
Let u = 348 + -348. Suppose u = -31*v - 1538 + 26369. Does 18 divide v?
False
Let h = 96 + -76. Let o(g) = -g + 22. Let p be o(h). Suppose 2 = -p*u - 6, -3*y + 524 = 4*u. Is y a multiple of 20?
True
Suppose -5*c + 19150 = -20905. Is c a multiple of 72?
False
Suppose -u + 56 = 14. Let j = -40 + u. Suppose -4*p + 2*i = 50 - 154, -54 = -j*p + 2*i. Does 3 divide p?
False
Suppose -7 = -w + 11. Let r = 21 - w. Suppose 9*d - 480 = r*d. Is d a multiple of 20?
True
Let p(s) = -s**3 + 16*s**2 + 14*s - 24. Let l be (-193)/(-13) + -3 + 6/39. Is p(l) a multiple of 9?
True
Let n(o) = o**2 - 1. Let k be n(3). Suppose -k*x + 124 = -20. Does 4 divide x?
False
Let k = -1384 + 2148. Suppose -t = -n - 2*t + 385, 2*n + 5*t = k. Does 15 divide n?
False
Suppose -4*q + 0*p = -p - 17, 0 = 5*q + 3*p - 34. Suppose s = -h + 4, -q = -5*h - 0*h. Suppose s*w + w + 3*f = 487, -w - 2*f = -123. Is w a multiple of 14?
False
Suppose -4*u + 67640 = -4*x, 11*u - 7*u = 5*x + 67645. Does 13 divide u?
False
Let z(j) = -347*j - 2096. Is 76 a factor of z(-32)?
False
Does 27 divide -60*(8 + (7 - 122))?
False
Let f = 1039 - -1311. Is 49 a factor of f?
False
Suppose -10419264 = -455*i + 167*i. Is i a multiple of 25?
False
Let y(r) = -23*r - 21. Suppose 36 = -5*j + o + 2*o, -4*j + 5*o = 34. Does 4 divide y(j)?
False
Let a(s) = -33*s + 3735. Is 27 a factor of a(6)?
True
Does 4 divide 93712/6*(-117)/(-78)?
True
Let i(q) 