 (188/10)/(3 + j/15)?
False
Let s = 16 + -13. Suppose -2*n = -s*n + 2. Suppose 2*j = b - 175, -n*b + 341 = 5*j - 0*j. Is b a multiple of 15?
False
Let h(o) = -5*o + 151. Is 7 a factor of h(-4)?
False
Is 186 a factor of 1/3*31287 - (-15)/(195/(-26))?
False
Let m(c) = c**2 - 19*c + 3. Let v be m(18). Let i be v - (2 + -4 + 1). Let a(k) = -k**2 - 18*k - 16. Is a(i) a multiple of 10?
True
Suppose q + 4*h + 162 = 746, -h + 1785 = 3*q. Is q a multiple of 23?
False
Let y = 912 + -910. Suppose 0 = -3*g - y*w + 2424, 3*w + 1629 = 62*g - 60*g. Does 17 divide g?
False
Let f = -512 - -532. Suppose -f*c + 21817 = -5403. Is c a multiple of 20?
False
Let o(z) = -3*z**3 - 6*z**2 - 23*z - 14. Does 126 divide o(-7)?
True
Suppose 19*o - 197545 = -14513 - 2551. Is 7 a factor of o?
True
Is (12 + -33)/(-3*4/72) a multiple of 14?
True
Let g = 288 + -279. Suppose g*v - 168 = -42. Is v a multiple of 13?
False
Let f(g) be the third derivative of g**5/60 + g**4/6 + 2*g**3 - 5*g**2. Let v be f(-3). Is 39 a factor of 1402/v - 22/(-99)?
True
Let h(u) be the first derivative of -2*u**3/3 - 3*u**2/2 + 6*u + 6. Let y(c) = -6*c**2 - 8*c + 19. Let t(w) = -7*h(w) + 2*y(w). Is 7 a factor of t(-8)?
True
Suppose 329*i - 224460 = 293*i. Is 13 a factor of i?
False
Suppose -12 = -94*w + 88*w. Does 25 divide (-245)/(-63) + w/18 - -321?
True
Let c(a) = 5*a + 10. Let r = 7 + -14. Let i be c(r). Let p = -19 - i. Is p a multiple of 3?
True
Suppose -3*g - 3*i = 0, -21 = -3*g + 2*i + 4. Suppose -6*n + 28 = -2*n - 4*p, -g*p - 25 = 0. Suppose n*t - 53 = 107. Does 10 divide t?
True
Does 10 divide -19 + -1 + 2073 - -5?
False
Let q(p) = p**3 + 3*p**2 + 20*p + 38. Let r be q(-2). Is 13 a factor of r/(-1)*(4 - 1665/10)?
True
Suppose 6*s + 7 = 3*s - 4*y, -5*s + 31 = -4*y. Is 34 a factor of -13*(-28 + 0 + s)?
False
Let t be (-112)/(-24)*18/7. Suppose -2*n = n - t. Suppose 2*k - 4*m - 25 = 29, n*k - 4*m = 96. Does 7 divide k?
True
Let z be 323 + (2/(-1) - (-23 - -18)). Suppose 0 = 33*k - 5317 - z. Is k a multiple of 9?
True
Does 3 divide 138/(-115)*(-4)/12*20005?
False
Let q(r) = 10*r**3 + 9*r**2 - 2*r + 5. Let v(w) = -29*w**3 - 26*w**2 + 6*w - 14. Let g(z) = 17*q(z) + 6*v(z). Does 26 divide g(-4)?
False
Let l be 4/(-12) - (-34)/3. Suppose 3*h + 2 - l = -3*k, k = -4*h + 3. Is (3 + 15/k)*2 a multiple of 8?
True
Let v be 8/12 + 31/3. Suppose -2*k = -4*i - 68, -191 = -4*k - i - 2*i. Does 6 divide 1/(k/668) + (-2)/v?
False
Let x(k) = 13*k - 26. Let i(f) = f - 2. Let g(w) = 21*w - 40. Let l(d) = g(d) + 6*i(d). Let u(a) = 6*l(a) - 13*x(a). Is u(-7) a multiple of 6?
False
Let j = 36 + -37. Let i be (-15)/(-3) - 0*j/2. Suppose -i*x = -3*k - 186, 3*x + 5*k = -x + 171. Is x a multiple of 39?
True
Let d be (-18)/15*10/(-6). Let a(c) = 2*c**2 - 11*c + 27. Does 5 divide a(d)?
False
Suppose 7 - 27 = -5*y. Suppose -y*o + 2*g - 4 - 8 = 0, -6 = 5*o + 2*g. Does 8 divide (o + 2)*(-2)/(-2) + 93?
False
Let v(g) = 3*g + 165. Let w(j) = 4*j + 166. Let b(h) = 6*v(h) - 5*w(h). Does 8 divide b(-20)?
True
Let g(k) = k**2 - 35*k + 125. Let r be g(31). Let q(s) = 146*s**3 + s**2 - s. Is q(r) a multiple of 12?
False
Let u(c) = 4 - 52*c**2 + 51*c**2 - 2*c**3 + 2*c + 4 - 3. Let v be u(-8). Suppose 0 = 9*n - v - 374. Does 20 divide n?
False
Suppose 0 = 3*o + 27 - 117. Is (-412)/((-22)/o - 2/(-6)) a multiple of 10?
True
Let t be 3/(-2) - (-345)/(-30). Let s be (-1 + 0)*(-13 - t). Suppose -17*j + 12*j + 180 = s. Does 8 divide j?
False
Suppose 2*i - 4*u + 437 = -3*i, 0 = 3*i - u + 265. Let y(f) = -f**3 + 12*f**2 + 4*f - 16. Let n be y(13). Let q = i - n. Is q a multiple of 11?
True
Let d be (-120)/(-18)*2/((-2)/(-177)). Does 11 divide 33*1*d/60?
True
Suppose 0 = -i - 4 - 10. Let t(s) = s**2 + 10*s - 9. Is 22 a factor of t(i)?
False
Let d(k) = k**3 - 4*k**2 + 4*k + 6. Suppose -2*v + 3*t - 5 = -2*t, -2*v + 3*t = -1. Suppose 2*x - v*x = 5*s - 12, 5*x + 4*s = 20. Is d(x) a multiple of 8?
False
Let d(z) = -z + 1. Let m(o) = 13*o + 8. Suppose 0*g - 5*h + 25 = 5*g, -3*g + h = -7. Let x(f) = g*d(f) - m(f). Does 9 divide x(-2)?
True
Let w be ((-4)/(-10))/(6/(-15)) - -18. Suppose 483 = w*d - 979. Is 5 a factor of d?
False
Let u = -16 - 11. Let h(m) = -118*m + 204. Let d be h(6). Does 17 divide d/u*(-6)/(-4)?
False
Suppose 4*m + 41838 - 9732 = 2*s, 3*s = -3*m + 48213. Is s a multiple of 135?
True
Suppose 2*w + 63*x = 60*x + 22546, 2*w + 8*x - 22506 = 0. Does 37 divide w?
True
Suppose 14*l + 1110 = 4*l. Let q = l - -159. Suppose 43*s + 140 = q*s. Does 11 divide s?
False
Does 19 divide 8/128*8 + (-6)/(48/(-28060))?
False
Let y = 6840 + 3788. Is 11 a factor of y?
False
Let r(y) = 3*y**2 + 26*y + 1. Let k be r(-9). Suppose -526 = -2*x + 2*w + 192, x = 2*w + 363. Suppose k*t = 5*t + x. Is 9 a factor of t?
False
Let l = -29 + 27. Is 14 a factor of 0 + (1/l)/((-3)/1260)?
True
Let d(i) = 22*i**3 + 6 - 52*i**3 - 4*i + 14*i**3 + 15*i**3 - i**2. Does 21 divide d(-6)?
True
Let j = 523 - -5088. Does 31 divide j?
True
Let h(n) = -n**3 - 36*n**2 - 65*n + 78. Is 37 a factor of h(-35)?
False
Let l(i) = 3*i - 79. Let r(n) = n - 26. Let v(m) = -4*l(m) + 11*r(m). Suppose 7*f - 6*f - 13 = 0. Does 5 divide v(f)?
False
Suppose 35 = -0*j + 5*j. Suppose 3*k = 3*y + k + j, 0 = 4*y - 4*k + 16. Let s(r) = 58*r**2 + 1. Is s(y) a multiple of 7?
False
Is 76 a factor of 161/644 + (-3087)/(-4)?
False
Suppose o + 516 = -3*g, -4*o - 7*g + 5*g = 2084. Let k = 1060 + o. Does 40 divide k?
False
Let a = 252 + 171. Let z = a - 733. Let h = z - -455. Is h a multiple of 29?
True
Let j(t) = -43*t + 185. Let c be j(-30). Suppose 0 = -5*u + 4*w + 3127, -5*u + 1631 + c = 3*w. Is u a multiple of 6?
False
Let m(z) = -2*z**3 - 5*z**2 - 2*z + 2. Let u be m(-2). Let w(f) = 6*f**2 + 6*f + 2 + 4*f**2 - 2*f**u - 11*f. Is 9 a factor of w(3)?
False
Suppose -29*i = -26*i - 6. Suppose h - 5*h = 4*f - 884, -5*h = i*f - 1093. Is 16 a factor of h?
False
Let x = -5 - -2. Suppose 25*c = 55*c - 150. Let j = x + c. Is j a multiple of 2?
True
Is (-228114)/(-115) - (3 - 1) - (-6)/15 a multiple of 56?
False
Suppose 5*p + 338 = d, -4*d = p - 604 - 769. Is d a multiple of 31?
False
Suppose 4705*a - 4698*a - 121730 = 0. Does 74 divide a?
True
Let w(p) = -p**2 + 4*p + 255. Is 85 a factor of w(0)?
True
Let b(n) = 141*n**2 + 29*n - 25. Is 4 a factor of b(2)?
False
Suppose 153*g + 205*g = 5706878. Is 19 a factor of g?
True
Let x = 2656 + 6178. Is x a multiple of 14?
True
Suppose -78409 = -23*y - 14377. Does 10 divide y?
False
Suppose 27*i - 85660 + 14110 = 0. Is i a multiple of 13?
False
Is 42 a factor of (1127/(-4))/(25/120 - (-13)/(-52))?
True
Suppose 2*t + t = -3*r + 30, 2*t - 26 = -5*r. Suppose -m + 396 = w, 4*w - 11*m + t*m = 1584. Is 44 a factor of w?
True
Suppose -36*h = -15*h. Suppose h = 3*q - 2*u - 401, -5*u - 11 = 3*q - 405. Does 19 divide q?
True
Let b(q) = 9*q - 99. Let v = 73 - 51. Is 11 a factor of b(v)?
True
Let z be (2 + -3)/(3/(-15)). Suppose 7 = 6*o - z. Suppose 5*f = -4*n + 108, f - o*f - 68 = -2*n. Is n a multiple of 11?
False
Let a be (134/(-10))/((-18)/90). Let g = 130 - a. Let b = g + -38. Is 25 a factor of b?
True
Let o(l) = -l**2 + 45*l + 258. Let p be o(50). Suppose -731 + 1403 = p*r. Does 5 divide r?
False
Suppose 28*p - 42*p + 28715 - 3907 = 0. Does 39 divide p?
False
Suppose 0 = -7*f + 7773 - 619. Let q = f + -576. Does 26 divide q?
False
Let y(a) = -1320*a + 2337. Does 8 divide y(-5)?
False
Suppose -2*f = -3*z - f + 243, 0 = 3*z + 4*f - 258. Let p be (-10)/7*(-267 + 274). Let s = z + p. Is s a multiple of 36?
True
Is (-7632)/848*(1 - (-1025)/(-3)) a multiple of 9?
False
Suppose 399 = -8*r - 13*r. Let j(l) = 3 - 10 - 7*l - 6 - 4. Is j(r) a multiple of 25?
False
Suppose -3*w + 7*w = -3*k + 13436, 0 = -5*w - 35. Is 204 a factor of k?
True
Let s = -5324 + 2684. Let q = -1438 - s. Is q a multiple of 41?
False
Suppose 2*p - f = 5*p - 268, 3*p + 2*f - 269 = 0. Does 4 divide p?
False
Suppose -21050 - 57816 = -94*w. Is 5 a factor of w?
False
Let d = -1078 + 38661. Suppose 685 = -38*p + d. Is 30 a factor of p?
False
Let a = -9452 + 27203. Is 13 a factor of a?
False
Suppose -2*s + 9 = 3*a, 5*s + 4*a - 2*a - 17 = 0. Suppose -t + s*t + 118 = 0. Let v = -28 - t. Is v a multiple of 7?
False
Let f be (2 - 3)/((-15)/(-4155)). Let k = f - -467. Does 38 divide k?
True
Suppose -2*y + r = -10126, -16523 = 