 w = a + v. Is 10 a factor of w?
False
Let v be (36 - 41) + 470 + (0 - -2). Suppose -6*f - v = -7403. Does 69 divide f?
False
Let z(p) = -p**3 + 76*p**2 - 15*p - 905. Does 22 divide z(71)?
False
Let x(r) = -r**2 + 108*r + 69. Does 16 divide x(27)?
True
Let a = -450 + 440. Let d = a + 237. Does 27 divide d?
False
Does 80 divide -1*(-2 + -1)*(-10298480)/(-2001)?
True
Let h(v) be the first derivative of 11*v**5/30 - v**4/12 + v**3/2 - 5*v**2/2 + 3. Let r(a) be the second derivative of h(a). Is r(2) a multiple of 12?
False
Let w be ((-2)/(-3))/(244/48 - 5). Suppose 0 = -d - d + w. Let t(h) = h**3 + h**2 - h + 9. Does 17 divide t(d)?
True
Does 36 divide 1*1668/10*50*(-345)/(-300)?
False
Let s(p) = 29*p + 4. Let b be (-24)/(-2)*(-12)/(-48). Suppose -b*n + 1 = -5. Is 9 a factor of s(n)?
False
Suppose -9*x - 39 = -174. Suppose -2*f = -5 + x, 0 = v + 3*f - 225. Is v a multiple of 30?
True
Is 8/(-24) + 169404/18 a multiple of 102?
False
Let y(j) = -41*j + 5. Let i = -32 - -64. Suppose -i*f + 27*f - 10 = 0. Is y(f) a multiple of 29?
True
Let c(q) = -3*q**3 + 7577*q + 2*q**3 + 89 + q**2 - 7576*q. Let o = -1 + 1. Is c(o) a multiple of 20?
False
Suppose -9*z + 3 = -15. Suppose -z*x = -6, 0*l + 5*x = 5*l - 820. Is l a multiple of 7?
False
Let j(z) = 3 - 25*z**2 - 26*z**2 - 36*z**2 + 11*z**3 - 29*z + 101*z**2. Does 4 divide j(2)?
False
Let i = -20 - -5. Let c = i + 55. Suppose c = 5*o - 310. Is o a multiple of 35?
True
Let w(m) = -m - 9 - 21 - 4*m. Let s be w(-7). Suppose s*v - 275 + 65 = 0. Is 21 a factor of v?
True
Does 14 divide (-7)/(28/(-6))*2782?
False
Let a = 226 + -1314. Let s = -755 - a. Is s a multiple of 7?
False
Is 11409 + 31 - (-10 + 2) a multiple of 12?
True
Let x = 206 - 201. Suppose -4*w - 544 = -x*w - 5*t, -2697 = -5*w - 2*t. Does 13 divide w?
False
Let s be (-87)/(-21) - 4/28. Let y be (-651)/(-12) - 1/s. Suppose -3*d + y = -d. Is 12 a factor of d?
False
Let l(u) = 2*u - 10. Let y be l(9). Suppose -6*o - 2*c = -o - y, -4*c = -2*o - 16. Does 16 divide (-372)/(-12) - (-2 - o - -4)?
False
Let s = 743 + -653. Is 12 a factor of s?
False
Does 48 divide 970*(-76)/(-95) + (-1 - -5)?
False
Suppose 23*m = -4*m + 208570 - 45841. Does 49 divide m?
True
Suppose 0 = 43*y - 205835 - 328311. Is 10 a factor of y?
False
Let d(u) = u**2 + 13*u + 2. Let q be d(-11). Let f be (1 + 1/(-3))*180/q. Is (28/f + 2)*(-9)/2 a multiple of 12?
True
Suppose 0 = 2*g + 15*g - 3672. Let m = 6 - 1. Suppose g = m*o + 4*q, 4 - 5 = q. Is 9 a factor of o?
False
Let b(a) = -2*a**2 + 28*a + 199. Is 13 a factor of b(12)?
True
Let q(z) = z**2 - z - 3. Suppose -5*h - 3*l = -8, -3*h + 2 = 2*l - 2. Does 2 divide q(h)?
False
Suppose 5*m = v - 34, -20 = -3*v - 2*v. Let c(r) be the third derivative of -r**4/6 + 13*r**3/6 + 3*r**2. Is c(m) a multiple of 7?
False
Suppose 217277 + 1335358 = 107*x + 28*x. Is x a multiple of 182?
False
Suppose 12259 = 4*d - 2*x - 37649, -2*x + 4 = 0. Is 104 a factor of d?
False
Suppose 0 = -5*w + 2*v - 4*v + 111, -2*v = 2*w - 48. Let f = -17 + w. Suppose 4*h - 84 = -x, 5*h + 4*x - f = 101. Is h a multiple of 3?
True
Suppose 26*w = -2837 + 6581. Is 4 a factor of w?
True
Suppose 0 = q - 4*b - 391, b + 778 = 2*q - 3*b. Let w = 79 + q. Does 17 divide w?
False
Let r(z) = 207*z**2 + 100*z + 796. Is r(-10) a multiple of 16?
True
Let m(i) = 17*i**3 + 9*i**2 - 166*i - 40. Does 8 divide m(8)?
True
Let b be 8/28 + 12/7. Suppose y = 1 + b. Suppose y*u = 9*u - 96. Does 4 divide u?
True
Suppose 0 = -2*x - i + 934, -2335 = -10*x + 5*x - 5*i. Is x a multiple of 3?
False
Does 15 divide 4543 - (5 - (-40)/(-4))?
False
Let m be ((-346)/8)/(16/64). Let i = m + 245. Let y = i - 65. Is y even?
False
Let x be (5 - 2)*(2 - 1). Suppose -x*k + k - 2*i = -46, -71 = -3*k - i. Is 21 a factor of (0 + k/20)*230/3?
False
Suppose 39142*q - 33925 = 39119*q. Is 5 a factor of q?
True
Let c(j) = -3*j**2 - 4*j - 5. Let x be c(5). Let u = x + 28. Let n = u - -108. Is n a multiple of 12?
True
Suppose 4*o = -4*f - 1452 + 356, -o + 276 = -f. Let k = 500 + f. Does 9 divide k?
True
Suppose 4*y + 254 = 4*v + 6*y, -319 = -5*v - 4*y. Suppose 0 = -5*x + 4*s + 5729, v*s - 8 = 61*s. Does 19 divide x?
False
Let b(h) = -16*h**2 - 96*h. Let g be b(-6). Suppose g = d - 4, -5*i - 10*d + 173 = -13*d. Is i a multiple of 19?
False
Suppose 0 = v - 6. Suppose -v + 10 = o. Suppose 3*w - 489 = -o*g, 4*w - 5 = -25. Is 18 a factor of g?
True
Suppose 158*g - 131*g = 287037. Is g a multiple of 27?
False
Let m = 64 + -58. Let s be 1058*(-3)/m*-1. Let u = 743 - s. Does 23 divide u?
False
Let c(b) = b**2 - 2*b + 222. Suppose -5*o - 33 = q, 11 = -2*q + 5*o - 10. Does 6 divide c(q)?
True
Let i(g) = -10*g**2 - g - 1. Let n be i(-2). Suppose 3*s = 5*q - 1, -2*s + 3*s + 2*q = 7. Is 20/s + n/(-9) + -4 a multiple of 3?
False
Let g = 138 + -32. Is g/(-159) - 1721/(-3) a multiple of 23?
False
Let d be 74748/48 - (27/12 + -2). Suppose d = 3*j - 4*h - 991, 5*j = 3*h + 4243. Is j a multiple of 53?
True
Let v be (1 + -59 - 2)/(-1). Let u be (-5 + 0)*(-12)/(-2 - -14). Suppose 0*n + v = u*n. Does 3 divide n?
True
Suppose -69*m + 89*m = 13940. Is m a multiple of 54?
False
Suppose 2*x = 5*t - 14, -2*t - x = 3*t - 23. Suppose 5*s - 4*c + 37 - 433 = 0, 4*c = -t*s + 288. Does 19 divide s?
True
Suppose -2*r - 237 = 247. Let h = r - -1384. Does 8 divide h?
False
Does 24 divide (-72)/45*-48*190?
True
Let w = -15 + 13. Let t be (-1 - (-10)/w)*234/6. Is (0 - 4)/(52/t) a multiple of 3?
True
Let v(z) be the second derivative of -z**5/20 + z**4/2 + 7*z**3/6 - 14*z**2 + 73*z. Does 3 divide v(6)?
False
Suppose 3 = u, o + 2*u - 17 = -u. Let l be o/6 + (16/12)/2. Suppose 35 + 171 = l*b. Is 16 a factor of b?
False
Suppose 0 = -471*l + 454*l + 9469. Is l a multiple of 8?
False
Suppose 3396*d = 3407*d - 44187. Is d a multiple of 39?
True
Let s = 618 - -593. Let r = -702 + s. Is 8 a factor of r?
False
Let t = -114 + 113. Is t + (-9)/6*(-4 + 2) even?
True
Suppose 4*z + 3 = -1, -3*q - 4*z = -4208. Suppose -p + q = 4*t + p, 4*p = 0. Is 12 a factor of t?
False
Suppose 0 = 2*i + 2*a - 4 + 6, -4*i - a + 8 = 0. Suppose i*g - 450 = -3*z, -5*g + 920 = 3*z + 178. Is g a multiple of 7?
False
Suppose -2*b + b = 3*m - 986, 1302 = 4*m - 5*b. Let o = m + -81. Is 12 a factor of o?
False
Let c(q) = 34*q**2 + 6*q + 30. Let b(l) = -6*l + 86. Let z be b(15). Is c(z) a multiple of 55?
True
Suppose -10958 = 8*t - 4315 - 99187. Is 6 a factor of t?
True
Suppose -4*b - 534*t = -531*t - 21822, 0 = b - 3*t - 5478. Is b a multiple of 12?
True
Suppose -21*r - 89 = -22*r. Suppose -r = -b - 4. Is 2 a factor of b?
False
Suppose 26529*n - 2720 = 26524*n. Is n a multiple of 34?
True
Suppose 3*c - q = 4*q + 29, -3*q = 12. Suppose 0*s - c*l = -5*s + 1327, 5*s = 4*l + 1326. Suppose 0 = -2*f - 4*m + 92, -5*f + 0*m = -2*m - s. Does 18 divide f?
False
Let t = 58 - 54. Let i = 16 + -16. Suppose i = -t*a + 119 - 27. Is 8 a factor of a?
False
Suppose -35 = 74*t - 69*t. Does 28 divide (t + 126/(-12))*-16?
True
Suppose 0*i = -2*i - 2. Let n be ((-4 - i) + 3)/(-1). Suppose n = 2*x - 7*x + 3*k + 264, 5*x + 3*k - 276 = 0. Does 34 divide x?
False
Suppose 15*z - 4791 - 10574 = 28195. Does 88 divide z?
True
Let q be (-1)/(55/22) - (-73)/(-5). Does 19 divide ((-635)/q)/((-2)/(-48) - 0)?
False
Let f(u) = 3*u**2 - 31*u + 337. Is 81 a factor of f(9)?
False
Let w(v) = 10726*v - 277. Is 83 a factor of w(3)?
False
Let j = -1539 - -2985. Is 6 a factor of j?
True
Suppose j + 2*b = 3*b + 3, 17 = 5*j - 3*b. Suppose 0 = -4*n - k - 134, n - 112 = j*n - 5*k. Does 13 divide 5/15*6 - n?
False
Suppose 3*h - 10 - 8 = 0. Let u(y) = -21 + 55 + 9*y - 11 - 22. Is 11 a factor of u(h)?
True
Let u(d) = d**3 - 2*d**2 - 2*d + 4. Let z be u(3). Suppose 2*o - z*o = 0, -s - 5*o = -55. Is 11 a factor of s?
True
Let f(c) = 3*c**3 - 39*c**2 + 6*c - 17. Let h be f(13). Let u(d) = -d. Let m be u(5). Does 17 divide (h/2 + m)/((-3)/(-8))?
True
Let d(h) = -3*h**3 - 104*h**2 - 68*h + 232. Does 2 divide d(-34)?
True
Let z(a) = 129*a + 1673. Does 55 divide z(-8)?
False
Suppose 31680 = 29*f + 11*f. Suppose 0 = 12*d - f - 960. Does 21 divide d?
False
Suppose -5*g - 12 = 558. Let f(t) = -4*t**3 + 3*t**2 - 4*t + 5. Let p be f(2). Let d = p - g. Does 30 divide d?
False
Let n(m) = 2*m**2 + 40*m - 126. Let t be n(28). Suppose 0 = 38*o - 44*o + t. Is 5 a fact