uppose -4*x + 31 = c - 2, 5*c - 165 = -3*x. Does 7 divide c?
False
Let d(r) = 2*r**3 - 8*r**2 - 2*r - 4. Is d(6) a multiple of 32?
True
Let q(p) be the second derivative of p**5/20 - p**4/6 - 2*p**3/3 - 3*p**2/2 - 3*p. Is q(4) a multiple of 9?
False
Suppose -3*v + 8 = 4*d, 6*d - 2*v = 2*d + 8. Suppose 3*a - 46 = o + 19, -3*a - d*o + 77 = 0. Is a a multiple of 7?
False
Suppose 4*m + m = 3*h + 287, 3*m = 2*h + 173. Let o = 138 - m. Let w = -54 + o. Is w a multiple of 16?
False
Let k(p) = 3*p**3 - 15*p**2 - 5*p - 10. Let m(d) = 2*d**3 - 8*d**2 - 2*d - 5. Let i(r) = -3*k(r) + 5*m(r). Let t be i(-4). Does 3 divide 9 - (0/2 + t)?
False
Let p(b) = -b**2 - 8*b - 8. Let o be p(-6). Suppose 0 = -5*d + 5, -2*d + 0*d + 342 = o*l. Let f = l - 57. Is f a multiple of 10?
False
Suppose 2*w = 2*z - 486, w - 972 = -3*z - z. Is 29 a factor of z?
False
Suppose 5*x = -a + 2, -2*x = -a - 0*x + 30. Is a a multiple of 22?
True
Let d be 50/(-18) - 8/36. Let c = 3 - d. Does 5 divide c?
False
Suppose -22 = -4*j - i, 0 = 4*j - 3*j + i - 7. Suppose 55 = 3*g - f, -j*g + 0*f - f + 105 = 0. Does 20 divide g?
True
Let a = -61 - -109. Suppose -4*y + y = -a. Does 8 divide y?
True
Let s(q) = -q**2 + 6*q - 2. Is s(5) a multiple of 2?
False
Let s(j) = j**3 - 11*j**2 + 13*j. Is s(10) a multiple of 5?
True
Suppose -v + 57 = -6. Does 21 divide v?
True
Let l(n) = 11 + 3*n + 3*n - 5*n. Let d be l(-8). Suppose 5*v = g + 130, d*v - 5*g - 40 = 16. Is 11 a factor of v?
False
Let k be (-4)/10 + (-21)/(-15). Is 9 - k - 0/(-3) a multiple of 4?
True
Let c = 87 - 57. Let l = c - 14. Is 6 a factor of l?
False
Let h(q) = -4*q - 4. Let r be h(-5). Suppose 2*o + r = 6*o. Suppose -69 = -5*f - 2*d, -2*d = -o*f + 26 + 22. Is 6 a factor of f?
False
Let t be 54/15 + (-8)/(-20). Let d = 18 - t. Does 12 divide d?
False
Let d = -72 - -119. Is d a multiple of 6?
False
Let t(x) = 52*x - 15. Is t(5) a multiple of 49?
True
Suppose f = 5*f + 8. Let s(n) = 6*n - 2. Let c be s(6). Is 20 a factor of c + f/(-3)*-3?
False
Let b(l) = -l**3 + 3*l**2 + 5*l - 5. Let m be b(4). Let p be 5/(-1) - (3 - 2). Is 26 a factor of (-348)/p - 3*m?
False
Let a be ((-3)/2)/((-1)/164). Is 9 a factor of 9/21 - a/(-14)?
True
Suppose 0 = -0*k + 2*k - 3*a - 100, k + 3*a - 50 = 0. Is k a multiple of 10?
True
Let s be (25 + -5)*(-6)/(-4). Suppose -78 - s = -3*o. Does 12 divide o?
True
Let w be 1 + 0 + 1 + -2. Let m be 1 - (w + -1 + 0). Let v = 3 + m. Is v a multiple of 2?
False
Let w(j) = -j**3 + 2*j**2 + 3*j. Let a be w(3). Suppose a = -t + 51 - 12. Is 13 a factor of t?
True
Suppose -2*n + 4*z + 24 + 44 = 0, 73 = 2*n - 5*z. Is n a multiple of 24?
True
Let d(q) be the second derivative of -q**6/360 - 7*q**5/120 + q**4/8 + q**3/3 + 2*q. Let x(f) be the second derivative of d(f). Is 3 a factor of x(-7)?
True
Suppose 2*z + 2*x + 3*x = 29, -2*z = 3*x - 23. Let h = z - -3. Is h a multiple of 4?
False
Let w = 8 - -42. Is 17 a factor of w + -2*2/(-4)?
True
Suppose 2*o + 51 = -g + 5*o, 3*o = 4*g + 159. Let p = g + 57. Is p a multiple of 10?
False
Suppose x - 3*a + 8 = 1, 9 = 3*x - 3*a. Is 7 a factor of (-1 + -1)*(-28)/x?
True
Let q(w) = 5*w**3 + 15*w**2 + 8*w - 10. Let p(f) = 9*f**3 + 29*f**2 + 16*f - 21. Let t(o) = 4*p(o) - 7*q(o). Is t(-10) a multiple of 3?
True
Suppose 5*l = 2*l. Is 6*1 - (-1 - l) a multiple of 2?
False
Is 13 a factor of 0 + (1/1 - -12)?
True
Let n be 11 + (-1)/1 + -2 - 2. Let o be (0 - -2) + 2/2. Is 7 a factor of n - (o/(-1) + 2)?
True
Suppose -o - 3*z - 6 = -z, 2*z + 6 = -5*o. Let h be 1*1/(-2)*o. Suppose h*f - 38 = -2*f. Is f a multiple of 9?
False
Let s(x) = x**2 - 11*x - 14. Let f be s(12). Let r = f - -15. Does 13 divide r?
True
Let o = 3 + 4. Is o even?
False
Let c(o) = -o + 4. Let a be c(4). Suppose -f - 4 + 3 = 5*n, -3*f - 4*n - 3 = a. Is f/(-2)*-2 + 24 a multiple of 11?
False
Suppose 2*m - 42 = 20. Is 6 a factor of m?
False
Let v = 141 + -73. Does 25 divide v?
False
Let q(m) = 44*m + 1. Does 9 divide q(1)?
True
Let r = -5 + 14. Is (114/r)/(2/3) a multiple of 6?
False
Let s(q) = -5*q - 10. Is 10 a factor of s(-10)?
True
Suppose 4*y = -2*h + 10, 0 = 2*h - h + y - 9. Let n = -12 + 7. Let d = h + n. Is 8 a factor of d?
True
Let k be -6 - -7 - (1 - -1). Is 3 a factor of (-3)/((-9)/(-33))*k?
False
Suppose 4*t - 5*t = -42. Let m = t - 24. Does 9 divide m?
True
Let q = -101 - -156. Let o = -80 + q. Let t = o - -37. Is t a multiple of 4?
True
Let u be (-58)/(((-6)/(-27))/(-1)). Suppose 0 = t + 5*f - 51 - 36, 3*t - 2*f - u = 0. Does 23 divide t?
False
Let a = -10 + 10. Suppose -t + 11 = -a*t. Does 5 divide t?
False
Suppose -1 = 2*x - 5. Suppose 0*m + x*w = -3*m + 206, 0 = -4*m + 3*w + 303. Is m a multiple of 23?
False
Let u(i) = -i**2 - 5*i + 2. Let g = 3 - 2. Let r be g/(3/(-18)*2). Does 8 divide u(r)?
True
Is 254/4 + 1/(-2) a multiple of 16?
False
Let n = 14 + -16. Does 4 divide 15 + n/1 + 1?
False
Let u be (2/2)/((-2)/(-4)). Suppose 5*i = u*i + 6. Suppose 0*z = -i*z + 28. Is 7 a factor of z?
True
Suppose -632 + 97 = -3*x - 2*s, s = 3*x - 520. Is x a multiple of 28?
False
Suppose -5 = -a - 0. Suppose b - a = -29. Does 5 divide -2 + b/(-3) + 2?
False
Suppose 0 = 6*g - g. Let f be -10 - ((-1 - g) + 3). Is 12 a factor of (-280)/f - (-2)/3?
True
Let b(r) = 8*r + 1. Let f(c) = -c**2 + 4*c + 6. Let j be f(5). Is 9 a factor of b(j)?
True
Suppose -3*a = -8*a + 10. Let z be (-2)/4*(2 + -4). Suppose 4*g + 40 = 5*u, g + 20 = a*u + z. Is 6 a factor of u?
True
Suppose 2*p = 8 + 10. Let n = 6 + p. Does 15 divide n?
True
Let v = -25 - 8. Let b = -6 + 9. Let u = b - v. Does 19 divide u?
False
Suppose 7*l - 2*l = 195. Does 13 divide l?
True
Let x(k) be the second derivative of -k**5/20 + k**4/4 - 2*k**3/3 + 2*k**2 - 2*k. Let s be x(3). Is 22 a factor of (-2)/s - (-174)/8?
True
Let j be 5929/35 + 4/(-10). Suppose 3*b = 71 + j. Is 16 a factor of b?
True
Let c = 0 + 4. Suppose -4*d + 88 = 3*a, -c*d + 2*a - a = -104. Is 21 a factor of d?
False
Let w(a) = -2*a**3 - 5*a**2 + 7*a - 6. Is w(-5) a multiple of 44?
False
Let y(w) = -w**2 + 7*w - 4. Let v be y(6). Suppose 10 = -0*p + v*p. Suppose 62 = 4*f + p*l, -f - 52 = -4*f - l. Is f a multiple of 8?
False
Let n(l) = -2*l + l**2 + 21*l**3 + 1 + 0*l**2 + l**2 + 0*l**2. Is 8 a factor of n(1)?
False
Suppose -3*h = 4*g - 155, 73 + 21 = 2*h + 5*g. Does 19 divide h?
True
Suppose -15 = 6*b - b, 0 = 4*k - 5*b - 1071. Is 39 a factor of k?
False
Suppose -q + 26 + 10 = 0. Does 9 divide q?
True
Let z(j) = 6*j + 12. Suppose -27 = -3*w + 4*f, -3*w + 5*f + 6 + 24 = 0. Does 14 divide z(w)?
True
Let c = 14 - 28. Let o = -2 - c. Is 12 a factor of o?
True
Is 14 a factor of 2/5 + 1878/30?
False
Let l(i) = 17*i**2 + i. Does 11 divide l(-2)?
True
Let l be 34/10 - 4/10. Suppose -5*f = -l*c + 5, f + c = -1 + 8. Suppose -z + 14 = v, -7*z - f*v + 70 = -2*z. Is 6 a factor of z?
False
Let k(o) = -o. Let m be k(-4). Suppose -3*f + 48 = m*t, 12 = 3*t - 2*t + 3*f. Does 12 divide t?
True
Suppose -4*r = 12, 4*n + 7 = 4*r + 79. Does 4 divide ((-60)/(-9))/(5/n)?
True
Suppose 3 = -4*w + 7. Let s = w + 0. Does 12 divide (s + 5)/(12/30)?
False
Let w be 94/18 + 2/(-9). Suppose 0 = -4*d + w + 3. Suppose q + 4 = 0, -3 = -d*h - 5*q + 15. Is 16 a factor of h?
False
Let w(c) = 6*c**2 + c. Let r be w(-2). Suppose -3*m - 15 = -0*m, -2*m - r = -4*q. Suppose 2*n - 80 = -q*n. Is 16 a factor of n?
True
Suppose 3*o + 0 = -3*b + 15, 5*b - 19 = -3*o. Let d be -1 + (37 - -2) + b. Suppose d - 7 = 3*u. Does 4 divide u?
False
Suppose w = 2*x - 39, 4*x - 61 = -5*w + 24. Let q = 53 - x. Is 8 a factor of q?
False
Let n(r) = -r**3 - 9*r**2 - 6*r + 8. Let v be n(-8). Is 8 a factor of v/(-12)*(-24)/(-2)?
True
Suppose -2*c + 68 - 11 = -3*a, -87 = -3*c + 5*a. Does 6 divide c?
True
Let n(i) = i**2 + 3*i + 3. Let j = 3 - 6. Let d be n(j). Suppose 16 = -2*v + d*v. Is 8 a factor of v?
True
Suppose -2*s = -3*v - 30, 5*v + 38 = 4*s - 2*s. Let l(x) = -x**2 + 12*x - 5. Is l(s) a multiple of 11?
True
Let i = -74 - -140. Does 24 divide i?
False
Suppose 4*m - h = 6*m - 43, -h + 64 = 3*m. Suppose 0 = -v + 22 + m. Is v a multiple of 28?
False
Suppose 5*p - 14 = -2*q, 4*q - 7*p = -2*p + 28. Is q a multiple of 3?
False
Let s = 6 - 5. Let y(b) = s - 2*b + 6 - 4*b - 2 + b**2. Does 6 divide y(7)?
True
Let b(t) = -t - 8. Let n be b(-9). Let p = n - 1. Suppose -5*c = -p*j - 4*j -