 98*f - 2. Does 34 divide i(p)?
True
Suppose 4*l + 1009 = w, 0 = 2*w + 14*l - 18*l - 2018. Is w a multiple of 7?
False
Suppose 96*k - 1095075 = -132*k + 71*k. Is k a multiple of 78?
False
Suppose 12*b = 3*s + 15*b - 21048, 3*s + 5*b = 21038. Is 16 a factor of s?
False
Let h(a) = -a - 10. Let v be h(5). Let t be (-12)/(-5)*(-7)/42*v. Suppose -97 = -t*q + 467. Is q a multiple of 25?
False
Suppose -1528*d - 11136 = -1534*d. Is 113 a factor of d?
False
Let d = 11258 - 6554. Is 84 a factor of d?
True
Suppose 11*x - 27 - 50 = 0. Let h(i) = 4*i**2 - 20*i + 208. Is h(x) a multiple of 22?
True
Let w(p) = p**3 + 9*p**2 - 17*p - 59. Suppose 70 = 38*b - 45*b. Is 11 a factor of w(b)?
True
Let d be (-1)/2*-4 + 147. Let z = 96 - d. Let o = z + 82. Does 6 divide o?
False
Suppose 3*s - 3*q - 5712 = 0, 2*s - q - 3822 = -6*q. Is s a multiple of 22?
False
Let k(y) = -5*y - 10. Let v be -2 + 6 + 9/(-3) + -46. Let m = 29 + v. Is 5 a factor of k(m)?
True
Is 24 a factor of 8*1 - (-49093 + 86)?
False
Is (-4743)/(368/(-16) - -22) a multiple of 17?
True
Let b(v) = -v**2 - 3*v + 4. Let n be b(-3). Suppose -n*k + 4*l = 5*l - 700, 4*k - 696 = -2*l. Does 16 divide k?
True
Suppose 4*f - 2*i = 23254, -23*f - 5816 = -24*f - 2*i. Is f a multiple of 102?
True
Suppose -5*m = -13*m. Let n(q) be the second derivative of q**3/6 + 51*q**2/2 + 39*q. Is n(m) a multiple of 11?
False
Let i = 11625 + -7620. Does 24 divide i?
False
Let a(n) = -2 - 2 + 9*n + 5 - 2*n + 18. Suppose 4*r - 17 = 19. Is 18 a factor of a(r)?
False
Suppose k + 5*b = 19090, -2*k + b = 2*b - 38171. Is 5 a factor of k?
True
Let f(o) = -778*o - 2822. Is f(-16) a multiple of 98?
False
Let j be 5 - (-5 - -4) - 148. Let x = j + 159. Does 2 divide x?
False
Suppose -12*s = -103*s + 317408. Is s a multiple of 6?
False
Suppose -68469 = -142*m - 2439. Does 2 divide m?
False
Let i = -51 + 51. Suppose -15*j + 3283 + 2522 = i. Does 9 divide j?
True
Is 26 a factor of (-9 - 1)/1 + (-137676)/(-154)?
True
Is (-4)/(-28)*14 + 8*706 a multiple of 113?
True
Let n = -200 - -205. Suppose 3*x + 270 = n*x - 2*u, 4*u = -4*x + 548. Is x a multiple of 17?
True
Let n(c) be the third derivative of -c**6/40 - c**4/4 - c**3 - 68*c**2. Is 31 a factor of n(-4)?
False
Suppose 2*b - 32*b = 1530. Let i = b - -362. Is i a multiple of 20?
False
Suppose 152*a - 2412 = 164*a. Let v = a - -726. Is v a multiple of 21?
True
Suppose 6*o - 26*o + 89232 = 19*o. Does 52 divide o?
True
Suppose -12 = -16*b + 13*b. Suppose -c = -b*c + 627. Suppose 5*d + c = g, -2*d - 615 = -3*g + d. Is g a multiple of 34?
True
Suppose 6*z - 168 = z - w, 3*z - 114 = -5*w. Let l = z - 31. Suppose x + 3*o - 127 = 0, l*x = -o + 188 + 46. Is x a multiple of 31?
False
Let j(a) = 35*a**2 + 126*a + 30. Does 2 divide j(-7)?
False
Let v(i) = -7*i**2 + 3*i - 11. Let q be v(-5). Let y be 1/(-6)*q + 1/(-2). Let o = y + -28. Is o even?
False
Let r = -474 - 1623. Is r/(-5) - (154/55)/7 a multiple of 23?
False
Suppose -30*b = -44 - 46. Suppose -p = b*t - 639 + 191, 2*t + 1322 = 3*p. Does 21 divide p?
False
Suppose 0 = 5*n, 2*l + n + 2008 = -0*n. Let w = 1492 + l. Is w a multiple of 34?
False
Let a = 591 + 151. Suppose -y - a = -2*y. Does 27 divide y?
False
Let f = 288 + -287. Does 16 divide (15/(-15))/((-1)/449)*f?
False
Suppose 0 = 3*f - 5*i - 88, 3*f - f = -3*i + 65. Suppose -s = 0, -s + f = -4*v + 5*v. Suppose 4*n = -2*k + 84, n + v = k - 23. Does 12 divide k?
False
Let u(z) = -z**3 + 18. Let w be u(0). Suppose -26 = m - 5*c, 0 = 3*m - 2*c - w + 122. Let v = 71 - m. Does 12 divide v?
False
Suppose 1487 - 1284 = h. Let a = h - -564. Is a a multiple of 42?
False
Is 26 a factor of 18/81 - ((-172)/(-54))/((-1)/204)?
True
Let q = -17 - -9. Let j(x) = -x**3 - 8*x**2 + x + 13. Let k be j(q). Suppose -a + k*w + 200 = -0*a, 4*a + 4*w - 872 = 0. Is a a multiple of 21?
False
Suppose -3*x + 3788 = -4*c, 5*x - 6*c + 10*c = 6292. Suppose 3*k - 1008 = -4*r, -16*r + 21*r - k - x = 0. Does 18 divide r?
True
Suppose -454 - 154 = -2*p. Suppose -5*w + 459 = -4*m, 3*m + 44 = 3*w - p. Is (-4)/(-6)*(-4 - m) a multiple of 19?
False
Let a(r) = r**2 + 12*r - 62. Let z be a(-17). Suppose 0 = -43*i + z*i + 3920. Is i a multiple of 49?
True
Suppose 9656 + 7144 = 15*w. Is w a multiple of 14?
True
Suppose 67 = 5*o + 3*q, 54 = 3*o + o + 2*q. Suppose -2*r - 4*w = -o, 3*w + 51 = 4*r + 12. Is 17 a factor of (510/r)/(-5)*(-9)/3?
True
Suppose 5*r + 40 = -3*r. Does 7 divide (9/(-18))/((10/824)/r)?
False
Suppose 0 = 19*y - 6*y - 6*y - 92176. Does 81 divide y?
False
Let l be ((-6)/4)/((-10)/((-120)/9)). Let g be -1*0/(4 + l). Suppose 4*z - 168 = -4*t, -z = -g*t - 4*t - 47. Is z a multiple of 15?
False
Suppose 0 = -2*w - 4*s + 7238 - 906, -4*s = -3*w + 9508. Is w a multiple of 24?
True
Suppose 3*u = -3*p + 158 - 29, 2*p + u - 90 = 0. Let b(f) = -21*f**2 + 4*f + 4 + p*f**2 + 0 - 27*f**2. Is b(4) even?
True
Suppose n - 5240 = -3*n. Suppose -4*i = -n + 210. Is i a multiple of 25?
True
Let s = 431 - 572. Let d = 468 + s. Does 9 divide d?
False
Suppose -5*u + 4*g = 6*g - 6, g = -2. Suppose 2*o = 3*l - 61, 0*o = 3*l + 3*o - 81. Suppose u*h + 3*z = 51, 0*z = -h + z + l. Is 24 a factor of h?
True
Let d = -62 - -58. Is (d - -2) + 0 - (31 - 94) a multiple of 3?
False
Let r(d) = -413*d - 4373. Is r(-27) a multiple of 243?
False
Let x = -2953 + 6479. Suppose 4682 = 19*v - x. Is 72 a factor of v?
True
Let b(w) = 12*w + 78. Let l be b(5). Let r = 95 + l. Is 5 a factor of r?
False
Suppose 0 = -2*h - 6 + 114. Let v = h - -92. Does 7 divide v?
False
Let t(y) = 80*y - 4. Suppose 0 = 2*i - 18 + 10. Let b be t(i). Let a = b - 140. Does 44 divide a?
True
Let l = 4138 - 2591. Does 17 divide l?
True
Let p be 2 + (0 - 0) + 1. Suppose 5*g + 298 = g + p*k, 5*g + 386 = -3*k. Let x = g + 135. Does 20 divide x?
False
Let f = -3 - -6. Suppose f*t - 9 - 3 = 0. Suppose -t*l = -5*g - 199, -157 = -5*l + 5*g + 93. Is l a multiple of 16?
False
Let k(r) = -7*r**3 + r**2 + 8*r + 8. Let w be k(-1). Let y(l) = 109*l - 377. Is 45 a factor of y(w)?
True
Is 6*(13/(-221)*0 + (-1478)/(-3)) a multiple of 24?
False
Let u(i) = -3*i**3 + 2*i + 28. Let z = 35 - 42. Let k be u(z). Suppose -p = 6*p - k. Is 27 a factor of p?
False
Let i be 236/18 - (-2)/(-18). Let p(r) = 5*r - 5. Is 5 a factor of p(i)?
True
Let q be (9/(-6) - 2)*(-84)/49. Does 2 divide -61*3/q*-6?
False
Suppose 17*f - 10 = 15*f. Suppose 5*a = -f*g - 135, 5*a - 4*g - g = -125. Let z = -17 - a. Is z a multiple of 3?
True
Suppose 2*u = -0*n - 3*n + 8, 0 = u + 4*n - 4. Let c(t) = t**2 + 10*t + 21. Let d be c(-8). Suppose -d*q - u*q = -684. Does 10 divide q?
False
Let w(l) = -14*l**2 + 12*l - 49. Let i(n) = n**2. Let m(o) = -2*i(o) - w(o). Let b(t) be the first derivative of m(t). Is 9 a factor of b(2)?
True
Let m be (6 + -6)*2/(-4). Suppose m = i + 3*i - 124. Suppose 0 = -i*a + 27*a + 32. Does 5 divide a?
False
Let h(m) = 6*m**2 - 4*m - 1. Suppose -t + 1 = -g, -2*t = 5*g + 3*t - 15. Suppose a + 2*v - g = 0, -2*v = -0*a - 3*a - 21. Is 51 a factor of h(a)?
False
Let u(k) = 14*k + 511. Suppose -974*o + 979*o = 0. Is u(o) a multiple of 38?
False
Let y = -9369 + 14244. Is y a multiple of 15?
True
Let c(i) = 3*i**3 - 6*i**3 + 4*i**3 - 1 - 15*i**2 - 2*i - 10. Let b be c(15). Let n = 53 + b. Does 5 divide n?
False
Let w(p) = -271*p + 2091. Is 31 a factor of w(-20)?
False
Let h(c) = 43*c + 1. Let k be h(3). Let t = 441 - k. Is 10 a factor of t?
False
Suppose 0 = -86*c + 92*c + 60. Let z(j) = j**3 + 14*j**2 + 25*j + 9. Let d be z(c). Let v = d - 130. Is v a multiple of 3?
False
Suppose 4*a - 2*c - 56762 = 20248, c = 4*a - 77013. Is 60 a factor of a?
False
Suppose 0 = 2*h + 2*h - 12*h. Suppose -z + h + 3 = 0, -2 = -2*b + 2*z. Suppose 995 = 4*s - 5*y, 3*y - 1216 = -s - b*s. Is s a multiple of 49?
True
Is ((-530)/50 - -13)*(-120)/(-2) a multiple of 13?
False
Does 47 divide 7 - (-124)/6*228?
False
Let p be (8/5)/((-28)/(-70)). Suppose -3*d + 0*d + 3 = 0, -p*d = 5*h - 214. Is h a multiple of 4?
False
Let o = 48 + -45. Suppose 281 = o*p + 77. Suppose 5*m + 2*a - p = 0, -4*m + 59 = -a - 2*a. Is 4 a factor of m?
False
Let c(f) be the third derivative of 1/2*f**4 + 22*f**2 + 0*f - 10/3*f**3 + 0. Is 17 a factor of c(13)?
True
Let a(b) = 230*b**2 + 5*b + 1. Let q be a(-1). Let o = q - 208. Is 6 a factor of o?
True
Let s be (-2)/((-7)/(357/6)