- -39. Is c/24 - (-33)/24*2 even?
False
Is (-4)/2 + -1*10*17767/(-545) a multiple of 6?
True
Let h = 46 + -46. Suppose h = 7*u + 1154 - 5529. Is u a multiple of 31?
False
Is (-9 - -4)*24520/(-10) a multiple of 14?
False
Let v(f) be the second derivative of 4*f**5/5 - f**4/12 - f**3/3 + f**2/2 + 37*f. Let y be v(-2). Let d = 288 + y. Is 16 a factor of d?
False
Suppose 45*h + 79 = -236. Is 12 a factor of 2*h/14 + 376?
False
Let f = 20 - -73. Suppose 1721 = 3*c - 4*r, c + f - 664 = 2*r. Does 13 divide c?
False
Suppose 2*r = -3*u - 55, -2*u = -3*u + 1. Let p(m) = -m**3 - 28*m**2 + 13*m - 84. Does 32 divide p(r)?
False
Let l(m) be the second derivative of 31*m**4/12 - 7*m**3/3 + 7*m**2/2 - 7*m - 12. Does 80 divide l(-6)?
False
Suppose q = -3*a + 5462 + 436, -5*q - 2*a + 29555 = 0. Is q a multiple of 43?
False
Suppose -16 = -3*w - 0*r + 2*r, -2*w - 1 = r. Suppose -w*d = -10, 4*d + 112 = -0*z + z. Does 22 divide z?
True
Let o = -23713 + 40812. Does 180 divide o?
False
Does 40 divide 0 + (-18)/4 - 4783790/(-628)?
False
Let z(m) = -m**2 - 4*m + 16. Let q(y) = y**3 + 3*y**2 - 2*y - 8. Let t be q(-3). Let c be (-10)/(t + -3) - 8. Is z(c) a multiple of 3?
False
Let l(i) be the second derivative of -23*i + i**3 + 1/10*i**5 + 0 - 5/12*i**4 - 3*i**2. Is l(3) a multiple of 8?
False
Let i(w) = 7*w**3 - 3*w**2 + 5*w + 8. Let k be i(6). Suppose -8*q + q + k = 0. Suppose 8*a = 1054 - q. Is 30 a factor of a?
False
Suppose 164436 = 47*f - 9229. Is f a multiple of 2?
False
Let f be ((-252)/(-49))/(18/(-336)). Is 44 a factor of (f/16)/((-3)/462)?
True
Let f(a) = a**3 - 137*a**2 - 69*a - 2099. Is f(139) a multiple of 6?
True
Suppose 850*q + 278467 = 899*q. Is q a multiple of 19?
False
Suppose -269 = 4*y - 73. Let g = -197 + 269. Let j = y + g. Is j even?
False
Does 13 divide (-248)/(-1612) + (-8110)/(-13)?
True
Let x(z) = 14*z**2 + 26*z - 166. Does 90 divide x(14)?
False
Let o be 79/1 - (-26 + 32). Suppose -r + 44 + o = 0. Is r a multiple of 9?
True
Let h be 24/(-12) - (-950 - 0). Let f = h - 536. Does 6 divide f?
False
Does 93 divide (1736/4)/((434/84)/31)?
True
Let i = -402 + 407. Suppose i*j = 3*s - 1066, 3*s + 2*j - 1434 = -382. Is s a multiple of 88?
True
Let v(r) be the second derivative of r**3/6 + 5*r**2 - 14*r. Let h be v(-3). Suppose 5*a = -h*a + 2700. Is 45 a factor of a?
True
Suppose -p + 2*a + 48 = -5*p, 3*a = 0. Let c = -6 - p. Does 9 divide (-500)/c*3/(-2)?
False
Suppose -2*d = -5*d + 12. Suppose -8*o + 3*l + 2184 = -3*o, -4*l - 1752 = -d*o. Suppose a = -3*u - 17 + 298, 0 = -5*u + 5*a + o. Does 18 divide u?
False
Suppose 0 = 3*p + 12*p. Suppose p = 3*j + i - 1121, 4*i = -0*j - j + 359. Suppose 4*q - j - 377 = 0. Is 33 a factor of q?
False
Suppose 6 = -2*y, 62*w - 64*w + 4428 = -4*y. Is w a multiple of 32?
True
Let r = 931 + -1369. Let u = r - -445. Does 7 divide u?
True
Let f(h) = -166*h - 132. Let b be f(-10). Let u = b + -862. Is 37 a factor of u?
True
Let u(c) = c**3 + 19*c**2 + 47*c - 165. Is 138 a factor of u(27)?
True
Let m(f) = -31*f**2 - f + 6. Let g(i) = -94*i**2 - 2*i + 17. Let a(u) = -6*g(u) + 17*m(u). Does 7 divide a(-1)?
True
Suppose 0 = -6*x + 4 + 26. Suppose -9*b = -x*b. Suppose -4*m + 44 = -b*m. Is 2 a factor of m?
False
Is (119/14 + -1)*-338*(-11)/33 a multiple of 13?
True
Suppose -4*m + 1085 = q, -4*q + 2161 = -2*q - m. Suppose 0 = -6*a + 1931 + q. Is 5 a factor of a?
False
Let a = -237 + 833. Does 4 divide a?
True
Let l(m) = -m + 28. Let o be l(31). Does 7 divide 1*(-1)/o + 104/3?
True
Suppose -2212 = -7*k + 56. Suppose -330*b = -k*b - 3264. Is b a multiple of 8?
True
Let b(y) = -12*y**3 - y**2 + 2*y + 3. Let g be b(-1). Let f(q) = 25*q - 24*q + 18*q + g. Is f(7) a multiple of 22?
False
Suppose -5*c - 39130 = -4*x, 3*c + 3094 = -x + 12885. Is 95 a factor of x?
True
Suppose -f + 3 + 13 = 0. Let y be 3*f/(-6) + 4. Is 4 + (-982)/(-6) + y/(-12) a multiple of 24?
True
Suppose 8*g + 23941 - 56017 = 50348. Is g a multiple of 15?
False
Does 37 divide 0 + 0 - ((-16264)/19 - 16)?
False
Suppose 0 = -4*c + 8*c + 416. Let m = -83 - c. Is m a multiple of 3?
True
Let h(y) = -y**2 - y + 9. Let n = 73 - 70. Let a be h(n). Does 5 divide 1*20 + (3 - 6)/a?
False
Suppose 20*k - 34685 = 72895. Is 14 a factor of k?
False
Suppose 3*l - 134952 = -3*y, -69*y + 68*y = 2*l - 44982. Is 270 a factor of y?
False
Let o = 2361 + -1221. Suppose 109*x + o = 119*x. Does 19 divide x?
True
Suppose -2*k = 5*z - 6457, 2*z + k - 6*k = 2577. Let p = z - 692. Does 23 divide p?
False
Let y be (-472)/(-96) + 7 + (-7)/(-84). Let c = 82 + -7. Suppose 3*q + 3*s = c, -y = -3*s + 3. Is q a multiple of 5?
True
Suppose 135*x + 1295303 = 24*x + 5478449. Does 58 divide x?
False
Let n(j) = 6*j - 116. Let f be n(20). Suppose -g + 1435 = f*l, 11*l = 6*l. Is 29 a factor of g?
False
Is (((-8565920)/(-200))/31)/(2/40) a multiple of 16?
True
Is 15 a factor of ((-15)/(-8))/(102/544) + 10910?
True
Suppose -3*m - 32564 = -123947. Does 40 divide m?
False
Suppose 73449 = 2*v - 87*p + 86*p, 0 = 5*v + 4*p - 183577. Is 269 a factor of v?
False
Let v = 29 - 29. Let a be (v + 1/2)*528. Suppose 22*o - 24*o = -a. Is 19 a factor of o?
False
Suppose -r = 5*b - 5*r - 348, -4*b + 264 = 4*r. Let s = -65 + b. Suppose -5*v - s*v = -688. Does 12 divide v?
False
Let u(a) = 7*a**2 + 42*a + 4. Let i be u(-6). Suppose 3*v + 129 = i*q, 3*q + 3*v = -33 + 156. Is q even?
True
Let b(l) = 3*l - 2*l + 5*l + l**2 - 10*l + 6. Is b(15) a multiple of 57?
True
Let a be ((-360)/(-420))/(6/14). Suppose 0 = -a*c - 2*y - 0*y + 104, 5*c + 2*y = 266. Does 29 divide c?
False
Let c = 2610 - -20385. Is c a multiple of 34?
False
Is 13 - ((-1155132)/18)/11 a multiple of 4?
False
Let h(s) = -137*s - 15. Let z(t) = -206*t - 22. Let j(n) = 7*h(n) - 5*z(n). Let b be j(10). Is ((-12)/(-5))/(26/b) a multiple of 11?
True
Suppose w + 4*w - 25 = 0. Suppose -w = j, 5*y - j + 39 = 409. Does 3 divide y?
False
Suppose 0*t = 6*t - 636. Let c = 13 + t. Is 15 a factor of c?
False
Let t = 461 - 265. Let u = 138 - t. Let b = u + 98. Is 16 a factor of b?
False
Is (158960/35 + 4)/(10/35) a multiple of 10?
True
Let u(l) = l**2 + 7*l - 2457. Is u(-117) a multiple of 13?
True
Let i(g) = g + 7. Let d be i(-3). Suppose d = -4*c + 6*w - 2*w, -4*c - 3*w = -10. Is 20 a factor of (-1)/3*-141*c?
False
Let r = 24 - 41. Let m be (-52 + 7 + 5)/1. Let l = r - m. Is l a multiple of 7?
False
Let m = 71 + -71. Suppose 3*z = -m*t - 2*t + 750, -4*t - 2*z = -1492. Is t a multiple of 20?
False
Suppose 0 = -135*w + 44*w + 161434. Is w a multiple of 6?
False
Let y(x) = 85*x**2 - x. Let c be y(1). Let i be 72/(-7) - (116/87)/((-14)/3). Is 0 - c/(-15) - 4/i a multiple of 6?
True
Let i = 8193 - 5315. Suppose -3*q + 3242 = 4*p, 3*p = 2*q - 438 + i. Is p a multiple of 8?
False
Suppose 5*j + 3*c - 2496 = 4217, 0 = -5*j + 5*c + 6745. Does 6 divide j?
False
Let j(u) = 93*u**2 - 14*u + 64. Is j(4) a multiple of 37?
False
Let s be (-3)/8*-12*2. Suppose 0 = 3*o, s*o + 33 = 3*r + 6*o. Suppose 825 = -r*x + 2112. Is x a multiple of 20?
False
Let x(s) = -7 + 21 + 10 - 5 + 5*s - s**2. Let t be x(7). Suppose -t*q + 16 = 4*r, 2*q - 1 = -9. Is r a multiple of 5?
False
Let j = 54 + -52. Suppose c = -j*c + 6. Suppose -3*s - 84 = -c*u, 3*u + 5*s - 35 - 53 = 0. Is 7 a factor of u?
False
Suppose q + 67*b - 70*b - 1878 = 0, -q + b + 1874 = 0. Is q a multiple of 48?
True
Let m(s) = -7*s - 12. Let l be m(15). Let r = 135 + l. Is r a multiple of 3?
True
Suppose 33*j = 4*l + 132078, 7636 = 3*j - l - 4373. Does 69 divide j?
True
Suppose 0 = -x + 4*k, 3*x = -x - 4*k + 20. Let f be (17 - (x - 0))*21. Let t = f + -185. Is t a multiple of 11?
True
Let o(f) = 90*f**2 - 2*f**3 + 61 + 3*f**3 + f - 90*f**2. Let h be o(0). Let c = 211 - h. Does 25 divide c?
True
Let n(m) = m**2 + 4*m - 7. Let i be n(-7). Suppose 2*s = 4*s - i. Let f(d) = -d**3 + 7*d**2 - d + 10. Is f(s) a multiple of 3?
True
Suppose -5*b = 2*r - 270 + 42, -8 = -4*b. Suppose 828 = -r*z + 115*z. Does 6 divide z?
True
Let k = -386 + 389. Suppose -3*h - 4*v = -1395, -k*h + 2*v = -3*v - 1368. Is 34 a factor of h?
False
Suppose 0 = b + 4*b - 60. Let k(o) = -o + 17. Let v be k(b). Let n = v - -2. Does 6 divide n?
False
Suppose r - 102 = -100. Is (-16)/(r - -2)*-1 a multiple of 3?
False
Suppose -171850 = 3133*d - 3183*d. Is d a multiple of 3?
False
Let d(i