e t(m). Suppose -a*z + 183 = -z - 4*u, -2*u - 4 = 0. Is z a prime number?
False
Suppose -4*s - 1 + 5 = 0, -2*l + 3*s = -1123. Is l a composite number?
False
Let j(s) = -s**3 + 7*s**2 - 2*s + 5. Let q be j(7). Let z = -8 - q. Let r(t) = 211*t**2. Is r(z) a composite number?
False
Let a = -529 - -165. Let i = -11 - a. Is i a composite number?
False
Let g(v) = 6*v + 4 - 2 + v**2 - 2*v. Let p be g(-2). Is (p - 0) + 5*1 a composite number?
False
Let z = 108 - 75. Let d = 58 - z. Is d a composite number?
True
Let p = -1897 + 2784. Is p a prime number?
True
Suppose 2*l = 2*d - 46, 2*d + 5*l - 11 = d. Let t be 111/d - 2/7. Suppose -t*i + 68 = -227. Is i prime?
True
Let d(u) = -u**2 + 25*u + 3. Is d(14) composite?
False
Is 2*2*(-115)/(-20) a composite number?
False
Let h = -2423 + 5386. Is h composite?
False
Let m = -92 + 233. Is m a composite number?
True
Let q(m) = m**2 + 7*m - 19. Let z be q(-9). Is (23/(-2))/(z/2) prime?
True
Let r = 2 + 2. Suppose -z + 126 = -5*h, 5*z + r*h = 2*h + 657. Is z a prime number?
True
Let d(w) be the first derivative of 14*w**3/3 - w**2 - w + 3. Is d(-2) composite?
False
Let n = 6 + -2. Suppose 3*o + 3*t - 321 = 0, 0 = n*o - 2*t + t - 443. Suppose -3*j - 3*m = -420, -j + 4*m + o = -45. Is j a prime number?
False
Let x = -1778 - -2911. Is x prime?
False
Let i(g) = -g**3 + g**2 - g - 1. Let w(h) be the first derivative of -h**4/4 - 3*h**3 + 5*h**2/2 + 8*h + 2. Let t(o) = -6*i(o) - w(o). Is t(3) composite?
True
Suppose 2*u - t + 4 = 0, -u - 2*t - 6 = 6. Is ((-2)/u)/(2/212) a prime number?
True
Let t be (-16)/6 - 4/(-6). Let f = -132 - -53. Is 3 + t - 1 - f composite?
False
Is 2*362/16*4 composite?
False
Suppose 2*b + 6 = 2*o - 0, -4*b - 12 = 3*o. Let t(w) = 59*w**3. Let i be t(1). Suppose o*c - c = -i. Is c a composite number?
False
Let v = 92 - 57. Suppose 2*d - v = -3*d. Suppose 3*l - 86 = d. Is l composite?
False
Suppose -11 = 5*d - 0*p + 2*p, 0 = d + 3*p + 10. Is (-23)/(d + 1/2) a composite number?
True
Suppose 5*d - c = 93, 3*d - 2*d - 29 = -5*c. Let r = d + -45. Let w = 48 + r. Is w composite?
True
Suppose 2*d + 8 = 3*p, 4*p - 3*p + d = 1. Suppose -4*x + 22 = -p*b - b, 5*b = x - 48. Is (4/b)/(2/(-70)) composite?
True
Let h = 297 + -197. Suppose -5*u = 4*a + a - h, 4*u - a = 95. Is u composite?
False
Let a(l) = -l - 1. Let r(y) = 38*y + 1. Let q(t) = -3*a(t) + r(t). Is q(9) prime?
True
Suppose -4*f = -0*f - 5*s + 140, -3*s + 175 = -5*f. Let z = f + 53. Suppose 31 = d - z. Is d a prime number?
False
Let b be (2 - -1)/((-6)/4). Let n = b + 6. Suppose -62 = -n*k + 2*k. Is k a composite number?
False
Suppose -d - 5*v + 611 = d, v + 288 = d. Is d a composite number?
False
Suppose 169 = 14*c - 13*c. Is c a prime number?
False
Let p(k) = -k**3 - 7*k**2 - 8*k - 1. Is p(-10) a prime number?
True
Let d(c) be the second derivative of 3*c**4/4 - 2*c**3 + 7*c**2/2 + c. Is d(8) a prime number?
True
Suppose 2*r = -3*k + 4493 + 2033, -r + 3285 = -4*k. Is r a prime number?
False
Let x = 81 - -50. Is x prime?
True
Let t = -87 - -359. Suppose s - t = -93. Is s a prime number?
True
Let u = 804 + -465. Is u a prime number?
False
Let c(p) = 4*p**2 + 2*p - 5. Let x(z) = z**2 + 10*z + 15. Let g be x(-7). Is c(g) composite?
False
Let v(o) = -o**3 + 5*o**2 + o + 2. Let d be v(5). Let a = -9 + 13. Let l = d - a. Is l a composite number?
False
Let h = -35 - -61. Is h/4*(-8)/(-4) a composite number?
False
Suppose 11*c = 9*c + 70. Is c a prime number?
False
Let r be 1*76 + -6 + 4. Suppose 3*n = n + r. Is n prime?
True
Let t(a) = a**3 - 9*a**2 + 11*a - 2. Let b be ((-16)/(-5))/((-2)/(-10)). Suppose w + w - b = 0. Is t(w) a prime number?
False
Let z = 179 + -261. Let i = 3 + 0. Is (-3)/(i/z) - -1 a prime number?
True
Let r(x) = 65*x + 1. Suppose -i - 4*i = -3*l - 17, 2*i + 10 = -3*l. Let n be 1*(-1)/(2/l). Is r(n) a prime number?
True
Let l = 6 + 35. Let f = l - -8. Is f a prime number?
False
Let s(v) = 6*v**3 - 5*v**2 - 10*v - 13. Is s(6) prime?
False
Let l(a) = -2*a**3 - 9*a**2 + 7*a - 3. Let s be l(-6). Is (-18)/s + (-485)/(-7) prime?
False
Suppose -5*w + 6599 = -4*y, -3*w = -y + 3*y - 3955. Is w a prime number?
True
Suppose -l + 53 = 2*v, -4*v + 49 = -2*l + 179. Is l composite?
False
Let y(k) = 96*k**2 - 2*k + 1. Is y(-3) a composite number?
True
Let v(b) = -b**3 + 8*b**2 + 9*b - 4. Let t be v(9). Is 22/t*4/(-2) a prime number?
True
Suppose 11 + 19 = -3*p. Let d be (-1 - 0)/(2/p). Suppose -r - 4*h + 86 = r, d*h - 160 = -4*r. Is r prime?
False
Let q(f) be the first derivative of 2*f - 2*f**2 + 3*f**2 + 2 - 8*f. Is q(10) a prime number?
False
Let t(o) = o**2 + o - 1. Let s(v) = -2*v**2 - v. Let m(h) = -s(h) - t(h). Let y be m(-1). Let j(u) = 59*u - 3. Is j(y) a composite number?
True
Is (-7 - (-32)/6)/((-2)/9762) prime?
False
Let h(n) = n - 5. Let s be h(4). Let m(w) = -126*w + 1. Is m(s) a prime number?
True
Suppose -o - g + 5 = 0, 4*g - 6 = 2. Suppose o*x - 216 - 165 = 0. Is x prime?
True
Suppose -a + n = 55, -101 = -a + 3*a - 5*n. Is a/(-2 + (-36)/(-21)) a prime number?
False
Suppose -45*p + 49*p = 4388. Is p composite?
False
Let h = 787 + 123. Suppose 0 = -2*f + 1450 + h. Is (f/10)/((-2)/(-1)) a composite number?
False
Let k = -104 + 154. Suppose -k = -2*d + 424. Is d prime?
False
Suppose 0 = -4*a + 3*o - 743, -4*o - 365 = 2*a + 23. Is 3 - (a + 2 + -2) prime?
True
Let x be (-30)/(-8)*16/6. Let y = 21 - x. Is y a composite number?
False
Suppose 1 = -4*y + 21. Is 6/2 - y - -53 prime?
False
Suppose -m = 3*m - 368. Suppose 6*i - 2*i = m. Is i composite?
False
Let r(m) = m**3 + 10*m**2 - 5*m - 11. Is r(-10) a prime number?
False
Let i be (3 + 441)*(-2)/(-3). Suppose -179 = -5*n + i. Is n prime?
False
Let w = 1197 - 700. Is w a composite number?
True
Suppose j + 1592 = 5*u, -j - j = -5*u + 1589. Is u composite?
True
Let l = 779 + -470. Is l a composite number?
True
Let r be (0 - 9/3)/(-1). Suppose -3*v - 3*c + 138 = 0, v = -r*v - 2*c + 184. Is v a prime number?
False
Let a(j) = -4 + 0*j + j - 3*j. Let f be a(-4). Suppose -l + 4*y + 5 = -38, 3*y - 191 = -f*l. Is l a prime number?
True
Let b(w) = -w**3 + 6*w**2 + 9*w - 3. Suppose -u = -0*u - 6. Is b(u) composite?
True
Let i(y) = 2*y**2 + 4*y + 5. Let x = 3 + 2. Let q be -1*(1 - 0)*x. Is i(q) composite?
True
Let a = -906 + 1859. Is a composite?
False
Let y(f) = f**3 - 8*f**2 + 2*f - 9. Suppose 0 = 3*m + 13 + 59. Let i = -16 - m. Is y(i) composite?
False
Suppose -n - 264 - 128 = -f, 5*n = -f + 422. Is f a prime number?
True
Let k(o) = -o**2 - 8*o + 2. Let j be k(-8). Let g be 6/j*-1 - 2. Let m(h) = 5*h**2 - 5*h - 5. Is m(g) a prime number?
False
Let a(u) = u**2 - 21*u + 17. Let j(v) = v - 1. Let d(l) = -a(l) - 6*j(l). Is d(11) prime?
False
Let m(u) = -1025*u**2 - 8*u + 5. Let y(s) = 3075*s**2 + 23*s - 14. Let d(f) = 17*m(f) + 6*y(f). Let t be d(-1). Suppose -261 = -5*x + t. Is x prime?
True
Let v(f) = 3*f**2 + 4*f + 3. Let u be v(-3). Suppose -5*i + u = 8. Is i a prime number?
True
Suppose 3*d - 3*u = -0*d - 6, u - 4 = 0. Let n = -12 + d. Let a = n - -20. Is a composite?
True
Suppose v - 6*v = -1655. Is v a prime number?
True
Let o(w) = w**2 - w + 2. Let t be o(2). Suppose -t*c + 55 + 162 = -i, -3*c - 2*i = -149. Is c composite?
False
Let h = 13 - 9. Let v be (-1)/(0 - 2/6). Suppose 3*d - 4*d = -v*m + 376, h*m - 528 = -4*d. Is m a prime number?
True
Suppose -z = 3*g - 0*z - 1195, -g + 2*z + 389 = 0. Is g a prime number?
True
Let r(c) = -c**2 + 6*c + 2. Let t be 104/10 - (-4)/(-10). Let j = t + -5. Is r(j) composite?
False
Suppose 4*s - h + 108 = 0, 0 = -s - 3*h + 8 - 48. Let m(b) = b**2 - 5*b - 11. Let u be m(9). Let o = u - s. Is o prime?
True
Let q be 22/(-18) - (-2)/9. Is 2 + q + 18*7 a prime number?
True
Let b(s) = -s**2 + 45*s + 41. Is b(20) a prime number?
True
Suppose 5*o = -4 + 19, n + 16 = 5*o. Is n/(-4) + (-375)/(-20) prime?
True
Suppose -11*o + 6098 + 4253 = 0. Is o a composite number?
False
Suppose -2*p + 265 = 3*p. Is p a prime number?
True
Let t = 3 - 4. Let v = t - -3. Suppose -4*s + 8 = -v*s, 0 = -5*d + s + 26. Is d composite?
True
Let q be ((-18)/(-5))/((-2)/10). Let a = 33 + q. Is a prime?
False
Is (3700/(-4))/(-5) - (-4)/2 composite?
True
Suppose 0 = -3*f + 1213 + 107. Suppose 2*v + 3*v - f = -5*z, -420 = -5*z - v. Is z a composite number?
False
Suppose 3*d = 3*a - 582, 3*a + 373