 2/3 a multiple of 7?
True
Let t(a) = a**3 + 0*a + 0*a - 4 - 5*a + 4*a**2 + 4*a. Is t(-3) a multiple of 8?
True
Is ((-1)/1)/(1/(-18)) a multiple of 3?
True
Let m be (1 - 3)*1*8. Let h = m - -76. Is h a multiple of 15?
True
Let u be 4/1*4/4. Suppose -g = u*g - 300. Is g a multiple of 21?
False
Let s(d) = 10*d**2 - 1. Let o be s(1). Let m be 3/((-2)/2)*1. Does 12 divide (o - -2)*m/(-1)?
False
Let n = -7 + 87. Is n a multiple of 20?
True
Let x = 13 - 9. Let i(g) = g**3 - 2*g**2 - 4*g + 1. Is 10 a factor of i(x)?
False
Let r(u) = u**2 + 10*u + 1. Let m be r(-11). Suppose -5*j - 2 = -m. Is 22/2 + 2/j a multiple of 7?
False
Let w(s) = 191*s**3 + 2*s**2 - 2*s + 1. Is 24 a factor of w(1)?
True
Suppose 8 = -3*c + 7*c. Suppose -2*a - 2*p = 0, p = -0*p. Suppose a = -v - c*v + 42. Is 8 a factor of v?
False
Suppose 3*d + 0*g = 3*g + 66, -83 = -4*d + 5*g. Is 11 a factor of d?
False
Let o(c) be the first derivative of -5/3*c**3 + 3 - 1/4*c**4 + 4*c**2 - 3*c. Does 13 divide o(-7)?
True
Suppose -3*b = b - 236. Is b a multiple of 23?
False
Let s = 8 - 8. Suppose s = -2*f - 3*f - 35. Let o = f + 12. Does 3 divide o?
False
Let h be -15*(-2 - (-8)/3). Is ((-88)/h)/(2/10) a multiple of 15?
False
Let n(i) be the first derivative of -i**2/2 - 6*i - 3. Let s be n(0). Is (6*-1)/(3/s) a multiple of 12?
True
Let a be (0 + (-153)/12)*4. Let t = -24 - a. Does 11 divide t?
False
Suppose 5*v - 24 = -3*c, -2*v - 4*c + 22 = 3*v. Is v a multiple of 6?
True
Suppose h = -1, -3*g + 4 = -g - 4*h. Suppose g = 3*q - t - 11, 6*q - 13 = 3*q - t. Suppose -q*m + 0*m + 32 = 0. Is m a multiple of 8?
True
Suppose -5 = 2*r - 5*n, 3*n - 11 = -r + n. Suppose h + 3 = 0, 2*j - 17 = r*h + 10. Is 6 a factor of j?
True
Is 28 a factor of (-2)/4 - (2 - (-282)/(-4))?
False
Let u = -12 - -16. Suppose 0*q = -u*q + 92. Is q a multiple of 23?
True
Suppose 0 = 24*q - 27*q + 99. Is 11 a factor of q?
True
Let t(l) = l**3 - 7*l**2 + l + 7. Let a(b) = -b**3 + b**2 - 1. Let x(d) = 6*a(d) + t(d). Suppose -p - 4*j - 9 = 0, 2*p = 5*j + 2 + 6. Is 3 a factor of x(p)?
False
Let j(f) = -f - 1. Let m(l) = -10*l**2 + 2*l**2 - 4*l + 3*l. Let d be m(-1). Does 3 divide j(d)?
True
Let f(s) = 6*s**2 - s**2 - 3*s**2 - 2*s. Let k(h) = h**2 + 7*h - 11. Let p be k(-8). Does 10 divide f(p)?
False
Let i = -119 + 228. Is i a multiple of 25?
False
Suppose -3*a - 3*p = -a - 18, -5 = a - 2*p. Suppose 4*s + 27 = -a*i, -5*i + 6 = s - 0*s. Is 12*(-1 - 12/s) a multiple of 4?
True
Let d = 5 - 6. Let z be d/2 - 17/(-2). Let s = 10 - z. Is s a multiple of 2?
True
Let u(g) = g**2 - 7*g - 10. Is 6 a factor of u(11)?
False
Let g(k) = k**3 + k**2 + k + 30. Suppose 2*v - 7 = v. Let q = 7 - v. Does 10 divide g(q)?
True
Let z = -13 - -17. Suppose -a - z*a = -205. Does 12 divide a?
False
Suppose 0 = 2*f - f + 5*m - 24, f = -2*m + 21. Suppose -32 = -3*o + 2*p, 5*o + 3*p = 9 + f. Does 5 divide o?
False
Let w be (36/12)/((-6)/(-8)). Suppose -n + 10 = w. Does 3 divide n?
True
Let o(n) = -n + 1. Let d be o(-3). Suppose 3*q - 67 = d*u + 92, q - 61 = 4*u. Is q a multiple of 17?
False
Let j be (-4 + 26/5)*5. Let g(b) = b + 4. Is 5 a factor of g(j)?
True
Suppose f - 3*n = -0*f + 63, 370 = 5*f - 4*n. Suppose -4*p = 2*g - 72, f = 3*g + p - 5*p. Is g a multiple of 6?
True
Let q(s) = s**2 + 3*s + 3. Let z be q(-3). Suppose -2*j = z*j - 60. Is 4 a factor of j?
True
Let w(m) = -2*m - 3. Let l be w(-3). Suppose -223 = -l*d + 77. Suppose 5*a = -3*x + d, -4*a - 30 + 188 = 5*x. Is x a multiple of 15?
True
Suppose -i - 9 - 5 = -2*s, 5*s - 2*i = 34. Suppose 36 = r + s. Does 15 divide r?
True
Suppose a = 2*m + 7, -2*a = m - 0*a + 6. Suppose 3*f = 3*n + 3, 9*f - 4*f - 45 = -3*n. Is f/3 + m/(-1) a multiple of 3?
True
Let u be (-360)/2*(-2)/5. Let o = -39 + -1. Let l = u + o. Is l a multiple of 16?
True
Let t(s) be the first derivative of s**3/3 + 3*s**2 + 6*s + 1. Suppose 15 = -3*r - 3*w, 0 = -2*r + w - 7 - 6. Is t(r) a multiple of 6?
True
Suppose b - 14 = 4*j - 0, -2*b - 4*j = -16. Is b a multiple of 2?
True
Let l be 6/33 - (-159)/33. Suppose 40 = 3*o + 2*b - 3*b, 0 = l*o - 5*b - 80. Is o a multiple of 8?
False
Is 3 - (-11)/((-33)/(-546)) a multiple of 37?
True
Suppose s - 4*s + 9 = 0. Suppose b + r + r + 2 = 0, -s*b - 4*r = -2. Is 6 a factor of b?
True
Suppose 5*c - 29 = 106. Suppose -c - 45 = 2*u. Let t = -20 - u. Does 16 divide t?
True
Suppose 7*c - 2*c + 251 = -3*f, 4*f - 5*c + 358 = 0. Let p = -55 - f. Does 10 divide p?
False
Let f be 4/(-22) - 1083/33. Let t = 62 + f. Is t a multiple of 13?
False
Suppose -g - 84 = -5*g. Suppose j - 3 = 2*b, -b = -2*b - 4*j + g. Does 6 divide 1 - -11 - 0/b?
True
Suppose -3*a + 16 = 2*q, -q = q + 4*a - 20. Let z = q + -2. Suppose j - x = 17, -5*x + 23 = -z*j + 4*j. Does 6 divide j?
True
Suppose -v + 51 + 31 = 0. Let x = -4 - -6. Suppose 0 = -x*z + v - 14. Is 12 a factor of z?
False
Let t(z) be the second derivative of -2*z**3/3 - 2*z**2 - 2*z. Does 12 divide t(-7)?
True
Suppose 0 = -r - 2*r + 3*x + 24, 5*r + 5*x = 0. Suppose 2*y + a - 68 = -3*a, 0 = -r*y + 3*a + 191. Does 17 divide 2/11 + 1488/y?
True
Suppose -8*d - m = -4*d - 121, 4*m + 146 = 5*d. Is d a multiple of 15?
True
Let l(k) = k**2 - 6*k + 2. Let q be l(6). Suppose 160 - 24 = q*i. Does 22 divide i?
False
Suppose 13*g - 156 = 9*g. Is 8 a factor of g?
False
Suppose i + 0 = 21. Does 8 divide i?
False
Is (-20)/((-12)/(-6) - (-6)/(-2)) a multiple of 12?
False
Let p(y) = y**3 + 6*y**2 + 7*y + 4. Is p(-4) a multiple of 3?
False
Does 5 divide 1/2 - 38/(-4)?
True
Suppose 3*d + 0*f = -3*f + 51, -5*f + 53 = 3*d. Does 12 divide d?
False
Let m(h) = h + 72. Is 9 a factor of m(8)?
False
Let y(d) = d**2 - 9*d + 11. Let m be y(5). Is (-4 + (-60)/m)*12 a multiple of 6?
False
Suppose 5*k = -u - 0 + 24, 5*k - 36 = -4*u. Let y(g) = 5*g - 1. Let q be y(1). Suppose -q*l = -k*r + 69 + 7, -4*l = r - 24. Does 10 divide r?
True
Let d = 38 + -27. Is 11 a factor of d?
True
Let h(p) be the first derivative of 2 + 4*p + 1/2*p**2. Does 3 divide h(3)?
False
Let j = 46 - 88. Suppose h + 2*g + 58 = 0, 3*h - 2*g = -g - 195. Let t = j - h. Does 13 divide t?
False
Let t(w) = -w - 2. Let v be t(-5). Does 16 divide 45 + (0/v)/(-1)?
False
Suppose -3*z + 0*z - 15 = 0. Let b(f) = -7*f**3 + 3*f**2 + 2*f - 11. Let v(n) = 8*n**3 - 4*n**2 - 2*n + 12. Let i(m) = 7*b(m) + 6*v(m). Is 14 a factor of i(z)?
False
Let v(y) = -3*y + 1. Let l(m) = 10*m - 3. Let w(g) = 2*l(g) + 7*v(g). Let p(a) = a**3 - 2*a**2 - 4*a + 3. Let t be p(2). Is 6 a factor of w(t)?
True
Suppose m = -c + 29 + 13, c - 27 = -4*m. Suppose -90 = -3*h + 2*d, -2*h + h = 5*d - c. Is 21 a factor of h?
False
Suppose 3*x - 2*x + 11 = 0. Let h = x - -23. Does 6 divide h?
True
Is ((-4)/(-3))/(16/2448) a multiple of 21?
False
Let c(y) = 11*y**2 + 4*y + 4. Is 8 a factor of c(-2)?
True
Let t(v) be the third derivative of -v**4/6 - 5*v**3/2 + v**2. Does 10 divide t(-12)?
False
Is 6/((-48)/(-20))*10 a multiple of 8?
False
Let k be 2*1 + (-13 - -4). Let u = k - 0. Let a(c) = -c**2 - 8*c + 3. Does 5 divide a(u)?
True
Let g(s) = s + 7. Let d be g(-5). Let v(l) = 2 + 0*l**3 + 4*l - l**3 + 5*l**2 + 0 - d*l. Is 8 a factor of v(5)?
False
Suppose -12 = 4*r - 0*v - 5*v, 5*r = v + 6. Suppose 39 = r*t + 4*y - 9, 0 = -4*t - 2*y + 72. Is 9 a factor of t?
False
Suppose -4*i = -2*g + 230, -2*i + 5*i + 465 = 4*g. Let j be (-4 - 0)*g/4. Is (4/6)/((-3)/j) a multiple of 8?
False
Suppose -5*b - 322 = -1597. Is b a multiple of 15?
True
Suppose 13*i - 12*i = 29. Does 6 divide i?
False
Let a(s) = s**3 + 9*s**2 - s. Does 3 divide a(-9)?
True
Let t be 4/1*(-4)/(-2). Suppose 5*k - 12 = t, 0 = 4*i - 2*k + 16. Does 11 divide (i/4)/(2/(-44))?
True
Suppose 0 = -5*t - w + 660, 5*t = 5*w - 10*w + 660. Does 23 divide t?
False
Let x(o) = -o**3 - 33*o**2 - 64*o + 28. Is x(-31) a multiple of 18?
True
Let s(g) = -g**3 + 5*g**2 - 9*g + 8. Let z(i) = -3*i**3 + 11*i**2 - 19*i + 16. Let m(b) = -5*s(b) + 2*z(b). Does 21 divide m(-6)?
False
Suppose 0 = 3*t - 7 - 5. Suppose -t*v = v. Suppose 2*x + 5*o + 7 = 26, -3*x + 5*o + 66 = v. Is x a multiple of 8?
False
Let o = -145 + 341. Let r be 6/(-33) + o/(-11). Let u = 33 + r. Does 11 divide u?
False
Suppose -4 - 4 = -4*p + k, -3*p = -5*k + 11. Suppose -3*n - p*m + 93 = 0, 0 = 5*n - 2*m - 112 - 22. Does 20 divide n?
False
Does 3 divide (3/6)/(1/8)?
False
Let a = 96