347*l**2 + 14*l + 12. Is a(-3) composite?
True
Let c(w) be the first derivative of 99*w**2/2 + 12*w - 6. Is c(11) a composite number?
True
Suppose 17*w + 5*w = 59378. Is w a composite number?
False
Let i(z) = -2 - 9 - 56*z**2 - 4*z - 3*z + 65*z**2 + 2. Suppose -5*w = 15, -u + 11 = u + 3*w. Is i(u) a composite number?
False
Let o(w) = -w**3 - w**2 + w. Let c(l) = 3*l**3 + 2*l**2 - 3*l - 10. Let k(u) = c(u) + 2*o(u). Is k(3) prime?
False
Let d(p) = 52*p**3 - 15*p**2 + 7*p - 63. Is d(7) a prime number?
False
Let y = -42 + 45. Suppose -5 = -g, 2*d + 330 = y*d - g. Is d prime?
False
Is 76/57 - (-67126)/6 composite?
True
Let l(w) = 4*w**3 - 4*w**2 + 5*w - 15. Let t = 20 - 10. Is l(t) a composite number?
True
Let b = 48 - -86. Suppose b = 5*r - 4*r. Let p = -81 + r. Is p a prime number?
True
Let z(f) be the first derivative of 3*f**3 + 5*f**2/2 + 9*f + 3. Is z(-5) a prime number?
False
Let r(j) = j**2 - 2*j**2 - 1 + 2*j**2. Let c be r(-2). Suppose d = f + 472, -f = -c*d + 4*f + 1422. Is d a composite number?
True
Suppose 2*w - g - 14889 = 0, w - 3*g + 2033 - 9475 = 0. Is w composite?
True
Let h(r) = -5*r**3 - r**2 - r - 2. Let i be h(-2). Suppose -3*j = -0*j + i. Is 1/3 - 116/j a prime number?
False
Let h(y) = 152*y**2 + 21*y + 47. Is h(-2) a composite number?
False
Let q(z) = 2*z - 4. Let m be q(4). Suppose -m*c + 3935 = c. Is c composite?
False
Let f = 20 + -16. Suppose 5*b = 4*b + f. Is b/(-10) + (-2241)/(-15) a composite number?
False
Suppose -l = -3*l - 2986. Let d = 733 + l. Is d/(-6) + (-3)/(-9) composite?
False
Let o(w) = 148*w**2 + 32*w - 85. Is o(22) prime?
True
Suppose 4*x = 5*b + 127887, 5*x - 9*x - 5*b + 127897 = 0. Is x a prime number?
True
Let r = -1153 - -2846. Is r a prime number?
True
Let n(z) = -709*z - 2. Let t be (-3 - -4 - 2)/1. Is n(t) a prime number?
False
Let z = -4615 + 8306. Is z a composite number?
False
Suppose 0 = -3*d - 3*n + 72441, 13*n - 8*n = 20. Is d a composite number?
True
Suppose 0*p + 39 = -4*p - 5*h, -h - 9 = p. Let n(k) be the third derivative of k**5/15 - k**4/4 + 7*k**3/6 - 13*k**2. Is n(p) prime?
False
Let f be 12 - (-2 - -5)/(-3). Suppose 4*b = 5*k - 2*k - 16, -5*b - f = -2*k. Suppose 114 = -2*s + k*s. Is s prime?
False
Is (618/3)/(-1*4/(-26)) prime?
False
Suppose 10*d = 21454 + 15976. Is d a composite number?
True
Suppose 33361 + 2808 = k. Is k a prime number?
False
Let l = -631 - -367. Let b = 455 + l. Is b a composite number?
False
Suppose 2*s + 14 = -4*m - 4, -2*s = -3*m + 4. Let t = s - -8. Let j(g) = 103*g - 4. Is j(t) prime?
False
Suppose 5*m + 42070 + 84205 = 5*a, 0 = -5*a + m + 126267. Is a a prime number?
True
Suppose 452*w = 455*w - 17679. Is w composite?
True
Let s(r) = -13*r - 14. Let o be s(-15). Suppose 5*h + o = 4*v - 307, 3*v = -h + 347. Suppose 0 = -5*b + 4*g + v, -13 = -4*b + g + 85. Is b a composite number?
True
Suppose -12 = -27*a + 96. Let o(h) be the second derivative of 3*h**5/20 - h**4/3 - h**2/2 + h. Is o(a) a prime number?
True
Suppose 0 = 61*a - 58*a - 15, -b = 3*a - 22784. Is b a prime number?
True
Is (-2)/4*486390/(-93) prime?
False
Let p be (3 - -24)/3 - 4. Let d be (4/p)/(11/(-110)). Let o(l) = -l**3 - 7*l**2 + 5*l - 5. Is o(d) a composite number?
False
Let g be (-4*(-15)/6)/2. Let o(f) = 18*f**2 + f - 13. Let q be o(7). Suppose 4*m - 2*s = q, 0 = -5*m + g*s - 2*s + 1097. Is m a prime number?
False
Let u(c) be the third derivative of -c**5/60 + c**4/24 + 299*c**3/6 + 4*c**2. Suppose 3*p - 3 = 0, -v - v + 4 = 4*p. Is u(v) a prime number?
False
Let u(i) = -i**2 - 3*i + 4. Let x be u(1). Is (-1)/((-1295)/647 + (2 - x)) a prime number?
True
Let q(w) = w**3 + 2*w**2 - 5*w + 11. Let l be q(-5). Let x be l/(-15) - 6/(-15). Suppose x*z - 235 = -4*g, z + 3*z - 312 = -4*g. Is z a composite number?
True
Suppose -37740 = -20*i - 8080. Is i a prime number?
True
Suppose 2*m - m - 21976 = 5*x, -4*x - 17564 = -5*m. Let c = -2833 - x. Is c a composite number?
True
Suppose -3*v + 0*v + 12 = 0. Suppose v*i = 6 + 10. Suppose 4*k = i*q - 580, 86 = 2*q - 3*k - 200. Is q prime?
True
Let i(x) = -3*x**3 - 3*x**2 + 9*x + 13. Is i(-4) composite?
True
Let l(h) = 31*h**3 + 2*h - 3. Let o be l(2). Suppose -2*i + o = -1393. Is i composite?
False
Suppose 0 = -r + 4*d - d - 3, -r = -4*d + 4. Let p be 4 - 4 - (1 + r). Is (-304)/(-16) - (-3 - p) a composite number?
True
Let b = 2 - -2. Let n = 6 - b. Suppose n*o = -2*z + 232, -o - 584 = -5*z - 4*o. Is z a composite number?
True
Suppose -5*k + 4*k = -5526. Is 8/(-44) - k/(-22) composite?
False
Suppose -g + 3*v + 3 = 0, -2*g + 1 = -5*v - 1. Let p = -50 + 96. Let i = p + g. Is i a prime number?
True
Let x be 0 - 0 - (6 + -6). Let t be (-3)/(-18)*3*x. Suppose 2*w - 66 = -t*w. Is w a composite number?
True
Is 1206 - (-1 + -4 - 0) prime?
False
Let v(w) = 75*w**2 - 27*w + 11. Is v(-15) prime?
True
Let h(u) = -257*u**2. Let a be h(1). Let q = a + 468. Is q a prime number?
True
Suppose 0 = -32*o + 27*o + 20, 25898 = 2*t - 2*o. Is t prime?
True
Suppose 5 = -p, 13*t + 4*p - 3624 = 9*t. Is t prime?
True
Let d(v) be the first derivative of 13*v**4 + v**2/2 - 3. Let j = 0 + 1. Is d(j) composite?
False
Suppose 4*x - 3*q = 6, -2*x - 2*q + 7 = -3. Let o be -4*((-9)/(-6))/x. Let g(a) = -206*a**3 + 2*a**2 + 1. Is g(o) prime?
True
Let z = 5120 + -3066. Suppose -z + 534 = 4*c. Let d = -223 - c. Is d composite?
False
Suppose 0 = 2*w + d + d - 2726, 4*d + 6851 = 5*w. Is w a composite number?
False
Suppose -274199 = -65*z + 322631. Is z prime?
False
Let w(n) = n - 11. Let t be w(13). Suppose -13 + 5 = t*o. Is 3/((-6)/4) - o composite?
False
Let k be ((-382)/(-4))/(-1 - (-15)/20). Let u = 1139 + k. Is u prime?
True
Let a = 42845 + -27166. Is a a composite number?
False
Let j = 3170 - 1826. Suppose -3*w = -2*g - 2115, -5*w = -2*g - j - 2177. Suppose -q - w = -t - 2*t, 942 = 4*t + q. Is t a prime number?
False
Let y(c) = 132*c**2 + c - 19. Is y(12) composite?
False
Let g = 18549 - 3048. Is g a composite number?
True
Let k = -364 + 634. Let f = -85 + k. Is f a prime number?
False
Let t be (52/(-10))/(16/(-40)). Let g = t - 7. Is g prime?
False
Let b(h) = 530*h + 428. Is b(31) a prime number?
False
Let o(h) = 2350*h**2 + 2*h - 2. Is o(4) composite?
True
Let m(a) = a**3 + 9*a**2 - 13*a - 6. Let w be m(-10). Let h = w - 22. Suppose -2*k - h*f + 244 = -0*k, -4*f = -k + 122. Is k a composite number?
True
Is ((-22592 - -7)*18/30)/(-1) composite?
True
Let c(s) = 3421*s - 32. Is c(1) a prime number?
True
Suppose 10*q + 13839 = 3*q. Let p = 4030 + q. Is p a composite number?
False
Let b be (-192)/9 - (-4)/12. Let o be (-23)/7 - 6/b. Is 474/3 - 9/o prime?
False
Let l(r) = 2*r**2 + 3*r + 2405. Let y be l(0). Suppose -6*m = -11*m + y. Is m a prime number?
False
Let i = -148 + 3047. Is i a prime number?
False
Suppose 0 = m - 2*m + 3255. Is m/75 + 2/(-5) prime?
True
Let q be (-1)/(-3) + (-82206)/54. Let b = -479 - q. Is b a prime number?
False
Let m(c) = -c**2 - c. Let z(v) = -1 + 11*v**2 + 11*v**2 - 3*v - 11 + 0. Let k(d) = -6*m(d) + z(d). Is k(-5) a prime number?
True
Let y = -113 + 117. Is 3/(-12) + (-1522)/(-8) + y composite?
True
Suppose -286*n = -298*n + 329748. Is n composite?
False
Let p = 24 - 15. Let a = -9 + p. Suppose 4*j - 2*v + 4*v - 418 = a, 3*v + 539 = 5*j. Is j a composite number?
True
Suppose -3*l = -l - 12. Is 21/63 + 11560/l a composite number?
True
Suppose -11 = l - 13. Suppose -3*t + 602 = -l*t. Is (t/(-70))/((-1)/5) a prime number?
True
Let q(o) = -2*o**3 - o**2 - 3*o - 2. Let a be q(-1). Is 651 - (-2 - 0/a) composite?
False
Let r = 11321 + 26426. Is r prime?
True
Let m = 105 + -100. Is -1059*((-25)/15)/m a composite number?
False
Let n(q) = -49*q**3 + 20*q**2 + 315*q**3 - 2 - 17*q**2. Is n(1) prime?
False
Suppose 28*g - 184858 = -6*g. Is g a prime number?
True
Is (-10 - 89285/(-10))*2 composite?
False
Let f be (-2655)/6*((-3)/1 - -1). Suppose 5*s - f = 2*s. Is s a prime number?
False
Let w(h) = -500*h - 21. Let p be w(-3). Suppose 5515 = 4*r + p. Is r a composite number?
False
Suppose -14115 = -18*b + 15*b. Is b/9 + (1 - 7/9) a prime number?
True
Suppose -a = -5*b + 1, 5*a - 5*b = -3 + 18. Suppose -a*v + 3*v - 208 = -2*h, 3*v = 2*h - 212. Is h a prime number?
True
Let u be (6 - (2 - -1)) + 17. Suppose 0 = 5*r + u, 2*r = -4*b + b + 418. Suppose k - 1 = b. Is k prime?
False