5*x - 21 = 178. Is b a composite number?
True
Suppose p - 496 = 3*c, 0 = 4*p - 4*c - 0*c - 1960. Is p a composite number?
False
Let t be -2 + 5 - (-2 - -1)*-1. Suppose -5*c - t*f + 3*f = -2215, 4*c + f = 1772. Is c prime?
True
Let w(a) = 6481*a - 11. Let m be w(3). Is 12/(-8)*m/(-12) a prime number?
False
Is 6/48 + (-2812205)/(-88) a prime number?
True
Let w(b) = -b**3 - b**2 - b + 30. Is w(-19) a prime number?
True
Suppose -4*x - 5*w + 31 = 6, 0 = 4*w - 20. Suppose -c + 208 - 81 = x. Is c prime?
True
Let g be -1 - -1 - 51*(-2024)/12. Let n = -5136 + g. Is n a composite number?
True
Let z(m) = -m**2 - 7*m + 6. Suppose -6*c = -2*c + 28. Is z(c) composite?
True
Suppose 23*x - 7*x = 146352. Is x composite?
True
Suppose 7*c - 591447 = -44*c. Is c a composite number?
False
Suppose -m = -5*l + 9*l - 31589, -4*l - 5*m + 31593 = 0. Is l a composite number?
True
Suppose 5*y + 9725 = 5*w, -3*w + 3462 = 4*y - 2338. Suppose 3*q - w = 7*q. Let n = q + 808. Is n a composite number?
True
Let z(s) = 17*s**2 - 12*s + 32. Let r be z(12). Suppose 4*o + o = 3*v + r, -2*v - 463 = -o. Is o a composite number?
True
Let z(m) = 3478*m - 519. Is z(5) composite?
False
Let t = 336 - -151. Suppose -4*m + t = -3105. Is m a composite number?
True
Let k = 5969 + -3996. Is k composite?
False
Suppose 0 = 28*l - 81*l + 823885. Is l a composite number?
True
Let t = 28 - 25. Let i(u) = 2*u - 2. Let w be i(t). Suppose 5*f - 853 = w*f. Is f prime?
True
Let h(x) = -879*x + 271. Is h(-8) a prime number?
False
Is (20/(-8))/(-5)*11678 composite?
False
Let w(b) = -6*b**2 - 3 + 4*b + 6 - 2*b**3 + 3*b**3. Let u be w(5). Is (225 - -3) + u + -3 a prime number?
True
Let s(r) = 4*r + 21647. Is s(0) composite?
False
Suppose -m - 3*m = 4*s + 1508, 1869 = -5*m - s. Let j = 6 - m. Is j prime?
True
Let p = 12734 - 2777. Is p prime?
False
Let i(f) = -8 - 125*f - 2*f**2 + 150*f + 15*f**2 - 3. Is i(-7) prime?
False
Let n(s) = -32*s**3 + 9*s**2 + 2*s - 2. Let r be n(-4). Suppose j + m + m = 440, -5*j = m - r. Suppose 0 = 3*q - 5*o - 801, -4*o + 169 = -q + j. Is q prime?
False
Let y(p) = -p**2 + 9*p - 13. Let s be y(6). Let f(m) = m**3 - 5*m**2 + 6*m + 2. Let i be f(s). Let d = i + 185. Is d prime?
False
Suppose -52 = -2*t - 3*s, 3*t + s - 97 = 6*s. Let f = t + -25. Suppose -821 = f*h - 4273. Is h a prime number?
True
Let b(u) be the third derivative of -u**6/120 - u**5/10 - 7*u**4/24 + u**3/2 - 45*u**2. Let s(w) = -9*w**3 + 2*w**2 - w. Let c be s(1). Is b(c) prime?
False
Let n be -4 + (0 - -3) + 3. Let l be -3 + n/(1 - -1). Is (1 - l - 2)*131 prime?
True
Suppose 2*z = -2*w - 13094, 3*w + 5484 + 7613 = -2*z. Is (z/(-40))/((-1)/(-5)) a prime number?
False
Is (38822/21)/((-10)/(-15)) composite?
True
Let c be 4 - 0*1/(-5). Suppose -d = c - 83. Is d composite?
False
Let k(o) = -2047*o + 1231. Is k(-24) prime?
True
Suppose -3*p = -12, 0*k - 5*k = -2*p - 16597. Suppose -3*x = 2*a - k + 270, x = -5*a + 7634. Is a a composite number?
True
Is (-490)/63 + 8 - 24901/(-9) a prime number?
True
Is (-12)/(-26) + (-9851905)/(-455) composite?
True
Let q(k) = -4*k**2 + 6*k**2 - 3*k**2 + 13*k - 2. Let j be q(12). Is j*(-23)/(-2) + 0 composite?
True
Let z(m) = 2*m - 2. Let a be z(3). Let x(t) = -1 + 10*t + 5 - 3 + a. Is x(9) composite?
True
Suppose 0 = 3*n - 5*q - 7657, 6*n + 3*q + 5106 = 8*n. Is n composite?
True
Let i(c) = 27981*c**2 + 3*c - 1. Is i(1) composite?
False
Let i = -3 + 15. Suppose c - i = 5*c. Is 11/(-33) - 634/c a prime number?
True
Let a be (2/(-4))/((-6)/(-24)). Let c(k) = 12*k**2 - 3*k + 1. Is c(a) a composite number?
True
Suppose 2251 = -w + 10413. Is w/6 + 20/30 a prime number?
True
Let n(a) = 1. Let u(f) = 69*f - 13. Let c(t) = -2*n(t) - u(t). Is c(-16) a composite number?
True
Let c(f) = 32*f - 30. Let t be c(-11). Is 4 - (t/2 - -1) composite?
True
Let z(g) = 20*g - 27. Suppose 0 = 5*p - 4*p - 16. Is z(p) composite?
False
Is (-44*(-1)/16)/((-2)/(-536)) a composite number?
True
Suppose 65*d - 102*d + 274466 = 0. Is d prime?
False
Let w(a) = a**3 - 19*a**2 - 21*a + 25. Let q be w(20). Suppose 2*g + 1356 = 4*t, -q*t - 4*g = -206 - 1463. Is t a composite number?
False
Suppose -8*q - 11620 = -34268. Is q prime?
False
Let f(m) = -m**2 + 3*m - 1. Suppose 2*g = -4*k - 6, -3*k + 0*k = -g - 8. Let o be f(k). Let t(x) = 186*x**3 - 2*x**2 + 1. Is t(o) composite?
True
Let y(q) be the second derivative of 101*q**3/6 + 4*q**2 + 11*q. Is y(1) a prime number?
True
Suppose 16*i = 14*i. Suppose -6*g - 122 + 9284 = i. Is g prime?
False
Suppose c + 4 = 0, 3*u + 0 = -3*c - 6. Let w(f) = -6*f + 9*f**2 + 9*f**u - 5*f**2 + f**3 - 5. Is w(-7) composite?
False
Suppose -23763 = -5*z - 4*r, 3*z - r + 14255 = 6*z. Is z prime?
True
Suppose 0 = -4*v - 3*h + 6275, 0 = v + 2*v + 2*h - 4707. Is v composite?
False
Suppose 6*q - 4 = 14. Suppose 0 = 4*n - 5*y - 4072 - 329, 3*y = -q*n + 3267. Is n composite?
True
Let b(r) be the first derivative of -5/2*r**2 + 5*r + 8/3*r**3 + 3. Is b(-8) a composite number?
False
Suppose 3*a + 49 = 2*a - 3*k, -a - 5*k = 45. Suppose 111 + 73 = -2*w. Let f = a - w. Is f prime?
True
Let f be -2 + 0 + -3 + 5. Suppose f = 2*t - 637 - 1641. Is t prime?
False
Is 1/(-2) + (-747)/(-2) a composite number?
False
Let o = 46421 - 31752. Is o a composite number?
False
Let l be 4/(-26) - (5 - 1570/65). Suppose -l*x + 18*x = -233. Is x composite?
False
Suppose -1240 = -4*z - r + 1146, -5*z + 2978 = -r. Is (15/(-20))/((-6)/4)*z a composite number?
True
Let u = 4303 - -7276. Is u a prime number?
True
Let m be ((-4)/(-16))/((-1)/(-52)). Suppose 0 = m*d - 3*d - 6940. Is d a composite number?
True
Let d(v) = v**3 - v**2 - 4*v + 901. Is d(0) prime?
False
Let b(q) = -q**3 - 6*q**2 - 5. Let x be b(-6). Let k = -5 - x. Suppose k = 3*v + 28 - 91. Is v a composite number?
True
Let f(b) = b**3 + 5*b**2 - 3*b - 4. Let i(h) = h + 9. Let m be i(-5). Suppose m*w = -4*k - 20, 2*w + 5*k = 5*w + 15. Is f(w) a composite number?
False
Let g be (1 + -1)/(9 + -8). Suppose -6*m + 1054 + 92 = g. Is m a composite number?
False
Let w(v) = v**3 + 6*v**2 + 2*v - 12. Let q be w(-5). Let k(u) = 875*u - 16. Is k(q) prime?
True
Suppose -28*f = -0*f + 14756. Let p = -2472 + 3490. Let l = f + p. Is l prime?
True
Suppose -3*y - 15 = 0, 4*z - 6*y + 11*y - 8371 = 0. Is z a composite number?
False
Let g be (-255)/60 + (-2)/(-8). Let v(s) = -49*s**2 - 5*s + 2. Let t(q) = 49*q**2 + 6*q - 3. Let a(b) = g*v(b) - 3*t(b). Is a(2) a prime number?
False
Suppose 7*b = 17*b - 7970. Is b prime?
True
Let r(t) = t**2 + 4*t + 5. Let l be r(-4). Suppose 5*b - 4*b = l. Let c(v) = -v**3 + 9*v**2 + 3*v - 6. Is c(b) composite?
False
Let q = -11 - -10. Is (-2 - q) + (216 - 4) a composite number?
False
Let b = -44033 + 98460. Is b composite?
True
Let s = 58 + -59. Is (1 - (-1 - s))/(8/296) a composite number?
False
Is (39/9 + -4)*4629 composite?
False
Let m(n) = -3*n**3 - 23*n**2 + 26*n - 55. Is m(-18) a composite number?
False
Let j = 111 + 81944. Is j a composite number?
True
Let o(f) = 3360*f + 13. Is o(2) prime?
True
Let m be 9352/21 - 2/(-3). Let u = m + -229. Is u composite?
True
Let h be (-66)/(-14) + (-8)/(-28). Suppose -3*o + 6*o = -h*j + 21, j - 9 = -3*o. Suppose o*t - 143 = 95. Is t prime?
False
Let w be ((-1495)/(-1))/(4/44). Suppose s - w = 3354. Is (-1)/(-6) - s/(-78) a composite number?
True
Let u(o) = -37*o**3 + o**2. Let p be u(-1). Suppose -4*g - b + 24 + 43 = 0, 4*b + p = 2*g. Let j(i) = i**3 - 17*i**2 + 6*i + 25. Is j(g) prime?
True
Let z = -95 - -56. Let a = 114 + z. Suppose -3*s + 2*g - a = -410, 218 = 2*s + 4*g. Is s composite?
True
Suppose -s - 2*s = -645. Is (-1)/(s/(-105) + 2) composite?
True
Let y(q) be the first derivative of 5*q**3/3 + 5*q**2/2 - 31*q - 9. Is y(10) composite?
True
Let y be (-2)/2 + (-1)/1. Let q be (-1)/y + 10/(-4). Let a(j) = 47*j**2 - j + 1. Is a(q) composite?
False
Let p(b) = b**2 - b - 1. Let x(u) = -2*u**2 - 25*u - 11. Let r(q) = p(q) + x(q). Is r(-13) a prime number?
True
Let w = 12 + 369. Is w prime?
False
Suppose -1705 + 7759 = 3*v. Is v a prime number?
False
Let j(s) = 69*s**2 + 2*s + 5. Let d be j(9). Suppose -6404 = -2*l + 2*h, -3*h = 2*l - 777 - d. Is l a composite number?
True
Let s be (4 - 174/30)/((-3)/10). Is s + -4 + -2 + 52 + 1 a prime number?
True
Let l be (1 - 3)*1 + 2152. Suppose 2*w - 1120 = 2*k - 42, 4*w 