e 0 = -4*s + s - 3*r + 228, 2*r - 77 = -s. Let v = -86 + s. Let m(j) = 11*j**2 + 14*j - 6. Is m(v) a prime number?
True
Suppose 0 = 5*s - 3*j - 2 - 6, -3*s - 2*j = -20. Suppose -s*l + 1663 = -17. Suppose a - f - 89 = 1, l = 5*a + f. Is a a composite number?
True
Suppose -681*z - 92609 = -692*z. Is z composite?
False
Is 2 + (149322 + -5 + 3 - -7) prime?
False
Let c = 37620 + -15917. Is c composite?
True
Let u(l) be the first derivative of 23*l**3 + 11*l**2/2 - 5*l + 59. Is u(8) a composite number?
True
Let l(r) = 488*r**2 + 4*r - 109. Suppose -4*z + 40 = -2*w + 88, 3*z - 5*w + 50 = 0. Is l(z) prime?
False
Let d(m) = 9901*m - 7789. Is d(8) a composite number?
False
Suppose 4*y - 63 = -3*v, -4*v + 37 + 47 = -5*y. Let t(u) = 384*u - 29. Is t(v) composite?
True
Let x(o) = -4*o**3 - 4*o**2 - 28*o - 10. Let g be x(-16). Suppose -y = 5*b + 842 - 40351, y = 2*b - g. Is b prime?
True
Let u(c) = 22*c - 21. Let b be u(5). Suppose b - 1 = -11*i. Is (-4763)/(-9) - (16/(-9))/i composite?
True
Let h be -18 - -23 - 9282/(-1). Let u = 2129 - h. Is u/(-1*(-5 + 7)) a prime number?
False
Suppose 3*l = -8*l + 1100. Suppose 19105 = 105*i - l*i. Is i a composite number?
False
Let r = -5 + 5. Let v(w) = 2 - 15*w + 3 - 3*w + r. Is v(-5) prime?
False
Let v(k) = 32*k + 5. Let x be v(2). Let o = x - 23. Suppose 42 = -o*d + 49*d. Is d a composite number?
True
Let h = -172 - -151. Is 1543 + (-1 - -1)*h/21 a composite number?
False
Let f = -256 + 259. Suppose 0 = d - 5*d - 20, 5*d = f*n - 1648. Is n prime?
True
Let a(c) = 22729*c**2 + 59*c - 317. Is a(6) composite?
False
Let n(c) = 90*c - 313. Is n(49) prime?
False
Let s = 34 - 23. Let k be -1*(5 + -4) + s. Suppose 2294 + 776 = k*l. Is l composite?
False
Let g = -2472 - -4931. Is g composite?
False
Let f(d) = -4*d + 55. Let x be (-29)/(-22)*10 - (-26)/(-143). Let n be f(x). Suppose 7*r - 5*r + 1522 = 4*y, -3 = -n*r. Is y a composite number?
True
Let d be 0/((2/10)/((-1)/5)). Suppose 9*i - 8*i - 2063 = d. Is i prime?
True
Let s be (-1)/(1*((-96)/(-33) - 3)). Let f(c) = 20*c**2 - 4*c. Let h be f(s). Let l = -815 + h. Is l a prime number?
False
Is (-461806)/(-1) + (-8 + 4)/((-56)/(-70)) composite?
False
Let x = -125 - -130. Suppose -m + k + 643 = -67, -x*k + 2813 = 4*m. Is m a prime number?
False
Let o = -647 - -306. Let v = o - -1414. Is v a prime number?
False
Let x = -368864 + 3599793. Is x prime?
False
Let h(g) = 3*g**3 + 2*g**2 - 3*g + 1. Let o be h(1). Suppose -2*d + 1 = 5*v - 19, 5 = -5*v + o*d. Suppose c = -v*m - 4*c + 92, 0 = 3*c. Is m composite?
True
Let q(z) = z + 28. Let g be q(-26). Let k be 102/g - (3 + -1)*-1. Let y = k - -90. Is y a composite number?
True
Let x(c) = -c**2 + 8*c - 9. Let w be x(4). Let q(f) = 28*f**3 - 7*f**2 - 19*f + 65. Is q(w) prime?
False
Suppose -7*o = 626744 - 1501401. Is o prime?
True
Let u = 2409 + -1656. Suppose -3*t + u = -120. Is -3*t*(-9)/27 a prime number?
False
Suppose -5 = -0*w - 2*w + h, -3*h = 2*w - 25. Suppose -l = 4*x - 6741, -l = x - w*l - 1681. Suppose 28*o = 33*o - x. Is o a composite number?
False
Suppose -3*z - 24630 = -8*k + 3*k, 12 = -4*k. Let u = -5166 - z. Is u a prime number?
True
Suppose -53*k + 201 + 11 = 0. Let u(v) = 16*v**2 - 1 + 2*v + 7*v**2 + 4. Is u(k) a composite number?
False
Suppose -29*u = -66862 - 639259. Is u a composite number?
True
Let c(x) be the first derivative of 11*x**3/3 - 9*x**2/2 - 163*x + 167. Is c(40) prime?
True
Let t(l) = -2*l**2 - 20*l - 14. Let p be t(-9). Suppose 0 = 2*s + p*u + 2, 2*s + 3*u = -0*u. Let z(y) = 205*y + 8. Is z(s) a composite number?
True
Let z(r) be the third derivative of r**6/40 - r**5/15 - r**4/12 - 2*r**2. Let n(j) = -3*j - 7. Let b be n(-4). Is z(b) composite?
True
Suppose -3*h + 119 = 20. Suppose -14 = t + 4*z, -4*t - h = 3*z - 3. Is t/(-57) + (-13410)/(-38) composite?
False
Let f be (-288)/(-54) + 4/6. Suppose -2*u + 4*b = 16, 2*u + 4*b + f = 22. Is (1 - u)*(2180 + -1 + 0) prime?
True
Let h = 77574 - 42523. Is h a composite number?
False
Let t(j) = 296*j**2 - 29*j - 48. Is t(-7) a prime number?
False
Let y(f) = 41*f**2 + 36*f - 139. Is y(-32) a composite number?
False
Is (-23 + -1710)*(-31 + 2) composite?
True
Suppose -5*i - 44285 = -10*i. Let c = i + -3113. Suppose -c = -5*t - 1299. Is t prime?
False
Let l(h) = -455*h + 23. Let r be l(-7). Suppose -f = 3*w - 5822, -w + 5*f + r = 1262. Suppose -w = -2*k + 5*g, 3*k - 4*g - 2889 = -g. Is k a prime number?
False
Suppose -3*f = -3*b + 849 + 3408, b = -5*f + 1389. Let j = 2085 - 1590. Let u = b - j. Is u prime?
True
Suppose 4 - 17 = -13*m. Is (1/3)/(m/((-43116)/(-4))) a prime number?
True
Let v(p) = 116*p**2 - 7*p + 30. Is v(-11) a prime number?
True
Is (2 + -16885)/((-1)/2) composite?
True
Let v be 1/((-18)/(-8) - 2). Suppose v*z = w - 283, w + 2*w - 875 = -z. Let j = w - 164. Is j prime?
True
Suppose -44*a + 1924015 = -1127429. Is a prime?
False
Suppose 27 + 2693 = 5*u. Suppose 5300 = 4*s + u. Is s composite?
True
Let t be 3*(1 + 5 - (-11700)/108). Suppose 347*c = t*c + 37384. Is c a composite number?
True
Let c be (2 + 4/3)*(-51)/(-34). Suppose 0 = -5*x - c*t + 3117 + 1878, 12 = -3*t. Is x a prime number?
False
Let d = -115 - -116. Let b be (-1520)/(d*6/21). Let k = 9642 + b. Is k a composite number?
True
Let u = 3819 + -5509. Let p = -3445 - u. Let i = 2557 + p. Is i a composite number?
True
Let n(a) = -3*a**3 + 15*a**2 - 20*a + 1. Is n(-21) prime?
True
Is 2283018*5/210*7 a composite number?
False
Let y(f) = 78*f**2 + 14*f + 309. Is y(-13) composite?
False
Let n(l) = -l - 3. Let q(f) = 936*f - 255. Let m(j) = -2*n(j) - q(j). Is m(-19) a composite number?
True
Let l(n) = 2*n**3 - 3*n**2 - n + 4. Let c be l(-3). Let s = 617 + c. Suppose v - t - s + 90 = 0, -4*t + 906 = 2*v. Is v composite?
True
Let z(r) be the third derivative of -r**4/4 + 139*r**3/6 + 43*r**2. Is z(-14) prime?
True
Suppose -8*p + 23 + 33 = 0. Suppose -p = 4*r + 3*u + 9, 3*u = r - 11. Is (r - -4) + 236/1 a prime number?
True
Suppose -5*f + 4 - 19 = 0, -b + 5157 = -4*f. Suppose -5*t + 8*t = 0, 5*h = 3*t + b. Suppose -h = -4*j + 527. Is j a composite number?
False
Let h = 91 + -76. Is (0 - 1)*(-6284 - h) composite?
False
Is (-64503)/(-2) + (-260)/(-104) a prime number?
False
Suppose -t - 2*d + 117772 = 3*t, 147215 = 5*t + 3*d. Is t a prime number?
True
Let h be (-1295)/407 + 4/22. Is (-5814)/h - (4 + 3) prime?
True
Suppose -3*t - 5*t - 600 = 0. Let f be (21/5)/(-7) + 3666/10. Let q = t + f. Is q a prime number?
False
Suppose 6*n = n. Suppose n - 14 = -v. Is 4638/v - 12/42 a composite number?
False
Let u(m) = -4*m**2 - 26*m - 1. Let s be u(-7). Let f = 29 + s. Suppose -4*o - d = -17944, -2*d + 6 = f. Is o a composite number?
True
Let q(f) = 143366*f + 389. Is q(3) composite?
False
Suppose -2119*a - 29155634 = -2205*a. Is a a prime number?
False
Let g(n) = 16*n**2 - n + 5. Let u be g(-3). Suppose u = 2*i - 0*i. Let q = i - -69. Is q prime?
False
Let p(f) = f**2 - 11*f - 60. Let t be p(14). Is 0 - (58668/t)/((-2)/(-3)) composite?
False
Let i(k) = 19*k - 5147. Let r(g) = -g. Let d(n) = -i(n) + 3*r(n). Is d(0) composite?
False
Let d(c) = c**2 + 3*c - 22. Let y be d(-9). Suppose 30 = 5*j - 5*g, -4*g = -8*j + 3*j + y. Is (2 - 18/j)/(8/(-18784)) a composite number?
False
Is 51942 + -12 + -5 + 4 composite?
False
Suppose -58*o = -54*o + 2*y - 10, 0 = 2*o - 4*y + 20. Let w = 12 - 8. Is 29 + (w - o) - 0 a composite number?
True
Let o be 336 + -2 + 6*(-6)/9. Suppose -3*d + 4*l + 495 = 0, 2*d - l = -3*l + o. Let y = d + 400. Is y a prime number?
False
Let b be ((-3)/(6/4724))/(78/(-39)). Suppose -5*y + 22*m + 5949 = 20*m, -y - 4*m = -b. Is y prime?
False
Let d = -1303858 + 2235643. Suppose -15*t = -0*t - d. Is t prime?
True
Let p(r) = 158561*r + 4032. Is p(23) composite?
True
Let m(k) = -598*k + 5. Suppose -2*r - 11 = q, -r + 5*q + 20 + 2 = 0. Is m(r) a prime number?
False
Suppose 1487 = -5*r - m - 2*m, -1200 = 4*r + 5*m. Let s = -78 - r. Is s a composite number?
True
Let y = -12121 + 50136. Suppose -2*s = 3*s - y. Is s a composite number?
False
Let z = -179 - -184. Suppose 8 = -9*a + z*a, 2*a - 2283 = -k. Is k a composite number?
False
Suppose 16*u + 27*u - 628174 = 1285455. Is u a composite number?
True
Let x(a) = 338*a**2 - 3*a - 8. Let z(s) = 1014*s**2 - 9*s - 23. Let g(l) = 17*x(l) - 6*z(l). Let c be g(-1).