+ 3. Does 11 divide y(-9)?
True
Suppose 2 = 5*r + 32. Is 9 a factor of (-13 + 1)/(r/8)?
False
Let g(y) = y**2 + 3*y - 3. Does 3 divide g(-5)?
False
Let j be (5/2)/((-2)/4). Let i(q) = -3*q - 3. Let r be i(j). Let a = -7 + r. Is a a multiple of 3?
False
Suppose 0 = -2*u + 4*u - 10. Suppose -y = y + 2*l - 16, -u*y = -5*l. Suppose 2*b + a - 20 = -a, -2*a = -y*b + 64. Is 7 a factor of b?
True
Let j be 12/7 - 4/(-14). Suppose 0 = -5*d + 2*i - 9 + 121, -5*d + 140 = 5*i. Suppose 0 = -z - j*z + d. Is 8 a factor of z?
True
Let f(a) = a**3 + 9*a**2 + 13*a + 12. Is 21 a factor of f(-6)?
True
Let s = -2 + 90. Let g be s/2*(-3)/(-4). Suppose -l - 2*l - g = -3*b, l = 4. Is b a multiple of 15?
True
Let v = 100 + -165. Let x = v - -140. Does 8 divide (x/6 + -2)*2?
False
Suppose 4*k - 22 = 30. Suppose 0 = 3*u - z - 2*z - 21, -u = 2*z - k. Does 7 divide u?
False
Suppose 5*l - 3*x + 5 = -0*x, 5*l - 35 = -5*x. Suppose l*g = -3*g + b + 60, -5*b = 25. Is 11 a factor of g?
True
Let m = -4 + 4. Suppose m = 5*s - u - 22 - 192, 226 = 5*s - 4*u. Does 14 divide s?
True
Let v(n) = -n**2 + 5*n - 1. Let g be v(4). Suppose 8*y = g*y + 70. Does 7 divide y?
True
Let n(o) = o**2 + 4*o + 3. Let y be n(-3). Let i = 4 + y. Suppose -92 = i*v - 6*v. Does 18 divide v?
False
Let y(i) = -i**3 - 6*i**2 + 6*i - 2. Let p be y(-7). Suppose -a = -4, -4*j = -p*a - 83 + 31. Suppose -w = w - j. Does 4 divide w?
False
Let d(v) = -v**3 + v**2 + v + 120. Let b be d(0). Suppose -12*s - b = -15*s. Is 8 a factor of s?
True
Let v be -2 + 1/(2/12). Let m be 3/(2/(v/2)). Suppose -6 = 2*a - 2, -m*y + 47 = 5*a. Does 10 divide y?
False
Is 9 a factor of (-1150)/(-30) - (-2)/(-6)?
False
Suppose -2*n + 3*r + 26 = 0, -12 = -r + 4*r. Suppose n - 187 = 5*w. Let m = w - -65. Is 9 a factor of m?
False
Let a = 13 - 10. Suppose 6*f - a*f = -3*h + 15, 5*f - 7 = -2*h. Does 4 divide h?
False
Let r(u) = u**3 - 13*u**2 + 12*u + 9. Is 9 a factor of r(12)?
True
Suppose -3*a + 6 = -a. Let h = a + -4. Let x = 31 - h. Does 16 divide x?
True
Let v be (-2)/6 + 20/6. Suppose 0 = -5*o + 5*r + 50, v*o + r - 30 = -2*r. Does 5 divide o?
True
Let b(c) = -c**2 - 6*c - 2. Let t be b(-5). Suppose -28 = -5*w - t. Is w a multiple of 5?
True
Suppose -5*o - 5 = -20, -3*v + 201 = -4*o. Suppose -w + v = -p, -3*p = -3*w + 5*w - 117. Is 30 a factor of w?
False
Let u = -25 - -40. Let g = 1 + u. Does 16 divide g?
True
Suppose -2*h = -2*w - 42, -2*h + 0*h + 4*w + 34 = 0. Is h a multiple of 4?
False
Suppose -1 = 5*d - 11. Let j(a) be the first derivative of a**3 + 3*a**2/2 - a + 11. Is 10 a factor of j(d)?
False
Let t = -10 + 13. Suppose -7*n + 88 = -t*n. Does 11 divide n?
True
Suppose -5*j = d + 13 - 36, 0 = d + 4*j - 25. Does 11 divide d?
True
Let n(k) = -3*k**3 - 10*k**2 + 15. Does 12 divide n(-6)?
False
Let g(x) = 2*x**3 - 4*x**2 - 4. Does 13 divide g(3)?
False
Let l = 149 - 84. Is 13 a factor of l?
True
Is 50*-1*8/(-20) a multiple of 20?
True
Is (-30)/(-12)*(-18)/(-5) a multiple of 2?
False
Suppose -a - 2*t = -218, -a = -0*a - 3*t - 233. Is a a multiple of 40?
False
Let y(x) = -x. Let z(c) = -c**2 - c. Let g(u) = 4*u**2 + 9*u + 3. Let h(l) = -g(l) - 5*z(l). Let b(p) = h(p) - 4*y(p). Does 13 divide b(-4)?
True
Suppose 0 = -0*q - 4*q + 72. Does 6 divide q?
True
Suppose 2*v + 5*u + 4 + 1 = 0, 0 = v - 5*u - 35. Suppose -v*r = -5*r - 450. Is 30 a factor of r?
True
Let u(a) = -5*a - 37. Does 24 divide u(-17)?
True
Suppose -2*c + 0*c + 10 = 0. Suppose 7*i = c*i + 48. Is i a multiple of 12?
True
Let w be (-162)/(-6) + -2*2. Let x be 752/12 + 2/(-3). Suppose w = -v + x. Is v a multiple of 18?
False
Let t(v) = 2 + v + 0*v + 5. Let z be t(-5). Is 14 a factor of 452/16 + z/(-8)?
True
Suppose 5*u = 4 + 6. Suppose -r - u*r = -18. Does 10 divide (-5)/(((-3)/r)/1)?
True
Let v(i) = 13*i - 2*i**2 + 0 - 4*i + i**2 - 2. Is v(7) a multiple of 12?
True
Suppose z = -2*x + 6*x - 106, 3*x - 76 = -z. Is 26 a factor of x?
True
Let g = 5 - 9. Let m be 1/(-2) + (-18)/g. Suppose -5*r + 61 = -2*h - 28, -2*r = m*h - 50. Is r a multiple of 19?
True
Let r be (-5)/(-4) + 2/(-8). Suppose -2*m = -r - 17. Let t = m + 25. Is 14 a factor of t?
False
Let n(g) = 2*g**2 + 4*g - 5. Let l be -8 - 2 - (-4 + 4). Let r = l + 6. Is 4 a factor of n(r)?
False
Let x = -5 - -5. Suppose 2*a - 3*a + r + 6 = x, -2*a - 2 = 5*r. Suppose 3*n + a*w - 33 = 2*w, 5*n = -w + 48. Is 6 a factor of n?
False
Let p(h) = 112*h - 6. Does 4 divide p(1)?
False
Suppose -2*l + 13 = -5. Let m = l - 5. Is 2 a factor of m?
True
Suppose t + 3 = 5*j, j = -3*t - t + 9. Suppose t*r = 4*r - 110. Is r a multiple of 11?
True
Does 4 divide 39/1*10/15 + 2?
True
Suppose y + 101 = -5*o - 339, -o + 3*y - 72 = 0. Let t = o - -52. Let k = t + 64. Does 10 divide k?
False
Let v(x) = 3*x**3 + x**3 - 4*x**2 - 3*x**3 - x. Suppose -2*p + 19 - 9 = 0. Is v(p) a multiple of 10?
True
Let o(m) = m**3 - 12*m**2 + 20*m + 16. Is 2 a factor of o(10)?
True
Let u = 398 + -274. Is 37 a factor of u?
False
Let q(u) = 2*u + 4 + u**3 - 3*u**2 - 2 - u**2. Does 10 divide q(4)?
True
Let b = -3 + 6. Suppose -5*o + b*z - 7 = 57, 0 = -5*o - 4*z - 78. Does 7 divide (o/4)/(2/(-8))?
True
Suppose 9*k + 2*m = 4*k + 60, -5 = -3*k + 5*m. Is 6 a factor of k?
False
Suppose -32 = 4*r + 40. Let w = 32 + r. Is 7 a factor of w?
True
Suppose -15 = -6*a + 93. Is a a multiple of 9?
True
Suppose 5*b = -2*s + 459, 2*b + 5*s - 264 = -b. Suppose -5*t = -5*y + 17 + b, -3*y + 5*t + 58 = 0. Is 12 a factor of y?
False
Let r(w) = 3*w - 2. Let f be r(3). Let s = f - -1. Does 7 divide 28/s*(2 + 0)?
True
Suppose -5*a - 4*r + 0*r + 782 = 0, 5*r = -2*a + 323. Suppose -3*w = -a - 98. Is w a multiple of 28?
True
Suppose -w + 51 = 4*h - 13, -5*h = w - 66. Is 28 a factor of w?
True
Let g = -74 + 155. Is g a multiple of 27?
True
Suppose k + 47 - 143 = 0. Suppose 4*i = -2*s - k, 4*s + 116 = -i - 111. Let g = s + 95. Is g a multiple of 25?
False
Let l = -104 + 146. Is 7 a factor of l?
True
Let q(f) = 5*f**2 + 3*f. Let i(g) = -3*g**2 - g. Let m(v) = 7*i(v) + 4*q(v). Let x be m(4). Suppose -x*r + 3*r + 1 = n, r + 4*n + 8 = 0. Is r even?
True
Suppose 56 = 32*m - 28*m. Does 3 divide m?
False
Does 4 divide (-3 - 21/(-9))/((-8)/132)?
False
Suppose 12 = -3*q, -5*y - q = -4*q - 32. Suppose 16 + 28 = -y*x. Let i = x - -43. Is i a multiple of 12?
False
Let n(y) = 0 + y**2 + 6 - 8*y + 4*y. Let j = -3 + 9. Is 14 a factor of n(j)?
False
Suppose -2*k - 3*w + 15 = -k, -21 = -4*k + w. Let d(f) = f**2 - 4*f - 5. Is 7 a factor of d(k)?
True
Suppose 2 = -2*p + 8. Suppose -b = -p*b. Suppose b = -4*a + 13 + 15. Is a a multiple of 7?
True
Let q = 15 + -10. Suppose 0 = -q*v + 11 - 1. Suppose r - v*c = 4*r - 8, c + 5 = 0. Does 5 divide r?
False
Is 18 a factor of 2/5*-5 - (-146 - 1)?
False
Let x(v) = v + 5. Let o be x(0). Is o*-1*3/(-5) a multiple of 2?
False
Let t be -40 + (3 - 2) + -2. Let o = t + 100. Suppose -3*n + 10 = -o. Does 14 divide n?
False
Let g = 79 + 33. Suppose -4*z + 0*z + g = 0. Suppose -2*x - z = -3*x. Does 16 divide x?
False
Suppose 0 = m + m. Let w = m - -2. Is w a multiple of 2?
True
Let t be ((-2950)/(-40))/((-1)/(-8)). Suppose 5*q - t = -0*q. Is 24 a factor of q?
False
Does 13 divide (24 - -1) + (-4)/2?
False
Let f(a) = 5*a**2 + 11*a - 14. Let w(q) = -14*q**2 - 32*q + 41. Let z(h) = 17*f(h) + 6*w(h). Let l = 70 - 63. Is z(l) a multiple of 11?
True
Suppose -10 = 2*y + 2*o + 2*o, y + o = 0. Is y a multiple of 3?
False
Let u = -5 - -5. Suppose 3*z = -u*z + 123. Suppose -121 + z = -2*g. Is g a multiple of 11?
False
Let y(p) = -p**3 - p**2 - p + 20. Let f be 0/(-2*(-1)/1). Is y(f) a multiple of 7?
False
Let n(x) = -3*x**3 + 2*x**2 - 3*x + 1. Let c be n(2). Let b be 0/(-1) - (0 - c). Let s = b + 42. Is 15 a factor of s?
False
Suppose j - 2*j + 3*a - 12 = 0, 3*j - 2*a = -8. Let r = j - -44. Does 15 divide r?
False
Let z = 38 + -5. Is z a multiple of 11?
True
Let j be (-1)/(-2) + (-62)/(-4). Let c = 26 - j. Is 10 a factor of c?
True
Suppose -2*q - 48 + 122 = 0. Is q a multiple of 5?
False
Let b(g) = 4*g**3 + 3*g**2 - g - 2. Let m(q) = -q. Let j be m(-4). Suppose -4*a + 6 = -a + h, -2*a + j = 5*h. Does 20 divide b(a)?
True
Suppose -5*u + 39 = 5*d - 51, 60 = 5*d - u. Is d a multiple of 13?
True
Let t(b) be the first derivative of -b**3/3 - 5*b**2 + 3*b + 4. Is t(-8) a multiple of 14?
False
Let y(d) = -d