?
True
Let j(q) = q**3 + 10*q**2 + 10*q + 10. Let r be j(-9). Suppose r = -b + 4. Suppose c = b*x + 45, 49 = c + 4*x - 3*x. Is c a multiple of 24?
True
Suppose 3480 = 10*k + 5*k. Is k a multiple of 29?
True
Suppose -a - 3*a - 2*s = 102, 3*a - 5*s + 96 = 0. Let o be 3/(a/(-15))*3. Suppose 7 = -3*w - 8, -o*w - 110 = -5*x. Is x a multiple of 7?
False
Suppose -5*b = 29 - 9, -3*l = -3*b + 12. Let g = -25 - l. Let o = 5 - g. Is 17 a factor of o?
False
Let q(k) = k**3 - 8*k**2 - k + 3. Suppose m - 9 = u, -5 + 3 = 2*u. Let d be q(m). Let v(r) = -5*r + 5. Is 15 a factor of v(d)?
True
Let f(b) = -140*b - 7. Is f(-2) a multiple of 39?
True
Let r(c) = -7 - 8*c + 5*c**3 - c**3 + 4 - 11*c**2 - 3*c**3. Suppose -5*f = -3*u - 45, -8*u + 1 = -2*f - 3*u. Is r(f) a multiple of 16?
False
Let c(j) = j**3 + 14*j**2 + 8*j - 7. Let g be c(-13). Let k = g + -30. Is k a multiple of 21?
False
Suppose 8*q = 629 + 859. Is q a multiple of 13?
False
Suppose -3*n + 4 = 19. Is n/(-4)*2*4 a multiple of 10?
True
Let b(f) = -4*f - 15. Let y be b(-5). Let m(g) = g**3 - 6*g**2 - 7*g + 8. Let c be m(7). Is 1*c + y + -2 a multiple of 6?
False
Let f(c) = c**2 + 5*c + 4. Let r be f(-4). Suppose r*m = 4*l - m - 82, -2*l - 4*m + 32 = 0. Is 16 a factor of l?
False
Suppose 2*u = 4*u. Let z be u + (-2 - (0 - 4)). Suppose j = -t + 3, -t = z*t + 4*j - 8. Does 4 divide t?
True
Let k(t) = -1 + t - 3 + 0*t. Let s = -24 + 33. Does 3 divide k(s)?
False
Let g(n) = -n**3 + 9*n**2 - 6*n - 10. Does 14 divide g(7)?
False
Let c be 5/((-5)/(-2)) - 2. Suppose 0 = 5*m - c*m - 35. Is m a multiple of 3?
False
Let g be 2/3 - (-2)/6. Let y be 4 + (-2)/g + 50. Suppose 2*m - y = -0*m. Is m a multiple of 13?
True
Suppose -5*y = -1 - 4. Let k be (20/6)/(y/3). Let z = 23 - k. Does 13 divide z?
True
Let g = -4 - -9. Suppose z = 6 + g. Is z/2 + 3/6 a multiple of 4?
False
Let m = 9 - 4. Suppose -3*t + 2*t + 16 = -f, 0 = f + m. Is 3 a factor of t?
False
Let f(v) = -v - 3. Let z be f(-7). Suppose 5*j = z*c - 13, 0 = 5*c + j - 25 - 13. Is c a multiple of 7?
True
Suppose 0 = -5*p + 3*n - 20, 0 = 3*p + n + n + 12. Let u = p + 7. Does 2 divide u?
False
Suppose 4*g + s + 19 = 0, g - 2*g - 16 = 4*s. Let m be g/(-10) + 127/(-5). Let a = m - -52. Is 10 a factor of a?
False
Let p(t) = 5*t - 5. Suppose -3*c - 12 = -0*c + 4*f, -4*f = -3*c - 12. Let u = c - -8. Is 11 a factor of p(u)?
False
Let b(f) = -9*f + 10*f**2 - 1 + 2*f - 11*f**2. Let j = 2 + -7. Does 9 divide b(j)?
True
Let a(n) = -n**3 - 6*n**2 - 10*n - 3. Does 12 divide a(-6)?
False
Let o be 5*3/(45/12). Suppose -p + o = -1. Suppose 3*d - 103 = -5*u + 86, 29 = u + p*d. Does 14 divide u?
False
Let f(o) = 5*o - 10. Let j be f(4). Let p = 18 - j. Does 6 divide p?
False
Let o(j) be the first derivative of j**3/3 + j**2 - 3*j - 2. Let b be o(-3). Suppose n + b*n = 16. Is 16 a factor of n?
True
Let x = 9 - 5. Suppose -2*u + z + x*z = -13, 4*u - 47 = 3*z. Suppose u = 4*v - 2*v. Is v a multiple of 7?
True
Is 10 a factor of (-127)/(-2) - 1/(-2)?
False
Let z = 90 + -29. Suppose -4*o + 11 = b, -4*o = -3*b - 12 + z. Is b a multiple of 4?
False
Let z(l) be the second derivative of l**4/12 - 2*l**3/3 - 3*l**2/2 + 3*l. Let h be z(5). Suppose g = h, -5*o = -0*o + 2*g - 49. Does 3 divide o?
True
Let h(d) = -d**2 + d. Let l(a) = -a**3 + 14*a**2 + 5*a - 13. Let z(b) = b**2 - 8*b - 8. Let j be z(9). Let y(t) = j*l(t) + 6*h(t). Does 3 divide y(9)?
False
Let a(w) = -9*w - 1. Let v(j) = -9*j - 1. Let k(t) = 2*a(t) - 3*v(t). Let o be k(3). Let z = o - -2. Is 15 a factor of z?
True
Let r = 107 - -72. Does 15 divide r?
False
Let u be ((-18)/10)/((-9)/45). Does 19 divide 1*55*9/u?
False
Suppose 3*a = -2*a. Let k = a - 0. Suppose 5*h = -k*h + 75. Is h a multiple of 7?
False
Suppose 0 = -3*y - 6*j + j + 34, -j + 20 = 5*y. Suppose 0 = 3*r + 5*p + 1 + 11, -3*r = y*p + 12. Let t(b) = -b**2 - 10*b - 3. Is 21 a factor of t(r)?
True
Suppose 0 = -0*l + 4*l - 12. Suppose 0 = l*o - 0*s - 4*s - 102, 0 = 3*o + s - 117. Is o a multiple of 19?
True
Let n(c) = -10*c**3 - c - 2. Let z be n(-2). Suppose 0*l - 5*l + z = 0. Is l a multiple of 7?
False
Suppose -4*o + 29 + 27 = 0. Is 172/o + (-6)/21 a multiple of 12?
True
Let z(w) be the second derivative of w**5/20 - w**4/3 - w**3/3 - w**2/2 + 6*w. Does 18 divide z(6)?
False
Suppose 5*b = 367 + 293. Is b a multiple of 26?
False
Let t = 12 + 0. Is 4 a factor of t?
True
Let m(a) = -2*a + 13. Let r be m(12). Let k = r + 22. Is 3 a factor of k?
False
Let v = -62 - -108. Let m = -80 + 157. Let j = m - v. Is 18 a factor of j?
False
Let b(s) = 99*s**2 + s - 1. Is b(1) a multiple of 17?
False
Let r(n) = 5*n - 6*n**2 - n**3 + 3*n**2 - 2*n + 3 - n. Is r(-4) a multiple of 3?
False
Suppose -2 = -5*f - 12, 0 = 5*y - f - 927. Let v = 304 - y. Suppose 3*w + 100 + 121 = 5*i, 0 = -3*i - 5*w + v. Is 16 a factor of i?
False
Let j be (12/(-30))/(1/25). Is (j/15)/(4/(-66)) a multiple of 5?
False
Let f(j) = j**3 - 6*j**2. Is f(7) a multiple of 10?
False
Suppose 0*m = -2*m + 4, -5*z + 310 = -5*m. Let w = -17 + z. Does 15 divide w?
False
Let h be (15/10)/((-3)/(-460)). Suppose 0 = -0*w + 5*w - h. Is w a multiple of 23?
True
Suppose g - 8 + 0 = 0. Is 4 a factor of g?
True
Let m(n) = 21*n**2 + 2*n + 1. Let o be m(-3). Suppose -3*d - 4*x + 131 = -6*x, 0 = 4*d - 5*x - o. Is 16 a factor of d?
False
Let c(u) = -u**2 + 14*u - 3. Let n be c(9). Let q = n + -28. Does 14 divide q?
True
Let s(c) = 233*c**3 - 2*c**2 + c. Let j be s(1). Suppose 0 = 3*d + 5*t - 181, -2*d - 2*d - 2*t + j = 0. Is d a multiple of 20?
False
Let d(r) be the first derivative of -r**4/12 + 11*r**3/6 - 2*r**2 - 2*r + 1. Let l(v) be the first derivative of d(v). Is 13 a factor of l(6)?
True
Let s(b) = 2*b**2 - 6*b. Let g be s(5). Suppose 0 = -3*f - 2*f + g. Is f even?
True
Suppose -v = -5*v + 96. Is v a multiple of 6?
True
Suppose -3*h = 2*c + 3*c - 12, 8 = -5*h + c. Does 20 divide -3 - (1/h + -22)?
True
Let q = -5 + 7. Suppose 4*v - q*v - 4*r = -16, -r + 7 = -2*v. Let t = v - -19. Is t a multiple of 10?
False
Suppose 3*i - 507 = -3*d - 0*i, 0 = 4*d + 5*i - 680. Does 11 divide d?
True
Let i = 4 + -5. Does 10 divide (-39)/(-2) - i/2?
True
Does 13 divide 37 + -1 + (-4)/2?
False
Suppose 8 = -0*g + 4*g. Suppose -319 + 109 = -g*k. Suppose 5*c = -5*o + k, 0 = -3*c - 4*o + 3*o + 55. Is c a multiple of 17?
True
Let x = -162 + 227. Does 7 divide x?
False
Let n = 208 + 128. Suppose 8*k - k = n. Is k a multiple of 12?
True
Let f(v) = -2*v**2 + 6*v - 1. Suppose -c - 3*j + 16 = 0, c - 8 = 3*j - 4*j. Let i be f(c). Does 11 divide 1/(3/6) - i?
True
Let w be ((-6)/1)/((-2)/37). Let n = -65 + w. Is n a multiple of 22?
False
Let u be 14115/(-9) + 2/6. Is (-4)/26 + u/(-52) a multiple of 18?
False
Let j be 6*((-11)/(-3) - 3). Is (-46)/j*(-3 - -1) a multiple of 10?
False
Suppose 0 = -3*s + 5*s - 96. Suppose -s = -l - 3*l. Is l a multiple of 3?
True
Suppose -13*y + 284 = -236. Is y a multiple of 10?
True
Let v(t) be the third derivative of t**7/840 + t**6/45 - t**5/120 + t**3/6 - t**2. Let g(l) be the first derivative of v(l). Is g(-8) a multiple of 8?
True
Suppose -2*w = 4*t - 6, -w + t + 3 = -3. Suppose -5*u - 2*k + 370 = 0, 370 = w*u - 3*k + 4*k. Is 13 a factor of u?
False
Let g = -66 + 171. Is 13 a factor of g?
False
Suppose -2*x = -2*q + 17 + 25, -q = 5*x - 51. Is 11 a factor of q?
False
Let r(c) = -c**3 + 6*c**2 + 6*c + 7. Let j be r(7). Suppose j = 5*d - 431 - 294. Suppose -2*n - 50 = -2*m, -8*n = 4*m - 3*n - d. Does 15 divide m?
True
Suppose 4*b = v - 399, 5*v = 3*v - 2. Let x = b - -159. Is 25 a factor of x?
False
Is (-20)/(-50)*(100 + 0) a multiple of 9?
False
Let t(f) = f**3 - 7*f**2 - f - 27. Does 9 divide t(9)?
True
Suppose -3*o + 4*o = -3*k + 46, -k = -4*o + 132. Is o a multiple of 17?
True
Suppose -2*w + 0 + 6 = 0. Suppose f - 26 = -w*r, 5*f - 2*f - 26 = 4*r. Suppose k + 0*k - f = 0. Is 9 a factor of k?
False
Let g(k) be the first derivative of k**3/3 + 57*k + 2. Is 23 a factor of g(0)?
False
Let f = -11 - -13. Suppose 4*b - 32 = -f*k, 6 + 34 = 5*b - 3*k. Does 2 divide b?
True
Suppose -4*i + 310 = 18. Let d be 3 + -2 + 0 + 0. Suppose 0 = -2*t + i - d. Does 18 divide t?
True
Suppose -4*p = -7 + 19. Let f = p + 31. Does 28 divide f?
True
Suppose 5*z - 2*z - 6 = 0. Does 12 divide z/(-3) - (-222)/9?
True
Let y(q) = -q**2 + 14*q + 25. Does