prime number?
False
Is 4/10 - 1732/(-20) a composite number?
True
Let y = 254 + -163. Let h = -133 + y. Let s = 93 + h. Is s composite?
True
Suppose -2*i + 6*u - u = -21, i = 4*u + 9. Is i a prime number?
True
Let c be 16/2*3/4. Suppose -c*x = -2*x + 172. Let o = x + 96. Is o a prime number?
True
Suppose -3*v + 4*v = 127. Is v a composite number?
False
Let w be 1846/10 + 2/5. Let y = w + 402. Is y prime?
True
Let c(b) = -2*b**3 - 5*b**2 - 3*b + 4. Let u be c(-3). Suppose u - 8 = 2*q. Suppose -q*a + 69 = -4*a. Is a a prime number?
True
Suppose -1350 = -4*b - 2*i, -2*b + 3*i + 1660 = 3*b. Is b a prime number?
False
Let b = 223 + 0. Is b a prime number?
True
Let x(v) = -3*v**3 - v**2 + 2. Let r = -1 + 3. Suppose f + r = -0. Is x(f) composite?
True
Let q(m) = 14 + 2*m**3 + m + 0*m**2 - m**3 + 12*m**2. Let i be q(-12). Suppose -2 = -2*a, -4*b = i*a - 575 + 1. Is b a composite number?
True
Let u = -154 - -695. Is u a composite number?
False
Suppose 8*v = 1093 - 109. Is v a prime number?
False
Suppose w + y - 477 = -y, 0 = -3*w + y + 1438. Is w a composite number?
False
Suppose -2*d + 2*z - 1246 = -6*d, 3*d - 936 = -z. Suppose -f - d = -4*i, -5*i + 437 = -f + 45. Is i composite?
False
Suppose 13*h - 9*h - 1192 = 0. Is h composite?
True
Suppose -z + 212 = -7*r + 4*r, 252 = z + 5*r. Let y = -138 + z. Is y a composite number?
False
Let k be (-51294)/(-66) + 2/(-11). Suppose -5*b = -2*b - k. Is b a prime number?
False
Let l = 2 + -10. Let j(q) = 0*q + q**2 + 5 - 10*q - 16. Is j(l) a composite number?
True
Suppose 64 + 33 = l. Is l a prime number?
True
Suppose 0*n = -5*n - 30. Let t = n - -5. Is (t - -206) + (4 - 6) prime?
False
Let m(w) = 27 - 7 + w + 0*w**2 + w**2. Let c be m(0). Let d = c + -10. Is d prime?
False
Suppose 2*d + d - 1533 = 0. Suppose w - 2*w = -5*p + d, 0 = -2*p - 4*w + 222. Is p prime?
True
Let h = -326 + 625. Is h a composite number?
True
Suppose 6*v - 2895 = -909. Is v a prime number?
True
Suppose -3*g = -0*g - 237. Let q = 68 - 20. Let x = g - q. Is x a prime number?
True
Suppose 0*s - j + 3 = -s, -4*s + 3*j - 13 = 0. Is 372/6*(-2)/s a prime number?
True
Suppose 3*z = 4*s - 196, -3*s + 146 = -z - z. Is s a composite number?
True
Suppose -9*k = -42392 - 59767. Is k a prime number?
True
Suppose 5*k + 1430 = k + 2*z, -k = -2*z + 356. Let n = k + 519. Is n a prime number?
False
Let u(q) be the third derivative of 109*q**6/60 + q**5/60 - q**4/24 - 3*q**2. Let k be u(1). Let h = k - 77. Is h a prime number?
False
Let k(b) = 9*b**2 + 6*b + 7. Is k(-4) a composite number?
False
Let q(f) = 6*f + 0 + 3 - 2. Is q(3) prime?
True
Let o(r) = r**3 + 5*r**2 + r + 6. Let k be o(-5). Is k + (-3 - -3 - -292) a composite number?
False
Suppose -4*f + 19 = -g, 3*f + 10*g + 3 = 5*g. Suppose -5*x + 2*n + 254 = 0, 4*x - f*n - 158 = x. Suppose 2*w = k - 0*w - 59, w = -k + x. Is k prime?
True
Suppose 5*s - 280 = 3165. Is s composite?
True
Suppose 9*l - 13190 = -l. Is l prime?
True
Suppose 2*i = -0*i + 21178. Is i a prime number?
True
Suppose -2*t = 5*v - 399, -v - 2*t = -9 - 74. Is v prime?
True
Let v(y) be the first derivative of -125*y**4/2 - y**2 - y + 1. Is v(-1) a prime number?
True
Is 5/((-56)/58 + 1) a composite number?
True
Let p(u) = u**2 + 6*u + 1. Let j be p(-6). Let o be 64 + 0 + (j - 1). Let c = 1 + o. Is c composite?
True
Let r be 6/(2 - 1 - -1). Is (r - 4)/((-1)/111) composite?
True
Is (10/(-4))/(9/(-1062)) composite?
True
Let b(c) = 12*c**2 - 7*c + 29. Is b(12) a composite number?
True
Let r(a) = 11*a**2 - 4*a + 1. Is r(4) composite?
True
Let v be 4/(-6) + (-34)/(-6). Let g = 7 - v. Let z(m) = 8*m**3 - m**2 - 3*m + 3. Is z(g) a prime number?
False
Suppose 9*r = 12*r - 2067. Is r composite?
True
Is (-487)/(2 + -1 - 2) prime?
True
Suppose -105 = -5*h - 3*y + 119, 2*h + y = 90. Is ((-11)/22)/((-1)/h) composite?
False
Suppose 0 = 4*a - 4*m - 3 - 49, 3*m = -2*a + 6. Is 5037/12 - a/12 prime?
True
Let o = -797 + 4174. Is o composite?
True
Suppose -a = -2*y + 8, 2*a + 11 = 5*y + 4*a. Let j(c) = 4*c**3 - 3*c**2 + 2*c + 2. Is j(y) composite?
False
Let r = 105 + 394. Is r a prime number?
True
Suppose 0 = -2*r + r - 4. Is (6/r)/((-3)/12) composite?
True
Suppose b - 5*o = -0*o + 1154, 4*b - 4591 = -5*o. Is b prime?
False
Let a(m) = 75*m**3 + 4*m**2 - 4*m + 17. Let w(d) = 50*d**3 + 3*d**2 - 3*d + 11. Let k = -5 - 0. Let r(q) = k*a(q) + 8*w(q). Is r(2) composite?
False
Suppose -2 + 6 = q. Is ((-97)/4)/((-1)/q) composite?
False
Let g = -21 - -15. Let w be ((-8)/g)/(2/51). Suppose 5*u - 4*z + 0*z = w, -u + 5*z - 10 = 0. Is u prime?
False
Let f(d) = -1 - 3 + 2 + 5 - 15*d. Is f(-6) a composite number?
True
Let i = -213 - -416. Is i prime?
False
Suppose -19 = -2*g - 5. Is 6201/21 + (-2)/g a prime number?
False
Is (-6243)/(-4) + (-12)/(-48) a prime number?
False
Suppose -2*p = -4*n + 2, 0 = -3*n - 0*p + 4*p + 4. Suppose n = -3*s - 3, 2*s = -3*a + 35 + 254. Is a a composite number?
False
Suppose -3*t - t + 14452 = 0. Is t a composite number?
False
Let m(f) = -11*f**3 + f**2 - 3*f - 3. Is m(-2) a prime number?
False
Let l(p) = p**3 - 8*p**2 - 9*p - 7. Let a be l(9). Let r = 19 - -55. Is r/(((-6)/a)/3) composite?
True
Suppose 2*g - 546 = -2*v, 0 = 5*g - 3*v - 2*v - 1375. Is g a prime number?
False
Suppose s - 4*s = 1041. Let v = -134 - s. Is v composite?
True
Suppose 53*p - 49*p - 11228 = 0. Is p a prime number?
False
Let m(h) = h**2 + 2*h + 2. Let i be m(-3). Let g(l) = 3*l**2 - l - 5. Is g(i) a prime number?
False
Let w(p) = 52*p**3 + 1. Is w(1) a prime number?
True
Suppose p + 1 + 4 = 0. Let a = -6 - p. Is ((-7)/a)/((-3)/(-33)) prime?
False
Suppose -200 - 499 = -3*s. Is s a composite number?
False
Suppose 2*k = 5*p - 5735, 3*p + 3*k - 956 = 2464. Let h = 2032 - p. Is h a prime number?
True
Is ((-1)/(-2))/(6/3444) a composite number?
True
Let o(i) = 49*i - 40. Let f(d) = -33*d + 27. Let a(p) = 7*f(p) + 5*o(p). Is a(11) prime?
False
Suppose c + 3*p = 7*p - 4, -4*c + 3*p = -10. Suppose -3*o - c*f = -35, 3*f + f = 2*o + 10. Suppose o*i = -5*n + 580, 2*n = 6*n - 3*i - 499. Is n composite?
True
Let p be 1/(-3) + 98/6. Let a = p - 3. Is 1*a - (-1 - -3) composite?
False
Let q(g) = 2*g**2 + 27*g - 50. Is q(-21) composite?
True
Is (-4)/1*(-22)/4 a prime number?
False
Let k be 18*7 + (-3 - -1). Suppose 4*z = 400 + k. Is z a composite number?
False
Let v be (2 + -141 - 0)/(-1). Let y = 34 - v. Let l = 158 + y. Is l a composite number?
False
Suppose 0*z = -3*n + 3*z + 1905, 4*n + 3*z = 2512. Is n a prime number?
True
Suppose -6 = -w - 3*f, -f + 9 = 2*f. Let z(j) = j - 2*j - 7*j - 3. Is z(w) a prime number?
False
Let c = -244 - -611. Is c prime?
True
Let l = 4 + -8. Let p(n) be the first derivative of n**4/4 + 5*n**3/3 + 3*n**2/2 + 2*n - 1. Is p(l) a composite number?
True
Suppose -5*m + 0*m + 3365 = 0. Is m composite?
False
Suppose 0 = -2*r + 150 + 158. Suppose m = r + 61. Is m a composite number?
True
Let x(z) = 29*z**2 + 4*z - 6. Is x(3) a composite number?
True
Suppose 3164 = r + 1263. Is r prime?
True
Suppose -313 = -10*z + 3397. Is z prime?
False
Let k = 3 + -1. Suppose 0 = -3*t + 6, -k*l = t + 2*t - 140. Is l a prime number?
True
Let x(p) = -140*p + 23. Is x(-6) a prime number?
True
Let c(m) = -m**2 - 5*m + 4. Let y be c(-6). Is 2/4*y + 11 a composite number?
True
Let x(v) = -v + 6. Let d be x(6). Let y = d - 1. Is y/(-4) + (-166)/(-8) prime?
False
Let b = 3850 - -685. Is b composite?
True
Let l(p) = -2*p**3 + 4*p**2 - 6*p + 4. Suppose -f + 28 - 3 = 4*r, 20 = 3*r + f. Let s be l(r). Let z = s + 261. Is z prime?
False
Let v = -5 - -8. Suppose -d - 2*d = -4*j - 3, v*d = 15. Is j prime?
True
Let t be 1*-1*(1 - -1). Let m be (5/t)/((-7)/14). Suppose 2*f = 3*k - f - 78, -m*f + 130 = 5*k. Is k a prime number?
False
Suppose 2*d - 4*s - 40 = -0*s, 5*s - 119 = -4*d. Let t = 40 - d. Is t a prime number?
False
Let a = 910 - 551. Let y = a + -225. Is y a composite number?
True
Suppose -4*d - 114 = -7*d. Is d a prime number?
False
Let w(c) = 48*c + 1. Is w(1) composite?
True
Suppose 0 = r - 3*v + 6, 9 = -4*r - 4*v + 49. Let z(q) = q + 5. Is z(r) a prime number?
True
Suppose 5*c - 3*w - 2530 = 0, 3*c - 2*c - w - 508 = 0. Is c prime?
True
Suppose 0 = -3*r + 1614 - 3. Is r a composite number?
True
Let t = 1518 - 896. Let f = t - 183. Is f composite?
False
Suppose 15*r - 12 = 13*r. S