64 = 0. Is 38 a factor of w?
True
Let l = -570 + 2421. Suppose -13*x + 16*x = -5*v + l, 1848 = 3*x + 4*v. Is 68 a factor of x?
True
Suppose 3*f + 4*k - 5 - 4 = 0, -6 = -2*f - 4*k. Let r be (f/((-9)/(-10)))/(8/1968). Suppose -4*x = 5*n + x - r, 338 = 2*n + 4*x. Does 8 divide n?
False
Suppose -1087 = 4*s - 2635. Suppose 0 = -5*m + 1517 - s. Is 10 a factor of m?
False
Let g = -313 + 807. Is g/6 - (-50)/30 a multiple of 14?
True
Suppose 202*o - 1304127 = 58*o + 753777. Is 13 a factor of o?
False
Let c be 92/(-138)*(-465 + 0). Suppose 5*m + 5*z - 765 = 0, 4*z + 8 + c = 2*m. Does 5 divide m?
True
Let s(b) = b**3 - 2*b**2 + 17*b - 34. Let h be s(2). Let n(p) = 8*p + 120. Let k(l) = -l + 1. Let x(g) = 5*k(g) + n(g). Is 25 a factor of x(h)?
True
Is 4/(-78) + (-1730532)/(-1989) a multiple of 87?
True
Suppose 59 = -4*u - 149. Let r = u + 56. Suppose -5*t - 5*l - 5 = -45, -2*t = r*l - 12. Does 10 divide t?
True
Suppose 2*o - 10712 = -2*s, -o = -5*s + 15560 + 11244. Is 20 a factor of s?
True
Suppose 5*z = 20 - 15. Let d be (-1*z)/3 + 26915/105. Suppose -3*x = x - d. Does 16 divide x?
True
Suppose 13*z + 30*z = 129. Suppose -2*o + 40 = 50*l - 48*l, -4*o = -z*l + 60. Is l a multiple of 10?
True
Let p = -15476 - -23122. Is 44 a factor of p?
False
Suppose -15*n - 10449 = -13*n - 5*n. Is n a multiple of 12?
False
Let c(s) = -101*s**3 - 29*s**2 - 188*s - 3. Is c(-5) a multiple of 111?
False
Suppose 2*n = 5*n - 3, 3*n = -2*u - 513. Let l = u + 548. Let b = l - 140. Is b a multiple of 25?
True
Let v = -70970 + 107684. Does 24 divide v?
False
Let u be ((-5)/6)/((-8)/48). Suppose -t = o + 2*t + 6, u*t + 61 = 4*o. Is (-6)/o*-27 - 0 a multiple of 4?
False
Let b be (-432)/(-4) - (-14 + 16). Let k be ((-171)/6)/(2/4). Let g = k + b. Is g a multiple of 7?
True
Suppose 19327 = 443*y - 338617. Is y a multiple of 10?
False
Let f be -3 + 0 + (22 - 24). Is 11 a factor of ((-4)/f)/((-1)/430*-2)?
False
Let a be ((-18)/6)/(-2*4/8). Suppose -a*l - 2*y = -410, 2*l + 2*l - 548 = -3*y. Does 10 divide l?
False
Let r(f) = f**3 + f**2 + 2*f + 5. Let h be r(-2). Let v be (-5 - h)*(-2)/2. Suppose v*i = 4*i - 34. Is 17 a factor of i?
True
Suppose -5*x + 2*x - 5072 = -5*q, 2*q + 5*x - 2004 = 0. Let r = q + -512. Is r a multiple of 25?
True
Is 2 + 0 - -23569 - (-4)/16*-12 a multiple of 82?
False
Let k = 7 - 2. Let t(l) = 5*l + 47. Let x be t(-9). Suppose 0*b = -k*u - b + 125, -x*b = 0. Is 4 a factor of u?
False
Suppose v = 2*q + 1096, 3*q + 3276 = 22*v - 19*v. Is 8 a factor of v?
True
Suppose 3*z = 2*u - 969 - 1594, 0 = 2*z + 2. Does 40 divide u?
True
Suppose -s = -4*l - 146, -17*l + 22*l = -s + 164. Does 9 divide s?
False
Let y(w) = w + w**3 - 3*w**3 + 2 + 2*w + 4*w**2 + 3*w**3. Let h be y(-3). Suppose 2*m - 2*o - 48 = 0, -2*m + 98 = 2*m - h*o. Is m a multiple of 7?
False
Let m(n) = n**2 + 2*n - 54. Let g be m(0). Let i = g - -12. Let s = -21 - i. Is 21 a factor of s?
True
Is ((-10)/(-8))/(((-2)/58536)/(81/(-243))) a multiple of 15?
True
Is 13 a factor of 47/(-235) - (-2609694)/45?
True
Let p(l) = 4*l**2 - 49*l - 244. Let g be p(-5). Let w = g + 198. Is w a multiple of 13?
True
Let g(x) = 41*x**2 + 13*x + 21. Let k be g(-9). Suppose -20*f + 255 = -k. Is f a multiple of 58?
True
Suppose r = -3*u + 24 + 4, -3*r = -u + 16. Let g be u*75/10*(-3)/(-15). Let w(p) = p**2 - 10*p + 8. Does 26 divide w(g)?
False
Suppose -2*b - 4 = -6*b, 5*j = 5*b + 65. Suppose -14*x + 88 = -12*x + 3*i, -i = 5*x - 194. Let u = x - j. Is 12 a factor of u?
True
Suppose -5*w + 2*w + 216 = 0. Let p = w + -69. Is 14 a factor of (-18)/12*(-134)/p?
False
Let q(k) = 32*k**2 - 155*k - 4422. Is q(-34) a multiple of 22?
True
Let t(o) = 5*o**3 - 14*o**2 + 40*o + 24. Is t(6) a multiple of 30?
True
Does 136 divide 435/(-87) - (-3 + 4)/((-1)/549)?
True
Suppose 0 = -5*w + k + 6, 3*k = 4*w - w - 6. Let l be -3 - (w + (-69)/(-3)). Is (-6)/l*-15*(-72)/5 a multiple of 8?
True
Suppose 274*m = 217*m - 359*m + 11342240. Does 41 divide m?
True
Suppose -k + 4 = 0, 3 = h + k - 1. Suppose h = 5*m - 2*q + 4*q - 2486, 992 = 2*m + 2*q. Is 83 a factor of m?
True
Let q(k) = -k**3 + 10*k**2 + 11*k + 24. Let z be q(10). Suppose -750 + z = -7*r. Does 8 divide r?
True
Let k(p) = 87*p + 1046. Let m be k(-12). Suppose 5*v - 3*g - 2 = 33, 5*g + 41 = 4*v. Suppose v*f = -3*r + 1092, f + 532 = 3*f - m*r. Does 23 divide f?
False
Suppose 0 = 5*l + 5*m + 19 - 4, 3*l = 2*m + 1. Let x(g) = -5*g**2 - 9*g - 10. Let n(q) = q**2 + 1. Let p(i) = l*x(i) - 4*n(i). Is p(6) a multiple of 32?
True
Suppose -x = 4*f - 2348, -f + 2324 = 3*f - 5*x. Suppose 595*y - f*y = 1692. Is 16 a factor of y?
False
Let y = -88 - -112. Suppose -880 = y*x - 26*x. Does 11 divide x?
True
Let s be 0/(3 - 0) + 16. Suppose -s*u + 9074 = 1794. Is 65 a factor of u?
True
Let z be 6886/55 + (-6)/5. Is z/6*(2 - -16) a multiple of 31?
True
Let w = 434 + -422. Suppose 0 = -16*y - w*y + 8904. Is 53 a factor of y?
True
Let s = 25 + -22. Suppose -2*a = r - 316, s*a - 2*r - 464 = -r. Suppose p - 2*c = 5*p - a, 0 = 3*c - 6. Is p a multiple of 19?
True
Suppose 2*j + 5*z - 15 = 0, 0 = -5*j + 4*z - 12. Suppose 4*n + 2*d + 86 = 0, 0 = -j*d + 3*d - 9. Let u = 40 + n. Does 7 divide u?
False
Let l(i) = -18*i + 62. Let a be l(14). Let c = 13 - a. Is c a multiple of 27?
False
Let p be (55*2)/(13 + -11). Suppose 53*z + 172 = p*z. Does 16 divide z?
False
Let x(a) = -a**2 - 4*a + 14. Let w be x(-8). Does 26 divide 220 + (-24)/w*-3?
False
Let l = -47 - -49. Suppose 23 - 83 = -l*s. Suppose s*z + 333 = 33*z. Is 12 a factor of z?
False
Let y = 677 + -461. Suppose -y = 104*r - 107*r. Does 36 divide r?
True
Suppose 9*f = -21 + 3. Let g be (0 + f)*385/(-10). Let h = -49 + g. Does 19 divide h?
False
Let z(v) = -45*v + 3738. Let a be z(83). Let p = -12 - -72. Suppose 468 = a*i + p. Is 17 a factor of i?
True
Suppose 2*q = f + 2, -4*q - 8 = f - 8*q. Suppose 4*u - p - 6 = 260, -2*p = f. Is u a multiple of 11?
True
Let q(h) = 2*h - 24. Let l be q(7). Let d be ((-39)/26)/(3/l). Suppose 0 = -d*w + 243 + 667. Is w a multiple of 40?
False
Suppose -52*g + 59*g - 336 = 0. Is (32/g)/(1/777) a multiple of 27?
False
Suppose 25*l - 27*l + 10 = 0. Suppose -l*g - k = -340, g - 68 = k - 5*k. Suppose -3*n - 2*i + g = 0, -3*n + n + 56 = 4*i. Is n a multiple of 10?
True
Let s(f) = -f**3 - 10*f**2 - 5*f. Let d be s(-10). Let b = -55 + d. Is (1 + b)/(2/(-11)) a multiple of 9?
False
Let m = 2215 + -1391. Suppose -17*s + m = -1641. Does 13 divide s?
False
Suppose -17*l + 14671 + 230354 - 10561 = 0. Is l a multiple of 10?
False
Suppose 16*a - 12*a - 2*b = 10, 4*a = -2*b + 14. Suppose 22*r - a*r = 1425. Is r a multiple of 11?
False
Let i = 2871 + -1309. Does 11 divide i?
True
Let s be ((-4)/(-10))/(4/80). Is 632/s + (-2 - -7) a multiple of 12?
True
Let x(k) = k + 4. Let y be x(0). Suppose 0 = s + 2*s - 3*c, -3*c = 4*s - 28. Suppose -y*u - 69 + 1209 = -j, s*u - 1140 = -j. Is u a multiple of 15?
True
Let g(i) = i**3 - i**2 + 30*i + 29146. Does 301 divide g(0)?
False
Let t(b) = 5*b**2 + 5*b - 3. Let f be 284/(-4) - (10/(-2) - -3). Let o = f - -72. Does 6 divide t(o)?
False
Suppose i = 3*p + 90, 2*p - 6*i + 3*i + 67 = 0. Does 19 divide p/(-58) + 986/4?
True
Let n(x) = -2155*x - 366. Does 34 divide n(-2)?
True
Suppose -32*s + 36000 = -54*s + 32*s. Is 36 a factor of s?
True
Does 2 divide (-4 - 72/(-20)) + 46968/95?
True
Does 16 divide 146/(-511) + 129924/(-14)*-1?
True
Let g = -504 - -505. Let v(i) = 61*i**3 - i**2 + 30*i - 30. Does 9 divide v(g)?
False
Is 183 a factor of (-4)/62 + (-20616076)/(-2263)?
False
Suppose 9481 = z - 5*r, -2*z + 6007 = 4*r - 12969. Is 55 a factor of z?
False
Let w(u) = 11*u**2 + 252*u + 212. Let z be w(-22). Let m = -64 - -38. Does 26 divide (m/z)/((-11)/(-704))?
True
Suppose -d = 6*d - 2*d - 6080. Does 139 divide d?
False
Let j = -393 - -655. Suppose 1275 = 4*a + a + 3*m, a = -2*m + j. Suppose 5*n + p - a = 4*p, 2*n - 4*p - 112 = 0. Does 6 divide n?
True
Let t(w) = 2*w - 2. Let i be t(1). Suppose i = -219*p + 216*p + 699. Is p a multiple of 4?
False
Suppose 7*h - 11 = 17. Suppose -8*c = -3*i - 10*c + 1167, 4*c + 1536 = h*i. Does 43 divide i?
True
Let h(n) = 989*n - 29. Does 5 divide h(1)?
True
Suppose 20*v + 169 = 49. Does 6 divide (-30 - -6)/v - (-408)/1?
False
Let d(x) = 5*x**2 + 88*x + 352. Is d(-60) a multiple of 19?
True
L