Let k = l - c. Is k prime?
True
Let c be ((-10)/(-25)*1)/(3/(-60)). Is ((-254)/c)/((-6)/(-24)) a composite number?
False
Let o = 22614 + -9571. Is o prime?
True
Suppose 0 = -4*q - 5*q + 2988. Let k = -183 + q. Is k a composite number?
False
Let z be ((-3)/(-6))/(6/36). Suppose -15 = z*k, -7*r + 2*r = -k - 620. Is r prime?
False
Suppose 88*y - 65297 = 65*y. Is y a composite number?
True
Suppose -5*n + 41 = -4*a, -2*a + 3*a = 5*n - 29. Suppose -10*z + 6175 = -n*z. Suppose 2*m = -3*m + z. Is m prime?
False
Let n = -18 - -15. Is -1 + 131 - n/1 a prime number?
False
Suppose 0 = -5*s + 8*s - 1005. Suppose -5*w - s = -10*w. Is w a prime number?
True
Suppose 0 = 62*d - 634178 - 986564. Is d composite?
False
Suppose -147154 = -10*n + 9136. Is n a prime number?
True
Let k be ((-30)/8)/(2 + (-35)/16). Suppose -k = 4*y, 200 = b + 2*b - y. Is b a prime number?
False
Let q be -4 - (3 - 1 - -3). Let y(x) = 9*x**2 - 10*x - 16. Is y(q) a prime number?
False
Let h(t) = -5*t - 31 + 2*t - 2*t. Is h(-18) composite?
False
Suppose -772 = -4*l + 1348. Is (42/(-12) - -4)*l prime?
False
Let s(n) = 8*n**2 + n + 1. Let r be s(-1). Let w be r + 0/(-2) - 3. Suppose 0 = 5*f - w*u - 140, -5*u + 110 = 3*f + 2*f. Is f prime?
False
Let r = 92 + -21. Let h = 180 - r. Is h prime?
True
Let d(m) = m**3 - 19*m**2 + 25*m - 20. Let c be d(18). Let l = c - -97. Is l a prime number?
False
Let d = 4 - 0. Let k(v) = -v + 4*v**2 + 0*v**2 + d - v + 9*v. Is k(-9) a prime number?
False
Suppose -14 - 10 = -2*f. Let o be 149/((-2)/f*3). Is ((-1)/1)/(2/o) a prime number?
True
Is 28 + -22 - (-161278 + 3) prime?
True
Let d be 104/7 + (-10)/(-70). Suppose -4*h + 2*i - 2 = 4*i, -d = -3*i. Is h/2 + (-325)/(-2) a prime number?
False
Let n = -18 + 21. Suppose n*l - 299 - 235 = 0. Is l composite?
True
Let i = 690 - 149. Is i a prime number?
True
Let w = 383 + -52. Is w a composite number?
False
Let u be ((-8)/14)/((-8)/56). Suppose -11 = -5*x + u*x. Is x prime?
True
Suppose -3*b + 5*q + 7 = 0, 3*q + 16 = -b + q. Let j = -6 - b. Suppose j = -3*m + 168 + 405. Is m a composite number?
False
Let u(x) = -33*x**2 + 10*x - 16. Let q be u(4). Let l = q - -1945. Is l a prime number?
False
Let s(h) = 50*h**2 - 5*h + 26. Is s(-11) prime?
True
Let c be ((-2)/4)/(2/(-8)). Suppose c*o + 202 = 2*a, 3*o - 132 - 90 = -2*a. Let k = 154 - a. Is k a composite number?
True
Let p(j) = 92*j**2 - 10*j - 18. Let x be p(-5). Suppose -2*z = 2*l - x, l + 0 = -5. Is z a prime number?
True
Suppose 0 = -p - 3*t - 15, -10 = -3*p + 7*p + 2*t. Suppose -4*b = -p + 44. Let m = b - -94. Is m prime?
True
Suppose f - q = -0*f - 4, 2*q - 5 = f. Is 251 + ((-3 - -6) + -3)/f a prime number?
True
Let j(p) = -454*p - 145. Is j(-48) composite?
False
Let l = -1451 + 22184. Is l prime?
False
Let q(v) = 45*v**2 + v - 13. Is q(3) prime?
False
Let v(z) = -771*z + 88. Is v(-5) prime?
True
Suppose 4*o = 34 - 90. Let g be (-4)/o + (-33)/(-7). Suppose -8*i + 609 = -g*i. Is i a prime number?
False
Let b(n) = n + 4. Let h be b(-4). Suppose h*f - 465 = -3*f. Is f prime?
False
Let h(a) = a**3 + 42*a**2 - 19*a - 91. Is h(-22) a composite number?
False
Let q(a) = 35*a**2 - a - 10. Let w be q(-7). Let c = w - 1198. Suppose k + c = 3*k. Is k composite?
False
Let y(n) = n**3 - 6*n**2 + n - 3. Let q be y(6). Let t(j) = 2*j**q - 3*j**3 + j - 15*j**2 + 20*j - 19 + 2*j**3. Is t(14) a prime number?
True
Suppose v - 5*v - 2492 = 0. Let p = 964 + v. Let r = -214 + p. Is r a prime number?
True
Let r = -73520 + 121117. Is r a composite number?
True
Let u(h) = 41*h + 3. Let l be u(-6). Let x = -152 - l. Is x a prime number?
False
Let s = 12 - -3. Let t = -9 + s. Let r(i) = 33*i + 7. Is r(t) composite?
True
Suppose 0 = 10*h - 14009 - 15981. Is h a prime number?
True
Let p(o) = -360*o - 135. Let g(i) = 40*i + 15. Let x(u) = 55*g(u) + 6*p(u). Suppose 4*n + 4*l - 36 = 0, 3*n - 2*l = -7*l + 29. Is x(n) composite?
True
Let l(n) = 3*n - 38. Let r be l(14). Is r + -67*3*-1 a prime number?
False
Let a be (26 + -24)/((-1)/277). Let d(l) = -l**3 - 2*l**2 + 3*l - 1. Let g be d(4). Let i = g - a. Is i a composite number?
True
Suppose 5*r + 3*f - 5444 = 0, -24*r + 5*f = -25*r + 1102. Is r prime?
True
Let v be 3184/10 - 12/(-20). Let m = v + -206. Is m a prime number?
True
Let x(y) = 172*y + 11. Let g(l) = l**2 + l - 18. Let t be g(0). Let r be (t/(-4))/(15/20). Is x(r) composite?
True
Suppose 49*j + 5 = 48*j, -j = 4*b - 19639. Is b prime?
False
Let n = 16 - 13. Suppose 2 = -3*y - 1, n*i - y = 1456. Is i prime?
False
Let w(r) = -75*r**3 - 4*r**2 - 4*r - 3. Let h be w(-2). Suppose -5*t + t - 4*x + 748 = 0, 3*t = 4*x + h. Is t a prime number?
True
Let u be 4/(-1) + (-3 + 2919 - 1). Let f = -518 + u. Is f a prime number?
True
Suppose 2*l + 9623 = s - 4758, -5*l + 14402 = s. Is s a prime number?
True
Suppose -15*u + 2482 = 667. Is u a prime number?
False
Let p(s) be the third derivative of -737*s**7/5040 + s**6/240 + s**5/10 - 9*s**2. Let l(t) be the third derivative of p(t). Is l(-2) composite?
True
Let p(d) = d**3 - d**2 - 7*d + 14. Suppose -5*w - 10 = 5. Let s be 3/(-9)*w - -6. Is p(s) prime?
False
Let y(c) = 7*c**2 + 6*c - 6. Let k be (6 - -1) + (-20 - -20). Is y(k) composite?
False
Let y = -8 + 16. Let f be 2/(-9) + 190/45. Suppose -y*q + 716 = -f*q. Is q prime?
True
Suppose a = 5*a - 4*w - 39048, 5*w = 3*a - 29296. Is a a prime number?
False
Suppose -229394 = -4*u - 18*u. Is u prime?
True
Is 3762 + 6/(-24)*4 composite?
False
Is (-4)/(-22) + 512848/88 - -5 a composite number?
True
Let i = 30 - 37. Let d(z) = -6*z**3 - 6*z**2 - 7*z + 10. Is d(i) a composite number?
False
Suppose -6*q - 7956 = -0*q. Let x = 2692 + q. Is x prime?
False
Is 50577 + 20/(-70)*-14 a composite number?
False
Let o(z) = -z**3 - z - 1. Let a(r) = -6*r**3 + 10*r**2 - 19*r + 8. Let y(x) = -a(x) + 5*o(x). Is y(10) composite?
False
Let j = -880 - -1253. Is j a composite number?
False
Let j(i) = 2*i**2 + 6*i**3 + 9*i + 3 + 3*i**2 - 6*i. Is j(4) prime?
True
Let j = -29 + 120. Is j composite?
True
Let m = 7443 - -22846. Is m composite?
True
Let n(k) = -k. Let a(m) = 83*m - 19. Let w(o) = -a(o) + 3*n(o). Let b = -56 + 48. Is w(b) a prime number?
False
Suppose 5*t - f - 11 = 0, f = -2*t + 6*f + 9. Let y be (-3 + (10 - t))*1. Let m(h) = 6*h**2 - 7. Is m(y) a composite number?
True
Let h = -1224 + 2347. Is h a composite number?
False
Suppose -12*g = -25*g + 83837. Is g prime?
True
Let x(v) be the second derivative of 23*v**4/3 - 5*v**3/3 - v**2/2 - 2*v. Is x(3) a prime number?
True
Suppose -839 = -o + 498. Is o composite?
True
Suppose -3*t + 2167 = -2*i, -3*i - 409 = -t + 325. Is t prime?
True
Let o(j) = -7*j**3 - 3*j**2 - 3*j - 25. Is o(-8) a prime number?
True
Suppose 10*z = 5*z + 1630. Let q = 997 - z. Is q composite?
True
Let m(f) = -2120*f - 83. Is m(-5) prime?
False
Let o = 256 - 467. Let v = 400 + -40. Let w = v + o. Is w a prime number?
True
Let c = 74765 - 50194. Is c composite?
False
Let k(p) = 2660*p**2 + 3*p - 2. Let u be k(2). Is ((-1)/2)/(-2 - (-21282)/u) composite?
False
Suppose 0 = -2*k + 2*t + 12818, -3*k - 29*t = -25*t - 19241. Is k a composite number?
True
Let s(v) = v. Let i(q) = -20*q + 11*q - 14*q + 1. Let o(k) = i(k) + 2*s(k). Is o(-16) composite?
False
Suppose 4834 = 10*c - 6736. Is c a prime number?
False
Let t(z) be the second derivative of z**3/6 + 7*z**2 + 6*z. Let u be t(-14). Suppose -5*c - 2*y + 2885 - 650 = u, 894 = 2*c + y. Is c prime?
False
Suppose 0 = 5*r + 3*i - 1254 - 1174, 0 = r - 2*i - 483. Is r a prime number?
False
Let c be (5/2)/(3/6). Suppose c*r - 9*x + 13*x - 5657 = 0, 3*r - 5*x - 3409 = 0. Is r composite?
True
Suppose -3*a + 2*a + 2 = 0. Suppose -p + 3*l = -146, 451 = p + a*p + 4*l. Is p composite?
False
Let z(x) = 346*x + 14 - 12 + 7. Is z(4) composite?
True
Let n be (0 + -2)*15/6. Suppose 3*g + 887 + 200 = 4*k, -5*k = -5*g - 1365. Is k/(-1)*n/20 a composite number?
False
Suppose -4*h + 10 = -2, 0 = -i + 4*h + 11. Let o = i + -33. Let v = o - -20. Is v prime?
False
Let p = -46 - -50. Suppose 22 = 4*l - 5*m - 11, -5*m = -3*l + 31. Suppose p*v - 161 = -5*i, 0 = -2*i + l*v - 6*v + 62. Is i a prime number?
False
Suppose 12*o - 3*o = 4905. Is o a prime number?
False
Suppose -2*t = -3*u - 8, -5*u + 0*u + 2*t = 8. Suppose u*a = -2*a + 3*s + 1097, 1057 = 2*a + 5*s. Is a composite?
Fals