se 2*h + 89 = -j. Let p = h - -171. Is p composite?
True
Suppose -d - d = c - 48, 120 = 5*d - 3*c. Suppose -5*p = -5 - 20, -3*t - 4*p + 131 = 0. Let a = t - d. Is a a composite number?
False
Suppose -2954 = 6*p - 26756. Is p a composite number?
False
Suppose 5*o = 115258 - 26028. Is o prime?
False
Let g = 19705 - 9986. Is g a prime number?
True
Let n(a) = 609*a - 251. Is n(21) prime?
False
Suppose -10 = 5*h, -3*k - h - h + 53669 = 0. Is k a composite number?
False
Suppose -12*j = -8*j - 12. Suppose -2*s + 7*s = -j*c - 20, 0 = -2*c - 5*s - 20. Suppose 3*b + 3*h - 264 = 0, c = b - 2*h - 2*h - 73. Is b a composite number?
True
Let q(f) = 26*f + 2. Let m(o) = 54*o - 5 + 12 + 24*o. Let k(u) = 3*m(u) - 8*q(u). Is k(6) composite?
True
Let w = 1935 + -2724. Let p = w - -2246. Is p a composite number?
True
Suppose -3*z = -4*a + 8, -4*z - 16 - 4 = -3*a. Let r = z - -35. Let x = 40 - r. Is x composite?
False
Suppose -2*t + 42407 = 3*l, 3*l = -4*t + 45233 + 39596. Is t a prime number?
True
Suppose 15 = 4*r + 3. Suppose -r*u + 674 = -u. Is u composite?
False
Let x(l) be the second derivative of l**5/20 - 2*l**4/3 + 3*l**2/2 + 8*l. Let f be x(8). Suppose -3*k = -15, -f*z = k - 77 - 417. Is z composite?
False
Let r(j) = 36*j - 394. Let l be r(11). Suppose 0 = -5*o - 2*h + 28, -2*o + 4*h = 2*o. Suppose -o*y + 186 = l*y. Is y a prime number?
True
Let t(j) = 6*j + 34. Let b be t(-5). Suppose -16007 = -5*f - 4*n, b*f - 2*n = f + 9613. Is f prime?
True
Is 111/(-185) - 1239144/(-15) a prime number?
True
Suppose 16305 + 8382 = 9*a. Is a composite?
True
Suppose 5*y + 1 - 16 = 0. Suppose y*i - 3*z + 1415 - 4343 = 0, -3925 = -4*i - 3*z. Is i prime?
False
Let i(u) = -2*u**3 + 14*u**2 - 9*u - 18. Let d be i(6). Suppose -3*c = -2*c. Suppose c = -x + 21 - d. Is x a prime number?
False
Let v(l) = -l**3 - 4*l**2 + 6*l + 9. Let f be v(-5). Suppose -5*y + 3 = -f*y. Suppose -y*u - 1242 = -3*z, -3*u + 1027 = 3*z - 185. Is z composite?
False
Let t(g) = g**3 - 7*g**2 + 9*g - 10. Let m be t(6). Let a(r) = 53*r - 17. Is a(m) a composite number?
True
Suppose 0 = -0*v + 8*v + 72. Let f = v - -52. Is f prime?
True
Let a(x) = x**3 + 13*x**2 + 20. Let u be a(-13). Is u/(-5) + 25*95 composite?
False
Let g(z) = 118*z**2 + 5*z + 25. Is g(8) prime?
False
Suppose -3*y + 1869 - 8001 = 0. Let i be y/(-12) - (-1)/(-3). Suppose 3*c - i = -2*c. Is c a prime number?
False
Let t = 1674 + -933. Let g = 1128 - t. Suppose -291 = -3*s + g. Is s prime?
False
Let v be (54/72)/((-2)/(-41784)). Suppose 7*c = -2*c + v. Is c prime?
True
Let w(g) = -70*g**3 - 6*g**2 - 6*g + 7. Is w(-5) a composite number?
True
Let k(t) = 2*t**2 + t - 2. Let b be k(-2). Suppose u = -b*u + 1795. Is u composite?
False
Suppose 153 = 4*z + 13. Suppose z = 3*a + 4*a. Suppose 0 = 5*i + 5*w - 505, -2*w = -4*i - a*w + 409. Is i composite?
True
Let w be (-45267)/9 + 6/9. Let d = w + 7218. Is d a composite number?
True
Let l(b) be the third derivative of b**5/10 - 5*b**4/12 - 11*b**3/6 - 5*b**2. Let s be l(9). Suppose -291 - s = -4*d. Is d composite?
True
Let r(o) = -o**3 - 11*o**2 + 11*o - 10. Let q be r(-12). Suppose 3*m + 6 = 0, 2*m - 282 = -q*b + m. Is (b/(-1))/(-1) + 3 a composite number?
True
Let b be 9 + -7 + 31/1. Let f = 35 - b. Suppose -2*l + f*o - 522 + 1490 = 0, -5*l - 2*o = -2385. Is l prime?
True
Let n(w) = -8*w**3 + 5*w**2 + 27*w - 23. Is n(-12) a prime number?
True
Let a be (12/5)/((-9)/(-120)). Suppose 0 = x - 131 - a. Is x a prime number?
True
Suppose 2*k - 33759 = -3*h - 0*h, 0 = 3*h - 5*k - 33780. Is h a composite number?
True
Is (-5)/30 - 51800/(-48) prime?
False
Let j(v) = -v**3 + 2*v**2 + 2*v. Suppose -a - 6 = 3*x + 2*a, 4*x + 53 = 5*a. Is j(x) prime?
False
Let b be (9/6*2)/((-2)/(-2)). Let x(z) = -4 - z - 6*z**3 - 2*z + 2*z**2 + 13*z**3. Is x(b) composite?
True
Let b be (3/2)/(1/58). Let t = b + -8. Is t prime?
True
Suppose 59 = 2*u - 3133. Suppose 0 = -3*v - 3, -2*l + 7*l - 14 = 4*v. Suppose l*t = 4*p - 2*t - u, -t = -5*p + 1979. Is p prime?
False
Suppose -7 = t - 2*t + p, 5*t - 3*p - 25 = 0. Suppose 0 = -t*d + 5*d - 60. Is (-4)/(-6)*11190/d composite?
False
Let h = -16 - -12. Let n(t) = -7*t**2 - t + 21. Let x(b) = -6*b**2 - b + 21. Let u(l) = h*x(l) + 3*n(l). Is u(-7) prime?
False
Let a = 20 + -20. Suppose a = -5*v + 789 + 221. Is v composite?
True
Is (1992 - -2)/(-28 - -30) composite?
False
Suppose -2*y = -f - 2100 + 254, 5*y - 20 = 0. Let k = f - -5271. Is k prime?
True
Suppose -3*t + 299 = 3*u + 2*u, -442 = -4*t + 2*u. Suppose m = t + 325. Suppose 2*a - b - 67 = m, 0 = 3*a - 5*b - 743. Is a a prime number?
True
Let i be -8*(25/(-2))/(-5). Let g = i - -25. Suppose -3*c - 5*j + 165 = -j, g*c + 5*j = 280. Is c prime?
True
Suppose 0 = 7*w - 43 - 55. Let d(b) = 19*b + 27. Is d(w) prime?
True
Suppose h = 3*f - 6*f - 1174, -5*f + 2*h - 1964 = 0. Let a be (f/16)/((-1)/(-12)). Let c = -203 - a. Is c prime?
False
Let t(b) = 42*b**2 - 35*b + 210. Is t(11) prime?
False
Let r = 553 + -294. Is r a prime number?
False
Let w(q) = -4*q + 13. Let j be (((-84)/(-16))/3)/((-2)/16). Is w(j) a composite number?
True
Let h(w) = 1236*w**3 + w**2 + 2*w + 16. Is h(3) composite?
False
Suppose 0 - 96 = 16*a. Let j(i) = -34*i - 38. Is j(a) composite?
True
Let c = 32 + -28. Is (-2)/((-40)/33452) - c/(-10) a prime number?
False
Suppose -4*v - 6 = -10*v. Is (-4)/v*(-185)/10 prime?
False
Suppose z - 2*n + 18 = 0, 0 = -2*z - 2*n - 11 - 31. Let q be 4/z + 312/10. Suppose q = -0*g + g. Is g prime?
True
Let w(l) = -32*l + 6. Let k(i) = i. Let q be (-3)/2*(-10)/(-15). Let f(v) = q*w(v) + 5*k(v). Is f(5) a prime number?
True
Is (-1133632)/(-56) - 3/7 a composite number?
True
Suppose 4*r - 23646 = -2*s, -3*s = -4*r - 27231 - 8228. Is s a composite number?
False
Suppose 5*s = 3*s + 284. Is s a prime number?
False
Suppose c - 2*k = 8, -4*c - 4*k = -3*k - 14. Suppose 0 = 5*f + c*f - 5157. Is f composite?
True
Let y(r) = 557*r**2 + 2*r - 2. Let s(j) = j**2 + 6*j + 2. Let l be s(-6). Let c be (4 + -5)*(-2)/l. Is y(c) composite?
False
Let h(p) be the first derivative of p**3/3 + p**2/2 + 10*p + 1. Let y be h(0). Suppose -y*g + 2555 = -5*g. Is g prime?
False
Let d(b) = 6*b - 4. Let a be d(2). Let h(k) = -k + 3. Let f be h(-3). Let i = a + f. Is i a prime number?
False
Let k = -2748 + 25721. Is k a prime number?
True
Let n(f) = f + 7. Let g be n(-5). Suppose -2*u + b = g*b - 3, -2*b - 6 = 0. Suppose 0 = 3*w - 2*w - 5*z - 136, 4*z - 389 = -u*w. Is w a prime number?
True
Suppose -17655 + 6297 = 3*o. Is ((-1)/(9/o))/((-4)/(-6)) a composite number?
False
Let i(k) = k + 11. Let a be i(-7). Let g(t) = -t**3 + 3*t**2 + 6*t - 3. Let c be g(a). Suppose -l + 57 = -c*w, -3*l + 5*w = -7*l + 228. Is l composite?
True
Let r be -9*(0 - 1/3). Let u(q) = 1 + 0 - r + 30*q. Is u(2) a prime number?
False
Suppose 0 = -p + 5*z + 1192, -5*p + 1155 = 4*z - 4776. Is p composite?
False
Suppose -3*b - q = -188454, -11*b + 10*b + 4*q = -62831. Is b prime?
True
Let i be (4 - 14)/((-1)/3). Suppose -28*a + i*a - 216 = 0. Suppose 2*p - a = -2*u, 3*u - 7*u - 2*p = -218. Is u a prime number?
False
Suppose 31739 = 3*h - 2*w, h - 5*w = -h + 21163. Is h prime?
False
Let i(n) = 1 + 3*n + 5*n**3 + 9 - 1 + 7*n**2 - 11*n. Is i(4) a prime number?
True
Let v(x) = 570*x**3 - 9*x + 19. Is v(2) prime?
True
Let i(d) = -2*d**2 - 4*d + 4. Let l be i(-4). Let c be 3*(-8)/l*1. Is ((-145)/c)/(4/(-8)) a composite number?
True
Let l = 1013 + 4019. Suppose 3*y - l = -355. Is y prime?
True
Suppose 0 = 38*z - 230091 - 25991. Is z a composite number?
True
Suppose -24*i + 2384 = -16*i. Is i composite?
True
Let c(q) = 37*q**2 + 5*q + 1. Suppose -o + 5*z - 17 = -3*o, o + 3*z - 9 = 0. Is c(o) composite?
True
Suppose -5*j = 3*n - 40729, 16298 = j + j - 2*n. Is j composite?
False
Let k = -2004 - -4439. Is k a prime number?
False
Suppose 0 = -4*y - 226 + 558. Let n = -157 + y. Let b = 195 + n. Is b a prime number?
False
Let n be 2/13 + 8981/13 + 3. Suppose -v - v = -n. Is v prime?
True
Suppose -4*t - 12 = -0*t, -9 = 2*c + 5*t. Let r(f) = 0*f**3 + 0*f**3 - f - 2*f**2 - 1 - f**c. Is r(-6) a prime number?
True
Suppose -n = -2*n - 2. Is n/(-3)*7239/38 composite?
False
Let d(z) = -24*z - 10. Let t(a) = -24*a - 11. Let p(j) = 4*d(j) - 3*t(j). Suppose 0 = 2*l + 3 + 13. Is p(l) a prime number?
False
Let q = 12765 - 8168.