= -2*k + 3. Is f(s) prime?
True
Suppose -41 = h - 5. Suppose -2*x = -7 - 1. Is (-2548)/h - x/(-18) a prime number?
True
Suppose 9 = -3*o + 3*q, -o + q - 9 = o. Let b(d) = d**3 + 7*d**2 + 3*d - 5. Is b(o) a prime number?
True
Suppose 6*s + 2*i = 4*s - 8, 2*s = 2*i - 4. Is (s - 0)*(1 - 14) composite?
True
Let g = 2 + 0. Suppose -3*d + 427 = -g*d. Is d composite?
True
Is (-38)/95 - 937/(-5) composite?
True
Let g = 1687 + -206. Is g a prime number?
True
Let g(w) = -w**3 + 7*w**2 - w + 4. Let p(d) = -d**3 + 5*d**2 - 3*d. Let z be p(4). Let j = z + -1. Is g(j) prime?
True
Let n be ((-22)/(-4) - 4)/2*-20. Let p(g) = -g**2 - 5*g + 1. Let h be p(-4). Is 95 - h/(n/6) prime?
True
Suppose 0*v - 12 = -4*v. Let z(x) = 3*x - v*x**2 + 4*x - 11 + 4*x**2. Is z(-9) a prime number?
True
Let r(k) = k**2. Let n be -2 + (0 - -2) + 2. Is r(n) a composite number?
True
Let o(z) be the second derivative of -5*z**3/6 - z**2 + z. Let w be o(-2). Is ((-22)/(-8))/(2/w) composite?
False
Suppose -k + 660 = 2*k. Let x(z) = 2*z**3 + z - 3. Let t be x(-4). Let r = t + k. Is r composite?
True
Suppose -2*i + 17 = -5*d, 37 = -3*i - 0*d - 5*d. Is ((-218)/8)/(i/16) a prime number?
True
Let b(o) = -o**2 + o - 1476. Let w be b(0). Is w/(-5) - 4/20 prime?
False
Let k(z) = -13*z**3 + 2*z**2 - 3*z + 3. Let r be k(-3). Suppose -m - r = -4*m. Is m composite?
False
Suppose -r = -3*r + 254. Is r a prime number?
True
Let y = 6057 - 2464. Is y prime?
True
Let g be 2/4*-4 - -40. Let m = g + -23. Is (-1)/(-1 + 14/m) composite?
True
Suppose -20 = 2*k + 2*k. Let y(z) = 9*z**2 + 5*z + 1. Is y(k) composite?
True
Let m be (-206)/(-4) + 3/6. Let h = m + 22. Is h a prime number?
False
Let t be -2 - (-3)/((-12)/(-184)). Suppose 0 = -2*m + t + 114. Is m a composite number?
False
Suppose 0 = 3*t - 7829 + 542. Is t a composite number?
True
Suppose 4*x - a - 4 = 0, 1 = -3*a + 13. Suppose 0 = -2*y + 3*k + 96, -3*y + 3*k + 151 = x*k. Is y prime?
False
Suppose -63 = -3*x + 63. Suppose 4*t - x = -2. Is t a composite number?
True
Let b = 9 + -4. Let w(r) = r - 3. Let h be w(b). Is (h - 0)/((-1)/(-1)) composite?
False
Let n = 1342 - 896. Is n prime?
False
Suppose -3*v + 459 = 3*l, 3*v = -2*v - 2*l + 777. Is v prime?
True
Let r = 7 + 2. Suppose 3*o - 3*z - r = 0, 5*o - 13 - 2 = z. Suppose 0 = -5*j - 2*i + 265, -o*j + i + 159 = 4*i. Is j composite?
False
Let c = 99 + 67. Suppose 0 = 2*a - 3 - 3. Suppose 427 = a*g + c. Is g prime?
False
Suppose 82 = -3*u + 790. Let h = u - 125. Is h composite?
True
Suppose -11*c + 15*c - 44 = 0. Suppose 0 = c*g - 8*g - 1443. Is g a prime number?
False
Suppose 0 = 29*c - 19*c - 42710. Is c composite?
False
Let t(x) = 121*x - 2. Let b be t(-3). Let o = 515 + b. Let c = o - 71. Is c composite?
False
Let f(q) = 7*q**2 - q - 2. Let c be f(2). Let w = c - 34. Let r = 25 + w. Is r a prime number?
False
Let j be 25 - (3 + -2 + 2). Let u = 48 - j. Is u prime?
False
Let a be (-1)/2 - (-245)/2. Suppose 0*w = -2*w + a. Let i = 112 - w. Is i composite?
True
Suppose 4*z - 54 = z. Suppose -z = -4*o + 10. Is o a prime number?
True
Let u(a) = a**3 + 6*a**2 - 6*a - 5. Let d be u(-7). Let i = d - -8. Let z(q) = 4*q**2 - 4*q + 5. Is z(i) a prime number?
False
Suppose -12*s + 18449 - 3893 = 0. Is s a composite number?
False
Suppose -7 = 2*k - 1. Is 231 - (k - -3) - -2 a prime number?
True
Suppose -3 = -4*k + 5. Suppose d = -k*d + 69. Is d a composite number?
False
Suppose 0 = 2*q + l - 29, 5*q - 86 + 15 = -4*l. Suppose 25 = 5*r - q. Suppose -3*h = -r*h + 275. Is h a prime number?
False
Let m(v) = 171*v - 25. Is m(8) composite?
True
Suppose 832 = 4*o + 2*k, k = 3*o + 6*k - 617. Is o a prime number?
False
Let g = -326 - -467. Is g prime?
False
Suppose -15*m = 2*m - 87907. Is m composite?
False
Suppose -3*q + 3*f - 966 = 0, -167 = -3*q - 4*f - 1133. Let o = -191 - q. Is o composite?
False
Let w(r) be the first derivative of r**4/8 + 11*r**3/6 + 2*r**2 - 3. Let z(v) be the second derivative of w(v). Is z(8) a composite number?
True
Let c = 6 + -2. Suppose 0 = -5*n - 20, 0*n = -4*o + c*n + 36. Suppose 17 = o*f - 33. Is f a composite number?
True
Let y = 629 - -506. Is y a prime number?
False
Suppose 11311 = -8*a + 29975. Is a a composite number?
False
Suppose -14803 = -5*c - 0*c - 3*w, -c - w + 2959 = 0. Is c a prime number?
True
Let s = 8 + -12. Let x be (-1 - s)*(-6)/9. Is x + 1 - (-228)/6 composite?
False
Let h(m) = -12*m - 7. Suppose f = -4*f - 40. Is h(f) composite?
False
Suppose 5*z - 23 + 398 = 0. Is -1 + 2 + -2 - z a prime number?
False
Suppose 585 - 151 = 2*p. Is p prime?
False
Suppose -2*u = 2*z - 9446, 2*u + 2820 = z - 1897. Is z a prime number?
True
Let x(z) = 3*z**3. Let g be x(1). Let b(v) = 7*v**2 - 2*v - 2. Is b(g) a composite number?
True
Suppose 5*g + 2 - 17 = 0. Suppose g*v + 80 = 239. Is v a prime number?
True
Let y = -116 - 4. Suppose -2*s + 28 + 386 = 0. Let v = y + s. Is v composite?
True
Suppose 403 = 2*m - m. Is m composite?
True
Suppose -4*o + 229 = 3*w, 0*o + 55 = w - 4*o. Is w composite?
False
Suppose l + 446 = 3*t, 0 = 3*t + 2*l - 94 - 355. Is t a prime number?
True
Let u = 12 - 4. Let c be 28 - (2 - u/2). Is c/(-8)*(-10 + 6) prime?
False
Is (2/6)/(1/1443) a composite number?
True
Let w(h) = 5*h**2 - 4*h + 2. Is w(3) composite?
True
Suppose -o = h + 3*h + 10, 0 = 2*o - 5*h - 6. Let k be 0*(0 + 1)*-1. Is 35 - (o - k - -2) a prime number?
False
Let o(h) = -h**3 - 5*h**2 - 4*h - 5. Let k = -3 + 3. Suppose k = w + 4, 0*x + x = 2*w + 3. Is o(x) a prime number?
False
Suppose 5*c - 8*c + 879 = 0. Is c prime?
True
Suppose -2*g = l + 3*g + 18, 2*g = -5*l + 25. Is l composite?
False
Suppose 0 = -0*i - 4*i + 108. Suppose 4*u - 12 = -0*u, i = 4*k + 5*u. Is 129/(k + -2) - 2 a composite number?
False
Let o = 2 + 0. Suppose -g + 5*v = 23, -o*g = 2*g - 4*v + 28. Is g/2*(-112)/12 a composite number?
True
Let j(n) = n**3 + 7*n**2 + n - 3. Is j(5) composite?
True
Suppose 0 = 3*z - z. Suppose -2*t + t = z. Let m = t + 14. Is m a composite number?
True
Suppose 2*o - 32 = 8*a - 3*a, 3*a - 12 = -4*o. Is 6/(o/35) - 0 composite?
True
Let n(o) = -o**3 + 12*o**2 - 5*o + 3. Is n(11) a prime number?
False
Suppose -2*k + 75 = -371. Is k a composite number?
False
Let s(x) = -x**2 + 5*x - 2. Let o(j) = j + 12. Let k be o(-6). Let z be s(k). Let w = 45 + z. Is w prime?
True
Let z = -3 + 4. Is z*57/3*7 a composite number?
True
Let c = 10 + -6. Suppose -w + 1895 = 3*s - 3*w, 0 = c*s - w - 2525. Is s prime?
True
Let y be -1 + (2 - 4) + -1. Let k be (-76)/(-18) - y/(-18). Is (1/2)/(k/2008) prime?
True
Suppose -2*l + 35 = -287. Is l prime?
False
Is 16*14 + (-5 - -2) a prime number?
False
Let r(i) = 2*i**3 - 2*i**2 + 6*i - 6. Let a be r(6). Suppose 4*j = -2*y + a, -4*j - 4*y = 142 - 534. Is j a composite number?
False
Let q(w) = w**3 + 6*w**2 + 4*w + 2. Let v be q(5). Suppose -4*u + 243 - 3 = 0. Let f = v - u. Is f prime?
False
Suppose 3*a = -5*n - 39, 0*a + 4*a = -12. Is (-2)/4 - 1125/n prime?
False
Let x(k) = 3*k - 16. Let u(p) = -6*p + 31. Let h(b) = 3*u(b) + 5*x(b). Let i be h(-11). Suppose 0*j + i = 2*j. Is j a composite number?
False
Let r = 27 - 18. Is 4471/r - 14/(-63) a composite number?
True
Suppose 0 = 3*h - 2*i - 5320, 4 - 5 = -i. Is h a prime number?
False
Suppose 182 = 3*s - 2*s. Let z = s + 67. Is z composite?
True
Suppose 2*q = -2*b + 6978, -6*q = -2*q - 5*b - 13974. Is q prime?
True
Suppose 17 = z - 330. Is z prime?
True
Let n = 1467 + -788. Is n composite?
True
Let m(y) = 6*y**2 - 3*y + 2. Let s = -8 + 14. Suppose 3*j = j - s. Is m(j) a prime number?
False
Let b be (-8)/(-20) - 1565/(-25). Let q = b + 55. Is q a composite number?
True
Is (0 + -1)*(-6)/12*1402 a prime number?
True
Suppose -5*g + 4*r + 60 = 0, 4*r + 16 = -4. Suppose -b + g - 5 = 0. Is b a composite number?
False
Suppose 2*m - 5782 + 17502 = 0. Is m/(-36) - (-2)/9 a composite number?
False
Suppose 6 = -3*p - 0*p. Let c be 1451/5 - p/(-10). Suppose 2*o - c = 2*t - 6*t, 3*t - 441 = -3*o. Is o prime?
True
Suppose -2 = 2*w, g + 4 = -w - 2*w. Let s be g + 3 - (-9 - -1). Is (1085/s)/(2/4) composite?
True
Is 48 + -4 + (0 - -3) composite?
False
Let k(r) = 7*r**2 + 2*r - 2. Is k(3) a composite number?
False
Let v(l) = 27*l**2 - l - 1. Is v(5) prime?
False
Is (-6)/(-15) + (-663)/(-5) prime?
False
Suppose -x + 2*x = -1. Let o(v) = -26*v**3 - v