 + j. Is k a multiple of 7?
False
Suppose 0 = 3*s - m, 3*s = 8*m - 3*m. Suppose -y - y = s. Suppose -2*j = -5*c + 99, -2*j + 6 = -y*j. Is c a multiple of 7?
True
Suppose 70007 = 2*p + 3*l, 2*p - l - 49136 = 20867. Does 22 divide p?
True
Suppose 7*r + 1188 = -1591. Let t = 556 + r. Does 16 divide t?
False
Let d(g) = -g**3 + 5*g**2 + 21*g - 4. Let l be d(6). Suppose 9*z - l = 1264. Is 28 a factor of z?
False
Suppose x = -r, -2*r + 12 = -0*r - 2*x. Let k(b) = 38*b - 6. Is k(r) a multiple of 6?
True
Suppose -104 = h + 3*h + 4*k, -2*h + 2*k = 40. Let v = h + 26. Suppose -v*f - 968 = -4*l, 4*l - 597 - 371 = -2*f. Is l a multiple of 28?
False
Suppose -86*v + 388250 = -22*v + 34330. Is v a multiple of 7?
True
Suppose 0*x - 184 = 2*x - 4*d, 5*x - 4*d = -448. Let m = 122 + x. Let a = m + 38. Is a a multiple of 12?
True
Is 11 a factor of (-770)/(-495) - 127988/(-18)?
False
Let t(w) = 3*w - 9. Let n be t(-4). Let k = n - 6. Let i = -9 - k. Does 6 divide i?
True
Let g(n) = -271*n + 5641. Is g(20) a multiple of 2?
False
Let g = 54 + -43. Suppose -g*j = -6*j - 4960. Suppose -k = k - 6, 4*d + 4*k - j = 0. Is 49 a factor of d?
True
Let i = -201 - -113. Let m = 133 + i. Is 8 a factor of 8/(-60) + 2526/m?
True
Suppose -28 - 122 = 5*l. Let d = -42 - l. Is (d/5)/(((-2)/45)/1) a multiple of 9?
True
Suppose -9*q - 8626 = -13*q - 2*h, 14 = -2*h. Is q a multiple of 72?
True
Is 24 a factor of (-287127)/(-27) - (-77)/(-33)?
True
Suppose 0 = 6*n + 6 - 0. Let y = 419 - n. Is 12 a factor of y?
True
Let q be 7345/(-50) - 3 - (-4)/(-40). Let o = q - -532. Does 17 divide o?
False
Suppose -4*r = 5*p - 22685, -5*p - 26388 = -5*r + 1957. Does 10 divide r?
True
Suppose 2*c + f = 35620, -1864*c = -1867*c + 5*f + 53404. Is 12 a factor of c?
True
Let i = 7753 + -1257. Is i a multiple of 32?
True
Suppose 0 = 11*f - 10*f - 6. Let m be 675/60*112/f. Is (16/(-10))/((-12)/m) a multiple of 17?
False
Suppose 5*i = 3*s + 403, -4*s - 163 = -2*i - s. Suppose -150*a - i = -154*a. Is -5*(-4)/a - -5 a multiple of 6?
True
Suppose -m + 9273 = u + 2630, -5*u + 2*m + 33208 = 0. Is u a multiple of 41?
True
Suppose 3*q - 402 = -5*p, 53 = 2*q - 3*p - 215. Suppose 4*j - q = 6. Let c = j + -16. Is c a multiple of 19?
True
Suppose -5*y = -66*r + 67*r - 17278, 3*y = 3*r + 10356. Is y a multiple of 17?
False
Let j(z) = 7*z - 28. Suppose 3*r = t - 79, 64 + 30 = -3*r - 2*t. Let p = -14 - r. Is 5 a factor of j(p)?
True
Let i(f) be the first derivative of -15*f**2 - 44*f - 76. Does 4 divide i(-7)?
False
Let x(b) = 3*b - 28. Let t be x(10). Let d be (4/(-2))/t*-19. Is (-3918)/(-38) - 2/d a multiple of 16?
False
Let k = -3423 - -6715. Does 22 divide k?
False
Suppose -4*o - i + 4*i + 505 = 0, o - 145 = -3*i. Let h = 202 - o. Does 9 divide (h/27)/((-2)/(-234)*2)?
False
Let a(x) = 6*x - 41. Let u be a(8). Is 2/(-15) + (80990/150)/u a multiple of 21?
False
Let u = -22 + -1111. Let x = u + 1616. Does 21 divide x?
True
Let u be (1 - -3) + 6/(-1) - -3. Let c(l) = -45*l**3 + l**2 - l. Let m be c(u). Does 48 divide (-14436)/m + 2/10?
False
Suppose -s + 5*s + 3*t + 8 = 0, 25 = 5*s - 5*t. Let p(c) = 30*c + 51. Is 9 a factor of p(s)?
True
Suppose 109505 = -j + 5*j + 28725. Is j a multiple of 7?
True
Let n be -6*(-2)/6*1 + 2. Suppose -t = -r - 5, -t + n*t - 15 = r. Is 16 a factor of (r + 9)*16/3?
True
Let m = -122 + -2131. Let o = -1267 - m. Does 34 divide o?
True
Does 11 divide -1 + -2 - 77*(-12 - -11)?
False
Let b(m) = 8*m**2 + 4*m - 14. Let z be b(2). Suppose 4*h + 1278 = 3*r + z, h + 843 = 2*r. Is r a multiple of 8?
True
Suppose -302 - 242 = 16*z. Does 34 divide (-7*z/28)/(1/4)?
True
Let g be (-3 + 77/21)/((-2)/(-396)). Suppose 0 = 4*r + 4*v - g, v + 1 - 4 = 0. Is 10 a factor of r?
True
Let f be ((-6 - -2)/(-4))/((-5)/(-445)). Let t = f + -95. Does 17 divide 2265/75 + 1 + t/5?
False
Let h(x) = 5*x**3 + x**2 + 9*x - 27. Is h(11) a multiple of 32?
True
Let s be ((-2)/6)/(12/252). Let x(b) = -b - 16. Let m be x(s). Let u = 61 + m. Is 13 a factor of u?
True
Let q = 21 + 159. Let a = 7 + q. Is 17 a factor of a?
True
Suppose 2*s - 128 = t - 58, 5*s = 4*t + 169. Suppose -5 = 5*u, 4*p = 35*u - s*u + 814. Is p a multiple of 17?
True
Let m = 2066 - -4489. Is 115 a factor of m?
True
Let w(p) = -p**2 + 3*p. Let t = 14 - 11. Let d be w(t). Suppose -7*j + 14 + 35 = d. Does 2 divide j?
False
Let f be 6/15*1*10. Suppose 147 = 25*v + 97. Suppose -76 = v*b - f*b. Does 4 divide b?
False
Suppose 4 - 1 = -o. Let l = o + -2. Is (0 - 2) + (-195)/l a multiple of 16?
False
Suppose -f = h - 300, 24 = -59*h + 55*h. Does 6 divide f?
True
Suppose 2*x + 2*l - 28 = -346, 0 = -l - 3. Let p(k) = -96*k + 2. Let a be p(-3). Let b = a + x. Is 14 a factor of b?
False
Suppose -5*o + z + 16 = 0, -o - o - 5*z = -1. Suppose o*l + 124 = 724. Does 50 divide l?
True
Suppose x - b = 42 - 27, 0 = -x - 2*b + 15. Suppose 0 = 3*y - 165 + x. Is y a multiple of 10?
True
Suppose 8*c = 4*c + 12. Suppose -4*x + 38 + 115 = -k, -x + c*k = -52. Suppose 6*f - 11 = x. Is f a multiple of 3?
False
Let j(n) = 14*n**3 - 17*n**2 + 55*n + 99. Is 309 a factor of j(13)?
False
Let u = 1394 - -93. Is 31 a factor of u?
False
Let h = 42206 + -5470. Does 28 divide h?
True
Let b(i) be the third derivative of i**5/4 + i**4/2 - i**3/3 + 24*i**2. Is 20 a factor of b(-2)?
False
Let a(g) = 10*g**3 + 2*g**2 - 11*g - 10. Is 5 a factor of a(3)?
True
Let i = 205 + -193. Suppose -27*g = -i*g - 1980. Is g a multiple of 12?
True
Suppose 4*l + 8 = 2*b, -2*b - 3*b - 7 = -l. Let r(m) = -123 - m**2 - 2*m**3 + 117 + 3*m**2 + 2*m. Is r(l) a multiple of 10?
True
Let t(l) = 72*l**2 - 2*l + 6. Suppose 0 = 3*s + 202 + 242. Let z = s + 150. Does 58 divide t(z)?
True
Let d(n) = n**3 - 27*n**2 + 33*n + 23. Let w(g) = -2*g**3 + 54*g**2 - 65*g - 45. Let a = 67 - 72. Let h(b) = a*d(b) - 3*w(b). Does 14 divide h(26)?
False
Suppose 3*x - n - 26 = 0, -2*x - 4*n + 2 + 6 = 0. Is 9 a factor of (x/(-14))/(-2) + (-1321)/(-7)?
True
Let f(s) = 2*s + 14. Let n be f(-5). Suppose n*m = 27 + 53. Suppose -90 = -2*y + m. Does 11 divide y?
True
Let g(w) = -w**2 - 7*w + 72. Let p be g(-24). Does 9 divide 32/p + 3152/21?
False
Is 9 a factor of (-2784)/40*((-105125)/10)/29?
False
Let d(x) = x - 2*x - 4*x**3 + 3*x**3. Let b be d(0). Suppose b = g + 4*l - 52, 0 = -3*g - 5*l + 2*l + 147. Is g a multiple of 12?
True
Suppose j - 143 + 139 = 0. Suppose -2*v = -j*m - 26, 0*m = -v - 2*m + 9. Suppose 3*b = v*b - 720. Does 13 divide b?
False
Let a(q) = 347*q**2 - 570*q + 13. Is a(-4) a multiple of 9?
False
Let r(v) = 45*v - 16. Let f(q) = -q. Let j(p) = 4*f(p) + 2*r(p). Is 26 a factor of j(4)?
True
Suppose -3*f = -4*v - 135, 8*v - 7*v = -2*f + 90. Let s = f - 47. Let z(g) = -22*g**3 + g**2 + 9*g + 15. Is 57 a factor of z(s)?
False
Let d(p) = -170*p + 1939. Is d(-39) a multiple of 25?
False
Suppose -2*s - 2*s + 12 = 4*z, -18 = -5*z - 4*s. Suppose -z*j = -575 - 133. Suppose -2118 + j = -10*l. Is 13 a factor of l?
False
Let y(s) = -s**3 - 23*s - 2 - 26 - 29*s**2 - 6*s. Let d be y(-28). Suppose 139 = i + 2*i + m, 4*i - 4*m - 196 = d. Does 30 divide i?
False
Does 9 divide (-73125)/(-12) - 57/76?
True
Suppose 206 - 86 = 5*u - 3*l, 0 = -u - 5*l + 24. Suppose 23*y + 321 = u*y. Suppose 0 = -k + 2*j + y - 36, 0 = 4*k - 5*j - 1140. Is 40 a factor of k?
False
Suppose -2*q - 20 + 8 = 2*r, 3*r + 5*q = -18. Let f(v) = 5*v + 57. Does 8 divide f(r)?
False
Suppose d = 3*d - 18. Suppose 4*g = d*g - 400. Does 16 divide g?
True
Let u(x) = -69*x - 15. Let g be u(44). Let o = -1896 - g. Is 77 a factor of o?
True
Suppose 3*r - 2965 - 1028 = -2*z, 2004 = z + 4*r. Is 177 a factor of z?
False
Let v = 212 + -77. Suppose 2*d - 24*n - v = -25*n, -4*n + 78 = d. Does 66 divide d?
True
Let k be (28332/(-52))/(-1) + 10/65. Suppose -3*f + 1994 = k. Is f a multiple of 21?
True
Let k = 107 - 107. Suppose -h = -t - 5, k*h = 4*h + 4*t - 4. Suppose 2*m = -3*w + 152, 20 = -h*m - m. Is w a multiple of 18?
True
Is 20/8 + 75465/78 a multiple of 10?
True
Is -7 + (35977/3 - 6*(-20)/(-360)) a multiple of 85?
True
Let q(l) = -3*l**2 + 8*l + 4. Let p be q(3). Let j(w) = 350*w - 8. Is 9 a factor of j(p)?
True
Suppose 2*n - u + 0*u = 125, -5*u = 25. Does 2 divide n/(((-36)/(-8))/3)?
True
Suppose 1 = -j, 2*l - 512*j = -517*j + 7069. Is 27 a factor of l?
True
Let q(z) be the third derivative of z*