Is h composite?
True
Suppose 638 = 3*v - 9*b + 4*b, 0 = 3*v + 2*b - 610. Suppose -2*n + 9 - 1 = 0. Suppose -4*s - 2*j + v = 0, -j + 1 = -n. Is s a prime number?
False
Let v(z) = -199*z + 5. Let j be v(-8). Suppose q - 3*q - 3*c = -j, q + 2*c - 799 = 0. Is q prime?
True
Let f = -2 + 8. Suppose -5*v = -f - 169. Is v composite?
True
Suppose 3*n - 20 = -2*q + 7, 4*n + q - 31 = 0. Suppose -115 = -n*u + 2*u. Is u a composite number?
False
Let f(b) = 4*b**2 + 6*b + 7. Let v(z) be the second derivative of z**4/12 - z**3/6 - 5*z**2/2 - 2*z. Let r be v(0). Is f(r) a composite number?
True
Let z(k) = -k - 4. Let p be z(-6). Let r(u) = u**3 - 2*u**2 - 2*u + 3. Let i be r(p). Is (-71)/(-2) + i/2 composite?
True
Let b(d) be the second derivative of d**5/20 + 3*d**4/4 + 7*d**3/6 - 2*d**2 - 2*d. Let t be b(-8). Suppose -k = -t + 1. Is k a composite number?
False
Let z(b) = 106*b**3 - 7*b**2 + 5*b - 3. Is z(5) a prime number?
False
Let n(h) = 382*h**2 + h + 1. Is n(-1) a prime number?
False
Is 6/18*(-4470)/(-2) a prime number?
False
Suppose -552 = -5*x + 613. Is x a composite number?
False
Let a(c) = c**3 + 6*c**2 - 8*c - 9. Is a(-6) a prime number?
False
Suppose -83 = -3*k - 5*z + 119, -3*z - 280 = -5*k. Is k composite?
False
Suppose 5*f - 970 = -0*f + 5*q, 582 = 3*f - 4*q. Is f composite?
True
Suppose 0 = -4*p - 119 - 249. Suppose 0 = -2*n + 8, 3*t + 2*n - 109 - 316 = 0. Let k = t + p. Is k prime?
True
Let u(h) = 94*h**2 + 7*h + 2. Is u(-5) composite?
True
Let a = 3 - 3. Suppose -4*o + 24 = -a*o. Let l = 1 + o. Is l a composite number?
False
Suppose 2*m - 5*m + 52 = 5*b, -4*m = 5*b - 56. Suppose 10 = -3*s + b*s, 0 = 5*o + s - 52. Suppose -o = 2*z, 4*y + z - 5*z = 56. Is y prime?
False
Let g(o) = 46*o**3 - 6*o**2 - 13*o - 1. Let s(t) = -31*t**3 + 4*t**2 + 9*t + 1. Let l(p) = 5*g(p) + 7*s(p). Is l(2) composite?
True
Suppose 0*q + 3129 = 3*q. Is q composite?
True
Suppose -4*r = -2271 - 365. Is r a composite number?
False
Is 3074/10 + 8/(-20) a composite number?
False
Suppose -4*w + 5*s + 92 = 37, 70 = 3*w + 2*s. Suppose 3*z - w = z. Is z a composite number?
True
Suppose 4 - 12 = -2*b. Suppose -b*f + 9*f + 5 = 0. Is 66 + 3 + (f - 1) prime?
True
Let a be (-1128)/(-18) + 2/6. Let u = -20 + 52. Let v = a - u. Is v a prime number?
True
Let n = 183 + -116. Is n prime?
True
Suppose -5*f = 4*w - 5*w + 7, 4*w + f = -14. Let l(y) = 9*y + 2. Let z(b) = -b. Let t(u) = -l(u) + 4*z(u). Is t(w) composite?
False
Let p(z) = z**3 + 6*z**2 + 6*z + 7. Let l be p(-5). Suppose -4*a = 6 - l. Is (-7)/((0 - a)*-1) prime?
True
Suppose 4*g + 14 = -2*k, 2*k + 0*g = 2*g - 2. Is ((-1)/k)/((-7)/(-147)) prime?
True
Suppose a - 8 = -4*t, a + 0 = -2*t + 2. Suppose 0 = -s - 2*b + 393, -t = -3*b - 0*b. Is s a prime number?
False
Is -4 + 3 - 3 - -4625 a composite number?
False
Suppose 5*m = 5*p - 6 + 21, -5*m - 5*p = -5. Let q(v) = m + 4*v - 9 + 5*v. Is q(6) prime?
True
Let x = -1509 - -2736. Is x composite?
True
Suppose 4*u - 10 = -l, 3*u - 2 = 3*l - l. Suppose 179 = 3*a + 2*a + 2*v, -l*a + 78 = 4*v. Suppose 2*f = f + a. Is f prime?
False
Let i = 46 + -36. Let k be ((-2)/4)/((-2)/(-40)). Is (262/i)/((-2)/k) composite?
False
Let f(q) = q**3 + 23*q**2 + 24*q + 7. Is f(-18) composite?
True
Let m = -1 + 5. Suppose 0 = 2*g - 4 - m. Suppose g*u - 437 - 239 = 0. Is u a prime number?
False
Is 310 + (-2)/7 + (-95)/35 a prime number?
True
Suppose 0 = r - 2*w - 79, 0*r + 80 = r - 3*w. Suppose -r = 4*s - 497. Suppose 4*m + s = 6*g - 3*g, -3*g + 90 = m. Is g a composite number?
False
Let w(p) = -p - 1. Let a be w(0). Is 4/a*332/(-16) a prime number?
True
Let z = -326 - -543. Is z prime?
False
Suppose 6*q - 2*q + 300 = 0. Let j = q - -266. Is j prime?
True
Suppose l + 0*l = 3491. Is l prime?
True
Suppose 10 + 2 = 3*w. Let t(u) = -3 + u + 0 + 2. Is t(w) a prime number?
True
Suppose -3*i + 3*y + 4092 = 0, -2*i + y + 2725 = -0*y. Is i a prime number?
True
Let i = 693 + -404. Is i a prime number?
False
Suppose 4*x - x - 45 = 0. Is x a prime number?
False
Let l = 1 + 1. Suppose 0 = -l*p - 0*p + 58. Suppose f + 0*f = -4, -o = 5*f - p. Is o a prime number?
False
Suppose 3*j = 5*j + 6. Let v be -3 + (1 - (j + 2)). Is 4 - -83 - 2/v composite?
False
Suppose -3*o + 7*o = 5*t - 2872, 5*t + 4*o = 2848. Suppose 2*x = -5*j + 715, -t = -4*j - 6*x + x. Is j prime?
False
Let w = -410 + 1701. Is w a composite number?
False
Let r be 1*(-4)/8*-4. Suppose 4*f - r*y - 350 = 0, y + 261 = 3*f - y. Is f prime?
True
Let y be 3/(-12) + (-9)/(-4). Suppose -9 = y*g - 5*g. Suppose -105 = -g*i - 0*i. Is i composite?
True
Let q = 0 - 0. Suppose 0 = -q*o + o - 7. Is o a prime number?
True
Suppose 36*y = 35*y + 4535. Is y prime?
False
Suppose 0 = 5*j - 3*n - 1103, 1090 = 4*j - 5*n + 218. Let v = j - 2. Is v prime?
False
Suppose -p - 4*p = 0. Suppose p*b + 23 = b. Is b prime?
True
Suppose -3*z = z - 4440. Suppose -y = -8*j + 3*j - 198, 5*y - j - z = 0. Is y a prime number?
True
Is (-1 + -1564)*(-2)/2 a composite number?
True
Suppose -8*h = -10*h + 514. Is h a composite number?
False
Suppose n - 525 = 4*b, 9 = 4*b - 7. Is n composite?
False
Let d = 5 + 7. Suppose 2*t = -t + d. Is (-38)/t*-2*1 prime?
True
Let a(f) = 104*f**2 + 2*f - 1. Is a(-4) a prime number?
False
Suppose -3*v + 301 + 695 = 0. Suppose 5*r + v = r. Let l = -46 - r. Is l prime?
True
Suppose c + 1 = -2. Let o = c - -5. Suppose 237 = n + o*n. Is n prime?
True
Let m(w) = w**2 + w. Let l be m(-2). Let f(a) = a. Let k be f(l). Is -1*2/(k/(-23)) a composite number?
False
Let n = -10 + 15. Suppose 5*d - 259 = -5*s + d, 287 = n*s - 3*d. Is s composite?
True
Suppose -4*n = -5*n + 3*i + 263, -4*n + 4*i = -1028. Is n composite?
True
Suppose -3*a - 12 = 3, 0 = -3*i - a + 25. Is (-1 - 1)*(-1055)/i composite?
False
Suppose -2*m = -3*i + 65, -m - i + 4*i - 25 = 0. Let b = m - -273. Is b prime?
True
Let s(h) = -h + 3. Let v be s(3). Suppose v = -3*g + 35 + 256. Is g a prime number?
True
Let h be 531/(-15) + (-8)/(-20). Let z = h - -90. Is z a prime number?
False
Let b = 430 + 13. Is b a composite number?
False
Let v(i) = i + 3. Let h be v(0). Let o(r) = h*r**2 - 8 + 0*r**2 - 4*r - 2*r**2. Is o(7) prime?
True
Let i = 922 - 591. Is i a prime number?
True
Suppose 547 = -0*d + d. Is d a composite number?
False
Let m = 26 + -13. Let x = m + -9. Suppose 0 = x*k - w - 187, -7*k + w = -2*k - 233. Is k a composite number?
True
Is 1621/3 - 16/(-24) a prime number?
True
Suppose -5*g + k + 33 = 13, 4*g - 5*k + 5 = 0. Suppose 421 - 6 = 5*y + g*x, -4*x = -y + 98. Is y a prime number?
False
Suppose 0 = -4*g - 5*d + 3179, 6*g - 2*g - 3173 = -3*d. Is g prime?
False
Let j(p) = -17*p - 11. Is j(-5) prime?
False
Let h(q) be the first derivative of 33*q**4/2 + 2*q**3/3 - q**2 + q - 1. Is h(1) prime?
True
Let r = 913 - 36. Is r a composite number?
False
Suppose 0 = 2*r - 3 - 1. Suppose -4*g + r*k + 2*k + 432 = 0, -g + 118 = -3*k. Is g a prime number?
True
Let k = 76 - -20. Suppose i - k = -2*i. Suppose -4*f = -20 - i. Is f prime?
True
Let n(o) = 2*o + o**2 + 2*o**2 - 2*o**2 + 6. Let h be n(7). Suppose 106 + h = 5*b. Is b a prime number?
False
Suppose -4*m + 1 = -3*m. Suppose 0 = -y + m + 1, -s = y - 213. Is s composite?
False
Is (-4)/22 + 25632/132 prime?
False
Let h(p) = 8*p**2 - 6*p + 8. Let b be h(5). Let z = -93 + b. Is z a prime number?
False
Let i(x) = x**3 + 6*x**2 + 6. Let p be i(-6). Let t(w) = 2*w**2 - 7*w + 5. Is t(p) prime?
False
Let w = 29 + -19. Is w prime?
False
Let w be 15/(-2)*(-295 - -1). Let p = w + -950. Is p composite?
True
Suppose -5*y - 3*t + 0*t + 14 = 0, 2*y = -2*t + 8. Is (-3 + 493 - -1)/y a composite number?
False
Is (3 + 18/(-4))*(-1390)/15 a composite number?
False
Let m = -15 + 7. Let k(n) = -n**2 - 12*n + 1. Is k(m) prime?
False
Suppose 0 = -4*u + 3*b + 2326, 5*u - 2068 = -5*b + 857. Is u composite?
True
Let i(h) = h + 3. Let f(r) = 3*r + 1. Let d be f(1). Is i(d) a composite number?
False
Suppose -518 = -u + 225. Is u prime?
True
Let c = 13 - 5. Let i(x) = c*x**2 + 5*x - 2 - 5*x + 2*x. Is i(-2) prime?
False
Let k = 23 - 19. Suppose 0 = 5*d - 4*h - 1975, k*d = -4*h + 209 + 1371. Is d a composite number?
True
Let j be (-2)/(-3)*(-11 - -2). Is 2*43 - (-3 - j) a composite number?
False
Let a(t) = -t - 1. Suppose 0 = 4*j + 2 + 22. Let i be a(j). Suppose -i*f + 6*p = 2*p - 201, 2*f + 2*p