 6*u + 18, -g + 3 = 2*u. Is (50/(-15))/(u/108) a multiple of 18?
True
Suppose 4*t - 4*j - 2296 = 0, t - 565 = 287*j - 289*j. Is 28 a factor of t?
False
Let g = 161 + -152. Suppose -g*o = 1816 - 4849. Does 29 divide o?
False
Let d = 11464 + 24848. Is d a multiple of 267?
True
Suppose -72067 - 80112 = -31*d. Is 16 a factor of d?
False
Let j(o) = 2*o**2 - 68*o. Let u be j(18). Let b = -270 - u. Is b a multiple of 18?
True
Let h = -422 + -165. Let a = h + 1520. Is 43 a factor of 56/476 - a/(-17)?
False
Suppose -30*a + 33*a = 60. Let k(m) = -m**3 + 20*m**2 + 25*m + 44. Is k(a) a multiple of 34?
True
Let x(w) be the first derivative of -2 - 1 + 14*w - 1 + 2*w**2. Does 7 divide x(7)?
True
Suppose 4*k + 4*q + q = 39, 15 = 5*q. Suppose k*b - 106 - 110 = 0. Does 17 divide b?
False
Let q(o) = -o**3 + 1. Let k(a) = 3*a**3 + 6*a**2 - 12*a + 19. Let y(p) = -k(p) - 4*q(p). Let z be y(6). Suppose -z = -g + 63. Is 8 a factor of g?
True
Let k(f) = 7*f**3 - 2*f**2 - 12*f + 2. Let u be 52/9 + 16/72. Let v(y) = -8*y**3 + 2*y**2 + 13*y - 3. Let p(q) = u*v(q) + 7*k(q). Is p(5) a multiple of 13?
False
Let i = 72 - 68. Let m(a) = -a**2 - 5*a - 4. Let l be m(-6). Does 33 divide (-396)/l*10/i?
True
Let m(j) be the second derivative of -j**5/20 - 19*j**4/6 - 4*j**3/3 - 17*j**2 - 16*j. Does 15 divide m(-38)?
True
Suppose -2 = -r, 2*r + 2*r - 13 = -z. Suppose v + z = -19. Does 3 divide (-18)/v*2*6?
True
Suppose 0 = 4*a + 3*p - 91044, 11*a + 45526 = 13*a + 2*p. Is 123 a factor of a?
True
Let y = -67 - -71. Suppose 24 = -y*u + 10*u. Is (9 + 2)*(0 + u) a multiple of 22?
True
Suppose 5*q = 4*q + 8. Suppose 3*h = 0, 4*m - 2*m - h - q = 0. Suppose -254 = -3*x - m*s, 2*x - 3*s - 2*s = 200. Does 18 divide x?
True
Suppose -6*r + 2*r = -5*q - 885, 6 = 2*q. Suppose 0 = 16*t + 346 + 1526. Let h = r + t. Does 27 divide h?
True
Suppose 6949 + 11751 = 34*x. Is x a multiple of 5?
True
Does 82 divide (104/(-39))/(12/(-25092))?
True
Suppose 13*z = 28 + 50. Suppose -z = 5*q - 8*q + 3*y, -5*y + 32 = 2*q. Does 7 divide 14*(-3 + 3/q)*-1?
True
Suppose 2*y + 184 = 9480. Is 83 a factor of y?
True
Let x = 131 + -129. Suppose 2*g - 6*g + 79 = -5*u, 0 = -x*g - 3*u + 67. Does 12 divide g?
False
Let q(s) = -19*s - 23. Let c(h) = -h**3 - 16*h**2 - 16*h + 7. Let t be c(-15). Let y = t - 28. Is q(y) a multiple of 22?
False
Let b = 9685 + -1369. Does 54 divide b?
True
Let v = 15816 + -10206. Is 22 a factor of v?
True
Suppose -14*r + 96 = -30. Is (r - 225/10)/(2/(-24)) a multiple of 18?
True
Suppose 16*o - 4*o = 26292. Suppose 0 = o*j - 2185*j - 870. Is 3 a factor of j?
False
Let a(z) = -z**3 + 4*z**2 + 48*z. Let u be a(9). Suppose -37*q + 3250 = -u*q. Is q a multiple of 27?
False
Suppose 0 = -5*s + 3*j + 26, -s + 3*j + 15 = 5. Suppose -s*g - 8 = -3044. Does 66 divide g?
False
Let j(s) = 5*s + 2. Let r be j(-3). Let l(h) = -36*h + 28. Let v be l(r). Is 4/18 + v/36 a multiple of 7?
True
Let j(q) = q**2 - 23 + 4*q + 36 + 9*q. Let v be j(-14). Is 5 a factor of (-4424)/(-63) - 6/v?
True
Suppose -8 = 4*m, -7*h = -3*h + 4*m - 97012. Suppose 37*d = 4*d + h. Is d a multiple of 49?
True
Is 73 a factor of 1971/((-6)/(-8) + (-106)/(-424))?
True
Let s(d) = -d**3 - 2*d**2 + 8*d - 7. Let n(b) = -b**2 - 16*b - 35. Let m be n(-14). Is 6 a factor of s(m)?
False
Let j(n) = 297*n**3 - 4*n**2 + 26*n - 21. Is j(3) a multiple of 5?
True
Let d(r) = 4 - 25*r - 58*r - 5 + 14*r. Does 15 divide d(-7)?
False
Let g = 67 + 104. Let i(o) = -2*o**2 - 6*o - 2. Let c be i(6). Let p = c + g. Is 13 a factor of p?
False
Let b be (-27)/6*4/6 + -1933. Let m be 7/(28/b) + 1. Let v = m + 686. Is 29 a factor of v?
True
Let a = -20806 + 38281. Is a a multiple of 9?
False
Let y = -830 + 840. Let d(n) = 3*n**2 + 2*n + 20. Let m(c) = -4*c**2 - c - 19. Let k(t) = -5*d(t) - 4*m(t). Does 2 divide k(y)?
True
Suppose 0 = -4*l + u - 10, -3*l = -0*u - 4*u + 1. Suppose 13*p - 38 = -143 + 53. Does 19 divide (-4 - (p + l)) + 120?
False
Suppose -5*f + 60 = -k, 2*k + 8 = -5*f - 112. Suppose 5*p - 150 = 10*p. Let t = p - k. Does 13 divide t?
False
Let s(c) = 12*c + 139. Suppose -82 = -3*m - 5*i, 4*i + 51 + 13 = 3*m. Is s(m) a multiple of 19?
False
Let u(a) be the second derivative of a**5/6 - 37*a**4/24 - 11*a**3/3 - 17*a. Let w(l) be the second derivative of u(l). Does 10 divide w(4)?
False
Is 1/(-6) + 246915/162 even?
True
Suppose -4*v + 2*g - 28 = -30, -v - 2*g = -13. Suppose 2*o = 3*w + 2*w + 79, -2*o - v*w + 87 = 0. Is o a multiple of 3?
True
Suppose 4*g - 2*u = -6 + 26, 36 = 5*g + 3*u. Suppose 0 = -g*v - 41 + 1133. Is 14 a factor of v?
True
Let i = 1400 + -529. Is i a multiple of 13?
True
Let w = -10799 - -29130. Is 13 a factor of w?
False
Suppose 0 = t - 6*t - 25, -4*x + 2*t = -6186. Suppose 0 = -4*i + c + x, 0 = -3*i + 6*i + 2*c - 1147. Does 35 divide i?
True
Suppose 2*s + 174*s = 285824. Is 14 a factor of s?
True
Suppose -11*r - r = -7*r. Suppose -2*k - 3*k - 20 = r, 2*a - 2*k - 1504 = 0. Suppose -h - 3*h + a = 0. Is h a multiple of 11?
True
Let l(m) be the first derivative of 193*m**4/4 - m**3/3 + m**2/2 - m - 1871. Let o be (1 + 0 + -3)/(-2). Is l(o) a multiple of 16?
True
Let v = 41 + -36. Suppose -v*g + 3*g = -448. Does 12 divide 9/6*g/3?
False
Suppose -5*v + 3*x + 47128 = 0, -v + 4*x + 7125 + 2270 = 0. Is v a multiple of 143?
False
Let m = -10 + 38. Suppose 2*o = -0*b - 5*b + 30, 0 = 3*b - o - 7. Does 10 divide b/(-14) - (-652)/m?
False
Let b(g) = 323*g**2 + 17*g + 25. Is 40 a factor of b(-6)?
False
Let f(d) = -3*d**3 + 4*d**2 - 12. Let z be f(-7). Let w = z - 686. Is 17 a factor of w?
True
Let j(x) = 4*x + 76. Let u be j(-19). Suppose -27*g + 31*g - 700 = u. Does 7 divide g?
True
Suppose -y + 258 = 4*p, 4*p - 1338 = 19*y - 24*y. Suppose 1980 - y = 15*d. Is 18 a factor of d?
False
Let q(s) = -29*s**3 + 8*s**2 - 2*s - 9. Let v(u) = 28*u**3 - 7*u**2 + 2*u + 8. Let k(x) = -6*q(x) - 7*v(x). Is k(-1) a multiple of 6?
False
Suppose 0 = 5*u - 2*a - 34, -5*a + 0 - 17 = -4*u. Suppose 2*b - v = 875, 3*v = 3*b + u*v - 1306. Does 23 divide b?
True
Suppose p + 83 = r, 0*r - 2*p - 251 = -3*r. Suppose r = -2*m + 3*l - 290, -4*m - l = 715. Let j = -60 - m. Does 12 divide j?
True
Suppose 0 = -0*d + 5*d + 20. Let v(q) = -224*q + 7. Let b(l) = 112*l - 3. Let y(h) = d*v(h) - 9*b(h). Is 37 a factor of y(-1)?
True
Let x = 397 - 394. Is 12 a factor of 9373/13 + (x - 0 - 4)?
True
Suppose 47 = 4*m + 2*i - 3*i, -59 = -5*m + i. Let h be (352/m)/((-2)/(-6)). Suppose 0 = 2*z + 4*u - h, -2*z + 4*u = z - 172. Is z a multiple of 13?
True
Suppose -643868 = 219*r - 4407602. Does 13 divide r?
True
Suppose x - 14 = -3*i - 3*x, -4*i - 4*x = -16. Let b be -3 + i - (-1 - 4/2). Is (-2135)/(-21) - b/3 a multiple of 11?
False
Is ((-1)/6 + 15060/45)*2 a multiple of 25?
False
Suppose -32 = -54*r - 32. Let p(w) = -w**3 - 3*w**2 - 2*w + 1183. Is p(r) a multiple of 34?
False
Is (1 - 2)/((2/(-10))/((-60123)/(-105))) a multiple of 2?
False
Let c(d) = -2*d + 87. Let i be c(11). Let s = 114 - i. Is 6 a factor of s?
False
Let y(p) = 8*p - 3*p**2 - 2*p**3 - 8 + 6*p - 3*p. Let b be y(-6). Suppose 223 + b = 11*l. Does 8 divide l?
False
Let x = 264 + -262. Is (6 + (4 - 8))/(x/39) a multiple of 14?
False
Suppose 0 = i - 3 + 1, -3*r + 3*i = -3378. Let l = r - 744. Is l a multiple of 32?
True
Suppose -23853 = -4*k - 3*i, 5*k - 2*i = -0*k + 29845. Does 139 divide k?
False
Let c = 35 - 16. Suppose 0 = -2*y + y + c. Let n = 105 + y. Is 12 a factor of n?
False
Suppose -m + 6 = -3*w, 2*w + w + 21 = -4*m. Let v(t) = -28*t**2 - 13. Let d be v(w). Let k = -103 - d. Does 54 divide k?
True
Let s = 247 + -221. Suppose 0 = -s*g + 2418 + 494. Does 14 divide g?
True
Let i(a) = -34*a - 427. Does 5 divide i(-13)?
True
Let s(h) = h**2 + 2*h + 1. Let w be s(2). Let t(r) = r**2 - 5*r - 20. Let v be t(w). Does 15 divide -3*10*2/(v/(-12))?
True
Let y = -10595 + 20579. Is y a multiple of 20?
False
Let k(j) = -j - 9. Let x be k(-17). Suppose -5*t + x = -2*f - 4, -3*f - 3*t = -24. Suppose -f*m + 191 + 201 = 0. Is m a multiple of 18?
False
Let x(i) be the first derivative of -91*i**5/20 + i**4/6 + i**3/2 + i**2 - 10*i - 4. Let m(k) be the first derivative of x(k). Does 16 divide m(-1)?
False
Let j(q) = 85*q + 54. Let c be j(18). Suppose 9*h = -c + 5391. Is h a multiple of 22?
False
Let r = -104 - -108. Suppose -31*a + 28*a = -r*