 v be i(-3). Suppose v + 1497 = 12*o. Is 12 a factor of o?
False
Suppose 2*r = -2*s, s + 0*s + 12 = 2*r. Suppose -l = r*l - 180. Is l a multiple of 22?
False
Let q = -121 + 316. Let b be (-3 + 0)*(1 - 2). Suppose q = b*z + 2*z. Is 13 a factor of z?
True
Let p = -540 - -566. Is p a multiple of 26?
True
Suppose -v + 12 = 4. Let o(w) = -w**2 + 17*w + 8. Does 5 divide o(v)?
True
Suppose 0*i + 1296 = 4*i. Is 10 a factor of i?
False
Let w = 13 + -16. Let h be 14*w/12*26. Does 13 divide (h/(-14))/(2/4)?
True
Let u(y) = -49*y - 4. Let g(d) = 49*d + 4. Let s(i) = -6*g(i) - 7*u(i). Does 18 divide s(5)?
False
Is 16 a factor of ((-2780)/(-12))/(7/42)?
False
Suppose 8*i + 26*i = 60690. Is 21 a factor of i?
True
Let o = 140 - 135. Suppose 227 = 4*a + o*r, 3*a - r - 189 = 5. Is a a multiple of 9?
True
Suppose -4 = 2*m - 2, 0 = -3*j + m + 232. Let v = -25 + j. Is 13 a factor of v?
True
Suppose 3*d - 165 = -5*g + 105, 3*d + 15 = 0. Suppose 355 = -2*u - g. Let n = -147 - u. Is 18 a factor of n?
False
Let c be (-5)/15 + (-512)/(-6). Suppose 4*k + 29 = 4*t + c, 3*k - 22 = -t. Does 33 divide ((-99)/3)/((-3)/k)?
True
Let j(l) = 4*l - 13. Let d(i) be the first derivative of 2*i**2 - 12*i - 5. Let x(c) = -6*d(c) + 7*j(c). Does 13 divide x(8)?
True
Let d(o) be the second derivative of o**5/20 + 7*o**4/12 + o**3/6 + 5*o**2/2 + o. Let w be d(-7). Is ((-8)/28 - w)*7 a multiple of 4?
True
Is -3 + 2/(-9) + (-81460)/(-45) a multiple of 25?
False
Let d = 599 - 142. Is 12 a factor of d?
False
Let z(r) = -r**3 - 39*r**2 + 22*r + 227. Does 115 divide z(-41)?
False
Suppose -46*b = -1942 - 818. Does 15 divide b?
True
Let z = -43 - -86. Suppose -m = -z + 4. Does 8 divide m?
False
Suppose -4*y = -f + 124, 3*f - 2*y = f + 230. Suppose s - 31 = 5*p - f, 0 = -2*s - 2. Does 11 divide p?
False
Suppose -4*l = 5 + 7, 35 = 4*a - 5*l. Suppose o + 2*g - 362 = -4*o, -293 = -4*o - a*g. Is 18 a factor of o?
True
Let x = 666 - -51. Does 15 divide x?
False
Let a(s) = -s**2 - 1. Let z(d) = 9*d**2 - 8*d - 4. Let r(g) = 5*a(g) + z(g). Is r(-4) a multiple of 19?
False
Let k(z) = z**3 - 13*z**2 + 9*z - 16. Is k(16) a multiple of 32?
True
Is 20 a factor of (-525)/50*(-1 + (-314)/6)?
True
Let r be 0 - (-4 - 50/(-2)). Is (36/r)/(2/(-56)) a multiple of 16?
True
Let c = -358 - -410. Does 4 divide c?
True
Let o(r) = 2*r + 7. Let b be o(-7). Let l(x) = -511*x - 2 + 10 + 254*x + 253*x. Does 7 divide l(b)?
False
Suppose -b + 3*m = -38, 0 = 19*m - 15*m + 12. Does 7 divide b?
False
Let o = 7 - 3. Suppose 3*u = 5*v - 436, -8*u + 5*u = 6. Suppose v + 70 = o*n. Is n a multiple of 32?
False
Is 3/2 + (-220)/(-40) a multiple of 2?
False
Let f be -2*14/16*-8. Let h(n) = -n**3 + 14*n**2 + 5*n + 4. Does 14 divide h(f)?
False
Suppose 2*h - 174 = h. Is (h/18)/(1/3) a multiple of 6?
False
Suppose -3207 = -42*b + 66345. Is 72 a factor of b?
True
Does 3 divide 21/(-2)*(-32)/6?
False
Let a(f) = 45*f - 5. Is a(17) a multiple of 9?
False
Let q = -6 + 4. Is 12 a factor of (27/q)/(-3)*(-896)/(-168)?
True
Let n(s) = s**2 + 4*s - 10. Let o be n(-8). Suppose -43 = -4*x + 29. Let y = o + x. Is 11 a factor of y?
False
Suppose 4*m + 5*l - 2400 = 0, l + 284 = -5*m + 3263. Does 5 divide m?
True
Suppose -2 + 12 = -5*q. Let s(p) = -23*p**3 - 4*p**2 + p - 11. Let a(h) = 12*h**3 + 2*h**2 + 5. Let v(o) = -5*a(o) - 2*s(o). Is v(q) a multiple of 17?
False
Suppose -r = 1 - 15. Let s = r - 9. Suppose -99 = -s*q - 24. Does 5 divide q?
True
Is (-10 + 6)*-1 - 1933/(-1) a multiple of 9?
False
Suppose 4*o - 400 - 280 = 0. Let u = o - 17. Does 32 divide u?
False
Let j be (20 - 2) + 1 + -1 + 3. Let o(k) = k**2 - 10*k + 9. Let l be o(6). Let v = j + l. Does 6 divide v?
True
Suppose k + i = 6, -4*k + 0*k = 3*i - 20. Suppose -o - k*z + 121 = 0, 2*z - 169 - 69 = -2*o. Is o a multiple of 49?
False
Suppose 1337 + 9947 = 14*j. Is 8 a factor of j?
False
Suppose -2*v = -3*v - b + 8, 17 = -v + 4*b. Let d = 3 - v. Suppose -45 = -3*u - d. Is u a multiple of 15?
True
Let g be (3/(-2))/(5/(-30)*3). Suppose -4*m = g*f - 2*m - 278, 0 = -2*f - m + 187. Is 8 a factor of f?
True
Let p = 126 - 24. Is 4 a factor of p?
False
Let r = 53 - 85. Let k be 4/(r/(-92))*2. Let p = k - -50. Is 17 a factor of p?
False
Suppose 0 = -0*a + 5*a. Suppose -6*z + 3*z = a. Suppose 0*g = 2*g - 6, z = 5*b + 4*g - 157. Is 5 a factor of b?
False
Suppose -483 + 2408 = 25*m. Is m a multiple of 7?
True
Suppose -8*d + 80 = -0*d. Suppose -d*o + 2576 = 896. Does 26 divide o?
False
Let f(d) = d**2 - 2*d + 1. Let t(b) = b**2 - 3*b + 2. Let o(k) = 5*f(k) - 2*t(k). Let a be o(-2). Is 27 a factor of a/49 - (-1128)/14?
True
Suppose 0 = 3*i - 15, 3*i + 10 = -2*c - 89. Let w be ((-3818)/(-69))/((-4)/6). Let g = c - w. Is 26 a factor of g?
True
Let f be 14/(-63) + (-8012)/(-9). Suppose f = 5*j + 5*x, 4*j + 2*x = -109 + 829. Is 26 a factor of j?
True
Let b be 18/(-72) - 117/(-4). Let o be (-2)/(2 + (-7)/3). Let s = b + o. Is s a multiple of 26?
False
Suppose -14*y + 10*y + 108 = 0. Is y a multiple of 3?
True
Suppose 550 = -4*b + 9*b. Let s = b + 60. Suppose -v = 4*v - s. Is v a multiple of 17?
True
Suppose 247*k - 4000 = 243*k. Is k a multiple of 25?
True
Suppose 5*g = 66*n - 63*n - 153, -2*n + 86 = 2*g. Does 3 divide n?
False
Let b(r) = -9*r**3 + 3*r**2 + 3*r + 2. Is b(-2) a multiple of 10?
True
Let r(p) = 1239*p - 6. Let h be r(2). Suppose 5*c = -3*c + h. Suppose 3 - c = -6*n. Does 17 divide n?
True
Let m(v) = -v**3 - 6*v**2 - 4*v + 8. Let a be m(-5). Suppose 2*o + a*r + 12 = -18, -o - 21 = 3*r. Let i(y) = y**3 + 9*y**2 + 9. Does 2 divide i(o)?
False
Let n(f) = f**2 + f - 45. Does 39 divide n(-16)?
True
Let x be (-1)/((0 - -3)/(-12)). Suppose 255 = -3*m - 2*n - 180, m + x*n = -135. Is 8 a factor of (-1)/4 - m/12?
False
Let k(u) = u**3 - 13*u**2 + 11*u + 5. Let d be k(12). Let p be 4 + d + (4 - -4). Suppose -p*b + 14 = -261. Is 11 a factor of b?
True
Let m be 4/(-6) + 92/3. Let k be (-446)/10 + 18/m. Let z = -20 - k. Is 12 a factor of z?
True
Suppose -230 = -4*g + 798. Let b = -117 + g. Does 28 divide b?
True
Let u(m) = -3*m - 2. Let o be u(-3). Suppose 0 = -o*g + 2*g - l + 13, -5*g + 7 = -l. Suppose -g*y = -w + 12, -w + y + 12 = 4*y. Is w a multiple of 6?
True
Let g(n) = -n**3 + 7*n**2 + 12*n - 5. Let r be g(8). Suppose 0 = -5*a - r + 2. Let c(s) = s**3 + 5*s**2 - s + 2. Does 2 divide c(a)?
False
Let q = -202 - -86. Let o = -69 - q. Is 7 a factor of o?
False
Suppose -r = 2*r - 27. Suppose -4*u + 3*m = -15, 5*m = u - r + 1. Suppose 0*g + u*g - 12 = 0. Does 2 divide g?
True
Suppose -2*i + 11 = 3. Suppose -i*d - 186 = -7*d. Is 31 a factor of d?
True
Suppose 5*w + s - 13 = 0, -s - 3 = w + 2*s. Suppose 0 = -5*l + f + 75, -2*f + 3*f = -w*l + 45. Let o = 9 + l. Does 6 divide o?
True
Let l(b) = 240*b - 120. Is 21 a factor of l(4)?
True
Is 41 a factor of ((-492)/(-18))/(14/399)?
True
Let z = 2 + 2. Let k be (10 - 4)*4/8. Suppose -z*h + k*h = -16. Does 5 divide h?
False
Let r(t) = -t**2 + t + 12. Let y be r(-7). Let w = y + 122. Is w a multiple of 13?
True
Let n(g) = 8*g**3 - 3*g**2 + 2*g + 1. Let o be n(3). Suppose 3*r - 600 = -3*v, 8*v - o = -r + 3*v. Does 17 divide r?
False
Let d = 2478 - -241. Is d a multiple of 10?
False
Suppose 249 + 71 = 5*i. Let j = 110 - i. Is 13 a factor of j?
False
Let u be ((-15)/20)/(2/(-8)) + 0. Suppose -u*q = 40 - 364. Does 18 divide q?
True
Suppose 0 = 3*f - 20*f + 4522. Is 51 a factor of f?
False
Suppose j - 4*p - 24 = 0, 3*p + 19 = j - 0*j. Suppose h + j*h - 90 = 0. Does 6 divide h?
True
Let b = 20 - 76. Is 18 a factor of 16/b - (-1516)/14?
True
Let u(f) = 13*f - 6. Let z(g) = -g**3 - 5*g**2 - g - 1. Let v be z(-5). Suppose -2*c + 3 = -3*b + 4, v*c + 3*b - 25 = 0. Is 23 a factor of u(c)?
True
Let i be (-56)/(-12)*(-18)/(-7). Let u = i + 42. Suppose 212 + u = 3*y - 2*t, 5*t - 10 = 0. Does 15 divide y?
True
Let s(w) = -4*w**3 + 11*w**2 - 13*w + 106. Is 17 a factor of s(-9)?
False
Suppose 0 = -4*z - m + 11, -4*m = -0*z + 2*z - 2. Suppose -z*p + 0*p = 24. Let n(i) = -4*i - 4. Is 11 a factor of n(p)?
False
Let w be -10*4*(-6)/3. Suppose l + w = 3*l. Is 10 a factor of l?
True
Let c(f) = -2*f**3 - 45*f**2 - 4*f - 24. Let x(i) = i**3 + 22*i**2 + 2*i + 12. Let l(a) = 4*c(a) + 7*x(a). Does 8 divide l(-26)?
True
Is 657/6 - (-9)/6 even?
False
Suppose -59*w + 160825 - 53209 = 0. Does 57 divide 