/(-8) + j/(-108)?
False
Suppose 0 = 5*q - 10, -5*v + 5*q = -0*v - 23950. Suppose -4*o = -5*r - 6391, 7*o = 4*o + 4*r + v. Does 10 divide o?
False
Suppose -5*u = -3*q - 2359, 5*u + 147*q - 149*q = 2356. Is u a multiple of 4?
False
Let q be (-208)/1 - (-12)/((-18)/(-6)). Is 10 a factor of 0 - q/2 - (-11 - -15)?
False
Let c(a) be the second derivative of a**6/180 - 7*a**5/120 - a**4/8 - 3*a**3 + 31*a. Let k(o) be the second derivative of c(o). Is k(9) a multiple of 16?
True
Let c(t) = t**3 + 21*t**2 - 20*t + 48. Let s be c(-22). Suppose 5*d - 5*i - 1370 = s*d, 4*i = -4*d + 5432. Suppose d = 12*x - 7*x. Does 24 divide x?
False
Is 9/5 + -2 - (-13 - (-300368)/(-40)) a multiple of 21?
False
Suppose 2*c = -2*x - 2*c - 4, c = -4*x - 1. Suppose m - 5*m + 1232 = x. Is m a multiple of 22?
True
Suppose 3*o = -j + 8643, 0*j = j + 4*o - 8636. Does 3 divide j?
True
Suppose 8315 = 13*f - 9*f + l, -5*l = -4*f + 8321. Does 7 divide f?
True
Let l(u) = u**3 + 35*u**2 - 74*u - 29. Is 6 a factor of l(-36)?
False
Let h(m) = m**3 - 21*m**2 - 23*m + 10. Let v be h(22). Is (-2656)/v + 0 - 2/6 a multiple of 13?
True
Let m = -47844 + 115074. Is m a multiple of 162?
True
Suppose r - 730 = -257. Suppose 4*x - r = -17. Let g = x - 58. Does 14 divide g?
True
Let s(a) = -141*a**2 + 8*a - 7. Let f be s(1). Let i be f/18 - (-2)/(-9). Let m(q) = 2*q**2 + 6*q + 18. Is m(i) a multiple of 14?
True
Suppose l + 3*g - 9 = 0, 4*l - 2*l = 3*g - 9. Let w be (92 - -1)/((-51)/(-68)). Suppose l = -y - y + w. Is y a multiple of 21?
False
Suppose 0 = -3*t + 3*v + 7352 + 54076, -2*t - v + 40946 = 0. Is t a multiple of 30?
False
Suppose 74010 = 53*n - 43*n. Suppose n + 4459 = 10*u. Does 35 divide u?
False
Let t = -3960 - -4270. Is t a multiple of 5?
True
Suppose 5*y - 12 = 2*y. Let j(x) = 35*x + 18*x**2 - 3 - 6*x**2 + 4*x**2 - 30*x. Is 21 a factor of j(y)?
True
Let m(n) be the third derivative of -n**6/120 - 13*n**5/60 + n**4/24 + 11*n**3/3 + 19*n**2. Let h be m(-12). Let l = -48 - h. Does 7 divide l?
False
Let u(a) = a**3 + 3*a**2 + 2*a + 10. Suppose 6*i = -20 - 4. Let g be u(i). Let n(l) = l**2 + 5*l. Is n(g) a multiple of 14?
True
Let b(z) = z**3 - 1. Let t be b(-3). Suppose 73 + 53 = 3*q. Does 3 divide 4/(-2)*q/t?
True
Is 4 a factor of ((-14)/(-5))/(88/116820)?
False
Suppose 79*a - 275*a = -3371592. Does 141 divide a?
True
Let k(q) be the first derivative of -2*q**2 - 122*q + 14. Let a be k(0). Let g = a + 188. Does 33 divide g?
True
Let f be -4 + 5 + 68/(-2). Let a(o) = -5*o + 22. Does 3 divide a(f)?
False
Let o be 189/5 - (-4)/20. Suppose 14 = -6*v + o. Suppose v*g = -2*b + 186, b + 277 = 4*b + 4*g. Is b a multiple of 13?
True
Let k be -142 + (-4 - -8)/2 + -4. Let i = 312 + k. Is 21 a factor of i?
True
Suppose 0 = -3*t + 4*o + 38, -4*t - 4*o + 44 = -8*o. Let j(g) = -3*g**2 + 5*g + 5. Let c be j(t). Let n = 55 - c. Is n a multiple of 32?
True
Let r(a) = -a**3 + 14*a**2 - 5*a + 55. Let k(m) = 2*m**3 - 6*m**2 - 4*m - 3. Let v be k(4). Is r(v) a multiple of 12?
False
Suppose -v = -3*k - 4911, -2*v + 7*k = 4*k - 9807. Is 55 a factor of v?
False
Let p be (1224/255)/(4/10). Does 18 divide 4 - ((-3)/(-6))/(p/(-21048))?
False
Let u be (9/21)/(1/7). Suppose 0 = 2*o - 6*o - 2*a + 698, -u*a = 4*o - 703. Is o a multiple of 14?
False
Let m(d) = -6*d**2 - 22*d + 2. Let o(h) = h**3 - 15*h**2 + 13*h + 8. Let w be o(14). Let j be m(w). Let p = j + 222. Is 35 a factor of p?
True
Suppose -106 = -4*h + 2*h - 2*q, -h = 3*q - 47. Is h a multiple of 4?
True
Suppose -5*i = 2*s - 26, 3*s - 58 = -0*i + 2*i. Let o be 2*12/s*3/(-1). Is 14 a factor of o/12 + (-506)/(-6)?
True
Let d be -1 + 0 + 54/(-3). Let c = 23 + d. Suppose 0 = -4*x - 2*j + 348, 251 = 3*x - 0*j + c*j. Is 29 a factor of x?
False
Let o(k) = 7 - 5*k**2 - 4*k + 7*k + 7*k**2 + 7*k. Let c be o(-12). Suppose -c = -9*i + 41. Does 12 divide i?
True
Let a = 8 + 2. Suppose -5*p = -4*k + 389, -p + a = -k + 88. Does 4 divide (-14)/p - 130/(-11)?
True
Let h = 8136 - 7848. Does 5 divide h?
False
Let j = -140 - -148. Suppose 0 = j*p - 831 - 225. Does 44 divide p?
True
Let v be (-8)/((1/24)/((-2)/4)). Is ((-6)/5)/(v/(-46800)) a multiple of 15?
True
Let o = -4 - -38. Let f be o/10 + 12/20. Does 18 divide (-1)/f - 217/(-4)?
True
Let k(t) be the third derivative of t**4/8 - 3*t**3/2 - 12*t**2. Let r be k(4). Suppose 2*g - 2*w = -w + 85, 3*g + r*w - 114 = 0. Is 10 a factor of g?
False
Suppose 0 = -3*r + 2*r + 78. Is r a multiple of 78?
True
Let y = -5112 + 37928. Is 14 a factor of y?
True
Suppose 3265 = 5*c - 42*t + 37*t, -1949 = -3*c + 5*t. Let z = 708 - c. Is 11 a factor of z?
False
Suppose -4*r = 5431 + 1033. Let d = r - -2490. Does 19 divide d?
True
Let m(l) = -3348*l + 168. Is m(-15) a multiple of 12?
True
Let j be ((-1)/1)/(5 - 346356/69270). Suppose j = 10*l + 4345. Is l a multiple of 36?
True
Let i(q) = 11*q - 4*q - 5*q - q. Let p be i(-3). Does 23 divide (644/3)/2 + 1/p?
False
Is 5 a factor of (57864/(-28))/((-264)/616)?
False
Suppose 4*i + 4 = 0, 5*o + i - 3026 - 7863 = 0. Suppose t + o = 10*t. Does 3 divide t?
False
Let z = -9983 - -15696. Does 36 divide z?
False
Suppose 0 = -5*h + 2*y + 6659, 81 = 4*y + 69. Does 32 divide h?
False
Suppose 3*u - 5*b - 2216 - 3541 = 0, -3833 = -2*u + 5*b. Suppose u = 5*l - 1651. Is 13 a factor of l?
True
Let v(b) = -b**2 + 230*b - 1605. Does 48 divide v(57)?
True
Let d(v) = -v + 50. Let b(n) = n - 25. Let m(u) = -7*b(u) - 4*d(u). Let w be m(-8). Is 42 a factor of 83 + w + 3 + -1?
True
Let i = 25 + 28. Let j = i + -53. Suppose j = f + t - 185, -2*t - 196 - 194 = -2*f. Does 38 divide f?
True
Does 53 divide (-7224)/(-4)*8/3 - -7?
True
Let f = 265 + -249. Suppose -f*k = -1056 - 896. Is 16 a factor of k?
False
Let j be (0 + (-24)/(-20))*210. Suppose 3*l - 5*l = -j. Suppose 6*k - l = -3*k. Is k a multiple of 5?
False
Suppose -236170 = -104*m - 9*m. Does 10 divide m?
True
Is (2366679/(-27))/(-7) - (-704)/792 a multiple of 61?
False
Suppose 5*a + 0*r - 2*r = 883, 2*r + 8 = 0. Suppose 47 = l + a. Let t = l + 278. Does 25 divide t?
True
Let m(g) = 407*g + 8662. Is 7 a factor of m(-17)?
True
Let j be -1*102/(-12)*-18. Let p be 4*3*2/(-1). Let z = p - j. Is z a multiple of 43?
True
Let q(o) = o**2 + 13*o + 78. Let d be q(-24). Let m = d - -791. Does 20 divide m?
False
Suppose 3*p = 4*p - 2*u - 911, 3*p + 2*u - 2765 = 0. Is 7 a factor of p?
False
Suppose 20*s = s - 7691 + 278346. Is 185 a factor of s?
True
Suppose 0 = 5*t - 0*t - 4*h - 42, -2*h = -t + 12. Suppose t*r + 2646 = 48*r. Does 6 divide r?
False
Suppose -16*k + 15*k - 5*l = -16434, -3*l + 12 = 0. Does 13 divide k?
False
Suppose 5*s = -3*w + 16917, 9*s + 3351 = 10*s + 6*w. Is s a multiple of 41?
False
Suppose 0 = d - 0*d + w - 7, 5*d + 3*w - 37 = 0. Suppose -d*n + 1968 + 1512 = 0. Does 62 divide n?
False
Let w = -14 - -15. Let f(i) = 21*i + 6. Let z be f(w). Suppose b - z = -17. Is 2 a factor of b?
True
Suppose 7999 = 45*q - 3836. Is 13 a factor of q?
False
Suppose 8*k = -446 + 478. Suppose -k*c + 1038 = -3*x - 3065, 0 = -2*c - 4*x + 2024. Is 73 a factor of c?
True
Let p be 0/(12/3) + 4. Suppose 0 = -2*z - p*d + 18, -7*d = 3*z - 2*d - 24. Suppose 2*f + 0*f = 4*t + 60, z*t + 171 = 5*f. Does 6 divide f?
True
Suppose -9568 = 25*a - 39*a + 12860. Does 47 divide a?
False
Let b be (-3)/(-2)*4/3. Suppose 652 = 248*v - 244*v - w, 0 = 4*v + 5*w - 676. Suppose 5*c - v = -4*g, -2*g - 136 = -6*g + b*c. Is g a multiple of 18?
True
Suppose -4*f + 103 = -w - 0*w, -2*f - w + 59 = 0. Let c = f - 30. Is (1/c)/(2/(-78)) even?
False
Let z(p) = -p**3 + 8*p**2 - p + 5. Let g = -44 + 2. Let h = 48 + g. Does 15 divide z(h)?
False
Let a(p) = -15*p + 450. Let r be a(7). Suppose 9*v + r - 2361 = 0. Does 29 divide v?
False
Let m(b) = -b**3 + 32*b**2 + 31*b - 16. Is m(-8) a multiple of 16?
False
Suppose 3*q - 15928 = -5*j, -6*q + 6374 = 2*j - 2*q. Does 13 divide j?
True
Let s = 25 - 17. Suppose 0 = x - s - 1. Is x a multiple of 2?
False
Suppose 12*x + x = 9*x. Does 55 divide 3 + x - -43*(15 - 1)?
True
Let g = 10878 + -10378. Is g a multiple of 4?
True
Let g(a) = 2*a**3 + 20*a**2 - 8*a - 4. Let l be g(-10). Let n = l - 54. Is 22 a factor of n?
True
Suppose 0 = -5*d + 2*y + 172 - 7, -3*y = -3*d + 99. Suppose -3*m - d = -0*m. Let k = m + 22. Is k even?
False
Suppose 0 = 2*i - 2128 - 2698. Is 19 a factor of i?