uppose -f*c = -22 - 26. Does 12 divide c?
True
Suppose 8 = 9*t - 37. Is t a multiple of 3?
False
Let f = 81 + 57. Suppose 0 = 4*o + 4*j - f + 50, 3*o - j = 50. Is o a multiple of 6?
True
Suppose t = 5*g - 222, 0 = 5*g - 2*g - t - 132. Is 16 a factor of g?
False
Let b = -57 + 109. Suppose -2*f - 107 = 2*x - 33, 4*x + 5*f + 150 = 0. Let n = b + x. Is 11 a factor of n?
False
Let t = -5 - -7. Suppose -t*b + 24 = -4*l, -5*l = -0*l + 15. Suppose 3*o = -b*q + q + 42, 3*q = 5*o - 104. Is o a multiple of 10?
False
Suppose 5*o + 5*b + 90 = 0, 2*b + 23 = -4*o - 43. Is 7 a factor of (30/4)/(o/(-40))?
False
Suppose -q - c = 4*c - 39, -5*c - 137 = -3*q. Suppose 3*b + 3*v - 25 = q, 0 = -b - 3*v + 33. Is 7 a factor of b?
False
Let a = 29 - 27. Let f(z) be the first derivative of z**4/4 + 2*z**3/3 + z - 1. Does 10 divide f(a)?
False
Let k(y) = 6*y - 10. Suppose 0 = 3*g + 13 - 40. Does 11 divide k(g)?
True
Suppose -7*x + 12*x = 240. Is x a multiple of 4?
True
Let d be 6/(-10) + (-8)/20. Does 7 divide (3/(-6) - d)*34?
False
Let j = 14 - -23. Is j a multiple of 11?
False
Let u be (-4)/(-10) - (-752)/20. Let c = u + 2. Does 19 divide c?
False
Let s = -6 + 8. Suppose 0 = k + s - 37. Is 19 a factor of k?
False
Suppose 0 = 2*b - 0*b + 6. Let r be 2/3 - (-2)/b. Suppose -d + 0*d + 26 = r. Does 11 divide d?
False
Let h = -18 - -23. Suppose i - 63 = -c, 75 = i - 0*c + h*c. Is 10 a factor of i?
True
Let b = 36 + -21. Let h = b - 11. Suppose 5*f - 15 = 4*r - 142, -172 = -4*r - h*f. Is r a multiple of 18?
False
Suppose 2*y - 45 = -5*k + 80, -k - 45 = -y. Suppose -5*j = -z + 20 + 15, -2*z = -5*j - y. Does 15 divide z?
True
Let m(o) = -2*o**3 - 2*o**2 + 9*o. Let a(v) = -v**2 + v. Let g(i) = -6*a(i) + m(i). Is g(-2) a multiple of 10?
False
Let g be 4*2 + -2 + 3. Let v = 20 + g. Does 11 divide v?
False
Suppose 4*t - 6 = 6. Let v = 6 - t. Does 2 divide v?
False
Let z(v) = v**3 - v**2 + 13. Let a be 3 - (-1)/(-2)*0. Let j be (a - 1) + (-2)/1. Is z(j) a multiple of 13?
True
Let w(r) = 1 + 0 + 5*r + 21*r**2 - 6*r. Is 7 a factor of w(1)?
True
Is (-57)/(-21) - 4/(-14) a multiple of 2?
False
Let h(k) = -k**2 - 2*k + 3. Let i be h(-4). Is (i - -13) + -1 + 2 a multiple of 9?
True
Let f = -46 + 76. Is 18 a factor of f?
False
Suppose 3*o = -o + 16. Suppose -4 = -5*c - 9, -o*c = -2*g + 4. Suppose -3*t + 63 - 3 = g. Is t a multiple of 10?
True
Suppose -3*m + 262 = -t, -720 + 278 = -5*m - t. Does 18 divide m?
False
Let m(g) = g**2 - 2*g - 1. Let q = 14 + -8. Let w be m(q). Let j = w - 12. Does 11 divide j?
True
Suppose -o + 19 = -17. Does 6 divide o?
True
Let w(p) be the first derivative of p**3 - 5*p**2/2 + 6*p + 4. Is 26 a factor of w(5)?
False
Does 2 divide 3/(-4) + (-46)/(-8)?
False
Suppose -20 = -4*z - 0. Suppose z*s - 79 - 66 = 0. Does 22 divide s?
False
Let y(i) = 2 + 2*i**2 - 5*i - i**3 + 0*i**2 + 3*i**2. Does 5 divide y(3)?
True
Let s(l) be the first derivative of -l**4/4 + 7*l**3/3 + l**2 + 7*l + 5. Is s(5) a multiple of 17?
False
Let s(i) = 3 + 0*i - 3 + 2 + i. Is 2 a factor of s(0)?
True
Let m be (252/(-15))/(6/(-20)). Suppose -4*q + 104 + m = 0. Suppose -r + q = 4*r. Is r a multiple of 8?
True
Let o = 1 - -55. Is o a multiple of 23?
False
Let t = 26 + -26. Is -4*((-73)/4 + t) a multiple of 22?
False
Let n(m) = m**3 - 4*m**2 - 5*m - 1. Let f be n(7). Suppose -3*y + f + 6 = 0. Is y a multiple of 13?
True
Suppose -50 - 85 = -3*m. Suppose 4*c = 508 - 196. Let k = c - m. Is k a multiple of 11?
True
Suppose -a + 420 = 3*a. Is 7 a factor of a?
True
Let j = 152 - 97. Does 14 divide j?
False
Suppose -5 = -g, -5*g = -z - 3*z + 295. Let f = z + -32. Is 16 a factor of f?
True
Let s = -28 - -26. Let n(r) = 12*r**2 - r - 2. Does 12 divide n(s)?
True
Suppose 0 = 5*u - r - 0*r - 304, -2*u - 4*r + 126 = 0. Suppose 19 = -3*a + u. Let x = 30 - a. Is 16 a factor of x?
True
Suppose -6*d + 5*d = -33. Is d a multiple of 3?
True
Let i(h) = -18*h + 1. Is i(-1) even?
False
Let s(a) = a**3 - a. Let p be s(0). Suppose -m - 5*r = -p*r + 60, 4*r = 5*m + 300. Does 5 divide ((-9)/6)/(9/m)?
True
Suppose -132 = -7*t + 4*t. Does 11 divide t?
True
Is 6/27 + (-1324)/(-36) a multiple of 4?
False
Suppose -27 - 9 = 3*h. Let g = h + 41. Is 18 a factor of g?
False
Suppose -6*g + 4*g - 8 = s, 3*s - 3*g = 12. Suppose -p + 5*p - 8 = s, -2*p = w - 18. Does 7 divide w?
True
Let n(k) = -k**2 - 8*k + 8. Let m be n(-8). Let r(l) = -l + 11. Let u be r(m). Suppose -u*a + 4*a - 11 = -q, 2*q - 2 = 0. Is a a multiple of 10?
True
Suppose 4*u - 2 = 118. Does 15 divide u?
True
Suppose -o + 188 = -2*h, -h - 41 = -o + 143. Is 10 a factor of o?
True
Is (108/9)/(2/21) a multiple of 14?
True
Let t = -20 + 28. Suppose 0 = 3*y - t*y - 10. Does 4 divide (-2 - y) + 2 - -6?
True
Suppose -8*r = -13*r + 320. Is 12 a factor of r?
False
Is 27 a factor of 4 + ((-2)/6 - 5056/(-48))?
False
Suppose 2*m = 3*c - 88, -m + 2*m = c - 28. Is c a multiple of 21?
False
Suppose -3*f + 0*f + 9 = 0. Suppose -f*h = -0*h - 99. Does 12 divide h?
False
Let u(i) = -i**3 + 3*i**2 - 3*i + 2. Let x be u(2). Suppose 0 = -b + 3*a + 1 + 11, x = -4*b + 4*a + 24. Suppose -2*f = -b*f + 14. Is f a multiple of 10?
False
Suppose 0 = 40*t - 36*t - 864. Is t a multiple of 27?
True
Let v = 38 - 25. Is v a multiple of 4?
False
Let c(i) = 14*i**2 - 3*i - 1. Suppose -12 = -3*n - 3*p, -4*n + 25 = 5*p + 4. Is 8 a factor of c(n)?
True
Let t(a) = 11*a - 4. Let u be t(-5). Let c = u + 98. Is c a multiple of 13?
True
Suppose 21 + 327 = 3*f. Suppose -3*q + q = 5*c - f, c = 4. Does 16 divide q?
True
Let n = -79 - -135. Is n a multiple of 14?
True
Let l = 125 - 31. Is l a multiple of 21?
False
Suppose -13 = -10*g + 9*g. Is g a multiple of 13?
True
Let j = 25 - -1. Is j a multiple of 13?
True
Suppose 0 = -5*h + 5*m - 15, -3*h - 11 = -2*m - 2*m. Let d be 1/((-2)/(-2)) - h. Suppose -d*i = 6, 2*y - 24 = 3*i + 21. Is y a multiple of 6?
True
Suppose 0 = -4*m - 10 + 34. Is m a multiple of 4?
False
Let y(q) = -q**3 - 18*q**2 - 17*q + 14. Is y(-17) a multiple of 14?
True
Suppose 13 - 3 = 2*c. Suppose 34 = 3*v - 5*l, -3*v - c*l + 7*l = -19. Is 2 a factor of v?
False
Suppose 0*g - 159 = -3*g. Does 12 divide g?
False
Let y be 1570/18 + (-4)/18. Let f = -26 + y. Is 21 a factor of f?
False
Let i(w) = w**2 - 4*w + 29. Is 13 a factor of i(0)?
False
Let m be (-12)/(-8)*8/3. Let r be m/22 - (-854)/22. Suppose 0 = -3*z + 4*z - r. Is z a multiple of 16?
False
Suppose 26 = s + 8. Suppose -2*w + s = -58. Is w a multiple of 19?
True
Let a(f) = -f**3 - 8*f**2 + 3*f - 2. Let q be a(5). Is 26 a factor of (q/30)/((-2)/5)?
True
Let z = 10 + -3. Let t = -39 - -66. Suppose -z = c - t. Is c a multiple of 12?
False
Is 23 a factor of 0*(-3)/(-3) - (-60 - 2)?
False
Suppose 0 = 3*p - 9, 3*q - 2 = 2*q + 3*p. Is q a multiple of 9?
False
Suppose 5*c = -4*i - 63 + 194, 5*c - 3*i = 103. Does 12 divide (c + -3)/2 + 2?
True
Let x(c) = c + 1. Let b be x(7). Let i be 9/2 + 4/b. Suppose -2*g + 73 = i*m, m + 3 = -4*g + 32. Is 13 a factor of m?
True
Let o = 4 - 7. Does 9 divide -4 - -2 - (-25 - o)?
False
Suppose 0 = -4*q + 4*a + 172, -q + a - 109 = -4*q. Is q a multiple of 13?
False
Let f be (-8)/(-6)*6*4. Suppose 4*x + 0*x - f = 0. Does 6 divide x?
False
Let k(j) = 14*j**3 + 44*j**2 - 44*j - 17. Let g(i) = -5*i**3 - 15*i**2 + 15*i + 6. Let r(a) = 17*g(a) + 6*k(a). Is 27 a factor of r(6)?
True
Let l = -6 + 62. Does 4 divide l?
True
Let z be (-1)/3 - 188/12. Is (z/(-24))/((-2)/(-138)) a multiple of 11?
False
Let y be 1/4 - (-668)/16. Suppose 2*r - 5*r = -y. Suppose 66 = 5*b - r. Is b a multiple of 8?
True
Let g be -3 + 0/2 + -7. Let q be 4/g + 33/(-5). Let z(n) = n**2 - 10. Is z(q) a multiple of 15?
False
Let l = 39 + -165. Does 3 divide (2/(-6))/(3/l)?
False
Does 14 divide 1/2*0 - -46?
False
Let f(q) = -q**2 + 11*q - 11. Let b be f(8). Let s = b + -8. Is s a multiple of 4?
False
Let y = 42 + -15. Is y a multiple of 9?
True
Let y = 61 + -128. Let s = -26 - y. Suppose -2*a - 5*w - 35 = -5*a, -4*a + w = -s. Is 10 a factor of a?
True
Suppose -11*t - 239 = -12*t. Suppose -5*q - 79 + t = 0. Is q a multiple of 11?
False
Suppose -4*v + 47 = n - 8, -n = v - 46. Does 10 divide n?
False
Suppose 3*d = -3*p + 73 + 224, -4*d + 12 = 0. Is 12 a factor of p?
True
Suppose -17 = -z + 2. Let r = 56 - z. Is r a multiple of 10?
False
Suppose 0 = -2*f + 4 - 1