True
Let b be (2/2)/(1/2). Let t(y) = y**3 + y**2. Let z(h) = -h**3 - 8*h**2 + 2*h + 1. Let n(s) = 6*t(s) + z(s). Is n(b) a composite number?
False
Let w(q) = -q**3 + 8*q**2 - 8*q + 7. Let m be w(7). Suppose -4*f + 3*f + 25 = m. Is f composite?
True
Suppose 0 = 64*t - 67*t + 561. Is t prime?
False
Let s(d) = -d - 13. Let f be s(-13). Suppose -5*v + 765 - 130 = f. Is v composite?
False
Let j(m) = 5*m**2 + 8*m - 6. Is j(-11) prime?
False
Let i(f) = f**2 + f. Let r(n) = 4*n**2 + 14*n + 13. Let k(t) = -3*i(t) + r(t). Is k(-10) composite?
False
Suppose 5*j = 289 + 196. Is j composite?
False
Let v(h) = -16*h**3 + 5*h**2 - 9*h - 4. Let y(c) = 11*c**3 - 3*c**2 + 6*c + 3. Let p(q) = -5*v(q) - 7*y(q). Is p(2) a composite number?
False
Let q(t) = t**2 + 6*t + 4. Suppose 4*a + 3*b + 30 = -0*a, 0 = -3*a - b - 20. Let h be q(a). Suppose h*i + 2*w = 96, 4*w + 0*w - 77 = -3*i. Is i composite?
False
Let w(k) = -6 - 3 + 18*k + 4. Is w(4) composite?
False
Let x = 1 + -5. Let h = 17 + x. Is h composite?
False
Let n = -127 - -508. Is n prime?
False
Suppose -5*c - 104 = -o, -3*o - 439 = -8*o - 2*c. Is o composite?
False
Let x(i) = -264*i**3 - 2*i**2 + 1. Suppose -6 = 4*z - 2. Is x(z) prime?
True
Suppose 30 = 5*x + 5. Suppose x*j - 405 = -0*j. Suppose 0 = 3*b + 4*r - j - 4, -b + 55 = -4*r. Is b a prime number?
False
Suppose 2*b - 282 = -0*b. Suppose -3*a = 3*q - b, -a - 2*a + 3*q + 147 = 0. Suppose 0 = s - 3*g + 8 - a, 0 = 4*s + 2*g - 118. Is s a prime number?
True
Let r be ((-1)/2)/(1/(-206)). Suppose -3*t + 38 = -r. Suppose 0 = -4*z + 147 - t. Is z a composite number?
True
Suppose -3*u + w + 3285 = 5*w, 0 = 2*w - 6. Is u a composite number?
False
Is 322 - (0 - (-4 + (-1 - -2))) composite?
True
Suppose -15 = -3*w - 2*q, q - 2*q = 0. Suppose -2*k + w*k + 132 = 4*x, 2*x - 66 = k. Is x a composite number?
True
Is 1*(-5 + 2 - -82) composite?
False
Suppose -3*d = 2*l + 35, 4*d - 2*l + 19 = -37. Is (-41)/d + (-2)/13 a prime number?
True
Is (-14)/21*381/(-2) composite?
False
Let p(g) = -2*g**3 - 6*g**2 + 17*g + 8. Is p(-11) a composite number?
True
Let t be 59/2*(-2)/(-1). Let p be 17/2 - (-3)/(-2). Suppose 2*l + p - t = 0. Is l prime?
False
Let p = 0 - -3. Suppose -p*x - 340 = -7*x. Is x a prime number?
False
Suppose -1120 = -d - 4*d. Let k = d - 104. Suppose 5*z - 55 = k. Is z a composite number?
True
Let g = 4359 - 1548. Is g a composite number?
True
Suppose 0 + 10 = 2*z, -3*v = 2*z - 16. Suppose v*m = 3*m - 58. Is m prime?
False
Let i = -1219 + 2562. Is i a composite number?
True
Suppose 4*s + 92 = 2*h, 0*h - 106 = 5*s + 2*h. Let x = -4 - -40. Let y = x + s. Is y a prime number?
False
Let j = 4 - 7. Let z(u) = u**3 + 3*u**2. Let f be z(j). Suppose f = g + 2*t - 39, g - 34 = t + 2. Is g prime?
True
Let a be (-2)/(-2*(-2)/(-4)). Suppose m - 3*r = 1, -3*m - 2*r = a*r + 49. Let c(w) = -w**2 - 13*w + 11. Is c(m) composite?
True
Let y be (-4)/(-14) + (-272)/(-28). Let s = 171 - y. Is s prime?
False
Suppose -5*c + 2*c + 1761 = 0. Is c prime?
True
Let y(z) = -z**3 + 8*z**2 - 4*z - 6. Is y(5) composite?
True
Let z = 898 - 59. Is z composite?
False
Let t = -113 - -252. Is t a prime number?
True
Let u = 2049 + -290. Is u a composite number?
False
Let y = -1 - -2. Let r = y + -5. Is (0 - r)*31 - 3 prime?
False
Suppose 0 = -4*k + 3*k + 2. Suppose -g + d = 2*g - 11, -g = -k*d - 2. Is g prime?
False
Suppose 4 = -2*m - 0*m. Let p be (-3 - m)/((-2)/16). Suppose 3*s + 4*h + 75 = 314, 0 = 4*h - p. Is s a composite number?
True
Suppose -3*n - 3 = 0, t - 3*t = -2*n - 510. Is t a composite number?
True
Let d(p) = 296*p**3 + p**2 - 3*p. Let n(m) = 296*m**3 + m**2 - 2*m. Let o(b) = 2*d(b) - 3*n(b). Is o(-1) a composite number?
True
Suppose 7*r = 3*r + 1940. Is r a prime number?
False
Suppose -412 = -c + 3*h, -3*c - 426 = 5*h - 1648. Is c composite?
False
Let r(c) = -1 + 2 + 2*c + 2*c - 3. Let s be (4/10)/(2/30). Is r(s) a composite number?
True
Let z(w) = -w**2 - 3*w + 2. Let t(r) = -r + 1. Let a be t(4). Let n be z(a). Suppose 4*m = -f + 35, -n*m = f - 5*f + 86. Is f composite?
False
Let s = 9 + -10. Is s*111*(-34)/51 prime?
False
Let p(n) = n**3 + 6*n - 3. Is p(4) a composite number?
True
Suppose 4*g + 296 = -4*z, -3*g = -5*z + 274 - 84. Suppose -4*t - t = 185. Let h = t - g. Is h a prime number?
False
Is 11/(-22) + 5470/(-4)*-1 prime?
True
Suppose -2*r + 10 = 0, 0*w + 3*w - 127 = 4*r. Is w prime?
False
Suppose 2*x - 4*x + 74 = 0. Let m = x + -99. Let v = -31 - m. Is v prime?
True
Let j = 633 - 431. Let f = j + -117. Is f composite?
True
Let s(u) = 2*u**2 - 5*u - 4. Let a be s(4). Suppose -3*k - 16 = -2*m, 0 = -2*m + 2*k - k + a. Suppose m*w + 0*w - 190 = 0. Is w composite?
True
Suppose 4*d = -d + 25. Suppose -5*o = d*j + 70, -2*o = -j + 2*j + 18. Is (-232)/(-5) + 4/j a composite number?
True
Let q be ((-18)/4)/(3/(-4)). Suppose v + k = q + 7, -v - 3*k = -3. Suppose -2*o - v - 11 = -3*s, 5*s - 53 = o. Is s a prime number?
True
Let i be -3 + (-1)/(-1)*3. Suppose 4*o - 3*o - 77 = i. Is o a composite number?
True
Suppose 0*p - 2*p = 2*g - 508, 10 = -2*g. Is p a prime number?
False
Let f(r) = -r**2 + 4*r. Let h be f(4). Suppose -2*q = -h*q - 72. Let p = 11 + q. Is p composite?
False
Let q(v) = -v**2 - 14*v - 1. Let a be q(-13). Let l(r) = 4*r + 4*r**2 + 9 + r**3 - 6*r**2 - 2*r**2 - 8*r**2. Is l(a) prime?
False
Suppose -366 = -2*j - 122. Is j a composite number?
True
Let m(t) = -t - 4. Let s be m(-5). Is -1 + 24 + (s - 1) a prime number?
True
Suppose -3*z = -8 - 1. Let b = z - -2. Let x = 28 - b. Is x a prime number?
True
Let v = 5 - 2. Let q be (23*3)/(v/2). Suppose -4*y + 51 = 3*f - 2*f, f + 3*y = q. Is f a composite number?
False
Suppose 15 = 5*j - 10. Suppose j*b - 1059 + 274 = 0. Is b a composite number?
False
Let b = -8 + 11. Suppose -2*f - 182 = -4*f - 4*l, 273 = 3*f - b*l. Is f a composite number?
True
Let n(f) = -3*f**2 + 6*f + 4. Let o(h) = -6*h**2 + 11*h + 7. Let r(d) = 5*n(d) - 2*o(d). Let j be r(6). Let s = j + 75. Is s prime?
False
Let x(g) be the first derivative of 32*g**5/15 - g**4/12 + g**3/6 - 3*g**2/2 + 2. Let h(f) be the second derivative of x(f). Is h(1) a composite number?
False
Let o(w) = -4*w**2. Let g be o(2). Let m = g - -10. Let t = -4 - m. Is t a composite number?
False
Let g be 5 - (3 - (1 + -1)). Suppose 246 + 64 = g*w. Is w prime?
False
Let k(z) = -2*z**3 + 10*z**2 - 5*z + 3. Let u(d) = 3*d**3 - 19*d**2 + 9*d - 5. Let a(j) = -5*k(j) - 3*u(j). Let g be a(-6). Suppose -4*p = -380 + g. Is p prime?
True
Suppose 5*j - 2 = 33. Let o = 138 + j. Is o a composite number?
True
Let o be (-430)/8*(-6 + 2). Let p be o/(-7) + (-10)/35. Let v = -18 - p. Is v composite?
False
Let q(n) = n**2 - 5*n - 2. Let d be q(4). Let y(k) = -67*k - 5. Is y(d) prime?
True
Let m = 7 + -10. Is 1/(m - 500/(-166)) prime?
True
Let o(r) = -r**3 + 7*r**2 - 4*r - 1. Is o(4) composite?
False
Let d = -9 + 5. Let g(t) = t**3 + 5*t**2 + 3*t - 2. Let f be g(d). Suppose 3*n = -3*o + 81 + 9, 80 = 2*o - f*n. Is o prime?
False
Let t(b) = 7*b - 8. Let l be t(6). Let p be (2 + 87)*(2 + -1). Let w = p - l. Is w prime?
False
Let v(a) = -323*a**2 + a. Let d be v(-1). Let i be (d + 0)*(-3)/6. Let h = -95 + i. Is h composite?
False
Let s = -9 + 4. Is (-6)/(-15) - 468/s a composite number?
True
Let t = 125 + -177. Is 14/(2 + 96/t) a prime number?
False
Let m(y) = -y**2 + 13*y - 14. Let a be m(11). Suppose -d + 37 = 2*k + a, 2*k + 6 = 0. Is d prime?
False
Let t(i) = i**3 - i**2 - 5*i + 6. Is t(4) a prime number?
False
Let t = -933 + 2020. Is t a composite number?
False
Suppose -118 - 67 = -p - 3*v, 0 = 2*v + 4. Is p composite?
False
Let m = 146 + -87. Is m prime?
True
Let t = 8 + -3. Is 631/t - 56/(-70) composite?
False
Suppose 2*q = t + 5*q - 460, -3*q = -2*t + 875. Is t composite?
True
Let l = 1018 + -565. Is l prime?
False
Suppose -6 = -l - 2*r, -4*l + 2*r - 5*r = -9. Let p = 1 + l. Let z = 6 + p. Is z composite?
False
Let n be 4 - 4/16*4. Suppose 0 = -5*w + 989 + 281. Suppose -v - w = -n*v. Is v prime?
True
Suppose 38 + 35 = g. Let n = -6 + 8. Suppose -h = n*y - 39, -y = -3*h + h + g. Is h a composite number?
False
Suppose -16*r + 15*r + 1165 = 0. Is r a prime number?
False
Let m = -19 + 10. Is 3/m + 158/6 composite?
True
Let j = -26 + 22. Let f(h) = 6*h**2 + 3*h + 5. Is f(j) prime?
True
Let z = -66 + 301. Is