Let s be o(-3). Is (2/s)/(15/r) a prime number?
True
Suppose 2027 = 5*t + 2*n, 1460 = 3*t - 5*n + 250. Suppose 5*i - 2*c = t, -c - 149 = -3*i + 95. Is i prime?
True
Let w = 13270 - 7025. Is w composite?
True
Suppose -x + 3*x = 4. Suppose -x*h + 12 = 2*k, 0 = -0*k + k - 2*h + 6. Suppose -2*n - 3*l + 27 = -352, k*n = 4*l + 386. Is n prime?
True
Suppose 4*h = m + 3439 - 800, -m - 4*h = 2647. Let g = m + 5564. Is g composite?
True
Suppose -22*t - 17*t + 116961 = 0. Is t a prime number?
True
Let j(q) = 22*q - 6. Let m be j(6). Let l = m + 53. Is l composite?
False
Is (-4)/((-4)/2103) + -4 a prime number?
True
Let l(t) = -29*t - 27. Is l(-4) prime?
True
Let q(u) = 861*u + 166. Let z(o) = -172*o - 33. Let v(h) = 2*q(h) + 11*z(h). Is v(-6) prime?
False
Suppose -4*b - n + 4265 + 27726 = 0, -2*n - 8009 = -b. Is b composite?
True
Let m = 379 + 64. Let s = -639 + m. Let f = 435 + s. Is f composite?
False
Let s(l) = -39*l - 58. Is s(-31) a composite number?
False
Suppose -2*j + 4*c + 114106 = 0, -171168 = -j - 2*j - 3*c. Is j prime?
False
Let t(n) = 2*n**3 + 64*n**2 - 62*n + 31. Is t(-28) prime?
True
Is 9 - (-1)/((-8)/(-31744)) prime?
False
Let m = -1586 + 4343. Suppose -2*r = -5*r + m. Is r a composite number?
False
Let i = -13 + 18. Suppose -i*k - 4*a - 694 = 0, -3*k + 2*k = 2*a + 140. Let y = 497 + k. Is y a prime number?
True
Let y(q) = -39*q + 4. Let v be y(-6). Suppose -5*b = 93 - v. Let x = 142 - b. Is x a composite number?
False
Let d = -7013 + 13746. Is d prime?
True
Let a(x) = -88*x + 12889. Is a(0) prime?
True
Let h = -6 - -15. Suppose h*k = 13*k - 300. Let j = 52 + k. Is j a prime number?
True
Is 11 + 422/(-38) + (-1503339)/(-19) a prime number?
False
Let w(o) = 10*o**3 - 26*o**2 + 17*o + 20. Let n(f) = -3*f**3 + 9*f**2 - 6*f - 7. Let x(s) = 11*n(s) + 4*w(s). Is x(4) a composite number?
False
Suppose -29*i + 11337 + 85610 = 0. Is i a composite number?
False
Suppose 125879 = -5*t + 18*t. Is t composite?
True
Suppose -5*c = -2*i - 277 + 17888, 0 = 2*i + 3*c - 17635. Suppose 4*j - i = n, -j + 4*n + 2202 = 5*n. Suppose 5*g = -618 + j. Is g a prime number?
True
Let h(d) be the second derivative of -7*d**3/2 + 7*d**2/2 - 21*d. Is h(-4) composite?
True
Let x = 24 + -12. Suppose 3*u + 2*m = -2, 3*u + x - 2 = -4*m. Let a(f) = 10*f**3 + 2*f**2 + 2*f - 3. Is a(u) prime?
True
Suppose 5*n + 38 - 68 = 0. Is ((-890)/n)/(10/(-3) + 3) a composite number?
True
Suppose -u - 4*t = -18, -4*t + 12 = -0. Suppose 0 = 2*k + 2*g - u*g - 2574, 2*k - 2579 = 5*g. Is k composite?
False
Let l(j) = 303*j**3 + 3*j**2 + j - 10. Is l(3) a prime number?
False
Let y(w) = -6*w + 1. Let g be 1/4 + 15/(-12). Let t be y(g). Suppose 0 = 2*m - t*m + 30. Is m a composite number?
True
Suppose 0 = d - 2*b - 11, -4*d - 2*b + 5 = 1. Suppose -250 = -d*f + 851. Is f prime?
True
Suppose 28 = -4*j - g, -5*j + g + 0*g - 35 = 0. Let i = j - -12. Suppose 194 = 3*u + i*z - 23, -280 = -4*u - 2*z. Is u a composite number?
True
Let i = 738 - 426. Let o = 47 + i. Is o prime?
True
Let h(w) be the first derivative of w**4/4 - 5*w**3/3 + w**2 - 3*w - 5. Let p be h(13). Suppose 0 = 5*z - 300 - p. Is z a composite number?
True
Suppose 13*d + 10 = 8*d, -3*k + 25261 = -2*d. Is k a prime number?
True
Let f(m) = m**3 - 20*m**2 + 20*m - 16. Let p be f(19). Suppose -g = -p*g + w - 5, 6 = -g + 4*w. Let r(s) = 23*s**2 - 1. Is r(g) a prime number?
False
Let i(k) = -247*k + 21. Is i(-40) prime?
True
Suppose -d + 29285 = 62*c - 66*c, 2*c - 58600 = -2*d. Is d a prime number?
True
Let x(g) = 2*g**3 - 32*g**2 + 39*g + 63. Is x(20) a prime number?
False
Let w(y) = 321*y + 73. Let s(m) = -2*m + 24. Let q be s(4). Is w(q) prime?
True
Let q = -669 + 372. Let y = 488 + q. Is y composite?
False
Suppose 227*s - 233*s + 84306 = 0. Is s a composite number?
False
Let l = 390 - 204. Let c = 397 - l. Is c prime?
True
Suppose -u = 3*w - 1051 - 67, 2*u + 4*w = 2238. Is u a prime number?
False
Let g(s) = s**2 + 3*s + 317. Let j(h) = -6*h**2 - 15*h - 1585. Let i(t) = 11*g(t) + 2*j(t). Is i(0) composite?
False
Let n(x) = 13*x**3 - 9*x**2 + 3*x - 30. Let b be n(9). Suppose 5*p + b = 5*u, 3*p - 2*p = -2*u + 3513. Is u a prime number?
False
Let n(a) = -a**2 - 7*a + 3. Let r be n(-7). Suppose -4*i - i = r*f + 15, 0 = 2*i - f + 17. Let y(c) = 11*c**2 - 4*c - 1. Is y(i) a prime number?
True
Let f(a) = 28*a**3 - a**2 + 3*a - 13. Let p(s) = -7*s**3 - s + 3. Let h(x) = -2*f(x) - 9*p(x). Is h(5) composite?
True
Let j(c) = -30*c**3 + c**2 + 8*c + 1. Is j(-6) a prime number?
True
Suppose -5*s = -5*a + 45, -2*s - 21 = -2*a + s. Suppose 2*v + a = 4*v. Is 56 + (-2 + -1)/v prime?
False
Let l(p) = 3 + 54*p + 16*p - 18*p - 2. Let q be -5*(3 - 48/10). Is l(q) a composite number?
True
Let d(v) = v**2 - v + 11. Let a(y) = -y**2 + 1. Let w(u) = 6*u**2 - 10*u + 3. Let l(p) = 5*a(p) + w(p). Let s be l(8). Is d(s) composite?
False
Let b = 28 - 17. Let x = 86 - 6. Let a = b + x. Is a a prime number?
False
Let j(r) be the second derivative of -1/10*r**5 + 0 + 1/2*r**2 + 13/6*r**3 - 7*r - 1/3*r**4. Is j(-6) prime?
True
Let f = 201 + -74. Is f composite?
False
Let k(c) = -c**2 + c - 10. Let o be k(0). Let p be (-5)/(o/(-44)) + 4. Is 1254/5 + p/(-90) prime?
True
Suppose -4*t + 2*z - 3*z = -641, 2*z = -5*t + 802. Is (-5 - -1) + 75/15 + t a composite number?
True
Suppose -d - 5 + 1 = 0. Let p(b) = -101*b + 11. Is p(d) prime?
False
Suppose 8*t - 2374 = 4274. Is t prime?
False
Suppose -4*y + 0*o = 4*o - 40, -3*o = -5*y + 10. Suppose -9213 = -y*v + 262. Is v composite?
True
Let p be 4/(-6)*24/(-4). Is p/2*(-26689)/(-26) a composite number?
False
Suppose -11816 = -4*n + 4*t, n + 12*t - 2969 = 8*t. Is n a composite number?
False
Suppose 2*f - 2*s = -3816, -4*f - s - 3810 = -2*f. Let q = 2873 + f. Is q prime?
True
Is 2/6*-17231*(-2 + -1) a prime number?
True
Let g be 2*(-5)/20*(-1 + 1497). Let m = -305 - g. Is m a prime number?
True
Let b(r) be the second derivative of r**5/20 - 2*r**4/3 + r**3/3 + r**2 - 5*r. Let z be b(7). Let n = z - -72. Is n prime?
False
Let t(l) = 2*l - 12. Let z be t(6). Suppose z = 5*o - 2*o - 12. Let u(d) = d**3 - d**2 - 3*d + 1. Is u(o) prime?
True
Let i = -35563 + 60276. Is i a composite number?
True
Let a(d) = -2*d**2 + 11*d - 7. Let j(c) = -c**2 + 12*c - 8. Let p(z) = 2*a(z) - 3*j(z). Let i be -10 + (0 + 3 - 6). Is p(i) composite?
False
Let v be ((-1340)/2)/((-1)/(-1)). Let k(h) = -18*h**3 + 4*h**2 - 3*h + 2. Let a be k(3). Let s = a - v. Is s prime?
False
Let r = 40 - 40. Suppose -3*u + 13891 = -4*n, r = -u + n - 0*n + 4631. Is u composite?
True
Is -3 + 40/14 + (-5436)/(-28) a prime number?
False
Let o = -11049 - -15692. Is o a prime number?
True
Let a be 310/(-8) - 1/4. Let w = 502 - a. Is w a prime number?
True
Let y be (-21)/(-14)*(-68)/6. Let k = 37 + y. Let i = 93 + k. Is i a composite number?
False
Let h(g) = 26 + 20*g + 22*g**2 - 8*g**3 - 3*g**3 + 10*g**3. Is h(22) a composite number?
True
Let h(i) = -293*i. Suppose -u - 4 = 0, u - 1 = 2*j - 3. Is h(j) a prime number?
True
Let i(u) = -1. Let a(g) = -2*g - 14. Let q(b) = a(b) - 3*i(b). Let v be q(-9). Is (-147)/(-4) + v/28 prime?
True
Let t(b) = 40*b + 3. Let z be t(-2). Let d(a) = -3*a**3 + 5*a**2 - 14*a + 2. Let o be d(2). Let m = o - z. Is m a composite number?
False
Suppose 16*l - 26*l + 261350 = 0. Is l composite?
True
Suppose -914 = -w + 46537. Is w composite?
True
Suppose 3*j + 73 = 1186. Let m = 42 + j. Is m composite?
True
Suppose -4*x + 4*u + 32172 = 0, 5*u + 24125 = 3*x + 3*u. Is x a composite number?
False
Let z be -4 + 9 + 2/(-1). Suppose 3*p - 5*d = 2, 2*d + 10 = 5*p - z*d. Suppose 106 = -p*r + 2366. Is r composite?
True
Is 21/(-35) - (-1 + (-20526)/10) prime?
True
Let l = -732 - -730. Let v = 7 + 14. Let d = l + v. Is d a composite number?
False
Suppose -111 = -12*w + 141. Is w prime?
False
Let w(j) = -5*j - 15. Let g(n) = 5*n + 16. Let c(i) = -4*g(i) - 3*w(i). Let f = -5 - 5. Is c(f) a composite number?
False
Suppose 300 = 5*v + 10. Is v - (1 + 0/5) a composite number?
True
Suppose -7483 = -32*l + 25*l. Is l a prime number?
True
Suppose 0 = -6*t - 167 + 9083. Is t prime?
False
Let f(n) be the third derivative of -n**6/120 - 7*n**5/60 + n**4/3 - 4*n**3/3 + 2*n**2. Let v be f(5). Let l = 141 - v. Is l prime?
True
Let z(v) = v. Suppose 0 = m + 2*m - 3, m = -3*r - 2. Let j