3?
True
Let s(y) = -5*y + 51. Let c(w) = 5*w - 52. Let k(o) = -3*c(o) - 2*s(o). Does 4 divide k(10)?
True
Suppose -115*t + 114*t = -302. Is 44 a factor of t?
False
Let p = 20 + -15. Let c = 14 - p. Is 4/(-8)*8 + c a multiple of 2?
False
Let t = 15 - 28. Let h = 11 + t. Let a(l) = -15*l - 3. Does 21 divide a(h)?
False
Let k(d) = 21*d - 53. Let b(y) = 14*y - 36. Let a(w) = 7*b(w) - 5*k(w). Does 38 divide a(-9)?
True
Let y(v) = 7*v**2 + v - 2. Let l be (-1)/((-3 - -4)*1) + 3. Is 11 a factor of y(l)?
False
Let c(n) = n. Let y(f) = 9*f + 21. Let z(o) = -c(o) + y(o). Let q(j) = 12*j + 31. Let m(v) = 5*q(v) - 8*z(v). Is 13 a factor of m(-11)?
False
Suppose -16 = -x + 2*a, 14 = 2*x - 2*a - 8. Is 4 a factor of (-23)/(-69) + 124/x?
False
Let m = 56 - 52. Suppose 5*p - 185 = 4*b, m*b - 148 = -4*p + 2*b. Does 3 divide p?
False
Let r = -464 + 668. Suppose r + 101 = 5*j. Is j a multiple of 9?
False
Suppose -114 = -2*h - 5*i, 3*h + i + 2*i = 171. Suppose -5*a + h = -43. Does 10 divide a?
True
Let r = -38 - -35. Is 21 a factor of (9*(6 + -5))/(r/(-58))?
False
Let q(u) = 2*u + 13. Let y be q(-7). Let o be ((-5)/(-5) + 0)/y. Does 16 divide o - (-470)/(5/1)?
False
Let x(f) = -f**3 - 14*f**2 - 23*f + 14. Let u be x(-12). Suppose 0*t + 5*l - 26 = -t, -u*l = 4*t - 176. Suppose -2*w + t + 26 = 0. Does 8 divide w?
False
Let s(c) = 12*c**2 + 16*c - 16. Does 2 divide s(-5)?
True
Suppose 96*z = 91*z + 4805. Is 31 a factor of z?
True
Let f(q) = q**3 + 7*q**2 + q + 1. Let c be f(-7). Does 2 divide (-27)/(-2) + c/4?
True
Let k be 10*-1*3/(0 + -3). Suppose z = -4*z. Let n = z + k. Is n a multiple of 5?
True
Suppose -3*k + 236 = b, 4*b + b - 1180 = -3*k. Let i = b + -148. Is 28 a factor of i?
False
Let i(j) = -26 + 27 + 7 + 15 + j. Is 12 a factor of i(13)?
True
Let g(d) = -52*d + 3. Let u(k) = k**3 + 7*k**2 - 7*k + 6. Let h be u(-8). Is 13 a factor of g(h)?
False
Let v = 50 - 50. Suppose 5*p + 283 = 2*t + 5, v = -5*t - 5*p + 730. Is t a multiple of 12?
True
Let y be (-78 + 2)/4*-1. Suppose -2*a + 45 = -y. Let n = a + -18. Is 8 a factor of n?
False
Suppose -114 = u - 2*o, -3*u - 374 = o + o. Let y = -64 - u. Is y a multiple of 16?
False
Let s(c) = c**2 - c + 6. Let l be s(-14). Suppose 3*b - 4*h + h = l, b = -3*h + 72. Does 24 divide b?
True
Let m(t) = -3*t**2 + 11*t - 11. Let z be m(10). Let o = -60 - z. Suppose 5*l - o = 2*l. Does 7 divide l?
False
Let p(y) = -2*y**2 + 12*y - 49. Let a(v) = v**2 - 6*v + 24. Let g(x) = 5*a(x) + 2*p(x). Is 3 a factor of g(5)?
False
Let l = -565 + 598. Is 14 a factor of l?
False
Suppose 0 = 9*k + 19 - 1873. Is k a multiple of 19?
False
Let b = -189 - -285. Does 16 divide b?
True
Let f = 392 + -168. Is 14 a factor of f?
True
Let b(i) = -i**3 + 3*i**2 + 5*i - 5. Let o be b(4). Let l be 12*o/(4/(-6)). Let k = 45 - l. Is 7 a factor of k?
False
Let n(f) = f**3 + 4*f**2 + 20*f + 13. Is 7 a factor of n(9)?
True
Let y(v) = -v**2 + 24*v + 927. Does 9 divide y(0)?
True
Let m = 118 + 578. Is 20 a factor of m?
False
Suppose 2784 = 32*p - 20*p. Is 58 a factor of p?
True
Let r(z) = -9*z**3 - 2*z**2 + 7*z + 6. Does 10 divide r(-3)?
True
Suppose -3*h - 4*k = -790, -174*h - 2*k - 280 = -175*h. Does 10 divide h?
True
Suppose -d - 4*j = -109 + 37, 3*d + 5*j - 209 = 0. Let y = d - 23. Does 6 divide y?
False
Suppose 2*m - 6 = 5*w + 8, 0 = 5*w. Let u be -4 - m/((-28)/36). Is (-6)/u*135/(-18) a multiple of 2?
False
Suppose -i + 2*b + 17 = 0, 2*b + b = -5*i + 150. Suppose -k + i = -37. Does 16 divide k?
True
Let d = -1 - -8. Let k = -5 + d. Is 43 - ((-3 - 2) + k) a multiple of 21?
False
Does 8 divide 16/(7 - 1252/180)?
True
Let l be 4*(4 + (-315)/(-12)). Let s = 213 - l. Is s a multiple of 46?
True
Suppose -3*s + 147 = -p - 1684, 3*p = -12. Does 12 divide s?
False
Suppose -5*h - 2*t + 23 = 0, 2*h + 2*t + t = 7. Suppose b - 50 = h*n, -5*b - 6*n + 229 = -10*n. Is 3 a factor of b?
True
Suppose 3*w = -4*s - 18, w + 1 = 3. Does 3 divide (-230)/s - (-44)/66?
True
Suppose 0*x - 414 = -3*x. Is x a multiple of 69?
True
Suppose -6*j - 18 = -2*c - j, 2*j = 5*c - 24. Suppose 0 = -5*f - o - c*o - 160, 5*o = 3*f + 56. Does 32 divide ((-402)/4)/(f/36)?
False
Does 43 divide (17372/((-8)/(-2)))/1?
True
Let s = -126 + 424. Is s a multiple of 49?
False
Let q(x) = -x**3 - 3*x**2 + 2*x - 2. Let a be q(-3). Is (-414)/a - 2/(-8) a multiple of 13?
True
Is 4 a factor of (8*7)/(4*17/918)?
True
Let m be 22/4 + 2/(-4). Let n be (483/12)/7*-4. Is m*(1 + n/(-5)) a multiple of 20?
False
Suppose -4*g = 3*r + r - 40, -r - 20 = -g. Let t = g + -10. Is 43/4 - t/(-20) a multiple of 11?
True
Let i = 15 - 9. Suppose -212 = -i*u - 50. Does 9 divide u?
True
Suppose -850 = -3*z + 50. Suppose -2*a - 2*a = -z. Is 15 a factor of a?
True
Let t(o) = 3*o**2 + 9*o - 23. Let q(r) = -r**2 - 4*r + 11. Let h(a) = 5*q(a) + 3*t(a). Is h(-7) a multiple of 7?
True
Suppose 270*p + 8090 = 280*p. Is p a multiple of 52?
False
Let v(n) = -n**2 + 12*n - 6. Let w = -39 - -48. Does 11 divide v(w)?
False
Let p = 310 + -152. Let c = p + -102. Is c a multiple of 14?
True
Let c(z) = z**2 + 8*z - 2. Let f(v) = 3*v**2 + 16*v - 5. Let k(w) = 5*c(w) - 2*f(w). Let i be k(8). Suppose 12 = t - i*t. Does 3 divide t?
True
Suppose n = -3, 2*w + 113 - 1349 = -4*n. Is 78 a factor of w?
True
Let o(s) = -3*s + 32. Let f be o(12). Is f*(3346/(-120) - 30/(-225)) a multiple of 33?
False
Let z = 19 + -38. Let k = -4 - z. Suppose 2*a - 19 - k = 0. Does 12 divide a?
False
Suppose -2*v = 6 - 18. Is 31 a factor of 6/4 - (-177)/v?
True
Let b = 8 - 3. Let z be 2*b/(10/3). Suppose -7*l + z*l = -96. Is l a multiple of 6?
True
Let p(w) = 2*w - 13. Does 11 divide p(23)?
True
Suppose -5*r + 1304 + 906 = 0. Does 14 divide r?
False
Suppose -4*c + 3610 - 618 = 0. Does 34 divide c?
True
Let z = -1969 + 2487. Does 14 divide z?
True
Suppose -5*f = -3*j + 90, -4*j + f + 125 = -4*f. Is j a multiple of 3?
False
Let s = -174 - -276. Is 34 a factor of s?
True
Suppose -839 = -4*d - 315. Let s = -26 + d. Is 15 a factor of s?
True
Let f = 76 - -53. Suppose 3*a - f = -4*w - 0*w, 2*a + 10 = 0. Suppose 391 = 5*d + w. Is 24 a factor of d?
False
Let o be 4*18/20*(-140)/42. Is (4 + 57/o)/(4/(-128)) a multiple of 6?
True
Let j(v) = -v - 3. Let a be j(0). Let y be (a + 2)/((-4)/8). Suppose -2*i + 36 = -5*w, 7*i + y*w = 3*i + 24. Is 8 a factor of i?
True
Suppose 0 = -15*h + 29*h - 12460. Is 18 a factor of h?
False
Suppose 8*m = -109 - 99. Suppose 5 = 5*k - 20. Is 11 a factor of k - m - (0 + 0)?
False
Suppose 2*i = -2*a + 44, -i - 13*a + 10*a + 28 = 0. Is i a multiple of 19?
True
Let d be 3/(1 + 2)*0. Let b be 3/(-2 + -1) - (-2 - -4). Is d*b/9 + 71 a multiple of 19?
False
Let j = 152 + 336. Is 8 a factor of j?
True
Let d(v) = -v**2 + 11*v - 6. Let w be d(7). Let j(o) = 10*o - 37. Is 31 a factor of j(w)?
False
Let r = 61 - 23. Suppose -32 = -2*a + r. Does 10 divide a?
False
Let b be (-1546)/12 + (2/12)/(-1). Does 14 divide 3/6*-6*1 - b?
True
Suppose 66*r - 2805 = 63*r. Is r a multiple of 23?
False
Let c(d) = -d**2 + 19*d + 7. Let h be c(18). Let b = 47 - h. Does 7 divide b?
False
Suppose n - 4*s = 0, s + 17 = 4*n + 2*s. Suppose 0 = -c - 4*c + 20. Suppose n*b + 20 = 0, -5*v + 65 = b + c*b. Is v a multiple of 18?
True
Let b(c) = 68*c - 1. Let g be b(2). Suppose -500 = -2*h + 36. Let t = h - g. Is t a multiple of 35?
False
Let b(m) = 8*m**2 - 8*m - 44. Is b(-10) a multiple of 44?
True
Suppose -10*r + 5517 + 5213 = 0. Is 29 a factor of r?
True
Suppose -98 = 3*f + i - 301, -i - 273 = -4*f. Suppose 2*s + 4*a - 45 = 255, 2*s - 4*a = 268. Let j = s - f. Is j a multiple of 37?
True
Let m(f) = 11*f + 14. Let u(c) = -177*c - 222. Let n(g) = -33*m(g) - 2*u(g). Is 9 a factor of n(-11)?
True
Let r(q) = -18*q + 30. Does 12 divide r(-9)?
True
Let t(f) = 49*f - 199. Does 22 divide t(53)?
True
Let i be ((-4)/(-10))/(4/(-80)). Let u be -6 - i - (-2 + 1). Let k(o) = 5*o**2 - 3*o - 2. Does 17 divide k(u)?
True
Let m(d) = 15*d - 112. Is m(11) a multiple of 5?
False
Let u(p) = -p**2 - 2*p + 410. Let k be 6*1/2 - 3. Let y be u(k). Suppose -a = -5*v + y, 3*v = v - a + 157. Does 27 divide v?
True
Suppose -s - 2 = s. Let d(h) = 77*h**2 - 2*h - 3. Does 38 divide d(s)?
True
Let d be 34*-2 + (-4 - -3). Let g = 41 + -69. Let m = g - d. Is m a multiple of 16?
False
Does 33 divide (-6)/33 - 19112/(-88)?
False
Is -