. Is j a prime number?
True
Suppose 4*s + 3*d - 16 = -d, -4*s - 5*d + 20 = 0. Is s + (0 - -47) - 1 a composite number?
True
Let y = 59 + -10. Let u be ((-3)/2)/(2/36). Let g = y + u. Is g prime?
False
Let m = -47 - -1324. Is m prime?
True
Let g be (-2*3)/(12/(-8)). Suppose -g*j + 0*j = -644. Is j a composite number?
True
Let i(z) = 2*z**2 - z - 6. Let v = -2 - -12. Suppose 7*u - v = 2*u, -x + u = 7. Is i(x) a composite number?
True
Let l be 4/8*4 + 0. Suppose -215 = -l*t + t. Is t prime?
False
Let u be (-16)/6*18/12. Let x(t) = 44*t - 3. Let n be x(u). Let v = 306 + n. Is v prime?
True
Is 712/6 + 10/(-15) composite?
True
Suppose 5*c + 3*t - 796 = -0*c, 5*t + 464 = 3*c. Is c prime?
False
Let o(p) = -p**2 + 14*p + 10. Is o(12) composite?
True
Let d = 361 + -123. Suppose -4*o + 5*f + 464 = 0, -o + 3*o - f - d = 0. Is o a prime number?
False
Suppose 21 = -2*h + 5*h. Let n(m) = -m**3 + 5*m**2 + 3*m + 1. Let i be n(h). Let l = 13 - i. Is l a composite number?
False
Let w(b) = -b**2 - b + 4. Let l be w(4). Let p = l - -28. Let u = -5 + p. Is u a prime number?
True
Let p(h) = -h**2 + 7*h + 756. Let j(x) = x**2 - 6*x - 755. Let u(b) = -5*j(b) - 4*p(b). Is u(0) a composite number?
False
Let d(a) = 44*a - 2. Let g be d(2). Suppose h - g = o - 2*o, 5*h - o - 424 = 0. Is h a prime number?
False
Let v be 723/6 + (-2)/(-4). Let u = 16 + -16. Is v - ((0 - u) + 2) composite?
True
Suppose -2*s = 3*s + 10. Is (-1042)/(-1 + 1 + s) prime?
True
Let x be (-4)/(-34) - 402/(-51). Suppose 3*r - 3*y = -x*y + 654, -r - 4*y + 211 = 0. Is r composite?
False
Suppose 4*m + 24 = 5*i + 5, -3*i = 3*m - 6. Suppose -i*x - 17 = -56. Is x prime?
True
Suppose -2*v + 4*v = 0. Let c = v + -4. Is 505/55 - c/(-22) composite?
True
Let q = 6 + 28. Is q prime?
False
Let u = -441 - -944. Is u composite?
False
Let i be -4*(-1)/(-2) + 5. Suppose -i*c = 2*y - 895, -2*c - 2*y = -7*y - 622. Is c composite?
True
Let h(d) = -258*d**3 + 8*d + 5. Is h(-2) prime?
True
Suppose -4*l = -3*k + 4417, 4*l + l = -2*k + 2937. Is k a prime number?
True
Suppose 5*h = h + 2764. Is h a composite number?
False
Suppose -5*i - 988 = -3*s + 630, 2*i = -3*s + 1625. Is s prime?
True
Let p = 1 + 18. Is p a prime number?
True
Let h(p) = 310*p - 3. Is h(1) a prime number?
True
Let b(z) = -z**2 + z + 35. Let a be (-6)/(-33) - (-18)/22. Let o be (a + 1 - 2)*-1. Is b(o) a prime number?
False
Suppose a + 3*i - 5*i - 737 = 0, i = -2. Is a composite?
False
Suppose -m = -0*m. Suppose 5*j - 4*a - 1 = -9, -3*j - a + 2 = m. Suppose 3*l - 40 - 38 = j. Is l a prime number?
False
Let k(l) = l**2 - 2. Let z be k(-2). Is z*(-4)/(8/(-77)) composite?
True
Let a be ((-1)/(-2))/(4/16). Suppose 2 = -4*v + 18. Suppose -v = -z + a. Is z a composite number?
True
Let j = 455 - -66. Let v = 838 - j. Is v a composite number?
False
Let w(f) = -f**3 + 7*f**2 - 6*f + 4. Let a be w(7). Let t = a + 76. Is t prime?
False
Let a(l) = 875*l + 4. Is a(3) a prime number?
False
Let p(s) = s**3 + 5*s**2 - 5*s + 4. Let g be p(-6). Is ((-24)/18)/(g/681) prime?
False
Let a be 2 - (-1)/((-1)/2). Suppose a*l + 4*l = 0. Suppose l*s + 40 = 4*s. Is s prime?
False
Let d(a) = 4*a. Let c be d(-3). Let z(v) = -2*v - 5. Is z(c) composite?
False
Let a = 2545 + -1638. Is a prime?
True
Suppose -3*j + 2*h = -1227, -1 - 2 = h. Is j a composite number?
True
Suppose 3*r = 2124 + 6063. Is r composite?
False
Let z(b) = -b**3 + 10*b**2 + 4*b + 8. Let w be z(9). Let k = 272 + w. Is k a composite number?
False
Let h = -2396 + 3807. Is h a composite number?
True
Let z(x) = -x**3 - 7*x**2 - 2*x - 10. Let y be z(-7). Suppose 0 = -3*i - y*k + 51, -i + 3*k = k - 7. Is i prime?
True
Let w be (-4)/8*4*76. Let n = w + 261. Is n a composite number?
False
Suppose 104 = 3*o - 7. Is o a composite number?
False
Let t = 23 + 74. Is t prime?
True
Let l be 10/(-45) - (-68)/(-18). Let i be l/(4/(-3)) + -5. Is 2 - (i + (-148 - 3)) composite?
True
Let j = 136 - 74. Let b = 209 - j. Suppose -3*w - 30 + b = 0. Is w a prime number?
False
Let o(m) = -124*m. Let i be o(-4). Let q = 729 - i. Is q a composite number?
False
Let d = -8 - -85. Is d a composite number?
True
Let r(i) = -i**3 - 8*i**2 - 8*i + 2. Let f be r(-7). Suppose 0 = c - 4*c - 2*t + f, 4*c - t = 1. Is (30/(-21))/(c/(-7)) a composite number?
True
Suppose 0*c + 2*c + 4*y = 18, 3*y - 8 = 4*c. Suppose c - 29 = -4*p. Is p a prime number?
True
Let r = -8 + 12. Let j be (r/5)/((-2)/(-5)). Suppose i + 3*i = -j*a + 14, -3*a + 15 = 5*i. Is i a prime number?
False
Let j be -6*(-2)/(7 + -3). Suppose 0 = -a - 3*y + 114, -618 = -5*a - 2*y + j*y. Is a a prime number?
False
Let o = 1 + -5. Let z be 2 - o - (1 + 1). Is z/(-2)*(-42)/12 prime?
True
Let n(s) = 51*s - 15. Let u be n(6). Suppose u + 190 = p. Is p composite?
True
Suppose 2*g - u - 487 = 0, -4*g = -0*g - u - 977. Suppose 3*q - 567 = 594. Suppose 0 = -6*o + o - 2*v + q, 3*o - 2*v - g = 0. Is o a prime number?
True
Let h(m) = -3*m + 7. Let d(u) = -4*u + 7. Let s(p) = -4*d(p) + 5*h(p). Let o be s(-3). Let l(v) = 2*v - 5. Is l(o) a prime number?
True
Let d = 778 + -387. Is d prime?
False
Suppose 5*y - 4 - 11 = 0. Suppose 164 = 2*u - y*z, u - 76 = 2*z + 7. Is u a composite number?
False
Suppose 0 = -f + 2*k - 80, -f + 409 = -6*f + k. Let v = 225 - f. Is v a composite number?
False
Let x = -400 + 669. Is x composite?
False
Suppose -k + 3*j = -229, 2*k - 2*j - 3 - 463 = 0. Is k prime?
False
Let y(d) = 0*d - 3*d**3 - 3*d**2 + 3*d**2 + d**2 + 2 + 2*d. Is y(-2) a prime number?
False
Is 758/(-8)*2*-2 prime?
True
Let i(r) = -2*r**2 - 5*r + 499. Is i(0) a composite number?
False
Let f = -6 + 5. Let c = f + 4. Suppose c*y - 102 = -9. Is y prime?
True
Suppose 0 = -4*o - 4 + 12. Let n(x) = 13*x**2 - 2*x - 1. Is n(o) composite?
False
Let a = -635 + 445. Let w = 309 + a. Is w composite?
True
Let i(f) = f - 4. Let p be i(-7). Let h(q) = q**3 + 10*q**2 - 14*q + 2. Is h(p) a composite number?
True
Suppose 4 = 4*c - 0*c. Suppose 5*x = -m - c, -3*x + 2*m + 1 = -1. Suppose 4*y - 166 - 38 = x. Is y prime?
False
Let w be (-4)/(-3) + (-4)/12. Suppose 4*j - 3*n - 3 = 4, 0 = 2*j + n - w. Is 429 + (1 - (-2 + j)) composite?
False
Let a = 56 - 35. Is a a composite number?
True
Let g = 3 + -1. Suppose 4*t + 8 = -3*n, n - 14 = -0*n + g*t. Suppose -4*l = 3*m - 65, -4*m + 107 = n*l + 19. Is m prime?
True
Suppose -20798 = -5*n - 6663. Is n prime?
False
Let f = 135 + -32. Is f a composite number?
False
Suppose 10*r - 7*r = 6. Suppose -r*k + 0*k + 286 = 0. Is k a prime number?
False
Suppose -14*q + 6*q + 12472 = 0. Is q prime?
True
Is (-356)/(-12)*(-4 - -7) prime?
True
Let t = -197 + -149. Suppose 3*x + 391 = -158. Let w = x - t. Is w a prime number?
True
Let q(w) = 3*w**2 + 6*w - 2*w**2 - 2*w**2 - 4. Let k be q(3). Suppose 5*i + k*n - 410 = 0, -n - 78 = -i - 2. Is i a prime number?
True
Let b(v) = -2*v - 1. Let k be b(-1). Is (3 - 2)*k*149 a prime number?
True
Let x(s) = s**3 + 7*s**2 - s + 2. Let w be x(-7). Is (6/w)/(4/186) a composite number?
False
Suppose 2*b - 8 = 0, -3*w + b + 2*b = -2511. Is w a prime number?
False
Let o(m) = m**3 + 5*m**2 + 4*m + 9. Let u = -18 - -14. Is o(u) prime?
False
Let y = -3 + 23. Suppose -10 = -5*f + y. Is f a composite number?
True
Suppose 3*h = 6*h - 5*u - 4294, 4*h + 5*u - 5667 = 0. Is h a prime number?
True
Let k(f) = -f**3 + 2*f**2 - 11. Let c be k(0). Is (66/10)/(c/(-55)) a prime number?
False
Let o(a) = -59*a**2 - 3*a + 4. Let y(x) = 89*x**2 + 4*x - 6. Let n(k) = -8*o(k) - 5*y(k). Is n(3) composite?
True
Suppose 962 + 577 = 4*b + 5*w, 3 = -3*w. Suppose 3*r - 5*m + 226 = 6*r, -m = -5*r + b. Is r a prime number?
False
Let o be (-2)/(-11) - (-141)/11. Suppose 4*i + o = -5*x + 161, 0 = i - 3*x - 20. Suppose 2*u + 4*p = 42, 3*p = -2*u + p + i. Is u composite?
False
Suppose 0 = -4*w + 20. Suppose 5*t = -32 + 192. Let i = t + w. Is i composite?
False
Is -2 - (-4 + -2 - -4) - -2722 a composite number?
True
Suppose -j - 1 + 6 = 0. Let t(p) = -p**2 + 4*p + 3. Let l be t(j). Is 4 + l + -2 - -13 prime?
True
Suppose 3*y + 4*f = 3*f + 432, 0 = y - 3*f - 154. Is y composite?
True
Let u be ((-4)/(-6))/((-3)/(-342)). Suppose -u = -2*m - 6. Is m a composite number?
True
Suppose 5*c = 1442 + 2853. Is c prime?
True
Is 583 + 1 + 2 - 3 a composite number?
True
Let v = 637 - 256. Suppose 5*o + 9*k - 4*k = 1890, o 