 1. Suppose 43 + 1 = a*n. Suppose 0 = -5*r + 74 + n. Does 17 divide r?
True
Let b = 313 - 153. Is b a multiple of 22?
False
Let t(o) = -o**3 - 4*o**2 - 3*o + 3. Let f be t(-3). Suppose 55 = 2*k + 5*b, b = f*b - 6. Is 10 a factor of k?
True
Let i be 4/8 + (-110)/4. Let q = 6 - i. Is q a multiple of 11?
True
Let h = 12 + -10. Suppose 5*b + h*i - 62 = 0, -b - 2*i - 2 = 2*i. Is 7 a factor of b?
True
Suppose 3*d + 12 = 2*o + 5*d, -4*o - 3*d = -20. Suppose o*r = 3*r. Suppose m + m - 72 = r. Does 14 divide m?
False
Let n be 16/6 - (-8)/(-12). Suppose -1 = -n*g - 11. Let j = g + 8. Is j a multiple of 3?
True
Let h = 6 - 15. Let t = 54 + h. Does 9 divide t?
True
Suppose w - 1 = 0, 6*n + 5*w - 125 = n. Is 8 a factor of n?
True
Let d(u) be the first derivative of 34*u**3/3 - u**2/2 - u - 2. Let r be d(-1). Suppose 0 = -4*j + 74 + r. Does 11 divide j?
False
Let g(p) be the third derivative of 0*p + 0 + 2*p**2 + 1/30*p**5 - 1/24*p**4 - 2/3*p**3. Is 11 a factor of g(3)?
True
Suppose -3*o - 2*o = m - 135, -5*m + 535 = -3*o. Suppose 2*n - 4*g - 60 = 0, 4*n - 3*g = -0*n + m. Does 7 divide n?
False
Let p = -28 + 40. Suppose -2*z - z = -p. Suppose -37 = -z*a + 4*i + 39, -5*a = -4*i - 94. Is 9 a factor of a?
True
Let m(b) = b**3 - 8*b**2 - b + 11. Let p(x) = 7*x**2 + 1. Let i(l) = -6*l**2 - 2. Let v(o) = 2*i(o) + 3*p(o). Let u be v(1). Does 3 divide m(u)?
True
Let x = 2 + 0. Suppose -2*z - x*p = -10, -6 = -5*z - p + 7. Is 6 a factor of -2*(21/z)/(-3)?
False
Suppose -9*l + 240 = -4*l. Does 12 divide l?
True
Suppose 70 = 24*b - 22*b. Does 17 divide b?
False
Let m(g) = 4*g**2 + 4*g. Let v be m(-4). Suppose 5*f - v = -d, 4*d + 5*f - 26 = 151. Is 13 a factor of d?
False
Suppose -72 = 105*r - 107*r. Is 3 a factor of r?
True
Let w(o) = -o**3 + 3*o**2 + 7 - 4*o**2 + 5*o - 4*o**2 + o**2. Let z be w(-5). Suppose 2*x - 3 - z = 0. Is x a multiple of 3?
False
Let m = 10 + -8. Suppose -72 = -m*j - j. Is j a multiple of 8?
True
Let f(y) = -27*y**3 + 1. Does 14 divide f(-1)?
True
Let t be 200/72 - (-6)/27. Is 4 - (8 - t) - -3 even?
True
Does 12 divide ((-2)/((-8)/60))/((-1)/(-4))?
True
Let d(w) = -2*w**2 + 44*w - 7. Is 18 a factor of d(18)?
False
Suppose -110 = -m + 6*m. Is 5 a factor of 154/10 - m/(-55)?
True
Suppose -2*c - 5*t = 6, 20 = 5*c - 0*t - 5*t. Suppose 0*v = -v - 4*g - c, 2*g = 0. Is ((-12)/3 - v) + 11 a multiple of 9?
True
Suppose -4*a = -6*a + 44. Is 11 a factor of a?
True
Let d(o) = -1 + 16 + 4*o - 3*o. Let v be d(0). Let g = -2 + v. Is g a multiple of 13?
True
Let c(m) = -m**3 - 6*m**2 + 2. Let n be (-87)/15 + (-3)/15. Let i be c(n). Is 2 a factor of 5 + (-1)/(i - 1)?
True
Let h(u) = -32*u - 3. Let q be h(-2). Suppose -q = -2*n - 5*m, -m = 2*m - 15. Suppose 4*g - 3 = -2*d - 9, 2*d - n = 2*g. Is 2 a factor of d?
False
Suppose 0 = 5*v + 3*q - 81, v + 3*v - 69 = -q. Is 4 a factor of v?
False
Let a(t) = t + 8. Let x be a(-6). Suppose 3*g + x*g = -10. Does 9 divide (7 + g)*16/5?
False
Let q(r) = -r**3 - 3*r**2 + 2*r + 1. Is 9 a factor of q(-4)?
True
Suppose 203 = 5*s - 4*z, z - 37 = -2*s + s. Suppose 0 = -4*m - 3*j + 66, -4*m + 31 + s = j. Is m a multiple of 9?
True
Let m = -190 + 342. Is 19 a factor of (-1 - 0)/((-4)/m)?
True
Suppose -6*w = -4*w - 90. Suppose -2*p + w = -21. Is 15 a factor of p?
False
Suppose 3*w - 2*r - 623 = 0, -215 = -w + 4*r - 7*r. Is w a multiple of 10?
False
Suppose 4*z - 5*o - 6 = 3*z, 3*o = 6. Is 8 a factor of z?
True
Suppose -2*k + q = -14, -2*q + 7*q - 29 = -k. Is k a multiple of 9?
True
Suppose 0 = -3*u - u + 116. Does 7 divide u?
False
Suppose -5*i - 3 + 28 = 0. Is i a multiple of 2?
False
Suppose 4*t = 4*k - 364, -15 = -t - 2*t. Does 8 divide k?
True
Let j(d) = d - 8. Let a be j(6). Let n(p) = -2*p**3 - 2*p**2 + p - 1. Does 2 divide n(a)?
False
Suppose i - 21 = -2*i. Suppose i*f - 3*f - 252 = 2*u, -2*u = -f + 66. Let s = -33 + f. Is 10 a factor of s?
False
Suppose 2*u = 2, -4*u - 73 = -5*n + 48. Does 25 divide n?
True
Let s = 15 + -10. Suppose -s*f + 54 = -1. Is 6 a factor of f?
False
Let f be -11 + ((-1)/1)/(-1). Let n = 1 + f. Let i = n - -15. Does 6 divide i?
True
Suppose 2*z + q + 4*q - 66 = 0, z - 34 = -3*q. Is 6 a factor of z?
False
Suppose -4*r = -2*r. Suppose 2*q - 5*q + 212 = t, r = -2*q - t + 143. Is q a multiple of 24?
False
Suppose -2*z + 0*z - 12 = 2*i, 5*i + 4*z = -26. Let x(c) = -8*c - 1 + 3 + 0. Is x(i) a multiple of 9?
True
Suppose -4*t + 175 = -3*o, -o + 41 - 6 = t. Let b = -15 + t. Does 7 divide b?
False
Let w(h) be the third derivative of -h**4/24 + 2*h**3 + h**2. Let k be w(9). Suppose -p + 33 = -0*p + k*s, -4*s = 2*p - 64. Is 15 a factor of p?
True
Suppose 0 = 3*u - 0*m - 3*m - 18, 30 = 5*u - 4*m. Is 2 a factor of u?
True
Let l(v) = -v**3 + 9*v**2 + 5*v + 2. Is l(5) a multiple of 28?
False
Let i be (-24)/(-9) + (-1)/(-3). Let o(w) = 2*w**3 - w**2 - 3*w - 2. Does 17 divide o(i)?
True
Let k = -50 + 71. Is k a multiple of 7?
True
Suppose -v = -58 - 2. Does 5 divide v?
True
Suppose -2*n + 486 = 2*l, 9*l = 14*l - 2*n - 1236. Is l a multiple of 41?
True
Let j(p) = 88*p**2 - 6*p + 5. Let u(t) = 87*t**2 - 7*t + 6. Let n(i) = 6*j(i) - 5*u(i). Does 28 divide n(1)?
False
Let y(h) = -h**2 - 2*h + 2. Let j be y(-2). Suppose -4*v + 0*m + 172 = -m, -j*m + 8 = 0. Suppose 0 = -4*r - v + 172. Does 16 divide r?
True
Let y(n) = n - 8. Let v be y(11). Suppose -4*m - 3*p + 51 = 0, v = 3*p - 0. Does 4 divide m?
True
Suppose 2*k - 202 = b + 147, 0 = -4*b - 12. Does 11 divide k?
False
Let z(r) = -r**2 - 5*r + 10. Let f(a) = 2*a - 1. Let x be f(-3). Let v be z(x). Let c = 20 - v. Is 12 a factor of c?
True
Let b = -245 + 483. Does 18 divide b?
False
Suppose -32 = -8*d + 6*d. Does 16 divide d?
True
Let t(j) = -j**2 + 4*j + 1. Let m be t(2). Suppose 0 = -m*i - 22 - 38. Is (-158)/(-4) - i/(-8) a multiple of 19?
True
Suppose 20 = 5*n, -4*n - 2 = 3*a + 6. Let s = a + 15. Let w(i) = i**2 - 7*i + 8. Does 8 divide w(s)?
True
Let v be 12/(-3)*(-1)/2. Suppose 128 = 2*g + v*g. Is 15 a factor of g?
False
Let g(u) = u - 11. Let m be g(8). Does 2 divide 12 + -2 + m - 4?
False
Suppose -143 = -3*x + g, 8 - 64 = -x + 2*g. Is 6 a factor of x?
False
Let k(a) = a**3 + 4. Let x be k(0). Let z be (-1)/x + 17/4. Suppose -z*v + 3*v = -11. Is 11 a factor of v?
True
Let c be 2/5 + 12/(-30). Suppose -2*n + 3 = -3. Suppose -105 = -c*k - n*k. Is 15 a factor of k?
False
Suppose 5*v - 240 = 5*x, 4*v + 228 = -4*x - v. Let q = -34 - x. Is q a multiple of 6?
True
Let d = -14 - -8. Does 4 divide 24*((-8)/d - 1)?
True
Let d(h) = -2*h**3 - 4*h**2 - 6*h - 4. Let g be d(-4). Let o = g - 58. Is 14 a factor of o?
False
Suppose -q = q + 14. Let l(w) = 2*w**3 - 7*w**2 + 3*w + 9. Let v(c) = -3*c**3 + 7*c**2 - 4*c - 9. Let r(t) = 4*l(t) + 3*v(t). Does 7 divide r(q)?
False
Let s be 69/15 - 4/(-10). Let r(y) = -y**3 + 6*y**2 + 5*y + 1. Does 17 divide r(s)?
True
Let i be (-2)/2*(1 + 4). Let q(p) = p**3 + 4*p**2 - 6*p - 4. Let g be q(i). Is 2/g + 7 + -2 a multiple of 3?
False
Let n(c) = -c**2 - 6*c - 3. Suppose 12 = -4*z + z. Let h be n(z). Suppose 2*s - 2 = h*x + 78, -37 = -s + 4*x. Is 18 a factor of s?
False
Does 12 divide 4 - 1 - (2 + -57)?
False
Let w(j) = j + 3. Let m be w(-1). Suppose -29 = -m*d + 39. Is d a multiple of 19?
False
Let j be (30/(-4))/(-1)*-22. Does 13 divide 3 - 1 - j/5?
False
Suppose 8 = 2*n, 0 = -q - n - 2*n + 66. Let j = -32 + q. Is j a multiple of 22?
True
Let m(o) = o + 11. Let l be (-36)/(-30)*(-10)/2. Does 4 divide m(l)?
False
Let d be 4/(-5)*(-5)/2. Suppose -2*b - 2*z - 6 = 0, 0 = 5*b + z - d*z - 3. Let h = 17 - b. Is 10 a factor of h?
False
Let x(q) = -q**2 - 5*q + 2. Let j be x(-5). Suppose j*r - 7*r = -215. Suppose h + 4*y - 22 = -h, -r = -3*h - y. Does 9 divide h?
False
Suppose 5*j - 96 = 34. Suppose -4*k + 89 = 3*c, -2*c + j = -k - 3*k. Is c a multiple of 6?
False
Suppose -4*l - 2 = -30. Does 9 divide (-16)/(-56) + 61/l?
True
Let j(i) = 12*i**2 - i. Let v(d) = -d**3 + 7*d**2 - 5*d - 7. Let t be v(6). Let z be (t - -2)/((-1)/(-2)). Does 16 divide j(z)?
False
Let y = 0 + -1. Let j be (y - 1) + 1 + 0. Does 3 divide j + (0 + -1 - -10)?
False
Let g(o) = 2*o**3 - 3*o**2 + 7*o - 3. Let m be g(3). Suppose -m = -a - 16. Is 5 a factor of a?
False
Suppose 0 = 5*h - 0*d - 5*d - 55, -32 = -4*h + d. Let g = h - 1. Is 2 a factor of g?
True
Let d = 28 - 14. Let x(f) = 