q + 12 = 4*t. Is 3 a factor of t?
False
Suppose -4*k + 16 = -0. Is k a multiple of 4?
True
Let a = -4 - -4. Suppose a = -o - n + 31, -n + 0 = 1. Does 13 divide o?
False
Suppose 2*x = v + 72, 3*x = -3*v - 2*v + 95. Is x a multiple of 5?
True
Suppose -g - 4*c = -169, 5 - 1 = 4*c. Is 15 a factor of g?
True
Suppose -3*l + 4*n = l - 160, -5*n - 20 = 0. Let w = l + -50. Is 3 a factor of 77/w*-1*2?
False
Let k(v) = 5*v**3 + 3*v**2 - 3*v. Does 23 divide k(2)?
True
Does 12 divide 140 - (-1 - 0 - 3)?
True
Suppose 0 = -w + 2*h - 24, -3*h - h = -4. Let u = 38 + w. Is 8 a factor of u?
True
Suppose -17 + 2 = -5*f. Suppose -v - 103 = -f*l, -v - 1 = -3. Does 12 divide l?
False
Suppose 9 = 2*s + 1. Suppose 0 = s*c + c - 75. Does 15 divide c?
True
Let z(n) be the third derivative of -n**5/60 - n**4/3 + n**3/2 - 3*n**2. Let l be z(-7). Suppose 0 = 3*f - 1 + l, f - 29 = -4*o. Is o a multiple of 8?
True
Suppose -14*w = -18*w + 504. Does 9 divide w?
True
Suppose 0 = 2*n - 5*j - 82, j - 3 = -1. Is 13 a factor of n?
False
Suppose 0 = 3*z - 7 - 5. Suppose -4*c + 4*r + 32 = 0, z*r = -0*r. Suppose 3*h = c*h - 25. Does 5 divide h?
True
Is 12 a factor of 17 + 147 + (-3)/((-6)/8)?
True
Let z(p) = 6*p**2 - 7*p - 1. Does 8 divide z(3)?
True
Let v(l) = l + l + 3 - 1. Is v(2) even?
True
Let m(a) = -2*a**3 - a. Let l(k) = 3*k**3 + 2*k. Let s(w) = -2*l(w) - 5*m(w). Let c be s(1). Suppose 0 = -i - z + 2, -c*z = i + 2*i - 4. Is 3 a factor of i?
True
Suppose -5*r + s = -854, 3*s = -r - 48 + 222. Does 18 divide r?
False
Suppose f - 5*f = 5*a - 115, 0 = -a - 4*f + 39. Is 5 a factor of a?
False
Let t(u) be the second derivative of 3*u**4 + u**3/6 - u**2/2 - 2*u. Does 12 divide t(1)?
True
Let a(o) be the third derivative of -o**8/20160 - o**7/630 + o**6/120 + o**5/30 - 3*o**2. Let q(l) be the third derivative of a(l). Is 13 a factor of q(-5)?
False
Let m be (-4)/6*-3 + 1. Suppose 2*i + 3*r + 2 = 0, -i + m*r = -0*r - 17. Suppose o - 2 = i. Does 7 divide o?
True
Let l(k) = -k**2 - 8*k - 7. Let r be l(-6). Suppose -3*g - 5*v = -57, 31 + 24 = 5*g - r*v. Does 7 divide g?
True
Suppose -4*o = -7*o + 261. Is o a multiple of 17?
False
Let l be ((-24)/4)/2 + 3. Suppose -3*v + 7*v = 112. Suppose -h - h + 5*c + v = l, 0 = -4*h - 4*c + 56. Is h a multiple of 7?
True
Suppose -11 = j + x, -3*x = 2*x. Suppose -5*h - 3*v + 108 = 0, 5 = 5*v - 0*v. Let b = h + j. Does 10 divide b?
True
Let l(h) = -h**3. Let m(z) = -2*z**3 - 4*z**2 - 5*z + 3. Let s(n) = 3*l(n) - m(n). Let x be s(5). Is 19 a factor of (-58)/(-3) - (-1)/x?
True
Let o(r) = r**3 + 6*r**2 - 5*r + 16. Is o(-7) even?
True
Let x(u) be the first derivative of -u**3/3 + u**2/2 + 48*u - 4. Is 12 a factor of x(0)?
True
Let x be 2/((-2)/3) + 4. Let d(k) = 21*k**2 - k + 1. Let r be d(x). Does 15 divide (0 - 4)/((-2)/r)?
False
Suppose -4*u - 13 = -w, -4*u = -u + 3*w + 21. Is (-8)/12*-21 + u a multiple of 4?
False
Let o(u) = 4*u**2 - 2*u - 2. Let r(g) = -g + 8. Let c be r(9). Let t(y) = -2*y**3 - 2*y - 1. Let a be t(c). Is 14 a factor of o(a)?
True
Let w be ((-20)/(-30))/((-2)/(-24)). Is 2/(w/228) + 3 a multiple of 15?
True
Suppose -o - 4*o + 306 = g, -5*g - 268 = -4*o. Is 23 a factor of o?
False
Let n(f) be the second derivative of 47*f**6/720 - f**4/12 + f. Let b(q) be the third derivative of n(q). Does 17 divide b(1)?
False
Let l(d) = -123*d - 3. Let p be l(-3). Is 12 a factor of p/15 - 2/5?
True
Does 33 divide -3*((-588)/(-9))/(-2)?
False
Let u(x) = x**3 + 3*x**2 - 3*x - 2. Let a be u(-2). Let j(p) = -p**3 + a*p**2 - p + 6*p**3 - 4*p**3 + 3 + 8*p. Is 3 a factor of j(-7)?
True
Let h(z) = 9*z**2 - z. Let g be 3*3*(-1)/(-9). Does 4 divide h(g)?
True
Suppose -2*z - 10 = 2*t, 4*t + 2*z + 16 = -3*z. Let i be 2/(3/t + 1). Suppose i*a + 2*a - 20 = 0. Is a a multiple of 3?
False
Let p = 25 + 6. Does 5 divide p?
False
Let v(o) = -o**3 + 2*o + 3. Does 12 divide v(-3)?
True
Let r(w) = w**3 + 5*w**2 + 3. Let f be r(-5). Is f/(2 - -1)*34 a multiple of 15?
False
Let o = -1 + -1. Is -1 - -32 - o*1 a multiple of 11?
True
Let c(d) = d + 7. Let p be c(-6). Let x = p + 6. Does 7 divide x?
True
Suppose 0 = 4*l - z - 0 + 3, 15 = l + 5*z. Suppose -v - v + 26 = l. Is 6 a factor of v?
False
Let w = 6 + -3. Suppose -28 = -w*g + 230. Suppose -5*y - 11 + g = 0. Does 15 divide y?
True
Let w(t) = 12*t + 6. Is w(8) a multiple of 34?
True
Let o = -90 - 36. Is 8 a factor of (o/(-49))/(1/7)?
False
Let t = 70 + -44. Does 14 divide t?
False
Let u be (-1*3)/(1/(-9)). Let a(h) = -h**3 - 6*h**2 + 15*h + 1. Let k be a(-8). Let s = u - k. Is 18 a factor of s?
True
Let u(r) = -2*r + 1. Let b be u(-2). Suppose 27 - b = -2*i. Let x = 22 + i. Is 5 a factor of x?
False
Let p be 0 - (5 - -1) - -1. Let z = p - -10. Is 2 a factor of z?
False
Let f(n) = 5*n**3 - 2*n**2 + n. Let m be f(1). Let d be (4/10)/((-2)/(-10)). Suppose -2*t - 2*o + m*o + 46 = 0, -10 = d*o. Is t a multiple of 18?
True
Suppose 3*a - 143 + 5 = 0. Is 9 a factor of a?
False
Let b = 5 - 7. Is 5 a factor of 23 + (b - 1) + 0?
True
Suppose v + 2372 = 5*l, -427 = -2*l - 3*v + 515. Does 13 divide l?
False
Let m(p) be the third derivative of -p**5/60 - p**4/4 + p**3/6 + 2*p**2. Does 3 divide m(-5)?
True
Let b = 90 - 44. Does 26 divide b?
False
Let t = -30 + 45. Is 5 a factor of t?
True
Is (-9)/(-12) + (-831)/(-12) a multiple of 14?
True
Suppose 0 = -4*p - 8, -z + 130 = -0*z - 3*p. Is 30 a factor of z?
False
Suppose -4*l - 37 - 15 = 0. Suppose 0 = -5*f - c + 108, 27 = 2*f - 4*c - 3. Let m = f + l. Is m a multiple of 8?
True
Suppose -5*l = -3*z + 24, 4*z + 0*z - 5*l = 27. Does 3 divide z?
True
Let w(s) = s**2. Let u = 13 - 18. Is w(u) a multiple of 10?
False
Let b(t) = t**2 + 5*t + 2. Let w be b(-4). Is 6 a factor of (3/w)/((-3)/44)?
False
Let c = 199 - 132. Suppose -109 - c = -4*n. Is n a multiple of 21?
False
Let g be (-19)/(-3) - (-2)/(-6). Let y(d) = g*d + 36 - 2*d - 4*d - d. Is y(0) a multiple of 18?
True
Let o = 32 + -34. Let f be 2/(-4) - (-66)/4. Let l = o + f. Does 13 divide l?
False
Let p = 17 - 2. Is p a multiple of 5?
True
Suppose -3*u - u - 480 = -5*r, 5*r - 490 = 2*u. Suppose r = 3*g + 2*g. Is 10 a factor of g?
True
Is 5 a factor of -58*(-1)/2 + 1?
True
Let j = -5 - -9. Suppose 3*d - p - 14 + 7 = 0, j*d = 3*p + 1. Suppose 0 = d*o - 3*w - 123, 48 = 5*o + 4*w - 98. Is 15 a factor of o?
True
Let s be 1/((-3)/6*-1). Let x(m) = 2*m**3 - 2*m**2 + 2*m - 2. Is x(s) a multiple of 10?
True
Is 5 a factor of (-1)/((-4)/(-56)*-1)?
False
Let w(j) be the third derivative of -j**6/120 - j**5/6 + j**4/3 + 4*j**3/3 - j**2. Is w(-11) a multiple of 17?
False
Suppose 0 = -3*k - 0*k. Suppose -5*i - 179 + 659 = k. Suppose 2*c + 4*d - 1 - 47 = 0, -3*c + 2*d + i = 0. Does 10 divide c?
True
Suppose 0*s + s - 84 = 0. Does 28 divide s?
True
Let b(s) = 4*s - 1. Let c = -12 + 17. Does 19 divide b(c)?
True
Let b(v) = 3*v - 2. Let x be b(6). Suppose -x = -2*u + 12. Is 14 a factor of u?
True
Let k be (-4)/(-8) - 77/(-2). Let t = k - 15. Is t a multiple of 8?
True
Let d(h) = 6*h. Let z be d(1). Is ((-16)/(-6))/(2/z) a multiple of 5?
False
Suppose 4*z + 2 = 5*z. Suppose -10 + 4 = z*s. Is -1*(3/s - 15) a multiple of 8?
True
Let g = -7 + 13. Is 7 a factor of (-2)/6 + 212/g?
True
Let q = 175 + -14. Does 7 divide q?
True
Let p(n) = n. Let k be p(-5). Let b = k - -7. Is (-4)/b + (0 - -31) a multiple of 12?
False
Suppose -5*y - 4 = -2*y - 4*t, 0 = y - 4*t + 12. Let z = -26 - -48. Suppose o + y - z = 0. Does 9 divide o?
True
Let u = -70 - -50. Let q be (-27)/6*u/(-3). Is 8 a factor of (-288)/q - (-2)/5?
False
Suppose h = 3*o - 202, 2*h = 3*o + 75 - 275. Is o a multiple of 21?
False
Let u(s) = 4*s - 32. Does 8 divide u(14)?
True
Suppose -v = 4*y + 15, v - y = -2*v - 19. Is 2 a factor of ((-2)/6)/(v/147)?
False
Let i = -8 + 11. Suppose 15 = i*o - 18. Is 3 a factor of o?
False
Let u = 436 - 245. Is 35 a factor of u?
False
Let d(z) = -4*z + 1. Let t be d(-1). Let l be (t + 3)*(-10)/2. Let a = 56 + l. Is 10 a factor of a?
False
Suppose 2*a - 119 = 7. Is a a multiple of 6?
False
Let d(h) = h**3 + 2*h**2 - 3*h - 3. Let c be d(-2). Suppose 2*y - c*q + 4*q - 53 = 0, 0 = -y + 3*q + 16. Does 25 divide y?
True
Let s(x) = -x**3 + 8*x**2 + 7*x - 5. Let d be s(7). Does 18 divide 6/9*d/2?
False
Suppose 36 = x + 3*x. Is x a multiple of 6?
False
Let m(c) = -61*c**3 - c**2. Let z 