 factor of o(j)?
False
Let o(k) = -4*k. Let u be o(5). Is -1 + 1 - 17/(17/u) a multiple of 6?
False
Let l(p) = p**2 + 9*p. Let k be l(-9). Suppose i - 3*i + 32 = k. Let x = i + 6. Does 7 divide x?
False
Let b = 1 - -2. Suppose 2*g - 7 = -b*y, 2*g - 5*y - 20 = -g. Does 18 divide 43/(g*1/5)?
False
Suppose 59 = -k - 96. Let a = -103 - k. Is a a multiple of 13?
True
Let p be 3 + (3 - 0 - 9). Is 10 a factor of 151*(-3)/p + -1?
True
Let u = -1 + 5. Let i(v) = v**2 - 4*v + 5. Let f be i(u). Suppose 3*d + 4*a - 108 = 0, -2*d + f*a + 144 = 2*d. Is 9 a factor of d?
True
Let h(m) = 17*m + 40. Let j(u) = -16*u - 40. Let t(x) = -3*h(x) - 4*j(x). Is 14 a factor of t(9)?
False
Suppose 61 = -c - 2*j, -j + 132 = -4*c + 2*c. Does 25 divide 10/((-5)/c*2)?
False
Let m be -5*12/18*3/(-5). Does 7 divide m + (-36)/15 - 1686/(-15)?
True
Let p be 2/((6/9)/(-2)). Let u be 78*p/27*6. Let g = -62 - u. Does 14 divide g?
True
Let u(y) = -y**3 + 3*y**2 + 3*y + 3. Let t be u(7). Suppose 4*m - 8 = -52. Does 8 divide t/(-22) + (-2)/m?
True
Let z be 172/(6*1/3). Let j(k) = -k - 4 + k**3 + 21 + z*k**2 - 73*k**2. Is j(-13) a multiple of 15?
True
Let w = 2012 + -910. Is 58 a factor of w?
True
Let f(h) be the second derivative of h**3/3 - h**2/2 - 8*h. Let o be f(3). Suppose -o*j = -17 + 2, -3*s + 3*j = -201. Does 19 divide s?
False
Let q = 126 - 213. Let p = q - -285. Is 22 a factor of p?
True
Let j(n) = 5*n**2 - 12*n**2 + 4*n + 7*n**2 + n**2. Let b = -3 - 2. Is 4 a factor of j(b)?
False
Let j = 41 + 8. Is 14 a factor of j?
False
Suppose -2*g + 3*a + 9 = 0, -12 = -g + 4*g + 4*a. Does 6 divide 6*(-2 + g - -4)?
True
Let j = -29 - -23. Let n(p) = -p**3 - 6*p**2 - 3*p - 6. Let i be n(j). Let f = 37 - i. Does 8 divide f?
False
Let i(x) = -33*x + 111. Does 8 divide i(-5)?
False
Let i be 11/22 - 10/(-4). Suppose 2*l = i*k + 72, k + 74 = 2*l - k. Is l a multiple of 5?
False
Let z = -12 - -13. Suppose 2*d - s = 1, -2*d - s - z = 3*d. Suppose -3*j = 4*f - 195, -5*j + d*j = -4*f + 155. Is f a multiple of 15?
True
Suppose -4*a - 21 = c + a, -5*a - 5 = 5*c. Suppose -t = 1, 0 = 4*j - 0*t + c*t - 132. Is 29 a factor of j?
False
Let t(q) = -q + 19. Let y be t(9). Let z = -8 + y. Does 13 divide 3 - (-34 - (z + 0))?
True
Let c(a) = a**3 + 5*a**2 - 6*a - 8. Let x be c(-6). Does 9 divide (x + 20)/((-2)/(-6))?
True
Suppose -h - 1 = 0, -h + 671 = 5*g - 2*h. Does 52 divide g?
False
Let y(k) = -k**2 + 73*k + 199. Is y(46) a multiple of 11?
True
Let s(g) = g**2 - 8*g - 9. Let n be s(5). Let u = 24 + n. Suppose 72 = 2*j + 3*x, -3*j - 5*x + 48 + 61 = u. Is 8 a factor of j?
False
Suppose 22702 + 11614 = 23*q. Is 9 a factor of q?
False
Let s be ((-8)/10)/(2/(-30)). Suppose 14*n - 216 = s*n. Is 24 a factor of n?
False
Let z(f) = f**3 + 41*f**2 + 53*f - 3. Is z(-39) a multiple of 16?
False
Let t be (70/(-4))/(82/(-28) - -3). Is 26 a factor of 0 - (-3 + 6)/3 - t?
False
Suppose 23 = z + 4*q, 2*z - 13 = 6*z - 5*q. Suppose 8 = -z*w - 16. Let c(m) = -8*m - 7. Is c(w) a multiple of 19?
True
Let f be -21 - (2 + 3 + -3). Let h = 54 - f. Is h - (3 + (1 - 7)) a multiple of 15?
False
Let d = -30 + 31. Does 3 divide -7 + 5/d + 44?
True
Let x(b) be the first derivative of 7*b**2/2 - 10*b + 147. Suppose 5*n - 33 = -2*i, 6*n = 2*n - 5*i + 23. Does 8 divide x(n)?
False
Suppose -2*k + 214 = 3*p, -2*k - 3*k + 510 = -5*p. Let u = k - 71. Is 8 a factor of u?
False
Let b = 136 - -139. Is 5 a factor of b?
True
Suppose s - 5 = 0, -3*s = -3*n + 2 - 8. Suppose 2*d + n*c = -1, -4 = d + 2*c - 2. Suppose 2*y = -3*a + 47, 64 = d*a + 5*y - 2*y. Does 3 divide a?
False
Suppose -5*y + 5*o - 375 = 0, 3*y - 2*o = -6*o - 190. Let z = y - -127. Is 19 a factor of z?
True
Suppose -2*r - 1266 = -4*o, o - r + 5*r - 303 = 0. Suppose 6*u - o = -u. Suppose -5*n - 4*q + 81 = 0, 10*q + u = 5*n + 5*q. Is 7 a factor of n?
False
Let b be ((-90)/(-4))/((-30)/40). Let z = b + 47. Is 5 a factor of z?
False
Let w = 2078 - 1445. Does 11 divide w?
False
Let x = 303 + -171. Let c = x + -81. Is c a multiple of 7?
False
Let f(r) = -r**3 - 2*r**2 - 4*r + 1. Does 23 divide f(-5)?
False
Let m = 4138 + -3268. Does 26 divide m?
False
Let m(l) = -l + 17. Let x be m(8). Let d = 90 - x. Is 9 a factor of d?
True
Suppose -b + 209 = 50. Suppose -63*z = -66*z + b. Is z a multiple of 14?
False
Let b(h) = 45*h - 215. Does 2 divide b(9)?
True
Is 17 a factor of -2 + (0 - 1) - (-10971)/53?
True
Suppose -3*z - 4*d - 8 = 0, -2*z + 0*z - 5*d = 17. Suppose -v - j + 24 = 0, 19 = z*j + 3. Is 4 a factor of v?
True
Let g(r) = r**2 - 15*r + 1. Let h be g(14). Let v = -7 - h. Does 16 divide (-1 - v/(-3))*76?
False
Let y(d) = 10*d**2 + 4 - 2*d + 9 - 9*d**2 - d. Let h be y(4). Suppose 0 = 2*t - t - h. Does 16 divide t?
False
Let d(g) = -23*g**2 + 47*g**2 + 2*g - 23*g**2 - 4. Let l be d(-6). Let v = 48 - l. Does 28 divide v?
True
Let v(n) = 127*n - 7. Let i be v(4). Suppose i + 195 = -3*f. Is 12 a factor of f/(-20) - 6/(-15)?
True
Suppose -4*t + 3166 - 1738 = 0. Does 7 divide t?
True
Suppose 728*w - 730*w + 840 = 0. Is w a multiple of 5?
True
Does 109 divide 0 - -2628 - (7 + 152/(-19))?
False
Let t(p) be the third derivative of 21*p**6/40 - p**4/12 + p**3/6 - 9*p**2. Is t(1) a multiple of 11?
False
Let z(y) = y**3 - y**2 + 3*y. Let p be z(0). Does 12 divide (p - -2)/(-2) + 0 + 61?
True
Let n = 2145 + -2111. Is n a multiple of 2?
True
Does 13 divide (-302)/(-6) + 2 - (-29)/(-87)?
True
Let o(l) = l + 317. Does 20 divide o(63)?
True
Let c(x) = -13*x + 5. Let y be 2*-3*(-3)/(-6). Is c(y) a multiple of 22?
True
Let l(d) = -d**2 - 4*d + 9. Let m be l(-5). Let o = m - -52. Is 4 a factor of o?
True
Does 4 divide 6*16/(-18)*225/(-6)?
True
Let t(q) = -4*q**3 + q**2 - 4. Let s be t(-2). Let f = 79 - s. Is f a multiple of 12?
False
Let v(j) = 11*j**3 + 26*j**2 - 26*j + 11. Let u(t) = 4*t**3 + 9*t**2 - 9*t + 4. Let z(a) = 8*u(a) - 3*v(a). Is 3 a factor of z(-7)?
True
Let h be 5/((-15)/(-16))*-3. Let i = h - -16. Suppose -d + g + 75 = 0, -g = -5*d - i*g + 363. Is 9 a factor of d?
True
Does 24 divide 50*(-3 - -52) - (0 + 2)?
True
Suppose 94*x - 66*x - 11760 = 0. Is 21 a factor of x?
True
Let b be (316/(-5))/(8/(-20)). Suppose 0 = 5*a - 177 - b. Suppose a = 6*v - v + 2*q, -2*v - 4*q = -30. Is 7 a factor of v?
False
Let v = -881 + 1454. Is 9 a factor of v?
False
Is (3*-32)/(-6)*1 a multiple of 15?
False
Let k = 1219 + -419. Suppose 0 = 8*b - k - 400. Is b a multiple of 25?
True
Suppose -3*r = 4*r - 98. Suppose -u - h = -r - 31, -u + 54 = -2*h. Does 10 divide (-230)/(-12) - 8/u?
False
Suppose -2*c - 4*h + 1432 = 0, 0*h - h = -c + 731. Does 42 divide c?
False
Suppose -25 = -3*g - 2*f - 5, 2*g = -4*f + 24. Does 23 divide 6*(g - (710/4)/(-5))?
False
Suppose -6*i + 613 = -539. Is 13 a factor of i?
False
Let h(c) = -c**2 + 14*c + 4. Let t be h(14). Suppose 0*i - t*s - 3 = -3*i, -3*i - s + 3 = 0. Let g(k) = 60*k + 2. Is 31 a factor of g(i)?
True
Let q(l) = l**2 - 10*l - 11. Let n be q(11). Suppose -346 = -h - n*h. Suppose j = -5*r + h, -4*j = -2*r - r + 203. Does 22 divide r?
False
Let t be 15/(-6)*116/(-10). Let o = t + -9. Is o a multiple of 20?
True
Suppose 2*k + 7 + 1 = 3*p, -4*p = -4*k - 8. Suppose -s + 0*s + p = 0. Suppose -135 = -9*q + s*q. Is q a multiple of 7?
False
Let b(q) = 2*q**2 + 12*q - 23. Let o be b(-10). Let n = 255 - o. Suppose -v - n = -3*v. Is 33 a factor of v?
True
Is 8 a factor of 0/(-5 - 1) + (-472)/(-1)?
True
Let o be 7 + 1 + (-5)/1. Suppose 187 + 743 = o*l - 3*a, -2*a = -3*l + 932. Is 32 a factor of l?
False
Let l = 434 + 704. Does 26 divide l?
False
Is (14 + 49/7)/(2/14) even?
False
Let v = -33 - -38. Suppose v*w = i - 29, -i - 3*i = 2*w - 138. Is i a multiple of 26?
False
Let g = -1223 - -1844. Is 23 a factor of g?
True
Suppose -2*b + 5 = -7. Let o be ((-4)/b)/((-16)/72). Suppose -o*h + 9 = 0, -27 = -0*i - 3*i + 5*h. Is 7 a factor of i?
True
Is 3552 - 11 - 1 - 2 a multiple of 43?
False
Let m = 28 - 20. Let p = m - 23. Let j = p + 21. Is j even?
True
Suppose 0 = -g - 2*g + 9. Suppose -g*p + 31 + 26 = 0. Is 9 a factor of p?
False
Suppose -15 = -4*z - z, -4*r - z + 15 = 0. Suppose x = 5*g - 5, x + r*x + 5*g = 105. Does 5 divide x?
True
Suppose 12227 + 12325 = 62*v. Is 44 a factor of v?
True
Suppose -66*h + 38*h + 8988 = 0. Does 7 divide h?
False
Let a(w) = 2 - 8 + 2*w**2 - 3 + 15*w - 5*w. Is