se
Let b(r) = -3*r**3 - 2*r**2 - 3 + 3*r**3 - 4*r + 5*r**3. Let k be b(-3). Let d = k + 237. Is 31 a factor of d?
True
Let i be -3*(0 + 4/3 - 2). Suppose 4*a - 416 = -i*x, -x = -5*a - 5*x + 520. Is a a multiple of 13?
True
Let s(m) = 2*m - 15. Let k be s(9). Suppose k*b - 11 - 82 = 0. Is b a multiple of 15?
False
Let k(v) = -v + 18. Let j be k(8). Suppose 2*p = 6 + j. Is p a multiple of 5?
False
Let k be 24/(-8) + 11 + 1. Does 19 divide (0 + -1)/(k/(-342))?
True
Let u(z) = -z**3 + z**2 + 1. Let o(h) = 4*h**3 + 4*h**2 + h - 18. Let c(s) = -o(s) - 5*u(s). Let g be c(9). Suppose -g*r = -0*r - 60. Is r a multiple of 5?
True
Let i = 9 + -4. Suppose 3*u - 1 = -3*h + 2, 5*u = i*h + 45. Suppose 2*t = t + o + 19, -2*o = u*t - 130. Is 12 a factor of t?
True
Suppose 3*u - 16 = 4*v, 6 = -v - u + 2. Let a(z) = -4*z**3 + 2*z**2 - 3*z - 12. Is 24 a factor of a(v)?
True
Let q(p) = -5*p**2 - 4*p - 21. Let g(u) = 11*u**2 + 8*u + 43. Let h(v) = 6*g(v) + 13*q(v). Is h(-6) a multiple of 9?
True
Suppose 38*n = 16944 + 38916. Is 12 a factor of n?
False
Suppose u + 3*u - 5*x = 193, 5*u = 3*x + 225. Let p be -3 + (6 - (-1 + 1)). Does 14 divide -2*u/(-9)*p?
True
Let z be (-2)/(-6) - (130/(-15) + 6). Is 11 a factor of (-2 + 56/z)/((-2)/(-18))?
False
Let k(r) = -361*r**3 + r**2 + 2*r + 1. Does 19 divide k(-1)?
True
Let t(x) = x**3 + 32*x**2 + 11*x - 12. Is t(-31) a multiple of 11?
False
Suppose -5*o - 1349 = -18*y + 16*y, 682 = y - 4*o. Is y a multiple of 91?
False
Suppose 0 = -12*o + 187 + 605. Is o a multiple of 11?
True
Let w(h) = -3*h - 24. Suppose -5*f - 4*n + 5*n + 36 = 0, -2*n = 5*f - 33. Let m(l) = -l**3 + 8*l**2 - 7*l - 10. Let q be m(f). Is w(q) even?
True
Let n(c) = c**3 + 7*c**2 - 8*c + 1. Let v(q) = -4*q**3 - 29*q**2 + 33*q - 3. Let r(y) = -9*n(y) - 2*v(y). Let j be r(-6). Is 10/(j + 1)*-1 a multiple of 2?
False
Let r be 2 - ((-18)/(-4) - 4)*-38. Is 13 a factor of 282/21 - 9/r?
True
Let j = -10 + 18. Suppose 0 = -2*y + 3*i - j*i + 25, i - 3 = 0. Does 5 divide y?
True
Suppose 112 = 3*x + 2*c - 4, 3*x - 5*c = 151. Suppose -3*n = x - 87. Is n a multiple of 3?
True
Let t(a) = -11*a - 26. Let c be t(-3). Suppose c*b + 1035 = 12*b. Is 62 a factor of b?
False
Let u(j) = 180*j - 12. Is u(1) a multiple of 12?
True
Suppose 10*c = 4*c - 84. Is 23 a factor of (c - 2)*69/(-12)?
True
Does 4 divide 1 + 8 + 149 + -5 + -1?
True
Let z(h) = 6*h - 2. Let p be z(4). Suppose -2 = 4*b - p. Suppose 3*f = -2*k + 46, 4*k + 51 = -b*f + 127. Is f a multiple of 16?
True
Suppose 4 = 5*m - 171. Suppose -3*l = m - 1043. Is 48 a factor of l?
True
Let p(k) = -k**3 + 2*k**2 - 3*k + 2. Let a be p(1). Let s = 5 - a. Suppose -s*o + 98 = -72. Is o a multiple of 15?
False
Suppose -25*m = -18*m - 3395. Does 23 divide m?
False
Let g(b) = -36*b - 96. Is 2 a factor of g(-11)?
True
Let j(w) = -7*w**3 + w + 2. Let s = 14 + -16. Is 8 a factor of j(s)?
True
Suppose 0 = -5*q - 3*w - w + 1, 0 = -3*q + 2*w + 5. Let k be (-7 - -6)*q*-3. Is 16 a factor of (0 - 7)/(k/(-21))?
False
Let i(o) = -o + 7. Let x be i(6). Let a(q) = -q**2 + 8*q - 8. Let k be a(9). Let c = x - k. Is c a multiple of 8?
False
Let m(j) = j**3 + 8*j**2 + 6*j + 10. Let p be m(-6). Let g = p - 25. Does 7 divide g?
True
Let b = 44 + -40. Suppose -6*q + 66 = -b*q. Is 6 a factor of q?
False
Let g be (-68)/(-11) - 8/44. Let k = -114 + 464. Suppose g*p = -p + k. Is 25 a factor of p?
True
Suppose -240 = -5*d - q, 0 = -7*d + 4*d + q + 152. Suppose 5*t - 74 = 3*n, -4*t - 2*n + n + d = 0. Suppose -t = -3*h + 8. Does 7 divide h?
True
Let h = -24 - -21. Is ((-49)/28)/(h/168) a multiple of 14?
True
Let s(n) = 46*n**2 + 4*n - 7. Is 16 a factor of s(-3)?
False
Let a be ((-8)/(-3))/((-4)/(-18)). Suppose 5*w = 2*y + a, -y + w = -w + 4. Suppose 3*i - y*i = -15. Is i a multiple of 5?
True
Let y(c) = c**2 + 5*c + 5. Let w be y(-5). Let i be (-6)/(-4)*(-80)/(-30). Suppose w*l + 0*j - 5*j = 215, i*l - 2*j - 174 = 0. Does 24 divide l?
False
Let a = 75 + -48. Let p be 100/36 - (-6)/a. Suppose 0 = 3*c - p*w - 35 + 5, -c + 22 = -4*w. Is c a multiple of 2?
True
Suppose -7*i + 1351 = -77. Does 17 divide i?
True
Does 4 divide (106/(-6))/((-5)/60)?
True
Let q(o) = 8*o**2 - 11*o + 20. Is 19 a factor of q(6)?
False
Let p(t) = -8*t + 23. Let j be p(3). Let l(d) = -45*d - 5. Is 20 a factor of l(j)?
True
Let c = 127 + -137. Let m(j) = 2*j**2 + 11*j - 18. Is m(c) a multiple of 6?
True
Let a be (-402)/(-8) - 2/8. Let v be (a*1)/(-2 - -3). Suppose -4*g + v = -58. Is 9 a factor of g?
True
Let w = 3466 - 1675. Does 38 divide w?
False
Let z(b) = 3*b**2 - 5*b - 1. Let d be z(3). Let p = 11 - d. Suppose -2*c - 2*m + 116 = p, c - 62 = -2*m - m. Does 28 divide c?
True
Let k(h) = 103*h + 139. Does 31 divide k(20)?
False
Suppose -72*s + 69*s = -4*f - 7007, 5*f + 7012 = 3*s. Is s a multiple of 20?
False
Let z(r) = -r**3 - 13*r**2 + 36*r - 110. Is 13 a factor of z(-19)?
False
Does 10 divide ((-5)/2)/(1/(-108))?
True
Suppose -3*z = 2*k - 1347 - 724, -2*k + 5*z + 2111 = 0. Is 52 a factor of k?
False
Let b be (2*(-9)/(-12))/((-5)/(-2820)). Suppose -29*p - b = -32*p. Is 47 a factor of p?
True
Let s = -921 + 932. Suppose -3*c = -2*v + 6*v - 135, 114 = 3*v - 2*c. Suppose s*r = 9*r + v. Is 6 a factor of r?
True
Let p(r) = -r**2 - r. Let b be p(-1). Let k(h) = h**2 + h + 27. Is 11 a factor of k(b)?
False
Let a(f) = -f**3 - 14*f**2 - 27*f - 33. Let v be a(-12). Let l = 49 + -32. Let s = v + l. Is 10 a factor of s?
True
Let g(s) be the first derivative of -1 - 1/2*s**2 + 8*s. Does 4 divide g(-6)?
False
Let j be (-4)/(-10) + 48/(-20). Let x(q) = -4*q - 6. Let w be x(j). Suppose -w*z - 5*a = z - 147, 3*z - 2*a - 168 = 0. Does 18 divide z?
True
Is 31 a factor of 5445/22 - (-2)/4?
True
Is 46 a factor of (-34 - -19)/((-2)/(184/3))?
True
Let r(m) = -9*m**3 + 2*m**2 + m. Let f be r(-1). Let y be (-10)/25 - (-4)/f. Suppose -u + 2 + 29 = y. Is u a multiple of 31?
True
Let d(y) = 3*y**2 + 15*y + 21. Is 3 a factor of d(-6)?
True
Let x(k) = 6*k - 9. Let v(o) = 6*o - 8. Let p(h) = 2*v(h) - 3*x(h). Does 10 divide p(-10)?
False
Let b = -32 + 37. Suppose -3*l - b*s + 45 = -0*s, -4*l = -2*s - 34. Does 2 divide l?
True
Let g = 56 + -30. Let p = -21 + g. Is p a multiple of 5?
True
Let f = 28 + -25. Suppose 0*j - 5*j - 5 = 0, 0 = f*s - 3*j - 375. Suppose 4*q = 20 + s. Is 9 a factor of q?
True
Let t = 14 - 8. Suppose -2*b + 4 = 0, -2*b - 8 = 3*g - t*b. Suppose -146 = -2*y - 2*y - 5*v, g = 4*y - 4*v - 164. Does 13 divide y?
True
Let p(k) = -k**2 + 15*k - 12. Let y be (2 - (-3 - -4)) + -13. Let f be (24 + y)/(3/2). Is p(f) a multiple of 18?
False
Suppose -17*w + 23*w = 6264. Is w a multiple of 29?
True
Suppose 4*n + 40 = 2*n. Is 4 a factor of (-1105)/n - 6/(-8)?
True
Let q(y) be the second derivative of y**3/2 - 21*y**2/2 + 24*y. Is 2 a factor of q(20)?
False
Suppose s + 3 = 0, -2*l = -5*s + 3*s - 12. Is 24 a factor of 8 + (-12)/l + 44?
True
Let j(o) = 5*o + 21. Let l be j(-5). Is (-478)/(-8) + (-1)/l a multiple of 7?
False
Let u(h) = -h**2 - 4*h + 179. Does 26 divide u(0)?
False
Suppose 8*n + 21*n - 96454 = 0. Does 147 divide n?
False
Suppose -12 = -4*b + l, 4*b - 12 = -6*l + l. Suppose 0 = -b*u + 22 + 47. Is u a multiple of 13?
False
Let k(g) = -g**2 + 5*g + 4. Let w be k(6). Let x be (6/(-4))/(w/4). Is 5 a factor of 0/(0 + x) + 5?
True
Is 36 + (-24)/(-20)*(-5)/2 a multiple of 10?
False
Let g(d) = -d**3 + 17*d**2 + 39*d - 7. Is 5 a factor of g(16)?
False
Let t(m) = 26*m + 107. Is t(10) a multiple of 49?
False
Let m(b) = -3*b**2 - 2*b + 1. Let x(z) = -15*z**2 - 10*z + 4. Let v(u) = -11*m(u) + 2*x(u). Let n be v(-3). Suppose 2*p = 6 + n. Is 2 a factor of p?
True
Let r(f) = -9*f + 70. Is r(-10) a multiple of 18?
False
Suppose 3*h - 57 = 51. Let t = 19 + h. Suppose q = -5*p + t, -4*q + p + 115 = -0*p. Is 15 a factor of q?
True
Is 11 a factor of 1165 - (-8)/((-64)/12)*-4?
False
Does 3 divide -525*6/18*-1?
False
Let w = -21 + 65. Is w a multiple of 4?
True
Let o = -2870 - -5262. Is 13 a factor of o?
True
Let b be ((-126)/(-56))/(5/((-1920)/9)). Suppose 2*n = n - 35. Let c = n - b. Does 17 divide c?
False
Let z(q) be the second derivative of -q**3/3 + 7*q**2 + 4*q. Let u be z(6). Suppose 130 = u*x - 0*x. Is x a multiple of 13?
True
Let q(c) = 22*c - 3. Let v be q(2). Suppose 43*y - 236 = v*y. Does 31 divide y?
False
Suppo