710. Suppose -m*x + a = -48. Does 25 divide x?
True
Let g(p) = 2*p + 66. Let j be g(-27). Suppose -3467 = -j*t - 515. Is 14 a factor of t?
False
Let c(s) = -s**3 + 13*s**2 + 15*s - 6. Let i(y) = -y**2 - y - 1. Let g(u) = c(u) - 5*i(u). Does 7 divide g(19)?
False
Suppose 1415 = 4*z + 167. Is z a multiple of 15?
False
Let r = 237 + -155. Let s be r + 0 - (-2 - -2). Suppose -4*b = -s + 10. Does 9 divide b?
True
Let t = 2198 + -1178. Does 34 divide t?
True
Suppose -61 = -h + 23. Let r(o) = -7*o**2 - 8*o - 2. Let j be r(-2). Is (-7)/j*h/1 a multiple of 13?
False
Let g be 3655/9 + (-3)/27. Suppose 0 = -4*k + g - 34. Is k a multiple of 24?
False
Let s(a) = 76*a**2 + 5*a + 3. Is 16 a factor of s(-3)?
True
Let w(z) = 124*z**2 + 8*z - 112. Does 21 divide w(5)?
False
Suppose -29*f + 7308 = -15*f. Is f a multiple of 69?
False
Let d(n) = -n + 1. Let w be d(-10). Let f be w/4 - 2/(-8). Suppose 2*u + 3*u = -5*m + 80, 0 = -u - f*m + 24. Is 7 a factor of u?
False
Let y = 3310 - 1782. Is 8 a factor of y?
True
Is 32 a factor of (-21)/24 + 1 + (-116067)/(-168)?
False
Let i(k) = 24*k**2 - k - 2. Let m be (1*-2)/(1 + -2). Does 27 divide i(m)?
False
Suppose 2*d - 3*v = 10, 3*v = -0*d - d - 4. Suppose -7*q + d*q + 210 = 4*g, -g + 60 = 5*q. Is g a multiple of 10?
True
Let y = -575 - -335. Does 12 divide ((-90)/40)/(9/y)?
True
Let y(h) = -10*h + 19. Let k be ((-2)/6)/((-43)/(-21) + -2). Is y(k) a multiple of 7?
False
Let x(w) = -22*w + 33. Let c(m) = -11*m + 17. Let o(q) = -11*c(q) + 6*x(q). Is 23 a factor of o(-22)?
True
Let b = 14 - 14. Does 25 divide 75 - (b/4)/(-2)?
True
Suppose -65*r = -22408 - 50327. Is 75 a factor of r?
False
Is (-6 - -15) + -6 - -170 a multiple of 8?
False
Let u(q) = -9*q + 173. Is u(0) a multiple of 10?
False
Suppose -15*v - 1788 = -19*v. Does 13 divide v?
False
Let v(p) = 6*p**2 - 15*p + 26. Is 18 a factor of v(5)?
False
Let p(r) = -25*r + 919. Does 36 divide p(-49)?
False
Is -7*13458/(-42) + 1 a multiple of 10?
False
Let p = 476 + -812. Is p/(-15)*30/12 a multiple of 8?
True
Suppose 0 = -20*r + 2182 + 3758. Is r a multiple of 119?
False
Suppose -5*r + o = -4*r - 1126, -r + 1146 = 3*o. Does 29 divide r?
True
Let x(k) be the second derivative of k**3/6 - 5*k**2/2 - 7*k. Let h be x(10). Suppose -265 = -10*y + h*y. Is y a multiple of 14?
False
Let v = 24 - 14. Let m be (-10)/10 + v/2. Suppose 0*r + m*r = 4*y - 196, -194 = -4*y + 2*r. Is 16 a factor of y?
True
Let c = -8 - -148. Suppose -1175 = -5*i - c. Suppose -i = -4*n + 141. Is 29 a factor of n?
True
Let v be 52/((-1)/(-6)*(-1 + 2)). Let l = v + -186. Is l a multiple of 24?
False
Let l(z) = -z**3 + 2*z**2 - z + 2. Let o be l(2). Suppose a + 3*a + r - 19 = 0, o = 5*a - 4*r - 29. Is a a multiple of 4?
False
Is 62 a factor of (-34)/(-187) - 16980/(-22)?
False
Let d be ((-9)/1 + 3)*4/8. Is d/9*1*-69 a multiple of 23?
True
Suppose -4*p = 2*j - 20, j = 3 - 1. Suppose 5*m - 3*z = -0*m + 45, -p*z + 45 = 5*m. Is 2 a factor of m?
False
Let c(r) = 16*r**2 - 1. Let q = -32 - -33. Suppose -5*p - 4 = q. Does 3 divide c(p)?
True
Suppose -12 = -4*w + 3*h, 3*w - h = 6*w - 9. Suppose -63 = 2*m + w*z, -10 = 3*z - 1. Let b = m - -93. Does 22 divide b?
True
Suppose -2*m - 97 = -5*z, 3*m + 5*z = -2*m - 155. Let q = 64 + m. Does 25 divide -3 + (q - 0) + 0?
True
Suppose -4*d = -0*d - 68. Let i = d - 20. Let j(z) = -5*z - 5. Does 10 divide j(i)?
True
Let a(k) = 446*k - 605. Does 9 divide a(4)?
True
Let b = 13 + -11. Suppose -b*r = -r - 76. Suppose -r = -5*j + j. Is j a multiple of 11?
False
Let t(g) be the first derivative of g**3/3 + 3*g**2/2 - 14*g + 17. Is 16 a factor of t(7)?
False
Let c(y) be the third derivative of -y**5/30 - 2*y**4/3 - 5*y**3/6 + 15*y**2. Is c(-6) a multiple of 7?
False
Let d(v) = 2*v**2 - 78*v + 27. Let a be d(39). Let b(r) = -r**3 + 5*r**2 - 6. Let n be b(5). Let j = n + a. Is 16 a factor of j?
False
Let y(i) = -38*i + 4. Let g be y(3). Let h be g/15 - (-2)/6. Is (-1)/((14/60)/h) a multiple of 14?
False
Let l(z) = z**3 - 5*z**2 + 7*z + 4. Let x be l(3). Is 0 + (-636)/(-21) + (-2)/x a multiple of 15?
True
Suppose -1 = h - 6. Suppose -h*q + 0*l - 3*l = -45, 4*q + 5*l - 49 = 0. Suppose -4*s = 4*m - 96, -2*s = m - q*s + 1. Is m a multiple of 19?
True
Suppose 0 = 17*x - 10214 + 932. Is 25 a factor of x?
False
Suppose 0*d = 4*m + 2*d - 12, 0 = 5*m + 5*d - 10. Suppose 2 = -w, 0 = -3*t - 3*w + m*w + 2. Suppose 3*p + 4 = 2*p, t = o - 2*p - 13. Is o a multiple of 5?
True
Let a(s) = 120*s + 300. Is 10 a factor of a(30)?
True
Let p = 1312 + -321. Is 77 a factor of p?
False
Suppose 3*o = -3*l + 177, 4*l - 242 = -0*o - 2*o. Is l a multiple of 4?
False
Is (-13386)/(-12) - (-15)/6 a multiple of 43?
True
Let r(c) = c**3 - 13*c**2 - 31*c + 16. Let o be r(15). Is 5 a factor of ((-2655)/(-118))/(o/2 - 0)?
True
Let k be (2 + 0 - (-60)/(-18))*-3. Suppose -2*v - 490 = -k*v. Is v a multiple of 35?
True
Let z be ((-30)/(-4))/(-5)*-2. Suppose z*j = -j + 84. Is 20 a factor of j?
False
Suppose -13*t - 20 = -8*t. Let y be ((-5)/(-15)*0)/t. Suppose h - 36 - 24 = y. Does 15 divide h?
True
Suppose -5*h = 3*u - 225, u - 4*u + 249 = -3*h. Let y(w) = 2*w + 7. Let f be y(-1). Suppose 0 = -f*a + 13*a - u. Does 2 divide a?
True
Suppose 3*a - 5*b + 1 = 0, 0*a + b = -a + 5. Let t = -6 - -8. Suppose -t*k = -a*k + 10. Is k a multiple of 5?
True
Let o(g) = -g**3 - 12*g**2 + 7*g - 1. Suppose 3*v + 2*w = -13 - 4, 0 = -v + 2*w - 3. Let u be 0 - 2 - v - 16. Is 16 a factor of o(u)?
False
Suppose -w + 4*w = -4*v + 681, -w - 4*v = -219. Is 11 a factor of w?
True
Suppose -5*u + 6 = 5*p - 24, -5*p + 14 = u. Suppose -p*o - o = -5*q - 277, -3*o + 275 = -4*q. Is o a multiple of 27?
False
Does 18 divide 8555/15 - (-4)/(-3)?
False
Let q = 10 + -6. Suppose -q*t + 3*g = -3*t - 19, -t + 14 = 2*g. Suppose -5*k + 86 = t. Does 7 divide k?
True
Let g(t) = -3*t**3 - 3*t**2 + t + 3. Let m(y) = -3*y**3 - 4*y**2 + 2*y + 4. Let c(a) = 3*g(a) - 2*m(a). Suppose -r - 4 = r. Is c(r) a multiple of 9?
False
Suppose 0 = p - 2*p + x - 5, -5*p - 4*x + 20 = 0. Suppose p*v + 7*v - 833 = 0. Is v a multiple of 11?
False
Let p be -230 - (10/(-15))/((-2)/(-12)). Let k = p + 389. Is k a multiple of 22?
False
Let p(d) = 7*d - 3. Let o be p(2). Suppose 0 = -a - o - 3. Is (a/(-5))/(2/10) a multiple of 14?
True
Suppose 889 = 3*j - 5*p, p = 2*p + 5. Suppose -2*r + j = x, 4*r - 296 = 2*r - 3*x. Suppose -r = -8*c + 42. Does 6 divide c?
False
Let k(w) be the first derivative of -6 - 1/2*w**2 + 1/3*w**3 + 20*w. Is 4 a factor of k(0)?
True
Let y(d) = d**2 + d + 21. Let t be 1/(-2) - (-3)/6. Let n be y(t). Is 16 a factor of 280/n*(-12)/(-5)?
True
Let r = 45 + -26. Let c = -7 + r. Is c a multiple of 8?
False
Suppose p + 6*a - 283 = a, -4*p - 2*a = -1042. Does 6 divide p?
True
Suppose 7*j = 7244 + 1891. Is j a multiple of 77?
False
Let v(w) = 18*w + 4. Suppose 4*z = -2*n + 12, 0 = 2*n + 2*z - 2 - 16. Is v(n) a multiple of 22?
True
Let r = 4071 - 734. Is r a multiple of 47?
True
Suppose 67 = 4*v - 401. Is 12 a factor of 4/(-18) - (-2834)/v?
True
Let f(o) = 4*o**2 + 3*o + 4. Suppose -4*h - 1 = -17. Is 16 a factor of f(h)?
True
Suppose -2*b = -4*b + 2*v + 530, 2*b + 5*v = 544. Is b a multiple of 15?
False
Suppose -85 - 63 = -v. Let b = v - 28. Is b a multiple of 20?
True
Does 43 divide (-6)/21 - 36520/(-77)?
False
Let s(a) = -5*a - 209. Is s(-63) a multiple of 4?
False
Suppose 3*j - 15 = 8*j, -19 = 4*t + 5*j. Let k = t + 17. Does 11 divide k?
False
Let y(q) = -148*q - 14. Is y(-3) a multiple of 43?
True
Let p = -189 - -854. Does 19 divide p?
True
Is 21 a factor of (1609 - 34) + -3 + 0?
False
Let x(j) = j**3 + 53*j**2 - 255*j - 98. Is x(-57) a multiple of 5?
False
Let q(r) be the third derivative of r**6/120 - r**4/24 + 17*r**3/3 - r**2. Suppose -2*g = 5*i - 10, -4*i + 5*g - 25 = -7*i. Does 17 divide q(i)?
True
Let l(p) = -p + 15. Let k be l(13). Suppose 4*d = r + 382, -4*d = -5*d + k*r + 92. Is d a multiple of 24?
True
Let b(i) be the first derivative of -53*i**2/2 + 65*i + 14. Does 33 divide b(-5)?
True
Suppose 6 = f + 7. Let x be (f - 1)/(2/(-4)). Is 6 a factor of -4*((-19)/x - -3)?
False
Suppose -25*q + o = -26*q + 395, -2*q + 794 = -2*o. Is 41 a factor of q?
False
Let w(g) = g**3 + g**2 - 3*g + 236. Let a be w(0). Suppose 5*f = x - 196, -2*x + f + 192 + a = 0. Is 14 a factor of x?
