441, -614 = 4*j + 2*o. Let i = 237 + j. Is i prime?
False
Let y = -201 + 295. Is y prime?
False
Let v = 6 - 3. Let l(a) = 12 + 3 - 3*a**2 + 5*a**2 - v*a**2. Is l(0) composite?
True
Let s = -6 + 9. Suppose 5*o - s*o = 114. Is o a prime number?
False
Is (-21)/(-6)*1384/14 prime?
False
Let s be (-3)/(-2)*1946/21. Suppose 5*z = 231 + s. Is z composite?
True
Let r = -2 + 2. Let f(c) = c**2 + c + 171. Let t be f(r). Suppose 262 = 3*n + 5*g, g + 115 + t = 3*n. Is n a composite number?
True
Let z = -89 + 158. Let j(o) = o**3 + 7*o**2 + 5*o - 3. Let k be j(-6). Suppose -3*a = k*b - 108, z = 2*b + 7*a - 2*a. Is b composite?
False
Let w(m) = -1228*m - 3. Is w(-4) a composite number?
False
Let v = 588 + 43. Is v composite?
False
Let g(y) = -29*y - 4. Let z be g(-8). Let r = z + -139. Is r prime?
True
Let y be -8 + 11 - (1*-1)/1. Let w = -434 + 619. Suppose w = -y*l + 5*l. Is l a composite number?
True
Suppose 180 = 5*j - 155. Is j prime?
True
Let m(o) = -68*o + 19. Is m(-6) composite?
True
Suppose -2*j = 3*b - 65, -4*b - 55 = -2*j - 5*b. Suppose 3*o - j = 29. Is 842/o - (-4)/18 composite?
False
Suppose 2*i + 33 = -q, 0 = q + 5*i + 44 + 1. Suppose 0 = -0*j - 3*j + 276. Let n = q + j. Is n composite?
False
Let q be (1 - 4)*(-2)/6. Let s be 0/1 - 36/18. Is (212/(-8))/(q/s) composite?
False
Let j(b) = -b**2 + 23*b - 12. Let g be j(9). Let o be g/22 - 4/22. Suppose -5*u + 805 = o*w, 4*w - 417 - 191 = 5*u. Is w composite?
False
Let t(i) = 47*i**2 - i + 5. Is t(2) composite?
False
Suppose s = 3*s - 3694. Is s a composite number?
False
Let y(w) = -w**3 + 9*w**2 - 11*w + 10. Is y(7) a composite number?
False
Let i(u) = u**2 - u - 1. Let v(n) = 4*n**2 + 2*n - 13. Let t(g) = 5*i(g) - v(g). Let k be t(6). Suppose 5*h + 4*b = 71, -2*b + 6 = k*h - 6*b. Is h prime?
True
Let h(s) = -s + 7. Suppose 0 = 4*f + 2*y + 4, -y = 3*f - 4*f + 2. Suppose f = 3*x + x. Is h(x) a prime number?
True
Let h(w) = w**3 - 3*w**2 - 14*w. Let a(o) = -o**3 + 2*o**2 + 13*o + 1. Let d(s) = 6*a(s) + 5*h(s). Let x be d(-5). Let j = x - 1. Is j composite?
True
Let c(l) = -117*l + 4. Is c(-3) a prime number?
False
Let k = -6 - -343. Is k prime?
True
Suppose 36 + 20 = 4*k. Suppose 0 = 19*s - k*s - 435. Is s prime?
False
Suppose -2*c + 3*r = -2342, 3*r + 354 = -c + 1543. Is c prime?
False
Suppose -2*b = 5*n - 3*b + 2, 0 = 5*n + 5*b - 10. Suppose -4*d + n*d = -24. Is d a composite number?
True
Suppose -16 = -4*w + 4*k, 0*w - 4 = w + 3*k. Suppose w*b + 163 = 3*b. Suppose -m + b = -0*m. Is m prime?
True
Suppose -3*n = -6*n - 5*q + 430, -3*n + 4*q = -439. Is n composite?
True
Let b(o) = 7*o**2 - 9*o + 3. Let z(k) = -k + 1. Let g(i) = b(i) - 6*z(i). Let p be ((-1 + 0)*1)/((-2)/(-4)). Is g(p) a prime number?
True
Is (-1)/(1 - (-412)/(-410)) composite?
True
Suppose 0 = -12*d + 32565 - 5721. Is d a prime number?
True
Suppose -43 + 3 = -4*u. Is u composite?
True
Is (9584/24)/(4/6) prime?
True
Let w = 1894 - 845. Is w a prime number?
True
Suppose -3*g + 6*g = 0. Let f be ((-1 - 0) + g)*0. Suppose -30 = -5*o + 3*a, f = -o - 2*a - a - 12. Is o a prime number?
True
Suppose -94 - 648 = -4*m + q, 4*m - 3*q - 746 = 0. Is m a composite number?
True
Let a = 238 - -205. Is a a prime number?
True
Let x = -275 - -460. Suppose n = -4*n + x. Is n a prime number?
True
Let c(o) = -o**2 + 1. Let l be c(2). Let z(h) = -2*h - 2. Let p be z(l). Is p/4*74/2 prime?
True
Let y(f) = 14*f**2 - 15*f - 17. Is y(-12) a composite number?
False
Let r(q) = -q**2 + 24*q - 6. Is r(10) a composite number?
True
Let r(p) = -5*p**3 + p**2 + 4*p - 1. Is r(-3) prime?
True
Let q be 34/10 + (-2)/5. Suppose 2*a = -q*a + 70. Is a prime?
False
Suppose 2*w - 3*b + 10 = -7, 3*b - 31 = 4*w. Let c(t) be the second derivative of -t**3/2 - 3*t**2 - 3*t. Is c(w) a composite number?
True
Suppose -w = -4*w + 12. Suppose -i = -2 + w. Is (-1384)/(-20) + i/10 composite?
True
Let i(u) = 116*u**2 + 2*u + 1. Is i(-1) composite?
True
Suppose -9*u = -6*u - 159. Is u prime?
True
Let k = 43 - -10. Suppose -k - 71 = -4*r. Suppose -i - r = -2*i. Is i a composite number?
False
Let g = -49 + 114. Suppose 2*p = -3*p + g. Is p prime?
True
Is -393*(-2 + 1)*28/12 prime?
False
Let q(j) = -27*j + 1. Suppose -v + 1 = -3. Let x be v*(-1)/2*1. Is q(x) prime?
False
Suppose 3*c - c = 126. Suppose -u = -2*u - q + c, 187 = 3*u + 4*q. Is u a composite number?
True
Let x be 1/(-1) - (-12)/6. Let s be -1*(-8)/(x - -1). Suppose -2*r = r + m - 231, -4*m + 308 = s*r. Is r prime?
False
Suppose -2*y + 1259 = r, -2*y + 1268 = -0*y - 2*r. Is y a composite number?
False
Let o(a) = a**3 - 2*a. Let v be o(2). Is (v/10)/(2/290) composite?
True
Suppose 7*x - 2 = 5*x. Is x*(-4 - -3) - -92 prime?
False
Suppose -l + 2141 = 152. Suppose 5*w + 2*d = 110 + l, -d + 2097 = 5*w. Is w composite?
False
Suppose -1240 = -5*v + t, -3*v - t = -0*v - 752. Is v composite?
True
Let n = 273 + -185. Suppose 4*a = -n - 0. Let q = 41 + a. Is q composite?
False
Suppose 3*b - 35 = -5*j, 2*b - 4*j - j = 40. Suppose -2*u + b = -79. Suppose -3*l + y = -46, 4*y - 2*y = 3*l - u. Is l a composite number?
True
Suppose 0 = y + 2*y - 5*f - 1844, -4*y - 4*f + 2448 = 0. Is y a composite number?
False
Let x(w) = w**3 + 9*w**2 - 12*w - 14. Let u be x(-10). Let l(v) = -v**3 + 7*v**2 + v. Let z be l(u). Suppose -92 - z = -2*j. Is j prime?
True
Let y(u) = -5*u**2 - u. Let f be y(-1). Let i be (0 - f/(-10))*-175. Let p = 129 - i. Is p prime?
True
Let b = 25 + -13. Is (-1)/2 + 6114/b a prime number?
True
Let z(y) = -2*y**3 - 6*y**2 - 4*y + 7. Is z(-5) a composite number?
False
Suppose -4*a = 5*s + 3, 0 = -5*a - 3*s - 28 + 8. Let h(z) = -z**2 - 7*z + 5. Let u be h(a). Suppose 5*o + 84 = w, -357 = -u*w + w - o. Is w composite?
False
Is 783 + -1 - (-8 - -9) composite?
True
Let w(r) = 4*r**2 - 12*r - 18. Is w(10) composite?
True
Suppose 0 = 3*m - 3*z + 5 + 4, 0 = 4*m - 2*z + 4. Let i = m + 1. Is i composite?
False
Suppose 5*t - 7 = 458. Is t a prime number?
False
Suppose -2*w + 137 = -239. Suppose -113 - w = -b. Is b a composite number?
True
Let x be 56/21 - (-4)/(-6). Suppose -d - 14 = -3*i, 0*i - 5*d + 15 = x*i. Suppose i + 17 = t. Is t prime?
False
Is (-1345)/(-20) + (-2)/8 prime?
True
Suppose g - 107 = -0*g + 5*m, -149 = -2*g - 3*m. Is g prime?
False
Is 6/(-14) + (-43466)/(-7) composite?
True
Let s = 1 + 2. Let d(c) = -3*c + 29*c + 2 - s. Is d(3) composite?
True
Let d = 6 + -6. Suppose 0*x + 3*x - 15 = d. Suppose -39 = -x*b + 356. Is b prime?
True
Let j = 3 - -1. Suppose j*h - 2 = 5*t + 67, -2*h + 30 = -4*t. Is h a composite number?
True
Suppose 0 = 3*f + 4*q - 5*q + 2, -5*f + q - 2 = 0. Suppose f = -5*b + 5 - 55. Let m(u) = -u**3 - 10*u**2 - 5*u + 3. Is m(b) composite?
False
Let j = 58 + -12. Suppose -3*f + 4*f - j = 0. Let l = -24 + f. Is l prime?
False
Let b(l) = 6*l**3 - l**2 + 2*l - 1. Let a be b(1). Is (2 - -1 - 2) + a a composite number?
False
Let t = 0 - 0. Suppose -4*b + b + 282 = t. Suppose 3*o = o + b. Is o a prime number?
True
Let w(z) = 18*z**2 + 19*z + 22. Is w(9) prime?
False
Let y = 32 - 252. Let s be 10/(-45) + y/(-18). Is -1 + s*16/6 a composite number?
False
Let r(f) = 11*f**2 - 31*f + 13. Is r(16) a composite number?
False
Let r(u) = -u**3 + u**2 + 85. Suppose a - 3*a = 0. Is r(a) composite?
True
Let o(x) = 3*x + 7. Is o(17) composite?
True
Let g be (-637)/(-14) - (-2)/4. Let d be (-18)/(-24) + 6/(-8). Suppose d = -2*q + 78 + g. Is q a composite number?
True
Suppose -9*z + 10934 = -8929. Is z prime?
True
Let q(j) = 312*j - 3. Let i(l) = 156*l - 1. Let f(s) = -13*i(s) + 6*q(s). Is f(-2) a prime number?
True
Suppose t - 5*r - 417 = 0, 2*t - 473 - 367 = 4*r. Is t prime?
False
Let y(z) = -z**3 + 3*z**2 - 3*z + 1. Let i be y(2). Is -21*(i*3 - -2) prime?
False
Suppose -3*l = 2*l + 15. Is (-2049)/l - 1*-2 prime?
False
Let r = -10 - -14. Suppose r*g + 0*g - 124 = 0. Is g a composite number?
False
Let x(n) = -n**3 + 2*n**2 - 1. Let b be x(2). Suppose 2*f - 69 - 27 = 0. Let w = f - b. Is w composite?
True
Suppose 5*g = 104 + 66. Suppose -4*z - 66 = g. Is (z/2)/((-2)/4) composite?
True
Let y(p) = 7*p + 3. Suppose 0*m - 3*m = -3*o + 12, -2*m + 24 = 2*o. Is y(o) a composite number?
False
Is 165 - 4 - 15/5 a composite number?
True
Let r = 7 - -12. Suppose -2*f + r + 1 = 0. Is f prime?
False
Let t(p) = -135*p - 38. Is t(-7) composite?