ltiple of 26? 
True
Suppose -4*r + 16 = 5*n - 3*n, 0 = 3*r - n - 2.  Let s(w) = -5*w + 6*w - 4 + 0 - 5*w + r*w**2.  Is 6 a factor of s(4)? 
True
Suppose 0 = t + 5, -3*i + 2*i = 5*t - 582.  Does 55 divide i? 
False
Suppose -5*c = -4*f + 1954, 21*f - 16*f - 2451 = 2*c.  Is 10 a factor of f? 
False
Does 6 divide -10*484/165*-9? 
True
Let g(y) = -y**3 - y**2 - y + 5.  Let u be g(0).  Suppose 3 = 4*b + 83.  Is ((-10)/4)/u*b a multiple of 4? 
False
Let g be (1 + 1)/((-4)/2).  Let z be 0/(0 - 4)*g.  Suppose s + 3*s - 160 = z. Does 14 divide s? 
False
Suppose 2*v = 12 + 4.  Let m(n) = -n + 1.  Let c(x) = x**2 - 7*x - 7.  Let s(z) = -c(z) - 3*m(z).  Is s(v) a multiple of 10? 
True
Let x = -5 - 16.  Let m be 9/(-3) + 2 - -2.  Let l = m - x. Is 9 a factor of l? 
False
Let s(t) = t + 1.  Let j(l) = -6*l - 12.  Let r(d) = 2*j(d) + 20*s(d).  Is 20 a factor of r(5)? 
False
Does 17 divide 10768/32 + (-6)/(-4)? 
False
Let x(o) = 13*o - 28.  Let a = 14 + -6.  Is x(a) a multiple of 19? 
True
Let l(h) = h**3 - 10*h**2 - 13.  Let p be l(10).  Let g = 13 + p. Suppose g = -3*b + 2*q + 30, 4*q = -3*b + 2*b + 24.  Is b a multiple of 5? 
False
Let l(k) be the first derivative of k**3/3 + k**2/2 + 66*k + 9.  Is l(0) a multiple of 13? 
False
Let w(b) = 6*b**2 + 4*b - 19.  Is 17 a factor of w(5)? 
False
Let l(p) = -11*p + 32.  Let i be l(-5).  Suppose -3*u - q = 4*q - 39, 5*u + q = i. Is u a multiple of 12? 
False
Suppose 0 = 3*s - f + 212 - 732, 0 = -3*s + 2*f + 524.  Is s a multiple of 43? 
True
Suppose -334 = 2*s - 4*d, s + 5*d = -3*s - 694.  Let p = s - -261.  Is 13 a factor of p? 
False
Let m = -2270 + 4286.  Is 72 a factor of m? 
True
Let o(u) = 1 + 10*u + 5*u + 3*u**2 + 1 - 13*u.  Suppose -3*a + 1 - 4 = 0, 13 = -2*y - 5*a.  Is o(y) a multiple of 14? 
True
Let p = 96 + -99.  Does 13 divide (-1)/(350/(-1005) + (-1)/p)? 
False
Let b(u) = -u**2 - 10*u.  Let f be b(-10).  Suppose 5*l + 5*c + 20 + 0 = f, c + 10 = -4*l.  Let i(n) = 5*n**2 + 3*n + 3.  Is 4 a factor of i(l)? 
False
Suppose 2*y + 3*p = 2*p + 4573, 0 = -4*p - 12.  Does 116 divide y? 
False
Is (-1)/(-5) + 5778/10 + 9 a multiple of 20? 
False
Let i = -35 - -35.  Suppose 6*j + 50 - 740 = i. Is j a multiple of 21? 
False
Let f(y) = 2*y + 3.  Let n be f(-2).  Let b be 15/(n - 2) - 0.  Does 13 divide (11 - -4)/(-3)*b? 
False
Let c = -15 + 25.  Suppose -2*p + 16 = c. Suppose -5*u = -0*w - 2*w + 22, 0 = p*w + 4*u - 56.  Is w a multiple of 6? 
False
Let c(p) = -p**3 + 28*p**2 - 26*p + 74.  Is c(26) a multiple of 25? 
True
Suppose 0 = n - 3*n + 8.  Suppose 0 = n*a - 6*a + 4.  Suppose 0 = -a*k + 6 + 8.  Is k a multiple of 6? 
False
Suppose 32 = -4*s - 32.  Let h = s + 27.  Is 11 a factor of h? 
True
Does 20 divide 1664/78 - 8/6? 
True
Let n(u) = 5*u + 1.  Let g be n(-8).  Let t be (36/27)/((-2)/g).  Let m = 40 - t. Is m a multiple of 14? 
True
Suppose 4*x = -2*n - x - 9, 2*x = -4*n + 6.  Let q = 33 + n. Is q a multiple of 6? 
True
Is (-3)/2*12688/(-39) a multiple of 27? 
False
Let u(k) = 2*k + 111.  Let p be u(0).  Let f = p + 123.  Suppose 5*d - f = -39.  Does 9 divide d? 
False
Let c(j) = j**3 + 26*j**2 + 45*j + 36.  Is c(-14) a multiple of 74? 
False
Is 36 a factor of -3 - (-245 - (-100)/(-10))? 
True
Suppose -3*m + 15 = -0*m.  Suppose -3*t + 2*k + 250 = 7*k, 5*t = -m*k + 410.  Is 11 a factor of t? 
False
Let l = -4575 - -8141.  Is 17 a factor of l? 
False
Suppose -13*g = -3616 - 2936.  Is 14 a factor of g? 
True
Suppose 6 = 4*g + i, i - 4 = -g + 2*i.  Let h be g/8 + 3306/24.  Suppose -l + 3*l + 4*w = h, 5*w = -2*l + 133.  Is l a multiple of 11? 
False
Let y(v) = -v**2 + 5*v + 6.  Let c be y(4).  Suppose 6*l = c*l - 144.  Is l a multiple of 6? 
True
Suppose -3*b + 4 = -5.  Suppose 118 = b*h - 14.  Is 11 a factor of h? 
True
Let z = 534 - 309.  Is 13 a factor of z? 
False
Suppose -6*i + 8*i = 6.  Suppose i*m = 120 + 48.  Does 8 divide m? 
True
Let v be (9*(-51)/(-9))/((-3)/(-26)).  Suppose 44*u + v = 46*u.  Is u a multiple of 26? 
False
Let s(m) = -54 + 0 - 2*m + m - 9*m.  Is 16 a factor of s(-22)? 
False
Let q(h) = -h**2 - 4*h + 11.  Let c be q(-7).  Let f be (-629 - 1)*10/c. Is 7 a factor of ((-4)/(-10))/(9/f)? 
True
Let d = 2145 + -1125.  Does 9 divide d? 
False
Suppose n + x - 3 = -n, -3*x + 3 = 4*n.  Let p(y) = -y**2 + 3*y + 2.  Let l be p(n).  Suppose -l*q - 6 + 222 = 0.  Is q a multiple of 36? 
True
Let q(n) = 13*n**2 - 5*n + 4.  Let x be q(4).  Suppose 2*z - x = -58.  Does 12 divide z? 
False
Let g(o) be the third derivative of 5*o**4/24 + o**3/3 + 5*o**2.  Let d = 13 + -11.  Is g(d) a multiple of 5? 
False
Let t(h) be the second derivative of h**4/12 - 5*h**3/6 + 3*h**2/2 - 4*h.  Let o be t(5).  Does 9 divide -2 - (-1 - (37 + o))? 
False
Let v(m) = -m**2 + 7*m + 8.  Let o be v(8).  Suppose o = 8*c - 2*c - 240.  Suppose 4*u - 188 = -c.  Is 14 a factor of u? 
False
Let d = 177 - 69.  Let t be (-1)/(d/(-52) - -2).  Let s = 2 + t. Is 14 a factor of s? 
False
Suppose -4*o + 371 = -5*i, -15*o + 184 = -13*o - 2*i.  Does 12 divide o? 
False
Let p be 1*2 - 0/(-7).  Suppose -j = -2*q - 3, 0 = -p*j + 4 + 2.  Suppose a + 14 - 52 = q. Is a a multiple of 8? 
False
Suppose 12 = 2*t - 2.  Let i(w) = 3*w**3 + 5 - 2*w**3 + t*w - 2 + 8*w**2 - w. Does 4 divide i(-7)? 
False
Let m(y) = -y**2 - 5*y - 4.  Let l be m(-3).  Suppose -5*q = -3*g - 431, q = l*q + 4*g - 100.  Is q a multiple of 6? 
False
Suppose 8460 + 9393 = 11*g.  Is 21 a factor of g? 
False
Let i be (-39)/(-2) - (-2)/4.  Suppose 0 = 10*v - 2*v.  Is 7 a factor of i - (-3 - (0 - v))? 
False
Suppose 4*l - 3*v - 4044 = 0, 0 = -28*l + 30*l + 4*v - 2044.  Is 39 a factor of l? 
True
Let j be (3 - 3)/3 - 3.  Does 2 divide (-5)/(-15) + (-50)/j? 
False
Suppose -v + 4*v = -18.  Does 14 divide (14/v)/(1/(-18))? 
True
Let l = -4 + 4.  Suppose g - 2*g = l. Does 11 divide g/(-1) + 44*1? 
True
Let u(b) = 13*b**2 + 15*b - 1.  Is u(-2) a multiple of 3? 
True
Is 61 a factor of ((-13725)/20)/(-5)*4? 
True
Let l(i) = 4*i - 7.  Let n be l(13).  Suppose 0 = 5*o - 16 + 1.  Suppose -o*a + 22 + n = 2*g, -a = 2*g - 29.  Is a a multiple of 10? 
False
Suppose -2*y = 3*u - 291, 2*y - 7*y + 719 = -u.  Is 4 a factor of y? 
True
Let p(a) = a**3 + 11*a**2 + 6*a - 3.  Suppose -24 = 4*t + 8.  Is 47 a factor of p(t)? 
True
Suppose 9*r - 8*r = -4*w + 104, 612 = 5*r - 3*w.  Is 14 a factor of r? 
False
Suppose 3*v - 110 = -2*p + 25, -p + 5*v = -87.  Is p even? 
True
Is 19 a factor of 6 + (1 - 10) - -583? 
False
Let n = 531 - 426.  Is n a multiple of 5? 
True
Let p(i) = -i**2 - 20*i - 10.  Let z be p(-15).  Let d = z - 29.  Does 18 divide d? 
True
Let l(f) = -5*f - 56.  Let i be l(-16).  Let p = 15 - 3.  Suppose -i = -0*z - z + 5*r, -p = -5*z - 2*r.  Is z a multiple of 4? 
True
Let o = 0 + 4.  Suppose o*x + 15 = -25.  Is 3 a factor of (9/(-18))/(1/x)? 
False
Let v(k) = -9*k.  Let o = 7 - 19.  Is v(o) a multiple of 36? 
True
Suppose 2*n = -5*f + 6*n + 2745, -4*f - 5*n + 2155 = 0.  Is f a multiple of 14? 
False
Suppose -a + 3 = 1, 0 = -t + 2*a + 1879.  Is 23 a factor of t? 
False
Suppose -4*x = -8 - 8.  Suppose 3*s - 4*k - 61 = 68, 5*s + 2*k - 189 = 0.  Suppose -w + x*w = s. Is w a multiple of 3? 
False
Suppose -n = -3*q - q + 25, -q = -3*n - 64.  Let k = n + 26.  Suppose 5*f = -h + 7, 5*f = -k*h - 5 + 60.  Is h a multiple of 4? 
True
Suppose l + 5*v = -4*l + 680, -v = 3.  Suppose l*g = 134*g + 605.  Is 14 a factor of g? 
False
Let a be (-4)/14 - 536/(-14).  Let d be 142/(-8) + 3/4.  Let s = d + a. Is s a multiple of 13? 
False
Let y(o) = 592*o + 2.  Is y(1) a multiple of 66? 
True
Let k(w) = 8*w - 12.  Suppose 0 = -p - p + 10.  Let h be k(p).  Is 24 a factor of ((-63)/h)/(9/(-192))? 
True
Let y be (-4 - -1)/((-9)/12).  Let g be (y - 2) + 300/(-6).  Is 10 a factor of ((-80)/g)/(1/18)? 
True
Suppose 2*x = 7*x + 920.  Let z be x/12*(-3)/2.  Let g = z + -11.  Is g a multiple of 4? 
True
Let p(u) = -72.  Let j(w) = w - 289.  Let b(f) = 2*j(f) - 9*p(f).  Is 15 a factor of b(0)? 
False
Suppose -2 = 3*b - 14.  Let x be (166/b)/((-3)/(-6)).  Let v = x + -39.  Is 18 a factor of v? 
False
Suppose -2*b = 2*a + 162 - 2110, 2*b + 4*a - 1958 = 0.  Is 17 a factor of b? 
True
Let o(f) = -f - 13.  Let n be o(-11).  Let r(s) = 4*s**2 + 3*s.  Let t be r(n).  Is 6/t - 74/(-10) a multiple of 4? 
True
Suppose -2*p - 188 = -6*p.  Let d(c) = c - 28.  Let k be d(10).  Let f = p + k. Is 6 a factor of f? 
False
Let c = -163 - -588.  Is 85 a factor of c? 
True
Suppose 2*h - 3*w + 8 = -0*w, -w - 16 = 2*h.  Let n be 2/5 - (-22)/(-5).  Is 5 a factor of 42 + 9/(h - n)? 
False
Suppose c - 1 = 5.  Le