-2)/(10/25) + a even?
False
Let u(c) = -c**2 + 28*c + 2. Let s be u(28). Let i(y) = y**2 + 5*y - 6. Let w be i(s). Suppose w*d = -6*d + 1414. Does 17 divide d?
False
Let u(x) be the first derivative of -133*x**4/4 - x**3/3 - 5*x**2/2 - 5*x + 51. Is 12 a factor of u(-1)?
True
Let s be 5 + (-5)/(-10)*-1*-662. Suppose -236 = -11*r + s. Is 52 a factor of r?
True
Let y(v) = 62*v**2 + 19*v + 4. Does 6 divide y(-7)?
False
Let h be (3 - 3) + -5 - -887. Suppose 5*y = -4*y + h. Is y a multiple of 49?
True
Let a = -20345 - -26424. Is a a multiple of 5?
False
Let z(c) = 3*c + 17. Let p be z(0). Suppose -13*w + p*w = 0. Suppose 2*i - 110 = -3*i - 3*r, w = r + 5. Is 5 a factor of i?
True
Suppose 0 = 5*o + 4*n - 706, -5*n + 2 = 7. Suppose f - o - 812 = 0. Is 53 a factor of f?
True
Let n(y) = -6*y + 17*y + 8 - 6 - 11 - 1. Does 48 divide n(38)?
False
Let m be -5230*(5/2 + -1). Does 20 divide m/75*-5 - (0 + 4)?
False
Suppose -4*t + 1995 + 8368 = 3*n, 5*n + 15 = 0. Is t a multiple of 12?
False
Let s(u) = -u**3 + 4*u**2 + u + 56. Let t = -110 + 115. Suppose -3*a - 5*j + t = 0, 3*j - 5 = 3*a - 2*j. Is 8 a factor of s(a)?
True
Let p = 110 + -234. Let x be (-204)/(-9)*(-3 + 0). Let k = x - p. Is 6 a factor of k?
False
Suppose -10*g - 10 = -12*g. Suppose -10*r + 2105 = -g*r. Is 36 a factor of r?
False
Suppose 3*a = 3*j - 138, -5*a - 58 = -4*a + 2*j. Let z be 2/((-2)/7)*a/175. Suppose z*h = -h - 2*f + 29, 5*f - 1 = -2*h. Is 2 a factor of h?
False
Let y(z) = -z**2 + 4*z + 23. Let o be y(7). Suppose o*m = -5*x - 4, -x = 4*m - 2*m + 4. Is 35 a factor of 0 - x/(-1 + -3) - -70?
True
Does 33 divide ((-66)/(-110))/((-7)/(-204435))?
True
Suppose -2*k - 7 = c - 6*k, 3*k - 19 = -2*c. Suppose -5*s - 2 = 4*n - 103, c*n = -s + 121. Suppose 33 = 3*p - n. Does 13 divide p?
False
Let t = -154 - -157. Suppose -t*l + a = -251, -2*l - 2*l + 2*a = -334. Is 22 a factor of l?
False
Let r(l) = -l**2 + 2*l. Let n be r(10). Let c = 138 + n. Let j = c + 40. Does 15 divide j?
False
Suppose 0 = r - 3*t + 2, 12*r - 14*r + 3*t = -2. Suppose 8*x - r*x - 860 = w, -20 = -5*w. Is 6 a factor of x?
True
Let z(i) = -i**3 + 10*i**2 - 10*i + 9. Let o be z(8). Suppose -453 = -4*a + m, 4*a + 2*m = -0*m + 438. Let p = a - o. Does 11 divide p?
True
Suppose -11108 = -5*b - 2*c, 3*b - 1081 - 5583 = -c. Does 9 divide b?
False
Suppose 1873 = f - 1225 + 94. Is f a multiple of 35?
False
Let f = 105 - 80. Suppose -i + 6*i - f = 0. Suppose -5*v = i*j - 15, -3*v + 15 = j - 0*j. Is 2 a factor of v?
True
Let c = 176 - 172. Suppose -4678 = -3*p - u, -c*u - 1432 = -2*p + 1696. Does 39 divide p?
True
Suppose 6*p = -a + 7*p + 6798, -6792 = -a + 4*p. Is 80 a factor of a?
True
Suppose -a + 33 = -3*c + 5*c, -a + 33 = c. Let g = a - 33. Is 0 + g - (-84 - (-5 + 8)) a multiple of 19?
False
Suppose l + 30 = 26, 2*l + 540 = 2*t. Is 14 a factor of t?
True
Let w(h) = -h**3 + 3*h**2 - 6*h + 18. Let c be w(4). Does 6 divide 325*11/c*-1*2?
False
Let s(g) = -4*g**2 - 19*g - 6. Let q be s(-4). Suppose -135 + 2265 = q*n. Does 24 divide n?
False
Let m(a) = 4*a + 10. Let f be m(8). Suppose 43*k - 163 = f*k. Let t = k - 87. Does 38 divide t?
True
Let k(g) = -g**2 + 5*g - 1. Let y be k(4). Let h be (1062/27)/(2/y). Let l = h - 51. Is l a multiple of 4?
True
Let i(j) = 5*j**2 + 4*j + 2. Let q be i(-6). Suppose -294 = -4*s - 126. Suppose q + s = 5*n. Is n a multiple of 8?
True
Is -2 - (-1 - 14/(-6))/((-10)/122730) a multiple of 11?
False
Let i(o) = -o**3 + 9*o**2 - 9*o + 16. Let y be ((-1)/(-2))/((-2)/(-44)). Let g be i(y). Does 9 divide (6/(-20)*-12)/((-13)/g)?
True
Let u = 32104 + -13088. Is u a multiple of 41?
False
Is 11 a factor of (15 - (318745/(-56) - -9)) + 2/16?
True
Let b be ((-1)/3)/(-2 + (-7165)/(-3585)). Let y = -208 + b. Is y a multiple of 2?
False
Let f = -8 + 8. Suppose f*m + 6*m - 222 = 0. Let o = 100 - m. Is o a multiple of 7?
True
Let g = -9296 + 13535. Does 13 divide g?
False
Let w = -40 - -13. Let l be 2124/w*(-6)/4. Let t = 208 - l. Is t a multiple of 30?
True
Let y be (-7)/2*(-262 - (-2 - -2)). Suppose -283*t = -276*t - y. Does 69 divide t?
False
Does 14 divide (-100)/(-20) - 25599/(-7)?
False
Suppose 3*w - 2*r = 2*w - 2, 4*r = 0. Let q = -2 - w. Suppose 2*s = -2*v + 452, -v + 6*v - 2*s - 1123 = q. Is v a multiple of 45?
True
Suppose 3*c - 407 = -n, -5*c + 4*n = -3*c - 262. Is c a multiple of 10?
False
Let r(w) = -22 + 7*w**3 + 2*w**3 - 36*w**2 - 12*w**3 + 84*w + 4*w**3. Is r(34) a multiple of 9?
True
Let t(j) = 20*j - 545. Let h(k) = -9*k + 272. Let l(s) = 13*h(s) + 6*t(s). Does 19 divide l(-17)?
False
Suppose -4*g - 10 = 3*s, 3*s - 10 = 3*g + 4*s. Does 72 divide 19950/125*10/g*-1?
False
Let n be 10/15 - (3 + 124977/(-9)). Is 49 a factor of n/84 + (-4)/14?
False
Let a(d) = 37*d - 31. Suppose -133*p = -136*p + 6. Is a(p) a multiple of 6?
False
Suppose 6 = -a - 0. Let r(p) = p + p**2 + 0*p - 835 + 830 + 2*p. Is r(a) a multiple of 2?
False
Let r(t) = 30*t + 3219. Is r(-23) even?
False
Suppose 8*u - 62 = -38. Suppose 5*y - 2530 = -5*t, -u*y - 19*t + 18*t = -1518. Is 18 a factor of y?
False
Let b = 266 - -2902. Is 16 a factor of b?
True
Suppose -3*j = j + 12, -r = -3*j - 20. Let q = r + -9. Suppose 778 = 4*i + o, q*i = o + 4*o + 400. Does 35 divide i?
False
Suppose 0 = -4*h - 3*f + 30107, -3*h - 2*f + 2129 + 20450 = 0. Is h a multiple of 9?
False
Is 7 - ((-38)/76)/((-2)/28) - -13632 a multiple of 192?
True
Let x(o) = 21121*o**2 - 390*o - 389. Is 33 a factor of x(-1)?
False
Suppose 2*x = 4*z - 1612, 0*z + 385 = z + 4*x. Suppose -2*o + t = -767, 5*t + z = o + t. Suppose -3*b - 3*c = -o, -2*b - 2*c + 7*c = -289. Is 22 a factor of b?
True
Let v(q) = -12*q**3 - 226*q**2 - 6*q + 31. Is v(-25) a multiple of 99?
True
Let d be 10/(-55) + -2 + (-19274)/(-11). Suppose -5*i + 12*i = d. Is 38 a factor of i?
False
Suppose 3*k + 8052 = 5*n, -14*n = -11*n + k - 4834. Does 146 divide n?
False
Suppose 28997 = 8*d - 15891. Does 114 divide d?
False
Let r(s) = s**3 + 8*s**2 + 3*s - 7. Let y(o) = -3*o + 28. Let k be y(11). Let b be r(k). Suppose 0 = a + 10 - b. Is a a multiple of 5?
False
Let i(d) = d**3 + 3*d**2 + 1. Let f be i(-3). Let q(u) = -1 - 4 - 3*u - 265*u**2 + 314*u**2 + f. Is 12 a factor of q(-1)?
True
Let d be (-2)/9 - 46206/(-162). Suppose -d*m + 284*m = -12. Is m a multiple of 12?
True
Is 43 a factor of (-8)/6 + 45/((-1890)/(-510608))?
False
Suppose -2*r = 12, -209550 = -26*m - 22*m + 5*r. Is m a multiple of 7?
False
Suppose -d = -2*c - 23, -2*c - 81 = -4*d - 5*c. Let r(s) = -2*s**3 + s + 0*s**3 - 2*s**2 + d*s**3. Is r(1) a multiple of 9?
True
Let h(z) = -339*z + z**3 - 17*z**2 + 26 + 169*z + 189*z - 4. Suppose 4*i + 45 = 5*y + 119, 72 = 5*i + 4*y. Does 14 divide h(i)?
True
Let c(s) = -s**3 + 10*s**2 + 51. Let o be c(11). Let r = 140 - o. Is r a multiple of 3?
True
Let m be (-89)/178 - (849/2)/(-3). Let p = m - 20. Let z = p - -100. Is 31 a factor of z?
False
Suppose 601*x - 606*x + 277405 = 6*g, -4*x + 221924 = -g. Does 19 divide x?
False
Suppose 0*m - 5*m + 446600 = 6*m. Is 200 a factor of m?
True
Suppose -3*z = -2*i - 82, -2*z + 70*i = 74*i - 60. Is 12 a factor of ((-124)/14)/((-2)/z)?
False
Let j(i) = 11 - 12 - 7*i**2 + 5*i + 2*i**3 - 17*i + 4*i + 4. Does 23 divide j(7)?
False
Let h(g) = 19*g**3 + 3*g**2 - 2. Let f be h(1). Is 1830/(-25)*f/(-6) a multiple of 10?
False
Let j = -10027 + 15882. Is j a multiple of 9?
False
Suppose 9950 = 15*p - 7750. Is p a multiple of 20?
True
Let u(g) = g**3 + g**2 - 2*g + 45. Let a(y) = y**2 + 11*y + 10. Let z be a(-10). Let p be z/((-4)/2 - -1). Is 8 a factor of u(p)?
False
Suppose 0 = -2*x - 24 + 38. Suppose 0 = 9*y - x*y - 3*g - 372, 2*g = 4. Is 9 a factor of y?
True
Suppose -715*c = -718*c - 3*i + 34092, 4*i + 56766 = 5*c. Does 9 divide c?
True
Suppose -4*b + 23 = -4889. Suppose -b = -5*x + 12. Is 31 a factor of x?
True
Let x = -277 - -465. Suppose 5*r + x = r. Let l = 59 + r. Does 4 divide l?
True
Suppose 3*i = -29*i + 18865 + 37775. Does 7 divide i?
False
Suppose 4*w + 0 = -2*x + 10, 0 = 3*w - x + 5. Suppose -4*b - 5*s + 3*s + 3660 = w, 0 = 3*s - 6. Is b a multiple of 50?
False
Let n(b) = 2*b + 12. Let z = -58 + 61. Let w be n(z). Suppose -w*r + 19*r = 120. Is r a multiple of 16?
False
Let n(i) = -9*i - 4. Let o be n(-1). Let v(l) = 12 + 25*l + 9 + 4*l + 13. Is v(o) a multiple of 27?
Fals