 + 79*x**2/2 - 4*x. Is k(0) composite?
False
Suppose 0 = -3*j - 4*a + 65 + 140, 5*a - 273 = -4*j. Is j a prime number?
True
Suppose 0 = f + 3*l - 13, -3*f = 2*l - 4 - 0. Is (f - (-1 - 12))*3 prime?
False
Let y(m) = 7*m**2 + 2 + 4*m**3 - m - 5*m - 5*m**3. Let f be y(6). Is 1 + f + 128/2 composite?
False
Let m(p) = p**3 + 8*p**2 + 2*p - 7. Suppose 3*s = 3 - 21. Is m(s) prime?
True
Let d = 5 + 0. Suppose 0 = d*o - 5 - 5. Suppose l - 2*q + 6*q = 63, -o*l - 5*q = -138. Is l composite?
False
Let b be 0 + 2/2 + 0. Is (-1 - (-77 + -3))*b a composite number?
False
Suppose 0 = -0*x + 3*x + 2*k - 789, -2*k + 1054 = 4*x. Is x a prime number?
False
Let z(w) = -w**3 - 5*w**2 + 5*w - 8. Let s be z(-6). Is (-158)/4*s/1 a composite number?
False
Let m = -7 + 6. Let h(q) be the second derivative of 13*q**4/12 + q**3/6 + q**2/2 - 2*q. Is h(m) prime?
True
Let n = 204 + -145. Is n prime?
True
Suppose -5*o - 3*u + 6*u - 400 = 0, 3*u = -5*o - 400. Is (7/(-4))/(4/o) composite?
True
Let y = -1 - 13. Let v = y + 25. Let w = v - -14. Is w prime?
False
Suppose 4*y - 3*y = 0. Let f(a) = -a**3 + a**2 + 113. Is f(y) composite?
False
Suppose -5*t + 20 = 0, 3*a = 5*t + 329 + 356. Is a composite?
True
Let j(c) = -c - 4. Let q be j(-4). Suppose q*h + 3*h = 0. Suppose -p + 9 = -h*p. Is p a composite number?
True
Let a = 5 - 8. Let q be a/6 + (-6)/(-4). Is 3 - q - (-2 - -2) a composite number?
False
Let j be (-237)/12 + 1/(-4). Let f = -14 - j. Suppose 0 = -s - 0 + f. Is s a prime number?
False
Let r(i) = 11*i**3 + 1. Let o be r(1). Let q = o - -3. Is q a prime number?
False
Suppose -2*t + 70 = -p - p, p = 5*t - 19. Let v be (p/9)/((-2)/18). Suppose q = l - v, -4*l = l + q - 171. Is l prime?
False
Suppose 0 = 2*d - 3*d - 55. Let o = d - -101. Let c = o - 25. Is c a prime number?
False
Let m(t) = 6*t**3 + 3*t**2 - 3*t + 1. Let j be (12/(-2))/(-1) + -4. Is m(j) composite?
True
Let b(r) = r**2 - 7*r + 5. Let l be b(7). Suppose l*i = -2*i + 889. Is i composite?
False
Let y(i) = 1 - 4*i + 60*i**2 + 5*i**2 + 3*i. Is y(1) a composite number?
True
Suppose -7529 = -4*z - 3*a, a = z - a - 1885. Suppose -5*h - 1386 = -3*q, -3*h = 4*q + 2*h - z. Is q composite?
False
Let i = -1198 - -3849. Is i a composite number?
True
Let w = -161 + 100. Let x = w + -5. Let t = 133 + x. Is t prime?
True
Let f be 24/14 + 4/14. Is 2*105/6 + f a composite number?
False
Let b be (-1 - -5) + (1 - -1). Let z(t) = -t. Let f(g) = -g**2 - 3*g - 1. Let n(i) = -f(i) + 4*z(i). Is n(b) prime?
True
Suppose 4 = 5*v - 16. Suppose v*n + 1 - 5 = 0. Let u(f) = 66*f**3 + f**2 - f + 1. Is u(n) a prime number?
True
Let f = 2800 - -471. Is f prime?
True
Let u = -1 - 4. Let k be (-156)/(-8)*(-8)/6. Let z = u - k. Is z a composite number?
True
Let l(t) = -43*t - 4. Let w be (-3 - 0) + 2 - -11. Suppose -w + 0 = 2*n. Is l(n) composite?
False
Let x = -21 + 3. Is (-50)/x + (-2)/(-9) prime?
True
Let z(b) = 54*b - 1. Suppose -7*n - 5*k + 33 = -3*n, -7 = 4*n - 3*k. Suppose n*j = -3*j + 15. Is z(j) prime?
False
Suppose j - 6 = -2*j. Suppose 2*i - j*b - 7 = 1, -5*b - 12 = -i. Suppose 20 = -5*t, -i*a + 2*t - 6*t = -22. Is a a composite number?
False
Let q = 46 - -13. Is q composite?
False
Suppose -5*h + 42 = -5*c + 1087, 0 = 4*h + 5*c + 836. Let d = h + 472. Is d a composite number?
False
Suppose -3*p = -5*g + 2950, -2*p + 2925 = -0*g + 5*g. Is g a prime number?
True
Suppose -5*u - 3 = -3*y, 4*u + y = -0*u + 1. Suppose 2*g + 131 = h, u*h - 5*g = -2*h + 262. Is h a prime number?
True
Let c(r) = 43*r + 11. Is c(8) a prime number?
False
Suppose 3*m - 4*m - 4*o = -16, -8 = -2*o. Suppose m = -r - r. Is 20 - r - (6 - 5) a composite number?
False
Let t(b) = 6*b + 10. Is t(16) composite?
True
Suppose -5*y - j - 12 = 0, 4*y = 5*j - 1 + 3. Is 201*(0 + y/(-6)) composite?
False
Let w(d) = -d + 6. Let x be w(4). Suppose 5*j - 216 = 7*j. Is (-4)/(-4) - j/x prime?
False
Let q(b) = 5 + b**2 + 4*b + 2*b**2 - b**2 + 3*b**2. Is q(-4) a prime number?
False
Let u(i) = 114*i**2 + 3*i - 2. Is u(1) prime?
False
Let s(b) be the first derivative of b**3/3 + 3*b**2 + 7*b + 1. Let z(n) = n**2 + 6*n + 2. Let u be z(-3). Is s(u) prime?
False
Let r(c) = c**3 - c**2 + c + 2. Let n be r(2). Let u = n - -23. Is u a prime number?
True
Let c = 221 - -86. Is c composite?
False
Suppose 0 = 4*w + 3*r - 31 - 21, 5*w - 60 = -5*r. Is ((-21)/12)/((-2)/w) prime?
False
Let t = 140 - -83. Is t a prime number?
True
Suppose -12 - 13 = -5*c. Suppose 4*b - 65 = -c*u, u + b - 8 = 6. Is 140/3 + 3/u a composite number?
False
Suppose 0 = 6*l - 3*l - 6. Let c be ((-1)/l)/((-5)/(-40)). Is 1/c + 61/4 a prime number?
False
Suppose -325 = -3*d + 5*m, d - 5*m - 101 = -6. Let r = d - 78. Is r a composite number?
False
Suppose -2*d + d - 341 = -a, 0 = 2*a + 5*d - 703. Is a/16 - (-2)/(-4) a prime number?
False
Suppose -q + 3*q + 5*p - 2897 = 0, 0 = 3*q + 5*p - 4358. Is q a composite number?
True
Is 3 - (-247 - -1) - -2 prime?
True
Suppose a + i = 5*a - 10, 0 = -2*i - 4. Let c be (3 + 2)*a/(-5). Is c/6*(-200 + -1) a composite number?
False
Suppose -42 = -3*o + 4*g - 4, 20 = 3*o + 5*g. Suppose 4*z = o + 42. Is z a composite number?
False
Suppose -6 = -3*a - x + 4*x, -5*x - 3 = 2*a. Let w be 1 - a/(3/(-243)). Suppose -2*i + w = p + 20, 2*i - 2*p = 74. Is i a composite number?
True
Suppose 0 = -3*c + 6*c - 6. Let q(s) = 5*s**2 - 2*s + 3. Is q(c) prime?
True
Let v(b) = 4*b**2 - 17*b - 11. Is v(8) prime?
True
Suppose 2*r - r = -g + 104, r = -5*g + 120. Let q = 2 - 2. Suppose q = 6*l - 2*l - r. Is l a composite number?
True
Suppose 8*i = 4*i - 524. Suppose 2*b - 1056 = -4*k + 3*b, -2*k + 3*b + 528 = 0. Let s = i + k. Is s a composite number?
True
Suppose 0 = 3*r - 742 - 164. Let n = -181 + r. Is n composite?
True
Suppose 4*o + 6463 = 3*f, 5*f = 5*o - 84 + 10854. Is f a composite number?
False
Let a be 3/2*2 - 1. Suppose -5*v - 4*c - 20 = -a*c, -3*v = 3*c + 12. Let z = 3 - v. Is z composite?
False
Suppose -5*o + 2*t + 3390 = 3*t, -3*o - 4*t + 2051 = 0. Is o prime?
True
Suppose 0*w - 6020 = -4*x - 4*w, x - 1509 = w. Is x a prime number?
False
Let x be 0/(-1)*(-1 + 0). Suppose 2*i - 24 - 86 = x. Is i a composite number?
True
Let j = 181 - 40. Is j prime?
False
Let i(t) = -3*t - 3. Let u be i(-3). Suppose 4*k - 2*c + u = 58, k - 4*c = 6. Is k a composite number?
True
Let u(s) = s**3 + 8*s**2 + 5*s + 9. Let b be u(-8). Let t = -8 - b. Is t a prime number?
True
Suppose 0 = -5*g + g. Suppose -5*q = -5*s + 3*s + 60, g = 4*s + 2*q - 72. Let u = 43 - s. Is u composite?
False
Is 2678/6 + (-4)/(-6) prime?
False
Suppose 10 = 5*v - 0*v. Is v/(-3) + (-140)/(-12) a prime number?
True
Let f(x) = -52*x - 2. Let h be f(-1). Suppose -h - 727 = -3*t. Is t a prime number?
False
Let a be ((-4820)/16)/((-2)/8). Suppose 5*d - 1716 = -2*p, -5*d + 5*p + a = -525. Suppose -j + 2*j + 87 = q, -d = -4*q + 5*j. Is q a prime number?
False
Suppose 3*h - 2*p = -p + 70, -74 = -3*h - p. Suppose -h = -3*g + 42. Is g a prime number?
False
Let n = 3 - 2. Is (-39)/(-3) - 2 - n composite?
True
Let i(s) = -s**2 - 14*s + 3. Let n be (0 + -20)/2 + 0. Is i(n) prime?
True
Let v(d) = d**3 + 4*d**2 - 4*d + 3. Let k be v(-5). Is k/12 - (-2860)/24 a prime number?
False
Let p(s) = -3*s - 3. Let u be (3 + 3)/(-3) - 1. Let o be p(u). Is ((-3)/2)/(o/(-152)) composite?
True
Suppose 0 = 2*j - 753 - 1969. Is j a prime number?
True
Suppose 0 = 2*o + o - 6. Suppose 2*r - 572 = -o*r. Is r a prime number?
False
Suppose -3*z + 5*y + 201 = 516, 3*y - 409 = 4*z. Let x = -21 - z. Is x composite?
False
Let q = 1 - -1. Suppose y - 114 = 2*n, -n - 230 = -q*y + 2*n. Is y composite?
True
Suppose m = 3*m. Let c = -1 + m. Is -4*c*2 + -1 prime?
True
Let q(o) = -4 + 28*o + 0*o + 13*o + 1. Is q(4) a prime number?
False
Let p(d) = -104*d + 19. Is p(-11) prime?
True
Is 2682 + (-3 - 4/(-1)) a prime number?
True
Let x(t) = -t**2 - 14*t + 5. Let l be x(-7). Suppose 0*r = 4*r - 8, 0 = -3*y - 4*r - 97. Let u = l + y. Is u a prime number?
True
Let w(q) = 2*q. Let f be w(3). Is (-368)/(-10) + f/30 prime?
True
Suppose 32 + 0 = -4*y. Is (-1260)/y + (-2)/4 a prime number?
True
Let g be (-9 + 8)/((-2)/(-214)). Let x = g - -306. Is x prime?
True
Let r(n) = -2*n - 7. Let j be -10 - (0 + (-3)/3). Is r(j) a composite number?
False
Suppose 4*x = 3*c + 9, -x + 3*x + 13 = 5*c. Suppose 3*z + u + x = 