 Let w(f) = 2*f**3 + f**2 + 10. Let u(v) = 5*q(v) - w(v). Is u(-6) prime?
True
Let p(d) be the first derivative of 129*d**2/2 + 2*d + 6. Is p(5) a composite number?
False
Let a be (-2)/(-8) - (-124355)/68. Suppose 4*d = -i + 5869, -a = -3*d - i + 2574. Suppose d = 4*r - 50. Is r prime?
True
Let x(b) = b**3 - 12*b**2 + 22*b - 16. Let t be x(10). Is (1215/10 + t)*2 a composite number?
False
Let f(k) = -2*k + 11. Let b be f(8). Let s = -2 - b. Suppose j + 12 = -s*j, 0 = 3*x - j - 189. Is x a composite number?
True
Let l be (-56)/(-24) + 2/3. Suppose 0 = -7*o + l*o + 16. Let p(j) = 7*j - 3. Is p(o) composite?
True
Let w(x) = 3*x**2 + x + 2939. Is w(0) prime?
True
Let f(o) = -3 + 4*o**2 - o**3 + o**2 - 2*o**2 + 3*o. Is f(2) composite?
False
Suppose -4*h + m - 3823 = -6*h, 7611 = 4*h - 5*m. Is h prime?
False
Let t = -55548 - -164999. Is t prime?
True
Suppose -26*y + 24*y = -22966. Is y composite?
False
Let b(k) be the third derivative of -103*k**4/24 + 61*k**3/6 - 52*k**2. Is b(-6) a composite number?
True
Is 4/((-96)/(-6)) + 148214/8 prime?
False
Let m(t) = 13*t**2 + 8*t - 6. Let z be m(3). Suppose -3*r + 4*c + 1196 + z = 0, -4 = -4*c. Is r composite?
True
Let h = 22453 + -12206. Is h composite?
False
Let s(j) = -j**2 - 9*j - 4. Let o be s(-8). Let d(i) = 23*i**2 + 4*i - 3. Is d(o) a prime number?
False
Let q(x) = 4*x**2 + 116*x - 23. Is q(-72) a prime number?
False
Suppose 6*z = 2*z + 12. Let y be (2 - 2 - -464)*171/36. Suppose -z*d = -7*d + y. Is d a composite number?
True
Suppose -18*s = -25*s + 11459. Is s prime?
True
Let w(l) = -88*l**3 + l**2 - 5*l - 5. Suppose 0 = 3*k + 5*v + 32, -v - 8 = v. Is w(k) a composite number?
True
Let f(l) = 3471*l - 22. Is f(3) a composite number?
False
Let c = 13 + 304. Is c composite?
False
Suppose 279*t = 284*t - 80215. Is t prime?
False
Suppose -v + 5*h = -12948, -38864 = 17*v - 20*v - 5*h. Is v a prime number?
True
Let f(w) = -5*w - 1. Let h be f(-1). Suppose -47 = -2*u + 83. Suppose -i + u = h*i. Is i prime?
True
Let z(d) be the second derivative of d**5/20 + d**4/2 + 5*d**3/6 - 5*d**2/2 + 3*d. Let k be z(-4). Suppose -4*l = -k*l + 2901. Is l a prime number?
True
Let q(p) = 143*p**3 + p**2 - 7*p - 6. Let w(f) = 284*f**3 + 2*f**2 - 14*f - 13. Let i(d) = -5*q(d) + 2*w(d). Is i(-3) composite?
False
Let g = 27620 + -18901. Is g composite?
False
Let l = 196 - -991. Is l prime?
True
Suppose 2*k + 4302 - 11344 = 0. Suppose -5*s = -k - 6404. Is s composite?
True
Let q = -1132 + 2649. Is q a composite number?
True
Let o be 4/(-8) + (-42)/4. Let u be (-1)/(2 + o/5). Suppose u*v = -4*f + 483, 5*v - 5*f + 130 - 595 = 0. Is v prime?
False
Suppose -s - s + 98 = 0. Suppose 4*w = -4*u + 268, -u - 2*w = -s - 21. Let d = u + -21. Is d a prime number?
True
Is (11 - 5) + 4 + 37387 composite?
False
Suppose 0 = 3*w + x - 20098, 19452 + 676 = 3*w - 5*x. Is w a composite number?
False
Let g(n) = 19*n**2 + 55*n + 373. Is g(46) composite?
True
Let c(a) = 288*a**2 - 6*a - 23. Is c(-3) composite?
True
Suppose 0 = -37*d + 35*d + 1042. Is d prime?
True
Is -1*((-4)/5 - 485877/35) a prime number?
True
Suppose 5*j - j - 52 = -4*n, -4*j - 3*n + 47 = 0. Is (-7305)/(-10)*j/12 composite?
False
Let q = -2235 + 1568. Let p = q + 464. Is (2 - 3/1)*p a composite number?
True
Let m(o) = -283*o + 10. Suppose 0 = -3*f + 2*f + 1. Let y(a) = -a - 1. Let g(h) = f*m(h) + 3*y(h). Is g(-3) a composite number?
True
Suppose 5*i = -25, -2*x - 5*i = 2*x - 185331. Is x composite?
True
Let b be -4 - (0 + (-1 - 3)). Let k = -218 - -948. Suppose 2*c - 4*c + k = b. Is c composite?
True
Suppose 4*n - 60 = -0*n. Let c = -41 + 41. Suppose 4*s + a + c*a = 207, 0 = -3*a - n. Is s prime?
True
Let h(c) = c + 6. Let m be h(6). Is (79/2)/(6/m) prime?
True
Suppose 0 = -b + 4*h + 1298 + 4159, 5*h = -25. Is b prime?
True
Let l be ((-39)/26)/((-3)/122). Suppose -4*c + 80 = 5*n, 3*c = -4*n - 0*n + l. Let s(p) = -p**2 + 17*p + 21. Is s(c) a composite number?
True
Let y = 15 - 15. Suppose 0 = 6*c - y*c - 5766. Is c prime?
False
Let x = 68 + -66. Suppose -x*k = -f - 6775, -2*k - 2*k = -3*f - 13547. Is k composite?
False
Let d(o) = -25*o - 5. Let c(j) = -j - 1. Let q(f) = 4*c(f) - d(f). Is q(6) a prime number?
True
Let d be (60/(-8))/((-1)/((-1272)/(-9))). Is d - (1/1 + -2) a prime number?
True
Suppose 4*x = -5*o - 8335, -2*o + 3*x = -6*o - 6667. Let q = 2364 + o. Is q a composite number?
False
Let c(u) = -u**3 - 29*u - 15 + 10*u**2 + 34*u + 10*u**2. Let d be c(21). Let j = -128 - d. Is j a composite number?
False
Let v(j) be the second derivative of -9*j**5/20 + 5*j**3/3 + 5*j**2/2 + 31*j. Is v(-4) prime?
True
Let o(j) = j**2 - 3*j - 8. Suppose 2*p - 3 - 7 = 0. Let v be o(p). Suppose -4*i - 3*f = -287, -f = -v*i - 2*f + 143. Is i a composite number?
False
Let i(a) be the first derivative of a**4/4 + 10*a**3/3 - 5*a**2 + 5*a + 9. Let o be i(-10). Let z = -62 + o. Is z a composite number?
False
Let p = 3239 + -1034. Let t = -1252 + p. Is t a prime number?
True
Let i(c) = -5*c + c**3 + 19 - c**2 - 4*c + 10*c. Let y be 1 - (0 - 3)/(-3). Is i(y) composite?
False
Is 15497/(0 + (3 - -2) + -4) a prime number?
True
Suppose 13*m + 80 = 18*m. Suppose -4*a - 2*z + 7 = -9, 0 = -4*z + m. Suppose -a*t - 3868 = -6*t. Is t a prime number?
True
Let a be 2/((-8)/52)*381. Let n be (-2)/4 + a/(-26). Let y = n + -101. Is y prime?
True
Suppose -94*p + 101*p - 3409 = 0. Is p a composite number?
False
Let s be (-7 - -6)*(144/(-2) - 0). Suppose -1266 = -s*m + 70*m. Is m prime?
False
Suppose 0 = -4*v + 6*v - 18. Suppose -5*x + v*x + 8 = 0. Is x + 1 + 21 + -1 composite?
False
Let i be (-99)/(-4) + 6/24. Suppose 0 = -3*z - 6, 3*l - z - i = z. Is l composite?
False
Let v(s) = 253*s + 9. Let l(f) = -380*f - 14. Suppose -3*k = -q + 7, -4*q + 5*k + 18 = -10. Let b(r) = q*v(r) + 5*l(r). Is b(-2) prime?
True
Let h = 3 - -1. Suppose 3*p + 3*v + 1 = -23, 3*v - 11 = h*p. Let i(k) = -11*k - 2. Is i(p) a prime number?
True
Suppose -690 = -l + 569. Let j = l - 705. Is j composite?
True
Let y be ((-70)/(-8) + (-10)/40)*14. Suppose -x = 5*a - y, 0*x + 4*x - 401 = -5*a. Is x prime?
False
Let m(h) = 29*h - 1. Let i be m(8). Suppose -5*l + 2*l = -i. Is l composite?
True
Let v(w) = w - 7. Let f be v(9). Suppose 0 = -3*g + 2*b + 749, g = -f*b + 309 - 54. Is g a composite number?
False
Let y(s) = -2*s**3 + 84*s**2 - 58*s - 65. Is y(41) composite?
False
Let i(a) = 7*a + 1. Let n be i(-1). Let w(j) = j**2 + 5*j - 3. Let r be w(n). Suppose 0*f + r*f - 5*c - 360 = 0, 4*c + 587 = 5*f. Is f a prime number?
False
Suppose -3*d = -12, -4*d + 20 = 5*j - j. Is 11*j*(12 - -7) prime?
False
Let h = -318 - -1315. Is h prime?
True
Is 16869/9*(-10 - -13) composite?
False
Let c be (-8)/(-3)*(-117)/52. Let v(p) = 8*p**2 + 7*p + 5. Is v(c) a composite number?
False
Let x(n) = -73*n**3 - n**2 + n + 5. Let f be x(-3). Let g = f - 1258. Is g composite?
True
Let d(m) = 7*m - 31. Let c be d(13). Suppose -3*h + 18 = -c. Is h a prime number?
False
Let a(l) = -120*l - 49. Is a(-13) prime?
True
Let f be 342/18 + 2*-2. Let n = 17 - f. Suppose 194 = -n*r + 4*r. Is r composite?
False
Let k be (-24)/(-30) + 4/(-5). Suppose 0 = 4*a + a. Suppose 2*o - 814 = -k*x + x, -3*x + 12 = a. Is o composite?
False
Is (1 + 1)*19*(-307)/(-2) composite?
True
Let a(s) = s**2 - 10*s + 14. Let o be a(8). Is (-501)/((-1)/(2 + o/2)) composite?
True
Let h be (2 + -3)/(1/(-4)). Suppose 0 = -5*o + 9 - h. Suppose 1 = r - o, 42 = 4*m + r. Is m a prime number?
False
Let s(h) = 185*h**2 - 2*h. Let q be 39/(-9) - (-4)/12. Let y be (-1)/(-2 + (-12)/q). Is s(y) a prime number?
False
Let x = 1 + 5. Let g be ((-18)/(-15))/(x/20). Suppose 1 = 2*k - 1, g*h - 329 = 3*k. Is h a composite number?
False
Let n(p) = 53*p - 1. Let u be n(-1). Let h be 6/72*4*-795. Let y = u - h. Is y composite?
False
Let a = -34 + 37. Suppose -981 = a*o - 12*o. Is o a prime number?
True
Suppose -10*x + 6*x + 49792 = 4*i, i + 4*x = 12439. Is i a composite number?
False
Let r = -1 - -1. Let j be 0/10 - (0 - r). Suppose j = 4*n + 49 - 149. Is n composite?
True
Suppose -2*q + 5*r - 2405 + 12664 = 0, 2*q - 10260 = 4*r. Is (q/(1 - -3))/1 prime?
True
Suppose 54470 = m - 5*q + 16589, 0 = -3*m + 2*q + 113617. Is m prime?
True
Is (-1 + 10133/3)/((-6)/(-9)) prime?
False
Let d(o) = -o**2 - 4*o - 4. Let q be d(-2). Suppose q = 2