*u + 2*q + 171, -q - 2 = p. Is u a prime number?
False
Let o be (450/(-40))/(1/(-4)). Let s = o + -31. Is s a composite number?
True
Suppose 16 = -o - r, 0 = 2*o + 2*o - 4*r + 24. Let l = 70 + o. Is l a prime number?
True
Let k(w) = 2*w**2 - 9*w - 7. Let r be k(7). Suppose -y = -3*y + r. Is -1*y/(-4)*2 a composite number?
False
Let t(i) = -213*i - 1. Let r be t(2). Let x = 612 + r. Is x composite?
True
Suppose -2*g - 2*g = -2732. Is g composite?
False
Let k(l) = -l**2 + 2*l - 1. Let t be k(1). Suppose -8*p - 1 = -7*p - d, 14 = -2*p + 5*d. Suppose -2*z + 57 = -p*f - 221, -2*z + f + 270 = t. Is z composite?
True
Let g(h) = -h**2 - 4*h + 2. Let l be g(-4). Suppose -j = 3*j - 20, -l*c + 4*j = 2. Is c prime?
False
Suppose i = -4*i + 10. Let n be (39 + i)*(1 - 0). Let z = n + 6. Is z composite?
False
Let m = 1966 - 815. Is m a prime number?
True
Let q(h) = -2*h**3 - 2*h**2 - 3*h + 4. Let z be q(3). Let d be ((-864)/56)/(1/(-7)). Let t = d + z. Is t prime?
True
Let g(y) = -y + 1. Let t be g(-3). Suppose -5*r = -t*r - 51. Is r prime?
False
Is (-1)/5 - (-96)/30 - -2276 prime?
False
Suppose 4*p - 3*p = 0. Suppose 0*t - 5*j = 4*t - 301, -5*t + 2*j + 401 = p. Is t a composite number?
False
Suppose -2*k = -0*k - 2394. Suppose -k - 415 = -4*n. Is n a composite number?
True
Suppose 1 = 4*c - 15. Suppose c = -3*g + 7. Is -4 + 2 + g*21 a composite number?
False
Suppose 2*s - 7 = -1. Let f = 1059 - 615. Is f/4*1/s a composite number?
False
Let l(b) = -52*b + 49. Is l(-7) a prime number?
False
Let a = 467 - 120. Is a prime?
True
Let k(x) = -2*x + 13*x - 8 + 6*x. Is k(9) a composite number?
True
Let n(g) = 292*g - 1. Let y be n(1). Let z be (-1 + -2)*y/(-9). Let q = z + -40. Is q a prime number?
False
Is 0 + (-4)/((-16)/644) a prime number?
False
Let d(k) = k**3 + 8. Let r be d(0). Let t(h) = -h**2 + 7 + r + 0 + h. Is t(0) composite?
True
Let a be -3*((-52)/2 - 0). Suppose 0 = -5*o + 5*t + 5, -t - 1 = -2*o - 2*o. Suppose i + i - 4*z - a = o, 5*i = -3*z + 143. Is i a prime number?
True
Let d(h) = 19*h - 27. Let o(l) = 29*l - 41. Let w(q) = -8*d(q) + 5*o(q). Is w(-8) a prime number?
True
Let r = 0 + 1. Let y be 6/(-3) - r - -11. Is y/20 - 486/(-10) composite?
True
Is (4 - 8 - 2153)/(-3) a prime number?
True
Let s(r) = 13*r**2 - 8*r + 2. Is s(-5) a composite number?
False
Let u = -98 + 184. Suppose 0 = 2*i - 48 - u. Is i a prime number?
True
Let i(r) = -r**3 - 5*r**2 - 7*r - 3. Let d be i(-6). Let l = d - -52. Is l prime?
True
Let n(m) = m**3 - 5*m**2 + 3*m + 6. Let y(w) = w + 6*w**2 - 1 + w**3 + w**2 - 3*w**2. Let g be y(-3). Is n(g) composite?
True
Suppose 3*m = 5*p - 77758, -p - 7*m + 12*m = -15556. Is p a composite number?
False
Suppose -2*y = -v - 63, 0*v + 78 = -v - y. Let c = -50 - v. Is c a composite number?
False
Let b(q) = 4*q - 3. Let h be b(3). Let p = -18 + h. Let r(v) = v**3 + 10*v**2 + 7*v - 5. Is r(p) a prime number?
True
Let y(g) = -g. Let f(v) = -23*v - 2. Let w(k) = -f(k) + 4*y(k). Is w(3) prime?
True
Suppose -4*f - 3 = -15. Suppose -5*q + 315 + 140 = 2*j, f*j - 708 = q. Is j a composite number?
True
Is (-423)/(-12) - 4/16 prime?
False
Let i(c) = -2 + 15*c - c + 2 - 7. Is i(6) composite?
True
Let x(a) = 2*a**3 + 6*a**2 + 5*a + 7. Let y(z) = 0*z**3 + 4*z + z**3 + 7 + 8*z**2 - 2*z**2. Let m(b) = -2*x(b) + 3*y(b). Is m(6) prime?
True
Suppose -2*t = -0*t - 10. Suppose 0 = -t*x + 42 + 8. Is x composite?
True
Suppose 138 + 1068 = 4*p + 2*w, 2*w + 1218 = 4*p. Suppose -u + 293 = 2*c, -2*c - u + p = -2*u. Is c composite?
False
Suppose 5*b + 4*f - 22 = 0, 0 = 2*b + f + 3*f - 16. Let a be (68 + 0)/(b*1). Suppose 115 = g - a. Is g prime?
True
Suppose 2*o = -l + 1043, 0 = 5*o + 5*l - 140 - 2460. Is o prime?
True
Suppose -4*x + 1 = -2939. Suppose -a - 4*a + x = -5*q, -775 = -5*a - 5*q. Let y = -40 + a. Is y a prime number?
False
Is (-3)/(4/(-4)) - -379 prime?
False
Suppose 0 = -3*l + l + 1070. Is l a prime number?
False
Let p(v) = -80*v - 7. Is p(-7) composite?
True
Suppose 5*k = k. Suppose k*i + 32 = i. Let m = i + -19. Is m a prime number?
True
Let n = 133 - 22. Is n composite?
True
Suppose -3*s + 1528 = 109. Is s composite?
True
Let z(n) = n**3 + 12*n**2 + 24*n + 31. Is z(-9) prime?
False
Let k(v) be the second derivative of 1/2*v**2 + 2*v + 0 + 0*v**3 + 23/5*v**5 - 1/6*v**4. Is k(1) a prime number?
False
Suppose -o - 3012 = -5*o. Suppose 5*n + 4*z = o, 4*n + n - 747 = -z. Is n composite?
False
Suppose 3*b = j - 0*b + 9, 3 = -4*j + b. Suppose 2*a = 4*o + 3*a - 481, 3*o + 2*a - 357 = j. Is o a composite number?
True
Let k(s) = -s**3 - 6*s**2 - 5*s + 4. Let b be k(-7). Suppose 2*y + r + 11 - 48 = 0, -b = -5*y + 2*r. Let x = -3 + y. Is x composite?
True
Let a = 50 + 172. Is a/36 - (-1)/(-6) a composite number?
True
Suppose 0 = 5*h - h - 92. Is h prime?
True
Suppose 276 = 3*j - 15. Is j a prime number?
True
Is (-2)/9 - (-5566)/18 prime?
False
Is 1977 - 16/(-2)*3/(-6) prime?
True
Let l = 2393 - 1046. Is l a composite number?
True
Suppose 0 = i - 5 - 1. Let v = i - 3. Suppose 3*b - 114 = v. Is b a composite number?
True
Let f be (-1079)/4 + 3/4. Suppose -6*i + 2*i + 1584 = 0. Let p = i + f. Is p prime?
True
Suppose -3*b = 4*l + 27, -9 = 4*b - 5*l + 27. Is 3/9 + (-4470)/b prime?
False
Let a = 11 - -5. Suppose 5*n - 71 = -a. Is n composite?
False
Suppose 5*t = 2*t - 210. Let o = 101 + t. Is o a composite number?
False
Suppose 0 = 5*d - 314 + 29. Is d a composite number?
True
Let l be (2 - 334/4)*-2. Suppose -5*b - l = -4*x, -5*b - 9 = -2*x + 80. Is x composite?
False
Let n(q) be the first derivative of -q**4/4 + 10*q**3/3 - 3*q**2/2 - 7*q + 10. Is n(9) composite?
False
Let m = 5 - 3. Let g be m/4 + 14/4. Suppose -33 = -y - q, 148 = y + 3*y - g*q. Is y a composite number?
True
Let t = 519 + -252. Is t a composite number?
True
Let m(k) = -7*k - 3. Let p(d) = 15*d + 6. Let q(z) = -15*z - 6. Let w(b) = 7*p(b) + 6*q(b). Let a(i) = 11*m(i) + 6*w(i). Is a(4) prime?
False
Let r = -106 + 243. Suppose 2*t = 2*k + 128, -3*k + 4*k = -2*t + r. Is t prime?
True
Let m be (-8)/6*174/(-4). Suppose 4*g - 3*g - 70 = -2*k, 2*k - 5*g - 94 = 0. Let p = m - k. Is p a prime number?
False
Suppose -7*r = -2*r - 10. Suppose -77 = -r*j + j. Is j prime?
False
Let v(j) = 287*j**3 + j**2 - j. Is v(1) composite?
True
Suppose -z = 41 + 15. Let x = z + 273. Is x a prime number?
False
Suppose 0 = -0*z + 2*z - 6. Suppose -z*b + b + 114 = 0. Suppose 4*p - 149 = -b. Is p composite?
False
Let k = 4 - 0. Suppose -k*b + 615 = 5*o, 3*b = o + 2*o - 396. Is o a composite number?
False
Let z = -9 + 11. Suppose -4*w + 297 = z*y - 153, 5*y = -3*w + 320. Is w composite?
True
Let y(u) = -2*u - 5. Let k be y(-4). Suppose 0 = -k*v - 3 - 3. Is (-231)/(-3) - (v - -2) composite?
True
Let b(a) = a + 7. Let i be b(-6). Let v be ((-92)/6)/(i/3). Is (-3)/6 - v/4 prime?
True
Let g = 178 - 95. Is g a composite number?
False
Suppose 0 = 5*u - 5, -3*w - u + 4*u = -12. Suppose -w*l + 65 + 120 = 0. Is l a composite number?
False
Is -4*1/(-16) + 30258/24 a prime number?
False
Let p = 3084 + -1285. Is p a composite number?
True
Let d(t) = 162*t**3 - 7*t**2 - 2*t - 2. Let f(z) = z**3 - z**2 - z - 1. Let k(c) = -d(c) + 5*f(c). Is k(-2) composite?
True
Let z(k) = k. Let t be z(5). Suppose 67 = t*d + 4*l, 3*d + 0*d - 4*l = 21. Is d a composite number?
False
Let a(z) = 3*z**2 + 17*z - 9. Let r(j) = -2*j**2 - 16*j + 9. Let p(d) = -3*a(d) - 4*r(d). Is p(8) prime?
True
Let n = 21 + -13. Suppose 0 = -4*z - t + 47, -3*z = -2*t - 23 - 26. Suppose n = i - z. Is i a composite number?
True
Let w = -417 - -1246. Is w composite?
False
Suppose -4*m = -0*m + 4. Let v be (-2)/m - (3 - 3). Suppose -3*g - v*s + 45 = -36, 4*s = -g + 37. Is g composite?
True
Let u = -3078 - -6241. Is u prime?
True
Suppose 2*a = 4*g + 138, a - 48 = -4*g - g. Suppose 0 = -5*u + a + 7. Is u a prime number?
False
Suppose -8 + 3 = -5*n. Suppose 3*p = 8 + n. Suppose 0*g + p*k - 25 = -g, -g - 2*k = -23. Is g prime?
True
Let l = 4608 + -3203. Is l composite?
True
Let g(y) = y**2 + 11*y + 6. Let f be g(-10). Let p(m) = -m - 1. Let l be p(f). Suppose 0*i + 2*i - 241 = -l*c, -2*i = -c - 237. Is i a composite number?
True
Let t be ((-5)/2)/((-2)/4). Suppose t*v + 22 = r, -11 = -5*v - 31. Is 19/r - 1/(-2) a prime number?
False
Is (-2)/9 - (-1038)/54 composite?
False
Let w(r) = 