 number?
False
Suppose -2*z + 36 = 7*z. Suppose 4*s + s = 2*a + 5401, -4*s + 4328 = -z*a. Is s a prime number?
False
Let g = 1533 + -134. Suppose s - f - 4 = 0, -5*s - 6 + 22 = -f. Suppose -2*w + g = -y - 2*y, -w - s*y + 722 = 0. Is w a composite number?
True
Suppose -225 - 25 = 25*o. Let r(b) = -987*b - 5. Is r(o) prime?
False
Let p = -22 - -26. Suppose p*w = 1022 + 2250. Suppose -3*j = -j - w. Is j a prime number?
True
Suppose -24*d + 123061 = 13645. Is d prime?
False
Let f be (21/6 + -4)*36/(-3). Suppose -m + 1792 = 5*h, 2*h + 12 = f*h. Suppose 0 = -5*z + 2*b + m, -6*b - 4 = -2*b. Is z composite?
True
Suppose -11*l - 100 = -210. Is (l/(-1) - -2187) + 8/(-2) a composite number?
True
Let q(c) = 58*c**2 + c + 10. Let o be (3 - -2)*(3 + -3 - -2). Suppose g + g = o. Is q(g) composite?
True
Let c(q) = -8*q**2 - 6*q - 9. Let i(y) = 7*y**2 + 5*y + 8. Let s(h) = -6*c(h) - 7*i(h). Let a be s(0). Is (-31509)/(-15) + a/(-5) composite?
True
Let c = 34 + -47. Let w be (1867 - 0)/(13/c). Let l = w - -2928. Is l a prime number?
True
Suppose -34*i - 38537 + 156991 + 448088 = 0. Is i composite?
True
Suppose 333586 + 80358 = 22*p - 795132. Is p a prime number?
False
Let z = 6101 - -40032. Is z a prime number?
True
Suppose 2*s + 14 = -r - 2*s, 4*r = 4*s + 24. Suppose -r*o + o = 24. Is (-2)/(-8) - 10866/o prime?
False
Suppose 3*l + 0*l = 4*i + 29, -l = i - 5. Suppose -4*m = 0, 5*m - l*m - 14614 = -2*p. Is p prime?
True
Is ((-3)/(-15))/1 - (-34764728)/85 prime?
True
Let c(u) = -5*u**3 - 16*u**2 - 27*u + 9. Let y(q) = -q**2 - q. Let s(k) = c(k) - 4*y(k). Is s(-11) prime?
False
Let h be (1 - (-3 - 8297))*6/(-9). Let n = h - -11295. Is n prime?
False
Suppose -27*b = -29*b - 1248. Let j = 3457 + b. Is j prime?
True
Let r(n) = -1 + 3*n**2 - 5*n - 3*n**2 + n**3 - 1 + 2*n**2. Let h be r(5). Suppose 0*b - b + h = -y, -b + 5*y = -144. Is b composite?
False
Suppose -2*i = 3*n - 235117, -2*i + 235112 = 67*n - 69*n. Is i prime?
False
Suppose 5*q - 6527 = 6*m - 9*m, 2*q = -2*m + 4354. Is m a composite number?
False
Let a be 6/(2/(-3)*-3). Suppose 8 - 45 = -4*w + a*h, -4*h - 5 = w. Suppose 8*n - w*n = -2*q + 1107, 2*n - 2244 = 2*q. Is n composite?
False
Let p(g) = 2*g - 549 - 3*g**2 + 539 + 9*g**3 - g**3. Suppose 3*x - 11 = 2*b, 0 = -5*x + b - 3*b + 13. Is p(x) a composite number?
True
Let q be (-2)/(-3)*195048/21. Suppose -3*o + 11081 = -4*m, -4*o + q = -2*m - 8576. Is o composite?
False
Suppose 19*r + 2117 = 20*r. Let u = r + -1320. Is u a composite number?
False
Let g(f) = -5*f**2 + 51*f + 9. Suppose -34 = -2*i + 5*a, 3*i - 17 = 3*a + 16. Is g(i) prime?
False
Suppose 4*f - 12 = 0, x - 5*f - 17 = -9*f. Let t(c) = 3613*c + 204. Is t(x) a composite number?
False
Let h(a) = a**3 - 33*a**2 + 759*a + 105. Is h(58) prime?
False
Suppose -166936 = -23*f + 909487. Is f prime?
False
Suppose 3*n - l - 23 = 0, 7*n = 4*n - 2*l + 8. Is n/11 - (259296/(-33) + 5) a composite number?
False
Let a(k) = -7*k**3 - 4*k**2 - k + 9. Let i = 19 + -14. Suppose 6 = -4*c - 2*u, 0 = -2*c + i*c - 4*u + 32. Is a(c) prime?
True
Suppose -28671646 = -62*c + 23*c - 103*c. Is c a prime number?
False
Suppose 3*s + z - 373 = 0, 131 = s + z - 2*z. Suppose q - n = -0*q + s, 141 = q + 2*n. Suppose k + 3*p = 131, k + p - q = 3*p. Is k prime?
True
Let b(n) = -18241*n - 773. Is b(-16) a prime number?
False
Let v be (1 + -2)/((-13)/26). Suppose 2*g - 35608 = 4*k, 18003 = -2*k + v*g + 201. Is (-20)/(-130) - k/13 a composite number?
True
Let j(l) = -269*l**2 - 35*l - 8. Let q be j(-4). Let n = q - -8509. Is n prime?
True
Let u(v) = -559*v + 145391. Is u(0) composite?
False
Suppose 5*n - z - 13 = 0, -z + 2*z = -2*n + 1. Is ((-6)/n)/((-9)/2391) a prime number?
True
Let x be (-1 + 6 - 2)*1. Suppose 3*f - 8*f = -x*f. Suppose -y - y + 2122 = f. Is y composite?
False
Is (-1 - -9 - -26636) + 3 - -6 composite?
True
Suppose -4*o - 2*h - 1930 = 0, 4*o = o + 4*h - 1420. Suppose 0*d = -d - 5*c + 14, -5*c + 19 = -4*d. Let i = d - o. Is i a composite number?
False
Suppose -242 - 34 = -3*u - 5*r, 3*u = -3*r + 270. Suppose -u*z + 1864 = -83*z. Is z composite?
True
Let g be 18/24 - (3 + 70140/16). Let r(u) = u**2 - 4*u - 11. Let z be r(6). Is (g/(-5))/z + (-9)/45 composite?
False
Let n(p) = -4*p - 26. Let m be n(-7). Let h be (m/(-4))/((-6)/16)*-5043. Is (-8)/6 - 2*h/24 prime?
False
Suppose -20*n - 11437772 = -11*n - 85*n. Is n prime?
True
Is -184154*(45/75)/(12/(-50)) composite?
True
Let u(p) be the second derivative of -385*p**3/2 - 92*p**2 - 110*p. Is u(-7) composite?
False
Let i(n) = n**3 + 23*n**2 + 18*n - 13. Let g be i(-22). Let f = g + 105. Suppose -4*c + 142 + f = 2*u, 3*u = -4*c + 483. Is u prime?
False
Let g be 1*(1 + 226*-18). Let v = g - -7108. Is v a prime number?
True
Let q = -10 + 14. Let t(k) = -23*k**3 + 12*k**2 + 2*k - 11. Let z(c) = -22*c**3 + 10*c**2 + 2*c - 11. Let y(o) = 4*t(o) - 5*z(o). Is y(q) a composite number?
False
Suppose 8 = 2*s, -3*s = -5*t - 0*t + 33288. Suppose f + 2*f - t = 3*z, -6661 = -3*f + 2*z. Is f prime?
True
Is ((-12)/7 - (-8060000)/(-112))*(-2)/4 prime?
True
Let u(c) = c**3 + 3*c**2 + 3*c + 2. Let t be u(-2). Suppose 0 = -3*d - t*d + 45. Is 555 - (4/(-10))/((-3)/d) a prime number?
False
Let x = -84014 + 224331. Is x a prime number?
True
Suppose -100827 = -9*d - 0*d. Suppose 3*p - 457 = -d. Let i = 5828 + p. Is i composite?
True
Let c be ((-260)/(-60))/((-2)/6). Is (1 + 0)/(c/(-6058)) prime?
False
Suppose -11*s + 78*s = 419962 + 459681. Is s a composite number?
True
Is (-10)/4*(-11377936)/40 a prime number?
True
Let j(a) = 2*a**3 - 24*a**2 + 13*a - 22. Let b(k) = k**3 - 11*k**2 + 13*k + 60. Let u be b(9). Is j(u) prime?
True
Let k = -1980 - -3318. Suppose -4*b - 1333 = -3*v, -k = -3*v + 3*b - 0*b. Let s = v + -260. Is s composite?
False
Let f be (-5 + 4 + 3)*-58. Let z = f - -136. Suppose z*r - 5030 = 15*r. Is r prime?
False
Let w(t) = -385*t - 22. Let p = 171 + -176. Is w(p) prime?
False
Let k(i) be the second derivative of -7*i**3/6 - 5*i**2 + 2*i + 29. Is k(-7) a prime number?
False
Suppose 10*t - 8*t + 1090910 = 4*d, -1090865 = -4*d - 3*t. Is d a prime number?
False
Let d(w) = -w**3 + 8*w**2 - 2*w + 17. Suppose h - 3 = 0, -2*h + 2 = -k + 4. Let i be d(k). Is i*2*(-8147)/(-2) composite?
False
Suppose 3*d - 29 = -14. Suppose -2*z + 12887 = y + 4*y, -d*y = -z - 12899. Is y prime?
True
Suppose 5*h - 180 = 4*r + 6*h, 4*r - 5*h = -204. Let w = r - -54. Let y(t) = 136*t - 1. Is y(w) prime?
True
Let r = -406 + 446. Suppose -r*v + 38*v = -170. Is v composite?
True
Let t(n) = -112*n - 129. Let l be t(15). Let b = -168 - l. Is b a composite number?
True
Let l(i) = 23*i**3 + 5*i**2 + i - 9. Let h(o) = -22*o**3 - 6*o**2 + 9. Let z(d) = -4*h(d) - 3*l(d). Let u be z(4). Let m = 2058 - u. Is m a prime number?
True
Let z(t) = -4*t**2 + 7*t + 17. Let x(k) = 20*k**2 - 35*k - 86. Let j(i) = -4*x(i) - 22*z(i). Let n be j(-10). Let g = n - 619. Is g prime?
False
Let b(k) = -k + 3. Let j be b(-16). Suppose 15*q - j*q - 4 = 0. Is 208 + 1/(q/(-3)) a prime number?
True
Suppose 22957 = -25*p + 30*p + 4*g, 5*g = 2*p - 9163. Is p a composite number?
True
Suppose 0 = 38*a + 11 + 65. Let r(q) = 4161*q**2 - 10*q - 19. Is r(a) a composite number?
True
Let p = 1474 - -6673. Is p prime?
True
Let b(a) = 1001*a - 2566. Is b(21) prime?
False
Let r(z) = -z**3 - 4*z**2 - 2*z + 2. Let d be r(-5). Let n = 71 - d. Is 6/5*(-85)/n + 296 composite?
False
Let p(a) be the first derivative of 13*a**5/60 - a**4/4 - 16*a**3/3 - a**2/2 - 21. Let c(g) be the second derivative of p(g). Is c(-7) prime?
True
Let v(u) = -27 + 4 - 129*u - 233*u. Let s = 14 - 20. Is v(s) prime?
False
Suppose -2*f - 6*l = -2*l - 23226, 3*f + l = 34824. Suppose 3*n = -2*n + i + f, 0 = -i - 2. Is n a composite number?
True
Let r be 2982/(-4)*(-26)/3. Let n(s) = -28*s - 78. Let z be n(-3). Suppose z*p + p - r = 0. Is p a prime number?
False
Let k(t) = -47*t**2 - 34*t - 18. Let m(d) = -d**3 + 235*d**2 + 170*d + 95. Let i(f) = -11*k(f) - 2*m(f). Is i(-21) a composite number?
False
Suppose 3*k - 80*z + 86*z = 148827, -49603 = -k - z. Is k prime?
True
Let y(r) = 5 - r - 4*r**3 + 11*r**2 - 13*r**2 + r**3 + 5*r**3. Let a be y(2). Suppose a*k - 1136 = 635. Is k a composite number?
True
Let k = 861 + -837. Is 86046/k*(-3)/6*-8 prime?
True
Let c(n) = 362*n - 3779. Is c(15) 