2 = o, 2*t - l = 5*o. Let j = t - 0. Is j a prime number?
False
Let y = 4 - 11. Let l(o) = -11*o + 2. Is l(y) composite?
False
Suppose 2*r = -u + 5, 0 = -4*u - 4*r - r + 17. Suppose 2*x + u*k = 62, 4*x - 8*x = -3*k - 160. Is x a prime number?
True
Suppose 0 = x - 108 - 183. Is x a composite number?
True
Suppose -g = -4*g - 30. Let y = g - -43. Is y a prime number?
False
Suppose 0 = -i + 5*i - 1180. Is i a prime number?
False
Suppose -2*y = 3 - 7. Let v be -47 - (-1 - 2 - 0). Is y/11 + (-3468)/v composite?
False
Let d(y) = 3*y**2 + 2*y - 3. Suppose 2*l - 12 = -0*l - 4*o, 3*l = 5*o - 4. Suppose -2*f + l + 2 = 4*q, 0 = f - 3*q + 13. Is d(f) composite?
False
Let d(h) be the third derivative of 0*h + 1/12*h**4 + 1/10*h**6 - 1/6*h**3 + 0*h**5 - 2*h**2 + 0. Is d(1) a composite number?
False
Let y = -3 - 1. Is 627/9 + y/6 a prime number?
False
Let f be 149/((1 - -2) + -2). Suppose 0 = -2*i + 4*w + 64, i + 3*i - f = w. Is i a prime number?
False
Let s(h) = h + 4. Let d be s(-5). Let w be (-2)/d - 2 - 1. Is w + 9 + 3/(-3) prime?
True
Let l = -245 + 538. Is l a composite number?
False
Let w = 195 - 102. Is w prime?
False
Let b be (-1)/3*159/(-1). Let m = -34 + b. Is m a composite number?
False
Suppose 3*b + 100 = b. Let m = 9 - b. Is m prime?
True
Let c = -1 - -4. Is (-226 + c)/(0 + -1) composite?
False
Let l be 1221/27 - 6/27. Suppose 0 = -2*w + 419 - l. Is w prime?
False
Suppose 3*p + p + 5*g = 479, 2*p = 5*g + 247. Is p composite?
True
Let z = 86 + 39. Suppose 0 = 3*h - 5*h - s + 113, -2*h + 3*s = -z. Is h composite?
True
Suppose h - 4*i = 133, -i - 25 = 4*i. Is h a composite number?
False
Suppose -2*s + 28 = 2*s. Suppose -u = 3*n - 70, 0 = -3*n + s*n - u - 105. Is n prime?
False
Suppose 0 = 3*b - 185 - 523. Suppose -4*l = -x - b, l = 5*x - 3*x + 66. Is l a prime number?
False
Let m be (18/(-4))/((-2)/(-4)). Is 6/(-27) - 479/m composite?
False
Let l = -114 - 327. Let s = -176 - l. Is s a composite number?
True
Suppose -3*j = -2*j. Suppose -2*z + 30 + 8 = j. Is z composite?
False
Let s(q) = 4*q - 2. Let i be s(-3). Let z = 73 + i. Is z composite?
False
Is 6/9 + (-16780)/(-12) prime?
True
Let m(l) be the first derivative of -1 - 6*l + 1/3*l**3 - 3*l**2. Is m(8) prime?
False
Suppose 6*g = g. Suppose o + 3*a - 13 = g, 5*o + a - 2 = 63. Is o prime?
True
Let v(x) = x**2 - 4*x - 8. Let g be v(6). Suppose 0 = -g*r - k + 28, -2*r - 20 = -4*r - 2*k. Suppose -2*p = -3*p + r. Is p prime?
False
Suppose -t - n = -160, -3*t + 3*n + 455 = n. Suppose 0 = -4*a + 129 + t. Is a a composite number?
False
Suppose 2*a - 2*d - 228 = 0, a + a - 5*d - 225 = 0. Suppose z + a = 2*x - 4*z, x = -3*z + 52. Is x a prime number?
False
Suppose 3*u - u + x = 8, 0 = -5*x + 10. Suppose -u*l + 156 = 3*y, -y + 4*y + l = 162. Is y composite?
True
Let x(f) = 450*f**3 - 2*f**2 + 1. Is x(1) a composite number?
False
Suppose 853 = g + 2*i, -4*g - i + 2226 = -1207. Is g prime?
True
Let o(f) = 2*f**2 - 13*f - 11. Suppose -p + 4*p = -30. Let m be ((-8)/p)/((-4)/(-50)). Is o(m) prime?
True
Let j = 60 - 12. Let r = j + -5. Is r a composite number?
False
Let k(c) = 4*c**2 + 8*c + 9. Is k(-7) composite?
False
Is (1017/6 + -4)/(1/2) a prime number?
True
Suppose 10 = -4*a - 38. Let h be (-15)/4 + (-9)/a. Is 38 + h + 3 + -1 composite?
False
Suppose -3*x + 201 + 72 = i, -2*i + 91 = x. Is x composite?
True
Let i(o) = o**3 - o**2 + o + 49. Let t(n) = -n. Let b be t(6). Let u be 0/(1*b + 3). Is i(u) a composite number?
True
Let j be 4*(2 + 10/(-8)). Suppose j*x - 77 = 82. Is x a composite number?
False
Suppose -5*t + 5609 = -3*j, 4*j - 635 = -t + 496. Is t prime?
True
Let g(v) = 543*v - 85. Is g(6) prime?
False
Suppose -144 = -g - 3*g. Suppose 113 - g = d. Is d composite?
True
Suppose 3*r - 3*u = -6, -3*r - 9 = -5*u + 7. Suppose 222 = r*d - d. Is d a prime number?
False
Let o(w) = -w**2 - 8*w - 2. Let r be o(-8). Let x be (2 - 2 - 0)/r. Let h(p) = p**2 + p + 79. Is h(x) a prime number?
True
Suppose 319 = 4*p - 445. Is p a composite number?
False
Suppose -5*p + 130 - 30 = 0. Suppose -4*q + p = -9*q. Is 3/(-6) + (-30)/q prime?
True
Suppose -2*s + 0*s = 0. Suppose 219 = 4*k + 5*a, 4*a + s = -2*k + 114. Is k a prime number?
False
Suppose -4*o = -5*r - 5, -4*o - 5 = -5*o + 5*r. Suppose 2*w - 118 = -o*w. Is w a prime number?
True
Suppose -2122 = -5*s + 3*g, 2*s - 843 = -g - 3. Is s composite?
True
Let v(a) = -2*a - 10. Let y(h) = h + 1. Let s(z) = -2*v(z) - 18*y(z). Let g be s(-2). Suppose -3*k + g = 3*c, 8 + 0 = -2*c. Is k composite?
True
Let k(x) = -26*x**3 - x**2 - 2*x + 1. Let r be k(-2). Let a = 420 - r. Is a a prime number?
True
Let t(j) = 218*j**3 - 2*j**2 + 2*j - 1. Is t(1) composite?
True
Suppose j - 16 = -3*j. Suppose -j*k + 436 = -0*k. Is k a prime number?
True
Let b be (-2 - (-25)/(-1))*2. Let y = -35 - b. Is y prime?
True
Let k(q) = 72*q + 3. Is k(3) composite?
True
Suppose -x = -3*x - 42. Is (1190/x)/(2/(-3)) a composite number?
True
Is (-5)/(25/(-2455)) + -4 a prime number?
True
Suppose 0 = 5*r + 4*y - 9559, -y - 4*y = r - 1895. Is r a prime number?
False
Let f be (2/(-6))/((-7)/84). Suppose 24 = f*t - 4*w, 2*w - 40 = -4*t - 10. Is t prime?
True
Let l(s) = 7*s**2 + 3*s + 1. Is l(-9) a prime number?
True
Let d(t) be the third derivative of t**6/40 + t**5/30 - t**4/24 + 3*t**2. Let a be d(1). Suppose -3*b - a*f + 72 = -11, 4*b + 2*f = 94. Is b a composite number?
True
Suppose -3*k = -2*m - 72, -3*k - 5*m = -0*k - 51. Let w = -2 - -6. Suppose -3*p = -w*p + k. Is p prime?
False
Suppose 2*m + 4*x - 231 = x, 4*m - 438 = 2*x. Suppose 0 = -2*i - 0*i - 5*r + m, -3*i + 178 = -4*r. Is i prime?
False
Let x be 854/(-10) - (-6)/15. Let y = 51 + x. Let l = y + 71. Is l prime?
True
Let b(m) = -141*m + 1. Let u be 2/(-6)*(1 + 2). Let y be b(u). Let t = -73 + y. Is t a prime number?
False
Let h(c) = 2*c**2 - 2. Let v be h(-2). Suppose 0 = 5*s + 4*m - 1023, 3*m - v = -s + 203. Is s a prime number?
False
Let x(i) = i**3 + i**2 - i + 573. Let d be x(0). Is (d/6)/((-2)/(-4)) composite?
False
Let g(v) = 13*v**3 + v**2 + v - 1. Let o(j) = j**2 + 7*j + 5. Let h be o(-7). Suppose -h*w + 0*w = -3*f - 2, 3 = w + 2*f. Is g(w) a composite number?
True
Is 4 + 181 + 4 + -2 composite?
True
Let w(i) be the first derivative of i**5/60 + i**4/12 + i**3/2 + i**2/2 - 2. Let g(h) be the second derivative of w(h). Is g(-3) a composite number?
True
Suppose -5*a + 5*l = -260, 8*a - 4*a - 213 = -l. Suppose 0 = 4*t, w + 0*t - a = 2*t. Let p = 0 + w. Is p prime?
True
Let u be 1/((-1)/(-23) + 0). Let a be 4 - (-9)/(5 + -2). Suppose u = 5*w - a. Is w a prime number?
False
Suppose 0 = t - 5*t + 3560. Suppose 0*g - 2*g + t = 0. Suppose 0*x - g = -5*x. Is x composite?
False
Suppose -6*h - 326 = -8*h. Is h a composite number?
False
Let v(w) = -w**3 - 5*w**2 - 4*w + 3. Let r be v(-4). Suppose t + g = r*t - 57, 4*t = -2*g + 110. Let q = -18 + t. Is q a prime number?
False
Suppose 8*p - 6*p - 1066 = 0. Is p a prime number?
False
Let h(q) = 2*q**3 - 8*q**2 + 7*q + 13. Is h(8) prime?
False
Let q(a) = -3*a - 7. Let g be q(-3). Suppose o = -4*x + g*x + 1125, o + 5*x - 1140 = 0. Is o a composite number?
True
Let g(x) = -x**3 - 11*x**2 - 5*x + 11. Let p be g(-11). Suppose p = y - 2*l - 3*l, 146 = 3*y - 2*l. Is y composite?
True
Let c(o) = 5*o + 4 - 4 - o**2. Let y be c(4). Is y/(-16) + 447/12 prime?
True
Suppose 0 = 5*h - 4*w - 181, 2*w - 2 = -0*w. Is h composite?
False
Suppose 4*w + 5 = 17. Suppose 3*s - 111 + 39 = -5*g, s = g - 16. Suppose p = z - 4 + g, w*p + 2*z = 13. Is p prime?
True
Suppose -4*b + 7*b = 1227. Is b prime?
True
Suppose -n = -0*n - 37. Let i = n - 10. Is ((-3)/(-9))/(3/i) prime?
True
Let j(d) = 28*d**2 + 5*d + 14. Is j(5) a prime number?
True
Suppose 203 = -2*d - 459. Let o = -24 - d. Is o a composite number?
False
Let q(t) = -206*t - 34. Is q(-10) prime?
False
Let i = -2 + 5. Suppose -350 + 77 = -i*v. Is v prime?
False
Let r(s) = -s + 57. Let a be r(0). Let g = a + 22. Is g a composite number?
False
Suppose 538 = 3*s + 2*s + 4*y, 2*s - 202 = 5*y. Is s composite?
True
Let r(s) be the first derivative of s**4/4 - 4*s**3/3 - 3*s**2/2 - 5*s + 3. Let d = -1 + 7. Is r(d) a composite number?
True
Is (-37)/(-3 + 4/1 + -2) a prime number?
True
Let r = 217 + -152. Is r prime?
False
Let j(l) = 19*l - 1. Let p be j(3). Let i = p + 33. Is i prim