prime number?
True
Let i(m) = -m**2 + m - 1. Let g be i(2). Let c(u) = 52*u**2 - 3*u - 6. Is c(g) prime?
False
Let w be (4/3)/(14/21). Is 0 - (w - 2) - -25 composite?
True
Suppose 25*r = 26*r - 7369. Is r prime?
True
Let y(k) be the third derivative of -85*k**4/12 + 37*k**3/6 + 7*k**2. Is y(-8) a prime number?
False
Suppose 31*b = -6*b + 2088613. Is b a prime number?
False
Let a(t) = t**3 + 23*t**2 + 23*t + 41. Is a(-22) a prime number?
True
Let u(j) be the second derivative of -20*j**3/3 - 7*j**2/2 + 2*j. Suppose f = 1 - 2, -2*l = -3*f + 3. Is u(l) a prime number?
True
Let m = -334 - -569. Is m a composite number?
True
Let i = -2308 - -3816. Let f = i + -859. Is f a prime number?
False
Suppose -2*s - 14 = -3*s - 4*j, 40 = 2*s - 4*j. Let w be (-240)/s + (-4)/6. Is 7/(w/(-4)) - -197 composite?
False
Suppose 0 = 4*x - 5*y - 35 + 4, 0 = -5*x + 2*y + 26. Let g be x + -37*11 + 3. Let k = -107 - g. Is k a prime number?
True
Let o(r) = -2*r**2 + 16*r - 11. Let a be o(7). Suppose a*m = -m + 2228. Is m a prime number?
True
Let r be 32/(-1)*-1*5/10. Suppose 2*t - r = x - 1173, 3 = t. Is x a prime number?
True
Let s = 420 - 634. Let l = -23 - s. Is l a composite number?
False
Suppose 2*h + n + 3*n = 4586, 4*h + 5*n = 9187. Suppose h = 4*i - 2301. Is i composite?
False
Let k(z) = -28*z + 5. Let s(h) = -13*h + 2 - 10*h - 6*h + 4. Let a(o) = -4*k(o) + 5*s(o). Is a(-3) a composite number?
False
Let p = -57 + 107. Let u = 113 - p. Suppose -h = a + 3 - u, 5*h - 5 = 0. Is a composite?
False
Let z = -15 + 11. Let p(v) = -v**2 - 6*v - 3. Let j be p(z). Suppose -918 = -j*y + 407. Is y composite?
True
Let o = -423 - -106. Let a = 571 + o. Is a a composite number?
True
Suppose 5 = -c, -3*g - 3*c = g - 10929. Suppose -4*z + 4*l + g = 0, -4*z - 3*l + 3428 = z. Is z composite?
True
Let h = -14 + 8. Let j(m) = -4*m**2 + 6*m - 1. Let l be j(h). Let v = l + 326. Is v a composite number?
True
Let f(s) = -s**3 + 8*s**2 + 5*s + 6. Suppose -4*o + 11 - 47 = 0. Let t be f(o). Suppose 0*p = 6*p - t. Is p prime?
True
Suppose 5*s - 14496 = -4*q, -8*s = 2*q - 3*s - 7238. Is q a prime number?
False
Suppose 0 = 5*v - 10 - 15. Suppose v*f = 7*f - 2798. Is f prime?
True
Is 1881583/55 + (-18)/(-45) a composite number?
False
Is (-6)/75 - (-1897416)/200 a composite number?
True
Suppose -2*u - j - 33 = 0, 3*u - 2*u + 12 = -5*j. Suppose 0*x - 2*x - 8 = 0. Let h = x - u. Is h a prime number?
True
Suppose -175 + 17 = -5*z - 4*n, 0 = z + 2*n - 28. Let a be z*(-4)/(4/(-1)). Suppose -x + 197 = a. Is x a prime number?
True
Is 590380/15 - ((-84)/(-18) + -5) a prime number?
True
Let s(h) = 2*h**3 - 3*h**2 - 3*h - 7. Let i be s(5). Suppose 2*f - 509 = i. Is f a prime number?
True
Let m(u) = -22369*u + 189. Is m(-2) a prime number?
True
Suppose 25 = -3*r - 20. Let z(d) = d**2 + 6*d - 4. Let a be z(r). Suppose 0 = j + 2*h - a, -479 = -4*j - 0*h + h. Is j a prime number?
False
Let z(b) = 17*b + 2. Let n be z(2). Let y = -36 + n. Suppose 5*g + 1671 = 5*r + 3*g, y = -2*r + g + 668. Is r a composite number?
True
Suppose 5*m - 4*f = -20, 3*f - 2*f + 8 = -2*m. Let a = -9 - m. Is (-16)/(-40) + (-1863)/a a prime number?
True
Let a(f) = 120*f**3 + 13*f**2 + 16*f - 42. Is a(7) prime?
False
Let d = 40 + -37. Suppose 0 = d*z - 3*l - 2874, -3*l - 220 = z - 1166. Is z composite?
True
Let z(v) = -223*v - 6. Let m be z(-7). Let k = m + -969. Is k/12 + 7/42 a composite number?
True
Suppose 0 = -5*a - 1542 - 3813. Let p = -440 - a. Is p a composite number?
False
Let z(k) = -2*k**2 - 22*k - 14. Let y be z(-10). Let o = 8 - y. Suppose -95 = -o*u - 3*u. Is u a prime number?
True
Let c(u) = -2*u + 15. Let x be c(8). Let a(t) = 308*t**2 - 1. Is a(x) prime?
True
Let b be ((-18)/(-63))/(1/14). Suppose 5*w = b*q + 2*w - 1211, -5*q - w = -1490. Is q composite?
True
Let c = -14 + -32. Let q = c - -113. Is q composite?
False
Let t(h) = -17*h + 3. Let c be t(-6). Let g = -67 + c. Is g a composite number?
True
Let o = -6 + 14. Is o/(-2) - (-12 + -419) prime?
False
Suppose 2*g - 1537 = 241. Is g a composite number?
True
Let a(u) = -u**3 - 11*u**2 + 26*u + 52. Is a(-19) a prime number?
False
Let w(i) = 16*i**2 - 5*i - 6. Let o be 50/(-3) - (-44)/(-33). Let x = 13 + o. Is w(x) a prime number?
True
Suppose 6*w = 1355 - 245. Is w a composite number?
True
Let i(m) = m**3 - 6*m**2 + 9*m - 9. Suppose 3*s - 17 = 3*p + 79, 5*p = -2*s - 160. Let b be (15/(-10))/(6/p). Is i(b) a prime number?
True
Suppose -5*c = 3*n - c + 36, 0 = -5*c. Is 270 - (-9)/n*4 a composite number?
True
Suppose -12*k - 5 = -11*k. Suppose 2*a = -11 + 3. Is (-5)/(k/57) + a composite?
False
Let f(n) = -165*n + 3. Let v = 10 + -13. Let r be f(v). Let k = r + -355. Is k prime?
False
Let l(r) = -5*r + 22. Let m be l(7). Let b(s) be the second derivative of s**5/20 + s**4 - 8*s**3/3 - 17*s**2/2 - s. Is b(m) a composite number?
True
Suppose -631 = -5*n + 4*i + 856, 0 = 5*n - 5*i - 1490. Let o = 434 - n. Is o a prime number?
True
Let z = -24617 + 35644. Is z a composite number?
False
Suppose -2 = 3*b - 5*y + 3*y, 2*y - 2 = -4*b. Let m = -89 + 92. Suppose -j = -2*z - 16, b*j + m*z + 31 = 2*j. Is j a prime number?
False
Let d(x) = 55*x**2 + 2*x - 3. Let p be d(1). Is 1418/18 - (-12)/p composite?
False
Suppose -5*u = -2*u + j + 47, 3*j = -u - 5. Let s = 17 + u. Is (s + 4/(-16))*-1268 composite?
False
Is 767319/105 - 30/(-25) a prime number?
True
Let g = 2333 + 814. Is g prime?
False
Let c(v) = v**3 + 31*v**2 - 8*v + 287. Is c(-24) prime?
False
Suppose -4*l - 4 = -g, 5*g = -4*l + 3 + 17. Suppose l = -3*y - k + 709, 4*y - 5*k = 246 + 712. Is y prime?
False
Let a be ((-558)/15)/((-4)/20). Let k = 517 - a. Is k prime?
True
Is (3/(105/157969))/(2/10) a prime number?
True
Let w = -1 + -23. Let d = w - -181. Is d composite?
False
Let w(g) be the third derivative of -g**6/120 + g**4/24 - g**3/2 + 6*g**2. Let l be w(0). Is ((-1905)/(-3) - -3) + l a prime number?
False
Let k(f) = -1 - f**2 + 0 + 4. Let g be k(0). Let t(m) = 51*m - 4. Is t(g) prime?
True
Let j = 5 + -9. Is j + 2 + -2 + 135 composite?
False
Is ((-3)/(-9))/(8/40056) composite?
False
Suppose -2*p - 3*l + 13 = 0, -p - l + 0*l + 4 = 0. Let y be 1*p*9/(-3). Suppose 3*j - y*c = 5*j - 126, 4*j + 4*c - 260 = 0. Is j a prime number?
False
Suppose 583*t = 576*t + 931091. Is t a prime number?
True
Let s(r) = 4953*r + 2. Let l be s(1). Suppose -3*g = -5*t + l, 2*t - t - 5*g - 991 = 0. Is t prime?
True
Is (-123 - 23)/((-4)/974) a prime number?
False
Suppose -8 = -2*h - 4. Suppose h*z + 10 = 4*l - 6, 4*l = -3*z + 36. Suppose q + 121 = 2*j, l = -0*q - 2*q. Is j a composite number?
False
Let n be 17 + -11 + 1 + 1. Suppose 6*c + n = 4*c, 5*v - 2863 = 2*c. Is v composite?
False
Suppose -26 + 12 = -7*t. Let w(o) = 633*o - 11. Is w(t) a prime number?
False
Let h(o) = 5*o. Let y be h(1). Suppose -5*j - 2*s = s - 2416, -y*j + s = -2428. Is j composite?
True
Let x = 2606 - 1509. Is x prime?
True
Let y(b) be the second derivative of -397*b**3/6 + 2*b**2 + 12*b. Is y(-1) prime?
True
Suppose -9*a = -8*a + 762. Let o = -275 - a. Is o a prime number?
True
Let d = 93 - 89. Suppose -4*j = -9 - 3. Suppose -d*s + 419 = -j*s. Is s prime?
True
Let i = 9920 - 7065. Is i a prime number?
False
Suppose 5*j = j + 5*r + 23, -5*j + 25 = -5*r. Suppose m + 3*k + 304 = 852, 0 = j*m - k - 1117. Is m a prime number?
True
Let b(f) = 207*f - 9. Let s(n) = 26*n - 4 + 64*n + 8*n + 5*n. Let u(j) = 3*b(j) - 7*s(j). Is u(-3) prime?
False
Let l(n) = n**2 - 3*n + 5. Let a be l(3). Suppose 293 = 6*i - 2*i + 3*x, -x = -a*i + 371. Is i composite?
True
Let a(t) = t + 11. Let d be a(-7). Suppose -n - 9 = 5*u, 0*u + 71 = 5*n - d*u. Let o = 30 - n. Is o a composite number?
False
Suppose -8 + 92 = u. Suppose 4*w = -p + 102, -p - 2*w + 26 = -u. Is p prime?
False
Let n(p) = 6*p - 4*p + 5 + 1 + 0*p. Let m be n(-4). Is m/(2 + -10)*452 prime?
True
Suppose 2*v - 3*v + 1495 = 0. Suppose -1160 = -5*c + v. Suppose 0 = -3*d + 4*x + c, -5*d = 3*x - 651 - 234. Is d prime?
False
Let z(r) = -3*r**2 + 7*r**2 + 4*r**2 - 16*r + 21. Is z(-9) composite?
True
Let m = -265 - -700. Let f = 1478 - m. Is f prime?
False
Let p = -175771 + 417900. Is p prime?
True
Let n(c) = 9*c**2 + 5*c - 31. Let z(a) = 4*a**2 + 2*a - 15. Let t(o) = 6*n(o) - 13*z(o). Let f = -15 - -8. Is t(f) a prime number?
True
Suppose -3*