-60*k**3 + 3*k**2 - 2*k + 4. Is g(-3) a prime number?
True
Suppose 3*x - 5*d + 0*d - 12 = 0, 3*d = 4*x - 16. Let h(w) = 14*w - 25. Is h(x) composite?
False
Let f(w) = w + 6. Suppose -m - 5 = 2*a, 2*m + a = -4*a - 9. Let y be f(m). Is y/(((-16)/444)/4) prime?
False
Suppose -63 = 25*t - 28*t. Is (-10)/35 - (0 - 52569/t) composite?
False
Let o(d) = -d**2 + 6*d - 4. Let l be o(2). Suppose j = l*z + 315, j + 4*z = -j + 678. Is j composite?
False
Suppose -4*t - 72 = 4*j + 276, -5*j - 4*t = 430. Is (-4)/(-12) - j/6 prime?
False
Is (-2)/8 - 25282/(-8) - -3 a composite number?
False
Let o be 1*(1 - 4)/(-3). Let z be ((-50)/(-10))/(o/97). Suppose -1159 - z = -6*l. Is l composite?
True
Suppose 1218*a = 1204*a + 23618. Is a prime?
False
Suppose 2 = -4*s + 10. Suppose 29 = s*x - 545. Is x composite?
True
Let c be 4/6 - 56/(-24). Suppose 0 = -4*g + c*h + 2*h - 17, -3*h = 5*g + 12. Is 1 - -9 - (6 + g) a prime number?
True
Let y(r) = 2*r**2 - 4*r - 4. Let o be y(3). Suppose -3*t + o*w - 14 = 7, -t - 17 = -4*w. Is 1188/((-20)/t) + -4 prime?
True
Suppose -7764 = -2*q - 2*q. Suppose -6*d + 9*d = q. Is d a prime number?
True
Let r = 71 - 112. Let p = -21 - r. Is ((-16)/p)/(2/(-35)) composite?
True
Suppose 4*v + 62 = 90. Suppose 0 = -v*k + 2439 - 353. Is k prime?
False
Suppose -9*p + 90879 = -9012. Is p a prime number?
False
Suppose 3*i - 16 = -4. Is -6*1082*i/(-24) a prime number?
False
Suppose -a - 5*a = 120. Is -1*8/a*1555 composite?
True
Let y(g) be the first derivative of -39/2*g**4 + 3*g + 3 + 2*g**2 + 1/3*g**3. Is y(-2) a prime number?
False
Let b(q) = -q**3 - 2*q**2 + 14*q - 5. Let y = 34 + -40. Is b(y) a composite number?
True
Suppose -18*v + 31*v = 16237. Is v prime?
True
Let h be (-180)/(-2)*(-204)/5. Let v = h - -6970. Is (-9)/27 - v/(-3) a prime number?
False
Let p(g) = g**3 + g**2 - 14*g + 13. Let z be p(11). Suppose -4*f + 7*f = z. Is f composite?
True
Let i(q) = -q**3 - 3*q**2 + 3. Suppose 0 = -0*z - z - 3. Let x be i(z). Suppose -4*m + m - 434 = -r, -x*m + 1290 = 3*r. Is r a prime number?
True
Let u = -1 - -4. Suppose 3*b - u*p = 6, -4*p - 11 = -0*b - b. Is 1/2*(-406)/b composite?
True
Suppose 0 = 5*v - 12224 - 46671. Suppose v = 7*x - 5686. Is x composite?
True
Is -3 + 2726 + ((-39)/3 - -9) prime?
True
Suppose -4*r + 17635 = b, 3*b = -5*r + 4*r + 4406. Is r a composite number?
False
Let o = 27 + -27. Suppose -8*j + 4*j + 364 = o. Is j prime?
False
Suppose 38*u = 47*u - 84924. Suppose -4*g - 3*l + u = l, -4714 = -2*g - 3*l. Is g a composite number?
True
Suppose -39*t + 132513 = -34758. Is t a composite number?
False
Let k = 173 - -2936. Is k composite?
False
Let v(z) = 16*z**2 + z - 2. Suppose 3*h + 0 = -9. Let o be v(h). Suppose -5*t - 2*n + 21 = -674, t - 3*n - o = 0. Is t a composite number?
False
Let m(s) = 0*s**2 + 3*s**2 + s**2 + 290 - 17*s - 310. Is m(-13) a prime number?
True
Let p(g) = g**3 + 3*g**2 - g + 1. Let y be p(-4). Let o = 17 + y. Let r(i) = 24*i - 1. Is r(o) prime?
False
Let p = -636 + 453. Let o = 400 + p. Is o prime?
False
Let k(i) = 1170*i**2 + 22*i + 107. Is k(-4) a composite number?
True
Let k = 29731 - 20004. Is k prime?
False
Let l(q) = 312*q**2 - 16*q + 129. Is l(7) prime?
False
Let x = -5221 + 15134. Is x a prime number?
False
Let v(o) = 3*o**2 - 2*o - 9. Let i be v(-15). Suppose w = -5 + 1, -4*k + i = 3*w. Is k a composite number?
True
Suppose 0 = 2*o - 8, 2*m + 0*o + 994 = -o. Let w = 390 - m. Is w prime?
False
Let s(o) = -954*o + 325. Is s(-24) composite?
True
Let p(q) = -176*q. Let g be p(-1). Suppose -l + 5*d = g, -d + 666 = 3*l - 7*l. Let y = l - -377. Is y prime?
True
Let u = 13851 + -8212. Is u a composite number?
False
Let a be (-1 - 22)/(((-9)/(-69))/(-3)). Suppose 3*m = 32 + a. Is m composite?
True
Let g(u) = 14*u - 9. Let f be (8/6)/(32/48). Let z be ((-242)/33)/(f/(-3)). Is g(z) composite?
True
Let a(b) = b**3 + 6*b**2 - 2*b - 7. Let k be a(-6). Suppose -2*w + 5*w - 486 = 3*n, w = -k*n + 180. Is w - (3 - (3 + -2)) prime?
True
Let s(j) = j**2 + 15*j + 31. Let m be s(-13). Let d(w) = 67*w**2 - 6*w + 10. Is d(m) a composite number?
True
Let v = 31 + -30. Is (v - -6139) + 6/2 composite?
False
Let i(k) = k**3 + 3*k**2 + 7*k + 29. Is i(10) prime?
True
Let x(n) = 252*n + 181. Is x(7) composite?
True
Suppose 3*c = 7*c - 5928. Is (c + 15)/(1*3) a composite number?
False
Suppose -28*v = -9776 - 43228. Is v a prime number?
False
Suppose 4*s + 0*p - 5*p - 28 = 0, 2*p = -5*s + 2. Suppose -728 + 4518 = s*n. Is n composite?
True
Let m(r) = r**3 + 21*r**2 + 17*r + 81. Is m(-20) a composite number?
True
Suppose -2*x = 3*b - 59, -4*b + 84 = 6*x - 2*x. Suppose -2*s - 480 = s. Let v = b - s. Is v prime?
False
Let a(q) be the first derivative of 2*q**2 - 5 + 10*q**2 - 4 + 4 + 5*q. Is a(15) prime?
False
Let y = 4 + -133. Let i be (1 + 3)*y/(-6). Let j = i - 21. Is j composite?
True
Let n(m) = -m**3 + 7*m**2 - 9*m - 5. Let t be n(5). Suppose 2*s = -t*s + 4. Suppose 0 = -5*l - 2*p + 571, -l + 0*p = s*p - 111. Is l prime?
False
Suppose -3*z - 2*z + 25 = 0. Suppose d - z*d + 20 = 0. Let s(b) = 7*b**2 - 3*b + 1. Is s(d) composite?
True
Suppose -2*y = 5*t - 6066 - 4558, 2*t = -5*y + 26581. Suppose -c + 14*c = y. Is c composite?
False
Let p = -27 + 29. Is 5411/p - (-1 - (-18)/12) composite?
True
Let r = 714 - -3148. Is r a composite number?
True
Let a(h) = h**3 - 6*h**2 + 11*h - 8. Let p be a(4). Suppose -5*c = -10*c + 5*j + 6005, p*c + 4*j - 4788 = 0. Is c a prime number?
False
Suppose 3*h + 2*h = 255. Suppose v = 3*v - 4. Suppose -11 = -v*o + h. Is o composite?
False
Let w(q) = 6244*q**2 - 6*q + 5. Is w(1) prime?
False
Suppose 3*a - 10 = -4. Suppose -6*z + 3656 = a*z. Is z prime?
True
Is 66090 + (-2)/(24/84) a prime number?
True
Suppose -2*g = -4*g + 26. Let l = g + -13. Suppose -5*h - 57 + 542 = l. Is h a prime number?
True
Let d(x) = -2*x**3 - 24*x**2 + 34*x + 137. Is d(-27) composite?
False
Let b(r) = 3*r**2 + 9*r - 6. Let z be b(11). Let x = z + 1201. Is x a composite number?
False
Let s(c) = 8*c + 3 + 23 - 6*c. Is s(6) a composite number?
True
Let m be (-4 + 2)/(28/14126). Let c = m - -277. Let t = c - -1485. Is t a prime number?
False
Let v(g) be the first derivative of 1 + 5/2*g**2 + g**3 + g. Is v(-3) prime?
True
Let s(y) = -13*y**3 - 10*y**2 + 21*y + 7. Is s(-10) prime?
False
Suppose -38*l = -59*l + 692349. Is l prime?
True
Let a = -785 - -8920. Is a prime?
False
Let n(u) = -2*u**3 + 5*u**2 - u + 3. Is n(-7) prime?
True
Let c = 89 + -82. Suppose -64 = -c*f + 6313. Is f prime?
True
Let b be -3 - (-12*1)/4. Suppose b = l - i - 371, -3*l - 4*i + 754 = -l. Is l a prime number?
True
Suppose -2*n + 2*w = -4*n + 4, -4*w = n + 7. Suppose t = n*k - 1929, 5*t - 90 - 301 = -k. Is k prime?
False
Suppose -63621 = -s - 4*i, -4*i = 2 - 18. Is s prime?
False
Let k = -8 + 9. Suppose 14 = 3*f - k. Suppose 3*l + 252 = f*l + 3*i, -5*l - i = -643. Is l composite?
True
Let k(r) = 35*r + 13. Let l = 31 - 27. Let v be 11/22 - (-30)/l. Is k(v) composite?
False
Let s be ((-8625)/4)/((-1)/4). Let m = -4682 + s. Is m a prime number?
True
Suppose 4*w - w = 6. Let i(a) = -9*a**w + 4*a + a**3 + 4*a + 7 - 6*a. Is i(10) a prime number?
True
Let a(u) = 6*u**3 + 2*u**2 - 8*u + 6. Let d be a(-8). Let q = -1819 - d. Is q a composite number?
True
Let l(u) = -15*u + 3*u**2 + 30*u - 12*u - 9 + 4*u**3. Suppose 3*q = n + 4*q, -5*n + 16 = q. Is l(n) composite?
False
Suppose 0 = -14*h + 20*h - 10674. Is h prime?
False
Suppose j + 3*i = 4826, 2*j - 5*j = -i - 14508. Is j prime?
False
Let f(k) = -1617*k + 8. Let d be f(1). Let t = d + 3090. Is t composite?
False
Let m = -6302 - -17613. Is m a prime number?
True
Let t(s) be the second derivative of -s**5/20 - s**4/12 - s**3 - 7*s**2/2 - 17*s. Is t(-5) a composite number?
True
Suppose -4*d = -3*b - 24, -5*d - 1 = 4*b - 0. Suppose 1136 = 5*r + 5*a + 111, r = -d*a + 209. Is r a composite number?
True
Let w = 21 - -6. Suppose -w - 43 = -7*f. Suppose -564 = 6*q - f*q. Is q composite?
True
Let g be 3917/7 - (-16)/(-28). Suppose -5196 - g = -5*c. Is c a prime number?
True
Let s(h) = -1 - 10*h**2 + 13*h**2 - 1. Let w be s(-7). Let m = 254 - w. Is m composite?
False
Suppose 2*y - 2 = 3*h, -5*y = -4*h - 3*y - 2. Suppose h = -4*u - 371 + 1531. Suppose -5*l = -5, -5*o - l + 46 + u = 0. Is o a composite number?
False
Let r(z) = 