f a - (-1 - 0 - 1)?
False
Let h be 80/12 + 2/(-3). Suppose j + 20 = h*j. Suppose -z = -4*x - j, 2*x + 53 = 2*z + 3*x. Does 11 divide z?
False
Let z(r) be the first derivative of 2 - 7/3*r**3 - 1/4*r**4 + r - 1/2*r**2. Is z(-7) a multiple of 8?
True
Suppose 108 + 21 = 5*r + 4*u, 0 = -5*r + 3*u + 122. Is r a multiple of 5?
True
Suppose 0 = -5*g - 2*q - 27, 4*q + 25 = -5*g + 6. Let l(b) = -b**3 - 6*b**2 + 6*b + 5. Is l(g) a multiple of 6?
True
Suppose -2*h + 0 = 3*r - 3, 2*h + 2*r = 0. Let k = 90 + h. Does 20 divide k?
False
Suppose -4*h + 0*h + 16 = 0. Suppose -z - 2*t + 11 = -37, h*z - 2*t - 162 = 0. Does 14 divide z?
True
Suppose 5*y - y = 3*i - 31, 4*y + 5*i + 23 = 0. Let z be (6/9)/(5/(-90)). Let f = y - z. Is 3 a factor of f?
False
Let p be 2/7 + 156/42. Suppose u + p*d = d + 31, -2*d = 5*u - 220. Does 23 divide u?
True
Let g = 546 - 366. Does 15 divide g?
True
Suppose -d + 2 = -2. Is 6 a factor of 5 - (2 - d - -1)?
True
Is 2 a factor of (-32)/(-112) - (-26)/7?
True
Let n = -44 - -18. Let j = 56 - 94. Let q = n - j. Is 12 a factor of q?
True
Let t(f) = -4*f + 1. Let g = 7 + -8. Let j be t(g). Suppose 0*w + 25 = j*w. Is 3 a factor of w?
False
Is (6/8)/(3/(-86))*-2 a multiple of 4?
False
Let s(v) = 2*v**2 - 3*v**2 + 0 + 1. Let w be s(3). Is ((-18)/w)/(1/12) a multiple of 10?
False
Let u(o) = o**2 + 3*o + 2. Let l be u(-2). Suppose 2*c + 2*c = l. Suppose 7*r - 2*r - 140 = c. Does 14 divide r?
True
Is 11 a factor of (-4)/(-14)*116 - (-8)/(-56)?
True
Let x(h) = -5*h + 1. Is 2 a factor of x(-2)?
False
Let m(r) = r**3 + 12*r**2 + 13. Is m(-12) a multiple of 5?
False
Let k(j) = -j + 8. Let u be k(9). Does 2 divide (u/2)/(2/(-12))?
False
Let p be (-3 + (-1 - -2))/(-1). Suppose 4*d = -p*a - 3*a + 12, 0 = -4*a. Does 3 divide d?
True
Suppose -65 = 2*p - 4*l - 189, 4*p = -2*l + 298. Is p a multiple of 12?
True
Let c(v) = v**2 + 5*v + 11. Is c(-3) a multiple of 4?
False
Suppose 18 + 32 = 5*g. Is 2 a factor of g?
True
Suppose 2*k - k = 0. Suppose -n - 2*n - 12 = k. Let f = n + 19. Is f a multiple of 15?
True
Let f = -8 - -12. Is 2 a factor of f?
True
Let m = 13 - 9. Is m a multiple of 2?
True
Let v = 40 - 31. Let p(b) = -13 - 4*b + b**2 + 1 + 0*b. Does 9 divide p(v)?
False
Does 23 divide 12/78 + 1192/26?
True
Suppose d - 43 = -h, 0 = 5*h - 0*h - 3*d - 223. Is 22 a factor of h?
True
Let t be 6*((-3)/(-6) - 0). Let y(f) = -f**3 + 4*f**2 - 2*f - 3. Let i be y(t). Suppose -w + 0*s = 3*s - 16, -2*w + s + 25 = i. Is 13 a factor of w?
True
Let m = 23 - 17. Is 3 a factor of m?
True
Suppose 9 - 39 = -6*p. Is p a multiple of 5?
True
Does 11 divide (-1786)/(-18) - (-9)/((-162)/4)?
True
Let x = -9 + 7. Let o(t) = t + 1. Let p be o(x). Does 15 divide (3 - 23/p) + 2?
False
Let m = -43 - -195. Does 14 divide m?
False
Let h(q) = q**2 + 2*q + 9. Let k = 14 + -21. Is 22 a factor of h(k)?
True
Suppose 5*q = 4*c + 805, 5*q + 4*c = 747 + 98. Is q a multiple of 33?
True
Suppose -12 = -d + 4*d, -n + d + 9 = 0. Let x(l) = l**3 - 4*l**2 - 5*l. Let i be x(n). Suppose 5*f - 44 = -3*c, i*c + 4*f = c - 26. Does 9 divide c?
True
Is 902/77 - (-4)/14 a multiple of 4?
True
Is 17 a factor of (-496)/(-6) + (-4)/(-12)?
False
Let d(z) = z**3 - 6*z**2 - 3*z. Let u(q) be the first derivative of q**4/4 - 2*q**3 - q**2 - q + 3. Let b(y) = 5*d(y) - 6*u(y). Is 9 a factor of b(5)?
False
Suppose 9*m - 48 = 8*m. Is 15 a factor of m?
False
Suppose 0*x + 4*x - 132 = 0. Let h = 42 - 62. Let v = h + x. Is v a multiple of 6?
False
Is 5 a factor of (24/(-10))/((-5)/((-75)/(-6)))?
False
Suppose 4*i = -5*a + 111, 0*i - a - 117 = -5*i. Does 24 divide i?
True
Let x = 13 + -8. Suppose -f - 3 = -0*f - 3*k, -x*f - 5*k = -65. Is f a multiple of 9?
True
Let i = -42 + 72. Is 15 a factor of i?
True
Let p = 1 + 5. Suppose -5*v + p*c + 10 = c, 3*v = c + 14. Is v a multiple of 6?
True
Suppose -y + 4*f = 22, 3*y = -0*f + 3*f - 21. Is 2 a factor of (y/4)/((-2)/16)?
True
Is 21 a factor of 21/9*(39 - 3)?
True
Is 2 a factor of (-5)/(3 + (-20)/6)?
False
Suppose 9*v - 94 = 7*v. Is v a multiple of 12?
False
Let k = -2 - -6. Suppose 142 = k*x + 30. Is x*(-3)/(-5 - 1) a multiple of 14?
True
Is 25 a factor of (-606)/(-24) - 2/8?
True
Let u(y) = -14*y + 52. Does 35 divide u(-16)?
False
Suppose 0 = 5*c - 0*c. Suppose c = -4*x - 0*x + 76. Is 10 a factor of x?
False
Let t(h) = -4*h + 12. Is t(-8) a multiple of 9?
False
Suppose 2*y - 26 = -0*u - 4*u, 0 = -4*u. Suppose -b - s = -9, -3*b + 5*s + 4 = 1. Let i = b + y. Does 19 divide i?
True
Let v = 111 - 96. Is v even?
False
Let x(n) = -n**2 + 9*n - 5. Let r be x(7). Suppose 3*k = -p + r, -p = -0*p - 5*k + 15. Suppose -o - 4*b + 44 = p, 4*b = o - 26 + 6. Is 16 a factor of o?
True
Suppose 2*m - 21 = -4*v + 17, -v = -5*m + 7. Suppose 5*y + 4*r = v, 4*y - 7 = -6*r + 3*r. Is y a multiple of 2?
True
Let i(t) = t**3 - 10*t**2 + 8*t + 5. Suppose -3*s - 2*s + 50 = 0. Is i(s) a multiple of 17?
True
Is 18 a factor of (-34)/(2/8*-2)?
False
Suppose -v - l = -5*v + 277, -2*l = -6. Let h = -18 + v. Suppose h = 7*d - 3*d. Does 13 divide d?
True
Let i be (-7)/(-35) - 374/(-5). Suppose n = 6*n - i. Is 4 a factor of n?
False
Suppose -9*r - 76 = -418. Is 10 a factor of r?
False
Suppose 4*u = 22 + 14. Is 3 a factor of u?
True
Let o be 5/5*1*3. Suppose -o - 3 = -3*z. Is 2 a factor of z?
True
Let q(h) = 2*h + 12. Does 14 divide q(6)?
False
Let z(v) = -v**2 - 6*v + 9. Suppose -4*y = 3*u + 37, -u = 2*y - 4*u + 5. Let m be z(y). Is 4 a factor of (6 - (0 - -1))*m?
False
Let p be -2*5*2/4. Let j = -38 - -26. Let s = p - j. Does 7 divide s?
True
Suppose -14*k + 140 = -4*k. Is k even?
True
Let y(k) = 4*k**2 - 1. Let x be y(1). Let h = 1 + x. Does 8 divide (-2)/h + 51/6?
True
Let o(t) be the third derivative of -t**6/120 + 7*t**5/60 + t**4/24 + t**3 + 5*t**2. Does 3 divide o(7)?
False
Suppose 2*z + 0*z + 2*y - 70 = 0, -3*z = -y - 93. Suppose 5*j - z = j. Does 3 divide j?
False
Is 12 a factor of 4*(-74)/12*(-15)/2?
False
Let b = -1 - 6. Let v = b + 11. Is 3 a factor of v?
False
Suppose -2 + 12 = 2*s. Suppose -s*d = -z - 35 - 41, -4*d + 4*z + 48 = 0. Is 8 a factor of d?
True
Let h = -9 - 5. Let s be 1/(h/(-6) - 2). Suppose -s*a = -46 + 7. Does 5 divide a?
False
Let g(x) = -6 + 0*x - 2*x - x + 2*x. Let b be g(-9). Suppose 5*q - b*o - 167 = -2*o, 2*o - 176 = -5*q. Is 17 a factor of q?
True
Let v(p) = p**3 - 4*p**2 - p + 4. Suppose 7 = 2*d - 1. Let g be v(d). Suppose -4*b + 0*b + 24 = g. Is b a multiple of 3?
True
Suppose 3*x = 3*i + x - 23, -2*x = 8. Let c be 2/i - (-316)/10. Suppose -2*j = -0*j - c. Is j a multiple of 8?
True
Let p = 0 + 4. Suppose -p*v + v = -69. Does 11 divide v?
False
Suppose 0 = -d + 3*d - 6. Let r = d - -15. Suppose 3*g = 2*s + r, 3*s - 7 + 36 = 5*g. Is 4 a factor of g?
True
Let c(q) = q**2 + q - 3. Let y be c(-3). Suppose 4*x = y*x + 12. Is 4 a factor of x?
True
Does 12 divide -1*(-1 + 4) + 87?
True
Let f(i) = -i**2 - 12*i - 7. Suppose 2*a + 15 = -2*n - 5, 5*a = -4*n - 41. Is f(n) a multiple of 3?
False
Is -2*1686/(-15) + (-2)/(-10) a multiple of 15?
True
Suppose 8 = 5*l - 3*l. Suppose l*v = -v. Suppose v*m = -4*m + 76. Is m a multiple of 11?
False
Suppose 0 = 6*p - 7 - 5. Suppose -3*m - 47 = -b, -p*m = -5*b + 2*m + 180. Does 32 divide b?
True
Suppose 9 = 3*p - 0*p. Let a(x) = -x**3 + 5*x**2 + 4*x - 4. Let t be a(p). Let d = t - -15. Does 16 divide d?
False
Let l(i) = 8*i**2 + 2. Let s be l(2). Let o(y) = y**3 - 5*y**2 - 5*y + 15. Let t be o(6). Let q = s - t. Is q a multiple of 13?
True
Let o be (0 + -7)/(-1) + -3. Suppose 5*w - 22 = -n, -2*n + o*w = w - 44. Is n a multiple of 16?
False
Let q(x) = 64*x**2 + 2*x - 2. Is q(1) a multiple of 22?
False
Suppose 5*v - 4 = -4*b + b, -v + b = -4. Let m = 0 + v. Is 2 a factor of m?
True
Let w = -3 - -1. Let o be 3/w*(-2336)/(-12). Is 4/10 + o/(-20) a multiple of 15?
True
Let h = -17 + 22. Suppose -3*u - 5*t + 21 = 0, -u - 4*t + t + 11 = 0. Suppose 4*q = 0, -h*o - u*q + 2 = -23. Is o a multiple of 5?
True
Suppose -a - 3*u = -66 - 2, 3*a - 228 = -u. Is a a multiple of 34?
False
Suppose -5*w = 2*y - 3*w - 16, 0 = 3*y - 4*w - 10. Is 20 + -1 - (y + -3) a multiple of 11?
False
Let b be -2 - 5/((-20)/224). Suppose -5*l + 16 = -b. Is l a multiple of 7?
True
Let n be 2/6 - 2/(-3). Let f(w) = 15*w**3 + w - 1. Let y be f(n). Is 1*(1 + y) - 2 a multiple of 4?
Fals