. Is o composite?
True
Let g(n) = 132*n - 14. Let z(j) = -j**3 + 6. Let w be z(0). Let i be g(w). Suppose -2*r = -0*r - i. Is r prime?
True
Let c(v) = 491*v**2 + 2*v. Let w be c(3). Let f = w - 1820. Is f composite?
True
Suppose 4*m + 558 = m. Let c = 443 + m. Is c a prime number?
True
Is (-2)/(-13) - 2905848/(-104) a prime number?
True
Let g(x) = -1175*x**3 + x**2 - 7*x - 5. Is g(-2) a composite number?
False
Let w(y) = 6*y + 0*y - 2 - 2*y - 3*y. Let g be w(4). Suppose -z - 3759 = -3*t, -4*t - 259 = g*z - 5271. Is t prime?
False
Let y(i) be the third derivative of -i**5/60 + i**4/24 + 4*i**3/3 - 5*i**2. Let c be y(0). Is (238/c)/((-9)/(-36)) a composite number?
True
Let a(z) = -z**2 + 14*z - 11. Let w(x) = -x**2 + 8*x - 8. Let j be w(6). Suppose 12 = q + 3*d, 2*d = 5*q + j*d - 47. Is a(q) prime?
False
Suppose 2*a - a = -4*i + 18, 2*i = a - 36. Suppose 26*s + a = 21*s. Is ((-337)/(-2))/((-3)/s) composite?
False
Suppose -a = -0*a + 3. Is (-798)/a - 2*6/4 a prime number?
True
Suppose 33084 = 5*l - w, -43184 + 10094 = -5*l - 5*w. Is l composite?
True
Let k = -3 + 3. Suppose -b - 2*i + 532 = 0, -b - 2*b - 3*i + 1611 = k. Suppose b = x + x. Is x a prime number?
True
Let r = 23 - 23. Suppose r = -5*w - 2*i + 20, 10 = -5*w + i + 3*i. Is w a composite number?
False
Suppose 7*x - 170312 - 144051 = 0. Is x a composite number?
False
Suppose 5*r + 2*o - 56973 = 0, -4*o - 12169 = -2*r + 10601. Is r composite?
False
Let j(v) = 114*v**3 - 1. Let i = -10 - -11. Let u be j(i). Let a = 271 - u. Is a composite?
True
Let d be (2204/6)/(-2)*-3. Suppose 0 = -34*r + 33*r + d. Is r composite?
True
Suppose -s = 2*b + 42, -b - b = 5*s + 50. Let l be (8670/b)/(1/(-2)). Suppose -h - 5*q + 301 = 0, 0*h = -3*h + 3*q + l. Is h prime?
False
Is (15 - 14)/((-4)/(23834*-2)) prime?
False
Let l(d) = -3113*d + 195. Is l(-2) composite?
False
Let s(c) = 4*c + 1. Let p be s(1). Suppose 0 = -p*a + 5*x - 705, -6*a = -a + 5*x + 735. Let u = a + 553. Is u composite?
False
Let w be ((-12944)/4)/(-4) + 1. Suppose -140 = 2*j - w. Is j prime?
False
Suppose -9 = -2*u + 1, 4*t = -u + 329. Suppose -2*n = -n - t. Is (-8734)/(-18) + (-18)/n a prime number?
False
Let i be (-14)/(-3 + 2) + 2. Suppose -2*h + 64 = i. Is 7/(h/22 - 1) composite?
True
Suppose -109 - 1282 = -v - 3*a, -4*a - 6936 = -5*v. Suppose -2400 = -4*y + v. Is y prime?
True
Let y be (-156)/9 - 7/(63/6). Suppose -10 = -3*w + 2. Is y/(-15)*110/w prime?
False
Let t(u) = 5*u**2 + 3*u + 27. Is t(-10) prime?
False
Let d(i) = i**3 - i + 664. Let h be d(0). Suppose 3*x - 913 = 3*l + 59, 0 = -l + 5. Suppose -2*g - z = -3*z - h, -2*z = -g + x. Is g prime?
False
Let d(x) = -14*x**3 - 12*x**2 - 11*x + 3. Is d(-8) prime?
True
Let v(i) = -i**3 - 7*i**2 - 6*i - 10. Let z be v(-6). Let g(k) = k**3 + 10*k**2 - k + 4. Is g(z) composite?
True
Let c(h) = 2*h**3 - 39*h**2 - 14*h + 52. Is c(21) a composite number?
True
Suppose -v - 25 = -2*d, 0 = -4*d - 0*v - 4*v + 20. Let b(y) = 42*y + 2. Is b(d) prime?
False
Let x = 6 - 17. Is (505/2)/(x/(-22)) prime?
False
Suppose 3*a = -2*l + 714, a = -3*l + 5*l - 714. Suppose -130 = -g + l. Is g a composite number?
False
Let c be (-10)/55 - (-26176)/(-22). Let a = c + 1939. Is a a composite number?
True
Suppose 2*p = -10, -3*p = j + 10 + 1. Suppose -j*v - r + 15 = -v, 0 = 2*v + r - 10. Suppose 1582 + 303 = v*y. Is y composite?
True
Let s = 31185 - 21284. Is s a composite number?
False
Suppose -3 = -5*z - 23. Is ((-838)/z)/((-7)/(-14)) composite?
False
Let c be (4/1 - -27336)/2. Is (c/1)/((-4)/(-2)) a composite number?
True
Suppose -4*p + g + 519 + 9129 = 0, 5*p - 12073 = -2*g. Is p a prime number?
False
Let h be 6*6/(-63)*-7. Suppose 0 - h = 2*y. Let t(s) = -17*s - 3. Is t(y) a composite number?
False
Let v be -89 - (0 + -4)/2. Suppose -13*p = -3*p + 11840. Let u = v - p. Is u prime?
True
Is (12141 - 4/(-2))/(5 - 4) prime?
True
Let t be 6*7/42 - -6*5. Let x = 340 + t. Is x prime?
False
Suppose j + 4 = 7. Suppose -4*g = j*y - 1451 - 890, 5*y = -4*g + 2347. Is g a composite number?
True
Let g be 4666/11 + 6/(-33). Suppose 2*a + g = 2*l - 62, -a - 4 = 0. Is l prime?
True
Let n be (-5)/(-10 + 5) + -3. Is (8*7/168)/(n/(-12966)) composite?
False
Let y(v) = 294*v - 1. Let s(k) = -k**2 - 4*k + 13. Let b be s(-6). Is y(b) composite?
False
Let p(y) = 116*y**2 - y - 1. Let c be p(2). Suppose -3*s - 2*s = -2*o - c, 4*o + 12 = 0. Suppose -3*v = -358 + s. Is v a prime number?
True
Let g(b) be the third derivative of -9*b**4/4 + 41*b**3/6 - 20*b**2. Is g(-19) a prime number?
False
Suppose 6*u = 2*u - 12. Let y(a) = 52*a**2 - 2. Let q be y(u). Let h = q + -311. Is h a prime number?
False
Suppose -3*t + 259 = -2*h, 3*t - 195 - 66 = 3*h. Let n = 64 + t. Is n a prime number?
True
Is (1 - -238)/(1057/(-133) - -8) a prime number?
False
Suppose -14*f = -11402 - 49176. Is f a composite number?
False
Let x(o) = 4*o**2 - 9*o - 2. Suppose 63 = -p + 4*p. Suppose -d - p = 2*d. Is x(d) a prime number?
True
Suppose 5*u + 4*x + 22 = 2*u, -4*u + 4*x = 20. Let t(l) = 6*l**2 - 2*l - 3. Let n be t(u). Let k = 530 - n. Is k composite?
True
Let z = -27 - -56. Let h = z + -30. Is 310*1 - (h - -4) a composite number?
False
Suppose 6 = -h + 2*h. Let j(a) = 121*a + 2. Let m be j(h). Let o = m + -435. Is o prime?
True
Let h(b) = -b**2 + 4*b + 1. Let q be h(6). Let m = 7 + q. Is -17*(2 + m) - 3 a prime number?
True
Let z(n) be the second derivative of -n**5/20 - 11*n**4/12 - 5*n**3/6 + 2*n**2 - 10*n. Let l = 21 - 32. Is z(l) a composite number?
False
Let i(n) = 29*n**2 - 6*n - 5. Let v be i(7). Let f = v + -907. Is f prime?
True
Suppose 535 + 971 = 2*w. Is w composite?
True
Suppose -3 = j - 1, 0 = -4*c - 2*j - 8. Is (822*c)/(-1) + 1 + -2 a composite number?
False
Let u = -12590 + 35707. Is u a prime number?
True
Suppose 4*x - 27197 = -5*v, 21745 = 4*v - x - 0. Is v a composite number?
False
Let x(g) = 601*g - 15. Is x(2) composite?
False
Let f = 9 + -2. Suppose 4*k - 27 = -f. Suppose -136 = -2*c + 4*i, k*c - 7*c + 121 = -i. Is c composite?
True
Let l(t) = -t**2 - 68*t - 122. Is l(-27) composite?
True
Let t = 1031 + -76. Let b = t + 196. Is b prime?
True
Let s(j) = -61*j + 282 - 253 + 2*j. Is s(-4) a prime number?
False
Suppose 1497 = -8*r + 9. Let d = 355 + r. Is d prime?
False
Let u(i) = -i + 3. Let s be u(5). Let d be ((-714)/8)/((-1)/(-4)). Is s*1/6*d a composite number?
True
Let g(z) = z**3 - 7*z**2 + 24*z - 46. Is g(19) a prime number?
False
Suppose -3*g - 8981 = -5*h, -2*g - 4879 - 510 = -3*h. Is h a composite number?
True
Let x(k) = 57*k**2 - 6*k + 11. Is x(-6) a composite number?
False
Suppose -5*b - 4*a = 86, a - 9 = 5*b + 57. Let p(t) = -113*t + 57. Is p(b) a prime number?
False
Let d(h) be the first derivative of h**5/60 + h**4/6 - 7*h**3/6 - 5*h**2/2 + 3. Let m(v) be the second derivative of d(v). Is m(6) prime?
True
Suppose 5*b + x = 47161 + 13022, -b + 12047 = -5*x. Is b a prime number?
True
Let z = 192 + 41061. Is z a prime number?
False
Let m be (57/38)/((-2)/(-4)). Suppose 0*n + 381 = m*n. Is n a composite number?
False
Let i be 200/(-12)*366/(-5) + -2. Suppose -5*w + 2443 = 2*b, b = -w + 2*w + i. Is b prime?
False
Suppose -8*z + 1502 = -594. Suppose 0 = 5*u - f - 666, 2 + z = 2*u + 2*f. Is u a prime number?
False
Let o be 12/(-18) - 272/(-3). Let x(j) = 3 + o*j + 2 - 26*j. Is x(6) a composite number?
False
Let y(w) = -w**2 + 6*w + 943. Is y(0) composite?
True
Let g = 1398 + -803. Let l = -74 + g. Is l a composite number?
False
Suppose -23852 = -11*u + 47087. Is u prime?
True
Let x(g) = -g - 8. Let v(n) = n + 6. Let z be v(-15). Let i be x(z). Is (0 + 354/i)/2 a composite number?
True
Suppose 6*n = n + 280. Suppose 0 = -5*d - 5*a - 105, 0 = -4*d + a - 43 - n. Let v = 43 - d. Is v composite?
False
Suppose 0*c + 108 = 4*c. Let k = c + -13. Suppose m - k = 3*f, 2*m = f - 8 + 31. Is m a composite number?
False
Is (1 + -1)/1 + (-5614718)/(-107) a prime number?
False
Let b = 104228 + -69975. Is b prime?
True
Let s = -3005 + 4264. Is s prime?
True
Let t = -816 + 1407. Is t - 2 - (-4 - -6) a composite number?
False
Suppose -4*w - 3*j = -15324, 0 = -2*w + 23*j - 20*j + 7662. Is w a composite number?
True
Let m = 2 + 1. Suppose -m*a - 5*n + 26 = 0, -5*a + 7*n - 10 = 2*n. Suppose -t - a*z = -241, 2*z + 720 = 3*t + 5*z. Is t prime?
True
Let k = -17