 2*v + 3*k - 30852. Let t = 10338 - v. Is t/(-45) - 2/10 prime?
True
Let l(d) = 6*d + 11. Suppose y - 2*y = -3. Suppose y*p + 32 = 4*j - p, 2*j - 4*p - 16 = 0. Is l(j) prime?
True
Let w be (-4)/(-2)*(-1494)/4. Let o be 2103/(-2)*((-51)/(-9) - 7). Let h = o + w. Is h prime?
False
Let f = -7181 + 14128. Is f a composite number?
False
Let f = -49 - -52. Suppose 4*p + 62 = 5*p - h, p - 52 = f*h. Is p a composite number?
False
Let q(g) = 49*g**3 + 6*g**2 - 2*g - 5. Let f be q(5). Suppose -y + 874 = -v + 2122, -5*v + f = -y. Is v a composite number?
True
Let c = 82 + -102. Is (-5)/c + 2/(16/8918) a prime number?
False
Suppose 911 = -2*f + 79. Let i = f + 629. Is i prime?
False
Let c be 76/(-2)*(-390)/20. Suppose c = 3*n + 2*h, n = 2*h + 370 - 115. Suppose 0 = 8*y - 5*y - n. Is y prime?
True
Let g be 2 - 1288/(3*(-8)/(-36)). Let x = 4083 + g. Is x composite?
False
Let f(v) = 45*v**2 + 6*v + 31. Is f(10) prime?
True
Let i(n) = 1130*n**2 - 11*n + 60. Is i(5) a composite number?
True
Suppose 4277 - 33 = 4*m. Is m a prime number?
True
Let t = -44 - -44. Suppose t = -x + 47 + 102. Is x a composite number?
False
Let y be 24/(-8) - (596 - 0). Let q = y - -1086. Suppose -s + 2*s = q. Is s prime?
True
Let y(m) = 4873*m - 103. Is y(6) a composite number?
True
Suppose -57*g + 58*g = 2*w - 50983, 0 = w + g - 25484. Is w a composite number?
True
Let s = 5963 + -3040. Is s composite?
True
Suppose -218 = -p - j, 3*p + 8*j = 6*j + 654. Let m = 235 + p. Is m composite?
True
Let n(f) = -2*f**2 - 2*f + 7. Let r(c) = c**2 + c - 3. Let h(y) = -2*n(y) - 5*r(y). Let l(j) = 5*j**2 - 7. Let w(q) = 4*h(q) + l(q). Is w(5) prime?
True
Suppose -5*r + 3*o - o = -44521, 44506 = 5*r + 3*o. Is r a prime number?
False
Suppose -4*p = 2*w - 54842, 10*w - 4*p - 27439 = 9*w. Is w prime?
True
Let k be ((-938)/(-21))/((-4)/(-6)). Is ((k + 0)/1)/((-2)/(-22)) a composite number?
True
Let b = -10195 - -14300. Is b prime?
False
Let w = -12662 + 29535. Is w a prime number?
False
Let q(s) = s**3 - 9*s**2 + 8*s - 3. Let m be q(8). Let b = 10 + m. Let z(i) = 7*i - 2. Is z(b) a prime number?
True
Let k(v) = -2*v - 6. Let d be k(-13). Let r = d - 36. Let o = 103 + r. Is o composite?
True
Suppose -3*n + 3*d + 84 = 0, 5*n + 2*d = 3*d + 152. Let r(c) = 6*c**2 - 43*c - 16. Is r(n) a prime number?
False
Let z(n) be the first derivative of 29*n**2 + 17*n - 75. Suppose 5*w - 25 = -0*w. Is z(w) prime?
True
Let g be 4/14 - (-10)/(-35). Suppose a - 10 + 1 = g. Suppose 0 = s - a - 2. Is s a composite number?
False
Suppose 10534 = 6*n + 3994. Suppose -5*d - t + 10975 = 0, -5*d = -t - 9885 - n. Is d prime?
False
Suppose 119 - 874 = 5*v. Let k = 1968 + v. Is k prime?
False
Let l = 425 - 0. Let s = -266 + l. Is s a composite number?
True
Let s = 175 + -88. Suppose 5*k - 250 = -5*h, 5*h + k = 2*k + 244. Suppose -h = -4*x + s. Is x prime?
False
Let w be (-279)/(-99) + (-4)/(-22). Suppose -w*u = u + 5*v - 207, -u + 3*v = -56. Is u composite?
False
Let i = 2177 - 1229. Let f = 551 + i. Is f a prime number?
True
Let g(m) = m**2 + 8*m - 26. Let t be (0 - 1)*18 - -4. Is g(t) a composite number?
True
Let a(u) = -10*u**3 + 4*u**2 - 8*u + 3. Is a(-4) a prime number?
True
Let b = 45125 - -87792. Is b a composite number?
True
Let a = -158 - -159. Let h = -2 + 3. Is 105 + a + (-2 - h) prime?
True
Let r(v) = v - 5. Let y be r(9). Let f be 0*(-5 + 1)/y. Suppose f = 4*q - q - 867. Is q a composite number?
True
Let o be (-2)/(-6)*(-135)/(-15). Suppose 3*u + 3*f - 2829 = 0, 0*u + o*u + f = 2829. Is u prime?
False
Suppose -x = -2*o - 5*x + 216, 3*o + x - 304 = 0. Let p = o - 53. Let n = 8 + p. Is n prime?
False
Let y = -998 - -2641. Is y a composite number?
True
Let h(u) = -3*u - 13. Let s be h(-5). Is -3 - (-535 - 1)/s a composite number?
True
Let b(l) = -l**3 - 5*l**2 - 5*l - 4. Let t be b(-4). Let a be t + 2 + 3 + -2. Suppose 0 = -3*v + v - 4*q + 306, -3*v + 462 = a*q. Is v a composite number?
True
Suppose 3*h = 104 - 89, 3*h = 3*r - 143790. Is r a composite number?
True
Suppose 0 = -2*p - 3*p - 5, 3*q + 2*p - 457 = 0. Suppose -7*w - q = -10*w. Is w prime?
False
Let c = -276 + 197. Let m be 26*(1 + -1 + -1). Let l = m - c. Is l prime?
True
Let m = -363 - -940. Let n(a) = -a**3 + 11*a**2 - 8*a - 6. Let s be n(7). Suppose -m = -u - s. Is u a prime number?
True
Suppose 0 = -5*f - 0*f - 15. Let y be 384/9*f/2. Let v = 155 + y. Is v composite?
True
Let z(p) be the second derivative of 7*p**5/10 - p**3/3 + 5*p**2/2 - 2*p. Suppose -3 = 2*v + 4*g - 5, -5*v + 2*g + 17 = 0. Is z(v) prime?
False
Let l be 0/(0 - 1 - 0). Let p = 94 + 136. Suppose 2*g + l = p. Is g prime?
False
Let q(t) = 176*t + 174. Let a be q(-8). Let y(z) = 257*z + 1. Let b be y(-2). Let x = b - a. Is x a prime number?
False
Let i be 317/((-78)/(-180) - (-1)/(-2)). Is i/(-5) - 5/(20/(-8)) a composite number?
False
Suppose 0 = 5*c - w - 589504, -5*c - 4*w + 41248 = -548261. Is c a composite number?
True
Suppose -z + 0*z = 1, z = 3*y - 874. Let a = -82 - y. Let s = 530 + a. Is s a composite number?
False
Let i be 115/25 - 3/5. Suppose -n = i*n. Suppose -w - 5*w + 1122 = n. Is w prime?
False
Let f(z) = -2235*z + 2. Suppose 0 = p + 4*s - 11, -3*s - 3 + 8 = 4*p. Is f(p) prime?
True
Suppose 0*h = -2*h - 3366. Let j = -1120 - h. Is j a composite number?
False
Suppose 282774 = 2*u + 5*f, 4*u + 5*f = -0*u + 565568. Is u a composite number?
False
Suppose -536 = -2*x + 1004. Suppose 3020 = 4*m + 4*h, -m - 4*h - x = -2*m. Let g = m - 381. Is g prime?
False
Let j(a) = -a + 2. Let s be j(0). Suppose -t = s - 6. Suppose 5*v + 76 + 95 = u, 4*u = t*v + 748. Is u a prime number?
True
Let q = 13 + -3. Let m(z) = -z**3 + 10*z**2 - z + 13. Let f be m(q). Is 0 + 0 - f - -62 a composite number?
False
Suppose -22731 = -3*q + a + 5284, a + 18678 = 2*q. Is q a prime number?
True
Let w = -1054 + 2411. Is w composite?
True
Let h = -4086 + 18319. Is h composite?
True
Suppose -5*y + 775 = -515. Let b be -3 + y - 12/3. Is b - (-3 - -7)/(-2) composite?
True
Let h(z) be the third derivative of z**5/60 + 5*z**4/8 - 5*z**3/6 + 33*z**2. Let k(o) = o**3 + 5*o**2 - 6*o + 7. Let i be k(-6). Is h(i) prime?
True
Suppose -31*o = -27*o - 42644. Suppose -16*h = -9*h - o. Is h a prime number?
True
Let r(o) = 97*o**2 + 2*o + 10. Let q = 1 - -2. Is r(q) a prime number?
False
Let h(f) = 13*f**2 + 88*f - 19. Is h(-18) a composite number?
False
Suppose -57 = -o + 17. Suppose -204 + 33 = -9*l. Suppose -l = -3*x + o. Is x a prime number?
True
Let g = 7563 - 4012. Is g composite?
True
Suppose 2*q - 41 = 3*p, -q - 3*q + 2*p + 102 = 0. Suppose 282 - q = 2*i. Is i prime?
True
Let r = -4652 - -15225. Is r composite?
True
Let w(k) = -3*k**2 + 8*k + 9. Let t be w(8). Let o = t + 1098. Is o a composite number?
True
Suppose 5*l = -5*y + 675, 5*y - 283 = -4*l + 390. Is y prime?
False
Suppose -5*y = -5*j - 117650, 4*y + 15*j - 94121 = 18*j. Is y composite?
False
Let t be ((-17)/(-17))/(-1*(-2)/(-276)). Is t/4*56/(-12) composite?
True
Let b = 7 + 2. Let y = b + -18. Is y*(530/6)/(-5) prime?
False
Let w be (-12 - -6) + (0 - 2). Let c = w + 11. Is c/((-24)/(-20))*58 composite?
True
Suppose 2*f - 11 - 11 = 0. Let q(u) = 5*u - 4*u + 6*u + 46 - 58. Is q(f) a composite number?
True
Let r(v) = v**3 - 4*v**2 - v - 1. Let s = 59 + -53. Is r(s) a composite number?
True
Let g be (-9)/6*30/(-9). Suppose g*w + 2*z = -0*z - 7, 2*w - 2*z = 0. Is (w + -88)/(1 - 2) composite?
False
Suppose -8123 = -4*t + z, t + 10156 = 6*t + z. Is t a composite number?
True
Let l(c) be the first derivative of 35*c**3/3 - c**2 + 3*c + 23. Is l(2) composite?
False
Let t = 9143 - -5000. Is t a composite number?
False
Suppose -3*z = -5*i + 2*z + 75, 6 = 2*z. Let y = i + -18. Suppose -5*w + 204 + 1051 = y. Is w a prime number?
True
Let k = 1690 - -361. Is k prime?
False
Let i = 12 + -20. Let y be i/(1*(-1)/(-2)). Let d = y + 49. Is d prime?
False
Is (16/24)/((-2)/(-19911)) composite?
False
Suppose 148065 = 13*o - 72662. Is o a composite number?
False
Suppose i - 51 = -4*b, 0 = -4*i + 3*b - 34 + 238. Suppose -i = -10*n + 4819. Is n a composite number?
False
Suppose -4*u - 41330 = -8*u - 2*i, -4*u + 3*i = -41315. Is u composite?
False
Is ((-1)/2)/((-62)/257052) a composite number?
True
Suppose -14*q = -13*q - 515. Let h = 126 + q. Is h a composite number?
False
Suppose s