 7. Is c(f) prime?
True
Suppose -u + 3*s = 0, -u + 8*s - 3*s = 10. Let n be 15*((-6)/u + 1). Is 3*7/n*3 prime?
True
Let n = -8 - -4. Let x = n + 2. Is (x/(-2))/((-6)/(-942)) prime?
True
Let d(w) = 5*w**2 - 2*w - 1. Is d(-2) composite?
False
Let m(r) = -2*r + 3 - 2*r + 2. Let c be -1*2/(-2) + -9. Is m(c) prime?
True
Let o be 6/(-1 + (-507)/(-498)). Suppose -3*w = w - o. Is w a composite number?
False
Let f = -376 + 553. Is f prime?
False
Let m(k) = -5*k + 1. Let d = 18 + -10. Let i(w) = -w**3 + 9*w**2 - 9*w + 2. Let r be i(d). Is m(r) composite?
False
Let n(a) = 4*a. Let b be n(1). Is 222/b*(-6)/(-9) a prime number?
True
Let m(q) = -2*q**3 - 11*q**2 + 20*q + 25. Is m(-12) a composite number?
False
Suppose 7*z = 12*z. Suppose 0 = -z*b + 2*b - 170. Is b prime?
False
Let d(v) = 2*v**3 - 8*v**2 - 3. Let s be d(7). Is (3 - 6)/((-3)/s) composite?
True
Let f = 28 - 28. Suppose 0 = -2*v + 5*a + 65, 176 = -f*v + 5*v + a. Is v a composite number?
True
Suppose -r + 2*x = -79, 335 = 5*r - 2*x + 4*x. Is r prime?
False
Let x = -722 + 1101. Is x prime?
True
Let d be (-6)/(-4)*(-14)/(-3). Let m = d - 1. Is m composite?
True
Let x(b) = 23*b + 37. Let h(k) = 11*k + 18. Let t(l) = 5*h(l) - 2*x(l). Is t(13) a composite number?
True
Suppose -13*k = -2*k - 21439. Is k a composite number?
False
Suppose 5*d - 3*r + 5 = -0*r, 9 = -3*d + 3*r. Suppose -d*g - 3*g + 75 = 0. Is g prime?
False
Let f(a) = -a - 18. Let j be f(-17). Let z(m) = m**3 - 3*m**2 - 3*m + 4. Let t be z(4). Let n = t + j. Is n a prime number?
True
Let p(w) = w**3 - 4*w**2 + 3*w. Let k be p(3). Suppose -2*j - u + 148 + 95 = k, -20 = -4*u. Is j prime?
False
Let v(c) = -6*c - 3. Let y(n) = -1. Let w(f) = -v(f) + 3*y(f). Is w(1) a composite number?
True
Let v(q) = 2*q**3 + 2*q**2 + 3*q + 80. Let d(i) = 3*i**3 + 3*i**2 + 5*i + 161. Let u(p) = 3*d(p) - 5*v(p). Is u(0) a prime number?
True
Suppose -3*h + 39 = -48. Suppose 0 = i - 4 - h. Is i a prime number?
False
Let h be 7/(124/42 - 3). Let z = -4 - h. Is z a prime number?
False
Let x(w) = -w**2 + 10*w + 9. Let o(s) = -s + 1. Let b be o(-7). Is x(b) composite?
True
Let l(m) be the second derivative of 5*m**3/6 - 2*m**2 + 2*m. Is l(5) prime?
False
Let z(j) = -58*j - 1. Let o be 21/(-14)*(-4)/(-3). Is z(o) composite?
True
Let v(z) be the first derivative of -z**4/4 - 2*z**3 + 2*z**2 + 8*z - 4. Let b be v(-6). Is ((-8)/10)/(b/1160) a composite number?
True
Let m(t) = -t**2 - 9*t. Let l be m(-10). Let n(u) = 3*u**2 - 8*u - 7. Is n(l) composite?
False
Let b(d) = 2*d + 8. Let o be b(-9). Is (424/o)/(6/(-15)) prime?
False
Suppose 0 = -u + 4 + 5. Suppose 13*f = u*f + 88. Is f a prime number?
False
Suppose 5*g - 40 = 3*j - 8*j, 0 = -j + 5. Suppose 0 = -g*w - 2 - 1. Is (2*-1 + -143)*w composite?
True
Let i be 4/(-1) - (5 + -4). Is (-5)/(i/(-37))*-13 composite?
True
Let u(l) be the first derivative of 2*l**3 + l**2 + 5*l - 6. Is u(-3) a prime number?
True
Let l be ((1 + 7)/(-1))/(-2). Let r be (7 - 5)/(l/6). Suppose 0 = r*m + m - 156. Is m a composite number?
True
Let o = -108 - -293. Is o prime?
False
Suppose -2*o + 1194 = 3*o - 3*t, 3*t - 228 = -o. Is o composite?
True
Suppose -3*g - 660 = -3*s, -3*s - 2*g + 4*g = -660. Suppose 3*w - 649 = -3*y + 5*y, -s = -w - 3*y. Is w prime?
False
Let o be (-4)/(-6)*45/10. Let v(k) = k**3 - 3*k**2 - k + 1. Let z be v(o). Is 1/(-1*z/74) a prime number?
True
Suppose 8 - 23 = 3*k, 0 = -4*p + k + 25. Suppose p*v - 107 = -4*d + 5*d, -57 = -3*v + 3*d. Is v prime?
False
Suppose -2*v = -8 + 2. Suppose 2*l - 948 = -v*k + 5*k, -10 = 2*k. Is l composite?
True
Let r = 1149 - 794. Is r a composite number?
True
Is 13852/6 - (-1 - (-12)/18) a composite number?
False
Let s(c) be the first derivative of 2*c**2 - 3*c - 2. Let j be -1*(-2 + -1 + -1). Is s(j) a prime number?
True
Let r = -939 - -3037. Is r prime?
False
Let q = -3831 + 5884. Is q prime?
True
Let j = -1807 - -4556. Is j composite?
False
Let z(x) = 41*x + 6. Is z(5) a composite number?
False
Let l = -482 - -722. Let f = 417 - l. Is f composite?
True
Let m(c) = -c**2 - 7*c + 7. Let v be m(-8). Suppose -2*p + 3 = -1. Is -1 + p + v + 3 a composite number?
False
Let n = 2 - 0. Is (-291)/n*8/(-12) a prime number?
True
Let z(w) = 54*w**2 + 5*w - 5. Is z(8) composite?
False
Let p(j) = -j**2 - 6*j + 7. Let a be p(-7). Let f be a/(-2 - (-1 + 1)). Suppose u = -f*u + 37. Is u a prime number?
True
Let a be 2/4 + (-25)/2. Let t = a + 461. Is t prime?
True
Let v be 561/15 + (-4)/10. Suppose 0 = -j + v + 74. Is j prime?
False
Suppose 0 = 3*r + r. Let m(h) = h**2 + 71. Is m(r) a prime number?
True
Suppose 3*s - 1255 = -4*f, -3*f = -4*f + 4. Is s a prime number?
False
Let t(g) = -g**2 + 9*g + 4. Suppose -u = -l - 14, -3*u - 2*l + 7 = 2*l. Let y be t(u). Suppose 149 = 3*d - p, 2*d = y*d - p - 100. Is d a composite number?
True
Suppose -14 = -4*v + j, 0*j = -5*v + 3*j + 14. Suppose f - v*h + 16 = 5*f, 3*f + 8 = 2*h. Suppose f = -c - 0*c + 31. Is c a composite number?
False
Let t(i) = 300*i**2 + 2*i + 1. Let f be -3 + 7 + -3 - 2. Is t(f) prime?
False
Suppose 5*h - 2*h + 1752 = 3*n, 0 = 5*h - 15. Is n a composite number?
False
Suppose 2*t - 118 = 12. Is t composite?
True
Suppose 154 = -2*w - 2*u + 42, 0 = -w + 2*u - 41. Let d = 62 - w. Is d prime?
True
Suppose 3*n = -n. Suppose -15 = -3*u - n*u. Suppose -i + 66 = d, 2*i - 135 = -u*d + 210. Is d prime?
True
Suppose 0*s = z - 4*s - 190, -s = 4*z - 777. Suppose 2*d + z = 4*w, -2*d + 199 = 4*w + d. Is w a prime number?
False
Suppose 0 = -3*b - 4*w + 24, -2*w - 1 - 5 = -3*b. Suppose -3*s - 51 = -5*c - s, -b*c - 5*s = -54. Let x = c - -27. Is x composite?
True
Let n(z) = 10*z - 1. Is n(7) prime?
False
Suppose 0 = -3*t - 2*t + 3*x + 13544, 5*x = -3*t + 8106. Is t a prime number?
True
Let k = -6 + 2. Let g(x) = 3*x**3 + x**2 - 2*x + 1. Let n(j) = -5*j**3 - j**2 + 3*j - 2. Let f(u) = k*n(u) - 7*g(u). Is f(-4) prime?
False
Let g = 1896 - 1265. Is g a composite number?
False
Let c(u) = -u - 6. Let k be c(12). Let l = -8 - k. Let i = l + -4. Is i prime?
False
Is (-33)/(-4) + 6/8 a composite number?
True
Let q(k) be the first derivative of 11*k**2/2 - 3*k - 1. Let n = 9 - 7. Is q(n) a prime number?
True
Let s = 27 - -192. Is s a composite number?
True
Suppose -6*l - 2705 = -11*l. Is l a prime number?
True
Let p(k) = -288*k + 33. Is p(-12) composite?
True
Let j(m) = 6*m - 5. Let b be j(4). Suppose 2*o - r + 0*r = 29, 53 = 5*o + 4*r. Let z = b - o. Is z prime?
False
Suppose -24 - 126 = 5*n. Let u = n + 81. Is u prime?
False
Let x = 4 + -9. Let h = -3 - x. Suppose 191 = h*i - 551. Is i composite?
True
Let r(w) = w + 24. Let q be r(-15). Is ((-412)/6)/(q/(-27)) composite?
True
Suppose 4*v = 5*v. Let f = 68 - 38. Suppose l - 67 - f = v. Is l prime?
True
Let t(h) = -32*h**3 + h**2 + 2*h - 6. Let q(w) = w**3 - w**2 + 1. Let i(f) = 4*q(f) + t(f). Is i(-3) composite?
True
Let a = -11 - -16. Suppose -3453 = -3*p - 2*m, 2*m = a*p - 5988 + 233. Is p a prime number?
True
Let m = 205 - -118. Is m prime?
False
Let s = 903 + -238. Suppose s = 5*y - 390. Is y prime?
True
Let q = -282 - -497. Is q a prime number?
False
Let w = -6 - -9. Suppose -5*x + 40 = -0*x + w*k, 3*x = -k + 20. Suppose 2*y + 5*o = 7, 3*o + 14 = -x*y + 60. Is y composite?
False
Let r(p) = 24*p - 7. Let b(s) = 12*s - 3. Let a(q) = -5*b(q) + 2*r(q). Is a(-8) prime?
True
Suppose -4*o = -368 - 900. Is o/4 + 10/(-40) composite?
False
Suppose 7*r - 4*v = 2*r - 134, r + 50 = -5*v. Let d = r + 64. Is d composite?
True
Let q(x) = -x**3 - 13*x**2 - 17*x - 22. Is q(-13) prime?
True
Let d(s) = -s - 6. Let g be d(-4). Is 3/g*1902/(-9) a composite number?
False
Suppose 4*i - 2*i = -5*n + 10, 3*n = -4*i + 20. Suppose -w = -i*w. Suppose -l - l + 246 = w. Is l a prime number?
False
Let t = -3 - -7. Let r = -4 + 6. Let b = t + r. Is b a prime number?
False
Is 141528/104 + (-4)/(-26) prime?
True
Is 0 + (566 - 1) - (11 + -9) composite?
False
Let s be (2 - 0)/(0 - -2). Let v be 1 - -1 - (-48)/s. Suppose 3*t + 17 = v. Is t prime?
True
Let q = 357 + 22. Is q a composite number?
False
Suppose -12 = x - 3. Let f(p) = -p**3 - 9*p**2 - p + 13. Is f(x) composite?
True
Let d = 165 - 111. Suppose -105 = -5*r + 2*r. Let u = r + d. Is u composite?
False
Suppose -35 - 53 = -4*n. Suppose q = n + 28. Suppose -q = -2*x + 20. Is x a composite number