Is t a composite number?
True
Is (-2 + (-24)/(-18))/((-2)/7311) a composite number?
False
Let y(b) = b**2 - 4*b - 2. Let i be y(-5). Let h(o) = 11*o - 3 + 9*o + i*o. Is h(2) composite?
True
Let u be (-2)/((-8)/6) - 15/30. Is 7*(u + 12)/1 a composite number?
True
Suppose -z + 3*z = 13*z. Suppose -13*x + 8864 + 457 = z. Is x composite?
True
Let t = -9333 + 18466. Is t a prime number?
True
Suppose -2*g + 64 = 3*b, -54 = -0*g - g + 4*b. Suppose 5*w - 3*w = g. Is w a composite number?
False
Let b(s) = 66*s**2 + 5*s + 24. Is b(-5) prime?
False
Suppose p - 93 + 379 = 0. Let j = p + 443. Is j a prime number?
True
Suppose 8*n - 12071 = 28689. Is n a composite number?
True
Let q(f) = 30707*f**2 + 2*f - 1. Let a be q(1). Is a/(-90)*10/(-4) a composite number?
False
Let f(g) = 1638*g - 155. Is f(3) prime?
True
Suppose -28*w + 220667 + 104105 = 0. Is w composite?
True
Suppose -2*u - 2*u + 1180 = 0. Suppose -u = -5*f - 0*f. Is f a composite number?
False
Let a be (673 - (1 - (2 - -2))) + -3. Suppose -t + 2052 = 2*t - s, t - 4*s - a = 0. Is t prime?
False
Let m = -698 + 1943. Let j = m + 4. Is j prime?
True
Let g = -7 + 13. Let q(j) = 5*j**2 + 7*j + 1. Is q(g) prime?
True
Let w = 323 + -510. Let r = w - -318. Is r composite?
False
Let f(n) = -9*n**3 - 18*n**2 + 5*n - 13. Is f(-7) a prime number?
False
Let c(f) = -42*f**2 + 1. Let u be c(-1). Let w = 12 - u. Is w prime?
True
Let u be ((-30)/(-25))/(4/50). Suppose 4*l = 30 - 6. Let t = u + l. Is t a prime number?
False
Suppose 2*j + 126 = 3*h + 499, -5*j + 4*h = -943. Is j prime?
True
Is -5*(-389 + (-40)/5) a prime number?
False
Suppose 2*y + 30 = 4. Let c = -11 - y. Suppose 3*h + 1497 = 8*f - 5*f, -3*f - c*h = -1512. Is f prime?
False
Let d(r) = 68*r - 45. Suppose -4*i + 4*m + 40 = -0*m, 2*i + 5*m = -15. Is d(i) prime?
False
Let i(l) = l - 1. Let j be i(1). Suppose -3*m = -t - 350, -m + t + 179 - 65 = j. Suppose -2*u + m = 2*g + u, 4*u = 5*g - 249. Is g prime?
True
Let v(s) = 10*s**2 + 2*s - 1. Let d be v(1). Suppose -13*k + d*k + 188 = 0. Is k a composite number?
True
Let n be 8/(-6)*(-9)/6. Let l(c) = n + 24*c**2 - 7*c**2 - 1 + 1. Is l(-3) prime?
False
Is 6*-1*14721/(-63) - 3 a prime number?
True
Suppose 2*d + 2*n + 2397 - 739 = 0, 0 = -5*d + 3*n - 4113. Let w = 2102 + d. Is w a prime number?
True
Let z(h) = 20*h**2 + 2*h + 107. Is z(20) composite?
False
Suppose -12*i + 1383 = -2301. Suppose 83 = v - 4*m, -2*m = -5*v + i + 162. Is v a prime number?
False
Suppose -5*o + 3*o - 1198 = 0. Let c = o + 976. Is c a prime number?
False
Let y(t) = 9*t + 5. Let d be y(4). Is 4 - d*((-1)/(-1) + -4) composite?
False
Let x(a) = -a**3 + 16*a**2 + 17*a - 12. Let s be x(17). Is 29829/18 + 2/s prime?
True
Let o(a) = -a**3 + 2*a**2 + 2. Let y be o(2). Suppose 0 = y*t - 3*b - 2822, -668 - 2152 = -2*t + 2*b. Suppose 564 - t = -4*p. Is p a prime number?
True
Let n be (-18)/12*8/(-3). Let p be (-12)/24 + 318/n. Suppose -3*u - p = -4*u. Is u a prime number?
True
Let n = 654 - 275. Is n composite?
False
Let z(y) = -y**3 - 6*y**2 - 7*y + 1. Let v be z(-5). Let p(o) = o**2 + 9*o - 3. Let a(d) = -2*d**2 - 21*d + 5. Let t(i) = 3*a(i) + 7*p(i). Is t(v) prime?
False
Let x(u) = -184*u**3 + 1. Let j be 15/10*4/(-6). Let p be x(j). Suppose q + 3*v = -3*q + p, 5*q = -2*v + 233. Is q composite?
False
Suppose -316 = 4*y - 2052. Let c = 52 + 91. Let z = y - c. Is z a prime number?
False
Let y = -6271 - -18498. Is y prime?
True
Let k be ((-917)/3)/(2/6). Let p = k + 2314. Is p composite?
True
Let f be 7224/144 + (-1)/6. Suppose -o + 29 = -f. Is o a composite number?
False
Suppose 15 = 3*w - 4*b + 2*b, 0 = 2*w + 2*b. Suppose -3*s = s - 4*o - 128, 5*s + 4*o - 133 = 0. Suppose -w*u + s = -4. Is u composite?
False
Let i = 1492 - 693. Suppose j = -4*a + i, 2*a + a = 5*j - 3995. Is j a prime number?
False
Let w(n) be the first derivative of -4*n**4/3 - n**3/6 + 2*n**2 - 2. Let o(s) be the second derivative of w(s). Is o(-3) a prime number?
False
Let y(t) = 10*t - 21. Suppose 5*r - 4 = 51. Is y(r) a prime number?
True
Let q(z) = -59*z - 1. Suppose y + 4*y = 3*f + 26, -12 = -2*y + 2*f. Let w be q(y). Is 5/(60/w)*-4 a composite number?
False
Suppose 4*k = -3 + 3. Suppose k = -6*z + 8*z - 3*b - 803, 2*b + 403 = z. Is z prime?
True
Let i(a) = -71*a + 15. Suppose -3*q + 2*s - 21 = 21, -3*s + 23 = -2*q. Is i(q) prime?
True
Is 37003*((-3)/(-9))/((-2)/(-6)) prime?
True
Suppose -2*z + 4*q - 2 = -z, -5*z = q + 52. Let d be 5*(-4 + (-48)/z). Suppose -p = d*f - 636, p + p + 795 = 5*f. Is f prime?
False
Let c = 761 + -507. Is c a prime number?
False
Let l = 98 - 68. Is 4/l + (-19732)/(-60) a composite number?
True
Suppose 0 = 2*k + 3*v + 89, 0*k + 245 = -5*k - 3*v. Let f = 567 - k. Is f composite?
False
Suppose -6*t + 2 = -28. Suppose r = 3*h + 470, -t*h - 1944 = -3*r - 522. Is r a composite number?
False
Let j(i) = -i**3 - 6*i**2 + 1. Suppose v - 6*v - 30 = 0. Let k be j(v). Suppose -398 + k = -u. Is u composite?
False
Let z = -7 + 9. Suppose -5*x - 7 = u + 14, z*x - 4*u + 4 = 0. Is (x/(-16))/(2/152) a composite number?
False
Suppose 7*s - 3*s + 894 = 5*j, 2*j = -2*s - 438. Let d = s + 324. Is (d/(-1))/(1/(-3)) prime?
False
Let w = 1086 - -323. Is w a prime number?
True
Suppose 0 = -4*x + 3954 + 1490. Is x a prime number?
True
Let f(s) = -12918*s - 19. Is f(-1) prime?
True
Let q be -5 - (-2 + (3 - 1)). Let l(t) be the third derivative of -9*t**4/4 - 11*t**3/6 + t**2. Is l(q) a composite number?
True
Suppose -1644 = -3*b + 4590. Let r = b - 1311. Is r prime?
False
Suppose -3*c - c = 44. Let z = -8 - c. Suppose 19 = j - 4*f, 2*f = -4*j + z*j + 19. Is j a composite number?
False
Is 14/14 + (2566 + -2 - 2) prime?
False
Suppose 0 = -38*q + 128408 + 45138. Is q a prime number?
True
Suppose 2 = -2*g + 12. Suppose 0*b = -g*b + 635. Is b a prime number?
True
Let v be (-5 + (-4)/(-2))*4/6. Is v/(-7) + (-3 - (-8496)/7) a composite number?
True
Let h = -12538 + 18121. Is h a prime number?
False
Let j = -21 - -26. Suppose -r - 2 = -j. Suppose -3*h + 2*h + 254 = 3*g, -r*g = 2*h - 253. Is g a prime number?
False
Let s = 43 - 38. Suppose 3*v + 2*t = 1177, 3*v - s*t - 1554 = -v. Is v a composite number?
True
Is (1844/2 - -2) + (51 - 52) a composite number?
True
Let l(z) = -2*z + 18. Let m be l(9). Suppose 5*t = 2*a + 16, m*t = 4*t - 16. Suppose 3*q - 635 = -a*q. Is q a composite number?
False
Suppose 5*x = 6*x - 14. Suppose -x = 4*a - 2. Is ((-95)/a)/((-2)/(-6)) a prime number?
False
Suppose 4*p - 773 = -5*q, -q - 38 = p - 231. Suppose 3*b - p - 213 = 0. Suppose 3*o = b + 72. Is o prime?
False
Let t(n) = -5*n - 8. Let p be t(-4). Suppose -5*m + p - 2 = 0. Is (-10 - 2)*m/(-4) prime?
False
Suppose -5*r + 3*j = -56350, -34500 = -2*r + 4*j - 11974. Is r composite?
False
Let d = 126 - -181. Suppose d = -9*x + 10*x. Is x a composite number?
False
Suppose -3*n - 2*f + 19 = 0, n + 3*f - 18 = -0*n. Suppose 0 = n*c - 20 + 440. Let p = c + 281. Is p a composite number?
True
Suppose -17*f + 700 = -405. Is 582/10 + (-13)/f prime?
False
Let d = -128 + 285. Suppose -4*x = -3*x - d. Is x a prime number?
True
Let u(n) = -2029*n + 17. Is u(-5) a composite number?
True
Let z be 3/(-6) - 5478/(-4). Is ((-20)/15 - -2) + z/3 a prime number?
True
Let r = 6413 + 24858. Is r composite?
False
Let n = 463 - 159. Let g = n - 185. Is g a composite number?
True
Suppose -39*k + 55*k = 265648. Is k a prime number?
True
Suppose 0 = -o + 11 - 7. Suppose o*d - 689 = -9*d. Is d a composite number?
False
Suppose -t = 27*b - 30*b - 83696, t - 83688 = -5*b. Is t composite?
True
Suppose -3*y + 3 = -6. Let p = 16 - 7. Suppose 3*g - 25 = -a, -4*g = -y*a + p + 92. Is a prime?
True
Is (-194384)/12*(-24)/32 prime?
True
Let s(i) = -i**2 + 12*i - 14. Let h be s(10). Let l = -312 + 539. Let k = l - h. Is k prime?
False
Suppose 5*h + 25 + 55 = 0. Let g = -12 - h. Suppose 5*a + 835 = 5*k, 390 = g*k + 3*a - 278. Is k prime?
True
Let i = -91 + 378. Is i a composite number?
True
Let r(q) = 0*q**3 - q - q**2 - 4 - q**3 + 8. Let p be r(0). Suppose -4*b + p*u + 144 = 2*u, 0 = -4*b - 3*u + 154. Is b a prime number?
True
Suppose 0 = -2*x - 3*c + 10466, 0 = -0*c + 3*c - 12. Is x prime?
True
Suppose 10 = -6*k + k. Let f(d) = 65*d**2 - 4*d - 1. Is f(k) composite?
True
Let z(b) = 8*b + 56. Let f be z(-7). Suppose f = -i - 220 + 975. Is