 + r**2 + 2*r + 1. Let z be l(2). Is -318*(-2 - -1) - z a composite number?
False
Suppose -23 = -k - c, -2*k + 30 = -4*c + 2*c. Is k prime?
True
Let p = 1739 - 642. Is p a composite number?
False
Suppose -337 = -5*t + 108. Is t prime?
True
Suppose 2152 = 5*n + 722. Suppose 791 = u + n. Is u a composite number?
True
Suppose 2*b - 8 = -0. Suppose 3*r + b*o = -0*r + 113, 4*o = 5*r - 167. Is r a composite number?
True
Let x(n) = n**2 - 4*n - 6. Let a be x(6). Suppose 0 = -0*f - 2*f + a. Is -53*(f - 2 - 2) prime?
True
Let o(b) = 2*b + 331. Is o(0) a composite number?
False
Let b(o) = -3*o**3 + 2*o**2 + 9*o + 11. Is b(-5) composite?
True
Let u(l) = l**2 - 14*l + 2. Let y be u(14). Let n be 0 - (1 - 0 - 40). Is y*n/2 - 2 a prime number?
True
Let a(y) = 5*y - 3. Let t(w) = -w**2 - 7*w - 5. Let q be t(-5). Is a(q) a composite number?
True
Suppose -i + 3*p + 0*p = -38, -i = -5*p - 34. Let m(w) = -w**3 + 10*w**2 - w. Let q be m(5). Suppose -4*j + q - i = 0. Is j prime?
True
Let j = 172 - -91. Let k = j - 113. Is k/8 + (-1)/(-4) a prime number?
True
Suppose -7583 = -8*m + 20985. Is m composite?
False
Is (-5554 + (2 - 2))/(10 - 12) a prime number?
True
Let q = -860 - -2643. Is q composite?
False
Let c(n) = 165*n**3 - 5*n**2 - 7*n - 5. Let o(f) = -82*f**3 + 2*f**2 + 3*f + 2. Suppose 5 = a - 0. Let k(t) = a*o(t) + 2*c(t). Is k(-1) a composite number?
False
Let w = 715 - 334. Is w a prime number?
False
Suppose -r = -0*r. Let l(p) = -p. Let z be l(r). Is 58/4*(4 + z) composite?
True
Let y be 8/(-28) - 144/(-14). Suppose j - y = -2*n, 0*n - 10 = -2*n. Suppose j = -b + 39 + 56. Is b prime?
False
Let u = -39 - -24. Let s = 1 + -3. Let n = s - u. Is n a composite number?
False
Suppose s + 1 - 6 = 0. Suppose -b = -5*b + 8, 3*w = -5*b + 4. Is 617/s - w/(-5) prime?
False
Suppose 0 = 2*t - 5*t - 9, p - 4*t = 205. Let a = p + 10. Is a composite?
True
Let o = 23 - 16. Let n(j) = j**3 - 8*j**2 + 6*j - 3. Let f be n(o). Is -2 + f*(-54)/4 prime?
False
Let h(o) = o**2 + 6*o + 3. Let a be h(-6). Suppose 0 = 5*n - n + z - 1793, a*n - 1332 = -5*z. Is n a prime number?
True
Let d(s) = 9*s**2 - 2*s + 22. Is d(9) composite?
False
Let y = -76 - -309. Let t = -166 + y. Is t a composite number?
False
Let n(q) = -q. Let v be n(-2). Let y(t) = -2 + 6*t - v + 3*t. Is y(9) a prime number?
False
Suppose 0 = -4*r - 4*h + 996, 235 = r + 4*h - 20. Is r a composite number?
True
Let g(j) = 10*j**3 + 2*j**2 + j. Let u be g(6). Is (u/24)/((-2)/(-8)) prime?
True
Suppose u + 1 = 7. Suppose -u*z = -7*z + 469. Is z prime?
False
Suppose h - 16 = 3. Is h a prime number?
True
Suppose 2*t + 78 = 2*i, t = 4*i + 3*t - 162. Is (i/14)/(2/7) composite?
True
Suppose 0*p + p - 15 = 0. Let q be p/3 - (-4)/2. Suppose n + w - q = 68, 4*w - 63 = -n. Is n prime?
True
Suppose 0*k + 4*k - 8855 = -5*h, 0 = 5*k + h - 11074. Is k composite?
True
Suppose 6*b - 8675 = b. Is b prime?
False
Let k(u) = -u**3 - 6*u**2 + u - 3. Suppose 0 = -2*b + 8. Suppose -s + b*s + 21 = 0. Is k(s) composite?
True
Suppose 0*c = 3*c + 12. Is 27/(-6)*c/3 a composite number?
True
Let t = -157 + 536. Is t prime?
True
Let k(m) be the first derivative of m**3/3 + m**2 - 11*m - 2. Is k(-8) a prime number?
True
Is ((-53)/(-2))/((-1)/(-2)) prime?
True
Suppose -6*c + 669 = -3*c. Is c prime?
True
Let h be 2/(-11) + 1773/11. Let b = h - 68. Is b a prime number?
False
Let w be (-143)/(-55) - (-4)/10. Suppose 25 + 28 = n - w*z, 0 = -4*z. Is n composite?
False
Let z(u) = -u**3 + 3*u**2 + 3*u + 4. Let j(m) = m + 7. Let k be j(-3). Let b be z(k). Suppose -5*o + 175 = -b*o. Is o a prime number?
False
Suppose 0 = 2*j - 2*k - 292, j - 414 = -2*j - 5*k. Is j a prime number?
False
Suppose -2*f + 5*w - 110 = 0, -3*w - 160 = 3*f - 8*w. Is (f/6)/((-3)/9) composite?
True
Let q(x) = -2*x**3 + 22*x**2 + 19*x + 34. Let t(n) = n**3 - 11*n**2 - 9*n - 17. Let o(z) = 6*q(z) + 13*t(z). Is o(12) a composite number?
True
Suppose 489 = 3*u + 3*n, 3*u + 2*n + 2*n - 493 = 0. Is u prime?
False
Is -4*(4 - 681/12) a prime number?
True
Let g = 3771 + -2674. Is g a composite number?
False
Let f(p) = p + 457. Is f(0) a prime number?
True
Is 20506/10 + 28/70 a prime number?
False
Suppose -o - 3*f + 10 = 2*f, 4*o = -5*f + 25. Suppose o*u - u = 1220. Is u prime?
False
Let w = 9 + -5. Suppose -5*t + 93 = -3*m, -w*m + 8 = -8. Is t prime?
False
Let m(c) = c**3 + 7*c**2 - 6*c - 16. Is m(-7) a prime number?
False
Suppose -2*k + 4 = -0*k. Suppose p = -4*j + 93, k*j + 106 = 3*p - 145. Is p composite?
True
Let i = -211 + 374. Is i composite?
False
Let x = 3 + -1. Let t be (x - 1) + 101 - -1. Suppose i = 4*j + 45, -4*i - 4*j + t = -i. Is i a prime number?
True
Let p(x) = x**3 - 5*x**2 + x - 2. Let f be p(5). Let s = -31 - -45. Suppose f*r - r = s. Is r a composite number?
False
Is (-5)/(-10)*6 - -220 a composite number?
False
Let p = -31 - -144. Is p a composite number?
False
Suppose -5*r + 336 + 899 = 0. Is r a prime number?
False
Suppose -2*l + l + 5 = 0. Suppose -m + 7 - 1 = 0. Suppose -4*s + w = -153, l*w + 56 = s - m. Is s a prime number?
True
Suppose 2*v + 5*p - 11626 = 0, -12*v + 13*v + 4*p = 5813. Is v a prime number?
True
Suppose -6*q + 20 = 4*l - 2*q, 5*l = -3*q + 21. Let m be 0 + 1/3*l. Is (106/(-4))/(m/(-2)) a composite number?
False
Let i be (2/2)/(-1) - -7. Let v = i - 3. Suppose 5*l + 5*d = 130, -v*l - 2*d + 35 + 42 = 0. Is l a prime number?
False
Let x = -5 - -8. Suppose 0 = 2*b + x*b - 415. Is b composite?
False
Suppose 0 = -0*r - r + 449. Is r a composite number?
False
Let n = 305 - 1930. Let i be n/(-4) - (-1)/(-4). Suppose 5*t - i = -51. Is t a prime number?
True
Let w(m) = 22*m + 13. Let t(o) = -44*o - 27. Let i(n) = -2*t(n) - 5*w(n). Is i(-9) composite?
True
Is 4 + 2*(-876)/(-8) a prime number?
True
Let o be -529*1*(4 - 3). Let z = o - -822. Is z composite?
False
Let p be -1*15/12*-4. Suppose -9 = -m + 5*w, 3*m - 43 + 6 = p*w. Is m composite?
True
Let h be 0/(-3) - (-1228)/1. Suppose 0 = -3*o, 3*o = -4*r + 4*o + h. Is r composite?
False
Suppose 10 = 4*h + 4*g + 2, -2*h + 5*g + 25 = 0. Let j(b) be the first derivative of 3*b**2 + 7*b - 4. Is j(h) a prime number?
True
Let a = 1277 - 720. Is a composite?
False
Suppose 2*s - s = 4. Suppose -y + s*h = -111, 0*y = 2*y + 4*h - 234. Is y prime?
False
Let n = -269 - -1554. Is n a composite number?
True
Let r(n) = -n + 4. Let j be r(2). Suppose -2*x + 644 = 5*x. Suppose -j*g + x = -262. Is g prime?
False
Suppose o - 3 = -2*o. Let r = 0 + -1. Is 49*o + 1 + r composite?
True
Suppose 46 = 2*j - 142. Suppose -64 = -4*m + 2*k, 0 = m - 6*m - k + j. Suppose 3*b - 5 = 5*y + m, -b - 4*y + 19 = 0. Is b a prime number?
True
Suppose -3*l + 1231 = -542. Is l a composite number?
True
Let i(d) be the first derivative of 6*d - 7/2*d**2 + 1 + 1/3*d**3. Is i(7) a composite number?
True
Let g = -1 + 1. Suppose 3*d + 3*q - 12 = g, d - q = 3*d - 9. Suppose 0 = 4*w + v - 53, -d*v = -5*w + 57 + 3. Is w a prime number?
True
Let j = 8 + -3. Suppose w = 5*i - i - 174, j*w + 802 = 3*i. Is 3/((24/w)/(-4)) composite?
False
Let v(h) = 4*h - 6. Suppose 0*y + 4*y - 24 = 0. Let q = y - -1. Is v(q) a composite number?
True
Let v(h) = -21*h - 5. Let d(k) = -k**2 - 5*k - 4. Let m(f) = f**3 - 9*f**2 - 10*f - 5. Let w be m(10). Let o be d(w). Is v(o) prime?
True
Let u = 4534 - -151. Is u a prime number?
False
Let h(q) = q + 389. Suppose -4 = -2*o - 5*d - 29, 2*o - 15 = 3*d. Is h(o) a prime number?
True
Let p be (-46)/14 + (-8)/(-28). Let u(o) = -8*o + 1. Is u(p) a prime number?
False
Suppose -4*f = 2*p - 1344, 0*f + 3*f = -4*p + 2663. Is p a composite number?
True
Suppose 0 = x - 6*x + 3385. Is x a composite number?
False
Let j be 13/(-4) + (-8)/(-32). Let x be 2/j*(-159)/(-2). Is (-7 - x)/(4/10) prime?
False
Let l(v) = 4*v**2 + 25*v + 13. Let q(y) = y**2 + 8*y + 4. Let b(n) = 2*l(n) - 7*q(n). Let x be b(8). Let s = 9 + x. Is s prime?
True
Suppose -2*a - 173 = -3*a. Suppose -3*n = -n + 4, -5*v = n - a. Is v composite?
True
Let o = -713 + 1382. Is o prime?
False
Suppose 5 = -3*k + 41. Is (-38)/3*(-18)/k composite?
False
Let w(s) = -11*s - 3. Let t be (-2)/4 + (-28)/8. Let p(i) = -11*i - 4. Let n(x) = t*p(x) + 5*w(x). Is n(-2) prime?
True
Suppose -4*q - 8 = -0*w + 4*w, -5*q - 16 = 2*w. Let k be w/6 - 10/(-6). Suppose 2*n = -3*h + 443, h - k - 135 = 2*n. Is h prime?
Fal