a(12). Is x(h) a multiple of 12?
True
Let z(d) = 228*d - 46. Let p be z(2). Let c = p - 310. Is 11 a factor of c?
False
Let g(d) = -5*d**2 + 2*d + 2. Let i be g(-1). Let h(t) = -t**2 - 4*t - 5. Let y be h(i). Let r(w) = -w**3 - 9*w**2 + 7*w + 6. Is r(y) a multiple of 12?
True
Suppose 740953 = -283*m + 3934891. Is m a multiple of 33?
True
Is 13 a factor of (-2340560)/(-280) + (29/(-7) - -4)?
True
Suppose 176*a - 4*q + 17805 = 181*a, -q + 10690 = 3*a. Is 115 a factor of a?
True
Let h(r) = r**3 - 42*r**2 - 43*r + 5. Let d be h(43). Suppose -2*w = 0, -6*s + 7*s - 372 = -d*w. Does 62 divide s?
True
Let j(o) = 5*o**2 - 14*o + 512. Does 168 divide j(26)?
True
Let u(n) = 7*n**2 + 0*n**2 + 4 + 2*n**3 + 0*n**2 + 4*n - 8*n**2. Is 12 a factor of u(4)?
True
Let l(x) = x**3 - x**2 - x + 1. Let i(v) = -4*v**3 + 16*v**2 + 5*v + 33. Let z(y) = -i(y) - 3*l(y). Is z(14) a multiple of 12?
True
Suppose -60*a + 61*a = 2, -10*m + a = -212378. Is m a multiple of 41?
True
Suppose 4*m = 3*m - t + 18, 38 = 3*m - 5*t. Suppose -m*u + 19*u = 381. Is u a multiple of 59?
False
Suppose 0 = 5*g - 4*s - 37270, 18*g - 29805 = 14*g + s. Is g a multiple of 31?
False
Let i(w) = 147*w**2 + 308*w + 93. Does 13 divide i(-9)?
False
Suppose -149206 = -2*g + 178*o - 182*o, g + o = 74594. Is 35 a factor of g?
True
Let p be (-2)/16 - (-20)/160. Suppose p = 11*n - 1546 - 1039. Is n a multiple of 47?
True
Let u = -137 + 122. Let b be (-447)/u - (55/(-25) + 2). Suppose 3*d - 9 = -0*d, -5*d - b = -5*o. Is o even?
False
Let d(a) = -21*a**2 + 2*a - 1. Let n be d(1). Let t be ((-70)/n)/((-2)/4). Let z(o) = o**2 + o - 24. Does 6 divide z(t)?
True
Let k(h) = -1 + 2309*h**3 - 6*h**2 + 10 - 9*h - 2306*h**3. Is 9 a factor of k(6)?
True
Suppose 189452 - 468932 = -60*s. Is s a multiple of 17?
True
Let u be (-5 + (-117)/(-26))/((-1)/470). Let h = u + 293. Is h a multiple of 11?
True
Let a(w) = 38*w**2 - 19*w**2 - 20*w**2 + 6 - w. Let t be a(0). Is 0 - 7 - (t + -10) - -34 a multiple of 31?
True
Does 21 divide 7 - ((-9)/(-3) + -307)*609/12?
True
Let r(p) = 6015*p - 360. Is r(5) a multiple of 283?
True
Suppose f = -2*g + 22 + 19, -5*g - 125 = -4*f. Let r = -2687 - -2724. Let d = r + f. Is d a multiple of 18?
True
Suppose 7690 = 5*o - 5*r, 3*o - 2782 = 5*r + 1834. Suppose 8*p - o = -4641. Does 13 divide p/(-6) - (-4)/12?
True
Let a(t) be the third derivative of t**6/120 - t**5/3 - 5*t**4/4 - t**2 + 3. Is a(22) a multiple of 14?
True
Let q = -1081 + 1657. Let v(i) = -7*i - 46. Let x be v(-9). Suppose x*b - b = q. Is 19 a factor of b?
False
Is 4/(-14) + 4975968/1190 - (-2)/(-10) a multiple of 37?
True
Let v(l) be the second derivative of 13*l - 41*l - l**3 - 18*l**2 + 4*l**3 + 3*l**2. Is v(7) a multiple of 16?
True
Suppose 5*r + 186 = 4*s - 426, 5*r + 316 = 2*s. Suppose c + 3*k = 16, 5*c + k = -k + 28. Suppose 5*p - 336 = -c*u, 5*u = -8*p + 6*p + s. Does 8 divide p?
True
Suppose -4*p = -2*b - 8*p, -5*b - 5*p = 10. Does 5 divide (26/b)/((-3)/6*1)?
False
Let a(j) = -3*j - 27. Let l(q) = q + 3. Let o(g) = -a(g) - 2*l(g). Is 3 a factor of o(-17)?
False
Let x be 9 - 1 - 3560/(-4). Let y = x - 638. Does 10 divide y?
True
Let c be 4/6 - 0 - (-111)/9. Let b be 6/(1/((-4)/6)) - c. Is (-5)/((-20)/48)*(2 - b) a multiple of 57?
True
Let d(w) = -19*w + 4. Let q be d(-3). Let a be 1/3*0/3. Is 6 a factor of -1 + -2 + a + q?
False
Let f(x) = x - 2. Let p be f(8). Suppose 208*n - 204*n = 108. Let y = p + n. Is y a multiple of 26?
False
Suppose -4*q - 3107 = -f - 9709, -3*f = -4*q + 6598. Is 9 a factor of q?
False
Let f = 326 + -321. Suppose -f*t + 7546 = -3*m, -54*m = -52*m + 4. Does 58 divide t?
True
Suppose -4*j + 9 = -j. Suppose 4*c + 12 = -4*o, -o + 5*c + 18 - j = 0. Suppose -t + 33 + 31 = o. Is t a multiple of 42?
False
Suppose 32*w - 3832 = 8. Is 30 a factor of w?
True
Let u(b) = -4*b**3 - 117*b**2 + 59*b - 20. Is 13 a factor of u(-30)?
True
Let v be 1342/(-66) - 3/(-9). Is (-8)/v + (59988/5)/6 a multiple of 25?
True
Let k(j) = -7*j + 70. Let c be k(13). Let u(i) = 3*i - 6. Let p be u(9). Does 4 divide (162/p - 2) + (-6)/c?
False
Let m = 545 + -280. Suppose -4*h - m = -1793. Let q = h - 159. Is q a multiple of 40?
False
Let t = 721 - 765. Is (814/t)/((-1)/60 - 0) a multiple of 22?
False
Suppose -f = -255 + 2. Let n(y) = -77*y + 3. Let t be n(2). Let k = f + t. Is 17 a factor of k?
True
Let h(k) = 4*k**2 - 7*k - 9. Let w be h(-8). Suppose -5*a = -5, 5*g - a = 236 + w. Does 12 divide g?
True
Let o = 520 + -490. Suppose 0 = o*g - 7*g - 37559. Does 16 divide g?
False
Let s = -1103 - -6236. Is 74 a factor of s?
False
Suppose -5*n + m + 44 = -n, -2*m = -8. Let d(r) = -5*r**2 + 14*r - 57. Let o(x) = -9*x**2 + 27*x - 107. Let y(i) = 7*d(i) - 4*o(i). Does 11 divide y(n)?
False
Suppose -b - 2*l = -1278, 5*b - l = 7*b - 2559. Is 4 a factor of b?
True
Suppose -10*k = 535 + 1525. Let d = k + 220. Is 7 a factor of d?
True
Let x(r) = r**2 - r - 1. Let f(p) = -p**2 + 9*p - 1. Let w be f(9). Let d(i) = -15*i**2 - 5*i. Let s(b) = w*d(b) + 6*x(b). Does 18 divide s(3)?
True
Let t(b) = -12*b - 39. Let j be (-589)/8*2 - (-1)/4. Let c = j - -140. Is 9 a factor of t(c)?
True
Let a(n) = n**2 - 14*n - 4. Suppose -4*v + 1 = -4*m - 11, 5*m - 5 = -5*v. Suppose -2*b = -h - 34, 3*b - h + v*h = 41. Is 2 a factor of a(b)?
False
Let m = 20 - 15. Let r be m*7*(9 + -8). Suppose 2*z = -0*z + p + 61, -4*p = z - r. Does 27 divide z?
False
Suppose c + 7*c = 128. Let w = -16 + c. Suppose -2*d + 47 + 19 = w. Is d a multiple of 7?
False
Suppose 28 = z + 2*p + 2, 2*z - 87 = 3*p. Let t = z - 33. Does 16 divide -16*(t + -9)*1?
True
Let c(o) = -29*o + 30 - o**3 + 8*o**2 + 0*o**2 + 20*o**2. Let i be c(27). Is 25 a factor of 124/i*2*-6?
False
Let o(s) = -s**3 + s**2 - 4*s + 22. Let j be o(3). Let a(f) = -f**2 - 9*f + 26. Does 2 divide a(j)?
True
Let n = 53 + -12. Suppose 37*i = n*i - 204. Is 17 a factor of i?
True
Suppose 11*j = 9*j + 2. Let r be 2 + (3 + j - 49). Let q = 27 - r. Is 32 a factor of q?
False
Suppose -43830 = -23*z + 7478 + 58172. Is z a multiple of 28?
True
Suppose 12*y = 7*y + 20. Let m be (-1 + 15/(-9))*(-15)/y. Suppose 478 = m*w - 8*w. Is 16 a factor of w?
False
Suppose 4*q = 8, -q = -5*v - 2*q + 472. Let a = v + -87. Suppose -7*t + 7 = -a. Is t a multiple of 2?
True
Does 97 divide 1070487/77 + (-18)/42 + -8?
False
Suppose 0 = 3*r - 4*m - 2151 - 2411, 0 = r + 3*m - 1499. Is r a multiple of 10?
False
Suppose 0*y = 5*y - 70. Let k be (-1 - y/(-10))*(-125)/(-25). Suppose -d = v - 0*d - 215, -k*d - 848 = -4*v. Is 37 a factor of v?
False
Let j(n) = n**2 - 7*n - 16. Let x be j(10). Does 4 divide 178 - (x/(-2) - -2)?
False
Let n(w) = -w**3 + 68*w**2 + 61*w + 662. Is 20 a factor of n(66)?
True
Is (126242/(-282))/(1/(-9)) a multiple of 150?
False
Let h be 18/(-3) + 6 - 2/(-2). Is (2 - 0) + 138*h a multiple of 9?
False
Suppose 15*w - 35*w + 12700 = 0. Let b = w - 311. Is b a multiple of 12?
True
Let t(u) = -u**3 - 20*u**2 - 32*u + 62. Let w be t(-17). Let h(n) = -n**2 + n - 380. Let a be h(0). Let q = w - a. Does 21 divide q?
False
Suppose -36*r + 3*r + 368590 = -2*r. Does 58 divide r?
True
Let j(d) = d**3 - 2*d**2 + 6. Let l be j(2). Suppose -l = -g - 4. Suppose 99 = -g*u + 5*u. Is 11 a factor of u?
True
Let d = 8481 + -8264. Does 31 divide d?
True
Let x = 3852 - -20792. Does 122 divide x?
True
Suppose 3*a + 15 = -15. Does 37 divide -5*((-24)/a)/((-18)/444)?
True
Let v(c) = -2*c**3 + 2*c**2 - c + 3. Let z(g) = -3*g**3 + g**2 - 2*g + 4. Suppose -6*l = -15*l + 36. Let h(t) = l*v(t) - 3*z(t). Is h(-4) a multiple of 2?
True
Let p(j) = -364*j - 3100. Let h be p(-10). Let k(m) = 11*m**2 - 3*m + 1. Let l be k(4). Suppose -l = 3*t + 2*r - h, 500 = 4*t + 3*r. Is t a multiple of 14?
False
Let o(x) = -37*x - 27*x**3 + 15*x**3 - 19*x**2 - 10*x - 58 + 13*x**3. Is 15 a factor of o(22)?
True
Is 104 a factor of (2 - 131829/(-9)) + -4*(-2)/(-12)?
False
Suppose k - 2199 + 2216 = 0. Is 6 a factor of (k/17)/((-2)/564*1)?
True
Suppose 0 = 16*t + 22*t. Suppose -2*z + 4*d + 2168 = 0, -5 = -t*d + d. Does 45 divide z?
False
Let t(n) = -61*n**2 - 1583*n + 25. Is 35 a factor of t(-23)?
True
Let y be (-9)/18*(15 - (0 + -1)). Does 6 divide (-5 - y)*(1 - 62/(-6))?
False
Let j = 38 + -31. Suppose -4*u + j*u = 324. Is 28 a factor of (2 + 0 - (-20)/(-15))*u?
False
Let v(c) = c**3 - 13*c*