w**2 - 17*w + 4. Does 4 divide m(r)?
True
Let x(h) = -h + 24. Let p be x(24). Let k(a) = 5*a + 121. Does 13 divide k(p)?
False
Let p = -3005 - -5624. Is p a multiple of 9?
True
Let y = 42 - -29. Is 4 a factor of y?
False
Is 51 a factor of 19955/26 - (-9)/6?
False
Let m(h) = -h**2 - 12*h - 10. Let a(q) = -q + 1. Let l(s) = 2*a(s) + m(s). Let d = 714 - 720. Is l(d) a multiple of 10?
True
Let i be -5 + 8 - (2 - 126)/(-2). Let l = 49 - i. Is l a multiple of 12?
True
Let y(r) = r**3 - 18*r + 6. Does 77 divide y(7)?
False
Let w be (-1)/4 - 33/(-4). Suppose -8*f - w = -9*f. Let y = 30 - f. Is 20 a factor of y?
False
Suppose 0 = -3*j + 146 - 26. Let u = j - -62. Is u a multiple of 34?
True
Let a(s) = 10*s + 19. Is a(11) a multiple of 29?
False
Suppose a + 3*a + 2*c - 14 = 0, 0 = 3*a - 4*c + 17. Is a + 42 + -8 + 11 a multiple of 27?
False
Let a = -52 + 281. Is a a multiple of 17?
False
Suppose -3*q = 3*m - 1518, 14*q - 997 = 12*q + m. Is q a multiple of 30?
False
Let c(w) = -23*w + 189. Is c(0) a multiple of 63?
True
Let m = 1075 + -709. Is m a multiple of 26?
False
Suppose -4*y = -2*x + 242, 5*y - 347 - 176 = -4*x. Let f = x + -55. Does 18 divide f?
True
Is 4 a factor of (12/10)/(10/25) + 39?
False
Let n be (12 - -350)*(-1)/2. Let f = -64 - n. Let w = f - 71. Is 21 a factor of w?
False
Does 39 divide ((-6)/8)/(27/(-9828))?
True
Let w(z) = 2346*z**2 - 8*z - 2. Is w(-1) a multiple of 42?
True
Suppose 53675 = 10*t - 9285. Is t a multiple of 55?
False
Is 12 a factor of -474*(-4)/72*6?
False
Let o(x) be the second derivative of -11*x**3/6 - x**2 - 7*x. Let r be o(-2). Is 4 a factor of ((-10)/r)/(1/(-14))?
False
Let r = -1206 + 1770. Is 47 a factor of r?
True
Suppose -340 - 185 = -15*w. Is w a multiple of 5?
True
Let j = 39 - 35. Suppose 0 = -4*v + 4, j*d - 263 = 2*v + 3*v. Is d a multiple of 4?
False
Let i(c) = 10 - 4 - 10*c - 4 + c**2. Let p be i(9). Let a = p + 17. Is 5 a factor of a?
True
Is -4 + -1 + 3 + 886 a multiple of 3?
False
Suppose 0 = -3*a - 2*z - 1 + 17, 0 = 2*a + z - 12. Let h(k) = k**2 - 3*k - 7. Does 11 divide h(a)?
True
Let x(l) = -4 + 22*l**2 - l - 33*l**2 + 16*l**2. Does 18 divide x(4)?
True
Suppose 0 = 4*g - 157 - 1075. Does 35 divide g?
False
Let q = -26 - -32. Let c = q - 1. Suppose -3*n = c*v - 133, 5*n = -3*v + v + 228. Is n a multiple of 23?
True
Suppose -22 = -3*m - 4*g, -2*m - 6*g = -4*g - 18. Does 7 divide m?
True
Let f(v) be the second derivative of 1/6*v**3 - 1/5*v**5 + 0 + v + 1/6*v**4 - v**2. Does 14 divide f(-2)?
False
Let m(f) be the third derivative of 19*f**4/24 + 2*f**3/3 + f**2. Does 7 divide m(2)?
True
Let n = -61 - -146. Suppose -25 = 2*y - f - n, 2*y - 60 = -5*f. Is 11 a factor of y?
False
Let z be ((-72)/30)/(4/(-370)). Let v = z - 148. Does 37 divide v?
True
Suppose 7*v - 2*v = -5. Let g be (-8)/8 + v/(-1). Suppose -3*h + 168 + 6 = g. Does 16 divide h?
False
Suppose 0 = -4*c + 5*n + 49, -25 = 4*n - 5. Is (-4)/(-8)*1*c - 0 a multiple of 3?
True
Let k = 461 - 97. Let l = 29 + -24. Suppose t + l*y = 81, -4*t - 4*y = 104 - k. Is 25 a factor of t?
False
Suppose 2*q + 3*j - 44 = 0, 3*q + 2*j - 23 = 43. Is 2 a factor of q?
True
Let f(m) = -173*m - 44. Does 43 divide f(-1)?
True
Let p = -7060 + 12025. Is p a multiple of 34?
False
Let c = 3168 - 27. Is c a multiple of 29?
False
Let f = -227 - -299. Does 36 divide f?
True
Suppose b + 2*g - 34 = 0, -4*b - g + 148 = g. Is 6 a factor of b?
False
Suppose -t = -7 + 4. Let s be t + -2 + 1 + 0. Suppose 6*j - 235 = j - s*x, j - 3*x - 47 = 0. Does 16 divide j?
False
Suppose -2*z + 2*s + 644 = 0, -313 = -5*z + s + 1317. Is 14 a factor of z?
False
Let u(z) = 27*z**2 + 7*z**2 + 15 - 21 - 5*z. Is 33 a factor of u(-1)?
True
Let y(h) = h**2 + 6*h + 8. Let v be y(6). Let m = v - 12. Is 34 a factor of m?
True
Let m(x) = -x. Let d(a) = -29*a**2 + 9*a - 4. Let l(f) = -d(f) - 6*m(f). Is 10 a factor of l(1)?
True
Suppose 2*x + 10 = -0*x. Let m(r) = -r - 1. Let l(d) = -3*d - 5. Let z(g) = -l(g) + 4*m(g). Is 6 a factor of z(x)?
True
Let t = -15 + 16. Let x be 0/(2*(t - 2)). Let i = 15 + x. Is i a multiple of 13?
False
Suppose -1493 = -3*h - 5*t, 2*h + t - 994 = -t. Is h a multiple of 4?
True
Let q = 1257 - 815. Is 17 a factor of q?
True
Let z(p) = 2*p - 3 - 13 + 2*p + p. Let m be z(13). Suppose -c = 4*k - 61, -3*k + 0*c = 4*c - m. Is k a multiple of 10?
False
Let p(m) be the second derivative of -m**4/12 - m**3/3 + 99*m**2 + m + 1. Is 21 a factor of p(0)?
False
Let d(n) = 2*n**2 + 10*n - 20. Is d(-10) a multiple of 3?
False
Suppose -9 = -r - 2*m, -3*r = -r - m + 7. Is 21 a factor of (-1)/r - -2*72?
False
Suppose 1 = 2*i + 3*r, 5*i - 5*r = -2 + 42. Let t = -3 + i. Does 2 divide (8/t)/4 + 4?
False
Suppose 20*a + 291 = 21*a + 3*h, -2*a + 615 = -5*h. Does 100 divide a?
True
Suppose g - h = 2203, 22*g + 5*h + 6599 = 25*g. Is g a multiple of 138?
True
Let d(r) = r**3 + 4*r**2 - 3*r + 5. Let o be d(-4). Let x = 48 + o. Let i = x + -23. Does 15 divide i?
False
Let m be 0/2 - -92 - -2. Suppose -u + m = -95. Is 27 a factor of u?
True
Let z = -1796 - -1850. Is z even?
True
Suppose -3*t + 1 = -11. Suppose 0 = 2*l - t*l. Suppose -150 = -l*a - 5*a. Does 15 divide a?
True
Suppose -4*a + 36 = y - 2*y, 3*a - 3*y = 36. Let r be 18 - -1 - (-9 + a). Is 15 a factor of (225/r)/(2/8)?
True
Suppose 0*m + m = 3*m. Suppose m = -3*v - 37 + 184. Is 11 a factor of v?
False
Let u = -350 - -749. Suppose -2*v = -9*v + u. Does 21 divide v?
False
Let b(c) = 6*c**2 - 11*c + 85. Is 14 a factor of b(10)?
False
Let u(v) = -93*v + 3. Let l(s) = -2*s**3 - s**2 + 3*s - 1. Let j be l(1). Does 12 divide u(j)?
True
Suppose -2*c + 8 = 0, 0*r = -3*r + 2*c + 253. Does 29 divide r?
True
Let g = -2056 + 3272. Is g a multiple of 16?
True
Suppose 4*y - 928 + 280 = 2*t, -4*y + 648 = t. Let q = -74 + y. Is q a multiple of 23?
False
Suppose 0 = 2*l + l - 768. Suppose -2*b - 52 = -l. Suppose b = 2*i - 0*i. Is 21 a factor of i?
False
Let t = 143 + -141. Suppose 5*x - t*o = 84, -5*x + 63 = -x - 3*o. Is 3 a factor of x?
True
Let j be 2/8 + (2 - (-1422)/8). Suppose 4*n + j = 10*n. Is 10 a factor of n?
True
Let p(v) = -v**3 - 16*v**2 - 13*v + 33. Let d be p(-15). Suppose -f = 4*b - 234, -4*f - 290 = d*b - 1213. Is 20 a factor of f?
False
Let q(n) = 6*n - 9 + 14*n + 3*n. Is q(2) a multiple of 13?
False
Let y(m) = m**3 - 3*m**2 - 4. Let f be y(4). Let i = 14 - f. Does 12 divide ((-225)/50)/(i/(-16))?
True
Let x(f) = 4*f**2 + f - 6. Let q(g) = -g**3 + 4*g**2 + 2*g - 6. Let r be q(4). Let v = -5 + r. Is 27 a factor of x(v)?
True
Suppose -y - 6*b + b = 10, 4*y - 11 = -3*b. Suppose 53 = i + y*v, -4*v + 2*v + 8 = 0. Is i a multiple of 33?
True
Is 3 a factor of (1 - -43) + 101 + -111?
False
Suppose -3*k + k + 10 = 0. Suppose k*j = 2*g + 13, 5*g + 3 = -5*j - 12. Is 16 a factor of 72/(3 - j) - -2?
False
Let n = 116 + -116. Let w(r) = r**3 - r**2 + 3*r + 32. Is 3 a factor of w(n)?
False
Let i = 1 - 4. Let f(r) be the second derivative of -5*r**3/3 - 3*r**2 + 36*r. Does 12 divide f(i)?
True
Let x(q) = q**3 + q**2 + q + 2. Let v be x(0). Suppose 4*a + 5*k - 165 = 20, -v*a + 4*k + 60 = 0. Let p = a - 28. Is 3 a factor of p?
True
Let z(l) = 9*l + 15. Let g(j) = 13*j + 23. Let y(s) = 5*g(s) - 8*z(s). Is y(-2) a multiple of 2?
False
Let c = 750 + -279. Is 23 a factor of c?
False
Let g(b) = -7*b**3 - 10*b**2 + 4*b - 13. Does 5 divide g(-6)?
True
Let y(g) = g**3 - 3*g**2 - 2*g - 3. Let k = -9 - -13. Suppose -2*b = -s + k, -2*s - 12 = -5*s + 3*b. Does 5 divide y(s)?
True
Let b(v) = 3*v**2 + 54*v - 26. Does 29 divide b(-25)?
False
Suppose 3*w - 51 = 4*w + 2*b, 3*w = -2*b - 137. Let t be 4 - 6 - (w + -2). Let a = t - 1. Is 8 a factor of a?
False
Let g(t) = t - 16. Let x be g(14). Let s = x - -27. Is s a multiple of 6?
False
Suppose -4 = 4*j + 2*z, 8*j = 3*j - 2*z - 4. Let n be 1 - (92 + 2)/(-2). Suppose 2*l - n - 72 = j. Is l a multiple of 12?
True
Suppose 83 = 3*h - 10. Does 4 divide h?
False
Suppose 9*k - 5*k - 68 = 0. Let s be (-1 + 0)/((-9)/(-54)). Let m = k + s. Is 6 a factor of m?
False
Suppose -11*b = -3*b - 504. Is b a multiple of 7?
True
Let s = 2084 - 1040. Is s a multiple of 9?
True
Let y(b) = -13*b**2 - 20*b + 60. Let l(a) = -3*a**2 - 5*a + 15. Let u(n) = 9*l(n) - 2*y(n). Suppose -m + 16 = -2*p, 7*p + 2*m + 10 = 4*p. Is u(p) even?
False
Let t(r) = -3*r**2 - 12