z = -1484. Is z a composite number?
True
Let o = 17 - 11. Let u be (o/(-4))/((-21)/56). Suppose 0 = -u*t + 375 + 85. Is t composite?
True
Let i(z) = 42*z + 7. Suppose 3*b - 4*h = -2*h - 7, -5*b + 4*h = 15. Suppose j = -b + 7. Is i(j) a prime number?
False
Is (12/(-8))/(-3)*1*6778 prime?
True
Suppose -3*l = -0*l + 2*o + 14, 5*o - 34 = 4*l. Let w be l/(-15) - 73/(-5). Suppose 0 = w*c - 11*c - 812. Is c composite?
True
Let p(w) = -38*w**3 + w**2 - 3. Let i be p(-2). Let z = 0 + i. Is z prime?
False
Let o(l) = -3*l**3 - 13*l**2 - 18*l - 15. Let m(r) = 4*r**3 + 12*r**2 + 19*r + 15. Let a(c) = 2*m(c) + 3*o(c). Is a(-14) prime?
True
Let w(n) = n**2 + 5*n - 9. Let b(z) = -z - 12. Let r be b(-5). Let c be w(r). Suppose x = -c*x + 1506. Is x composite?
False
Let h(x) = -7*x + x**2 - x - 2*x + 12. Let m be h(9). Suppose m*f - 16 = 77. Is f composite?
False
Let j(l) = 26*l**2 + 6*l + 6. Let b be j(-4). Suppose 0*d = -2*d + b. Suppose z + d = 936. Is z a composite number?
True
Let b(f) = 221*f**2 + f + 1. Let q be b(-1). Let x(k) = k**2 - 2*k - 13. Let p be x(4). Is q + 2/p*-5 composite?
False
Let r(w) = 2*w - 22. Let z be ((-44)/(-6))/(4/6). Let d be r(z). Suppose 5*v - 10*v + 395 = d. Is v composite?
False
Let v be 186/(-36) + 5 - (-149378)/12. Suppose 10*o + v = 26*o. Is o prime?
False
Let c be (-1)/(-3) - (-20)/(-6). Let a = 44 + c. Let b = a - -26. Is b composite?
False
Is 27724/174*(-18)/(-4) composite?
True
Let n be 28/8 - (-6)/(-4). Is (n/6)/(5/2715) composite?
False
Let a(h) = 159*h - 9. Let o be a(5). Suppose o = 5*b - 4*y - 289, b = 5*y + 236. Is b prime?
True
Suppose -17*o = -20*o + 3216. Suppose 147 - o = -l - a, -4611 = -5*l + 2*a. Is l prime?
False
Suppose -2*t + 442 = -b - 130, 5*t + 2*b = 1421. Is 1*(7 - 3) + t a prime number?
False
Let h(u) = 119*u**2 - u. Suppose 3*x - 3 = -0. Let z be (-7 - -6) + 2*x. Is h(z) a composite number?
True
Is 29/116 + ((-166315)/(-4))/1 composite?
False
Suppose 0 = -11*w + 7740 + 9211. Is w prime?
False
Let s = -1 - -16. Suppose 0 = 5*t + s, 2*m - 5*t + 0*t = 17. Is (0 + 4 - -155)/m a composite number?
True
Suppose -5*b - 5*r = -27010, 0 = -5*b - 0*b + r + 27040. Is b prime?
True
Let b(l) = 30*l**2 + 1. Suppose -2*q - 2 = -d, 0 = -2*q - q - 4*d - 14. Let m be b(q). Is m*(-2)/((-2)/1) a composite number?
True
Suppose -10*n - 42 = -16*n. Suppose n*i - 5782 = 525. Is i a composite number?
True
Let i(v) = v**3 + 11*v**2 - 12*v. Let m be i(-12). Suppose m = -4*y + 8, -3*b + 4*b + 3*y = 505. Is b composite?
False
Let f(w) = -3*w**3 + 197*w**2 + 108*w + 27. Is f(61) a prime number?
False
Let v(q) = 2*q**2 - 9*q + 27. Let a be v(13). Suppose -3*c + 206 = -289. Let r = a - c. Is r a composite number?
False
Suppose 0 = p - 8 - 3. Is 233/7 + p/((-308)/8) composite?
True
Let u = 4552 - 514. Is (3/6)/(-4 + 16155/u) prime?
True
Suppose 0 = 13*a - 30664 - 5593. Is a composite?
False
Let o = 7542 - -9437. Is o a composite number?
False
Is (-6 - 42/(-6)) + (14278 - -2) prime?
True
Let y be 115/(-9) + (68/18 - 4). Let m(f) = 4*f**2 + 11*f + 8. Is m(y) prime?
True
Suppose 0*o = -4*o + 8. Let k(u) = 284*u + 2. Let v be k(1). Suppose 0*a + o*a - v = 0. Is a prime?
False
Let l(m) = -m**3 - 2*m**2 + 8*m + 9. Let f be l(-4). Suppose 4*y + 5*a - 966 = 0, 5*y = -f*a + 4*a + 1205. Is y composite?
False
Let t(g) = -5*g**2 + 5*g + 6. Let l = 4 + -11. Let o be t(l). Is o/(-8) - (-3)/4 composite?
True
Suppose 4*c - 5599 - 22237 = 0. Is c a prime number?
True
Let o(l) = 40*l**2 - 3*l - 5. Is o(-8) prime?
True
Let l(f) = -9*f**3 + 16*f**2 - 7. Let s(v) = -8*v**3 + 15*v**2 + v - 6. Let r(o) = 4*l(o) - 5*s(o). Is r(5) prime?
False
Let v(u) = u**2 - 7*u + 10. Let h be v(8). Let y be 8/(-2*(-2)/h). Suppose 4*o = -x + 317, -o - x + y + 44 = 0. Is o a prime number?
True
Suppose -2*l = n + 2, 0 = -0*n - 4*n + 4*l + 16. Suppose -4*q = -n*m + q + 149, -2*m = -3*q - 151. Is m prime?
False
Let w(y) = y**3 + 2*y**2 + y + 1419. Let t be w(0). Let j = t - 20. Is j a composite number?
False
Let d(y) = 538*y + 15. Is d(1) a composite number?
True
Let s(o) = o**3 + 46*o**2 - 121*o + 17. Is s(-46) a prime number?
False
Let o be -6 - 0 - 2/(-2). Let g(l) = -2*l**3 - 3*l**2 + 7*l + 10. Let d be g(o). Suppose 3*a - 2*p = 3*p + d, -5*p - 95 = -2*a. Is a a composite number?
True
Let d(r) = 8*r**3 + 21*r**2 - 5*r + 83. Is d(16) composite?
True
Is (8 + 4489)/((-15)/(-3) - 2) prime?
True
Suppose 31*s - 27*s - 39044 = 0. Is s a composite number?
True
Suppose -5*g - 271*a + 31045 = -269*a, 3*g - 4*a = 18627. Is g prime?
False
Suppose -61083 = 15*j - 193278. Is j a prime number?
False
Let z = 5375 + -3816. Is z a composite number?
False
Let y(o) = -24145*o - 144. Is y(-1) composite?
False
Suppose -5*x + 8 + 7 = -5*b, 2*x - 18 = -4*b. Suppose 1330 = -r + b*r. Let p = -651 + r. Is p a prime number?
False
Let m(b) = 127*b + 16. Let f(j) = -381*j - 47. Let d(x) = 3*f(x) + 8*m(x). Is d(-8) a composite number?
True
Let k be 4/(-10) - 12/(-5). Suppose -d + 31 = -k*d. Let q = 144 + d. Is q composite?
False
Let r(o) = -93*o - 29. Is r(-7) a prime number?
False
Suppose -t + 329 + 37 = c, 4*c - 1457 = 3*t. Is c a prime number?
False
Let r = 28766 + -2781. Is r a composite number?
True
Is ((-21)/42)/((-2)/29908) a prime number?
True
Let r = 4145 - 2092. Is r composite?
False
Let u = 20442 - 8884. Is u a prime number?
False
Suppose 0*r + 983 = r. Is r prime?
True
Suppose 3*x - 3956 + 209 = 0. Is x prime?
True
Let r = -337 - -663. Suppose z - r = -z. Is z a prime number?
True
Suppose -2*t = -4*t + 2. Let p(o) = 351*o**2 + 1. Let g be p(t). Suppose 0 = 5*l - 15, 0 = -4*w + 3*l + 787 + g. Is w prime?
False
Let o = -77 - -21. Let s = 103 - o. Is s composite?
True
Let w(h) be the second derivative of 3*h**5/20 + 5*h**4/12 - h**3/2 - 3*h**2/2 - 19*h. Is w(4) a composite number?
False
Suppose -s = -3*p - 23900, 7*p - 4*p = 2*s - 47791. Is s composite?
True
Let o(w) = -w**2 - 8*w - 15. Let b be o(-6). Let x be 1 - (b + 2 + 2). Suppose x = -4*a + 5*a - 133. Is a composite?
True
Is (14/6)/((-17)/(-531777)) composite?
True
Let m(x) = 6*x**2 + 11*x - 2. Let b(r) = 8*r**2 - 2*r - 1. Suppose 4*w + 4 = -0*w. Let h be b(w). Is m(h) a prime number?
False
Let t be 1983 + 7 - (-3 + 0). Let j = 48 + -44. Suppose -5*c + 1676 = r - 808, j*c - 5*r = t. Is c prime?
False
Let q(j) = -109*j + 1. Let d be q(5). Let w = 14 - 31. Let r = w - d. Is r a composite number?
True
Let b(x) = -1166*x + 65. Is b(-4) a composite number?
False
Suppose 2702 = 2*g + 7*w - 3*w, 3*g - 4*w - 4103 = 0. Let n be 2/(-8) + ((-13116)/16 - -6). Let v = n + g. Is v prime?
True
Let u(g) = g**3 - 5*g**2 + 7*g - 4. Let r be u(4). Suppose 36 = 7*f + r. Is (806/4)/(2/f) a prime number?
False
Let q(x) = -49*x + 4. Let d = 42 + -47. Is q(d) prime?
False
Let t(h) = -h + 1. Let i be t(14). Let c be 119/(-13) - 2/i. Is -12*24/c + 3 a prime number?
False
Let y = -63 - -1383. Suppose y + 833 = d. Is d a prime number?
True
Let z be (-7348)/(-5) - 2/(-5). Suppose 0 = 5*o - 2*m - 2*m - 3731, 4*m = -2*o + z. Is o a composite number?
False
Let a(m) = -162*m**3 - 13*m**2 - 13*m + 1. Is a(-1) a composite number?
False
Suppose -4*w + 2820 + 5824 = 0. Is w a prime number?
True
Let w be (-8 - -5) + (1 - -2). Suppose w = 3*o - 603 - 1554. Is o a composite number?
False
Let d(y) = -186*y**3 + 4*y**2 + 4*y + 3. Suppose 0*w + 3*t = 3*w + 6, -8 = 4*w + 2*t. Is d(w) a composite number?
False
Let k(g) = 478*g**2 + 2*g + 1. Let u be k(3). Suppose -4*r + u = -6847. Is r a prime number?
True
Let r(k) be the first derivative of 127*k**5/30 - k**4/24 + 7*k**2/2 - 3. Let p(n) be the second derivative of r(n). Is p(1) a composite number?
True
Let l(n) = 34*n**2 + 21*n + 40. Is l(-9) a composite number?
True
Let w = -1 - -1. Let t = 107 - -504. Suppose w = -5*m + 24 + t. Is m a prime number?
True
Let s = 9 + -28. Let t = s + 15. Is 1/(t/(-1676))*1 composite?
False
Let q(l) = -4*l - 1 + 0*l - 2*l**3 + 0 - 2*l**2 - 6*l**3. Let s be q(-3). Let k = s + 172. Is k a prime number?
False
Let p = -5724 + 10121. Is p a composite number?
False
Let x = 7121 + 29468. Is x prime?
False
Suppose 9*o - 4*o = 2*t - 4611, -2288 = -t - o. Is t composite?
False
Let x(u) = -u**3 + 15*u**2 - u + 19. Let k be x(15). Suppose 0 = 3*r + 3, k*j - 5*r + 6 - 19 = 0. Suppose 50 + 64 = 2*w - 2*q,