Is x a multiple of 4?
False
Suppose -2922*k - 92526 = -2936*k. Does 67 divide k?
False
Let x(y) = -9*y**2 + 15*y - 7. Let l(f) = f**3 + 7*f**2 - 13*f + 6. Let u(q) = -4*l(q) - 3*x(q). Is 11 a factor of u(-4)?
True
Let j(a) = -a**2 - 1. Let s(b) = 7*b**2 + 11*b + 4. Let h(x) = -3*j(x) - s(x). Let z be h(-5). Let c = 95 + z. Does 4 divide c?
False
Let d(p) = p**2 + 10*p + 2. Let m be d(-10). Suppose n + m*g + 2 + 1 = 0, 4*n = -5*g - 21. Is 20 a factor of (-252)/(-8) - n/6?
False
Let t(x) = 2*x + 58. Let k be t(-24). Suppose -16*g = 4*m - 17*g - 374, -5*g = -k. Is m a multiple of 8?
False
Let g = -113 + 116. Suppose -g*k = -17*b + 14*b + 288, -4*b - 4*k + 376 = 0. Is b a multiple of 14?
False
Let d = -429 + 601. Let r = d + -60. Suppose 2*l - r = -24. Is l a multiple of 22?
True
Let g(h) = -64*h - 6. Suppose -3*m - 4 = -7. Let v be g(m). Let t = v - -140. Is t a multiple of 6?
False
Suppose 0 = 5*s - 2*s - 81. Let p = s + -23. Does 5 divide -9*(160/(-12))/p?
True
Let c(y) = 53*y**2 - 36*y + 108. Let f = 140 + -137. Does 9 divide c(f)?
True
Let m(o) = -o**3 - 20*o**2 + 61*o - 31. Does 27 divide m(-25)?
False
Suppose 0 = -2*m + 6645 + 8265. Is m a multiple of 15?
True
Let y(t) = t**2 - 25*t + 26. Let a be y(24). Does 7 divide a/(-14) + 22803/77?
False
Suppose -147*a = -674905 - 467579. Does 58 divide a?
True
Suppose 0 = f + g - 85 - 414, 2*f = 3*g + 963. Is 62 a factor of f?
False
Let k = 21 + -9. Suppose 4*r - k*r = -32. Suppose 91 = -2*p - 2*z + 281, -4*z = r. Is 24 a factor of p?
True
Suppose 0 = 2*b + n - 366, -4*b - 244*n + 249*n + 718 = 0. Is b a multiple of 38?
False
Let r(l) = l**3 - l. Let d(b) = -3*b**3 - b**2 + 6*b - 4. Let t(o) = -d(o) - 4*r(o). Let y be t(0). Suppose c = y + 52. Is c a multiple of 7?
True
Suppose -163783 = -17*f + 48250 - 16431. Is 22 a factor of f?
True
Let r(z) = 3*z**2 + 9*z - 16. Suppose 5*i = -10*i + 60. Does 4 divide r(i)?
True
Let i(f) = -f**3 - 2*f**2 + f - 1. Let k be i(-3). Suppose 0 = -k*s + 2908 + 342. Suppose w - s = -9*w. Is 11 a factor of w?
False
Suppose -y - 30 = -4*y. Let a(z) = z**3 - z**2 - 13*z + 23. Let g be a(3). Suppose -g*t + y*t - 688 = 0. Is 10 a factor of t?
False
Let m(p) = -5*p + 68. Let z be m(0). Suppose -5*s + 1438 = -2*v, 5*s + 5*v - 1513 + z = 0. Is 18 a factor of s?
True
Let q(l) = -2*l + 27*l**3 - 5*l**2 + 0*l - l - 28*l**3 + 1. Suppose -2*c + 6 = 18. Does 5 divide q(c)?
True
Let z be (-2724)/3 + 0/(10/5). Let t = -627 - z. Is t a multiple of 5?
False
Let i(q) = -6*q - 13. Let n be i(-3). Does 16 divide 5/(n/4) + -15 + 538?
False
Let a be 102/30 - 9/(-15). Suppose z - 1794 = u, 0 = 2*z + a*u - 460 - 3116. Suppose -z = 2*n - 16*n. Is n a multiple of 8?
True
Does 33 divide -4*(-6)/4 - (-11685 + 1098)?
True
Let x = 83764 - 52666. Is 48 a factor of x?
False
Suppose 4*t - 17924 = 10*i - 8*i, 5*i + 22410 = 5*t. Does 8 divide t?
True
Let t(r) = r**2 - 8*r + 22. Let g be t(7). Suppose 5*p - 2*s = g, 0*s - 3 = -p + 4*s. Suppose 3*i - 22 = i + 2*y, 5*y - 17 = -p*i. Is i a multiple of 3?
True
Suppose -115326 = 2059*y - 2077*y. Does 23 divide y?
False
Suppose 4*z - 14*z = 240. Let o = z + -6. Is 17 a factor of (10/o)/((-2)/102)*13?
True
Let i(r) = 2*r + 2. Let k be i(12). Let u be 18/117 + (-602)/k. Let p = 30 + u. Does 3 divide p?
False
Let o be (-30)/12*5004/(-15). Suppose 6*h - 11 = 7. Suppose 2*s = 3*n - o, n - 569 = -n - h*s. Is 20 a factor of n?
True
Let t(m) be the third derivative of 3*m**5/20 - 11*m**4/12 - 31*m**3/6 + 163*m**2. Is t(8) a multiple of 11?
False
Let g be (-13 - -17)/((-6)/(-33)). Suppose 31*f = g*f + 1053. Does 3 divide f?
True
Suppose 36*f - 30253 = 323411. Is f a multiple of 16?
True
Let r(y) = y**3 + 12*y**2 + 19*y - 6. Let f be r(-10). Suppose -8*x + 3*x - 5*n + 1550 = 0, x = f*n + 290. Is x a multiple of 52?
False
Is 49 a factor of (-3)/(-6) + 78655/(-30)*-3?
False
Suppose -5*l - 6*y + 10*y = 2225, -1335 = 3*l + 5*y. Let o = l + 817. Is 31 a factor of o?
True
Suppose -37*x = 41*x - 67*x - 87912. Is x a multiple of 54?
True
Let h = 4486 - -3856. Is h a multiple of 13?
False
Let j(w) = 8*w - 2. Let z be j(1). Suppose -3*c = -2*b + 14, 3*c - 5*b = -z - 11. Is (-3)/(c - -1)*17 a multiple of 6?
False
Is 56104185/2043 - 2/3 a multiple of 103?
False
Suppose 0 = -s - l + 3, 5*l - 4*l - 3 = 5*s. Suppose s = 721*j - 725*j + 632. Does 5 divide j?
False
Suppose 1115*w + 105859 = 1128*w. Is 17 a factor of w?
True
Suppose o + 1 = 3, 3*n = 2*o + 230. Is -6 + 6 + n + 6 a multiple of 6?
True
Let p(f) be the first derivative of -f**2/2 - 9*f + 27. Let y be p(-11). Suppose -y*o + 165 = -6*h + 7*h, -3*h = 5*o - 496. Is h a multiple of 10?
False
Is (-19*(-399)/(-28))/((-9)/84) a multiple of 142?
False
Let o be 42/(-70) - (-6443)/5. Let u = o + -689. Is u a multiple of 13?
False
Suppose -4*k = -11 - 9, q - 7947 = -5*k. Does 11 divide (-2)/18 + q/18?
True
Let m be (75 + -63)*(123/(-2))/(-3). Suppose -t = 4*h - 9, -h + 5*t = 4*h - 5. Suppose 8*b - h*b = m. Does 41 divide b?
True
Suppose -2*r - 6 = -5*m, -2*m - 3*m = 3*r - 16. Let q(y) = 7*y**2 + 1610 + 20*y - 1577 - 3*y**r. Is 8 a factor of q(-6)?
False
Let p be (-4)/6*18/3. Suppose 0 = 3*f + 4*z - 56, -18*f + 14*f + 76 = 5*z. Let b = f + p. Does 3 divide b?
False
Suppose -81*h = -92*h + 968. Suppose -75*o = -67*o - h. Is o a multiple of 11?
True
Let l(b) = 2*b**2 + 28*b + 54. Let m be l(22). Suppose -6*j + j + 4*q + 2015 = 0, 4*j + 2*q = m. Is j a multiple of 11?
True
Let r(c) = 3*c**3 - 8*c**2 - 1. Let v(f) = 7*f**3 - 17*f**2 - f - 1. Let a(d) = 5*r(d) - 2*v(d). Let t be a(6). Suppose 193 = t*y - 923. Is y a multiple of 42?
False
Is (891/(-15))/(-3)*(69 - -21) a multiple of 3?
True
Let n(q) = -q**3 - 13*q**2 - q - 30. Let w be n(-13). Is (6/4 + 17/w)*1114 a multiple of 28?
False
Is 417696/1520*((-8)/(-3) + -1) a multiple of 19?
False
Does 13 divide (177/6)/((-10)/8 + (-1519)/(-1204))?
False
Let q(j) = -2*j**2 - 135*j - 242. Let f be q(-64). Suppose 520 = -u + 5*u. Suppose 2*p - u - f = 0. Does 28 divide p?
True
Suppose 0 = -d + 4*g + 6343, 0 = 4*d - 206*g + 205*g - 25342. Is d a multiple of 181?
True
Let i(x) = -49*x - 195 + 23*x + 60*x. Does 11 divide i(19)?
True
Let a = 609 - 603. Is 9 a factor of a*(1303/10 - 25/(-125))?
True
Let q = -139 + 143. Suppose 1403 = 3*m + c, -5*m + 472 = -q*m - 4*c. Does 12 divide m?
True
Let w(h) = 0*h**2 - 5*h**2 + 20 + 237*h - h**3 - 4 - 232*h. Does 3 divide w(-6)?
False
Let j(q) = 3*q**3 - 8*q**2 - 27*q - 13. Let r be j(8). Let k = r - 49. Is 14 a factor of k?
False
Suppose -j = 22470 - 27546. Does 54 divide j?
True
Let m be 1 - 9 - 4*-1. Does 7 divide m/(-16) - (-1194)/(-24)*-1?
False
Suppose d + 33164 = 2*y, 0 = 3*y + d - 68417 + 18671. Is 47 a factor of y?
False
Let l(n) = 196*n**2 - 103*n - 318. Does 10 divide l(-3)?
False
Let g = -157 + 85. Let q = 76 + g. Suppose 0 = -q*f, -3*i + 3*f = -2*i - 60. Is i a multiple of 4?
True
Suppose 0 = -3491*m + 3383*m + 1052892. Is 110 a factor of m?
False
Suppose -54 = -18*n - 0*n. Is -7*n/(15/6 - 3) a multiple of 14?
True
Let j(x) = x**3 - 5*x**2 - 7*x - 4. Let i be j(6). Let s be (-5207)/i*2 + 26/(-65). Suppose -7*b + s = 33. Is b a multiple of 13?
False
Suppose 6707 + 809 = x - 3*n, 0 = x + 2*n - 7521. Is 63 a factor of x?
False
Let s(v) = -v**3 + 7*v**2 + 8*v + 2. Suppose 61*b + 84 = 58*b. Let c be 2/(-4) - 182/b. Is 9 a factor of s(c)?
False
Suppose -63*u + 1120 = -56*u. Let i = u + -111. Is i even?
False
Let h = -43 - -42. Let d(k) = 104*k**3 - 2*k - 1. Let y be d(h). Let p = 170 + y. Is p a multiple of 4?
False
Let o(v) = 0*v + 2*v**2 - 2*v - 5*v + 5*v + 25. Let f = -189 + 182. Does 8 divide o(f)?
False
Suppose 12*p = 70*p + 58174. Let u = -143 - p. Does 11 divide u?
False
Let m = -329 - -615. Suppose -659 - m = -27*w. Is w a multiple of 10?
False
Let w be (-1)/(4/(8/(-1))). Suppose -5*p = -4*u + 90 - 3, -3*p = w*u - 27. Is 4 a factor of u?
False
Let m = 617 - 755. Let l = 547 + m. Is l a multiple of 27?
False
Let c = -195 - -242. Suppose c*p - 11645 = 30*p. Does 33 divide p?
False
Suppose 0 = 3*i - 2*n - 22, -3*n = -3*i - 0*i + 27. Suppose -w = -i*m + 611 + 541, w + 576 = 2*m. Does 32 divide m?
True
Let i(a) = 91*a**2 + 820*a - 33. Is 15 a factor of i(6)?
False
Let k = 168 - 24. Suppose 591 = 3*f - k. Is 7 a factor of f?
True
Let o(b) = 519*b**2 - 70