(n) = -5*n + 7. Suppose -3*g + 64 = -7*g - 3*a, -2*a = 0. Let p = 10 + g. Is y(p) prime?
True
Let r(a) = 13*a. Let h(m) = 5 + 4*m - m - 2*m. Let v be h(-4). Is r(v) composite?
False
Let j = 20 + -13. Is j prime?
True
Is 1057*(-4)/(-3 + -1) prime?
False
Suppose -13*g = -4*g - 17163. Is g a composite number?
False
Is (-526)/(-2 - (0 + 0)) composite?
False
Suppose -3*w + 10 = 2*w. Let p(v) = -v**3 - 6*v**2 - v - 2. Let h be p(-6). Suppose w*f + 5*x - 144 = 0, -h*f + 2*f - x + 152 = 0. Is f composite?
True
Let i(o) = o**3 - 3*o**2 - o - 4. Let g be i(3). Let m(w) be the first derivative of -w**4/4 - 4*w**3/3 + 5*w**2 + 1. Is m(g) a composite number?
True
Let o = -39 + 218. Is o a composite number?
False
Is 5/3*(-319)/5*-3 a composite number?
True
Suppose -10 + 603 = a + 2*k, 2*k = 6. Is a a prime number?
True
Let v = -10 - -17. Suppose 3*x + 2*r - v - 12 = 0, -5*x + 33 = 3*r. Is -1*x/6*-46 a prime number?
False
Let c(l) = 3*l**2 + l + 2. Let f be c(-7). Let r = f - 65. Is r prime?
False
Let t = 628 - 407. Is t composite?
True
Suppose 116 = 4*g - 20. Is g prime?
False
Suppose 4*w + 20 = -4*h, 3*w - 5*h - 4 - 5 = 0. Let q(c) = -15*c**3 - 3*c**2 - c - 1. Let p be q(w). Suppose 2*m - m = p. Is m composite?
False
Is 0 + 1 - (-539 - 1) composite?
False
Suppose 0 = -9*c - c + 3070. Is c a composite number?
False
Let p = -3 + 62. Is p a composite number?
False
Let h be -3*3/(-9) - 5. Let c be h*((-74)/(-4))/(-1). Suppose t = -t + c. Is t prime?
True
Let t(f) = f**3 + 6*f**2 - 11*f - 8. Let m be t(-7). Suppose -v = 4*v - m. Suppose 4*p - 3*p - 22 = b, -3*p = -v*b - 63. Is p a composite number?
True
Let o be (-1)/(22/10 + -2). Let w(y) = y**3 + 7*y**2 + 1. Is w(o) a composite number?
True
Let k = -2 + -4. Let a = k + 10. Suppose 34 + 2 = a*s. Is s a composite number?
True
Let u = 163 + -105. Suppose 3*y - 109 = t, u = y + 2*t + 2*t. Is y a prime number?
False
Is (4 - (-25)/10)*22 a prime number?
False
Suppose -z = -2*a + 76, 4*z - 65 - 31 = -2*a. Let j(i) = a*i + 43*i - 36*i. Is j(1) composite?
False
Suppose 4*h + 0*t = -5*t + 2109, 2*h = -3*t + 1055. Is h a composite number?
True
Let q(r) = -r**3 - 5*r**2 - 2*r - 7. Let u be q(-5). Suppose 122 = 5*c + u*p, -2*c + p = 2*p - 49. Is c a composite number?
True
Let g be 1*163 - (-17 + 19). Suppose k = 3*k - l - 294, 0 = -k + 4*l + g. Is k a prime number?
False
Suppose -2*c = c. Suppose c = -3*a + 5*a - 548. Suppose 445 = 2*s - v, -2*s - 2*v + a = -162. Is s a prime number?
False
Suppose 0 = -5*h, 0*h + h = 2*l - 382. Is l a composite number?
False
Let g(p) = 10*p**3 + 3*p**2 - 2*p + 3. Let l be g(2). Suppose -3*z - 4*s = 781 + l, -3*s + 587 = -2*z. Is 4/(-12) + z/(-3) a prime number?
True
Let y = -45 + 145. Let i be y/36 + (-4)/(-18). Suppose 123 - 24 = i*c. Is c composite?
True
Is 2*-1*((-3997)/2)/7 a composite number?
False
Suppose 4*f - 3*y = 393 + 2072, 0 = -3*f - 2*y + 1836. Is f prime?
False
Let h(j) = 6*j**2 + 14*j - 21. Is h(-9) composite?
True
Let n(k) = -8*k - 8*k + 4*k + k. Is n(-3) a composite number?
True
Let o = 2 - 2. Suppose -4*d + o*d + 36 = 0. Suppose -i + 5 = -d. Is i prime?
False
Let x be (-7)/((-18)/8 - -2). Suppose 4*r - x = 3*n + n, 5*r = -2*n + 14. Suppose -4*y = 0, 2*u + r*y - 39 = -u. Is u a composite number?
False
Let f be (2 - 3)*-18*3. Let s = 17 + f. Is s prime?
True
Let o(f) = -f**2 + 5*f - 3. Let a be o(5). Let y be a + 1 + (-1 - -5). Suppose -y*w = 2*m - 0*w - 74, 2*w = 0. Is m a composite number?
False
Suppose 0 = -5*q + 2*u + 362, q - 6*u - 66 = -4*u. Let c = q - 7. Is c a composite number?
False
Let p(b) = 18*b**2 + 1. Let o be p(-2). Suppose o - 11 = 2*d. Is d a prime number?
True
Let p(y) = 8*y**2 - 4*y + 3. Let d be p(2). Suppose 3*q - 3*t - d = 6, 0 = q - 3*t - 11. Is q prime?
True
Suppose -4 = -b + 2. Suppose 2*j + 374 = 2*s, -s + 4*j = -b*s + 935. Is s composite?
True
Let x = -29 - -82. Is x a composite number?
False
Let q = 3 + -5. Is (q - (-10)/8)*-68 a prime number?
False
Let z be (1296/28)/(2/14). Let u = -175 + z. Is u composite?
False
Let d(h) be the third derivative of h**5/60 + h**4/8 - h**2. Let v be d(-4). Suppose 0 = 4*u - c - 78, v*u - 25 = 3*u + 3*c. Is u a prime number?
True
Let w(d) = 73*d**3 + d**2 - d + 1. Is w(1) prime?
False
Let w(j) = 5*j**2 + 2*j. Let v be 0 - (2 - (5 - 1)). Let n be w(v). Let x = 46 - n. Is x a prime number?
False
Let z = -4 - -5. Let y = z + -2. Is (y - 13)/(6/(-9)) prime?
False
Let a = 13 - -56. Let y = a + 5. Suppose s - y = -19. Is s composite?
True
Let a = 51 + 40. Let n = a - -4. Is n a composite number?
True
Is (-17618)/(-16) - (-5)/(-40) prime?
False
Suppose 7*j + 133 = 8*j. Is j prime?
False
Suppose -2*v = -0*v - 94. Suppose -3*s + 39 = 2*r, -v + 8 = -r + 5*s. Suppose -2*i + 18 = -r. Is i a composite number?
True
Let y(d) = -d**3 + 6*d**2 + d - 4. Let n be y(6). Suppose 0 = -n*h + 4*h. Let o(l) = l + 6. Is o(h) prime?
False
Let d(z) = -4 + 6*z**2 + 5 - 7*z - z. Is d(6) a composite number?
True
Let w(s) = 74*s**2 - 29. Is w(5) a prime number?
False
Is (14/4 + -3)*2282 prime?
False
Let z(o) = 2*o**2 - 2 + 2*o**2 + o**2 + 3*o - 6*o. Is z(3) a prime number?
False
Let i(s) be the first derivative of -s**4/4 + 4*s**3/3 - s**2/2 + 4*s - 2. Let r be i(4). Suppose r = p - 5*p + 76. Is p a prime number?
True
Suppose -w + 2*o + 6 = -1, -12 = -2*w + 2*o. Suppose -w*p - 25 = 0, -4*p + 23 = -s + 90. Is s a composite number?
False
Suppose 18 = 2*k + k. Suppose 0 = k*m - 3*m - 777. Is m prime?
False
Suppose 3*r - 5*s = 0, -2*r + 4*s = 1 + 1. Let b = r - 2. Suppose -4*x + 139 = b*p, -2*p = 2*x - 0*p - 68. Is x a prime number?
True
Let a = 554 + -337. Is a prime?
False
Suppose 0 = -k + 4, -5*z - 4*k + 9*k = -2240. Suppose -4*j + 8*j = z. Is j composite?
False
Suppose -f - 11 = -3*u + 9, 5*f + 20 = -5*u. Let s(b) = -147*b**2 + b**3 + 2*b + 3*b - 3 + 158*b**2. Is s(f) composite?
False
Let g(b) = -b**3 - 15*b**2 - 19*b - 1. Is g(-14) a composite number?
True
Let p(j) be the third derivative of 5*j**4/8 - j**3/2 - 2*j**2. Let z be p(4). Is (z/(-12))/(1/(-4)) prime?
True
Let s(p) be the second derivative of p**4/12 - p**3/2 - 5*p**2/2 + 2*p. Suppose 0 = -l - 2*q - 0 - 10, -5*q = -2*l - 2. Is s(l) a prime number?
False
Let a(p) = -p - 3*p**2 - 1 + 4*p**2 - 4*p**3 + 0*p**3. Let r = -5 + 3. Is a(r) a composite number?
False
Let z(h) = 49*h - 1. Is z(8) a composite number?
True
Suppose -2*x + 849 = 3*f + 22, 4*x - 4*f = 1624. Is x a composite number?
False
Let n be (-14036)/(-20) + (-1)/(-5). Let k = -496 + n. Let v = k + -75. Is v prime?
True
Suppose 5*p - 10 - 5 = 0. Suppose 0 = 5*j - 5 - 0, -2*w = p*j - 25. Suppose -w + 41 = 3*r. Is r composite?
True
Let g = 18 - 16. Let y(x) = -3 + 6*x - 3*x + 2*x**2 - 2*x**3 + 3*x**3. Is y(g) composite?
False
Suppose 5 + 44 = -l. Let k = -10 - l. Is k prime?
False
Let v = -1 - -3. Is (2/(-6))/(v/(-3342)) a composite number?
False
Let x = -7 + 5. Let c(m) = -m - 3. Let z be c(-5). Is 25*z*(-1)/x a composite number?
True
Suppose -16 = 2*u + 2*u. Let k = u - -9. Suppose 573 = 3*h - c + 4*c, -h + k*c = -167. Is h prime?
False
Suppose 2*q + q - 6 = 0. Let c = q + 3. Suppose -5*a + m + 411 = 0, -2*m = -c*a + 110 + 297. Is a a composite number?
False
Let z be (-16)/(-12) + (-3)/9. Is z/((-384)/129 - -3) prime?
True
Let r = 6382 + -4475. Is r composite?
False
Suppose -8 = n - 2*n. Let x = -2 - -1. Let c = n - x. Is c composite?
True
Is 8/(2 - 4)*777/(-12) composite?
True
Let q = 2 + -2. Suppose f - 42 - 37 = q. Is f a composite number?
False
Suppose 0*a = -3*a - 12. Is ((-4)/6)/(a/1506) a composite number?
False
Suppose 3*k + 4*m = 7 + 13, -24 = -4*k - 4*m. Suppose k*d = 36 - 12. Is (13/4)/(d/48) a prime number?
False
Let s = -7 + 7. Is 3*((-105)/(-9) + s) a prime number?
False
Suppose -c - 3*s = -0*s - 14, -12 = -2*c - 2*s. Suppose 4*t - 16 = -0*t. Suppose -5*a + 41 = -r, 2*a + 0*a = t*r + c. Is a prime?
False
Let k(g) = 37*g + 23. Let a be k(12). Suppose 0 = -5*l + 803 + a. Is l a composite number?
True
Suppose -3*m = -9, 0 = 3*d - 0*d + m - 585. Is d composite?
True
Let p be (-3 - 1)*(-3)/4. Let r(u) = u**2 + 2*u - 12*u**3 - 10*u**p + 3 + 9*u**3 - 19*u**3. Is r(-2) a prime number?
False
Let y(d) = -31*d - 6. Is y(-3) a composite number?
True
Let t = -4 + 6. Is t - (4 + -2) - -131 composite?
False
Let o(l) = -6*