1/(-6) composite?
False
Let i(v) = v**2 + 3*v + 2. Let w be i(-3). Suppose a + 132 = 3*a + w*o, 0 = -2*o. Let t = -47 + a. Is t composite?
False
Let f = -615 + 872. Is f composite?
False
Let v be (-2119)/(-13) + 4/1. Suppose 0*a + 24 = 4*z + 4*a, -2*a = -6. Suppose -v = -z*w + 298. Is w a composite number?
True
Let u(m) = -2*m**3 - 5*m**2 + 7*m + 4. Let l be u(-5). Suppose 0*k + 17 = 5*s + k, -s + 7 = -k. Suppose -s*b + l = -142. Is b composite?
False
Let z(d) = -12 - 4*d**2 + 10 + 3*d + 6*d**3 + 5*d**2 + 0*d**2. Is z(3) prime?
False
Is ((-35)/105)/((-2)/56418) prime?
True
Let a(k) = k**2 + 10*k - 43. Let d be a(-13). Let i be -3*(-6)/((-1)/(-1)). Is ((-5028)/i)/(d/6) composite?
False
Suppose -t + 16 = -4*h + 3*t, -4*h - 21 = -5*t. Is 4 - (h + -130 + 2) composite?
False
Let m(r) = -582*r + 68. Let n be m(-9). Suppose 57*c - 59*c = -n. Is c a prime number?
False
Let d(j) = -417*j**3 + j**2 + 4*j + 2. Let i be d(4). Let x be i/(-8) - 4/(-16). Is ((-2)/4)/((-14)/x) a prime number?
False
Let r(c) = -c**3 - 15*c**2 - 9*c - 8. Suppose -2*t - 1 = -3. Let f = t + -16. Is r(f) a prime number?
True
Let q(h) = 608*h**3 - 5*h**2 + 18*h - 96. Is q(5) composite?
False
Let m = 43248 + -24351. Is m a composite number?
True
Let c be 5/(-2)*(-2 - 0). Let t be 0/((-33)/22*4/6). Suppose 0 = i + r - 179, 0 = c*i + r - t*r - 887. Is i composite?
True
Let n be (-12)/(-20) + 16344/10. Suppose i = 6*i - n. Is i a composite number?
True
Let u(z) = 873*z**3 + 5*z**2 - 5*z + 5. Is u(2) composite?
True
Suppose 277 = -3*o + 1078. Suppose 3*w - 3 = 2*w. Suppose -o = w*a - 6*a. Is a a composite number?
False
Suppose 28*f = 44*f - 456016. Is f composite?
True
Is 235080/50 + (-18)/30 prime?
False
Suppose -6*j - 2*j + 36968 = 0. Let x = -2568 + j. Is x composite?
False
Let v(x) = 25*x**2 + 1. Suppose 0 = -0*h + 3*h + 3*o - 18, 2*h - 9 = -5*o. Let q be (6 - h)*(-1 + -2). Is v(q) composite?
True
Suppose -29196 = -3*g + 3*l, -128*g + 126*g + 19469 = 3*l. Is g a composite number?
False
Let z = -20 - -17. Let y(u) be the third derivative of -3*u**6/40 - u**5/20 - u**4/24 + 2*u**3/3 + u**2. Is y(z) prime?
True
Let a(n) = 4*n**3 + 4*n**2 + 3*n + 2. Let c be a(-2). Let i = c + 25. Let y(b) = 11*b**2 - 6*b + 4. Is y(i) a prime number?
False
Is -6*(7 + (-66272)/24) composite?
True
Let l(t) be the second derivative of -t**8/6720 - t**7/2520 + t**6/720 - 7*t**5/120 + t**4/6 - t. Let z(m) be the third derivative of l(m). Is z(-6) prime?
True
Let j(u) = 5*u. Let l be j(1). Suppose -4*f - y + 776 = y, l*y - 776 = -4*f. Is f a composite number?
True
Let g(a) = -a**2 - 11*a + 10. Let m be g(-11). Suppose 2*p + 560 = 5608. Is p/m*(-65)/(-26) composite?
False
Let l = -28 + 20. Let d be 12*1*(-14)/l. Let r = d + 26. Is r a prime number?
True
Let v(m) = -10*m**3 + 2*m**2 - m + 4. Let n be v(-3). Suppose -9361 + n = -6*j. Is j a prime number?
True
Let c = 3241 - 1108. Suppose -2*d = -c - 1177. Is d a prime number?
False
Let p(w) = 59*w**2 + 301*w + 15. Is p(14) prime?
False
Suppose -m + 14 = -5*v, 2*m + 4 = -5*v + 2. Suppose 5*k = -m*i - 4, 4*k + i - 2*i = -20. Is 214 + 6/k*2 composite?
False
Let c(p) = 5*p**3 + 13*p**2 - 29*p + 9. Is c(14) a prime number?
False
Let i = -2447 + 5104. Is i composite?
False
Suppose 0 = 5*o - 0*a - 2*a - 5076, -o = -3*a - 1010. Let j = o - 597. Is j prime?
True
Let r be 6/(-33)*1 - (-136)/22. Suppose -58 = 5*u - r*u. Is u composite?
True
Let c be 327/(-4)*(15 - 7). Let l = -133 - c. Is l a composite number?
False
Suppose 0 = g + 4*g - 1815. Let x = -574 + g. Let a = x + 372. Is a prime?
False
Suppose 0 = -14*i + 81424 - 4634. Is i a composite number?
True
Suppose -46*j = -9*j - 1295. Is j a prime number?
False
Let g(t) = -23 + 21*t**3 - 42*t**3 + 7*t + 20*t**3 - 6*t**2. Is g(-10) a composite number?
False
Let k = 635 + -67. Let v = 1275 - k. Is v composite?
True
Let z = -19 + 9. Let v(f) be the first derivative of -33*f**2/2 + f + 1. Is v(z) composite?
False
Let c = 1063 - 144. Suppose 2*t - 1151 = -5*x + 4*t, -t - c = -4*x. Suppose 4*n - x = 3*s, 0 = -0*n + 2*n - 4*s - 112. Is n composite?
True
Is (2 - 0) + (-1 - 1) + 8501 a composite number?
False
Let n(f) = 2*f - 2. Let b be n(2). Let a be 73 + 8/2*(-69)/(-46). Suppose 0 = -3*y - y - 5*q + a, 0 = b*y - 2*q - 62. Is y prime?
False
Let h(q) = 3*q**3 - 8*q**2 + q - 9. Let s = 36 - 29. Is h(s) composite?
True
Suppose -3*j + 30 = -3*x, -x - 4*j - 3 = -18. Let f be x + (1 - (0 - 1)). Is -1 - (-62 - (-2 - f)) a composite number?
True
Let l = 2875 - 930. Is l composite?
True
Let h(u) = 506*u - 7. Suppose 9 = 3*p + 3*o, -p - 2*o = -2 - 3. Is h(p) a composite number?
False
Suppose 0 = -0*p - 7*p + 896. Let o = 159 - p. Is o a prime number?
True
Let r(l) = 6*l**3 + 3*l**2 - 6*l + 5. Let z = 21 - 5. Suppose 5*j - 4 = z. Is r(j) a composite number?
True
Let m = 12908 + -8909. Suppose -3*v + 3*c + m = 0, -5*c + 6673 = 5*v - 2*c. Suppose v + 491 = 5*g. Is g a prime number?
False
Suppose 3*h - 4*j = -2*h + 1035, 3*h + 2*j = 643. Is 2 - 5/((-5)/h) composite?
True
Suppose u = -0*u + 5*m + 9, 0 = 5*u + m - 45. Let a be (-3)/u - 32/(-6). Suppose 0 = w - l - 123, l + 222 = 2*w + a*l. Is w prime?
False
Let l(j) = -19 - 38*j + 82*j + 178*j. Is l(4) prime?
False
Let r(b) = 16*b**2 + 2 - 2*b + 2*b + 23*b**2. Let g(s) = -2*s**2 + 12*s - 3. Let o be g(6). Is r(o) a prime number?
True
Suppose 0 = 4*r + 22205 - 71953. Is r a prime number?
True
Suppose 0*p = -2*p + 600. Suppose 78 = -z - 2*a, -z - p = 3*z - 4*a. Let s = 113 + z. Is s prime?
True
Suppose -2*g + 4*n + 11978 = 0, -4*n = 33*g - 31*g - 11946. Is g composite?
False
Let v(x) = x + 1. Let b be v(-9). Let t(g) = g**2 + 9*g + 14. Let c be t(b). Suppose -2*y - 115 = -l, -575 = l - c*l - y. Is l a prime number?
False
Let z(k) = 107*k**2 - 19. Is z(-6) prime?
True
Let q = 56 + -53. Is (-4143)/(-12)*(q - (3 + -4)) a composite number?
False
Let n = 92 - 89. Suppose 19*j - n*j - 21584 = 0. Is j a prime number?
False
Let s = -7665 - -13288. Is s a composite number?
False
Suppose -2*f - 89791 = -3*g, 0 = 12*g - 16*g - 4*f + 119708. Is g a composite number?
True
Let j(k) = 4*k - 1. Let h be j(1). Suppose 5*q - 77 = 2*z, -4*q + 68 = -h*z - 51. Let w = z + 78. Is w a prime number?
True
Let c(n) = 2*n**3 + n**2 + 4*n + 16183. Is c(0) a composite number?
False
Suppose -2*i = -2*p - 2, -3 = 5*i - 2*p - 5. Suppose 2*f - 471 - 971 = i. Is f a composite number?
True
Let q(m) = -264*m - 61. Is q(-5) composite?
False
Let z(k) = 6*k**2 + k. Suppose 0 = 5*w + 25, 3*w = r + r - 13. Let y be z(r). Suppose -472 = 4*i - v - 1129, v = -y. Is i a composite number?
False
Let i = 1796 - 3043. Suppose 4*b - 8832 = -2*c, 2*b - 6*b - 5*c + 8844 = 0. Let g = b + i. Is g composite?
True
Let l be 5/(-10)*12/(-1). Suppose -800 + 3482 = l*w. Is w prime?
False
Let k(g) be the second derivative of g**4/2 - 4*g**3/3 + 39*g**2/2 + 8*g. Is k(-17) composite?
True
Let q = 439 - 441. Let h be ((-232)/(-3))/((-6)/117). Is 3 + (q - h)/3 a composite number?
True
Let n be (-31)/((33/(-18))/(-11)). Let q be n/(-16) + (-6)/(-16). Is 1/(-3) - (-1900)/q prime?
False
Let o = -1 + 1. Let z = -148 + 309. Suppose j + y = 146, j - 3*y - y - z = o. Is j composite?
False
Let s be (0 + (-42)/15)*-5. Suppose 4*v - s = 2*v. Suppose v*z + 471 = 10*z. Is z composite?
False
Let l = 4835 + -1080. Is l a composite number?
True
Let z(x) = x**2 + 2*x + 2. Let i be z(0). Is (2816/i - 3)*(1 - 0) a prime number?
False
Let u(k) = 13*k**2 - 5*k - 5. Is u(-3) a composite number?
False
Let x(i) = -i**3 - 9*i**2 + 8*i + 14. Let o be x(-12). Let d = 739 - o. Is d a composite number?
False
Suppose -6*a + 2*a = -16024. Let i = a - 2855. Is i prime?
True
Let r(b) = -151*b - 3. Let i(h) = -2*h - 26. Let u be i(-12). Is r(u) prime?
False
Let u(l) = -l - 6. Let p be u(7). Is (-30195)/(-143) - (-2)/p composite?
False
Let l(n) = n**2 + 7. Let h be l(7). Suppose 0 = -3*w + h + 553. Suppose -a = -w + 54. Is a composite?
False
Let t(h) = 24*h**2 - 12*h - 15. Is t(-6) a prime number?
False
Suppose -6*d - 16 = -2*d. Is (-10647)/(-28) - 3/d a composite number?
True
Let p(b) = -218*b - 1. Let h be p(-1). Let k = h - 92. Suppose 0 = 5*c + 2*v - k, -4*c + 0*c + 82 = -2*v. Is c a prime number?
True
Let j(b) be the first derivative of -5*b**2/2 - 3*b + 1. Is j(-1) composite?
Fals