o + o. Is 14 a factor of o? 
False
Suppose -25 = -6*q + q. Suppose q*m - m = 16.  Suppose 0 = -3*v + 2*t + 18, 5*v - 4 = v - m*t.  Does 2 divide v? 
True
Suppose -170 - 10 = -6*x.  Suppose i + x = 2*i.  Does 9 divide i? 
False
Let b(h) = -h - 1.  Let n be b(-1).  Suppose n = -6*x + 3*x.  Suppose x = a + 4, -2*p = 3*p - 2*a - 98.  Does 18 divide p? 
True
Let m = -29 - -2.  Suppose 10*n = -5*n + 1305.  Let o = m + n. Is 20 a factor of o? 
True
Suppose 2*h + 3*m = h - 15, -4*m = 12.  Is 19 a factor of ((-9)/h)/(6/104)? 
False
Suppose 0*j - 16 = -2*j.  Let c = j - 6.  Does 15 divide 6*20/6 + c? 
False
Does 27 divide 1605/30 - 2/(-4)? 
True
Suppose -4*f - o + 38 = 0, -36 = -5*f + 2*f + 3*o.  Let i = 64 + -33.  Suppose 0 = 3*l - i + f. Is 3 a factor of l? 
False
Let b(p) = 5*p - 57.  Does 18 divide b(18)? 
False
Suppose 3*g = 15, 2*g - 51 - 4 = -3*z.  Is 6 a factor of (-1)/3 + 185/z? 
True
Suppose 2*o - 8 = -126.  Let j = 25 + o. Is 4 a factor of j/(-8) - 2/8? 
True
Let s(f) be the third derivative of f**4/4 - 3*f**2.  Does 4 divide s(2)? 
True
Suppose -5*f = 33 - 3.  Let r(c) = c + 8.  Let i be r(f).  Is (-3 + -4 + i)*-1 a multiple of 4? 
False
Let u = -6 + 8.  Does 4 divide 1/u*2*8? 
True
Let r be -1*(-4 + (-1 - -2)).  Let m = 13 + -33.  Let g = r - m. Is g a multiple of 8? 
False
Suppose -4*q + 89 = -x, -4*x + 1 = -5*x.  Let p = 33 - q. Does 11 divide p? 
True
Let v = 2 - -11.  Is v a multiple of 13? 
True
Let x(j) = -1 + 1 + j - 2.  Let o be x(2).  Suppose o*t = 5*b + t - 148, 3*b - 84 = -3*t.  Does 11 divide b? 
False
Let x = 16 + -8.  Suppose -5*s - x = -s.  Does 8 divide 6/(-3)*-5 + s? 
True
Let n(z) = 14*z - 13.  Let u be n(6).  Suppose u = 5*r - 19.  Is 18 a factor of r? 
True
Suppose -3*a = -m + 10, 4*a + 22 = 5*m - 6.  Is m a multiple of 3? 
False
Let z(i) = 5*i - i + 8*i - 1.  Is z(1) a multiple of 2? 
False
Let u(y) = y**2 - 7*y + 5.  Let k be u(6).  Is (-14)/k - (8 + -8) a multiple of 7? 
True
Suppose -4*r + 236 = -o, -5*r + o + o = -292.  Does 4 divide r? 
True
Let t be 120/28 - 4/14.  Suppose -2*d + t + 4 = 0.  Suppose d*w - 20 = 3*w.  Does 10 divide w? 
True
Suppose 11 = -2*m - 1.  Let h be 3/m*2 + 50.  Suppose 2*f - h = -3*w, 1 = -3*f - 5*w + 74.  Is 7 a factor of f? 
False
Suppose 319 + 677 = 3*f.  Does 45 divide f? 
False
Let m = -8 + 4.  Let i = 29 + m. Is i a multiple of 5? 
True
Let m(p) be the second derivative of -p**3/6 - p. Let l(h) = -8*h**3 + h**2 - 1.  Let i be l(1).  Is 8 a factor of m(i)? 
True
Let x = -28 - 2.  Let p = -15 - x. Does 15 divide p? 
True
Suppose 0 = -4*l + 2*l.  Suppose 2*d + 5*g - 89 = 0, l*d + 2*g = 3*d - 124.  Is 14 a factor of d? 
True
Suppose 132 + 32 = 2*n.  Does 10 divide n? 
False
Let k(t) = 38*t - 58.  Is k(5) a multiple of 33? 
True
Let p be -86 - (-4)/(-8)*-4.  Let v = -45 - p. Is 11 a factor of v? 
False
Let d(h) = h**2 + 4*h + 5.  Let l be d(-4).  Let q = l - -13.  Suppose 18 = 4*f + 3*b - b, 2*f - q = 2*b.  Is f a multiple of 3? 
True
Let o(t) = t**2 + 7*t + 6.  Let y be o(-6).  Suppose -4*a + 6*a - 34 = y. Does 7 divide a? 
False
Let o = -2 - -2.  Let l be -2 + 1 + o + -2.  Is ((-3)/l - 0)*13 a multiple of 13? 
True
Suppose 4*p + g = -81 + 380, -5*p + 3*g = -378.  Is p a multiple of 23? 
False
Let x(j) = j**2 + j + 5.  Let d be x(0).  Suppose -5*k + 3*c = c - 100, -d*k + 120 = 2*c.  Is k a multiple of 16? 
False
Let j(q) = -15*q - 19.  Is 15 a factor of j(-6)? 
False
Let y(j) be the first derivative of -1/3*j**3 - 3 - 10*j + 11/2*j**2.  Does 5 divide y(8)? 
False
Suppose 5*q - 151 = 89.  Is q a multiple of 12? 
True
Does 8 divide (23/(-4))/((-17)/4 - -4)? 
False
Suppose 0 = 5*k - 12 - 3.  Suppose -5*f + 37 = k*x, 2*f = -3*x + f + 53.  Is 11 a factor of x? 
False
Let s(p) = -39*p - 6.  Does 13 divide s(-2)? 
False
Let a = -26 + 33.  Is a a multiple of 6? 
False
Suppose -5*q - 1 = -4*q.  Let f(l) = l**2 - 2*l - 1.  Let i be f(q).  Suppose -z + 20 = p, 3*p - i*p = 1.  Does 9 divide z? 
False
Suppose -107 = -2*h - h + m, -3*h - 3*m = -123.  Suppose 3*j + 5*f = 39, f + h + 28 = 5*j.  Suppose -4*x - 16 = 0, -4*x + j = 4*g - 3.  Is 7 a factor of g? 
False
Let j(i) = i**2 - 3*i - 1.  Let p = 3 - -2.  Is j(p) a multiple of 4? 
False
Suppose -3*k - 5 = 2*f - 0, -f = -2*k - 1.  Let r be -2 + -1 - -2 - f. Suppose r*d = -5*d + 65.  Is d a multiple of 13? 
True
Let s = 5 + 1.  Suppose -15 = -l - s. Is l/3 - (2 + -2) a multiple of 3? 
True
Suppose -5*p = v + 14, -3*v - 5*p - 15 + 3 = 0.  Is 23 a factor of (-129)/(-3)*v + 3? 
True
Suppose 2*y + 6 + 0 = 0.  Let d = y + 23.  Is 15 a factor of d? 
False
Let a(f) = 4*f - 2 + 4*f + 2*f - 1.  Is 10 a factor of a(2)? 
False
Suppose 3*a = 7*a - 32.  Suppose -x + a + 1 = 0.  Is x a multiple of 5? 
False
Let b = -28 - -47.  Suppose b = -5*o + 174.  Is 12 a factor of o? 
False
Is (4 - (3 + -2)) + 2497/11 a multiple of 46? 
True
Let v(r) = -12*r**3 + r**2 + r + 1.  Let p be v(-1).  Suppose 0 = -2*n - 2, n = -0*k + k - p. Is 6 a factor of k? 
True
Let r = 6 + -4.  Let g(q) = -2*q**3 - 2*q**2 + q + 1.  Let v be g(r).  Let c = v + 29.  Is 4 a factor of c? 
True
Let t be (0*(-2)/(-4))/(-2).  Suppose t = -4*k + 13 - 53.  Let l = 18 + k. Does 4 divide l? 
True
Suppose -531 = -4*l + 5*y, -4*l - 2*y - 534 = -8*l.  Does 19 divide l? 
False
Suppose -5 = 4*p - 13.  Let u be 5 - 2*1/(-2).  Suppose u*l = p*l + 72.  Does 9 divide l? 
True
Let v(x) be the third derivative of 25*x**4/24 + 2*x**3/3 - 10*x**2.  Is v(4) a multiple of 26? 
True
Suppose w = -1 - 0.  Let v be (21 - w)*1/(-2).  Let k(i) = i**2 + 7*i - 14.  Is k(v) a multiple of 23? 
False
Suppose -2*n + 24 = -0*n.  Is n - (-4)/8*0 a multiple of 6? 
True
Let b be 2/4 + (-3)/6.  Let s be 3*(130/6 + b).  Suppose s - 5 = 4*i.  Is i a multiple of 10? 
False
Suppose -h + 0 = -1.  Let z be (-3 + h)/(1/(-1)).  Suppose 3*d - 27 = -z*t, -5*t = 3*d - 4*d - 42.  Is t a multiple of 9? 
True
Let w(h) = h**2 - 8*h.  Let i = -5 + 13.  Let s be w(i).  Suppose -4*u - 5*f + 164 + 18 = s, 2*f = -3*u + 140.  Is u a multiple of 16? 
True
Let b(a) = a**3 - a**2.  Let s(w) = 7*w**3 - 5*w**2 + 4.  Let x(h) = 6*b(h) - s(h).  Let d be x(0).  Let z = d + 9.  Does 5 divide z? 
True
Suppose -20 = -v + 18.  Does 4 divide v? 
False
Let x(i) = i**3 - i**2 - 7*i + 2.  Is x(5) a multiple of 18? 
False
Suppose 0 = 5*a - 10.  Let h(p) = 0*p**2 - p**2 + 5*p**a - 2*p + 1.  Is 2 a factor of h(1)? 
False
Let b(s) = s**3 + 2*s**2 + 2.  Is 2 a factor of b(0)? 
True
Let w(q) = 5*q - 2 - 6*q - 5*q.  Let f be w(-6).  Let a = f - 12.  Is a a multiple of 22? 
True
Is 21 a factor of 0/5 - (-61 + -2)? 
True
Suppose 0 = 4*m - 4 + 28.  Let h be (-1)/2 - 33/m. Suppose -h*u = 3 - 33.  Is 3 a factor of u? 
True
Let k be ((-136)/6)/((-14)/84).  Suppose 5*b - 143 = -3*t + 102, 4*t - k = -3*b.  Does 26 divide b? 
True
Let s = 391 + -248.  Is s a multiple of 13? 
True
Let o(b) = 25*b**3 - 2*b**2 + 1.  Let a be o(1).  Suppose 0 = -4*n - 2*h + 70, -51 = -5*n - 3*h + 39.  Let j = a - n. Is 5 a factor of j? 
False
Suppose 124 = -3*q - 8.  Let y = q - -65.  Is y a multiple of 11? 
False
Let y(w) be the second derivative of -w**5/5 - w. Suppose 6*o - 2*o = -8.  Is y(o) a multiple of 16? 
True
Suppose 357 = 3*s - 279.  Is 53 a factor of s? 
True
Suppose -1 = -0*i - i. Suppose o - i = -0*o.  Is (-1 - -24) + (-2)/o a multiple of 12? 
False
Let b(x) = x**3 + 9*x**2 + 7*x - 3.  Let m(k) = -3*k - 2.  Let r be m(2).  Let a be b(r).  Let g(j) = -j**2 + 5*j + 3.  Is g(a) a multiple of 2? 
False
Let q(d) = 6*d**3 - d**2.  Let l be q(1).  Suppose 5*c - 63 = -s, l*c - s - 17 = 40.  Does 4 divide c? 
True
Let f = 2 + -4.  Let t(l) = 2*l**2 + 2*l - 2.  Let k be t(f).  Is 2 a factor of ((-4)/k + 0)*-2? 
True
Let t = 3 - 0.  Let g be t/2*8/6.  Suppose 5*k - 183 - g = 0.  Does 14 divide k? 
False
Let t(o) = -o**2 + 12*o.  Let m be t(6).  Suppose m = 2*f - 12.  Is 10 a factor of f? 
False
Let b(u) = u**2 - 11*u + 10.  Let v be b(10).  Suppose -1 = y - v. Does 8 divide -1 + (-16)/y + 1? 
True
Let d(v) = 7*v - 9 + 2*v - 4*v.  Does 5 divide d(4)? 
False
Let o be 4/(-6)*(-45)/6.  Suppose -3*d + 58 = -d + 4*l, -l + 136 = o*d.  Does 9 divide d? 
True
Let o = -11 + 14.  Suppose s + s + 3*n = -3, -3 = 3*n.  Does 3 divide (-2 + 3 - s) + o? 
False
Suppose o - 35 = 32.  Is o a multiple of 9? 
False
Let d = -124 + 252.  Does 16 divide d? 
True
Let d = 4 - 3.  Let l = d + 1.  Let a = l - -7.  Does 4 divide a? 
False
Let n(y) = 2*y**3 - 4*y**2 + 6*y - 4.  Let z be n(4).  Let h = z - -51.  Suppose -5*x + h = 50.  Is x a multiple of 9? 
False
Let m(s) = -s - 6.  Let n be m(-6).  Suppose 2