(p) = -p + 10. Let d be j(9). Is (d - 23)*(-5)/10 a multiple of 11?
True
Suppose -4*t - 121 = 2*f - 419, 5*f - 763 = -4*t. Does 12 divide f?
False
Suppose s = h - 107, -4*h + 2*s = -214 - 220. Does 67 divide h?
False
Let l = -50 + 30. Let o = 24 - l. Suppose -2*h + 3*b + 39 = 6, -h = 4*b - o. Is 6 a factor of h?
True
Let t = 167 + -164. Suppose -t*l + 82 = -l. Is l a multiple of 3?
False
Suppose 4*q + 25 = -7. Let x(g) = 5*g**3 - 41*g**2 - 21*g + 33. Let n(t) = -t**3 + 10*t**2 + 5*t - 8. Let z(l) = -9*n(l) - 2*x(l). Is z(q) a multiple of 14?
False
Let h be (638/(-4))/(10/20). Does 11 divide 1*(-2)/(-10) - h/5?
False
Suppose 9 = 11*q - 2. Does 4 divide (-608)/(-28) - (q + 27/(-21))?
False
Let d(k) = 23*k + 6. Let r(w) = 8*w + 2. Let u(m) = -4*d(m) + 11*r(m). Does 13 divide u(-7)?
True
Suppose -1359 = -9*i + 6669. Is 69 a factor of i?
False
Let d(g) = -g**2 + 5*g + 5. Let t be d(6). Let a be (8/20)/(t/(-10)). Suppose -108 = -a*l + l. Is 9 a factor of l?
True
Suppose s - 236 = 3*l - 0*s, 321 = -4*l - 5*s. Let i = l + 131. Is i a multiple of 13?
True
Let a(r) = 11*r + 3. Let x be a(3). Let w = -64 + 57. Let z = x - w. Is 21 a factor of z?
False
Let l = -331 - -564. Is 9 a factor of l?
False
Suppose -4*b - j = -2469, 3*b + 3*j - 1858 = j. Does 28 divide b?
True
Let l be -2 - (-4 - 0 - 2). Let x be (-43 + -5)*(-2)/l. Let p = x - 12. Is p a multiple of 6?
True
Does 5 divide 160/5 + -8 + 4 + 2?
True
Let u be 1*3 + (248 - -5). Suppose 4*k = -0*k + u. Suppose -3*g - k = -5*w, -w + 0*g = 3*g - 2. Is 11 a factor of w?
True
Let f be 23808/168 + 2/7. Let l = f - 112. Is 10 a factor of l?
True
Suppose -2*z + 9*z - 28 = 0. Suppose 0 = -3*d - z*r + 25, -5*r - 54 = -3*d + 16. Is 3 a factor of d?
True
Let y = 2329 + -1. Is 8 a factor of y?
True
Suppose 0 = 4*d - 8*d + 32. Let o(l) = -1 + d*l + l**3 + 4*l**2 - 20*l + 5*l - 6*l. Does 5 divide o(-6)?
True
Suppose -57 + 53 = 4*i. Let v(n) = n + 4. Is v(i) even?
False
Suppose 93 = 4*h - 55. Is 21 a factor of h?
False
Let g(a) = -a**2 - 16*a - 14. Suppose r + 2*z - 3*z + 12 = 0, -r = 2*z + 12. Is g(r) a multiple of 2?
True
Let g(u) = 2*u**2 + 7*u - 20. Let y be g(-9). Let t = y + -3. Does 13 divide t?
False
Let g(q) = q + 7. Suppose 2*a - 6*a = 4, 5*n - 5*a + 25 = 0. Let t be g(n). Is 1*4 + t + 1 a multiple of 6?
True
Suppose 65 - 341 = -3*c - 4*i, 5*c + 5*i - 465 = 0. Is 6 a factor of c?
True
Suppose -624 = 11*t - 15*t. Let o = t - 59. Suppose -o - 119 = -6*z. Does 12 divide z?
True
Let p(t) = 567*t - 148. Is p(5) a multiple of 55?
False
Suppose -3*j + 3*h - 6 = 0, -14 = -j - 3*h - 0. Let q = -8 + j. Let z(x) = -x + 12. Is z(q) a multiple of 18?
True
Suppose 5*w + 2*w + 1225 = 0. Is -6*2/7*w/10 a multiple of 10?
True
Let r = -52 - -54. Suppose -5*l - r*b = -3*l - 42, -3*b = -2*l + 67. Is 13 a factor of l?
True
Suppose 24*v + 12 = 27*v. Suppose 3*z - 40 = -v*w, 0 = -3*z - 5*w + 12 + 29. Is z a multiple of 3?
True
Suppose -38*z + 75840 = 120*z. Is z a multiple of 20?
True
Is 43 a factor of (-24)/108 + ((-54200)/(-18))/5?
True
Let g = 244 - 69. Let a be (1 - -1*1) + (-123 - -121). Suppose -z - g = -3*y, -4*y + a*z + 245 = z. Is y a multiple of 30?
True
Let u = 34 + -37. Let s(v) = v**2 - 2*v - 7. Let t(p) = -p**2 + 2*p + 6. Let j(y) = -3*s(y) - 4*t(y). Does 5 divide j(u)?
False
Let c(p) = p + 1. Let i(m) = m**3 + 2*m**2 - 5*m - 8. Let z(t) = -6*c(t) - i(t). Let a be z(-2). Suppose y + r = 47, 4*y - a*r = -r + 195. Does 12 divide y?
True
Does 37 divide ((-185)/(-15))/((-2)/(-18))?
True
Suppose -f = 4*f + 30. Let k = f + 16. Does 3 divide k?
False
Let i = 98 - 54. Suppose -119 + i = -5*g. Does 14 divide g?
False
Let t(k) be the second derivative of k**3/2 - 17*k**2/2 - 7*k. Is t(12) a multiple of 2?
False
Suppose -3*o = -6*o + 27. Suppose 0 = o*n - 10*n + 88. Is 8 a factor of n/6*(-18)/(-12)?
False
Suppose -5*f = -3*u - 174, u = -5*f - 4*u + 190. Suppose -159 - f = -5*h. Does 24 divide h?
False
Let i(x) = -x**2 - 4*x + 8. Suppose -3*o = -10 + 28. Let m be i(o). Does 19 divide m + -72*(2 - 3)?
False
Suppose -763 - 2315 = -9*b. Does 19 divide b?
True
Let z(x) = 5*x**2 - x + 4. Let n be z(6). Let y = 378 - n. Is y a multiple of 10?
True
Let s(r) be the first derivative of -r**4/4 + 5*r**3/3 - 5*r**2/2 + 2*r + 3. Let d be s(3). Suppose d*u = 3*u + 92. Is u a multiple of 15?
False
Let r(i) = -i**2 - 13*i - 12. Let f be r(-12). Suppose 0 = 4*v - s + 55, f = 5*v + s - 2*s + 69. Let q = v + 24. Does 10 divide q?
True
Let w be ((-6)/42 + 69/(-7))/2. Is 8 a factor of 101 + (w + 2 - (-2 - 4))?
True
Let i(j) = 2*j + 22. Let w be i(-9). Let n = 37 - w. Is 33 a factor of n?
True
Let b = 15 + -10. Suppose 0 = b*n - 0*n - 110. Is 3 a factor of n/2*1/1?
False
Let a = 1358 + -116. Does 24 divide a?
False
Suppose 2*h + 3*h = -40. Let b be (-1 + h/(-3))*-6. Let s = 26 - b. Is s a multiple of 12?
True
Let m be (-97)/(-2) + 1/(-2). Let a = m - 6. Suppose -4*b = -a - 30. Does 8 divide b?
False
Let s(p) = -125*p**3 - 2*p - 3. Let w be s(-1). Suppose -5*q = -3*r - 52 - w, 0 = 2*q - r - 71. Does 8 divide q?
False
Is 20 a factor of 19269/6 - (0 + 4/(-8))?
False
Let t(r) = 2*r**2 - 3*r - 3. Let s be t(-3). Let v = 17 - s. Let i(j) = j**3 + 7*j**2 - 8*j + 1. Is i(v) a multiple of 19?
True
Suppose 66 = -5*p + 4*t, 19 = -3*p - 3*t + 1. Is 1/(-1) - (p - 98) a multiple of 17?
False
Suppose -4*m + 12 = -8. Let w(b) = -b - m + 2 + 5*b**2 + 0*b + 2. Does 16 divide w(-3)?
False
Let p(f) = f**2 - 22*f + 18. Let j = 37 - 19. Let r be p(j). Let b = 1 - r. Is 22 a factor of b?
False
Suppose -2*z + 3 = -3*z. Let f be (5 + z)*4/2. Suppose -f*y = -230 - 2. Is y a multiple of 29?
True
Let t be 7*1 - 12/3. Let p be 10/t + (-12)/(-18). Suppose -11 = -l + p*b, 26 = 4*l - b - 33. Does 6 divide l?
False
Let a(u) = -u**3 - 12*u**2 - 28*u + 17. Let b be a(-13). Is 11 a factor of ((-6)/(-5))/((-45)/b)*-9?
True
Let y = 26 + -6. Let j = -6 + 10. Suppose a + 19 = 3*q + 72, 0 = j*q + y. Is 12 a factor of a?
False
Let u = 89 + -87. Suppose -3*x + 124 = 2*n, -2*x = 5*n + u*x - 310. Does 12 divide n?
False
Let i(n) = -2*n**2 - 74*n - 69. Does 2 divide i(-36)?
False
Suppose -11*u + 1126 = -821. Does 59 divide u?
True
Suppose -d + 3*q - 77 = -1594, -3*d + 4*q + 4531 = 0. Is d a multiple of 43?
True
Does 22 divide ((-5 - -2) + 91)*16?
True
Let c(h) = 3*h**2 - 24*h + 8. Let p be c(11). Suppose -3*w + i + p = 0, 2*w - 4*i - 104 = -w. Is 9 a factor of w?
True
Let x(f) = 240*f + 30. Does 34 divide x(2)?
True
Let n(z) = 88*z - 8. Is n(5) a multiple of 27?
True
Let n(z) = 23*z - 42. Is n(9) a multiple of 8?
False
Suppose 0 = -3*c - x + 30 + 34, 0 = 3*c - 4*x - 89. Let d be (-3)/((-2)/7 - (-323)/665). Let b = d + c. Is b a multiple of 4?
True
Suppose -99*m + 103*m - 3640 = 0. Does 10 divide m?
True
Let k be 369/(-6)*-1 - (-1)/2. Suppose -2*d = -24 - k. Is 8 a factor of d?
False
Suppose 4*u = -3*a + 8*u + 1117, 2*u = a - 373. Is a a multiple of 4?
False
Let v(j) = -j. Let u be v(0). Suppose 3*s - 6 = u, 32 + 40 = 4*a - 2*s. Let q = 22 + a. Is 13 a factor of q?
False
Suppose -5*d - 3*h - 43 + 490 = 0, 4*h = 3*d - 274. Suppose 2*n + 1 - 45 = -2*s, 0 = 5*s + n - d. Suppose 3 = 4*w - s. Is w even?
False
Let a(u) = u**3 + 9*u**2 + 9*u + 10. Let p be a(-8). Suppose -p*r + r + 2 = 0. Suppose r - 92 = -5*b. Is 9 a factor of b?
True
Let s(g) = -15*g + 7. Let q = 27 + -30. Does 10 divide s(q)?
False
Let j = 20 - 36. Is 30 a factor of (-1436)/j + (-3)/(-12)?
True
Let p be (-2)/5 + 4/(-20)*273. Is 18 a factor of 8/(-24) + p/(-3)?
True
Suppose -d + 12 = -4. Let c = -12 + d. Suppose 24 = c*y - 4*k, -5*k = -y - 0*k - 10. Is 3 a factor of y?
False
Let p be 12 - (0 - (0 + 3)). Suppose p = -4*o + 3*k - 3, 0 = -3*o + 4*k - 17. Is 14 a factor of 340/8 - o/(-6)?
True
Suppose -2*q - 3*a = -277, -q - 4*a + 7*a = -143. Is 35 a factor of q?
True
Suppose -f - 2 = 0, 5*c - c - 3*f + 102 = 0. Let d = c - -73. Does 40 divide d?
False
Let f(i) = -i**3 + 19*i**2 - i - 25. Let g(z) = z**3 - 18*z**2 + 24. Let h(w) = -5*f(w) - 6*g(w). Does 14 divide h(13)?
False
Let a(w) = -4*w - 9. Let v(i) = 5*i + 10. Let j(x) = -6*a(x) - 5*v(x). Let k be j(13). Is (-1)/((36/40)/k) a multiple of 9?
False
Let k = 685 + -246. Suppose 3*q + 586 = 4*c + q, -k = -3*c + 2*q. Is 20 a factor of c?
False
Let x = -40 + 40. Suppose d + 0*d - 82 