t**3 - t**2 + t + 1. Let q(r) = m(r) + z(r). Is q(h) a composite number?
False
Is (-3*(-41435)/30)/(2/4) prime?
True
Suppose 10 = -5*n - 5*d, -3*n + 3*d + 6 = 2*n. Suppose -21 + 151 = 5*b. Suppose b = -n*o + o. Is o composite?
True
Suppose -d = 4 - 3. Let x = 14 + -17. Is (x/(-6) - d)*134 composite?
True
Let o be 2 + (-41 - (3 + -5)). Let t = o - -152. Is t a prime number?
False
Let h = 791 + -450. Is h composite?
True
Is 53/4 - 7/28 a composite number?
False
Let t be 3 + 0 + -9 - 1. Let w = t + 18. Is w composite?
False
Suppose 16 = -2*y - 0. Is y - -28 - (-1)/(-1) a prime number?
True
Let c = 728 - 421. Is c a prime number?
True
Let j(d) = -d**3 - 8*d**2 - 11*d + 7. Is j(-7) composite?
True
Suppose c + 14 = 5*t, -c - c = 3*t - 11. Let f(r) = 4*r**3 + 0*r**2 - 5*r**t + 8*r**2 + 2 - 4*r. Is f(5) a composite number?
True
Let t(o) = -7 - o + o**3 + 0*o - 3 - 12*o**2 - 2*o**3. Let c be t(-12). Suppose 0 = 3*k + c*k - 185. Is k a composite number?
False
Suppose 4*y = 14 - 178. Let g = y - -120. Is g composite?
False
Suppose 4*x - 7*x + 345 = 0. Is x prime?
False
Let u = -35 - -54. Is u a prime number?
True
Let x(w) = 3*w**2 + 6*w - 10. Is x(9) a prime number?
False
Suppose -5*o - 25 + 0 = 0. Is -677*((5 - 1) + o) prime?
True
Suppose 0 = -5*o + 3555 + 3430. Is o a composite number?
True
Let v(d) be the third derivative of d**6/24 - d**5/20 + d**4/12 - d**3/2 - 2*d**2. Is v(3) a composite number?
True
Let f be (0 - 1)/(1/(-4)). Suppose -148 = -f*z - 2*h, 3*z + 2*h = -0*z + 110. Is z a prime number?
False
Suppose 4228 = 4*n - 1696. Is n a composite number?
False
Suppose 3*a - 1 = 2*a. Is -3 - -2 - a - -24 a composite number?
True
Let o(v) = v - 1. Let z(b) = b. Let l(a) = 4*o(a) - 5*z(a). Let w be l(-8). Suppose 5*x - 62 = -t, -2*x - 3*x = -w*t + 123. Is t a prime number?
True
Let x = 3 + -6. Let c(m) = -m**2 - 4*m + 1. Let y be c(x). Suppose y*a = -2*b - 9 + 107, -3*a = -2*b - 63. Is a a composite number?
False
Let x(j) = 16*j**2 + j. Let k be x(-2). Suppose k - 265 = -q. Is q a composite number?
True
Let x = 901 - 455. Is x composite?
True
Suppose 4*n - 3*x = -18, -x = -4 + 2. Let t(u) = 19*u + 5. Let p(g) = 10*g + 3. Let i(k) = 7*p(k) - 4*t(k). Is i(n) a composite number?
False
Let t(y) = 5*y. Let j be t(-1). Suppose 2*g + 5*v - 21 = 0, -3*g = -2*v - 3*v - 69. Let a = g + j. Is a composite?
False
Suppose 2*w = -2*l + 28, 0 = -w + l - 4*l + 12. Let c = w + 31. Is c composite?
True
Suppose 5*v - 26 = -4*c, 0 = 2*v - 0*c - 3*c + 8. Is 95/10*4/v a prime number?
True
Suppose 268 = 5*j - w, 4*j + j - 4*w = 277. Is j composite?
False
Suppose 2*a - 3491 = z - 6*z, a - z = 1728. Is a a composite number?
False
Suppose 5*i - a - 15 = 0, 6*a = 4*i + 2*a + 4. Suppose 5*f = 3*s - 16, 4 + i = -4*f. Let c = 39 - s. Is c a prime number?
True
Let l = -5 + 7. Let o be l + (4/2)/(-2). Suppose -5*q = -o - 9. Is q a prime number?
True
Let u(w) = 128*w**3 - 1. Suppose 10 = -h - 4*h - 5*t, 3*h + t = 0. Is u(h) a composite number?
False
Let k(z) = 187*z**3 - 2*z**2 + 4*z - 2. Is k(1) composite?
True
Let z(x) = 2*x**2 - 4*x + 3. Let u be z(2). Suppose 4*g = u*j - 7, 0*g + 2*j = -4*g + 18. Is (g + -1)*111/3 prime?
True
Suppose 0 = -2*q - 0*q - 12. Let j = q + 32. Is j prime?
False
Let t = 5 - -37. Suppose q - t = -9. Suppose p + q = 4*p. Is p prime?
True
Let t = -2 + 2. Suppose t = -2*u - 8. Is (26/4)/(u/(-40)) prime?
False
Let n = -96 - -228. Suppose -6*m + n = 4*p - 2*m, 4*p - 87 = 5*m. Suppose 5*w - w = p. Is w composite?
False
Suppose 8 = -4*v + 52. Let x(r) = -r + 20*r**2 + 3 + v*r**2 - 2. Is x(1) composite?
False
Suppose -i - 2*d = -261, d + d + 799 = 3*i. Is i a composite number?
True
Let j be (1*5)/(2 - 1). Let g = j - 3. Is (3 - g) + (58 - 0) a composite number?
False
Let h = -25 + 60. Let w = h - 9. Is w a prime number?
False
Let t(n) = n**3 + 3*n**2 - 7*n + 7. Is t(4) composite?
True
Is -3 + 5/(15/6864) prime?
False
Let y = 44 + 1. Let b = 64 - y. Is b a prime number?
True
Let b = 11 - 9. Is (-4)/(b - 16/7) composite?
True
Is ((-801)/(-6))/(12/8) prime?
True
Let z(r) = r**3 - 9*r**2 - 2*r + 3. Let h be z(8). Let u be h/2 + (-2)/(-4). Is (-1 + 0)/(2/u) a composite number?
False
Suppose -5*c + 2*c + 3*w - 9 = 0, 4*c - 2*w = -14. Let l be 1339/3 - c/(-12). Suppose l = -b + 3*b. Is b a prime number?
True
Let o(b) = 2*b**2 - 2*b - 1. Let u be o(2). Is u/(-3 - 0) - -20 prime?
True
Let k(y) = 3*y - 2. Let n be k(-2). Let d(l) = -14*l + 8. Let q be d(n). Let h = q - 55. Is h prime?
False
Let o = 19 + -30. Suppose 240 = 3*z + 4*r, 0*z + 2*r + 320 = 4*z. Let g = z - o. Is g a composite number?
True
Let x(n) = -n + 209. Let d be (-3 - 3/(-1))*1. Is x(d) composite?
True
Let d be 1*(-652)/(4 - 0). Is (-3 + 0)/(3/d) a prime number?
True
Suppose -3*m + 11 = p, 4*m - 17 = -0*m + p. Is 412 + (m/(-2) - -3) a prime number?
False
Let k be (-10 - 3/(-1))/1. Let v(p) = -p**3 - 8*p**2 - 5*p + 4. Let t be v(k). Is t/(-3) - 11/33 composite?
False
Let r = 498 + -49. Is r composite?
False
Let t(d) = -5*d**3 - d**2 + 3*d + 2. Let c(a) = -a**3 + a**2 - a - 3. Suppose -1 = g - 0*g + f, 2*g = 2*f + 2. Let h be c(g). Is t(h) composite?
True
Suppose x - 19 = 3*z, x + 2*x - 22 = 2*z. Let y(g) = 2*g**3 - 5*g**2 + g + 2. Let f be y(3). Is (-1924)/(-28) + x/f prime?
False
Let q = -11 - -9. Let j be 6*((-4)/6)/q. Suppose -76 = -j*g + 72. Is g composite?
True
Let g = 3 - 1. Let f = 50 - g. Suppose 54 = 2*m - f. Is m a prime number?
False
Let q be 70/(4/1 + -2). Is (-2)/(q/37 + -1) prime?
True
Suppose -3*q = -2*c - 3 + 1, 0 = 4*q + 4*c - 36. Suppose -2*n - 2*a = -65 - 57, q*n - 251 = 3*a. Let i = -36 + n. Is i a composite number?
True
Let h be 1*40*(-6)/12. Is 5/((-2)/(h/2)) a prime number?
False
Let w = 1095 + -472. Is w a composite number?
True
Is 886 + 1 - 3*4/(-6) composite?
True
Let s(j) = -96*j + 29. Is s(-13) a composite number?
False
Suppose 1547 - 271 = 4*m. Is m a composite number?
True
Let d(y) = 158*y. Let c be d(1). Suppose -3*x + 2*l + 237 = -2*l, -c = -2*x + l. Is x a composite number?
False
Let c(o) be the second derivative of 11*o**4/12 + 7*o**3/6 + 9*o**2/2 + 2*o. Is c(-4) composite?
False
Suppose 3*j = 4*j. Suppose 4*v = -5*h - 10, 5*h - 4*v + 50 + j = 0. Is h/3*194/(-4) prime?
True
Suppose -3*u = -12 - 9. Suppose 2*w + 215 = u*w. Is w composite?
False
Suppose 10 = -5*w + 25. Suppose 581 = 4*v - a, 444 = w*v - a + 8. Is v composite?
True
Let y(r) = -r**3 - 2*r**2 - 4*r. Suppose -3*m = 4 + 11. Is y(m) prime?
False
Let c be 5/((-2 - -4) + -1). Suppose 0 = -c*s + 2*z + 801, -4*z + 491 = 3*s - 0*z. Is s a prime number?
False
Suppose -12*o + 1479 = -9*o. Is o prime?
False
Let z = -6 - -6. Suppose -y - 4*m + 18 = z, 3*y = 2*y - 3*m + 22. Is y prime?
False
Suppose -2*n + 10 = 6*u - 2*u, 0 = 5*u - 5*n - 5. Suppose 3*w - 151 = u*m, 4*m - 252 = -5*w + 7*m. Is w composite?
True
Let f(b) = 24*b**3 + 10*b**2 - 20*b + 7. Is f(4) prime?
False
Let j be (-2)/3 - (-4)/6. Suppose 175 - 12 = z. Suppose j*o - 225 = -4*o - 5*k, 3*o - 2*k = z. Is o prime?
False
Suppose 0 = 4*z + 4 + 16, 0 = 2*y + 2*z - 150. Suppose -k - 2*k - v = -61, 4*k + v = y. Is k a prime number?
True
Suppose a - 2 = -a. Let k = 132 - a. Is k composite?
False
Let h = 0 - -5. Let s be (-1 - -63)/(4/32). Suppose h*m - s = -51. Is m a prime number?
True
Suppose -308 = -5*n - 6*p + 3*p, -5*p + 172 = 3*n. Suppose n = a - 105. Is a a composite number?
True
Suppose 4*r - 3*u = 20, -30 = -r - 4*r + 5*u. Let b = -115 - -239. Suppose 0*i + 46 = 2*f + r*i, 0 = -5*f - 2*i + b. Is f prime?
False
Suppose 2*m = -s - 4, 4*s + 2*m + 1 = 3. Suppose -2*b + 3*h - 2292 = 0, -3*b - 2288 = -b - s*h. Is ((-2)/4)/(6/b) composite?
True
Let b = -15 - -32. Suppose -14*f - 1533 = -b*f. Is f a composite number?
True
Let d be 7/(-2) + (-12)/(-8). Is 724/6 - d/6 prime?
False
Let l be (-1 - -1)*1/1. Suppose l*i - i = -23. Is i prime?
True
Let t be (-1)/2*-4 + 214. Let m = -89 + t. Is m a composite number?
False
Suppose 0 = 4*t - 4*x + 6*x - 440, 3*t + 5*x = 330. Suppose -2*o + t = 3*o. Is o a composite number?
True
Suppose 39 = -2*o + 15. Is (8/o)/((-2)/57) a composite number?
False
Let l be -4*3/(-4 - -1). Let x = 267 - l. Is x prime?
True
Is (-18853)/(-68)*(-1 - -5) a composite number?
False
Is (-81 - -2)/(2/(-2)) prime?
True
Suppose -12 = -2*p - p - j, -5*p =