divide a?
False
Suppose p = 6*p + 265. Let i = -44 - p. Is 7 a factor of (-35)/4*(-13 + i)?
True
Let v be 721 - (-5 + (-4 - -4)). Suppose 3*u + v = 2*r, 10*u - 9*u = 3*r - 1089. Is r a multiple of 33?
True
Let s = 367 + -227. Let q = s - -848. Does 76 divide q?
True
Let z be 4/((-16)/50)*8/10. Is (-1218)/z + 9/45 a multiple of 20?
False
Suppose -8*r + k + 75675 = 0, -r + 1430 = -3*k - 8015. Is r a multiple of 86?
True
Suppose 122*b - 38363 = 255113 + 139990. Does 188 divide b?
False
Let m(w) = -3*w**3 + 19*w**2 - 6*w + 3. Let y be m(6). Suppose y*i = 5*i - 3*p - 63, 2*p + 60 = 2*i. Suppose -i + 103 = 4*s. Does 5 divide s?
False
Suppose -4*b + 5*b - 2*z = -2, -2*z + 6 = 0. Let i be 101 + (-10)/(-4) + 2/b. Suppose j - i = -2*y, 291 = 3*j - 4*y - 71. Is 19 a factor of j?
True
Let d(s) = -355*s + 34. Let a = 0 - -13. Let p be d(a). Is p/(-27) + 1/3 a multiple of 34?
True
Let g = -4886 + 5924. Is 240 a factor of g?
False
Suppose 11*j - 5*x = 9*j + 7, 4*x = -4*j - 28. Does 7 divide (j - (-88)/12)*(10 - 1)?
False
Let a be 3244/(-20) + 1/5. Let j be 13 + -7*2056/(-56). Let x = a + j. Is x a multiple of 19?
False
Suppose 72*d - 75*d = -285. Suppose d = 10*c + 25. Does 6 divide c?
False
Let q be (-76)/(-12) - 2/6. Is ((-2295)/q)/(-15)*6 a multiple of 4?
False
Suppose -356*m = -1637694 - 3219425 + 100247. Does 34 divide m?
True
Suppose n = 2*k, -5 = -9*k + 4*k. Suppose -30 = q + 4*r, -2*q = n*q - 3*r + 139. Let l = -16 - q. Does 11 divide l?
False
Is 19 a factor of 12/(-18)*(-7)/((-84)/(-48186))?
False
Let y(g) = -8*g + 136. Let c be y(0). Let f be (4/(-4))/((-1)/c). Does 10 divide f + -6 - (-2)/4*0?
True
Suppose 2*g = 4*g + 5*m - 24195, 4*g - 5*m - 48435 = 0. Suppose -g = -8*r - 1809. Is r a multiple of 79?
False
Let k = -69 + 118. Let o = -46 + k. Is 20 a factor of 35/15 - 3 - (-548)/o?
False
Suppose 17 = 3*y + 11, -o - 2*y = -4899. Is o a multiple of 27?
False
Let l be (-34)/(-6)*(6 + -3) - 2. Suppose 2*o - l = o. Is 25 a factor of 4/10 - ((-2238)/o)/2?
True
Let p = 33 + -16. Suppose 0 = 2*c + 3*c + 5*b - 10, -2*b = -5*c + p. Suppose 3*f - 54 = -c*q, -q + 6*q = f + 66. Is 14 a factor of q?
True
Suppose o - 5*v - 28 = 0, 2*o + 3 = 3*v + 24. Suppose -i - o*i = -16. Suppose 0*z = 4*w + 2*z - 216, -8 = i*z. Is w a multiple of 11?
True
Suppose -5*o - 2*o - 7 = 0. Let c be 50 - -2 - 3*(o + 2). Let h = c - 5. Does 9 divide h?
False
Let w = 713 + -475. Is w a multiple of 16?
False
Let g(i) = i**3 - 4*i**2 + i - 1. Let f be g(4). Suppose -s + 0 + 1 = u, -u - f*s + 9 = 0. Is 10 a factor of (u - -2)*(2 + -162)?
True
Suppose 0 = -4*p - 4*g, 2*g = p + 4*g + 2. Let f be -4 - (-58)/p*-3. Let u = 270 + f. Is u a multiple of 16?
False
Let r = 77 + -71. Does 6 divide (r + 145/(-10))*-38?
False
Let m(c) = -3*c - 2. Let d be m(11). Let q = d - -59. Suppose q*x - 36 = 21*x. Is x a multiple of 12?
True
Let q = 78 - 10. Suppose 3*l = 4*s - 77, l - 3*l + 2 = 0. Let x = q - s. Does 16 divide x?
True
Let f be ((-253)/46)/((-2)/28). Is (2/(-6))/(f/(-125664)) a multiple of 17?
True
Is 30 a factor of 5857 + -17 - (0 - 10)?
True
Let p(x) = x - 25. Let c(v) = v - 6. Let y be c(24). Let k be p(y). Let f(m) = -27*m - 29. Is f(k) a multiple of 34?
False
Suppose -q = 0, f - 3*q + 4*q = 3. Suppose b - 1394 = 4*s, 0 = s + f*b + 31 + 311. Is 11/(198/s)*-12 a multiple of 22?
False
Suppose 5 = -d, -3*d - 411 - 136 = 2*c. Let k be 3 + (-8)/6*3/1. Is 16 a factor of 3 + 0 - (c - (2 - k))?
True
Suppose 54*y - 55*y + 9644 = 4*s, 48288 = 5*y + 3*s. Is y a multiple of 15?
True
Let h be (41 + -5)/((-4)/24) - 3. Let l = -25 - h. Is l a multiple of 18?
False
Let k = 472 - 475. Let g(u) = -45*u - 61. Is 7 a factor of g(k)?
False
Suppose 0 = 11*v - 124 - 8. Suppose -3*o = -v, 5*t - 2*o = -6*o + 6. Is (34 - 4)/((t/(-8))/1) a multiple of 24?
True
Suppose -j + 3*j = 6. Suppose 277 - 37 = j*i. Does 16 divide i?
True
Let v(a) = -a**3 - 22*a**2 - 42*a + 43. Let l be v(-21). Suppose 0*g - y - l = -5*g, -2*y = 8. Does 19 divide g?
False
Let m(d) = 798*d**2 + 21*d - 67. Is 7 a factor of m(3)?
False
Let b = -77902 - -135872. Is b a multiple of 341?
True
Suppose -3*q - 2*m + 206 = 0, -3*m - 325 = -3*q - 94. Suppose -215*c + 748 = -232*c. Let n = c + q. Does 9 divide n?
False
Suppose -33*t - 1658 = -35*t. Suppose -4*v - i = -5*v + 277, -2*i = -3*v + t. Is 4 a factor of v?
False
Suppose -5*a - 455 = -3*l, 5*a - 13 = 12. Let t = -92 + l. Is t a multiple of 10?
False
Suppose 35 = -8*w + 13*w. Suppose -6 = -w*n + n. Is (79 + 0 + 4)/n a multiple of 4?
False
Suppose -11*y = -19 - 91. Is (1245 - 11) + y + (-3 - -1) a multiple of 27?
True
Let a = 7524 - 4309. Does 27 divide a?
False
Does 23 divide 1 - (2/38 + 167970330/(-3135))?
False
Let l be (6/(-5))/((-2)/5). Suppose -6*v = -7*v + l. Suppose -5*r + 33 + 12 = u, v*u + r - 177 = 0. Does 15 divide u?
True
Let h(x) = -4*x + 132. Let d = -38 - -34. Let k be 3 - d*(-9)/12. Is h(k) a multiple of 17?
False
Let k(z) = -2*z + 29. Let v be k(13). Let c(o) = -o**3 + o**2 + 6*o + 3. Let w be c(v). Suppose 5*g + 0*a - 700 = -2*a, 3*a = -w*g + 411. Does 8 divide g?
False
Let x(i) be the first derivative of -i**5/20 - 3*i**4/2 - 3*i**3 + 9*i**2 + 13*i + 27. Let c(k) be the first derivative of x(k). Is 38 a factor of c(-18)?
True
Let n(u) = -u**3 + 113*u**2 + 285*u + 302. Does 101 divide n(114)?
True
Let t(x) = -x**3 + x**2 - x. Let m(q) = 6*q**3 + 10*q**2 - 7*q. Let a(l) = m(l) + 5*t(l). Let v be a(-12). Suppose -3*k - k = -v. Does 24 divide k?
True
Let b(a) = -24*a**3 + 4*a**2 + 51*a + 164. Is 120 a factor of b(-4)?
True
Let y = 1133 - 627. Suppose -4*a + 1382 - y = 0. Does 45 divide a?
False
Suppose 3*m + 327 = -16*n + 19*n, -5*m + 3*n - 545 = 0. Let c = m + 152. Does 43 divide c?
True
Let f = -22 + -2. Let o be (-4)/f*-2 - 286/(-3). Is (-3)/(-1 - o/(-110)) a multiple of 2?
True
Suppose 3*s - 196 - 743 = -r, 5*r - s - 4775 = 0. Is r a multiple of 2?
True
Let v(d) = 30*d - 228. Let o be v(8). Is 32 a factor of 132/231*3/(o/2338)?
False
Let b = 190 + 198. Suppose -k - 3*k = -b. Is 5 a factor of k?
False
Suppose 18*n - 1485 = -4257. Does 10 divide (660/n)/(1 - 0)*-70?
True
Suppose -14*f + 19 + 51 = 0. Suppose z - 4*h = h, 0 = 4*z - f*h. Does 35 divide z/3 + 5*(-3 + 10)?
True
Suppose 60*k - 1596 = 39*k. Suppose k*b = 41*b + 13650. Is 16 a factor of b?
False
Let s(t) = -t**3 + 13*t**2 + 29*t + 7. Let y be s(15). Let x = y + 38. Is x a multiple of 5?
True
Let q = 35 + 10. Let o = 339 - q. Suppose 3*x = o - 15. Is 15 a factor of x?
False
Suppose 3*b + 2146 = 5*b. Let y = b + -685. Does 21 divide y?
False
Let m(v) = 2*v**2 - 5*v - 22. Let r be m(5). Suppose 4*i = -b + 473, -3*i + 471 = -2*b + r*b. Does 8 divide b?
False
Suppose 2*a - 2 = -4*r, 39*r + 4*a = 42*r - 18. Is (-3)/6 - (-1481)/r a multiple of 37?
True
Let a(p) = -2*p**2 + p + 59. Let y be a(-5). Suppose 2*z - 4*g = -2*z + 72, 4*z + 3*g - 58 = 0. Suppose -2*s - z = -y*s. Is 7 a factor of s?
False
Suppose 46*p + 503196 = -117*p + 220*p. Does 11 divide p?
False
Does 7 divide (-1 + (15 - -12304))*1?
False
Let z be (-6)/21 + 2837/7. Let f be (-69)/33 + 2 + (-15670)/55. Let y = z + f. Does 24 divide y?
True
Let o(x) = -x**2 + 12*x + 31. Let a be o(14). Suppose -l = a - 4. Let f = l + 51. Is f a multiple of 13?
True
Suppose -w + 2*s + 4 = s, 3*w - 8 = s. Suppose 0*q = w*q. Suppose 2*c + 0 - 6 = q. Does 2 divide c?
False
Let x(a) be the third derivative of a**5/60 + a**4/12 - a**3 + 13*a**2. Let q be x(7). Let w = q + -42. Is w a multiple of 3?
True
Let p be -3*((-20)/12 - (-2)/(-1)). Suppose -3*y - p*y + 8624 = 0. Does 88 divide y?
True
Suppose -2*w + 2434 = 3*r, 0 = -5*r + 5*w - 9*w + 4054. Is r a multiple of 11?
True
Let g(c) be the first derivative of -c**3/3 + 10*c**2 - 5*c - 38. Suppose 4*d = -3*i - i + 28, 2*d = 4*i - 58. Is 13 a factor of g(i)?
True
Suppose -361 = 41*x - 60*x. Suppose 4*t = x*t - 2520. Does 53 divide t?
False
Suppose -u + 3*p + 13 = -2*u, -15 = 5*p. Does 42 divide 12/(-10 + -14) - 890/u?
False
Let z(f) = 7*f**2 - f + 4. Let a(v) = 4*v**2 - v + 2. Let s(o) = 5*a(o) - 2*z(o). Let q(p) = -3*p - 67. Let b be q(-23). Is s(b) a multiple of 4?
True
Suppose 0 = 3*s - 2*a - 1191, s - 4*a + 2*a = 393. Suppose -1596 = -4*o + 4*v, 0 = 2*o - o + 3*v - s. Does 19 divide o?
True
Let q(h) = h**2 + 163*h - 4708. Is 32 a facto