 + 6, 0 = 2*i + 2*g + 68. Suppose 8 = 2*d, 2*u + 2*d + 196 = -0*u. Let q = i - u. Is q a multiple of 34?
False
Suppose 2 = -230*c + 231*c, 2*p + 5*c - 936 = 0. Does 3 divide p?
False
Let f = 133 - -184. Let x = 852 - f. Does 9 divide x?
False
Suppose -13 + 2 = 11*m. Let w(b) = -130*b + 1. Does 13 divide w(m)?
False
Let n(l) be the first derivative of 5*l**2 - 57*l + 20. Let s be n(20). Suppose -5*f + s + 5 = z, -5*f = -z + 118. Is z a multiple of 9?
False
Let z be (-5 - 2)*1 + 928. Let i = -630 + z. Does 14 divide i?
False
Let g = 23 - 32. Let v = 40 - g. Suppose 3*h = 11 + v. Is 4 a factor of h?
True
Suppose 0 = 5*h - 34 - 56. Suppose 23*u - 5*u = -h. Does 37 divide 218 + u/(-3*(-2)/(-24))?
True
Suppose 4*f - 1379 = -5*p, 0 = -18*f + 15*f + 5*p + 1078. Does 2 divide f?
False
Let x be 2 - (1 + -4) - (-2)/(-2). Suppose 2*v + 5*n - 5 = 0, -n + x = v + 3. Suppose 4*k - y - 31 = v, -2*k - 2*y + 10 = -k. Is 3 a factor of k?
False
Let p(w) = 31*w**2 + 3*w + 2. Let y = 27 + -28. Let m be p(y). Suppose -9*a - m + 408 = 0. Is 21 a factor of a?
True
Suppose 25*b - 2465 = 8*b. Suppose 21 - 82 = -2*v - n, -5*v - n = -b. Is v a multiple of 11?
False
Let f(s) = 2*s - 42. Let q be f(23). Suppose 0*n + q*y = -2*n + 552, n - 276 = 5*y. Does 23 divide n?
True
Let s(a) = 720*a - 3186. Is s(20) a multiple of 14?
True
Suppose 31*g = 12*g + 207480. Suppose 0*q - q - 2*o = -2183, -5*o = 5*q - g. Is 15 a factor of q?
False
Let u = -140 - -137. Is 3 a factor of -2 + 2 + 23 - (1 - u)?
False
Suppose -4*g + 9 + 3 = 0. Suppose 2*r + 30 = -4*f, f = -6*r + g*r - 35. Let v(p) = -p**2 - 11*p + 17. Is v(r) even?
False
Suppose 38*a + 314 - 3202 = 0. Let d = a + -60. Does 3 divide d?
False
Let p(n) = 3*n**3 - 132*n**2 + 27*n - 187. Is p(44) a multiple of 7?
True
Let s(z) = -19*z + 99. Let j(q) = -9*q + 49. Let a(t) = -13*j(t) + 6*s(t). Let m(p) = p**2 + 22*p + 58. Let o be m(-20). Is a(o) a multiple of 11?
True
Suppose -9*k + 2928 = -6108. Suppose 18*s = 17*s - 3*t + k, -4*s + t + 3977 = 0. Does 17 divide s?
False
Does 5 divide 16/(-24)*585/(-78)?
True
Suppose o - 5*d - 5 = 0, o - 1 = 2*o + d. Let x = -1249 - -1269. Suppose x = -4*t, a + 4*a + 3*t - 280 = o. Is a a multiple of 16?
False
Let i be (-24)/2*((-400)/(-24))/(-10). Suppose i*v - 15540 = -v. Is 7 a factor of v?
False
Suppose -4*d = 16*t - 328656, 0 = -2*t + 19*d - 21*d + 41088. Is 130 a factor of t?
True
Suppose 39*r - 23370 = 147684. Does 51 divide r?
True
Suppose 1234764 = 81*v + 43*v + 82*v. Does 9 divide v?
True
Let l = -73 + 70. Let d be l/(-6)*-3*6. Let z(t) = -7*t + 15. Does 14 divide z(d)?
False
Let i(c) = 19*c + 3397. Is 17 a factor of i(-58)?
True
Let n = 7 + 8. Suppose -3*j + 2*x + x = -n, -x - 5 = 0. Suppose j = -2*b - 3*s + 24, 5*b + s - 3 - 83 = 0. Is 6 a factor of b?
True
Let n(d) be the first derivative of -d**3 - 3*d**2/2 + 95*d + 4. Suppose 5*v - z - 5 = 0, -4*v = -3*z + 7*z + 20. Does 6 divide n(v)?
False
Suppose 89*v = 85*v + 8. Suppose -114 = -v*j + w + 117, -w - 117 = -j. Is j a multiple of 19?
True
Let w = 232 + -214. Suppose 3*h + 1 - 32 = y, 0 = 2*h - 2*y - w. Is h a multiple of 11?
True
Let b(u) = -u**3 - 24*u**2 - u - 3. Let f be b(-24). Does 5 divide (-98)/f*30/(-7)?
True
Suppose -127*s + 25*s = 172*s - 930778. Does 79 divide s?
True
Suppose 2*m - 4213 = 5*a, -9*m - 837 = a - 8*m. Let v = 1559 + a. Is v a multiple of 20?
False
Suppose 4*z - 4*o + 56 - 184 = 0, -4*o - 38 = -z. Let g(y) = y**3 - 30*y**2 + 20*y - 48. Is 12 a factor of g(z)?
True
Let d be ((-15)/(-10))/((-18)/(-9420)). Let l = d - 470. Does 21 divide l?
True
Let v(s) = s**3 + s**2 + 2. Let h be v(0). Suppose 5*c = -15, 5*x - 4*c = -h*c + 2661. Is 59 a factor of x?
True
Suppose 4*x = -37 - 211. Let z = x - -264. Let r = -73 + z. Does 43 divide r?
True
Suppose 28*m - 1020514 = -18*m + 465700. Is m a multiple of 258?
False
Is 102 a factor of 45/(-5) - (1/((-5)/62840) - -2)?
False
Suppose -2*b + 13236 = 11*b - 6134. Does 84 divide b?
False
Let v(b) = -b**3 + 3*b**2 + 4*b + 5. Let k be v(4). Let q be (-2)/k - -3*(-6)/(-45). Suppose q = 3*g - 502 + 16. Is g a multiple of 27?
True
Suppose -1 - 3 = -2*w. Let z(m) = 7*m**2 + 147*m - 6. Let c be z(-21). Does 11 divide 17 + 1 - (c + w)?
True
Let q(z) = 8*z + 4. Let h be q(-1). Let o(f) = f**3 + 4*f**2 + 5. Let u be o(h). Suppose -44 = 2*l - 3*l - 2*w, u*l - w = 198. Is l a multiple of 11?
False
Let n be (-250)/(-25) + 1*-6. Is 1152*n/(-48)*-8 a multiple of 48?
True
Let y(q) = 1142*q - 6334. Is 46 a factor of y(19)?
True
Let z(c) = -8*c**3 - 24*c**2 + 4*c + 38. Is 9 a factor of z(-6)?
False
Let v = -151 + 155. Suppose -13 - 99 = -v*x. Does 3 divide x?
False
Let f = 2114 + -342. Suppose -w - 4*r + f = 3*w, 0 = -5*r - 25. Does 14 divide w?
True
Let y(c) = 97*c**2 - 338*c - 17. Does 34 divide y(17)?
True
Suppose 2*i = 166 + 2. Let g be (50 + 1)/(8/(-8)). Let h = g + i. Is 7 a factor of h?
False
Let q be 4/(-5) + (-624)/(-80). Suppose q*f - 156 = 3*f. Suppose -19 = -40*t + f*t. Is t a multiple of 4?
False
Let h(k) = -674*k + 636. Does 25 divide h(-11)?
True
Let v = -445 - -452. Does 20 divide ((-12)/v)/((-6)/105)*10?
True
Let l = 2525 - 1097. Does 4 divide l?
True
Suppose o - 7*k = -12*k - 1, 2*o = -2*k + 6. Suppose 1615 = o*a + a. Is a a multiple of 17?
True
Suppose -5*t = -5*o + 21425, -19*o + 29979 = -12*o - 3*t. Does 29 divide o?
False
Let c(b) = b - 7. Let w(t) = -53*t**3 - 2*t - 1. Let k be w(-1). Suppose 2*y = 3*y - 3*u - 7, -3*y = 2*u - k. Does 3 divide c(y)?
True
Let x = -97 - -139. Let t = x + -37. Suppose 294 = t*v + 2*v. Is 14 a factor of v?
True
Let y(n) = 67*n**2 + 319*n - 84. Is y(-16) a multiple of 5?
False
Suppose 85 = -o + 86, -g = -2*o - 2186. Is 9 a factor of g?
False
Let w be (-1)/(-3)*((27 - 3) + 0). Let l be w + (-1 - 3) + -9. Let n(j) = j**3 + 7*j**2 + 11*j + 22. Is n(l) even?
False
Suppose 2558 = 3*l - 2*z, 10*l = 8*l + 3*z + 1702. Does 8 divide l?
False
Suppose 32*l = 8*l - 37*l + 1067378. Does 125 divide l?
False
Let b be 32/32 + (-1965 - (2 + 0)). Let u = b + 2890. Is 14 a factor of u?
True
Let a be (5884/10)/(13/195) - 6. Suppose -a = -26*g + 2100. Is 14 a factor of g?
True
Let t be 9/(-3) + (-2 - 22*-56). Suppose -8*i + 1533 + t = 0. Is 23 a factor of i?
True
Is 37 a factor of (74*5)/((13 - (-10905)/(-420)) + 13)?
True
Let q = -177 - -344. Let z = 770 - q. Does 44 divide z?
False
Let a be (-272)/(-44) - 6 - 1324/22. Let o be 351090/a - (-6)/4. Is (1/(-3))/(15/o) a multiple of 10?
True
Let c be (-15 - -13)*(-6)/4. Suppose 9 = -c*l, 4*l + 18 + 15 = m. Is 9 a factor of ((-54)/m)/((-1)/28)?
True
Let z = 32500 - 23256. Does 65 divide z?
False
Let p(b) = 322*b**3 + 2*b**2 - 5*b - 7. Let o be p(-1). Suppose 2*r = 3*r - 576. Let i = o + r. Is 38 a factor of i?
False
Does 9 divide (-8 + (-146485)/(-20))*(-44)/(-33)?
False
Suppose 28*w - 57 = 31*w. Let o(h) = 7*h**2 + 64*h + 24. Does 15 divide o(w)?
True
Suppose 852 + 252 = 8*k. Let h = -144 + k. Is (0 + -2)/(0 - h/(-381)) a multiple of 9?
False
Let d be 10/(-45)*-6*3. Suppose 1080 = -t - 3*q, -d*q + 3*q = 4*t + 4320. Is 18 a factor of (-12)/(-30)*(-7)/(21/t)?
True
Let m = 6836 + -5823. Does 90 divide m?
False
Let d = 4 + -175. Let y = 196 + d. Is 25 a factor of y?
True
Suppose -2*c - 3*c = 5*s - 1330, 4*s - 1056 = 4*c. Is (-470)/(-1) - 0 - (270 - s) a multiple of 17?
False
Suppose -1819 + 219 = 10*y. Is 16 a factor of 105/(-70)*(-4)/(-6) - y?
False
Let f = -27 + 13535. Does 44 divide f?
True
Let r be (3*(-2)/(-8))/(7/196). Does 5 divide (1136/24)/(7/r)?
False
Let v(m) = 508*m + 1145. Is v(9) a multiple of 15?
False
Suppose -4*c = 2*a - 166, -a + 2*c + 31 = -32. Let q = 171 - a. Is 3 a factor of q?
False
Let t(l) = l**3 + 12*l**2 + 15*l + 14. Let s(g) = -3*g + 18. Suppose -6*r + r = -40. Let j be s(r). Is 19 a factor of t(j)?
False
Suppose -32*w + 2196 = -35*w. Let m = -81 - w. Is 21 a factor of m?
True
Suppose -2*k + 653 = 3*c - 0*c, c - 226 = k. Let p(j) = 43*j + 50. Let g be p(7). Suppose -2*q + c = -5*a, -5*a + 114 = 5*q - g. Is q a multiple of 14?
True
Let j = -4817 + 10487. Does 105 divide j?
True
Let z(p) = 2*p**2 - 41*p + 67. Let x be z(20). Suppose -h - c = -496, 5*c + x = -2*h + 1042. Is h a multiple of 55?
True
Let s = 571 - 571. Is 72 a factor of (722 - 1/1) + s + -1?
True
Suppose 5*l + 16 = -4*t, 10 = -5*t -