d**2 - 158*d + 1. Suppose -4*x + t + 42 = 0, 4*x - 2 - 32 = 5*t. Does 31 divide r(x)?
False
Suppose 0*z + 4 = 2*z. Suppose -5*s = 2 - 7. Suppose -s + 17 = z*r. Is r a multiple of 2?
True
Suppose 5*n + 4 = -21. Let g = 28 + n. Let y = -1 + g. Is 6 a factor of y?
False
Let y(t) = -t**3 - 5*t**2 + t - 7. Let q be y(-6). Let g = q + -19. Is 25 a factor of 2/8 - ((-663)/g + 4)?
False
Let r(n) = 74*n**2 - 23*n + 80. Does 50 divide r(10)?
True
Let s(y) be the first derivative of y**4/4 - 17*y**3/3 + 4*y**2 - 93*y + 112. Is s(18) a multiple of 25?
True
Let i = -207 - -227. Suppose -29*u + 12348 = -i*u. Is u a multiple of 15?
False
Let c(r) = 2*r**3 - 39*r**2 + 18*r + 22. Let f be c(19). Suppose 0 = -2*t, 324 = f*i - 13*t + 12*t. Does 9 divide i?
True
Suppose 11*z + 1260 = 14*z. Suppose 31*t - 35*t + z = 0. Is 7 a factor of t?
True
Let s(t) = -2*t**2 - 49*t + 96. Let g(x) = -3*x**2 - 73*x + 144. Suppose 10*v = 2*v + 64. Let c(f) = v*s(f) - 5*g(f). Is c(-27) a multiple of 3?
True
Let l(q) = -482*q - 844. Is l(-12) a multiple of 65?
True
Let l be 8/10*((-287)/(-14) - -2). Let x be -1 - l/(-4 - -2). Let q(v) = 2*v**2 + 10. Does 37 divide q(x)?
False
Let z(k) = k**3 - 18*k**2 + 13*k - 8. Suppose x + 5*d = 18, 23*d - 18*d = 5*x - 90. Is 15 a factor of z(x)?
False
Let f(r) = -2*r**2 - 31*r - 46. Let n(t) = -t**2 - 15*t - 23. Suppose 0 = -6*s + 3*s - 2*z + 21, z = 0. Let q(h) = s*n(h) - 4*f(h). Does 2 divide q(-18)?
False
Let g(m) = -5*m - 4. Let p be g(-16). Suppose w = -4*x - x + 4, p = 5*w - 3*x. Does 7 divide w?
True
Let i(z) = -31*z**3 - 2*z**2 - 12*z + 270. Is i(-9) a multiple of 65?
True
Let l(u) = -6627*u**2 + 8*u + 8. Let r be l(-1). Is 6/8 + (5 - r/12) a multiple of 12?
False
Let t(c) = -3*c**3 - 6*c**2 + 2*c + 15. Suppose 6*w = 8*w + d + 16, 0 = 2*w - 4*d - 4. Is 15 a factor of t(w)?
True
Suppose -s - 3 = -c, -4*s - 6 = -c - 3. Let b(d) = 8*d + 8. Let g be b(c). Let f = g + 39. Is 26 a factor of f?
False
Let n = 75 - 122. Let l = -37 - n. Is 19 a factor of (-292)/(-3)*((-15)/l - -3)?
False
Let x(q) = -q**3 + 7*q**2 - 5*q + 13. Let w be x(6). Let a(j) = -2*j**2 + 55*j - 33. Is a(w) a multiple of 58?
True
Let n be (-14)/(-10) - 6/15. Let w(h) = -h**2 + h + 27. Let f be w(6). Does 15 divide (-180)/f*n*(0 + 1)?
True
Let r(y) = y**3 + 6*y**2 - y + 5. Let t be r(-6). Suppose -5*d = 3*l + 51, 3*d + 10 = -l - t. Does 31 divide l/(-1)*(-57)/(-12)?
False
Let x = 65 - 56. Suppose -3 = -8*k + x*k, 5*z = k + 168. Does 17 divide z?
False
Let f(g) = -10*g - 57. Let o be f(-6). Is 4 a factor of 105/(-33) + o - 4038/(-66)?
False
Suppose 9*y - 8*y - 5 = 0. Suppose -a = y*p - 194, 4*a + 43 = 2*p - p. Is 16 a factor of p?
False
Suppose 0 = -x - 9*x + 25110. Suppose -15*a = -6*a - x. Does 5 divide a?
False
Let t = -199 + 287. Let c = 2 + t. Does 5 divide c?
True
Let d = 418 - 251. Suppose -d - 94 = -q. Does 10 divide q?
False
Let u = 120305 + -64583. Is u a multiple of 37?
True
Let m(i) = 8*i**2 + 4*i + 24. Let u be m(-6). Is (-4 + (-27)/(-6))/(3/u) a multiple of 8?
True
Suppose -d = 4*r - 24, r = -d - 4*d + 6. Suppose 0 = r*z + 11 - 35. Does 2 divide 3*(z - (-10)/(-6))?
False
Let w(d) = -169*d**3 - 32 + 9*d + 173*d**3 - d. Does 32 divide w(4)?
True
Let d(v) = v**3 + 16*v**2 - 1060*v + 3. Is 106 a factor of d(-39)?
True
Let i be ((-31)/(-4))/((-17)/(-68)). Suppose -i = 16*w - 1007. Is 11 a factor of w?
False
Suppose -153 = -5*o - g + 97, -4*g = -3*o + 150. Is o/(-375) - (-8254)/30 a multiple of 6?
False
Let j be 4 + 0 + -2 + (-72)/6. Let g be -172*(j/8 + (-2)/(-2)). Suppose 0 = -b + 1 + g. Is 22 a factor of b?
True
Suppose -3*p + 5 = 2*p. Let r(w) = -w**3 + 3*w**2 - 2*w + 1. Let z be r(p). Is 10 a factor of z/(-2) - (-244)/8?
True
Does 54 divide ((-574482)/(-9))/2 - (-615)/(-369)?
True
Let d(c) = -2*c**2 + 36*c + 5. Let b be d(18). Let k be (41 - -1) + (b - 1). Suppose -5*v - 4*n = -2*n - 252, v - k = 4*n. Is 10 a factor of v?
True
Suppose 52*u - 288860 = -78*u. Does 11 divide u?
True
Suppose -69*y = -53*y - 1040. Let h = 6 - 4. Suppose -h*l - 13 = -y. Does 10 divide l?
False
Let y = -41 + 56. Suppose 37*b = 32*b - y. Is (-7)/(-21) - 92/b a multiple of 7?
False
Let n be -3 + 3 - 4 - -245. Suppose 2*y + 47 = -v + n, 0 = 2*y - 4*v - 174. Is 6 a factor of y?
False
Suppose -2*q + 67615 = 4*z + 15597, z - 13000 = -5*q. Does 51 divide z?
True
Let i be (-11)/(-44) - 983/(-4). Let l = -357 + i. Let b = l + 157. Does 14 divide b?
False
Suppose -o - 3*l = 1, 4*o - 6*o - 4*l + 6 = 0. Suppose o*j - 517 = 3245. Is j a multiple of 38?
True
Suppose t + 470 + 2458 = 2*a, -4*t = 5*a - 7320. Suppose -1896 = -28*c + a. Does 10 divide c?
True
Does 76 divide (1/((-1)/(-7)) + -2)/(381/1247394)?
False
Suppose u + 23 = -4*j, 2*u - 3*u + j = 28. Let g = u + 46. Is ((-2)/(-1))/(g/1159) a multiple of 15?
False
Let w(g) = -g**3 + 6 - 4*g**2 + 4*g + 13*g + 5*g - 1. Let k be w(-7). Is 7 a factor of (-12)/4 + 10 - k?
False
Let f = 17388 + -11712. Is f a multiple of 87?
False
Suppose 0 = l - 5*u - 350, -2*l - 3*u = -849 + 123. Is 3 a factor of 3/(-2)*l/(-20)?
True
Suppose 4*n + d - 40327 = 0, -15384 = -2*n + 2*d + 4762. Is n a multiple of 80?
True
Let h be (6/10)/(17/(-12835)). Let x = h - -584. Does 2 divide x?
False
Let a(w) = -39*w - 192. Let f(n) = -2*n**2 + 34*n + 68. Let p be f(19). Does 30 divide a(p)?
True
Let j(m) = -1310*m - 1234. Does 27 divide j(-11)?
True
Let v be 102/10 + (-56)/(-20) + -3. Let n(m) = -m**2 - 5*m + 3. Let g be n(-5). Suppose -v*u + 546 = -g*u. Does 6 divide u?
True
Let l = -14653 + 25861. Does 106 divide l?
False
Is 189 a factor of (1 - 10/5 - 5) + -7 + 13621?
True
Suppose -76*c + 74*c = 148. Let b(i) = i**3 - 8*i**2 - 13*i - 4. Let t be b(8). Let z = c - t. Is 17 a factor of z?
True
Let c(g) = 2*g**3 + 2*g**2 - 19*g + 46. Let a be 174/24 - 3/12. Does 31 divide c(a)?
False
Is 105070/(-285)*18/(-4) a multiple of 21?
True
Suppose -15*i + 20*i + 10 = 0. Let u be (i + 3 + 0)/(-5 + 4). Is 7 a factor of (-166)/(-12) - (-2 - u)/6?
True
Suppose -2*r - 2*o = -8, -2*r + 20 = 2*r + 2*o. Let x(f) = 26*f + 18. Is x(r) a multiple of 5?
False
Let f(m) = m**2 - 10*m - 34. Let q be f(13). Suppose -z + 0*r = -q*r - 500, -r - 2596 = -5*z. Does 13 divide z?
True
Suppose -2*t = -3*o - 316, -5*o + o = -16. Let w(r) = -10*r + 95. Let n be w(9). Suppose 5*h - h = -n*m + t, -5*h = 3*m - 192. Does 12 divide h?
True
Suppose 0 = -5*h - 4*p + 87648, 2*p - 9845 - 7693 = -h. Does 13 divide h?
True
Let r be 16 - (1 - -7) - 3. Suppose -y + 0*y = r*z - 787, 0 = -4*y - z + 3072. Is 13 a factor of y?
True
Let n(f) = 0*f + 14*f - f**2 - 13*f + 12*f - 24. Let p be n(9). Suppose -p*a = a - 611. Is a a multiple of 10?
False
Let w(p) = 17*p + 95. Let r be w(-5). Suppose -r*x + 1734 = 7*x. Does 6 divide x?
True
Suppose -5*n + 5*c + 70 = 0, -n - 4*n + c = -66. Let q = n - 15. Does 16 divide (-32)/12*(4 + 20)*q?
True
Suppose 4*n + 8744 = 2*y, 5*n + 4380 = y + 2*n. Is y a multiple of 11?
True
Suppose -h = -5*t - 147, 4*h + 104 = -5*t - 33. Let g(j) = -j**3 - 27*j**2 + 51*j + 7. Is 12 a factor of g(t)?
False
Suppose -4*c - 3*t = -23, 3*c - 3*t + 19 = 2*t. Suppose 4*o = 7*w - c*w + 15, 2*w + 6 = -o. Is 14 - 9 - (o + -199) a multiple of 12?
True
Suppose -5798 = -3*u + 2*u + s, 4*s - 11608 = -2*u. Is 58 a factor of u?
True
Suppose 17*t - 34019 - 7376 = 0. Does 48 divide t?
False
Let w(q) = 221*q**2 + 8*q + 12. Let d be w(-6). Suppose 0 = 28*f - 52*f + d. Does 14 divide f?
False
Let y(u) = u - 2. Let d(v) = -34*v - 38. Let f(w) = d(w) - 3*y(w). Is f(-7) a multiple of 22?
False
Suppose 3*w + w - 2*y = 14, 9 = w + 5*y. Suppose 12*j - 8*j - 270 = 2*i, -345 = -5*j + w*i. Is 13 a factor of j?
True
Suppose -a - 5*d + 974 = -1393, 0 = 26*d - 25*d. Is 9 a factor of a?
True
Suppose 11*l - 215 = -6. Suppose 5*f = l + 6. Suppose 3*t - f*t = -60. Does 6 divide t?
True
Let i = 703 - -2207. Is 19 a factor of i?
False
Let i(t) = 28*t - 27. Let z be i(5). Let a = -110 + z. Suppose -u + a*j + 21 = -47, 2*j - 202 = -4*u. Is 7 a factor of u?
False
Let y = 3541 - 3125. Is 4 a factor of y?
True
Let p(f) = f**3 + f. Let y be p(1). Suppose -4*c = 4, s - 5*c = -2*s + 8. Does 6 divide (y + 43 - -3)*s?
True
Let k(m) = -16*m + 6 - 5 - 13*m - 2*m**2 - 233*m**3 + 29*m. Let c be (3/6)/(3/(-6)). Is k(c) a multiple of 29?
True
Does 7 divide 6968 