 = -2*f + 3*x - u*x. Does 27 divide f?
False
Let x = 19 + -13. Let b(c) = -1. Let a(f) = -f. Let u(q) = -3*a(q) + 2*b(q). Is u(x) a multiple of 9?
False
Let h = 6 - 4. Suppose -c + 4*v = h*v - 17, 0 = -3*c + 2*v + 63. Is c a multiple of 12?
False
Suppose 3*j + 4*t - 215 = 0, j - 4*j + 218 = t. Is 11 a factor of j?
False
Suppose -v + 5*c = -138, 2*c + c = 9. Let r = v + -105. Is 16 a factor of r?
True
Let z(r) be the second derivative of r - r**2 + 0 - 5/6*r**3. Is z(-3) a multiple of 13?
True
Let x be (-3 - -5)*(-15)/(-6). Suppose 0 = 4*a + a, x*s - 10 = a. Is 2 a factor of s?
True
Suppose -160 = y - 6*y. Does 16 divide y?
True
Let d = 144 - 59. Is 13 a factor of d?
False
Let u be ((-4)/(-14))/((-5)/(-35)). Is 4 a factor of (14 - u)*25/20?
False
Let l(y) = 3 - 2 + 2*y**2 + 3 - 3*y. Let u(w) = -w**3 + 7*w**2 - 4*w - 8. Let z be u(6). Is 12 a factor of l(z)?
True
Does 11 divide 1/(1/33 + 0)?
True
Let j(g) = -4*g + 2 - 3*g + 15*g. Does 14 divide j(6)?
False
Suppose -t + 2*t - 35 = -3*p, 0 = -5*t - 20. Is 13 a factor of p?
True
Let k = -7 + 11. Suppose 2*z = -2*l + 16, 0 = k*l - z - 11 - 6. Suppose -x - 2*d = 2 - 1, 0 = -x + l*d + 20. Is x a multiple of 5?
True
Let f = 3 - -2. Suppose 3*z = -f*q + 262, -2*q + q - 3*z + 62 = 0. Is 11 a factor of q?
False
Let c = 7 + -12. Let h(a) be the first derivative of 2*a**3/3 + 5*a**2/2 + 7*a + 2. Does 16 divide h(c)?
True
Suppose -2*h - 5*n = -113, -5*h + 5*n + 58 + 207 = 0. Suppose -5*d - h = -8*d. Is d a multiple of 10?
False
Suppose 3*h = 3*t - 36, 2*t + 3*h + 1 = -0*h. Suppose t = 3*d - 14. Is 7 a factor of d?
True
Suppose -88 = -2*j - 4*k, -2*j = -k - 95 + 12. Let a = 59 - j. Let c = a + 15. Does 16 divide c?
True
Let v(x) = -x**3 - 5*x**2 + x + 1. Let b be v(-5). Let p = 58 - b. Is p a multiple of 31?
True
Suppose -4*b - 11 = 3*l, 4*l - 7 = 3*b + 20. Suppose -5*i + l*i + 30 = 0. Suppose -5*s - 3*v + 57 = 0, -2*v - i + 50 = 3*s. Is 9 a factor of s?
True
Let x(p) = -6*p. Suppose 0*s - 33 = -4*g + s, 4*g + 5*s = 3. Let r be x(g). Let q = -18 - r. Is 12 a factor of q?
True
Let t(z) = 39*z**2 - z - 1. Suppose 5*k + 15 = 0, -5*k - 17 = 4*o - 2*o. Does 13 divide t(o)?
True
Let c = 649 - 445. Is c a multiple of 31?
False
Let n(u) = u**2 + 4*u + 1. Let o be n(-5). Is o/21 - 61/(-7) a multiple of 9?
True
Let b(s) = -3*s - 5. Let y be b(-8). Let j = -11 + y. Is j a multiple of 5?
False
Suppose 45 = p + 15. Is 10 a factor of p?
True
Suppose 0 = 2*z - 5*k + 18 - 5, 4*z = 3*k + 9. Let q(c) = 3*c + 3. Let j(w) = -21*w - 21. Let x(i) = -4*j(i) - 27*q(i). Does 10 divide x(z)?
False
Suppose p + k + 0*k = 2, -5*k + 7 = 4*p. Suppose p*u - 27 = -0*u. Suppose -30 - u = -3*l. Does 5 divide l?
False
Suppose 0 = 3*i + 3 - 24. Is 12 a factor of (36/i)/(3/21)?
True
Suppose -2*w = 4*z + 3*w + 1, -4 = 4*w. Let y be 36/z - (6 - 5). Suppose 5*g + 10 = y. Is g a multiple of 2?
False
Is 135 - ((-4)/8)/((-2)/(-4)) a multiple of 15?
False
Let r(g) = -g - 1. Let j be r(-1). Suppose 3 = -3*w - j*m + 3*m, 0 = -4*w - 5*m + 32. Is 3 a factor of w?
True
Let q(i) = -i - 1. Let h(y) = 2*y + 2. Let t(a) = 2*h(a) + 5*q(a). Let g be -5 - (-2)/2 - 1. Does 3 divide t(g)?
False
Let u = 30 - 22. Is 14/(-8)*-2*u a multiple of 28?
True
Let g(s) = 2*s + 47. Suppose -2*t + t + r = -2, -3*r = 6. Is 29 a factor of g(t)?
False
Let u be (2*(-2)/(-2))/(-2). Does 10 divide u*(-19 - (3 - 2))?
True
Let i = 8 - 6. Suppose k + 2 = i*k, -2*c + 2 = -5*k. Is 8 a factor of ((-8)/c)/(1/(-12))?
True
Suppose 10*q - 8*q - 46 = 0. Is 2 a factor of q?
False
Let k(t) = -t**3 - 9*t**2 + 3*t + 2. Let o = -8 + -2. Does 18 divide k(o)?
True
Suppose 78 = -10*b + 428. Does 5 divide b?
True
Let s be 20/6 - 16/(-24). Suppose 3*i = 5*w + s, -5 = -2*w - 3. Suppose i*d - 64 = 23. Is d a multiple of 11?
False
Suppose -3*y = 3, x - 12 = -3*x + 4*y. Let r be (-278)/(-3) + (-1)/(-3). Suppose s - r = -x*s. Does 15 divide s?
False
Suppose 0 = -n - 1, -5*n - 748 = -5*t - 2*n. Suppose 0 = 3*p - 3*x - 105, 3*x = -4*p - 30 + t. Does 8 divide p?
True
Suppose -205 = -5*w + 5*k, -2*w - 5*k + 70 = -4*k. Is w a multiple of 18?
False
Suppose 5*a = -130 + 380. Is 6 a factor of a?
False
Let x be 27 + (-6)/(1 + 1). Is (-42)/(-4)*32/x a multiple of 7?
True
Is 16 a factor of 84 - (4/(-8) - (-36)/8)?
True
Suppose 3*k + 2 = 8. Suppose 4*u - 322 = 3*n - 76, k*u = 2*n + 124. Is 27 a factor of u?
False
Suppose 4*x - 2 = 18. Let n = -1 + x. Is n even?
True
Let m(y) = -2*y + 6. Let a be m(4). Let q be 1/(-1) + -5 - a. Let h(k) = k**3 + 5*k**2 - 3*k + 4. Is h(q) a multiple of 11?
False
Let j = -20 - -22. Is 1 - (j - 23/1) a multiple of 7?
False
Let j be ((-14)/(-8))/((-4)/(-16)). Suppose 40 = -6*i + j*i. Is i a multiple of 13?
False
Let g = -7 + 52. Does 9 divide g?
True
Let x = 15 - 21. Is (-1 - 15)*9/x a multiple of 12?
True
Let w(d) = d**2 - 17*d - 4. Let f(h) = h**2 - 8*h - 2. Let y(v) = 5*f(v) - 3*w(v). Does 25 divide y(-10)?
False
Let r(j) = j + 4. Let d be r(0). Suppose -4*f = -2*m - 48, -13 = -4*f + d*m + 35. Is f a multiple of 5?
False
Let a(f) = 10*f**2 + 3*f + 5. Is a(-2) a multiple of 13?
True
Let o be 2*(-3)/(6/5). Is (-1)/1 - 160/o a multiple of 12?
False
Suppose 2*c = -5*j - 2*c + 319, c = -4*j + 253. Is j a multiple of 9?
True
Suppose -4*y - 119 = -435. Is 10 a factor of y?
False
Suppose 3*g - 31 - 41 = 0. Does 9 divide g?
False
Let t(q) = q**2 + 7*q + 6. Let o be t(-6). Suppose 53 - 13 = 2*f + 2*m, o = -4*f - m + 65. Suppose 3*z = -f, 5*i = -3*z + 121 - 6. Does 12 divide i?
False
Let c(q) = -q**3 - 6*q**2 - 2*q - 3. Let h be (-6)/10 - (-108)/(-20). Is 5 a factor of c(h)?
False
Let u = 11 + -7. Let f = -2 + u. Suppose -14 = -4*p + 6, 0 = -f*t - 3*p + 53. Does 15 divide t?
False
Let n be ((-42)/(-35))/((-4)/(-10)). Suppose -3 = n*a - 12, 4*a + 84 = 4*i. Does 7 divide i?
False
Suppose -5*l - 17 = -6*l. Is 9 a factor of l?
False
Let x = 265 + -135. Does 29 divide x?
False
Let j(u) = u - 14. Let y be j(12). Let g be (y/5)/((-1)/145). Let a = g - 33. Is a a multiple of 11?
False
Let y = -39 - -66. Is y a multiple of 8?
False
Suppose 5*m + 33 - 4 = 4*s, 0 = -3*m - 15. Let a = 2 + s. Is 16/3*1*a a multiple of 8?
True
Let n(c) = -c**2 + c + 4. Is 4 a factor of n(0)?
True
Let q(y) = y**3 - 18*y**2 - 15*y - 66. Does 10 divide q(19)?
True
Let o be 2 + 1 + -1 + 23. Suppose 5*y - o = -5*j, y - 4*j - j = 5. Is y a multiple of 5?
True
Suppose 77 = 6*i - 235. Does 4 divide i?
True
Suppose -3*o = -6*o - 3. Is 4 a factor of o/(1/(-2)) + 2?
True
Let x be -2 - (1 - (1 + 2)). Suppose -4*p + 3 = 5*i, -2*i + 2*p - 6 = -x*p. Is 10/((0 - 2)/i) even?
False
Suppose -3*b + 32 = -154. Is 16 a factor of b?
False
Let g = -367 - -638. Is g a multiple of 39?
False
Let v(n) be the first derivative of 3*n**3 - n - 3. Does 8 divide v(-1)?
True
Suppose -4*j + 194 = 58. Does 17 divide j?
True
Suppose 6*a - 210 = 258. Is a a multiple of 50?
False
Let d(o) = 26*o - 4. Suppose 5*y - 18 = 2. Suppose 0 = -2*g - 3*j + 4 - 1, 0 = y*g - 2*j - 14. Is 25 a factor of d(g)?
False
Let f be (-2)/12*-2*6. Let w(q) = q**3 - 4*q**2 - 5*q + 4. Let u be w(5). Suppose 0 = u*v - f*t - 7 - 13, 18 = 3*v - 3*t. Is v a multiple of 3?
False
Let o = -88 + 138. Does 10 divide o?
True
Let s(n) = -n**3 - n**2 + 4*n + 3. Let m be s(-3). Let i be (7/21)/(2/18). Let x = m - i. Is 3 a factor of x?
True
Let k(p) = 4*p - 16. Let z(a) = a - 1. Let j(f) = k(f) - 8*z(f). Let v be j(-6). Let m = -4 + v. Is m a multiple of 11?
False
Let v(b) = -b + 9. Does 2 divide v(-7)?
True
Let t(j) = j**2 + 6*j - 12. Let g = 11 + -19. Let i = -1 + g. Is 9 a factor of t(i)?
False
Suppose 412 = 5*p - 183. Does 7 divide p?
True
Let w(x) = -4*x**2 + 10*x. Let i(g) = 3*g**2 - 11*g. Let k(u) = -3*i(u) - 2*w(u). Does 6 divide k(12)?
True
Let m be (4/(-5))/(2/(-5)). Suppose 3*c = -5*a + 186, m = -c + 2*c. Is a a multiple of 18?
True
Let c(u) = -u**3 - 3*u**2 - u - 3. Let f be c(-3). Let l be -4*-2*2/4. Suppose -l*k + 0*k + 28 = f. Is k a multiple of 3?
False
Let u be ((-2)/5)/((-2)/10). Suppose -u*f = -0*f - 10. Let i(l) = l**2 - 2*l - 6. Is i(f) a multiple of 5?
False
Is 1/3 + 170/3 a multiple of 19?
True
Let d(x) = -3*x**3 - 16*x**2 + 23*x + 24. Let y(v) = v**3 + 5*v**2 - 8*v - 8. Let u(k) = -4*d(k) - 11*y(k). Let h be u(-9). Is h/2 - (-2 - -3) a multiple of 13?
True
Suppose -5*h = -h - 88.