r**2 - r. Let o(n) = 4*b(n) - f(n). Is 14 a factor of o(-8)?
True
Let c(h) be the first derivative of -h**4/4 - 14*h**3/3 - 15*h**2/2 - 8*h + 18. Is 10 a factor of c(-13)?
False
Suppose -4*a + w = -402, -5*w = 4*a - 10*w - 410. Is 25 a factor of a?
True
Suppose -4*u + 16 = 0, 5*s - 2*u - 11 = 1. Suppose 4*v + 3*b = 105, -2*b - 81 = -s*v + 3*b. Does 22 divide v?
False
Let s = -309 + 372. Is 3 a factor of s?
True
Suppose -4*w = -3*u + w - 73, -5*w = -10. Suppose 4*s = -2*o - 8, -2*o + 3*s + 21 - 50 = 0. Let v = o - u. Is v a multiple of 6?
False
Let j = 119 - 85. Let d = j - 23. Is d a multiple of 3?
False
Let w(r) = -6*r + 128. Is w(-21) a multiple of 78?
False
Let z(r) = r**3 - 3*r**2 + 3*r - 1. Is 20 a factor of z(4)?
False
Let c be 5/(-2)*(-24)/15. Let q be (-4)/c - 1*-3. Suppose -q*f + 51 = f. Is 17 a factor of f?
True
Suppose 11*d - 13*d - 4*y + 5362 = 0, -5*d = 2*y - 13397. Is d a multiple of 12?
False
Let g = -13 + 7. Let p = g + 12. Suppose s = p*s - 15, -k + 35 = 2*s. Is 29 a factor of k?
True
Suppose 0 = 16*z - 100 - 220. Let m = z + 33. Does 6 divide m?
False
Let g be (8/(-24))/(2/(-24)). Suppose g*z - 4*u - 83 = -15, -28 = -2*z - 4*u. Is z a multiple of 3?
False
Suppose -704 = -2*f - 0*f. Suppose 4*b + 349 = 3*v, -v = 4*b - 5*v + f. Is (b/(-68))/((-1)/(-20)) a multiple of 8?
False
Suppose 0 = -3*j - 4*t - 29, 5*j - 12 = -2*t - 37. Is 26 a factor of (-864)/j + 1 + -1?
False
Suppose -3*f - 4*f + 21 = 0. Suppose -172 - 2 = -f*m. Does 12 divide m?
False
Suppose 0 = 5*c + 3*c - 16. Is 0 + (3 - -79*c) a multiple of 28?
False
Let r be 6/4 + (-205)/(-10). Let v = r + -31. Does 13 divide 9/v*(-15 - -2)?
True
Let k be (-4)/22 + 276/66. Suppose -57 = -k*a + 59. Suppose 3*v - 43 - a = 0. Does 12 divide v?
True
Let w = -35 + 51. Suppose s - 2 - w = 0. Is 3 a factor of s?
True
Does 8 divide 37905/152 + (-9)/24?
False
Is (-4)/14 - (-5172)/21 a multiple of 8?
False
Suppose -12*u - 27*u = -89973. Does 127 divide u?
False
Let z(v) = -v + 2. Let u be z(0). Is ((-22)/(-5))/(u/20) a multiple of 15?
False
Let q(h) = -21*h + 1. Let l be q(-1). Suppose -2*u - 3*j + l = 0, -5*u + 2*u + 2*j = -20. Suppose 2*w + 4 = u. Is w even?
True
Suppose -5*d - 21 = -4*n - 55, -20 = 5*n + 5*d. Let c(o) = -o**3 - 5*o**2 + 4*o - 8. Let i be c(n). Suppose i*r - 14 = 34. Does 12 divide r?
True
Suppose 2*i + u - 5 = 24, -4*i + 5*u + 51 = 0. Suppose 33*j - 32*j = i. Is j a multiple of 10?
False
Let d(g) = -149*g**3 - 2*g - 1. Let f be d(-1). Suppose -4*p - f = -10*p. Does 25 divide p?
True
Suppose 5*o + 37 = 3*r, 5*r - o - 10 - 37 = 0. Let s be ((-8)/6)/((-3)/r). Is 3 a factor of 7/1*(-3 + s)?
False
Suppose 5*b = 5*f + 550, -2*b - b = 4*f - 323. Let m = 1 + b. Does 10 divide m?
True
Suppose 1 = -5*t + 11. Suppose t*z = -3*g + 5*g - 104, 4*z = -g + 67. Suppose 4*j + 3*v = 45, -5*v + g = 5*j - v. Does 5 divide j?
True
Let t = -50 + 815. Is t a multiple of 45?
True
Let x = -18 - -23. Suppose -x*d = -2*d - 120. Let y = d + -9. Does 9 divide y?
False
Suppose -32*s + 27*s = 15. Suppose -75 = i - 6*i. Let q = s + i. Is q a multiple of 5?
False
Suppose 0*n + 5*n = -10. Let k(q) = 12*q. Let b be k(n). Is (64/b)/(2/(-36)) a multiple of 11?
False
Let s be (-3 - (-3 + -6))*-39. Let w = s + 120. Let k = w - -201. Is k a multiple of 30?
False
Let q be 3/(1 + 5/(-2)). Let f(n) = 1 + n**2 - 7 - n + 6. Does 3 divide f(q)?
True
Let u(i) = -3*i - 2*i + 6*i + 3. Suppose g = r - 4, -5*g + 28 = 3*r - 0*g. Is 9 a factor of u(r)?
True
Let d(f) = 2 - 10*f - 6*f + 0*f. Is 13 a factor of d(-1)?
False
Let x be 20*(-2)/(-2)*(-48)/(-192). Suppose 2*u - x*z = 390, u - 97 - 87 = -3*z. Is u a multiple of 38?
True
Let q be -4 + 2 + 5/(-1). Let n = q - -19. Let z = n - -12. Is 12 a factor of z?
True
Let u = 8090 - 4706. Suppose -20*b + 12*b = -u. Does 28 divide b?
False
Let y(r) = 9*r**2 - 2*r - 26. Let x(i) = 11*i**2 - i - 26. Let c(z) = 5*x(z) - 6*y(z). Does 12 divide c(-7)?
False
Let v(i) be the second derivative of i**3/2 + i**2/2 - 2*i. Suppose 5*y = -12*y + 51. Is v(y) a multiple of 5?
True
Let r(b) = -4*b**2 - 16*b - 30. Let v(z) = -7*z**2 - 32*z - 59. Let t(l) = 5*r(l) - 3*v(l). Is t(-15) a multiple of 6?
True
Let i(u) = -6*u**2 + 18*u**2 - 439*u + 410*u + 2 + u**3. Does 16 divide i(-14)?
True
Let j(q) = -q - 16. Let n be j(-13). Let d be 5 - (n + (-6)/(-1)). Suppose 0*w = d*w - 14. Does 4 divide w?
False
Let f be (-191)/2*(-1 - 1). Suppose -5*h = -f + 56. Is h a multiple of 5?
False
Suppose m + x + 90 = 4*x, 4*x + 62 = -m. Let n = m - -182. Does 13 divide n?
True
Suppose k = -0*k - 4, x + 3*k = -12. Suppose 5*m = -x*m + 10. Suppose -m*n + 18 = -4*t, -3*n + 4*n - 3*t - 10 = 0. Is 3 a factor of n?
False
Let g be (-6)/(-1)*(-136)/(-16). Suppose -16*p + g = -13*p. Is 17 a factor of p?
True
Is 10 a factor of (-30)/4*-6*110/15?
True
Let h = -22 - -9. Let i = 23 - h. Is 34 a factor of (-14)/((-2)/i*3)?
False
Let z = 129 + 2085. Is z a multiple of 18?
True
Is (-13)/((((-156)/16)/(-13))/(-6)) a multiple of 9?
False
Is ((-194)/(-10))/((-10)/((-3400)/4)) a multiple of 34?
False
Is ((-1416)/(-14))/((-94)/(-329)) a multiple of 118?
True
Let y be -1 + (3 - 2)/1. Suppose y = 5*g + 2*p + 1, -4*g + 3*p = -5 + 15. Let u = g + 7. Is u a multiple of 6?
True
Let o(t) = -6*t**3 - 5*t**2 - t + 16. Is 4 a factor of o(-3)?
True
Let l = 1234 - 1858. Is 11 a factor of (l/(-12))/(1*2)?
False
Suppose -m - 5*c = 26, -45 - 7 = 2*m + 3*c. Let d(g) = -7*g. Let n be d(-6). Let j = n + m. Does 8 divide j?
True
Is 59 a factor of (15/(-20))/((-6)/2216)?
False
Suppose o + 0 + 4 = 0. Let f be 3 - o*2*9. Suppose 0 = -2*r - 3*l + f, -4*l - 104 = -0*r - 3*r. Is r a multiple of 18?
True
Suppose 228 = -0*w + w + 4*p, -2*p = -w + 210. Is w a multiple of 12?
True
Let g be ((-68)/8 + 1)*-20. Suppose -3*q + g = -0*q. Let z = q + 19. Is 12 a factor of z?
False
Let t = 5714 + -3404. Is t a multiple of 15?
True
Let l = -62 + 72. Suppose -588 = -l*m + 892. Does 28 divide m?
False
Suppose -2*p + 332 = -52. Does 48 divide p?
True
Let b(f) = f**2 - 10*f + 16. Let t be b(10). Let p(i) = -i**3 + 16*i**2 + 3*i - 24. Is 6 a factor of p(t)?
True
Let s = 10 - 7. Suppose c - 105 = -5*f, -68 = -s*f - f - 4*c. Let u = 8 + f. Does 10 divide u?
True
Let v(m) = -2*m**2 + 36*m + 52. Does 23 divide v(7)?
False
Let k(z) = 104*z + 46. Is 11 a factor of k(7)?
False
Is 58011/427 + 1/7 - 6 a multiple of 6?
False
Let p(q) be the first derivative of -5*q**2/2 + 12*q + 2. Is p(-6) a multiple of 7?
True
Let i(z) = -11*z**3 + 18*z**2 + 6*z - 3. Does 32 divide i(-4)?
False
Suppose 3*w = 0, -3*r - 2*w - 3*w = 0. Is 44 a factor of (-2)/3*(r - 372)?
False
Suppose -20*w + 2908 = 388. Is w a multiple of 9?
True
Suppose 2*h = 3*h - 4. Suppose -h = 2*m, 3*x + m - 14 - 32 = 0. Suppose x = 2*u - 14. Does 5 divide u?
True
Let u(o) = o**2 + 5*o - 3. Let c be u(-6). Suppose 5*v = 5*x - 45, -4*v - 39 = c*x - 6*x. Is 28 a factor of (-843)/v - 3/12?
False
Is 2 a factor of (8769/148)/(-6*3/(-120))?
False
Does 3 divide 18/8*(-240)/(-18)?
True
Let y be -2 + 0 + 0 + -2. Let d = y + -2. Let u = d - -17. Does 11 divide u?
True
Let o = 61 + 23. Is o a multiple of 13?
False
Suppose -2 = 4*u - 10. Suppose u*p = -4*p + 120. Does 10 divide p?
True
Suppose 53872 = 144*k - 116*k. Does 16 divide k?
False
Let p(c) = -c + 0*c + 36*c**2 + 3 - 33*c**2. Is p(-4) a multiple of 9?
False
Let s(l) = -10*l**3 + 2*l**2 - 7*l - 11. Is s(-5) a multiple of 15?
False
Suppose 111 = 7*i + 83. Suppose 58 + 4 = q. Is q/i - (-9)/6 a multiple of 9?
False
Let y = -110 + 170. Suppose 5*p + y - 11 = q, -3*q - 4*p + 185 = 0. Is q a multiple of 3?
False
Suppose 0 = 3*i - 3*j - 27, -i + 28 = i - 4*j. Suppose 4*r + 0*l + 4 = -3*l, 2*r + 2 = 3*l. Let d = i + r. Does 2 divide d?
False
Let r = -62 - -111. Does 3 divide r?
False
Suppose -17 = -9*y + 28. Suppose 2*a + a - 108 = -y*b, b + 152 = 5*a. Is a even?
False
Suppose 0 = -13*v - 26*v + 32175. Is 6 a factor of v?
False
Let t(q) be the third derivative of q**6/120 + 145*q**3/6 - 38*q**2. Does 29 divide t(0)?
True
Suppose t - 2*y = 2, -3*t + 3 = 2*y - 3. Suppose -5*r - 35 = 5*z, -t*z - 2*z - 35 = 5*r. Let f = r - -103. Is 32 a factor of f?
True
Let p = -288 - -925. Is 7 a factor of p?
True
Let j be 1/3 + 2/(-6). Suppose 5*l + 2*i = -j*i + 1127, 0 = 5*i + 20. Suppose 0 = -5*q + 188 + 