0 = v*z - z - 15. Is j a composite number?
False
Suppose 12*o + 20*o - 309088 = 0. Is o composite?
True
Suppose 16*d + 75360 = 4*r + 12*d, -5*r + 94194 = d. Is r a prime number?
True
Suppose 0 = -3*y - 4*o + 22417, 48*y - 50*y = 3*o - 14945. Is y a prime number?
False
Let y(b) = -2*b - 1. Let u be y(-3). Suppose 0 = 4*w - u*o - 1, -5*w - o = -2*o - 17. Suppose 0 = -w*t + v + 4*v + 2557, 0 = -2*t + 4*v + 1286. Is t prime?
False
Let a = -5 + 11. Suppose 0 = a*v - 2271 + 45. Is v a prime number?
False
Let u(j) = -79*j**3 - 8*j**2 + 2*j - 6. Let o(f) = 26*f**3 + 3*f**2 - f + 2. Let s(x) = 8*o(x) + 3*u(x). Is s(-3) a composite number?
False
Let u(h) = h**3 - 13*h**2 - 11. Let a be u(13). Let w = a + 14. Suppose 4*l + 268 + 15 = 3*j, 0 = w*j - 3*l - 279. Is j a prime number?
True
Suppose -5*s - 126355 = 76250. Is (-2)/(-8) + (s/12)/(-1) composite?
True
Suppose -5*q + 46 - 11 = 0. Let m(x) = 24*x + 8. Let y be m(q). Suppose -f - y = -1090. Is f composite?
True
Let m be (-2)/(-8)*(-2 - -37734). Suppose -3*l + 2*q + m = 3*q, 5*q = l - 3123. Is l prime?
False
Is 508*(-1)/4*-5 + -4 composite?
False
Let p be (1 - 0)*(9 - -1)*-59. Let z be 1 + (1 - (-20)/(-1)). Is p/(-12) + 3/z composite?
True
Let w(n) be the first derivative of n**4/4 + 11*n**3/3 - 3*n**2/2 + 11. Is w(-7) a prime number?
False
Suppose 2*u - 4*u = -4*n + 26, 3*n = 2*u + 19. Let l(b) = -b**3 - b**2 + b - 2. Let c(y) = 3*y**3 + 13*y**2 - 12*y + 9. Let q(p) = c(p) + 4*l(p). Is q(n) prime?
True
Let y = 2945 - 1613. Suppose -3*g - g = -12, -5*d + y = -g. Is d composite?
True
Let r = 0 - 5. Let t be (1226/(-4))/(r/10). Suppose -124 - t = -j. Is j a composite number?
True
Let k = -17 - -24. Suppose -19 = 4*s - k. Is s + 6 - (-315 + 1) composite?
False
Let y(o) = -96*o**2 + 5*o**3 + 94*o**2 - 3 - 1. Is y(5) composite?
False
Suppose 3*m = 2*d + 1139, 0 = 2*m - 7*m + 3*d + 1900. Let t = 2266 - m. Is t prime?
False
Let c = -9019 - -18150. Is c a composite number?
True
Let y = 147 + -146. Let l(x) = -x**2. Let r(g) = 34*g**2 + g. Let n(i) = -2*l(i) + r(i). Is n(y) a prime number?
True
Let s(y) = -22*y**3 + 2*y**2 + 25*y + 25. Is s(-6) a prime number?
False
Is (-356460)/(-104)*(-4)/(-6) prime?
False
Is 0 + 4 + 1 + 9606 composite?
True
Suppose 3*l - 3*d = -0*d + 12, -10 = -3*l + 5*d. Suppose 3*r = -5*o + 14465, 2*o - 5*r + 8663 = l*o. Is o/20 - 2/(-10) a prime number?
False
Let w(x) = -3*x + 311. Let d be w(0). Let i = 544 - d. Is i a prime number?
True
Suppose 32 = 14*m - 10*m. Suppose -m*c + 11768 = -0*c. Is c a prime number?
True
Let f be ((-2)/6)/(2/18). Let d(u) = -110*u**2. Let p be d(f). Is p/(-20)*4/6 prime?
False
Suppose 0 = y - 3*y + 14288. Suppose 4*k - 3579 = 3*k + 4*x, 0 = 2*k - x - y. Is k composite?
False
Let o(y) be the second derivative of -13*y**3 - 43*y**2/2 - 12*y. Is o(-18) a prime number?
True
Let n = -629 - -921. Let u = n - 19. Suppose 2*w = k + 539, 0*w - w = -4*k - u. Is w composite?
False
Let b be 861/28 - (-9)/(-12). Is (10/b)/(1/771) a composite number?
False
Let t = -119 - -2068. Is t a composite number?
False
Suppose 1238 - 7806 = -8*o. Is o a composite number?
False
Suppose 2*o + 2*o - 844 = 0. Suppose -w - o = -19. Is 12/(-30) - w/5 prime?
False
Suppose 3*a - 5973 = 4*x + 13244, 0 = 4*a - 2*x - 25626. Is a a prime number?
False
Suppose 203*i - 218*i = -209175. Is i composite?
True
Suppose -118 = -4*u - 906. Let c = u + 898. Is c a prime number?
True
Let l be (10/(-15))/((-2)/3) + 2. Suppose -o + 755 = -l*p, 3*o + p = -o + 3020. Is o a composite number?
True
Suppose 0 = 14*w - 6*w - 435208. Is w prime?
True
Suppose -6*q + 10 = -2. Suppose -j - q*a - 1756 = -3*j, -5*j = -a - 4386. Is j a prime number?
True
Let b be (-85)/(-2)*192/(-40). Let g be (b/14)/((-6)/294). Suppose l + 13 = g. Is l a composite number?
False
Suppose -3*r + w - 1 = -7*r, -6 = r - w. Is -3 + 2*(261 - r) prime?
True
Suppose 176075 = 23*n + 2*n. Is n composite?
False
Let y(t) = -3*t**3 + 3*t**2 + 7*t - 19. Let k(n) = n**3 - 2*n**2 - 4*n + 10. Let a(d) = 5*k(d) + 3*y(d). Is a(-3) composite?
False
Is (-6)/8 + (-37074)/(-24) + -3 a composite number?
True
Let m(s) = -s**2 - 11. Let c be m(5). Let q be 30106/12 + (-6)/c. Suppose -5*g + 1936 = -q. Is g a composite number?
True
Let r(m) = -1163*m - 15. Let y(z) = -388*z - 5. Let s(k) = 4*r(k) - 11*y(k). Is s(-2) composite?
True
Suppose -5*w + 0 = -40. Suppose -x - 4*c + 3 = -7, -3*c + w = x. Suppose -4*f = -x*f - 78. Is f composite?
True
Let k = -15 + 19. Suppose -4*z + k*x = -36, 4*x + x - 5 = -5*z. Suppose z*j = 6*j - 10. Is j prime?
False
Suppose 14 + 14 = -2*o. Suppose -5*w - 821 = -3716. Is w/7 - 4/o prime?
True
Suppose -4 = -w + 3*n, 4*n = -4*w - 0*n. Is (-1)/w - (-758 - 14) composite?
True
Let x = 24 + 89. Suppose 3*k - x = -2. Let h = k + 120. Is h a prime number?
True
Suppose -6*o = o + 9611. Let y = 488 - o. Is y a composite number?
False
Let d = -7 - -10. Let s be -3 - (-10)/((-10)/(-3)). Suppose -3*b + 168 - d = s. Is b a composite number?
True
Is 1169400/198 + 8/(-132) a prime number?
False
Let i(w) = 5*w - 8*w - 24*w - 14 - 8*w. Is i(-5) prime?
False
Suppose 4*p - 25495 - 52653 = -4*o, 5*p = 2*o + 97671. Is p prime?
False
Suppose -3*g + 2*w = 8342 + 4035, -2*w = 2*g + 8238. Let m = -2906 - g. Is m a composite number?
False
Suppose 37*p - 24*p = 105001. Is p composite?
True
Let t(a) = 1015*a + 254. Is t(23) a prime number?
True
Suppose 27*h + 35 = 32*h. Suppose -h*z - 3453 = -10*z. Is z a prime number?
True
Let c(i) = -9*i**3 + 1 + 31*i**3 + i + 2*i**2 - 2*i**3 + 10*i**3. Is c(2) composite?
False
Let k(h) = -h**3 + h**2 + 2*h + 2. Let c be k(3). Is 326/(-1*c/5) composite?
False
Let x = 8826 + 6281. Is x a prime number?
True
Let y = 5 + 8. Is (y - 1)/4 + 248 composite?
False
Let b(g) = -g**3 - g**2 + 2*g - 4. Let k be b(-3). Suppose -4*a - r = -352, -4*r + k*r - 440 = -5*a. Is a - (-3 - (2 - 4)) a prime number?
True
Is (-42 - -42) + 142078/2 composite?
False
Let q(i) = 5*i**3 - 13*i**2 + 2*i - 1. Let y be 3/6 + 51/6. Is q(y) prime?
True
Let s be (4 - -2)*1/3. Suppose -2*p + s*v + 168 = 0, -3*p = 2*p + 3*v - 380. Is p*(0 + 1 + 0) composite?
False
Suppose 0*z - 25 = -5*z. Is (2/(-7 + z))/((-2)/422) a composite number?
False
Suppose 3 = -2*r + c, -6*c = r - 2*c - 12. Suppose -3*w - 4*p + 370 = -r*p, 0 = w - 3*p - 119. Is w a composite number?
True
Let c = -1038 + 1486. Let z be (-6)/(-5)*15/3. Is c/z - (-2)/(-3) a prime number?
False
Let p be -2*-3*(-2)/(-4). Suppose -p*v = -6*v + 1455. Is v composite?
True
Let j(q) = 94*q - 26. Suppose -y - 2 = 0, -5*v + 33 = 2*y + 7. Is j(v) a composite number?
True
Let m = -508 - -1039. Let x = 953 - m. Is x a composite number?
True
Suppose -42 = -2*n - n - 4*k, 5*n - 4*k - 102 = 0. Let d = n + -22. Let m(f) = -2*f**3 - 6*f**2 - 5*f - 6. Is m(d) a composite number?
True
Let y(o) = 8*o + 3. Let j = -24 - -63. Suppose -3*w + 4*w - 6 = -4*q, -4*w = q - j. Is y(w) prime?
True
Let k be (-830)/(-2) + 1 + (1 - 2). Let q = 2154 - k. Is q composite?
True
Let k(o) = 4050*o - 479. Is k(18) prime?
True
Suppose -4*i - 242 = -1198. Suppose q = 444 + i. Is q prime?
True
Suppose x + x = 0. Let r be x/((0 + -3)/3). Suppose r = -2*o + 297 - 123. Is o prime?
False
Let p(k) be the second derivative of 2*k**4/3 - 5*k**3/6 - 2*k**2 + 18*k. Is p(3) a prime number?
True
Let w(k) = -k**3 - 4*k**2 + 7. Let o be w(-6). Let p be 6/(72/1540) - (-2)/(-6). Let j = p - o. Is j a prime number?
False
Let f be (0 - 5) + (-1)/((-2)/(-2)). Suppose 0 = -0*l + 2*l. Is (-2)/(l + f/291) composite?
False
Suppose 2*f + 0 - 12 = 0. Let c be f*(2 - 12/8). Suppose -z = -4*o - 35, -c*o + 131 = 5*z - 44. Is z prime?
False
Suppose 11230 = -3*c - 2*k + 53966, 3*k = 2*c - 28469. Is c prime?
False
Suppose 29*f = 39*f - 450070. Is f a prime number?
True
Let d(w) = -199*w**3 - 12*w**2 + 9*w + 7. Is d(-4) a composite number?
True
Suppose -2*f = 32 + 40. Is (-98)/(-3) - 12/f composite?
True
Let d(f) = 2*f**2 + f - 6. Let z be d(3). Suppose z*i = 11*i. Suppose -2*b - b + 381 = i. Is b prime?
True
Let u(v) = v**3 - 12*v**2 - 11*v - 21. Let p be u(13). Suppose 2*z - 2983 = p*b, 0 = -3*z + 6*z + b - 4500. Is z a composite number?
False
Suppose 0 = -3*t - y - 3 + 7, 6 = 4*t + 2*y. Let d = t + -2. Is d/4*101*-20 composite?
True
Let d(j) = 66*j**2 + 9*j - 22. Let l be 3/(-