t u(j) = 2*j + 9. Let n be u(0). Let b(l) = n*l - 15*l - 2 + 14 + 2. Is 23 a factor of b(-5)?
False
Let r be ((-3)/4)/((-6)/(128*18)). Suppose 23*y = 19*y + r. Does 12 divide y?
True
Let y = 279 - 277. Suppose -3*t + 6*x + 1698 = 10*x, -3*t + y*x = -1698. Is t a multiple of 14?
False
Let h(b) = -6*b + 40. Let m be h(8). Is ((-1058)/m + -1)*32/6 a multiple of 50?
True
Let y = 297 + -291. Let b(d) = 15*d. Does 4 divide b(y)?
False
Let v(j) = j**3 + 2*j**2 - 6*j + 836. Is 17 a factor of v(18)?
True
Let h be (1558/(-205))/(1/(-180)). Suppose h = -7*g + 11*g. Is g a multiple of 38?
True
Suppose -1833 = 29*f + 1067. Let m = f - -163. Does 3 divide m?
True
Suppose 45*o = 78*o + 132. Let d(v) = 54*v**2 - 13*v - 16. Does 60 divide d(o)?
True
Let g be 6*(-3 + 33/9). Suppose -4*c + 5*t = 4*t - 775, -g*t - 370 = -2*c. Is 38 a factor of c?
False
Let a(r) = -3*r**2 + 3*r + 3. Let g be a(-1). Let n be -1 + (g/1)/3 - -9. Let c(j) = 3*j**2 - 2*j - 3. Is c(n) a multiple of 16?
False
Suppose 46 = -2*b - 2*t, -3*b - 79 = -2*t + 7*t. Let i = b - -298. Is i a multiple of 20?
True
Let j(f) = -f**3 + 21*f**2 - 14*f + 29. Let a be j(20). Let y = a - 47. Is y a multiple of 17?
True
Let h(w) = -3*w**3 - 4*w**2 + 3*w - 4. Let z be h(5). Let r = z - -908. Suppose r = -5*a + 8*a. Is 9 a factor of a?
False
Suppose 4 = 8*r - 28. Suppose 25*j - 115 = 21*j + 5*m, 2*m = -r*j + 150. Is j a multiple of 35?
True
Let g(u) = 6*u - 9. Let q be g(2). Suppose 6*w + 2*j = w + 1693, -q*w = j - 1016. Suppose -5*d + 2*d = -w. Does 12 divide d?
False
Suppose n + 122 = x, n - 140 = 5*x - 730. Is 3 + (x - ((-6)/2 + -1)) a multiple of 8?
False
Let c be (2 - 9/(-6))/(7/(-70)). Let b = -27 - c. Suppose 0 = b*x - 29 - 19. Is x a multiple of 6?
True
Let r be (-1)/((-6)/(-12))*-23. Suppose -r*p - 13217 = -50799. Is 43 a factor of p?
True
Suppose j = -0*j, -4*c + j = -24. Suppose -2*u = -3*x + 34 - 424, 2*u = -c. Let d = x - -224. Is 17 a factor of d?
False
Suppose x + 114 = 7*x. Suppose -22*u + 69 = -x*u. Suppose 0 = -5*n + u - 8. Is 3 a factor of n?
True
Suppose -19*y + 160840 - 60501 = 0. Is y a multiple of 11?
False
Suppose 0 = 501*i - 419*i - 566456. Is 32 a factor of i?
False
Let j(b) = b - 6. Let m be j(9). Suppose m*v - 32 = -14. Let t(p) = p**3 - 3*p**2 + 2*p. Does 24 divide t(v)?
True
Suppose -50021 - 12152 = -79*r. Is 7 a factor of r?
False
Let s(k) = k**3 + 10*k**2 - 88*k + 254. Does 5 divide s(19)?
False
Let p(g) = 13*g - 53. Let k be p(5). Let v(c) = 1. Let z(j) = j + 11. Let w(o) = -5*v(o) + z(o). Is w(k) a multiple of 3?
True
Does 51 divide (30 + 15260/(-8))*3/(3/(-2))?
False
Let r be 8 - ((-3)/3 - -4). Suppose -r*n + 14 = 4. Suppose -n*z = 5*z - 861. Is 41 a factor of z?
True
Let n(h) = -742*h + 9122. Is n(11) a multiple of 65?
False
Let l(i) = 2 + 24*i - 7*i**2 - 8*i**2 + 3*i**2 + i**3. Let j be l(10). Suppose -q + j = -36. Does 9 divide q?
False
Suppose 5*z = -0*z - 1880. Let r = 649 + z. Does 13 divide r?
True
Is ((-1)/(-1))/9 - (-22339938)/459 a multiple of 74?
False
Let u(p) = p**2 + 5*p - 74. Let o be u(13). Suppose o*j = 166*j - 2304. Is j a multiple of 39?
False
Suppose -5*l + 7*l - 418 = -2*i, 3*i - 625 = -4*l. Suppose -i*a + 207*a + 1252 = 0. Is 9 a factor of a?
False
Is 511 + 16 + 13 + (-72)/(-6) a multiple of 46?
True
Suppose 0 = -68*t + 211178 + 26006. Is t a multiple of 32?
True
Suppose 59126 = -5*j + 79*j. Is j a multiple of 2?
False
Suppose 0 = 3*n - 12*g + 13*g - 13597, 0 = 2*g - 2. Is n a multiple of 103?
True
Let g = 9969 + -5127. Is g a multiple of 12?
False
Let p = 24 + -71. Let g = p + 40. Let m = 16 - g. Is m a multiple of 6?
False
Suppose 394*q - 396*q - a + 12524 = 0, -2*q - 5*a + 12540 = 0. Is q a multiple of 2?
True
Suppose 3 = -22*d + 3. Suppose d = -21*n + 12*n + 765. Is 3 a factor of n?
False
Let p be 4 + 15/(2*2/(-44)). Let i = p - -517. Is i a multiple of 8?
False
Let p(o) = o**2 + 114*o + 1665. Is p(-13) a multiple of 72?
False
Let i(k) = 11*k - 237. Let l be i(18). Is 3 a factor of (l + 238)*2*2/4?
False
Suppose 647 = 11*v + 53. Suppose 5*k + 376 = 3*q - v, -3*k = -3*q + 438. Is 15 a factor of q?
True
Suppose 4*j - 2*n = 22, 4*n + 0*n + 17 = -j. Let u be -2*j/3 - 40. Let h = 28 - u. Does 12 divide h?
False
Suppose -3562 + 3721 = 3*g. Is 5 a factor of g?
False
Suppose 3*v = b - 6, 12*v - 18 = -3*b + 8*v. Suppose 2*w - 3*k - 230 = 0, -5*w + 4*k = 189 - 757. Suppose -b*p = -2*p - w. Does 4 divide p?
True
Suppose 3*t - 962 = -5*r + 7*t, -5*r - 2*t = -974. Suppose 20*c - 1086 = r. Is c a multiple of 22?
False
Suppose -8*l = -4*l - 664. Let h = l - 89. Suppose -h*q + 308 = -75*q. Is q a multiple of 12?
False
Let g(n) = -13514*n + 2204. Is 16 a factor of g(-2)?
True
Let c = 34036 - 22237. Is 11 a factor of c?
False
Suppose -2*j - 804 - 2276 = -z, 5*z = 2*j + 15368. Does 12 divide z?
True
Let x(b) = b**2 + b + 150. Let f be x(0). Let n be 1*f + 0/(-4 + 1). Is -3*n/9*(-2 + 1) a multiple of 10?
True
Suppose 5*t = 2*k - 23 - 6, -5*k + 3*t + 25 = 0. Does 30 divide k/(4/650) + (14 - 9)?
True
Suppose 3*t + 7141 = 8*t + 3*h, -4*t + 5729 = -3*h. Is t a multiple of 130?
True
Let w(f) = 2*f**2 + 74*f - 68. Let s be w(-38). Suppose s*q + 222 = 10*q. Does 2 divide q?
False
Suppose -3 = d, -265 = -3*t - t + 3*d. Let u be 4/3*21/14. Suppose -u*i + t = s, i + 6 = 5. Is 6 a factor of s?
True
Suppose 7*p + 20 = -3*p. Let f(s) = -s**3 - 2*s**2 - 3*s - 4. Let i be f(p). Is 11 a factor of (((-1328)/(-12))/i)/((-4)/(-6))?
False
Let x be 4*((-89)/28 - (-9)/21). Let h = x - -7. Does 10 divide 0/2 + 3 + (-160)/h?
False
Suppose 3*d - 3*l + 7*l = 6113, 5*d - 10180 = -5*l. Suppose -24*c + d = -21*c + 3*j, 0 = -2*c - 5*j + 1360. Does 27 divide c?
True
Suppose -4*p = -2*p - 2. Suppose -s - k = s + 9, -5*s - 6 = -3*k. Does 23 divide (p/s)/((-7)/483)?
True
Suppose -35928 = 8*c - 12*c. Does 75 divide (-11 - -2)*c/(-54)?
False
Suppose 0 = -2*j - 2*j - 608. Let b(n) = -n**3 - 8*n**2 - 20*n - 29. Let r be b(-5). Is -1 - (r + -1) - j a multiple of 13?
True
Let c be 47*1 + 6*2/(-6). Let h be 608304/c + -3 + (-6)/(-45). Is 25 a factor of 2/(-12) - h/(-90)?
True
Suppose -25 = -5*c + 95. Suppose 2 = l + 4. Let s = l + c. Is 22 a factor of s?
True
Suppose 0 = -5*y + c - 2388, 3*y + 1419 = c - 5*c. Let w = y - -709. Let t = w - 8. Is t a multiple of 14?
True
Let m be 22/55 + 76/10. Suppose -m*o + 18 = -6*o. Suppose 49 = o*r - 680. Does 16 divide r?
False
Let c(k) = -64*k + 6. Let w be c(-5). Let a = w - 152. Does 8 divide a?
False
Let h = -85 + 87. Suppose -714 = -2*q - h*b, -3*q + b = -4*b - 1031. Is 8 a factor of q?
True
Let c(q) be the first derivative of q**3/3 - 21*q**2/2 + 10*q - 21. Is 28 a factor of c(23)?
True
Let g = 197 - -152. Let t = g + -334. Is 6 a factor of t?
False
Is 19 a factor of (-297216)/(-90) + ((-13)/(-5) - 2)?
False
Does 26 divide (-14)/4*(-31904)/((-176)/(-11))?
False
Let f be (70/15)/1 - (-4)/(-6). Is 8 a factor of (f/6 - 0)/((-217)/(-20832))?
True
Let d(g) = 2*g**2 + 103*g + 51. Is 9 a factor of d(13)?
True
Suppose i - 202 = -80. Let a = 124 - i. Is 20*a*33*(-4)/(-30) a multiple of 22?
True
Suppose -5*m = -2*z + 91, -59 = 4*m - 0*z + 3*z. Let l(c) = c + 21. Let d be l(m). Suppose -3*p - 148 = -7*p - 4*n, -186 = -5*p - d*n. Does 6 divide p?
False
Let v(c) be the third derivative of 3*c**4/4 + 31*c**3/6 - 3*c**2. Let m(i) = -91*i - 155. Let k(f) = -2*m(f) - 11*v(f). Is k(-7) a multiple of 27?
True
Suppose -8*m - c = -11*m + 342, -3*m + 5*c + 318 = 0. Does 4 divide m?
True
Suppose -5*l + 0*k = k - 7, -5*k = -l - 9. Let m be l/2*(-10)/(-15)*0. Suppose -j + m*j + 3*r + 111 = 0, 0 = -3*j - r + 283. Does 41 divide j?
False
Let g(t) = -t**2 - 11*t - 6. Suppose -23*q + 20*q = -6. Let v be q/(-3)*15/2. Does 24 divide g(v)?
True
Let z(t) = -8*t**3 - 13*t**2 - 6*t + 27. Is z(-9) a multiple of 10?
True
Let m = 1030 + -1032. Suppose -y - 50 = -6*y. Is 24*(m + y/4) a multiple of 4?
True
Let a be ((-4)/12)/((-1)/102). Is 12 a factor of a*-2*(-7 + 4)?
True
Suppose 3*w - 3 = 6, 7274 = 2*n - 4*w. Is n a multiple of 160?
False
Suppose 84*y - 2322 = 524610. Is 123 a factor of y?
True
Let v be 200/((-3)/36*-3). Suppose 2*h = -178 + v. Is h a multiple of 22?
False
Let p(h) = h**3 - h**2 + 9*h - 17. Let n be p(5). Suppose 2*v - n = 3*m, v + m - 86 = -3*m. Is v a multiple of 7?
True
Let k b