n**3 - n**2 + 4*n + 4. Let v be t(-3). Suppose 2*p + 80 = 4*a, -a + 2*p + 13 = -v. Is a a composite number?
False
Suppose -2*t + 236 = 2*t. Is t composite?
False
Let f = -6 - -4. Let k be f*162*(-3)/6. Let m = -93 + k. Is m a prime number?
False
Let f(l) = 32*l**2 - 2*l - 1. Let u(h) = -31*h**2 + 2*h + 1. Let v(s) = -6*f(s) - 7*u(s). Is v(-1) a composite number?
True
Let l(x) = -467*x**3 + x**2 - 1. Let t = -5 - -4. Is l(t) composite?
False
Let p(q) be the third derivative of -5*q**4/12 + 5*q**3/6 + 2*q**2. Is p(-6) prime?
False
Suppose 2*p - 349 = -3*l, -3*p - 6 = -6*p. Is l prime?
False
Let t(m) = 0 + 0 + 0 + 1 + 2*m. Suppose -5*a + y + 7 = 0, -5*a + 3*y = -8 - 3. Is t(a) a composite number?
False
Let c(h) = 12*h**2 - 12*h + 3. Let l be c(9). Suppose 10*i - 855 = -r + 5*i, -r + i = -l. Is r composite?
True
Let v be (-1)/(-2*(-2)/(-712)). Suppose 0 = 5*a - 227 - v. Is a + (-2 + -3 - -3) composite?
False
Let c = -1262 - -788. Is (c/(-18))/(1/3) a composite number?
False
Let f(d) = -d**3 + d**2 - d + 1. Let q(m) = 2*m**3 + 3*m**2 + 7*m - 5. Suppose 0 = -5*j - 21 + 1. Let i(k) = j*f(k) - q(k). Is i(6) a composite number?
False
Let f(v) be the first derivative of v**4/4 + 4*v**3 + 9*v**2/2 + v + 1. Is f(-6) composite?
False
Suppose d = -3*d + 12. Let n(y) = 1 + d - 2*y - 2. Is n(-2) composite?
True
Suppose 5*q = 4*d - 227, q + 17 = -2*d + 120. Is d a composite number?
False
Let g(y) = 2 + y + 1 + 6*y**2 + 13*y**2 - 2. Is g(-1) composite?
False
Suppose -4*h = -288 - 4108. Let r = h + -680. Is r a composite number?
False
Let x = 340 - 179. Is x composite?
True
Is 1/3*-3 - (-330 - 2) a prime number?
True
Suppose -3*t - 2439 = 5*k - 11086, 4*k + 4*t = 6924. Is k prime?
False
Let q(p) = -p**3 - 6*p**2 - 3*p + 1. Is q(-6) a prime number?
True
Suppose p - 374 = -4*y - 4*p, 461 = 5*y + 3*p. Is y prime?
False
Suppose -13*n = -9*n - 2228. Is n prime?
True
Suppose -2*o - 302 = -66. Let k = o + 165. Is k prime?
True
Let z = 6 - 4. Suppose -z*s + x + x = -4, -10 = -3*s - x. Is s + -1 + 82/2 composite?
False
Let d(v) = 29*v + 7. Let g(i) = 28*i + 7. Let o(x) = -5*d(x) + 6*g(x). Let b(c) = 23*c + 6. Let l(f) = 3*b(f) - 2*o(f). Is l(5) composite?
True
Suppose 3*l = c - 10, 0 = 5*l - 0*c - 3*c + 10. Let n be (-10)/l - (113 + 2). Is n/2*(2 + -4) composite?
False
Suppose 3*g = -4*p + 16 + 55, 55 = 2*g - 5*p. Is g a composite number?
True
Let i(h) = 1 + 3 - 2 + 0 - 291*h. Is i(-1) composite?
False
Let r be (1 - (-33)/6)*2. Suppose c + 7*i = 5*i + r, 4*i = -c + 13. Is c a composite number?
False
Let r(x) = 757*x. Is r(3) a prime number?
False
Let h(r) = 2*r**3 - 3*r - 4. Let s be h(3). Let d = s - -17. Suppose -97 = -5*t + d. Is t composite?
False
Suppose 4*i + 76 = -4*q, -q - 33 = 4*i - 5. Is (-748)/q - 1/(-4) prime?
True
Let p = -10 + 14. Suppose 0*g - 2*g + 2*u = -2, -4*u = 4. Suppose j + p*j - 50 = g. Is j a composite number?
True
Let h(a) be the third derivative of 3*a**2 + 1/120*a**6 + 1/60*a**5 + 23/3*a**3 + 1/24*a**4 + 0*a + 0. Is h(0) a composite number?
True
Suppose 7 - 2 = 5*x. Is 307/((-4*x)/(-4)) prime?
True
Let v(r) = -r**3 + 13*r**2 - 10*r + 7. Is v(12) a prime number?
True
Suppose 2*s + 33 = 5*m - 382, m - 3*s - 70 = 0. Let f = m + -60. Is f prime?
False
Let m be -14 - (-1 + -8)/(-3). Let x = 42 + m. Suppose -5*h = -290 + x. Is h prime?
True
Suppose 5*m - 4708 = -3*w, 0*m = -m + 5*w + 936. Is m prime?
True
Suppose 2*y + 1473 = 3*m, m - 1964 = -3*m + 5*y. Is m composite?
False
Let k(n) = -n**2 - 5*n. Let f be k(-4). Suppose 1 = -3*j + f. Is 26 + 1 + -3 - j composite?
False
Let q(a) = a**3 + 11*a**2 - 11*a + 1. Is q(-10) composite?
False
Let w be 0 - 2 - -4 - -3. Suppose -124 + 4 = -4*l + 4*a, -l = w*a - 48. Is l prime?
False
Suppose -8042 - 5176 = -6*g. Is g prime?
True
Let k(c) = -6*c + 2*c**2 + 3*c**2 + 4 + c. Let x be k(3). Let b = -9 + x. Is b a prime number?
False
Is 56/42 - (-11662)/6 a prime number?
False
Let i(c) = -c - 3. Let q be i(-5). Let h be (q + 1)*12 - 0. Let y = h - -1. Is y a prime number?
True
Suppose 122 = t + 3*p, 2*p + 2 - 4 = 0. Is t a composite number?
True
Let a(s) = s**2 - 54*s**3 - 3*s + 91*s**3 + 1 + s + 106*s**3. Let c be (2 - 0)*1/2. Is a(c) a prime number?
False
Let t be 2/1*(0 - -1). Suppose -142 = -3*c - 4*s, -3*s + t = -s. Is c prime?
False
Let s(i) = -2*i**3 + i**2 - 5*i - 2. Let y be s(-5). Let t be (-2)/8 - y/(-8). Suppose 0 = -n - t + 84. Is n a prime number?
True
Suppose -2*j + 454 = -j - a, j + 2*a - 463 = 0. Is j prime?
True
Let l be 3 - (-4)/8*0. Let a = 2 + 2. Suppose l*n + 85 = o, -a*o + 0*o - n + 314 = 0. Is o a composite number?
False
Suppose -222 - 188 = 2*w. Let m be (41/3)/((-2)/(-72)). Let i = w + m. Is i a prime number?
False
Suppose 2*p + 1188 = 4*v, 2400 = 4*p - 8*p + 2*v. Let g = -560 + 161. Let u = g - p. Is u composite?
True
Suppose 3*c = 5*c + 2*h - 44, -66 = -3*c + 4*h. Is c a composite number?
True
Let s(q) = -q + 4. Let n be s(0). Let a be (6/(-7))/(2/14). Is n/(-12) - 404/a composite?
False
Let o = -569 + 997. Suppose -5*u = -o + 43. Is u composite?
True
Is (-1134)/(-6) + 2*-1 prime?
False
Suppose 0*a + 3 = -a. Let t = 6 + -13. Is (a + 7)*t/(-2) composite?
True
Let r = 2919 + -1660. Is r a prime number?
True
Suppose r + 0*r - 4*h = 327, 4 = 4*h. Is r a prime number?
True
Suppose -23 = -10*b + 867. Is b a composite number?
False
Let j(z) = 5*z**3 - 6*z**2 + 5*z - 2. Let y(l) = 14*l**3 - 18*l**2 + 15*l - 6. Let u(n) = 11*j(n) - 4*y(n). Suppose 8*w - 20 = 3*w. Is u(w) a prime number?
False
Suppose -3*z + 4*a + 25 + 172 = 0, 0 = -4*z - 2*a + 292. Let m = -33 + z. Is m a prime number?
False
Suppose -5*u - 1341 = -6*u + 5*z, -3*u - 4*z = -4061. Is u prime?
False
Is (-17300)/(-8) - ((-1)/2 + 2) composite?
False
Suppose -w = -430 + 64. Suppose -4*s + 10 = -2. Is (w/s)/1 - 3 a prime number?
False
Let l be 1*(-2 - -3)*-3. Let h(d) = 16*d**2 + d + 2. Is h(l) composite?
True
Let q(g) = -16*g**3 + 2*g**2 + g - 1. Is q(-2) a prime number?
False
Let a = -85 + -47. Let f = -73 - a. Is f a composite number?
False
Let n(x) = 1 + x + 2*x - x**3 + 0 - x**2. Let l be n(-3). Is l/2*1 - -2 prime?
True
Let w(i) = 6*i**2. Let m be w(1). Let c = -59 + 108. Suppose m = -t + c. Is t prime?
True
Let u be (8/2)/(1 + 1). Suppose -4*l = 6*d - u*d - 4, 0 = 4*d + 2*l. Is 2/d - (-67)/1 a composite number?
True
Suppose -4*i = -5*x + 159 - 48, -3*x + 64 = -5*i. Is x composite?
False
Is (8056/36 - 1) + (-4)/(-18) a prime number?
True
Let i(v) be the first derivative of -v**4/4 + 5*v**3 - 17*v**2/2 + 14*v - 3. Is i(13) a prime number?
True
Let o(k) = -5*k**2 - 3*k - 4. Let r(z) = -4*z**2 - 2*z - 4. Let y(p) = 3*o(p) - 4*r(p). Suppose m - 1 = 2. Is y(m) prime?
False
Suppose 65 = -5*g - 3*j, 0 = g - 3*g + j - 15. Let d(n) = n**3 - 4*n**2 - 3*n - 7. Let c be d(6). Let l = c + g. Is l composite?
False
Let o = -183 - -98. Let k be (-4)/(-8)*(-84 + 0). Let g = k - o. Is g a composite number?
False
Is 0 - (-194722)/14 - (-2)/7 prime?
False
Suppose 48 = -l - 3*l. Is (-2 - -2 - l) + -2 a composite number?
True
Let q = 11 - 6. Suppose q*w - 177 = 268. Is w a composite number?
False
Is 18/45 + 633/5 a composite number?
False
Suppose 1567 + 824 = 3*z. Is z composite?
False
Is (-2)/4 - 17176/(-16) a prime number?
False
Suppose 5*r - 770 = 5*i, -2*i - 255 - 202 = -3*r. Is r prime?
True
Let a(q) = -2*q**2 - 21*q - 3. Let x be a(-14). Let t = x + 148. Is t composite?
False
Let o = 50 - -253. Is o composite?
True
Suppose -3*m - 1 = 50. Suppose -3*b + 0*h = 5*h - 92, -3*b + 3*h + 60 = 0. Let n = m + b. Is n a composite number?
False
Let j = -345 - -664. Is j a prime number?
False
Let c = -395 - -1504. Is c a composite number?
False
Let z(c) = c + 5. Let j be z(-5). Let n(b) = -b + 118. Let r(d) = -d + 117. Let y(h) = 4*n(h) - 3*r(h). Is y(j) prime?
False
Let x be 2/(-2)*(-18 - -2). Suppose 4*r = -0*r + 16, 0 = 4*p + r - x. Is p a prime number?
True
Let f(z) = z**3 - 5*z**2 - 6*z - 1. Let a be f(6). Let l = 5 + a. Is -2 + 12*l/2 a composite number?
True
Let s be 7 + -3 + (-1 - -1). Suppose -311 - 917 = -s*t. Is t prime?
True
Suppose -4*t - 45 = -785. Is t composite?
True
Suppose -1 - 2 = y. Let t = -1 - y. Is 35 + (-2 + t)/1 a prime number?
False
Suppose -2*x = 2*t - 16, 0 = -2*x + 3*t - 4*t + 13. Suppose 377 = -x*n + 1367. Suppose -4*b + 192 =