 Is a prime?
True
Suppose 3*i + w = 7*i - 791, -i + 219 = 4*w. Is i composite?
False
Let l(y) = -2*y**3 + 7*y**2 - 5*y + 1. Let m be l(4). Is (-329)/m*(1 + 4) composite?
False
Suppose 0 = 3*b + 4*u - 30 - 15, -b + 5*u + 15 = 0. Suppose r = -3*o + 10, 5*o - b = -0*o. Let q = r + 1. Is q prime?
True
Is (58/5)/((-3)/(-15)) a composite number?
True
Let t = 359 - -174. Is t prime?
False
Let d = 1537 - 864. Is d composite?
False
Let w be -2 - -6 - (-3 - -3). Suppose -5*j - 21 = 4, -q - w*j + 26 = 0. Is q composite?
True
Let n = -254 + 1161. Is n composite?
False
Let z(p) = -p**3 - p**2 - p + 1. Let j be z(0). Is 0 + (3 - (j - 8)) prime?
False
Let n(u) = -8*u**2 - 10*u - 21. Let j(v) = -4*v**2 - 5*v - 11. Let b(h) = 11*j(h) - 6*n(h). Is b(6) composite?
False
Let t = -16 + 10. Let d = t + 6. Suppose 3*f - y - 272 = d, 5*y = -0 - 25. Is f a prime number?
True
Let v = 9 + -6. Suppose 3*q = -6, 0*n = 2*n + v*q + 94. Let j = -11 - n. Is j composite?
True
Let f(a) be the third derivative of -2*a**4/3 - a**3/3 + 3*a**2. Is f(-3) composite?
True
Suppose -828 = -3*n + 915. Is n a prime number?
False
Suppose 3*t - 282 = 2*t + 4*g, 3*t - 859 = -g. Suppose -31 + t = 3*q. Is q composite?
True
Let t = 25 + -12. Let g = t + -7. Is g a composite number?
True
Let h be 8/(-6)*(0 + 15). Let x = h + 9. Let o = x + 24. Is o a prime number?
True
Let v = -1 - -1. Let h be v - (-6)/9*3. Suppose -55 = -z + 2*o - 3, 5*o = -h*z + 77. Is z composite?
True
Let a(r) = r**3 - 10*r**2 + 7*r - 6. Let n be a(10). Let o = n + -17. Is o composite?
False
Let n be (-6 - -3)/(-6)*8. Let a = -8 + n. Is ((-19)/(-2))/((-2)/a) prime?
True
Let c = 3755 + -2118. Is c composite?
False
Let l be -250 - (3 - 0 - 4). Let w = -88 - l. Is w prime?
False
Suppose 2*m - 4 = a - 72, 4*a - 4*m - 252 = 0. Let q = a - -279. Is q prime?
True
Suppose -2*r = o - 37, 5*r = 4*o + 186 - 61. Suppose -v - r = 26. Let g = v + 66. Is g composite?
False
Is -1 - (-3 + -208 + -1) prime?
True
Suppose 3*o = o + 64. Suppose 4*r + 4 = o. Let x(n) = n**2 - n - 9. Is x(r) composite?
True
Let p be 411 + (-1 - (-3 - -2)). Suppose p = 4*c - 3*c + 4*d, -2160 = -5*c + d. Suppose -y - y + 4*f + 434 = 0, 0 = -2*y + 3*f + c. Is y a prime number?
True
Let y(r) = r**3 + 8*r**2 - r + 9. Let v(l) = -2*l + 1. Let q be v(-2). Suppose -q + 33 = -4*f. Is y(f) a prime number?
False
Let t be 8/(3 + 1) + 3. Suppose -t*d = -3*d - 238. Is d prime?
False
Let o(z) = 1 + 0 + z - 2. Let s be o(5). Suppose 5*w = -5*g + 170, 0*g + 2*w = s*g - 136. Is g prime?
False
Let x(j) = 6*j**2 - 1. Suppose -i = 1 - 6. Is x(i) prime?
True
Let p(l) = -2*l + 7. Suppose 22 = 3*g - 5*g. Let u = -17 - g. Is p(u) a prime number?
True
Suppose n + 2 = 3. Let t be (-1)/(-2) + 44/8. Is (3/t)/(n/38) prime?
True
Suppose 9*i - 4*i = 305. Let g = i + -42. Is g a prime number?
True
Let u(i) be the third derivative of 0*i + 1/12*i**4 + 1/3*i**3 + 2*i**2 + 0. Is u(4) prime?
False
Let s(j) = j**3 - 7*j**2 - 27*j + 23. Is s(10) composite?
False
Suppose s = -2*i + 577, -4*s + i = -3*s - 592. Is s a prime number?
True
Suppose -3*c - 354 - 163 = -j, -5*j + 5*c + 2605 = 0. Is j a composite number?
False
Let z(d) = 25*d - 1. Let l be z(3). Suppose -u = o - l, 4*u = -5*o + 134 + 159. Is u composite?
True
Suppose j - 1501 = -5*o - 572, -5*o + 4*j = -909. Is o a prime number?
False
Suppose -34 = 2*h - 812. Is h a composite number?
False
Let i(z) = -2*z - 5. Suppose 28 = -4*d - 3*q, -5*q - 10 - 6 = -d. Let b be i(d). Suppose 4*y = b*r + 128, -3*y - 2*r = -3*r - 101. Is y composite?
True
Suppose -3*o - 2*o = -15. Suppose o*w - 6*w = -447. Is w a composite number?
False
Suppose 0 = p - 1961 - 1038. Is p a composite number?
False
Let n = -303 + -41. Let t = -183 - n. Is t prime?
False
Suppose -2*c - 10 = 0, -i + 0*c - c = 1. Let r(v) = -v. Let f be r(-2). Suppose i*j + 94 = f*x, -3*j = 2*j - 15. Is x a composite number?
False
Suppose -4*z = -5*z + 169. Suppose 266 + z = 3*w. Is w a composite number?
True
Let g(a) = a**2 + 6*a + 4. Is g(9) composite?
False
Let u(n) = n**2 - 7*n + 6. Let w be u(5). Let j(y) = 6*y**2 - 1. Is j(w) composite?
True
Let n be -1 - (2/2 - 2). Suppose n*w = -3*w - 12. Is ((-123)/12 - -2)*w prime?
False
Suppose 257 = r - 116. Is r a prime number?
True
Let a(m) = -m**3 - 4*m**2 - 2*m - 5. Let n be a(-4). Suppose n*y + 2*r = -2*y + 171, -2*r = -4*y + 126. Is y prime?
False
Let u be (-1 - -8 - -1) + -1. Suppose -u + 23 = 4*o. Let v(k) = k**2 + 3*k - 5. Is v(o) composite?
False
Let y = 8212 - 3173. Is y composite?
False
Let i be (-1 - 1)/(2/(-3)). Let q(r) = r**3 + r**2 + 3*r. Let l be q(i). Suppose 50 + l = 5*t. Is t a prime number?
True
Let l be 7/9 + (-2)/(-9). Let x(p) = 52*p**3 - 2*p**2 + p. Is x(l) a prime number?
False
Let p(q) = -q**2 - 10*q - 2. Let a be p(-5). Suppose -2*t = -2*w + 10, 4*w = 3*t - w + a. Is (t/2)/(3/(-66)) prime?
True
Let r(p) = 192*p**2 - 9*p + 1. Is r(-4) a prime number?
True
Let v(l) = l - 3. Let q be v(6). Suppose 4*w = -3*a + 3, a + 2 = -q*w - 2. Is w/(-1)*267/9 a prime number?
True
Suppose -37 = -3*i + 254. Let p = i + -44. Is p prime?
True
Suppose -6*c + 12 = -3*c. Let m(p) = p**2 + 14*p + 5. Let u be m(-14). Suppose -c*f + 76 = 4*y, u*f + 2*y - 45 - 50 = 0. Is f a prime number?
True
Let c(g) = g - 5*g + 3*g + 74. Is c(0) a prime number?
False
Is 10/65 - (-412107)/39 composite?
False
Suppose -y + 1 + 1 = 0. Suppose -3*o - 6 = 0, y*o - 88 = 3*f - 701. Is f a prime number?
False
Let q = 219 - -176. Is q composite?
True
Is -2*1933/(-4) + 2/4 a prime number?
True
Suppose -4*p + 1436 = -0*p. Suppose 2*t + 5*n - 1840 = -3*t, 4*n - p = -t. Is t a composite number?
True
Suppose 4*m = m + 9. Suppose 371 = m*a + 140. Is a a composite number?
True
Let h(v) = -26*v**2 + v + 1. Let r be h(-3). Let j = r - -385. Is j prime?
True
Let s = -5 - -8. Suppose -9 = 2*j - 3, -s*j = -4*t + 1089. Let u = t + -187. Is u composite?
False
Let n(i) = 7*i**2 + 6*i. Is n(-5) composite?
True
Let z(l) = 2*l**2 - 12*l + 3. Let i(u) = u**2 + u**3 - 2 + 5*u**2 + 0*u + 3*u. Let y be i(-5). Is z(y) composite?
True
Let i be (-238)/18 + (-8)/(-36). Let k = i + 22. Is k composite?
True
Let n = 1 + 1. Suppose 4*b + 202 = n*s, -2*s + 94 = b - 83. Is s a composite number?
True
Is (0 - (-174)/2) + -4 composite?
False
Let b(s) = 34*s**2 - 3*s + 3. Let g be 2 + 1 - (3 - 2). Is b(g) prime?
False
Let j(f) = -f - 8. Let h(m) = m**3 - 4*m**2 - m - 1. Let z be h(3). Let o be j(z). Is -298*(10/(-4))/o composite?
False
Let c be 6/(-21) + 52/(-14). Let f be (-16)/(-10)*(-70)/c. Suppose f = 4*w - 8. Is w a composite number?
True
Suppose -5*h + 5 = -5*p, -3*h = p + p + 2. Let s(f) be the second derivative of -16*f**3/3 - f**2/2 - f. Is s(p) prime?
True
Is 1/(1/1115) + 0 a composite number?
True
Let c = 8642 + -4837. Is c a prime number?
False
Is (-4)/26 - (-496)/13 a composite number?
True
Let p = 296 - -35. Is p prime?
True
Let w = 23 + -18. Suppose 2*c - 309 = 3. Suppose 186 = 5*i + 2*t, -i - 2*t - c = -w*i. Is i a composite number?
True
Let n(z) = -z**3 + 2*z**2 + 2*z + 1. Let v be n(2). Suppose -8 - 7 = v*y. Is 1/(5/y - -2) prime?
True
Let o = 4 + -9. Is (-3)/o*(1 - -24) a prime number?
False
Let f(z) = 78*z**3 - 4*z**2 + 4*z + 11. Is f(4) a composite number?
True
Let d = -804 + 1483. Is d prime?
False
Let i(w) = -3*w. Let c be i(6). Let s be (-112)/(-18) - (-4)/c. Let g(d) = 19*d + 1. Is g(s) a prime number?
False
Let j(n) = n. Let o be j(4). Suppose l = -l + o. Is l*1 - 8*-4 a composite number?
True
Suppose -t + 5*y + 56 = 0, -3*y + 168 = 4*t + t. Let d = 55 - t. Is d composite?
False
Suppose 2*q - 281 = 75. Is q a composite number?
True
Suppose 4*u + 14 = q, 2*q - 2 = 4*u + 14. Let f(b) = -q - 3*b + 3*b**2 + 0*b - b. Is f(-3) a prime number?
True
Suppose 0 = -7*b + 3*b - 2*d + 46, 4*b - 44 = -4*d. Suppose -3*n = -0*n - 9, -m + 3*n = -b. Is m prime?
False
Is 4/(-10) - 5285/(-25) composite?
False
Let i(r) = -4*r**3 - 2*r**2 + 3*r + 6. Is i(-7) composite?
False
Let c = 263 - 106. Is c a prime number?
True
Suppose 0 = 3*x - 13 - 2. Let t be (-56)/(-10) - (-2)/x. Let v(a) = -a**3 + 7*a**2 + 4*a + 7. Is v(t) prime?
True
Suppose -2*q - 2*q + 12 = 0. Suppose q*f - 221 = -4*p + 2*f, 0 = -2*f + 10. Let u = p - -25. Is u a prime number?
True
Suppose o - 5*n = 14, 3*o + 5*n - 4*n = 58. Let s(g) = -