uppose 0 = 12*l - 0*l - 2640. Does 20 divide l?
True
Suppose 5*g + 2135 = 5*k, 2*k - 34*g + 30*g = 852. Is k a multiple of 2?
True
Let a = 180 + -132. Is 24 a factor of a?
True
Let c(q) = q**3 + 14*q**2 - 13*q + 33. Let a be c(-15). Suppose -a*u + 171 = 3*w, -2*w - u + 234 = 2*w. Is w a multiple of 11?
False
Let x(p) = 2*p + 1. Let i be x(2). Suppose 4 = y - 3*j - 0*j, -3*j + 20 = i*y. Suppose 25 = -y*w + 5*w. Does 15 divide w?
False
Let p(y) be the first derivative of y**3/3 - 23*y**2/2 - 13*y - 2. Is 14 a factor of p(26)?
False
Let k(s) = -s**3 - 9*s**2 + 9*s - 5. Let x be k(-10). Suppose 2*j + x*h = 191, 4*j - 5*j = -3*h - 123. Is j a multiple of 13?
False
Let f(v) = v**3 - 13*v**2 + 44*v - 13. Does 19 divide f(13)?
False
Suppose 0 = -6*b + 9*b - 60. Let p be (-50)/(-2)*184/b. Suppose 4*c + f = p, 4*c = -0*f + f + 234. Is c a multiple of 17?
False
Suppose 4*b - 2495 = -5*m, -5*b + 3085 = -2*m - 3*m. Is b a multiple of 17?
False
Let d(r) = 13*r**2 - 21. Does 11 divide d(-6)?
False
Suppose 5*z = 3*s - 541, 0 = 2*s - 3*z - 220 - 141. Suppose -5*b + s = -3*b. Is b a multiple of 13?
True
Let a(v) = -v**2 - 45*v - 74. Is 8 a factor of a(-31)?
True
Let w(m) = m**3 + 8*m**2 - 4*m - 8. Let n be w(-6). Let j = n + -58. Is 5 a factor of j?
True
Let z(g) = g**2 + 3. Let s be z(0). Does 5 divide (2 - 7)*s*-2?
True
Let t(b) be the third derivative of 37*b**6/40 + b**5/60 + b**4/24 - b**3/3 + 50*b**2. Is 37 a factor of t(1)?
True
Suppose -9821 = 66*v - 89*v. Does 6 divide v?
False
Let o be (-2697)/(-9) + 2/6. Suppose 2*f - 2*g - 119 - 1 = 0, 0 = -5*f - 4*g + o. Is 20 a factor of f?
True
Let f be (8/24)/((-2)/(-60)). Let l = 30 - f. Does 10 divide l?
True
Let h = 14 - 17. Let l(p) = 4*p**2 + 3*p + 6. Is l(h) a multiple of 13?
False
Let p(c) = -8*c - 24. Let y be 576/(-84) + (-1)/7. Is p(y) a multiple of 8?
True
Does 6 divide (-2)/8 + 9936/64 + -1?
False
Let d = 113 + -115. Is 6 a factor of 85 - 1/d*-2?
True
Suppose 2*y - 1757 = -4*u - 725, 0 = -4*u + 4*y + 1056. Is 42 a factor of u?
False
Let l(p) = 26*p. Let a be (3 + (-12)/3)*-1. Is l(a) a multiple of 6?
False
Let d = -10 - -10. Suppose 3*p + 4*l + 6 = 0, 4*p + d*l - 5 = -l. Does 21 divide 40/p + -6 + 9?
False
Let d(u) = -u**3 + 6*u**2 + 8*u + 4. Let c be 4/2*14/4. Is 4 a factor of d(c)?
False
Let d = 19 - -108. Does 7 divide d?
False
Let d(t) = -t**2 + 3*t - 12. Let q be d(9). Is (9/2)/((-11)/q) a multiple of 5?
False
Let o be ((-9)/12)/((-9)/24). Let g = o + 1. Suppose 2*l = g*l - 36. Is 28 a factor of l?
False
Is (-26852)/(-35) - 2/(-3 - -13) a multiple of 25?
False
Let a(o) = o + 3. Let i be a(14). Suppose -2 - 7 = -3*z. Suppose -i - 4 = -z*c. Is 3 a factor of c?
False
Let r(n) = 9*n**2 + 3*n + 10. Let b = 45 - 48. Does 41 divide r(b)?
True
Let s be (3 - (5 + -9))*15. Suppose 2*f + d - 21 - s = 0, 5*d = -f + 81. Is 17 a factor of f?
False
Let c(a) = -1073*a - 9. Is c(-1) a multiple of 38?
True
Let w(v) = 9*v**2 + 7*v + 2. Let l(t) = -t**2 + 1. Let y = 11 - 6. Let k(m) = y*l(m) + w(m). Is k(-5) a multiple of 18?
True
Suppose 10*g - 4 = 8*g. Suppose -g*s - 3*s = -5*r - 50, 2*s = r + 18. Does 8 divide s?
True
Let y(k) = -13*k**3 - 2*k - 1. Suppose 27*d = 30*d + 3. Does 4 divide y(d)?
False
Let u be 5/1 + -29 + -33. Let m = 13 - u. Is 17 a factor of m?
False
Is 26 a factor of (1/2)/(-3 + 19719/6570)?
False
Let x(k) = k**3 - 19*k**2 + 5*k - 25. Let u(n) = -22*n - 5. Let t be u(-2). Let i be (-3)/(-6)*(t - 1). Is x(i) a multiple of 10?
True
Let o = 28 - 49. Let r = -13 - o. Let t(y) = y**2 - 8*y + 5. Is t(r) even?
False
Let o be -4*1 - (-431 + -8). Suppose -r + o = 2*r. Suppose 0*i = 5*i - r. Does 7 divide i?
False
Suppose 2*m - 2*n = -4 - 4, 2*m + 4*n = 22. Let a(s) = 265*s**3 + s**2 - 1. Does 30 divide a(m)?
False
Let v = 8 + -4. Let z = -8 + v. Is z/(-14) + (-702)/(-42) a multiple of 6?
False
Suppose -307 = -4*l - 79. Let p = l - 1. Does 28 divide p?
True
Let m(z) be the third derivative of z**6/120 + z**5/20 - z**4/3 - 3*z**3/2 + 35*z**2. Is m(-4) a multiple of 7?
True
Suppose -h = -0*h - 16. Suppose -5*u + 2*u = 0. Suppose u = -d - 4 + h. Does 6 divide d?
True
Suppose r + r = -5*o + 206, 2*r - 126 = -3*o. Let f = o + -35. Is f a multiple of 5?
True
Suppose 0 = -16*r + 229 + 203. Is r a multiple of 2?
False
Let b be 1*297/(-9)*(-3)/9. Suppose 3*f = f + 78. Let v = b + f. Is 10 a factor of v?
True
Suppose 0*p + 94*p - 153220 = 0. Is p a multiple of 19?
False
Does 4 divide 8/(32/6)*(281 - -1)?
False
Let i(q) = -29*q**2 + 13*q - 17 + 19*q**2 + 9*q**2. Does 13 divide i(10)?
True
Let h be ((-2)/(-3))/(3/(2565/10)). Let t = h - 12. Does 9 divide t?
True
Let h = -868 - -1549. Does 7 divide h?
False
Let h(k) = 499*k - 461. Is h(10) a multiple of 98?
False
Suppose -10*o + 320 = -6*o. Is 33 a factor of 4*15/o - (-525)/4?
True
Suppose -a = r - 11, 5 = -2*r + 3*r - 2*a. Suppose -r*k + 12*k - 15 = 0. Does 20 divide (49 - (k + -2)) + 0?
False
Suppose -4*x - 40 = 96. Let r = 37 + x. Suppose j = -j + r*u + 110, u = 3*j - 151. Is 7 a factor of j?
True
Let j = -20 + 22. Suppose -j*g + 530 = 5*d + 3*g, 5*d + 3*g = 528. Let i = 193 - d. Is 22 a factor of i?
True
Let m(w) = 173*w**2 + 94*w + 361. Does 37 divide m(-4)?
False
Let y(m) = 9*m - 1. Let h be y(1). Let s = h + -6. Suppose 0 = -3*w - s + 11. Is 2 a factor of w?
False
Let v(b) = b**3 + 9*b**2 + 3*b - 8. Let q be v(-6). Suppose -2*h + q = -10. Is 10 a factor of h?
False
Suppose 4360 = 8*n - 18040. Is 35 a factor of n?
True
Suppose 1446 + 570 = 4*r. Is r a multiple of 24?
True
Is (-22309)/(-35) - (-15)/25 a multiple of 11?
True
Suppose 0 = -100*z + 113*z - 2340. Does 15 divide z?
True
Suppose -2*u - 3 = -3*u. Suppose 2*a - u*v - 48 = 26, 4*v - 74 = -2*a. Suppose -a = -4*o + 15. Is 13 a factor of o?
True
Let k(t) = -t**2 + 86*t - 120. Is 42 a factor of k(50)?
True
Suppose -2*g + 5*m = -440, -5*g = -2*g + 3*m - 639. Let n = -8 + g. Is n a multiple of 14?
False
Is (1/3)/(-3 + (-8008)/(-2667)) a multiple of 17?
False
Let t(v) = -3 - 3*v - 32*v + 81*v**2 + 35*v. Does 26 divide t(1)?
True
Let y = 95 - -38. Is y a multiple of 18?
False
Let r be ((-114)/(-5))/((-2)/(-5)). Suppose -2*w = 2*v + w - r, 3*w + 93 = 3*v. Is v a multiple of 13?
False
Let p be (2 - -8)*(2 - -2). Let w = p + -29. Let h = 49 - w. Does 9 divide h?
False
Let h(n) = -n**2 - 3*n - 6. Let d be h(-6). Is 15 a factor of 9/(-6)*1696/d?
False
Let j = -1898 + 3105. Does 8 divide j?
False
Let h = -688 + 1066. Does 13 divide h?
False
Let m = -42 + 45. Is (9/6)/(m/304) a multiple of 19?
True
Suppose -4*d = -4*s + 56, 0 = s + 2*s. Let m = 83 - d. Is m a multiple of 12?
False
Does 76 divide 180 + (-5 - 0) + 5?
False
Let j(n) = -2*n**3 - 26*n**2 - 56*n - 52. Is j(-13) a multiple of 11?
False
Suppose 2*m - 172 = -4*f, 2*f - f - 421 = -5*m. Suppose 3*b + 0*l = 3*l + 84, -3*b = 5*l - m. Suppose b + 71 = 3*t. Is 11 a factor of t?
True
Let v(x) = -15*x + 4. Let z be v(-3). Let q = 23 - z. Does 13 divide ((-12)/(-10))/(q/(-845))?
True
Let w(n) = -107*n + 23. Is w(-1) a multiple of 43?
False
Let v be (-468)/9 - (2 - 0). Does 16 divide (0 + 1)*2 - v?
False
Let l be ((-6)/4)/((-3)/6) - -2. Is 32 a factor of ((-128)/(-5))/(1/l)?
True
Suppose 12*b - 1560 = -3*b. Is b a multiple of 26?
True
Let s(c) = c**2 + 8*c - 7. Let v be s(-9). Let j(z) = 33*z + 0*z**2 + z**3 - 34*z + z**2 + 1. Is 11 a factor of j(v)?
True
Suppose 3*x - m + 4*m - 981 = 0, 0 = 2*m - 6. Does 9 divide x?
True
Let l(o) = 42*o**2 + 23*o + 138. Does 42 divide l(-6)?
True
Let b(g) = 12 + 38 + 2 + g**2. Let n be b(0). Suppose -264 = -4*p + n. Does 31 divide p?
False
Let u = 34 + 13. Suppose 0 = 2*n - 31 - u. Suppose -4*g = 2*y - 158, -g = -2*g - y + n. Is g a multiple of 10?
True
Let b(d) = d**2 - 25*d - 13. Let s be b(25). Let n = s - -47. Is n a multiple of 3?
False
Let g(p) = p + 22. Does 6 divide g(-16)?
True
Let p(j) = j**2 + 4*j + 5. Suppose -v - 2 = -0. Let r be p(v). Is (r - 0)/((-19)/(-342)) a multiple of 7?
False
Suppose 4372 = 2*z + 4*p + 152, 3*p = 15. Is z a multiple of 84?
True
Suppose 4*v + 11 = -2*t + t, 0 = 4*v. Let n = 30 - t. Does 11 divide (-2 + 3)*(n - -2)?
False
Let j(z) be the first derivative of 15*z**2/2 - 10*z - 3. Let l be j(12). Suppose 4*q - l = -q. Does 17 divide q?
True
Suppose 3*i - 1249 = -3*o - 79, 0 = o + 4*i - 399. Let v = o