 + a/(-35) a prime number?
False
Let x(w) = -3*w**3 - 1. Suppose -d - 32 = -5*y, -2*d = 4*y + 2*d - 16. Let m = y + -7. Is x(m) a prime number?
True
Suppose 30 = 3*n - 0*a + 3*a, -3*a = 5*n - 40. Suppose -3*g + n*p = -176, -61 = 2*g - 3*g + 4*p. Is g prime?
False
Suppose -13*j + 13865 + 448 = 0. Is j a prime number?
False
Let x(i) = -3 - 2*i - 3*i**2 + 2*i**2 - 4*i. Let m be x(-5). Let b = m + 0. Is b prime?
True
Let r = 9 - 6. Suppose 0 = 2*u + r*p - 49, -5*u + 112 = -3*p - 0*p. Is u composite?
False
Suppose -4*l - 34 = -3*n, -4*l - 2*n - n = 22. Let k = l - -12. Suppose -k*p + 150 = -35. Is p a composite number?
False
Let i(f) = -f**2 - 123. Let s be i(0). Let k = -44 - s. Let q = 122 - k. Is q a composite number?
False
Let o(r) = -r + 10. Let j = 4 + 6. Let f be o(j). Suppose f*n = 3*n - 633. Is n a prime number?
True
Suppose -4*y + 3*l + 1304 = 0, -l = 5*y - 4*l - 1633. Is y a composite number?
True
Suppose -2*l + 2*k - 5*k = -154, -231 = -3*l + 2*k. Is l a composite number?
True
Suppose 0 = 3*y - 21 - 0. Let r(z) = 16*z - 6. Let s be r(y). Is (-6)/(-4)*s/3 a composite number?
False
Let b(j) = -42*j + 8. Let s be b(3). Let h = -1 + -1. Is h/3 - s/6 a composite number?
False
Let s be (8/3)/((-2)/(-3)). Suppose 0*i = -s*i + 380. Is i a composite number?
True
Let d(k) = k**3 + 11*k**2 + 10*k + 3. Let r be d(-10). Suppose l + 5 = 0, r*u = -2*u + 5*l + 45. Suppose -u*c + c = -345. Is c prime?
False
Let i(u) = 18*u**2 - 3*u - 2. Let x be i(3). Let b be (x + 1)*(-15)/(-20). Let j = b + 4. Is j composite?
True
Let s(g) be the first derivative of -g**4/4 - 2*g**3/3 + g**2 - 3*g + 1. Is s(-4) a prime number?
False
Suppose 13*j - 10*j = 2721. Is j prime?
True
Let c be -1123 + -2 + 1 + -1. Let a = 710 + c. Is a/(-4) - (-12)/(-16) a composite number?
False
Let w = 7 + -1. Is 110/w - 4/(-6) a composite number?
False
Let n = 756 + -277. Is n a composite number?
False
Let h = 4 - 6. Let b(j) = 5*j**3 - 3*j**2 - 4*j - 7. Let r(x) = -x**3 + 1. Let v(w) = -b(w) - 4*r(w). Is v(h) prime?
False
Let p be ((-15)/6)/(2/(-4)). Suppose 2*a - 14 = 4*i, 2*i + a = -0*i - p. Is (-3 - 3/i) + 8 a composite number?
True
Is (-16)/(-7) - 12/42 a composite number?
False
Suppose 2*d - 322 = -0*d. Is d composite?
True
Let y = -526 + 736. Let w = y + -127. Is w composite?
False
Suppose 4*x - 3*d = 673 - 101, 0 = -x + 3*d + 143. Is x a prime number?
False
Suppose 4 = -5*d - o + 22, -8 = -d + 2*o. Suppose d*y + 1772 = 8*y. Is y prime?
True
Let x be 4/6 + 77/33. Suppose -x*t = -3*w - 140 + 20, 0 = 3*t + 4*w - 141. Is t composite?
False
Suppose -u - m = -5*u - 75, -3*u = 2*m + 59. Let r = 18 - u. Is r prime?
True
Let n = -2627 - -4536. Is n a composite number?
True
Let a be 4/10*(-4 - 1). Let x(q) = q**3 + q**2 + q. Let i be x(a). Let k = i - -83. Is k a prime number?
False
Suppose -68 + 291 = d. Suppose -7*s = -6*s - d. Is s a prime number?
True
Let h(f) = f + 121. Let g(v) = 4*v**2 - 1. Let s be g(-1). Suppose p + 5*u = -20, p + 2*u + 11 = s. Is h(p) composite?
True
Let h be ((-2)/3)/(4/(-12)). Suppose 0 = -0*x - x + h. Is x a prime number?
True
Let q(y) = -y - 8. Let o(w) = -4 + 3*w + 16 - 9 + 20. Let s(m) = 4*o(m) + 11*q(m). Is s(6) composite?
True
Let p(d) = d**2 - 5. Let v be p(0). Let x = v - -8. Suppose -3*u - 392 = -6*r + r, 236 = x*r - u. Is r prime?
True
Let c be (-2899)/(-7) - 4/28. Let r = 721 - c. Is r a prime number?
True
Let l(i) = 124*i - 5. Is l(1) a composite number?
True
Let n(t) = 4*t - 4. Let y be n(4). Is 3/18 - (-634)/y prime?
True
Let n(k) = 4*k - 9. Let u be ((-2)/(-2)*23)/(-1). Let j = -16 - u. Is n(j) composite?
False
Suppose 5*q - 17 = -4*b, 6 = 3*q + 4*b - 1. Suppose -2*i = q*y + 5 - 13, 2*y = i + 5. Is (1 - -56*1) + y composite?
False
Suppose 0 = -4*h - 4*o + 784 + 1220, 511 = h - 4*o. Is h a prime number?
True
Suppose -26*w - 3143 = -33*w. Is w composite?
False
Let m(u) = 22*u + 3. Is m(8) composite?
False
Let x(c) = c + 8. Let g be x(-8). Suppose g = -3*r - 4*m + 175, -r + 4*m = -38 - 31. Let b = r - 26. Is b composite?
True
Is (10 + 1544)*(-6)/(-4) + 2 a composite number?
False
Suppose 134 = -3*t + 5*t. Is t prime?
True
Suppose 3*i - 9 = -3. Let m(r) = -3*r + 5*r - 3*r + 4*r - i. Is m(3) prime?
True
Let f(a) = -7*a**3 + 2*a**2 + 13*a + 3. Is f(-6) a prime number?
False
Let u(r) be the first derivative of r**5/20 - 5*r**4/12 + r**3/3 - 2*r**2 - r + 1. Let d(n) be the first derivative of u(n). Is d(5) prime?
False
Is 1 + 2 - (-60 - -6) a prime number?
False
Let a(k) = 54*k + 3. Is a(4) a composite number?
True
Suppose u = -3*u + 392. Suppose 0 = -3*b + 5*b - u. Is b a composite number?
True
Let h(q) = -q + 4. Let n be h(5). Let z be (-260)/(-16) - n/(-4). Suppose 3*x - 148 = b + z, -2*b + 43 = x. Is x a prime number?
True
Let p(s) be the first derivative of -s**4/4 - 2*s**3/3 + 4*s**2 - 2*s - 3. Is p(-7) a composite number?
True
Suppose -q = -2*q - s + 1260, -2*q + 2526 = 4*s. Is q prime?
False
Let y = 172 + -297. Let q = 294 + y. Is q prime?
False
Let b be 1/(3 - (-6)/(-3)). Let w = b - -2. Suppose 27 = w*f - 3*r, 4*r = -4*f - r + 18. Is f prime?
True
Let q = 7 + -8. Let d(t) = -98*t**3 - 2*t**2 - 2*t - 1. Is d(q) a composite number?
False
Suppose 3*t + 3*d - 12 = 0, 0*t + 5*d = 2*t - 15. Suppose -3*f + 25 = 5*y, 0 = -t*f + 5*y - 18 + 73. Is f a composite number?
True
Let j(r) = r. Let w be j(5). Let g be (0/(-1) - -2) + w. Let b = 12 + g. Is b prime?
True
Let x(h) = -h**2 - 11*h - 10. Let z be x(-10). Suppose c = t + 3 - 2, z = -c - t + 5. Is (301 - c)/(-2)*-1 prime?
True
Let t(l) be the first derivative of 2*l**2 - 7*l - 3. Is t(7) prime?
False
Let y be (1 - (1 - 34)) + -2. Let q = 14 + y. Is q composite?
True
Let p(y) = y**3 + 10*y**2 + y + 14. Let v be p(-10). Suppose 508 = v*z - 408. Suppose -5*j = -4*g + 189, 5*g - 3*j - z = -4*j. Is g composite?
True
Let s be 1/5 + (-5)/25. Suppose s*w + 129 = 3*w. Suppose -u + w = -10. Is u a prime number?
True
Let g(s) = -s**3 + 4*s**2 + 6*s - 1. Suppose -4*i = -i - 15. Let p be g(i). Suppose -18 = -p*k + 42. Is k composite?
True
Is (717/(-6) + 2)*-2 a prime number?
False
Suppose 0 = -4*v + 5*v - 865. Is v a prime number?
False
Let h be 0*(-2)/(-2) + 4. Is ((-3)/h)/(1/(-68)) composite?
True
Let w = -1117 + 2172. Is w composite?
True
Let w = 3884 - 2485. Is w composite?
False
Let t(m) = -2*m. Let y be t(-1). Suppose -125 = -5*c - 3*h, -5*c + 90 = y*h - 6*h. Is c composite?
True
Let j = 474 - 268. Suppose j = 4*y - 26. Is y composite?
True
Suppose -3*n + 11 + 1 = 0. Let k(g) = 3*g**3 - 5*g**2 - 4*g + 5. Let w be k(n). Suppose -3*q + 4*l + 73 = -2*q, -2*q = l - w. Is q a composite number?
False
Let q = -9 + 79. Suppose 4*t + q = 6*t. Is t a prime number?
False
Let u = 2604 + -1219. Is u prime?
False
Suppose 7 = 2*y + 3. Let n(g) = 4*g + 2. Is n(y) composite?
True
Let k(p) be the second derivative of 8*p**4/3 + p**2/2 - p. Is k(1) prime?
False
Suppose -2*f + 3*f - 2 = 0. Is 8/(-4)*(-67)/f a composite number?
False
Let t(a) = -a**3 + 15*a**2 - 8*a - 25. Is t(11) composite?
True
Let l be (-1)/(3 + 10/(-3)). Suppose -5*b + l*b = -662. Is b a composite number?
False
Let f(n) = n**2 + n + 1. Let v(y) = -y**3 + y**2 - 6*y. Let b(x) = -4*f(x) - v(x). Let j be b(6). Suppose j + 62 = 2*c. Is c composite?
False
Let u = 292 - 178. Let i(m) = m**3 + 13*m**2 + 10*m - 11. Let q be i(-12). Suppose f - q = u. Is f a composite number?
False
Let z(n) = -n**3 - 9*n**2 - 8*n + 3. Let i be z(-8). Suppose i*m - 41 = 31. Let l = 61 - m. Is l a prime number?
True
Let t(u) be the second derivative of 5*u**4/12 - u**3/6 + 5*u**2/2 + 4*u. Is t(-6) a prime number?
True
Let s = -120 + 30. Let h = -35 - s. Is h a prime number?
False
Suppose -24 = -3*i - 9. Suppose 4*a + i*u = 207, -3*a + u + u = -184. Is a a composite number?
True
Suppose -4*c + 39 = -21. Suppose d - 5*k - 5 = -0, 4*d - 3*k - 105 = 0. Let b = d - c. Is b a composite number?
True
Let b(s) = s**2 - 4*s - 5. Let p be b(5). Suppose -2*y - 3 + 7 = p. Suppose -v - 57 = -2*m - y*v, 26 = m + v. Is m a prime number?
True
Suppose -b = -0 - 4. Suppose b*i = 2*i + 2*p + 8, -3*p + 30 = 3*i. Is i a composite number?
False
Suppose -2*j = -2*m - 158, -3*m + 4*m + 153 = 2*j. Let u = -39 + j. Is u prime?
False
Let f(c) = 2 - 2*c**2 - c - 1 + c**2. Let g be f(-3). Let a(x) = -8*x + 3. Is 