
True
Let i = 22 + -1. Is (14/i)/((-4)/(-42)) even?
False
Let n = -1 - -3. Suppose n*b = -0*b + 96. Is 20 a factor of b?
False
Suppose p + 11 - 3 = -c, -4*p - 8 = -2*c. Let j(v) = -v**3 - 3*v**2 + 4*v + 3. Let b be j(c). Suppose 6 = b*y - 15. Is y even?
False
Let i(p) = p**2 - 6*p + 2. Let h be i(6). Suppose 4*g - h = 6. Suppose -5*y = -g*k - 0*k + 51, -5*y + 139 = 3*k. Does 19 divide k?
True
Suppose -2*v + 270 = -0*v + 4*l, -2*l + 8 = 0. Is v a multiple of 15?
False
Suppose -r = 2*r - 552. Suppose -3*t - t = -r. Is t a multiple of 18?
False
Let l be 12/2 + (-2)/1. Suppose 0 = l*x + x + 40. Let z(t) = -3*t - 11. Does 9 divide z(x)?
False
Let g = 81 + -47. Let n be (-6)/(-8)*2*g. Let j = -34 + n. Does 7 divide j?
False
Let v be -1 + 2*(-2)/1. Let g(n) = -n**3 - 5*n**2 - 3*n + 5. Does 10 divide g(v)?
True
Suppose n = 4*n - 33. Let r = 25 - n. Is 7 a factor of r?
True
Suppose -10*x - 22 = -472. Is x a multiple of 9?
True
Suppose -3*d - n = 4*n + 8, n = -4. Suppose -d = -s - s. Suppose -3*b = z - 8, -3*z + 32 = -z + s*b. Is z a multiple of 18?
False
Let l = -27 - -47. Is 5 a factor of l?
True
Let t(r) = -r**2 + 3*r + 4. Let j be t(3). Let c be j/(-2) + 3/3. Let k = c - -22. Is 10 a factor of k?
False
Let z be (-2)/3 - (-8)/3. Suppose 0 = -0*y - z*y + 20. Does 10 divide y?
True
Suppose 148 = 5*n - z - 125, 4 = 2*z. Is n a multiple of 3?
False
Suppose -3 = -3*p + 3. Suppose 3*h - 4 = -3*v - h, -2*v + p*h = -12. Suppose 2*j = -3*j + 15, 144 = v*u + 4*j. Does 15 divide u?
False
Suppose t - 3*t - 8 = 0. Let i = 13 + t. Does 5 divide i?
False
Suppose -4*w - 87 = -3*t, -w + t - 59 = 2*w. Suppose z = -2 + 5. Let k = z - w. Is k a multiple of 21?
True
Let v be ((-5)/(-10))/(2/12). Suppose -v + 1 = -n. Suppose n*d + 2*d = 128. Is d a multiple of 19?
False
Let q = -9 - -21. Does 3 divide q?
True
Suppose 0 = -3*o - o. Suppose -4*u + 57 = -3*w, -5*u + 0*w - 2*w + 54 = o. Does 5 divide u?
False
Let d = -9 - -16. Let x(f) = f**3 - 5*f**2 - 9*f + 9. Is x(d) a multiple of 22?
True
Suppose -3*i - 2*r - 4 = 2*r, -i - 2*r - 4 = 0. Let a be (i - 2) + 46 + 2. Suppose 4*n = a - 10. Is n a multiple of 7?
False
Suppose 0 = 4*t - 58 - 34. Does 15 divide t?
False
Let s = -2 + -1. Does 10 divide (-3 - (-16 - s))*1?
True
Let y be 2355/12 + 1/(-4). Suppose -3*p + y = 2*p + 4*d, -2*d - 202 = -5*p. Suppose 5*c + p = 4*v + 8, -3*v - 3 = 3*c. Does 2 divide v?
False
Suppose -1014 = -6*p + 282. Is p a multiple of 8?
True
Suppose -149 - 15 = -4*z. Is z a multiple of 24?
False
Let r = -52 + 79. Is 5 a factor of r?
False
Suppose 3*d + 3*y + 33 = 0, 4*d + 3*y = 2*y - 29. Let x be (3 - (2 + -2)) + 1. Let o = x - d. Does 10 divide o?
True
Suppose 0*f - 24 = -f + m, -2*f = 2*m - 64. Is 14 a factor of f?
True
Let d = -3 - -5. Suppose 0 = d*v + 2*v - 80. Is v a multiple of 15?
False
Let w(c) = c**3 - 6*c**2 - 6*c + 7. Let p be (-26)/(-7) - 4/(-14). Suppose -5*k - 14 = -5*l + 36, 0 = -p*k - 12. Is 5 a factor of w(l)?
False
Let n(q) = q + 11. Let g(m) = m**2 - m + 1. Let c(u) = -4*u**2 + 5*u - 11. Let z(h) = c(h) + 5*g(h). Let j be z(0). Does 2 divide n(j)?
False
Suppose -j = 5*g - 2*j - 67, g - 5 = 3*j. Let u = 28 - g. Does 7 divide u?
True
Let i(w) = 45*w - 21. Let p(n) = 15*n - 7. Let a(r) = 3*i(r) - 8*p(r). Does 17 divide a(5)?
True
Let s = -14 + 9. Let x be (-43)/s + (-8)/(-20). Let l = x + 4. Is l a multiple of 10?
False
Let o(r) = -r. Let n be o(0). Let q(a) = -a**2 - a + 32. Is 13 a factor of q(n)?
False
Suppose 343 = 5*o + 2*o. Is 10 a factor of o?
False
Let s(k) = -5*k**3 - 2*k**2 - 2*k - 1. Let y be s(-1). Let o = -12 + 15. Suppose 7 = -o*f + y*f. Is f a multiple of 7?
True
Suppose 4*g - 2*y - 174 = 0, 5*g - y - 228 = -12. Is 8 a factor of g?
False
Suppose -2*b - 5*b = -168. Is b a multiple of 12?
True
Suppose 0 = -3*f + 218 - 89. Let g = f - -15. Does 15 divide g?
False
Let r(n) be the third derivative of n**5/30 + n**4/12 - n**3/6 + 2*n**2. Does 16 divide r(4)?
False
Suppose 4*l - 5*l = -56. Is l a multiple of 17?
False
Suppose -3*o + 4*z - 16 = 0, -5*o - 12 = -4*z + z. Suppose 0*v + v + 11 = o. Let y = v + 19. Does 6 divide y?
False
Suppose 0 = 2*l, -4*q = 4*l - 2*l - 104. Is 13 a factor of q?
True
Let n = 0 - -3. Suppose -39 + 3 = -n*v. Does 4 divide v?
True
Let w(t) = 23*t**3 + t**2 + t - 1. Let d be 2/(-4) + (-7)/(-2). Let q = d + -2. Is 12 a factor of w(q)?
True
Suppose -2*r = -2, -3*q + 2*r + 48 = 14. Does 17 divide 2/q - 393/(-18)?
False
Let u = -20 - -12. Let s(b) = 5*b + 2. Let r be s(u). Let k = -26 - r. Is 4 a factor of k?
True
Let z = -1 - -3. Let j(m) = 4*m - 4*m**2 + 3 + 5*m**z + m**2. Does 8 divide j(-3)?
False
Let w(b) = 2*b. Let g be w(2). Suppose -g = -2*v + 24. Does 7 divide v?
True
Let x = -33 - -49. Is x a multiple of 14?
False
Let y = -266 + 153. Let f = -75 - y. Is f a multiple of 22?
False
Let k(u) = u**3 - 8*u**2 + 7*u. Let n(a) = a**3 - a**2 + a + 1. Let m(r) = -k(r) + 2*n(r). Let t(v) = -5*v**3 - 2*v**2 + 1. Let b be t(1). Does 16 divide m(b)?
True
Let j(y) = 8*y**2 - 1. Let r be j(1). Suppose -5 = 4*u + f, 10 = -5*u - r*f + 2*f. Is (-2 - u)*(4 - 6) a multiple of 2?
True
Let q(v) = v - 4. Let w be q(6). Does 3 divide (3 - w)*35/5?
False
Let b be 22/6 - (-2)/6. Suppose -b = -0*d - 2*d. Suppose d*i - 12 = 14. Does 5 divide i?
False
Suppose 2*h = -p + 64, -2*h = 3*h - 3*p - 138. Suppose 4*l = -l - h. Does 9 divide (-4)/(-12) - 106/l?
True
Is 10 a factor of (-2 + 29 + -1)/2?
False
Let w(l) = 9*l + 4. Let i be w(3). Suppose 3*r = 4*b - 64, 0 = -4*b - r - i + 111. Is 7 a factor of b?
False
Let c = -39 + 45. Is c a multiple of 3?
True
Suppose -37 = -3*j + 59. Is j a multiple of 10?
False
Let x(g) = -1 + 8*g + 3 + 6*g**2 - 7*g**2. Let j be x(9). Let z = 3 - j. Is z a multiple of 5?
True
Is 9 a factor of 4/5 + (-710)/(-50)?
False
Suppose 5*c - 4*b = 10, -3*c + b = -7*c + 29. Does 4 divide c?
False
Let f = 0 - -4. Suppose f*g - 2*g - 192 = 0. Suppose -g = -3*w - w. Does 12 divide w?
True
Suppose 58 = 2*g - 2*b, 4*b = 4*g + g - 140. Suppose -3*d + g = -7*d. Is 12 a factor of (-3)/12*d*12?
False
Let g = -68 - -47. Let j be 4/14 - 3438/g. Suppose -3*y - y - 3*u + j = 0, 3*u - 12 = 0. Is y a multiple of 13?
False
Let l(v) = -v**3 + 7*v**2 + 2*v + 10. Suppose 2*f - 3 = -z + 3*f, f = -4*z + 32. Is 12 a factor of l(z)?
True
Suppose 288 = -o + 4*o. Is 24 a factor of o?
True
Suppose -6*v - 26 = -122. Is 16 a factor of v?
True
Let j be 10/(-3)*108/10. Is ((-26)/(-8))/((-3)/j) a multiple of 13?
True
Suppose 0*i - 8 = 4*i. Is 10 a factor of (i - -43) + 3/(-3)?
True
Suppose -6 = -b + 5. Let c = 7 + b. Is 9 a factor of c?
True
Suppose 12 = 2*b - 5*b. Let y = 6 + b. Suppose 108 = y*o + 2*o. Is 16 a factor of o?
False
Suppose -c + 8 = 2*v, 0 = 3*c - 2*c + 4. Let w(b) = -1. Let l(d) = -d - 4. Let n(h) = -l(h) - 3*w(h). Is n(v) a multiple of 9?
False
Suppose -4*c - 8 = -0*c. Let v be 4 + 2/(c/2). Does 3 divide (-1)/v*-1*14?
False
Suppose l = w - 105, -319 = -3*w + 3*l + 2*l. Is w a multiple of 31?
False
Let u = -2 + -1. Suppose 6*l + l + 819 = 0. Is (-1)/((-348)/l + u) a multiple of 20?
False
Let b = 122 + -67. Does 11 divide b?
True
Let c(m) = m**2 - m + 36. Let d be c(0). Suppose -d = -3*a - a. Is a a multiple of 9?
True
Suppose 21 + 1 = 2*v. Is 11 a factor of v?
True
Let q be 327/4 + (-4)/(-16). Suppose -3*w = -3*v + 177, -v - 20 = -2*w - q. Is v a multiple of 19?
False
Let j be (6/(-15))/((-1)/10). Suppose -t - t + j = 0. Is t a multiple of 2?
True
Suppose r + k = 31, -2 = -3*r + 4*k + 56. Is 13 a factor of r?
True
Suppose s + 3 - 1 = 0. Does 31 divide 4/(-1)*-15 - s?
True
Let z = 93 - 2. Is z a multiple of 17?
False
Suppose -w + 24 = w + 5*a, 2*w + 12 = 4*a. Suppose 0*h - w*h = -28. Is 7 a factor of h?
True
Let b = 47 - 30. Suppose 0 = -3*u + b + 7. Is u a multiple of 3?
False
Let h(l) = 5*l**2 + 8*l + 6. Is 13 a factor of h(-8)?
False
Suppose -3*l + a - 2*a + 24 = 0, 4*l - 37 = -3*a. Let u(i) = -i + 1. Let j be u(l). Is 18 a factor of j/9*-33*2?
False
Let y be ((-10)/15)/((-4)/246). Let n = y - 21. Is n a multiple of 20?
True
Let l be 3/(1 + (-3)/12). Suppose -l*i + 2*i = -4. Let g = i - -17. Does 19 divide g?
True
Let z = -8 + 8. Suppose z = -2*o - 2*o + 16. Is o even?
True
Suppose 90 = -0*t + 5*t. Is 6 a factor of t?
True
Suppose -5*d - 587 = -4*p, -5*d + d - 451 = 3*p