rue
Let b(k) = -k**2 + 5*k - 2. Let u be b(1). Is (0 + u*96)*1 a multiple of 16?
True
Suppose -4*w + 5*w - 23 = 0. Let u = 34 - w. Suppose 69 + u = 4*k. Does 11 divide k?
False
Suppose -24333 = -67*y + 21227. Is y a multiple of 68?
True
Let r be ((-15)/(-10))/((-12)/(-512)). Suppose 5*j = -r + 434. Does 15 divide j?
False
Let n(f) = -30*f + 253. Does 25 divide n(-9)?
False
Let c = -3167 - -4508. Is c a multiple of 15?
False
Let i = -8 + 16. Let f(y) = 19*y - 18*y**2 - 21 + i*y**2 + 9*y**2. Is 4 a factor of f(17)?
False
Let x(w) = 6*w**3 + w - 2 - 2*w - 4*w**3. Does 25 divide x(4)?
False
Suppose 0 = -5*f - 5*y, -5*f + 7*y + 45 = 3*y. Let x(g) = 5*g + 17. Is x(f) a multiple of 14?
True
Let w(t) = t**3 - 6*t**2 + 2*t - 7. Let x be w(6). Suppose -x*s + 38 = -62. Is s a multiple of 4?
True
Suppose -5*x + 2*g = -4704, -160*x + g = -156*x - 3762. Is 46 a factor of x?
False
Suppose 5*k - 27 + 2 = 0. Suppose 0 = s - 5, 0*s - 5*s - 815 = -k*x. Is x a multiple of 42?
True
Suppose -w = 2*w - 9. Suppose -y - 3*k = w - 36, 0 = 2*y - 3*k - 84. Is y a multiple of 7?
False
Does 52 divide (1232/(-770))/((-1)/585*2)?
True
Let h = 10 - -182. Does 8 divide h?
True
Let g = 17 - 12. Does 13 divide -5*(g/(-25) + (-68)/10)?
False
Let g(p) = -p**3 + p**2 - p - 1. Let y be g(-3). Suppose -20 = -5*w, 0*t - 4*w - y = -3*t. Is 5 a factor of t?
False
Suppose t = -61 + 17. Let m = -31 - t. Is m a multiple of 2?
False
Let p(z) be the first derivative of -z**4/2 - 4*z**3/3 - z**2/2 - z + 6. Let r be p(-3). Suppose -o + 3*o = r. Is o a multiple of 4?
False
Let n = -1836 + 4416. Is n a multiple of 30?
True
Let g(s) = 7 + 1 - 31*s + 49*s - 8. Let a = -2 + 5. Is 11 a factor of g(a)?
False
Suppose -o = -53 - 20. Is 3 a factor of o?
False
Suppose -x + 2*a + 857 = 0, -831 = -3*x + a + 1735. Does 18 divide x?
False
Let z(p) = 6*p**2 + p - 57. Does 5 divide z(-8)?
False
Let g(v) = v**2 + 3*v - 3. Let j be g(1). Suppose 0 = -2*s + j - 5, 3*d - 5*s = 304. Does 14 divide d?
True
Let r(z) be the second derivative of z**4/6 + z**3/2 - 7*z**2 - 27*z. Does 38 divide r(5)?
False
Let q(j) = -j**3 - 9*j**2 + 11*j + 13. Let v be q(-10). Suppose -2*s - v*s - 2*d - 9 = 0, 6 = 4*s - 5*d. Does 10 divide (-390)/(-40) - s/4?
True
Suppose -168*f + 1350 = -165*f. Is f a multiple of 2?
True
Let c be 8/(-24) - 32/(-6). Suppose 2*b - 4*w + 304 = 5*b, -c*b + 522 = -w. Is 26 a factor of b?
True
Let c(o) = -o**3 - 5*o**2 - 6*o + 2. Let t = -9 - -11. Suppose 1 - 11 = t*n. Is c(n) a multiple of 18?
False
Let k = 2600 - 2051. Is k a multiple of 27?
False
Let d be ((-6)/(-4))/(2/4). Let z(r) = 9*r**2 - 4*r + 7. Let l be z(3). Suppose 7*f = d*f + l. Is f a multiple of 10?
False
Let v be 15/(-10) - (-5)/2. Let m(w) = 21*w**2 - 2*w + 1. Let d be m(v). Suppose -4*p - d = 0, p + 27 = -2*f + 4*f. Is 3 a factor of f?
False
Let n(w) = -w**3 + 24*w**2 - 59*w + 479. Is n(11) a multiple of 23?
True
Let s be 3*9*(-11)/(-33). Suppose z - 4*z - s = 0, 5*z + 9 = -3*w. Suppose -w*g + 14 = -a, -5*a - 16 = -5*g + 14. Is 4 a factor of g?
True
Suppose 0 = 3*t + 5*c - 320, 0 = -56*t + 52*t - 2*c + 422. Is 15 a factor of t?
True
Let v(d) = d**2 + 11*d - 26. Is 9 a factor of v(7)?
False
Let v = 291 + 39. Is 15 a factor of v?
True
Let n = 1647 + -819. Suppose 0*a + 3*a - n = 0. Suppose -2*i + 5*w + a = i, -3*i + 276 = 3*w. Is i a multiple of 17?
False
Suppose w + 151*f - 2690 = 148*f, 2*f = 2. Is 5 a factor of w?
False
Let y be 3*(155/(-3))/5. Let i = -19 - y. Is i a multiple of 12?
True
Let x be 155 + (-3 - 0/(-5) - -1). Suppose 6 = -2*g, 0 = -5*n + 7*g - 2*g + 25. Suppose n*v - w - x = 0, w + 2*w = 15. Does 19 divide v?
False
Let f(y) = -y**3 + 14*y**2 + 10*y + 57. Is f(13) even?
True
Let j(h) be the second derivative of -h**5/20 + 5*h**4/6 - 5*h**3/6 - 4*h**2 - 18*h. Does 15 divide j(9)?
False
Suppose 0 = 10*m - 12300 - 2410. Is m a multiple of 54?
False
Let g be (25/10)/((-2)/(-4)). Does 13 divide (-11)/((-11)/60) + g?
True
Suppose -8 = -m - 4. Does 27 divide ((-18)/m)/(10/(-140))?
False
Let m(x) = 4*x**2 + 6 + 3*x**2 - 12*x**3 - 7*x**3 + 20*x**3 - 3*x. Is 11 a factor of m(-4)?
True
Let p(g) = -g**2 - 96*g + 87. Is 65 a factor of p(-69)?
True
Let v be 2/(-5) + ((-924)/10)/(-6). Let k(m) = 9*m - 30. Does 21 divide k(v)?
True
Suppose -11 - 1 = -3*b. Does 5 divide (b + (-13)/2)*-10?
True
Let h(n) = -n**3 - 13*n**2 + 14*n + 6. Let d be h(-14). Suppose 0 = -d*q + 182 + 196. Is 12 a factor of q?
False
Let g(c) = c**3 - 3*c**2 + 2*c - 2. Let a be g(3). Let t be (2 - a) + (-12)/1. Let f = 25 + t. Does 3 divide f?
False
Suppose -65*n + 61*n + 1076 = 0. Is 9 a factor of n?
False
Suppose -90 = 5*q - j, 7 = -2*q - 4*j - 51. Let l = -18 - q. Let x(n) = 60*n**3 + n**2 - 2*n + 1. Does 15 divide x(l)?
True
Suppose -5*i + 3*q = -11505, 2*i - 4602 = -3*q + q. Does 15 divide i?
False
Let a = 17 - 7. Is 12 a factor of 1 + a/(-5) + 49?
True
Suppose -z - 3*a + 849 = 0, 9*a = 5*a + 12. Does 70 divide z?
True
Let n be 1/((3/420)/1). Suppose m = -m + n. Is m a multiple of 10?
True
Let f(i) = -2*i**3 - 2*i**2 - 5*i - 7. Let c be f(-2). Suppose 5*o - 81 = -c. Does 7 divide o?
True
Let l = 27 + -17. Let s(j) = 2*j**2 - 2*j + 10. Let z be s(l). Suppose -z = 2*n - 7*n. Does 15 divide n?
False
Does 92 divide ((725 - 4)/(-7))/(3/(-93))?
False
Suppose 0 = -4*u - 5*c + 19, -5*u + c - 6 + 8 = 0. Is 8 a factor of -6*(1 + -20) - u?
False
Let v(d) = -d**3 + 17*d**2 + 10*d - 2. Let c(i) = 2*i**3 - 33*i**2 - 21*i + 4. Let n(g) = 6*c(g) + 13*v(g). Is n(23) a multiple of 22?
False
Let b = 90 - 90. Does 2 divide b - (4/(-18) - (-392)/(-18))?
True
Suppose 5*a - 6*a = -4. Suppose -5*o + 3*o = 4, -o + 362 = a*d. Is d a multiple of 12?
False
Let s(w) = -37*w**3 - 2*w**2 - 5*w + 8. Does 17 divide s(-3)?
False
Suppose p - 12 - 11 = -4*c, -2*p = -c - 1. Let j be (-1 + 0)*(3 - p). Suppose -75 = -3*i - 3*s, 4*i + i - 2*s - 97 = j. Does 10 divide i?
False
Let f = -303 - -383. Is 10 a factor of f?
True
Let l = 192 + -115. Suppose h + q + l = 3*h, 3*h + q = 123. Let j = 100 - h. Is j a multiple of 20?
True
Let r = 60 - -75. Let h = 236 - r. Does 50 divide h?
False
Suppose -1238*r + 1244*r = 11328. Does 16 divide r?
True
Let o(p) = -p**3 - 23*p**2 + 21*p - 32. Let y be o(-24). Is 3 a factor of (-16)/y - 1/((-10)/304)?
True
Suppose 0*u - 4*u + 4*o = -32, -2*u + 3*o = -21. Suppose 56 = -u*w - w. Let q(m) = m**3 + 15*m**2 + 11*m - 13. Does 8 divide q(w)?
False
Suppose 5*g - 3*g + 4*x = 56, -3*g + 54 = -4*x. Let f = g - 4. Let w = f + 9. Is 9 a factor of w?
True
Let p = -1 + 5. Suppose 2*z + 3*y = 108, -2*z = 3*z - p*y - 224. Is z a multiple of 12?
True
Let f be (-2)/(-4)*(1 - 1). Let x be -1*(9 + (f - 4)). Let y(t) = -2*t - 1. Is y(x) a multiple of 4?
False
Let w be 1/3 - 4344/(-36). Suppose 0 = p - w - 121. Is 14 a factor of p?
False
Is 2/((-30)/(-3633)) - 13/65 a multiple of 12?
False
Does 46 divide (-17 - 98)*96/(-10)?
True
Suppose z = -4*a + 2285, 18*z + 5*a + 11450 = 23*z. Does 41 divide z?
False
Suppose 5*m - 13 = i, -3*i - 2*m + 16 = 2*i. Suppose -5*z - 5*f = -35, 0 = -3*z - 5*f + 42 - 13. Suppose -i = -z*c + 115. Does 13 divide c?
True
Let g(d) = -d**3 + 12*d**2 - 19*d - 5. Let c be g(10). Suppose -5*k - 245 = -2*u - 0*k, 0 = -c*u - 2*k + 627. Does 25 divide u?
True
Let f = 1231 - 611. Is 31 a factor of f?
True
Suppose -z = 3*m - 105, 428 = 4*z + 4*m - 0*m. Is z a multiple of 4?
True
Suppose -21 = -2*t + 5*t. Let s be 11/2 - t/14. Let p(r) = -r**2 + 8*r - 2. Is p(s) a multiple of 10?
True
Let n = -12 - -12. Suppose n = b + 6*b - 546. Does 26 divide b?
True
Let g be 3 + 0 - (1 - -2). Is 12 a factor of (g + 4 - -75) + 4?
False
Let c(m) = -m**3 + 20*m**2 + 4*m - 8. Is c(19) a multiple of 5?
False
Suppose 4*b = -11*g + 13*g - 424, 0 = -5*g + b + 1042. Is g a multiple of 19?
False
Let k be ((-2)/(-1) + 1)/1. Is 2 a factor of ((-15)/(-6))/(k/12)?
True
Let g(v) = -15*v + 12. Is g(-5) a multiple of 2?
False
Suppose f - 12 = 3*u - 2*u, -2*u = f - 15. Let a = f + -10. Suppose -4*m = 8, -w - a*w + 2*m = -256. Does 21 divide w?
True
Let h(k) = -k**3 - 3*k**2 - 4*k - 5. Let g(i) = -3*i + 5. Let z be g(3). Does 9 divide h(z)?
True
Suppose 66 - 278 = -4*f. Let p be (-38)/(-14) + (-2)/(-7). Suppose -p = 2*d - f. Does 14 divide d?
False
Suppose 11*m = 13*m - 3*p - 9, m - p - 3 = 0. Suppose m = 7