 Is z composite?
True
Let b(l) = -37*l - 22. Let h(v) = -55*v - 34. Let m(z) = -1. Let a(k) = -h(k) + m(k). Let s(j) = -5*a(j) - 7*b(j). Is s(-10) a prime number?
True
Suppose a + 3 = -p + 2*p, -a = -2*p + 5. Let o(u) = -5*u**2 + 35*u**2 + 0*u**2 + 19*u**2. Is o(a) a prime number?
False
Suppose -3*o + 5*z + 32 = -2, -z - 5 = 0. Suppose -o*l - l = -8. Suppose -35 = -l*t + 39. Is t prime?
True
Suppose -805 = 2*q - m, 3*q + 3*m - 251 = -1436. Let v = q + 665. Is v composite?
True
Let v(d) = d**3 - 3*d**2 + 2*d - 2. Let x be v(3). Suppose k + 13 = -2*i + x*i, -29 = -5*i - k. Suppose 0 = -2*f + f + i. Is f prime?
False
Let q(o) = -3*o + 3*o**2 - 5*o**2 + 2*o**2 + 7*o**2 + o**3. Is q(-7) prime?
False
Let u(t) = -99*t + 46. Is u(-7) a composite number?
False
Suppose 2*j - 4*j + 12 = 0. Suppose -j*n = -5*n. Suppose -3*c - 2*c + 275 = n. Is c composite?
True
Let j = 236 - 127. Let d = j - 78. Is d prime?
True
Suppose 18*h - 40051 = -5725. Is h a prime number?
True
Let k(u) be the first derivative of u**4/2 - 2*u**3/3 + 3*u**2/2 - 3*u - 2. Let c(w) be the first derivative of k(w). Is c(4) a prime number?
True
Let f be (-20)/3*(-21)/(-7). Let j = f + 42. Is j a prime number?
False
Let l be 4/(-10) - (-88)/20. Let a(z) = -4 + 4*z - 1 + l + 6*z**2. Is a(-4) prime?
True
Is ((-6)/(-10))/(5 - 44870/8975) a prime number?
False
Is ((-1)/(-2))/(7/55734) a prime number?
False
Let u(v) = -v**3 + 4*v**2 + 7*v - 4. Let a(y) = y**2 + 3*y + 3. Let q be a(4). Suppose 0 = 4*f + 11 - q. Is u(f) a prime number?
False
Let s = -15 - -6. Let h be (-34)/(-9) + (-2)/s. Suppose 0 - 35 = -3*u + d, -h*u + 65 = -5*d. Is u prime?
False
Let u(i) = -i**3 + 2*i**2 + 2*i - 1. Let t be u(3). Let n be (t/(-10))/((-2)/(-10)). Suppose -n = p - 15. Is p prime?
True
Let w(t) = t**2 + 9*t - 6. Let q be w(7). Suppose 2*d + 0*d - q = 0. Is d a composite number?
False
Is 4/18 - 22852/(-36) composite?
True
Suppose -2393 = 3*q - 4*q. Is q composite?
False
Let y = 42 + 188. Suppose -2*z - 3*z = -y. Is z composite?
True
Suppose -2*w - 6714 = -2*l, -3*w + 6690 = 2*l + w. Is l a prime number?
False
Suppose 0 = -o - 5, -m - 3*o + 558 = 2*o. Is m a composite number?
True
Let n(a) = a + 7. Suppose -4*o - 4*r = 8, 2*o + 2*r - 2 = -2*r. Let g be n(o). Suppose -g*l - 231 = -5*l. Is l a prime number?
False
Let p(m) = m**3 + 8*m**2 - m - 2. Let c be p(-8). Let v be (-2)/c*15/(-1). Suppose -v*t = -0*t - 1165. Is t prime?
True
Suppose -17 = -5*n - 2. Suppose -d = n*d - 8. Suppose 0*y - 70 = -5*y - 2*s, d*y = -5*s + 28. Is y composite?
True
Let g = -384 - -715. Is g composite?
False
Suppose 3*x + 1 - 13 = 0. Suppose 7*b - 6 = x*b + 3*r, 4*b + 2*r - 14 = 0. Suppose 0 = b*z + 2*z - 295. Is z a composite number?
False
Let n be 1268/(-10) - 2/10. Let f = -12 - n. Is f composite?
True
Suppose -5*m = 2*h - 3419, 5*m - 1875 = -5*h + 6695. Is h a composite number?
True
Suppose 2*x - 2*d + 118 = 0, -3*x = d + 76 + 81. Is (43/2)/((-9)/x) composite?
True
Let c = 4 - 4. Suppose -5*t - 2*l + 18 = c, 0 = -2*t - l + 3 + 4. Suppose -t - 2 = -2*r. Is r a prime number?
True
Let s(a) = -2*a - 8. Let t be s(-6). Suppose -63 = -x + t*d + 290, -2*d = 8. Is x a composite number?
False
Suppose -k = -6*k + 3*w + 961, k + 2*w = 187. Is k a composite number?
False
Suppose 0 = 12*i - 11*i - 149. Is i prime?
True
Let a = -164 - -313. Is a a composite number?
False
Let z = -8 - -11. Suppose -4*x - 72 = -n - z*n, -5*n - 4*x + 54 = 0. Is n a prime number?
False
Suppose 3*c - 4797 = 3*r, 3202 = 2*c - 0*r - 4*r. Is c prime?
True
Suppose 0 = -a + 368 + 809. Is a prime?
False
Suppose 49 + 5 = -3*n. Let b = 131 - n. Is b composite?
False
Let v be ((-3)/4)/(3/(-12)). Suppose m = -v*m + 1004. Is m a composite number?
False
Suppose 1395 = -t + 5*t - 5*j, 4*t - j - 1415 = 0. Suppose -55 = 5*x - 5*g - t, -2*x + 5*g + 129 = 0. Is x a composite number?
True
Let d = 12 + -9. Suppose -d*l = 2*l - 70. Is l a prime number?
False
Suppose 13*h = 3248 + 15. Is h prime?
True
Let x(p) = -2*p**2 - 8*p**2 + 21*p**2 + p + 24*p**2 - 1. Is x(1) prime?
False
Let d be 0*(2/1 + -3). Suppose -36 = -w + x, d = 3*w - 0*x - x - 112. Is w composite?
True
Let r be 10 + 0 - 6/3. Suppose -3*l + r = -4. Suppose m - a + 27 = l*m, 0 = -3*m - 2*a + 27. Is m prime?
False
Suppose -4*a + m + 1268 = -0*a, 3*a = -2*m + 940. Suppose 5*r = r + a. Is r a composite number?
False
Suppose 0 = -r - 0 + 3. Let g(y) = 16*y**2 + y + 2. Is g(r) prime?
True
Let a(o) = o**2 - 3*o + 4. Suppose -2*z = -3*z - 3*q + 5, -5 = -z + 5*q. Suppose -3*k + z*m + 13 = 0, 2*k - 29 = -3*k + m. Is a(k) a prime number?
False
Suppose 0 = -7*h + 3*h + 1120. Suppose -2*b - 5*p = -131, 2*p + p - h = -5*b. Is b a prime number?
True
Let g(n) = n**2 + 5*n - 25. Is g(18) a composite number?
False
Suppose 102 + 132 = 2*w. Suppose -3*t + 235 = 4*p, 3*p = -4*t - w + 302. Is p a prime number?
False
Let j(a) = 2*a**3 + a**2 - 4*a + 2. Is j(5) a prime number?
True
Let g = 37 + -58. Let u = -14 - g. Is u a composite number?
False
Let l be (-4)/10 - (-44)/10. Suppose l*b = 7*b - 78. Let h = b - 1. Is h a prime number?
False
Let s(t) = 74*t + 5. Is s(6) a prime number?
True
Suppose -8*k + 5*k + 393 = 0. Is k composite?
False
Suppose -5*v + 2415 = 5*s, 2*v - 956 = 3*s - 0*s. Is v a composite number?
True
Let f = -333 + 3332. Is f prime?
True
Let x = 205 - 91. Let v = 252 - x. Suppose -4*u + 191 = -d, -2*u - u = d - v. Is u prime?
True
Let h(l) = -4*l**2 - l + 7. Let r be h(-5). Suppose 0 = 2*s + s - 63. Let o = s - r. Is o composite?
False
Let t(g) = 10 - 6*g + 11 - 8. Is t(-9) a prime number?
True
Suppose 3*u = 17 - 5. Suppose 0 = -u*b + 8 + 20. Is b a prime number?
True
Suppose 5*p = -0*p + 10495. Is p a composite number?
False
Let d(p) = 2*p**3 - 9*p**2 + p + 5. Suppose 0 = 2*k + 2, -b + 2*k - 3 + 12 = 0. Is d(b) prime?
True
Suppose -4*s + 1683 + 1025 = 0. Is s prime?
True
Suppose 5*a = 7*a - 286. Is a prime?
False
Suppose d = 0, 3*a + 30 = -2*a + 2*d. Let q be 15/a*(-16)/1. Suppose -3*g + q = -215. Is g prime?
False
Suppose 0 = -5*u - 5, -2*u + 16 = 5*y - 3*u. Suppose 5*r = 4*a + 51, -16 = -y*r - 4*a + 21. Is r prime?
True
Let h(y) be the first derivative of -5/2*y**2 - 3 + 4*y. Is h(-9) composite?
True
Let d = 6 + 12. Let y be (-2)/9 + (-410)/d. Let x = 14 - y. Is x composite?
False
Let h(s) = s + 6. Let p be h(-9). Let z = p - 2. Is (z/(-2))/((-8)/(-48)) a composite number?
True
Is 4/10 - 6957/(-45) a prime number?
False
Let y be (-2)/2*-19 - 2. Suppose 0 = 3*z - 5*s - 50, 0 = -5*z + 5*s - 33 + 123. Suppose z = w - y. Is w a composite number?
False
Let p(k) = -12*k - 5. Let b(s) = s - 4. Let y be b(8). Suppose y*i - 3*i = -5. Is p(i) prime?
False
Suppose 0*a = 3*i + 5*a - 133, a + 259 = 5*i. Let g = i + -28. Is g prime?
True
Suppose -269 = -15*d + 3496. Is d a prime number?
True
Let v(j) = 4*j**2 - j - 1. Let o be v(2). Suppose -3*t = -4*b - b - 41, 3*t = -2*b + o. Is t a composite number?
False
Suppose 3 = -c + 9. Let k(b) = 2*b + 4. Let x be k(c). Suppose u = 69 + x. Is u a prime number?
False
Suppose -5*u + 15 = 2*o, 0*u + 13 = 2*o + 3*u. Suppose o*y + 70 = 5*t, -t + 2*y = 1 - 16. Is t prime?
True
Let v(q) = -q**3 - 25*q**2 + 11*q - 55. Is v(-26) composite?
True
Let r(u) = 6*u + 7. Suppose -5*h + 20 = -5*a - 45, 2*a - 6 = -2*h. Let i be r(h). Suppose 5*b - i = 20. Is b a composite number?
True
Let i(b) = -4 + 2 + 10*b**2 + 0 - 5. Is i(3) prime?
True
Let o(w) be the third derivative of -w**5/60 + w**4/6 - w**3/6 + w**2. Let i be o(3). Suppose 0 = i*l - 3*l + 14. Is l a prime number?
False
Suppose -6297 = -22*b + 19*b. Is b a prime number?
True
Suppose -4*y + 35 = -6*o + 3*o, -3*o - 15 = 0. Suppose -p + 55 = -2*l, p - 56 = -2*l + y*l. Is p composite?
False
Let f = 60 + -34. Suppose 4*t + 6 = f, -92 = -r - 2*t. Is r prime?
False
Let c(y) = 48*y + 3. Let s(k) = -96*k - 7. Let f(t) = -7*c(t) - 4*s(t). Is f(4) a composite number?
False
Let j(t) = -t - 17. Let r be j(-5). Suppose -4*m + 3*v = -67, 7*v + 20 = 3*v. Let x = m - r. Is x composite?
True
Let k(i) = -31*i**3 + 2*i**2 - i. Let r(f) = -f**3 + 4*f**2 + 4*f + 6. Let h be r(5). Let m be k(h). Let u = 44 + m. Is u a composite number?
True
Let i(l) = -l**3 - 8*l**2 - l - 6. Let k(s) = 8*s. Let m be k(-1). Let d be i(m). Is (1/d)/(4/104) a prime number?
True
Let c(i) = -i**3 -