 a factor of (3393/145)/(-39) - -2*14503/10?
True
Let b = -66 - -154. Suppose 23937 = v + 236*v. Let l = v - b. Is l even?
False
Let t(o) = 17*o**2 - 18*o + 3. Let b(n) = -9*n**2 + 9*n - 2. Let i be (2 + 54/(-15))/(4/(-10)). Let s(c) = i*t(c) + 7*b(c). Is 4 a factor of s(3)?
True
Let y be (0 - 249)*(0 - (-6 - -10)). Suppose -9*r = -13*r + y. Is r a multiple of 10?
False
Does 13 divide (-52270166)/(-2748) + (-2)/12*1?
False
Suppose -593*q + 350 = -586*q. Does 32 divide 5 - ((-5)/q - 6349/10)?
True
Let q(u) = -71*u + 223. Suppose 3*g + 74 = 4*p, -2*p + 3*p + 85 = -5*g. Is 77 a factor of q(g)?
False
Let b(n) = n**3 - 5*n**2 + 4*n + 5. Let r be b(4). Suppose -2*c - r = -13. Suppose 4*g - 204 = c*x, -5*x - 38 = -2*g + 49. Is g a multiple of 14?
True
Let n(k) = 3*k**2 - 77*k - 689. Is 27 a factor of n(-22)?
True
Let p be 2*4*35/20. Suppose 1512 = p*v - 5*v. Is 7 a factor of v?
True
Suppose 8*o + 2 = 9*o. Is o/(-10) - 1206/(-30) a multiple of 8?
True
Suppose d - 3 + 2 = 0. Let f be ((-1)/(-1))/d + 20. Suppose -19*j = -f*j + 118. Is j a multiple of 12?
False
Suppose -160*r + 2052066 = -33*r. Does 12 divide r?
False
Does 15 divide (-15)/(210/(-149744)) + 10?
False
Suppose 4*l - 3*v = 27, 10*v - 14 = -3*l + 11*v. Suppose l*f + 2*f - 1045 = 0. Does 11 divide f?
True
Suppose 6*k - 18 = -0*k. Let h(f) = -f**3 + 2*f**2 + f + 4. Let x be h(k). Is (2 + x - 1)/(1/(-115)) a multiple of 23?
True
Let s(i) = 1615*i + 4200. Is s(10) a multiple of 50?
True
Does 177 divide 320/((115/(-15))/(9/7) - -6)?
False
Suppose -5*h = -v - 800, -4*h = -4*v + 356 - 996. Is 20 a factor of h?
True
Let d(v) = v**3 + 2*v**2 - 44*v + 16092. Is d(0) a multiple of 27?
True
Let i(m) = m - 2. Let g(s) = 64*s - 46. Let v(z) = g(z) + i(z). Is v(3) a multiple of 3?
True
Suppose 0 = -4*i + 1 + 191. Let r be (-2)/(-2*(-3)/i). Does 16 divide (r/(-5))/(((-4)/2)/(-10))?
True
Let l be (208/1)/((-217)/77 + 3). Suppose l - 4272 = -4*v. Does 17 divide v?
True
Let x = 76728 + -18512. Does 19 divide x?
True
Let g(x) = 489*x**2 - 232*x + 484*x**2 - 1465*x**2 + 8 + 481*x**2. Is g(-20) a multiple of 8?
True
Does 74 divide 5*(-396)/110*(-296)/6?
True
Suppose 6*x = x. Suppose -2*i + 6 - 4 = x. Is i*-2 - (5 - 183) a multiple of 22?
True
Let w = 293 + -297. Does 36 divide ((-72)/20 - w)*10 - -258?
False
Let d(s) = 18*s**2 + 2*s - 4. Let u(w) = -2*w**3 + 4*w + 4. Let q = 70 - 71. Let z be u(q). Is 12 a factor of d(z)?
True
Suppose -3*l - 5*o + 26382 = 0, l - 10065 + 1285 = -4*o. Is 11 a factor of l?
False
Suppose k + 2*z = 26528 - 3523, -5*k - 5*z + 115005 = 0. Is 29 a factor of k?
True
Let t(j) = 13216*j + 88. Is t(3) a multiple of 127?
False
Let h = 4290 + -1914. Suppose 4*v = -5*v + h. Suppose -4*r - 2*l = -v, -4*r - 4*l + 80 = -3*r. Is r a multiple of 32?
True
Suppose -4*k + 28*f = 33*f - 1760, 0 = 4*k - 3*f - 1728. Does 34 divide k?
False
Let i(o) = 24*o**2 + 6*o - 22. Let n be i(7). Suppose 0 = 4*z - 12, -a + 3*z = 4*a - n. Is 9 a factor of a?
False
Is 7512*(144/(-12) - -16)/(1*6) a multiple of 104?
False
Let t(l) = 2*l**2 + 3*l + 1. Let z be t(3). Suppose z*q = 21*q + 1295. Does 5 divide q?
True
Let m(n) = -6*n**3 - 11*n**2 - 69*n + 103. Does 37 divide m(-9)?
False
Let w be (-64)/12*6/(-4). Let y(b) = -10*b**2 - 5*b - 16. Let j(k) = 36*k**2 + 16*k + 49. Let x(r) = 2*j(r) + 7*y(r). Is 15 a factor of x(w)?
True
Let j = -386 - 121. Let k = 18 - j. Let o = -356 + k. Does 17 divide o?
False
Suppose -6*m + 127 = -509. Let h = 112 - m. Is h even?
True
Let m be (-151530)/180 + 5/6. Let z = m + 1588. Is 51 a factor of z?
False
Is 104 a factor of 1 + -13 + (5734 - 2)?
True
Suppose 14*d = 9*d. Suppose 2*z - 1304 = -d*z. Is z a multiple of 15?
False
Let y(h) = -2*h + 6. Let d be y(9). Let f be ((-8)/d)/(1*1/3). Suppose 30 = -f*a + 136. Is 17 a factor of a?
False
Let d(r) = -5*r**2 - 17*r - 22. Let j be d(-12). Let p = j - -778. Is 15 a factor of p?
True
Let n(i) be the third derivative of i**4/12 + 25*i**3/6 - 20*i**2. Let f be n(-10). Suppose f*k - 357 = -2*y - 23, -4*k + 3*y = -258. Is k a multiple of 5?
False
Let n(p) = -13*p + 60. Let b be n(12). Let t = -60 - b. Does 17 divide 4/((-20)/(-153))*120/t?
True
Let s be (-52)/20 + (-4)/10. Let y be (-1)/(-1) + 6 + -3. Is 6/y*(-176)/s a multiple of 17?
False
Let l(c) be the first derivative of c**3 - 15*c**2 + 4*c + 122. Is l(-4) a multiple of 17?
False
Let j be -6 + -343*3/1. Is 3*2/4 - j/10 a multiple of 15?
True
Let h(r) = 725*r**2 + 26*r + 3. Does 34 divide h(5)?
True
Suppose -53*v + 4*f + 16062 = -52*v, -v + 16068 = -5*f. Is v a multiple of 162?
True
Suppose 2*q + 3*d - 278 = 0, 0 = 4*d - 0*d. Let m = 345 - q. Is 3 a factor of m?
False
Let t(s) = 3*s**2 + 52*s + 1097. Is t(72) a multiple of 151?
False
Let m(i) = 2*i**3 - 9*i**2 + 11*i - 2. Let l be m(1). Suppose 4*h + 6 = 26. Suppose -l*o - h*y + 186 = -o, -4*y - 316 = -2*o. Is 12 a factor of o?
False
Let f(v) = 3*v**2 + 17*v + 12. Let t(z) = z**2 + z. Let p = -150 - -146. Let d(i) = p*t(i) + f(i). Does 7 divide d(7)?
False
Suppose -22*x = -34*x + 13656 + 14772. Is 7 a factor of x?
False
Let c = 51 - -153. Let x = c - 64. Is x a multiple of 6?
False
Suppose -102 = 2*k + 2*o, 34*k + 249 = 29*k - 2*o. Is 9 a factor of (-52)/26 - (k + 2)?
True
Let u = 13 - 9. Suppose z = -u*z + 590. Suppose -o + 92 = r, 0 = 2*r + 4*o - 56 - z. Is r a multiple of 18?
False
Let s be 75/6*1130/(-15)*-3. Suppose 2785 = 17*a - s. Is a a multiple of 11?
True
Let g = -9179 - -15363. Does 8 divide g?
True
Let h = 3548 - -14272. Is 220 a factor of h?
True
Is ((-880)/24 + 8)*-1428 a multiple of 9?
False
Let a be 2 - 534/(-4) - (-24)/16. Does 69 divide (-2)/3*39/(-26) + a?
True
Let h = -20119 - -35814. Is h a multiple of 73?
True
Suppose 30 = -6*r, -394*l + 4*r = -398*l + 44620. Does 124 divide l?
True
Let v be 474/7 - (6 + 396/(-63)). Suppose 2*z + 2*d - 496 = 0, 2*d + 192 = z - v. Is 12 a factor of z?
True
Suppose p - t + 1127 = 0, -47*p + 2*t - 4514 = -43*p. Let n = p + 1740. Is 61 a factor of n?
True
Is (7420/175)/(3 + (-1372)/460) a multiple of 55?
False
Suppose h = -4*d + 7, -6*d + d - 3*h + 7 = 0. Suppose -d*n = n. Suppose 4*c + n*c = 672. Is c a multiple of 28?
True
Suppose 33533 + 216061 = 237*j - 63720. Does 2 divide j?
True
Suppose -2*w - 40 = 3*w. Let y = 10 + w. Suppose 0 = -5*c + 2*b + 276, -5*b - 68 - 55 = -y*c. Is 18 a factor of c?
True
Let t be 30/4 + ((-5)/(-2) - 2). Suppose -z + t*z = 42. Let s(x) = x**2 - 8*x + 35. Does 3 divide s(z)?
False
Suppose 5*v - 12 = t, -v - 3*t + 12 = -0*t. Suppose 0*u = u + 3*l - 419, v*l = 4*u - 1706. Is u a multiple of 42?
False
Let k(c) = c**3 - 11*c**2 + 4*c - 41. Let d be k(11). Suppose -2*o + z = o - 68, -d*z = 5*o - 90. Does 3 divide o?
True
Let r be 22/12 - (732/(-72) + 10). Let a(c) = 29*c**3 + 6*c**2 - 2*c - 4. Is 7 a factor of a(r)?
False
Suppose 0 = 2*x - u - 7, -5*x - 7*u = -10*u - 17. Suppose 2*y = -4*l + 674, -2*l + 334 = 2*y - x*y. Is l a multiple of 21?
True
Suppose 5*j - 4*j = -2*m + 3582, 0 = 4*m - 2*j - 7172. Is m a multiple of 14?
True
Suppose 0 = -5*n - 3*k - 299 + 6789, -6510 = -5*n + k. Let r = -882 + n. Is 54 a factor of r?
False
Let r be ((-28)/(-4))/(((-2)/54)/(-1)). Let z = 275 - 397. Let x = z + r. Is 13 a factor of x?
False
Suppose -6*h + 71 + 427 = 0. Let f = -79 + h. Suppose 0 = f*z - 3*i + 8*i - 52, -i - 26 = -2*z. Does 3 divide z?
False
Suppose 4*h = 3*l + 19977, -9*h + l = -4*h - 24963. Is 96 a factor of h?
True
Suppose -16 - 38 = -2*m. Let u be m/(-2)*(-5 - -3). Suppose 0 = -28*h + 27*h + u. Is h a multiple of 4?
False
Suppose 0 = 8*p - 19622 + 3198. Let q = p + -865. Does 20 divide q?
False
Let o(w) = 12*w - 54*w**2 + 124*w**2 + 112 - 62*w**2. Does 35 divide o(-12)?
True
Let l(o) be the second derivative of -o**4/12 - 8*o**3/3 - 11*o**2 + o. Let z = -42 + 29. Is l(z) a multiple of 4?
False
Let q(k) = 1608*k - 34. Let r be q(5). Suppose -3*a = 5*p - 4815, 6*a - a + 2*p = r. Does 16 divide a?
True
Is 28 a factor of 1/(38715/367612 - 270/2565)?
True
Let u be -6*(-4)/(-8) - -1. Let n(j) = -4*j**2 + j - 3. Let b be n(u). Is ((-6)/(-4))/(b/(-700)) a multiple of 5?
True
Let x(w) = w**2 + w - 24. Let s be x(-7). Suppose s = 2*f + 34. Let b = f + 73. Does 13 divide b?
True
Let s(z) = 20*z**2 + 3*z. Suppose -2*d - 30 = -2*r, -1 = -r - 2. Let m = d - -13. Does 36 d