 + 4*f + 5147. Is f composite?
False
Let l be 2 + 5*(1 - 5). Let w = -10 - l. Let h = -1 + w. Is h a prime number?
True
Suppose s = -0*s + 1, -4*s - 4 = -4*u. Suppose 12 = -5*z + 2*z, -2*z - 1782 = u*l. Let h = 1905 + l. Is h a composite number?
True
Let o(d) = -13*d - 3. Let g be o(2). Let a = g - -25. Is -1 + 906/(-4)*a a composite number?
True
Let x = -3143 + 6964. Is x composite?
False
Suppose -4*u = -3*u, -40 = -2*y + 4*u. Suppose y*j = 24*j - 236. Is j a prime number?
True
Let a(m) = 4*m**3 - 4*m**2 + 4*m - 3. Let r be a(2). Let n = r - 21. Suppose 0*o + 3*o - 603 = n. Is o prime?
False
Let t(x) = -23*x + 4. Let s = 6 + -8. Let i be (-1)/(9/(-5) - s). Is t(i) a prime number?
False
Suppose -539 = -y + 3*u, 0*y = 4*y - u - 2101. Suppose 0*f - y = -4*f. Is f composite?
False
Let q = 0 - -8. Suppose -59 + q = -i. Is i composite?
True
Let t(c) = -2*c + 504*c**2 + 4 - 3 + 376*c**2 + 0*c. Is t(1) a composite number?
True
Suppose -5*p + 4484 = 2*t, 0 = -3*t + 2*p + 4317 + 2390. Is t a composite number?
False
Let n(i) = i**3 - 6*i**2 - 12*i + 13. Let p be ((-10)/(-20))/((-1)/(-4)). Suppose -s + 18 = -p*r, 5*s + 0*r = -r + 46. Is n(s) a prime number?
True
Suppose 2*q + 272 = -2*q. Let c = 589 + q. Is c a prime number?
True
Is 173064/45 - -1 - 114/(-855) composite?
False
Suppose 4*o + 21 = 61. Let p be o/3*3/2. Suppose 0 = 3*s + 4*l - 248 - 47, 5*l - 490 = -p*s. Is s a composite number?
False
Is (332157/63)/(1/3) a prime number?
True
Suppose 2*a = 10, -a + 17593 = -2*j + 6*j. Is j a composite number?
False
Let h be (-288)/13 - (-14)/91. Let x be (-9)/27 + h/6. Let v(f) = 19*f**2 + 4*f - 1. Is v(x) composite?
True
Suppose -f + 1 = 0, -g + 6*g - 3395 = 5*f. Suppose 6725 = 4*d + 5*p, -p = -d + 1008 + g. Is d a composite number?
True
Let v(y) be the third derivative of y**5/2 + y**4/24 - y**3/2 + 8*y**2. Is v(2) a composite number?
True
Is ((-2)/(-1))/(483000/(-43910) - -11) a prime number?
False
Suppose v + 202 + 359 = 0. Let y = 144 - v. Suppose -2*t + 2*s + y = -3*s, -4*s = -20. Is t a composite number?
True
Let c(s) be the second derivative of 14*s**3/3 - 17*s**2/2 - 11*s. Is c(7) a composite number?
False
Let d = -12 - -21. Let u = -6 + d. Is -2 + (-5)/(-1)*u a composite number?
False
Suppose 0 = -73*n + 83*n - 273490. Is n composite?
True
Let v(i) = 8 - 4*i**2 + 2*i**2 - 3 + 0*i - 4*i + 8*i**3. Is v(2) a composite number?
False
Suppose -23*h + 1053394 = -1186047. Is h prime?
True
Let y be (99/(-18) + 6)/((-1)/(-12)). Suppose -y*t - 3208 = -10*t. Is t a prime number?
False
Suppose -22*d + 20*d + 6 = 0. Suppose 387 = 3*f + d*y, f - y = 196 - 71. Is f prime?
True
Suppose -4*z = 3*h - 7539, z + 12565 = 5*h - z. Suppose 3*c = 3*r + c - h, -3*r - 5*c = -2485. Is r a composite number?
True
Suppose 33*d - 29*d - o - 176880 = 0, 4*d - 176872 = -o. Is d a prime number?
False
Let q(g) = -1206*g - 295. Is q(-7) composite?
False
Suppose o + 71403 = h, -2*h + 3*o = -h - 71411. Is h a prime number?
True
Let i be -14*(-3)/2*480/(-45). Let a = 427 + i. Is a composite?
True
Suppose -3*m + 99970 = 23*m. Is m prime?
False
Let o = -6335 + 8940. Is o a composite number?
True
Suppose -8 = -2*b + 8. Let r be -14 - 1 - (b + -7). Let q(j) = -32*j - 13. Is q(r) composite?
False
Let z = 10297 + -5970. Is z prime?
True
Let y(u) = -2*u - 6. Let h be y(-3). Suppose 3*x - k = 17, h*k = 3*k + 15. Suppose x*t - 3*r - 835 = 0, -4*t + 943 = 5*r + 84. Is t composite?
False
Suppose 0*d + d = -k + 373, k = -3*d + 363. Let o = -43 + k. Suppose 2*n - 554 = -2*z, -4*n = -5*z + o + 1050. Is z prime?
True
Let n(d) be the first derivative of 50*d**3/3 + 5*d**2 + 13*d - 2. Is n(-5) prime?
True
Is (-14)/8 + 156350/40 prime?
True
Let f(q) = 29*q + 34. Let g be f(9). Let w = g - 84. Is w a composite number?
False
Let a(z) = 11*z - 154. Let m be a(15). Suppose 0 = 5*l - 4*n + 862 - 3952, -l - 4*n = -594. Suppose 0 = 9*b - m*b + l. Is b prime?
True
Is 317511/10 - 9/90 a composite number?
False
Let t = 3 + 2. Suppose 0 = -0*o + t*o - 1895. Is o a composite number?
False
Let c(z) = -z**3 - 17*z**2 + 15*z - 290. Is c(-27) composite?
True
Let k(q) = -2*q - 18. Let c be k(-8). Let t(d) = -16*d**3 + 3*d + 5. Is t(c) a prime number?
True
Let d = 7356 + 810. Suppose 0 = 15*j - 9*j - d. Is j a prime number?
True
Let g(p) = p**3 - 7*p**2 + 4. Let d be g(7). Let h(a) = -34*a - 10. Let i(f) = f - 3. Let k(q) = -h(q) + 3*i(q). Is k(d) a prime number?
True
Suppose -3*p + 27708 = 9*p. Is p composite?
False
Let w(m) = m**3 - 10*m**2 - 37*m - 15. Let x be w(13). Suppose -h - 2 = -4*z + 7, -5*z = h - 27. Suppose -x*k = -h*k - 1420. Is k composite?
True
Let b = 7624 - 3885. Is b a composite number?
False
Let f be -3 + (100 - (-5 - -4)). Suppose -3*d + 13 = -f. Is d a composite number?
False
Let w = -39 - -37. Let n be 2226/w - (2 - 2). Is ((-7)/21)/(1/n) a prime number?
False
Let l(a) = 2*a**2 + 6*a. Let w be l(8). Let s = w + -79. Is s prime?
True
Let g be -835 + -3*4/(-6). Let f = 439 + -901. Let a = f - g. Is a a prime number?
False
Let v = -3508 - -19169. Is v a composite number?
False
Suppose 0 = 2*i + 7 + 1. Let q = 7 + i. Suppose q*j - 758 = -3*o - 2*o, -2*o - 1002 = -4*j. Is j composite?
False
Let h be (2/5)/((-6)/(-60)). Suppose -7 = -h*b + 9. Is b - -48 - (-1 + 2) a composite number?
True
Suppose -69 = 7*d - 706. Is d a prime number?
False
Let i(t) = -6*t**2 - 6*t + 1. Let z(x) = -13*x**2 - 13*x + 1. Let r(q) = -7*i(q) + 3*z(q). Suppose -5*c = -3*y + 45, -c = -7*y + 4*y + 33. Is r(y) composite?
True
Let l(t) = 3*t - 5. Let d be l(4). Let c be (d - 0) + 16 + -18. Suppose 0 = -3*f + c*i + 778 + 380, 0 = -4*f + 3*i + 1533. Is f a prime number?
False
Let o(a) = 3 - 5 + 1 + 122*a - 370*a. Is o(-4) prime?
True
Suppose -l = -0*l + 2*t - 3, -5*l + 5*t = -90. Let g = l - 12. Is g - (-17 + -1 + 0) composite?
False
Let i = -41 + 44. Is (i - 4)*15/(-5) composite?
False
Let p(q) = -q**3 - 3*q**2 + 2*q + 8. Let v be p(-3). Is (-87)/(0 - v - (-12 + 11)) a composite number?
True
Let c(p) = 3*p - 23. Suppose 5*w + h = 3*w + 31, 3*w + 2*h - 48 = 0. Is c(w) a composite number?
False
Suppose -3*s + 64 = -2*s - 5*m, 5*s + m = 268. Let r = s + 67. Is r prime?
False
Let s be (3 - 4)*1*-25. Let p = s - 23. Is ((-263)/(-2))/(1/p) a prime number?
True
Suppose 38*f + 4187 = 37589. Is f composite?
True
Let z = 1142 - 649. Is z a prime number?
False
Let j(d) = 303*d**3 - d**2 - 10*d + 13. Is j(2) a composite number?
True
Let h = 2304 - 1042. Is h prime?
False
Let r = -6292 - -13199. Is r a composite number?
False
Let n = 1121 + 698. Let m = 2730 - n. Is m composite?
False
Let f(g) = g**2 - 18*g + 27. Let j(b) = -2*b + 9. Let z be j(-3). Let o be f(z). Is (-3455)/(-45) - 4/o prime?
False
Suppose 5*a - 9 - 1 = 0. Suppose -a*b = -h - 251, -5*b - 3*h + 650 = 2*h. Is b a composite number?
False
Suppose 3*v = -6*v + 21744. Let o = -939 + v. Is o a prime number?
False
Suppose 171*w = 176*w - 241105. Is w composite?
False
Let z be (-120)/(-2)*5/4. Let f be (717/12)/((-3)/(-24)). Let w = f - z. Is w composite?
True
Let p(h) = 57*h**2 - 69*h + 11. Is p(-7) composite?
True
Suppose 227*l - 215*l - 198228 = 0. Is l a composite number?
False
Let l be (-29379)/(-9) + 4/(-12). Suppose -l = -3*u - 3. Is u prime?
True
Let s be (-92)/(-14) + (-15)/(-35). Suppose -t + 2521 = r, -4*t + 4*r - s*r + 10084 = 0. Is t prime?
True
Let h(l) = l**3 - 2*l**2 - 6*l - 10. Let s be h(4). Is (7237/s)/((-11)/22) prime?
True
Suppose -7*c + 390 = -2*c + j, c - 82 = -j. Let p be ((-132)/c)/((-4)/14). Is (5 - p)*(0 - 201) a composite number?
True
Suppose 4*a + y + 2*y = 2, 12 = 5*a - y. Suppose -a*o = -2*n - n + 2087, 2*n + 5*o - 1385 = 0. Is n composite?
True
Let w(t) = -2*t**3 - 8*t**2 - 3*t + 2. Let y be w(-6). Let f = y - 85. Is f prime?
True
Let y(n) = 1528*n + 1657. Is y(67) prime?
True
Let z = 13392 - 5063. Is z composite?
False
Suppose 3*i = 4*y - 13, -5*y + 5*i + 3 = -3*y. Suppose 0 = 4*c + 8*g - y*g - 6920, 3*g + 9 = 0. Is c composite?
False
Let x = 3 - 1. Suppose q - 4307 = -4*n, 2*n + 3*n = x*q + 5374. Suppose -146 = -2*i + n. Is i a prime number?
False
Let o be 6*(-3)/18*-8. Let c(a) = -a - 1. Let m(s) = -6*s - 7. Let l(n) = 4*c(n) - m(n). Is l(o) composite?
False
Let j be 2910/(-9)*21/14. Let o = j + 1606. Is o prime?
False
Let k = -50504 + 72233. Is k 