3 - (2 - q) prime?
True
Let z(w) = 5873*w**3 - 2*w**2 - 2*w + 4. Is z(1) composite?
True
Suppose 22 = -2*i - c - c, -3*i + 5*c - 57 = 0. Let x(m) = m**3 + 15*m**2 + 10*m + 11. Is x(i) composite?
False
Let j be -1 - (5 + -1)*-1. Suppose -3*f + 0*c = j*c + 15, -5*c + 55 = -5*f. Is 11*-2*4/f prime?
True
Let m = -23 - -20. Is m - 6*1182/(-9) a prime number?
False
Let i = 19 + -17. Suppose -y - i*y = 0. Suppose y = -w - f + 53, 259 = 5*w + 5*f - 3*f. Is w composite?
True
Is 5*(-1 + 0)*(-70872)/24 a prime number?
False
Let h = 143029 + -26318. Is h a prime number?
False
Suppose 0 = z + 22 - 29. Suppose z*i - 13027 = -0*i. Is i a composite number?
False
Let b(c) = 13*c**2 + 6*c + 3. Let v(d) = 13*d**2 + 5*d + 3. Let f(m) = -3*b(m) + 4*v(m). Let j be (0 - -1)/(1/(-4)). Is f(j) a prime number?
False
Suppose -5*k - 57 = -c, 0 = -7*c + 4*c - 3*k + 99. Suppose -2*w + 2*h - 1 = 3, -5*h = 4*w - c. Suppose w*s + 0*s = 753. Is s composite?
False
Let a(n) = -78*n - 3. Let s be a(-1). Suppose 0 = 6*j - 5*j - s. Is ((-570)/j)/(1/(-5)) a composite number?
True
Suppose 2*x - 6*x + 240 = 0. Let g = -43 + x. Suppose 0 = j - 5*z - 125 + g, -4*j + 417 = -5*z. Is j a prime number?
True
Let k(o) = 254*o**2 - 26*o - 151. Is k(-6) composite?
True
Suppose 5*k + 5*a = 3250, -7*a + 3*a - 3223 = -5*k. Is k a prime number?
True
Let q = -32038 + 61101. Is q a prime number?
True
Let g be 5/(1 + 2 + -2). Suppose 0 = g*u - 2*u - 516. Suppose -u = -2*s + 2*q, 157 = 2*s - 0*s + 3*q. Is s composite?
False
Let n = -8257 + 12859. Suppose -2*l - n = -8*l. Is l composite?
True
Let a be (-1)/(4*1/40). Let j(k) = -15*k + 11. Is j(a) a composite number?
True
Suppose -12 + 18 = y. Is (4/y)/(22/6963) a prime number?
True
Let d = -119 - -141. Is d prime?
False
Suppose -8*q = -3*q - 15. Suppose 0 = -5*l - c + 2035, -q*c = c. Is l a prime number?
False
Let g(f) = 12*f**3 + 4*f**2 - 5*f + 5. Let s(z) = -25*z**3 - 7*z**2 + 10*z - 10. Let l(t) = 5*g(t) + 2*s(t). Is l(4) composite?
True
Let u(r) = r - 16. Let n be u(18). Let j(t) = 18*t**3 - 4*t**2 + 3*t - 1. Is j(n) a composite number?
True
Is -2*((-446)/(-4))/(2/(-14)) prime?
False
Let y(s) = 4502*s**2 + 14*s - 1. Is y(-1) composite?
True
Suppose 2*g + 2*z - 13112 = 0, -6*z + 5*z = 5*g - 32784. Is g composite?
True
Is 12/(-32) + (-310267)/(-136) composite?
False
Let x(i) = 4*i**3 - 3*i**2 - 2*i + 4. Let k be x(5). Suppose -d + k = -0*d. Is d prime?
True
Let z be 0 + -2 + 0 - -63. Suppose -15 - z = g - 3*w, 0 = 2*g + 2*w + 120. Let f = -33 - g. Is f prime?
True
Let p(t) = -t - 8. Let x be p(-12). Suppose 4*h - 4 = x. Suppose 0 = 5*r - 3*o - 433, -4*r + h*o = 33 - 381. Is r composite?
False
Suppose 0 = -6*k - 320 - 400. Is (38/(-8))/(-3*(-2)/k) a prime number?
False
Let x = 3 - 3. Suppose -3*b + 0 - 10 = -2*q, 5*b - q + 19 = x. Let d(z) = -z**3 + 2*z**2 + 2*z + 3. Is d(b) prime?
False
Let q be 5 + -353 - 1*(1 + 0). Let i = q - -558. Is i prime?
False
Suppose 0 = -5*b + 3*p + 5915, -p + 23 = -3*b + 3576. Is b composite?
True
Suppose 0 = 4*p - 4, 19*p - 66316 = -2*i + 17*p. Is i a prime number?
False
Is (13369/58)/(0 - 2/(-20)) composite?
True
Let j(t) be the first derivative of -3*t**4 - t**3/3 + 5*t**2/2 - 3*t - 2. Let k(a) = -a**3 + a**2. Let s(l) = -j(l) + 4*k(l). Is s(3) composite?
True
Let w(i) = -i**3 - 4*i**2 + 7*i + 6. Let g be w(-5). Let v be (-109)/5 + g/20. Let n = v + 61. Is n composite?
True
Let z(h) = 2*h**3 - 6*h**2 - h + 5. Let n be z(4). Let f = 33 - n. Suppose -2*b - 8 = 0, -3*v + 2*b + 91 + 10 = f. Is v a prime number?
True
Suppose -5*a + 0*a = -40. Suppose -3*o + a*o - 15 = 0. Suppose 0 = 5*l + 2*r - 1006, 5*l + 5*r = o*l + 394. Is l a prime number?
False
Is (5915260/(-90))/(-2) + 8/18 prime?
False
Is 3422/4*(11 + -9) composite?
True
Suppose c - 55 = 29. Suppose -2*o + 255 = -5*z - 408, 4*z - o + 531 = 0. Let t = c - z. Is t prime?
False
Is (2/(-14))/(15/(-103215)) composite?
False
Suppose -z - 2*d = -3723 - 1861, -5*z + 27845 = -5*d. Suppose 0 = 2*v - 4*g - z, -v + 4331 = -3*g + 1544. Is v composite?
True
Let i = 105 - 74. Suppose 0*q + q = i. Is q composite?
False
Let w(j) be the first derivative of j + 2 - 1/2*j**2 + 9/4*j**4 + 0*j**3. Is w(1) composite?
True
Suppose -236407 = -4*r - 5*d, r - 47878 - 11220 = -2*d. Is 6 - r/(-24) - (-1)/6 a prime number?
False
Suppose 0*s = 3*s - 2*k + 2, 5*k = -s + 5. Suppose -722 = -4*h + 2*g, s*h + 2*h - 349 = -3*g. Is h a composite number?
False
Let x(n) be the second derivative of 97*n**5/20 + n**4/12 - n**3/6 + n**2/2 + 4*n. Let r be x(1). Suppose -6*w = -4*w - r. Is w composite?
True
Let m(k) = 109*k + 1. Let n = -1 - 10. Let x(i) = -i**3 - 12*i**2 - 12*i - 7. Let w be x(n). Is m(w) composite?
True
Let k = -35 - -40. Suppose 8*p - 483 = k*p. Is p composite?
True
Let g = -36 + 194. Let a = 873 + -602. Suppose -a = -2*c - 5*l, 6*l - l + g = c. Is c composite?
True
Let u(n) be the second derivative of n**5/20 - 3*n**4/4 - 2*n**3 + n. Let q be u(10). Is (-4)/q + 3068/10 composite?
False
Suppose 2*q + q + 2*t + 5008 = 0, -5*q - t - 8335 = 0. Let h = 2388 + q. Suppose -6*f = -h - 832. Is f prime?
False
Suppose 4*d - 26 = 22. Let l be (-9)/((-21)/d - -1). Suppose l*k - 28 = 8*k. Is k a composite number?
False
Let u(r) = -707*r - 60. Is u(-11) a composite number?
False
Let t(r) = 85*r + 6. Let q(x) = -4*x - 7. Let f be q(-4). Let l(c) = 43*c + 3. Let j(o) = f*l(o) - 4*t(o). Is j(10) a prime number?
False
Let f = -2976 - -4200. Suppose 2*k - 10 = 0, 4*s + 3*k - f - 779 = 0. Is s a composite number?
True
Let n = -43 - -61. Let k be (-2)/3 - (-66)/n. Suppose k*z + 70 = 5*z. Is z composite?
True
Suppose -5*s = 3*d - 3145 - 13248, 4*s + 21900 = 4*d. Is d a prime number?
True
Let q(w) = -10*w - 13. Let x be q(-5). Let c = x - 34. Let b(g) = 53*g + 2. Is b(c) prime?
False
Let y be 3/(-6)*(-3 - -6377)*-1. Suppose 3*c + 7*a - 5*a - y = 0, c - 3*a - 1055 = 0. Is c composite?
False
Let o(z) = z**2 + 27*z + 29. Let a be o(-15). Let g = a + 236. Is g prime?
False
Is ((-2202)/9)/((-28)/546) composite?
True
Suppose 20*g + 1707418 = 82*g. Is g a composite number?
False
Let r = -70 - -641. Is r a composite number?
False
Let u(c) be the second derivative of c**4/6 - 5*c**3/3 - 9*c**2/2 + 3*c. Is u(15) prime?
False
Let w = 1656 + -768. Suppose 0 = -4*p + w + 276. Is p a prime number?
False
Suppose -4*x + 6*x + 2058 = 0. Let q = -538 - x. Is q a prime number?
True
Let z = -527 + 44. Let y = z + 865. Is y prime?
False
Suppose 3*h - m = 20 - 3, m = 1. Let j(g) = 31*g + 25. Is j(h) a prime number?
True
Suppose 7*s - 2*s + 4*a - 56031 = 0, 5*a - 44823 = -4*s. Is s a prime number?
False
Let p(w) = 318*w - 5. Suppose i = -0*i + 5, -4*k = 3*i - 31. Is p(k) a composite number?
True
Let i(w) be the first derivative of -7*w**4/4 + 5*w**3/3 - 3*w**2 - 7*w + 20. Is i(-7) prime?
False
Let y(v) = -v**3 + 23*v**2 - 22*v - 22. Is y(16) prime?
False
Let p = -7 + 9. Suppose 5*o + 5780 = p*f + 14033, o + 4*f - 1655 = 0. Is o prime?
False
Is 6299 + (-6 - (8 - 12)) composite?
True
Let w = -763 + 431. Let m = w - 39. Is 7/(-35) - m/5 a composite number?
True
Suppose -4*k + v + 4 = 0, 2*k - 5*v + 1 = 21. Suppose -2*d + 780 = l - 5*l, k = -2*d + 2*l + 780. Suppose -n + 94 = -0*n + 3*y, -5*n + y + d = 0. Is n prime?
True
Suppose u - 1679 = -5*c, 4*u - 12*c = -13*c + 6678. Is u a composite number?
False
Let q(v) = v**3 + 11*v**2 + 10*v. Let f be q(-10). Suppose 5*p = -f*p + 255. Is p composite?
True
Let y(a) = 796*a - 25. Suppose -10*g - 13 + 133 = 0. Is y(g) a composite number?
True
Let d(t) = 2*t - 5*t + 0*t + 1 + 4*t + 31*t**2. Is d(2) a composite number?
False
Let d = 109 + -73. Let s = -31 + d. Suppose -s*z + 2607 - 662 = 0. Is z prime?
True
Suppose -2*x - 6*r = -r - 13, -2*x + 10 = 2*r. Suppose -x*j - 5 = -5*j, -3*s = j - 449. Let v = -53 + s. Is v a composite number?
True
Let n = -750 + 3031. Is n a composite number?
False
Let x(c) = -6 - 2*c - 4 + 3. Let k be x(-6). Suppose -p = 4*o - 296, k*p + 215 + 7 = 3*o. Is o a composite number?
True
Let y(s) = 1888*s + 7. Is y(7) prime?
False
Let b = 202 - -145. Let z = b - 156. Is z a prime number?
True
Suppose 5*z + m + 695 = 6*z, -3*z + 2057 = 4*m. Is z a composite number?
False
Let h(z) = 45*z**2 - 3*z - 8. Let a(c) = -90*c**2 + 5*c + 16. Let r(p) = -3*a(p) - 5*h(p). Is r(5) a prime n