*p + 22. Suppose -k - 39 = -p. Let j = 55 + k. Is j a multiple of 3?
True
Does 23 divide ((-93)/(-5))/((-495)/(-1100))*(-759)/(-2)?
True
Suppose 0 = -9*k - 7*k + 32. Is 1021/k + (-13)/(-26) a multiple of 25?
False
Suppose 2*b - 59 = -53. Suppose -b*s + 4*o = -503, -s + 16*o = 15*o - 166. Is s a multiple of 7?
True
Let j = 2398 + -1999. Is 45 a factor of j?
False
Let m(l) be the second derivative of -l**5/5 - l**4/6 + l**2/2 + 2*l. Let q be m(-1). Suppose 4*r + 560 = q*v, -2*v - 2*r + 365 = -3*r. Is 20 a factor of v?
True
Suppose 4*o + 5*v - 573 = 0, 3*v + 0*v + 670 = 5*o. Suppose 3*x = 3*g + 161 + 268, g + 2*x = -o. Let y = g - -329. Does 22 divide y?
False
Let b = 129 - 55. Suppose 0 = 56*m - 55*m - b. Is 13 a factor of m?
False
Let f(u) = -1148*u + 1568. Does 12 divide f(-11)?
True
Let f(b) = -50*b - 81. Let j be f(-14). Suppose 6*k - 835 = 2*k - 3*a, -j = -3*k + 5*a. Is 11 a factor of k?
False
Suppose 5*j + 15 = 0, 0 = -4*t + j - 4*j + 7. Suppose v - 20 = -t*k + 35, 3*v + 5*k - 130 = 0. Is 35 a factor of v?
True
Suppose 20*w - 7283 - 1397 = 0. Let v = w - 182. Does 12 divide v?
True
Let k(s) = 21*s + 30 + 1 + 7*s + 9*s. Is k(9) a multiple of 13?
True
Suppose 0 = 3*t + 3, 3*t - 6*t = 4*c - 13. Suppose 14 - 2 = -c*a. Does 26 divide -4 - a - -131*1?
True
Suppose -10*s = -2*u - 11*s + 12643, 0 = -2*u + 5*s + 12673. Is 12 a factor of u?
True
Suppose 861 = 12*o - 99. Suppose o = -2*q + 604. Is q a multiple of 11?
False
Let w = 38 - 74. Let s = w - -38. Suppose 4*m - f = 3*f + 112, m - 25 = -s*f. Does 23 divide m?
False
Let o = 7437 - 3048. Suppose -o = -9*l - 10*l. Is l a multiple of 13?
False
Suppose -4*m + 4*t + 64 = 0, 5*t = -16 - 9. Let k(u) = -3*u + 101. Is 7 a factor of k(m)?
False
Suppose 2*y - 160 - 886 = w, 0 = -y - 4*w + 541. Does 5 divide y?
True
Let s = 69714 - 21834. Does 12 divide s?
True
Suppose -10052 = -c + 2483. Suppose -16*a + c = 7*a. Is a a multiple of 23?
False
Let q(m) = 2*m**2 - 66*m - 75. Let s be q(34). Is 14 a factor of s*4/16*6*-20?
True
Let j(d) = 1541*d**3 - 2*d**2 + 1. Let q be j(-1). Let x(z) = 4*z + 6. Let u be x(-1). Is 32 a factor of q/(-9) + u - 1/3?
False
Let t(a) = a**2 + a + 6. Let n be t(5). Let k = -3024 + 3101. Suppose -k*j = -76*j - n. Does 9 divide j?
True
Let c = 310 + -176. Suppose 5*l + 480 = -3*l. Let a = l + c. Is a a multiple of 12?
False
Let l = 20760 + -1131. Is l a multiple of 72?
False
Let k be (-119)/(-1)*976/8. Suppose -8*a = -69*a + k. Is 14 a factor of a?
True
Suppose -4*z - 4*b + 136 = b, -2*b + 34 = z. Suppose 0 = 21*h - 22*h - 29. Let v = z + h. Is v a multiple of 2?
False
Let p(i) = -40*i - 3. Let q be p(-1). Let x = 43 - q. Suppose -22 = x*y - 262. Does 20 divide y?
True
Let t = 1579 - 959. Suppose t = -6*h + 6620. Is h a multiple of 40?
True
Let i(l) = 9*l**3 - 2*l**2 + l + 7. Let x = 636 - 631. Does 20 divide i(x)?
False
Let m = 326 + -309. Suppose -m = -x + 22. Is x a multiple of 3?
True
Let r(i) = -2*i + 18. Let m be 4/(-4 + 3) + 12. Let t be r(m). Suppose 2 = -t*j, -4*j + 34 - 170 = -c. Is 24 a factor of c?
False
Let n = -35 + 105. Let r(b) = 8*b + 112. Let u be r(6). Suppose n = 3*d - 4*f, -5*d - 25 = -3*f - u. Is d a multiple of 6?
True
Let t(q) = 7*q - 17. Let b(c) = -6*c + 17. Let n(a) = 6*b(a) + 5*t(a). Let g be n(10). Let m = g + 24. Does 4 divide m?
False
Suppose 29783 = 472*n - 459*n. Does 8 divide n?
False
Let o(t) = 124*t - 251. Let i(n) = -124*n + 250. Let z(d) = -5*i(d) - 6*o(d). Is 54 a factor of z(-11)?
True
Let z(r) = -10*r + 27. Let n be z(12). Let k = n + 133. Suppose -4*j - k = -3*o + o, o - 5 = 5*j. Is 15 a factor of o?
True
Let w = 58 + 24. Suppose f + 3*f - 2*n + w = 0, 4*f + n = -67. Is 2/(-3) + -3*538/f a multiple of 45?
False
Let b = 3142 + -2860. Let d = -182 + -10. Let r = d + b. Does 9 divide r?
True
Let k = 108 - 85. Suppose 2*i + 72 = 2*n, -k = 5*i - 3. Let l = -25 + n. Is l a multiple of 5?
False
Let u be (2 - (-9)/(-6))/(1/8). Suppose -358 = -2*t - 3*j, 9*t - 11*t - u*j + 356 = 0. Is 13 a factor of t?
True
Let w be ((-12)/9)/((-1)/1203*2). Let p = -532 + w. Is 27 a factor of p?
True
Let y = 3891 - -4021. Is y a multiple of 23?
True
Let z = -246 - -254. Does 15 divide 77832/162 + z/(-18)?
True
Does 12 divide (((-192)/(-18))/16)/((-938164)/(-187632) - 5)?
True
Let x be (-6)/21 - 4/(-14). Let r = 531 + -526. Suppose -r*b - b + 96 = x. Does 3 divide b?
False
Suppose 7*c = 4272 + 3078. Does 14 divide c?
True
Suppose 0 = 12*q - 4*q - 16568. Suppose -3 = -3*g, 4*k - 11*g = -6*g + q. Does 14 divide k?
False
Suppose 0 = -3*f + 102225 - 24999. Does 61 divide f?
True
Let q = -45 - -48. Suppose 0 = -x + q*l + 13, -12 = -4*x + 4*l - 2*l. Suppose s - 64 = -x. Is 9 a factor of s?
True
Let o = -469 - -1814. Is 269 a factor of o?
True
Let l be (35/(-25))/(4/20). Let i be (2 - -1) + 7/l. Suppose -o - 4*a = -35, i*o + a - 18 = 6*a. Is 10 a factor of o?
False
Let q(a) be the third derivative of a**5/60 + a**4/4 + 9*a**3/2 + 9*a**2 + 3. Does 7 divide q(-13)?
False
Let m(b) = -6047*b + 4399. Is m(-6) a multiple of 17?
True
Let z = -55 + 109. Let n = z + -56. Is 70 + 4 + n + 0 a multiple of 12?
True
Let q(a) = 15*a**2 - 106*a + 2547. Is q(21) a multiple of 136?
True
Suppose 0 = 3*v - 59 + 2. Let q(f) = f**2 - 19*f - f**2 - 17*f + v - 2*f**2. Does 18 divide q(-16)?
False
Let i = 1400 + -515. Is 15 a factor of i?
True
Suppose 12 = -0*c - 4*c, 2*o - 131 = c. Is 36 a factor of o?
False
Suppose 0 = -3*a - 4*m + 115332, -44*a + 2*m = -40*a - 153754. Is a a multiple of 155?
True
Suppose -2359 = -v - 5*n, -4*v + 450*n = 443*n - 9382. Does 6 divide v?
False
Let z = 31816 - 22691. Is 6 a factor of z?
False
Suppose -33*k - 11*k + 355489 = 39*k. Is 18 a factor of k?
False
Let s be 5 - 0*7/42. Suppose 2*f - 3*q = q + 372, -757 = -4*f - s*q. Is 4 a factor of f?
True
Let r(z) = -z**3 + 14*z**2 - z - 44. Let c be r(15). Let v = 601 + c. Does 17 divide v?
False
Let z = 359 - 359. Suppose z = -4*o + 1124 + 780. Is o a multiple of 17?
True
Let c be 1136/(-12) - 4/(-6). Let l = c + 89. Is 1600/8*(-4)/l a multiple of 16?
True
Let f(q) = -17*q + 323 + 37*q**2 - 159 - 158. Does 54 divide f(4)?
False
Let d = 16922 - -5536. Does 23 divide d?
False
Let c = -27 + 40. Let l(w) = -w**3 + 14*w**2 - 11*w - 26. Let b be l(c). Is 15 a factor of 210/7*(1 - b - -2)?
True
Let b(c) = 5*c**2 - c - 20. Let o be -3*(-9 - -3) + -9. Is b(o) a multiple of 9?
False
Let l be (-475)/(-171) + 4/18. Suppose -173 = -0*k - 2*k + l*g, 3*k - 3*g - 261 = 0. Is k a multiple of 8?
True
Let p(r) = 6*r**2 - 3*r + 2. Let k be p(1). Suppose -5*f + 29 = 4*m - 6, 0 = -k*m + f + 22. Suppose -2*c - 4*u + 86 = 0, m*c + 2*u - 191 = 4*u. Does 6 divide c?
False
Is ((-3)/(-6))/((-74)/(-1520256)) a multiple of 35?
False
Let f be (4221/(-6))/((-13)/(-4) + -4). Let l = f - 653. Is 13 a factor of l?
False
Suppose -4*p = -2*v + 16189 + 12809, 2*v + 3*p = 29033. Does 64 divide v?
False
Suppose 3*n = -3*r - 786, -4*r - 5*n = -33 + 1083. Suppose 3*p + 4*f + 544 = 0, -5*p - 515 - 381 = 4*f. Let k = p - r. Does 12 divide k?
True
Suppose -6*l + 5442 = 2*z, -2*z = -5*l + 2*z + 4535. Does 19 divide l?
False
Suppose 236 = -172*s + 174*s - 5*x, 4*s + x - 450 = 0. Is s a multiple of 3?
False
Let a(u) = u**3 - 52*u**2 + 480*u + 53. Does 29 divide a(43)?
False
Let f be 99/9 + (1 - -1). Suppose -5*t = -f - 12. Suppose t*m - 35 - 125 = 0. Does 8 divide m?
True
Let q = 199 + -201. Is 18 a factor of (q + (-1083)/9)*-3?
False
Suppose 20*x - 18*x + o = 3, 2*x + 9 = 3*o. Suppose x = 28*b - 8*b - 9660. Is b a multiple of 20?
False
Suppose -104 = 5*x - 799. Let t = x + 357. Does 31 divide t?
True
Let d(p) = -316*p + 106. Is 23 a factor of d(-10)?
True
Let r(b) = 17*b**2 + 27*b - 53. Let z be r(2). Suppose 0 = 22*k - 2241 - z. Is 35 a factor of k?
True
Let u(a) = 3*a**3 - 11*a**2 + 60*a + 6. Is 64 a factor of u(11)?
True
Let c(p) = p**3 + 9*p**2 + 9*p - 5. Let b be c(-7). Let t be -90*-1*(-6)/(-15). Is (t/b)/(2/60) a multiple of 7?
False
Suppose -151*h + 830 = -156*h. Let d = 4 + 0. Is 14 a factor of d/16 - h/8?
False
Let b = 66 - 65. Suppose 1 = -4*m + a, -m - 5*a - 17 + b = 0. Is ((-182)/(-42))/((-8)/(-6) + m) a multiple of 10?
False
Let j = 15268 + -9759. Is j a multiple of 10?
False
Let u(a) = a**3 + 6*a**2 + 463. Is 146 a factor of u(0)?
False
Let w = 3879