?
False
Suppose -3*b + 19 + 11 = 0. Suppose -b*a = -8*a + 84. Let i = -17 - a. Is i a multiple of 5?
True
Let x = 26943 - 12332. Is 211 a factor of x?
False
Let s be (13/(-4))/(1/(-12)*3). Let f(w) = 1 + 19 + s - 6*w + 7. Is f(-5) a multiple of 12?
False
Suppose 2*s = j - 2*s - 584, -2*s = 4*j - 2318. Let h = j + -382. Is h a multiple of 8?
False
Suppose -3*v - 301 = 4*v. Let d = 48 + v. Suppose -509 = -2*a + d*x, -5*a + 2*x = 5*x - 1288. Is 41 a factor of a?
False
Suppose 0*i - 2*j = -3*i + 12, 0 = -5*i + j + 13. Suppose 3*s - 1068 = -5*v, 2*s + 429 = i*v - 11. Is 6 a factor of v?
True
Let g(m) = 326*m**2 - 53*m - 212. Is g(-5) a multiple of 3?
False
Let i = -1802 - -9293. Is i even?
False
Let x(n) = 10*n**3 + 15*n**2 - 25*n - 70. Is 11 a factor of x(5)?
True
Let q(p) = p**3 - 103*p**2 + 21*p - 299. Is q(104) a multiple of 13?
True
Let z(n) = -n**2 - 21*n + 9. Let d be z(-21). Suppose 0 = 18*r - d*r - 1341. Suppose -f - j = -r, 2*f + 3*j + 0*j - 293 = 0. Is 15 a factor of f?
False
Suppose -21*v + 4*m - 94524 = -25*v, 2*m + 118148 = 5*v. Is v a multiple of 59?
False
Suppose 7*k = 11*k + 3*x - 10391, -3*k = 2*x - 7792. Does 54 divide k?
False
Suppose i - 37 = -5*n - 12, 13 = -3*n + 5*i. Suppose -5*h = -4*s + 9*s - 245, -s = n*h - 211. Is h a multiple of 18?
True
Let q be (24134/(-55))/((-10)/25). Let d = q - 852. Does 7 divide d?
True
Let f(r) = -29*r + 5. Suppose 5*v - 3*s = -s + 3, -5*v = -s - 4. Suppose 4*b + 23 = 3*k, -2*b + 2 - v = k. Is 21 a factor of f(b)?
True
Let h be (-16 + 10)*(0 + (-7)/6). Let n(i) = -7*i + 3 + 6*i**2 + h*i. Is n(-2) a multiple of 12?
False
Let n(r) = -r - 9. Let w be n(-5). Let d be (-64)/w + 12/4. Suppose 0 = -5*x + 111 + d. Is x a multiple of 6?
False
Suppose -33*n - 38026 + 477661 + 257358 = 0. Is 117 a factor of n?
False
Let j(n) = n**2 - 21*n + 62. Let l be j(46). Let t = 2081 - l. Is 8 a factor of t?
False
Let x(t) = -14*t - 90. Let k be x(-15). Suppose 2*v - k = -3*c, 3*c + 0 = 2*v - 96. Is 2 a factor of v?
True
Let v(m) = 5*m**2 - 34*m - 21. Let a be v(11). Let c = 27 + a. Is c a multiple of 10?
False
Let u(m) = -56 - 446*m + 1003*m - 508*m. Does 34 divide u(6)?
True
Is 55098/27 + (140/15)/(-14) a multiple of 20?
True
Suppose -13*u = -16*u - 5*n + 2742, 4*n = 3*u - 2688. Is u a multiple of 45?
False
Let z = -724 - -1282. Is 31 a factor of (z/8)/(((-273)/56)/(-13))?
True
Let g be 5988/(-16) - 1/(-4). Let l = -334 - g. Is l a multiple of 4?
True
Suppose -988*p = -987*p - 1737. Is 27 a factor of p?
False
Let o(r) be the first derivative of -r**4/4 + r**3/3 - 10*r**2 - 35*r - 84. Is 6 a factor of o(-2)?
False
Let w(q) = 67 + 3*q + q**2 + 15*q + 0*q + 4. Does 6 divide w(-16)?
False
Suppose -3*z = 5*x - 10376, -2*x + 1970 = 4*z - 2172. Is 16 a factor of x?
False
Let x be 12*83/8*-2. Let c = x - -429. Is 45 a factor of c?
True
Suppose -j + 4*h = 3361 - 9114, j - 2*h = 5743. Is 91 a factor of j?
True
Let b = -38281 + 39132. Is b a multiple of 4?
False
Let w = 391 - 391. Suppose -f + 515 = -h, w = 7*h - 3*h + 16. Does 22 divide f?
False
Let m(o) = 26*o**2 - 3*o + 19. Let w be m(4). Let f = w - 212. Is 30 a factor of f?
False
Suppose -t + 2 = -h, -4*h - 1 + 5 = 0. Let g be 16/(t + 2 - 3). Is (-944)/(-20) - g/(-10) a multiple of 16?
True
Suppose -x - 13*f + 61 = -10*f, 223 = 3*x + f. Suppose 36*g = x*g - 7080. Does 59 divide g?
True
Let b = 290 + -277. Suppose -2*q + 214 = 2*u, 2*u = 15*q - b*q - 234. Is q a multiple of 8?
True
Let r(f) be the second derivative of 11/4*f**4 + 1/2*f**3 + f**2 - 2*f + 0. Does 32 divide r(-2)?
True
Suppose -l + 0*l = -5, -4*l - 14605 = -5*t. Is t a multiple of 25?
True
Let h be 13745/30 + 20/24. Is 34 a factor of ((-1)/(5/h))/((-12)/40)?
True
Suppose -3*l - 40 = 2*j, -4*j - 8*l - 80 = -3*l. Is 13 a factor of ((-2398)/(-3))/(j/(-30))?
False
Suppose 13592 = 3*s - l - l, 4*s + 5*l - 18138 = 0. Suppose 0 = -0*h + 4*h - s. Suppose -4*x + 203 = -h. Is x a multiple of 58?
False
Let i(b) = -b**2 + 9*b - 4. Let h = 59 + -51. Let a be i(h). Does 14 divide (-5)/(-10)*a*81/2?
False
Let q(c) be the first derivative of 2*c**3/3 - 7*c**2/2 + c - 1057. Let o = 17 - 12. Is 4 a factor of q(o)?
True
Suppose -3*a = -w - 24, w + 5*a = -w - 15. Is 11 a factor of (-5)/(-1)*((-249)/w + 2)?
False
Let w(b) = -50*b + 108. Suppose -30 = -3*r - r + 5*l, 4*r - 16 = -2*l. Let u(g) = 33*g - 72. Let h(p) = r*w(p) + 8*u(p). Is h(14) a multiple of 8?
True
Suppose 8 - 1592 = -11*q. Suppose 0 = 2*b - 4*k - q, -64 = -b + 5*k - k. Is b a multiple of 16?
True
Let f(x) = 6*x + 0*x**2 - x**2 + 4*x. Let g(u) = -14*u + 201. Let k be g(14). Is 21 a factor of f(k)?
False
Let u(i) = 1066*i**2 - 39*i - 147. Does 50 divide u(-9)?
True
Suppose 0 = -2*s - 5*d + 51, -s - 4*s - 4*d = -136. Suppose 2*t - 326 = -4*r + 8*r, 5*t = -2*r + 803. Suppose -t = 27*g - s*g. Is 23 a factor of g?
True
Suppose -21*b + 29950 + 20492 = 0. Is b a multiple of 13?
False
Let g(c) = 9*c + 15. Let f be g(12). Let i = f + -111. Suppose 0 = 15*o + i - 147. Is 3 a factor of o?
True
Let g = 885 + -1314. Let p = g - -637. Is p a multiple of 16?
True
Suppose 936976 = 141*f + 25*f + 272312. Is f a multiple of 22?
True
Let c = -98 + 2930. Does 43 divide c?
False
Suppose -2*v = l - 273, 0 = v - 2*l - 96 - 33. Does 7 divide 42 + -38 + 1 + v?
True
Let s(v) = -v**3 + 5*v**2 + 4*v + 6. Let f be s(5). Is 9 a factor of (7*6 - 3)*f/3?
False
Is 58 a factor of (-10)/8 + 77781411/1244?
True
Suppose -3*t - 6 = 0, 6*u - 89*t + 88*t = 140432. Is u a multiple of 322?
False
Suppose -113 = -c - 0. Suppose -50 = -5*x + 5*v, 3*v - 72 = -3*x - 24. Suppose -9*d = -c - x. Does 2 divide d?
True
Suppose 1489 = -330*s + 329*s + 7730. Is s a multiple of 32?
False
Let k = -182 + 186. Suppose 2*f + k*f - 6528 = 0. Does 16 divide f?
True
Suppose 26*q - 10170 = -9*q + 32*q. Is 15 a factor of q?
True
Let f(p) = p**3 - 4*p**2 + 4*p + 1. Let i be f(3). Suppose -i*q = 3*k - 24, 0 = 2*k + k + q - 15. Suppose -k*l = -8*l + 76. Does 3 divide l?
False
Let k(q) = 13*q**2 - 119*q + 601. Does 25 divide k(-34)?
True
Let l = 5077 - 2633. Is l a multiple of 105?
False
Let s(w) = 4*w**2 - 15*w + 37. Let n be s(-16). Let y = 2385 - n. Is 14 a factor of y?
False
Suppose 5*g = -7 + 22. Let q(k) = 12 - 5 - 2*k + g*k. Does 4 divide q(9)?
True
Let p(m) = -52*m**2 + 67*m - 24. Let n(q) = 26*q**2 - 34*q + 12. Let s(x) = -9*n(x) - 4*p(x). Let w(u) be the first derivative of s(u). Is 41 a factor of w(-4)?
True
Let f = 9135 + -1943. Is 124 a factor of f?
True
Let u = -7355 + 25406. Is u a multiple of 25?
False
Let v be (-3 + 2)*-1 + 3. Suppose -2*l + v*w - 71 = -459, 0 = 3*l - 3*w - 588. Is 35 a factor of l?
False
Suppose 6*u = -0*u - u. Suppose -9*p + 6*p + 147 = u. Is 49 a factor of p?
True
Suppose 38*i + 19*i + 51*i - 6078132 = 0. Is i a multiple of 227?
False
Suppose 4*b - 32214 - 28986 = -2*b. Is 30 a factor of b?
True
Let o(w) = 5*w**3 - 5*w**2 - 10*w + 5. Let c be o(5). Suppose 8*a = b + 3*a - c, 3*a = 12. Does 24 divide b?
False
Let o = 5031 - 3635. Is 9 a factor of o?
False
Let u = 100 + 33. Let p(z) = z**3 - 8*z**2 - 9*z + 21. Let s be p(7). Let y = u + s. Is y a multiple of 7?
True
Let m(b) = 5*b + 139. Let w be m(-24). Let n(h) = 11*h + 1. Let k be n(2). Let z = k - w. Is z even?
True
Let s(r) = r**2 - 13*r + 12. Let k be s(12). Suppose -x + k*x = 0. Suppose x = -n + 61 + 26. Is 29 a factor of n?
True
Let l = 10268 + -9216. Is 6 a factor of l?
False
Let i(f) = f**2 - 21*f - 110. Let a be i(28). Is 23 a factor of (a/(-16) - -5)*-30*24?
False
Suppose 34768 = -123*n + 176*n. Is n a multiple of 16?
True
Let q(c) = -5*c**3 - 53*c**2 + 32*c + 253. Does 26 divide q(-26)?
False
Let f(r) = -281*r + 7695. Is f(-57) a multiple of 39?
True
Suppose 2*w = 5*w + 5*w. Is 368/4 - (w + -4) a multiple of 16?
True
Let b(f) = 10*f**3 + 8*f**3 + f - 26*f**3 + f**2 + 9*f**3. Let r(p) = 3*p**3 - 7*p**2 + 9*p + 18. Let a(t) = -2*b(t) + r(t). Does 19 divide a(9)?
False
Let w(n) = n**3 - 3*n - 12 + 10*n**2 - 2*n - n + 8*n. Let x be w(-10). Let f = 28 - x. Is 20 a factor of f?
True
Let y be -292 + 9/(27/3). Let a = y - -339. Does 24 divide a?
True
Let u(k) = -703*k + 643. Does 42 divide u(-5)?
True
Let w = -9720 + 23555. Is 144 a factor of w?
False
Let k be (42/(-12) + 1)/((-1)/2). Let r(q) = -2*q**2 + 4*q + 26. Let b be r(k). Is 55 a