 t(k) = k**3 + 8*k**2 + 3*k - 6. Let q be t(-5). Let w = -13 - -2. Let j = q - w. Is j prime?
False
Suppose 0 = 5*j + 266 - 996. Let c = -78 - -47. Let v = c + j. Is v a composite number?
True
Suppose -5 = -2*h + 1. Let b(a) be the third derivative of 29*a**4/24 + 2*a**3/3 + a**2. Is b(h) a composite number?
True
Suppose -y + 2*n = 0, 3*y - 5*y + n = 0. Suppose 3*j + l = 3*l + 117, y = -l - 3. Is j a prime number?
True
Let q(f) = 5*f - 3. Let v be q(3). Suppose -g + v = -37. Is g a composite number?
True
Suppose -8 = -2*d, d = -4*k + 3 + 1. Suppose -2*x + 10 = -k*x. Suppose 5*g = -3*a + 879, -4*g + g - 1465 = -x*a. Is a a composite number?
False
Let n(i) = 4*i**2 + 37*i - 31. Is n(-16) prime?
True
Let u(w) = w**3 - 2*w**2 - 3*w + 2. Let p be u(3). Suppose -5*q = 2*z + p*z - 22, 5*q + 34 = 3*z. Let r = z - 1. Is r a prime number?
True
Let s(z) be the first derivative of -z**2/2 + 7*z + 2. Let k be s(3). Suppose 3*x - 5*p = -0*p + 282, -4*x = k*p - 376. Is x a composite number?
True
Suppose b + 0*b - 374 = -g, -5*b + 748 = 2*g. Let d be (-5430)/(-25) + 3/(-15). Let q = g - d. Is q a prime number?
True
Let i(k) = -k**3 + 27*k**2 - 34*k - 23. Is i(25) a prime number?
False
Is -514*(-1 + 3)/(-2) composite?
True
Let k(y) = -y**3 - 3*y**2 - 5*y + 11. Is k(-8) prime?
False
Let a(q) be the first derivative of 22*q**3/3 - q - 1. Is a(2) a prime number?
False
Let r be 3/(-6) + 18/(-4). Let m be 30/r*(-2)/6. Suppose 4*w + m*b - 259 = 5*b, -3*w = -4*b - 189. Is w a prime number?
True
Suppose -953 = -3*d + 2*d. Is d prime?
True
Let b = -22 + 10. Let w be (-4 + (-92)/(-6))*3. Let k = b + w. Is k a composite number?
True
Is ((-419)/(-2))/((-5)/(-10)) a composite number?
False
Let x(z) = z**3 + 4*z**2 + 2*z + 1. Let n be x(-4). Let d(r) = r**3 + 8*r**2 + 5*r + 4. Let a be d(n). Suppose -2*b - b = -a. Is b a prime number?
False
Let s = 22 + 350. Suppose 0 = -4*l + s + 260. Is l a prime number?
False
Suppose -n + 7 = -18. Is n composite?
True
Let i(o) = o**2 - 7*o - 59. Is i(-20) prime?
False
Is 588/12 - (-2 + 0) composite?
True
Suppose 555 = 3*i + 126. Is i a composite number?
True
Let n be (708/(-10))/((-7)/35). Let x = n - 191. Is x a prime number?
True
Suppose d + 2*v = -268, 4*d + 1066 = v - 3*v. Let x(p) = -6*p**2 - 6*p - 7. Let h be x(-6). Let u = h - d. Is u prime?
True
Suppose 3*o - 45 = -3*z, 4*z + z - 55 = -4*o. Let d = 30 - o. Is d a composite number?
True
Is 1/1 + 5487*2/3 a composite number?
False
Suppose -t = t - 664. Suppose m = -m + t. Let u = m + -89. Is u a composite number?
True
Let p be -4*1/(4/2). Is p/(-11) - 6957/(-33) a composite number?
False
Let y(p) = 53*p**2 + 2. Is y(3) composite?
False
Let d(h) = -23*h - 2. Let m(z) = -3*z**2 + z - 1. Let t be m(1). Is d(t) composite?
False
Suppose 4*a = g - 175, -220 = 5*a - 0*g - g. Let j be 1/((-3)/a*3). Suppose -153 = -j*t - 2*f, 5*t - f - 3*f - 159 = 0. Is t a prime number?
True
Suppose 0 = -4*p - c + 11, 0*p + 5*c = 4*p + 7. Suppose 296 = p*n + 70. Is n a composite number?
False
Suppose -4*h + 190 = -3*s, -3*h + 0*h = -5*s - 137. Is h a composite number?
True
Let z(b) = 1062*b. Let h be z(2). Suppose 3*m + 453 = h. Is m a composite number?
False
Let r = 981 + -238. Is r composite?
False
Let m be (1 - (-1140 + 3)) + 2. Suppose 5*i + c - m = 6*c, 5*i = c + 1120. Is i a prime number?
True
Let q(s) = -4*s**3 - 4*s**2 + s + 1. Let h(o) = -17*o**3 - 16*o**2 + 4*o + 5. Let a(v) = -2*h(v) + 9*q(v). Is a(-3) a composite number?
True
Let z = 161 + -22. Is z a prime number?
True
Suppose 5*j - 4*j - 187 = 0. Is j prime?
False
Let m be 0/(4/(0 + -2)). Suppose -7*y + 4*y + 429 = m. Is y a composite number?
True
Suppose 4*m - 2296 = -s - 0*s, -4*s = 3*m - 1735. Is m composite?
True
Let v(z) = -5*z**3 + 5*z - 8*z**2 + 5*z**3 + 10 + z**3. Let q be v(7). Is 1*q/2 - -24 composite?
True
Suppose 2*a - 4 = 4. Suppose 2*r - a - 10 = 0. Suppose 4*c = r*c - 111. Is c a composite number?
False
Let q be (108/(-8))/((-2)/20). Let g = q - 47. Suppose 0 = -4*o - 3*w + 125 + g, -w = -4*o + 233. Is o composite?
True
Let s = 18 + -8. Is 448/20 + (-4)/s a prime number?
False
Let k be -2*(-4)/4*-18. Let u = k + 70. Is u a composite number?
True
Suppose -2*n - 2*q + 3 = -5, -q = -5*n + 38. Is n + (1 + -1)/2 composite?
False
Suppose 0 = 3*n + 12, 4*n + 4092 = 4*f - n. Is f prime?
False
Suppose 4*k + 3238 + 1725 = 5*c, 3*k = -6. Is c composite?
False
Let p be 7/2 + 24/16. Suppose -3*g - 26 = -p*g. Is g prime?
True
Let s be ((-16)/(-2))/(4 - 2). Suppose -k - s = -2*k. Suppose 3*c + 2*c = k*r - 45, -3*r - 4*c + 26 = 0. Is r a composite number?
True
Suppose 2*z + 998 = 4*z. Is z prime?
True
Let r be (2/(-3))/(5/(-30)). Let z = -12 - -15. Suppose i + 14 = z*i + 2*j, -i - r*j = -7. Is i composite?
False
Let c be -4*1/(1/75). Let w be c/(-9) - 2/(-3). Is w/1 + (2 - 5) a prime number?
True
Let h(i) = -98*i - 1. Let k = -2 - -6. Suppose 4 = -k*l - 8. Is h(l) prime?
True
Let r be (2 - -2) + 2/2. Suppose -x = -j - 3*j + 479, -j + 104 = r*x. Is j - (1 + 1) - -2 prime?
False
Let o(d) = -16*d + 7. Let v(p) = 0*p - p - 2 + 3. Let g(r) = -o(r) + 6*v(r). Is g(2) a composite number?
False
Let n = 7 + -4. Let z be -2*n*-2 + 1. Suppose 4*h - 463 - z = 0. Is h composite?
True
Let r = 5 - 4. Suppose d - 3 = r. Suppose -5*t + 465 = 2*b, t - b = d*b + 66. Is t a prime number?
False
Let g(c) = 3*c - 6. Let f be g(4). Let w = -18 + f. Is ((-28)/(-8))/((-2)/w) prime?
False
Let t(i) = -58*i + 1. Let q be t(-2). Suppose -11 = 2*r - q. Is r prime?
True
Let o be (3 - 2)*2 + 0. Suppose 0 = o*p + 2 - 14. Is p a prime number?
False
Let s(t) be the second derivative of 3*t**3/2 - t**2 - 8*t. Is s(4) prime?
False
Let o(k) = k. Let w be o(6). Is (-15 + 1)*(-123)/w a prime number?
False
Let k(i) = 2*i**3 + 2*i**2 + 8*i - 5. Let v(j) = -j**3 - 2*j**2 - 7*j + 4. Let q(p) = -2*k(p) - 3*v(p). Let m be q(3). Is 352/6 + m/12 prime?
True
Let c be 14/(3 - (-101)/(-34)). Suppose -c = 4*s - 8*s. Is s composite?
True
Suppose 4*j + 14 = 34. Let f(o) = -o**3 + 8*o**2 + 6*o - 2. Let c be f(8). Suppose -c - 49 = -j*r. Is r a prime number?
True
Let u(j) = 3*j + 1. Let x be u(2). Suppose -3 = -2*z + x. Suppose z*v - 3*t = 62, 0 = -2*v + 5*t + 7 + 33. Is v composite?
True
Let w = 106 + 0. Let f = w + 60. Suppose 0 = -2*p - 0*p + f. Is p a prime number?
True
Suppose j + 3 = 8. Let d(q) = 0*q + q**2 + 4 - q + j. Is d(0) composite?
True
Let a(i) = 0*i**2 + 5 - 4 - 5*i**2 + 2*i**3 + i. Is a(4) a prime number?
True
Let x(w) = 6*w - 3. Is x(6) a composite number?
True
Suppose 41*y = 43*y - 134. Is y a prime number?
True
Let d(z) be the second derivative of 2*z**4/3 + z**3/2 - 3*z**2/2 - 6*z. Is d(2) prime?
False
Let f be 0*(-1)/(-3) + -5. Let o be 20/f*(-142)/4. Suppose 3*i + 4*l - 5*l = o, -5*i + 235 = -2*l. Is i a prime number?
False
Let l = -5 + -2. Suppose -3*o = o - 20, -2*b + 4*o = -32. Let u = l + b. Is u a prime number?
True
Let y(z) = z - 20. Let h be y(0). Is (-1784)/h - 1/5 composite?
False
Let h(u) be the third derivative of -91*u**4/24 - 13*u**3/6 - 2*u**2. Is h(-6) composite?
True
Let t = -12 - -8. Let w(b) be the third derivative of -b**5/60 - 5*b**4/24 + 2*b**2. Is w(t) a composite number?
True
Let w = -3 + 97. Let b = 213 + w. Is b a composite number?
False
Let g(p) = 3*p**2 + 9*p - 6. Let u be g(-8). Suppose 543 + u = 3*t. Is t composite?
True
Let z(s) = -8*s**2 - 5 + s + 2*s**3 + s**2 + 5*s. Is z(4) a prime number?
False
Suppose w - 3*b - 15 = -4, w + b = 3. Let i(y) = -y + 7. Let x be i(w). Is x - (7*-4 - 1) composite?
False
Let u be 1/(2*1/(-178)). Let t = u + 124. Is t composite?
True
Suppose 5*m = 9*m - 4436. Is m composite?
False
Let b = 2 + -23. Let y = b - 10. Let k = 52 + y. Is k prime?
False
Suppose -5*h + 3 = 33. Let p = 6 + h. Suppose p = 6*r - 3*r - 363. Is r a prime number?
False
Suppose -6*h + 92 = -166. Is h a prime number?
True
Suppose 2*r = -3*j + 1121, 559 + 534 = 3*j - 5*r. Is j prime?
False
Suppose -2*d = d - 12. Suppose 4*m + 5*n = -562 - 381, 1190 = -5*m - d*n. Is (-1)/(0 - (-2)/m) prime?
False
Let t be (-75)/((-1)/(4/6)). Suppose 2*w - 46 = 8. Let z = t + w. Is z prime?
False
Suppose -4*o + 14 = 2. Suppose o*t - 94 = -5*r + 3*r, -5*t + 163 = -3*r. Suppose -3*w + 2*f + t = -3, -4*f = 4*w - 60. Is w prime?
True
Suppose -x + 3*n = -63, x + 2*n = 