le of 19?
False
Let p = 200 + -110. Is 20 a factor of p?
False
Let f(s) = 3*s**3 - s**2 - s + 1. Let h be f(-2). Let v = 18 + h. Let u = -2 - v. Is 3 a factor of u?
False
Let y be 6/9*3/(-2). Is (3 - 2)*(16 - y) a multiple of 7?
False
Suppose -z - 244 = -2*z + 4*g, -5*z - 3*g = -1289. Does 29 divide z?
False
Suppose y - 4*j - 56 = 0, 0*j - 196 = -4*y + 2*j. Is y a multiple of 12?
True
Does 13 divide (58/4)/((-10)/(-20))?
False
Let n = 144 - 82. Does 31 divide n?
True
Let k(n) = n**3 - 3*n**2 - 5*n - 4. Does 3 divide k(5)?
True
Suppose u = j - 20, -u - 14 = 3*j - 2*j. Let c = -11 - u. Let z = 26 - c. Is z a multiple of 12?
False
Let q(f) = f**2 - 8*f + 1. Let o be q(7). Is ((-3)/6)/(o/132) a multiple of 2?
False
Suppose 0*u + u = 2*i + 17, -4*u = 3*i - 46. Let k = u + 17. Is 10 a factor of k?
True
Suppose -78 = 4*y - 2*p + 20, -4*y - 93 = 3*p. Let f = -15 - y. Does 3 divide f?
True
Let o(g) = -g**3 + 8*g**2 + 10*g - 9. Let u be o(9). Let i be 0 - 1 - (1 + -8). Suppose u = -2*w + i. Is 2 a factor of w?
False
Let v be (-36)/(-126) + (-2)/7. Suppose -l = -5, -3*j + 0*l + l + 148 = v. Is j a multiple of 17?
True
Suppose -29 = -2*l + 5*u + 9, 5*u - 95 = -5*l. Does 11 divide l?
False
Let b = 104 - 74. Is b a multiple of 7?
False
Let n(c) = c**2 - 2*c - 10. Let p be n(7). Suppose 2*i + i + p = 4*r, -24 = -3*r + 4*i. Suppose -39 = -r*b + 9. Is 6 a factor of b?
True
Suppose -40 = -5*d + 10. Suppose 3*s - 11 = 3*v + 22, 2*v + d = 0. Suppose 0 = 4*f - 86 + s. Is 20 a factor of f?
True
Suppose f = 4*f + 297. Let i = 140 + f. Let t = i - 7. Is 18 a factor of t?
False
Suppose p + 14 = 2*u + 42, -3*p - 5*u + 62 = 0. Is 4 a factor of p?
True
Let u = 111 + -50. Suppose 3 - 2 = h, -u = 4*w - 5*h. Let j = w - -40. Does 11 divide j?
False
Let y(i) = -i**3 - 1. Let d(u) = -2*u**3 - 6*u**2 + u - 3. Let l(n) = -d(n) + 3*y(n). Suppose s + 4*m = 0, -4*s - 3*m - 2*m = -11. Is 12 a factor of l(s)?
False
Let l = 32 + 20. Is l a multiple of 13?
True
Let p(a) = 2*a**2 - 7*a + 7. Let i be 3/(-2)*(-20)/6. Let c be p(i). Suppose 0*l - 2*l = -c. Is l a multiple of 5?
False
Let t(a) = a**3 - 5*a**2 - 6*a. Let v be t(6). Let g(u) = -u**3 + u + 27. Is g(v) a multiple of 9?
True
Let y(p) = -p**3 + 4*p**2 + 12*p - 10. Let l be y(5). Is (-3 - -1)/(-1) + l a multiple of 9?
True
Let z(t) = -t**3 - 2*t + 5*t**2 + 2*t**3 + 4 + 3*t. Let o be 36/(-8) - (-2)/4. Is z(o) a multiple of 12?
False
Let u be 107 + 0/3 + -2. Suppose 5*j - u = -s, j + 63 = 4*j + 5*s. Is j a multiple of 18?
False
Suppose -77 = -3*f - 4*o, 5*o + 0*o + 32 = f. Does 27 divide f?
True
Suppose 8*f + 24 = 9*f. Does 8 divide f?
True
Suppose -3*w - 5*b = -4*w + 14, b = w - 22. Let p(q) = q**3 + 4*q**2 - 5*q + 2. Let d be p(-5). Suppose w = -d*h + 3*h. Does 12 divide h?
True
Let t(u) = 5*u**2 + 2. Let s be t(-4). Let b = -56 + s. Is 10 a factor of b?
False
Suppose 115 = 5*w + 5*h, 2*h = -w + 22 - 0. Is 11 a factor of w?
False
Let s(d) = -4*d + 12 + d - d + 3*d. Is 6 a factor of s(6)?
True
Let t(i) = 9*i**3 + 2*i**2 - i + 1. Let d be t(2). Let l = -27 + d. Is 13 a factor of l?
True
Let p(w) = 2*w**2 + 14*w - 4. Let n be p(-10). Suppose -5*v + 24 = -n. Is 8 a factor of v?
True
Is 7 a factor of ((-48)/14)/4*-21?
False
Suppose -k = 5*u - 25, 0 = -2*u + 13 - 3. Suppose -n - 2*n + 72 = k. Does 20 divide n?
False
Let w(j) = -j**2 - 4*j + 8. Let c be w(-5). Suppose 3*s + d = 4*s - 28, 4*s - 147 = -c*d. Is s a multiple of 11?
True
Suppose 10 = 2*h - 4*p, 0 = -h - 4*p + 5. Does 12 divide 2 - (h*-5 + 3)?
True
Let d be 7 + (-1 + 3 - 2). Suppose -5*r + d - 2 = 0. Let z = 5 + r. Is 6 a factor of z?
True
Is 8 a factor of (6/(-7))/(-3) - 292/(-7)?
False
Let p(t) = -4*t + 10. Let c(d) = d + 1. Let r(g) = 4*c(g) - p(g). Is 26 a factor of r(4)?
True
Let m(t) = 6*t - 7. Let a be m(5). Is a + (-1)/(-2)*4 a multiple of 11?
False
Suppose 0 = f - 21 - 53. Does 32 divide f?
False
Is (-6)/(-4)*(-200)/(-6) a multiple of 10?
True
Does 10 divide 6/4*(85 + -5) + 0?
True
Let j(l) = l**3 + 1. Let q(z) = 2*z**3 + 6*z**2 + 4*z - 4. Let c(r) = -j(r) + q(r). Is c(-4) a multiple of 11?
True
Suppose -2*a = -4*b + 922, -4*a + 7*a = 5*b - 1151. Is 13 a factor of (-2)/(-9) - b/(-9)?
True
Let a(y) = -5*y**3 + 2*y - 2. Let f(j) = 9*j**3 + j**2 - 5*j + 3. Let s(h) = 7*a(h) + 4*f(h). Let n be s(-5). Suppose -n*v - 1 = -31. Does 8 divide v?
False
Let s(m) = m - 4. Let l be s(8). Suppose -c = -l*c + 36. Does 6 divide c?
True
Let s be -12*((2 - 2) + -2). Does 24 divide -6*(s/(-3))/2?
True
Suppose 0 = -2*n - 14 + 2. Is 2 a factor of ((-4)/n)/(4/18)?
False
Let y be (0 - 3/1) + 15. Let c = -14 - -8. Let z = c + y. Is 5 a factor of z?
False
Let w(p) = -3*p - 3. Let s be w(-5). Suppose -5*l + 4*l = -s. Is l a multiple of 4?
True
Let d = -17 + 11. Let g(k) = k**2 - k - 6. Is g(d) a multiple of 13?
False
Let x(h) = 6*h**2 - 3*h - 2. Let q be x(-3). Suppose -5*d + q + 159 = 0. Is 30 a factor of d?
False
Suppose -78 = -2*j + 132. Is j a multiple of 21?
True
Let a = -31 - -22. Let s(h) = -h**2 - 11*h - 6. Is s(a) a multiple of 6?
True
Let j = 108 - 56. Is j a multiple of 9?
False
Let s = -2 + 1. Let h(l) = 3*l**2 - l. Let b be h(s). Suppose 0 = 5*k + 20, k = -5*c + c + b. Is c even?
True
Let m = 11 - 4. Is 4 a factor of m?
False
Let c(q) = -2*q**2 - 38*q. Does 17 divide c(-17)?
True
Suppose p = s - 3, 4*s - 8 = -s - 2*p. Suppose -3*l = -s*t, 0 = 2*t + t - 3*l - 3. Suppose -26 = t*c + 5*r - 134, -4*c = -2*r - 144. Is 18 a factor of c?
True
Let q(f) = 37*f**2 - 7*f + 9. Is 30 a factor of q(2)?
False
Let d(g) = 2*g**2 + 4*g - 4. Let f be d(-4). Suppose -3*b - f = 0, 5*z + 37 = -4*b - 19. Let u = -3 - z. Is 5 a factor of u?
True
Suppose 22 + 30 = 4*f. Let d = 27 + f. Does 8 divide d?
True
Suppose -4*p = -m - 66, -24 = -p + 2*m + 2*m. Suppose 2*b = -2*b + p. Is 4 a factor of b?
True
Suppose -4*t + 8 = -0*t. Let o be (-2)/4 + 7/t. Suppose -2*j + o + 27 = 0. Is 7 a factor of j?
False
Let z be 0/(1 + -3) + 2. Let j be 3/z*(-68)/(-1). Suppose 2*n + 28 = -5*u + 135, 3*n + j = 5*u. Is u a multiple of 11?
False
Suppose 4*k - 1 = -25. Is 9 a factor of (-7)/(21/k) - -27?
False
Suppose -2 = f - 5. Suppose -f*o - 5*n + 95 = 0, 2*n = -5*o + 3*n + 205. Is o a multiple of 13?
False
Let b = 7 - 4. Suppose -122 = -b*j - 4*z, -5*j - z + 2*z + 211 = 0. Does 9 divide j?
False
Let h be ((-8)/14)/((-8)/28). Is (-11)/2*(-4)/h a multiple of 10?
False
Suppose -45 = -3*p + 5*h, 0 = 5*p + 5*h - 98 - 17. Is 5 a factor of p?
True
Let n = -50 - -259. Does 11 divide n?
True
Suppose 0 = 4*x - w - 982, -4*x + 1233 = x - 4*w. Suppose x = 3*v + 92. Does 23 divide v?
False
Let q = -75 - -147. Is 24 a factor of q?
True
Does 47 divide -1*(-236 + (-4)/(-4))?
True
Suppose -14*u + 9*u + 500 = 0. Is 28 a factor of u?
False
Let j(x) be the third derivative of 0*x - 13/6*x**3 + 1/12*x**4 - 3*x**2 + 0. Does 6 divide j(10)?
False
Let q = 53 + -28. Does 6 divide q?
False
Let s(y) = -3*y**3 - 1 + y + 2 - 3 + y**2. Suppose -5*n - 10 = -0*n. Is 12 a factor of s(n)?
True
Suppose -5*t - 3*i + 812 + 101 = 0, 2*t = 3*i + 382. Is t a multiple of 13?
False
Suppose -2*o - 2*o + 4 = 0. Does 5 divide 11 - 1*o/1?
True
Suppose -4*k + 24 = -k - 3*l, -k - 5*l = 22. Suppose 3*m - 42 + k = 0. Is m a multiple of 13?
True
Suppose 8*u - 601 + 121 = 0. Is 10 a factor of u?
True
Suppose 110 = 2*j + v - 5*v, -3*j = -3*v - 162. Is 21 a factor of j?
False
Suppose 19 - 6 = k + f, -55 = -5*k - 3*f. Is k a multiple of 2?
True
Let m(t) = t**2 + 6*t - 4. Is m(-8) a multiple of 12?
True
Let d(b) be the first derivative of b**4/12 - 5*b**3/3 - 2*b**2 + 1. Let s(t) be the second derivative of d(t). Does 5 divide s(10)?
True
Suppose -z + 4*l + 11 = 0, -14 = -4*z - 0*l + l. Let a be z/9 + 454/6. Let s = a - 50. Is s a multiple of 13?
True
Let s = 2 + 0. Let q be (3 - s) + -3 + -3. Does 15 divide 6/(-15) + (-77)/q?
True
Suppose -20 = -a - 3*a. Let y(m) = -a*m + 0*m + 5 + 2*m - m. Does 15 divide y(-7)?
False
Let n be -1 - 1 - (14 + -19). Suppose -152 = -3*z + 2*c, -n*c - 2 = -c. Does 12 divide z?
False
Let j = 32 + -14. Let r be 4/j - 210/(-27). Let f = 24 + r. Is 12 a factor of f?
False
Let l(t) = 6*t + 2. Let w be l(-1). Let v = w + 12. Is v a multiple of 4?
True
Suppose -p - 4*p + 15 = 0. Does 12 divide (15 - 0)/(p - 2)?
False
Does 9 divide (-6)/14 + 1785/49?
Tr