 -2*x + 2*r + 100, 0 = 2*x - r - 2*r - 102. Let u be (7/(-4))/((-3)/x). Is (u/20 - 1)/(1/245) a multiple of 10?
False
Suppose -279 + 829 = -5*u. Let p = 239 - u. Is 12 a factor of p?
False
Is 15 a factor of 420/(-49)*8568/(-8)?
True
Let o be (1 + 0)/(2/(-6)). Let q be 167 + 2 - 3/o. Suppose 3*a - 138 = -3*u + 36, q = 3*a - u. Is 23 a factor of a?
False
Let t be (-18)/15*20/6. Let l be (-6)/3 + t + 9. Suppose l*m + 2*m = -w + 73, 3*w = -4*m + 230. Is 13 a factor of w?
True
Suppose 3*v + 2*y + y = -1281, -2*v = -4*y + 884. Is 24 a factor of (28/12 - 1)/((-2)/v)?
True
Let y be ((-81)/27)/(3/(-4)). Suppose -13*i = -y*i - 945. Is i a multiple of 15?
True
Let c(o) be the second derivative of o**6/120 + o**5/10 - o**4/6 - o**3/2 + 3*o**2 - 4*o. Let j(g) be the first derivative of c(g). Does 14 divide j(-5)?
True
Does 13 divide 321222/14 - 580/(-1015)?
True
Suppose -3*b - 5*a = 9, -b = -5*a - 4 - 13. Let h be 9 - (b + 1/1). Is h - -1 - (-30)/6 a multiple of 2?
True
Let a(p) = -p**3 + 17*p**2 - 27*p - 41. Let z be a(15). Suppose 17*r = 14*r + z*n + 1348, -2*r + 892 = -4*n. Does 22 divide r?
False
Suppose -s - 21*s + 14368 = -82014. Is 20 a factor of s?
False
Let o be (4 - 3/(-3))*12/30. Suppose o*r + r = 5*p - 33, 0 = -3*r + 12. Suppose b = 2*l, -l - 2*l = -p. Is b a multiple of 2?
True
Let f be 1 - (-1538)/5 - 4/(-10). Suppose -155 - 285 = 2*h + a, -2*h - 5*a = 448. Let w = h + f. Is 5 a factor of w?
True
Does 18 divide (1917/2)/((-18)/(-24))?
True
Suppose 44*d - 49*d = -850. Let t = -110 + d. Does 12 divide t?
True
Suppose 4*f - 30284 = -3*s, 27*f - 37860 = 22*f - 5*s. Is 11 a factor of f?
True
Let a(i) = i - 1. Let v(d) = 8*d**2 - 8*d + 10. Let y(l) = 10*a(l) + v(l). Let q be y(-1). Is (-4 + (-555)/q)*-2 a multiple of 12?
False
Let y = -1570 + 2455. Is 31 a factor of y?
False
Let k(c) be the first derivative of 19*c**3/3 + 3*c**2/2 + 10. Is 10 a factor of k(3)?
True
Let l(r) = -r + 11. Let n be l(23). Let y(q) = -q**3 - 13*q**2 - 31*q - 25. Does 6 divide y(n)?
False
Let u(l) = 2*l**3 - 17*l**2 - 11*l + 22. Let g be u(9). Suppose -g*a + 8*a - 2*w = 2, 5*w = 4*a + 13. Is 2 a factor of a?
False
Let z be ((-8784)/(-504))/((-4)/(-14)). Suppose -k - 10*b + 73 = -13*b, -z = -k - b. Is k a multiple of 2?
True
Suppose -2802 = -2*f + 5*q + 19813, 4*q = -9*f + 101794. Is f a multiple of 87?
True
Suppose -2*q = 2*q - 4*p + 1624, -3*q = -4*p + 1214. Let c = -172 - q. Does 14 divide c?
True
Let b(k) = k**2 + 19*k - 40. Let l(h) = -2*h**3 - 2*h - 6. Let r be l(-2). Is b(r) a multiple of 40?
False
Let x(p) = -2*p**3 - 8*p**2 + 10*p - 24. Is x(-9) a multiple of 10?
False
Let w(u) = u**3 - 5*u**2 + 5*u - 12. Let y be w(5). Suppose -50 - y = t. Let o = -23 - t. Does 39 divide o?
False
Let g be 3*(3 + (-587)/(-3)). Suppose -g = -5*a - 2*i + 644, 2*i = a - 248. Is a a multiple of 4?
True
Suppose 9*h = 2*x + 12*h - 9, 2*h = -3*x + 11. Let c(d) = 5*d**3 + 3*d**2 - 7*d + 3. Is c(x) a multiple of 18?
True
Let g = 3192 + -1891. Is 10 a factor of g?
False
Let h(r) = -10*r - 11. Let b be h(14). Let v = b + 19. Let f = -15 - v. Is f a multiple of 13?
True
Suppose 3740*q = 3752*q - 36. Suppose 7*n + 4*a + 383 = 2*n, 5*a + 10 = 0. Is 3 a factor of ((-2)/q)/((35/n)/7)?
False
Let q(g) = 6*g**2 + 23*g - 14. Let r(h) = -12*h - 5. Let f be r(0). Does 12 divide q(f)?
False
Let k be 201/(((-2)/(-5))/(16/60)). Suppose 2*i - 114 = 2*o, 0 = 4*i - 2*i + 2*o - k. Let m = i + -40. Does 16 divide m?
False
Is ((-116)/(-174) + (32 - 0))*171 a multiple of 21?
True
Let g(v) = -702*v - 1602. Is g(-13) a multiple of 18?
True
Suppose p - 42348 = -16*c, -2*p + 1753 + 886 = c. Does 4 divide c?
False
Let q be (63/9)/(4/40). Is 30 a factor of 23142/q - (-12)/(-20)?
True
Suppose -3*s - 7 - 2 = 0. Is 21 a factor of -2 - -27 - 2 - (s - -1)?
False
Let y = -47 - -47. Suppose y = 3*b + f + f + 1206, -b + 4*f - 402 = 0. Is b/(-33) + 8/(-44) a multiple of 6?
True
Is (-527184)/(-288) - 2/4 a multiple of 5?
True
Let q = 47 + -213. Let s be q/(-12) - (-8)/48. Does 14 divide ((-24)/s)/(1/(-14)) - -1?
False
Let r(b) = 4*b**2 - 121*b - 80. Does 6 divide r(-20)?
False
Let z(t) = -2*t**2 + 14*t - 18. Suppose q + 3*v + 4 + 6 = 0, 0 = -q + v + 10. Let g be z(q). Let w = g - -32. Is w a multiple of 17?
True
Let f be (-3724)/(-21)*6/4. Suppose 0 = -8*h + f + 102. Is 7 a factor of h?
False
Does 69 divide ((-174)/(-10))/((-42058)/8415 - -5)?
False
Is 8 a factor of 24/28*46998/9*2?
True
Let g(m) be the first derivative of -m**4/4 + 5*m**3 - 9*m**2 - 14*m - 6. Let h(f) = f**2 - 2*f + 13. Let r be h(0). Is 7 a factor of g(r)?
False
Suppose 0 = 5*s + 2*g - 14476, 31 - 22 = 3*g. Is 84 a factor of s?
False
Let f = 110 - 92. Let p = f + -16. Is (p/(-4))/((-15)/1290) a multiple of 4?
False
Let n(m) = 40*m - 55. Let p = -132 + 140. Does 53 divide n(p)?
True
Let o be (-11 + -6 + 10)*240/(-14). Suppose 3*b + g = -3*g + 425, o = b - 3*g. Is 45 a factor of b?
True
Suppose 3*j = -4*z + 7786, 2*j = 2*z - 2322 - 1550. Does 3 divide z?
False
Let p = 62 - 61. Let b be (10/25)/(3/165*p). Suppose -i + 74 = -b. Does 12 divide i?
True
Let n(h) = h**3 - 15*h**2 + 15*h + 17. Let p(w) = w**2 + 4*w + 3. Let r be p(-6). Does 22 divide n(r)?
True
Suppose r + 4*c - 7 = 15, -2*c + 16 = 3*r. Let u(b) = b + 3. Let p be u(r). Suppose -p*t + 233 = -162. Is t a multiple of 21?
False
Let s(p) = p**3 + 3*p**2 - 3*p - 9. Let b be s(-4). Let o = 15 + b. Suppose n = -o*j + 157, -2*n = -5*n + 3. Does 39 divide j?
True
Suppose 0*s + 32 = 4*s - 4*v, 4*s - 20 = -2*v. Suppose -3*c - 210 = -3*g, 0 = -4*c - 3*g + s*g - 276. Let q = 150 + c. Is q a multiple of 22?
False
Let u(i) = -200*i + 1076. Is u(-11) a multiple of 84?
True
Let b(r) = -r**3 - 10*r**2 - 16*r + 5. Let n be b(-8). Suppose -388 - 302 = -n*l. Let z = l + -88. Does 4 divide z?
False
Suppose -4*b + 105 = -3*f, -f + 3 = 2. Let a be (-210)/b + (-2)/9. Does 22 divide (-4)/(a/354) + -1?
True
Let j be (20/(-30))/(4/6)*4. Is 28 a factor of 105*3*j/(-15)?
True
Let s(d) = 9*d**2 - 317*d + 928. Does 25 divide s(56)?
True
Suppose -2*h - 7*h = -45. Suppose -2*l = 2*t - 5*t - 4, 0 = -4*t. Suppose l*u = u + h. Is u even?
False
Does 10 divide ((-2)/3 - 0) + (-40 - 45645/(-9))?
False
Let r(h) = 3*h**2 - 22*h - 212. Does 42 divide r(-20)?
True
Suppose -156009 - 696591 = -245*f. Does 20 divide f?
True
Suppose -288 = 5*d + d. Let c = -51 - d. Is (0 + -1)*1*63/c a multiple of 21?
True
Suppose 5*q - 118 = -4*v, 63 = 2*q + q + 5*v. Let c be (-3)/(-27) - 27/243. Suppose -z - q + 94 = c. Is 17 a factor of z?
True
Let o be (-56)/21*(1 - 15/6). Suppose 11*y - o*y = 196. Is y a multiple of 4?
True
Let i(j) = -8*j**2 + 4*j + 3. Let b be i(-1). Let c = -12 - b. Is ((-494)/c)/(-3 - 44/(-12)) a multiple of 19?
True
Suppose 5*y = 4*v - 10315, 16 - 17 = -y. Is v a multiple of 172?
True
Suppose 60*b - 8 = 61*b. Does 10 divide 5445/66*b/(-6)?
True
Let c(a) = -6*a**3 - 267*a**2 + 110. Does 354 divide c(-46)?
False
Does 49 divide 26*(662/4 - -6)?
True
Let z(n) = -5*n**3 + n**2 - n - 5. Let a(g) = -4*g**3 + g**2 - g - 7. Let c(d) = -4*a(d) + 3*z(d). Does 5 divide c(4)?
True
Let c(d) = -11*d - 78. Let r be c(-6). Let f(t) = -2*t - 1. Let h be f(12). Let v = r - h. Is 2 a factor of v?
False
Suppose 4*z - 3*m = 33411, -z + 6277 + 2067 = m. Is 99 a factor of z?
False
Suppose 0 = 63*y - 64*y + 3. Let u be 28 + 0 + (6/(-2))/y. Let b = u + 34. Is 7 a factor of b?
False
Let x(z) = -z**3 + 11*z**2 + 24*z + 28. Let u be x(13). Suppose u*k + 4*v = 24, -k + 3*k - 34 = v. Is k even?
True
Suppose 852 = -21*y - 1080. Is 6 a factor of (-5)/(45/384)*138/y?
False
Let m = 99 - 53. Suppose 5*l - 191 + m = 0. Suppose -8*t = l - 125. Is t a multiple of 2?
True
Let u(w) = 1322*w**2 + 787*w + 5577. Does 13 divide u(-7)?
False
Let k(n) = -14*n**3 + 300*n**2 - 33*n - 1. Is 32 a factor of k(21)?
True
Suppose 61*v - 86*v - 261744 = -41*v. Is v a multiple of 41?
True
Let m = -18 - -22. Suppose m*g = -3*g. Suppose -5*w = 2*h - 204, -3*w + h = -g*h - 118. Does 20 divide w?
True
Let q = -57 - -1051. Suppose -l = 2*l - o - q, -5*o + 1670 = 5*l. Does 18 divide l?
False
Let c(g) = -88*g**3 + 4*g**2 + 47*g - 21. Is 35 a factor of c(-7)?
True
Suppose 10 = 2*c, 4*c + 1001 + 29 = v. Does 14 divide v?
True
Suppose 0 = 15*y + 2*y - 66738 + 21841. Is 19 a factor of y?
True
Is 70 a 