 10*m - 11. Is z(24) composite?
False
Let t(a) = -7390*a**3 - a**2 - 4*a - 2. Is t(-1) a composite number?
True
Let m(d) = d - 1. Let l be m(2). Is (-1)/(-2)*l*638 a composite number?
True
Suppose 2*r = 3*z + 15527, -2*r - 3*r = -4*z - 38835. Is r composite?
True
Let j = 6966 + -2813. Is j a composite number?
False
Is 13 + -4 + 3855 + 13 composite?
False
Let j = 73 - -6. Let g = 256 - j. Is g a prime number?
False
Let x = -21419 + 45900. Let o = x - 16194. Is o a prime number?
True
Let w(a) = 177*a - 139. Is w(18) prime?
False
Let v = -42 + 63. Is (1210/4 - 3/18)*v a composite number?
True
Let j = -10 + 15. Let n(a) = a**2 - a + 1. Let p(m) = m**3 - 6*m**2 + 7*m - 1. Let r(i) = 2*n(i) + p(i). Is r(j) composite?
True
Let s(n) be the second derivative of 1/2*n**2 + 11/4*n**4 + 3*n + 0 - 1/6*n**3. Is s(2) a composite number?
False
Suppose -14*f = -9*f + w - 83282, 5*f + 4*w - 83273 = 0. Is f a composite number?
False
Let g be -1 - -1 - 42/3. Let b be 2/(-1 - 185/(-175)). Let z = g + b. Is z composite?
True
Is ((-15)/75)/(2/8665)*-2 composite?
False
Suppose -4*i = 2*l - 17934, -i + 5319 = -l + 843. Is i composite?
False
Suppose 0 = -2*k + 7*k. Suppose a - 5 = -d, -3*d = d + 3*a - 19. Suppose k = d*g - 2*g - 322. Is g a prime number?
False
Let x be (-10)/(-2)*(-7)/(-6 - 1). Suppose 0 = 5*t + 5*f - 685, x*f = -4*t + 288 + 256. Is t a composite number?
True
Let q(r) = -r**2 + 7*r - 6. Let o be q(6). Suppose o = -v + 5*v - 4476. Suppose -t + 4*t - v = 0. Is t composite?
False
Let q(t) = 5*t**3 - 17*t**2 - 18*t + 47. Is q(15) a prime number?
False
Let l(k) = 44*k**2 - 5*k + 3. Let f be l(-5). Suppose -12*c = -4*c - f. Is c a composite number?
True
Suppose 13269 = l - 2*i - 3*i, 39781 = 3*l - 2*i. Is l prime?
True
Suppose 4*n + 4*k = 2996, 5*k = -5 - 5. Suppose -32 = p - n. Is p a prime number?
True
Is -3 - (-4 + -2532 + (-8 - -4)) prime?
False
Let i = -64 - -319. Is (-4)/(-2) + -6 + i a prime number?
True
Let k(c) = c + 15. Let r be (-143)/11 + 2/(-1). Let o be k(r). Suppose -3*a + 5*h + 518 + 383 = o, -a - 2*h + 315 = 0. Is a composite?
False
Let t(b) = 139*b + 121. Is t(24) a composite number?
False
Let g be (1 - 2 - 11) + 1. Let s(c) = -27*c - 20. Is s(g) composite?
False
Let p = 3908 - 1959. Is p a prime number?
True
Let n = -16 + 24. Let f(p) = -n*p**2 - 5*p + 7 + 6*p**2 + 3*p**2. Is f(7) a composite number?
True
Let x(h) = -263*h - 11. Suppose 4*g + 0*g = 32. Suppose 10 = -p + n, -g*n + 34 = -3*p - 4*n. Is x(p) a prime number?
True
Suppose -3*d + 26 - 5 = 0. Suppose 5*u = -5*l + 25, -d*l + 3*l = 5*u - 22. Suppose -2*a + 2*j + 513 = -3*j, 2*j = -u. Is a a prime number?
False
Let f(t) = -4*t**2 + 7*t - 8. Let y = 2 + -4. Let c(r) = 20*r**2 - 34*r + 39. Let z(b) = y*c(b) - 11*f(b). Is z(9) a prime number?
False
Suppose -3*j = -4*d - 35, 25 = -0*j + 2*j - 3*d. Suppose -h + u = h - 88, j*u + 164 = 4*h. Is (-1)/(h/(-44) - -1) prime?
False
Suppose -7 = 2*v - o, -6*v - o = -3*v + 13. Let y be (-4)/(0 + -1 + 3). Is y/v - (-274)/4 a composite number?
True
Let j = -252 - -148. Let w = 281 + j. Is w a prime number?
False
Let b = 32 + -30. Suppose 0*x = -2*x - p + 282, 0 = -b*x + p + 286. Is x a prime number?
False
Suppose 6 = -4*r + 5*r. Suppose r*s - 20 = s. Suppose s*f + b = 138, 6*f + 2*b - 174 = f. Is f a composite number?
True
Let h be ((-2 - -2) + 0)/2. Suppose h*x = 3*x - 267. Is x a prime number?
True
Let x = 216 + -100. Let u = x + -215. Let y = u - -152. Is y composite?
False
Suppose -2*n + 2*s = -6 - 10, -5 = 5*n + 4*s. Suppose -d + 2 = -n. Suppose -2*a - k = -134, -2*k = d*a + 3*k - 335. Is a a composite number?
False
Let i(p) = -887*p + 2. Let b be i(-3). Let d = b - 1432. Is d a composite number?
False
Let v(i) be the third derivative of i**5/60 - i**4/3 + 7*i**3/3 - 3*i**2. Is v(7) a composite number?
False
Suppose 0 = 2*y - 2*s - 22208, 33327 = 3*y - 2*s + 4*s. Is y a prime number?
False
Suppose 15 - 204 = 3*v. Let p = v - -116. Is p a composite number?
False
Let x(y) = 2*y**2 - 2*y + 1. Let a(w) = -2321*w**2 + 2532*w - 1266. Let u(q) = a(q) + 1266*x(q). Let f be 2/(-2) + 4/2. Is u(f) a composite number?
False
Let i = 24 - 25. Let c be 0/(i + 6) - -10. Suppose -9*t = -c*t + 677. Is t a prime number?
True
Let z(j) = 3*j**2 - 2*j + 6907. Is z(0) a composite number?
False
Suppose 0 = -5*n, v + 2*n + 7 = -n. Let s = -2 - v. Is (-1315)/(-10)*(s + 1) a composite number?
True
Let n(m) = -2*m**2 + 2*m + 3. Let o be n(-3). Let b be (o + 1)/(6/309). Is 5/(-10) - b/4 a composite number?
False
Suppose -7*q = -400 - 1609. Is (-15 - -17)/(2/q) a prime number?
False
Let m(n) = n**2 + 9*n + 22. Let w be m(-5). Let a(k) = -k**3 - 2*k + 3 + 22*k**3 - 2*k**2 + 5*k**2. Is a(w) prime?
True
Suppose 0 = 2*z - 5171 - 7155. Is z prime?
True
Let t(b) = 172 - b - 2*b + 361 + 4*b. Is t(0) a composite number?
True
Suppose 4 - 2 = m. Let h = -214 - -219. Suppose -m*g + h*q = 16 - 109, -3*q = 2*g - 53. Is g prime?
False
Let o(r) = -r**2 - 8*r + 3. Let k be o(-8). Suppose -4*x - 2*s + 8 = 0, 4*x = -k*s - 0*s + 8. Suppose -x*v + 165 = -5. Is v prime?
False
Let p(d) = 245*d**2 - 5*d - 113. Is p(-19) prime?
True
Let v(s) = 4*s - 5. Let i(h) = h**2 + 12*h + 16. Let l be i(-11). Let w be -2 + -1 + 3 + l. Is v(w) a prime number?
False
Is 1109*((-99)/(-77) + 2/(-7)) a composite number?
False
Let n be 120/(-36)*84/(-10). Let g = n - 30. Is 7/(g/222*-3) a prime number?
False
Suppose 9835 = 4*o - 2113. Is o a prime number?
False
Let z be 122/(-4) - (-2)/(-4). Let j = 13 - z. Suppose -5*i + 9*i - j = 0. Is i a composite number?
False
Suppose -71*t + 1492201 - 83916 = 0. Is t a composite number?
True
Is (-74501)/(-14) - 3*(-1)/2 a composite number?
False
Let p(u) = 2*u + 12. Let z be p(-5). Let t be (-74)/(-3) + z/6. Let a = t - 18. Is a prime?
True
Suppose 19*o = 20*o. Suppose 2*f - 2*z - 166 = -32, -5*z = o. Is f a composite number?
False
Let c be (2 + -2)*1/(-2). Suppose j - 5 + 1 = c. Suppose -b + 0*b - 5*g = -251, 3*g - 1004 = -j*b. Is b composite?
False
Suppose 55 + 485 = -2*q. Let f = 413 + q. Is f prime?
False
Let x(g) = g**2 + 10*g + 20. Let a be x(-9). Suppose -d = -a*d + 27190. Is d a prime number?
True
Suppose -11*o - 1836 = -2*o. Let l = -127 - o. Is l a composite number?
True
Let g be ((-20)/(-8) - 0)/((-1)/(-62)). Suppose 48*l + g = 53*l. Is l a composite number?
False
Let u = 265 - 470. Let b = -72 + -335. Let x = u - b. Is x a composite number?
True
Suppose 16761 + 51661 = 2*x. Is x a prime number?
True
Suppose 0 = j - 0*j + 122. Let b = -50 - j. Suppose -h = -3*a + b, 4*a - 81 = a + 4*h. Is a prime?
True
Let o be 4074/8*(-360)/(-27). Suppose -5*c - 5*i = -o, 4*c - 6820 = -c + 5*i. Suppose f - 120 = c. Is f composite?
False
Suppose 2*k + 64 = 418. Let i = 7 - 2. Suppose i*a = k - 22. Is a prime?
True
Let x = 1274 - -1906. Suppose 0*o - 5*d + x = 5*o, -3*o + 4*d + 1943 = 0. Is o a prime number?
True
Let j = -3760 + 6915. Is j composite?
True
Let n = 1846 + -1233. Is n a prime number?
True
Suppose 4*d = -86 + 26. Let g be 4/(-6) + 5/d. Is 3714/24 + g/(-4) a prime number?
False
Suppose -4*c + 19 - 7 = 0. Suppose -3*z + 2*w + 1393 = 0, c*w = 2*w + 4. Is z prime?
True
Suppose -1275 = -6*u + 8259. Is u a composite number?
True
Suppose -19*a + 379316 = -120555. Is a composite?
False
Suppose 0 = -160*z + 134*z - 1872. Let c(w) = -3*w**2 + 2*w + 6. Let x be c(-4). Let d = x - z. Is d a prime number?
False
Let i(s) = 12*s**2 - 45*s + 14. Is i(25) prime?
True
Suppose -4*g + 4*l + 12 = -0*l, 5*g + 2*l + 13 = 0. Let m be -5 - g - -2 - 82. Let r = m + 173. Is r composite?
False
Suppose 2*k + 4*d + 1757 = 4871, -2*k + 3112 = 5*d. Is k prime?
False
Let r be 16/64 + 1 + (-10)/8. Suppose r*n - n + 5*o + 216 = 0, 4*n - 846 = 2*o. Is n a composite number?
False
Let q = -5224 - -11121. Suppose -3*a + 10*f - q = 5*f, -2*f + 8 = 0. Is ((-5)/15)/(1/a) prime?
True
Suppose 32299 = 4*v - 5*a, 0 = 4*v + 4*a - 25439 - 6905. Is v a composite number?
False
Let p(m) = 17*m + 4. Suppose 0*z + 16 = z - 2*x, 3*z + 2*x = 8. Suppose 0 = 9*t - z*t - 33. Is p(t) a composite number?
False
Suppose 21040 + 18879 = 11*a. Suppose 2*k = f - 905, -4*f + 6*k = k - a. Is f a prime number?
True
Is 11*(-30)/1155 - (-62491)/7 a prime number?
False
Let n(r) = 6*r**3 + 9*r**2 + r - 67. Is n(6) a composite number?
Fa