of (-2)/3*(-2 + -1)?
True
Let d(o) be the second derivative of 5*o**4/2 + o**3/3 + o**2/2 - 2*o. Let c = -2 + 1. Is d(c) a multiple of 12?
False
Let w = 99 + -47. Let a = w - 14. Is 10 a factor of a?
False
Suppose 2*j = -126 - 72. Is j/(-15)*(5 + 0) a multiple of 10?
False
Suppose 0 = 13*b - 1358 + 84. Is b a multiple of 7?
True
Suppose 0 = 2*b - 2 - 6. Is b a multiple of 3?
False
Let f(k) = -k**3 - 4*k**2 - 2*k - 2. Let i be f(-3). Let n = -43 - i. Let u = n + 63. Is 14 a factor of u?
False
Let j = -4 - -9. Suppose j*u + 28 = u. Let p = 12 + u. Is p a multiple of 2?
False
Let g(u) = 2*u**2 - 2*u - 5. Suppose 0*s = s - 4. Is 8 a factor of g(s)?
False
Is 12 a factor of 11 - (-5 - -4)/1?
True
Let v(g) = g**3 - 8*g**2 - 10*g + 11. Let n be v(9). Suppose 177 = -n*p - 3*o, -3*p - 77 = -2*o + 182. Let w = -45 - p. Does 18 divide w?
False
Let k = -1 - -13. Suppose x - k = 1. Let h = x - 2. Is h a multiple of 6?
False
Let b(f) = 5*f**2 - 9*f + 5. Let d be b(6). Let g = d + -77. Is g a multiple of 27?
True
Let h = 0 + 4. Suppose -4*p + 0 = h, 0 = -x - p + 2. Suppose 0 = -j + 5*c + 3, -3*c + c = x*j - 43. Is 13 a factor of j?
True
Suppose a - 3*m - 43 = 0, 2*a - 6*a = 3*m - 142. Is a a multiple of 5?
False
Suppose 0 = -2*h - 2*k + 52, h = -4*k + 14 + 24. Is 407/h - (-6)/4 a multiple of 10?
True
Is ((-30)/8)/((-6)/64) a multiple of 22?
False
Suppose -3*w + 41 = 2*u, w + 10*u = 5*u + 5. Suppose -2*v - 90 = -4*k + 20, -w = -3*v. Does 10 divide k?
True
Suppose 0 = -i + 2*i. Suppose i = -5*n + 53 + 137. Suppose 0 = 5*x - 188 + n. Does 15 divide x?
True
Let m(y) = y**3 - 4*y + 3. Is m(3) a multiple of 6?
True
Let a be (0/(-2))/(-2 + 0). Suppose a*q = 4*q. Suppose -2*g + 5*g - 111 = q. Is g a multiple of 15?
False
Suppose 2*n - 2*b = 188, 3*n - 2*n - 106 = 4*b. Is 8 a factor of n?
False
Is (7 + 4)/(0 - (-2)/4) even?
True
Suppose 3*h = 8 + 10. Let d = 6 + -12. Does 5 divide (20/h)/((-4)/d)?
True
Suppose 7*j - 2*j = 225. Is j a multiple of 17?
False
Let l(n) = -6*n**3 + 2*n**2 + 2*n + 1. Let p be l(-1). Let h = 5 + p. Does 6 divide h?
True
Let t(n) = -16*n**2 + 51*n + 30. Let p(g) = -3*g**2 + 10*g + 6. Let v(s) = -11*p(s) + 2*t(s). Suppose -3*w = 15 - 42. Does 2 divide v(w)?
False
Let c(p) = -p - 1 - 3 + 2 + 0*p**2 - 7*p**2. Let n be c(-2). Is (-4)/14 - 372/n a multiple of 6?
False
Let j(a) = a**3 + a**2 + 3*a - 1. Suppose 3*s - 6 = -c + 6, 5*s = -c + 18. Does 10 divide j(s)?
False
Let r(d) = -d + 47. Does 18 divide r(11)?
True
Suppose 2*u = -3*z + 1, 10 = -2*z - 5*u - 4. Suppose 4*i - p + z*p = 20, i - p - 11 = 0. Is 7 a factor of i?
True
Let u(b) be the second derivative of -b**4/12 + 8*b**2 - b. Does 8 divide u(0)?
True
Let g(d) = d - 7. Let u be g(0). Let f(j) = -4*j - 6. Is f(u) a multiple of 11?
True
Let h = -1 + 7. Suppose 6 = 9*d - 11*d. Is (90/(-4))/(d/h) a multiple of 16?
False
Suppose -5*i + 189 = 4*l - 253, -3*i = -l + 102. Does 12 divide l?
True
Suppose -2*q + 10 = -7*q. Let t = 1 - q. Is t a multiple of 2?
False
Let i = -65 - -90. Is 19 a factor of i?
False
Is (-6)/39 - (-708)/39 a multiple of 6?
True
Suppose -v = -0*v. Suppose -3*j + 123 = -v*j. Does 14 divide j?
False
Suppose 3*r - h - 46 = -2*h, 3*h = -15. Let v(y) = -12*y + 1. Let u be v(1). Let n = u + r. Is 3 a factor of n?
True
Is 4/(-34) + 206/17 a multiple of 4?
True
Let p be -7 - (2 + (1 - 4)). Let n = 22 + p. Is 8 a factor of n?
True
Let g = 0 + 5. Suppose -3*i + 15 = 5*c - 2*c, -g*c = -20. Suppose 5 - i = s. Does 2 divide s?
True
Suppose -2*t + 91 = 2*l + l, -5*l - t + 147 = 0. Is 25 a factor of l?
False
Let c(y) = -2*y**3 - 4*y - 4. Let w be c(-5). Suppose -171 - 168 = -5*n - 3*m, -5*m = 4*n - w. Is 12 a factor of n/6*2 + 1?
True
Let s(i) be the first derivative of -i**4/24 - i**3/6 + i**2 - 2. Let y(t) be the second derivative of s(t). Is y(-6) a multiple of 5?
True
Suppose 3*x = 6*x + 126. Does 12 divide -1 - (x/3 - -1)?
True
Suppose -9*p + 22 = -8*p. Is p a multiple of 5?
False
Suppose -o + 5 = 3. Suppose 0 = -2*d - o + 22. Suppose 5 = -x + d. Is x a multiple of 2?
False
Let x(k) = -6*k**2 + k**3 - 5*k + 2 - 2. Let z be x(6). Let j = z + 44. Is 11 a factor of j?
False
Let o(c) = 4*c**3 - c**2 + c + 1. Let u(p) = 5*p**3 - 2*p**2 + 2. Let h(x) = 6*o(x) - 5*u(x). Let b be h(5). Suppose -3*d + b = -38. Is d a multiple of 13?
True
Let f be 48/15 - 3/15. Let v = 18 - f. Suppose 1 = 2*u - v. Does 3 divide u?
False
Let r = 7 - -14. Let n be 2/(-3 - r/(-6)). Let c = n - 0. Is c a multiple of 3?
False
Let r(x) = x - 3. Let j be r(6). Suppose -2*l - 5*t + 4*t - 58 = 0, j*t = -3*l - 90. Let g = 66 + l. Does 19 divide g?
True
Let g(m) = -28*m + 4. Let f be g(4). Is 16 a factor of -10*(-1 - f/(-20))?
True
Suppose -l - 3 = 0, -o = -l + 2*l. Suppose o*c - 52 = -c. Does 9 divide c?
False
Suppose 2*b + 4*b - 1044 = 0. Is b a multiple of 29?
True
Let f = -8 - -5. Let z be (-3)/(-6*f/(-30)). Suppose -3*i - 55 = -z*n + 40, -4*i + 60 = 5*n. Is n a multiple of 5?
False
Suppose -4*b + 28 - 4 = 0. Let j be (-100)/b*(-3 - 0). Suppose -s = -6*s + j. Does 6 divide s?
False
Let s(i) be the third derivative of 29*i**5/30 - i**4/24 + i**3/6 - 2*i**2. Is 29 a factor of s(1)?
True
Let o(q) = -14*q + 19. Let i be o(-8). Let x = i - 79. Is 13 a factor of x?
True
Let a(p) = -5*p + 4. Let f be a(-3). Suppose 5*o - f = 2*h, -4*o = 2*h - 5*h - 18. Is ((-33)/(-6))/(h/(-4)) a multiple of 8?
False
Let p(t) be the first derivative of -1 - 1/2*t**2 + 4*t. Is 13 a factor of p(-9)?
True
Let w = -24 + 31. Let h = w + 18. Is 5 a factor of h?
True
Let h = 0 + 0. Suppose -2*k + h*k = -10. Suppose 2*m + 3*w = -5 + 44, k*w = -m + 37. Is 5 a factor of m?
False
Suppose 2*w = 5*w - 9. Suppose 0 = 5*u - s - 47, 5*u + 3*s - w = 56. Is 5 a factor of u?
True
Let u(c) = c**3 + 5*c**2 + 5*c + 3. Let l be u(-4). Let x = l + 5. Suppose -s - 41 = -5*b + s, x*s = 8. Does 9 divide b?
True
Let k(t) = t - 5. Let q be k(10). Suppose -q*h + 142 - 27 = 0. Does 14 divide h?
False
Let x be 3*(-3)/((-36)/(-40)). Let j(c) = -2*c. Is j(x) a multiple of 5?
True
Let s(t) = 3*t + 16. Let c be s(13). Suppose 3*f = -2*f + c. Does 4 divide f?
False
Let v(g) = g**3 - 4*g**2 + 4*g. Let f be v(4). Is (65/20)/(2/f) a multiple of 17?
False
Let v(i) = 15*i - 2. Let y = -21 - -13. Let d be (-14)/(-8) + (-2)/y. Is 10 a factor of v(d)?
False
Suppose -4*k - 3 + 11 = 0. Suppose 0 = -k*z + 5*z. Suppose z*o = -o + 11. Does 11 divide o?
True
Suppose -3*p = c + 4*c - 23, -3*p = -c + 1. Suppose -93 = -c*t + t. Suppose -13 = y - t. Does 8 divide y?
False
Let l be 3/9 - (-16)/6. Suppose -5*a + 128 = -3*t + 32, 0 = -l*a + 3*t + 60. Is 12 a factor of a?
False
Let l = -8 + 11. Does 3 divide l?
True
Let g(d) = -d**3 - 4*d**2 - d - 1. Let r be g(-4). Suppose 4 = q, r*q + 120 = 4*c + q. Does 14 divide c?
False
Suppose 0 = 4*y - 82 - 298. Is 20 a factor of y?
False
Let p = 30 - 44. Suppose -4*q + 3*k = -k - 96, -k + 3 = 0. Let a = p + q. Is 7 a factor of a?
False
Suppose -55 = 5*y + 5*x, y - 5*x = -y - 29. Let t = -4 - y. Does 8 divide t?
True
Let k(g) = 14*g - 55. Does 11 divide k(12)?
False
Suppose 2*f = -0*f - 4, 4*f - 88 = -3*m. Is m a multiple of 22?
False
Let s = 46 - 23. Is 5 a factor of s?
False
Let d(x) = -3*x**2 + 4*x - x**2 + 3*x + 1 - x**3. Let o(b) = -2*b + 4. Let k be o(5). Is 18 a factor of d(k)?
False
Suppose -2*g + 4 = 12, t - 94 = -g. Is t a multiple of 19?
False
Suppose 5*x - x - 4 = 0, g + 5*x - 150 = 0. Is 36 a factor of g?
False
Let q be 24 + (-3)/(2 + -5). Suppose 2*u - q - 47 = 0. Does 12 divide u?
True
Suppose 2*t + 35 = j, 5*t + 27 = 2. Suppose 5*g - 3*l - 100 = -l, 5*l = -j. Does 16 divide g?
False
Let f = -1 - -4. Suppose i = -f*i. Suppose 4*y - 2*a - 21 - 63 = i, -3*y + 60 = -3*a. Is y a multiple of 13?
False
Is -2 - 2/((-4)/62) a multiple of 12?
False
Suppose 0 = -2*j + 1 + 5. Let a(i) = 2 + 3*i + j - 4 - 6. Does 13 divide a(6)?
True
Suppose f = 2*t - 2, 2*t = t - 3*f + 15. Suppose 0*m - m = -i - 23, t = m + 4*i. Does 13 divide m?
False
Suppose -l = -111 + 28. Does 15 divide l?
False
Let d(t) = -t - 1. Let p be d(-1). Let s be 81 - p/(-2 + -1). Let x = s + -52. Is 11 a factor of x?
False
Suppose 2*a - 19 = c - 4, 0 = -a - 2*c + 5. Is -1*(a + 1)*-2 a multiple of 3?
False
Suppose 0 = 2*f - 0*f + 2, 3*g + 4*f - 17 = 0. Does 8 divide g/((-28)/(-88)) + 3?
Fa