 -1 - (-3 - 0)*3. Let z(v) = v**2 - 7*v - 1. Does 4 divide z(q)?
False
Let i(b) = -b + 16. Is i(5) a multiple of 2?
False
Suppose -2*w + x = 1 - 0, -26 = 2*w + 4*x. Is (-5 + 1)/(2/w) a multiple of 5?
False
Suppose -2 = -z - 3. Does 14 divide (19*(-3)/3)/z?
False
Suppose -3*a + 4*o + o + 32 = 0, -o + 8 = 3*a. Suppose a*f - 16 = 0, k = 2*k + 2*f - 13. Does 3 divide k?
False
Let x(a) = a**3 - 2*a + 39. Is x(0) a multiple of 39?
True
Suppose k + 3*p = 2*k + 10, 0 = -3*k - p - 80. Let v = k - -60. Does 14 divide v?
False
Let z be -3*(2 + (-24)/9). Suppose z*l = l + 26. Does 11 divide l?
False
Let n = 158 + -109. Does 11 divide n?
False
Let f = -6 + 6. Is 12 a factor of (f + -57)*(-1 + 0)?
False
Suppose -2*f - 3*v + 152 = 0, 7*f - 254 = 4*f + 2*v. Is 42 a factor of f?
False
Let y(k) = 7*k**3 - 4*k**2 + 9*k + 5. Let s(o) = 8*o**3 - 4*o**2 + 10*o + 6. Let t(g) = 6*s(g) - 7*y(g). Is 2 a factor of t(2)?
False
Let v(a) = 2*a - 21. Is v(15) a multiple of 3?
True
Let b(u) = -u**2 + u + 26. Suppose 0 = 6*t - t - 5. Let x = 1 - t. Is 11 a factor of b(x)?
False
Let s(x) be the second derivative of x**3 + x**2/2 + 10*x. Is s(2) a multiple of 3?
False
Suppose -n - 4 = -0*n. Suppose -y + 5*y = 8. Does 9 divide 2*(-18)/n*y?
True
Suppose 0*q + 7*q = 273. Is 3 a factor of q?
True
Let f = -45 - -159. Does 19 divide f?
True
Let j(s) be the second derivative of -s**3/6 + 15*s**2 - s. Is j(0) a multiple of 15?
True
Suppose 173 = 5*w - 2*b, -4*w - 2*b + 152 - 10 = 0. Is 5 a factor of w?
True
Let z(o) = -2*o**3 - 3*o**2 - 2*o - 4. Is 6 a factor of z(-3)?
False
Let m be 0/(2*2/4). Suppose -4*z + 113 - 25 = m. Suppose -4*v + 5*v = z. Is v a multiple of 11?
True
Let v(r) be the second derivative of r**5/24 + r**3/3 - 2*r. Let l(y) be the second derivative of v(y). Does 10 divide l(4)?
True
Suppose 0*f - 3*f = -3. Suppose s - f = 0, -2 = -6*y + y - 2*s. Does 4 divide (15 - y)/((-9)/(-6))?
False
Let p(j) be the third derivative of 3*j**5/20 - j**4/24 + 6*j**2. Suppose 0 = -3*q - 6, -d + 4*q + 4 = 3*d. Does 5 divide p(d)?
True
Is (-272)/(-9) + (-8)/36 a multiple of 13?
False
Let d = 1 - -78. Suppose 241 = 3*k + d. Is k a multiple of 28?
False
Suppose 3*h - 45 = -3*t + 6*t, -57 = 5*t + 4*h. Let i = 25 + t. Is 9 a factor of i?
False
Suppose 3*l + 3*i + 3 = 0, -2*l - i - 6 = -2. Does 6 divide (-2)/(-2 - 5/l)?
True
Let g be 8/(-12) + (-4)/(-6). Suppose g = 2*b - 7*b - 2*s - 14, 0 = b - 4*s + 16. Is 2 a factor of ((-10)/1)/(b/2)?
False
Let v(f) be the first derivative of f**4/4 + 2*f**3 + 3*f**2/2 - 3*f - 1. Suppose 0 = 4*l + 2*u + 24, 2*l - 4*u = -0*u + 8. Does 13 divide v(l)?
False
Suppose -5*g = -2*a - 103, 0 = -5*g + 5*a + 124 - 24. Is 11 a factor of g?
False
Let t = 2 + 0. Suppose -t*j - 3 = i - 1, 5*i - 5*j - 5 = 0. Let l(u) = -u + 32. Is 16 a factor of l(i)?
True
Let y(x) = 2*x**2 + 3*x. Let g be y(-2). Suppose g*t - 141 = -i, -5*i - 179 = -2*t - t. Is 25 a factor of t?
False
Let x = 23 - -49. Is x a multiple of 12?
True
Suppose 5*g = -0*g + 5*t + 175, 3*t = -g + 43. Let i = -16 + g. Does 15 divide i?
False
Suppose r = -4*r + 120. Is r a multiple of 8?
True
Let d = 3 - -13. Is d a multiple of 13?
False
Let p(y) = 3*y - 7. Suppose 4*x + 0*x = -5*a + 31, 5*a - 11 = x. Does 2 divide p(a)?
True
Let n be 25/9 - 4/(-18). Suppose -n*j + 26 = -5*i, 0*j + 5*j - i - 14 = 0. Let k = 0 + j. Is k a multiple of 2?
True
Is 88 + 9 + 3 + -7 a multiple of 15?
False
Let d = 1 - -7. Let u = -2 + d. Is u a multiple of 4?
False
Let i = -1 + -1. Let s be 33*(-4 - -3 - i). Suppose t = -4*t + 20, 3*t = d - s. Is 15 a factor of d?
True
Let b(v) = -v**2 + 8*v - 5. Let u(a) = -a**2 - a + 7. Let r be u(0). Let x be b(r). Suppose -x*y - f - 2*f + 10 = 0, 3*f + 6 = 0. Is y a multiple of 4?
True
Let r(c) = c**3 + 11*c**2 + 8*c - 8. Does 23 divide r(-7)?
False
Let f(y) = y + 7. Let g = 11 + -6. Is 6 a factor of f(g)?
True
Let l(g) = g - 5. Let s be l(5). Let f(a) = a**3 - a**2 - a + 36. Does 12 divide f(s)?
True
Let h be 37/5 + (-26)/65. Let j = h + 15. Does 15 divide j?
False
Let x be ((-20)/15)/(2/(-3)). Let z(a) = 2*a**2 - 3*a. Let w be z(x). Suppose -9 = w*g - 5*g. Is 3 a factor of g?
True
Suppose -7 = -2*r + 5. Is 3 a factor of r?
True
Let f be (-3)/(-4)*(17 - 5). Suppose -f - 36 = -3*l. Is l a multiple of 4?
False
Let k(z) = 47*z + 1. Let n be k(1). Let b = n + -33. Is 11 a factor of b?
False
Let c(b) be the second derivative of -b**4/12 - 5*b**3/6 + 3*b**2 - 2*b. Does 6 divide c(-5)?
True
Let l be (-1)/3 + (-214)/(-3). Suppose -5*u - l = -351. Suppose -u + 21 = -5*i. Is i a multiple of 7?
True
Let c = 26 + 8. Is c a multiple of 10?
False
Suppose 4*b - 2*b + 12 = 0. Let y = 13 + b. Suppose 4*g + y = 35. Does 7 divide g?
True
Suppose -4*g - u + 42 = -33, -4*g - 4*u + 84 = 0. Suppose -4*m = -m + g. Does 17 divide (m/5)/((-1)/30)?
False
Let z = -47 + 54. Does 2 divide z?
False
Suppose -290 = 3*v - 8*v. Suppose -2*c - 3*a = -v, -87 = -3*c + 3*a - 0*a. Does 12 divide c?
False
Let x = 24 - -3. Suppose -h + 108 = -2*k + x, -264 = -4*h - 4*k. Is h a multiple of 22?
False
Let i(n) = -18*n - 50. Is i(-6) a multiple of 2?
True
Let w be (16/10)/((-4)/(-20)). Suppose w = -3*c + 7*c. Suppose 2*t = -c*m + 4 + 6, 5*t + 2*m - 31 = 0. Does 7 divide t?
True
Let x(s) = s**2 + 5*s + 7. Does 12 divide x(-7)?
False
Suppose -3*f = -3*z + 276, 300 = 3*z - 0*z + 3*f. Let r = -54 + z. Is r a multiple of 21?
True
Let g be (-3 + (4 - 1))/1. Let k be 259/6 - 1/6. Suppose g = 4*f - 17 - k. Does 8 divide f?
False
Suppose 7*l = 20 + 1. Is l a multiple of 3?
True
Let a = 2 - -19. Is a a multiple of 19?
False
Let l(i) = i**2 + 2*i + 12. Does 20 divide l(6)?
True
Let o(k) be the first derivative of -2*k - 2 - 5/2*k**2. Does 3 divide o(-2)?
False
Suppose 3*r - 38 = -3*d + 7, 2*r - 6 = 0. Suppose 2*g - d = -0*g. Let z = g - 4. Is z even?
True
Suppose 2*d - 78 = -d. Is d a multiple of 20?
False
Let d(a) = a. Let p(g) = -2*g + 5 - 13 + 3 - g**3 - 5*g**2. Let m be p(-5). Is 4 a factor of d(m)?
False
Suppose 0 = i + q - 7, -3*i + 7*i + 2*q = 18. Suppose 3*s - 2*g - 62 - 77 = 0, -i*s + 3*g = -96. Is s a multiple of 14?
False
Let l be -3*(-1 + 3 - 1). Let x(t) = 3*t**2 + t - 1. Let y be x(l). Does 13 divide (-1)/1*y*-1?
False
Let s be 16/7 - 6/21. Is (24/20)/(s/20) a multiple of 5?
False
Let c be 2*-1*184/16. Let z = c - -65. Is z a multiple of 21?
True
Suppose -5*u - 5*v = -335, -3*v + 5*v = -4*u + 266. Suppose -i + u = 2*i. Is 22 a factor of i?
True
Let j be 4 - 2*(-2 + 3). Suppose j*f = -5*t + 35, 5*t = 3*f - 2*f + 20. Suppose -120 = -4*o - 2*z, 3*o = 4*o + f*z - 12. Is o a multiple of 13?
False
Suppose -4*v - 4*w + 52 = 0, -4*w + 65 = 5*v - w. Let p = -7 + v. Suppose 105 = p*z - z. Does 16 divide z?
False
Suppose -15 = -k - 2*k. Suppose -24 + 74 = -k*u. Let d = u + 16. Does 3 divide d?
True
Suppose 3*m + m = -8, 5*w - 21 = -2*m. Suppose 0 = -w*d - 3*l + 431, 2*d - 4*l + 95 = 283. Suppose -d = -2*i - 14. Is i a multiple of 11?
False
Let g(c) = -c**3 + 8*c**2 - 3*c - 3. Is 17 a factor of g(6)?
True
Suppose c - h = 4*h + 17, 3*c + 5*h = -9. Suppose 5*f - c*f + 12 = 0. Let u = 18 - f. Does 12 divide u?
False
Suppose 6*g = -p + 4*g + 2, -5*p = 2*g - 2. Suppose 2*l - 64 = -p*l. Is l a multiple of 10?
False
Let l be -3 - 24/(-2*2). Suppose -l*s + 13 + 14 = 0. Is s a multiple of 3?
True
Let z = 16 - 12. Is 22 a factor of 22/z*(8 + 0)?
True
Suppose 3*l - 36 = 102. Is l a multiple of 12?
False
Suppose -5*o + 8 + 92 = 0. Let b = -10 + o. Does 10 divide b?
True
Suppose 100 = -3*n + 7*n. Is n a multiple of 5?
True
Let m(r) = -2*r**3 - 2*r**2 + r. Let x be m(-2). Suppose 0 = -2*f + 20 - x. Suppose f = 5*y - 63. Is 7 a factor of y?
True
Let h(r) = -r**3 - 8*r**2 - 7*r + 6. Let l be h(-7). Suppose -21 = -k - l. Is k a multiple of 15?
True
Suppose 3*g - g = 72. Suppose 0 = -5*i + 3*l + 60, 3*i - l - g = 2*l. Is i a multiple of 6?
True
Let v(h) = -h**2 - 2*h + 1. Let z be v(8). Let j = z + 171. Suppose -5*d + j = -13. Is d a multiple of 13?
False
Let i(r) = 2*r**2 - 10*r + 6. Let x be i(6). Is 148/x - (-2)/(-9) a multiple of 4?
True
Suppose -59 = 4*q - 175. Suppose 2*r = 2*a - q - 7, 16 = -4*r. Does 13 divide a?
False
Let s = -5 - -6. Suppose l + s = -0. Does 12 divide (-6)/(-4)*(-8)/l?
True
Let z = 53 + -15. Is 5 a factor of (-2)/4 - z/(-4)?
False
Let 