ctor of n?
False
Is (3 - 2)/((-6)/(-282)) a multiple of 9?
False
Let v be ((-1*56)/(-2))/2. Suppose -6*p + 4*u = -3*p + v, 5*u = 5*p + 15. Does 2 divide p?
True
Suppose 4*z - 50 - 90 = 0. Let q = 53 - z. Is q a multiple of 9?
True
Let t(p) = -5*p + 1. Let r be t(-1). Suppose u - 1 = r. Is 7 a factor of u?
True
Let y = 30 + 226. Does 8 divide y?
True
Suppose -17 - 18 = -5*i. Is 7 a factor of i?
True
Let h = 2 - -4. Is 28/(-6)*(-9)/h a multiple of 4?
False
Let k = 14 + -1. Suppose -3*a = -l + 6, -l - 2*a + k = 4*l. Is l a multiple of 3?
True
Suppose 0*a = -2*a + 24. Suppose -z + 5*w + 15 = 0, -4*w - a = -2*z + 3*z. Suppose -26 = -r - z*r. Is r a multiple of 13?
True
Let t(k) = k**3 + 4*k**2 - 3*k + 7. Let r be t(-5). Is (11/r)/((-2)/6) a multiple of 7?
False
Let q(d) = 11*d - 3. Let i(b) be the second derivative of -5*b**3/6 + b**2 - 3*b. Let s(j) = 5*i(j) + 2*q(j). Is 8 a factor of s(-6)?
False
Suppose -9*s + 4*d + 58 = -4*s, 3*d = -3*s + 24. Let g = 1 - 5. Let r = g + s. Is r a multiple of 6?
True
Let a be (-5)/(-2 + 3 + -2). Suppose 63 = -2*d + a*d. Is d a multiple of 7?
True
Is 164 + (1 - (6 - 4)) a multiple of 32?
False
Suppose 5*k + 5*r - 5 = 0, 5*k + 7*r = 3*r + 8. Let y = k + -7. Is y/(((-6)/3)/2) a multiple of 2?
False
Let m(v) = -v - 1. Let w(x) = -5. Let s(f) = 4*m(f) + w(f). Does 15 divide s(-6)?
True
Suppose 0 = -4*j - 3*o + 121, 4*j + j = -5*o + 150. Is j a multiple of 10?
False
Suppose 2*q = 4*t, 2*t - 3 = -3*t + q. Does 9 divide t*4*(-15)/(-4)?
False
Let g(z) = 10*z**2 + 12*z - 6. Is g(-7) a multiple of 16?
True
Let r be 1/((2/1)/50). Suppose 2*a = 3*a - r. Does 20 divide a?
False
Let r(t) = -t**3 + 2*t**2 - t - 1. Let m be r(2). Is 10 a factor of 17 + (6 - (6 + m))?
True
Let s(p) = p**3 - 2*p**2 - 4*p - 4. Let u be s(4). Let a(k) = -k**2 + 4*k. Let r be a(4). Let z = u - r. Does 12 divide z?
True
Is 4 a factor of (-1 - 0 - -23) + 2 + 0?
True
Suppose 3*u + 3*b - 24 = 0, 5*u - 3*b = u + 46. Suppose -d - 4*d = -u. Suppose d*i = 7*i - 90. Is i a multiple of 9?
True
Let f = 51 + -30. Let x be (f/(-4))/((-4)/(-16)). Is 5 a factor of (-7)/(x/30) + 1?
False
Let a be ((-20)/(-3))/((-1)/(-3)). Suppose 5*h - h = a. Is h even?
False
Suppose 0 = 12*s - 15*s + 225. Does 19 divide s?
False
Let v(s) be the second derivative of -s**5/20 + s**4/12 - s**3/6 + 11*s**2/2 + 2*s. Let p be (-2)/(-6) - 4/12. Is v(p) a multiple of 8?
False
Let w be 24*-6*3/6. Let n = w + 133. Is n a multiple of 16?
False
Let d = -9 + 25. Is 5 a factor of d?
False
Does 4 divide ((0 - -30)*-1)/((-9)/12)?
True
Let b be -83 - -6*(-2)/(-4). Let d = b + 125. Does 15 divide d?
True
Let h = -32 + 47. Suppose 4*w = 43 - h. Does 6 divide w?
False
Let j(h) = -h**3 - h + 1. Let y(q) = 2*q**3 + 7*q. Let k(a) = 3*j(a) + y(a). Does 17 divide k(-4)?
True
Is (1 - 31)*2/(-6) even?
True
Suppose 3*z + 2*z - 2*d - 25 = 0, -z - 8 = -3*d. Let s = 4 - z. Is 6 a factor of -3 - (-11 + (s - -5))?
True
Suppose -35 + 7 = 4*w. Let z = -2 - w. Is z a multiple of 2?
False
Let a be 3/12 - 13/4. Let x be (5/a - -2)*12. Suppose -5 = -x*v + 7. Is 2 a factor of v?
False
Suppose 3*u + s - 182 = 0, -2*u - 16 + 126 = -5*s. Is 30 a factor of u?
True
Let z = -37 - 18. Let g = z + 103. Is g a multiple of 12?
True
Let u(x) = -x**3 - 8*x**2 - 9*x + 1. Suppose -4*v - 37 = 3*k, 4*v = -2*k - v - 34. Let h be u(k). Suppose -5*l = -r + h + 12, -r - 3 = 5*l. Does 10 divide r?
False
Suppose -2*k + 0*t = t - 146, 2*k - 3*t = 162. Is k a multiple of 11?
False
Let d(b) = -b**2 + 9*b - 10. Suppose -4*q + q + 21 = 0. Let y be d(q). Suppose 34 - 2 = y*s. Is s a multiple of 3?
False
Suppose 2*v - 5 = 3*w, 2*w = -3*w + 5*v. Let z = w - -1. Let q = z + 43. Does 24 divide q?
False
Suppose 1530 = 2*b - 5*b. Is b/(-22) - 16/88 a multiple of 23?
True
Let q(x) be the third derivative of x**2 - 1/24*x**4 + 0 - 1/3*x**3 + 0*x + 1/60*x**5. Is 7 a factor of q(5)?
False
Suppose 5*q = -2*f + q + 2, q = f + 2. Is 11 a factor of (-3 + -20)/f - 1?
True
Suppose -5*h - 2*o + 88 = -111, -2*h - 3*o = -73. Is 14 a factor of h?
False
Let k(h) = h**3 - 5*h**2 - 4*h - 5. Let z be k(6). Let d = z + -25. Is 6 a factor of d/4*(-12)/9?
True
Suppose 1019 = 4*k + 5*f, 2*f = 5*k - 4*k - 258. Let s be (-4)/(-20) + k/(-5). Is 5 a factor of (-6)/30 - s/5?
True
Let n be (-4)/(-6) + 114/18. Suppose n = -4*c - 29. Let b = c - -20. Is 11 a factor of b?
True
Suppose -5*v + 15 = 5*r, v + 0*v + 4*r = 3. Suppose 2*m + 2*u + 76 = 5*m, 101 = 4*m - v*u. Is 11 a factor of m?
False
Let l = -6 - -8. Suppose k + l*f - f - 10 = 0, 4*k - 15 = f. Is 4 a factor of k?
False
Suppose -f + z = -201, -2*z - 802 = -f - 3*f. Is f a multiple of 25?
True
Suppose 9*x = 7*x + 42. Does 2 divide x?
False
Suppose -4*o = -3*o - 4. Does 26 divide (-14)/(-1)*o - 4?
True
Suppose -v = 5*j + v, -j = 2*v + 8. Does 11 divide (11 - j) + 4/2?
True
Let q(w) = -w**3 + 12*w**2 + 18*w - 19. Is q(13) a multiple of 46?
True
Let v be (1 + -1)/(3 + -1). Let i(s) = 0*s + v*s + 2*s. Does 14 divide i(7)?
True
Suppose 0*t + 3*h = -4*t + 432, 0 = 3*t - 3*h - 324. Does 15 divide t?
False
Let a be (-9)/(-12) + (-170)/(-8). Suppose 2 = -4*v + a. Suppose 0*w - 3*w + 24 = -3*k, -4*k + 31 = v*w. Is w a multiple of 2?
False
Let j = -96 + 115. Is 4 a factor of j?
False
Let b = -17 - -19. Let d(z) = 10*z**3 + 3*z**2 - 4*z + 2. Is 19 a factor of d(b)?
False
Suppose 2*f = 7*f. Suppose -v + f*v = -6. Let w(h) = -h**2 + 8*h - 6. Is w(v) a multiple of 4?
False
Suppose 84 = -17*m + 19*m. Is 11 a factor of m?
False
Let l be ((-8)/(-6))/(3/(-387)). Is (-2)/3 + l/(-6) a multiple of 14?
True
Let p = 36 + -22. Is 14 a factor of p?
True
Suppose 3888 = 7*r + 9*r. Is 7 a factor of r?
False
Suppose d = 6*b - 4*b + 109, 0 = -4*b - 4. Is 25 a factor of d?
False
Let v(h) = -10*h - 3. Let p(i) = 9*i + 2. Let c(r) = 4*p(r) + 3*v(r). Let t be c(1). Suppose 2*l + s = 5*s + 44, 5*l - t*s - 90 = 0. Is 9 a factor of l?
False
Let n be (-4)/(-18) - 352/(-36). Suppose 53 + n = 3*a. Is 8 a factor of a?
False
Suppose 3*b = -4*w, -2*w = w - 3*b. Suppose 5*v = v + k - 32, 2*v + k = -10. Let g = w - v. Is 7 a factor of g?
True
Suppose 4 = 5*n - 4*g, n - 3*n - 3*g = 3. Let b be (-2)/(-4) + (-18)/(-4). Is b/(2 + (-1 - n)) a multiple of 5?
True
Suppose -2*l + 26 = -2*g + 2, -g - 5 = 0. Let a(z) = z**2 - 4*z - 5. Does 8 divide a(l)?
True
Suppose -2*d + 18 = -30. Is d a multiple of 9?
False
Suppose -71 = -4*p + 2*g + 97, -5*g = -4*p + 156. Is p a multiple of 22?
True
Suppose 2 = -i - 17. Suppose 0 = -b + 2*a - 18 + 6, 0 = -5*b - 4*a - 18. Let m = b - i. Is m a multiple of 13?
True
Suppose 0 = w + b - 13, -b = -0*b + 1. Is w a multiple of 3?
False
Suppose 22 = 5*m - 3*o, -2*m + 0*m + 2*o + 8 = 0. Suppose 3*g + g + 106 = m*j, -2*g = -5*j + 108. Is j a multiple of 11?
True
Is 24 a factor of 100 + (1 - 1) + -4?
True
Let u = 2 + 11. Is 13 a factor of u?
True
Let q be (-29)/(-2) + 5/(-10). Suppose -b + 6*b + 3*z = 96, -2*z = -b + q. Is b a multiple of 15?
False
Let t = 32 + -13. Suppose t = k + 4*g, -2*k = -g - 2*g - 38. Does 8 divide k?
False
Let y = -19 - -11. Let g be (-1 - 1) + (-1 - y). Suppose 3*d = g*d - 48. Does 12 divide d?
True
Suppose 2*c - 2*v = c - 3, 0 = 3*v - 9. Suppose 5 = -2*f + 2*n + n, 0 = -n + c. Suppose -23 = -4*j - q, f*q - 7 = -2*j + 3*q. Is 5 a factor of j?
True
Let r(i) = i**2. Let m = 12 - 5. Suppose -m*z = -3*z - 5*q - 8, 0 = -z + 5*q + 17. Is 4 a factor of r(z)?
False
Let v(b) = b**2 + 10*b - 5. Let o(f) = 3*f**2 + 20*f - 10. Let h(q) = 2*o(q) - 5*v(q). Does 5 divide h(10)?
True
Let b(g) = 13*g**2 - 6*g - 5. Is b(-1) a multiple of 14?
True
Let s(y) = 4*y**3 + 1. Let m(u) = 3*u**3 - u + 1. Let b(g) = 3*m(g) - 2*s(g). Let x be b(2). Suppose -46 - 27 = -x*q - k, 2*k - 26 = -q. Is 12 a factor of q?
True
Let y be (-2)/(-14) - (-7764)/42. Suppose 3*v - y = -k, 0*v - 122 = -2*v - 2*k. Does 12 divide v?
False
Suppose -7*q + 331 + 425 = 0. Is q a multiple of 9?
True
Let t(s) be the third derivative of s**6/120 - s**5/15 + s**4/12 + 5*s**3/6 - s**2. Let m = -6 + 10. Is t(m) a multiple of 13?
True
Suppose 3*y + 10 - 25 = 0. Suppose y*i - 77 = 133. Does 26 divide i?
False
Let l(h) = 6*h - 23. Does 6 divide l(11)?
False
Let z(q) = -23*q + 1. Suppose -3*h + 16 = -4*d, -4*h = 5*d - 4 - 7. Let r be 2*d + 1 - 0. Is z(r) a multiple of 12?
True
Let j(l) =