 t(w) = -w**3 + 9*w**2 + 13*w - 11. Let h(b) = 4*b + 2. Let d be h(2). Is t(d) a multiple of 19?
True
Suppose 5*n + 13 = -2, -2*t + 2*n = -90. Does 7 divide t?
True
Let k(s) = -3*s + 15. Is 7 a factor of k(-5)?
False
Suppose -19*s + 440 = -14*s. Does 44 divide s?
True
Let p(m) = 21*m - 2. Is p(2) a multiple of 10?
True
Let l(k) = k**2 + 4*k - 3. Is 6 a factor of l(-7)?
True
Suppose -2*q = 3*q - 5. Let i be q/(1/26) - 2. Suppose -30 = -2*b + 4*d, -1 = b - 4*d - i. Is b a multiple of 7?
True
Let q = -2 - 2. Let r = 29 - q. Suppose 0*c + c = r. Is c a multiple of 11?
True
Let z(r) = -r + 11*r**2 + 9 - 3*r + 3*r + r**3 + 6. Is 13 a factor of z(-11)?
True
Let h be (15/(-6))/((-1)/4). Suppose -v + h = 4. Is 6 a factor of v?
True
Let m = -1 - -3. Suppose m*f = 5 - 1. Is 6 a factor of 6 + (0 - f)/(-2)?
False
Suppose 5*a - 2*a + 18 = 0. Let t(g) = g - 8. Let k be t(6). Is ((-22)/a)/(k/(-6)) a multiple of 11?
True
Suppose -7*o + 3*o = 0. Suppose -4*i + h - 5*h + 124 = o, -4*i + 128 = 5*h. Is i a multiple of 9?
True
Let i(y) = -y + 3. Let k be i(0). Suppose -k*x + 0 + 57 = 0. Is x a multiple of 10?
False
Let h = 45 - 107. Is h/(-4) + 3/(-2) a multiple of 7?
True
Let d(x) = 45*x**2 - x - 6. Let y(n) = -134*n**2 + 3*n + 17. Let r(l) = -17*d(l) - 6*y(l). Let p(g) = -g**2 + 4*g - 3. Let v be p(2). Does 19 divide r(v)?
True
Suppose b = 6*b + 2*r + 4, 2*r - 8 = b. Is b + 62 + (-6)/(-3) a multiple of 21?
False
Let a be (-42 + 2)*4/(-10). Let x = a + -6. Suppose x = f - 5. Is 7 a factor of f?
False
Let p(d) = 5*d**2 + 2*d. Let t be p(-2). Let x = -10 + t. Suppose -4*l = 2*u - 6, u - x*u + 85 = -4*l. Is 13 a factor of u?
True
Suppose 7*r + 8 = 3*r. Let h = r + 3. Suppose 0 = -2*u + 3 + h. Does 2 divide u?
True
Suppose 0 = -3*p - 4 + 25. Let s(f) = -f + 23. Does 8 divide s(p)?
True
Let l = 5 - -17. Does 5 divide l?
False
Let o(m) = -m - 3. Let h be o(-5). Let p(g) = -11*g - 2 + 0*g**3 + 7*g**h + g**3 - 2 - 7. Is p(-8) a multiple of 5?
False
Let n(a) = -2*a - 5. Let p(q) = -q - 6. Let w(b) = 2*n(b) - 3*p(b). Is 5 a factor of w(-7)?
True
Suppose -3*q = -4*h + 26 + 3, 5*q - 10 = -5*h. Let r = 11 + -6. Suppose h*i - 3*s - 123 = -0*s, r*i - 4*s = 124. Does 8 divide i?
True
Let h = 32 + 41. Is h a multiple of 4?
False
Let j = -142 + 207. Suppose 4*k - j = 47. Is 14 a factor of k?
True
Suppose 5*t - 6*t = -76. Let g = t - 51. Does 10 divide g?
False
Let i = 50 - -312. Suppose 43 - i = -4*w + y, -5*y - 56 = -w. Suppose -4*j = -w - 71. Is j a multiple of 15?
False
Suppose 0 = -3*u + 9, 5*u = l - 6*l + 110. Is l a multiple of 11?
False
Suppose 1 = -2*f + 13. Suppose 4*g = g + f. Is g even?
True
Suppose -3*g = j - 64, -3*j - g + 3*g = -137. Does 12 divide j?
False
Suppose -5*r + 10 + 5 = 0. Let j(k) = 5*k - 4. Let a be j(r). Suppose -a = -2*v + 9. Is 7 a factor of v?
False
Let k(g) be the second derivative of g**3/6 + g**2/2 - g. Let o(w) = w**2 - 13*w + 1. Let x(j) = -3*k(j) - o(j). Is 6 a factor of x(8)?
True
Suppose 0 = -0*j - 4*j + 28. Is 5 a factor of j?
False
Let o = 1 + 13. Suppose 0 + o = f. Is 14 a factor of f?
True
Let i = 158 + -85. Is 6 a factor of i?
False
Suppose -20 = -5*l + 2*s + 140, 0 = -2*s. Is l a multiple of 22?
False
Let j(k) = k**2 + 15*k - 2. Is j(10) a multiple of 31?
True
Suppose 0*x - 2*y - 41 = -5*x, 4*x - 2*y - 34 = 0. Suppose 194 = -5*c + x*c. Does 28 divide c?
False
Suppose -4*r - 3*j + 10 = -18, 2*r = j + 14. Let x = r + -5. Suppose -2*w + 88 = 4*q, 3*q - 141 = -x*w - w. Does 14 divide w?
False
Suppose -x + 0 + 5 = 0. Suppose 4*l = -x*b + 108, l = -2*b - 0*l + 45. Is b a multiple of 13?
False
Let p = -61 + 146. Is p a multiple of 9?
False
Let y(z) = z**2 - 9*z + 5. Let k be y(8). Does 12 divide 78/(-9)*k/1?
False
Suppose 3*s = 2*t - 0*s - 218, 220 = 2*t - 2*s. Is t a multiple of 16?
True
Suppose 472 = 5*w - 618. Does 29 divide w?
False
Suppose 76 = -2*s + 7*s + o, 2*s = -3*o + 20. Is 4 a factor of s?
True
Suppose -w + 0 = -119. Is w/3 - (-2)/6 a multiple of 10?
True
Let t(f) = f**2 + 2*f - 2. Does 13 divide t(-5)?
True
Suppose 69 = 4*q - 223. Does 14 divide q?
False
Suppose -92 + 254 = 2*g. Is g a multiple of 16?
False
Let d = -4 + 4. Suppose 0 = -d*l + l. Suppose 0 = -l*o - 2*o + 30. Is o a multiple of 7?
False
Let q(k) = -2 - 34*k - 1 + 35*k + 2 - 3*k**2 - k**3. Let d = -9 - -5. Does 11 divide q(d)?
True
Let b(v) = 2*v**2 + v - 22. Is b(6) a multiple of 13?
False
Suppose 4*c + 4 = 0, 4 = -5*w + 5*c + 19. Suppose 3*n = -w*n. Suppose -d - 2 + 7 = n. Is d a multiple of 2?
False
Suppose -2*s + 5 = -5. Suppose 3*r = -n + 127 + 91, -s*r + 366 = 3*n. Is r a multiple of 24?
True
Suppose k + 4*k = 0. Suppose 3*t - 27 = -k*t. Let v = t + -5. Is v even?
True
Suppose 0*i = 4*i - 80. Is 10 a factor of i?
True
Suppose 3*a - a + 3*f - 129 = 0, 0 = 3*a + 4*f - 195. Is 23 a factor of a?
True
Let i be (-8)/(-52) - 620/(-26). Let n be 0 + (1 - (0 + -102)). Suppose -3*v + z = -n, z + 13 = v - i. Is v a multiple of 11?
True
Suppose -3*s = 4*z - 35, z + z = 4*s - 10. Let d be (59 - -1)*(-8)/2. Is 11 a factor of d/9*(-6)/s?
False
Let r = 14 - -16. Suppose h + r = -4*h. Is h/27 - 112/(-18) a multiple of 2?
True
Suppose -5*u + k + 130 = -0*u, 0 = 4*u + 2*k - 118. Does 27 divide u?
True
Let f be (2 - 3/3) + 27. Suppose 5*w - f = w. Does 4 divide w?
False
Let g(h) = -h**3 + 3*h**2 + 4*h - 1. Let l(p) = 4*p + 1. Let m be l(-1). Does 21 divide g(m)?
False
Let l(p) = p - 3. Let o be l(0). Let r(c) = 3*c**2 + 3*c - 4. Does 3 divide r(o)?
False
Let f = 52 - 18. Is f a multiple of 6?
False
Let j = 35 - 7. Let n = -8 + j. Is n a multiple of 9?
False
Let q be 6*1 - (5 + -2). Suppose 4*p + n + 2*n = 16, 0 = q*n. Does 2 divide p?
True
Does 49 divide 21/(15/(-140)*-2)?
True
Suppose -3*x = -2*x - 3. Suppose g - 2*n = n + 25, 4*n = -g + 4. Let s = x + g. Is 19 a factor of s?
True
Suppose 3*z - 115 = -2*p, 2*p - z - 108 = 3*z. Does 14 divide p?
True
Let w(u) = u**3 - 13*u**2 - 15*u + 6. Let y be w(14). Suppose 0 = 3*k + 2*k - 30. Is k/4 - 20/y a multiple of 2?
True
Suppose 3*d + 0*d - 84 = 0. Suppose 56 = 4*r - d. Is 5 a factor of r?
False
Let k(m) = m**3 - 15*m**2 + 4*m + 20. Let c(j) = j**3 + 5*j**2 - 2*j + 5. Let o be c(-5). Is k(o) a multiple of 23?
False
Let i = 2 + 4. Let m(n) = n**2 - 3*n - 8. Is 5 a factor of m(i)?
True
Let r(d) = d**2 + 5*d + 6. Let w be r(-4). Let h be 2/(-8) + (-51)/(-12). Suppose h*j - w*j = 40. Is 18 a factor of j?
False
Let n(b) = 2*b - 4*b + 6*b + 11*b. Let y be -2*2*(-1)/4. Is n(y) a multiple of 4?
False
Suppose 4*i + 0*i = 3*f + 31, 40 = 5*i - 5*f. Does 4 divide i?
False
Suppose -27 = -3*y + 198. Is 15 a factor of y?
True
Suppose -4*z - 87 = -n - 2*n, 19 = n + 2*z. Does 13 divide n?
False
Suppose 16*o = 12*o + 1320. Does 55 divide o?
True
Let l = 375 - 255. Suppose -2*c = 2*g - 72, -4*g - c + l = -5*c. Does 9 divide 218/11 + 6/g?
False
Let c(d) = d**3 + 6*d**2 - 7*d + 7. Let z be c(-7). Let h be (-124)/z - 10/35. Is 3/(h/(-4))*15 a multiple of 10?
True
Suppose 0*r - 5*a = 2*r - 25, -4*r - 25 = -5*a. Suppose r = -0*m - 2*m + 8. Let c(z) = 9*z - 6. Is c(m) a multiple of 15?
True
Let t(w) be the first derivative of w**3/3 + 5*w**2/2 + 2. Does 13 divide t(-8)?
False
Let r(l) be the first derivative of -2*l**2 + 12*l + 5. Is r(-6) a multiple of 9?
True
Does 31 divide (1 + 4)/(-4*(-5)/620)?
True
Suppose -2*z = 3*z - 330. Suppose -2*u = -5*u + z. Is 11 a factor of u?
True
Suppose 10 + 0 = 5*s. Suppose 2*u - 4 - s = 0. Suppose 14 = u*y - 2*y. Is 14 a factor of y?
True
Let x(l) = l**2 - l. Let r(w) = -35*w**2 + 30*w. Let k(y) = -r(y) - 30*x(y). Suppose -3*o - 3 = -z, 0 = -4*o + 2*z - 0*z - 4. Does 2 divide k(o)?
False
Suppose -4*a = -12 - 288. Does 20 divide a?
False
Let z = 9 - 4. Suppose -b + 4*b + 3*i = -3, 14 = 4*b - z*i. Let x = 3 - b. Is 2 a factor of x?
True
Let t(s) = s - 7. Let g be t(7). Let l be 20 + (-1 - (-2 - g)). Does 7 divide (-6)/l - (-153)/21?
True
Let j be 1*0/(4/2). Suppose j = 4*s + 3 + 1. Does 16 divide s/5 - 161/(-5)?
True
Suppose 3*p + 0*p = -27. Let u = 13 - p. Does 10 divide u?
False
Suppose -7*n + 96 + 863 = 0. Is 13 a factor of n?
False
Suppose -2*r - 7 = -2*b - 3*r, 4 = 2*b + 4*r. Is 18 a factor of (-16)/(b/(-1)) + 32?
True
Suppose 4*z - 5 = -3*c, -z + 10 = 4*c + z. Let a(u) = 9*u + 3. Does 18 divide a(c)?
False
Let h = 243