35. Is z a multiple of 21?
True
Let m(u) = 116*u + 6947. Does 12 divide m(38)?
False
Suppose -80 = -0*a - 5*a. Let g = -51 + a. Let h = -3 - g. Is h a multiple of 10?
False
Let a(k) be the first derivative of k**3/6 + 10*k**2 - 10*k + 17. Let s(f) be the first derivative of a(f). Is s(0) a multiple of 5?
True
Let u be (-32)/(-10)*(-645)/(-6). Suppose -985 + 985 = -3*t. Suppose 4*f - 964 - u = t. Is f a multiple of 47?
False
Let i(t) = -t**3 - 5*t**2 + 23*t - 24. Let g be i(-14). Let b = g + -742. Does 24 divide b?
False
Suppose 34*o - 38*o + 1744 = 0. Suppose -5*h - 5*m + 505 = 0, 4*m + o = 4*h - 0*m. Suppose -h = 7*b - 10*b. Does 9 divide b?
False
Let a be 75/(-27) + (-12)/54. Let x be 107 - (0 - a) - (0 - 2). Suppose 98 + x = 2*h. Is h a multiple of 12?
False
Suppose 3*j - 10 = -k, -2*j + 31 = -4*k + 1. Is 11 a factor of ((-312)/j)/(68/(-1190))?
False
Let l be -4 + 5 + -2*3/(-2). Suppose 16 = -l*n - 0*u - u, -5*n = -3*u + 37. Is 45 - -1 - -8*n/(-10) a multiple of 5?
True
Suppose -23*p - 23240 = -33*p - 5*u, 3*p = u + 6957. Does 14 divide p?
False
Suppose 0 = -i - v + 2*v + 2968, 0 = -3*v + 6. Is 11 a factor of i?
True
Let w(i) = i**3 + 35*i**2 - 2*i - 31. Let a be w(-35). Suppose 3*h - o - a = 0, 3*h - 3*o - 55 = -22. Is h a multiple of 8?
False
Does 9 divide 6*8/(-408) + 23547/17?
False
Suppose 12 = -3*a, a + 1998 = 7*z - 526. Does 8 divide z?
True
Suppose 0 = 4*x + r - 2333, -7*x = -3*x - 2*r - 2330. Suppose -4*u + 480 = 3*j - 2*j, 0 = 5*u - 3*j - x. Does 25 divide u?
False
Suppose 0 = -4*q - 93623 + 224943. Is q a multiple of 147?
False
Let o(c) = 677*c**2 - 5 - 668*c**2 + 12*c + c. Is 11 a factor of o(6)?
False
Let g = -109 - -153. Suppose 3*z + 2 = x, 0*x - 5*x - 2*z = -g. Suppose -x*d = d - 45. Is d a multiple of 5?
True
Let m(x) be the second derivative of -x**4/3 + x**3/6 + 3*x**2/2 - 17*x. Let u be m(3). Is 10/(-10)*(u + 0) a multiple of 10?
True
Suppose -5*k - 4*r + 17555 = -50737, 0 = 2*k - 5*r - 27330. Is k a multiple of 17?
False
Let t be (-75)/(-12) - (-4)/(-16). Suppose -t*v + 12 = -3*v. Is 16 a factor of (-134)/(-4) - v*(-5)/(-40)?
False
Let j = -54 - -12. Let d = j + 87. Suppose -d = -4*h - 1. Is 2 a factor of h?
False
Suppose 438694 = 51*z - 376931 - 580551. Is z a multiple of 29?
True
Let u(z) = -z**2 - 14*z - 28. Let g = -136 + 125. Let w be u(g). Suppose 4*v = -w*b + 67, 53 = 2*b + b - 4*v. Does 2 divide b?
False
Suppose 3*t - 5*t - 77274 = -4*u, -t = -5*u + 96597. Is 6 a factor of u?
True
Suppose -583*f + 584*f - 2172 = 4*k, -5*f + k + 11031 = 0. Is 48 a factor of f?
True
Suppose 2*v - 1 - 67 = 0. Let o = 136 - -270. Suppose -4*j + o = -v. Does 20 divide j?
False
Suppose 18*c - 12*c - 18 = 0. Suppose 0 = 5*d + 2*m - 564, -2*d - 1 = c*m - 231. Is d a multiple of 14?
True
Suppose 175*n - 645289 - 558626 = 25985. Is 65 a factor of n?
False
Let z = -11158 - -19855. Is z a multiple of 227?
False
Let j = -10 - -17. Suppose 98 = -573*b + 571*b - 2*i, -2*b + 3*i = 88. Let z = j - b. Does 9 divide z?
True
Suppose -10*k + 5*f = -13*k + 30328, -4*f + 10100 = k. Is k a multiple of 31?
False
Let w(s) = -s - 16*s - s**3 - 6*s - 6*s - 19 - 18*s + 28*s**2. Is 41 a factor of w(26)?
False
Suppose -72 + 0 = 9*z. Is (-30415)/(-49) - z/28 a multiple of 23?
True
Suppose 5*k + n = 18, 4*n = 2*n + 6. Let r(i) = -2*i + 5*i + 8 + k*i - 20. Is 22 a factor of r(13)?
True
Suppose 5*w + t - 35306 = 9805, 4*t - 24 = 0. Is 4 a factor of w?
False
Let a(w) = w**3 - 6*w**2 + 6*w - 3. Let g be a(5). Suppose -n + 6*p = 3*p - 72, 4*n = g*p + 308. Is n a multiple of 3?
True
Let d(i) be the third derivative of i**4/8 + 11*i**3/2 - 18*i**2. Let f be d(-10). Suppose -78 = -2*r - f*a, 2*a + 2*a + 64 = 2*r. Is 20 a factor of r?
False
Does 27 divide 55120/15 - (-40)/(-15)?
True
Let j(i) = -417*i**3 - 3*i**2 - 11*i - 34. Does 11 divide j(-3)?
True
Let u(x) = 5*x**2 - 24*x - 101. Let b(p) = 3*p**2 - 25*p - 101. Let c(l) = -4*b(l) + 5*u(l). Is c(-5) a multiple of 36?
True
Let c be (-2 - 171/(-3))*(-54)/(-15). Let q(b) = 2*b + 26. Let y be q(-12). Suppose y*f - c = -4*r, 4*f - 150 = -3*r + 2*f. Is r a multiple of 16?
True
Suppose -123*h + 3587330 - 1432588 = -1780766. Is 117 a factor of h?
False
Suppose -179*s - 1199 = -190*s. Suppose 40*c - 8131 = s. Is c a multiple of 4?
False
Let o(b) = -b**3 + 9*b**2 - 4*b - 29. Let x be o(8). Suppose 2493 = x*w + m, 13*w = 18*w - 4*m - 4172. Is 26 a factor of w?
True
Let n = -1 + 9. Let f be n/2*(-2)/(40/(-1745)). Let k = f - 219. Is k a multiple of 10?
True
Suppose c = -4, -330*c - 64168 = -4*w - 325*c. Does 255 divide w?
False
Suppose -60*d = -5*i - 59*d + 313, i - 3*d = 57. Let a = -5 + 9. Suppose -a*y - w = -99, y + 5*w - i = -y. Does 8 divide y?
True
Let q = -6567 - -9778. Is 19 a factor of q?
True
Suppose 6 = n + 3*q, -6*n + 7 = -4*n + q. Suppose -n*i + 1873 = l, 234 - 1472 = -2*i + 2*l. Is 10 a factor of i?
False
Let h be (1 + 27)/(2*(-3)/63). Let g = h - -334. Is 20 a factor of g?
True
Is 124 a factor of 6/3 - (-10 - 3088)?
True
Does 11 divide 2/3*(-265419)/6*84/(-196)?
True
Suppose 2*b - 235 = -3*b + 5*c, 176 = 4*b - c. Let m = 46 - b. Suppose 0 = -5*x + 5*p + 215, -2*x + 171 = 2*x - m*p. Is 22 a factor of x?
False
Suppose 62636 = 3*x - v, 0 = 4*x + v - 6167 - 77357. Does 180 divide x?
True
Suppose 3*h + 260 = 2*h. Let q = h + 693. Suppose 365 = 7*x - q. Is 45 a factor of x?
False
Suppose 0 = 3*b + 4 + 2. Let i(c) = -2*c**2 - c - 1. Let f(z) = 15*z**3 - 7*z**2 - 8*z - 4. Let l(g) = -f(g) + 4*i(g). Is 17 a factor of l(b)?
False
Suppose -2*y - 6 = 0, 3*f + f = -y + 545. Let a = f + 243. Is a a multiple of 30?
False
Suppose 3*s = -4549 + 15709. Does 186 divide s?
True
Let y(w) = -20*w - 26. Suppose -5*z = -3*l - 3 + 63, 0 = -l. Does 16 divide y(z)?
False
Suppose 20479 = 3*o + g - 5*g, 0 = 4*o + 2*g - 27298. Does 34 divide o?
False
Let b = -80781 + 124185. Does 7 divide b?
False
Suppose 0 = 7*z - 606 - 311. Let l = z - 102. Is l a multiple of 8?
False
Suppose 4*l = 3*n + 64 + 407, l + 171 = -n. Suppose 3*i = -119 + 1073. Let r = n + i. Is 17 a factor of r?
True
Let d be 2 + 24 - ((-4 - 2) + 4). Suppose -d = 6*x + x. Let c(t) = -t**3 + 4*t**2 + 5*t. Is c(x) a multiple of 36?
True
Let v = -14433 + 15081. Does 18 divide v?
True
Is 20 a factor of (372/(-15))/((-4)/2080*4)?
False
Let t(v) = -3*v**3 - 31*v**2 - 49*v - 8. Does 9 divide t(-10)?
False
Let o(s) = s**3 - 4*s**2 + 4*s + 12. Let q be o(4). Is 37 a factor of (-9)/(-12) + 2191/q?
False
Let d be (-678)/12 - (0 - 1/2). Let u = -52 - d. Suppose 0 = 5*p - u - 11, -2*p - 124 = -2*r. Is 12 a factor of r?
False
Suppose -28*x - 124 = -26*x. Let o = x + 9. Let j = o - -127. Is j a multiple of 15?
False
Let v = -7875 + 35315. Does 35 divide v?
True
Let y be 2 + -4 + -1035 + 1. Let i = -588 - y. Is 16 a factor of i?
True
Let n(o) = -o**2 + o + 4. Let c be n(0). Let b(h) = 17*h + 327. Let v be b(-19). Suppose r - 879 = -c*p, v*p - r + 0*r = 873. Does 14 divide p?
False
Suppose -6*w - 92400 = -25*w - 6*w. Is w a multiple of 22?
True
Suppose -28 = -8*k + k. Does 3 divide ((-55)/(-10) + 0)*2*k?
False
Suppose -1869 = -10*j + 2361. Is 47 a factor of 5/40*0 + j?
True
Let x(o) = 146*o + 820. Does 31 divide x(5)?
True
Let q = 5869 + -4679. Does 34 divide q?
True
Let h(m) = 58*m**2 - 227*m + 227*m. Let d be h(1). Suppose -8*o = -10*o + d. Does 2 divide o?
False
Suppose o = 2*q + 8759, 11*o + 5*q = 8*o + 26299. Is o a multiple of 8?
False
Is 6 a factor of 3*((-944 + 5)*-1 - 0) + 0?
False
Let g be (-52)/(-6)*(-18)/12. Is 35 a factor of (-2)/(-3)*(g + 622)?
False
Let t(z) = -z**2 + 5*z + 6. Let f be t(3). Let u be (327/(-6))/((-6)/f). Let n = 193 - u. Is n a multiple of 7?
True
Let t(r) = r**3 - 65*r**2 + 146*r + 195. Is t(63) a multiple of 15?
True
Suppose 34*m - 31*m = -12. Let k be m*(1 - 118/4). Suppose 4*h = c - 32, -7*c + 2*h = -3*c - k. Is 20 a factor of c?
False
Suppose -16*h + o = -12*h - 397, -3*h = 2*o - 306. Is h a multiple of 7?
False
Suppose 0 = -3*x + x - 14. Let k(s) = -534*s**2 - 8*s - 521*s**2 + 21 + 1054*s**2 - 3*s. Does 7 divide k(x)?
True
Let z(l) = -1424*l - 922. Does 9 divide z(-2)?
True
Is 5 a factor of 9 - 5 - (19*-69 - -5)?
True
Let a = -1257 - -5217. Does 99 divide a?
True
Let n(y) = 38*y**2 + 8*y - 40 - 258*y**3 + 257*y**3 - 4*y**2. Is 8 a factor of n(34)?
True
Do