- 12/(-8). Let r be 60/50*(-3715)/k. Let z = 3150 - r. Is z prime?
False
Let v(k) be the third derivative of k**7/1260 - k**6/240 - k**5/30 - 2*k**4/3 - 15*k**2. Let b(o) be the second derivative of v(o). Is b(5) composite?
False
Let g = -8728 - -96621. Is g a composite number?
True
Suppose -6808 = -26*v + 106734. Is v prime?
False
Suppose v + 3*a = -2*a + 19, v - 5*a = -21. Let s be (4 + -9 - -11) + (-4)/12*21. Is (v - 2*-195)/(s/(-1)) a composite number?
False
Let k = 400 + 88. Let d = -319 + k. Suppose -451 - d = -4*l. Is l a prime number?
False
Let m(f) = 2*f**2 + 2*f + 16. Let w(k) = 4*k**2 + 3*k + 31. Let p(u) = -11*m(u) + 6*w(u). Let t be p(4). Let s = t - -11. Is s a prime number?
True
Let q(w) = -13406*w + 729. Is q(-3) a prime number?
False
Let d = 28 - 21. Suppose 7 = -7*o - d. Is 441/(-6)*o/3 a prime number?
False
Suppose 0 = 2*p - 8. Let c(y) = -131*y + 8. Let o(s) = -1. Let i(x) = p*o(x) + c(x). Is i(-3) a prime number?
True
Let m be (1/(-2))/((-8)/16). Let x be ((-44)/33)/(m/(-9)). Suppose -11*w - 118 = -x*w. Is w composite?
True
Let y = 35 - 32. Suppose q - 260 = l, y*q + 2*l = q + 516. Is q a composite number?
True
Let h(z) = 6*z + 322. Let b be h(-53). Let y(a) = -268*a**2 + 10*a + 13. Let n(g) = -179*g**2 + 7*g + 9. Let w(u) = -8*n(u) + 5*y(u). Is w(b) a prime number?
False
Let r be (3/(-8))/((-2)/16). Suppose 0 = -r*i + 225 + 1380. Is i composite?
True
Suppose -5*w - 3*n = -31, -2*w + 3*w = n + 3. Is 0 + w - (-17352)/6 composite?
False
Let a(h) = -11*h - 19. Let l be a(-5). Suppose 8*f - 28 = -l. Is (2/f)/(30/(-14655)) a prime number?
True
Let f = -78 - -83. Suppose -1378 = f*r + 1252. Let s = 2037 + r. Is s composite?
False
Let f = 1377 - 2068. Let k = f + 4724. Is k a prime number?
False
Let x(h) = 3*h**3 + 29*h - 2604 - 28*h**2 + 4*h**2 + 2557. Is x(18) a composite number?
True
Let u(l) = 469*l**2 + 9*l - 327. Is u(-25) a prime number?
True
Suppose -21*v + 31*v = 210610. Suppose 18*d - v = -8227. Is d composite?
True
Is (-4458)/3715 - 68761/(-5) a composite number?
False
Let m(b) = -18*b**3 - 19*b**2 + 76*b + 883. Is m(-16) prime?
True
Let a be (-8)/24 + 9325/3. Suppose -3*g - 2973 = a. Let h = g + 3720. Is h a prime number?
True
Let y(b) = 3432*b**3 + 4*b**2 + 34*b - 123. Is y(3) a composite number?
True
Suppose 26 = 3*y + 2*i, -3*i = -3*y - i + 22. Suppose 9*c - y = 5*c. Suppose -512 = -c*j + n, 0*n - 1032 = -4*j - 2*n. Is j prime?
True
Suppose 80*c - 655868 = -4*p + 77*c, -163941 = -p - 4*c. Is p composite?
False
Suppose y + 12 = -0*y + 4*i, 3*y - 14 = 2*i. Suppose 4*c - 2*w = -y, 2*c + 3*w - 12 = 6*c. Suppose c = -4*m + 2790 + 2654. Is m composite?
False
Suppose 0*x + 9*u = x - 312, 0 = x - u - 344. Let j be 388/(-6) + 2/(-6). Let z = x - j. Is z a composite number?
True
Suppose 9*z + 18 = 3*z. Let r(g) = -356*g - 92. Let n be r(-6). Let d = n - z. Is d prime?
False
Suppose 0*j = -2*j - 2*q - 8, -2*q + 2 = -3*j. Is (j/(-1 - -7))/(31/(-253053)) prime?
False
Let m(o) = 33*o**2 + 2*o - 28. Suppose 3 = 3*u, -5*h + 4*u = -0*h + 59. Is m(h) composite?
False
Suppose 20 = -2*v - 5*m, 0 = -3*v - 0*v - 5*m - 20. Suppose -3*a = -u - 0*u + 22888, v = 5*u + 5*a - 114500. Is u prime?
False
Suppose -11 = u - 5*u + p, 3*p = -4*u + 31. Let o(k) = k**2 - 3*k - 1. Let w be o(u). Is 6/(4*(w/794)/3) a prime number?
False
Let h be (12 - 21)/(1/(-1 + 0)). Suppose 1 - 19 = h*l. Is 32572/4 + 4/l prime?
False
Let t(g) = 241*g**3 - 2*g**2 + 28*g - 128. Is t(11) a composite number?
True
Let s = 529 + -539. Let n(v) be the first derivative of v**4/4 + 10*v**3/3 - 3*v**2/2 - 15*v + 1. Is n(s) composite?
True
Let v(w) = 4*w + 2. Let i be v(-3). Let t(j) = -11*j**2 - 18*j**2 - 19*j**2 - 3*j**3 + 55*j**2 + 21 - j - 20*j**2. Is t(i) composite?
True
Suppose -2508628 = -45*i + 831227. Is i a prime number?
True
Suppose -32*a - 29 = -33*a. Suppose 0 = -3*j - x + 76 - 4, -j = 2*x - a. Let d = j - -56. Is d a prime number?
True
Let k(q) = -20*q**3 - q**2 - 2*q - 1. Suppose -16*i + 21*i = 10. Let x be k(i). Let a = x + 390. Is a prime?
False
Is 20/(-35) - (-5695026)/14 a composite number?
True
Let t(j) = -3*j**3 - 37*j**2 - 155*j - 1042. Is t(-69) a prime number?
False
Let j be 19 - (-7 + 5)*2/(-4). Let m be (-1 - 0) + -12 + j. Suppose -4*p = 5*i - 3*p - 15541, m*p + 9347 = 3*i. Is i a prime number?
True
Is 294564/(34 + -22) + 12 a composite number?
True
Let n(z) = -3*z**3 - 27*z**2 - 128*z - 183. Is n(-37) composite?
False
Let r(g) = -31*g**3 + 7*g - 15. Let v be r(-5). Suppose -b = -v - 26222. Is b a prime number?
True
Suppose 2*n - 14 = -5*n. Suppose 0 = 3*o + n*h - 160, h = 2*o + 2*o - 228. Is 2 + o/(-30) - 28839/(-45) prime?
True
Suppose -14*c - 3323974 = -52*c. Is c a prime number?
True
Suppose 3 = v + 5*f, -4*f = f + 5. Suppose -v*p + 6683 + 2525 = 0. Is p prime?
True
Suppose -7*b - 5*z = -6*b - 14, 0 = -5*b + 4*z + 12. Suppose 0 = 2*h - 2*u - 772, b*h - 4*u + 772 = 6*h. Is h a prime number?
False
Let q(u) be the third derivative of u**5/10 - u**4/24 - u**3/6 + 12*u**2. Let d be q(-8). Let a = -144 + d. Is a prime?
False
Suppose 167007 = 244*s - 121*s - 120*s. Is s prime?
False
Suppose 4*p = -2*j - 3*j + 50, 5*j - 50 = -5*p. Let r be (-4)/j - (-12576)/(-60). Let k = r - -401. Is k prime?
True
Let r(d) = d**3 + d. Suppose -4*h - 8 = -3*h + 3*m, -h = 4*m + 12. Let y(l) = 5*l**3 + 2*l**2 + 4*l - 293. Let f(s) = h*r(s) - y(s). Is f(0) a prime number?
True
Let q(x) = -x + 4. Let o be q(-6). Let u = 1951 - -203. Suppose o*m = 4*m + u. Is m a prime number?
True
Suppose 19*k - 1571170 = -15*k + 24*k. Is k composite?
True
Suppose -4*h + 11241 - 3271 = 2*l, l - 4000 = 3*h. Is l a prime number?
False
Let x(b) be the first derivative of 7403*b**3/3 + 2*b - 89. Is x(1) a prime number?
False
Let b(x) = -10*x - 39. Let c(i) = 7*i + 26. Let v(a) = -5*b(a) - 7*c(a). Let g be v(-9). Is (858 - 2) + (g - (-4 + 11)) a prime number?
True
Let h = 257322 - 140455. Is h prime?
True
Let u(w) = 290*w - 1887. Is u(35) a composite number?
False
Let x(n) = -n - 15. Let q be x(-19). Is 772/q + (-6)/(-2 - -5) a composite number?
False
Let f = 20 + -15. Suppose -3*j - 5*m = 19 - f, 0 = 2*j + m. Suppose -2160 = -3*n + 5*v - 2*v, j*v = -5*n + 3593. Is n prime?
True
Suppose -5*c - 650 = -4*q, -3*q - c = -4*q + 163. Suppose -152*r + q*r - 85787 = 0. Is r composite?
False
Let w be (-950 - 1)/(4 + (-138)/36). Let y = w + 9689. Is y a composite number?
True
Let z(p) = 3*p**3 + 27 - p**3 - 8 + 3*p**2 + 4. Let l be z(6). Is (3 + -4)/((-1)/l) a composite number?
False
Let y(l) = l**2 + l + 4. Let h be y(0). Suppose 633 = h*b - 1331. Is b prime?
True
Let d = 18 + -11. Let g(a) = 2*a**2 + 4*a - a + 1 + d*a - 24. Is g(-12) composite?
True
Let c(o) = -12*o**2 - 12*o + 21. Let h(v) = -12*v**2 - 12*v + 19. Let a(p) = -3*c(p) + 2*h(p). Is a(11) a composite number?
False
Let z = 31443 - 18213. Let h = 22717 - z. Is h prime?
False
Let f be -1 - 0 - ((4 - -1) + -9). Let l(w) = 204*w**2 - 8*w + 27. Is l(f) composite?
True
Let d be 760*2*(-11)/(-2). Suppose -l - d = -4*u - u, u + 4*l = 1651. Is u prime?
False
Suppose -y - 1532 = -3*a, 0 = -5*y + 2*a + a - 7708. Let j be -3*y/(-36)*3. Let k = 1013 - j. Is k a prime number?
True
Let h be -12*1*(-1)/(-2). Is 8/16*5822 - h composite?
False
Let a = 69 + -64. Suppose -5*d - 2*w = -17, 0 = a*w - 11 + 6. Suppose -d*j + 630 + 15261 = 0. Is j a composite number?
False
Suppose -23986 = -9*z + 12788. Suppose -2*r + z + 2723 = 5*k, 0 = 3*r - 4*k - 10225. Is r a prime number?
True
Let z = 28 + -20. Let a be 400 + (1/(-2))/((-2)/z). Suppose -a = -5*q + 653. Is q a composite number?
False
Suppose -22 - 418 = -q. Suppose 10*r = 4470 - 1500. Let d = q - r. Is d prime?
False
Let r be (-4)/34 - (-6768)/306. Suppose 6143 = -21*c + r*c. Is c composite?
False
Suppose 4*n - 1094 = -2*q, -q + 5*n - 31 = -599. Is q prime?
False
Let w be -8*119/(-84) + (-4)/(-6). Is ((-8)/(-4))/(w/852) a prime number?
False
Let a(u) = 2*u**2 - 3*u - 48. Let p(t) = 2*t - 3. Suppose -2 + 12 = -2*m. Let z be p(m). Is a(z) composite?
True
Let q(k) = 2*k**3 + 56*k**2 - 58*k - 22. Let h be q(-29). Let f(u) = -20*u + 15. Let a(t) = -59*t + 44. Let i(o) = 6*a(o) - 17*f(o). Is i(h) composite?
False
Let h(g) = 62*g - 21. Let b = 14 + -20. Let w(q) = -31*q + 11. Let f(s) = b*h(s) - 11*w(s). Is f(-6) a p