 Is i(h) prime?
True
Is -724*-3*(82/24 - 3) composite?
True
Let y = 213 + -83. Is (-1 - 0)/((-2)/y) prime?
False
Suppose 3*m - 124 = -3*b - 19, -5*b - 35 = -m. Is (1 + 0)/(1/m) prime?
False
Let s(i) be the second derivative of -i**3/3 - i**2/2 - i. Let o be s(-3). Suppose 89 + 176 = o*g. Is g composite?
False
Let x(q) = q**3 - 21*q**2 + 24*q - 19. Is x(21) prime?
False
Let m = -41 - -70. Suppose 4*d = 377 - m. Is d a prime number?
False
Let r(w) = -33*w + 11. Is r(-6) composite?
True
Suppose q = 5*q - 884. Is q composite?
True
Suppose 3*x + 0*x - 12 = 0. Let w(k) = 5*k**2 + 7. Is w(x) prime?
False
Suppose 6*f - 2*f = 17252. Is f a composite number?
True
Let k be -2 + (-9)/3*-28. Let c = 192 - k. Suppose 5*b + 5*d = c, 0 = -3*b + 2*d + 22 + 49. Is b composite?
False
Suppose -2*k = -862 - 12. Is k a prime number?
False
Let t = 460 + 2817. Is t prime?
False
Let l be (-3 - -3)/(2 + -1). Suppose l = -5*a - k + 4443, -932 = -3*a + k + 1737. Is a prime?
False
Let c(t) = -t**2 - 12*t - 2. Let z be c(-12). Let r(h) = 10*h**2 + 4*h + 3. Is r(z) a composite number?
True
Suppose 0 = -2*f + 3*f - 2. Suppose f*x = 7 + 5. Is x a prime number?
False
Let s = -7 - -8. Is 148 + (s - 2) - -2 a prime number?
True
Let b(z) = -z**2 + 37*z + z**3 + 33 - 37*z. Is b(0) a prime number?
False
Let b = 9 - 7. Suppose -b*l + 4*l = -4*v + 44, 2*v - 12 = 4*l. Suppose -3*i - 2*d + 40 = 0, 3*i - v = i + 2*d. Is i a composite number?
True
Let r(x) = x**3 - 6*x**2 + 5*x + 5. Let z be r(5). Suppose -131 - 54 = -z*v. Is v a prime number?
True
Let t(h) = -h**2 + 19*h - 11. Let j = 302 + -128. Let r be 2/(-7) - j/(-21). Is t(r) composite?
True
Let l(b) = b**3 - 8*b**2 + b - 1. Let x(z) = -2*z**3 + 15*z**2 - z + 1. Let y(u) = 5*l(u) + 3*x(u). Is y(4) composite?
True
Let j = -62 + 173. Is j a composite number?
True
Let b(n) = -n - 4. Let l be b(-5). Suppose l = t - 2. Suppose -50 + 272 = t*c. Is c a prime number?
False
Let f be (0 - -13)/((-4)/(-72)). Suppose 0*u = -4*t + 2*u + f, -2*t = -4*u - 120. Let s = t - -19. Is s composite?
True
Let z(s) = 6*s**2 + 2*s + 2. Let v be z(-7). Suppose v = 4*l - 994. Is l prime?
False
Suppose -q - 56670 = -6*q + n, -5*n + 11360 = q. Is q prime?
False
Suppose -7*g + 3*g + 304 = 0. Suppose -2*w + g = 2*w. Is w prime?
True
Suppose -190 = -c + 3*c. Let o = c - -133. Is o a composite number?
True
Suppose 0 = -2*v - 0*u - 4*u, v - 5*u - 14 = 0. Is 2/(-8) - (-61)/v a prime number?
False
Is 2*(-1)/2*-179 a prime number?
True
Let b(u) = 0 - 2*u + 1 + u. Let a be b(-2). Suppose i + a*i = 308. Is i prime?
False
Is 5/(40/6) + 2026/8 prime?
False
Let x = 26 - -19. Let c = x - 139. Is (c/10)/(2/(-10)) a composite number?
False
Let z(x) be the third derivative of x**5/60 - 7*x**4/24 + 7*x**3/6 - 3*x**2. Let v = 13 - 6. Is z(v) prime?
True
Suppose n - 4*n = 3*t - 156, -3*n = -2*t - 171. Is n a prime number?
False
Let a be 3/6*(2 - 4). Suppose 3*d - 9 = 2*f, -d + f + 4 = 1. Is -3 + 35 - d/a prime?
False
Let y be 0 + 0 - 3 - -169. Let d = -41 + y. Let j = -72 + d. Is j a prime number?
True
Suppose 0*o - o = 5*c + 108, -216 = 2*o - 2*c. Let a(y) = 24*y + 1. Let m be a(1). Let w = m - o. Is w a prime number?
False
Is 5292/4 + -2 - 4 a composite number?
True
Suppose -2*o - 2*o = -8. Suppose 2*t + 138 = 5*u, -o*u + 11 = t - 37. Is u composite?
True
Suppose -s - a = -9, s - 17 = -0*s - 3*a. Let w(g) = 7*g**2 + 2*g - 7. Is w(s) a prime number?
False
Suppose -3*l + 3 + 6 = 0. Suppose -w + 33 = -5*c - 86, 0 = 5*w + l*c - 679. Is w a prime number?
False
Suppose -1555 = -6*z + 959. Is z prime?
True
Let r(d) = 19*d - 8*d + d**2 - 7*d**2 + 5*d**2. Is r(10) prime?
False
Suppose 5*t + 0*t = 830. Is t prime?
False
Let k = -11 + 7. Let n(a) = 4*a**3 + 4*a**2 - 8*a - 9. Let f(y) = 5*y**3 + 4*y**2 - 9*y - 10. Let o(s) = -3*f(s) + 4*n(s). Is o(k) prime?
False
Suppose 0*a - 5 = -5*a. Let u(d) = 0 + 1 + 36*d**2 - 5 - 2*d + a. Is u(-2) composite?
True
Let z(y) = -y**3 + 3*y**2 + 4*y + 3. Let a be z(4). Let j be 5 - 0*1/a. Let r(l) = l**2 + 5*l + 5. Is r(j) a composite number?
True
Let s(h) = 10*h - 1. Is s(5) a composite number?
True
Let t(y) = 17*y - 5. Is t(6) a composite number?
False
Suppose -h - 15 = -2*h. Suppose c + h = -0*t + 5*t, -c - 5 = -3*t. Is c composite?
True
Let n(f) = -f**3 - 11*f**2 + 4. Let m be n(-11). Suppose x + t = 8, 4*x + 1 = 2*t + 3. Suppose -m*r + x*q + 40 = -37, 4*r + 4*q = 112. Is r prime?
True
Let k(x) = 16*x - 4. Let z be k(-9). Suppose -3*q = 11 + 4. Let m = q - z. Is m prime?
False
Let j = -128 - -205. Is j prime?
False
Suppose -k + 573 = -4*m, 5*k - 2192 = k - 4*m. Is k composite?
True
Let j be (-1)/(1/(-5*7)). Suppose 7*k = 2*k + j. Is -1*k*-7 - 0 prime?
False
Suppose 4*g + 12 = 0, t + 19 = 3*t - 5*g. Suppose 4*f - t*z + 67 = 205, 111 = 3*f - 4*z. Is f prime?
False
Let x = 10 + 93. Is x composite?
False
Is 84/(-147) - 2/(28/(-1198)) a prime number?
False
Let z = -3 - -5. Let j be 5*(z - -1 - 2). Suppose 3*k + 6 = -5*g, -4*g - 8 - 19 = -j*k. Is k a composite number?
False
Suppose 0 = 3*n - 3*p + 18, 4*p = 7 + 9. Let b(c) = -26*c**3 + 2*c**2 + 3*c + 1. Is b(n) prime?
True
Suppose 3 = 4*h + 39. Let g(n) = -2*n + 7. Is g(h) prime?
False
Suppose 2*a + 10 = -0*a, -w - 5*a = 20. Suppose 4*x - 358 = v, 0 = -w*x - v + 253 + 199. Suppose -5*m - 2*z + 453 = 0, m + 2*z - x = z. Is m composite?
True
Suppose -5*v = -4*v - 9. Suppose -i - v = -28. Is i a composite number?
False
Suppose -47 = -2*k + 67. Suppose -3*t = -6*t + k. Is t composite?
False
Suppose -94 = 3*q + 32. Let s = 143 - q. Is s a prime number?
False
Suppose -509 = -4*s - 0*d - d, 3*s = -3*d + 384. Is s prime?
True
Let r = 202 + -76. Let h = -160 - -233. Let m = r - h. Is m composite?
False
Suppose 0*g = 2*g - 8. Suppose -w = -g*w + 354. Is w prime?
False
Suppose -5*g + 5*y - 55 = 0, 6*g - 2*g + 4*y = -28. Is (-601)/g - (-2)/9 a composite number?
False
Let p(o) = -3*o - 3*o + 113 - o**2 + 6*o. Let n be (-1 + 1)*-1*1. Is p(n) prime?
True
Let t(s) = -221*s + 3. Is t(-4) a composite number?
False
Let d be 2 - (2 - 3 - 0). Let i(q) = 6*q - 9. Let o(h) = -2*h + 3. Let c(t) = 3*i(t) + 8*o(t). Is c(d) composite?
False
Let i = -15 + 9. Let b = 11 + i. Is b/2 - 2/(-4) a prime number?
True
Suppose -10 = -5*c, 2472 + 699 = v + 4*c. Is v prime?
True
Is ((-2)/3)/((-4)/318) composite?
False
Suppose 4*k - 2 = 2*u + 2, 2*k - 2*u = 4. Suppose 4*i - 7 - 9 = k. Is i/6 + (-398)/(-6) a prime number?
True
Suppose 6*r = 2*r + 20. Suppose -w + 3*w - k - 207 = 0, -531 = -r*w - 2*k. Suppose 9*m - 4*m = w. Is m prime?
False
Let a(i) = 7*i**2 - 5*i + 4. Let d be a(2). Is (92/8)/(1/d) prime?
False
Let z(d) = 34*d - 19. Suppose -3*r + 44 = 5*f, 4*f = -r - f + 28. Is z(r) composite?
True
Suppose -3*c - 2*b + 284 = -69, 2*c + b = 234. Let a = -18 + c. Is a prime?
True
Let q(h) be the second derivative of -11*h**3/3 - 5*h**2/2 + 2*h. Is q(-4) a prime number?
True
Suppose t + 0*t = -62. Let u = -19 - t. Is u a composite number?
False
Suppose -90 + 281 = d. Is d a composite number?
False
Suppose -j - 4*j + 1185 = 0. Is j a prime number?
False
Let h = -4 - -27. Is h a composite number?
False
Suppose -5*p = 2*s - 3*s + 19, 4*p = -2*s - 4. Is s a composite number?
True
Suppose -3*r + 2455 = 3*l - 2*l, -4*l + 4080 = 5*r. Suppose 4*s - 5*y + r = 0, 5*y + 158 = -s - 47. Let z = -64 - s. Is z a composite number?
True
Let x(g) be the first derivative of 381*g**4/4 + g**2/2 + g + 3. Let a be x(-1). Is a*(2/(-6) - 0) composite?
False
Let t(c) = c**3 - 11*c**2 + c - 9. Let r be t(11). Suppose r*i - 2 = 2. Suppose -m + i*m - 25 = 0. Is m prime?
False
Suppose -6*w + 565 = -w. Suppose -41 = -i - 2*a + 74, -i - a = -w. Is i prime?
False
Let x(h) = 8*h + 1. Let k(z) = -z**3 + 5*z**2 - 2*z - 5. Let j be k(4). Is x(j) prime?
False
Let v = 8 - 6. Suppose -v*f + 28 = -490. Is f a composite number?
True
Suppose 5*m + 11 - 1 = 0. Is 2149/28 + m/(-8) composite?
True
Let w(b) = 1 + 6*b**2 + 175*b - 175*b. Suppose -h + 7 = -0*h + 2*m, -2*h + 4*m - 18 = 0. Is w(h) a composite number?
False
Let l be (-534)/(1/1) + 2. Let u = l - -1041. Is u composite?
False
Let u(g) = 5*g + 7. Suppose -4*l + 8 = -0*l. Suppose 5*m - 14 = l*q + 2*q, 4*m = 2*q + 16. Is u(m) a composite number?
False
Let u = -305 + 131. Let z be (u/(-15))/((-3)/15). Let b = -39 - z. Is b composite