2*d - 8 = u. Is 16 a factor of f?
False
Let n(w) = w**2 + 12*w + 20. Let f be n(-8). Let v be (-3)/f + 2866/(-8). Let b = -196 - v. Is 18 a factor of b?
True
Let x(v) = -52*v**3 + 45*v**2 - 9*v - 6. Is 102 a factor of x(-5)?
False
Let s(i) be the second derivative of i**4/12 - i**3/2 + 2*i**2 - 13*i. Let n be s(0). Let m(b) = 76*b - 8. Is m(n) a multiple of 11?
False
Suppose 0 = -5*v - 5, 0 = -4*m - v - 38 + 317. Is 51 a factor of 404 - (8/5 - (-28)/m)?
False
Let h(x) be the second derivative of 5*x**3/3 + 15*x**2/2 - 2*x. Let f = -83 - -92. Is 23 a factor of h(f)?
False
Suppose 4*u = 16 - 32. Let z be 5 + -8 + u/4. Let x(k) = 3*k**2 + 8*k + 9. Is x(z) a multiple of 25?
True
Let n = 73 - 28. Let k be (3 - (-2 - n))/(-2). Let m = -16 - k. Does 3 divide m?
True
Suppose 5*n + 0*c - 79 = 2*c, -3*c = 3*n - 39. Suppose -19*z + n*z = 0. Suppose 144 = 3*b - 4*a, z = 2*b + 2*b - 5*a - 192. Does 6 divide b?
True
Let z(u) = -5*u - 69. Let x be z(-18). Suppose -x*g + 18*g = -48. Does 8 divide g?
True
Let u(m) be the first derivative of m**4/4 + 16*m**3/3 + m**2 - 7*m - 23. Is u(-11) a multiple of 18?
True
Suppose -11 = -g - 7. Suppose -g*a + 2*b - 3*b - 83 = 0, -3*a + 4*b = 86. Let n = a - -76. Is 9 a factor of n?
True
Is 1180300/203 + (-4)/42*3 a multiple of 16?
False
Let q be (-1 - (-4 - 1)) + 1185 + 106. Does 3 divide ((-64)/(-10))/(37/q)?
False
Suppose 74*x - 167*x + 279433 = -74*x. Is 3 a factor of x?
False
Is (-168)/(-280)*17260/3 a multiple of 26?
False
Suppose -5133074 = -164*w - 502933 + 169647. Is 113 a factor of w?
True
Let z(h) = 19*h + 25. Let v be z(7). Let b = v - 128. Is 31 a factor of -7 + 5 + 4 + b?
False
Let u be (-1)/(-1)*(11 - 8). Suppose -5*c - 8 = -u*c. Does 9 divide (-4 + -21)*-2 - c?
True
Is 1696 + (-400)/(-20) + -16 even?
True
Let x(i) = -1791*i - 1935. Is x(-9) a multiple of 12?
True
Suppose -479239 + 2243320 = 173*g. Is 99 a factor of g?
True
Let c(g) = 1159*g + 237. Let d be c(5). Suppose -d = 84*o - 92*o. Is 15 a factor of o?
False
Let o = -5 + 7. Suppose 0 = -y + o*y - 504. Suppose 9*u = 3*u + y. Is 19 a factor of u?
False
Suppose -5703 = -4*k + 3*x + 5064, 0 = -2*x - 10. Does 6 divide k?
True
Let q(v) = 26*v**2 + 22*v + 33. Is 13 a factor of q(-8)?
True
Suppose 2*m = -3*p + 138 - 28, 2*m + 2*p - 116 = 0. Suppose 11 + 91 = q. Suppose -v - m + q = 0. Is 4 a factor of v?
False
Does 9 divide (-114814)/(-10) + 2 + (6 - (-405)/(-75))?
True
Let q(p) = 3*p + 6 - 16*p + 697*p**2 - 695*p**2. Let u be q(-7). Suppose -12*a + 7*a = -u. Is a a multiple of 13?
True
Let z(p) = -p - 9. Let m be z(-13). Let h(l) = l**3 - l**2 - l. Let b be h(m). Let k = 10 + b. Is k a multiple of 27?
True
Let y = 94 + -45. Let x = y + -51. Let i = 25 + x. Is i even?
False
Suppose -99000 = -4*o - 32*o. Suppose 3*q - 11*i + 10*i - o = 0, 2*i + 3668 = 4*q. Is 16 a factor of q?
False
Suppose -j - 191 = -0*w - w, -2*w = 4*j - 406. Let o = 629 - w. Suppose 19*v = 12*v + o. Is v a multiple of 32?
False
Let q = 2923 - 982. Is 77 a factor of q?
False
Let y be -2*(5 - (-12)/(-2)). Suppose 2*w = y*j - 114, j + 14 - 62 = -2*w. Is j a multiple of 6?
True
Let q be ((-30 + -4)*6/4)/(-3). Does 17 divide q/(-2)*80/(-4)?
True
Suppose 4 = 2*b - 6, -3*x - 3*b = -1410. Let a = x + -269. Is 29 a factor of a?
False
Suppose 4*o - 5*v - 1319 = 2*o, 0 = 3*o + 4*v - 1967. Suppose -2683 = -4*d - c, d - o = -0*d - 3*c. Is 16 a factor of d?
True
Suppose 0 = -103*h + 104*h - 2. Suppose h*k = -7*k + 1818. Is 54 a factor of k?
False
Suppose -3*u + 2*h = -22, -5*u + 0*h - 2*h + 42 = 0. Let v(b) = 2*b**2 - 3*b - 5. Let t(n) = n**2 - n + 1. Let c(o) = t(o) + v(o). Is c(u) a multiple of 39?
True
Suppose -27435 = 59*l - 128*l - 86*l. Suppose -348 = -0*y - 3*y. Let w = l - y. Is w a multiple of 10?
False
Suppose -2*w = -w + 5*v - 1150, 2*w - 2288 = -4*v. Let n be -18 - 5*2142/(-45). Suppose n - w = -5*y. Is y a multiple of 46?
True
Suppose 0 = -x - 5*z + 22, 2*z - 5 = -4*x + 11. Suppose v - f + 11 + 10 = 0, -x*v + f - 46 = 0. Is 19 a factor of (-15)/v + (-377)/(-5)?
True
Suppose -4*r - 25879 + 85463 = 3*w, 5*r - 2*w = 74480. Is 16 a factor of r?
True
Suppose 3*m + 4*v = 3*v + 961, -5*v = -2*m + 669. Let w = -274 + m. Is w a multiple of 8?
True
Suppose -2*p + 3*v = -6561, -4*v + 0*v + 3264 = p. Is 33 a factor of p?
False
Suppose -2*y - 4*c = -144120, 2*y - 3*c - 183736 + 39616 = 0. Is 40 a factor of y?
False
Let b(g) be the first derivative of 16*g**3/3 + 3*g**2 - 15*g + 24. Does 35 divide b(-6)?
True
Let z(d) = -4*d + 134. Let s be z(-14). Suppose t - s - 62 = 0. Is 14 a factor of t?
True
Is (-1)/(155/(-2719930)) - 10/(-155) a multiple of 214?
True
Suppose 2*j = -3*q + 97610, 0 = -1147*q + 1150*q - 4*j - 97622. Is q a multiple of 11?
True
Is (-94617)/(-6) + (-165)/(-110) a multiple of 7?
True
Let r = -343 + 340. Let g(f) = -2*f + 1. Let k be g(-1). Does 9 divide 10*(k + 0 + 6/r)?
False
Let o(h) = 19*h**2 - 641*h + 117. Does 33 divide o(35)?
True
Let o be 4 + -1 + 3/(-1). Suppose 4*d = -3*m - o*d - 86, 0 = -m + 5*d + 3. Does 10 divide (m + 25)*(-50)/(-3)?
True
Let k be 374192/(-4) - 4/2. Is (-4)/22 - k/275 a multiple of 34?
True
Suppose 45 = -55*g + 60*g. Suppose 16*v = g*v + 2394. Is 11 a factor of v?
False
Let q = 21616 + -18016. Is q a multiple of 200?
True
Let j(p) = -p**3 - 7*p**2 + 10*p + 14. Let l be j(-8). Is 3 a factor of ((-54)/(-81))/(l/(-666))?
True
Let w be ((-36)/16)/(-3*1/8). Suppose -w*k - 6*k + 5268 = 0. Suppose -4*x = -5*z - 61 - 268, 3*z = -5*x + k. Is x a multiple of 7?
False
Let f = 49106 - 30178. Is 112 a factor of f?
True
Let p = 16 - 168. Let w = p + 88. Let j = -56 - w. Does 2 divide j?
True
Let u = 39 - 31. Let q(f) = -f**3 + 9*f**2 - 8*f + 4. Let v be q(u). Suppose 5*z - 940 = -v*x, z + 970 = 6*z - 2*x. Is 43 a factor of z?
False
Suppose 2*y + 1068 - 1582 = 0. Let v = -86 + y. Is v a multiple of 57?
True
Let v(d) = d**3 + 14*d**2 + 6*d - 95 - 20*d + 109. Let i be v(-15). Is 4 a factor of i - 5/2*-2?
True
Let m(z) = -16*z**2 + 3*z - 5. Let u be m(3). Let p be 1*(3 + u)*-1. Let g = 210 - p. Is 14 a factor of g?
False
Let h(y) = 203*y - 334. Does 44 divide h(4)?
False
Suppose 9 = 3*i - 4*p + 4, -3*i - 2*p = -29. Let u(v) = -6*v**2 + 4*v - 14. Let z be u(i). Is 7 a factor of (-1 + 7)/(1 - z/(-304))?
False
Suppose 4*m = 3*p + m + 33, 0 = -5*m + 15. Let y = -4 - p. Suppose y*a - 32 = 48. Is 20 a factor of a?
True
Is 16*(-56276)/(-36) - 44/(-99) a multiple of 67?
False
Suppose 0 = -3*x - a + 27885, -46*x - 4*a = -40*x - 55788. Is x a multiple of 202?
True
Let s(a) = a**2 + 7*a + 13. Let p be s(-6). Suppose -17 = -p*f + 137. Suppose -6 = 2*g, 2*t - t + 4*g = f. Is 6 a factor of t?
False
Let g = 250 + -465. Let r = g + 261. Is 7 a factor of r?
False
Let u(r) = 8 - 2*r - 7*r**2 + 4 + 8*r**2. Let i be u(9). Is i/10 - (-1)/(-2) a multiple of 7?
True
Let p(o) = 15*o + 177. Let q be p(-7). Let c = q + 514. Is 20 a factor of c?
False
Let p(r) = 198*r + 123. Let y be p(-10). Let m = -446 - y. Is m a multiple of 31?
False
Let j(t) = 77*t - 24. Let u be j(6). Suppose 18 - u = -3*c. Is 10 a factor of c?
True
Let y(c) = c + 2. Let i be y(-8). Let d(k) = -7*k - 30. Let o(a) = a. Let t(n) = -d(n) - 6*o(n). Is 8 a factor of t(i)?
True
Suppose -20*s = -10*s - 1840. Let c = 412 - s. Is 23 a factor of c?
False
Suppose 3041*m + 8084736 = 3305*m. Is m a multiple of 87?
True
Suppose -74*k + 3*x = -75*k - 14, -2*k + 5*x - 6 = 0. Let w be (-84)/(0 + 1/(-1)). Is 9 a factor of w/(-5)*((-160)/(-6))/k?
False
Let g = -27895 + 37737. Is g a multiple of 3?
False
Suppose 11 + 0 = 5*i + 2*r, 0 = -2*i - 3*r. Is i*(-7 + 0 + 116) a multiple of 10?
False
Is 244 a factor of (385/(-105))/(3 + 37192/(-12396))?
False
Suppose -3*j + 5*j = 2, 4*y - 7 = j. Suppose 0 = -m - 3*n - 146, -3*n + 10 = y*n. Let o = m + 344. Does 47 divide o?
False
Suppose 46109 + 4474 = 13*g. Does 12 divide g?
False
Is 181 a factor of (-64)/(-416) - (-2735266)/78 - (-80)/(-30)?
False
Suppose 12*c - 1711 = 1889. Does 100 divide c?
True
Let s(c) = 112*c + 44. Let i(u) = 22*u + 9. Let g(y) = -24*i(y) + 5*s(y). Does 25 divide g(3)?
True
Let d(s) = -s**3 - 24*s**2 - 10*s - 37. Let k be d(-22). Suppose 11 = 3*o + 8. Does 32 divide (-1 - o)*k/10?
False
Let j = -41 - -221. Does 15 divide 5/(j/48584) + 48/108?
True
Let g be ((-204)/170)/((-3)/3600)