 w(q) be the first derivative of 8*q**2 - 5*q - 6. Let o be (-56)/(-10) - 4/(-10). Is w(o) composite?
True
Let w(u) = -u - 3. Let r be (-2)/((-1)/3 - -1). Let f be w(r). Suppose -3*n + 116 - 5 = f. Is n a prime number?
True
Let c(o) = 51*o**2 - 3*o - 4. Let g be c(3). Let k = 613 + g. Is k composite?
True
Suppose 13319 = i + 60. Is i composite?
False
Suppose 5*c + 4*t = -0*t + 34, -1 = -t. Let q = c - 2. Suppose 4*w + 4*l - 48 = 0, q*l + 40 = w + 3*w. Is w composite?
False
Let y = 10 - 7. Suppose y*f + 18 - 1959 = 0. Is f a composite number?
False
Is 87854/3 - 4/(-12) a prime number?
False
Suppose -640 = -5*h + 2050. Suppose 1367 + h = 3*v. Is v a prime number?
False
Suppose -2*q = -4*s + 44268, -28 = -5*q - 8. Is s a prime number?
True
Is (-127540)/(-15) - (184/24 + -6) a prime number?
True
Let j = 10099 - 3930. Is j a composite number?
True
Let j = 11 + -7. Suppose 0 = c - j + 1. Suppose 5*p + 158 = c*n - 287, -p + 723 = 5*n. Is n composite?
True
Let p(y) = y - 2. Let q be p(-3). Let g(h) = h**3 + 5*h**2 + 3*h + 6. Let b be g(q). Is (-1)/3 - 858/b a prime number?
False
Let l = 17 + -14. Suppose q - l = 15. Is ((-228)/q)/(2/(-3)) prime?
True
Suppose 0*z - 2*z = -2*l, -3*l = -z - 6. Suppose -l*c + 2937 = -0*c. Is c composite?
True
Let w(h) = 2*h + 19. Let o be w(-8). Suppose -v = -o*r - 307, -v = -2*r + r - 301. Is v a prime number?
False
Let o(c) = 8*c**3 + c**2 - 4*c + 7. Let u be o(5). Let j = u + -215. Is j prime?
True
Suppose -3*k = 5*i - 2, 2*i + 4 = -3*k + 3*i. Is k*(-77562)/42 + (-4)/(-14) a composite number?
False
Suppose -4*z + 0*z = -3456. Let y = -277 + z. Is y a prime number?
True
Let k(n) = 31*n**2 - 9*n - 18. Let y(w) = -30*w**2 + 9*w + 17. Let l(g) = -4*k(g) - 5*y(g). Is l(-6) a composite number?
False
Let z = 67037 - 28408. Is z a composite number?
False
Let t = 13282 + -9161. Is t a prime number?
False
Let w = 37 - 18. Let c(r) = 21*r + 44. Is c(w) a prime number?
True
Let a = -97 + 101. Is a + 4 + -4 - -1117 a composite number?
True
Let j = -32287 - -74166. Is j prime?
True
Let k = 10 - 16. Let u(g) be the first derivative of 2*g**3/3 + g**2 - g + 59. Is u(k) composite?
False
Let d(o) = 157*o**2 + 54*o - 6. Is d(4) composite?
True
Let c = -30 + 31. Let p be c/(-2)*170/(-17). Suppose 0 = p*v + 2*i - 7*i - 1310, -9 = 3*i. Is v a prime number?
False
Suppose -22*h = -17*h - 75. Is h/(-45) - (-466)/3 prime?
False
Let j be (5/(-20))/((-1)/12). Suppose k = -j*l - 2*l + 71, -4*l = k - 72. Suppose 0 = 3*m - 7*m + k. Is m composite?
False
Let r be 4 + (-2 - -3)*-1. Let c be (-2)/((24/508)/r). Is c/(-4)*1*4 a composite number?
False
Let v be 2*1*((-1)/(-1) - -1). Suppose -3*m = v*n + m - 10336, 2*m = -n + 2589. Is n a prime number?
True
Let b = 4019 + -2212. Let h = -1212 + b. Suppose -5*z + h = -900. Is z a prime number?
False
Suppose 2*x - 4*x = 0. Suppose 4*o + 4*a = x, -3*o + 4*a = -8*o + 5. Suppose -o*g - b + 91 = -0*b, 4*b = -5*g + 79. Is g a prime number?
True
Suppose k - 457 = -y + 4*k, -3*k + 433 = y. Let n = y - 203. Let g = 7 + n. Is g a prime number?
False
Let x(g) = g**3 + 5*g**2 + 4*g - 3. Let j be x(-4). Let w = 6 + j. Suppose 5*u + 2*p - 1189 = 0, -4*p + 1024 - 305 = w*u. Is u a composite number?
True
Suppose 0*h + 488 = 4*h. Let k be (-14)/(-4)*(h + 12). Suppose 3*u = -4*u + k. Is u a prime number?
True
Let l(p) = -10*p - 13. Let q be (-10)/(-25) + (-216)/15. Is l(q) a prime number?
True
Suppose 5*h = 5*n - 5595 - 2390, 0 = n - 2*h - 1592. Suppose 0 = 3*f - g - 1472, -5*g = -4*f + 379 + n. Is f a composite number?
True
Suppose 129*i = 125*i + 282108. Is i prime?
False
Let h(i) = -i**2 - 4*i + 4. Let s be h(-4). Suppose s*y + 3 = -17. Let k(x) = -15*x + 8. Is k(y) composite?
False
Let j(s) = s**2 + 6*s + 10. Let z be j(-6). Suppose 4986 = -4*q + z*q. Is q a prime number?
False
Let z = 4 + 10. Let g(c) = c**3 - 11*c**2 - 2*c + 21. Is g(z) a composite number?
True
Let o be 3/9 - 937/3. Let t be -83*(-1 + 3) + -3. Let s = t - o. Is s prime?
False
Let n(f) = 6*f**2 + 5*f + 6. Suppose -2*u + x + 14 = 0, 2*x = 2*u - 0*x - 14. Let h = 2 - u. Is n(h) prime?
True
Let n be (0/2)/(1 + 1 + -3). Suppose -21*a + 26594 + 13747 = n. Is a a composite number?
True
Suppose 5*i - 1220 = -215. Is i a composite number?
True
Suppose 5*t + w - 15835 = -4*w, 15803 = 5*t - 3*w. Is t a composite number?
False
Let q = -499 - -3017. Is q prime?
False
Let j = 1252 + -363. Is j a prime number?
False
Let n = -50 + 133. Let z = 10 + n. Is z prime?
False
Suppose -o - 4 = -5*o. Let p(a) = 919*a**2 - 2*a. Is p(o) composite?
True
Suppose -21*c + 17*c = -12. Suppose -2*d + 5*q - 16 = -5*d, -27 = -4*d - q. Suppose c*h = d*h - 652. Is h a composite number?
False
Let c be -5*371*(0 - 1). Is 0 - (-6)/(30/c) a prime number?
False
Let x = -14 + 16. Let s be (-4)/x*945/(-14). Let k = -56 + s. Is k prime?
True
Suppose -l = -p + 27350, -4*p - 12*l + 109445 = -7*l. Is p prime?
False
Let f be 2/4 - 71/(-2). Let a = 43 + 44. Let b = a + f. Is b a prime number?
False
Let a = 27290 + -18249. Is a prime?
True
Let a(i) = 4*i**2 + 13*i + 13. Let n be a(-12). Let z = 764 - n. Let d = z + -190. Is d a prime number?
False
Suppose 14 = -5*r - 21. Let f be 16/((-1 - r)/3). Let q = f + 3. Is q composite?
False
Suppose -301 = 2*z + 79. Is 0 + -1 - 2*z a prime number?
True
Suppose -201 - 1489 = 10*z. Is (-4 + 6)*z/(-2) prime?
False
Let g(v) = -v - 4. Let s be g(-8). Let n(m) = 50*m + 2 - 10 - 1. Is n(s) composite?
False
Suppose 0 = -17*f + 14*f + 9, 0 = 3*y + 4*f - 690. Is y a prime number?
False
Suppose 10 = -q + 4. Is (-422)/q*(3 + 0) a composite number?
False
Let o be 4/(-12) - (-200)/6. Suppose 0 = o*c - 30*c - 477. Is c composite?
True
Is 11/((-462)/(-141074)) - (-2)/21 a composite number?
False
Suppose -2*z - 4 = -2. Let j be 1163*(-3 + 3 - z). Suppose -3*g = 2*m + 26 - j, 3*g = 4*m + 1119. Is g prime?
False
Let p(n) = n + 11. Let t be p(-8). Suppose -453 = -t*o + 471. Is o + 11 - 2*1 prime?
True
Let l(t) = 0*t**3 - t**3 + 10*t - 11 + 7*t**2 - t**2 - 2*t. Is l(6) a composite number?
False
Suppose m - 1185 - 423 = 4*s, -3*s + 3*m = 1197. Let p = s + 581. Is p a prime number?
False
Let m be -2*(-461 - (-5 - -2)). Let z = -654 + m. Suppose -51 + z = b. Is b prime?
True
Let q = 26 + -23. Suppose n - q*n + 1366 = 0. Is n a composite number?
False
Suppose 26 = 2*s - 2*j, j = 3 + 2. Let c(a) = -8 + s*a + 10 - 115*a - 142*a. Is c(-4) prime?
False
Suppose 15265 = 2*c - a, -4*c + 5*a - 6279 = -36818. Is c composite?
True
Let j be 56*((3 - 2) + 0). Suppose 0 = 5*c + 20, -2*n + 4*c + j = -108. Suppose -q + 5*p + 103 = 0, n = q - p - 13. Is q a composite number?
False
Suppose 5*p + b - 113677 = 0, -b = -15*p + 11*p + 90938. Is p composite?
True
Let u be ((-2)/6)/(0 - (-2)/(-24)). Suppose -2*o = u*v - 578, -5*v = 5*o - 4*v - 1454. Is o a prime number?
False
Let w = -1824 + 895. Let z = 1686 + w. Is z prime?
True
Let a = 4379 + -2218. Is a a prime number?
True
Suppose 0 = 409*g - 402*g - 88991. Is g prime?
True
Let k = -137 - -119. Is 3 - (-2382)/4*(-24)/k prime?
True
Let n be 6 - (3 - 3) - -2. Suppose 5*r + 3*p - 2505 = n*p, 4*p = r - 504. Suppose -c + 2*y = -3*c + r, -5*y = -15. Is c a composite number?
True
Suppose -l + 2*l = 19*l. Suppose -2*p + 3*t - 4*t = -1035, l = 4*t - 4. Is p a composite number?
True
Let b(f) = f**3 + 11*f**2 + 10*f + 2. Let h be b(-10). Suppose 80 = 3*w + h*w. Is (56/w)/((-1)/(-22)) composite?
True
Suppose -42777 = -3*k + 3*i, 0 = -67*k + 66*k - 5*i + 14283. Is k composite?
True
Let z be -1*(-3 + 2 + -1638). Let m = 4030 + z. Is m composite?
False
Let k(p) = -p**3 - 4*p**2 + 15*p + 8. Let u be k(-6). Let y = 9 + u. Is (34 - y) + (1 - -1) composite?
False
Let x(z) = -9*z**3 - 10*z**2 + 8*z - 10. Is x(-9) composite?
False
Let w be -4*(-1)/3*9. Let u be 10/w + (-8)/(-48). Is (-13*46)/(-2)*u a composite number?
True
Let b = 16995 - 6172. Is b composite?
True
Is (-91)/52 + (-102188)/(-16) composite?
True
Suppose -2*j - 18 = a - 4, 0 = 2*a - 2*j + 4. Is (a/(-3) - 5) + 524 a composite number?
False
Is (0 + 181)/((-53)/(-265)) a composite number?
True
Let u(y) = 35*y**2 + 35*y + 79. Is u(-12) composite?
True
Suppose 12*v - 8*v + 4*y - 54444 = 0, 5*y - 13603 = -v. Is v prime?
True
Suppose 3*b - 5*o - 31 = 0, 3 = -5*b + o + 18. Suppose b*p - 226 = 2*m, p + 4*m = -0*p 