 49 = -10*v + 14*v, -3*v = -5*n + 48. Let d = n - w. Is 12 a factor of d?
True
Suppose -11 = -v + 16. Suppose 6*l - v = -3. Suppose -l*f + 284 = i, -3*f = 4*i + 49 - 262. Does 12 divide f?
False
Let b(o) = o**2 - 4. Let t be (-1)/(-5) - (-210)/75. Let n be b(t). Suppose -19 = -l - n. Does 7 divide l?
True
Suppose -24 = 3*b + 12. Is 33 a factor of ((-6072)/32)/3*b?
True
Suppose 19242 - 2885 = 5*s - 2*z, -4*s - z = -13096. Is s a multiple of 6?
False
Is (1288/(-24))/((-2)/12 + 29/186) a multiple of 67?
False
Let r be -1 + 4/10 - (-1948)/(-20). Let m be (-21)/(-126) - r/(-12). Does 31 divide (-281)/(-9) - 3/((-108)/m)?
True
Let q(s) = 18*s - 22. Let a be q(4). Let p be (1/(-2))/(1/a). Let d = p - -31. Is d a multiple of 2?
True
Let g = -3 + -12. Let n be 6/15 - 99/g. Suppose 105 = 2*w + n. Does 23 divide w?
False
Let q be (-23 + 20)*(-34)/(-6). Does 6 divide (-45)/(-30)*(-1 - q)?
True
Let i(r) = 20*r + 411. Does 9 divide i(33)?
True
Let q(o) = -235*o - 33. Let j be q(-4). Let t = j + -569. Is t a multiple of 65?
False
Suppose -5*q + 9 + 14 = 2*z, 3*z = 5*q - 3. Let s(k) = 12*k**2 + 4*k - 4. Let c be s(-4). Suppose -q = h, -5*n + n + 4*h = -c. Is 22 a factor of n?
False
Let m(r) = -6*r**3 - r**2 + 1. Let a be m(-1). Suppose -8*b = -a*b + 6. Let c = 96 - b. Is 30 a factor of c?
False
Let i(y) = 8*y**3 + 34*y**2 - 6*y + 30. Let r(j) = 3*j**3 + 11*j**2 - 2*j + 10. Let m(f) = 4*i(f) - 11*r(f). Let h be m(15). Is 8 a factor of 831/15 + (-12)/h?
True
Suppose 0 = -g - 4*r + 380, -8*g + 11*g + 4*r - 1108 = 0. Does 21 divide g?
False
Let h be 110600/(24/3) + 0 + -1. Suppose 6*f = 33*f - h. Is f a multiple of 8?
True
Let x = 1068 + 9292. Is x a multiple of 70?
True
Let v(m) = 22*m - 2. Let z be v(1). Let y be (1/5*6)/((-6)/z). Is 13 a factor of (-225)/(-18) - (-1)/y*-2?
True
Let k(v) = 8*v - 304. Let h be k(39). Suppose 0 = h*z - 1387 - 1301. Is z a multiple of 14?
True
Suppose -3*f = -r - 16565 + 2862, 3*f - 3*r = 13701. Is 7 a factor of f?
False
Let h be (2 - (3 + -1)) + 0/5. Suppose -3*d = z - 34, h*d = -3*d + 3. Suppose -16*j = -17*j + z. Is 4 a factor of j?
False
Suppose -4*m = -2*y + 19458, -4*m = -4*y + 5*y - 9711. Does 192 divide y?
False
Let k be (41/(-3))/(13/(-897)). Let w = 1640 - k. Is w a multiple of 17?
True
Let g be (-2)/(-7) + 184/(-56). Is 20 a factor of (g - -4 - -129)*(-1 - -3)?
True
Let t be (9/18)/((-1)/(-24)). Let k be 2/3 - (-640)/t. Suppose -3*z + o - 156 = -6*z, -k = -z - o. Is z a multiple of 17?
True
Suppose 0 = -6*q + 4 + 8. Let x(v) = 3*v**2 + 5*v - 28 - 4*v**2 + 5*v**q + 4*v. Is x(5) a multiple of 31?
False
Let b(z) = 2*z**2 - 9*z - 18. Suppose -2*v = -0*v + 2*n - 18, -2*v = n - 20. Does 35 divide b(v)?
False
Let q(i) = 1070*i**2 + 15*i + 3. Is q(5) a multiple of 19?
True
Suppose 0*u = -3*u - 9, 391 = 4*y + 3*u. Let h = 164 - y. Is h a multiple of 32?
True
Does 3 divide -9 - (12 - 112/7)/((-1)/(-1505))?
False
Let t be 6/4*4/(-6)*-30. Let v = 90 - t. Is 2 a factor of v?
True
Suppose -11*r = -5*r. Suppose h = a - 258, 3*h + 260 = -r*a + a. Is 38 a factor of a/2 + (-2)/(-4) - -3?
False
Let u(x) = -3*x + 2. Let m be u(-1). Suppose 5*t - 2*z + z = 16, 40 = 5*t + m*z. Suppose t*q = 2*q + 56. Is q a multiple of 28?
True
Suppose 8 - 3 = p. Let u(g) = 24*g + 21. Let v be u(p). Is 4 a factor of -3*v/(-9) + 2 + -1?
True
Suppose -279*f - 49613 = -283*f + 3*q, -3*q + 24775 = 2*f. Is 5 a factor of f?
False
Let q be ((-4)/8*-3)/((-7)/(-28)). Suppose q = 4*j - 42. Is j a multiple of 4?
True
Let o be 1/(-2) - (17325/14 - 3). Let a = o - -1825. Is a a multiple of 59?
True
Let p = -70 - -70. Suppose -2*x = 5*u - 22, p*u = -5*x + 3*u + 24. Does 2 divide (x + 4*-3)/((-4)/10)?
False
Suppose -18 = 6*q, 5*l + 3*q = 6669 - 1738. Is l a multiple of 13?
True
Let l(a) = -720*a + 16010. Does 13 divide l(-18)?
False
Let d be 2/(-11) - (-360)/165. Suppose d*t = 3*t - 6. Suppose 137 = 5*b + f, -2*b - t*f + 3*f + 47 = 0. Is b a multiple of 28?
True
Suppose 6*o - 14696 = 2*h, -h + 4*h + 4894 = 2*o. Is o a multiple of 70?
True
Let h(v) = -v**3 + 17*v**2 + 15*v - 3. Let t be 27/(28/8 + -2). Let p be h(t). Let n = p + 94. Is 9 a factor of n?
False
Suppose -l = -2*c - 0*l + 5, 2*c + l = 3. Let h be (-5)/(-25) - ((-72)/15 + c). Suppose z + 2*p = 2, 0*z - h*p = 5*z - 45. Is 2 a factor of z?
True
Suppose -3*h = -8*h + 25. Suppose -9 = -14*d + h*d. Let l(c) = 76*c + 1. Is 16 a factor of l(d)?
False
Suppose 0 = -25*l + 29*l + 3124. Is 30 a factor of (-2)/4 + (-6)/(12/l)?
True
Let d(h) = 158*h - 1040. Is d(35) a multiple of 20?
False
Let x = 0 + 38. Let t be 2 + (-48)/30 + (-258)/(-5). Let r = t - x. Is 5 a factor of r?
False
Let z be 2 - (-54)/2 - (-33 - -31). Suppose 2520 = -11*n + z*n. Is 42 a factor of n?
True
Suppose b = -5*o - 0*b - 12, -12 = 4*o + 2*b. Let z be ((-2 - 5) + -3)/o. Let i(p) = p**3 + 5*p**2 - 9*p + 15. Is i(z) a multiple of 20?
True
Let g(k) = 20*k**3 + 35*k**2 + 26*k + 16. Let v(b) = -7*b**3 - 12*b**2 - 9*b - 6. Let z(a) = 6*g(a) + 17*v(a). Is z(-4) a multiple of 3?
False
Suppose -2*r = 308 - 47 - 1521. Is 6 a factor of r?
True
Let k = -8101 + 22896. Is 55 a factor of k?
True
Let m(w) be the third derivative of w**7/280 - w**6/720 + w**5/20 + 35*w**4/24 + 22*w**2. Let l(y) be the second derivative of m(y). Does 9 divide l(4)?
False
Let n(t) be the third derivative of t**5/30 + t**4/6 - 2*t**3/3 - 21*t**2 + t. Is n(-6) a multiple of 14?
False
Is 9 a factor of ((-17 - -11) + 522)*3/2?
True
Suppose u + 0*u = 4. Let c be (-195)/(17 - 2) - -15. Suppose -3*j - v = -0*v - 26, -u*j = -c*v - 38. Is 8 a factor of j?
False
Let u be 253/22*(-1 + 51). Suppose -3*k + 805 = 3*c + k, -2*c + 5*k = -u. Does 25 divide c?
True
Suppose -j - 2 - 27 = 3*g, 0 = -4*g - j - 37. Let y(q) = -2*q**3 + q**2 + 21*q - 2. Is y(g) a multiple of 28?
False
Let c be 75/(-12) + 7/28. Does 4 divide 103 - 24/(14 + c)?
True
Let h = -650 + 653. Suppose -h*k = 6*k - 2772. Is k a multiple of 11?
True
Let p be (-31)/7 - 33/(-77). Does 21 divide p + ((-2)/1 + -8)*-20?
False
Suppose y = 2*p + 2*y - 11, -8 = -2*p + 2*y. Suppose 0 = -p*i - 2*f + 4*f + 1374, -f + 831 = 3*i. Is i a multiple of 6?
True
Is 5 a factor of ((-9)/(-4) - 1)/(12/659904*14)?
True
Let y(s) = 6*s + 173. Let f be y(-27). Suppose f*k + 20 = 15*k, -p + k = -876. Is p a multiple of 20?
False
Suppose 3*t - 4*n + 0*n = 2529, -3*t + 2538 = -n. Suppose t = 6*s - 1145. Does 34 divide s?
False
Let l = -11321 - -46133. Does 12 divide l?
True
Let j = -126 - -123. Does 5 divide 95/(-10)*-4 + j?
True
Let w = -637 + 359. Let k = -225 - w. Does 20 divide k?
False
Let u(f) be the third derivative of 14*f**2 - 13/24*f**4 + 0*f - 10/3*f**3 + 0. Is 18 a factor of u(-8)?
False
Suppose 4*u - 23996 = 16*i - 13*i, 0 = -5*u + 2*i + 29981. Is 13 a factor of u?
True
Let m(y) = 359*y + 14162. Is m(-32) even?
True
Let z = -6975 + 7569. Does 5 divide z?
False
Let o = -5 + 8. Suppose 0*l - i + 6 = 5*l, 0 = 2*i + 8. Suppose 0 = -n + o, -l*r + 2*n - n = -7. Does 4 divide r?
False
Let m(x) = x**3 + 68*x**2 + 735*x - 20. Is m(-33) a multiple of 40?
True
Let u be 2/(-6) - 724/(-12). Let x be 1012/(-483) + (-4)/(-42). Does 27 divide u*(x/16)/(1/(-18))?
True
Suppose 0*u = -32*u + 992. Suppose 318 = 7*g + u. Is g a multiple of 5?
False
Let o be -6 + -221 - (-3 - 1 - -9). Let q = 238 + o. Does 3 divide q?
True
Suppose 2*u - 5*d = 1993, -4*u - 2*d + 4*d + 3978 = 0. Let k = u - 332. Does 24 divide k?
False
Let o(l) be the third derivative of 19*l**5/60 - 11*l**4/24 - 13*l**3/6 + 14*l**2 - 10. Is o(4) a multiple of 14?
False
Suppose 0 = -6*n - 1230 + 120. Let w = n - -355. Is w a multiple of 17?
True
Let p = 867 + 3179. Does 119 divide p?
True
Let a be (-24)/(-4) - 164/1. Let k = 683 + a. Is 21 a factor of k?
True
Suppose -10*w = -2*w - 48. Suppose -4 = -3*v + 4*t, 5*t - 4*t + w = 2*v. Suppose -5*l = h + v*h - 1030, 428 = 2*l - 2*h. Is l a multiple of 10?
True
Let o = -1047 + 4380. Is o a multiple of 55?
False
Let h = 131 - -46. Let k = h - 98. Suppose -4*t + 533 + k = 0. Does 33 divide t?
False
Let x = -178 - -253. Is 3570/x + (-2)/(-5) a multiple of 12?
True
Suppose 3*z = i - 3504, 93*z - 90*z + 10512 = 3*i. Is 24 a factor of i?
True
Let l(j) = j**3 - 49*j**2 + 177*j - 201. Is l(53) a multiple of 58?
True
Suppose -133*i + 66*i = -109*i + 872592. Does 32 divide 