 7*x + 47. Let u be 78/(-6) - (-3 - (-4)/2). Let s be c(u). Let g = s - -67. Does 6 divide g?
True
Let y(o) be the second derivative of -5*o**3/6 - 31*o**2/2 - 8*o. Let u be y(-11). Let s = 34 - u. Is s a multiple of 3?
False
Let o(u) = u**3 - 175*u**2 + 2890*u - 388. Does 12 divide o(157)?
True
Suppose 10962 = 9*f - 0*f. Suppose 5*z + 2*m = f, 0*z - m - 733 = -3*z. Is 9 a factor of z?
False
Let t = -131 - -142. Suppose -h = -t*h + 1280. Is h a multiple of 32?
True
Suppose 49*a - 312174 = -117*a + 1245072. Does 173 divide a?
False
Let w(h) = 53*h - 2818. Is w(75) a multiple of 38?
False
Suppose v = 4*n - 7385 - 5092, 3*v = -n + 3116. Does 34 divide n?
False
Let a be ((-36)/(-21))/6 - (-186)/(-14). Let j(u) = u**2 + 25*u + 13. Let o(v) = -2*v**2 - 51*v - 25. Let w(s) = a*j(s) - 6*o(s). Is 19 a factor of w(-14)?
False
Is 13 a factor of 1610874/30 + ((-1)/(-15))/(4/12)?
False
Suppose -6*a = 5*a + 2*a. Suppose a = k - 9*k + 5664. Is k a multiple of 7?
False
Is 24 a factor of 75/3*(10368/(-15))/(-16)?
True
Let p(r) = -618*r**3 - 5*r**2 - 271*r - 534. Does 18 divide p(-2)?
True
Let n be (8 - 8)*(0 + 3/(-3)). Suppose n = 7*u - 94 + 24. Does 4 divide u?
False
Suppose 0 = -2*l, 2*h - 32*l - 14966 = -34*l. Does 7 divide h?
True
Is 35088/15 - 12/(-15) a multiple of 4?
True
Let y = -18 + 21. Suppose -1 = -2*h + y. Suppose -4*l + h*d - 6*d + 308 = 0, 3*l - 3*d = 213. Is 18 a factor of l?
False
Let c be (4 - -1 - 1) + (-24)/4. Let y be (10/15)/(c/(-24)). Suppose -y*j - 2316 = -20*j. Does 15 divide j?
False
Let j(d) = d**3 + 6*d**2 - 6*d + 18. Let o be (-28)/10*(-45)/(-18). Is j(o) a multiple of 11?
True
Is 41460/(-30)*(4/(-18) + (-420)/54) a multiple of 16?
True
Suppose 43*n - 40*n = 5*k + 5400, 2*n = 5*k + 3605. Is 13 a factor of n?
False
Let a(r) = 3*r**2 - 23*r + 13. Let m be 4/((-12)/6) - (-36)/(-2). Let x = m - -30. Is 15 a factor of a(x)?
False
Suppose -2*x + 0*f - 2*f = 778, -2*x - 762 = -2*f. Let i = 457 + x. Is i a multiple of 4?
True
Let n = -7569 + 11373. Is 25 a factor of n?
False
Let v(c) = -573*c - 11812. Is 17 a factor of v(-21)?
True
Let j(n) = 6*n**2 - 143*n + 130. Is j(-24) even?
True
Let d = 106 + -30. Suppose 3*c - 568 + d = 0. Does 18 divide c?
False
Let h(d) = 4*d**3 + 14*d**2 + 24*d + 5. Let c(v) = 7*v**3 + 27*v**2 + 47*v + 11. Let j(b) = 3*c(b) - 5*h(b). Is 2 a factor of j(-6)?
True
Let u = -10042 - -12507. Is 85 a factor of u?
True
Let x = 13198 + -7212. Does 146 divide x?
True
Let o(a) = 32*a + 5. Let z be o(1). Suppose -z*y + 51*y - 2464 = 0. Does 25 divide y?
False
Suppose 44 = 4*m + 16. Let w(r) = 4*r + 25. Does 2 divide w(m)?
False
Let g(a) = 389*a**3 + 3*a**2 - 4*a + 5. Let b be g(2). Suppose -3754 = -4*p + 2*o, -b = -4*p + 5*o + 648. Is 72 a factor of p?
True
Suppose 1236 = 4*x - 3000. Let z = x - 684. Does 25 divide z?
True
Suppose -a = -4*w + 11, -2*a + w - 4*w = -11. Suppose -a + 0 = -j. Let m = 2 + j. Does 2 divide m?
False
Let a = -460 + 307. Let c = a + 429. Is c a multiple of 38?
False
Let h = 33 - 31. Suppose -4*l + h*p = -670, 1 - 10 = -3*p. Suppose -3*t - l = -4*c, 4*c + 24 - 201 = -5*t. Is 43 a factor of c?
True
Does 133 divide (17 + (-2 - -6))*(73388/12)/7?
False
Let q(l) = -42*l + 1331. Does 22 divide q(0)?
False
Is 18 - (-2583)/(-147) - 71604/(-14) a multiple of 10?
False
Suppose 2*y - 3*x - 12 = 0, -5*y + 5*x = 16 - 41. Suppose -y*n + 5*r = r - 202, 2*r - 54 = -n. Suppose 3*q - n = 2*q. Is 7 a factor of q?
False
Suppose -384*r + 617496 = 97*r - 7583073. Does 47 divide r?
False
Let r = -4319 - -4937. Is 10 a factor of r?
False
Let l(j) = 10*j**2 + 2*j + 17. Let n be l(9). Suppose n + 147 = 4*c - 2*o, 0 = 5*c - o - 1234. Is c a multiple of 12?
False
Suppose -2*u + 2*x + 40 = 0, 0*u = 4*u + x - 100. Is 4 a factor of (-474)/(-8) + u/32?
True
Is 22 a factor of 26/104 + 181359/36?
True
Does 5 divide -30*(2/20 - 78/130)?
True
Suppose 0*t + 210 = -7*t. Let w be 15*3*(t - -29). Is 7*69*(-15)/w a multiple of 23?
True
Suppose -509*u + 502*u + 10633 = 0. Let y = u - 901. Is 31 a factor of y?
False
Let y = -1105 + 9943. Does 28 divide y?
False
Suppose 3*n - x - 295 = -2*n, 3*n - x = 179. Suppose -5*o = 4*s + 113, s - n = 3*s + 2*o. Let b = s - -134. Does 34 divide b?
True
Let f be (48/15)/(4/(-230)) + -3. Let m = f + 395. Does 10 divide (-4)/(-14) + 7/(49/m)?
True
Suppose 53299 = 45*k - 8*k - 8306. Is k a multiple of 37?
True
Let g(c) = c**3 + 6*c**2 + 4*c - 2. Suppose 2*t = 12*t + 50. Let v be g(t). Let b(l) = 3*l**2 + 12. Is 8 a factor of b(v)?
False
Let a = 1211 - 3363. Let k be a/(-14) + 22/77. Suppose 27*q = 29*q - k. Is 7 a factor of q?
True
Suppose 3*z = 6*z + 4*t + 14, 0 = 2*t + 10. Does 24 divide z/19 - 17050/(-475)?
False
Suppose 2*z + z = 9. Suppose z*d - 379 = 236. Let t = d + -66. Does 13 divide t?
False
Let u be ((-84)/49)/((-1)/1029). Suppose 3*v = 4*l + 192 - u, l + 3*v - 408 = 0. Suppose -5*x = -6*h + 2*h + 528, -3*h + 2*x = -l. Is h a multiple of 33?
True
Suppose 0 = 4*t, -2*v = -0*v + 5*t - 54. Suppose 4*w - 11 = -v. Is (-2 - (-42 - -4)) + w a multiple of 16?
True
Suppose -3*l + 10765 = k, 2*l + 4*k - 5469 = 1691. Is 109 a factor of l?
False
Suppose 71*b = 80*b + 171. Let h(v) = -v + 19. Is 3 a factor of h(b)?
False
Suppose 2*t + 3 - 21 = -4*s, 0 = s + 5*t - 18. Suppose s*b + 12 - 3 = 0. Is (b - -2) + 38 - (0 - 3) a multiple of 8?
True
Let j = -35 + 52. Let l(m) = -m**2 + 23*m - 39. Is l(j) a multiple of 7?
True
Suppose -3*q - 155 = 5*u, -3*u + 9*q - 93 = 4*q. Let o(b) = 4*b + 7. Let r be o(-7). Let j = r - u. Is 5 a factor of j?
True
Suppose 2*s - 21 = -13. Suppose 2*z + 2*l = -z + 23, s*z = 3*l + 8. Suppose 0 = -m + z*c + 18, 4*m - 192 = c - 5*c. Is m a multiple of 10?
False
Suppose 6*d - 3204 = 3*d. Suppose -732 + 197 = -y - c, d = 2*y + 3*c. Suppose n = -2*t + 281, 4*t - 2*n = n + y. Is t a multiple of 49?
False
Let p(m) = 29*m**3 - 28*m**3 + 2 - 1 + 0 + 4*m**2 + 3*m. Let o be p(-4). Let z(k) = k**2 + 8*k + 23. Is 7 a factor of z(o)?
True
Suppose -50*z = 2274 - 4115 - 56559. Is 3 a factor of z?
False
Suppose -62*k + 7*k + 17925 = 20*k. Is k a multiple of 16?
False
Suppose 5*v + 2898 - 728 = 0. Let z = 689 + v. Suppose 0 = r - 5, 2*s + 3*s + r - z = 0. Is 25 a factor of s?
True
Suppose 2*w - 7*w - 2*h = -9592, -5*h - 1913 = -w. Suppose -5*g + w = -322. Suppose -5*f = 4 + 6, 5*k - g = -f. Is 15 a factor of k?
True
Let v = -110 - -119. Suppose 2*f + v*f - 44 = 0. Suppose f*x = -2*w + 27 + 1, 5*x = -2*w + 32. Is w a multiple of 6?
True
Suppose -2*q - 2*w - 32 = 2*w, 0 = -3*q + 4*w + 2. Let l be (-6 - q)/(2 + -2 + 2). Is 41 - (5 + (0 + l - 3)) a multiple of 13?
True
Let u(d) = 219*d - 96. Is 13 a factor of u(17)?
True
Let j(n) = n**3 - 3*n**2 - 2*n + 10. Suppose -9*a + 3 = -24. Suppose 5*c = -10, w = 2*w - a*c - 11. Is 10 a factor of j(w)?
True
Let b = 56 - 31. Suppose -3*l = l + 4*z - 40, 5*z - b = 0. Suppose -6*u + l*u = -171. Is u a multiple of 11?
False
Let a be 4389/22*(-6)/9. Let h = a - -225. Is 46 a factor of h?
True
Let l = -544 - -1756. Let w = l + -712. Is w a multiple of 33?
False
Suppose -1416 = 89*q - 85*q. Is 20 a factor of q/(-3)*(-55)/(-22)?
False
Let s be (-172)/(-36) + (-14)/(-63). Suppose -s*a + 293 = 2*q, 4*q - 2*a - 309 = 265. Does 12 divide q?
True
Let v(d) = -3*d**2 + 8*d + 20. Let l be v(9). Is 9/(-3) - (l + -4 - 1) a multiple of 28?
False
Suppose 2*x = 4*q + 9970, -q = 69 - 65. Is x a multiple of 63?
True
Let c(k) = -52*k**2 + k - 8. Let x be c(-4). Let n = x - -1360. Is n a multiple of 47?
False
Let i(b) = 635*b - 6. Let j be i(2). Suppose -c = 15*c - j. Does 8 divide c?
False
Suppose 0 = -z - z + 4. Let h be 135/(-21)*(-7)/(-2)*z. Is 5 a factor of (h/36)/((-1)/36)?
True
Let s = 56507 - 39663. Is 26 a factor of s?
False
Let w be (1000/30)/((-8)/84). Let g = -314 - w. Does 20 divide g?
False
Let p(r) be the first derivative of 44/3*r**3 - 1/2*r**2 + 17 - 4*r. Is p(2) a multiple of 17?
True
Suppose -3*f = -5*y - 71 + 1386, 3*y - 2197 = 5*f. Let o(a) = -a**2 - 8*a + 10. Let s be o(-9). Is 11 a factor of (f/16)/(s/(-2))?
True
Let i(r) = 11*r**2 + 3*r - 6. Let v be i(-5). Let c = v + -170. Is c a multiple of 14?
True
Let u(c) = -c**3 - 30*c**2 - 75*c + 58. Let r be u(-27). Let y = r + 502. Is y a multiple of 21?
False
Suppose 5*j - 11 - 3 = -2*w, -6 = j - 4*w. Suppose 0 = -5*t - 