z(2) prime?
True
Let n be 1092/49 - 2/7. Suppose -3*f + 77 = -n. Is f a composite number?
True
Is (-1)/2 + 31/2 prime?
False
Let f be 3/2*(-4)/(-3). Let n(k) = -1 + 15*k - 7 + 151*k + 5. Is n(f) a composite number?
True
Suppose 2*x + 3 = n, 0 = -n + 2*x - 3*x - 3. Let b = n + 4. Is 2/b*57/2 prime?
True
Let o be 1/((-1)/138)*-1. Suppose 2*z - 97 = -m - 3*z, 4*z = 2*m - o. Is m a prime number?
False
Suppose 3*i + 3 = -0. Let t(n) = 208*n - 1. Let a be t(i). Let g = -142 - a. Is g a composite number?
False
Let y = 12 - 15. Suppose -6 = 2*i + i + 2*g, -3*i - 6 = -3*g. Is (-109)/y + i/(-3) a prime number?
True
Suppose y = 3*u + 64 + 27, 2*y = 2*u + 190. Is y a prime number?
True
Is 1605/4 + (-10)/40 a composite number?
False
Let y be (-87)/9 - 2/(-3). Let v = -3 + y. Is (-1071)/v - (-1)/(-4) a composite number?
False
Let t be (-132)/(-16) - 1/4. Let a = t + -3. Suppose 335 = a*z - 0*z. Is z composite?
False
Suppose 4*k - p = 29, p + 3 = -k + 4. Let j(t) = t - 8. Let c be j(k). Is 9/2*c/(-3) a composite number?
False
Let v(k) be the first derivative of 1/4*k**4 + 2/3*k**3 + 1 + k - 3/2*k**2. Is v(3) composite?
False
Let s = -13 + -5. Is 1/6 - 195/s a composite number?
False
Let g(m) = m**3 - 8*m**2 + 1. Let i be g(8). Is (-2 + (i - -2))*133 a composite number?
True
Let w(f) = 64*f - 3. Is w(4) a composite number?
True
Let x(m) = m**3 + 6*m**2 - m - 2. Let p be x(-5). Let d = p - 9. Is d composite?
False
Let g(o) = -192*o**3 - 3*o**2 - o + 1. Is g(-1) composite?
False
Let r(k) = 12*k - 1. Suppose 3*s + 0 = -3*b - 6, 3*b + 6 = s. Suppose -3 = -n - s*n. Is r(n) a composite number?
True
Is -3*7294/(-6)*1 a composite number?
True
Let j(a) be the first derivative of -a**2 - 5*a - 1. Let u be j(-5). Suppose u*f - f = 28. Is f prime?
True
Suppose -i + 4985 = 4*i. Is i a composite number?
False
Let q = -1028 - -1927. Let w = 1294 - q. Is w composite?
True
Let a(s) = -4*s**2 - 1. Let u be a(-6). Let b = -36 - u. Is b prime?
True
Let j(l) = -6*l - 17 - 9*l**2 - 6*l + 6 - l**3. Let r be 4/1*6/(-3). Is j(r) a composite number?
True
Is (1 - 1) + -4 + 15 a prime number?
True
Is 1146 - (-5 - -10)*-1 a composite number?
False
Let m(l) = -2*l + 79. Is m(0) composite?
False
Let m = 4 - 6. Let g(q) = 51*q**2 - 1. Is g(m) composite?
True
Let h = 35 - 24. Let a be (-1*h)/((-3)/(-3)). Let d = 34 + a. Is d composite?
False
Let y = 645 + -236. Is y composite?
False
Let n(o) = o**2 + o - 3. Let c(s) = -7*s - 9. Let b(l) = 10*l + 13. Let h(j) = -5*b(j) - 7*c(j). Let y be h(-5). Is n(y) a prime number?
False
Let o(z) = -10*z - 3. Is o(-10) a prime number?
True
Suppose 5*o - 1785 = 2*i, -4*o = 5*i - 737 - 658. Is o composite?
True
Let c = -2 - -6. Suppose 3*n = c*n + 16. Let b = n - -35. Is b a prime number?
True
Is 4/2*(-3 + 1405/2) a composite number?
False
Suppose 4*r - 3*k - 3289 = 333, 2*k + 4531 = 5*r. Is r prime?
True
Suppose -3*c = -5*i + 31, -c + 2*i + 18 = 6*i. Let u be 9*c*27/(-6). Suppose -u = -2*h + 13. Is h prime?
True
Let k = 1235 - 721. Let u be (-13554)/(-42) - 2/(-7). Let i = k - u. Is i prime?
True
Suppose 758 = -6*u + 8*u. Is u composite?
False
Let u(p) = -p**2 - 6*p + 3. Let z be u(-6). Suppose -z*i + i = -154. Is i prime?
False
Is -2 - (-2 - 3) - 528/(-2) a composite number?
True
Suppose 5*l = -1 + 16. Let c(w) = -w**3 + 3*w**2 + 4*w - 4. Let u be c(l). Is ((-314)/8)/((-2)/u) a prime number?
True
Let z(a) = -a**3 + 8*a**2 + a - 3. Let t be z(8). Suppose -t*w = -445 - 105. Suppose -5*l + 3*l = -w. Is l composite?
True
Let j(d) be the third derivative of d**6/120 + 7*d**5/60 - 7*d**4/24 + d**3/6 + d**2. Is j(-6) composite?
False
Is -11*(-154 - -5)/1 a composite number?
True
Suppose 6*k = 5*k. Suppose k = -3*q + 93 - 27. Is q prime?
False
Let h(u) = u**3 + 3*u**2 + 11*u - 5. Is h(8) prime?
True
Suppose 2*f + 0*f - 6 = 0. Suppose -1 = -k, 0 = -0*z - 2*z - 2*k + 16. Suppose f*d = z*d - 132. Is d a composite number?
True
Let i = 734 - 523. Is i a composite number?
False
Let b(f) = f - 1. Let k be b(4). Suppose 438 + 45 = k*a. Is a a composite number?
True
Let h be 1/(-3 + 1)*-18. Is 119 + h/(-3) + 3 composite?
True
Let l(m) = 143*m + 8. Let j be l(8). Let i = j - 733. Is i prime?
True
Suppose -524 = -0*r - 4*r. Is r a composite number?
False
Let d(r) = 68*r**2 - r + 1. Let p be d(1). Let a = p - 34. Is a a prime number?
False
Let u = 6 - 7. Let x be u - -42 - (4 + -7). Let y = -25 + x. Is y a prime number?
True
Suppose 0 = 2*x + f - 679, 4*f + 373 = 2*x - 281. Is x a prime number?
True
Let t(u) = 2*u**2 + 6*u - 17. Is t(8) prime?
False
Suppose l = -0 + 4. Suppose q + 4*d - 111 = 0, l*d - 226 = 3*q - 5*q. Is q prime?
False
Let r = 67 + 4. Is r a composite number?
False
Let k = -101 + 175. Suppose -t = t - k. Is t a prime number?
True
Suppose 2*j - 260 = 6*j. Let t = j + 92. Let a = t + -12. Is a a prime number?
False
Let j = 35 - -23. Let h be ((-140)/8)/((-2)/(-20)). Let g = j - h. Is g composite?
False
Let r(p) = -p + 7. Let d be r(-6). Suppose 161 - d = 4*m. Is m composite?
False
Let r = 5 + -7. Is 141/(r + (-21)/(-6)) a prime number?
False
Let h = 1438 + -785. Is h composite?
False
Let i = 181 + -48. Is i prime?
False
Suppose -2*o - 2 = -0*o. Is 0 + o - (-2 + -37) composite?
True
Suppose 15*s - 24*s + 10053 = 0. Is s prime?
True
Let o(w) = w**2 - w + 2. Let u be o(2). Suppose -4*p = 4*v - 28, -v - u*p = -0*p - 7. Is v prime?
True
Let m = -112 - -239. Is m composite?
False
Suppose 0 = -9*u + 3*u + 582. Is u prime?
True
Suppose 11 = 4*v + u, 3*v + 7*u = 3*u + 18. Let i = v - 0. Suppose i*k - 269 = -g, -3*g + 3 = -2*g. Is k composite?
True
Let c(m) = -m + 7. Let l be c(5). Suppose -l*b + 8 = 2*q - b, 0 = -q + 4*b - 5. Is q a composite number?
False
Suppose -3*g - 2*b + 2367 = 0, 0 = -3*g - g - 2*b + 3154. Is g prime?
True
Suppose -64 = 2*y - 4*y. Let g = -18 + y. Is g prime?
False
Let x(v) = v**3 + v**2. Let y(g) = -g**3 + 3*g**2 + 1. Let b(t) = 2*x(t) - y(t). Let u = 6 + -4. Is b(u) prime?
True
Let c be -3 + -1 + 2 + -1. Let h(z) = -53*z. Let r be h(c). Suppose -5*b = p - r, -2*b = 3*b + 5*p - 175. Is b a prime number?
True
Is -331*((-2)/(-1))/(-2) composite?
False
Let j(q) = -44*q**3 + 3*q**2 - 4. Is j(-3) a composite number?
True
Suppose 1043 + 716 = 2*n - 5*l, 5*l + 3533 = 4*n. Is n a prime number?
True
Suppose -4*m + 11 = -9. Suppose o - 3*o = -5*n + 19, -n = -m*o - 13. Suppose -n*y = -293 - 40. Is y a prime number?
False
Let d(m) = -m**2 - m + 24. Let f be d(0). Suppose 15 = r + 2*b, 3*b - b + f = 2*r. Suppose -8 = -3*n + r. Is n prime?
True
Let i(k) = -k**3 + 16*k**2 + k - 3. Let a be i(9). Suppose -2*s = s - a. Is s a composite number?
False
Suppose i - 3*i - 3*w + 23 = 0, 0 = -5*i - 4*w + 40. Suppose 3*r + 4*c - 75 = -0, -2*c = i*r - 110. Let s = 22 + r. Is s prime?
False
Let i(w) = -110*w. Let g be i(-5). Suppose -4*p + g - 170 = 0. Is p a prime number?
False
Suppose 4*b + 0*b + 8 = s, 2*s + b + 11 = 0. Let f be 1/2 + (-78)/s. Let r = -10 + f. Is r composite?
True
Let y(a) = 164*a**3 + 3*a. Let o(c) = -165*c**3 - 4*c. Let t(g) = 3*o(g) + 4*y(g). Is t(1) prime?
False
Let k be 4 + (1 - -5)/(-1). Suppose -m - 2*m - 3 = 0. Is k/m*(-262)/(-4) prime?
True
Let h = -17 + 160. Is h a prime number?
False
Suppose 4*k - 2*z - 2708 = -6*z, -4*k + 2708 = -2*z. Suppose 0 = -5*d - y + k - 222, -y - 455 = -5*d. Is d a composite number?
True
Suppose a - 5 = -0. Suppose a*s - 2019 = -44. Is s prime?
False
Let p be (-11 + 6)/(1/(-23)). Suppose -s = 4*s - p. Is s prime?
True
Let a = -5 - -2. Let v(m) = -2*m**3 - 3*m**2 - 3*m - 2. Is v(a) prime?
False
Let g = 6 + -1. Suppose 0*l = l + g*t - 124, 0 = -5*l + t + 750. Is l composite?
False
Let i be (1/1)/((-1)/(-4)). Suppose -4*m - 6*c = -3*c + 27, -i*c - 20 = 0. Let k = 16 - m. Is k a composite number?
False
Let o(h) = 133*h**2 + 2*h - 7. Is o(4) composite?
False
Let x(r) = -r**2 - 5*r + 10. Let k be x(-7). Let v be (1 - 0) + (k - -3). Suppose 4*j + 134 + 134 = 4*h, -5*j = v. Is h composite?
False
Let d(y) = y**3 + 14*y**2 + 3*y - 16. Let j be d(-12). Suppose -g + 3*g = j. Is g prime?
False
Let f = -220 - -380. Let t = -1 + f. Is t a composite number?
True
Let w(d) = 2*d**2 - 7. Let x be w(-7). Let s be ((-6)/4)/(6/(-8)). Suppose s*h - 23 = 5*m + 34, 3*h - x = 2*m. Is h a prime number?
True
Let g = 12 + -7. Is 30 + 4 + (