 5*o. Let p(h) = -19*h + 8. Is 4 a factor of p(l)?
True
Suppose -3*b + 7 = -0*b - g, -5 = 5*g. Suppose 4*c + 73 = 5*o, b*o + 5*c + 5 = 21. Suppose -17*a + o*a + 88 = 0. Is a a multiple of 2?
True
Suppose 14*z - 3520 = 13*z. Does 8 divide z?
True
Let q(d) be the third derivative of d**6/120 + d**5/6 - 7*d**4/6 - 8*d**3/3 - 32*d**2. Let n = 21 - 32. Is 30 a factor of q(n)?
False
Let l = -8912 + 10339. Is l a multiple of 2?
False
Let b = 24 - -893. Does 17 divide b?
False
Suppose 12*i + 4638 - 123106 - 113948 = 0. Does 9 divide i?
True
Suppose 3*x - 4*t - 17 = 0, 4*t + 15 + 5 = 4*x. Suppose x*v + 19 = 10. Is 12 a factor of -1 + (0 - v) - -40*3?
False
Is 5256*(9 + -2*(-1 - -5)) a multiple of 36?
True
Suppose 0*p - 3*p - 15 = -2*n, -p - 3 = 0. Let w be 0/(-2) - 0 - (-2 - n). Suppose -w*c + 160 = -c. Is 8 a factor of c?
True
Let p = 59 - 48. Suppose -10*u + p*u = 108. Is u a multiple of 6?
True
Let l(m) = 6*m**2 + 11*m - 41. Let a be l(6). Let n = 291 - a. Does 34 divide n?
False
Suppose 184 = 4*u - 4*w, -2*u - 3*w + 23 + 69 = 0. Suppose 0 = -4*f - 162 + u. Let r = f - -62. Is 21 a factor of r?
False
Let g(n) = 4*n + 235. Let h = 355 - 371. Does 19 divide g(h)?
True
Let m(z) = z**3 - z. Let f = 47 - 46. Let h be m(f). Suppose h = 4*q - p + 4*p - 180, 5*p - 28 = -q. Is q a multiple of 8?
True
Let y(k) = -207*k**3 - 3*k**2 - 6*k - 18. Let z be y(-2). Suppose 14*v = 13*v + m + 1635, -z = -v + 4*m. Is 43 a factor of v?
True
Let m = -53 + 57. Suppose m*t - 7*n = -9*n + 222, -t - 4*n + 73 = 0. Is t a multiple of 52?
False
Let m = -6235 - -8591. Does 24 divide m?
False
Suppose -2*l + 2*z + 128 = -0*l, l + 2*z = 52. Let a be (1 + 0)/((-10)/l). Is 10/3*38 - a/(-9) a multiple of 19?
False
Suppose -10217 = -4*z + 5*y - 930, 4*y = -z + 2348. Does 22 divide z?
False
Is 7 a factor of (588/(-1))/((-4)/((-56)/(-21)))?
True
Let c = 455 + -454. Let a(w) = 4*w. Is a(c) even?
True
Suppose 254 = 6*i - 352. Suppose -1444 = -2*s - 2*s. Suppose -7*x + s = -i. Does 11 divide x?
True
Let w(h) = 3*h**2 + 27*h - 10. Let f be w(-9). Let s be 0 + 4 - 4/8*f. Let v(d) = -d**3 + 9*d**2 + 18*d - 9. Is 15 a factor of v(s)?
False
Let r(p) = 24*p**3 + p**2 - 5*p + 5. Let a be r(2). Let i = a + -185. Is i a multiple of 2?
True
Suppose -1026*u = -686*u - 6303260. Does 6 divide u?
False
Let b be 5 + 456/3 + 3. Suppose 3*u = 632 + b. Does 66 divide u?
True
Suppose 0 = -37*k + 165 - 54. Is 11 a factor of 9/((-297)/(-3641)) + (-1)/k?
True
Suppose 0 = -u - u - 6. Let z be (-3)/(-4)*((-7 - -2) + u). Let s = 40 + z. Is s a multiple of 17?
True
Let q = 17 - -102. Let y = q + -62. Does 57 divide y?
True
Is (-6 - -2) + -10307*(-5 + 4) a multiple of 61?
False
Suppose -20*q = -25*q - 20. Is 14 a factor of (-237)/q*(-1)/(21/(-112))?
False
Let l be (3/9*-3)/((-1)/2). Suppose j + 17 = -2*r + 50, -5*r = -l*j + 57. Suppose 2*f - 5*q - j = 0, -2*f + q = -3*f + 12. Is 7 a factor of f?
False
Let t(n) = 64*n + 198. Let r be t(8). Suppose -3*c = -4*c - 2*w + r, -3*c + 2*w = -2090. Is 50 a factor of c?
True
Suppose i - 32 = -11. Let a = i - 12. Suppose 2*p + 700 = a*p. Is 18 a factor of p?
False
Let n be 14/4 + 0 - (-25)/50. Is 2 a factor of 5 - (n - 4) - (-7 - 154)?
True
Suppose -15*f + 4 - 94 = 0. Does 5 divide 58652/132 - (-2)/f?
False
Let n = 1886 - -5072. Is n a multiple of 162?
False
Let y(r) = r. Let d(k) = -19*k + 54. Let b(l) = d(l) - y(l). Is b(-6) a multiple of 20?
False
Let s be ((-21)/9 - 1)*-3. Suppose 7*k - s*k + 12 = 0. Suppose -v = -3*l - k - 2, 18 = 3*v - 2*l. Is v a multiple of 2?
True
Suppose 4*v - 54634 = 3*l, 3*l - 21040 = -2*v + 6250. Is v a multiple of 6?
False
Let p(y) = 209*y - 966. Is p(14) a multiple of 7?
True
Suppose -d + 1332 = 5*d. Let m = 71 + d. Does 39 divide 18/45 + m/5?
False
Suppose -38*l + 54312 = -14*l. Is 35 a factor of l?
False
Let o = 12548 + -6377. Does 121 divide o?
True
Suppose -5*m + 4*a - 10 + 645 = 0, -m - a + 136 = 0. Is (1926/(-4) - 0)/(m/(-262)) a multiple of 12?
False
Suppose 97*b - 12233592 = -164*b. Does 279 divide b?
True
Suppose -4*d + 4*a = -154696, -5*d = -5*a + a - 193371. Is d a multiple of 30?
False
Suppose -8 = -3*u - 32. Let r(m) = 2*m**2 + 8*m - 4. Let b be r(u). Suppose b = 6*h + 6. Is h a multiple of 2?
False
Let z be 3*(-190)/(-76)*(-8)/3. Let p be 1/3 - (-718)/6. Let m = p - z. Does 20 divide m?
True
Suppose 5*z = 4 + 126. Let u be (z/(-5))/(2/10). Let q = 46 + u. Is q a multiple of 4?
True
Let c(y) = 67*y + 77. Let l(j) = -j**3 + 15*j**2 - 29*j + 43. Let t be l(13). Does 69 divide c(t)?
True
Suppose 0 = -60*l - 109*l + 1239615. Is l a multiple of 284?
False
Let u = 11039 - 9894. Is 4 a factor of u?
False
Suppose 55*t + 261877 = 170*t - 112908. Is t a multiple of 13?
False
Let k = 40091 + -28439. Is k a multiple of 63?
False
Let v(k) = -5*k**3 + 3*k**2 - 245*k - 1233. Is 12 a factor of v(-5)?
False
Suppose 1566*y = 1588*y - 158576. Is y a multiple of 19?
False
Suppose 2*b - 3 = 9*t - 12*t, -4 = 4*t. Suppose -3*z - b = 0, -15*c + 13*c + 401 = -5*z. Is 11 a factor of c?
True
Let o(i) = 5*i - 37. Let q be o(8). Let g(u) = u + 6. Let j be g(q). Let y = j - -13. Is y a multiple of 3?
False
Is 124 a factor of 6066 + (18/99 - ((-62)/22 + 0))?
False
Let g(s) = -106*s**2 - 953*s + 9. Is g(-8) a multiple of 2?
False
Let k be 2538/6 - (1 + -1). Suppose k - 149 = 2*f. Suppose 12*j - 19 = f. Does 3 divide j?
False
Suppose 12 = -8*c + 12. Suppose c = 7*z + 17*z - 23640. Is 28 a factor of z?
False
Suppose -15157 = -3*g - 4*d, 1909 - 27166 = -5*g - 2*d. Does 23 divide g?
False
Suppose 3*d + 1215 = 3*a, 5*a + 48*d - 1975 = 43*d. Suppose -g + 0*g + 4*r + 4 = 0, -2*g + r = -15. Suppose g*i - 16*i = -a. Does 4 divide i?
False
Let x = -103 + 105. Suppose 5*h = 3*n - 10, -2*n - 3*n = -x*h - 4. Suppose n = 12*m - m - 143. Is m even?
False
Let o = 24589 + -6735. Is 73 a factor of o?
False
Suppose 263 = 2*m + 28*t - 25*t, m - 5*t = 151. Suppose -2*k = -2, 3*z + k - 1584 - m = 0. Is 8 a factor of z?
False
Let x(t) = 9*t - 7. Let q be x(1). Suppose -q*y = 6*y - 848. Is 68 a factor of y?
False
Let p be (-4)/(-4) + -4 + 1 + 5. Suppose -p*o = 2*o, 1386 = 3*w - 4*o. Is w a multiple of 21?
True
Let j = 14463 + 1352. Does 10 divide j?
False
Let y(n) = -n**3 + 4*n**2 + 6*n - 6. Let u be y(4). Let x be 224/36 - 3 - 4/u. Suppose 75 = 5*b - x*w, 4*b - 5*w = -11 + 58. Does 18 divide b?
True
Suppose f + 12 = -257. Let h = f + 389. Suppose h = 2*i - 126. Is 35 a factor of i?
False
Let p be (-34)/(-85) - 1213/(-5). Let g = 461 - p. Is 13 a factor of (g - -4) + (4 - 2)?
False
Let n(r) = 5*r**3 + 23*r**2 - 90*r - 10. Does 26 divide n(-6)?
False
Let l(r) = -5*r - 153. Let m be l(-31). Suppose -205 = -3*a - m*a. Is a even?
False
Let h(a) = 6*a - 1. Let b be h(25). Let v = -59 + b. Suppose r - 4*r + 3*f = -v, -f = 2*r - 60. Is 4 a factor of r?
False
Suppose -16*b + 414 = 2*b. Suppose 2*i = -z + b + 13, 4*z - 54 = -3*i. Is 11 a factor of i?
False
Suppose -m + 0 = h + 2, -5*h + 14 = -3*m. Let x be m/(-1*1/1). Suppose n + d + 0*d = 31, -x*n = -d - 113. Is n a multiple of 18?
True
Suppose 49*w = 12*w - 109662 + 336842. Is 15 a factor of w?
False
Let n = 9808 - 7991. Is n a multiple of 23?
True
Suppose -4*p - 21*p = -9550. Let h = -291 + p. Is h a multiple of 37?
False
Suppose -19*a - 187 = -2334. Suppose -y = 86 - a. Is 18 a factor of y?
False
Let s(f) = f**2 + 5*f - 4. Let c be s(-6). Suppose 3*y = -c*y + 765. Is 9 a factor of (y/68)/(1/24)?
True
Suppose 7*w + 0*w = -3*w. Suppose -2*r + 5*b - 20 = w, 0 = 4*r + b - 0*b - 4. Suppose -n + 6*n - 150 = r. Does 8 divide n?
False
Let i be 3/6*(3 + 5). Suppose 4*y = u - 42, -i*u + 8*u - 83 = -y. Is u a multiple of 2?
True
Is (5 - 7)*1 - (-4602 - -55) a multiple of 15?
True
Let m = 268 + -264. Is 11 a factor of m/((-32)/(-102))*24?
False
Suppose 18*x - 209 - 24379 = 0. Let i = -501 + x. Does 56 divide i?
False
Let s(n) = n**3 - 11*n**2 + 8. Let i be s(11). Let r(g) = g**3 - 3*g**2 - 3*g - 18. Let c be r(i). Suppose -6*f + 58 + c = 0. Is f a multiple of 14?
True
Suppose 4*x - w = 24421, -334*x + 339*x - 30527 = 2*w. Is 109 a factor of x?
False
Suppose 4 = 8*z - 7*z. Suppose g + 2*o = -g + 316, -168 = -g + z*o. Does 40 divide g?
True
Is (56/18 - 12/4) + (-9192848)/(-1008) a multiple of 68?
False
Let f = 182 - 185. Let t(d) = 8*d**2 + 7*d + 33. Is