58 = -0*j, 0 = -l + 2*j + p. Is l prime?
False
Suppose -o - 1 = -2*h, -3*o = 5*h - 6*o. Suppose 0 = s - 4*f - 25, h*f - 10 = -6*s + s. Is (s/(-15))/(2/(-354)) a composite number?
False
Let y = -17582 + 32739. Is y composite?
True
Let b(m) = -17 + 37*m**2 - 4*m + 14 + 6*m. Is b(2) composite?
False
Let l(o) = -3*o**3 - 10*o**2 - 10*o - 18. Let b be l(-8). Suppose -n + b = n. Let v = n + -302. Is v a composite number?
True
Let g = -997 - -3754. Is g composite?
True
Let l = -129 + 28. Let k = l + 436. Is k a prime number?
False
Suppose -i = -963 - 29766. Is i a prime number?
False
Let x be 2/(-2) + 4 - 2. Let r(d) = 108*d**2 + d. Is r(x) a prime number?
True
Suppose -9753 = 29*u - 30*u + 5*s, 4*s - 29221 = -3*u. Is u composite?
False
Let f(g) be the second derivative of -g**5/20 - 7*g**4/6 - g**3/2 + 13*g**2/2 - 8*g. Is f(-14) a prime number?
False
Let v be 0/1 - (-1 - -3). Is 139 + (1 - (v + 1)) a composite number?
True
Let n(p) = 143*p + 1. Let b be (1 - 7)/(15/(-35)). Suppose 8 = -3*g + b. Is n(g) composite?
True
Let y = -371 - -20. Let u = y + 595. Let j = u - -7. Is j prime?
True
Let i = -7 - -4. Let c(v) = -48*v - 11. Let o(s) = -47*s - 10. Let z(j) = i*c(j) + 4*o(j). Is z(-6) a prime number?
True
Let p(n) = 383*n + 43. Is p(18) a composite number?
True
Suppose 2*k + 3*l - 16286 = 58782, 2*k = 2*l + 75058. Is k a composite number?
True
Is 124858/12 - (-4)/(-72)*-3 composite?
True
Suppose -13720 = -20*l + 4680. Suppose x = l + 33. Is x composite?
False
Let l(w) = 5*w**2 - 2*w - 3. Let v be l(3). Let u be 2/(-6) + 120/v. Suppose i + 250 = b, i - u*i = b - 253. Is b prime?
True
Suppose -1 - 11 = 4*n, 1 = -2*v - 3*n. Suppose 1421 = -v*x + 11*x. Is x a prime number?
False
Suppose 3*d - 7536 = 44865. Is d prime?
True
Let k be (4126/6)/(7/42). Suppose 11*t = 9*t + k. Is t prime?
True
Let k be (1 - 0)*0/1. Suppose k = 3*a + a. Suppose -2*j + j + 87 = a. Is j a composite number?
True
Let x(z) = z**2 - 12*z + 36. Let n be x(6). Suppose -12*r + 15*r - 2427 = n. Is r composite?
False
Suppose 0 = -3*s + 3*q + 4449, 37*s = 41*s + 2*q - 5920. Is s a composite number?
False
Is (-22511)/(-10) + -9 + 178/20 a prime number?
True
Suppose 10*c - 30 = 4*c. Suppose 2*q = -2, -4*d - 188 - 89 = c*q. Is (d - -6)*11/(-2) composite?
True
Is 1758/(2 + 1) - (-30 - -33) prime?
False
Suppose 3*o - 5*j - 1 = 3, o + 3*j = 6. Suppose -p + 87 = -4*f, -o*p - p + 348 = 3*f. Is p composite?
True
Let z(i) = -3130*i - 251. Is z(-6) prime?
False
Suppose 845 = -8*h + 4693. Is h a composite number?
True
Let n be 3 - ((-6)/(-21) + 5/7). Is (-14166)/(-1 - n)*(-2)/(-4) prime?
False
Suppose 5*g + 152 = 4*s, 3*s + 3*g - 60 - 54 = 0. Suppose 36*z = s*z - 662. Is z a prime number?
True
Suppose 0 = 2*a - 4*k - 6, -5*a + k = -1 - 14. Let h(u) = 3*u + a*u**2 + 26*u**2 + 3 - 6 - 7*u. Is h(4) a prime number?
False
Let z = -15422 + 34741. Is z a prime number?
True
Suppose -10*k = -515 + 495. Let x(c) be the third derivative of 373*c**4/24 + c**3/2 - c**2. Is x(k) composite?
True
Suppose -22 = -2*i + 4*p, 4*i + 2*p + 5 = 19. Suppose -3*r + 1309 - 3510 = -i*y, 5*y - 5*r = 2205. Is y prime?
True
Let y(h) = 296*h - 25. Is y(3) composite?
False
Let x be (-6)/(-9)*(0 + -27). Let l = -13 - x. Suppose 4*i = 2*g + 70, i - 19 - 15 = -l*g. Is i prime?
True
Let j be ((-4)/(-8))/(1/948). Suppose -3*f - 5*b = -149 - 676, 550 = 2*f + 3*b. Let y = j - f. Is y prime?
True
Let v be (12/(-9))/((-4)/438). Let i = -25 + v. Let x = i - 64. Is x a prime number?
False
Let b(q) be the second derivative of q**8/1680 - q**5/24 - 5*q**4/12 + 12*q. Let s(a) be the third derivative of b(a). Is s(4) a prime number?
True
Let p(f) = -f**3 + 9*f**2 - f + 12. Let t be p(9). Suppose -518 + 2603 = -t*w. Is (1 + w)*(-2)/4 composite?
False
Let g(r) = -3*r - 2. Let d be g(-5). Let h = d + -7. Suppose h*y = 2*y + 892. Is y a prime number?
True
Let a(j) = j**3 + 7*j**2 - 8*j + 1. Let g be a(-8). Is -21*(-223)/3*g a composite number?
True
Let r(i) = 1112*i**2 - 24*i - 121. Is r(-10) composite?
True
Let l(k) = -k + 2. Let f be l(8). Let h(n) = 0*n**3 - 3*n**2 - 2*n**3 + 7*n - 7 - n**2. Is h(f) a prime number?
True
Suppose 2*z = -0*z - 2*i + 214, -z + i = -97. Suppose p = 4*d - 185, 0*p = 4*d + p - 191. Let k = z - d. Is k composite?
True
Let i = 11101 + -7724. Is i a composite number?
True
Let b(s) = -s**2 - 21*s - 27. Let p be b(-17). Let u = p + -10. Is u composite?
False
Is 0 - 0 - (-13)/((-195)/(-116985)) a composite number?
True
Suppose 297*r = 291*r + 39594. Is r composite?
False
Let h = 15878 + -8319. Is h prime?
True
Let z(o) = -2*o**2 + 18*o + 8. Let g be z(10). Is (-22770)/g + 5 + 3/(-2) a prime number?
True
Suppose -7*g + 504 = -g. Suppose 5*w - g = w. Suppose -24*z + w*z + 399 = 0. Is z composite?
True
Suppose h = 5*h + 16, -5*y - 4*h = -57829. Is y composite?
True
Let s(d) = d**2 + d - 19. Let h be s(-14). Let w be -1 - -1 - (0 - 96). Let i = w + h. Is i composite?
True
Let y = -449 - -1182. Is y prime?
True
Suppose 5*v + 1640 = -2*x, v = 3*x - 3*v + 2506. Is -3*-3*x/(-45) a prime number?
False
Let k = -5802 - -12859. Is k a prime number?
True
Suppose 8*s + 172566 = 26*s. Is s a composite number?
False
Let j(q) = q**2 - 4*q. Let z be j(3). Suppose -6*i + 167 = 161. Is i/((-2264)/(-754) + z) composite?
True
Suppose 1488580 = 32*d + 581412. Is d a composite number?
False
Let k be 3*1 - (-17 + 16). Suppose -k*v + 20 = 0, -5*j + 150 + 525 = 4*v. Suppose r - j = o + 19, 4*o + 153 = r. Is r a prime number?
True
Let p = 3 - 6. Let w(y) = 2*y**2 + 5*y - 4. Let c be w(p). Is (-1)/(0 + c/31) prime?
True
Let a(q) = 7*q**2 - 3*q + 1. Suppose m + 3*m = 8. Let o be a(m). Let t = o + -4. Is t prime?
True
Let g = 21012 + -8949. Is g prime?
False
Let n be 11/3 - 3/(-9). Suppose 15 = -n*a - 1. Is a*2*-12 - -1 a composite number?
False
Suppose -20 = -4*h - 5*q, -2*h - 4*q = -8 - 2. Suppose 3*i = 0, 2*i - i = h*r + 615. Let c = 250 + r. Is c composite?
False
Suppose -o - 377 + 29692 = 6*s, 3*s = 4*o - 117179. Is o a prime number?
True
Let c = -107888 + 207693. Is c prime?
False
Suppose 0 = 3*n - 4*n + 339. Let z be -10*(-1)/(6/n). Suppose 2*b + z = -u + 6*u, -4*u = 4*b - 480. Is u a composite number?
True
Let c = 40 - 37. Suppose c*r - 2*o - 3361 = 0, 919 = r + 3*o - 205. Is r a composite number?
True
Let y be 1/2 + (-1460945)/(-74). Suppose 4*p + 3*v - 15792 = v, v - y = -5*p. Is p composite?
True
Let w = -276 + 1003. Let p = w - 478. Let d = p - 122. Is d a prime number?
True
Suppose -5*y - 24*v + 102953 = -28*v, -5*v = 2*y - 41201. Is y prime?
True
Suppose 16*d - 11182 = 12514. Is d composite?
False
Suppose -5*j = -2*j + 2*k - 11643, 4*j = -4*k + 15524. Is j a composite number?
False
Is 4 + ((-5)/(20/(-1308)) - 0) a composite number?
False
Let o be 4/6 - (6 + 110/(-15)). Let v(p) = 850*p + 9. Is v(o) a composite number?
False
Let n = 18 - 15. Suppose 4*s + 4*m = -24, 0*s - n*m = s + 4. Is (-79)/s - 2/7 a composite number?
False
Suppose 2*r = -4*v - r - 4007, -5*v + 5*r = 5000. Let g = 1494 + v. Is g composite?
True
Let i be 3*(12/9 - -1). Suppose -r - i + 3 = 0. Is 20 + r/(16/(-12)) a prime number?
True
Let d = -8 + 6. Is 1/d*7/(35/(-1270)) prime?
True
Suppose 37 = 4*s + v, 0*s = -s - 5*v + 33. Suppose 0 = m - 3*h - 844, -12 = -s*h + 4*h. Is m composite?
False
Let k(t) be the first derivative of 7*t**3/3 - t**2/2 + 6*t + 2. Let n(m) = 20*m**2 - 2*m + 19. Let f(s) = -8*k(s) + 3*n(s). Is f(-7) prime?
True
Let k(g) = 17*g**3 + g**2 + 7*g. Let t(f) = -12*f + 4*f**2 + 5*f + 6*f. Let i be t(1). Is k(i) a composite number?
True
Suppose 0 = 5*b + 5*z - 1195, -b - 4*b + z = -1207. Let m = -421 - -811. Let k = m - b. Is k a prime number?
True
Suppose 6 = 3*a, -3*s + 0*s - 4*a = -8. Suppose -5*r - n + s*n = -45, 0 = -3*r - 5*n + 49. Let z = r + 75. Is z a prime number?
True
Let w be 19212/30 - 2/5. Let f = w - 381. Is f a prime number?
False
Let b be (-1)/8 - (-105625)/200. Suppose -3081 = -3*a - b. Is a a composite number?
True
Let l(q) = -q**3 + 3*q**2 - 3. Let z be l(2). Suppose -9 - z = -2*w. Suppose -4*i = -w*p - 24, i + 5 = 7*p - 3*p. Is i a prime number?
True
Suppose -5*r = g - 3113, 4*r - 2603 = -4*g - 119. Is r a composite number?
True
Let w(h) = -12*h**2 + 6. Let v(s) = 11*s**2 - s - 5. Let i(k) = 5*v(k) + 4*w(k). Let q(r) = r**3 - 2*r**2 -