3*d - 2*t - 137 = 0, -2*t + 155 = -3*d - 2. Is (-28)/d - (-34219)/7 a composite number?
False
Let o = -123 + 83. Is (-447)/4*o/15 prime?
False
Let g = 13 + -7. Let a be ((-5)/(5/g))/(-2). Suppose 0 = -r + a*y + 137, 2*y - 4 = -8. Is r a composite number?
False
Suppose -62*o + 57*o = 1560. Let h = o - -719. Is h a composite number?
True
Let q(o) = 1 + 1 - 8 - o. Let f be q(-4). Is f*3/(-6) + 234 a composite number?
True
Suppose 5*g + 11 = -3*x + 32, -3*x - 6 = -4*g. Suppose 0 = -7*y + 4*y + 69. Let f = y - x. Is f a prime number?
False
Let l = 7245 + -2884. Suppose -10*v + 1509 + l = 0. Is v a prime number?
True
Let g(s) be the first derivative of 14*s**3 - 2*s**2 + 5*s + 4. Is g(3) composite?
True
Let c = -13097 + 23626. Is c a prime number?
True
Let s = -3163 - -4433. Suppose 0 = 10*v - 6*v. Suppose v = 4*w - 2*w - s. Is w composite?
True
Let f = 0 - -2. Let t(a) = 2*a - 3*a - 4 + f*a + 1 + 3*a**2. Is t(-3) prime?
False
Suppose 3*q = -2*u + 10039, 3*q - 2737 - 7277 = 3*u. Is q prime?
True
Let s = -3 + 6. Let h be (-1)/(1/(-3)) - s. Suppose -2*l + 6 = 0, -k + h = -3*l - 10. Is k prime?
True
Let x = 11 - 6. Suppose -x*p + 62 = -4*p. Is p composite?
True
Suppose -4*t + 3*q + 14 = 0, 3*t = t + 5*q + 14. Suppose -t*x = -v, -5*x + 2 = -3. Is (-2)/(-8)*526*v a prime number?
True
Let q(p) = -2886*p - 53. Is q(-3) a composite number?
True
Suppose 38*g - 2784628 = -6*g. Is g prime?
False
Let l(z) = z**2 + 21*z. Let k be l(8). Let y = k - 90. Is y prime?
False
Let j(q) = q**2 + 6. Let l be j(4). Suppose 3*t - l - 965 = 0. Is t a prime number?
False
Suppose 60*d - 62*d = -9694. Is d a composite number?
True
Suppose -209 = -4*i + 887. Let q = 645 - i. Is q prime?
False
Suppose 0*x - 3*x = 2*d - 4, -2*x + 16 = 4*d. Suppose -d*w - 15 = 0, 3*q = -w - w + 747. Is q a composite number?
False
Suppose b - 639 = -3*c, -9*b + c = -4*b - 3243. Suppose -3*f - 2*f = 5*p + 1465, 2*p + f = -586. Let a = p + b. Is a a prime number?
False
Suppose 42584 = 4*m + 2*n, -2*n - 34258 = -5*m + 18963. Is m a prime number?
False
Let p = -2929 + 4550. Is p a prime number?
True
Suppose 0 = 5*n + g - 95, 57 = 2*n + n + 2*g. Let q = 507 + n. Is q prime?
False
Let t(p) = -p**3 + 33*p**2 + 100*p + 23. Is t(32) a composite number?
True
Let y(j) = -j**3 - 2*j**2 - 4*j + 1. Let m be y(-3). Let b = m - 5. Let n = 174 + b. Is n prime?
True
Suppose 4*x = 4*z - 16908, -7*x = -3*x. Is z prime?
False
Suppose -v + 4 - 2 = -3*r, 4*v - 5*r - 22 = 0. Let f(i) = i**2 - 7 + v*i - 3 + 0*i**2. Is f(-16) a prime number?
False
Let x = 1151 + 672. Is x composite?
False
Let f be (-2)/9 + 1148*140/72. Let o = f + -1037. Is o a prime number?
False
Let g(j) = j**2 + 1. Let t(f) = 8*f**2 + 4*f - 10. Let l(k) = -g(k) + t(k). Is l(8) a prime number?
False
Let i = -8317 - -14706. Is i prime?
True
Let n = -35 + 315. Let r be (54/(-5))/((-12)/n). Let f = -131 + r. Is f a composite number?
True
Suppose -69*i = -72*i + 333. Is i a composite number?
True
Let y = 17 + -7. Let c be (5/(y/4))/1. Suppose -2*g + 4*g - 3*k = 17, 2*k = -c. Is g a prime number?
True
Suppose -p - 3*u + 1843 = 0, -47*p + 3*u - 5529 = -50*p. Is p a prime number?
False
Let d(w) = 56*w + 8. Let h(o) = -o - 1. Let f(k) = d(k) + 3*h(k). Is f(22) prime?
True
Let z = 2992 + -6022. Let h = -1688 - z. Suppose -1 - 7 = 4*j, -4*i = 3*j - h. Is i composite?
False
Suppose -4*a - n = -4606, 0 = 4*a + 3*n - 7*n - 4596. Is a composite?
False
Let a = -15805 - -23100. Is a composite?
True
Let j(n) = 7*n**3 - n + 2. Let w(f) = f - 9. Let p be w(6). Let i be j(p). Let h = -131 - i. Is h composite?
False
Suppose -76*s + 81*s - 4*x - 71014 = 0, 4*x = -s + 14222. Is s composite?
True
Let x(o) = -o**3 - 5*o**2 - o - 13. Let a(q) = q**3 + 4*q**2 + 14. Let r(j) = 3*a(j) + 4*x(j). Is r(-12) a composite number?
True
Suppose 237*v - 244*v + 187313 = 0. Is v composite?
False
Suppose -5*p = -27 - 3. Is (0 - 1)/(p/(-5898)) prime?
True
Let l = -9 + 11. Suppose -4*u - 10 = -38. Suppose u*o - l*o = 235. Is o a prime number?
True
Let b be -14*(23 - (2 - 2)). Let k = 598 + b. Suppose 4*s - 8*s = -j - k, 3*s = -5*j + 207. Is s composite?
True
Let j(x) be the second derivative of -x**5/20 - x**4/4 + x**3/2 - 2*x**2 + 5*x. Let n be j(-4). Suppose n = 4*m - 469 - 39. Is m a prime number?
True
Is 2*(-5)/20*(-3356)/2 a prime number?
True
Let f(w) be the first derivative of w**2/2 + 21*w - 4. Let j be f(-12). Is 1 - -26 - (j + -7) a composite number?
True
Suppose 5*m + 2*z - 3*z = 1323, 5*m - 5*z = 1335. Suppose -2*n - m = -5*q - 0*n, 66 = q + 4*n. Is -1*(-4 - -3) + q a composite number?
True
Let c(q) = -21*q + 6. Suppose -51 = -4*k - k - 4*o, 5*o = k - 16. Let t be c(k). Let m = 26 - t. Is m a composite number?
False
Let l = 6 + -3. Let f be (-4)/l*9/(-6). Suppose 3*i - 277 = -q, -5*q - i + 823 = -f*q. Is q composite?
True
Let d = 1 + -1. Suppose 48*c - 47*c - 907 = d. Is c a composite number?
False
Suppose 3*g + 5 = -7. Is (2/g)/((-3)/18978) composite?
False
Let z be (9164/(-145))/(2/(-35)). Let b = z + -627. Is b a composite number?
False
Suppose -16*j + 16 = -12*j. Let c(p) = -p**3 + 5*p**2 - 4*p. Let a be c(j). Suppose a = -3*h - h + 132. Is h prime?
False
Let x = 112 + -108. Suppose x*d + 5*d = 5697. Is d composite?
True
Let s(w) = -74*w + 20. Let g be s(-15). Suppose 0 = y + g - 3949. Is y a prime number?
True
Suppose -15 = -4*l + l. Let o be (-2)/((-3)/612*3). Let a = l + o. Is a a composite number?
True
Let w(l) be the third derivative of l**4/24 - l**3/2 + 2*l**2. Let p be w(6). Suppose 5*k - 4*o = k + 308, -p*o = -6. Is k composite?
False
Let k(r) be the second derivative of 7*r**5/20 - r**4/6 - r**3/2 - r**2/2 - r. Suppose -5*m = -m - 12. Is k(m) a prime number?
False
Let f(c) = -7*c**2 + 7*c - 7. Let v(p) = 15*p**2 - 14*p + 13. Let s(z) = -5*f(z) - 2*v(z). Is s(-12) a composite number?
True
Let d(k) = 3*k + 3 - 2 + 0 - k**2. Let s be d(5). Is -1 - s/(9/20) composite?
False
Suppose 14 - 2 = 3*l. Let f(u) = 97*u - 29. Let c be f(5). Suppose l*s = 172 + c. Is s composite?
False
Let h(o) = 4*o**2 - 8*o - 1. Let a be h(6). Let n be 38209/a - (-1)/(-5). Suppose -4*v + 1177 = 5*i, -5*i + n = 5*v - 773. Is i composite?
True
Suppose l - 4 = 0, -4*l - 254 = -4*v + 2182. Suppose 13*w = 12*w + v. Is w composite?
False
Suppose 3*f + 0 = 30. Is f/(-15) + (-168980)/(-12) a composite number?
False
Suppose 3*y - 3882 = 18477. Is y prime?
False
Let n = 3 - -10. Let a(c) = 2*c**2 - 5 - 2*c + n*c + 0*c. Is a(-8) composite?
True
Let y(t) = -t**2 - 9*t - 6. Let u be y(-8). Suppose o - 4*b - 160 = -15, -o + 143 = -u*b. Is o a prime number?
False
Suppose -12*y + 7*y + 6925 = 0. Let j = y - 984. Is j a prime number?
True
Is 57636/3 - (-182)/26 a prime number?
True
Let l(r) = -r**3 - 7*r**2 + 9*r + 11. Let w be l(-8). Suppose -19 = w*n - 4. Is (252 - -3) + n + 3 a composite number?
True
Let i(v) = -v**3 - 6*v**2 + 4. Let m be 0/(-1 - 1 - -3). Suppose -x - 1 - 6 = m. Is i(x) a composite number?
False
Let g be (144/108)/(4/8223). Let s be (-69)/15 + (-4)/10. Is s/20 - g/(-4) prime?
False
Let g(t) = -t**2 - 11*t - 8. Let y be g(-9). Suppose -y = 4*a - 9*a. Is ((-1)/(-1) - a)*-109 a composite number?
False
Suppose 0 = -22*o + 32*o - 168230. Is o a prime number?
True
Let d(p) be the first derivative of p**5/20 + 7*p**4/6 + 5*p**3/6 - 17*p**2/2 - 5*p + 6. Let h(u) be the first derivative of d(u). Is h(-12) a composite number?
False
Let a be (0 + 25/(-3))*3. Let s = -26 - a. Is 463 - (8/(-2) - s) composite?
True
Let p(y) be the second derivative of 61*y**4/6 - 5*y**3/3 + 13*y**2/2 + 4*y + 2. Is p(-4) composite?
True
Let z(w) = w**2 + w - 3. Let p be z(-4). Let i(v) = 6*v - 19 - 2*v + 3*v + p*v. Is i(8) composite?
False
Let g be (-1)/6 + (-266)/(-84). Suppose g*l - 90 - 9 = 0. Is 17/(l/15 - 2) a prime number?
False
Let w be 3/2*154/(-63)*-3. Suppose 6*b - 2*b = -2*u - 6, 4*u - 53 = 5*b. Let v = w - u. Is v prime?
False
Suppose 8*v = 4*v. Let x = v - -4. Suppose -b + 153 = -0*b - 4*q, 3*b = -x*q + 523. Is b a prime number?
False
Suppose 13*p - 15*p = -2240. Let k = p + -335. Is k composite?
True
Suppose 20 + 76 = 3*x. Suppose -5*m + 132 = n, -2*n - n = m - x. Is m a prime number?
False
Let l(k) = k**3 + 4*k**2 - 6*k + 2. Let o be l(-5). Let g(r) = 82*r**2 + 3*r - 4. Let p be g(-3). Suppose -o*q + 3*q = 4