= -5*a + 3*a. Is a a composite number?
False
Is (-34404)/(-28) + 8/28 prime?
True
Let o(w) = 2*w - 3*w**2 + 0*w - 11 + 4*w**2 + 26. Is o(-10) prime?
False
Is 6/(30/2585) - -4 a prime number?
True
Let c(a) = 27*a + 8. Let k(l) = 28*l + 7. Let z(f) = 5*c(f) - 6*k(f). Is z(-3) prime?
True
Suppose 0 = -3*k - w + 384, -k - 6*w = -w - 142. Is k a composite number?
False
Let q = 0 + 0. Suppose -3*a - 5*c + 11 = -18, a - 2*c + 5 = q. Suppose -185 = -5*m + 5*k, 4*m + 2*k + a*k = 148. Is m a composite number?
False
Let s be 1 - (0/(-2) - 1). Suppose 1 = -s*d - 7. Is 2 + d + 0 - -24 prime?
False
Let x = -852 + 1901. Is x prime?
True
Let f = 184 + -105. Is f prime?
True
Let o = 6 - 4. Is (17 + o - -3) + -3 a prime number?
True
Is (-9 - -94)*(2 + -1) a prime number?
False
Let x(l) = 4*l**2 - 6*l - 11. Is x(-8) a prime number?
True
Let g be (3/(-9))/(3/(-279)). Is ((-1)/(-1) - 1) + g a prime number?
True
Suppose -63 + 295 = 4*a. Suppose -5*q + 7 = -d - 67, -3*q + a = -4*d. Suppose x = 2*x - q. Is x prime?
False
Let l(z) = 414*z - 23. Is l(6) a composite number?
True
Let a be (-2)/(-4) + (-15)/(-6). Suppose a*p + 3 = -6. Is (-160)/p + 1/(-3) composite?
False
Is 0 + 5852 + (-3)/(-1) composite?
True
Suppose -3*y - 4*o + 2 = -10, 0 = 2*y + 2*o - 8. Let a = -4 + y. Let h(x) = -x**3 + x**2 - x + 77. Is h(a) prime?
False
Let g be ((-1)/(-3))/((-2)/6). Let s(z) = -226*z**3 + z + 1. Let l be s(g). Suppose 5*r - l = 3*r. Is r prime?
True
Let p = 251 + 84. Let d = -172 + p. Is d composite?
False
Let q(j) = 9*j**2 + 4*j - 3. Let l be q(2). Suppose -208 = -3*h + l. Is h prime?
True
Let c(i) = 3*i - i**3 + 2*i**3 + 0*i + 11*i**2 - 13. Let y = 2 + -12. Is c(y) a prime number?
False
Let y(l) = -l**3 - 7*l**2 - 5*l - 1. Suppose 4*i = -0*i + v - 27, 4*i + 3*v = -31. Is y(i) composite?
True
Suppose -9*u - 501 = -12*u. Suppose -5*g + 4*o - o = -u, 3*g - 77 = -4*o. Is g composite?
False
Let o(u) = -3*u**3 - 4*u**2 + 5. Is o(-4) composite?
True
Let m(w) = -21*w**3 + 8*w**2 - 5*w. Let l be m(6). Is l/(-66) - 4/(-22) prime?
False
Let p = -11 + 15. Suppose -4*a = -5*w - 10, 4*w + p = 2*a + w. Suppose -3*j + a*s = -0*j - 186, -5*j + 300 = -5*s. Is j prime?
False
Let p(i) = 4 - 4*i + 7 + i. Is p(-14) a prime number?
True
Suppose -3*r = -15, 5*q - 3*r = -5*r + 85. Is q a composite number?
True
Suppose -155 = -2*k - h + 4*h, -3*k + h + 236 = 0. Is k a composite number?
False
Let b = 3 + -4. Let h be 75/(b/(-4)*6). Let d = h + -27. Is d prime?
True
Let n(z) = z. Let t be (15/10)/((-2)/4). Let h be n(t). Let i = h + 56. Is i a composite number?
False
Let h(d) be the first derivative of d**2/2 - 2. Let n = 1 + 1. Is h(n) composite?
False
Let z be (-10 + 10)/((-4)/2). Let u(i) = 4 + 4*i - 3*i + 18. Is u(z) prime?
False
Let o = 12 - 10. Let v = 41 + o. Is v a composite number?
False
Suppose -3*d + 4*m + 36931 = 0, -5*d = 5*m - m - 61573. Is d composite?
True
Let c(l) = 2*l**2 + 31. Is c(-21) composite?
True
Let k = 964 + -331. Is k composite?
True
Let n(v) = -3*v + 4. Let u be n(3). Let i(x) = x**2 + 6*x + 7. Let h be i(u). Suppose -5*j = s - 62, 0*s - 55 = -s + h*j. Is s composite?
True
Let h(r) = -5*r - 4 + r**2 - 1 - 2*r. Let p be h(8). Suppose u = 0, -p*u = 3*g - 0*u - 255. Is g a composite number?
True
Suppose 0 = 3*b - 45 + 3. Let t = -5 + b. Let r(h) = h**2 - 5*h - 5. Is r(t) a prime number?
True
Let d be (1 + 3)*(-40)/32. Let b = -3 - d. Is 2 + b + 37 + -2 a prime number?
False
Let o(h) = -h**2 + 7*h - 7. Let k be o(5). Let m be k/6 + 26/4. Let i = -1 + m. Is i composite?
True
Let d be (3 - 2)*(1 - 1). Suppose -3*j + 669 = 3*p + 174, 5*p - j - 849 = d. Is p a composite number?
True
Suppose 4*p + 6*p = 52010. Is p a composite number?
True
Let a(t) = 5*t - 3. Let j be a(1). Is (3/j)/((-14)/(-1708)) composite?
True
Is (-9)/(-6)*(-572)/(-6) a composite number?
True
Let u(d) = -d**3 - 4*d**2 - 4*d + 4. Suppose 0 = 4*s + 6 + 10. Let c be u(s). Suppose c = -5*k, 3*j + 2*k = 4*j - 10. Is j prime?
True
Let q = -3 + 5. Is q + (3 - 2 - -392) a composite number?
True
Let n = 2 + 2. Is 8/n - 1*-29 composite?
False
Let x(j) = 14*j + 4. Let i(a) = 2*a**2 - a - 1. Let z be i(2). Let p(t) = 29*t + 7. Let f(w) = z*x(w) - 3*p(w). Is f(-4) a composite number?
False
Let r = 27 + 152. Suppose -r = -n + 90. Is n composite?
False
Let n = -184 - -433. Is n a prime number?
False
Let c(p) be the first derivative of 39*p**2/2 + 3*p - 7. Is c(4) prime?
False
Let h(n) = 190*n + 6. Let u(x) = -95*x - 3. Let q(w) = -2*h(w) - 5*u(w). Let p be q(3). Is 2/7 - p/(-21) a composite number?
True
Suppose 24 = m - 5*m. Let f be 6*(2/m + 1). Suppose -s + 66 = q, -4*s - s + 331 = f*q. Is s composite?
False
Suppose 2*y = -r, -3*r = r - y. Suppose 2*w + 3*w = r. Suppose 40 = 4*g - w*g. Is g composite?
True
Suppose 0*d - 5*q - 23 = -4*d, 0 = -d - 5*q - 13. Suppose -d*x + 25 = -x. Is x a prime number?
False
Let l be (-22)/8 + 2/(-8). Let k = l + 2. Is 34 - (k - (0 - 2)) prime?
False
Let m(y) = 37*y**3 - 4*y**2 - 11*y - 7. Is m(5) a prime number?
True
Let g = -9 + 9. Is -3 + 31 + g + -3 a composite number?
True
Suppose 52 = -2*w - 3*m, m + 4 = -0*m. Is (-4452)/w + 4/10 composite?
False
Let s(m) = 846*m**3 - 2*m + 1. Let v be s(1). Suppose -2*b + 830 = 2*f + 2*f, -4*f + 3*b = -v. Is f composite?
True
Suppose -5*y + 4701 = 1496. Is y a composite number?
False
Let d = -7 + 4. Let u = 9 + d. Is u a composite number?
True
Suppose -7*k = 2*y - 2*k - 4445, -4439 = -2*y - 3*k. Is y composite?
True
Suppose -2*b + p - 15 = 0, b = -b - 3*p - 3. Let d = b - -8. Let r(k) = 84*k + 1. Is r(d) a composite number?
True
Let o = 6 + -2. Suppose -17 - 67 = -o*g. Is g a prime number?
False
Let y(s) = s**3 + 13*s**2 + s - 13. Let r be y(-11). Let n = r - 129. Is n composite?
False
Is (1/3)/(1/1893) prime?
True
Suppose 5*x - 133 = 42. Let d = x + -22. Suppose -199 - d = -4*i. Is i a prime number?
True
Is (-1)/((-63)/31 - -2) prime?
True
Let o be 4*-1*(-7)/(-4). Let c be o + -3*2/(-6). Is 2/(-4) + (-87)/c a composite number?
True
Suppose -4*y = -y + 2*h - 473, -4*y + 624 = h. Is y a prime number?
False
Let p(y) = 3*y**2 - 4*y + 3. Is p(-4) prime?
True
Let r(v) = -v**3 + 11*v**2 + 10*v - 1. Is r(10) a prime number?
True
Let q(u) = -u**2 - 10*u + 7. Is q(-8) prime?
True
Let q(m) = -9*m - 18*m - m + 7 - 2*m. Is q(-6) prime?
False
Let n = 89 + 114. Suppose -4*a = n + 377. Is (-1 + 3)*a/(-2) a prime number?
False
Suppose 326 = -0*b + 2*b. Is b a composite number?
False
Let w(v) = v**2 - 2. Let j be w(0). Is (-3)/(6/301)*j a composite number?
True
Suppose 4*y - 5 - 3 = 0. Suppose -5*z = -y*x + 480, -5*z = -2*z - 3*x + 297. Let m = z - -140. Is m a composite number?
True
Suppose 0 = -2*d + 6 - 0. Suppose -4*u - d*n + 17 = 0, -n - 7 - 14 = -4*u. Suppose -5*z + w = -51 + 6, -z + 9 = u*w. Is z prime?
False
Let m(v) = 2*v**3 - 6*v**2 + v - 7. Let k be (-15)/(-9)*6/2. Let d be m(k). Suppose 5*p = -5, 3*t - d - 14 = p. Is t a prime number?
True
Let k(a) = -5*a**3 - 5*a**2 + 5*a + 6. Let d be k(-4). Let o(b) = -b**3 + 4*b**2 + 10. Let p be o(7). Let v = p + d. Is v prime?
True
Let j(b) = b**3 + 13*b**2 - 14*b - 17. Is j(-12) a composite number?
True
Let t = -1005 - -1532. Is t a composite number?
True
Suppose 6*r = 2*r + 820. Is r composite?
True
Suppose 0 = -5*i + m + 16, 2*i + 0*m - m = 7. Suppose i*c - 8 = -5. Is (c - 4)*74/(-6) a prime number?
True
Suppose x - 5*q + 2 + 15 = 0, 5*q - 32 = -4*x. Suppose -5*t = -0*p + 2*p - 278, -3*p = -x*t + 171. Let o = -37 + t. Is o composite?
False
Suppose 0 = -d - 4*h + 12 + 28, -3*h = -2*d + 25. Suppose -k - 4*k = d. Let m = k + 41. Is m composite?
False
Suppose 0 = -4*g + 2*g + 54. Is 159/1*9/g a prime number?
True
Let z(o) = -82*o**3 - o**2 - 4*o - 3. Is z(-1) prime?
False
Let r = 858 - 541. Is r a composite number?
False
Suppose -v - 2 = v. Is 4 - -27 - (v - -1) composite?
False
Let u be (758*-1)/(-4 + 6). Let w = -230 - u. Is w a composite number?
False
Is 2/10 - (-5138)/10 a composite number?
True
Suppose 3*f = 5*f - 8. Suppose 33 = 2*a - 5*m - 30, f*m - 56 = -4*a. Is a prime?
True
Suppose 5*m + 2*c = 3773, -c - 1522 = -2*m - 5*c. Suppose -1163 = -4*f + m. Is f prime?
True
Let m(x) = -x**2 + 4*x + 3. Let s be m(4). Let z(a) = a**2 - s*a**2 - 1 - a - a**2 + 4*a**2. Is z(5) a prime number?
True
Suppose c - 31 = -l, -4