-13 + 92 + 2*d - 3*d + d**3. Is i(c) composite?
False
Let j(g) = 137*g - 6. Is j(5) composite?
True
Suppose -j + 31 = 4*u, -j + 18 = -2*u - 13. Is j composite?
False
Suppose 0 = 4*d + 3*x - 218 - 128, x - 172 = -2*d. Is d composite?
True
Is 419 - (4 - 3 - 1)*1 a prime number?
True
Is -4*((-3)/4)/((-9)/(-2733)) a composite number?
False
Let g = -217 + 771. Is (-2)/5 - g/(-10) a composite number?
True
Let b = -2044 + 3913. Suppose b = 4*z - z. Is z prime?
False
Let a be (-1 - 0)/(6/(-18)). Let j(u) = 2*u**2 - u - 2. Let n be j(2). Suppose -n*k + 285 = 5*c, -3*c + 197 = c - a*k. Is c composite?
False
Let u be 3 - 1*(-1 + 2). Is (-1589)/(-14) + (-1)/u prime?
True
Suppose 0 = -2*m + 3 + 3, -5*p - 2*m = 9. Is (-149)/(-3)*(6 + p) composite?
False
Let i be (3 + -1)/((-2)/(-3)). Suppose -2*p + 18 = 3*m, p = -i*p + 3*m. Is p a prime number?
True
Suppose 0 = -l + 4*l. Let a(h) = 0 - 4*h + l*h - 4 + 1 - 2*h**2 - 38*h**3. Is a(-2) composite?
True
Let k(b) = b**3 + 8*b**2 - 7*b - 17. Is k(-6) composite?
False
Let q be (-46)/4*(-9 - -7). Is 0 + q*10 + 3 prime?
True
Let k be -2*(-41 + (-2 - 0)). Suppose y - 25 = 3*s, y - k = -4*y + 2*s. Suppose -b + y = -3. Is b composite?
False
Is 3/9 - 688/(-6) a composite number?
True
Let o = 65 - 7. Let t be 2/(-4) - 35/(-10). Is (o/(-4))/(t/(-30)) prime?
False
Let k be 40 - 4*(-1)/(-2). Suppose v = 5*p + 478, -p = -5*p - v - 377. Let j = k - p. Is j a composite number?
True
Suppose x = -2*x + 18. Is x a prime number?
False
Let m = 502 + -285. Is m composite?
True
Let d(n) = -2*n**3 + 3*n - 1. Is d(-6) prime?
False
Let h(k) = k + 9. Let j be h(-6). Suppose 0 = -2*f - w + 310, 3*f + w - 465 = j*w. Is f a prime number?
False
Suppose -5*q = m + 4*m - 30, 3*m - 18 = 3*q. Let w(f) = 3*f**2 - 5*f + 1. Is w(m) a prime number?
True
Let s = 4 - 0. Suppose 42 = 4*p + z - 94, -4*z = -16. Suppose -p = s*l - 93. Is l a composite number?
True
Let j(x) = x**2 + 6*x - 2. Let d be j(-7). Suppose -3*s + 23 = -2*s - 3*n, -d*n = 3*s - 27. Let u = s + -3. Is u prime?
True
Suppose x - 22 = 55. Is x a composite number?
True
Suppose 0*u - u + 3223 = 0. Is u composite?
True
Suppose -3*l = -4*r + 23, 4 + 6 = -2*l. Suppose i + 4*o = 129, i - 117 = -3*o + r*o. Is i a composite number?
False
Let z be 1/(-2 + (-57)/(-27)). Suppose 606 = z*k - 6*k. Is k composite?
True
Let s = 45 + -28. Suppose -3*w + s = 5*d - 103, -d = 0. Suppose 2*k - w - 12 = 0. Is k a prime number?
False
Let t(g) = 6 - 2*g - 3 + 2 - 3. Let z be t(3). Is (z/(-3))/((-2)/(-57)) composite?
True
Suppose 3*h - 1 = -3*s - s, -45 = -5*s + 5*h. Let d(u) = 5*u**2 - 3*u - 3. Is d(s) a prime number?
False
Let w(p) = p + 1. Let r be w(0). Let z(k) = 39*k**2 + 2*k + 48*k**2 - 1 - 29*k**2. Is z(r) a prime number?
True
Is ((-66)/15)/((-4)/110) a composite number?
True
Suppose -l + 49 + 2 = 0. Is l composite?
True
Let j(l) = 3*l**3 + 6*l**2 - 4*l + 7. Let d be j(7). Let h = d - 929. Is h prime?
True
Let i be ((-5)/(-3))/(-5)*-9. Let g = -113 - -314. Is g/i + 4/(-2) composite?
True
Suppose 31*p = 23*p + 38888. Is p prime?
True
Let i = 16 + -11. Suppose -w - 1 + 4 = -2*s, 0 = s + i*w + 29. Let j(b) = -8*b - 1. Is j(s) composite?
False
Let p(f) = 8 + 35*f + 14 - 21. Is p(6) a prime number?
True
Suppose -4*v = -93 - 295. Is v a composite number?
False
Let d(g) = -g**3 - 6*g**2 + g + 8. Let i be d(-6). Let u be (-1)/(i - (-693)/(-345)). Suppose -3*y - 3*j + u = -j, 113 = 3*y + j. Is y a prime number?
True
Let f = 6 - 4. Is (-1)/(f/(-56)) + 3 composite?
False
Let d(n) = 3*n**2 - 5*n**2 + n**2 + 2*n + 2. Let m be d(-6). Let q = 7 - m. Is q a composite number?
False
Let x(a) = a**3 - a**2 - 3*a + 2. Let w be x(2). Let q = 3 + 1. Suppose w*i = -q*i + 4*n + 252, -i + 3*n + 55 = 0. Is i composite?
False
Let t = -1 + -25. Let w = 38 - 23. Is t/(-3) - (-5)/w composite?
True
Let r = -4 + 14. Suppose 0*i = -2*i - r. Is (i - -1)*74/(-8) prime?
True
Is -2 + 190 - (-4 - 1 - -8) a composite number?
True
Suppose -5*z + 5 + 10 = 0. Let s = z - 9. Is (-3)/s*2*37 a composite number?
False
Let a = 384 + -225. Is a a composite number?
True
Suppose 36 - 5 = 5*h + 2*a, -3*h + 9 = -2*a. Suppose 2*c - h*i - 62 = 0, -2*c + 3*i - i + 62 = 0. Is c a prime number?
True
Suppose 6 = 3*v - 9. Let n = -7 + v. Let a = 15 + n. Is a a prime number?
True
Suppose 6*l - 2686 = -11*l. Is l prime?
False
Let x(n) = -n**2 - n - 2. Let t be x(-3). Let u be (t/6)/((-8)/36). Suppose -u*j + 4*j = -68. Is j prime?
False
Let u = 11 + -5. Is (4/u)/(16/2232) a prime number?
False
Let g = -475 + 989. Let k = g - 191. Is k a prime number?
False
Let b be (-3 - -3)/((-4)/(-2)). Is -3 - -472 - b/(-1) a composite number?
True
Let j = -28 + 161. Is j a prime number?
False
Is -1*4 + 8 + 18 composite?
True
Let x = -2 - -7. Suppose 2*s + 443 = 3*w - 69, x*w + 2*s - 880 = 0. Suppose -336 = -4*g + o, -2*g - o + w = -3*o. Is g a prime number?
True
Let g(r) = 424*r**2 - 18*r - 15. Is g(5) a composite number?
True
Suppose -4*a + 2*i = 4*i - 74, -12 = -2*a + 4*i. Is (-211)/((a/(-4))/4) a prime number?
True
Let p = 77 - -1890. Is p a composite number?
True
Suppose 2*d = 3*m - 185, 2*d + 95 = d + m. Let q be 406/(-10) - 2/5. Let x = q - d. Is x prime?
True
Let s = -661 + 279. Is (-4)/((-24)/s)*-3 a prime number?
True
Suppose 4*v - 9*v - 4454 = -3*i, 4*i - v - 5916 = 0. Is i a prime number?
False
Let u be (-150)/(-6) - (1 - 0). Let r be 2/(-12) + (-2348)/u. Let o = -43 - r. Is o prime?
False
Suppose -20 = 4*g + g. Let o(x) be the second derivative of x**5/20 + x**4/3 - x**3/6 + x**2 + 2*x. Is o(g) prime?
False
Let x = -3 + 2. Let j be -2 - -3 - (x - 2). Let m = 18 + j. Is m a prime number?
False
Let k = 870 - -207. Is k composite?
True
Suppose -5*m + 77 = 4*i, 3*m + m = 2*i - 6. Is i a composite number?
False
Suppose 0 = 3*i + 2*g - 5 - 4, -g - 15 = -5*i. Suppose -m + 0*m = 2*s - 19, 0 = 2*s - i*m - 23. Is s a prime number?
False
Is ((-4)/5)/((-2)/5) + 741 prime?
True
Suppose -3*h = -0*h - 15. Suppose 2532 = h*f - 1163. Is f a composite number?
False
Is 211/(4/(1 - -3)) prime?
True
Suppose 704 = -4*n - p, -4*n = -2*n - 5*p + 374. Let k = -59 - n. Is k composite?
True
Suppose 3*i + r - 16 = 0, 4*r + 2 = 2*i - 4. Let s = i - -1. Is s/(-9) + 224/3 composite?
True
Let o be ((-2)/(-8))/(4/80). Suppose 0 = -3*i - c + 674, -o*c + 15 - 35 = 0. Is i a composite number?
True
Suppose o - 6 = -1. Suppose -z + 5*z - 2712 = -5*j, -o*z = 10. Suppose -5 = -w - 4*t + j, -4*t + 2777 = 5*w. Is w prime?
True
Let x be 3*(-6)/(-9) + 0. Suppose 0 = -5*r - 13 - 7, 4*r = 4*t - 1128. Suppose t = -x*p + 4*p - m, -2*p + 278 = -4*m. Is p composite?
False
Let m = -266 + 453. Is m composite?
True
Let m(d) = 8*d - 2. Let a be m(2). Let k = 199 - a. Is k prime?
False
Is (71/4)/(2/8) a composite number?
False
Suppose 4*z = 8*z - 8. Suppose -z*v + 3 = -3. Let f(n) = 8*n - 1. Is f(v) a prime number?
True
Suppose 0*s = -2*s - 90. Let u = s - -119. Is u prime?
False
Suppose 0 = 2*i - 2*k - 42, 0*i = i - 2*k - 20. Is 686/i + 12/(-66) a prime number?
True
Let i(d) = 3*d**3 - 8*d**2 + 8*d - 9. Let b(k) = -k**3. Let l(f) = -2*b(f) - i(f). Is l(6) a composite number?
True
Let j = 864 - 385. Is j a prime number?
True
Let j(i) = i + 15. Let k be j(-8). Let h = -4 + k. Is (35/h)/(1/3) composite?
True
Suppose -3646 = -5*l - 1001. Is l composite?
True
Let c(q) = 11*q + 3. Let d be c(8). Let w = 40 + d. Is w composite?
False
Let g(a) = a**3 + 7*a**2 + 2*a + 9. Let y be g(-6). Suppose 3*f - h - 55 = h, -y = -f - 3*h. Is f a composite number?
True
Suppose -o = -1 + 3. Let q be (o/(-5))/((-3)/15). Let p(j) = 2*j**2 + 2. Is p(q) prime?
False
Suppose 3*w + 1186 = 4*w. Is w a prime number?
False
Let s be 55/(-65) - 6/39. Is (-2)/(s - 1)*191 prime?
True
Let j be (2/(-4))/1*302. Let f = 344 + j. Is f/2 + (-4)/(-8) a prime number?
True
Suppose -23996 = 17*x - 119995. Is x a prime number?
True
Suppose 0 = 5*q - 3*s - 10303, -4*s = -s - 12. Is q prime?
True
Is (2 - (5 - 4))*4861 a composite number?
False
Let h be ((-4)/(-6))/((-2)/(-6)). Suppose 3*k - h*k = 23. Is k a composite number?
False
Let k be (-1 + 1)/2 - -2. Suppose 162 - 24 = k*i. Let d = i - 20. Is d a composite number?
True
Is -6*(-530)/4 - (-56)/14 prime?
False
Suppose 5*w - b = 18, 2 = 2*w - 3*b - 0. Let y = -245 - -139. Is y/3*(-6)/w prime?
True
Let m(i) be t