. Is m(n) composite?
True
Suppose 32*k - 8*k - 24168 = 0. Is k composite?
True
Let r = -32799 + 48758. Is r a prime number?
True
Let s = -18 - -21. Suppose 2*n + 32 = -s*p - 3*n, p - n = -8. Is (633/(-9))/(3/p) a prime number?
True
Suppose -48 + 45 = -f. Suppose 8*v = -f*o + 3*v + 94, -5*o + v = -110. Is o prime?
True
Suppose -5*c + 128291 = 2*i, -513039 = -8*i + 4*c + c. Is i a composite number?
True
Let j be 3 - 3/(-6)*2. Let t = j - 4. Suppose 5*p + s - 1291 = 0, t = p - 4*s - 424 + 149. Is p prime?
False
Suppose 25 = 4*o + 5. Suppose g - 385 = 2*b - o, -b - g = 184. Let p = b + 427. Is p prime?
True
Suppose -5*w - 3 = -2*w. Let v be (-10)/(-35)*(w - -8). Suppose -4*d - 2*r = -156, -v*d + 43 = -r - 27. Is d prime?
True
Suppose -1 + 5 = 2*w. Let o be (1895/20)/(w/8). Suppose 9 = 4*l - o. Is l prime?
True
Suppose 4*m + m = 2*h + 1390, -5*h = 25. Suppose -862 = -2*g - m. Is g composite?
False
Let w(o) = -o - 3. Let q be w(-3). Suppose q = -7*x - 32 + 95. Is x/((-9)/(-320)) + -3 composite?
False
Suppose d = -d - 4*q + 20, 0 = -5*q + 20. Suppose 2*c + d*r - 797 = -c, -c = 5*r - 283. Is c a composite number?
False
Suppose 4*w = 0, 0 = u + 4*u - 3*w - 725. Is u a composite number?
True
Suppose 14*r - 11*r = -12. Let t be (r + (-1 - -17))/(-1). Is 3/(9/t) - -893 prime?
False
Let n(p) be the third derivative of -p**5/60 - p**4/12 - p**3/6 - 2*p**2. Let s be n(-1). Is s + 3 + (-330)/(-3) prime?
True
Suppose 0 = 7*x - 14723 - 32499. Is x composite?
True
Let g = -97 + 85. Is (g/(-9) - 1)/((-5)/(-14295)) a composite number?
False
Suppose 0 = -9*d - 18*d + 130923. Is d prime?
False
Let q = 72351 + -49582. Is q a composite number?
False
Let d(y) = -3*y - 5*y - y**2 - y + 10. Let j be d(-9). Suppose 14*m - j*m = 88. Is m a composite number?
True
Suppose -6*q + q = 25. Let k(y) = 28*y**2 - y - 11. Let v be k(q). Suppose 196 = 5*z - v. Is z composite?
True
Let w = -44 - -38. Is (-2 - 1)/9 + (-10328)/w composite?
False
Suppose -3*x - 150365 = -4*n, 3*n = x + 61406 + 51364. Is n a composite number?
False
Let i = 222 + 173. Let w be (238 + -3 + 2)/(-11 - -12). Let c = i - w. Is c composite?
True
Let p = -9605 + 16086. Is p prime?
True
Let r = -30 - 7. Let f = r - -164. Is f a composite number?
False
Let w be -1*(-4)/((-4)/(-5)). Suppose 3*z = -w*j + 8702, -j + 3*z + 0*z + 1744 = 0. Let q = j + -864. Is q composite?
False
Let r(a) = -a**3 - 11*a**2 + 15*a + 27. Let q be r(-12). Let i(z) = -z**3 + 3*z**2 + 17*z - 22. Is i(q) a prime number?
True
Suppose -6*r + 7 = 19. Is r/(-11) + (-7498)/(-22) a composite number?
True
Let i = -9 - 0. Let s(w) be the third derivative of -w**4/12 - 5*w**3/6 + 8*w**2. Is s(i) a prime number?
True
Let v = 5873 + 308. Is v composite?
True
Let i(u) = 15498*u**3 - 6*u - 6. Let q(m) = m + 1. Let v(c) = i(c) + 6*q(c). Let w be v(-1). Is w/(-30) - (-4)/10 prime?
False
Let g = 493 + -484. Let f(d) = -5*d**3 - 13*d**2 - 5*d + 4. Let i(a) = -9*a**3 - 25*a**2 - 11*a + 8. Let k(h) = -11*f(h) + 6*i(h). Is k(g) a composite number?
False
Let q(o) = 13*o**2 - 6. Is q(-2) a prime number?
False
Let v be 3356/(-10)*(-6 - -1). Let p = v - -960. Is p prime?
False
Suppose 0 = -5*z + 5*c - 45, 3*z + 38 - 9 = 5*c. Let m(o) = -2*o**3 + 10*o**2 + 11*o + 9. Is m(z) a prime number?
False
Let u(x) = -x**2 - 3*x + 1. Let d be u(-2). Suppose -4*v - d*n = -v - 9, 4 = 2*v + 4*n. Suppose v*c = 12, 0 = -0*s + 5*s - 2*c - 739. Is s composite?
False
Let h(g) = -27*g - 2. Let i be h(8). Suppose 381 = 92*f - 95*f. Let a = f - i. Is a prime?
False
Is 57820/20 - 2/3*6 a composite number?
False
Is 300/(-30) + (-31054)/(-2) composite?
True
Let w(g) = 27*g**3 - 4*g**2 + 12*g - 1. Is w(2) a composite number?
False
Let i(q) = 60*q + 45. Let c be i(19). Suppose -f = -4*f + c. Is f composite?
True
Let k(w) = w**3 - 7*w**2 - 4*w + 1. Let i be k(8). Let j = i - 25. Suppose j*x = 3*x + 105. Is x composite?
True
Is 2 - (-879 + -3 + 4 + 3) a composite number?
False
Let g be (-12545)/(-7) + 2/(-14). Suppose 2*j + g = 4*j. Suppose 5*f - j = 539. Is f prime?
False
Suppose -11619 = 26*m - 29*m. Is m composite?
True
Let w(s) = s**2 + 14*s - 18. Let n be w(-15). Let m(h) = -h**2 - 4*h - 2. Let t be m(n). Is (t + -3)/(-2) + 58 a prime number?
True
Let z(j) = -9*j - 12. Let f be z(-8). Let n be f/5 + 4*-1. Suppose -o - 2*w + n + 369 = 0, 0 = -3*o - 3*w + 1137. Is o a composite number?
True
Is -4 + 13087 + (-5 - -1) + 6 composite?
True
Suppose 106054 = 4*i - 2*m, 8*m = 5*i + 4*m - 132569. Is i composite?
False
Is (-390500)/(-75) + (-1)/(-3) composite?
True
Let k(x) = 7*x**2 + 23*x + 6. Let h(t) = -4*t**2 - 11*t - 3. Let l(n) = -13*h(n) - 6*k(n). Let w be l(-8). Suppose -4*b + w = -b. Is b a composite number?
True
Let z = 12672 + -6893. Is z composite?
False
Let j = -147 + 382. Suppose -4*h + j = h. Let k = h - -6. Is k composite?
False
Suppose -9 - 2 = -5*v - 3*j, 5*j - 11 = -v. Suppose 4*x = -a - 1485, 0 = -a - v + 4. Is x/(-16) - 2/8 prime?
True
Suppose -18*t - 501004 = -46*t. Is t prime?
False
Let r be ((-3)/6*3022)/(-1). Let d = r - -336. Is d a prime number?
True
Suppose -99*x + 50514 = -93*x. Is x prime?
True
Suppose 0 = 3*d - 5*m - 0*m + 4, 0 = 4*m - 8. Suppose -4*q = -0*q + 3*r - 1586, d*r = 3*q - 1198. Is q a prime number?
False
Suppose 181472 = 103*n - 71*n. Is n composite?
True
Suppose 8*g = -11*g + 654227. Is g composite?
True
Suppose 0 = -o - 6*g + g + 3019, -4*g - 2983 = -o. Is o prime?
True
Suppose 4*k = 2*q - 44922, -168*q - 4*k = -172*q + 89836. Is q a composite number?
True
Let y(w) = 23*w + 228. Is y(-5) a composite number?
False
Suppose 4*u - 11746 = -10*u. Is u a composite number?
False
Suppose -2*c + 4*u + 105956 = -135066, 5*c = 3*u + 602527. Is c composite?
False
Let g(n) = -n**3 + 6*n**2 + 4*n - 9. Let y be g(5). Suppose -4*o - 2*z + 4*z = -82, 0 = -2*z + 2. Let s = y - o. Is s composite?
True
Let n be 1 - (3 - 4/4). Let k be (0/2 - -3) + n. Suppose -422 = -7*q + k*q + 3*j, 4*j = 4*q - 344. Is q a composite number?
True
Let o(p) be the first derivative of -p**4/4 + 2*p**3 + 7*p**2/2 + 3*p - 4. Let r be o(7). Suppose 0 = r*j + j - 196. Is j a composite number?
True
Let q = -56 + 50. Is 16854/15 - q/(-10) a prime number?
True
Let y = -423 - -422. Let f(g) be the second derivative of -131*g**5/20 - g**4/12 + g**2/2 - g. Is f(y) a composite number?
False
Suppose 3*b + 4*v - 22 = 0, -2*v = b + 3*v - 22. Let o = -2 + 4. Suppose b*x + 308 = 2*m, 6*x = o*x + 16. Is m composite?
True
Suppose 7*r - 2*r + 5*k = 0, -2*r = -5*k. Suppose r = -4*p + p + 267. Is p a prime number?
True
Suppose 11*b - 15 = 6*b. Is (-7)/21 - (-346)/b prime?
False
Let k = -28520 - -52435. Is k a prime number?
False
Let o(w) = w**3 + 3*w**2 - 10*w - 24. Let b be o(-3). Suppose 3*d = b, 3*d + 994 + 399 = r. Is r a composite number?
False
Let o = 6495 - -8636. Is o a composite number?
False
Let w(u) be the third derivative of u**5/6 + u**4/12 - 7*u**3/6 - 32*u**2. Is w(3) a composite number?
False
Suppose 4*b - 3079 = -4*u + 3*b, -3*u + 2308 = b. Is (-1 - u/(-3)) + 3 a composite number?
True
Is (-1)/(3 - 5/((-15380)/(-9232))) a composite number?
False
Suppose -5*m - 13190 = -2*n, 3*n - 4*n = 3*m - 6595. Is n composite?
True
Suppose 2*x + 5*x - 14 = 0. Suppose -4*v - 2*t - x*t = -16676, 5*v - 20845 = -t. Is v a prime number?
False
Suppose 5*a + 3*i = 8*a - 21963, -5*a - 5*i + 36625 = 0. Let h = -2386 + a. Is h composite?
False
Let z = -25 + 30. Suppose 265 = z*m - a - 669, -4*m + 751 = 3*a. Is m a composite number?
True
Suppose 0 = -4*k + 8*k - 19296. Suppose -2*z = -8, x - k = 4*z - 1383. Is x a prime number?
True
Suppose -8*f + 240 = -4880. Let x be f - 3/(-4 + 1). Is 22/(-99) - x/(-9) composite?
False
Is (969013/46)/(1/2*1) prime?
True
Suppose -4*i = 2047 - 13655. Is i a prime number?
False
Let x(g) = g + 7. Let l be (-10)/(-35) - (-102)/(-14). Let u be x(l). Suppose -r = -3*h + 631, u*h + 850 = 4*h + 3*r. Is h a composite number?
False
Is ((-42)/28)/(-1*(-4)/(-11576)) prime?
False
Let x(j) be the third derivative of 13/6*j**3 + 5/12*j**4 + 0 - 2*j**2 + 0*j. Is x(12) composite?
True
Let a be 602*1/((-8)/(-36)). Is 4 + 1/(3/a) a prime number?
True
Let z be ((-1062)/15)/(8/40). Let c = 1433 + z. Is c prime?
False
Let d = 18 + -12. Suppose 4*r = d*r - 6. Suppose -2*y + 251 = s, y - r*s - 130 = -2*s. Is 