. Is z a prime number?
True
Let z = -1991 - -3196. Is z a prime number?
False
Suppose 0 = -d - d + 34. Let x = d + 50. Is x a composite number?
False
Let z(k) be the third derivative of k**5/60 + k**4/4 - 3*k**3/2 + 2*k**2. Let q be z(-8). Is (-430)/(-14) - (-2)/q prime?
True
Let s(j) = -9*j + 1. Suppose -4*p - p - y - 26 = 0, -p - 6 = y. Is s(p) a prime number?
False
Let c be (1/(-2))/((-6)/36). Suppose 0 = 3*g - 3*s - c, 4*g - 2 + 0 = 5*s. Suppose 475 = 4*d - g*j, 0*d - 250 = -2*d + 4*j. Is d prime?
False
Let d = -15 - -23. Let h(w) = 4*w + 6. Let f be h(5). Suppose 0*q + f = 4*q + 2*o, -o - d = -q. Is q composite?
False
Suppose -3*l + 446 = -l. Is l composite?
False
Suppose -8*u + 3*u - 15 = 0. Let x = 8 - u. Suppose -5*p = -5*s - 85, p - x = -2*s + 6*s. Is p a composite number?
False
Let h(u) = -u. Let p(w) = 7*w - 3. Let s(n) = 6*h(n) - p(n). Is s(-4) a composite number?
True
Suppose 21*q - 22*q = -321. Is q a composite number?
True
Suppose 4*b + 2*y = 28, -19 = -3*b - 3*y + 2*y. Suppose 2*i - 6*i = -b*v - 14, 13 = -4*v + 5*i. Is v*(2 + 483/(-6)) a composite number?
False
Suppose 5*a = -3*c + 3575, -2*a + 2867 = 2*a + c. Is a a composite number?
True
Suppose 4*h + 3*n = 68930, 51687 = 5*h - 2*h - 3*n. Is h a prime number?
True
Let o = 108 - 195. Is (-1)/((-86)/o + -1) composite?
True
Let z = -11 - -3. Suppose 8*x + 76 = 4*x. Let o = z - x. Is o composite?
False
Let v = 2 - 0. Suppose 0 = -v*y - 0*y + 124. Suppose -y = -3*x + 1. Is x a prime number?
False
Let p(r) be the third derivative of r**5/60 - r**4/8 - 5*r**3/6 + r**2. Is p(-4) a prime number?
True
Let c(b) = b + 8. Let n be c(-7). Let q(r) = 31*r**2. Is q(n) a composite number?
False
Let l = 1 - 3. Let q = l - -2. Let r = q + 2. Is r prime?
True
Let t(d) = 116*d**2 + 3*d - 3. Is t(2) a composite number?
False
Suppose 2*n - 8*n = -6402. Is n a composite number?
True
Let u(r) = 11*r + 1. Let x be u(1). Suppose -2*b = 4*g - x, 0*g = -g + 4*b - 6. Is 3 - -14 - g*1 prime?
False
Is ((-12)/54*771)/((-4)/6) a prime number?
True
Suppose -2*k - j + 1079 = 3*k, -2*k - 2*j = -430. Suppose -5*g + 615 = 5*r, -4*g - 181 = -3*r + k. Let s = 180 - r. Is s a prime number?
True
Suppose -5*a = -m - 1056, 5*a - m = m + 1057. Is a a prime number?
True
Let x be ((-5)/15)/((-2)/(-12)). Is 508/20 + x/5 a prime number?
False
Suppose -927 = l - 4*j, 4*l + 3652 = j + j. Is 3*(-8)/6 - l prime?
True
Let b = -256 - -377. Is b a prime number?
False
Let o = -2771 + 4306. Is o prime?
False
Suppose 5*w + 2244 = 2*y, -3 - 5 = 4*w. Is y a prime number?
True
Suppose -3*f = -f - 8. Suppose f*p = -3*a - 82 + 247, 0 = -3*a - 5*p + 162. Is a prime?
True
Let u(g) = 4*g**2 + 23*g + 4. Let n(p) = -2*p**2 - 12*p - 2. Let m(o) = 5*n(o) + 3*u(o). Suppose 2*q = -q - 21. Is m(q) composite?
False
Let y(z) = 2*z**2 + 4*z - 3. Let a be (-8)/6*(-9)/2. Let g = -4 + a. Is y(g) a prime number?
True
Let f(i) = 77*i - 46. Is f(13) prime?
False
Suppose 357 = m + 2*m. Is m a composite number?
True
Let b(p) = -120*p**3 - p**2. Is b(-1) prime?
False
Suppose 57 = -2*v + 165. Suppose -v = -4*d + 2*d - 4*m, 4*d + 2*m = 138. Is d a composite number?
False
Let d be 11 - -1*(2 - 1). Suppose -3*z + d = -2*z. Suppose k - 10 = 3*s + z, 0 = -k + 4*s + 18. Is k composite?
True
Let w(q) = 2*q**3 + 7*q**2 - 4*q - 5. Let m(g) = 5*g**3 + 14*g**2 - 8*g - 10. Let h(i) = -3*m(i) + 7*w(i). Is h(5) prime?
False
Let g = -153 - -280. Is g a prime number?
True
Let b = 10802 - 7341. Suppose 2 = d, -5*f + 11283 = -4*d + b. Is (2/(-3))/((-12)/f) prime?
False
Suppose 0 = 3*y - 3973 - 632. Is y a composite number?
True
Suppose 2*p + 5 = 3*p + g, 0 = -2*p - 3*g + 13. Let x(d) = 11*d**3 - 3*d**2 + d + 1. Is x(p) a composite number?
False
Let r be (1074/(-6))/(2/2). Is 3 - (6/2 + r) a composite number?
False
Let t(a) = 114*a**3 - 2*a**2 + 1. Suppose z - 4*z = -3. Is t(z) a prime number?
True
Let y = -2 + 1. Let w(p) = 2*p - 12*p**3 - 1 + 2 - 6*p**3 + 2*p**2. Is w(y) prime?
True
Is (-1)/(-2) + (-153)/(-2) a prime number?
False
Suppose -3*o - 168 = -7*o - 4*r, -3*r + 212 = 5*o. Let l = -16 + o. Let h = l + -13. Is h composite?
True
Suppose 5*n = 4*i - 12, 0*n = n + i - 3. Suppose -g - 3*g - 4*j + 1408 = n, -3*j = 4*g - 1411. Is g a composite number?
True
Let t = -562 - -804. Let o = t - 137. Suppose 0 = -6*u + u + o. Is u a prime number?
False
Let t = 166 + -98. Let n = t + 89. Is n a prime number?
True
Let m = -553 - -1716. Is m a composite number?
False
Suppose -x - 3*x = 3*i - 24, x = 5*i - 17. Let f be (x/4)/(1/4). Suppose -k + f + 11 = 0. Is k prime?
False
Let k(p) = 39*p - 4. Is k(5) a composite number?
False
Let j(l) = 2*l - 9. Let n be j(6). Suppose -n*r = -4*r - 9. Is (-6)/27 + (-281)/r a composite number?
False
Let u = 56 + -23. Is u a composite number?
True
Let m(t) = -t**3 - 4*t**2 - t + 1. Suppose -8 = 4*o - 0*o. Let i be (3 - 5) + 6/o. Is m(i) a prime number?
True
Let l be (-9)/(-3) - (-1)/1. Suppose z + l*z = 75. Is z composite?
True
Let i(s) = s**2 + 6*s - 2. Let u be i(-6). Let k = u + 39. Is k prime?
True
Suppose 259 + 651 = 10*r. Is r a prime number?
False
Let y(j) = -j**2 - 5*j - 2. Let o be y(-3). Suppose 986 + 962 = o*c. Is c composite?
False
Suppose 2*f - 110 = 3*r - 23, 4*f = -5*r + 207. Let d(i) = 4*i**2. Let c be d(-1). Suppose 4*q - 50 - c = -5*n, -4*q + f = 2*n. Is q composite?
False
Let w be -3 + 0 - 3*8. Let x = 46 + w. Is x a composite number?
False
Suppose 4*z - 268 = f, 4*z = -4*f - 0*z - 1152. Let g = 433 + f. Is g a composite number?
False
Let n = 3 + 1. Let k = 2 + 2. Suppose -n*x + k = -272. Is x prime?
False
Is (-3 + -3386)/(0 - 0 - 1) prime?
True
Let r(a) be the third derivative of a**6/120 + a**5/5 + 3*a**4/8 + 2*a**3/3 + a**2. Is r(-11) a prime number?
False
Let s = -7 + 16. Let z = 5 + 1. Is (-2)/z + 624/s composite?
True
Let m(x) = 6*x**2 - 13*x - 9. Suppose -f + 3 = 13. Is m(f) a prime number?
False
Suppose -5*k + 49 - 9 = 0. Suppose 4*y + 568 = k*y. Is 1/(-2) - y/(-4) a composite number?
True
Suppose -6*q - 2726 + 16640 = 0. Is q a prime number?
False
Is 18/27 - 400/(-3) prime?
False
Suppose 2*y + 4*u - 119 = 63, -5*y + 437 = u. Is y composite?
True
Let g be (4 - 1 - -2)*1. Suppose -g*z = -6*z - 3. Let h = 30 - z. Is h a composite number?
True
Let d(n) = n**3 + n**2 + 131. Is d(0) prime?
True
Suppose 0 = g - 5*q - 29, g + 2*g - 5*q = 137. Suppose -g = -3*w + 5*w. Let x = w + 58. Is x prime?
True
Let k(f) = 65*f**3 - 2*f**2 + f + 3. Is k(2) a composite number?
True
Suppose -y - 1687 = -2*y. Is y a prime number?
False
Let s(b) = -b + 1227. Is s(0) a composite number?
True
Let u = -1077 - -1544. Is u composite?
False
Let t(c) = -c**3 + 91. Let z be t(0). Let j = 182 - z. Is j a prime number?
False
Is (2307/(-6)*2)/(-1) prime?
True
Let y(i) = -i**3 + 6*i**2 + 14*i + 8. Let l(j) = j**3 - 7*j**2 - 13*j - 9. Let b(v) = 5*l(v) + 4*y(v). Let f be ((-21)/63)/(2/(-71 + -1)). Is b(f) composite?
False
Suppose 2*w + 5*f + 17 = w, 2*w - 4*f - 22 = 0. Suppose w*i + 3 - 15 = 0. Suppose i*l = l + 447. Is l a prime number?
True
Suppose 5*m + 1 - 2 = -4*p, 3*p = 3*m + 21. Suppose 16 - 156 = -p*c. Is c prime?
False
Let s(k) = -k**3 + 8*k**2 - 5*k + 5. Suppose 4*i - 5 = 3*i. Is s(i) a composite number?
True
Let d(b) = 3*b**2 - 5*b + 2. Let p be d(3). Suppose p = m - 5. Is m a prime number?
True
Let l(w) = 306*w**2 - w + 2. Is l(1) composite?
False
Let t(f) = 3*f**3 + 2*f**2 - 9*f + 11. Is t(5) composite?
True
Let j(d) = -13*d - 15. Is j(-8) composite?
False
Let b be ((-2)/2 + 2)*5. Suppose -i = 5*w + 1 - 7, 4*i = b*w - 1. Is w*21 - (-4)/(-2) a prime number?
True
Let x(f) = -f**2 + 12*f + 12. Let u = 1 - -10. Is x(u) prime?
True
Let d(c) = 71*c - 2. Let v be 19/6 - 8/48. Is d(v) a composite number?
False
Let o(i) = 21*i - 6. Let g(a) = a - 8. Let y be g(15). Is o(y) a composite number?
True
Suppose 0*q + 8 = 2*q. Suppose 0 = -i - 17 - q. Let o = 50 - i. Is o prime?
True
Suppose -2*o - 426 = -2*w + 136, 0 = 3*w - 2*o - 841. Suppose w + 11 = 5*x. Is x composite?
True
Let c = -10 + 6. Let n = -1 - c. Suppose -n*w + 18 = -39. Is w prime?
True
Suppose y + y + 16 = 4*g, 28 = 4*y + 4*g. Suppose -y*s = s - 921. Is s a composite number?
False
Let y(b) = 142*b - 4. Is y(3) prime?
False
Suppose f = -5*a + 25, 3*f - 31 = -4*a - 0*f. Suppose 88 = a*w - 12. Is w 