 (4 - 2)/(y/(-191)) a prime number?
True
Let z(q) = q**3 - q**2 + 2. Let k be z(0). Let p(j) = 3*j**3 + 3*j**2 - 2*j + 3. Let s be p(k). Suppose 0 = -2*t + s + 7. Is t prime?
False
Suppose u + 32 = 3*n, 42 = 5*n + 3*u + u. Is n composite?
True
Suppose 5*q - 614 = -2*o + q, -3*o = -3*q - 921. Is o a composite number?
False
Suppose -2*c - 3*b = 3, -3*c - 3 = b + 3*b. Let o be (-13)/(-3) + (-1)/c. Suppose 3*j + s - 160 = 2*j, 0 = o*j - 2*s - 658. Is j a prime number?
True
Let j be 4510/25 + (-6)/15. Suppose -3*y + 449 = -o, 2*y - 4*o = j + 126. Is y prime?
True
Suppose 121 = c - 28. Is c composite?
False
Let d be (-7)/(-1) - (1 + 1). Suppose 0 = -d*r - 0*r + 15, t - 5*r - 44 = 0. Is t a composite number?
False
Let a = 2127 - 1436. Suppose -5*k + 139 = -a. Is k a prime number?
False
Is (0 + 2)*877 - (2 - 5) a composite number?
True
Let t(k) = k**2 + 2*k + 9. Is t(4) composite?
True
Let z(x) = x - 1. Let r be z(4). Suppose 4*a - 5*s = -20, -3*s = 2*a - s - 8. Let o = r - a. Is o a prime number?
True
Suppose -61*h = -67*h + 18618. Is h prime?
False
Let r = 106 + 120. Is r prime?
False
Let z(n) = 5*n**2 - 2*n + 4. Suppose -2*v + v - 2 = 0, 0 = 4*h + 5*v + 6. Suppose 10 = -3*t + h. Is z(t) a prime number?
False
Let c = -1286 - -4035. Is c a composite number?
False
Let q(x) = 4*x**2 - 5*x - 5. Let a = -4 + -2. Let v be q(a). Suppose 2*p = -s + 95, 0*s + 3*p = 2*s - v. Is s composite?
False
Suppose 0 = -4*f - 3*r + 88, -4*f + r + 88 = -4*r. Suppose 0 = -5*c + 15 + 10. Suppose -3*s = c*k - 109, -5*k - 4*s + 85 = -f. Is k prime?
True
Suppose 0 = 3*k + 2 + 4. Let j(d) = 41*d**2 + 2*d + 1. Is j(k) a prime number?
False
Let h be (-1 + 4)*204/18. Let r = h + -24. Suppose -1 = 3*b - r. Is b prime?
True
Suppose -5*t + 2724 = 5*n - 9796, 0 = -3*n + 9. Is t prime?
False
Let h = 1 + -1. Suppose 18*v = 17*v. Suppose v*y + 33 = 3*d - y, -d - 3*y + 11 = h. Is d a composite number?
False
Suppose 0 = -4*i - 0*i + 14140. Suppose -q + i = 4*q. Is q a prime number?
False
Let u(s) = -19*s + 2. Is u(-20) a composite number?
True
Let l = 11 - 8. Suppose -227 = -l*m - 68. Is m a prime number?
True
Let s be (1 - (-1)/(-2))*8. Let a(u) = -u**3 + 6*u**2 - 4*u - 1. Let n be a(s). Suppose -2*z = p - 81 + 24, 3*p + n = 0. Is z prime?
True
Suppose 2*c = -2*t - 26, -3*c + 5*t - 75 = 2*c. Let y be (-2314)/c - 10/35. Suppose v = -2*v + y. Is v a prime number?
False
Suppose 0 = 3*b - b - 8. Suppose 5*i - 2498 = 3*a, b*i - 1992 = -2*a - 2*a. Is i prime?
True
Let y(n) be the second derivative of 1/2*n**3 + 0 - 3*n + 2*n**2. Is y(5) composite?
False
Let i(q) be the third derivative of 2*q**5/15 + q**4/24 + q**3/6 - 3*q**2. Is i(-2) a prime number?
True
Suppose 3*m - 7*m = -10156. Is m a prime number?
True
Let c = 46 + 69. Is c a prime number?
False
Let k(q) = -q**3 + 8*q**2 - 2*q + 2. Is k(5) a composite number?
False
Suppose 2 = -5*i + 12. Suppose 0*f = -4*r + 2*f + 16, 3*r = i*f + 11. Suppose 0 = -2*y - 3*y - r*k + 50, 55 = 4*y + k. Is y prime?
False
Let j = 639 - -80. Is j a composite number?
False
Let s = -10 - -14. Let m = 4 - s. Let a = 6 - m. Is a prime?
False
Let s(t) be the third derivative of t**5/24 - t**4/24 + t**3/2 + 2*t**2. Let l(o) be the first derivative of s(o). Is l(3) prime?
False
Suppose -13 = -t + w, t + 17 = -5*w - 0. Suppose 3*v + 5 = c + 3, 4*c + 2*v = t. Is (c - -40)*2/4 prime?
False
Let p = -4154 - -5887. Is p a prime number?
True
Let x be (-179)/4 - 2/8. Let a = 7 + -1. Is 0 - 2*x/a a composite number?
True
Suppose 4*n = 2*r - r - 72, -3*r - 2*n + 286 = 0. Let q = 163 - r. Is q prime?
True
Let t be 3/5*(0 - -5). Is 2 + (301 - -1) + t a composite number?
False
Suppose -24771 = -4*v + 769. Is v prime?
False
Suppose -8*p = -6*p - 2942. Is p a prime number?
True
Suppose l + 863 = 2*m, -5*l = 3*m - 725 - 563. Is m a composite number?
False
Let f(p) = p**3 - 2*p**2 + 8*p - 36. Is f(5) a prime number?
True
Let i be (-1 - 1)*3/6. Let g(d) = 222*d**2 + 1. Is g(i) prime?
True
Let i(h) = -h - 2. Let l be i(-5). Suppose -16 = l*j - 4*g, 2*j = -5*g + 4*g + 4. Suppose -6*o + 4*o + 62 = j. Is o a prime number?
True
Let p be 15/4 - 5/(-20). Suppose p*j - 2*j - 132 = 0. Suppose j = s - 13. Is s a prime number?
True
Suppose q + 4*q = n + 322, 4*n = -5*q + 337. Is q a composite number?
True
Let v(a) = -23*a + 5. Let s be v(-8). Let l = s + -128. Suppose y - 60 = -f, -y + 14 + l = 4*f. Is y composite?
True
Let q = 4 + -1. Suppose 5*f + 0*f - 62 = -q*x, -f - x = -12. Is f a prime number?
True
Is 0 + 3000/4 + 1 a prime number?
True
Let n(q) = 4*q**3 - 4*q**2 - q. Let t(h) = 3*h**3 - 4*h**2 - 1. Let w(x) = -2*n(x) + 3*t(x). Let l be w(5). Let v = l - 13. Is v prime?
True
Let g(i) = 183*i**2 + i. Let t be g(-1). Let j = t - 61. Is j a composite number?
True
Suppose -3*l + 5*j = 2*l - 395, 230 = 3*l + 4*j. Let r be (6/(-3))/(1/22). Let m = l + r. Is m a prime number?
False
Let x be (5/10)/((-2)/12). Let v be 0 + 4 + (-4 - x). Suppose v*d - 284 + 83 = 0. Is d prime?
True
Suppose 1 = 3*n - 5. Suppose -2*l - 299 = -5*x + 87, 0 = -n*x - 5*l + 166. Suppose 4*z - 6 = x. Is z a prime number?
False
Let x(i) = -i**2 + 6*i - 2. Let j be x(4). Is (j/3 - -265) + -2 composite?
True
Let d(v) = 4*v**2 + 3*v - 5. Let y = -13 + 7. Is d(y) prime?
False
Suppose 3*r + 40 = 5*q - 0*q, -4*q + 2*r + 30 = 0. Let j(w) = -w**3 + 4*w**2 + 5*w - 1. Let b be j(q). Is b/(-3) - 98/(-3) prime?
False
Let a(m) = -26*m + 10. Let f(b) = b**2 - 9*b + 4. Let r be f(7). Let j be a(r). Suppose -78 = -2*q - 4*v, -5*v - j = q - 6*q. Is q prime?
False
Let n(p) = -7*p**3 + 3*p**2 + p - 1. Let g be n(-2). Suppose 73 = a + 5*t, a - g = -3*t - 0*t. Is a a composite number?
False
Is (-58047)/(-55) + (-4)/10 prime?
False
Let g = -105 + 592. Is g composite?
False
Suppose 0 = -2*q + 3*w - 9 - 3, -5*w + 20 = -5*q. Suppose -4*n + q*n + 596 = 0. Is n prime?
True
Let a(s) be the first derivative of -s**4/4 + 2*s**3/3 + 5*s**2/2 + s + 7. Is a(-6) a prime number?
False
Let l = 110 - 107. Let n be 1 - 2 - (-2)/2. Suppose 99 = l*q - n*q. Is q prime?
False
Let o(n) = -62*n + 1. Let z be (-2)/(-4) + 18/(-4). Is o(z) prime?
False
Let m(j) = 5*j**3 - 7*j - 1. Suppose 12 = 2*g + 2. Let q(c) = -4*c**3 + 6*c + 1. Let r(y) = g*m(y) + 6*q(y). Is r(4) prime?
False
Suppose -3*d = 4*t + 12, -4 = 2*t + 3*d + 8. Suppose 2*s - 6 + 0 = t. Suppose -109 = -s*i + n + n, i - 23 = 4*n. Is i a prime number?
False
Suppose -5*h = 5*o - 4566 - 4, o - 899 = -4*h. Is o a prime number?
True
Let k = 9 - 7. Suppose k*y - 195 = -y. Is y a prime number?
False
Suppose 2*u = 4*n - 26, -5*n = -4*u - 4*n - 17. Is -2 + (266 - 2) - u a prime number?
False
Let m(s) = s**2 + 3*s - 5. Let g be m(-5). Suppose 47 - 537 = -g*f. Let i = f + -47. Is i a prime number?
False
Is ((-1)/(-1))/(17/3655) prime?
False
Let d = -2 - -8. Let k = -386 - -1401. Suppose -c - k = -d*c. Is c composite?
True
Suppose 0 = -2*c - 5 + 27. Suppose -3*y - 2*s = -4*y + c, 0 = 4*y - 5*s - 29. Suppose 3*x = 5 + y. Is x composite?
False
Let w be 0/(-3 + (2 - 0)). Suppose 2*m + 17 = h - 3*m, w = -2*m + 8. Is h prime?
True
Suppose -4*p = -3*t + 8, -2*p + 2*t = 3*t - 6. Let r(f) = 19*f + 1 + 2*f - 3*f. Is r(p) prime?
True
Suppose -5*i + 30 = 5*d, 6 = -i - 5*d - 4. Let o be 304/i - 2/5. Let g = o - 8. Is g a composite number?
True
Suppose 4 = -2*b + 4*p + 16, 15 = 4*b + p. Suppose -b*a - 3*u - u + 88 = 0, 60 = 5*a - 5*u. Let d = a + -3. Is d prime?
False
Suppose 0 = 5*j + 3*k - 418, -3*k + 86 = 2*j - j. Is j a prime number?
True
Let w(x) = -3*x**3 - 9*x**2 - 10*x - 13. Is w(-9) a composite number?
True
Is (-287)/(-5) - 4/10 a prime number?
False
Let a(h) = -19*h. Let m be a(3). Let d be (-2)/(-7) - m/21. Suppose 0*p = d*p - 447. Is p a prime number?
True
Let h be 2*-1*(0 - -1). Suppose 5 = -3*f - a - 3, -3*a + 9 = -2*f. Is (h - f)/(-1) - -63 composite?
True
Let x be -1 - 1 - (-1 + -3). Suppose 0 = x*a + 3*n - 62, a - 2*n + 6*n = 26. Is a a composite number?
True
Let s(g) = -2 + 6 + 1 - 15*g. Suppose m - 5*m = 16. Is s(m) a composite number?
True
Let i(w) = -4*w. Let f be i(-2). Suppose 4 = 4*r - f*r. Is -7*(3/3)/r composite?
False
Let k = -17 - -43. Is k prime?
False
Let t be (8/12)/(2/6). Suppose -4*q = t*q - 354. Is q a composite number?
False
Let g(w) = w**3 + 8*w**2 + 3*w - 6. Let i(v) = -v - 4. Let b be i(3). 