2 - 3*w + 2. Let f be j(-3). Suppose 2*n - 120 = -f*n. Suppose -3*l + 12 = -n. Is l a multiple of 7?
True
Suppose 3*q + 362 - 5 = 3*g, -2*q + 470 = 4*g. Suppose -422 = -4*y - g. Does 13 divide y?
False
Suppose 2*n - 176 = 4*l, -7 = -2*n - l + 169. Is 11 a factor of n?
True
Let n(f) = -f**3 - 3*f**2 + 3*f + 3. Let m be n(-4). Suppose 2*s - m = 9. Does 3 divide s?
False
Suppose z - 4*z = -390. Suppose -5*i - 12 = -2*x, 4*x = 2*i + 2*i. Does 8 divide (z/15)/(i/(-6))?
False
Let g(p) = -5*p + 7. Let m(d) = 2*d + 7. Let c be m(-6). Is g(c) a multiple of 14?
False
Suppose 2*r + p - 913 = -r, 5*r - 5*p = 1555. Does 24 divide r?
False
Let n(b) be the second derivative of b**5/20 + b**4/3 - 7*b**3/6 + b**2 + b. Let m be (-32)/6 - 5/(-15). Is n(m) a multiple of 12?
True
Let k = 13 - 6. Let d(c) = c**3 - 7*c**2 + 2*c - 9. Let l be d(k). Suppose -l*v + 28 = -37. Is v a multiple of 5?
False
Let k(q) = q**2 - 4*q + 3. Let f be k(3). Suppose b + 2*z = 8 - f, 0 = 3*z - 15. Let r = b - -11. Does 9 divide r?
True
Let s be (4/8)/((-1)/(-2)). Let f be s/1 - (0 + -54). Let p = -29 + f. Is 13 a factor of p?
True
Let d(i) = -i**2 - 5*i + 2. Let x be (18/15)/(6/20). Let v be x*(0 - 3 - -2). Is d(v) a multiple of 3?
True
Let n = 9 + -4. Suppose -2*h - 298 = -2*s, 2*h + 713 = n*s + 5*h. Let u = s - 90. Is u a multiple of 17?
False
Let y(t) = 5*t + 15. Is y(9) a multiple of 12?
True
Let s(g) = -g**2 + g**3 - 6*g**2 + 2*g**2 + g - 5 - 6*g. Let f be s(6). Is 18 a factor of (-2 - f)*(-6 - 0)?
True
Let d = 1 + 3. Let q = -8 + 13. Suppose q*w = 4*v + 142, d*w - 4*v - 140 + 24 = 0. Does 14 divide w?
False
Is 23 a factor of (2/5)/(((-28)/(-3955))/4)?
False
Let v(x) = 2*x**2 - 5*x - 3. Let p be 32/(-4)*1/(-2). Let b = p - 7. Does 15 divide v(b)?
True
Suppose -2*w + 22 = -2*u, 65 = 2*w + 2*w + 3*u. Does 14 divide w?
True
Let g = 110 - 79. Is g a multiple of 3?
False
Is 20 a factor of (0 + (-1)/3)*-213?
False
Suppose 184 = y - 0*y. Is y a multiple of 25?
False
Let a = 172 + -60. Does 41 divide a?
False
Suppose -3*s + 125 = -8*s. Is 20 a factor of -2 - (s + 3 + 0)?
True
Let n(c) = 6*c - 3. Let z be 0 - (-1 + 3/3). Let d be -5*(z - (-18)/(-15)). Is 12 a factor of n(d)?
False
Suppose -2*a + 25 = -3*o - 13, 4*o + 5*a + 20 = 0. Let x(h) = h**2 + 9 + 9*h - 7 + 12. Is x(o) a multiple of 12?
True
Let o = -4 - -6. Let b(w) = -w**3 + 3*w**2 - 2*w - 1. Let r(t) = -t**3 + 4*t**2 - 2*t - 1. Let v(i) = -3*b(i) + 2*r(i). Does 9 divide v(o)?
True
Suppose 5*b + 19 = 2*t, 2*t - 4*b - 2 = t. Does 22 divide t?
True
Let k(s) = -s**3 + s**2 + 11. Let a be 2/7 - (-5)/7. Suppose -5*c + 24 = -5*f - a, -c = -2*f - 10. Does 11 divide k(c)?
True
Let t = 2 + 2. Suppose -5*f = -t*r - 208, f + r - 5*r = 48. Is f a multiple of 31?
False
Let w = 8 + -4. Is 10 a factor of 34 - (2 + 0) - w?
False
Let c be (3 + -7 - -10) + -1. Suppose 0 = 2*p + 4*h - 52, 5*p - 155 = c*h - 25. Does 13 divide p?
True
Let l(i) = -5*i - 21. Does 7 divide l(-11)?
False
Suppose -60 = -5*t + 5. Let h = -18 - 1. Let n = t - h. Does 16 divide n?
True
Let h(i) = 10*i - 4. Is h(4) a multiple of 12?
True
Let n(h) be the first derivative of -h**4/4 + 2*h**3/3 - h - 3. Let o be n(-1). Suppose 10 = 4*p - 0*v + o*v, 2*v = -6. Is p a multiple of 2?
True
Suppose 0 = 4*r + 4*f - 16, -2*f = -r + 3*f + 4. Suppose -r*d + 0*x + 46 = 3*x, 2*x = d - 6. Suppose d + 5 = 5*k. Does 2 divide k?
False
Suppose 4*b + 197 = -99. Let k = 11 + b. Let u = k - -101. Does 20 divide u?
False
Let c be 18/(((-6)/(-75))/(-1)). Let b = c - -129. Is (-1)/((3/b)/1) a multiple of 16?
True
Let p = 75 + -72. Let q(i) be the third derivative of i**6/120 - i**5/30 + i**4/8 - i**2. Is q(p) a multiple of 7?
False
Let w be -12 - 4*(-3)/6. Let x be (-54)/(-15) - (-6)/w. Is 8 a factor of -6 + x - -24 - -1?
False
Let p(a) be the first derivative of -3*a**2/2 + 10*a + 3. Is 13 a factor of p(-7)?
False
Let m(f) = -2*f**3 - f**2. Let w be m(-2). Let k(a) = -a**2 + 15*a - 8. Is k(w) a multiple of 7?
True
Let s be 29*-1*(1 + -2). Suppose 2*a - 35 = -5*l - 3*a, s = 5*l + 3*a. Suppose -4*i = -l*d - 2*i + 48, 0 = 2*i + 4. Does 8 divide d?
False
Let n(f) = 2*f**3 + 2*f**3 - 4 + 8 - 5*f**2 + 5*f - 3*f**3. Does 35 divide n(6)?
True
Let j(o) = -5*o**3 + o**2 + 5*o + 5. Is 2 a factor of j(-2)?
False
Suppose 0 = -2*c + 6 + 12. Is 9 a factor of c?
True
Suppose 0 = 2*u - 15 + 5. Suppose s - 10 = 2*d, -u = 4*d + 11. Suppose -5*t + 27 = -q, -2*t + t = -s*q. Is 3 a factor of t?
True
Suppose -2*j + 24 = -0*j. Does 10 divide -24*(-3 + 21/j)?
True
Is 4/30 + (-2606)/(-30) a multiple of 11?
False
Let x(g) = 22*g**3 - 5*g**2 + 4*g - 4. Let j(v) = -22*v**3 + 6*v**2 - 5*v + 5. Suppose 25 = 3*d + 10. Let r(u) = d*x(u) + 4*j(u). Is 6 a factor of r(1)?
False
Suppose 3*u - 428 - 148 = 0. Is u a multiple of 32?
True
Suppose 3*g + 4*j - 1 + 8 = 0, 2*g = 3*j + 1. Let l = 3 - g. Is 2 a factor of l?
True
Let i = -9 - -19. Is i a multiple of 5?
True
Suppose -5*q - 524 = -4*s, -5*s + q = -0*q - 655. Suppose z - s = -3*a - a, 0 = 3*a + z - 99. Is a a multiple of 11?
False
Let h be 4/12 - (-7)/(-3). Let z = 4 - h. Does 6 divide z?
True
Let x(q) = -5*q - 38. Is x(-11) a multiple of 13?
False
Suppose -7*h + 89 = -44. Does 11 divide h?
False
Let d = -25 - -42. Is 11 a factor of d?
False
Let t = 0 + 2. Let r(u) = 2 + 2*u**t - 2 - u + 2. Is r(-2) a multiple of 12?
True
Is 70/(-4)*88/(-20) a multiple of 19?
False
Suppose 72 = -k + 2*k - 3*b, 2*k + 4*b = 104. Does 15 divide k?
True
Suppose x + 3*s - 12 - 2 = 0, -4 = s. Is x a multiple of 4?
False
Let n(s) = -10*s + 3. Suppose d = -2*d - 12. Let w be n(d). Let z = 64 - w. Is z a multiple of 10?
False
Suppose 5 - 61 = -7*z. Is 4 a factor of z?
True
Let i(z) = -2*z. Is i(-11) a multiple of 11?
True
Let s = 6 - 3. Suppose -s*f = -f - 26. Let o = 21 - f. Is o a multiple of 3?
False
Let q(p) = -2*p + 80. Does 20 divide q(0)?
True
Let p(f) = f**3 + 7*f**2 + 4*f + 3. Does 9 divide p(-3)?
True
Let k(i) = -i**2 - 3*i. Let d be k(-5). Does 2 divide 2*d/4*-1?
False
Let t = 60 + -45. Does 15 divide t?
True
Suppose 0 = -5*c + 3 + 12. Suppose w = -4*w - b + 70, -2*b - 29 = -c*w. Is 13 a factor of w?
True
Let v = 55 + -38. Suppose -4 - 6 = -5*n. Suppose -y + 5*g = 5, 5*g - 18 = -n*y + v. Does 10 divide y?
True
Suppose -2*o - 470 = -4*w, 4*w - 255 = 2*w - 3*o. Suppose -w = -4*i - i. Is 8 a factor of i?
True
Let t = -57 - -113. Does 14 divide t?
True
Let l = -80 - 121. Let f = -83 - l. Is f a multiple of 27?
False
Suppose -4*c - 1 - 3 = 0. Suppose -2*t - 7 = 3. Is 4*t*c/4 even?
False
Let b(f) = 8*f**2 - 2*f + 2. Suppose -2*j + 2*s = 2, 5*j - 2*j - 5*s = 1. Let q be b(j). Suppose 6*m = m + q. Is 16 a factor of m?
True
Let a = 11 - 8. Suppose 21 = -a*l + 48. Does 3 divide l?
True
Let w(p) = p**3 + 5*p**2 - 2*p - 6. Let j(a) = a**2 + 4*a - 5. Let y be j(-4). Let m be w(y). Suppose 20 = z + m*v, -5*z = -3*z + 3*v - 40. Is 10 a factor of z?
True
Let c(t) = 6*t - 3. Let w be 8 + -6 + 2/2. Let u be c(w). Suppose -3*z - u = -o, 2*o = 2*z - 3*z + 51. Does 16 divide o?
False
Let d = -1 + 4. Suppose -4*r + d = -5. Suppose 2*g + 37 = w, r*w - 5*g - 105 + 27 = 0. Is w a multiple of 12?
False
Let c = 473 + -773. Let x = -181 - c. Suppose -x + 374 = 5*t. Is 17 a factor of t?
True
Let z be 14/35*5*1. Suppose 4*t - 2*l = z*t + 18, 2*t - 28 = 4*l. Does 2 divide t?
True
Let d(b) = -b + 3. Let f be d(8). Let u be (f - -5)/(-1*1). Suppose -25 = -x + p - 0*p, -5*x - 2*p + 90 = u. Does 10 divide x?
True
Let n be 2 - (-2)/2*-61. Let s be (-2)/4 - n/(-2). Is (3/2 + -2)*s a multiple of 14?
False
Let t(k) be the first derivative of -2*k**3/3 - k**2 + 3*k - 2. Let i be t(-3). Is 12/i*(-15)/2 a multiple of 10?
True
Does 12 divide ((-124)/2)/(-1) + 0?
False
Suppose 349 + 137 = 3*d. Suppose 3*l = -q - 2*q + 93, -5*q + d = -2*l. Is 16 a factor of q?
True
Suppose 5*s - 154 - 55 = -3*t, 142 = 2*t + 4*s. Suppose 5*j = 2*j + t. Suppose -2*w = -3*w + j. Is 8 a factor of w?
False
Let i(t) be the first derivative of 1/2*t**2 - 3 + 26*t. Is 13 a factor of i(0)?
True
Let c(k) = k**3 - k**2 + 1. Let y(a) = 3*a**3 + 2*a**2 - 1. Let l(i) = -4*c(i) + y(i). Let f be l(5). Is 6 a factor of 67/4 + 5/f?
False
Let x = 36 + -15. Suppose -3*p = -0*p - x. Suppose 0 = -5*b - p + 32. Is b a multiple of 3?
False
Let y = 10 - 5. Suppose y*s = -2*r + r +