= 4 + -4. Let c = 15 - q. Is 7 a factor of c?
False
Let y = 14 - 3. Is y a multiple of 3?
False
Let k(r) be the third derivative of 2*r**4/3 + 7*r**3/6 - 2*r**2. Let a be k(5). Suppose -24 = 3*d - a. Is 10 a factor of d?
False
Suppose -w + 5*w = 8. Suppose -3*l + 78 = w*v, l - 3*v = -3*l + 104. Is 7 a factor of l?
False
Let o = -19 + 55. Is 9 a factor of o?
True
Suppose 7*n - 161 = 91. Is 12 a factor of n?
True
Let j(r) = r**2 + 8*r - 29. Does 9 divide j(-13)?
True
Suppose 0 = 5*f + 2*b - 333, -4*f - 3*b - 70 = -5*f. Does 13 divide f?
False
Let f(g) be the third derivative of g**5/60 - 5*g**3/3 - g**2. Is f(5) a multiple of 6?
False
Let a(y) = -2*y**2 - 4*y + 1. Let p be a(-3). Let s be (p + 2)*2/6. Is (-99)/(-6)*(s - -3) a multiple of 12?
False
Does 24 divide 148/6 - (-2)/(-3)?
True
Suppose -3*u + 320 = 2*u. Suppose -a - 2*l = -32, 2*a - 5*l - 9 = u. Is a a multiple of 18?
False
Suppose 9*h + 3*v = 4*h - 66, 2*h + 34 = -5*v. Let a = h - -37. Does 14 divide a?
False
Let u(s) = s**3 + 6*s**2 + 5*s + 2. Is 7 a factor of u(-3)?
True
Let p(u) = u**2 + 2*u + 1. Let a be p(-1). Suppose i = -a*x + x - 13, -5*x - 4*i + 47 = 0. Does 3 divide x?
False
Suppose 0 = 6*d - 10*d + 320. Is d even?
True
Let s(t) = -8*t + 4. Let n(h) = -7*h + 5. Let p(m) = 3*n(m) - 2*s(m). Let v be p(5). Let q = v - -28. Is q a multiple of 4?
False
Let c = -111 - -172. Let b(l) = -4*l + 7. Let y be b(5). Let r = y + c. Is r a multiple of 16?
True
Let b be (-1 + -295)/(3 + -4). Suppose -5*w + b - 111 = 0. Does 15 divide w?
False
Suppose -8*w + 3*w = -490. Is w a multiple of 13?
False
Let c(x) = -5 + 5 - x. Let r be c(2). Does 18 divide -2*(-4 - r)*5?
False
Let v = -11 + 16. Let j(f) = f**2 - 3*f + 2. Let l be j(3). Suppose 3*m - 33 = a, l*m = v*m - 4*a - 33. Does 5 divide m?
False
Suppose -14*x = -6*x - 536. Is x a multiple of 3?
False
Let j be 203/14 - (-6)/4. Let g(y) = 2*y - 19. Is 13 a factor of g(j)?
True
Is 456/36 - (-4)/3 a multiple of 6?
False
Suppose -5*q + 218 = -132. Let b = q + -11. Is b a multiple of 15?
False
Let k = -68 + 79. Is 11 a factor of k?
True
Let g be 502/4 + (-2)/(-4). Let c be g/5 - 2/10. Let v = -4 + c. Is v a multiple of 16?
False
Let c = 14 + -9. Let v(a) = a + 3. Let r be v(-3). Suppose r*w + 9 = -3*w + c*i, 5*i = 15. Is 2 a factor of w?
True
Suppose -7 + 3 = -2*a. Is 7 a factor of 15 - (12/a)/(-3)?
False
Suppose -10 = -z + 3*n, -8*z = -3*z + n - 114. Does 12 divide z?
False
Let b(g) = g**3 - 7*g**2 - 14*g + 9. Let j be 12/(-3) + 2 + 11. Is b(j) a multiple of 23?
False
Suppose -5*t + 88 = -j, -2*t - 5*j - 44 = -5*t. Suppose -3*z + 0 = -t. Does 4 divide z?
False
Let t = -83 + 140. Is 13 a factor of t?
False
Let w(l) = 10*l**3 + l - 2. Is w(1) a multiple of 3?
True
Suppose 10*x - 220 = 5*x. Is x a multiple of 9?
False
Suppose 3*u = 2*i + 13, -i + 15 = -4*i. Is 9 a factor of u/1*(10 - -5)?
False
Let i(n) = -n**3 + 7*n**2 - 5*n - 2. Suppose -x + 4*c = -25, x - c = -0*c + 10. Suppose 0 = -x*j - 8 + 38. Is i(j) even?
True
Let d(o) = o**2 - o + 1. Let z be d(1). Let c be 0 - (-2 + z)*-6. Let v = c - -13. Is v even?
False
Let t be 132/9*15/2. Suppose -2*q + t - 14 = 0. Is q a multiple of 24?
True
Suppose 4*o + 0*o = 96. Does 12 divide o?
True
Let m(q) = 2*q**2 + 3*q. Let v(j) = -j**3 + 2*j - 2. Let x be v(2). Let k(n) = -2*n**2 - 3*n. Let w(f) = x*k(f) - 5*m(f). Is 4 a factor of w(-3)?
False
Let s = -2 + 1. Let o be 58 - (-1 - (s - 2)). Suppose -3*j + o = j. Is 10 a factor of j?
False
Let s = -7 + 38. Suppose -11 = -f + s. Does 14 divide f?
True
Let o(i) = -i**3 + i + 17. Suppose 5*x = -5*u + 30, -2*x - 2*x = -3*u - 10. Suppose 0*f + 5 = -f - 5*m, -2*m = x*f + 2. Is o(f) a multiple of 9?
False
Let n(y) = -3*y**2 - 4*y + 0*y**2 + 5*y. Let l be n(-1). Let j = 35 + l. Is j a multiple of 11?
False
Let f be (1 + 0)/((-3)/12). Does 13 divide f + 1 - (-96)/6?
True
Let g = 6 + -14. Let m = g - -47. Is m a multiple of 11?
False
Is (-1388)/(-6) - 6/(-18)*-1 a multiple of 33?
True
Is 6 a factor of (384/(-18))/((-6)/9)?
False
Let l(v) = 0*v - v - 2 - 2. Let s be l(-4). Suppose 3*k - 2*u - 53 = -6, -2*k + 4*u + 26 = s. Does 7 divide k?
False
Suppose 136 = 4*q - 32. Suppose 3*r = 5*r - q. Is 10 a factor of r?
False
Let u(n) = n**3 - 3*n**2 - n + 1. Let d(p) = p**2 + 3*p - 1. Let c be d(-4). Let w be u(c). Let m(l) = -6*l. Is 6 a factor of m(w)?
True
Suppose -3*h - 3*c - 144 = 0, -h + 4*h + 124 = 2*c. Let b = -21 - h. Is 13 a factor of b?
False
Suppose 11*t - 819 = 138. Is t a multiple of 15?
False
Let s(j) = j - 2. Let c be s(-6). Let h be (-12)/(-16) - 58/c. Suppose -r = r - h. Is r a multiple of 4?
True
Let r(w) = -w**3 + 5*w**2 + w - 2. Let t be r(5). Suppose 0 = 2*p + 4*k + 12, -1 = -4*p - t*k. Suppose 0*s + 11 = s - p*l, 3*s = -5*l + 33. Is 6 a factor of s?
False
Suppose -12*j + 16*j = 264. Is 33 a factor of j?
True
Let w = -20 + 66. Is 23 a factor of w?
True
Suppose p - 193 = 256. Is p a multiple of 61?
False
Let m(u) be the first derivative of 67*u**2/2 - 2*u - 3. Is m(1) a multiple of 21?
False
Let r = 290 + -155. Is r a multiple of 26?
False
Let w(a) = a + 56. Let n be w(0). Suppose -v + 4*v + 99 = 0. Let b = v + n. Is b a multiple of 11?
False
Let x = 213 - 127. Does 15 divide x?
False
Let h(z) = 2*z**2 + 3*z. Let d be h(-3). Suppose -4*n = -d*n + 40. Let v = 18 - n. Is 4 a factor of v?
False
Suppose 3*u - 48 = -0. Let d = u - -35. Is d a multiple of 12?
False
Let c(u) = -u + 7. Let h be c(9). Let s be -1*(-4)/h - -19. Is s*2*(-1)/(-2) a multiple of 17?
True
Let c(j) = j**3 - 2*j**2 - j - 4. Let u be c(3). Suppose -t - t + u*d + 20 = 0, -3*t = d - 22. Suppose 4*n + 32 = 2*l - 0*l, l = -2*n + t. Does 5 divide l?
False
Suppose -c + 0*c + 4 = 0, -3*f - c + 472 = 0. Is f a multiple of 13?
True
Let q = 103 - 71. Let n = q - -4. Is n a multiple of 15?
False
Let d(a) = 2*a**3 - 2*a**2 - 4*a - 1. Let k be d(-3). Let m = k - -98. Suppose -s - 2*i = -0*s - m, 5*s + 3*i - 150 = 0. Is s a multiple of 27?
True
Let n(r) = r**3 + 2*r**2 - r - 1. Let t be n(-1). Let q be -1*t*(-24)/6. Suppose u + q*l - 28 = 0, -u - 3*l = -3*u + 89. Is u a multiple of 20?
True
Let x(w) = -2 + 6 - 7*w + 4*w. Let c = -10 - -7. Does 12 divide x(c)?
False
Let d(s) = 2*s. Let n(o) = -3*o. Let i(j) = -3*d(j) - 4*n(j). Is 2 a factor of i(1)?
True
Let g = 1044 + -730. Is 7 a factor of g?
False
Is 14 a factor of ((-48)/(-40))/(1 + (-106)/110)?
False
Suppose -5*u + 3*y = -1909, 5*u - 4*y = -3*y + 1913. Suppose 277 = 4*s - u. Suppose -g = 2*g + c - 111, 5*g - 5*c = s. Is 15 a factor of g?
False
Let u be (-2)/10 - 63/(-15). Suppose 0*c = u*c - 112. Is c a multiple of 7?
True
Is (-495)/(-2) - ((-33)/(-2))/(-11) a multiple of 24?
False
Let j(m) = -m - 1. Suppose 0 = -z + 9 + 1. Suppose -3*t - 5*b = 10, 4*t - 5*t + 5*b = z. Is j(t) even?
True
Suppose 4*c = 1025 - 105. Suppose -3*k = -2*b - 29 + 134, 5*b = k + c. Suppose 2*w - b = -9. Is 13 a factor of w?
False
Let y = 127 - 40. Let l = y - 24. Does 27 divide l?
False
Let k be (3 + -6)/(-3)*-1. Let g(q) = 4*q**3 - 4*q**2 + 4*q - 32. Let m(d) = -d**3 + d**2 - d + 1. Let b(u) = k*g(u) - 5*m(u). Does 8 divide b(0)?
False
Is 15 a factor of ((-4)/(-2))/(-2) + 74?
False
Suppose -3*l = 13 + 5. Is (14/(-4))/(3/l) a multiple of 2?
False
Suppose 4*c + 8 = 0, 2*w + 5*c + 0*c + 44 = 0. Let a = w + 33. Is a a multiple of 16?
True
Let t(z) = -1. Let n(w) = -6*w - 2. Let o(p) = n(p) + 2*t(p). Is 13 a factor of o(-5)?
True
Suppose 0*v - m + 11 = 2*v, 0 = -v + 3*m - 12. Suppose -2*h = -v - 29. Does 8 divide h?
True
Let n = -15 - -30. Is 5 a factor of n?
True
Let a = 2 - 1. Let f be -1*13 + (2 - a). Let r = -4 - f. Is r a multiple of 5?
False
Let m = 26 + -37. Let f(u) = -u**2 + 14*u - 12. Let l be f(9). Let k = l - m. Is 18 a factor of k?
False
Suppose -5*f - 20 = 0, 4*g - 2*f - 1436 = -3*f. Suppose -3*d - 2*d - g = 0. Let q = -50 - d. Is q a multiple of 11?
True
Suppose 4*u + d = 5*u - 9, -4*u + 1 = 3*d. Suppose 0 = 3*n + u*s - 76, 5*n = -0*s - 2*s + 122. Is 15 a factor of n?
False
Let k(h) be the first derivative of 2*h**3 - 1/2*h**2 - 2 + 0*h. Does 11 divide k(2)?
True
Let w be (-2)/9 - (-1040)/(-18). Let u = w + 91. Let b = 51 - u. Is 13 a factor of b?
False
Let y(d) = -d + 20. Let i be y(0). Suppose -6*b + 2*b = -i. Suppose 4*q - 100 = -4*w, 2*q = -0*q + b*w + 15. Do