uppose -15*u + r = -57. Is 4 a factor of u?
False
Is (1024/896)/((-2)/(-2576)) a multiple of 16?
True
Suppose -2*x - 4 = 0, -x - 35157 = -2*r + 3037. Suppose 42*c - r = -2*c. Is 31 a factor of c?
True
Let b(l) = -4. Let s(m) = -309*m - 33. Let g(u) = 4*b(u) - s(u). Is g(3) a multiple of 34?
False
Let v(r) = 5*r**3 + 15*r**2 - 17*r - 71. Let f(u) = 9*u**3 + 30*u**2 - 35*u - 145. Let g(t) = -4*f(t) + 7*v(t). Is g(-16) a multiple of 2?
False
Let w be ((-8)/(-48))/(0 + 2/12). Let a(s) = 12*s**2 - 2*s + 1. Let y be a(2). Let d = y + w. Is d a multiple of 3?
False
Suppose -5*i = 3*h - 57384, -597*i - 45910 = -601*i - h. Does 16 divide i?
False
Suppose -4*g + 3 = -b, 4*b - 5 = g - 2*g. Suppose 0 = 5*j - 2*a + 26, j - 3*a + 4*a + b = 0. Is 7 a factor of -2 + 3 + (-24)/j?
True
Suppose 5*x = 5*v + 4515, 2969 = 4*x + 2*v - 643. Suppose -8*c = x - 2711. Is c a multiple of 10?
False
Suppose 140*f = 3*h + 144*f - 107336, -2*h + 71556 = 3*f. Is 8 a factor of h?
True
Let p(h) = 7*h - 52. Let i be p(9). Suppose i*a - 9*a = -30. Let z(q) = -2*q**2 - 33*q - 28. Is z(a) a multiple of 3?
False
Let u(k) = 24*k - 3. Let g = -45 + 44. Let v(c) = -c. Let f(z) = g*u(z) + 2*v(z). Is f(-3) a multiple of 14?
False
Let m(w) = -3*w**3 - 66*w**2 - 45*w - 174. Does 33 divide m(-22)?
False
Suppose 2 = -4*w - 2*r, 0*w - 11 = 2*w + 3*r. Does 7 divide (21 - 24) + 2/w + 104?
False
Let z be (-11)/(-66) + 69/18. Suppose q = -x + 168, -8*x + 3*x = z*q - 672. Does 14 divide q?
True
Let k be ((-10)/5 + 3)*242. Suppose 14*w = 1018 + k. Is w a multiple of 30?
True
Let u(b) = b**2 + 7*b + 3576. Let y be u(0). Suppose -y = -19*q + 15*q. Is 16 a factor of q?
False
Let l = 26 - 24. Suppose -4*u - m + 400 = 0, -u = l*u - 5*m - 323. Does 15 divide u?
False
Suppose 41 = s + 11. Let k = 18 - s. Let g = 55 + k. Is g a multiple of 18?
False
Suppose 78 = 5*g - o + 3*o, 2*g + 5*o - 48 = 0. Let t(d) = 16*d + 20. Let s be t(g). Let v = -174 + s. Is v a multiple of 14?
True
Let j(a) = -2*a**2 - 7*a + 6. Let g be j(4). Is 15 a factor of (g/15)/(10/(-175))?
False
Let f(q) = q**2 + 120. Let c be f(0). Let h be (-4)/(-12)*-15 - -7. Suppose 7*j = -4*l + 2*j + 240, -c = -h*l - 2*j. Is l a multiple of 26?
False
Suppose -353*x = -304*x - 43218. Does 42 divide x?
True
Let r(a) = 2*a**2 - 9*a - 21. Let w(k) = -k**2 + 5*k + 11. Suppose 4*t = o + 7, -4 = 4*t + 2*o - 26. Let v(h) = t*r(h) + 5*w(h). Is 2 a factor of v(-4)?
True
Suppose -2*v + 3*v - 3*o = 8, -2*o = -5*v + 53. Let c(l) = 7*l**2 - 43*l + 74. Does 14 divide c(v)?
True
Let o(y) = 25*y**2 + 151*y - 134. Is 17 a factor of o(-19)?
False
Let y(g) = 136*g**3 + g - 1. Let k be -14*(-4)/(-8)*-1. Suppose -3*c - 15 = 0, 2*c + 0 + k = -3*p. Is y(p) a multiple of 17?
True
Let r be (2/4)/(10/60). Let t = 97 - 63. Suppose r*s - s = t. Is s a multiple of 3?
False
Let i(b) = -b**2 + 6*b - 3. Let g be i(5). Suppose g*s = s - 4*s. Suppose s*h + 6*h = 144. Is 3 a factor of h?
True
Let b = -24 + 28. Suppose -8*y = -b*y - 8. Suppose 5*k + 685 = y*r, -3*k + 0*k = -r + 342. Is 23 a factor of r?
True
Let v be 1*5/1 + -2. Suppose -v*j - 2*t + 1063 = 0, -4*t + 875 + 894 = 5*j. Is 20 a factor of j?
False
Let v(l) = -175*l - 7. Suppose 8*g = 2*g - 6. Is v(g) a multiple of 21?
True
Let x be (1 - ((1 - 0) + -1))*19. Suppose -x*p - 390 = -22*p. Suppose -301 + p = -3*u. Does 7 divide u?
False
Suppose 5*n = -4*g - 53, -4*g = -4*n - 2*g - 32. Let w be (-45)/(-20)*1/(n/(-24)). Suppose -w*v + 100 = -44. Is 19 a factor of v?
False
Let n(j) = j**3 - j**2 + 12*j + 1. Let a be n(3). Let v = 51 - a. Let d(q) = q**2 - 9*q + 4. Does 14 divide d(v)?
True
Suppose 4*p - 5*k - 340 = -k, 5*k = 4*p - 341. Let s = 399 - p. Suppose 6*j + s = 11*j. Does 7 divide j?
True
Is 10 a factor of ((-1)/4 - 20470/(-40))/(8/48)?
False
Suppose 5 = -2*n - m, -4*n + 9 - 54 = -5*m. Does 42 divide (n - -6)/((8/(-1078))/(-4))?
False
Let z(y) = 2*y**3 - 3*y**2 + 7*y - 10. Let n be z(2). Does 99 divide 75/(-100) - (-13974)/n?
False
Let g(b) = -43*b - 22. Suppose j - 3 = -4. Let v be 0/(-2) - (j - -4). Is g(v) a multiple of 32?
False
Suppose 39 = 2*z - 107. Let p(b) = 46*b**2 + 2. Let c be p(1). Suppose -c = -5*m - f + z, -2 = -2*f. Is m a multiple of 24?
True
Suppose 291*i = 301*i - 166980. Does 22 divide i?
True
Let h(f) = -264*f**3 - 14*f**2 + 2*f + 24. Does 36 divide h(-3)?
True
Is ((-150)/12)/(35/(-252)) a multiple of 3?
True
Suppose -4*a = -2 - 6, 2*a + 20 = x. Suppose 5*m - 110 = -5*i, -m + i + x = -2. Is 12 a factor of m?
True
Let v be 2881/9 - 8/72. Suppose -8*u + v = -320. Is 5 a factor of u?
True
Let p(h) = -h**2 - 3*h + 31. Let r be p(-7). Suppose 212 = t + 3*g + g, -4*t + r*g = -810. Suppose -3*v + t - 54 = 0. Is 12 a factor of v?
False
Let b = 20 + 85. Suppose -b = 4*c - 7*c. Suppose 3*x = -0*x + 2*i + c, -i - 55 = -4*x. Is 15 a factor of x?
True
Suppose 74995 = 75*h - 593105. Is 131 a factor of h?
True
Suppose -3*s + 5*t + 64900 = 0, 42*t = -3*s + 40*t + 64949. Does 111 divide s?
True
Let a(x) = x**3 + 8*x**2 + 7*x + 3. Let q be a(-6). Let w = q + 517. Is w a multiple of 25?
True
Let z be ((-30)/35)/((-12)/28). Suppose 0 = 2*f + z*y - 350, 3*f + 2*y + 145 - 675 = 0. Does 19 divide f?
False
Let v = 1999 - 1131. Does 62 divide v?
True
Let u be (-37)/(-3) + (18 - 686/42). Suppose -3*f = -4*b + 18, -4*b - f + 8 = -18. Let l = b + u. Does 10 divide l?
True
Let i be (-5)/(30/(-352))*(-450)/(-15). Let f = i - 1251. Does 51 divide f?
False
Suppose -4*s - 16 + 108 = -2*g, 101 = 5*s + g. Suppose s*t - 12*t - 1278 = 0. Is t a multiple of 6?
False
Suppose 2*m - 3 = 3. Let b(g) be the third derivative of g**4/8 + 3*g**3/2 + 4*g**2 + 4. Is 11 a factor of b(m)?
False
Let x = 420 - 413. Let k = 42 + x. Does 6 divide k?
False
Let b be ((-30)/(-3))/(-5)*-1. Suppose -3*o = -b*o - q + 2, 4 = q. Suppose -1580 = r - 6*r + 5*k, o*r + 5*k = 604. Is r a multiple of 39?
True
Suppose 0 = 5*b + 5*l - 169865, 2*b = -667*l + 663*l + 67954. Is 53 a factor of b?
False
Suppose -8 = -q - q. Let c(d) = 3 + q*d**3 - 5*d**3 + 2*d - 3. Does 2 divide c(-2)?
True
Does 17 divide 9 + (-2)/(-4)*10592/16?
True
Does 27 divide ((-4)/((-16)/33534))/(5/20)?
True
Suppose 3*j = 2*v + 43902, 0 = -j - 2*v + 8373 + 6253. Does 31 divide j?
True
Let j = 97 - 95. Suppose -3*t + j*f + 29534 = 0, -7*t + 19664 = -5*t + 5*f. Is 11 a factor of 1/8 - t/(-112)?
True
Suppose -4*p = 2*w - 2902, 10*w + 4*p - 4363 = 7*w. Is 35 a factor of w?
False
Let p(x) = x**3 + 5*x**2 + 2*x + 5. Let z be p(-6). Let c be (1 - (-3 + z))*-5. Is 4 a factor of c/(-15) + 1 + 2/(-3)?
True
Suppose -26*y + 6*y + 5820 = 0. Let f = y + -193. Is 49 a factor of f?
True
Let c be -8*(-7 + 11)*6/(-48). Let t(w) = 5*w**3 - 5*w**2 - 2*w + 3. Let y(u) = 11*u**3 - 9*u**2 - 3*u + 5. Let v(q) = -7*t(q) + 3*y(q). Does 3 divide v(c)?
False
Let j(i) = -i**3 + 37*i**2 - 66*i + 55. Does 87 divide j(28)?
False
Suppose -o - 116 = -120. Suppose -3*l + 348 = o*v, 4*l + 2*v - 248 - 216 = 0. Does 6 divide l?
False
Let q(n) = -n**3 - 4*n**2 + 6*n + 10. Let a be q(-5). Suppose -42 = 8*x - a*x. Is 4 a factor of x/126 - 218/(-18)?
True
Does 30 divide 375*(-1360)/(0 - 20)?
True
Let l(k) = -11*k**3 + 10*k**2 + 43*k + 63. Does 52 divide l(-5)?
False
Suppose 28*h - 14*h + 10*h - 411360 = 0. Is 176 a factor of h?
False
Let k(j) = 74*j**2 - 3*j + 2. Let c be k(2). Let s = 5325 + -5335. Does 14 divide 2/s - c/(-10)?
False
Let v(o) = -74 + o - 64 + 106. Let m be v(25). Let n(g) = 2*g + 37. Is n(m) even?
False
Is 3 a factor of 1303 - -2*(-6 - (-35)/14)?
True
Suppose c - 55 = -c + 5*d, -3*d - 128 = -5*c. Let g = 102 - c. Suppose i - 2*i = -g. Is 29 a factor of i?
False
Let h(k) = 297*k**2 + 3*k + 9. Let z be h(4). Is 5/20 + z/12 a multiple of 38?
False
Let x = 14 - -52. Let k = -64 + x. Is k/((-32)/(-1060)) - (-1)/(-4) a multiple of 11?
True
Let f be (-1)/2 + (-144)/(-32). Let r be (-1 + -507)/2*(-1)/2. Suppose 577 + r = f*p. Does 22 divide p?
True
Is (13668/30)/(70/2275) a multiple of 13?
True
Let b(p) = 3*p**2 + 11 + 12*p + 12*p**2 - 3*p**2 + 4 + 9*p**2. Is b(-5) a multiple of 48?
True
Let k(g) = -g**3 + 10*g**2 + 22*g + 21. Let l be k(12). Let y(q) = -245*q + 3. Let n be y(l). Suppose n = -7*s + 16*s. Does 29 divide s?
False
Let s be (6/8)/(-3) - 1320/96. Does 21 divide (s/(-8))/((-1682)/(-336) - 5)?
True
Let n(x) = 21*x**3 -