(u) = u**3 - 6*u**2 - 17*u + 12. Let v be j(8). Suppose -3*r = 4*z - 1563, v*r = 5*z - 3*z + 2084. Is r composite?
False
Let d = 27 + -29. Is 2/((-5072)/2540 - d) a prime number?
False
Suppose 12*g - 11*g - 4*d = 3479, 5*g = 4*d + 17443. Is g a prime number?
True
Let z = 2863 - -8536. Is z prime?
True
Suppose -4*g = u - g - 20, 3*g = 5*u - 10. Suppose 375 = u*w + 4*z - 1888, -3*w + 1355 = z. Is w a composite number?
True
Suppose -3*x + 0*x - 30 = -2*c, 2*c + 3*x - 6 = 0. Let l(g) = 83*g - 50. Is l(c) composite?
True
Is (65140/8)/((-5)/(-10)) a composite number?
True
Let f(b) = b**3 + 18*b**2 - 19*b + 2. Let u be f(-19). Suppose -708 - 3028 = -2*g. Suppose u*k + g = 6*k. Is k a prime number?
True
Suppose 5*a - 3113 = 10347. Suppose 12*n = 8*n + a. Is n composite?
False
Let z be (-238)/(-4)*(12/7 + 0). Let f = 123 - z. Is f a composite number?
True
Suppose 0 = 5*d - 5*v - 10, 2*v - 1 + 5 = 5*d. Suppose -5*n - 81 - 69 = d. Is 4994/10 + 12/n prime?
True
Suppose 0 = 2*g - 9708 - 3866. Is g a composite number?
True
Let k(x) = 1012*x**3 - 3*x + 2. Suppose 0 = l - 0*z - 5*z + 14, -3*z = -2*l - 7. Is k(l) a composite number?
True
Is (-1)/((-152)/(-16)) + 785523/57 prime?
True
Let i(a) = 34*a**2 - 14*a - 13. Is i(10) a prime number?
False
Is (-2)/21 - (-53035)/105 a prime number?
False
Let u = -6557 + 20700. Is u prime?
True
Suppose 4*j - r - r = 2760, 2*r + 1378 = 2*j. Is j a prime number?
True
Let y = -2028 + 1262. Let g = y + 4257. Is g a prime number?
True
Let c = 825 - 154. Is c a composite number?
True
Suppose -3*j + 4*z + 10848 = -6418, -17284 = -3*j - 5*z. Suppose 3*d - 15985 = -j. Is d prime?
False
Suppose -5216491 = -64*u + 15*u. Is u prime?
False
Let k(s) = -323*s - 2. Let f be k(-17). Suppose 0 = -5*z - 1104 + f. Is z a prime number?
True
Let m(t) = 4*t - 8. Let c(n) = -3*n + 7. Let y(r) = -5*c(r) - 4*m(r). Let z be y(-3). Suppose 0 = 5*w - 2*h - 1581, z = -3*w - w - 3*h + 1274. Is w composite?
False
Is (5/(-2) + (-6)/(-36))*-2253 composite?
True
Let t(w) = -13*w**3 + 6*w**2 + 20*w - 19. Is t(-10) prime?
True
Let y(p) be the second derivative of p**4/3 - p**3/3 - 5*p**2/2 - 4*p. Is y(-4) prime?
True
Suppose 3*l - 40 = -4*z - z, -3*z = -15. Suppose l*p + 5*n - 514 - 566 = 0, 4*p + 5*n - 869 = 0. Is p prime?
True
Suppose -5*l - 8280 - 3580 = 0. Let c = 3325 + l. Is c a prime number?
True
Let o = 6868 + -1462. Let l be (o/12)/((-1)/(-2)). Suppose -3*y + 254 = -4*f - 261, -l = -5*y - 4*f. Is y a composite number?
True
Let s(t) = -t**3 - 35*t**2 - 108*t + 113. Is s(-34) a composite number?
True
Let s(t) = t**3 + 8*t**2 + 3*t - 25. Is s(11) a composite number?
True
Let x(d) = -2*d - 8. Let k be x(-5). Suppose 0 = 5*i - 3*i + 8, k*n - 5*i - 154 = 0. Is n a composite number?
False
Let r = 3043 - -4354. Is r a composite number?
True
Let c(f) = -2*f**3 + 30*f**2 - 2*f + 19. Let u be c(15). Is (u/(-11))/(1/158) composite?
True
Let w = 3 - -25. Let q = 143 - w. Is q a composite number?
True
Let i = -49635 - -83462. Is i prime?
True
Let m(g) = 1093*g**2 + 6*g. Is m(5) a prime number?
False
Let w = 27 + -14. Let d = w + -14. Is -3 + 36 + d + 3 composite?
True
Let a(n) = 2*n**2 - 18*n + 12. Let c be a(8). Let z(u) = -2*u**2 - 5*u - 5 - u**3 + 3*u**2 - 4*u**2. Is z(c) composite?
False
Suppose 0 = -0*r + 2*r. Suppose -25 = -6*x - 1. Suppose x*c = -o + 817, -2*c + 5*o - o + 386 = r. Is c composite?
True
Let n(y) = 3*y + 2*y + 41*y**2 + 4 + 12. Let u be n(6). Suppose u = 20*b - 18*b. Is b a prime number?
True
Is ((-7039)/3)/(11/(-33)) prime?
True
Let r(y) = -y - 5. Let t be r(-13). Suppose 2*h - 2*c = 4, -7*h + 5*c = -3*h - t. Suppose -3*m + 4*x = -645, h*m + 92 = -4*x + 502. Is m a composite number?
False
Let d be 1 + (-1)/((-3)/(-3)). Suppose d = 3*h - 1480 + 133. Is h a composite number?
False
Let i(n) be the second derivative of 3*n**5/10 + 5*n**4/12 - 4*n**3/3 - 5*n**2/2 + 15*n. Is i(6) a composite number?
False
Let l(g) = 4*g**3 - 5*g**2 + 3*g - 49. Is l(11) prime?
True
Let v(c) = 4*c**2 - c + 6. Let f be v(13). Suppose 6*m - f - 2865 = 0. Is m a prime number?
False
Suppose -3*i = -0 - 6. Let s be 105/(-33) + i/11. Is 2 + s + (-90)/(-6) a composite number?
True
Let j = -13 - -7. Let g(z) be the first derivative of -z**2/2 + 7*z - 1. Is g(j) a prime number?
True
Let p(t) = 2*t**3 + 10*t**2 - 5*t - 11. Suppose 0*r + 6 = s - r, s + 3*r - 6 = 0. Is p(s) a prime number?
True
Let o(z) = 426*z + 19. Is o(5) a composite number?
True
Suppose 0 = 3*r + q - 1159, -4*q + 16 + 0 = 0. Let n be ((-44)/55)/((-2)/5). Suppose 7*l - r = n*l. Is l a prime number?
False
Suppose 14*w = w - 156. Let d(q) = -246*q - 25. Is d(w) composite?
False
Let h(g) = 8*g - 1. Let d(x) = -7*x + 2. Let v(a) = 5*d(a) + 6*h(a). Is v(15) prime?
True
Let j(h) = -94*h**2 - 2*h + 2. Let t be j(-3). Let b = -303 - t. Is b a prime number?
False
Let c = 389 - -420. Is c a prime number?
True
Let j(l) = l**3 + 11*l**2 + 7. Let y be j(-11). Suppose -y*r - 60 = -3*r. Let m = r - -92. Is m a prime number?
False
Let s(p) = 15*p + 12*p - 12*p - 26. Let n be s(-14). Let y = 161 - n. Is y a composite number?
False
Let z = 192777 - 137134. Is z prime?
False
Let h be 354 - (2 + -1 + -3). Suppose 0 = -3*r + k + 20, 0 = -r - 2*k + 2. Suppose -r*s + 2*s + h = 0. Is s a prime number?
True
Suppose 3*m = 1960 + 4793. Is m composite?
False
Let w(z) = -z + 2 - 680*z**2 + 682*z**2 + 3*z. Suppose 15 = -5*i - 0. Is w(i) composite?
True
Let j = 56 + -58. Is 40766/11*(-1)/j composite?
True
Let f = 1498 - -19183. Is f a prime number?
True
Let k(z) = 3*z**2 + 59*z - 15. Is k(-26) a prime number?
True
Let s(l) = 4*l**2 + 4*l - 2. Let r(z) = -z**3 + 8*z**2 - 7*z + 5. Let h be r(7). Let g be s(h). Is (-12)/4 + g + 0 composite?
True
Let f(p) = 3613*p + 14. Let v be f(4). Let s = v - 6563. Is s a prime number?
False
Suppose c = -3*c + 32. Let k(q) be the second derivative of 5*q**4/6 + q**3/6 + 7*q**2/2 + 6*q. Is k(c) composite?
True
Suppose 5*o = 4 + 16. Suppose 6*z - 3898 = o*z. Is z a composite number?
False
Suppose -33 = 3*b + s, 17 = 5*s + 2. Is (-3505)/(-2)*(-24)/b a composite number?
True
Suppose 3*p + 0*p = -9, 2*j - p - 3 = 0. Suppose j*s - 5*s + 6805 = 0. Is s prime?
True
Suppose -3915 = -6*c + 7095. Is c a composite number?
True
Let t(c) = -c**2 - 9*c + 3. Let f be t(-9). Suppose r + f*r = 12. Suppose -r*a + 65 = -46. Is a composite?
False
Let d(t) = -62*t - 9. Suppose 0*g = 5*g - 2*o + 20, 0 = -2*g + o - 8. Is d(g) composite?
False
Suppose 2*t + 3*z + 2 = 17, -28 = -4*t - 4*z. Is 4432/t + 2/6 prime?
True
Suppose 3*d - 316 = h, -2*d + 188 = -h + 6*h. Let v = d + -69. Is v a prime number?
False
Let x(s) = 3*s**3 - 25*s**2 - 3*s - 34. Is x(15) composite?
False
Let v(i) = -i**3 - 8*i**2 - 5*i - 20. Let d be v(-8). Suppose 0 = 5*z - d, 4*z + 327 = 4*k + 59. Is k a composite number?
False
Let v(p) be the second derivative of p**4/6 + 16*p**3/3 + 43*p**2/2 - 30*p. Is v(-21) a composite number?
True
Is (7 + 152/(-24))*5385/2 composite?
True
Suppose -18*o + 1788 = -15*o. Let l be (-1)/4 - (-5)/4. Is l/2*o/2 a prime number?
True
Suppose 5*m + 2*k - 24 = -2*k, -5*m - 5*k + 25 = 0. Let j(l) = -l + 585. Let g be j(-44). Suppose 0 = m*x - 5*r - 523, -2*x = 3*x + 2*r - g. Is x composite?
False
Suppose -12*l = -10*l - 6, -4*f + 49886 = -2*l. Is f a composite number?
False
Suppose -9*w + 10*w - 6 = 0. Is 65949/(-13)*(-2)/w prime?
False
Suppose -4*k = 4*x + k - 40971, 3*x + 2*k = 30737. Is x a prime number?
False
Let u = -3 + 7. Suppose -265 = -7*g - 41. Is u + -4 + 3 + g a composite number?
True
Let r = -9948 - -14629. Is r composite?
True
Let q(y) = 222*y + 15. Let m be (-156)/(-27) - (-2)/9. Is q(m) a prime number?
False
Suppose 3*g + 4*m + 19 = 0, 0*m = 3*g - 3*m - 9. Let r(f) be the first derivative of -297*f**2/2 - 2*f + 266. Is r(g) prime?
False
Let q(g) = -87*g**3 + 2*g**2 - g + 23. Let o(b) = 44*b**3 - b**2 - 11. Let t(w) = -9*o(w) - 4*q(w). Is t(-4) composite?
False
Let n = 54 - 51. Suppose 2*x - n*t - 1053 = 1240, -4601 = -4*x + t. Is x prime?
True
Let q = 6638 + -4439. Is q a composite number?
True
Let c(l) = -l - 1. Let s be c(-7). Let j be 60/(-14)*(s - -1). Let k = j + 83. Is k a composite number?
False
Suppose 130*l + 14577 = 133*l. Is l a prime number?
False
Let k(j) = -j**3 - 10*j**2 - 27*j + 13. Is k(-15) a prime