 - 812. Let v = 1867 + s. Is v a prime number?
True
Let o(t) = -148*t**3 + t**2 + t + 1. Is o(-1) prime?
True
Let m(l) = l**3 + 8*l**2 + 3*l - 6. Let j be m(-7). Is (j/(-4))/((-7)/98) composite?
True
Suppose 811 - 2972 = -g. Is g a prime number?
True
Let l = -19 + 4. Let m = l - -37. Is m a composite number?
True
Let a = 5 + -9. Let p be (4/(-4))/(2/a). Suppose 3*r - r + 332 = p*x, 815 = 5*x - 2*r. Is x a composite number?
True
Suppose v + 3*v + d = 800, 0 = 2*v + 4*d - 414. Is v composite?
False
Let y = -2 + -25. Let l = -8 - y. Is l a prime number?
True
Let r(p) = -3*p - 4. Let s be r(-3). Suppose v + 12 = s*v. Is 3 + -2 - (-6)/v prime?
True
Suppose 0*w - s + 6928 = 5*w, -3*w + 4161 = 2*s. Is w composite?
True
Is ((-15)/(270/(-12)))/(2/5793) a composite number?
False
Is 31/(0/(-2) - -1) a prime number?
True
Let g be 2/(-4)*(-5 - -5). Suppose g = -2*k - 3*k. Let r(b) = -b**3 + 23. Is r(k) composite?
False
Let j = -3 - -2. Let t = -3 - j. Is ((-5)/(-3))/(t/(-66)) a prime number?
False
Let l(x) = 3 - 38*x - 5 + 1. Let i(b) = -b + 4. Let q be i(5). Is l(q) a prime number?
True
Suppose r + h - 47 = 105, -r = -2*h - 143. Is r composite?
False
Suppose -4*c + 10 = -10. Suppose 0 = c*r - r - 64. Suppose -3*d + r = -41. Is d prime?
True
Let i be (-2031)/(-9) - 2/3. Let a = -142 + i. Is a prime?
True
Suppose -530 = 2*w - 7*w. Let n = -71 + w. Let q = 30 + n. Is q a composite number?
True
Suppose -5*h + 2785 = -0*h. Is h prime?
True
Suppose -1469 + 3523 = 2*w. Is w prime?
False
Let n(c) = -7*c**3 - c**2 + 13*c + 3. Let d(x) = 4*x**3 - 6*x - 1. Let z(o) = 5*d(o) + 2*n(o). Is z(3) composite?
True
Let a(q) = -7*q + 9. Let l be a(-7). Let g = l - 23. Is g composite?
True
Suppose p + 2*p - 33 = 0. Suppose -60 + p = -j - 5*m, m = 3*j - 163. Suppose -v - v + j = 4*z, -z = 5*v - 162. Is v composite?
True
Let f = 719 + -384. Is f a prime number?
False
Let n be (1 - 1)/(1 + 0). Suppose n = -3*u + 150 + 405. Is u composite?
True
Is ((-2658)/(-12))/(2/4) prime?
True
Let o = 220 + -43. Is o a composite number?
True
Let m(r) = 35*r - 1. Let q be m(3). Suppose -408 = -4*j + q. Let n = j + -90. Is n composite?
True
Is ((-1906)/7)/((-2)/7) composite?
False
Let s(h) = h**2 + 7*h + 3. Is s(8) a composite number?
True
Suppose 5*k - 4*k = -6. Let c be k/(-2) + 95 + 1. Let u = c - 64. Is u composite?
True
Suppose 0 = -3*l + 3*w + 612, 4*l - 2*w - w = 817. Is l a prime number?
False
Is (3/(-6))/(2/(-1324)) composite?
False
Let b be (-6 + 1 + -1)*-1. Suppose -2*k - 4*r + 1 = -7*k, -4*k + 4*r - 4 = 0. Suppose b*s - 111 = k*s. Is s a prime number?
True
Suppose 1 = -4*r - 5*y - 2, y + 1 = -r. Let u = r - -23. Is u a prime number?
False
Suppose p + p + 4*q = 12, q - 2 = 0. Let u be (4 - p - 2) + -2. Is ((-5)/u)/((-2)/(-52)) a prime number?
False
Let g(p) = -p**2 - 9*p + 14. Let d be g(-10). Suppose -d*u + u = -117. Is u a composite number?
True
Let p = -94 + 134. Suppose 5*n - 1 = 2*n - 5*s, 5*s + 3 = -n. Suppose -4*z + n*b + 157 = -b, p = z - b. Is z composite?
False
Let p(j) = -j**3 + 6*j**2 + 6*j + 4. Is p(5) a composite number?
False
Let w = -71 + 120. Is w composite?
True
Let l = 410 - 283. Is l a prime number?
True
Let a be -3 + (-66)/((-6)/(-3)). Let o = 148 + -89. Let n = o + a. Is n a prime number?
True
Let y(x) = 8*x**3 + 6*x**2 + x + 2. Let k(j) = -12*j**3 - 9*j**2 - j - 3. Let u(f) = 5*k(f) + 7*y(f). Is u(-4) a prime number?
True
Suppose 0 = -3*s + l + 625, 3*s - s - 414 = -2*l. Let t = s - 125. Is t composite?
False
Let v(u) = -16*u - 4. Let d be v(-7). Let f = 185 - d. Is f prime?
False
Let d(f) = -7*f**3 + 2*f**2 - 2*f + 1. Is d(-3) composite?
True
Suppose 0 = -j + 3*u + 11, -u = 2 - 0. Suppose q + j = 1, -2*c = 3*q - 102. Suppose 3*r + 19 = i, -3*i + r + r + c = 0. Is i a prime number?
True
Let j(s) = 13*s. Suppose 0*r + 2*r - 10 = 0. Suppose -4*h + r = o, 0 = 3*h - 0*h - 4*o + 1. Is j(h) a prime number?
True
Let n = 144 + -70. Suppose -2*b = -5*o - n, -2*o + 4*o = -b + 37. Is b a composite number?
False
Suppose 0*u - w + 1 = u, 2*u - w - 2 = 0. Let k = 4 - u. Suppose 7*n = k*n + 236. Is n composite?
False
Suppose 4*i - 9*i = -925. Is i prime?
False
Is 446 + 1 + 1 + (3 - 2) a composite number?
False
Suppose -20 = -2*o - 2*o, -2*o = -x - 71. Let n = 696 + x. Is n a prime number?
False
Let v(u) = 4 + 0*u + 5 - 4 + u. Let f be v(-5). Suppose -6*d + 4*d + 158 = f. Is d prime?
True
Suppose 3*r - 2*h - 778 = 0, -r + 3*h + 371 = 114. Is 4/(-5)*r/(-8) a composite number?
True
Suppose a = 4*a + 3. Let g(c) = -27*c - 1. Let q be g(a). Let w = q - -9. Is w a prime number?
False
Let s be (6 - 6)*2/(-2). Is 4 - 830/(-2) - s prime?
True
Let d = -7 + 86. Suppose -c + d = -0*c. Is c composite?
False
Let c be 9*-3*3/(-9). Let z be (2 - (-3)/(-3)) + c. Let w(i) = -i**2 + 12*i - 10. Is w(z) composite?
True
Let n(h) = -2*h**3 - 9*h**2 - 4*h - 1. Let b = -17 - -11. Is n(b) a prime number?
True
Let g(k) = -1. Let t(u) = -u + 2. Let m(o) = 4*g(o) + 3*t(o). Let w be m(5). Let n = 18 - w. Is n prime?
True
Let c = 1051 - 266. Is c a composite number?
True
Let b = 7 + -7. Suppose -3*i + 57 = -b*i. Is i prime?
True
Is (0 + -2)*-1 + 33 composite?
True
Let f(u) = -35*u - 1. Is f(-2) a composite number?
True
Suppose 256 = 5*l - 1729. Is l a composite number?
False
Let p(o) = -o**2 - o - 1. Let s be p(0). Is (-2002)/(-35) - s/(-5) a prime number?
False
Let p = 125 + -28. Is p a prime number?
True
Suppose 3*w - w - 4*t = 338, 528 = 3*w + t. Suppose 8*a - 3*a = w. Is a a composite number?
True
Let p(h) = 4*h**2 + 6*h - 5 - 4*h**2 - h**2. Let g be p(4). Suppose -5*j - 6 = -g*j, j = 4*f - 55. Is f a prime number?
True
Let c(k) be the second derivative of 19*k**3/6 - k**2/2 - 29*k. Let h = -2 + 4. Is c(h) a composite number?
False
Suppose 2*d - 3*s = 2267, -3*s = 3*d + s - 3443. Is d a composite number?
True
Let o(h) = 271*h - 1. Is o(2) a prime number?
True
Suppose -27848 = -12*f + 4*f. Is f prime?
False
Let r = -7 + 13. Suppose 5*y - t = 331, -122 = 4*y - r*y + 3*t. Is y a composite number?
False
Let l be (-500)/(-6) - 24/(-36). Suppose -2*w - 6 = -l. Is w composite?
True
Suppose -7 = -2*s - 3. Suppose 123 = 2*z - 5*h, -s*z + 4*h + 76 + 42 = 0. Is z a prime number?
False
Let d = 141 - -37. Let w = d - 62. Let a = w - -41. Is a prime?
True
Let f be -1 - -142 - 0/2. Suppose f = i - 124. Is i a prime number?
False
Let x = -3 + 7. Suppose 520 = 3*z - 596. Suppose -4*g = x*f - 224, 5*g - z + 110 = f. Is g composite?
False
Suppose -38 = k + k. Let t = 137 + k. Is t prime?
False
Let l(p) = -4*p**3 - 2*p**2 - 3*p - 2. Is l(-3) a composite number?
False
Let y = -923 - -1786. Is y prime?
True
Suppose 5*m = 1737 + 5648. Is m prime?
False
Let g(h) = -h - 2. Let r be g(-10). Let a = r + -5. Suppose 2*w + 3*w - a*o - 598 = 0, 3*w - 3*o - 360 = 0. Is w composite?
True
Let w(m) = 685*m**3 + 2*m**2 - 2. Is w(1) a prime number?
False
Suppose 2*l - 407 = -5*p, 15 = -0*p + 5*p. Let n = l - 95. Suppose 5*k = 84 + n. Is k prime?
True
Let d be 6 - ((-1 - -3) + 1). Suppose 2*c - 50 = -d*c. Is 21*(c/3 - 3) prime?
True
Suppose f - 5*f = -596. Is f a prime number?
True
Let v = -2 - 10. Let b = v - -109. Is b a composite number?
False
Suppose 4*j + 3*o - 701 = 3*j, -2*o + 2844 = 4*j. Is j a composite number?
True
Let x be 0/((-2)/2) + 0. Let j be x/(-2 + 3)*1. Suppose -2*k + 67 = -2*i - i, j = 4*i - 4. Is k prime?
False
Let f(t) = 54*t**3 - 2*t**2 + t. Is f(1) composite?
False
Let h(v) = 50*v**2 - 4*v - 11. Is h(-5) prime?
True
Let t(q) = -q**3. Let n(k) = 3*k**3 - 9*k**2 + 6*k - 5. Let o(r) = -n(r) - 2*t(r). Let a be o(6). Suppose 3*d - a = 2*d. Is d prime?
False
Suppose -a - 6*x + 11*x = -25, -10 = 2*x. Suppose 4*z = -c + 3*c - 38, a = -4*z - 8. Suppose 104 - c = h. Is h a prime number?
True
Let i(a) = -5*a**3 - 12*a**2 + 3*a + 1. Let b(j) = j**3 + j**2. Let t(f) = 6*b(f) + i(f). Is t(6) a composite number?
False
Suppose n - 3*r + 4 = -5, 2*r = -4*n + 20. Suppose n*u - 2*i - 5 = -1, 7 = 3*u + i. Let p(o) = 18*o**3 + 2*o + 1. Is p(u) composite?
False
Suppose -5*c = -2125 - 1015. Is ((-1)/((-2)/c))/2 a prime number?
True
Suppose -5*d - 4*a + 505 = 0, 0*a = 2*d + a - 199. Is d a prime number?
True
Let i(u) = 337*u + 24. Is i(5) a prime number?
True
Suppose r + 4*r - 100 = 0. Suppose -2*h + 0*h = -r. Is ((-2 - -3) + h)*1 pr