p + 10. Let l be u(7). Suppose l*r - 6*r = -1764. Suppose 12*z = 5*z + r. Is z a multiple of 21?
True
Let c(m) = -2*m**3 - 8*m**2 - 7*m - 1. Let q(w) = 7*w + 22. Let y be q(-6). Let f be -4*25/y*-1. Does 12 divide c(f)?
True
Suppose 40 = 4*l - 5*u, -3*l - u + 6 = -l. Suppose 2*b = -l + 13. Suppose 0 = -3*q + 3*t - t + 221, -b*q + 280 = t. Is q a multiple of 21?
False
Suppose 7*k - 3 = 6*k. Suppose 53 + 33 = 5*s + j, k*j = 4*s - 84. Let a(f) = f**3 - 18*f**2 + 5*f. Is 15 a factor of a(s)?
True
Suppose 0 = -0*x - x. Let s(m) = m + 38. Let p be s(-6). Suppose x = q - 0*q + 4*r - 22, -q - 2*r = -p. Is q a multiple of 16?
False
Suppose 10*a - 43720 = 5630. Is a a multiple of 47?
True
Suppose 60*m = 56*m - 448. Is m/(-6)*6/4 a multiple of 10?
False
Let w(a) = -a**3 + 5*a**2 + 9*a - 3. Let c be w(-2). Suppose 0 = -g - c*g + 4088. Is 73 a factor of g?
True
Let h(j) = j**3 + 2*j - 3. Let g be h(0). Does 32 divide g + ((-776)/(-3) - 6/(-18))?
True
Does 32 divide ((-16)/(-3))/(((-35)/546*1)/(-15))?
True
Suppose 43*c = 28*c. Suppose 32*q + 17*q - 11662 = c. Is 17 a factor of q?
True
Let y = -1775 - -1784. Does 2 divide y?
False
Suppose 4*h = -n + 58, 0 = -2*h - 4*n - 4 + 40. Let x = h - 12. Is 4 - (-1 - (x + -2)) - -2 a multiple of 7?
True
Let d = 200 + 221. Does 14 divide d?
False
Let g = -324 - -189. Let l = -20 - g. Is l/(-46) - (-31)/2 a multiple of 13?
True
Let o(y) = 11*y**2 - 14*y - 6. Let v be o(4). Let a = v + -22. Does 11 divide a?
False
Let d(t) = 171*t - 518*t + 17 + 166*t + 169*t + t**2 + 35. Is 20 a factor of d(18)?
True
Suppose -9*q + 2030 = 20*q. Suppose -5*r + 2*g + 7860 = 0, -69*g = 5*r - q*g - 7860. Does 59 divide r?
False
Let n(h) be the second derivative of -h**4/6 - 7*h**3/3 - 4*h**2 + 8*h. Let z be n(-6). Suppose -2 + 6 = -4*m, -2*s + z*m = -112. Is 27 a factor of s?
True
Let u(w) = w**2 + 50*w + 92. Let k be u(-48). Is 4 a factor of 194/(-4)*k/(-18)*-9?
False
Let p be 16923/6*-2*-1. Suppose p = 15*c + 301. Is c a multiple of 60?
False
Suppose -2*w = 0, -3*w = 5*h - 6*w + 340. Let r = -64 - h. Is r even?
True
Let o = -55 + 58. Let r be (1 + o)*3/6. Suppose -13 = r*k - 39. Is k a multiple of 4?
False
Let v(j) = 21327*j**2 + 9*j - 11. Is 25 a factor of v(1)?
True
Let i(d) = 18*d**2 + 4*d + 10. Suppose -3*h - n - 4*n = -16, -29 = 3*h - 4*n. Is 14 a factor of i(h)?
False
Let v(w) = 1430*w**2 + 11*w + 209. Does 26 divide v(7)?
True
Suppose 764544 + 608464 = 46*u. Does 22 divide u?
False
Suppose 0 = 3*b + 13 - 28. Suppose 9*u = b*u + 12. Suppose 4*t - 3*z = 111, 0 = t - u*z - 0*z - 39. Does 4 divide t?
True
Suppose -9*i + 45 = -63. Let f be (-15)/(-2) - 1/(-2). Let g = f + i. Is 2 a factor of g?
True
Let b = 18812 + -13226. Suppose 5*i + 2*i - b = 0. Does 38 divide i?
True
Let u(f) = 5*f + 22. Suppose 69 = -6*p + 3. Let k be u(p). Is 11 a factor of 8*(k/(-6) + 3)?
False
Let j = -286 + 294. Is -2*(-2)/(-16) + 5826/j a multiple of 14?
True
Let g(d) = d - 18. Let i be g(14). Let h be (-2 - i)*-13 - (-6)/(-2). Let r = h - -44. Is r a multiple of 14?
False
Let o be 2/(-4 + 2 + 0 + 4). Let g(m) = 311*m**3 - 4*m**2 + 3*m. Is 23 a factor of g(o)?
False
Is (236/3)/((-18)/(-162)) a multiple of 3?
True
Let w be 66/12*(66 - 0/(-2)). Let d = w - -477. Does 15 divide d?
True
Let r(k) = k**2 + 18*k + 26 + 0 + 2 + 5*k. Let c be r(-18). Let o = -40 - c. Is 8 a factor of o?
False
Is (5628/1 - -1) + (8 + -3 - 10) a multiple of 19?
True
Suppose -p - 5*f - 16 = 0, 3*f - f = -5*p - 34. Let k be (-4222)/p + 10/(-15). Let v = -487 + k. Is v a multiple of 18?
True
Let r(k) = -14*k - 7. Let f be r(-6). Suppose f = 5*n - 848. Is n a multiple of 5?
True
Let u be (-2 - (-14)/6)/(5/60). Let i be u/4 + 2 - -12. Suppose i*r - 6*r = 639. Does 5 divide r?
False
Suppose 471 + 341 = 14*d. Let k = d - -326. Does 11 divide k?
False
Let r(h) = 836*h - 237. Is r(6) a multiple of 23?
False
Let x be (-17)/6 + ((-33)/18)/11. Does 15 divide 137 - (x - (-30)/6)?
True
Suppose -5*l - 5*x = -2829 - 6271, l - 3*x = 1800. Is l a multiple of 54?
False
Does 9 divide (5619/(-6) + 2/(-4))/((-1)/5)?
False
Let o(t) = 112*t**3 - 2*t**2 - 39*t + 115. Is o(6) a multiple of 93?
False
Let r(m) = -m**2 + 29*m - 56. Let b be r(19). Suppose 3*u - 143 + b = 0. Suppose -3*n + 190 = -5*v, -v = -u*n - 76 + 246. Is n a multiple of 16?
False
Suppose -3*i + 105 = 2*i. Let u(z) = -60*z + 5*z**2 + 14 + 31*z - z**2 + i*z. Is u(4) a multiple of 17?
False
Let r = 80 + -80. Suppose 6*a - 15*a + 2484 = r. Is a a multiple of 8?
False
Is (16093/(-19))/(((-42)/(-6))/(-147)) a multiple of 121?
True
Let h(i) = i**3 - 6*i**2 + 7*i + 1. Suppose 5*m + 3*c - 32 = 8, 0 = m + 2*c - 15. Let x be h(m). Suppose -x + 43 = 4*n. Does 2 divide n?
True
Let v(j) = -4 - 4*j + 5*j**2 + 2*j**3 - j**2 + 0*j - j**3. Let g be v(-4). Suppose 0 = -0*z + g*z - 864. Is z a multiple of 8?
True
Does 59 divide (-3)/(14 + (-859088)/61360)?
True
Let m(t) = t**2 + t + 1. Let y(u) = 7*u**2 + 7*u. Let i(p) = 6*m(p) - y(p). Let f be i(-3). Suppose f = 2*s - 11 - 3. Is 7 a factor of s?
True
Let z(n) = -346*n + 208. Does 121 divide z(-23)?
False
Let h be -3 + 6/((-10)/(-5)). Suppose -2*q + 0*q - 14 = h. Is 10 a factor of ((-420)/16)/q*16/6?
True
Let z(q) = -3*q + 3. Let p be (-14)/56 - ((-1)/4 - 1). Let c be z(p). Suppose 2*j - 10 = -c*g - 2*g, 2*j = -3*g + 6. Is 9 a factor of j?
True
Let a be 2*(4 - (-2)/4). Suppose 0 = a*x - 13*x. Suppose 5*b - 38 = -3*m, x*m - 8 = -2*m + b. Is m even?
True
Let h(t) = t**3. Let x(s) = 5*s**3 + 16*s**2 + 6*s - 40. Let f(k) = -4*h(k) + x(k). Let l be f(-12). Suppose -10*o = -2*o - l. Is o a multiple of 10?
False
Suppose -59 = -9*f - 14. Suppose -450 = -r - 3*s, -6*r + 2*r + 1821 = f*s. Does 9 divide r?
True
Suppose 20 = 5*i - 20. Let r = -1 + 13. Suppose i*m - r*m + 128 = 0. Does 5 divide m?
False
Suppose 2*h - 4*t - 25188 = 0, -2*h - 324*t + 326*t = -25202. Does 32 divide h?
True
Suppose 0 = -43*l + 207142 + 206661 + 102326. Is l a multiple of 7?
False
Suppose -4072 + 369 = -7*g. Is g a multiple of 4?
False
Let n(l) = -3*l - 41. Let w be n(-16). Let m be (-5)/35 - (-148)/w. Suppose 8*u - m*u + 1755 = 0. Is u a multiple of 9?
True
Suppose -3*n = 3*o - 612, 0 = -n + o + o + 186. Is 198 a factor of n?
True
Suppose 407 = 3*d + 4*o, -5*d + 625 = -10*o + 6*o. Let g = d + -3. Is g a multiple of 6?
True
Let d(q) = -7 + 4*q**2 + 3*q + 16 - 2 - 3. Let c be d(-5). Suppose 3*z - c = 31. Is 40 a factor of z?
True
Suppose 2*q - 192 = 3*r - 0*r, 3*q = 5*r + 321. Let d(w) = w**2 - 5*w + 6. Let m be d(9). Let c = m - r. Does 20 divide c?
False
Suppose 0 = -3*g - 2*z + 35, -40 = -2*g - 2*g + 4*z. Suppose 5*t = -g*t + 8096. Is 16 a factor of t?
False
Let h(r) = 55 - 205*r + 196*r + 23. Is h(5) a multiple of 11?
True
Suppose -3*c - 123 - 14 = -2*p, -4*c - 20 = 0. Suppose p*n = 45*n + 12752. Does 15 divide n?
False
Let g(x) = -x**2 - 18*x + 40. Let y be g(-20). Suppose y = 9*b - 10 + 172. Does 35 divide 3*4/b*-306?
False
Suppose 0 = -36*r + 10*r. Suppose r = -158*b + 163*b - 215. Does 5 divide b?
False
Let n = 42 - 72. Let i = n + 38. Suppose i*v - 377 = -33. Does 10 divide v?
False
Let k(w) = -2*w**3 - 35*w**2 - 16*w + 31. Let u be k(-17). Is 3 a factor of ((-147)/u)/(((-4)/(-8))/(-1))?
True
Suppose 12*g = 5*g + 14. Suppose 3*h - 9 = 0, -3*k + g*h + 3*h = -2418. Is 11 a factor of k?
False
Suppose 18 = 5*s + 5*r - 3*r, 4*s = -4*r + 12. Let t be 23073/(-4) + s/(-16)*-1. Is 44 a factor of t/(-20) + (-6)/(-10)?
False
Suppose f = 2 - 3, -2*j = -3*f - 1211. Let z = j + -269. Is 14 a factor of z?
False
Suppose 40*b = 36*b + 12. Suppose 5*a = -43 + b. Let z(c) = -17*c + 47. Does 32 divide z(a)?
False
Let r(v) = v**2 + 16*v + 4. Let p = 30 + -47. Let t be r(p). Suppose -4*d + 3*d = -t. Is d a multiple of 14?
False
Let t(u) = u**3 + 3*u**2 + 34. Let m be -17 + 20 - (-3)/(-1). Does 25 divide t(m)?
False
Let o(z) = 17*z**2 - 3*z - 2. Let p be o(-2). Suppose a - 4*n = 10, 5*a - n - 8 = 23. Let s = a + p. Does 13 divide s?
True
Suppose 4*c = -2*q + 84 + 446, 0 = -4*q - 4*c + 1072. Suppose 4*l - 229 = -3*x + q, 3*x = -2*l + 502. Is 14 a factor of x?
True
Suppose n + 21 = s - 6*s, -4*n + 41 = -5*s. Suppose -n*l - 4977 = 887. Does 20 divide l/30*-3 + 3/(-5)?
False
Let x = 140 + -24. Let b = x + 259. Is 11 a factor of b?
False
Let i = -9400 - -12007. Is