22, j = 3*v - 2*b - 23. Is 5 a factor of v?
True
Let r(p) = 83*p**2 - 4*p + 31. Is r(-5) a multiple of 28?
False
Let h(b) = 2*b + 93. Does 3 divide h(-42)?
True
Let o(k) = 6*k**3 + k - 2. Let i be o(1). Suppose -i*m = m - 300. Is m a multiple of 10?
True
Suppose -6*o = -102 - 666. Does 64 divide o?
True
Suppose -7*b = -2*b + 155. Let d = b + 19. Let h(a) = -4*a + 19. Is 11 a factor of h(d)?
False
Let p = -117 + 205. Does 18 divide p?
False
Suppose -3*i + 16 = -59. Suppose -5*h = -0*h - i. Suppose -2*n + 84 = 3*u, u = -2*u + h*n + 105. Is 10 a factor of u?
True
Let p = 1264 + -191. Is 11 a factor of p?
False
Let j(b) be the third derivative of -b**6/120 - b**5/30 - b**4/8 - b**3/3 + b**2. Let n be j(-2). Suppose n*k = -k + 225. Is k a multiple of 31?
False
Let o = 2139 - 729. Is 47 a factor of o?
True
Let x = -230 - -285. Does 26 divide x?
False
Let v be (-3)/((-6)/26) - 0. Let w = v + -9. Is 3 a factor of w?
False
Let f = -125 - -269. Is 12 a factor of f?
True
Suppose v - u - 710 = 0, -8*u + 6*u = -4*v + 2850. Is 63 a factor of v?
False
Let d be (-27)/(-12) + 9/12. Suppose k - z - 6 - 9 = 0, d*z = 5*k - 67. Does 11 divide k?
True
Let v be (-656)/10 + 192/(-30) + 6. Let t = 6 - 38. Let h = t - v. Is 17 a factor of h?
True
Let k = -36 - -39. Is k/((-30)/(-655))*2 a multiple of 27?
False
Suppose -5*b + 1 + 14 = 0. Suppose 4 = -b*x + x. Is (-7 - 3)/x*8 a multiple of 20?
True
Suppose 2*o - 8 = s - 1, 0 = 2*o + 5*s - 13. Suppose 0 = o*r - 77 - 79. Is 13 a factor of r?
True
Suppose 44 + 424 = 4*r. Does 11 divide r?
False
Let f(s) = -s**3 + s**2. Let j = 5 + -1. Let w be (3/(-2))/(2/j). Is 15 a factor of f(w)?
False
Suppose -s + 34*w - 37*w + 654 = 0, 0 = -5*s - 3*w + 3258. Is 21 a factor of s?
True
Let q = -9 + 14. Suppose -l = -q*n + 49 + 113, -558 = 4*l - 2*n. Let a = 224 + l. Is 23 a factor of a?
False
Suppose 7*v + 12 = 9*v. Let p(b) = -b**3 + 7*b**2 - 2*b - 5. Let u be p(v). Does 25 divide (-5)/(-4)*(1 + u)?
True
Suppose -q + 2*q + 1 = 0. Let c = -12 - -10. Is (q - c)*86/2 a multiple of 18?
False
Let u(d) = 44*d**3 + 5*d**2 + 3*d - 6. Let c(t) = -44*t**3 - 4*t**2 - 2*t + 5. Let l(j) = 5*c(j) + 4*u(j). Let r be l(-1). Let x = -11 + r. Is 8 a factor of x?
True
Let z = 15 - 14. Suppose -j - 2*w + 8 = 0, -j = -4*w + 3*w + z. Does 14 divide j/3*-3 - -30?
True
Let g(c) be the second derivative of -c**7/840 - c**6/90 - c**5/60 + c**4/4 - 2*c**3/3 + 2*c. Let y(i) be the second derivative of g(i). Does 19 divide y(-5)?
False
Let b = -2 + -1. Let w be 4/b*(-4 + -2). Let x(u) = u**2 - 5*u + 12. Does 12 divide x(w)?
True
Let v be (-14)/(-8)*4*1. Suppose -q - 5*l = -65, 4*q - v*q = l - 181. Does 20 divide q?
True
Let s(p) = -p**2 - 4*p - 1. Let q be s(-5). Let a(u) = -u**2 + 3*u. Let d be a(q). Is (d/5)/((-21)/70) a multiple of 9?
True
Suppose 0 = 5*g + 8 - 33. Suppose d = u + g, -u + 2*u + 5 = 4*d. Let o(v) = -2*v**3 - 5*v**2 + 10*v. Is o(u) a multiple of 15?
True
Let k(z) = 15*z - 32. Is k(9) a multiple of 5?
False
Suppose -4*r = -g - 151, 0 = -4*g - 18 + 6. Suppose -r*t = -36*t - 8. Does 3 divide t?
False
Let q = 496 + -344. Suppose 176*c - 177*c = 8. Is 18 a factor of (q/(-10))/(c/20)?
False
Suppose 4*w - 2*p - 8008 = 0, -131*w - p = -135*w + 8008. Is 77 a factor of w?
True
Suppose -3*b - b - 5*r + 37 = 0, 3*b - 5*r + 16 = 0. Let u be (((-5)/1)/5)/((-2)/296). Suppose -h - 2*c = -46, 0*c + u = b*h + 4*c. Does 14 divide h?
True
Suppose -33 = -4*n - 13. Suppose -163 - n = -4*t. Is t a multiple of 9?
False
Is 29 a factor of 348/(-16)*(-1444)/57?
True
Let y(g) = -2*g**2 + 22*g - 22. Let n be y(10). Is 29 a factor of n - ((-1)/(-1) - (92 + -2))?
True
Let i(h) = 19*h**2 - 8*h**2 - 4*h - h + 10*h**2. Let m be i(-7). Is 2/(-11) - m/(-44) a multiple of 12?
True
Let w be 2 - (-1 - 1 - -4). Suppose 2*k - 3*k + 28 = w. Is k a multiple of 14?
True
Let c(l) = 59*l**3 + 2*l**2 - 4. Let b be c(2). Does 20 divide b/6 - (2 + (-16)/6)?
True
Is 37 a factor of 76*(0 - -1)/(17 + -15)?
False
Let w(m) = 2*m**2 + 13*m + 11. Let f be w(-6). Suppose 0 = c - f*c + r + 178, 10 = 5*r. Does 12 divide c?
False
Suppose -409 = -4*r - 113. Is r a multiple of 16?
False
Let p(q) = -q - 6. Let y be p(-6). Suppose y*l - l + 5 = 0. Suppose -4*v - 59 = -5*k - 0*k, 28 = 3*k + l*v. Is 3 a factor of k?
False
Suppose g = -3*g + 5*n + 37, 3*n = 2*g - 21. Suppose j + g*j - 884 = 0. Is 22 a factor of j?
False
Suppose 4*o - 5*o + 6 = 0. Suppose o*s = -4 - 20. Does 9 divide -3 + 1 + 29 + s?
False
Suppose -2*l + 15 = 3*l. Suppose -2*t = 2*u - 14, 0*t + u = -l*t + 13. Suppose 5*c = -25, q + 22 = t*q - 2*c. Is q a multiple of 2?
True
Suppose -3*p - 156 = -2*f + f, f = -p + 144. Is 7 a factor of (f/(-4))/((-18)/72)?
True
Let d be ((-3)/(-6))/((-1)/50). Let v be ((-20)/d)/((-2)/(-5)). Suppose 4*i + 100 = v*l, l - i - 38 = -3*i. Is l a multiple of 12?
False
Let f = -23 + 27. Suppose p + 0*l - f*l = 247, -4*p - 3*l + 969 = 0. Does 27 divide p?
True
Suppose 4*j - 40 = -16. Let v(t) = t**3 - t - 4*t + 3*t - 4*t**2 + t. Is v(j) a multiple of 33?
True
Is 14 a factor of 119/14*(0 - -53 - -3)?
True
Suppose -4*v = 2*c + v + 16, -v = 5*c - 6. Let m be -3 - 12/(-3)*c. Suppose 2*w = -4*r + 32, -3*w - m*r + 16 = -27. Is 6 a factor of w?
True
Suppose 0 = 179*x - 186*x + 3290. Is 11 a factor of x?
False
Suppose 6*c = 3*c + 18. Suppose -4*g + 4 - 16 = 0. Is 10 a factor of (-4)/c + (-56)/g?
False
Let z(o) = 4*o**2 - 7*o + 39. Does 9 divide z(-26)?
True
Let l be 10/(12/8 - 1). Suppose -7*i + 11*i - l = 0. Let q(j) = j**2 + 5*j + 4. Is q(i) a multiple of 12?
False
Let z(y) = -y**3 + 2*y**2 - 2*y + 2. Let k be z(-3). Suppose -o = -3*r + k, -4*o + 3*o = 2*r - 37. Is 10 a factor of r?
False
Suppose 3*x + x - 2*i = 112, 4*i - 19 = -x. Suppose 3*a + 2*g - 12 = 0, x = 3*a + 2*a + g. Does 3 divide a?
True
Let s = -972 - -1580. Does 12 divide s?
False
Let p = 92 + 63. Suppose -5*j = -3*d + p, 3*d - 106 = d + 4*j. Does 15 divide d?
True
Let l be (-6)/9 + (-834)/(-9). Let b = -5 + l. Suppose 0 = -2*o + 3*u + 93, 0*u = 2*o - u - b. Does 9 divide o?
False
Let m be 14/3 - (-4)/(-6). Suppose 0 = -m*f + 3*p + 300, -3*p + 383 - 8 = 5*f. Suppose 0 = -5*t + 10*t - f. Is t a multiple of 4?
False
Suppose 0*n + 4*f = -5*n + 10279, -8240 = -4*n + f. Is 14 a factor of n?
False
Suppose 0 = -28*y + 32*y - 12. Suppose -j = -y*m + 145, 0*m = 2*m - 5*j - 101. Is m a multiple of 16?
True
Let a = -362 + 1046. Does 36 divide a?
True
Let u = 213 - 128. Does 5 divide u?
True
Suppose 2*u = -6*z + 2*z + 514, -z - 1329 = -5*u. Does 35 divide u?
False
Let q(j) = 14*j - 34. Let i be q(7). Suppose f - 16 + 1 = -b, 2*b - i = -4*f. Is 2 a factor of f?
False
Let h(f) = f**3 - 21*f**2 + 29*f - 3. Does 52 divide h(20)?
False
Suppose -714 = -6*g + 8592. Does 26 divide g?
False
Let j be 15/(-20) + 3/(-12). Let c be (0 - 1) + j + 4. Suppose 7 + 33 = c*d. Is d a multiple of 5?
True
Let q be 0/(2 - (2 - -1)). Suppose q = -4*d + 4*h + 108, -3*d = -5*d + 4*h + 54. Is d a multiple of 7?
False
Let g(j) = j**2 - j - 8. Let o(q) = -q + 1. Let h be o(-9). Suppose 10 = -5*w - h. Is 4 a factor of g(w)?
True
Suppose 2*m + j = 4751, 0 = 3*j + 3. Is m a multiple of 12?
True
Let q(m) = 123*m - 2. Let v be -3 + 0 + (-8)/(-2). Let y be q(v). Suppose 0 = -8*z + y + 7. Does 4 divide z?
True
Is 5 + (-137288)/(-48) + 3/(-18) a multiple of 101?
False
Suppose -2*u + 8 + 8 = 0. Let d be 42/(-4)*u*1. Let m = -29 - d. Does 14 divide m?
False
Suppose j - 721 = -5*s, 2*s - 287 = 3*j - 2*j. Does 3 divide s?
True
Suppose 0 = 3*k + 3*f - 1 + 4, 3*k + 4 = -4*f. Suppose -2*s + 4*s + 30 = k. Does 23 divide (-10)/s - 238/(-3)?
False
Suppose -118*x = -110*x - 1016. Is x a multiple of 16?
False
Suppose 272*f + 4180 = 276*f. Is f a multiple of 9?
False
Let r(v) = -31*v - 70. Let x be r(-10). Let d = 354 - x. Does 38 divide d?
True
Is ((-1474)/55)/(-1 + 9/15) a multiple of 13?
False
Suppose 0 = 30*h - 32*h - 2. Let g be 12/(-8)*58/h. Let w = g + -48. Does 13 divide w?
True
Let s be 93*14/3 + (-3)/3. Suppose 4*r - 7 = -5*l + s, 5*r + 143 = 2*l. Does 21 divide l?
True
Suppose 122*q - 2757 = -5*m + 121*q, -2*m = -4*q - 1116. Does 8 divide m?
True
Let y be -2*4/(-1*8). Let g be 98/(-8)*(8 + -4). Is 8 a factor of g/(-7) - y/(-1)?
True
Suppose -g = j + 10, -2*g + 2*j - 3*j - 24 = 0. Let l be (770/g)/(1 - 0). Let 