 -521 = 4*y + c - q. Let d = -66 - y. Is 20 a factor of d?
True
Suppose -2*l + 2 - 17 = -5*t, 2*t = -5*l - 23. Suppose 0 = 2*d + 2*q - 4, -5*q = 2*d + t - 5. Does 7 divide 68/6 + d/(-6)?
False
Suppose f + 1 - 46 = 0. Is 15 a factor of f?
True
Let f(n) = n**3 + 11*n**2 + 8*n + 17. Is f(-9) a multiple of 41?
False
Let u be (-21)/(6/(-2)) + -3. Suppose z + u = -z, -5*z = 2*t + 52. Does 13 divide t*((-4)/(-6))/(-1)?
False
Let c(j) be the second derivative of -7/3*j**3 + 0 - 3/2*j**2 - 2*j. Is c(-2) a multiple of 16?
False
Suppose 0 = -2*d - 5*a + 67, -d - 3*a + 38 - 4 = 0. Is d a multiple of 27?
False
Let n(s) = -s**3 + s + 4. Let y = 0 + 0. Let j be n(y). Is 11 a factor of ((-66)/j)/(6/(-8))?
True
Suppose 0 + 25 = -4*o - 5*b, 5*b = 15. Does 7 divide 2/o + 212/10?
True
Suppose -3*v + 4*v - 9 = -2*q, 0 = -4*v + q + 9. Suppose x = -3*o + 26, 7*o - 3*o - 39 = v*x. Suppose -5*g + 67 = y + 2*y, -y = -g - o. Is y a multiple of 6?
False
Let f = 78 + -28. Is 14 a factor of f?
False
Let v be (-1)/(6/166)*3. Let g = 143 + v. Suppose 4*c - g = -c. Is 12 a factor of c?
True
Suppose -9 = -2*l + 3*l. Is 9 a factor of 36/(-30)*210/l?
False
Suppose -6*w + 182 = -4*w. Is 13 a factor of w?
True
Let t = -3 - -6. Let x be 5 + 9 - 1*t. Let v = 19 - x. Is v a multiple of 4?
True
Suppose r + 12 = 5*r - 2*g, 2*g = r + 3. Suppose 0 = r*s - 191 + 71. Is s a multiple of 24?
True
Let b = -7 + 10. Suppose -68 = -4*q - p, b*q = -5*p + 14 + 20. Is q a multiple of 11?
False
Let n(v) = v**2 - 7*v + 7. Let w be n(5). Let h = -8 + 8. Is 440/10 + (w - h) a multiple of 23?
False
Is -1 + (3 - 0) - -3 a multiple of 3?
False
Let p = 32 - -2. Is p a multiple of 17?
True
Let c(q) = -q**2 - 4*q + 6. Let a be c(-5). Suppose -5*h = 4 + a. Is 6 a factor of h - (0 - (2 + 5))?
True
Is 17 a factor of (-2)/3 + 2/(48/7096)?
False
Let t(l) = -3*l - 2. Let s(h) = h + 1. Let w(c) = -3*s(c) - 3*t(c). Let u(v) = -5*v - 2. Let b(n) = 3*u(n) + 2*w(n). Is b(-4) a multiple of 3?
True
Let u(l) = -3*l + 4. Suppose p - 4*w - 4 = 0, -4*p - 2*w = 3*w + 26. Does 9 divide u(p)?
False
Let k = 101 + -53. Does 21 divide k?
False
Let l(m) = m**3 + 7*m**2 + 6*m - 5. Let i be l(-6). Let r = 30 - i. Does 7 divide r?
True
Suppose -2*q = -6*q + 84. Is q a multiple of 6?
False
Let t = 21 - 16. Suppose -4*f + 4*p + 44 = 0, 3*f + 57 = t*f + 5*p. Is f a multiple of 8?
True
Is 3 - (-14 - (-6)/(-3)) a multiple of 4?
False
Suppose h - 7 = -3. Suppose -h*j = -j - 9. Is j a multiple of 3?
True
Let a(t) = t**2 - 11*t + 7. Let m be a(6). Let f = 32 - m. Does 17 divide f?
False
Let j(i) = 0*i**2 + i + i**2 + i - 1. Suppose -11*k = 24 + 20. Does 2 divide j(k)?
False
Is 18 a factor of 7/35 + (-269)/(-5)?
True
Let l be ((-2)/(-3))/((-1)/(-69)). Suppose 5*g = -4*m + l, -2*g - 2*m + 16 = -2. Is 10 a factor of g?
True
Let a be (2/(-2))/(10/(-50)). Suppose -4*w = -16, -4*q = -3*q + a*w - 47. Is 27 a factor of q?
True
Let o = -15 + 38. Is o a multiple of 16?
False
Suppose -5*r - 4*l - 51 = -910, 5*r - l - 879 = 0. Is 25 a factor of r?
True
Suppose -4*g = -2*i + g + 733, -3*i + 4*g = -1117. Does 47 divide i?
False
Let c = 48 + -1. Is 5 a factor of c?
False
Let n be (-58)/(-8)*2*-2. Does 9 divide (-8)/(n/9 + 3)?
True
Suppose -q - 5 = 1. Let r = 6 + q. Suppose -30 = -r*w - w. Is 15 a factor of w?
True
Let q(m) = 14*m**2 + 2*m + 6. Let o(f) = 15*f**2 + 2*f + 7. Let k = -9 - -15. Let d(a) = k*q(a) - 5*o(a). Does 8 divide d(-1)?
True
Let o = -183 - -275. Does 23 divide o?
True
Suppose -2*j = -5*j + 120. Suppose -2*f - j = 2. Is (f/9 + 1)*-15 a multiple of 10?
True
Let k(q) = q + 10. Let b be k(-10). Suppose 3*y - 22 - 248 = b. Does 30 divide y?
True
Let l(c) = -c - 1. Let s be l(9). Is 7 a factor of (-6)/s*(-50)/(-2)?
False
Let v = 30 + -17. Let y = v + 13. Does 10 divide y?
False
Suppose -7*l = -5*l - 12. Is 2 a factor of l?
True
Let f(q) = -q**3 + 7*q**2 - 4*q - 2. Let m be f(6). Suppose -h + 33 = m. Is 12 a factor of h?
False
Let x(y) = y + 21. Does 9 divide x(15)?
True
Let g be 2/6 - (-10)/(-3). Let p be (g - 4/2)*-1. Is (2/p)/(4/60) a multiple of 4?
False
Let o(m) = 2*m**3 + 1. Let k be o(-1). Does 15 divide -1 - -2*(9 + k)?
True
Let q = -2 - -5. Is -1 + q/6*92 a multiple of 17?
False
Suppose -5*r = -4*k + 14 + 16, -r + 4*k - 22 = 0. Let q(h) = -h**3 - 2*h**2 + 3*h + 2. Let i be q(r). Is (i - -2) + (-27)/(-1) a multiple of 13?
False
Let y(d) be the second derivative of d**5/20 - 3*d**4/4 + 11*d**3/6 - d**2/2 - 3*d. Is 9 a factor of y(8)?
False
Suppose 0 = -5*k - 2*d + 374, 0*k - k = -d - 72. Does 13 divide k/(4/(2 + 0))?
False
Let b(x) = -x**2 + 7*x - 2. Let f be b(6). Let n(k) = 5*k - f - 4 + 4 + 3. Is n(5) a multiple of 12?
True
Suppose 3*r - 3 = 4*f + 6, 0 = -4*f. Suppose -2*j = r*j. Let s = j - -12. Is s a multiple of 4?
True
Let p(c) = -c - 3. Let i(v) = 3*v + 10. Suppose 5*u + 5*j - 25 = 0, 4*u - j - 48 = -18. Let s(w) = u*p(w) + 2*i(w). Is 2 a factor of s(-3)?
True
Suppose 0 = 5*d + 5, -o + 5*o - 3*d - 43 = 0. Does 5 divide o?
True
Suppose 8*f - 171 = -f. Does 19 divide f?
True
Let t(s) = -s**2 + 3*s + 8. Let b be t(8). Let y = b + 56. Is y a multiple of 12?
True
Let q be 45/(-12)*16/(-6). Suppose -7*k - q = 4*s - 2*k, 0 = s - 4*k - 8. Suppose w - 4*d - 1 = 6, s = 3*w + d - 47. Does 6 divide w?
False
Let s(q) be the third derivative of -q**6/40 - q**5/60 + q**4/8 + q**3/3 - 3*q**2. Let l be s(-2). Let p = l + -6. Does 4 divide p?
False
Let q(x) be the third derivative of x**4/3 - x**2. Is q(1) a multiple of 8?
True
Is -2*(-14)/(-12)*-3 a multiple of 7?
True
Let w be (-2)/((-9)/6 + 1). Suppose 0 = w*d - 3*d - 33. Is 14 a factor of d?
False
Let x(s) = s**3 + 7*s**2 + 4*s + 6. Let d be x(-6). Suppose -2*f = f - d. Does 16 divide 82*1*3/f?
False
Let d be (9/3 + -1)/1. Let c be d/(-6) + 97/3. Suppose -y + c = -3*l, -3*y - l = y - 154. Is y a multiple of 19?
True
Let c be 32/(-10)*(-35)/2. Let g = -35 + c. Is g a multiple of 7?
True
Let p = -4 + 5. Let n be (-1)/3 + (-2)/(-6). Is 12 + p - n - 1 a multiple of 6?
True
Let j(u) = 28*u**3 + 2*u**2 - 2*u + 1. Is 7 a factor of j(1)?
False
Suppose 0 = 2*n - 6*n + 3*y + 52, 0 = n - 5*y - 30. Suppose -2*s + n = -14. Is s a multiple of 5?
False
Let k be 2*3*(10 - 4). Is 27 a factor of ((-52)/(-8))/(3/k)?
False
Let u(s) = 21*s - 1. Does 15 divide u(3)?
False
Let i(x) = -3*x**3 - 4*x**2 - 3*x - 2. Let y be i(-2). Let p = y - 1. Does 3 divide p?
False
Let d be 2/2 - (-8)/2. Let l be (0 - -3)*1 + -3. Suppose -j + l = -d. Is j a multiple of 2?
False
Is 1 - ((-6)/(-3) - 14) a multiple of 3?
False
Suppose 2*h - 6*d + 2*d = 78, 4 = 4*d. Is h a multiple of 10?
False
Let j(v) = -v**2 + 11*v + 17. Is j(12) a multiple of 5?
True
Let p = 71 - 13. Suppose -w - 2*o = w - 20, -4*w + p = -5*o. Suppose -3*a = 3*x - w, -58 + 14 = -5*x + 3*a. Is 2 a factor of x?
False
Suppose 4*k - 4*h = -8, -3*h + h = -k - 1. Let x(d) = -d**2 - 4*d. Is x(k) a multiple of 3?
True
Let c be 36/3 - (0 - -2). Let w = c + -7. Let y(g) = g. Is 3 a factor of y(w)?
True
Let m(x) = 7*x**2 - 7*x. Let a(i) = 20*i**2 - 20*i. Let t(r) = 6*a(r) - 17*m(r). Is t(2) a multiple of 2?
True
Does 9 divide ((-32)/10*-1)/(12/270)?
True
Let i be -1 - ((-2 - -1) + -100). Suppose -i = 2*b - 6*b. Does 10 divide b?
False
Let l(r) = -3*r**3 + 3*r**2 + 4*r + 2. Let d be (-12)/(-3)*1/(-2). Does 13 divide l(d)?
False
Suppose 0 = 5*h + 15, 2*f + h = -0*h + 15. Suppose 81 = f*m - 6*m. Is m a multiple of 9?
True
Suppose -2*x + 4 = 12. Suppose -z + 14 = -b + 140, 3*b - 370 = z. Is 12 a factor of b/10 + x/20?
True
Let c be (12/15)/((-2)/(-15)). Does 14 divide 2/c - (-415)/15?
True
Let s be 30/4*12/5. Suppose f = 24 + s. Is f a multiple of 17?
False
Let p = 7 + -2. Let t(n) = 15*n - 7. Let q be t(p). Suppose 4*k = -12 + q. Is k a multiple of 9?
False
Suppose -b + 1 = -15. Suppose -4*l + b = -2*h, -2*h - 11 = 3*l - 6*l. Let w(p) = 2*p**3 - 3*p**2 + p + 2. Does 4 divide w(h)?
True
Is 24 a factor of (122/1)/(0 - (2 - 4))?
False
Let x = 19 + -12. Suppose x = -2*a + 59. Does 10 divide a?
False
Let m(b) be the second derivative of b**5/10 - b**4/2 + 2*b**2 + 7*b. Is m(4) a multiple of 9?
True
Let c(j) = 2*j**2 - 3. Let g be c(-5). Suppose 4*m = -x - g + 106, 0 = x - m - 44. Is x a multiple of 25?
False
Let y = -120 + 211. Is 13 a factor of y?
True
Let b be 4 - (-1 + 3 + -2). 