 -4*w - 3*w + 42 = 0. Suppose -w*v + 0*v = 24. Is ((-141)/2 + v)*-2 a multiple of 30?
False
Does 14 divide (79380/(-1350))/((-3)/1910)?
True
Suppose -7*r + 169152 - 31698 = 24*r. Is r a multiple of 263?
False
Suppose 7*k = -3*k + 2860. Let n be 2/(-5) - k/(-65). Suppose 5*i - 4*o = 110, 0*i + n*o = -i - 2. Does 6 divide i?
True
Let g = 13074 + -8484. Is g a multiple of 17?
True
Is 39 a factor of ((-4104)/399)/(3/(-1092))?
True
Suppose -n + 2*d + 3 = 0, -4*n + 3*d = d - 18. Suppose 20 = -n*q + 10*q. Does 14 divide 2/(24/3) - (-183)/q?
False
Suppose -390*b + 395*b - 176435 = -5*n, 3*b + 35259 = n. Is 34 a factor of n?
False
Let p(i) = 263*i + 5. Let v be p(1). Suppose 86*d = 85*d + v. Suppose 4*m - d = 4*b, 2*m - 5*b - 135 + 4 = 0. Does 7 divide m?
False
Let y(v) be the first derivative of 15*v**2/2 - 6*v - 14. Let n be y(6). Let b = 65 + n. Is b a multiple of 12?
False
Let h be (-8)/18 + (-288)/(-648). Suppose h = 2*j + 4*g - 32, 11*j + 2*g - 26 = 9*j. Is 5 a factor of j?
True
Let t = -15 - -7. Let v(q) = 2*q**2 + 5*q - 29. Is 8 a factor of v(t)?
False
Let i(p) = -60*p - 2. Let t be i(3). Let o be (2/(2/3))/((-21)/t). Suppose c + 0*w = w + o, 2 = w. Is 7 a factor of c?
True
Suppose -27*j + 36*j = 2970. Suppose 13*g = 10*g + j. Is g a multiple of 3?
False
Let t(n) = 20*n**2 + 5*n - 1. Let p(c) = c**2 - 10*c + 15. Let b be p(8). Let g be t(b). Suppose 15*d = g*d + 5. Is 3 a factor of d?
False
Let r(a) = 54*a - 900. Does 5 divide r(25)?
True
Let k(y) = -78*y - 7. Let b = -35 - -30. Let n be k(b). Let p = n - 228. Does 37 divide p?
False
Let m = -3144 + 3304. Is 4 a factor of m?
True
Suppose -757 = 11*g - 1032. Suppose -4*f + 15 = -f. Suppose -f*r + b + g = 6*b, 4*b = r - 15. Is 5 a factor of r?
False
Suppose 65*n = 63*n - 5*k + 2808, 3*k = -2*n + 2800. Is n a multiple of 17?
True
Suppose 0 = 3*o + 3*z + 255, -4*z = -5 - 7. Let a = o - -83. Let n(p) = -6*p + 6. Is n(a) a multiple of 33?
False
Let x = 85 - 78. Suppose -11*u = -x*u - 1444. Is u a multiple of 19?
True
Let g(v) be the second derivative of 0*v**2 + 17*v + 0*v**3 + 0 + 7/3*v**4. Is g(-2) a multiple of 33?
False
Suppose y - 14*g = -17*g - 12, y = 3*g + 12. Suppose 0 = -4*i - 12, y = 4*q - 6*i + 7*i - 2761. Does 36 divide q?
False
Suppose 12 = 4*s, -2*s + 2 + 0 = -2*o. Let m be (-16)/(1/(-3)*o). Is 5 a factor of ((-30)/(-4))/(3/m)?
True
Suppose -49*a + 64 = -45*a. Let y(i) = 4*i - 24*i**3 + a*i**2 - 6*i**2 - 4*i**2 - 5*i**2 + 2. Does 7 divide y(-1)?
False
Let v = 2758 + -798. Is v a multiple of 8?
True
Let i(h) = h**3 - 5*h**2 - h + 21. Let q be i(5). Suppose 0 = 22*u - q*u - 1140. Does 19 divide u?
True
Let j(b) = -11*b**2 - 25*b + 9. Let o(f) = 5*f**2 + 12*f - 5. Let l(a) = -4*j(a) - 9*o(a). Is l(-5) a multiple of 8?
True
Is (6 - 280/84)/(2/444) a multiple of 8?
True
Let y(c) = -c**2 - 20*c - 20. Let f be y(-19). Let a be 0*(-2 - 0 - (f + -2)). Suppose a = 2*r + 2 - 36. Is r a multiple of 3?
False
Suppose 0 = -82*u + 86*u - 16. Suppose -688 + 1880 = u*j. Suppose j = 5*b + 93. Does 41 divide b?
True
Let w(m) = -26*m + 213. Let l(y) = -26*y + 211. Let t(z) = 4*l(z) - 3*w(z). Is 41 a factor of t(-22)?
False
Suppose 0 = -9*a + 62 - 35. Suppose -a*d = -0*o + o - 231, 3*o = -5*d + 381. Does 6 divide d?
True
Is (38/((-1596)/127659))/((-1)/18) a multiple of 21?
False
Let q = 24852 + -15916. Does 131 divide q?
False
Suppose 3*o + 803 = 5*u - 12346, 0 = 2*o - 4. Is u a multiple of 12?
False
Suppose -2*l - 4*l = -12. Let n be (l*-2)/(-16) - (-159)/4. Let t = -24 + n. Is 16 a factor of t?
True
Let o(n) = -n**3 - 19*n**2 + 5*n + 39. Let x be o(-19). Let v be (73/(-2))/((-2)/4). Let s = v + x. Does 13 divide s?
False
Let x = -5050 + 5282. Is x a multiple of 4?
True
Let d = 20694 + -16515. Is d a multiple of 45?
False
Let j be ((-11106)/(-54))/(0 + 3/(-9)). Let m = j - -840. Is 31 a factor of m?
False
Let p(u) = -u**2 + 5*u + 8. Let n be p(6). Let d be 7*(n + 2 + 0). Let c = 104 - d. Is 25 a factor of c?
False
Let s(w) = -w**3 + 21*w**2 + 41*w + 23. Let y be s(17). Suppose y = 13*i + i. Is 19 a factor of i?
False
Let a(s) = 8777*s**3 + 2*s - 1. Let h be a(1). Suppose 8*l = 27*l - h. Is 61 a factor of l?
False
Suppose -5*v + 8 = -2. Let a be v + (1 - (-8000)/4) + -2. Suppose -12*c = 441 - a. Is c a multiple of 10?
True
Suppose 0*i = -3*i. Let f(q) = 123 + 108 - 3*q + 229 - 280. Does 18 divide f(i)?
True
Let q be (-7*(-198)/315)/((-2)/(-5)). Suppose 22 = a + q. Is a even?
False
Let m(c) be the first derivative of -3*c**2 - c - 34. Let g be m(-6). Does 4 divide g/14*(2 - -4)?
False
Let i = 486 - 486. Suppose 2*q + i*m - 609 = 5*m, 0 = q + 2*m - 291. Is 11 a factor of q?
True
Let b(d) = -8*d - 4. Let s be b(-1). Suppose s*c - 1233 = c. Let a = -216 + c. Is 17 a factor of a?
False
Suppose 0 = 11*z - 12*z + l, 4*z - 5*l + 2 = 0. Is 12 a factor of 406/28*z*12?
True
Suppose 2*k + 2*z - 8 - 8 = 0, -23 = -k - 4*z. Suppose -k*o = 5*a - o - 151, 4*o - 128 = -4*a. Let s = 151 - a. Is s a multiple of 7?
False
Let i(j) = -69*j - 136. Let c be i(-4). Suppose 21*f + c = 22*f. Is f a multiple of 20?
True
Suppose -6*v = -5*v. Suppose -2*w - 265 = -6*f + f, v = -5*w - 25. Is 3 a factor of ((-28)/6)/((-34)/f)?
False
Suppose 0 = 57*i - 60*i + 117. Suppose i = t - 31. Is 5 a factor of t?
True
Let h = 226 - -79. Let q = 928 - h. Is 19 a factor of q?
False
Let s = 504 + -943. Let i = 467 + s. Does 5 divide i?
False
Suppose -4*m - p + 7 = 0, 3*m + 2*p - 14 = 3*p. Is 17 a factor of 1/3 - ((-149)/3 + m)?
False
Let d be (67 + (3 - 3))/(-1)*1. Let k = d + -7. Let h = 89 - k. Is h a multiple of 35?
False
Let w(m) be the second derivative of -m**5/20 + 3*m**4/2 - 11*m**3/6 - 9*m**2/2 - m + 60. Does 27 divide w(9)?
True
Let a(n) = n**3 - 66*n**2 - 154*n + 32. Is 63 a factor of a(69)?
False
Suppose -28*k + 38*k = 11160. Is k a multiple of 31?
True
Suppose -9*u + 0 = -18. Suppose i = 4*h + 2457, -u*i = -3*i - 3*h + 2457. Suppose i = 2*v + 7*v. Is 20 a factor of v?
False
Suppose 0 = -5*q + 2*t + 118, 0 = 2*q + 3*t + 23 - 74. Suppose -q = -3*p - 258. Let c = p + 87. Is 3 a factor of c?
True
Let h be 6 + (-4 - -2031) - -2. Let f = -1284 + h. Is 58 a factor of f?
False
Suppose 157*o = 162*o - 7545. Does 3 divide o?
True
Let i(y) = 31*y**3 - 20*y**2 + 10*y + 25. Does 11 divide i(6)?
True
Is (-1960)/(-1) + -203 + 200 a multiple of 2?
False
Suppose 5*f - 4*q = 603, 5*f + 132 = 6*f + 3*q. Let z = 125 - f. Let t(i) = 46*i**2 - 3*i - 3. Is t(z) a multiple of 25?
True
Let z be (-1)/(192/40 - 5). Suppose 0*v - 5*v = z*s - 190, -v - 4*s + 38 = 0. Is v a multiple of 2?
True
Does 4 divide (1464 - -12)/12 + (-4)/((-4)/5)?
True
Let d = 61 + -33. Suppose d*c - 22761 = c. Is 13 a factor of c?
False
Let s = -39 - -45. Suppose 8 = 2*u - 2*d, -2*u - s*d = -d - 8. Suppose m + 185 = u*h - 171, -2*h + 156 = 5*m. Does 22 divide h?
True
Suppose g = -5*l + 9, -3*g - 3*l + 13 = -2*l. Suppose -413 = -g*z - 1. Does 54 divide z?
False
Suppose -3*p - 4*t + 669 + 165 = 0, -3*t - 1112 = -4*p. Suppose 26 = -14*f + p. Does 11 divide f/15*880/6?
True
Let a = 685 - 649. Suppose -2*o + o = 2*q - 24, -2*o = -3*q + a. Does 3 divide q?
True
Suppose -7*g - 63240 = -9*g. Let p be 2/(-6) - g/(-90). Let f = p + -79. Is 16 a factor of f?
True
Let g = 4788 - 3472. Is g a multiple of 33?
False
Let l = 1 - 1. Let p(s) = -s**3 + 3*s**2 + 54*s + 3. Let q be p(9). Suppose 2*u + 2*u = -b + 32, l = 4*b - q*u - 147. Is b a multiple of 6?
True
Let j(o) be the first derivative of 3*o**4/4 - 2*o**3/3 + o**2/2 + 42. Let a be j(1). Suppose -t = -203 - a. Does 35 divide t?
False
Suppose -s - 19 + 22 = 0. Suppose 0 = p + s*x + 4, -4*p - 5*x = -2*p + 6. Suppose -c = -5*n + p*n + 181, -2*n + 118 = 2*c. Does 15 divide n?
True
Suppose 2*m - 2009 = 5*v, m - 3*v - 1004 = -v. Suppose -3*n + 5*u = -m, -6 - 3 = 3*u. Suppose -5*b = -n - 221. Is 22 a factor of b?
True
Let r be ((-1)/3*3*29)/(-1). Suppose 6*h = 37 + r. Suppose 0 = 2*w - h*w + 162. Is 9 a factor of w?
True
Suppose 38*k = 6*k + 31552. Does 58 divide k?
True
Is 22 a factor of ((-6)/(-84))/1 + 6677430/140?
True
Let w = 67 - 62. Suppose -4 = w*s - 24. Suppose -4*o = 3*y - 98, 172 = s*y - 2*o - 3*o. Is 19 a factor of y?
True
Suppose 84*o - 85*o = 80. Does 35 divide ((-42)/18*o)/(1/3)?
True
Suppose 4*i - 15 = 1. Suppose -i*z = -1216 - 864. Suppos