 v(u)?
True
Let b(f) = f**3 - 13*f**2 + 7*f - 17. Does 16 divide b(13)?
False
Let w be 4/(-10) + (-3256)/(-40). Suppose 5*t - 286 + w = 0. Is t a multiple of 16?
False
Let r(l) = 40*l**2 + 1. Does 21 divide r(1)?
False
Let f(a) = 2*a - a - 5*a - 2. Suppose -3*i - 2*l - 18 = 0, -2*l - 2*l = 4*i + 28. Is 14 a factor of f(i)?
True
Let x(p) = 6*p**2 - 5*p**2 + 0*p + 0*p + 6*p - 7. Let a be x(-5). Is 6 a factor of (102/a)/(2/(-4))?
False
Let k be (-4)/(-6) - 865/15. Let n = -21 - k. Is 19 a factor of n?
False
Let l(m) = m**3 + 7*m**2 + 5*m. Let d be l(-6). Let r = 21 + d. Is 13 a factor of r?
False
Suppose 8*p + 8 = u + 4*p, 0 = -5*p. Let c(s) = -2*s**2 + 13*s - 10. Let m be c(u). Let x = m - -48. Is x a multiple of 14?
True
Suppose 3 + 3 = 2*j. Suppose j = -i + 7. Suppose -4*q - i*v + 28 = 0, v = -0*v. Does 3 divide q?
False
Suppose -4*u - 17 = -41. Is u even?
True
Let s(a) = 4 + a + 3*a - a. Let u be s(-3). Let m(p) = -7*p + 2. Is 13 a factor of m(u)?
False
Let g(p) = 2*p + 1. Let o be g(2). Suppose o*w = 4*w + 12. Is w a multiple of 6?
True
Let s = -15 + 7. Is 12 a factor of (-166)/(-6) + s/12?
False
Let v(a) = 6*a + 6. Let h be v(-3). Let j = h + 22. Is j a multiple of 10?
True
Suppose 0*c = 5*c. Suppose c = n - 12 - 1. Let o = 4 + n. Is o a multiple of 12?
False
Suppose -x = -5*j + 3*x - 18, 0 = -2*x - 6. Let g(w) = -w**3 - 6*w**2 - 10*w - 13. Is g(j) a multiple of 10?
False
Let w(p) = -2*p**3 - 2*p**2 - p - 4. Let j be w(-4). Let m be (-1)/2*(0 + 122). Let v = j + m. Is v a multiple of 17?
False
Suppose -20 = -2*v + 4*b, b = -2 - 1. Does 20 divide (-2116)/(-36) - v/(-18)?
False
Let h(w) be the second derivative of -w**6/60 + w**4/12 - w**2 + w. Let o(z) be the first derivative of h(z). Is o(-2) a multiple of 12?
True
Suppose 8 = a - 109. Suppose 4*o = m + 105 + 8, -a = -4*o + 5*m. Is o a multiple of 7?
True
Suppose -182 = -3*r - 2*z, 292 + 10 = 5*r + 2*z. Is 20 a factor of r?
True
Suppose -2*q - j + 47 = 0, 4*j + 9 = j. Let m = 35 - q. Is 48/m*(-10)/(-3) a multiple of 10?
False
Does 31 divide (321 + -3)*4/8?
False
Suppose -h = 4*s - 960, 4*h = s - 3*s + 494. Does 14 divide s?
False
Let p be (-2)/(-12) - (-23)/6. Suppose p*a - 16 = 0, 5*a = 3*h - 50 - 71. Is h a multiple of 8?
False
Let i = -5 + 20. Does 15 divide i?
True
Suppose -75 + 11 = -4*n. Does 11 divide n?
False
Let d(y) = y**2 - y - 1. Let f(g) = 5*g - 3. Let s(o) = d(o) - f(o). Let c be s(6). Suppose -2*w = c*w - 20. Is w a multiple of 5?
True
Let z(a) = a**2 - 4*a. Let t be z(4). Let i = t - -4. Suppose 4*q - 52 = -i*m, -1 + 4 = 3*q. Is 8 a factor of m?
False
Does 11 divide ((-1)/(16/(-132)))/(6/160)?
True
Suppose -2*q + 579 = 157. Let b = q - 121. Does 15 divide b/(-35)*(-13 - 1)?
False
Suppose v - 2 = -0. Suppose -5*w = -v*y - 533, 0 = 4*w + w + y - 536. Does 29 divide w?
False
Let m(l) = l**2 - 6*l. Let n be m(12). Suppose -n = -2*q + 8. Is 10 a factor of q?
True
Let l = -9 - -8. Let t(a) = 7*a**3 + a**2 + 2*a + 1. Let j be t(l). Let m = 12 + j. Is 4 a factor of m?
False
Let d(k) = k**3 + k**2 - 8. Let m be d(0). Is (m/20)/((-1)/45) a multiple of 6?
True
Let v = -2 + 2. Suppose v = 4*a - 253 - 7. Let h = a - 39. Is h a multiple of 21?
False
Suppose 0 = 5*j - 112 + 17. Is 19 a factor of j?
True
Suppose 0 = -2*s + t + 9, t = 4*t + 15. Suppose n + s*n = 9. Is n a multiple of 2?
False
Suppose -5*b + 2*p - 4 = 0, 0*p - 2 = 2*b - p. Let z = b - -26. Is 13 a factor of z?
True
Suppose -10 = 4*u - 150. Suppose 305 = 5*o - u. Does 22 divide o?
False
Let a be 29/2 - (-1)/2. Let v = 18 - -4. Let p = v - a. Is 7 a factor of p?
True
Let g(t) = -21*t - 3. Let o be g(-7). Suppose -o = -z - 3*z. Suppose z = 5*w - 134. Is w a multiple of 17?
True
Suppose -2*v + 8 = -5*r, -3*r - 2*v = v - 12. Suppose -z + r = -2. Suppose s - 3*n + z = -8, s = n. Is 5 a factor of s?
True
Suppose 0*c + 3*c - 180 = -3*g, g + 5*c - 44 = 0. Does 32 divide g?
True
Let b(t) = t + 30. Let o(d) = -2*d**2 + 13*d + 10. Let l be o(8). Is b(l) a multiple of 8?
True
Let g be 1 - 0 - (4 - 3). Suppose 0 = -2*h - g*h - z + 1, 3*h = 5*z + 34. Suppose -2*q - 2*q = -5*n - 145, -q - h*n = -49. Is q a multiple of 11?
False
Let n = 5 - -2. Suppose -n*f = -3*f - 60. Is 15 a factor of f?
True
Suppose z = 2*z + 2*f + 43, 5*f - 107 = 4*z. Let w = z + 65. Is w a multiple of 12?
False
Let m = 126 - 6. Does 22 divide m?
False
Let g(m) = -m**2 + 8*m - 7. Suppose -s = -4*s + 15. Suppose -5*y - l = -2*l - 29, s*y + 4*l - 9 = 0. Is 8 a factor of g(y)?
True
Let d(z) = -z**2 + 10*z + 1. Suppose 3 - 11 = -i. Is d(i) a multiple of 13?
False
Suppose 96 = -t + 3*t. Suppose -z = z - t. Is 9 a factor of 4/((z/(-27))/(-4))?
True
Let y be 388*2/4*1. Is y/6 + (-2)/6 a multiple of 16?
True
Suppose w = -w. Suppose 5*n - 6 + 1 = w. Suppose -5 = -k + n. Is 6 a factor of k?
True
Let l(h) be the second derivative of -4*h**3/3 - 3*h**2/2 - h. Is 5 a factor of l(-2)?
False
Suppose -2*m = 5*j - 27, 5*m - 3*m = -2*j + 6. Let o(f) = -f**2 + 9*f + 4. Is 5 a factor of o(j)?
False
Suppose -4*v + 8 = -s, -5*s + 8 = 3*v - 7*v. Let m(z) = z**2 - z + 2. Is 4 a factor of m(v)?
True
Let z(r) = 14*r**3 + r**2 - 4*r + 3. Let x be z(2). Suppose 3*q - x = 5*p - 27, -2*p - 98 = -4*q. Does 8 divide q?
False
Let q = -14 + 18. Suppose -3*p - 41 = -q*p - w, 0 = -4*p + 2*w + 170. Does 10 divide p?
False
Suppose 0*k + 4*k - 44 = 0. Suppose -2*m + x = -k, -2*m = 3*x - 16 + 1. Does 2 divide m?
True
Does 2 divide 3*4/3 + 0?
True
Let r(y) = -y - 8. Let w be r(-6). Is 10 a factor of ((-2)/(-2) - -21) + w?
True
Let v(b) = -b**3 - 7*b**2 + 6*b - 7. Let t be v(-7). Suppose 4*j = -3*s - 303, 0 = 5*j - 4*s + 3*s + 393. Let q = t - j. Is q a multiple of 14?
False
Suppose 4*a - 1 = -5. Let y = -7 - a. Is 13 a factor of (-550)/(-15) + (-2)/y?
False
Let k(x) = -x - 6. Let r be k(-10). Let i(w) = 2*w - 4. Let d be i(4). Suppose -r*l + 44 = -2*l - d*z, 2 = -2*z. Does 11 divide l?
False
Let v = 230 - 113. Let s = v + -75. Is 13 a factor of s?
False
Suppose 0 = 4*c - 14 - 2. Suppose c*j - 129 = 79. Let x = j + -4. Does 14 divide x?
False
Let f be (-3)/6*0/(-1). Let z(i) = 91*i**2 - 1. Let b be z(1). Suppose f*d = 3*d - b. Is d a multiple of 15?
True
Let o = 5 + 1. Suppose -6 = 4*n - o*n. Suppose 47 = 3*t - 2*d, -n*t + 75 = 3*d + 18. Is t a multiple of 17?
True
Let y(m) = 9*m**2 - m. Does 6 divide y(-1)?
False
Let x be -2 - (-1 + -9 + 0). Is 4 a factor of (-2)/(6/(-3)) + x?
False
Let z(o) = 8*o**2 - o + 1. Let c be z(1). Suppose -4*r = -s - c, 3*s = r - 1 - 1. Suppose -d + 33 = r*d. Does 11 divide d?
True
Let m(n) = -n**3 - 4*n + 2. Is 14 a factor of m(-4)?
False
Suppose 99 = 4*g - 101. Is g a multiple of 11?
False
Suppose -5*b = -32 + 12. Suppose 2*u = b*u + 42. Is 13 a factor of 4*4/((-16)/u)?
False
Does 25 divide (3 + -7)/((-69)/17 + 4)?
False
Let h = -38 - -71. Suppose -j + 3*j - 4 = 0. Suppose -5*n = -j*n - h. Is 11 a factor of n?
True
Let o(k) = k**2 + 15*k + 1. Let l be o(-12). Let a = -13 - l. Is 11 a factor of a?
True
Suppose 4*s - 7*s + 6 = 0. Let p(f) = 6*f - 3*f + 3*f**s + 0*f**2 - f**2 - f**3. Is 11 a factor of p(-3)?
False
Suppose 3*y = -2*y. Suppose y = 5*n - 25, -2*n - 70 = -4*a - 0*a. Is 5 a factor of a?
True
Is 22 a factor of (-461)/(-3) - (-7)/21?
True
Is 14 a factor of 1*(0 - (-4)/4) - -41?
True
Let a be (1 - 1) + 7*58. Let f = -268 + a. Suppose 4*m + 14 = f. Does 8 divide m?
False
Suppose 3*k + 2 = -2*k + b, -3*k = -b. Let c = k + 6. Does 7 divide (-2 - -3) + (c - -2)?
False
Suppose -d = -3*m + m - 90, 4*d - 380 = 4*m. Is 11 a factor of (-3)/9 - d/(-3)?
True
Let u = -27 + 75. Does 14 divide (u/40)/(2/25)?
False
Suppose 45 - 135 = -3*w. Let j = 6 + w. Is j a multiple of 8?
False
Let d be 26/5 + (-3)/15. Suppose d = -2*n - 3, -5*q = n - 336. Is 17 a factor of q?
True
Suppose 20 + 15 = 5*x. Suppose 2*w = x*w - t + 33, -2*w - 3*t - 3 = 0. Is (-51)/(-2) - 3/w a multiple of 13?
True
Let i(h) = h**3 + 12*h**2 - h - 8. Let r be i(-12). Let k be r - 3/(-6)*2. Suppose -l + 5 = 3, k*c - 2*l - 201 = 0. Is c a multiple of 22?
False
Does 3 divide ((-21)/12)/(2/(-8))?
False
Let j be ((-270)/(-8))/(9/24). Suppose -4*s + s = -j. Is s a multiple of 5?
True
Let h = -52 + 92. Suppose 4*f = z + z - 24, -2*z = 4*f - h. Is z a multiple of 9?
False
Let s(g) = g**3 + g**2 + 42. Is 14 a factor of s(0)?
True
