a multiple of 13?
True
Let o(p) = -10*p**2 + 6*p - 8. Let z(b) = b**2. Let u(y) = o(y) + 12*z(y). Let h be 7/((-35)/6)*5. Is u(h) a multiple of 14?
True
Let x = 0 + 2. Let r be (x/4)/(3/504). Suppose -o + 24 = -n, 2*o + 3*n - r = -o. Is 12 a factor of o?
False
Is 15 a factor of (38 - -2)/(4/(-24)*-4)?
True
Suppose -19 = 2*f - 183. Is f a multiple of 17?
False
Is 23 a factor of 1/2 - (-137)/2?
True
Suppose 22*n - 155 = 17*n. Is n a multiple of 5?
False
Let y(n) = n**2 - 1. Let i(o) = -4*o**2 - 6*o - 1. Let w(s) = i(s) + 5*y(s). Let c = 1 + 9. Is w(c) a multiple of 17?
True
Let d(l) = l**3 - l**2 - l + 7. Let u be d(0). Let a be (-282)/u - (-8)/28. Let v = -26 - a. Is v a multiple of 14?
True
Let k(f) = 5*f**3 + 2*f**2 + f. Let t be k(2). Is 30/t - (-144)/10 a multiple of 3?
True
Let m(s) = 54*s**2. Suppose 2*p - 4*i = -0*p - 6, 0 = 3*p + 4*i - 11. Is m(p) a multiple of 14?
False
Let v = 14 + -10. Suppose v*s + 0 - 57 = -k, -5*s - 3*k = -73. Is s a multiple of 10?
False
Suppose y - 34 = -y - 5*p, 4*p = 0. Does 16 divide y?
False
Let y(f) = 2*f**2 + 5*f. Does 6 divide y(-6)?
True
Let y(i) = 4*i - 3. Let x be y(3). Let b = x + -27. Is (-176)/b - (-8)/36 a multiple of 10?
True
Let u(q) = -q**2 - 6*q + 7. Let i be u(-7). Suppose i*g = 2*g - 4. Is 20/3*(g + 1) a multiple of 10?
True
Let l(k) = -4*k**2 + 9*k - 2. Let p be l(6). Let i be 2/(-11) - p/22. Suppose 10 = -i*b + 5*b. Is 10 a factor of b?
True
Suppose 0 = -3*q - q. Suppose -n + 4*o - 142 = -6*n, q = -4*n + 5*o + 130. Does 30 divide n?
True
Let x = -67 + 115. Is 5 a factor of x?
False
Is 4 a factor of (-160)/(-7)*(-21)/(-6)?
True
Suppose 4*t - 11 = 89. Does 11 divide t?
False
Suppose -s + 2*l + 1 - 2 = 0, -3*l - 6 = -4*s. Let o = s - 4. Is o/(2 - 1) + 17 a multiple of 7?
False
Suppose 2*t - 2*f - 26 = 2*f, f + 24 = 4*t. Suppose -l - 89 = -5*l - t*a, a = 4*l - 59. Does 15 divide l?
False
Suppose -37 - 114 = -5*t - 4*a, 4*a - 16 = 0. Is 2 a factor of t?
False
Suppose 0 = -3*y + 190 - 64. Is y a multiple of 14?
True
Suppose 0 = -3*g - 4*n - 17, 3*g + n = 2*g - 4. Does 5 divide (1 - g) + -1 + 11?
True
Let l(y) = 5*y**2 - 9*y + 8. Let v be l(6). Suppose -3*f - v = -5*f. Is 27 a factor of f?
False
Let u be 21*(4/6 - 1). Let y be (u/(-14))/(1/2). Suppose -y - 13 = -a. Is 14 a factor of a?
True
Let r(s) = 2*s - 6. Let u(q) = 2*q. Let y be u(3). Let b be r(y). Let p = b + 3. Does 9 divide p?
True
Let s = -53 + 103. Does 16 divide s?
False
Let m = -19 + 32. Is m a multiple of 5?
False
Let d = -6 + 6. Suppose d = 4*u + 4*f - 34 - 110, -u = -5*f - 60. Does 12 divide u?
False
Suppose -472 = -3*o + 3*u - 5*u, -784 = -5*o - 4*u. Suppose -5*r = -r - o. Is 20 a factor of r?
True
Let v(z) = z**2 - 7*z. Let x be v(7). Suppose -2*f = -x - 30. Is f a multiple of 9?
False
Let w(z) = z + 3. Does 4 divide w(5)?
True
Does 32 divide (8/(16/598))/((-2)/(-2))?
False
Let j = 32 + -12. Suppose 2*w = -0*w + j. Is w a multiple of 10?
True
Let f = 14 - 7. Suppose 2*i - f*i + 189 = 3*n, -2*i - n = -75. Does 12 divide i?
True
Let n(y) = -y + 11. Let o(m) = -m + 12. Let t(z) = 7*n(z) - 6*o(z). Is t(-7) a multiple of 12?
True
Suppose -5*n = h - 32, 8*n - 3*n + 178 = 4*h. Is h a multiple of 6?
True
Suppose 4*z = 2*m + 2, 5*z = 2*m + 5 - 1. Suppose -5*q + 4*u + 237 = 0, 7*u - 10 = z*u. Is q a multiple of 16?
False
Does 12 divide 243/(-2)*(-16)/12?
False
Let u(x) = 13*x - 1 - 11*x + 13*x. Suppose -2*n + 2 = -2*w - 0*w, -2*w + 4 = 4*n. Is 10 a factor of u(n)?
False
Let w be ((-3)/3)/(2/8). Let j(d) = -d**3 - 4*d**2 + 4. Let m be j(w). Is 13 a factor of (m*-1)/((-3)/24)?
False
Suppose -58 = -3*k + 47. Is k a multiple of 7?
True
Let r(l) = l**2 - 13*l - 7. Is r(15) a multiple of 6?
False
Let d(i) = -i. Let z be d(-8). Let j = z - -3. Is 4 a factor of j?
False
Let r(b) = b**3 + 6*b**2 + b + 8. Let t be r(-6). Suppose -t*i + 6 = -0. Suppose -6 = -2*d, -2*d + 81 = i*c + 3*d. Is 6 a factor of c?
False
Let n = 9 + -7. Suppose -3*u - 2*a = -6*a + 12, 6 = -n*u + 2*a. Suppose u = 2*r - 0*r - 22. Does 4 divide r?
False
Suppose -5*x + 168 = -x. Suppose 246 = 5*z - t, 2*z - x = z + 2*t. Suppose -c = -2*c, -5*d + 2*c = -z. Does 5 divide d?
True
Is 3 a factor of 3/(10 - -2) - (-237)/12?
False
Is 20 a factor of 1995/25 - 1/(-5)?
True
Let c(n) = n + 4. Let f(a) = 2*a**2 - 2. Let k be f(-2). Is 6 a factor of c(k)?
False
Let n(i) = i + 24. Suppose 9 + 0 = -3*c. Let b be (-4 - c)*(-1 + 1). Is n(b) a multiple of 12?
True
Let q(h) = -h**3 - 7*h**2 - h - 24. Is q(-8) a multiple of 6?
True
Suppose 4*s + 7 - 3 = 0. Does 9 divide s/7 + (-460)/(-35)?
False
Is 9 a factor of (-6)/(-51) - (-304)/17?
True
Let i(h) = 7*h**2 - h. Let b be i(1). Let p(v) = v**3 - 9*v**2 + 6*v - 8. Let n be p(b). Let u = n + 127. Does 22 divide u?
False
Let k = 16 + 23. Suppose -2*f - f = -k. Does 13 divide f?
True
Let k(x) = -x**3 - 4*x**2 - 13*x - 11. Is 34 a factor of k(-6)?
False
Let n(l) = l**3 - 2*l**2 - 5*l + 1. Let x(t) = t. Let o be x(5). Is 17 a factor of n(o)?
True
Suppose 29*x + 303 = 32*x. Is 33 a factor of x?
False
Let q(c) = -c**3 + c**2 - 8. Let n be q(0). Let t = n + 13. Is t a multiple of 3?
False
Suppose 0 = u + u. Let s(f) = f + 33. Is 17 a factor of s(u)?
False
Let b(p) = 3 - 7*p**2 + 2*p**2 - 3*p - p**3 - 2. Does 6 divide b(-5)?
False
Let s be (4 - 21/4)*24. Is 25 a factor of s/4*(-180)/27?
True
Suppose n = 5*n, 0 = 5*i - 2*n + 60. Let v be i/(-78) - 30/26. Is 5 a factor of v - (-2)/(-2) - -21?
False
Let k(y) = -3*y + 11. Is 5 a factor of k(-3)?
True
Let j be 2/3 - (-222)/(-9). Let w = -4 - j. Is 10 a factor of w?
True
Is 3/(4/(-8)*-1) a multiple of 3?
True
Does 12 divide 2544/56 - 6/14?
False
Let s = -13 + 18. Suppose -3*j - 214 = s*a - 10*a, -136 = -3*a - 2*j. Is 24 a factor of a?
False
Let j be 0 - (3 + -2 - 14). Let o = 24 - j. Is o a multiple of 5?
False
Let b(w) be the first derivative of w**3 - 2*w**2 - 3*w - 4. Does 11 divide b(-3)?
False
Let z be -3 + (-16)/(-2) - 2. Suppose -z*u + 4*s = -u, 4*s + 50 = -3*u. Is 3 a factor of (-36)/u*(-5)/(-2)?
True
Suppose 3*y - 5*p + 24 = y, 0 = 5*y + p + 6. Let z be 0/((y - -4)/2). Does 3 divide -12*(z + (-1)/2)?
True
Suppose -12*f = -15*f + 204. Does 12 divide f?
False
Suppose 0*j + 10 = j. Suppose j = -2*g + 30. Is 5 a factor of g?
True
Let j(a) = -a**3 + 2*a + 48. Does 4 divide j(0)?
True
Suppose -5*p = 5*r + 10, 4*p - r - 4 = r. Suppose 5 = -c + 7. Suppose -c*m - 8 + 60 = p. Does 17 divide m?
False
Suppose 3*b = 15, 31 = 4*x + b - 86. Does 12 divide x?
False
Suppose 8 = 2*t, 2*i = -0*t - 2*t + 274. Let j = 244 - i. Let f = j - 75. Does 18 divide f?
True
Suppose -a = -3*c + 7, 0*c - 3*a = c - 19. Let q be c + -3 - -2 - -5. Suppose 5*w - 62 = q. Is 4 a factor of w?
False
Let a(n) be the first derivative of -3*n**2 + 6*n - 6. Is 18 a factor of a(-8)?
True
Let g be 12/2 - (5 + -2). Suppose 0*v + 6 = g*v. Suppose 0 = -5*m + 10, -2*u + 5*m - 2 = v*m. Is u even?
True
Is 24 a factor of -6*4*(-8)/4?
True
Let j(m) = m + 11. Let p be j(-8). Suppose 0 = 2*y - l - 4 - p, -y - l = -2. Suppose -4*q + 2 = -y*v + 2*v, 2*q - 10 = 0. Is 9 a factor of v?
True
Suppose 13*h = 11*h + 260. Does 26 divide h?
True
Let i(k) = -3*k - 61*k**3 + 4*k**2 + 60*k**3 + k. Does 2 divide i(3)?
False
Suppose -4*d = -3*d + 41. Let f = -29 - d. Does 6 divide f?
True
Suppose 2*o + 161 = 2*r - 3*o, 5*r = -5*o + 385. Is 13 a factor of r?
True
Suppose 4*u = -l + 6*u + 164, 5*l = 5*u + 820. Is 30 a factor of l?
False
Let s(u) = -3*u + 2. Let c be s(-5). Let p = -9 + c. Is 8 a factor of p?
True
Let m(f) = -f**3 + f**2 - f. Let u be m(0). Is 14 a factor of 6/(u - (-4)/14)?
False
Let g be (-2)/(-2 + 4) - -7. Is 20/g*(4 + -1) a multiple of 7?
False
Suppose -291 = -3*y - 2*g - 14, -2*y + g = -194. Is y a multiple of 19?
True
Let w be ((-1)/5)/(2/(-10)). Suppose 2*m - 25 + w = 0. Is m a multiple of 6?
True
Let x(r) = 4*r**2 + 2. Let o(d) = -d**2 + 10*d + 2. Let a be o(9). Let t = -8 + a. Is 19 a factor of x(t)?
True
Let m(a) = -a**3 - 8*a**2 - 6*a - 1. Let j be 32/6*(-3)/2. Let q be m(j). Suppose 4*d = q + 25. Does 10 divide d?
False
Let g = 4 - 8. Let s(w) = w**2 + 5. Does 21 divide s(g)?
True
Let w = 12 - -8. Is 10 a factor of w?
True
Suppose 0 = -2*k + 4*f + 6, 0*k + 4*f + 9 = 3*k. Suppose -5*q + 10 = -k*q. Suppose 142 = q*u - w, 5 = 4*w + 13. Is u a multip