 -l = -5*v - 43. Is v composite?
False
Let y(j) = 3*j + 6. Let l be y(-2). Suppose 0 = -2*z - 3*g + 178, l = -0*g - 2*g + 8. Is z prime?
True
Let z = -44 - -49. Suppose s = 2*x - 589, 3*s = z*x - 2*s - 1470. Is x a prime number?
False
Let x(y) = -3*y + 4*y + 342*y**2 - 93*y**2 - 4*y + 2. Let h be x(1). Let b = h - 25. Is b composite?
False
Suppose -3*a = a - 3*o + 3, a = -4*o + 4. Suppose a = -4*g + 10 + 2. Suppose 2*n + 5*f + 30 = g*n, -n + 75 = 4*f. Is n composite?
True
Suppose -6 = d + 2*w - 0, d + 4*w = -12. Let q = 5 - d. Suppose -i - 884 = -4*g - g, -q*i - 526 = -3*g. Is g prime?
False
Let x = 815 + -473. Let m = -201 + x. Is m a prime number?
False
Let c = 17 + -17. Suppose c*j - 2 = -j. Suppose -j*h + 673 = 5*f, -3*f - f + 2*h + 524 = 0. Is f a composite number?
True
Suppose 39 = -4*w + 3. Let q = w - -9. Suppose 4*k + 65 - 213 = q. Is k prime?
True
Let m be ((-5 + 9)/(-4))/((-1)/(-465)). Let b = -322 - m. Is b a composite number?
True
Let z = 41 + -37. Is -4 + -2 + 36 + z a prime number?
False
Let r = 85 - -33. Let s = r - 23. Is s a composite number?
True
Suppose 2*d - d = 749. Is d a composite number?
True
Suppose 15*u = 17*u - 12. Suppose -2*f + u*f - 652 = 0. Suppose -f - 363 = -2*j. Is j a composite number?
False
Let o(k) be the second derivative of k**5/20 - 4*k**4/3 - 10*k**3/3 + 11*k**2/2 + 7*k. Is o(18) prime?
False
Suppose j + 4*n = 2*j - 445, -3*n = -3*j + 1335. Suppose w - j = -0*w. Is w a prime number?
False
Suppose -4*o + 5*r = 3*r + 26, -2*r = -10. Let p be 1/(o/(-32)*4). Is 0/(4/p) - -177 a composite number?
True
Suppose w + 5 = -5*v, -5*v + 8 - 3 = 3*w. Is 442/((0/(-2) - 4)/v) a composite number?
True
Let y = 192 + -79. Let b = y + 88. Is b a prime number?
False
Let d(i) = -6*i + 31*i + 22*i + 17 - 7*i. Is d(13) a prime number?
False
Let m(f) = f**3 + 5*f**2 + 7*f + 6. Let a be m(-4). Is (-3 + 151)*(-51)/a + 3 a prime number?
False
Let a(v) = 5150*v - 573. Is a(5) composite?
True
Suppose -q - 193 = -602. Let g = -188 + q. Is g a composite number?
True
Let f = 3816 + -2497. Is f composite?
False
Suppose p + 2*p = b - 15, -5*b + 15 = 5*p. Suppose -2*x = -3*x + b. Is x/24 - 1323/(-4) prime?
True
Let d(r) = 1 + 18 + r + 7*r + 26*r. Is d(3) a prime number?
False
Suppose 3*b + 2*c + 24 = 70, -3*b = -4*c - 34. Suppose 0 = -5*p + b + 1. Suppose -3*g = p - 156. Is g prime?
False
Let x(p) = p - 4. Let h be x(4). Suppose c - 542 = -h*c. Is 3*2/(-6) + c prime?
True
Let r be (7 - 14)*24/(-14). Let j(y) = y**3 - 11*y**2 - 11*y - 10. Let w be j(r). Suppose -2*m = w*g - 140, -347 = g - 6*g - 4*m. Is g a prime number?
True
Suppose -45608 = 43*f - 51*f. Is f composite?
False
Let m = 20398 + -13101. Is m composite?
False
Let f(a) = -a - 2*a**2 + 2*a + 5*a**2. Let n be f(1). Suppose -o - 3 = 0, 0 = -n*s - 2*o - o + 523. Is s a composite number?
True
Suppose 12*w + 107517 - 295713 = 0. Is w prime?
True
Suppose -4*j = 4*u - 770 + 1998, 3*j = 3*u + 891. Let l = u - -601. Is l prime?
False
Let o be 18*1 - (-4 + 2). Suppose 4*i + 8 - o = 0. Suppose -103 = -i*v - 4*c, 0 = 5*v - 2*c - c - 162. Is v composite?
True
Is -106 + 96 - -1*68987 prime?
False
Is (-6)/(4 + (-4697)/1169) a prime number?
False
Let x = 9 + -4. Suppose 0 = -x*j - 0*j + 5555. Suppose 0 = 5*d + m - 1116, 5*d + 0*m - j = 4*m. Is d prime?
True
Let j = 5796 + 671. Is j prime?
False
Let m(b) = 5*b - 6. Let o be m(4). Suppose -3*s - 2 = -o. Is (-230)/s*(-1 + -1) a composite number?
True
Let x = 84 - 80. Let j = 2744 + -1685. Suppose 554 + 881 = x*c + o, 0 = -3*c + 5*o + j. Is c composite?
True
Suppose -j - 2314 = -3*j - 2*c, -5*j = c - 5785. Is j composite?
True
Suppose -5*j + 4*n + 113777 = 0, j + 4*n - 2*n = 22761. Is j prime?
False
Suppose 0*w = -3*w + 5*z + 22154, -29582 = -4*w - 2*z. Is w a prime number?
True
Let i = -2003 + 3500. Let g = 2132 - i. Is g a prime number?
False
Let h = -273 + 276. Let w = -149 - -329. Suppose h*t - 8*t = -b + 230, -w = -b - 5*t. Is b composite?
True
Suppose -5*a - 21627 = -2*h, h - a - 11765 = -953. Is h a composite number?
True
Let v(o) = -68*o + 5. Suppose 1 = -4*l + 21. Suppose -r = -2 + l. Is v(r) prime?
False
Suppose -6*t + 28106 = 2828. Is t prime?
False
Suppose -38*o = -39*o + 933. Suppose -3*h + 3*p + o = 0, 5*h + 4*p = 1555 - 36. Is h composite?
False
Let r(g) = 2*g - 7. Let o be r(11). Suppose o*y - 14*y - 673 = 0. Is y composite?
False
Suppose 36*x - 27*x = 432441. Is x a composite number?
False
Let a(p) = 3*p + 10. Let i(b) = -6*b - 19. Let r(m) = 5*a(m) + 3*i(m). Let s be r(4). Is (-3)/(-6)*6 - s composite?
True
Let a be 1 - (-105)/10*4. Suppose -2*m + 4*v + 331 + a = 0, v = -4*m + 712. Is m prime?
True
Let l(i) = -9*i**3 + 11*i**2 + 2*i + 1. Is l(-4) a composite number?
True
Suppose 2*u = 5*i + 11419 + 61763, -3*i + 109815 = 3*u. Is u composite?
True
Suppose -71*l + 126148 = -117169. Is l prime?
False
Let w = -143 - -163. Is (w - -1304)*((-22)/(-8) + -1) prime?
False
Let l(d) = -2728*d + 7. Suppose -s - 4*o + 5 = 2*s, 0 = -2*s - o. Is l(s) composite?
True
Let h(g) = -g**3 - 11*g**2 - 14*g - 8. Let t be h(-9). Is (-3509)/t + 6/(-8) composite?
False
Let l(r) = -r**2 + 61*r + 20. Let w be l(29). Let j = -545 + w. Is j composite?
True
Let t be 27/(15/(-10) - -3). Let p be 4/t + 47404/36. Suppose -k - 4015 = -3*s, p = s - k + 6*k. Is s composite?
True
Let v = 158 + -374. Let j = v - -418. Is j composite?
True
Let b be (-1)/(3/3) + -140. Let r = 488 + b. Is r prime?
True
Let a be (-3 - 1) + 2 + -28. Is 4 - a/(-8)*(-4 + -104) prime?
True
Let k = 3 - -1. Suppose -k*v = -y - 5135, v - 4*y - 1428 = -163. Suppose f - u - 109 - 142 = 0, -5*f - 5*u = -v. Is f prime?
False
Suppose -23*p - 19*p = -347970. Is p prime?
False
Is 6*6/(-63) + 108550/14 prime?
True
Suppose 0 = 2*t - 2*h - 18, -3*t + 2 = -h + 3*h. Let x(p) = 30*p**2 + 2*p + 3. Let i be x(t). Suppose 5*z = 3 + 22, 3*y - i = -4*z. Is y composite?
False
Let m(p) = p**3 - 31*p**2 + 45*p + 14. Is m(31) a prime number?
True
Suppose -9 = -5*r + 1. Let b(f) = f**2 + 1. Let s be b(r). Is 3/s - (-4010)/25 prime?
False
Suppose -3*f = -f + y, 5*f + 5*y - 5 = 0. Is (1/f)/((-12)/8628) prime?
True
Suppose -1315 = -6*k - 361. Is k a composite number?
True
Let k(l) = 4117*l - 120. Is k(7) a composite number?
True
Let s be (-12)/20 + (-20464)/(-40). Is s + (2 - (5 + -1)) a composite number?
False
Let t(s) = -24*s + 9. Let g(k) = -49*k + 18. Let b(q) = -2*g(q) + 5*t(q). Suppose -20 = 2*m + j - 2*j, 2*j - 8 = 0. Is b(m) a prime number?
False
Suppose -g - 680 = 2*l, 5*g + 3*l = 5*l - 3340. Suppose 5*y + 1 = 4*j, -2*y + j = y + 2. Is y/(g/223 - -3) a prime number?
True
Let p(w) = -4514*w + 21. Is p(-4) a composite number?
False
Let x = 8 + -4. Suppose -q = 4*q, -x*a - 36 = 2*q. Is (-8)/(-36) + (-799)/a prime?
True
Let i = -19 - -22. Suppose 0 = y + 2*r - 643, 0*r + 1919 = i*y + 4*r. Is y prime?
False
Let b be ((-4)/(-3))/(2/6). Is (796/(-6))/(b/(-6)) prime?
True
Let h = -31768 - -62945. Is h a composite number?
False
Let u(f) = -2*f - 5. Let o be u(-4). Suppose -o*a + 79 = -338. Is a prime?
True
Is (-5878)/3*-15 + -7 composite?
False
Let i be ((-1)/2)/(11/(-154)). Is 1/(-7) + 1779/i prime?
False
Let a(l) = 310*l + 263. Is a(35) prime?
True
Let z = -114 - 284. Let y = z - -1045. Is y a prime number?
True
Let v(f) = -2*f + 3 - 13 - 4*f**2 - 9*f + 3*f**2. Let a be v(-10). Is (-1)/(-3)*(213 + a) a composite number?
False
Let p(u) = -5*u**2 - 26*u + 4. Let z be p(-5). Suppose 0 = -z*s + 12*s - 6051. Is s composite?
False
Suppose -79650 = -6*i + 9282. Is i prime?
False
Let v be -2*(-20)/4 - 0. Let j = -8 + 12. Suppose 2*u - 140 = -j*h + v, -u + 63 = 5*h. Is u prime?
True
Let u = -2 + 6. Suppose u*b - 5*b + 4 = 0. Suppose 5*p + b*a = 169, 10*a - 54 = -2*p + 5*a. Is p prime?
True
Suppose -3*j + 15047 = -247810. Is j composite?
True
Let h(r) = -r**2 + 4*r + 5. Let q(o) = -o**3 - 9*o**2 + 5. Let a be q(-9). Let s be h(a). Is (-1 - s)/1*-191 prime?
True
Suppose 5*t - 9002 = -3*h, -2*t - 5*h = -h - 3598. Is t a prime number?
True
Let h be ((-12)/9)/((-2)/(-6)). Let d(j) = 13*j**2 - j + 1. Is d(h) a prime number?
False
Let z(v) be the first derivative of -11*v**2/2 - 6*v + 3. Let r = -36 - -32. Is z(r) a composite number?
True
Is (-4679)/3*(-22 - (-4 + -9)) a prime number?
False
Let n(a) = 9. Let u(w) = w + 10. Let m