 - 2*o, o = 2*h - 887. Is h a composite number?
True
Suppose f - 33841 = -2*o, -3*f - 19110 = 2*o - 52957. Suppose 5*h - 42306 = w, h - 3*h - 3*w + o = 0. Is h a prime number?
True
Suppose -11*o + 541182 - 136448 = 0. Is o a prime number?
False
Let l = -716 + 727. Is 1/l - (-3864000)/275 a prime number?
True
Let u be ((-1)/1)/((-1)/(-422)). Suppose -2*d - 2*s = -72, -7*d + 0*s - s + 276 = 0. Is u/((d/(-15))/4) a prime number?
False
Let c = 43723 - 2712. Is c composite?
False
Let m be 4 - 7/((-14)/(-6)). Let b be 2565 + 3 + m + -4. Suppose 0 = 2*z + 511 - b. Is z composite?
True
Let w(c) = -9*c**3 - 2*c**2 + c + 1. Let x be w(-1). Let t(p) be the second derivative of p**5/4 - p**4/4 + 4*p**3/3 + 13*p**2/2 - 5*p. Is t(x) a prime number?
True
Let y = 584727 + 328694. Is y prime?
True
Let r = -4781 + 11315. Suppose 2*c = 6*n - 2*n + r, c + 2*n = 3275. Is c composite?
False
Let v(i) = -26654*i - 329. Is v(-9) a composite number?
False
Let v(j) = -2714*j + 269. Is v(-27) a composite number?
False
Suppose -4*y - 5*z + 980254 = 0, 7*y - 124262 = -5*z + 1591205. Is y a composite number?
False
Suppose 3*o + 19128 = -2*u + 67759, -5*o + 4*u + 81015 = 0. Suppose 169246 = 17*r - o. Is r prime?
True
Let x be 1*(-4 - (-1835 + 0)). Suppose -q + 3*z = 901, 26 = 2*q - 5*z + x. Let h = 1283 + q. Is h prime?
True
Suppose -12 = -7*w + 5*w. Let t be 6/(-2) - (26 - (w + -3)). Let d = 420 - t. Is d a prime number?
False
Suppose 5*k + 6*x - 2*x - 353634 = 0, 0 = k + 2*x - 70728. Is k prime?
False
Let r be (-17 + 23)/(6/(-621)). Let m = 1868 + r. Is m composite?
True
Suppose -3 - 29 = -g. Let m = 20 - g. Let t(s) = -4*s**3 - 15*s**2 + 13*s + 17. Is t(m) a composite number?
True
Suppose -154*x + 79*x + 58*x + 681173 = 0. Is x composite?
True
Let c(r) = r**3 + 15*r**2 + 20*r - 5. Let s be c(-14). Let h = s - -500. Let q = h + -82. Is q a prime number?
False
Suppose 0 = 2*j - 82 - 22. Let g = -47 + j. Suppose -g*o - 5*p + 6270 = 0, 0*p + 3787 = 3*o - 2*p. Is o composite?
False
Suppose 10 = 7*x + 10. Suppose 12*v - 21*v - 468 = x. Is (0 + 3 - v)*(1 - 0) prime?
False
Suppose -9559 - 8936 = -5*w. Let n = 7013 - w. Is n prime?
False
Let b = -3200 - -371407. Suppose -b = -9*y - 14*y. Is y composite?
True
Suppose -33852 = -4*t + 4*x, -4*t + 17885 + 15981 = 3*x. Is t prime?
False
Suppose 59*h = 40*h + 244891. Is h prime?
True
Let p(m) be the first derivative of 8*m**3 + 1 - 9*m + 1/2*m**2. Is p(4) a composite number?
False
Let u(k) = -480*k**2 + 11*k + 11. Let d(o) = 1. Let x(z) = -2*d(z) - u(z). Is x(-4) a prime number?
False
Suppose -109 = -3*p - b, -p = -4*p + 4*b + 104. Suppose -p*f + 282129 = -425523. Is f composite?
True
Let q(c) = 162*c**2 - 15*c - 14. Let h(b) = 5*b - 4. Let o be h(-1). Let p be o/15 + 66/(-15). Is q(p) a prime number?
True
Let k(v) = v**3 - 7*v**2 + v. Let u be k(-10). Let g be (2162/(-4))/(2/(-4) + 1). Let w = g - u. Is w composite?
True
Suppose -57*p + 25056 = -63*p. Let c = -1678 - p. Is c a prime number?
False
Is (87491/(-9) + 2)/((-62)/558) a prime number?
True
Let m be 5/((-15)/6)*-1. Suppose -2*q + 1185 = -3*o, -3*q + m*q + 4*o + 580 = 0. Suppose -n - 2*n - 2*f + 603 = 0, -3*n - f = -q. Is n prime?
True
Let k(q) = -q**2 + 26*q - 20. Suppose 0 = -53*v + 49*v + 100. Let y be k(v). Let s(l) = 242*l - 5. Is s(y) a prime number?
False
Suppose 0 = 2*u - 4*j - 247354, 15*j = 13*j + 14. Is u a prime number?
False
Let b = -65 - -65. Suppose b = x - 4035 + 426. Suppose -5*m + x = 2*a, 3*a + 5*m = 3266 + 2140. Is a a prime number?
False
Suppose 0 = -19*c - 6*c + 2275. Is (-26)/c + 282285/35 a composite number?
True
Let p(r) = -3386*r + 67. Let t be p(-17). Suppose 13*k - 5564 = t. Is k composite?
False
Let g be (5/(40/(-212)))/((-1)/634). Let t = g + -9294. Is t prime?
True
Suppose -1 - 3 = b - r, -5*r = -3*b - 10. Is b - ((-45960)/4)/5 prime?
True
Let q(j) = 122*j - 9. Suppose -2*z - 3*n - 28 = -6*z, z + 5*n = -16. Suppose 5*f = 2*r + 3*r + 40, 62 = z*f + 2*r. Is q(f) composite?
True
Suppose 17*b = 18*b - 3*f - 321073, 0 = 3*b + 7*f - 963219. Is b a composite number?
False
Let m(k) = -3*k - 3 + k - 2*k + 3*k. Let j be m(-3). Suppose -t - 7795 = -5*l - j*t, 5*l + 4*t - 7795 = 0. Is l a prime number?
True
Suppose 20 = -5*q, 0 = 17*w - 18*w + 2*q + 12. Let c(x) = 523*x**2 - 7*x + 27. Is c(w) composite?
True
Suppose -6717 = u - 5*u + 16519. Is u a composite number?
True
Let w be 2 + 0 - -20 - 5. Suppose 0 = -19*f + w*f + 894. Is f prime?
False
Let l be 18*(-1 + 3)/6. Let y be (2 + -2)/(((-12)/3)/2). Suppose -l*q + 2049 + 6837 = y. Is q a composite number?
False
Suppose -3*h = h - 20. Suppose 2*y + 2853 = h*g - 3114, 3*g - 3582 = 3*y. Is g a prime number?
True
Let m(w) = 4*w**3 + 13*w**2 - 33*w + 13. Let r(j) = 3*j**3 + 14*j**2 - 34*j + 12. Let f(n) = -2*m(n) + 3*r(n). Let i be f(-18). Is -1087*2/(i/(-5)) composite?
False
Let w(z) = -z**3 - 5*z**2 + 8*z + 26. Let s be w(-6). Let y be (-4)/s + 614978/98. Suppose 5*c - y = -3*g - 2*g, -g = -5*c + 6275. Is c prime?
False
Suppose -2*x + 3*v + 454 = -844, 0 = -5*x - 5*v + 3270. Suppose -3*z = 4*m - 4937, -z = -3*m - 972 - x. Is z composite?
True
Let d = -179 + 185. Let j(i) be the first derivative of 3*i**3 - 7*i**2/2 - 5*i - 1. Is j(d) a prime number?
True
Let z(g) = 1925*g + 9284. Is z(67) a prime number?
False
Let r be (-18)/24*(-49 + -3). Is (-20129)/(-2) - r/26 composite?
True
Suppose -9083 - 5012 = -v. Is v prime?
False
Suppose 18*a - 19*a = -18. Suppose -a*u + 12*u = -67110. Is u a composite number?
True
Let o(r) = 1562*r**2 - 2*r + 1. Let v = -111 - -112. Is o(v) a prime number?
False
Suppose -7 = 5*f - 3*h, 3*f + 5 = -5*h + 28. Let x(n) = n**2 + 7*n + 5. Let o be x(-6). Is f*(-782)/(-2) + (o - -3) prime?
False
Suppose -5*b + 91*h = 89*h - 1707597, -b + 341525 = h. Is b a prime number?
True
Let v(f) = -f**2 - 17*f + 36. Let r = -43 + 25. Let a be v(r). Suppose 22*j = a*j + 572. Is j a prime number?
False
Let t(w) = 9706*w**3 + 7*w**2 - 47*w + 51. Is t(5) a prime number?
True
Let c = -9973 - -15775. Suppose 0 = 2*t + 1646 - c. Is t composite?
True
Suppose -3*b - 4*z + 4 = 0, z - 1 = -4*b - 0*z. Suppose 296*o - 295*o - 23367 = b. Is o a prime number?
False
Suppose 4*u - 4*y = 430136, -5*u + 53*y = 57*y - 537661. Is u composite?
True
Suppose -316374 = 19*y - 1065411. Suppose -32*k = -y - 34913. Is k a composite number?
True
Suppose -c + 6*l - 7*l + 23 = 0, c - 33 = -3*l. Is (c - 19)/((-2)/12698) prime?
False
Is 3 - ((-1390)/(-30)*-2)/(5/56220) composite?
True
Is (436310/100 + 5*6/75)*2 composite?
True
Suppose 2 = -4*u + 30. Let j be 7 + -1 - (u - 1)/3. Suppose -p + 475 = -2*t, 0 = j*p + 4*t - 1701 - 223. Is p a prime number?
True
Suppose 0 = 2*d - 4*t - 255886, 2*t - 383781 = -58*d + 55*d. Is d a composite number?
False
Suppose 0 = -n + 2*r + 36, -3*n + 2*r + 108 = -0*r. Suppose n*y - 45381 = 29*y. Is y a composite number?
True
Let s(f) = -4*f**2 - 59. Let y(q) be the first derivative of 11*q**3/3 + 177*q + 12. Let o(i) = 8*s(i) + 3*y(i). Is o(0) composite?
False
Let w = -74 - -50. Let g be (18/(-72))/(2/w). Suppose 6 = 2*c, -4*m + g*c - 518 = -3049. Is m prime?
False
Let l(u) = -2*u**2 + 9*u - 4. Let c be l(4). Suppose 5*q + 2*n = 7*n + 25745, c = 5*n + 10. Is q prime?
True
Let n(a) = a**3 - 5*a**2 - 46*a - 10. Let c be n(10). Suppose c*u = -3*u + 41481. Is u a composite number?
True
Let z(q) = -q + 13. Let b(k) = 3*k - 38. Let a(p) = 2*b(p) + 7*z(p). Let r be a(11). Suppose 1449 = r*h - 443. Is h prime?
False
Let l(s) = -s**2 + 2*s + 22. Let w be l(0). Suppose -20 = -6*f + w. Suppose 6245 = -2*n + f*n. Is n prime?
True
Suppose 92*s - 32*s + 66*s - 59023818 = 0. Is s prime?
False
Let u(q) = 385 + 3016*q + 2601*q - 343. Is u(7) composite?
True
Is ((-1956214)/39)/(30/(-45)) a composite number?
False
Suppose 3687 = 3*z + 4*s - 3*s, 0 = -2*s + 6. Suppose 59*o - z = 55*o. Is o a composite number?
False
Let f(s) = 7*s + 29. Let h be f(-4). Is h/(1 - 0)*1913 composite?
False
Let t(d) = -6*d**3 - d**2 - d - 16. Let y be t(-3). Let n = 543 - y. Suppose 3*j - 788 = n. Is j prime?
True
Let t = 12400 - -4908. Suppose 0 = 5*h - 9*h + t. Is h a prime number?
True
Let x(v) = 25153*v + 88. Is x(1) a prime number?
False
Suppose -11*f + 118816 = w - 12*f, -w + 118804 = -5*f. Is w a prime number?
True
Let t(r) = 3*r + 206. 