 -p = -2*x - 12, 9*x + 16 = 7*x + 3*p. Is t(x) composite?
True
Let j(p) = -p**3 - 11*p**2 + 13*p + 17. Let w be j(-12). Suppose 2*h - 3*t = 183 + 388, -2*h = w*t - 611. Is h prime?
True
Suppose 107 = 5*v + 27. Suppose -d - 5*u - v = 0, 3*d = -0*d - 3*u. Suppose 0*f + 5*f + d*b = 271, -56 = -f + b. Is f prime?
False
Let d(g) = -g - 9. Let x be d(-9). Let t(c) = -c**3 - c - 7. Let h be t(x). Is (1 + h)*(-21)/6 a composite number?
True
Let o be -1 + 0 - 2 - 10. Suppose -6 = h - 0*h. Let d = h - o. Is d composite?
False
Is 6/(-21) - 4447/(-7) a composite number?
True
Let d = -3 + 3. Suppose 5*m - 5 = -d*m, 2*m = -i + 21. Suppose t = 2*t - i. Is t a prime number?
True
Suppose -5*o + 16 = -o. Suppose -o*g + 8*g - 308 = 0. Is g prime?
False
Let t be -1 - (1 + -8) - 2. Suppose t*v = v. Suppose -2*w = q + 4*q - 74, q - 2*w - 10 = v. Is q prime?
False
Is -2*71*20/(-8) a prime number?
False
Let z(q) = q**2. Let r be z(-1). Suppose 2*k - 1 = r. Is 7/7*(k + 52) composite?
False
Let d be (-12)/(-8)*16/6. Suppose f = d*f - 66. Is f prime?
False
Suppose 5*p + 36 = -p. Is (-3)/p*-4 + 341 a prime number?
False
Let u(s) be the first derivative of -s**6/30 + s**4/24 - 3*s**2/2 + 2. Let i(a) be the second derivative of u(a). Is i(-1) a composite number?
False
Suppose 0*c + c - 4 = 0. Suppose -6*w - 21 = c*t - 3*w, 3 = 2*t - 3*w. Is t/12 - 197/(-4) prime?
False
Let u(i) = i + 3. Suppose -2*z + 5*p - 6 = 0, -2 = z + 3*p + 1. Let h be u(z). Suppose -2 = -2*f - 8, h = 5*a + 4*f - 158. Is a composite?
True
Let t be (-13)/(2*(-2)/4). Let u(v) = -v**2 + 19*v - 11. Is u(t) a composite number?
False
Suppose -z = -3*o - 3, 2 + 1 = z + 5*o. Suppose -2*x + t + 115 = 0, -z*x + 0*t - 4*t + 189 = 0. Is x prime?
True
Let z = 10 - 23. Let y = 30 + z. Let w = 76 - y. Is w composite?
False
Let i(d) = d**2 - 6*d + 4. Is i(-17) prime?
False
Suppose 12 = 5*k - 13. Suppose 3*d + 2*p - 243 = -0*p, k*d - p = 392. Is d composite?
False
Let p(f) = -f + 9. Suppose z = 2*z - 7. Let v be p(z). Let w(s) = 131*s - 3. Is w(v) a composite number?
True
Let g(t) = 2*t - 10. Let b be g(8). Is ((-892)/6)/((-4)/b) composite?
False
Is ((-1)/2)/(4/(-1016)) prime?
True
Suppose 7*l + 2755 = 19926. Is l prime?
False
Let h(m) = -3*m**3 + 3*m. Let f(r) = 4*r**3 - 4*r - 1. Let w(g) = 5*f(g) + 6*h(g). Is w(4) prime?
False
Suppose 3*l + 2*d + 8 + 10 = 0, -4*d = 4*l + 20. Let y = l - -14. Is y composite?
True
Let i be -2 - ((-3 - -6) + -7). Suppose -i*v + 310 = 72. Is v prime?
False
Let p be 1/((-2)/4*-1). Let z(q) = 18*q**2 + q - 1 - q + 2*q**2. Is z(p) a prime number?
True
Let g(m) = 4 + m**3 - 7 + 5*m**2 - 8*m + 0*m. Let b = -4 - 2. Is g(b) a composite number?
True
Is -1*(2 + 0 + -3) - -780 a composite number?
True
Suppose 0*l - 2*l = -288. Suppose 489 = 3*u - l. Is u prime?
True
Let w(a) = 36*a**3 + 1. Is w(1) a prime number?
True
Let q(r) = 400*r + 3. Let l be q(6). Suppose l = -0*f - f. Is (1/(-3))/(9/f) composite?
False
Let s = 48 + -15. Suppose 6 = n + 2. Suppose n*d - 179 = s. Is d a composite number?
False
Let d(r) = r**3 + 8*r**2 - 3*r - 5. Suppose 0 = -4*k - 31 + 11, 35 = -5*h - k. Is d(h) a composite number?
True
Let c(m) = m**2 - 4*m - 9. Let v be c(5). Let y(f) be the second derivative of f**4/6 + f**3/2 + 5*f**2/2 - f. Is y(v) composite?
True
Let b(f) = f**2 + 7*f + 7. Let g be b(-5). Let n be g/(-6)*0/4. Suppose -3*d + 22 + 20 = n. Is d a composite number?
True
Let n(m) = -6 - 18*m - 4*m + 1. Is n(-6) composite?
False
Let s be (-1)/(12/9 + -1). Let w be (-3)/s - 14/1. Let l = 24 - w. Is l prime?
True
Suppose 3*h = 5*h - 26. Suppose 2*b - 3*s = -b - 3, -s + h = 3*b. Suppose 2*i - 13 = -2*j - b*j, 4*j = -4. Is i composite?
True
Let l(q) = 46*q**2 - q. Is l(-1) a prime number?
True
Let i = -772 + 1181. Is i a prime number?
True
Let b = 42 + 40. Is b a composite number?
True
Let o(b) = b**2 - 3*b - 36. Is o(-11) a composite number?
True
Suppose 100 = 4*g + g. Suppose -160 = -4*t - 2*a - 34, 0 = -4*a + g. Let c = t - 20. Is c composite?
True
Suppose 2*l = -l + 699. Is l a prime number?
True
Suppose -4*q - 3 - 3 = 5*l, 0 = -3*q - 4*l - 5. Is 106/q*(-7)/(-14) a composite number?
False
Suppose 3 = 2*i - 1. Suppose -h = i, 5*x + 3*h = -14 - 7. Is x + 2 - -4 - -202 a prime number?
False
Suppose -2*a + 3*q + 0*q + 2179 = 0, 0 = -2*a - 4*q + 2158. Suppose -a = -4*v - 105. Suppose 5*y + 4*i = v, 3*y + i - 6*i = 184. Is y composite?
False
Let i(j) be the first derivative of -143*j**4/4 - 2*j**3/3 - j**2/2 - 5. Is i(-1) prime?
False
Let a = 4 - 1. Let r be 7 + 0 + (-6)/a. Let w(l) = l**3 - 5*l**2 + 8*l - 5. Is w(r) composite?
True
Is (-3)/(42/(-4)) - 8074/(-14) composite?
False
Let q(h) = h - 4. Let g be q(10). Suppose 5*c + g - 76 = 0. Is c prime?
False
Let w = 10 - -16. Is w prime?
False
Suppose -3 = -3*w, -4*f - 5*w + 3455 = -f. Suppose 4*x - f = -2*v, -5*x - v + 1454 = -4*v. Let g = x - 176. Is g prime?
True
Let j = 27 - 5. Suppose -305 = -4*o - o. Suppose o = x - j. Is x prime?
True
Let s = 144 + -52. Is (s - -1)/(-1 + 2) composite?
True
Let f(b) = -19*b**3 + 3*b**2 + b + 1. Is f(-2) a prime number?
True
Suppose 5*f - 1333 = -9433. Let m be (-2)/(-7) - f/63. Let w = 63 - m. Is w a composite number?
False
Let q = 95 + -35. Suppose 2*w - q = 4*w. Let t = -19 - w. Is t prime?
True
Let r = 60 - 8. Suppose 0 = 4*s - 548 + r. Suppose -5*d = -s + 29. Is d composite?
False
Suppose -6*a + a = -620. Let o be (-10)/(-4)*(-10)/(-25). Suppose -o = -5*f + a. Is f a prime number?
False
Let z be 17*(24/3 + 3). Suppose -y = -0*o + 2*o - z, -5*y = 5*o - 465. Is o prime?
False
Let m = -124 - -186. Suppose -3*o - 32 + 152 = 0. Let w = m - o. Is w a composite number?
True
Let h(v) be the third derivative of 8*v**5/5 - v**4/24 - 4*v**2. Is h(-1) composite?
False
Suppose -3*u + u + 158 = 0. Is u composite?
False
Suppose 2*w - g - 1022 = 2*g, 4*g = -5*w + 2509. Is w composite?
True
Let i(n) = -n**2 + 10*n + 9. Let m be i(11). Is 1/(0 - m)*254 composite?
False
Let d be (0 + 0)/(1/1). Let p(t) = t**3 - t**2 - 3. Let a be p(3). Suppose 5*s + a = d, -3*n + 0*s - 3*s + 18 = 0. Is n composite?
True
Suppose -3*p + 216 = -x + 5*x, -67 = -x - 4*p. Suppose -x = -c + 6. Suppose 3*l + 0*l = c. Is l a composite number?
False
Let s = 8 + 1. Let k = s - 23. Let c = k - -36. Is c composite?
True
Suppose -2*s = s - 30. Let q(f) = -f**2 + 3. Let x be q(0). Let l = s - x. Is l composite?
False
Let i be (-74)/(-6)*(-36)/(-4). Let o = -668 - -950. Suppose i = -3*w + o. Is w prime?
False
Let o = 1147 + -612. Is o composite?
True
Let l(r) = -r**2 + 2*r + 4. Let o be l(4). Is (-5892)/(-20) - o/10 prime?
False
Suppose 4*f + 2*g + 486 = 2392, g - 1432 = -3*f. Is f a prime number?
True
Suppose -7*l + 3*l + 195 = y, -5*l - 670 = -3*y. Is y a composite number?
True
Let y = -4 + 5. Let j(s) = -3*s**2 - s**2 + s + 3*s**2 - y + 20*s**3. Is j(1) a composite number?
False
Suppose 5*i - 2*h = -0*h + 91, 29 = i + 5*h. Is i prime?
True
Suppose -5*m + 27 + 28 = 0. Is m a composite number?
False
Suppose -27*v = -24*v - 93. Is v a prime number?
True
Suppose 5*n - 1460 = -5*v, 0 = 6*v - v - 5*n - 1410. Is v a composite number?
True
Let t = 136 - 27. Let j = -35 + t. Is j a composite number?
True
Is (-1)/((10/4874)/(-5)) composite?
False
Let p(k) = k**2 - 6*k - 7. Let j be p(7). Suppose j = -0*q - 2*q + 70. Is q a composite number?
True
Suppose -h - 13 = -4*g, 6*g - 3*g = -h - 48. Is ((-4939)/h)/(2/6) composite?
False
Suppose -5*r + 8 - 58 = 0. Let i(w) = -w**3 - 9*w**2 + 9*w - 2. Let z be i(r). Let o = 1 + z. Is o prime?
False
Let y = 17 + 38. Is y a composite number?
True
Let o = -14 - -18. Suppose -5*r = 2*i - 87, o*i - i - 4*r = 165. Is i prime?
False
Suppose 2*r - 9 = 13. Is r prime?
True
Let s = 1 + -1. Let l = 0 - s. Suppose l*r = 3*t + r - 37, -4*r = -t + 21. Is t a composite number?
False
Let h = 838 - 513. Suppose 5*d = h - 70. Is d composite?
True
Let z = 405 - 260. Is z composite?
True
Suppose 4*k - 1801 - 451 = 0. Is k prime?
True
Let i = 5 + -3. Suppose 0 = i*f - 0*f - 12. Is 82/f - 3/(-9) prime?
False
Let m(v) = -30*v + 12. Let u(f) = -15*f + 6. Let z(b) = 2*m(b) - 5*u(b). Let c be z(8). Let y = -77 + c. Is y composite?
False
Suppose -5*s + 78 = -2*s. Is s a prime number?
False
Suppose -3*c - 4*l = -1933, -2*l + 684 = 4*c - 1900. Is c composite?
False