0. Suppose -3*c = -893 - n. Is c a multiple of 17?
False
Let l be 2*(0 - -1) - -3. Let i(c) = -10*c**2 + 23*c - 14. Let h(m) = 20*m**2 - 45*m + 27. Let s(q) = 4*h(q) + 7*i(q). Is 15 a factor of s(l)?
True
Suppose -4*j = 5*d - 2786, 4*j = 5*d - 3083 + 329. Suppose -2*r = 5*i - d, 61 = -5*i + 3*r + 605. Is 10 a factor of i?
True
Suppose 3*s + 5*w = 42511, w - 12575 - 29940 = -3*s. Is 24 a factor of s?
False
Let j(m) = -4*m - 21. Let f be j(-6). Suppose f*y - 582 = -3*y. Suppose 4*v = -4*p + 156, v - p - y = -2*v. Is v a multiple of 17?
True
Suppose -2*b + 4*f + 42 = 0, 4*b + 0*f - f = 84. Let d = b + -20. Is ((-84)/8)/(d/(-6)) a multiple of 37?
False
Suppose -413*g = -421*g + 3856. Suppose -4*o = 7*h - 9*h - g, 0 = o + 2*h - 128. Is 7 a factor of o?
False
Suppose 50*l = 45*l - 20, 3*w + 3*l = 15606. Does 60 divide w?
False
Let w(y) = 9*y - 78. Let v be w(9). Suppose 73 = -v*a + 1498. Suppose -850 = -5*d + 5*h + a, 0 = -2*d - h + 533. Is 38 a factor of d?
True
Suppose 3*v - 14*h + 16*h - 48058 = 0, -2*h = -16. Is v a multiple of 51?
True
Let w(k) = 4*k**2 - 87*k + 38. Is w(36) a multiple of 19?
True
Let y(n) = -132*n + 1335. Does 5 divide y(10)?
True
Let q = -5696 - -6550. Is q a multiple of 7?
True
Let x = -461 + 492. Suppose -x*b = -10*b - 15435. Is 17 a factor of b?
False
Suppose 2*d + 484 = 3*l, -256 - 55 = -2*l - d. Suppose 30*u = 28*u + l. Does 11 divide u?
False
Let o be 0/(-3 - -7) - -5. Let t = 32 + -20. Suppose -h - v + t + 71 = 0, o*v = -h + 63. Is h a multiple of 22?
True
Let a(x) be the third derivative of -x**6/120 + 7*x**5/30 + 13*x**4/24 - 2*x**3 + 14*x**2 + 2*x. Is 27 a factor of a(12)?
True
Suppose -2089 = 18*m + 164*m - 39399. Is m even?
False
Suppose -53*u - 3187 + 201513 = 0. Does 77 divide u?
False
Let q = -463 + 485. Suppose -q*j + 492 = -2940. Does 12 divide j?
True
Let u(b) = -14*b**2 + b - 5. Let t be u(2). Let m = t - -62. Suppose -m*f - 644 = -10*f. Is f a multiple of 10?
False
Suppose 3*k - 12 = -3. Suppose 2*l - 25 - 21 = -4*f, -k*f + 47 = 4*l. Let x(j) = 2*j**2 - 8*j - 6. Is x(f) a multiple of 21?
True
Let x be -4 + 1/(2/12) + -171. Let q = 286 + x. Does 39 divide q?
True
Suppose -18*v = 33*v - 28454 - 18517. Is v a multiple of 80?
False
Let o = -561 + 5188. Does 16 divide o?
False
Let v(g) = -g**3 + 46*g**2 + 280*g - 139. Is 13 a factor of v(24)?
True
Let g(v) = 4*v**2 + 9*v**2 + 33*v**2. Let r(p) = -p - 7. Let o be r(-6). Is g(o) a multiple of 7?
False
Is 37 a factor of (-37)/(12 - (-229)/(-19))?
True
Suppose 0 = -14*j + 12*j + 4. Suppose j*s = -5*a + 2915, -2*a - s = -0*s - 1165. Does 13 divide a?
True
Suppose -178 = -m + 4*b + 1324, -6113 = -4*m + b. Does 6 divide m?
True
Suppose -87 = -4*o + 41. Let p(l) = l**2 - l + 2. Let g be p(3). Let d = o + g. Is 8 a factor of d?
True
Let n = -423 - -423. Suppose r - 5*v - 19 + 21 = 0, n = -3*r - 5*v + 54. Is r even?
False
Suppose 0 = -10*b + 11*b - 2. Does 26 divide -6*(-194)/b + -3 + -3?
False
Let l(b) = 110*b**3 + b**2 - b - 1. Let d = -34 - -33. Let a be l(d). Let m = a + 232. Is 18 a factor of m?
False
Let p(f) = -13*f**2 - 6*f - 22. Let n(c) = -12*c**2 - 5*c - 22. Let b(i) = -5*n(i) + 4*p(i). Let m = -114 - -109. Is 11 a factor of b(m)?
False
Let x be (-24)/(-10)*(-2 + 7). Let i be (-4)/16 + 63/x. Suppose i*l - 4*l = 18. Is l a multiple of 6?
True
Suppose 5*l - 12001 = -2*i, 4*l = 3*i + 2498 - 20511. Does 14 divide i?
False
Let v(h) = h**3 + 4*h**2 + 5*h + 9. Let b be v(-3). Let n be (0/(-5))/(b/3). Suppose n = -3*l + 118 - 28. Is l a multiple of 6?
True
Suppose -2*y = -4*j - 1122, -6*j = 4*y - 9*j - 2229. Suppose -4*i - 3*x + 165 = -3*i, -3*x - y = -3*i. Is 2 a factor of i?
True
Suppose -2*z = 4*m - 15600, -2*m = 3*m + 4*z - 19500. Suppose 14*c = 8*c - m. Does 5 divide (c/(-52))/(1/2)?
True
Let h = -930 - -332. Let g = -323 - h. Is g a multiple of 12?
False
Let r(z) = -z**2 + 10*z + 11. Suppose -7*w + 42 = -35. Let m be r(w). Suppose 4*s - 346 - 390 = m. Does 34 divide s?
False
Let g be (-2)/(5/(2810/(-4))). Let z = -744 - -1203. Suppose -4*l + z = -g. Is l a multiple of 54?
False
Let x(q) = -q**2 + 10*q + 2. Let j(u) = u**2 - u + 1. Let n be (1/(-3))/((-11)/(-66)). Let w(b) = n*j(b) - x(b). Does 11 divide w(-5)?
True
Suppose -2*g + 4*f + 1 = 3*f, 0 = 2*g - 3*f - 3. Suppose 5*k - 15 = g, 0 = -5*j - 2*k - k + 824. Is j a multiple of 45?
False
Suppose -2*b = 2*b + 3*r - 17, 5*b - 4*r - 29 = 0. Suppose 0 = t + b*t - 3366. Does 33 divide t?
True
Is (-2)/(-4 + 2/(9708/19415)) a multiple of 82?
False
Let d = 331 + -210. Suppose 0 = d*m - 134*m + 2808. Is 18 a factor of m?
True
Let v(p) = 2475*p + 46648. Does 68 divide v(0)?
True
Let i(k) = -k**3 - 6*k**2 + 19*k - 70. Let y be i(-9). Suppose 0 = y*x + t - 1616, -8*t = -3*x - 10*t + 2423. Does 104 divide x?
False
Let v = 332 - 329. Suppose -v*z + 1507 = 5*g, -z + 4*g = -0*g - 508. Is 36 a factor of z?
True
Let w be 4*(1 - 3/4). Let h(p) = 39*p**2 + 23*p**2 + 48*p**2 - 3 + 4*p. Does 16 divide h(w)?
False
Suppose -2008596 = -38*i - 396408. Does 88 divide i?
False
Suppose -32*s = 4*x - 27*s + 2276, 2*x = 4*s - 1112. Let r = 528 - x. Does 45 divide r?
False
Let p(u) = 28*u**2 - 79*u + 2047. Is p(47) a multiple of 13?
False
Is (-2 + 8 + -261)/(((-12)/44)/3) a multiple of 55?
True
Let a = 93 - 83. Let d(o) = a + 33*o - 31*o + 9*o**2 + 11*o**2. Does 45 divide d(-3)?
False
Let a = 14934 - 5958. Is 50 a factor of a?
False
Suppose v + 5*i = 12685, 137*v - 139*v - 4*i = -25334. Is 166 a factor of v?
False
Let n(q) = q**3 - 4*q**2 + 2. Let p be (16/(-14))/((-30)/105). Let d be n(p). Suppose -d*f + 24 = -62. Does 4 divide f?
False
Suppose -7*q - 84 = -10*q. Let v be 124 - ((-14)/63 - 6/(-27)). Suppose -q = -4*z + v. Does 12 divide z?
False
Suppose 2*k + 2*k = 3412. Suppose 9*y = k - 232. Suppose 0 = 3*s - 6*s + y. Is 8 a factor of s?
False
Suppose -3*c = -3, 5*m + 0*c = 2*c + 8. Is 12 a factor of m/(-6) + (3084/18 - -9)?
True
Let l(u) be the second derivative of 7*u**3/6 + 61*u**2/2 - 14*u. Let m be l(-15). Let g = m - -127. Does 10 divide g?
False
Let q = -75 + 141. Does 13 divide q - (-3 + 0*(-1)/(-4))?
False
Let x be 3/(-12) + (-7548)/16. Let s = -12 - x. Does 20 divide s?
True
Suppose 31*f - 30*f - 15124 = 5*j, 13*j - 30294 = -2*f. Does 47 divide f?
True
Suppose -28*d = -23*d - 25. Suppose -24 = -m - d*m. Is 15 a factor of (-24)/(-20)*90/m?
False
Let v = 43 + -39. Let t be (-196)/v*-3*-1. Does 33 divide ((-48)/(-14))/((-6)/t)?
False
Let a be 55/5 + -5 - -12. Suppose -a*t + 2*t = -6496. Does 7 divide t?
True
Let o(t) = 11*t + 77. Let v(a) = 30*a + 230. Let r(w) = -17*o(w) + 6*v(w). Does 5 divide r(-7)?
True
Suppose 4*f = 5*t + 121, 6*t - 71 = 9*t - 4*f. Let m = 20 + t. Is 2/(-2 - 0)*m*2 a multiple of 4?
False
Does 2 divide 1088 + (-270)/15 + -13?
False
Does 29 divide 1/2*(-3 - -1)*83755/(-35)?
False
Let f = -38 + 54. Suppose 4*a - 8*a = -f. Suppose 112 = a*q - 48. Does 10 divide q?
True
Suppose 4*l - 5 = 7. Suppose 3*r - 3*c - 15 = 0, 0*r + c = -4*r + 5. Suppose -424 = -4*z - 4*k, r*z - 257 = l*k - 50. Does 20 divide z?
False
Let j(g) = g**3 - 4*g**2 + 2*g + 16. Let v(z) = -2*z**3 + 9*z**2 - 4*z - 32. Let d(c) = 5*j(c) + 3*v(c). Suppose -4*l - 10*l + 70 = 0. Does 8 divide d(l)?
True
Let g = -5 - -5. Let x(t) be the second derivative of -2*t**3/3 + 31*t**2/2 - t - 16. Is x(g) a multiple of 18?
False
Suppose -3*f + 56355 + 3624 = 5*m, 0 = 3*m + 2*f - 35986. Is m a multiple of 16?
True
Let x(d) = -54*d - 18. Let m be x(5). Does 13 divide m*(1/(-7) - 105/294)?
False
Let h(k) = -k**3 - 77*k**2 - 12*k - 836. Is 8 a factor of h(-78)?
True
Let r(j) = -j + 5. Let m be r(5). Suppose m = 3*u + u + 32. Let s(t) = 4*t**2 + 9*t - 5. Is 38 a factor of s(u)?
False
Let u be 1736*5*(-2)/5. Is u/(-18) - (-30)/270 a multiple of 13?
False
Let y be 599/((-6)/2 - (-5 - -1)). Suppose 8*g - y = 49. Does 2 divide g?
False
Let w = 28 - 25. Suppose 5*p - 32 = -w*p. Is 19 a factor of 114*1*-1*(-2)/p?
True
Let x(j) = -7*j**3 - 4*j**2 + 7. Let b be x(-6). Suppose -7*u + b = -2*u. Suppose -3*k + 172 = -4*f, -5*k - 3*f - 2*f + u = 0. Does 15 divide k?
False
Let l(u) = -3 + 0 - u - 1 - 1. Let v be l(-5). Suppose 5*j - 264 = -v*q - 4*q, -j - 3*q + 44 = 0. Does 8 divide j?
True
Suppose -1719*j + 1596*j + 246 = 0. Suppose -v + 140 = -5*p, 39 = 2*p - 4*p - 3*v. Doe