2*v + 16 + 58 = 2*u. Is 9 a factor of v?
False
Let j = -10 + 5. Let a(w) = w**2 + w - 4. Is a(j) even?
True
Let v(a) = 1 - 6 - 3 - 22*a + 7. Is v(-3) a multiple of 13?
True
Suppose 34 = 2*f + 28. Is 11 a factor of ((1980/(-8))/(-5))/(f/4)?
True
Let j(z) = -z**2 + 23*z - 17. Let n be j(22). Suppose 5*m = 5*s + 220, -m - s + 50 = -n*s. Does 3 divide m?
True
Let a(m) = m**2 - m - 8. Let h be a(0). Let b = -3 - h. Suppose 2*u = -b*n + 47, 0 = -0*n + n + u - 10. Does 4 divide n?
False
Suppose -3*h - 4*h = -28. Suppose o - h = 3*o. Is 15 a factor of 445/15 + o/(-6)?
True
Let r(s) = s**3 + 2*s**2 - 4*s - 2. Let i be (1 + 0 - 3)*-2. Is r(i) a multiple of 13?
True
Suppose -3057 = 27*r - 19905. Does 29 divide r?
False
Let p(j) = 2 - 77*j - 57*j + 2. Is p(-2) a multiple of 34?
True
Suppose 4*i + 8 = -5*y, 0*i - 2*i + y = -10. Suppose 4*u + 5*m - 71 = 0, i*u + m = 5*u - 25. Is u a multiple of 8?
False
Let q(h) = h**3 + 6*h**2 - 2*h + 5. Let v be q(-4). Let o be (-3)/(-12) - v/(-12). Is (-15 + -25)*(-2)/o a multiple of 20?
True
Suppose -2 = -2*v, -5*d + 10*v = 5*v - 870. Does 5 divide d?
True
Suppose 0 = 3*j + 9, s + 3*j + 8 = 0. Let i = s + -5. Is 11 a factor of -4*(-19 + i/(-4))?
False
Does 41 divide 1255872/806 - (-4)/(-26)?
True
Let k be (306 + 1)/(2 + -2 + 1). Suppose 2*n + 388 = 5*d, 8*n + k = 4*d + 3*n. Does 13 divide d?
True
Let p(u) = u**2 - 3*u + 1. Let v be p(0). Is 7 a factor of (1 + v)*(-47)/(-2)?
False
Does 4 divide 3024/81 - (-3)/9*-1?
False
Let t = 61 + -57. Let a be -6*((-20)/(-3))/(-5). Is 25 a factor of ((-142)/t)/((-4)/a)?
False
Let f be -22 + 35 - -1*1. Let p = -8 + f. Does 6 divide p?
True
Let b(g) = 15*g**2 - 4. Let c be b(2). Let i = c + -52. Is i a multiple of 4?
True
Suppose 5*n + 2*i + 2*i = 1084, 20 = -5*i. Is 14 a factor of n?
False
Is 4 a factor of 55 + (12/9 - (-12)/(-9))?
False
Let b = 2 + 12. Suppose b*t - 3*t = 286. Is 5 a factor of t?
False
Is (-12)/16*4 + 483 a multiple of 60?
True
Let z(b) be the first derivative of b**2 - 4 + 1/4*b**4 + 2*b**3 + 2*b. Is z(-4) a multiple of 8?
False
Let p(z) = 11*z**2 + 46*z - 53. Is 21 a factor of p(-15)?
False
Suppose k = -18*k + 1140. Is k a multiple of 20?
True
Let k = 1 - -117. Is 10 a factor of k?
False
Suppose -5*a = -7 + 17, -3*a = -3*x + 1158. Is 16 a factor of x?
True
Is (-2864)/(-26) - (-14)/(-91) a multiple of 6?
False
Let a(l) = 2*l - 9 - l**3 - 7*l + 14*l**2 - 6*l. Is 17 a factor of a(13)?
True
Let z(k) = -2*k - 3. Let n be z(-2). Suppose 2 + n = -y. Is 6 a factor of (-56)/y - (-10)/(-15)?
True
Let v(j) = -7*j + 189. Is v(16) a multiple of 9?
False
Let q = 21 - 18. Suppose q*t + 2*t = 20. Suppose -2*n + 6*n = -t*c + 56, -2*c + n = -22. Does 4 divide c?
True
Let c be (2/(-7) - 19/7) + 7. Suppose 2*n - 34 = n + 5*x, c*n = -3*x + 228. Is n a multiple of 6?
True
Let k(z) = z**2 + z - 1. Let a be k(1). Let i be (a + -2)/((-4)/12). Suppose -i*d + 200 = 2*d. Is d a multiple of 10?
True
Let s = -103 + 38. Let y = s - -113. Does 12 divide y?
True
Suppose 18*y = 20*y - 250. Is 21 a factor of y?
False
Let o(r) = r + 1. Let z(p) = 11*p + 2. Let m(d) = 3*o(d) - z(d). Does 19 divide m(-7)?
True
Suppose -12*i + 8*i = 3*z - 3597, -4*z + 2*i + 4774 = 0. Is 41 a factor of z?
False
Let x be 3*((-3)/5)/(54/(-60)). Suppose 5*r - 3*j - 295 = -79, -x*j = -r + 46. Is r a multiple of 6?
True
Suppose 5*u - 20 = 4*s, 3*u + 3*s = -2*u + 55. Suppose -3*x - 5*d + 109 = 0, -59 = -3*x + u*d - 3*d. Does 13 divide x - (-2)/(-4)*-2?
False
Does 25 divide (-308340)/(-76) - (-4)/(-38)?
False
Let j(r) = r**3 + 51. Let k be j(0). Let u = k + -31. Suppose -7*w + u = -6*w. Is w a multiple of 7?
False
Let o = -6 + 8. Let a(z) = 4 + 6 + z**o - 13. Is 6 a factor of a(4)?
False
Let s(p) = -2*p - 1. Let h be s(5). Let f(n) = -52*n + 32*n + 10 + 31*n + n**2. Is f(h) a multiple of 7?
False
Let r = 37 + 437. Does 10 divide r?
False
Let v(o) = 6*o**2 + 29*o + 1. Let c be v(-9). Let g = -66 + c. Does 40 divide g?
True
Suppose 2*d + 2 = -3*u, -u + 0 = 4. Let m(j) = -j. Let h(y) = -5. Let a(s) = h(s) - 4*m(s). Is a(d) a multiple of 5?
True
Let v = -132 - -204. Is v a multiple of 4?
True
Let q be 15/5*(-6)/(-9). Suppose q*z + 2 = p + 5*z, 0 = -p - 2*z + 4. Suppose p = 8*x - 4*x. Is x a multiple of 2?
True
Suppose 4*o - 5*l - 68 = 0, -2*o - 2 + 10 = 4*l. Does 12 divide o?
True
Suppose 22*f + 95 = 23*f + 3*r, -3*r - 237 = -3*f. Is 2 a factor of f?
False
Let p(n) = n**3 + 9*n**2 + 8*n. Let o be p(-8). Suppose -3*b + 2*b - 3 = o, b - 221 = -4*w. Is 8 a factor of w?
True
Let c = -881 - -904. Is 2 a factor of c?
False
Let x(l) = l**2 - 5*l - 3. Let v(q) = -3*q**2 + 16*q + 8. Let a(r) = 2*v(r) + 7*x(r). Let s be a(-6). Let m = s - 19. Is m a multiple of 10?
True
Suppose -33*g + 32*g = 4. Is 12/(g/(1 - 3)) a multiple of 3?
True
Let h be (-4494)/26 + 0 + (-2)/13. Let c = h + 247. Is 10 a factor of c?
False
Let u = -4 - -16. Let i = 15 - u. Suppose 3*h - 7*h - i*w = -120, 3*w = h - 45. Is h a multiple of 11?
True
Let i(o) be the second derivative of -5*o - 1/6*o**3 - 1/20*o**5 + 0 - 1/2*o**4 - 2*o**2. Is 2 a factor of i(-6)?
True
Let f = 18 - 27. Does 11 divide (f/6)/((-1)/22)?
True
Let u(i) = -3*i - 11. Let q be u(6). Let m = 38 + q. Does 3 divide m?
True
Suppose 0 = -3*r - 6, r - 2*r = p - 116. Does 59 divide p?
True
Let m = 110 + -128. Is (-4)/10 + (m/30 - -3) even?
True
Let w(k) = k**3 + 20*k**2 + 4*k - 40. Let h be w(-20). Is 20 a factor of ((-88)/(-66))/((-1)/h)?
True
Suppose 0*j - 5*j + 20 = 0. Suppose 8*m - 560 = j*m. Suppose 0 = -i - 4*i + m. Is 14 a factor of i?
True
Suppose 0 = -9*t - 4657 + 12487. Does 30 divide t?
True
Let d be (-6)/21 + (-718)/(-14). Suppose d = -5*r + 116. Is r a multiple of 11?
False
Let a be (3/2)/(6/8). Suppose 2*v - 4 = a*f, 0 = -5*v + f + 5 + 5. Suppose 3*c - v*b - b - 66 = 0, -4*c = -5*b - 89. Is 10 a factor of c?
False
Let j(y) = -9*y + 107. Does 28 divide j(-37)?
False
Let v = 110 + -40. Is v a multiple of 4?
False
Suppose -4*f - 379 = 489. Let i be f/(-1) - (-3)/1. Suppose 0 = 2*y + 5*k - 150, 4*y = y - 5*k + i. Does 10 divide y?
True
Let w be (-1 + 1)/(-3 + 0). Suppose w = -q + 255 - 18. Is q a multiple of 25?
False
Suppose 0 = 9*o - 3*o - 132. Is 9 a factor of 100/6*33/o?
False
Suppose 1087 + 3605 = 92*y. Is y a multiple of 2?
False
Does 8 divide 6164/7 + 100/(-175)?
True
Let z(i) = 63*i + 143. Is 26 a factor of z(14)?
False
Let n(i) = 16*i + 65. Is n(10) a multiple of 3?
True
Let c be (-1)/(-6) - 292/24. Let f be c/(-18)*(-30)/(-4). Does 12 divide (-27)/((15/(-4))/f)?
True
Suppose -20*n + 3*c = -16*n - 387, -2*n = -2*c - 196. Is n a multiple of 2?
False
Does 7 divide (-13)/((-78)/1928)*3?
False
Let g = -54 + 63. Is 39 a factor of (6 - -12)*(2 - g/(-2))?
True
Suppose -10*z = -4*z - 1374. Suppose 10*v + 39 - z = 0. Is 2 a factor of v?
False
Suppose 0 = 23*h + 14*h - 34965. Does 45 divide h?
True
Suppose 14*c - 117 = 1885. Is c a multiple of 13?
True
Let n(a) be the first derivative of -a**4/4 + 2*a**3 - 2*a**2 - a - 6. Let j be n(5). Suppose 3*m - 2*b = 40, 0*b = -j*b - 20. Is m a multiple of 10?
True
Suppose 0 = 3*a + 4*a. Suppose 3*t - i + 9 = a, 0 = -0*t - 4*t - i - 19. Let c(f) = 2*f**2 + 7*f + 7. Does 3 divide c(t)?
False
Let p(m) = m**2 - 8*m - 11. Let q be p(7). Let s be (-4)/q + 20/(-90). Suppose -3*w = -k - 97, s*w + 5*w = -k + 175. Does 7 divide w?
False
Let d(n) be the third derivative of -17*n**6/120 - n**5/60 + n**4/24 + n**3/6 - n**2. Let w(a) = a**2 - 5*a + 5. Let f be w(2). Is 5 a factor of d(f)?
False
Suppose -94 + 642 = 4*q. Let d = -79 - -164. Let y = q - d. Is 13 a factor of y?
True
Is 77 a factor of -693*(-10)/(-75)*(-10)/3?
True
Suppose 0 = 5*m - 0*m - 20. Suppose 5*l = -m*y + 25, 3*y - 2*y + 3*l = 15. Suppose y = 2*p + 9 - 51. Is p a multiple of 21?
True
Suppose -2*p + 3 + 3 = 0. Suppose -5*s = -p*h - 44, -h - 3*s + 29 = -3*h. Let x = h + 36. Does 14 divide x?
False
Let c(q) = -17*q + 144. Does 16 divide c(0)?
True
Suppose 5*k - 2 = 4*k. Suppose -5*l + k = -28. Suppose 5*i = l*i - 16. Is i a multiple of 16?
True
Let y(v) = v**2 - 10*v + 9. Let a be y(10). Suppose -z + 900 = a*z. Is 30 a factor of z?
True
Let x(w) = -w**3 + 5*w**2 - 4*w + 1. Let n be x(3). Let q = 37 + 59. Suppose 4*c + q = n*c. Is c a multiple of 13?
False
Suppose 4*p + 154 = -3*j - 50, -j + 4*p = 84.