ite?
False
Let i(w) = -w - 1. Let f(o) = 5*o + 1. Let q(r) = -f(r) + 2*i(r). Is q(-8) a prime number?
True
Suppose t = -4*d + 19 + 126, -t - 5*d = -144. Is t a prime number?
True
Suppose -k = n - 485, k = 3*k + 5*n - 970. Is k a composite number?
True
Suppose 4 = -3*d - 2*b, -2*b = -0*b - 2. Let x(y) = y**3 + 4*y**2 + 2*y - 2. Let j be x(d). Let f(g) = 44*g - 3. Is f(j) a prime number?
False
Let o be (-1 - 0 - 9)*-1. Suppose -4*x = 5*a - x - 22, -a + 3*x - o = 0. Is 48 + a/(6/3) prime?
False
Suppose 5*o - 3*t - 262 = 0, -2*o - o + 2*t + 157 = 0. Is o a prime number?
True
Let b be 2/4 + 8565/6. Suppose 0 = 5*u - 582 - b. Suppose 2*v = -w + u, -426 = -2*v + 4*w + w. Is v a composite number?
True
Suppose -3*g = -r - g + 172, -5*g = 20. Suppose 5*b - 311 = r. Is b a prime number?
False
Let v(b) = 3*b - 6. Suppose -u + 2 + 3 = 0. Let j be v(u). Let l = j + 5. Is l a prime number?
False
Let n(z) = -z**3 + 5*z + 2. Suppose 0*w = 5*w. Suppose -f = -4*a + 11, f + w*a = 3*a - 9. Is n(f) a composite number?
True
Suppose 0 = -2*p - 3*p - 4*d - 957, -780 = 4*p - 4*d. Let f = -120 - p. Let j = 104 - f. Is j a prime number?
True
Let s = 94 - 46. Let k(t) = -t**3 - t**2 + 2*t. Let g be k(-3). Suppose s + g = 4*f. Is f a composite number?
True
Suppose 0*n - 3*n = 2*x - 5, 0 = -5*x + 5*n - 50. Let h = x - -9. Is ((-26)/h)/(2/(-52)) a prime number?
False
Let q(y) = 5*y**2 - 19*y + 16*y - 1 + 0. Is q(3) a composite number?
True
Suppose -2*m + 663 = -19. Is m a prime number?
False
Let n(f) = -17*f + 1. Let p(y) = -y - 1. Let z(w) = -n(w) - 2*p(w). Is z(10) composite?
False
Suppose -445 = 4*n + d - 6076, 0 = n + 3*d - 1394. Is n prime?
True
Let k(n) = 1 - n**2 + 0 + 0*n - 6*n - n. Is k(-5) a prime number?
True
Let d(s) = -s**3 - 6*s**2 + 7*s + 2. Let c be d(-7). Is ((-2)/(-6))/(c/24) prime?
False
Suppose 2*n + 2*n = 0. Suppose q + c = -n*c + 102, 4*c = 12. Is (q/(3/(-1)))/(-1) a prime number?
False
Suppose 0*r - 5*r + j = -281, 3*j = -r + 69. Is r a composite number?
True
Suppose -j - 24 = -2*n, 3*n + 0*j + 3*j = 45. Suppose 5*p + n = -2, 0 = -2*t - 4*p + 50. Is t a composite number?
False
Suppose 0 = -58*u + 63*u - 2435. Is u a prime number?
True
Let d(w) = 502*w**2 - 4*w - 5. Is d(-1) prime?
False
Let u = -11 - -7. Let y(g) = 2*g**2 - 6*g - 3. Is y(u) a prime number?
True
Suppose -4*x + 20 = -0*x. Is x/(25/2)*15 composite?
True
Suppose 6*k = 2*k + 1520. Let g = k + -195. Suppose 3*o - 5*c - 124 = 0, -2*c + 6*c + g = 5*o. Is o a composite number?
True
Suppose -9326 = -4*u + 3*l, 2*u + 4*l - 7*l = 4660. Is u a prime number?
True
Let o be (2 - 0 - 2)/2. Suppose o = -p + 3*p - 56. Is 1548/p + 4/(-14) a prime number?
False
Let o be 1 - (3 + (2 - 2)). Is o/3*-12 - -2 a prime number?
False
Let i(l) = l**3 + 8*l**2 - 11*l - 13. Let n be i(-9). Let k(d) = 3*d**3 - d + n*d**2 - 2*d**3 + 2 - d + 4*d. Is k(-4) a prime number?
False
Let i(s) = -s**3 - s**2 + s + 13. Suppose -3*v - 4*f + 12 = 0, -v - f + 3 = -0. Let p be i(v). Suppose 0 = -2*u + u + p. Is u a composite number?
False
Let k = -4 + 6. Suppose k*i - 6 = -x, 2*i - 19 + 3 = -2*x. Is x composite?
True
Let n(l) = 4*l**2 - 28*l + 37. Let p(t) = t**2 - 7*t + 9. Let w be 2 - 0 - -7*1. Let f(x) = w*p(x) - 2*n(x). Is f(7) composite?
False
Let b(v) be the third derivative of 13*v**5/60 - v**4/8 + v**3/3 + v**2. Let f be b(3). Suppose 0 = 5*i - 5 - f. Is i a prime number?
True
Let q be 13/4 - (-2)/(-8). Is q*((-1 - 0) + 6) a prime number?
False
Let g(q) = 7*q**3 + 12*q - 12. Let m(d) = -6*d**3 - 11*d + 11. Let s(k) = -5*g(k) - 6*m(k). Is s(5) prime?
True
Let d(k) = -709*k. Is d(-1) a composite number?
False
Suppose 25 = 2*k + 3*t, -4*k - k = 5*t - 70. Suppose 4*x = k - 5. Suppose m + x*m = 28. Is m a prime number?
True
Suppose -18*l + 19*l - 2153 = 0. Is l a composite number?
False
Let q be 1*1/(-2)*-8. Let w be q/1 + (-6 - -7). Suppose c = -5*z - 162 + 432, -134 = -3*z + w*c. Is z composite?
False
Let n(u) = -2*u**2 - 8*u - 2. Let y(p) = p. Let l(o) = -n(o) - 8*y(o). Suppose 2*t - 4 + 0 = 0. Is l(t) a prime number?
False
Let w = -14 - -19. Suppose -w*l - 345 = -1810. Is l composite?
False
Let n(y) be the third derivative of -y**6/120 + 7*y**5/60 + y**4/3 + y**3 - 3*y**2. Let a be n(8). Suppose -a = 2*v, 2*m = -2*v + 207 + 85. Is m a prime number?
True
Suppose 18 = b + 2*b. Is b prime?
False
Let q = 1262 + -883. Is q a prime number?
True
Let j(y) = y**3 - 5*y**2 + y - 1. Let t be j(5). Suppose -i = t*i - 815. Is i a prime number?
True
Suppose -5*t + 90 = -f, -2*t + 3*f + 23 + 0 = 0. Let k = -11 + t. Is (k/8)/((-1)/(-25)) composite?
True
Let d = -28 + 105. Is d composite?
True
Let d(t) = -3*t + 1. Let f be d(1). Let m be 3/(-1)*(f - -1). Suppose -2*y + m*y = 47. Is y a prime number?
True
Let d(p) = p**2 + 3*p. Let g be d(-4). Suppose 1 = 4*s + 3*b - 1, b + g = s. Suppose -s*f + 21 = -9. Is f a prime number?
False
Suppose 1 = 5*i - 14. Is ((-15)/i - -2) + 74 composite?
False
Let i be (9 + -7)*(58 - -1). Suppose -198 = 4*v + i. Let a = v + 246. Is a composite?
False
Let i = 906 + -365. Is i prime?
True
Suppose -1015 = 6*a - 11*a. Is a a prime number?
False
Suppose 4035 + 401 = 4*p - 2*m, p + m - 1115 = 0. Is p composite?
True
Suppose 5*q + 2 = -f - 2, -3*f - 5*q - 2 = 0. Is ((-3)/(-6))/(f/254) composite?
False
Let i(y) = 383*y**3 + y**2 - 2*y + 1. Let o be i(1). Let u = -268 + o. Is u composite?
True
Let q(a) be the first derivative of -3 + 19/2*a**2 + 0*a. Is q(1) a composite number?
False
Suppose -5*r + 27 = -5*z - 8, -r + 3*z + 5 = 0. Is (-4)/r + 766/4 composite?
False
Let j = 293 + -172. Is j a composite number?
True
Let q = 9 + -13. Let t = -3 - q. Is (9 - t)*7/4 composite?
True
Is (-7)/56 - 562/(-16) a prime number?
False
Let v = -20 + 22. Is -5*v*(-31)/10 a composite number?
False
Is (2 + 2/6)/((-2)/(-9822)) composite?
True
Let m = -10 + 16. Is (m/9)/(2/555) a prime number?
False
Suppose -4*v - t = t - 444, 3*v = 4*t + 355. Is v a composite number?
False
Suppose -8656 = -12*d + 4*d. Is d a composite number?
True
Suppose -4*j - 16 = 5*h - 0*h, 3*j = 4*h - 12. Suppose 2 = x - 2. Suppose -340 = -h*d - x*d. Is d composite?
True
Suppose 30*y = 34*y - 1180. Is y a composite number?
True
Let x(w) = 8*w**3 - 3*w**2 + 8*w - 6. Is x(5) a composite number?
True
Is 6/(-3)*1/(-2) - -258 a composite number?
True
Let s be (9 + 0)*(-8)/6. Let q = 13 - s. Is q a composite number?
True
Suppose 4*c = -4*w + 644, -457 - 66 = -3*c + 5*w. Is c a composite number?
True
Is 19369/35 - (-2)/(-5) a composite number?
True
Let z(r) = 14*r**3 - 4*r**2 + 2*r + 13. Is z(4) composite?
False
Suppose -2*w + 6598 = -2*g, 4*w + g = 2*w + 6598. Is w composite?
False
Suppose 0 = -m + 4*w - 10, -2*w = -m - 0*w - 4. Suppose 2 = -m*x + x. Let d(k) = -k**3 + k**2 - 2. Is d(x) prime?
False
Suppose -r + 491 = 4*l - l, -318 = -2*l + 4*r. Is l composite?
False
Let j be (-176)/(-33) - (-2)/(-6). Let c = -1 + 3. Suppose -u + c = -j. Is u a composite number?
False
Let c = 25 + -41. Is (c/(-24))/((-4)/(-474)) a prime number?
True
Let w(r) be the first derivative of r**3/3 - r**2 - 3*r - 4. Let p be w(4). Suppose -p*v - 25 = 0, -v - 42 = -t - 0*v. Is t a prime number?
True
Let g(s) = -5*s - 5. Let u be g(-7). Suppose 0 = p - 2*j + 4*j - 17, 2*p + 3*j = u. Is p a prime number?
False
Let x be 6/9*3 - 0. Suppose 0 = x*s - 7*s + 15. Suppose -s*z = -5*f + 30, 1 + 17 = 3*f - z. Is f a prime number?
False
Let w = 58 - 133. Let t = 108 + w. Is t a prime number?
False
Suppose 3*x = -3*l + 6552, 4*x + 11*l = 8*l + 8735. Is x prime?
False
Let k(o) = 3*o**3 + 2*o**2 - 2*o. Let t be k(-2). Let a = t + 34. Is a composite?
True
Suppose 0 = -4*r + 5379 + 2753. Is r prime?
False
Suppose -2*q - 305 = -4*f + 3*q, -2*f + 157 = -q. Suppose 5*n - 430 = -5*p, 5*p = n - 0*p - f. Is n a composite number?
True
Let o = -86 + 235. Is o a prime number?
True
Suppose -q - 9 = -4*q. Is (q/6*314)/1 composite?
False
Let b = -57 + 31. Is b/4*(-4 + 2) a prime number?
True
Let p(c) = c**3 + 25*c**2 + 15*c + 33. Is p(-24) a composite number?
True
Let y be 4/(-2) + 84/1. Let a = 67 + y. Is a composite?
False
Suppose -n + 2*n - 14 = -3*z, -2*n + 3*z = 8. Is (-195)/(-2) + (-1)/n a prime number?
True
Let m(i) = -i**3 + 8*i**2 + i - 6. Let q be m(8). Suppose -q*j = -j - 679. Is j a composite number?
True
Supp