10?
True
Suppose -53*c = -51*c - 162. Does 2 divide c?
False
Suppose 5*p = 3*c - 36, -3*c = -4*p - 24 - 6. Let g = 3 + p. Is 6 a factor of ((-2)/(-6))/(g/(-171))?
False
Suppose 0*g - 3*g + 4 = -5*i, 0 = 5*i - 5*g. Let n = 166 + i. Is n a multiple of 41?
True
Suppose -5*g + 0 = -2*c + 5, -3*c - 2*g + 17 = 0. Suppose 3*m + c*y = -2*m - 245, 3*y = 4*m + 231. Let u = -22 - m. Is 16 a factor of u?
True
Let n(u) = 12*u**2 + 4*u - 2. Let k be n(3). Let h = k - 94. Does 22 divide h?
False
Suppose -5*h - 8*v + 5 = -3*v, -h - 1 = 3*v. Suppose 5*w + 69 = 4*x, -h*w - 99 = -5*x - 0*w. Let p = x + -13. Is 3 a factor of p?
False
Let n(f) = 14*f**2 - 2*f + 3. Let i = -30 + 32. Is n(i) a multiple of 9?
False
Is (-1360 + 0)/(-5)*(-3 - -4) a multiple of 12?
False
Let b be (133 + 14)*((-4)/(-2) - 1). Let p be 5 - 4 - (0 + -56). Suppose b = 4*a - p. Is a a multiple of 20?
False
Let o = 2936 - 1352. Is o a multiple of 129?
False
Let f = 3747 + -2324. Is 51 a factor of f?
False
Let d(x) = -20*x - 9. Let t be ((-12)/(-1 - -4))/2. Does 16 divide d(t)?
False
Suppose -533 = 10*n - 11333. Is 45 a factor of n?
True
Let w(c) = -3*c**2 + 51*c - 11. Suppose 4*f - 61 = -3*o, 3*o + 0*o - 5*f = 25. Is w(o) a multiple of 11?
False
Let n be 94/(-14) - (-2)/(-7). Let z(w) = -5*w - 16. Let k be z(n). Suppose u = k + 1. Is 6 a factor of u?
False
Suppose 0 = 2*h - 3 - 7. Is 1 - -197 - (h - (6 - -1)) a multiple of 25?
True
Let g be 12/(-18) + (-1)/3. Let c = -7 - -1. Is 5 a factor of (48/(3 + c))/g?
False
Let t(w) = 105*w**2 - 13*w + 20. Is 23 a factor of t(2)?
True
Does 10 divide 4/(-5) + 2695/25 + 3?
True
Let d(v) = -v**3 - 2*v**2 + v - 4. Let i be d(-3). Suppose s - 5 + 2 = 0. Suppose -j + 11 = i*l, -s*j + 0*l + l = -19. Is j a multiple of 2?
False
Suppose 3*v = 2*t - 16, t - 8 + 5 = -v. Let c = -6 + 3. Is c*v/(-4)*-4 a multiple of 6?
True
Suppose 9*u = 8*u. Suppose -3*b + 4*a + 136 = u, 0 = -4*b - b - 2*a + 244. Is b a multiple of 12?
True
Suppose -3*l + 0*l = 4*f - 2289, f - 574 = l. Is 8 a factor of (-4)/((-8)/2 + f/144)?
True
Let i(w) = 415*w**2 - 3*w - 1. Does 25 divide i(-1)?
False
Suppose 0 = a - 3*d - 14, 4*a - 5*d + 2*d = 74. Suppose 4*k - 3*v - 16 = 0, -5*k - v = -0*v - 20. Suppose -a = -l + 3*i, -k*i + 27 = 2*l - l. Does 15 divide l?
False
Let w(h) = -h**3 + 9*h**2. Let a be w(9). Suppose a*i = -5*i + 10. Suppose -4*k = i*t - 98, -4*t + 0*k = -3*k - 240. Does 19 divide t?
True
Suppose -5*j - 4*m = -131, 3*j - 8*m = -3*m + 86. Let o = 15 - j. Is (-5 - o/4) + 18 a multiple of 4?
True
Let z = -92 + 299. Does 20 divide z?
False
Let h = 1569 - -2310. Is 35 a factor of h?
False
Suppose -3*b - 10 = -5*f, 2*f - 4 = b - 3*b. Suppose 410 = 4*n - 2*h, 5 = -f*h + 3*h. Is n a multiple of 7?
True
Let p be 1*9*9/27. Let b(a) = 0*a**p - 2 + a**3 - a + 6*a**2 - a + a. Does 3 divide b(-6)?
False
Suppose 27 = -4*g + g. Let o(n) = -11*n - 16 - 23 - n**2 + 44. Does 8 divide o(g)?
False
Let c = 498 + 345. Does 12 divide c?
False
Let q(o) = 2*o**2 - 13*o - 3. Let t = 21 + -12. Is 6 a factor of q(t)?
True
Let o(s) = -92*s - 12. Suppose -u - 7 = -5. Is 14 a factor of o(u)?
False
Let r(i) be the first derivative of -i**3/3 - 8*i**2 - 15*i - 3. Is 7 a factor of r(-14)?
False
Let u(m) be the first derivative of 7*m**4/6 + m**2/2 - m - 2. Let z(a) be the first derivative of u(a). Does 5 divide z(-1)?
True
Let q = -1377 + 2445. Is q a multiple of 12?
True
Suppose 0 = -k - 3*r + 31, 0*k + 4*r + 10 = k. Suppose -3*y + 232 = k. Does 5 divide y?
True
Let w be 4 + 1/4*0. Suppose w*n = 16, 2*z - 41 + 15 = 4*n. Let b = 64 - z. Is b a multiple of 9?
False
Suppose 172 = 4*k - 2*x - 130, x + 307 = 4*k. Suppose -k = -2*g + 2*q, 0*g = 2*g + 3*q - 73. Is g a multiple of 10?
False
Suppose 5*j - 1100 = -5*u, 1076 = -37*u + 42*u - j. Is u a multiple of 63?
False
Suppose 7*a = 2*c + 4*a - 78, 5*a = 5*c - 195. Does 2 divide c?
False
Suppose -4*f - 9 = -y, -5*y - 2*f + 22 = f. Suppose 0 = -3*r, 3*w - y*r - 14 + 5 = 0. Suppose -5*g - 8 = -3, 2*j - 143 = w*g. Is j a multiple of 23?
False
Let i = -3 - -2. Let h(u) = 35*u**2 - 3*u - 4. Is h(i) even?
True
Suppose -4*p - y = 4*y - 3, 0 = 4*p - 5*y - 13. Let a be 2/14 + p/(-14). Let t = 18 + a. Is t a multiple of 7?
False
Suppose -6*c + 42 = -0*c. Suppose 2*o + 270 = c*o. Is 7 a factor of o?
False
Is 37 a factor of 9/(18/(-152))*42/(-8)?
False
Let a(o) = -o**3 + 14*o**2 - 12*o - 11. Suppose -2*r + r + 13 = 0. Let d be a(r). Suppose 4*b - s - 127 + 35 = 0, 0 = -5*b + d*s + 115. Is b a multiple of 6?
False
Let n = -15 + 27. Suppose -m + 3*s = s - 3, -4*m + 2*s + n = 0. Suppose -5*o = -m*o - 246. Is o a multiple of 27?
False
Suppose 0 = 4*m + 4*c - 72, 2*c = -m - 4*m + 90. Does 3 divide m?
True
Suppose -47*v - 754 = -49*v. Suppose x - v = 3*q, 439 = 3*x - 4*q - 717. Is x a multiple of 14?
True
Let d(w) = 3*w**2 + 10*w + 102. Is d(-10) a multiple of 7?
False
Suppose 0 = 6*g + 196 + 44. Suppose -2*y - 113 = 5*r, -2*r = 3*y + 2*r + 173. Let n = g - y. Is 19 a factor of n?
True
Suppose -2*h + 1078 = -5*l + 3*l, 2*h + 2*l = 1090. Is 18 a factor of h?
False
Let t(f) = -f**3 + 9*f**2 - 9*f - 2. Let b be t(8). Let k be 4/14 + 51/(-7). Let r = k - b. Is 3 a factor of r?
True
Suppose 2*d + 118 + 182 = b, -4*b + 5*d + 1206 = 0. Suppose -5*u + b + 136 = 0. Does 17 divide u?
False
Let i(g) = g + 69. Let c be i(-22). Suppose 0 = 3*r + k - 17, 2 = 2*k - 2. Suppose -88 = -r*z + c. Does 5 divide z?
False
Let m(o) be the first derivative of -o**4/4 - 7*o**3/3 + 9*o**2/2 - 21*o - 47. Is 15 a factor of m(-9)?
True
Let f(h) = h**2 + 11*h + 6. Let i be (-22)/(-99) - 101/9. Let g be f(i). Does 21 divide 62 - (g/3 - 3)?
True
Let g(b) be the first derivative of -b**3/3 - 13*b**2/2 - 12*b - 5. Is 9 a factor of g(-8)?
False
Let g be 58/(-18) + (-4)/(-18) - -8. Suppose 40 = 5*r + g*n, 2*r = -n + 8 + 10. Is r a multiple of 4?
False
Suppose -5*c + 1441 = -519. Is c a multiple of 14?
True
Suppose -4*w - 1149 = -5*i, 6*w - 2*w + 683 = 3*i. Let d = -133 + i. Is d a multiple of 20?
True
Suppose r = 3*r - 2*x - 4398, -5*r + 11030 = 2*x. Does 19 divide r?
True
Suppose 5*c - 665 = -180. Let o = 89 + c. Is 32 a factor of o?
False
Let x(h) = -h**2 + 24*h - 13. Let b(j) = -j**3 - 13*j**2 + 13*j + 6. Let q be b(-14). Is x(q) a multiple of 30?
False
Let s = -2 + 489. Suppose -273 = -2*p + s. Is 14 a factor of 2/(-9) - p/(-9)?
True
Suppose 0*h - 3964 = -4*h - 4*r, 4*h - 3962 = -3*r. Does 23 divide h?
True
Let d be (-48)/15 + (-9)/5 + 2. Does 12 divide d*-3*106/9?
False
Let x = -25 + 37. Is x a multiple of 4?
True
Let g(u) = -18*u + 60*u**2 + 16*u + 31*u**2. Does 15 divide g(1)?
False
Suppose 174 = -5*n + 8*n. Suppose 4*y = -c - n, -6*y = -3*y + 3*c + 39. Is 29 a factor of 170/y*(-6 - -3)?
False
Let c = -496 + 1873. Is 17 a factor of c?
True
Let h be 2 - (-2 - 1 - -1). Suppose 14*f - 10*f = -h. Is 2/f*(-140)/7 a multiple of 10?
True
Suppose 73*d + 60840 = 227426. Is d a multiple of 33?
False
Suppose 27165 = -69*q + 139773. Is q a multiple of 64?
False
Let g be 9/7 + (-10)/35. Suppose -m = 5*p - 41, -g + 0 = -m. Is 8 a factor of (-2)/p + (-146)/(-8)?
False
Suppose -i + 3*j - 129 = -4*i, 0 = -5*j - 25. Suppose 4 = -4*m + i. Suppose -12*r + 16 = -m*r. Is 4 a factor of r?
True
Let f(w) = 2*w**2 - 49*w + 35. Does 37 divide f(29)?
True
Let u be (-1*(-1)/(-1))/1. Is 7 a factor of 42 + u + -3 - -4?
True
Suppose -4*d + 65 = d. Let a be 925/45 - (-1 - 10/(-18)). Let g = a + d. Is 16 a factor of g?
False
Let l be 10/(-30) - (-10)/3. Suppose s + l = 47. Is 11 a factor of s?
True
Let p(v) = v**2 - 4*v - 17. Let w be p(9). Suppose 4*k = 4 + w. Is 4 a factor of k?
True
Let s(r) = -r**3 + 5*r**2 - 4*r + 2. Let v be 2*6 - (-8 - -10). Suppose -o = -6*o + v. Is 5 a factor of s(o)?
False
Suppose -3*n + n = -4. Let i(t) = -4*t**2 + 2*t - 1. Let l be i(n). Let x = 21 + l. Is 3 a factor of x?
False
Suppose -4*k + 5*k - 4*l - 116 = 0, k + l = 106. Is k a multiple of 27?
True
Suppose 0 = -2*v + 3 + 3. Let j = -56 - -130. Suppose j = v*c + 14. Is c a multiple of 10?
True
Suppose -4238 - 1243 = -3*c. Does 29 divide c?
True
Let j(v) = -v**3 + 10*v**2 - 3*v + 2. Suppose -7*o + 8 = -6*o - 2*i, -2*i - 20 = -4*o. Does 20 divide j(o)?
False
Let q(d) = -34*d + 4. Let y be q(-6). Suppose -b + y = l + l, b = -3*l + 212. Does 50 divide b?
True
Let l = -