 -3*k, -k - 5*m - 1 = -2*k. Suppose k*f - 8368 = -1666. Is f a prime number?
True
Suppose 0 = -17*v - 102427 + 367610. Is v a composite number?
True
Suppose -i + 7 = 5. Let l be (3 + -4)/(-1 + i). Is 4/4 + (-58)/l a prime number?
True
Let t = -609 + 1196. Is t prime?
True
Let f(o) = o**3 - 14*o**2 + 14*o + 21. Is f(22) a composite number?
False
Let h = -34 + 92. Suppose -2*k = -472 - h. Is k a prime number?
False
Suppose 3*c - 32 = 2*m, -5*c + 3*m + m = -52. Is (835/4)/(3/c) a composite number?
True
Suppose -2 = q + 2*u - 6, -3*u - 7 = -5*q. Suppose 0*k = q*k + 2*c, 2*k = -5*c. Suppose k = -5*i - 4*v + 1553, 572 = 5*i + 5*v - 983. Is i prime?
False
Let v(q) be the third derivative of -257*q**4/24 + q**3/2 - q**2 + 7. Is v(-2) composite?
True
Let h(u) = 4*u**3 - 2*u**2 + 12*u + 7. Let p(x) = -2*x + 13. Let o be p(9). Let k(g) = -g**3 - g. Let r(b) = o*k(b) - h(b). Is r(9) a prime number?
True
Let t = -11 + 17. Let b = t + 34. Suppose 34 = 2*o - b. Is o prime?
True
Let g(h) = 6*h + 9. Let x be g(-4). Let b = x - -18. Is (b - (-34)/(-4))*-14 a composite number?
True
Is ((-8282)/(-5) - 36/(-60)) + 0 prime?
True
Let n be (-117)/(-4)*4/1. Suppose -4*l = 3*c + 3, 4*l - 5*c - 5 = -0*c. Suppose l = -5*a, a - n = -3*j - a. Is j composite?
True
Let d = 17 + -17. Let n be (-2)/(1 + 1)*d. Suppose 4*m + 5*s = 789, 0*m + 5*m - s - 950 = n. Is m a composite number?
False
Let g(k) = 6*k**2 - 12*k + 163. Is g(31) prime?
True
Suppose -c + 2 = r - 2*c, 5*c = -r - 10. Suppose -2*p - 4*p = r. Is (p/3)/2 - -791 prime?
False
Let r = 1189 + 1634. Is r a prime number?
False
Is 2155122/36 - -3*2/(-4) composite?
False
Is 11189 + (8 - 16) + 2 a prime number?
False
Suppose 0 = -15*y + 11*y - 324. Let s = 10 - y. Let v = s + -54. Is v a composite number?
False
Let f(l) = -l**3 + 12*l**2 - 10*l - 11. Let d be f(11). Suppose d = 3*a - 0*a - 15, -a - 140 = -r. Is r a composite number?
True
Let u(h) = 24*h - 1. Let b be (6 - 3)*(0 + 1). Let r be ((-4)/b)/(2/(-3)). Is u(r) composite?
False
Let t = 26770 + -5337. Is t composite?
False
Let p(z) = 365*z**2 - 12*z + 3. Suppose 11*j = -5 + 27. Is p(j) composite?
False
Let u be (-4)/(-1*(-3)/(-996)). Is (-10)/(-30)*(u - -1) composite?
False
Suppose 6*p + 4348 = 1522. Let r = -4 - p. Is r prime?
True
Suppose -11*z + 138912 = 39791. Is z a composite number?
False
Suppose 4*o = -4*n + 2260, 4*o = n + 693 + 1567. Is o a composite number?
True
Suppose 315 = 3*r - 636. Is r prime?
True
Is (-4)/((-16)/150) - 129/(-258) a composite number?
True
Let i(n) = -n**3 + 4*n**2 + 9*n + 1. Let r be i(-7). Let w(k) = -40*k**3 + 4*k - 4. Let z be w(2). Let d = z + r. Is d a prime number?
False
Let j(r) = 2463*r + 134. Is j(15) a composite number?
True
Let g(w) = -w - 5. Let v be g(-8). Suppose c - 12 = -2*c, 0 = 4*p - v*c. Suppose 4*a - 71 = -f, 5*a = f - p*f + 130. Is f a composite number?
True
Suppose 11*t = -0*t + 5907. Suppose 8*l = t - 1. Is l a composite number?
False
Let c(x) = 2*x**3 - 8*x**2 - 2*x - 13. Let u be 4/(0 + 6/9). Is c(u) composite?
True
Suppose 5*p - 3*w = 123772, 24750 = 2*p - p - 5*w. Is p composite?
True
Is (-1 - -8)*11879/7 a prime number?
False
Let a(k) = -k**2 + k. Let h(w) = 41*w**2 + 3*w - 4. Let t(y) = -4*a(y) + h(y). Let s be t(3). Let i = -129 + s. Is i a prime number?
True
Let b = 9 - 4. Suppose 0 = b*y + 420 - 50. Is -1*3/6*y a prime number?
True
Let r = -19 - -21. Suppose 5*w - 12 = 3*f, f + 3*w = -r*f - 12. Is 3/4 + (-41)/f prime?
True
Let x(o) = o - 1. Let k be x(7). Suppose k*q - 9*q + 2667 = 0. Is q a composite number?
True
Let n = -7807 - -27648. Is n a prime number?
True
Suppose 4*n = -n - 2*r - 5920, -n - 5*r - 1161 = 0. Let a be (-1)/((-2)/n + 0). Let u = -326 - a. Is u prime?
False
Suppose -4*u + 16 + 52 = 0. Let s = -13 + u. Suppose -s*n - 3365 = -5*b, -2*b - 3*n = -3*b + 662. Is b a prime number?
True
Let s(f) = -86*f + 29. Suppose a = -y - 16, -4*y - 68 = -2*a + 7*a. Is s(y) a composite number?
False
Let o(z) = 440*z**2 + 2*z + 1. Let h = -2 - 0. Is o(h) a composite number?
True
Suppose 6*r + 6 = 7*r. Suppose -r*y + y + 2005 = 0. Is y a composite number?
False
Let k(g) = -43*g + 24. Let t be k(-7). Suppose 0 = -o - 2*b + 190 + t, -520 = -o + 3*b. Is o a prime number?
False
Suppose -7*y = 10*y - 62747. Is y a prime number?
True
Suppose -20 = -5*r - z + 5*z, -4*r + 2*z + 10 = 0. Suppose -a = -3*g - r*a + 9, -12 = -4*g - 3*a. Suppose g*i = 2*i + 211. Is i prime?
True
Let b = 9383 + -18899. Is 6/10 - (b/15 + 0) a composite number?
True
Let b(a) be the first derivative of 3*a**2/2 - 7*a - 4. Let o be b(3). Suppose -o*m - 873 = -5*m. Is m a composite number?
True
Suppose 309*w - 317*w + 408776 = 0. Is w a composite number?
True
Let v(h) = -31995*h - 309. Is v(-4) prime?
False
Let y be ((-4)/1 - 4)/2. Let m = 4 + y. Suppose -5*d + m*b + 2525 = -3*b, 4*d + b = 2003. Is d a composite number?
True
Suppose -4*i = 5*w - 56961, -5*w + 56965 = 490*i - 485*i. Is w a composite number?
True
Let r = -9325 - -18560. Is r a prime number?
False
Suppose -47091 = b + 2*m - 187292, -b + m + 140186 = 0. Is b prime?
True
Let q(h) = 78*h**2 + 18*h + 65. Is q(-17) a prime number?
False
Let g(m) = -30*m + 15. Let k be g(-17). Suppose -5*l - k = -4*h - 104, -2*l = 5*h - 551. Is h a composite number?
False
Let u = -771 + 1418. Is u a prime number?
True
Let x = 10 + -53. Let u = 144 - x. Is u a composite number?
True
Let o(v) = -v**3 + 18*v**2 - 16*v + 18. Let f be (16/(-4) - 9)/(-1). Is o(f) a prime number?
False
Let i(m) = 2*m - 15. Let k be i(9). Is 679 + 6/k - -4 a composite number?
True
Is 1011003/93*(1 + 0) prime?
False
Let r(c) = c**3 - 11*c**2 + 9*c + 13. Let p be r(10). Is (113/p)/((-5)/(-105)) a composite number?
True
Suppose 15 = -6*v + 69. Is 304 + (10/3 - 3/v) prime?
True
Is 33723/24 + 1*2/(-16) a composite number?
True
Let v(r) = -3*r - 4 + 3*r**2 + 3*r + 33*r**2 - 3*r. Is v(-1) a prime number?
False
Let k = 39 - 21. Suppose -2*m - 3*m - k = -3*i, m - 12 = -2*i. Let u(c) = c**3 + 2*c**2 + 6*c + 7. Is u(i) a composite number?
False
Let i(o) = 3*o**3 + 19*o**2 - 13*o - 47. Is i(12) prime?
True
Let o = -391 - -394. Let u(x) = -x**3 - 4*x**2 + 3*x + 4. Let b(q) = -q**3 - 9*q**2 + 5*q + 8. Let r(v) = 3*b(v) - 7*u(v). Is r(o) composite?
True
Let i(m) = 2*m**2 + 4*m + 3. Let q = -125 + 88. Let z be q/(-3) + (-2)/(-3). Is i(z) a prime number?
False
Is 7044 + (-7)/28*-4 a composite number?
True
Let b(h) = 141*h**3 + h**2 - 6*h + 9. Let w be b(6). Let m be (-6)/4 - w/(-30). Suppose 5*n = 4*v + 13 + m, 3 = -v. Is n a prime number?
False
Suppose 5*r - 4*r = 14. Let n(h) = -5*h**2 - 4*h**2 + 3*h**3 - 1 - 4*h**3 + r*h. Is n(-11) a composite number?
True
Let d(c) = c**2 + c + 65. Is d(-45) composite?
True
Suppose -r + 2*s + 204 = 0, -s + 189 = 2*r - r. Is r prime?
False
Suppose 0 = 11*d - 27568 - 17125. Is d composite?
True
Is (91 - (-7 + 5)) + -2*2 prime?
True
Suppose 8215 = 4*b - 5893. Is b prime?
True
Let q = -7 - -2. Let n(w) = w + 8. Let v be n(q). Suppose -v*z = -31 - 35. Is z prime?
False
Suppose -20 = -3*f + s + 3*s, 4*s - 12 = -5*f. Suppose p - 43 = -2*x, p - x = f*x + 50. Suppose -4*q - 124 = -3*g + p, -4*q - 228 = -4*g. Is g composite?
False
Is 1/(12/295518*5/10) prime?
True
Let m(k) = 2*k**2 - 3*k. Let x be m(2). Let c be x - -8 - (0 + -1). Suppose -c*i + 8*i = -249. Is i a prime number?
True
Suppose -19*p + 12316 = -15*p. Is p composite?
False
Let h be (-6)/24 - (-33530)/8. Suppose -45*i + h = -42*i. Is i a composite number?
True
Let z(r) be the second derivative of 19*r**3/2 + 14*r**2 - 29*r. Is z(9) a composite number?
False
Let c be ((-2)/2)/(8/(-24)). Suppose 308 + 1411 = c*r. Is r a composite number?
True
Let i(a) = -65*a + 9. Let m(u) = u - 30. Let w be m(14). Is i(w) a composite number?
False
Suppose 13878 = 2*j - 4*f, 14*f - 16*f = -2. Is j composite?
True
Suppose -1720*n + 1713*n = -23947. Is n a prime number?
False
Let g(z) be the third derivative of -z**6/120 - 17*z**5/60 + 11*z**4/24 - 17*z**3/3 - 7*z**2. Is g(-19) prime?
True
Let c(y) = -115*y + 695. Is c(-24) a composite number?
True
Let k be (-9)/1*(-2 + 3)/(-1). Suppose k*q - 414 = 3*q. Is q composite?
True
Suppose 0 = f - 0*f - 189. Let x = 626 - f. Is x a prime number?
False
Let m(y) = -5680*y - 155. Is m(-10) a composite number?
True
Let c(a) = -4*a**3 