pose -m - 17*f + 18*f = -20996, 3*f = -9. Is m a composite number?
True
Let c = -138 + 140. Suppose -3*x = -v + 3433, -x - c*x = -5*v + 17201. Is v a composite number?
True
Let z(p) be the third derivative of -p**6/120 - p**5/60 + p**4/4 + 1039*p**3/6 - 74*p**2. Is z(0) prime?
True
Let j be 6 + (-1 - 0) - (0 + 2). Let p(x) = 570*x + 7. Let w be p(j). Let f = w - 490. Is f a composite number?
True
Suppose 18*f = 19*f - 27. Suppose 2*h + 7*q - 21 = 2*q, 4*h + 5*q = f. Is 3*(h - (-1078)/3) a composite number?
False
Suppose -7*m - 166 = -523. Suppose -m*i = -56*i + 21955. Is i a prime number?
True
Suppose 0 = 4*f + 7*f + 231. Let y = f + 26. Is ((-331)/(-2))/(y/70) a composite number?
True
Suppose -5*c + 3*m + 2876 = -c, 4*m = -16. Let i = 1195 - c. Is i prime?
True
Let o(j) = 331*j - 115. Let t = -190 - -196. Is o(t) a prime number?
True
Let x = 623 + 326. Let k = x - -228. Is k a composite number?
True
Let l(y) = -309*y - 47. Let b be (240/(-100))/((-4)/(-10)). Is l(b) prime?
False
Let d = -22580 + 37790. Suppose 5*q - 4*q - d = -5*f, -5*q = 5*f - 15190. Is f a prime number?
False
Suppose -4*u = -2*b - 3*u - 4, 0 = -5*b - 5*u + 20. Suppose s - 4209 + 1352 = b. Is s a prime number?
True
Let a(p) = 21 - 16 - 20*p + 3*p**2 - 5*p**2 + 3*p**2. Let q be a(15). Let g = q + 129. Is g prime?
True
Let j = -13608 + 27311. Suppose 2*k - 2715 - j = 0. Is k a composite number?
False
Let v(n) = -12*n**2 + 7 - 9 - 7*n**3 + 18*n**2 + 9 + 7. Let u(r) = 2*r + 3. Let a be u(-4). Is v(a) composite?
False
Suppose 144 = -18*m + 198. Let f(t) = t**3 + 4*t**2 + 4*t + 3. Let a be f(-3). Suppose m*b + b - 2188 = a. Is b prime?
True
Let q be (-84)/(-56) + 3/(-2) - -3. Let r(g) = 384*g**2 + 17*g - 16. Is r(q) composite?
False
Suppose -4*w - 5*l = -369158, -2*w - l - 3376 = -187964. Is w composite?
False
Let k = 758924 + -476575. Is k a composite number?
False
Let k(l) = -6*l. Let p be k(-11). Suppose 0 = -m + 5*g + 17923, 3*g - 14 = 1. Suppose p*s = 62*s + m. Is s prime?
False
Is 42/147 + -1 + 25112/14 composite?
True
Let f = 41 - 38. Let r(t) = 48*t + 18. Let a be r(f). Let b = a + -97. Is b composite?
True
Suppose 3*j + 8 = 5*j - i, -1 = -3*j - 4*i. Suppose 0*d - j = -d. Suppose -2*b = 2*t + d*t - 4594, -4*b + 4*t = -9132. Is b a prime number?
True
Let c be 59 + 0 + (-1 - 3)/(-4). Suppose 3*w + 18 = c. Suppose 5*b = w*b - 603. Is b a prime number?
True
Suppose 0 = 5*a + 5*q - 834370, a - 118752 - 48152 = 5*q. Is a a prime number?
False
Let l = 33523 + -23868. Suppose -69*u - l = -74*u. Is u composite?
False
Let l(r) = -11*r**2 + 19*r - 81. Let p be l(5). Is (14/(-21))/(2/p) composite?
True
Let r = -4656 + 828. Let b be (-2)/5 + (4 - r/20). Suppose b = 4*s - 969. Is s a prime number?
False
Let p(f) = 2*f + 29. Let h be p(-9). Suppose -2*g + 3*t = -h, -3*g - 2*t + 13 = -3*t. Is 0 - -2 - 1 - (-2824)/g composite?
True
Suppose 0 = t - 2*d - 13218, -5*d = 17*t - 16*t - 13204. Is t composite?
True
Let a be 6/10 - 122269/(-35). Suppose -a = -7*w + 6593. Is w composite?
True
Let b be (-12)/9*8/((-160)/402195). Suppose -12*s + 177607 + b = 0. Is s composite?
True
Let a be -8 + 7 + (-364)/(-2). Let f be a/3 - 7/(42/(-4)). Suppose b + f = 380. Is b composite?
True
Let z(s) = 2663*s**2 - 67*s + 279. Is z(10) prime?
False
Let m(c) = -8*c - 32. Let b be m(-4). Suppose -23071 = -5*x - 3*g, -11*x + 7*x + 5*g + 18442 = b. Is x a composite number?
True
Let z = 60494 + -15808. Is z a composite number?
True
Let y(k) = 87*k**2 + 8*k + 10. Let l be y(-5). Suppose -m + 0*v = 5*v + 414, 3*m = -v - 1298. Let j = l - m. Is j a prime number?
True
Suppose -2*p + 5*v = -105565, -2*v + 105600 = -52*p + 54*p. Is p a prime number?
False
Let j = 54683 - -80204. Is j prime?
True
Is -8 + (-23)/((-322)/2273138) a composite number?
False
Let a(v) = -59*v - 23. Let g be a(-6). Suppose 2*n - 4*c - 8 + 4 = 0, c - 10 = -5*n. Suppose n = h, 5*h = -s + 577 + g. Is s prime?
False
Suppose -5*w - 3*p + 447905 = 0, -3*w + 94929 + 173814 = p. Is w composite?
True
Let n(v) = 253*v**2 + 38*v - 49. Is n(20) a prime number?
False
Suppose -10 = -4*p + 6. Suppose 2*u + r + 1 = 0, -3*u + p*u = -5*r - 23. Suppose -x + 4*b = -4*x + 1266, 0 = x + u*b - 422. Is x composite?
True
Is (-2)/4 + ((-216)/(-180))/((-4)/(-816245)) prime?
True
Is (-10)/(-55)*205767507/102 a prime number?
True
Let t(x) be the second derivative of 43*x**4/3 - x**3 + 33*x**2/2 + 126*x - 2. Is t(-6) composite?
True
Let f(l) = 24*l**2 + 27*l + 34. Let j be f(-20). Let m = j + -387. Is m a prime number?
True
Suppose -5*l + 2*l = c - 17, -2*l = -10. Suppose -2*h - 3*x = -18, -h - 4*x + 4 = -0*h. Is ((-2228)/h)/(c/(-6)) prime?
True
Is 1642479/27 + (-11)/((-297)/(-258)) + 10 a prime number?
False
Suppose -f + 51926 = 6*f. Suppose m - f + 1366 = 0. Suppose -1297 = 3*c - m. Is c a prime number?
False
Suppose -4*k = -4*d, -1 - 9 = -2*d - 3*k. Suppose -d*o + 4224 = -3*o. Let w = -1703 - o. Is w composite?
False
Let j = -1 + -3. Let l(u) = 45*u**3 + 16*u**2 - 6*u + 11. Let c(a) = a**3 + a**2 - a + 1. Let t(s) = 8*c(s) - l(s). Is t(j) composite?
True
Is (441/1323)/((-2)/(-912534)) a prime number?
False
Suppose 12 = 3*m - 3*u, -3*m - 2*u - 4 = -6. Suppose -m*v + 25261 = 5*f, -5*f + 2*v = -2*f - 15147. Is f a composite number?
False
Suppose 143*b + 147 = -167*b - 783. Let g(m) = -m - 2*m - 8 + 1 + 29*m**2. Is g(b) a prime number?
True
Let a = 26 - 24. Suppose -5*w + 5*j = -17535, -a*w + 9386 - 2348 = 4*j. Suppose y = w - 572. Is y a composite number?
False
Let g be 47703/57 - 24/(-228). Suppose 3*w = v + 2*v + g, -v = 5. Is w a composite number?
True
Let z be (-7)/14*(-5 + 6 - -1). Suppose 9 = -4*t + 1. Is 864 + z*(-2)/t composite?
False
Let b = 5 - -44. Let m(j) = -j**3 - 11*j**2 - 24*j + 3. Let l be m(-3). Suppose l*h - 349 = -t, h + 280 = t - b. Is t a composite number?
True
Suppose 3*y + 11802 = 4*m + y, 2*m - 5881 = -3*y. Suppose 7*l - 11*l = -m. Is l a prime number?
False
Suppose -101*w - 5972086 = -99*w - 60*w. Is w a composite number?
False
Let g(p) be the second derivative of 77*p**3/6 - 8*p**2 + 6*p. Let r be (1 + 0)/(2 - (-68)/(-36)). Is g(r) prime?
True
Suppose 4*x = -125*l + 122*l + 469267, -469264 = -4*x - 4*l. Is x a prime number?
True
Let l = 9369 - -4475. Suppose -4*v + l = 4*f, -v - 3*v = -4*f - 13812. Is v a composite number?
False
Let f = 263042 + -121027. Is f composite?
True
Let l(h) = 7*h + 4. Let p be l(0). Suppose -p*o + 70084 = -2*x, -o = -3*x - 5275 - 12256. Is o a composite number?
False
Let b be (14390/25)/((-74)/(-185)). Let l be 161*2 + 0/(-1). Suppose -3*o + b = -l. Is o a prime number?
True
Let d(u) = u**3 + 4*u**2 + 4*u + 1. Let w be d(-2). Let p be (2/5 - w)/(2/(-2390)). Let k = p - 422. Is k a composite number?
True
Let m be 2/12 - (-4 - (-426)/(-36)). Suppose -3*a = -15, -s + 7*a = 2*a + 34. Let l = s + m. Is l a prime number?
True
Let n = 301935 + 62938. Is n a prime number?
True
Let f be (25 + -23)*(0 - -1). Suppose 5 = -5*h, -5*u + f*h = -0*u - 18567. Is u prime?
False
Let o(c) = 34709*c - 10358. Is o(29) a composite number?
True
Is 19/(57/(-51)) - -354010 a prime number?
False
Let v(f) = 851*f**3 - 146*f**2 + 568*f - 6. Is v(4) prime?
False
Let r(w) = w**2 - 3*w + 3. Let z be r(3). Let q be z/(54/248) + 22/99. Suppose 6*y = q*y - 6152. Is y a composite number?
False
Let v(z) = z**2 + 3*z + 1. Let p be v(-4). Suppose -q + 2*j - 18 = 0, 3*q + p*j - 17 = -93. Is 1242/66 + (-4)/q a composite number?
False
Let v = -15 + 15. Suppose -2*l - 1478 - 434 = v. Let g = 1435 + l. Is g a prime number?
True
Let d = 7164 - 127. Let g = -12970 + d. Let w = -4098 - g. Is w composite?
True
Suppose 8 = 4*t - 4*o, -3*t + 4*o + 1 = -2. Suppose -t - 10 = -3*g. Suppose g*w - 843 = 5162. Is w a prime number?
True
Is (-1 - 0)/((-6)/10 - (-113323724)/188873390) a composite number?
False
Let b be -1178 - (-20)/(1 - -3). Let s = b - -1862. Is s a prime number?
False
Let s(p) = -p + 3. Let j(o) = 140*o + 134. Let k(a) = j(a) - 8*s(a). Is k(21) composite?
True
Is 303045/15*-5*(-3)/15 a prime number?
False
Let l(n) be the second derivative of 11*n**4/4 + 8*n**3/3 + 57*n**2/2 - 6*n. Is l(-6) a composite number?
True
Let f be 4/2*(13 + -20). Let p(i) = i**3 + 35*i**2 + 11*i + 15. Is p(f) prime?
False
Let t(a) = 5*a**3 + 4 + 10 + 23*a**2 - 4*a**3 - 9*a. Let d(j)