= 2*z - 18, 0*z + z + 4*d = k. Suppose 126 = z*p + p. Is p a multiple of 21?
True
Let s(z) be the first derivative of 4*z - 2/3*z**3 + 3/2*z**2 - 9 - 2*z**4. Does 14 divide s(-2)?
False
Let n = -1819 + 4056. Is 22 a factor of n?
False
Let a(u) = 2 + 2*u**2 - 10*u + 11*u - u**2. Let c be a(-3). Is 6 a factor of 74/4 + (-4)/c?
True
Suppose -2*r = 20 + 80. Let i = r - -98. Does 16 divide i?
True
Suppose -d = -16 - 5. Is 21 a factor of d?
True
Suppose -11*v + 65 = 21. Suppose -v*q + 4*a + 168 = 0, q - a + 173 = 5*q. Is 17 a factor of q?
False
Let h(k) = k**2 - 36. Is h(-13) a multiple of 21?
False
Suppose 0 = -k - 2*a + 668, -3*a - 4 = -a. Is 11 a factor of k?
False
Let z(b) be the first derivative of -b**3/3 + 7*b**2/2 - 12. Let p be z(7). Suppose 2*r - 49 = -p*r - 5*m, -5*r + 50 = -2*m. Is r a multiple of 4?
True
Is (9/3)/((-1356)/152 - -9) a multiple of 19?
True
Let p be (6/(-9))/(14/21). Let t(o) = 78*o**2 + 4*o + 1. Does 5 divide t(p)?
True
Let u(x) = 20*x**2 - 6*x + 8. Let i be u(6). Let r be (-6)/27 - i/(-36). Let l = r - -26. Is l a multiple of 14?
False
Let g = 17 + -98. Let m be 2/(-9) - 18/g. Suppose -5*s + 122 + 13 = m. Is 10 a factor of s?
False
Suppose -v = 6*v - 35. Suppose v*f - 25 = 5. Is (4/2)/(1/f) a multiple of 12?
True
Is (2070/(-120))/(2/(-16)) a multiple of 6?
True
Let b(y) be the second derivative of -y**4/12 + y**3/6 + 11*y**2/2 + 4*y. Let w be b(5). Is 12/w*(-204)/8 a multiple of 17?
True
Let g be (5/(-2))/(1/(-6)). Let p = g + -13. Suppose -p*o + 296 = 5*q - 25, 12 = 4*o. Is 21 a factor of q?
True
Let t(p) = p + 6. Let u be t(-3). Suppose u = g, 3*v = -g + 415 + 500. Suppose -2*h + v = 5*m - 2*m, 3*h = -4*m + 404. Does 13 divide m?
True
Let t(w) = -w + 3. Let b = 4 + -18. Let q = -19 - b. Is 3 a factor of t(q)?
False
Let c = 1821 + -501. Does 21 divide c?
False
Let m be (-1)/4 + (-5)/(-20). Suppose m = 3*k + 3 + 3. Let r(g) = -g**3 + 4*g**2 + 3*g + 1. Does 6 divide r(k)?
False
Let t = -66 + 89. Let v = 15 + t. Is 38 a factor of v?
True
Let x(d) = 4*d**2 - d. Let j be x(1). Let u(z) = -3*z**3 + z**3 - 6 - 11*z**2 + 5*z**3 - 2*z**j + 15*z. Does 11 divide u(10)?
True
Let y(h) = -h - 22. Let q be y(0). Let l = -5 - q. Is l a multiple of 4?
False
Suppose 6*s - 22776 = -7*s. Does 8 divide s/18 + 8/(-6)?
True
Suppose 0*s + 3263 = 13*s. Does 24 divide s?
False
Suppose 0 = t - 5*z + 41, -2*t + z = -1 + 56. Let j = t + 52. Suppose c + j = 3*c. Is c a multiple of 4?
False
Suppose 0 = -14*m + 169 + 209. Is 3 a factor of m?
True
Let j(h) = h**2 - 4*h - 9. Let p be j(6). Suppose 4*t + 246 = c + 945, -525 = -p*t + c. Is t a multiple of 34?
False
Suppose -b = 4*m - 96, 4*m - 5*b = -b + 116. Let j = 63 - m. Is 15 a factor of j?
False
Let x(h) = 4*h - 4*h**2 - 5 - h**3 + 0*h + 0*h**3 + 1. Let o be x(-5). Is 16 a factor of (-2)/(o - -1)*-32?
True
Let d(f) = -2*f + 3. Suppose -3*g + 2*s + 13 = 0, 4*g - 9 = 3*s + 10. Let t be 24/(-18)*6*g. Is 19 a factor of d(t)?
True
Suppose 17*b - 41580 = -16*b. Is 10 a factor of b?
True
Let b = 17 + -30. Let h be b/((-2)/(-56)*4). Let a = h + 151. Is 15 a factor of a?
True
Let v(b) = -11*b + 8. Let o be v(-6). Let h = -39 + o. Is h a multiple of 13?
False
Suppose -5 = -5*n, -k = -7*n + 2*n - 143. Does 45 divide k?
False
Suppose 88 = 8*k - 0*k. Suppose k*f = 9*f + 390. Does 29 divide f?
False
Let g(i) = -10*i**2 + 3*i - 3. Let d be g(2). Let v = 133 + d. Suppose -v = -5*f + f. Is 8 a factor of f?
True
Let r(p) = 7*p**2 + p. Let f(w) = -4*w**2 - w. Let a(u) = 5*f(u) + 3*r(u). Does 6 divide a(6)?
True
Let w(g) = 3*g**2 + 34 - 11 + 6*g - 17. Is 9 a factor of w(-5)?
False
Suppose -2*h + 60 = 3*h + 5*u, -4*h + 5*u + 21 = 0. Is 1*(-6)/h*237/(-2) a multiple of 20?
False
Let r(h) = 7*h - 7. Let t be 11 - 1 - (7 - 9). Is 22 a factor of r(t)?
False
Suppose 10 = 2*g - 0*g. Let s = g - 2. Suppose 3 = -u, 3*l - 6*l + 66 = s*u. Does 7 divide l?
False
Suppose -4*m + 74 + 14 = 0. Suppose -g - a = -17, -g + 2*a + m = g. Let f = g + 50. Is 13 a factor of f?
False
Is 75 a factor of 8600/(-30)*(-18)/5?
False
Let q(g) = -4*g - 15. Let y be q(-4). Does 12 divide (-5 - -5)*y + 204?
True
Suppose -194*m + 204*m = 2980. Is 45 a factor of m?
False
Let j(c) = 27*c + 36. Let d be j(5). Let i = d - 6. Does 5 divide i?
True
Let k(l) = -l**2 - 2*l + 1. Let s be k(-2). Suppose -b - p + 1281 = 0, 0 = -2*p + 5 + s. Is b/45 - 4/10 a multiple of 14?
True
Suppose 29 - 4 = 5*g. Suppose -f + 0*q + q = -169, 3*f + g*q = 499. Is 42 a factor of f?
True
Let r be ((-8)/10 - 2324/20) + 1. Let p be 1072/6 + (-2)/3. Let b = p + r. Is 33 a factor of b?
False
Suppose 4*g = 7*g. Suppose -5*w - 10 = g, 2*k = 7*k + 4*w - 52. Suppose -5*t + 8*t = k. Is 3 a factor of t?
False
Suppose 5*a = 3*f - 1581, -2*a - 787 - 263 = -2*f. Is f a multiple of 29?
True
Suppose -15*d + 105324 = -3876. Is 13 a factor of d?
True
Suppose -27*x + 29*x - 1578 = 0. Does 15 divide x?
False
Let n = 6 - -31. Suppose 0 = 2*p + 5*y - n, -5*p - y + 81 = -0*p. Let q = -3 + p. Is 8 a factor of q?
False
Let l = 3 - 22. Let a = l - -17. Let z = 18 - a. Is z a multiple of 11?
False
Let d be ((-4)/10)/(1/5). Let u be d/(-6)*0 - -63. Let h = u + -45. Is h a multiple of 7?
False
Let j = -45 - -6. Let t = j + -10. Let f = 93 + t. Is f a multiple of 19?
False
Let f be (-1545)/(-33) - 8/(-44). Let u = 34 - f. Let s = -11 - u. Is s even?
True
Let y(d) = d**2 + 3*d - 18. Let c be y(-6). Suppose c*g = -4*g + 56. Does 7 divide g?
True
Suppose 5*j = 23 - 178. Let a = -29 - j. Let x(r) = 7*r**2 - 3*r + 2. Is 6 a factor of x(a)?
True
Suppose 0 = 118*d - 138*d + 15860. Is d a multiple of 19?
False
Let c(b) = 9*b**2 - 6*b + 18. Let s be c(6). Let y = s + -207. Does 10 divide y?
False
Let m(p) = -p**3 + 3*p**2 - 3*p + 6. Let u be m(4). Let a = -11 - u. Let l(k) = k + 5. Does 4 divide l(a)?
True
Let m(f) = 2*f**2 - 3*f + 1. Let o = -10 + 12. Let k be m(o). Is 11 a factor of 35 - 3/(2 - k)?
False
Let a be 28/154 + (-156)/11. Let w = a - -6. Let o(j) = -11*j + 2. Is o(w) a multiple of 15?
True
Suppose 4*a = -3*y + 6 + 15, 2*y + 3*a - 15 = 0. Is y - (-30 + 4 + -1) a multiple of 30?
True
Let y(a) = 2*a - 18. Let h be y(15). Let s = h - -2. Is 5 a factor of s?
False
Let j(a) = -a**2 + a + 1. Let u(m) = -2*m**3 - 11. Let t(n) = 5*j(n) + u(n). Is 45 a factor of t(-6)?
False
Suppose 12*i = 9366 - 3018. Is 7 a factor of i?
False
Suppose 5*d + 2*r = 248, -d + 3*r - 4*r + 52 = 0. Is d a multiple of 12?
True
Suppose 2*k - 5*g + 20 = 0, 3*g = 2*k + 2 + 10. Suppose -h = -k*h - 4. Does 4 divide h?
True
Let s be (16/(-5))/(2/(-10)). Let f = s - 28. Let o = 36 + f. Is 19 a factor of o?
False
Let c(n) be the second derivative of n**3/2 + 19*n**2 + 33*n. Is 7 a factor of c(20)?
True
Suppose c + 3*u - 8 = -0*u, c - 3*u - 2 = 0. Suppose c = 4*n - 3. Suppose n*s - 4*s = -32. Is s a multiple of 13?
False
Let n = -883 + 2907. Is 23 a factor of n?
True
Suppose -2*t + 2*f = 5 - 111, 2*t - 114 = 4*f. Let d = t + -38. Is d a multiple of 8?
False
Let x(o) = 11*o - 68. Is 6 a factor of x(10)?
True
Let c be 76*(-2)/8*2. Is 19 a factor of (-1)/(2/c - 0)?
True
Let r = 619 + -124. Is r a multiple of 38?
False
Suppose 3*y - 47 - 43 = -3*n, -5*y + n = -132. Suppose 2*v = -v + y. Does 3 divide v?
True
Let a be ((0/2)/(-5))/(-1). Suppose -4*z - 3*v = -0*z - 340, a = 5*z + 5*v - 425. Is z a multiple of 13?
False
Let f(p) = 10*p**3 - 22*p**2 + 14*p + 34. Does 10 divide f(9)?
False
Suppose 10351 = 17*s - 9641. Does 31 divide s?
False
Suppose 0 = 7*d - 2*d. Let j(v) = v**3 - 10. Let h be j(d). Is (-24)/(-10)*(-25)/h a multiple of 3?
True
Suppose 0*p = -2*o - 2*p + 1268, -o = -2*p - 628. Is 82 a factor of o?
False
Let u(i) = -i**3 - 4*i**2 + 13*i + 2. Let m(s) = s**2 - s. Let o(y) = -6*m(y) - u(y). Let v be o(6). Suppose -4*x - v = -6*x. Does 26 divide x?
False
Let w(s) = 491*s - 238. Does 12 divide w(4)?
False
Let g = -6 + 8. Suppose 4*t + g*l = 2*t + 4, -t - 4 = 3*l. Suppose -5*k - t*a - 7 = -2*k, 0 = -4*k + 2*a + 34. Does 2 divide k?
True
Suppose -2*o + 4*o = 10. Suppose -4*h + 4*w = 3*w - 746, 925 = 5*h - o*w. Is 17 a factor of h?
True
Let j(x) = -x. Let d(u) = u**2 - 7*u + 1. Let a(o) = d(o) + 2*j(o). Does 22 divide a(-9)?
False
Let n = 9 + 2. Let i = 12 - n. Is (-11)/(-2) + i/(-2) even?
False
Let l = -1415 + 1386. Suppose 4*x - 127 = d + 4, 