4*a - 2*a - 18 = 0, 0 = 4*i + 3*a - 20. Let h(d) = 6*d + 6*d**2 + 7 - 3*d**3 + d**2 + 2*d**3 - 2*d**i. Is h(6) a multiple of 4?
False
Let b(i) = i + 6. Let k be b(-2). Suppose c - k*c + 6 = 0. Suppose -3*w + c*w = -64. Is 32 a factor of w?
True
Let t(g) = g**2 - 3*g - 3. Let q be t(3). Let c be 34/(-3)*q/2. Suppose -d - c = -3*n + 7*n, 4*d = -2*n + 2. Is d a multiple of 3?
True
Let u(o) = -8*o**2 - 4*o - 4. Let d be u(-4). Does 7 divide (-2)/2*(d + -1)?
False
Suppose 13*m - 1029 = -249. Is 15 a factor of m?
True
Let c = 596 - 331. Is 53 a factor of c?
True
Let q(x) = -x - 6. Let r = -28 + 21. Let o be q(r). Is 38 a factor of o - (2 + 0 - 126)?
False
Let p(b) = 461*b + 13. Is 28 a factor of p(1)?
False
Suppose 0*n - 4*n = 12. Let c(t) = 3*t**2 + 6*t + 5. Is c(n) a multiple of 7?
True
Suppose -3*v = 5*f - 25, -4*v + f - 20 = -3*f. Suppose -5*q + 3*u - 21 = v, 2*q + 2*u - 1 = -3. Is (-64)/q + (-2)/(-3) a multiple of 13?
False
Let l be (-1 - -1)*(-13)/(-26). Let c(z) = -6*z**2 - 2*z + l*z**2 - 4*z**2 + 10*z**3 - 11*z**3 - 8. Is c(-10) a multiple of 7?
False
Let t(i) = -513*i - 156. Is t(-2) a multiple of 10?
True
Let t = -176 + 208. Does 8 divide t?
True
Let g be 6/3*1/2. Let u be 10/15 + g/3. Is 11 a factor of u/(-7) + 4554/77?
False
Let a be 6 + -5 + -3 + (-8)/1. Is 6 a factor of (-2)/4 + (-6 - 515/a)?
False
Let o(a) = -a**3 + 3*a + 3. Let y be o(-2). Suppose 2*j + 63 = y*j. Let c = j - 6. Does 5 divide c?
True
Let k(b) = 35*b. Let v be k(-1). Is 19 a factor of (-1025)/v + 6/(-21)?
False
Suppose 0*x + 52 = -4*x. Let t = x + 22. Let w(z) = z - 2. Is 5 a factor of w(t)?
False
Let v(i) = -3*i + 10. Let f be v(4). Is 4 a factor of (2/7)/(f/(-56))?
True
Let q(o) be the third derivative of 17*o**5/60 + o**4/8 - o**3/3 - 5*o**2. Is 6 a factor of q(2)?
True
Is (101246/426)/((-1)/(-3)) a multiple of 31?
True
Let x = -10 + -6. Let t = x - -35. Is 9 a factor of t?
False
Suppose m + 0*m = -22. Let d = m - -41. Is d a multiple of 17?
False
Let j(h) = -8*h - 5. Let v(n) = -52*n - 32. Let p(i) = -32*j(i) + 5*v(i). Let s = 7 - 19. Does 16 divide p(s)?
True
Let z = 221 + -131. Does 15 divide z?
True
Let t be 182/10 - (-19)/(-95). Suppose -w = 2*w. Suppose w = -s + t + 3. Is s a multiple of 7?
True
Let o = -203 - -346. Let s = 428 - o. Does 16 divide s?
False
Let o = 4141 + -2649. Does 113 divide o?
False
Let f be -3*4/(-12) - -3. Let x = 4 + f. Is 17 a factor of x*((-351)/12)/(-3)?
False
Suppose -2 = -g + 5*x, 2*x - 10 = 5*g - 3*x. Does 10 divide g*6/36 - 61/(-2)?
True
Suppose -9*d = -0*d - 675. Let m be 2*(-3)/2 + 8. Suppose -39 = -3*y + m*z, -5*y = -4*z + 23 - d. Is 8 a factor of y?
True
Suppose 5*v - 40 = -5*r, 5*r - 22 = -2*v + r. Suppose 3*z = v*h - 335, z - 2*z = -4*h + 261. Is 13 a factor of h?
False
Let y(d) = -6*d**3 - 11*d**2 + 33*d - 7. Let b(k) = -4*k**3 - 7*k**2 + 22*k - 5. Let l = 37 + -45. Let x(m) = l*b(m) + 5*y(m). Does 15 divide x(4)?
True
Let p = 783 - -547. Does 19 divide p?
True
Does 8 divide 2/((-32013)/(-3555) - 9)?
False
Let i = -83 + 1313. Is 12 a factor of i?
False
Suppose 0 = -5*y + 4*x + 171, 0 = -y - y + 3*x + 74. Suppose 23 = 9*j - y. Is 4 a factor of j?
False
Let y be 0 + (-24)/64*-8. Suppose -w = -1 + 3. Does 32 divide (-48)/y*(w - 0)?
True
Suppose 4*w + 4 = 0, 3*w + 121 = 2*t - 2*w. Suppose 4*m - 12 = u - t, -2*m = u - 34. Is u a multiple of 23?
False
Let a = 23 + -45. Let m = 27 + a. Does 2 divide m?
False
Let a(f) = 6*f**2 + 4*f - 6. Let w(q) be the first derivative of -5*q**3/3 - 5*q**2/2 + 6*q + 3. Let t(b) = 6*a(b) + 7*w(b). Does 16 divide t(13)?
True
Let s(g) = 6*g - 48. Suppose 28*r - 110 = 23*r. Is 21 a factor of s(r)?
True
Suppose h - 6 = -2. Suppose z - 3*z = 2, -h*d - 2*z + 34 = 0. Is d a multiple of 2?
False
Let h(b) = -b**3 + 3*b**2 + b - 4. Let m be h(3). Let w(v) = 3*v - 1. Let k be w(m). Is 22 a factor of (-25 + -1)/(k/10)?
False
Let b(c) = -12*c + 1015. Is b(-17) a multiple of 23?
True
Suppose -5*k = -5*o + 1232 + 1313, o + 2*k = 515. Is 3 a factor of o?
False
Suppose -15 = -4*x - 7. Suppose 0 = x*c + 4*n - 4, 28 = 5*c + 8*n - 4*n. Suppose -4*m + c + 8 = 0. Is m a multiple of 4?
True
Let i = 11 + -8. Suppose 3*f = -i*v + 141, f - 91 = -v - v. Is 11 a factor of v?
True
Suppose 0 = s + 3*s - 52. Let a = s + -9. Suppose -a*k = 7 - 91. Is 21 a factor of k?
True
Suppose 5*n - n - 12 = 0. Suppose -86 = -2*a - n*s, 35 + 161 = 5*a - 2*s. Is a a multiple of 10?
True
Let f = 55 + 198. Is f a multiple of 11?
True
Suppose 0 = -26*t + 11786 - 2582. Does 38 divide t?
False
Let u = 9 - 4. Suppose -u = 2*m - 29. Suppose -m = o - 2*o - l, -4*o - l + 51 = 0. Is 8 a factor of o?
False
Suppose -u + 4*u = -18. Let l be (2 + 442/u)*-3. Suppose 3*v = -0*v - 3*p + 129, 0 = -5*v - p + l. Is v a multiple of 16?
False
Let q be (-2)/3 - 1050/18. Let p = q - -102. Is p a multiple of 43?
True
Suppose -f = -2 - 2. Let q be 1 + f + (2 - 4). Suppose 2*h - 11 = 4*x + 5, -4*h + q*x = -57. Is 9 a factor of h?
True
Let x(b) = -2*b - 16. Let n(d) = d**2 + 3*d. Let t be n(-5). Let h be 10/50 + (-152)/t. Is x(h) a multiple of 10?
False
Let c = -22 - -18. Let g(x) = 21*x + 7. Let i be g(c). Is 11 a factor of (150/35)/(-5)*i?
True
Suppose -20 + 32 = 3*b. Suppose -b*r - 59 = 73. Let a = 64 + r. Is a a multiple of 16?
False
Let v = 28 + -23. Suppose 2*a + 3*j - 62 - 72 = 0, -v*a - j + 348 = 0. Is a a multiple of 7?
True
Let s = 895 + -786. Is s a multiple of 4?
False
Does 15 divide (-2)/((-16)/108) - (-6)/4?
True
Let c(a) be the third derivative of -a**4/4 - 2*a**2. Suppose -17*h - 30 = -12*h. Does 12 divide c(h)?
True
Let v(m) = -m - 37. Let z(t) = -19. Let r(k) = 3*v(k) - 5*z(k). Does 5 divide r(-7)?
True
Suppose -3*z + 3*x = -7*z - 166, -3*z = -3*x + 114. Does 20 divide z/((50/(-15))/5)?
True
Let j = -8 + 11. Suppose -2*t = -j*t + 5. Is 4 a factor of (-2)/5 + 22/t?
True
Let x(a) = 25*a + 3 - 57*a + 5 + 24*a. Is 20 a factor of x(-9)?
True
Suppose 34 + 166 = 5*g. Suppose g = -7*h + 2*h. Let p = h + 21. Is p a multiple of 3?
False
Let c(u) = -24*u + 4. Suppose 18 = -4*q - 2*t, 12 = 5*q + t + 33. Does 21 divide c(q)?
False
Let m = -305 + 535. Does 4 divide m?
False
Let h(i) = 3*i**2 - 3*i - 36. Suppose -b - 2*j = -7, 5*b + 1 - 36 = j. Does 15 divide h(b)?
True
Let q be (-44)/(-16) - 1/(-4). Suppose 2*n - 7 = q. Suppose j - 2*d + n*d - 24 = 0, -4*j + 104 = 4*d. Is j a multiple of 9?
True
Let k(m) = -m**3 + 9*m**2 + 12*m - 16. Let y be k(10). Suppose 4*a + y*p - 216 = -0*p, 0 = 4*a + p - 222. Is a a multiple of 14?
True
Let h(j) = j**3 - j**2 + j - 21. Let c be h(0). Let a = c + 35. Is a a multiple of 14?
True
Suppose -4*n + m + 453 = 0, -5*n + 204 = -3*n + 4*m. Does 7 divide n?
True
Let u(k) = 4*k + 3 + 60*k - 7*k. Let t be u(1). Suppose -3*z = -6*z + t. Is 10 a factor of z?
True
Is 9 a factor of (-3 - (-5 + 11))*-45?
True
Suppose -q + 4*p = 17, 4*q + 5*p = 2*p + 27. Suppose -5*b + 496 = -v, 0 = b + v + q*v - 116. Suppose b = 3*h + 2*h. Is 7 a factor of h?
False
Let k(m) = -2*m + 5. Let z be 5*4/10*-2. Is k(z) a multiple of 5?
False
Let z = 587 + -408. Is z a multiple of 2?
False
Let w be (-6537)/(-15) + 1/5. Let c = -292 + w. Is 36 a factor of c?
True
Does 31 divide 10 - 7 - (-400 - 0 - 1)?
False
Let o be 10/55 - (-1120)/11. Suppose 2*f = -f + 3*k + o, -104 = -3*f + 4*k. Is 16 a factor of f?
True
Suppose -2*h + 21*a + 267 = 20*a, 3*a + 669 = 5*h. Is h a multiple of 33?
True
Suppose -3*u = -5*u - 2*y - 12, -4*y = -u - 31. Let l = 11 + u. Is 9 a factor of 9/(2/(l - -2))?
True
Let i = -366 + 558. Is i a multiple of 6?
True
Does 22 divide 85 - 1/1*-3?
True
Suppose 4*j = -1 + 9. Let p(d) = 83*d**2 - d + 1. Let f be p(j). Suppose 5*b + k = f, -3*b - k + 221 = -6*k. Does 22 divide b?
False
Suppose -7*a = -2*a - 185. Let c = 71 + a. Does 27 divide c?
True
Suppose 44 = -5*c + v + 4, 4*c = 3*v - 32. Let t = 6 + c. Is 6 a factor of 2/8*t*-34?
False
Let m(o) = -2 - 5 + 4 - o**2 + 3*o. Let y be m(2). Is y/(-4) - 1005/(-12) a multiple of 28?
True
Suppose 26 = c - 10. Let s = c + 0. Let y = 81 - s. Is y a multiple of 13?
False
Let s be ((-78)/(-4))/((-4)/(-16)). Let v = 46 - s. Let a = v - -55. Does 6 divide a?
False
Let x(m) = -m - 5. Let a be x(-4). Let b be (-2)/(-1) + a + 11. Does 11 divide 24 + (-4)/(b/(-9))?
False
Let w = 2 - -49. Let s = 17 + -15. Suppose 0*l 