(5 - -55*3)/(4/2) a prime number?
False
Suppose -1211 = -8*o + 189. Let q(l) = l - 7. Let m be q(7). Suppose -5*c + o = 2*w, m*c - 3*w + 35 = c. Is c prime?
False
Let w be (-3)/(-5)*1*5. Suppose -w*v - 996 = -4*k - v, -3*k + 2*v = -746. Suppose 5*q - 5*x - k = 0, -135 = -2*q - 4*x - x. Is q composite?
True
Let q = 3 - 2. Let z be (-3 - -5)*(30 + q). Suppose -n = n - z. Is n prime?
True
Let d(m) be the third derivative of m**4/24 + 55*m**3/2 + 4*m**2. Let z be d(0). Suppose 3*u = 8*u - 5*f - z, -u = -2*f - 32. Is u composite?
True
Let a = -3 + 6. Suppose j - 5*y + 11 = 0, -2*j - 2 - 20 = -a*y. Let i = 38 - j. Is i a composite number?
True
Let d(n) = 2*n**2 - 3. Let o(i) = -i**2 - 2*i - 3. Let g be o(-2). Let b be d(g). Let s = b + 4. Is s prime?
True
Let m = 4 - 7. Let k be m/(-2) + 1/(-2). Is (-109)/(6/(-3) + k) a composite number?
False
Let u = -316 - -649. Let g = u + -38. Is g prime?
False
Let j be (3/(-5))/((-1)/15). Let g = j - -5. Is g a prime number?
False
Let w(o) = 2*o - 5. Let k(z) = 5*z - 9. Let c(v) = 3*k(v) - 5*w(v). Is c(7) a prime number?
False
Let w be (-2)/3 + 3454/6. Suppose 4*o + o = w. Is o a prime number?
False
Let k = 819 - 392. Is k prime?
False
Let n(j) = -17*j + 3. Is n(-2) a composite number?
False
Let n(c) = -5 + c + 7*c**3 + 0*c + 4 + 9*c**3 - c**2. Let t be -2 + 2 + -2 + 3. Is n(t) a composite number?
True
Let y(j) = -10*j + 3. Suppose -o + 23 = -5*o + 5*d, -3*o = -4*d + 18. Is y(o) composite?
False
Let g(d) = 1545*d**2 + 3*d + 1. Is g(-1) prime?
True
Let p(k) = 43*k**2 - 2*k + 5. Is p(-4) prime?
True
Is 5130/8 + (114/24 - 5) a prime number?
True
Suppose 0 = 5*i - 2*b + 135, -i - 45 = -3*b - b. Is -3 + (-3 - i)*1 prime?
True
Let k be (1/(-2))/((-6)/12). Let j = k + -1. Suppose 2*o = -j*o + 98. Is o composite?
True
Suppose 3335 + 2537 = 8*n. Is n a prime number?
False
Let w(h) = h**3 - 10*h**2 - 16*h - 22. Is w(15) a composite number?
False
Let f be (-4 + -2)/(2/(-2)). Is (-4)/6 - (-418)/f composite?
True
Let u be (351/(-18))/((-6)/16). Let j = u + -15. Suppose 0*r - r = -j. Is r a prime number?
True
Suppose -u - 4*u = -j + 159, 2*j + u - 285 = 0. Let f = j + 275. Is f composite?
False
Suppose 3*v + 8 = -1, 0 = 3*q + 5*v - 144. Is q prime?
True
Let v(o) = -o**2 + o + 15. Is v(0) a composite number?
True
Let t(q) be the third derivative of -q**4/24 - q**3/3 + 3*q**2. Let z(a) = -a**3 - 3*a**2 + 3*a + 4. Let x be z(-3). Is t(x) a composite number?
False
Let p be 5/3 - (-3)/9. Is (184/(-20))/(p/(-5)) prime?
True
Let b(w) = 14*w**2 + 16*w + 5. Is b(-12) a composite number?
True
Let b = 782 - 426. Is (b/16)/((-1)/(-4)) a composite number?
False
Is (398/3)/(32/48) a prime number?
True
Is (9 - 7)/((-4)/(-502)) a composite number?
False
Let n = 6123 - 3611. Is (-8)/(-24) + n/6 a composite number?
False
Let l = -2036 + 5977. Suppose -5*d + l - 786 = 0. Is d a composite number?
False
Suppose 0 = 4*o - 2*o - 10. Suppose -o*v + 422 = -513. Is v prime?
False
Let s = -37 - -177. Suppose -2*i + s = -i. Suppose 0 = -5*j + 3*x + i, 2*j - 3*x = -x + 52. Is j a prime number?
True
Is (5/(-2) - 0)*-82 composite?
True
Let t(s) = 8*s**2 + 2. Let x be t(-2). Suppose w - 3*i - 33 - x = 0, 2*w + 2*i - 110 = 0. Let l = w - 3. Is l composite?
True
Suppose 15*o - 6*o - 45 = 0. Let h(m) be the first derivative of m**3/3 + m**2/2 - 5*m - 2. Is h(o) composite?
True
Suppose 0 = -x - 3*h + 416, -5*h - 5 = -0. Is x a prime number?
True
Is ((-234)/4 - 2)*18/(-9) prime?
False
Suppose -5*n - 676 = -0*n - 3*b, 4*n + 528 = -4*b. Let o = -49 - n. Is o a composite number?
True
Suppose -6*j + 0*j = -1266. Is j a composite number?
False
Suppose -4*i + 10292 = -0*t - 4*t, t + 5142 = 2*i. Is i composite?
True
Suppose 840 = 4*s - 3*j - 104, 2*s - 482 = 4*j. Is s composite?
False
Let p = -6 - -66. Let n = p - -143. Is n a prime number?
False
Let p = 5 - 8. Let n = 6 + p. Suppose 2*s - 285 = -3*s - 5*z, -n*s + 147 = -3*z. Is s prime?
True
Is (1101/(-6) - 0)*-10 prime?
False
Suppose 2*r - 3*k = -3*r - 12, -k + 4 = -5*r. Is 1 - (-486 + 0 + r) a prime number?
True
Let a = 14 + -17. Let w(r) = r**3 + 9*r**2 - 8*r - 4. Let k(j) = -j**3 - 4*j**2 + 4*j + 2. Let f(p) = 5*k(p) + 2*w(p). Is f(a) a prime number?
True
Let z = -1 - 1. Is (z + 1368)/(12/6) a prime number?
True
Let o(s) = -29*s + 1. Is o(-5) a composite number?
True
Let p = -184 + 294. Let o = p + -63. Is o a prime number?
True
Let n be 54/(-7) + (-12)/42. Is (-1302)/n + 2/8 prime?
True
Suppose -3*a + u + 2078 = 0, -2*a - 681 = -3*a - 2*u. Is a a prime number?
True
Let m(s) = 4*s**2 + 1 - 1 - 1. Is m(-3) a prime number?
False
Let s(t) be the third derivative of t**7/840 + 7*t**6/360 + t**5/20 + t**4/4 - t**3/3 + 2*t**2. Let i(h) be the first derivative of s(h). Is i(-6) composite?
True
Let o(v) = 202*v - 1. Let q be o(1). Suppose -q = -2*j + j. Is j a composite number?
True
Let y(z) = -850*z + 33. Is y(-4) composite?
False
Suppose -4 = -4*j, 2089 = 3*i + 2*i + 4*j. Let o = i - 226. Suppose -y - o = -2*y. Is y composite?
False
Let z = -8 - -15. Let c(x) = -2*x + 2*x**2 - 2 + 0 - 5*x. Is c(z) a composite number?
False
Let n(t) = -t**3 - 4*t**2 + 9*t + 5. Let c be n(-6). Is 3/((-6)/(-4))*c a composite number?
True
Let d be 6 - (-2)/(-5)*5. Suppose u + d*u = 1285. Is u prime?
True
Is ((-12)/6 - 17)*(-19 + 0) a composite number?
True
Let w(p) = 8*p**3 + 8*p**2 + 3*p + 2. Let m(u) = 17*u**3 + 17*u**2 + 7*u + 5. Let r(v) = -6*m(v) + 13*w(v). Is r(3) prime?
True
Let l = -8 + 2. Is (-161)/(-21) - (-4)/l prime?
True
Suppose -i + 3*f = 3*i - 13, i = 4*f + 13. Let c(m) = 43*m**2. Is c(i) composite?
False
Is (-4 + 4)/4 - (-304 + -1) prime?
False
Let u be (50/4)/5*2. Let x = 7 - u. Suppose 0 = 6*h - x*h - t - 228, 2*h - 4*t = 114. Is h composite?
True
Let o = -11 + 11. Suppose 4*g - 868 = -o*g - 3*b, 5*b + 868 = 4*g. Is g composite?
True
Let h(u) = 6*u**2 + 5*u + 9. Let y be h(-6). Let m = -106 + y. Is m prime?
True
Let q(p) = -p**3 - 8*p**2 - 8*p - 3. Let z be q(-7). Suppose 2*f - z = -0*f. Is (3 + 0 - f)*47 composite?
False
Suppose 0 = -5*s - 3*v + 3916, -2*s - 2*s - 4*v = -3128. Is s a prime number?
False
Suppose o - 22 = -6. Let i = o - 10. Suppose -4*h + i*h = 74. Is h prime?
True
Let j(n) = n**2 - 8*n - 3. Let k be j(6). Let g be (-696)/k - (-6)/(-15). Suppose -d + g = d. Is d a composite number?
False
Let q = 4 - 27. Let n = 100 + q. Is n composite?
True
Let p(m) = -m**2 - 4*m**2 - m**3 + 2*m**2 + 1 - 5*m. Is p(-4) prime?
True
Let a(t) = 2*t + 7. Let w be a(5). Is w + -2 - -1 - -3 a prime number?
True
Let b = -364 - -206. Let j = 227 + b. Is j composite?
True
Suppose i - 2*g - 368 = 5*i, 4*i + 360 = 2*g. Let y = i + 128. Suppose t = 28 + y. Is t a prime number?
False
Suppose 4*d - 24 + 0 = 4*t, 5*d - 30 = 4*t. Is (-2)/d*(-1 + -38) a composite number?
False
Suppose -11*p = -12*p + 3, -2*p = h - 2053. Is h a prime number?
False
Suppose 0 = 2*t - 9 + 1. Suppose 31 = t*n + 3*k - 13, 0 = -3*n - 3*k + 30. Is n composite?
True
Let u = 169 - 587. Suppose 0 = 4*q - 2*q + 574. Let k = q - u. Is k composite?
False
Let c(m) = -m**3 + 11*m**2 + 11*m + 10. Is c(11) a prime number?
True
Let a(p) = 24*p**2 + 4*p + 1. Is a(-3) a prime number?
False
Suppose -t + 5*v - v - 14 = 0, -2*v = 3*t - 28. Suppose -2642 - 388 = -t*h. Is h prime?
False
Is (10319/4 - 1) + (-6)/(-24) a prime number?
True
Is 1/2*(4 - 2)*163 a composite number?
False
Let j(k) = 2*k**3 + k**2 + 11*k + 1. Is j(6) prime?
False
Let a = -32 + 57. Let p = a - 11. Is p prime?
False
Let c = -722 + 1054. Suppose -c = -d - 3*d. Is d a composite number?
False
Let a(w) = 7*w - 3. Let d(s) = -s + 10. Let q be d(8). Suppose 0 = -v - 0 + q. Is a(v) composite?
False
Suppose -4*z = -z - 2*h - 13, -3*z - 5*h = -41. Let k = z + 48. Is k a composite number?
True
Let s(v) = -v**2 + 2*v - 1. Let c be s(1). Let a = c - -33. Is a a prime number?
False
Let v = -1569 + 2692. Suppose 337 = 4*n - v. Is n a composite number?
True
Let y be -2 + 6/((-9)/(-3)). Let m = y + 9. Is ((-6)/m)/(2/(-18)) prime?
False
Let c(z) be the third derivative of -11*z**6/120 - z**5/30 - z**4/24 + z**3/6 + z**2. Is c(-2) composite?
False
Let l be 4/5 + (-101052)/(-60). Suppose -4*h + 9*h = l. Is h a prime number?
True
Suppose -i = -2*i + 5. Suppose 20 = 5*r - i. Suppose 4*j - 3*j = -r*d + 47, 42 = j + 4*d. Is j 