*p(r) + 5*x(r). Is n(-13) a multiple of 26?
False
Let c = 15 - 10. Suppose 2*n - 19 + c = 0. Let m = 0 + n. Does 7 divide m?
True
Suppose o = 57 - 9. Is o a multiple of 16?
True
Suppose 0 = -5*r + 12 + 168. Is 16 a factor of r?
False
Let n = 1204 + -805. Is n a multiple of 21?
True
Is (-28)/(-3)*(-3)/(-1) a multiple of 14?
True
Let o(p) = p + 19. Let h = 10 + -8. Suppose 3*k + 7 = -4*l - 41, h*k = 3*l - 15. Does 7 divide o(k)?
True
Let f = 6 - 2. Suppose -117 = -f*h + 3. Does 15 divide h?
True
Let u be (15/6)/(1/2). Suppose -4 + 29 = -u*z. Let p = z + 8. Does 3 divide p?
True
Let f(c) = 1 + 2*c - c + c. Let m be f(-1). Does 9 divide 3 + 16 + m*1?
True
Let d(s) be the second derivative of 4*s**3/3 - 2*s**2 - 2*s. Is d(3) a multiple of 7?
False
Let c be (4/6)/(4/30). Let w(x) = -x - 2*x + x**3 - 6*x - c*x**2 - 10. Is w(7) a multiple of 12?
False
Suppose -3*s + 2 = -4. Let n = s - 5. Does 5 divide ((-9)/4)/(n/12)?
False
Suppose k - 3*v = -0*v + 2, 2*k - 4*v - 2 = 0. Let u be 9/(-6)*(k + 11). Is 4/(-1 + u/(-12)) a multiple of 8?
True
Suppose 0 = y + 3 - 58. Suppose -5*a + 5*d + y = 0, -11 = -3*a - d + 26. Is 4 a factor of a?
True
Let g(a) = -a**3 - 5*a**2 + 3*a + 2. Is 8 a factor of g(-6)?
False
Suppose 3*v + 3*o - 178 = -46, -2*v = 5*o - 76. Does 6 divide v?
True
Let f(g) be the first derivative of g**3/3 - 5*g**2 + 11*g - 1. Let l be f(9). Suppose -l*r + 10 = 0, -2*c - 3*r + 4*r + 13 = 0. Does 9 divide c?
True
Let x(w) = -2*w**2 - 18*w - 4. Is x(-8) a multiple of 4?
True
Suppose -c - 1 - 4 = -f, 0 = -f + 4*c + 11. Suppose -f*g + 16 = -248. Is g a multiple of 19?
False
Suppose -b + 8 + 97 = 0. Is 27 a factor of b?
False
Suppose -5*f + f - 24 = 0. Is 10 a factor of -4*3/f - -8?
True
Suppose -4*k - 4 = 0, -3*k = j - 0*k - 34. Let z be j/7 + (-4)/14. Does 8 divide z*8*(-3)/(-15)?
True
Let l be 3 - (-5)/((-10)/18). Let i(y) = -y + 8. Is i(l) a multiple of 14?
True
Let j(h) = 58*h - 3. Let u(m) = 29*m - 2. Let i(s) = -3*j(s) + 5*u(s). Let x be i(-3). Does 7 divide x/4 - (-1)/(-2)?
True
Let k(z) = 2*z - 4. Let v be (-5)/(-10) - (-3)/2. Let w be 6*(4/v + -1). Does 6 divide k(w)?
False
Let m be (-1 - (-483)/(-3))*1. Let h = -111 - m. Is 13 a factor of h?
False
Let s = -217 + 337. Is 15 a factor of s?
True
Suppose -2*r = -45 + 9. Let y be 1/(3/r) + -1. Suppose y*t - 195 = -5*h, 26 = 5*t + 1. Is 17 a factor of h?
True
Suppose -2*w + 5*x = 2*w - 19, -5*w + 3*x + 14 = 0. Suppose 2*r + 3 = -w. Does 8 divide (3/r)/(1/(-10))?
False
Suppose 0 = -4*j + 3*j - 9. Let b = j + 27. Does 10 divide b?
False
Let p = -27 + 32. Suppose y - p*x = -17, 2*y + 2*x - 26 = -0*y. Is y a multiple of 8?
True
Is 13 a factor of (9/(-3))/3 - -40?
True
Let y(r) be the third derivative of -35*r**4/24 + r**3/6 + 3*r**2. Let m be y(-4). Is 15 a factor of (-1)/(-1) + m/3?
False
Let k(a) = -a**3 - 8*a**2 - 8*a + 2. Let t be k(-7). Does 14 divide ((-9)/2)/(t/(-60))?
False
Let u(i) = i**3 + i**2 - i + 18. Let x be u(0). Suppose -l - 10 - 5 = -4*d, 2*l + 4*d = -x. Let a = -4 - l. Does 2 divide a?
False
Let x(b) = 1. Let n(l) = 11*l + 5. Let q(k) = -n(k) + 3*x(k). Let a(t) = 7*t + 1. Let r(d) = 7*a(d) + 5*q(d). Does 21 divide r(-4)?
True
Let x be 0/((-6 + 0)/(-3)). Suppose 0*g + g - 53 = x. Let h = g - 21. Is 16 a factor of h?
True
Let q be 6/((-6)/(-15)*5). Suppose q*t - 40 = 17. Does 19 divide t?
True
Is 4 a factor of (9/(-27))/((-2)/48)?
True
Let p(c) = -c**2 - 3*c + 4. Let y be p(-3). Let u be -1 - -9 - (-1)/1. Suppose 0 = -y*d + f + 62, -2*f - u = -d + 10. Is d a multiple of 6?
False
Let q(h) = 4*h**2 - 3*h - 1. Let s be q(3). Suppose -k - 10 = s. Does 3 divide (4/6)/((-8)/k)?
True
Let o(i) = i**2 + 15*i + 21. Let l be o(-18). Suppose 0*x - 5*r - l = -2*x, 5*x = -4*r + 270. Is 25 a factor of x?
True
Suppose 5*o + 6*o - 330 = 0. Is 15 a factor of o?
True
Let k(n) = -n + 3. Let u be k(-4). Let f = u + 21. Does 28 divide f?
True
Let p(c) = -17*c**3 - 2*c**2 + 8*c - 7. Let k(h) = -16*h**3 - 2*h**2 + 7*h - 6. Let x(q) = -6*k(q) + 5*p(q). Does 9 divide x(1)?
False
Let f(k) = k**3 - 3*k**2. Suppose 0 = 3*a - z - 11, -a + 5*z + 3 = 4. Does 16 divide f(a)?
True
Suppose 5*x = g - 2, 5*g - 10 = -x + 5*x. Let l = g - -6. Let q = l + 8. Is 11 a factor of q?
False
Suppose -4*b = -9*b + 10. Let x(t) = t**2 - b*t - 2*t + 2 + t + t. Does 17 divide x(-3)?
True
Let l = -2 + 0. Let t(w) be the first derivative of 10*w**3/3 - 1. Is t(l) a multiple of 20?
True
Let o(b) = -b**3 + 13*b. Is o(-5) a multiple of 15?
True
Let j(k) = k**3 - 5*k**2 - 3*k - 7. Let p be j(5). Is ((-33)/p)/((-6)/(-20)) a multiple of 5?
True
Suppose -3*v = 2*b - 299, 2*b + 4 = -6. Does 7 divide v?
False
Suppose 82 = -5*u + 7. Is (-9)/u - 102/(-5) a multiple of 16?
False
Suppose 39 = 5*t - 46. Is 17 a factor of t?
True
Suppose -5*q + 2*u = -28, q + 4*u - 12 = -2. Is q a multiple of 3?
True
Suppose -r - 7 = 4*a, -6*a = 5*r - a + 80. Let b = r + 39. Does 10 divide b?
True
Suppose -6 = -2*t + t. Let y(u) = -5 - t*u + 4 + 2 - u**3 + 7 + 7*u**2. Is y(6) a multiple of 7?
False
Let m = 1 - -37. Does 19 divide m?
True
Suppose -2*w - 3 = d + 3, w = -d - 4. Does 7 divide 15 - d/2*-1?
True
Suppose -4*r - 8 = 4*g, -2*g = -g - 3*r - 18. Suppose -g*u + 41 = -5*j, -5*u + 2*j + 81 = -0*j. Does 6 divide u?
False
Suppose -245 = -5*b + 95. Is b a multiple of 17?
True
Let i(x) = 11*x**2 + x + 4. Does 23 divide i(-2)?
True
Let t(v) = -3*v**3 - v**2 - v. Let c be t(-1). Suppose -c*j = 2*d - 48 - 39, 0 = 5*d + 4*j - 228. Is d a multiple of 17?
False
Let m be ((-15)/6)/((-3)/(-84)). Let k be 2/(-6) - (-14)/(-3). Does 7 divide m/4*4/k?
True
Let r(s) = -s**3 - s**2 - s - 4. Let o be r(0). Let p = 10 - o. Does 7 divide p?
True
Suppose -3*h + 5 = -7. Suppose -d = h*d - 10. Is 2 a factor of d?
True
Let j(u) = -23*u**3 + u. Let k(o) = o - 6. Let i be k(5). Is j(i) a multiple of 8?
False
Let v(t) = -t**2 + 5*t + 9. Let s be v(10). Let i = s + 88. Does 16 divide i?
False
Suppose -15 - 57 = -4*y. Is 3 a factor of y?
True
Let k be -1 + (1 - (169 + -3)). Let q = 117 + k. Let u = -1 - q. Is 16 a factor of u?
True
Is 2*(-6)/3*-8 a multiple of 4?
True
Let y(h) = -4*h**3 - 17*h**2 - 6*h - 6. Does 21 divide y(-5)?
False
Suppose -5*b + 10*b - 4 = -4*r, -4*r = 2*b - 4. Let x(k) = 2*k + 1. Let n be x(1). Suppose n*s + 2*i - 41 = 0, -4*i = -2*s - b*i + 54. Is s a multiple of 11?
False
Does 21 divide (-4)/6 + (-256)/(-6)?
True
Let v(x) = 7*x - 4. Let k be v(4). Does 15 divide 0 + k*(-2)/(-3)?
False
Let m = -58 - -195. Suppose -n = 3, 6*a + n - m = a. Does 14 divide a?
True
Suppose 0 = -2*d + 6*d - 8. Suppose 0*j + 50 = d*j. Does 8 divide j?
False
Suppose -3*w = -5*z + 28, -4*z - 2*w - 13 = -53. Is z a multiple of 3?
False
Suppose -3*a = 2*z - 100, 4*a - 140 = -0*a - z. Is 6 a factor of a?
True
Let f = 16 - -3. Is f a multiple of 9?
False
Let p = -5 - -8. Suppose -3*n = -p - 81. Does 14 divide n?
True
Let q(a) = a**3 - 2*a**2 - 4*a + 3. Let v be q(3). Suppose 2*y - 2 = -v*y - r, -5*y + 16 = -3*r. Suppose -2 - 4 = -y*t. Is t a multiple of 3?
True
Let p(q) = -5*q - 5. Let j be p(-7). Suppose j = 5*c - 140. Suppose -r - 2*s - 3*s = -16, 3*r = -s + c. Is r a multiple of 8?
False
Let u(r) = -7*r + 19. Let d(y) = -y**3 + 5*y**2 - 2*y + 2. Let h be d(5). Is 25 a factor of u(h)?
True
Suppose 0*d - d - 7 = 0. Let c be (-16)/d - (-14)/(-49). Suppose k + 12 = c*k. Does 7 divide k?
False
Suppose 228 = -3*s + 5*s. Is 10 a factor of s?
False
Let t(q) = -9*q**3 - 2*q - 2. Let i be t(-2). Let b = -26 + i. Is 12 a factor of b?
True
Let g = 9 + 56. Let a = g + -29. Does 12 divide a?
True
Suppose -4*h - y = -397, -2*y - 211 = -2*h - 5. Is 10 a factor of h?
True
Suppose 4*j + 13 = k, 2*k - 2*j + 4 = -2*k. Let x(i) = -3*i**3 + 3*i**2 + 2*i + 2. Let w be x(k). Suppose -3*s + w = -52. Does 19 divide s?
False
Suppose -2*z + 4*d = 10, 3*d + 23 = 5*z + 5*d. Suppose -5*u - 324 = -4*q, -2*q + 426 = z*q - u. Is q a multiple of 21?
False
Let x = -153 - -227. Is 37 a factor of x?
True
Is (-6310)/(-60) - 3/18 a multiple of 7?
True
Let j be (0/1)/(2/2). Let r(m) = -m**3 - m**2 + 30. Let a be r(j). Is 12 a factor of 1 - 2 - a/(-2)?
False
Is 78/2 + 16/8 a multiple of 10?
False
Let v(g) = 6*g - 6. Let a(q) = -5*q + 5. Let f(r) = 5*a(r) + 4*v(r). Let y be f(-1). Suppose -2 = c - y*b - 6, 0 = -4*c - 2*b + 36. Is c a m