?
False
Let q = 10 - -23. Let d = q + -9. Is d a multiple of 12?
True
Let g = -41 - -52. Is g a multiple of 6?
False
Suppose 0 = -p - 5*l + 81, p + 3*l - l = 72. Is 11 a factor of p?
True
Let c = 13 + -8. Let j be -1 - (-20)/(3 - -1). Suppose -x = -c, r + 37 = j*r + 5*x. Is 2 a factor of r?
True
Let a be (-304)/(-5) + (-5)/(-25). Let g be (-1 - a)*(-2 + 1). Suppose -2*i + 38 = 3*y, 0*y - 2*y + g = 3*i. Is 8 a factor of i?
False
Let b(j) = -2*j**3 - 2*j**2 + j + 2. Let a be b(-2). Let o = a - 20. Let x = o + 24. Is 6 a factor of x?
True
Let k(q) = -q**3 + 10*q**2 + 11*q - 1. Is k(10) a multiple of 31?
False
Let s be 0 + ((-4)/2 - 0). Let n = -4 - s. Does 9 divide (4/8)/(n/(-72))?
True
Let k be (-1)/((-12)/9 + 1). Is 14 a factor of 1*(k - 2) + 34?
False
Let p be 258*-2*3/(-12). Let j = p - 85. Does 22 divide j?
True
Let h be (-1)/(3/9 + 0). Let t be 4/(2 + (-3 - h)). Suppose 0 = 4*y + 2*q - 120, -2*y + 6*y = t*q + 104. Is 12 a factor of y?
False
Suppose -30 = 2*s - 104. Suppose 4*p - 3*m = 49, 3*p = p - m + 27. Let k = s - p. Does 7 divide k?
False
Suppose -5*z = -0*x + 4*x - 31, 3*z = -4*x + 25. Suppose 4*j + 6 = z*j. Let r = 12 + j. Is r a multiple of 5?
False
Does 13 divide 4/5 - (3405/(-25) - -1)?
False
Let a(t) = -t**2 - 7*t - 2. Suppose 10 = -2*p, 5*p + 13 = b + b. Let g be a(b). Suppose -2*n = s - n - 29, g*s = 4*n + 76. Does 9 divide s?
False
Let m(p) = -4*p - 1. Let o(n) = 9*n + 2. Let d(k) = -13*m(k) - 6*o(k). Is d(-8) a multiple of 16?
False
Suppose 12 = 6*o - 2*o, -5*y - 3*o + 859 = 0. Let c = 8 + y. Suppose 38 - c = -5*j. Is j a multiple of 14?
True
Let b = 13 + 4. Suppose -4 = -3*g - n, -g - b = -5*g + n. Does 20 divide g + (109 + 2)/3?
True
Suppose -5*v = -921 - 564. Is v a multiple of 27?
True
Let h be 0 + -2 - (6 - 6). Does 21 divide 36/(0 + -3)*h?
False
Suppose d + 2*i + 0 = -5, -9 = 5*d + 2*i. Is 10 a factor of 1/d*(-29 - 5)?
False
Suppose 0*j - 70 = -j. Suppose -5*x = -0*x + j. Let r = -10 - x. Does 4 divide r?
True
Suppose -2*c + 4*f - 34 = f, -4*c + 4*f = 64. Let q = 28 + c. Is 14 a factor of q?
True
Let c(p) = 26*p**2 - p - 2. Let i be c(2). Let j = i + -180. Let b = j - -116. Is 12 a factor of b?
True
Let a(w) = -6 - w + 3*w**2 + 6*w - 9*w**2 + w**3 - 4*w. Let c be a(6). Suppose c = 4*i - 0*i + p - 31, -i = 3*p - 16. Is i a multiple of 3?
False
Suppose l + 23 = -p, 3*p = -5*l - 86 - 35. Let h = l - -41. Is h a multiple of 5?
True
Let i be 2/7 - (-48)/28. Suppose 4 = i*s - 8. Does 3 divide s?
True
Let k(s) = 12*s. Is k(7) a multiple of 21?
True
Suppose -2 + 10 = -2*h. Let z(a) = -6*a - 5. Let u be z(h). Suppose -2*i = 1 - u. Is i a multiple of 8?
False
Suppose -12 = -v - 2*v. Suppose -4*o - v = 8. Is 14 a factor of 29 + o + (-3 - -5)?
True
Is -12*4/12*-2 a multiple of 4?
True
Suppose -2*q - 131 = 5*k, 3*q = k + k + 60. Let g = 41 + k. Is g a multiple of 7?
True
Let y be 6/(-14) + (-9864)/63. Let q = -109 - y. Is q a multiple of 29?
False
Let z(g) = 2*g**3 - g**2 + 6. Is 17 a factor of z(3)?
True
Let s = 1 + 2. Let j be -26*s/(-12)*-2. Let n = 44 + j. Does 19 divide n?
False
Suppose 4*q = 149 + 127. Is q a multiple of 23?
True
Let g = -57 - -113. Is g a multiple of 27?
False
Let g(l) = l**3 - 5*l**2 - 5*l + 3. Is 33 a factor of g(7)?
True
Let q(k) = 3*k + 10. Let m be q(-7). Let x(j) = 8*j - 1. Let w be x(3). Let h = m + w. Does 4 divide h?
True
Let v be 0 - (-3 + -1 + 2). Suppose 2*u = -4*a - 16, 3*u - 11 = -a + v*a. Suppose -2*p = u*l - 6*l, l - 15 = -2*p. Is p a multiple of 3?
True
Suppose 0*m - 4*m = 0. Is 5 a factor of ((-33)/9 - m)*-3?
False
Is 20 a factor of (-4)/8*-202*1?
False
Let f(t) be the third derivative of 1/2*t**4 + 0*t + 0 - 5/6*t**3 + 2*t**2. Is f(4) a multiple of 19?
False
Is 0*(-2)/4 + 16 a multiple of 4?
True
Let s(v) = 2*v**3 - 4*v**2 + 2. Let z be s(3). Let j be (6/(-5))/((-1)/z). Suppose 2*o = 3*o - j. Is 12 a factor of o?
True
Let t(m) = 4 + 4*m + 3*m**3 + 0 - 4*m**2 - 1 - 4*m**3. Is 4 a factor of t(-5)?
True
Let h(x) be the first derivative of -5*x**4/4 + x**3/3 - x - 4. Does 3 divide h(-1)?
False
Suppose 4*w = 3*w + 6. Is 2 a factor of 50/w - 5/15?
True
Let l = 20 + -24. Let u(f) = 0 - 5 + 1 - 4*f. Does 7 divide u(l)?
False
Does 9 divide (-5)/3 - (-483)/9?
False
Let c(v) = -15*v**3 + 3*v**2 - 2. Is c(-1) a multiple of 3?
False
Does 12 divide (6/(-8))/(-1*(-2)/(-200))?
False
Suppose -1 = -b + 2. Suppose -4*t - 2*x = b*x - 12, 2*x + 6 = 2*t. Is 3 a factor of t?
True
Let w = 103 - 47. Is w a multiple of 7?
True
Suppose -6*j + 42 = -30. Does 9 divide j?
False
Let y be (3/(-2))/((-9)/12). Let a be (-8)/((-3 + 2)*y). Suppose -3 = a*l - 107. Is 13 a factor of l?
True
Let j(s) be the third derivative of -s**5/60 - 3*s**4/8 + 2*s**3/3 - s**2. Is j(-8) a multiple of 12?
True
Suppose -6 = -4*r + 6, m + r - 53 = 0. Does 12 divide m?
False
Let o be (-1 - -2)*(-9)/(-3). Suppose o*a - a - 14 = 0. Does 2 divide a?
False
Suppose -5*f + 0*f = -365. Is f a multiple of 19?
False
Let q(v) be the second derivative of 3*v**5/2 + v**3/3 - v**2/2 - v. Let s be q(2). Is (-2)/10 - s/(-15) a multiple of 8?
True
Let q = -8 + 8. Suppose 2*n - 96 - 18 = q. Suppose 0 = 5*w - 3*y - 204 + n, -5*y = -2*w + 55. Is w a multiple of 17?
False
Suppose u + 3*f - 60 = 0, 5*f = -u + 20 + 32. Does 8 divide u?
True
Let i = 6 - 3. Suppose 4*a + 132 = -i*v + 6*v, -a - 45 = -v. Suppose -4*t - 72 = -4*l, 4*l + 2*t + 2*t - v = 0. Does 14 divide l?
False
Suppose -5*v + r = -4*r + 10, 3*r + 29 = -2*v. Let a(l) = -l**2 - 7*l. Let m be a(v). Is (-18 - m)*2/(-3) a multiple of 6?
True
Suppose -a = 5*z - 21, 4*a = 3*a + 1. Let s(r) = -r**2 - 4*r + 7. Let h be s(-5). Suppose 7 - 2 = -t, -h*t - z = c. Does 6 divide c?
True
Let u(p) = p**3 + 5*p**2 - p + 6. Is 3 a factor of u(-5)?
False
Let h be (-4)/(-18) - 1337/63. Let d = 45 + h. Does 7 divide d?
False
Let g(x) = -4*x - 13. Let u(m) = 11*m + 39. Let b(i) = 8*g(i) + 3*u(i). Let q(a) = -4*a - 53. Let k(s) = 9*b(s) + 2*q(s). Is k(0) a multiple of 8?
False
Suppose 0 = 3*k + 7 - 49. Is 3 a factor of k?
False
Let u = 210 + -70. Is u a multiple of 28?
True
Suppose 5*b - r = 3 - 28, 7 = 3*b - 5*r. Does 13 divide (-1)/(-6) - 77/b?
True
Let l(r) = 3*r + 0*r**2 + 6*r**2 + 5*r**3 - 1 - 4*r**3 - r. Is l(-2) a multiple of 11?
True
Let r = -28 - -36. Is r a multiple of 4?
True
Let l be (-1 - 3) + 2 + 0. Let k = l + 0. Let h(q) = -q**3 + q**2 - 1. Does 11 divide h(k)?
True
Let c = 105 - 53. Is 11 a factor of c?
False
Let z(q) = q**3 + q**2 + q - 1. Let p(m) = -19*m**3 + 5*m**2 + 3*m - 4. Let d(u) = p(u) - 3*z(u). Is d(-1) a multiple of 11?
False
Let s = 39 - 22. Suppose x - 3*p + 9 = 0, 5*p = -s + 2. Does 11 divide (-392)/x + 12/54?
True
Let b be ((-6)/1)/(-1 - 1). Suppose -b*s = -4*s. Suppose 5*h - 78 - 22 = s. Is h a multiple of 20?
True
Let b(v) = 11*v**2 + 2*v - 1. Suppose 3*a + 0 = -3. Let d be (0/(-3))/(-3) - a. Is b(d) a multiple of 12?
True
Let p(o) = -4*o + 4. Let m be (-5 - (3 - 2))*1. Let n = -9 - m. Is 8 a factor of p(n)?
True
Does 12 divide (-1 - 1)/((-4)/32)?
False
Suppose 3*r - 21 = 180. Suppose c + r = 2*x, 0 = 4*c + 2 + 10. Is 14 a factor of x?
False
Suppose -q = -r - 3, 5*q + 5*r - 25 = -10. Suppose 0 = f + 5*d - 42, -2*d - 2*d = -q*f + 31. Is f a multiple of 17?
True
Suppose -5*g = -3*s - 123, -5*s = -4*g - 0*g + 88. Let n(d) = d**3 + 4*d**2 + 3*d. Let p be n(-2). Suppose m + p*m = g. Is m a multiple of 9?
True
Let y(t) = -7*t - 4. Suppose 4*f - 15 = -v, -5*v - 3*f - 40 = -6*f. Let p be y(v). Let x = p + -18. Does 5 divide x?
False
Suppose -2 + 11 = g - q, 2*g - 13 = q. Let h be 0 - 0 - (1 + -40). Suppose -h = x - g*x. Does 13 divide x?
True
Let a = -22 + 29. Is 6 a factor of a?
False
Let c(k) = 2*k**3 - 10*k**2 + 8*k + 14. Is c(7) a multiple of 17?
False
Let c = -46 - -75. Is c a multiple of 25?
False
Let z = -18 + 48. Does 16 divide (-1 + 4)/(2/z)?
False
Suppose 0 = -f + 2*f - 5*b - 7, -2*b - 4 = -f. Does 17 divide f/(-3) + (-356)/(-12)?
False
Let l be (-13)/(((-3)/(-18))/(-1)). Let q = l - 34. Suppose -4*w + q = 4. Does 5 divide w?
True
Let c(y) = -8. Let u(x) = x - 2. Let k(b) = -c(b) + u(b). Let v(q) = 6*q**2 + 1. Let n be v(1). Is k(n) a multiple of 4?
False
Let s(b) = 13*b + 2. Is 14 a factor of s(2)?
True
Let q = -6 + 10. Suppose 0*b - 3*s + 45 = 3*b, -63 = -q*b - s. Is b a multiple of 6