+ 14 = 3*u, 2*f - 4*u - h = 16. Is f a multiple of 2?
True
Suppose 0 = -3*g - 4*k + 74, -g + 5*k = -5*g + 97. Suppose 6*x - g*x = -384. Does 4 divide x?
True
Let n(k) = k**2 + 3*k - 6. Let f be n(-4). Let t be (-7)/f*496/28. Let c = 63 + t. Is 21 a factor of c?
False
Suppose -263644 = -66*n - 249858 + 792272. Is 60 a factor of n?
False
Let s = -38 - -41. Suppose -s*v + 13 = 2*w, 4*v - 8*v + 2 = -5*w. Let m = 26 + w. Is 24 a factor of m?
False
Does 4 divide 5152 + -9 + (-9 - -6) + 4?
True
Suppose -3*v = -c + 41668 - 8981, c + 5*v - 32615 = 0. Does 23 divide c?
True
Let t(y) = 21*y - 10. Let n be t(6). Suppose 8*c = 1020 - n. Suppose 8 - c = -i. Is i a multiple of 12?
False
Let y(t) = 21*t**2 - 123*t - 3. Does 31 divide y(-8)?
True
Let n be (-4)/6 + (-14)/6. Suppose -2*q = 5*p - 149, 3*p - 8*p = -5*q + 355. Let s = q - n. Is s a multiple of 15?
True
Suppose 4*c + 436 = -4*v, -4*v + c + 3*c = 396. Let i(q) = 26*q**3 + 2*q**2 - 2. Let m be i(-2). Let h = v - m. Is h a multiple of 7?
True
Suppose -u - 3251 = 4*b - 9892, 0 = 4*u - 4. Is 23 a factor of (-1)/((-4)/b) + -1?
True
Suppose y = 2*y - 28. Let c = -693 - -696. Suppose -c*h + 44 = -y. Is h a multiple of 6?
True
Suppose -6622 = -2*w - 2*m, 1049*w - 3305 = 1048*w - 2*m. Is w a multiple of 84?
False
Let a(k) = -k**2 + 15*k - 42. Let x be a(11). Suppose -5*q = -15*d + 13*d + 2029, 0 = -3*d - x*q + 3034. Is 46 a factor of d?
True
Let o = 24971 + -23883. Is 8 a factor of o?
True
Suppose 0 = 35*s - 24*s. Suppose 9*q + 1603 - 5455 = s. Is q a multiple of 11?
False
Let n = 19 + -10. Suppose -5*u = 2*r - n, 0 = 2*r - 4*r + 4*u - 36. Let y(k) = k**3 + 10*k**2 + 4*k + 7. Does 20 divide y(r)?
False
Let p = 13 + -11. Let r be 1 - -2*(-1)/p. Suppose 2*q + q + 5*c - 29 = r, 0 = -5*q + c + 67. Is q a multiple of 8?
False
Suppose 3*c - 3725 - 26619 = -5*v, -12*v = -3*c - 72795. Is v a multiple of 121?
False
Suppose -6*m = -22*m - 2544. Let x = m + 273. Does 6 divide x?
True
Suppose 0 = -2*b - 0*b - 2*k + 32918, 82295 = 5*b - 2*k. Is b a multiple of 151?
True
Let p(a) = 256 + 460*a - 149*a - 254. Does 35 divide p(2)?
False
Suppose -243662 = -158*t + 112*t. Is t a multiple of 35?
False
Let z = 5075 - 1313. Does 99 divide z?
True
Let s be 18/27*3054/4. Suppose 2*j - 41 = 2*c + s, 5*j - 1379 = c. Is j a multiple of 27?
False
Let l(b) = 108*b - 3411. Does 76 divide l(68)?
False
Let o(h) = -h**2 + 2*h + 7. Let b be o(3). Suppose b*q = q + 264. Suppose -3*f - 10 = -q. Does 13 divide f?
True
Does 19 divide (1 - 77)*(-5)/20*746?
True
Suppose -2*m + 377 = -3*z, -z - 365 = 2*z + m. Let a = z + 179. Let s = -18 + a. Is s a multiple of 8?
False
Let c be (1 - 10/15)/((-2)/(-66)). Suppose -21 = c*j + 45. Let y = j - -45. Is 13 a factor of y?
True
Let b(q) = -845*q - 54. Let o be (-1)/(1/3*3). Does 5 divide b(o)?
False
Let w(o) = 5*o + 17. Let k be w(-3). Suppose k*j - 4 = 2. Suppose 1800 = j*n + 6*n. Does 8 divide n?
True
Suppose 5*w - 21 = -5*t + 2*t, 13 = 3*w + 2*t. Suppose -w*r = m - 137, -2*r + 228 + 320 = 4*m. Does 54 divide m?
False
Suppose -m + 354 + 169 = 0. Let t = -466 + m. Is t a multiple of 7?
False
Suppose -5603 + 3155 = -12*u. Is u a multiple of 34?
True
Let q be 4/(-6)*(-30)/(-5). Let m(n) = 2*n**3 + 8*n**2 + 10*n + 6. Let u be m(q). Let f = u + 86. Is f a multiple of 13?
True
Suppose -4*w + 0*w + 16 = 0. Let d(u) = 19*u - 426. Let v be d(28). Suppose -97 = -w*m - q, -3*m + 2*q + v = m. Does 25 divide m?
True
Let w(m) = m**2 + 11*m + 29. Let z be w(-5). Does 29 divide (5 + (-88)/16)/(z/1392)?
True
Suppose 4*o - 3*v - 1195 = 2748, -3*o - 3*v = -2952. Does 6 divide o?
False
Suppose 25090 = 3*b + 4*z, 247*z = 5*b + 242*z - 41910. Does 12 divide b?
False
Suppose 8*l - 25 = 3*l. Let q be 69 - (0 + l/(-5)). Suppose -214 = -3*b - q. Is b a multiple of 14?
False
Suppose -937 - 1913 = -5*l. Suppose 385 = -h + k, 2*k = -3*h - 941 - 209. Let v = h + l. Is 31 a factor of v?
True
Let q(m) = -100*m + 6875. Is 55 a factor of q(0)?
True
Is 12 a factor of 9076*((-123)/(-574) + 2/7)?
False
Let x = 5649 + 891. Does 12 divide x?
True
Let l(s) = -s. Suppose 282*a + 52 = 278*a. Let p be l(a). Suppose 0 = p*u - 14*u + 26. Does 4 divide u?
False
Let k(q) = q**2 - 172. Let p be k(-20). Suppose p = 8*a - 348. Is 2 a factor of a?
True
Let o(a) = 304*a**2 + 11*a + 4. Is 58 a factor of o(-3)?
False
Let t = -258 + 265. Suppose 0 = -t*y + 1103 + 787. Is 18 a factor of y?
True
Let f be 1738/8 + 1/(-4). Let v(a) = 1317*a + 7904. Let d be v(-6). Suppose -2*r + d*x = r - f, 370 = 5*r - 5*x. Does 31 divide r?
False
Let d(q) = q**2 + 12*q + 22. Suppose 0*o - 7*o - 70 = 0. Let l be d(o). Suppose 2*b = -b - 2*a + 180, -l*b + 120 = 5*a. Does 20 divide b?
True
Let q(b) = -93*b - 1776. Is q(-20) even?
True
Suppose 2*t = 23*t - 29736. Suppose -7*i + t = -1314. Is i a multiple of 28?
False
Let v be 9/(3/8*(-1)/13). Let y = -154 - v. Let j = -92 + y. Does 6 divide j?
True
Suppose 16*n - 108 = 14*n. Let a = n - 45. Let u = 37 - a. Is 28 a factor of u?
True
Let w be -92 - 3/(12/(-20)). Let h = 130 + w. Suppose -h = b - 127. Does 26 divide b?
False
Let f = 2545 + 6063. Is 6 a factor of f?
False
Let o(m) = 2*m**2 - 28*m + 16. Let v be o(10). Let q = v + 80. Does 5 divide q?
False
Let f = 12615 - 6422. Is 13 a factor of f?
False
Let k be (0 - -20)*56/20. Suppose w = -0*w + k. Let d = -35 + w. Is d a multiple of 2?
False
Let i = 153 - 69. Suppose -6*l + 10*l = i. Is l a multiple of 21?
True
Is 44 a factor of (-2)/11 - 13/((-858)/156828)?
True
Suppose 4*m = -7*r + 5*r + 11762, -r - 3*m = -5886. Is r a multiple of 133?
False
Is 75786/16 + 8*(-57)/(-1216) a multiple of 6?
False
Let t(a) = a + 20. Let l be t(18). Suppose l - 25 = -p. Let h = p - -61. Is h a multiple of 16?
True
Is 52 a factor of (-6 - 14587/(-5)) + (-3)/(-5)?
True
Let v(y) = 7*y + 18. Let z(i) = -i**2 + 16*i + 42. Let t be z(18). Does 6 divide v(t)?
True
Let t be 649/55 - (-1)/5. Suppose -82 = -5*d - t. Let o = d + -10. Is 3 a factor of o?
False
Let b be 15/4*(560 - 588). Suppose w = -2*w - 255. Let y = w - b. Is 10 a factor of y?
True
Let n = -7287 + 10323. Is n a multiple of 28?
False
Let u(h) = 16*h - 48. Let w be u(8). Let c = -62 + 20. Let k = c + w. Does 31 divide k?
False
Suppose 5*o - 11 = 3*v, 0*v = 3*v + 5*o - 29. Suppose -v*d + 56 = -7*d. Is 4 a factor of 216/28 - 4/d?
True
Let s = -810 - -738. Does 17 divide 12*78*(-136)/s?
True
Let k = -124 - -126. Suppose 0 = -k*d + 3*b + 505, -3*d - 3*b + 117 = -678. Is 4 a factor of d?
True
Suppose p - s = 76, -5*p = -8*p + s + 220. Is 80 a factor of (26/3)/((92/p)/23)?
False
Let i(s) = 3*s - 18. Let j be i(7). Suppose 6 = j*y - 9. Suppose 0 = -o - 4*n + 13, -2*n - 157 = -y*o + n. Is 20 a factor of o?
False
Is 33 a factor of (-3111)/(-102)*(2 + 182)?
False
Let p = -5395 + 9817. Suppose 0 = -36*n + 30*n + p. Is 27 a factor of n?
False
Suppose 150*r = 142*r + 69184. Is r a multiple of 46?
True
Suppose 1184 = -o + 5*o + 4*w, 3*o = 4*w + 888. Let l = o - 240. Is 14 a factor of l?
True
Suppose 3832 = 4*c + 4*j, 0 = 5*c + j + 724 - 5498. Is c a multiple of 9?
True
Let w = 5503 + -3942. Is w a multiple of 7?
True
Let q be (1 - 30/(-12))*(-24)/(-7). Let y(s) = 24*s - 144. Is 22 a factor of y(q)?
False
Let g(r) = r**3 + 50*r**2 + 5*r + 102. Is g(-13) a multiple of 17?
True
Suppose 5*l + 3*s + 6 = 0, -8*s - 6 = -4*l - 5*s. Suppose p - i = -l*i - 5, -3*p + 15 = 3*i. Does 41 divide 164/5*(10/4 + p)?
True
Suppose 3 = 3*g - 0*g. Let q = g - -57. Suppose k + 5*f = q, -2*f + 6*f = 5*k - 348. Does 11 divide k?
False
Let p(i) = i**3 + 27*i**2 + 3*i - 100. Does 5 divide p(-26)?
False
Is 108 a factor of 2*(-4682)/(-4) + (-48 - (-41 + 0))?
False
Does 48 divide 2/(-2)*288/(-432) + 107422/3?
True
Let w be 0 + -94 - (-11)/((-11)/(-4)). Let t = -39 - w. Let y = t - 14. Does 2 divide y?
False
Let z be (-12)/(-30)*(8 - (-3 + 1)). Suppose -286 = -z*r - 2*a, 0 = 17*r - 13*r - 2*a - 274. Is 14 a factor of r?
True
Let r(f) = -5*f - 20. Suppose 7*j = 5*j + 200. Suppose -4*q + j = -14*q. Is r(q) a multiple of 18?
False
Suppose 0 = -3*y + 8*y + 15. Let q be (y + 5 - 3)*-3*1. Suppose j - 3*b = 40 + 9, q*b = -2*j + 143. Does 36 divide j?
False
Suppose -3*k + 3*t = 8*t - 442, -4*k + t + 574 = 0. Suppose -k = -77*s + 71*s. Is 4 a factor of s?
True
Suppose -4*p + p = 0. Let n(w) = 