 3, -5*z - r = -l. Is z prime?
False
Suppose -f + 6*f + 1480 = 0. Let o = 6 + -2. Is f/(-12)*6/o a composite number?
False
Let k = -938 + 666. Let h = 352 - k. Suppose -r - 2*r + 3*s = -h, -4*r = -3*s - 835. Is r a prime number?
True
Is (1 + (-4 - -4))*1589 prime?
False
Suppose 2*m = m - 120. Let t = -74 + -123. Let g = m - t. Is g a composite number?
True
Suppose 4*j = z + 2*z - 143, -3*z = -3*j - 147. Is z prime?
True
Let w be 59*3/(-9)*-3. Suppose 4*k = w - 19. Is k a prime number?
False
Suppose 0 = -5*c + 4*c - 8. Let l(b) = -3*b**2 - 10*b - 11. Let o be l(c). Let f = 38 - o. Is f a composite number?
True
Suppose 0 = -r + 2 + 4. Suppose 2*m - r*m = -92. Suppose -2*v - 4*y + 27 = -v, -v + m = 3*y. Is v composite?
False
Suppose 26 = 2*n + 4*v, 4*n + 5*v - 32 = 8. Suppose -5*f - 128 = 3*c - 4*c, 3*c = n*f + 354. Is c prime?
True
Let q(c) = 12*c - 3 - 16*c - 92*c + 2. Is q(-2) a composite number?
False
Suppose 3*f = -r + 10, -f = -5*f - 16. Is r prime?
False
Suppose 3*u = -4*s + 211 - 19, 4*s + 5*u - 184 = 0. Is s a composite number?
True
Is 2 - 3 - (12 - 924) a composite number?
False
Let h(g) = -95*g**3 + g + 1. Suppose -3*b - 1 - 2 = 0. Is h(b) composite?
True
Let v be 849/(-3) - (0 + 1). Let m be (v/10)/(3/(-15)). Is 4/(-6) + m/6 composite?
False
Let t(a) be the second derivative of 4*a**2 + 0 + 1/6*a**3 + 1/12*a**4 - 2*a. Is t(-6) composite?
True
Let u = 89 - 62. Suppose x = u + 60. Is x prime?
False
Suppose 0 = -v + 3*n - 7, -2 = 5*v + 3*n - 7*n. Suppose 2*r = b - 133, 0 = -3*b + 5*b + v*r - 266. Is b composite?
True
Let h be -28*4/10*-10. Suppose 2*z + 245 = 5*j, 0*j + 2*j - h = -2*z. Is j a composite number?
True
Suppose -2*i - 2*i + 3824 = -3*x, -1918 = -2*i + 3*x. Is i a prime number?
True
Is 13944/20 - (-3)/(-15) prime?
False
Let o(z) = z**2 + 4*z - 3. Let u be o(-5). Let k be -89 + -2 + (u - 1). Let j = 7 - k. Is j prime?
True
Suppose -9*c + 5*c = -4308. Is c composite?
True
Suppose 0*n = n - 6. Suppose -4*g - n = -5*g. Suppose 0 = g*t - t - 955. Is t a composite number?
False
Let x = 5 + -1. Suppose 385 = -x*b + 1473. Let d = b + -145. Is d prime?
True
Let g(a) = a + 7. Let y be g(-5). Let k be -8*(-3)/18*3. Suppose -k*n + y = -14. Is n prime?
False
Let d = 1 - -18. Suppose d = -0*i + i. Is i a prime number?
True
Suppose -5*z + 1045 = -4*c, -115 - 85 = -z - c. Is z prime?
False
Suppose -4*u + 88 = 4*f, -66 = -3*f - 0*u - 4*u. Let k be (-14)/(-21) - f/6. Is -1*(0 - (5 + k)) a composite number?
False
Let w be (-1)/(64/22 - 3). Let n be (-101)/(-3) + 3/9. Let f = n - w. Is f a composite number?
False
Is (1/2)/((76/(-2344))/(-19)) a prime number?
True
Suppose 2*m = 5*j - 4, j = 2*m + 1 + 3. Suppose v = -j*v + 69. Is v a prime number?
False
Suppose -2*k + 1314 = -0*k + 2*b, -4*k + 2616 = b. Is k a composite number?
False
Let o(y) = -15*y**2 + y. Let l be o(-1). Let p(m) = -m**3 - 15*m**2 + 12*m + 1. Is p(l) a prime number?
False
Suppose 0 = -3*d + 5*y - 6139, 5*d - 582 + 10821 = y. Is d/(-8) - 1*3 a prime number?
False
Let t = -27 - -57. Let x = -4 - -3. Let u = t - x. Is u prime?
True
Suppose -2*c - 311 = -3*c. Is c a composite number?
False
Suppose 2*w - w - 4 = 0. Suppose -25 = -5*b, 0 = -2*t + w*b + 194 + 84. Is t a prime number?
True
Let f(n) = -n**3 - 4*n**2 + 8*n - 1. Suppose -u = -5*k + 2*u - 13, 3*k + 2 = -4*u. Let o be (4 - 7)/(k/(-4)). Is f(o) a prime number?
True
Let n = -777 + 1118. Is n a prime number?
False
Let g = 28 + -15. Is g prime?
True
Suppose 2*s - 76 = -2*s. Is s a composite number?
False
Let j be 4 - 5/(15/6). Suppose j*f + 3*z + 63 = 1413, -3*f + 1995 = -3*z. Is f a composite number?
True
Suppose 5 = -4*u + 13. Let j be 5*(u - 24/15). Suppose 3*q - 18 = -5*b + 383, j*q - 274 = -5*b. Is q a prime number?
True
Suppose -5*k - 18 + 3 = 0. Let v = -3 - k. Suppose v = 5*i - 5*r - 35, 4*i - 26 = 4*r + r. Is i a prime number?
False
Suppose -8*u + 3943 = -7*u. Is u a prime number?
True
Let s(h) = -13*h**3 - 2*h**2 - 1. Is s(-2) a composite number?
True
Suppose j + 28 = s, -3*s - s + 5*j + 114 = 0. Let r be 1 - 1 - (1 + 10). Let i = s - r. Is i prime?
True
Let t(h) = -h + 9. Let a be t(7). Suppose 13 = a*j + 3. Let c(y) = y**3 - 4*y**2 - 6. Is c(j) a composite number?
False
Suppose -t + 7389 = 8*t. Is t prime?
True
Suppose 4*o - 3*o = 6. Suppose -n + o*n = 15. Is n composite?
False
Let f = 39 - -76. Is f a composite number?
True
Let b be -1*(3 - (-4)/(-2)). Let n be -3*b/9*-3. Is (-1)/n*(128 - 1) a prime number?
True
Suppose 2*d = 3*x + 286, 5*d = d + 4*x + 580. Is d a prime number?
True
Suppose -4*r + 3 = n - 7*r, -4 = -n + 2*r. Is -3*((-274)/n + 2) prime?
True
Let f(t) = 17*t**2 - 31*t - 14. Let w(h) = 6*h**2 - 10*h - 5. Let b(l) = 4*f(l) - 11*w(l). Is b(12) a prime number?
False
Suppose -2*m = 3*v - 485, v + 8*m - 3*m = 179. Is v composite?
True
Let p = -48 + 93. Suppose 6*j - p = j. Let a = j + 1. Is a a prime number?
False
Let w = 3 + -4. Let k(r) = -10*r**3 + r**2 + r. Is k(w) a composite number?
True
Let q be (12/(-9) - -2)*6. Let o = 6 - q. Suppose o*t = -t + 111. Is t a composite number?
False
Let h(n) be the first derivative of n**6/120 + n**5/10 + n**4/24 - 7*n**3/6 - n**2 - 2. Let f(t) be the second derivative of h(t). Is f(-5) composite?
False
Let d = -208 + 411. Is d composite?
True
Suppose 0 = 4*t - t + 12. Is 51 - (-4)/((-8)/t) composite?
False
Let a(n) = -84*n - 1. Suppose -j = 6 - 3. Is a(j) a composite number?
False
Suppose 29 = h - 7. Suppose -2*u + h + 2 = 0. Is u a composite number?
False
Let o(j) = 4*j**2 + 4*j - 5 - j - 2*j - 3*j**2. Is o(-5) composite?
True
Let n = -134 + 1327. Is n prime?
True
Let w = -5 - -5. Is 60 - (w + 0) - 2 a prime number?
False
Suppose 0 = -3*h + 5*u + 13242, -2*u = -2*h - 6*u + 8806. Is h a composite number?
False
Let h be 0/((-7)/((-21)/6)). Suppose -3*a + 6 = h, 2*z - 194 = -5*a + a. Is z composite?
True
Suppose 4*p - 2*p = 170. Let f = 144 - p. Is f a composite number?
False
Suppose -4*a = -a - 3*l, 5*a - 6 = 2*l. Let r(w) = 2*w**2 - 3*w**3 + w - 4*w + 1 + 5*w**3. Is r(a) a prime number?
True
Is (-3)/(-9) - 16/(-6)*427 prime?
False
Suppose 0 = 4*m - 2*v + 5*v - 9, 3*v + 27 = 2*m. Let p = 18 - m. Let g(f) = -f**3 + 12*f**2 + 6*f - 17. Is g(p) a composite number?
True
Suppose y - 36 = 4*z + 2*y, -5*z - 2*y - 48 = 0. Is (-2)/z + (-2613)/(-12) prime?
False
Suppose d = -3*q - 12, 4*d = -d. Let b be (-1 - 1)*46/(-4). Let y = q + b. Is y composite?
False
Let f = 3 + -5. Let d be 1 + -2 - -1 - f. Suppose 173 + 149 = d*r. Is r a composite number?
True
Suppose 510 = 3*f - f. Let m be f/(-4) - (-1)/(-4). Let c = 95 + m. Is c prime?
True
Let x(c) = 2*c - 1. Let r be x(3). Suppose r*q - 4226 + 326 = 0. Let j = -409 + q. Is j a composite number?
True
Let i be (-1942)/9 - (-12)/(-54). Let z = -151 - i. Is z a prime number?
False
Let h be (2/(-2))/((-1)/2). Suppose -3*b + 241 + 288 = j, 2*j = h*b - 366. Is b composite?
True
Let t be 2 + 1 + 0 + 2. Let q(o) = o - 7. Let k be q(t). Is k + 4 + (-27)/(-3) a composite number?
False
Suppose 5*p = -3*b - b - 25, -4*p - 20 = -4*b. Suppose 4*h - 342 - 454 = b. Is h composite?
False
Let a(l) = 2*l + 7*l - 5*l + 3*l. Let p = -9 - -16. Is a(p) composite?
True
Let u = -2655 - -4804. Is u a prime number?
False
Let o = 18 - 6. Let l = o - 18. Let s(z) = -z**3 - 5*z**2 - 8*z - 5. Is s(l) composite?
False
Suppose -2*c - 6*s + s - 17 = 0, 5*c - s = 25. Suppose -c*h + 16 = 0, -3*p - 5*h = 7 - 192. Is p a prime number?
False
Let g(x) = x. Let d be g(2). Suppose -v - d*m = -201, 2*m + 12 = -m. Suppose 0 = u + 48 - v. Is u composite?
True
Suppose 2*q = 5*q + 6. Is 3 + (89 - (5 + q)) a prime number?
True
Let d = 933 - 260. Is d composite?
False
Suppose 0 = -2*c - 2 + 8. Suppose -y + 2*y = c. Is y a prime number?
True
Let b = 2 - -4149. Is b composite?
True
Is ((-148)/(-12))/(1/3) a prime number?
True
Let v be 3 + 0 + 1 + -2. Let m(k) = 2 + 2*k**v + k**2 + 3 + 7*k. Is m(-4) prime?
False
Suppose 4*x = -2*f + 6618, 2*x - 3*x = 3*f - 1652. Is x composite?
True
Let s(z) = z**3 + 5*z**2 + 7*z + 6. Let u be s(-4). Is (-2)/u + 852/9 prime?
False
Let t(f) = 32*f**2 - f. Suppose x + 2*x = 3*g - 21, 4*g = 5*x + 35. Let k(w) = -w**3 - 8*w**2 - 7*w + 1. Let j be k(x). Is t(j) composite?
False
Let n = -69 - -302. Is n a prime number?
True
Suppose -4*h + 2 = -3*h. S