k. Suppose 3*c = -b + 22, -2*c + f = 3*b - c. Is b prime?
False
Suppose -2*d + 151 + 103 = 0. Is d a composite number?
False
Let s be (-6)/(-4)*(-14 + 6). Is ((-934)/6)/(4/s) composite?
False
Let j be -3 + 9 + -4 + 2. Suppose 0 = 4*p - j*s - 244, p = -p + 3*s + 124. Is p composite?
False
Let u be 1 + 0 + 3 + -2. Let x(g) = g + g**u - 3*g + 0*g**2. Is x(7) a composite number?
True
Let g(j) = 10*j + 4. Let m be g(4). Suppose -2*s = -12 + 12. Suppose -n - 3*r + 26 = 0, -2*n - r + m + 23 = s. Is n a composite number?
True
Suppose 4*b = 6 - 26, -b = 2*s - 9. Let w(o) be the first derivative of -o**4/4 + 8*o**3/3 - o**2 - 4*o - 22. Is w(s) a prime number?
True
Is -1*(-5)/((-15)/(-1893)) prime?
True
Let v = 67 - -114. Is v a prime number?
True
Let u = 95 - 57. Let h = 20 + u. Is h composite?
True
Let u(w) = 3*w - 9. Let c be u(6). Let t = 11 - c. Suppose -4*o - t*b - b = -682, -330 = -2*o + 4*b. Is o prime?
False
Let c = 73 - -10. Is c a prime number?
True
Suppose j - 2*s - 579 = 2*j, 3*j - 5*s + 1704 = 0. Is (j/(-9))/(3/9) a prime number?
True
Suppose 0 = 4*c + 37 - 1033. Is c a prime number?
False
Let w(s) = 2*s - 2. Let g be 19/7 + (-2)/(-7). Let x be w(g). Suppose 4*o + 2*m - 146 = 0, x*o - m - 200 = -o. Is o a composite number?
True
Let l(z) = 12*z**3 + z**2 - 4*z + 3. Is l(2) prime?
False
Suppose 3*g = -g - 24. Let h = 16 - g. Is h a composite number?
True
Let t(o) be the third derivative of -o**5/120 + 5*o**4/8 - o**3/3 - 3*o**2. Let k(c) be the first derivative of t(c). Is k(9) a prime number?
False
Let z(u) = -2*u - 4. Suppose 27 - 7 = -4*b. Let r be z(b). Suppose a - 11 = 3*v, 2*a - r*a = 3*v - 104. Is a a prime number?
True
Suppose -4*t = 7 + 1. Is t/3 - (-11)/3 composite?
False
Let o(u) = u - 8. Let b be o(6). Let p be b/((-15)/(-9) + -1). Is (158/4)/(p/(-6)) prime?
True
Suppose 8 = 9*t - 5*t. Suppose -7*j = 4*k - 4*j - 3, 0 = -2*j - 6. Suppose -4*v + 47 = -4*g + g, k*v - t*g = 36. Is v a prime number?
False
Let q = -12 - -14. Suppose -3*t + 18 + 140 = q*a, 0 = 5*a + 2*t - 395. Is a prime?
True
Suppose 4*h = -8 - 20. Let b = h + 60. Is b a composite number?
False
Is ((-3)/(-2))/(6/508) a composite number?
False
Let a = 18 + -26. Let k = a + 11. Suppose u - 77 = -k*b, 2*u = -0*u + 5*b + 198. Is u a composite number?
False
Suppose 2*m - 3*m = -2. Suppose -m + 72 = 2*g. Is g composite?
True
Let o(g) = -6*g + 3. Let j(q) = q - 3. Suppose -4*v + 6 + 2 = -5*a, 2*v = -3*a + 4. Let s be j(a). Is o(s) composite?
True
Let v(s) be the third derivative of -121*s**4/6 + s**3/6 - s**2. Let g be v(-1). Is g/7 - 4/14 composite?
True
Is 5*2/10 + 672 a prime number?
True
Is ((-146)/4)/((-17)/238) composite?
True
Let f(j) = -j**3 + j**2. Let p be 4/(-10) + 8/20. Let o be f(p). Suppose -2*k - 3*z = -o - 23, -k + 5*z = -44. Is k a composite number?
False
Suppose -4*g + 5 = 3*k, 34 = k + k - 5*g. Is (-3)/k - (-650)/14 composite?
True
Let h(y) = -y**2 - 5*y + 7*y**2 + 4*y. Is h(2) composite?
True
Let y(f) = 10*f + 24. Is y(17) prime?
False
Let h(j) be the first derivative of -j**3/3 + 5*j**2/2 + 4*j - 2. Let i be h(10). Let q = -15 - i. Is q a composite number?
False
Suppose l - 6*l + 110 = 0. Suppose 4*r = 2*b + 3*b - l, 2*b - 4*r - 16 = 0. Suppose -b*p + 18 = 2*p - 5*j, 6 = 3*j. Is p a prime number?
True
Let i(s) = -61*s + 8. Is i(-11) a composite number?
True
Let z be 18/(-12)*8/(-6). Suppose -z*q = 3*n - 14, 4 = -3*q - 2*n + 25. Is q a prime number?
True
Suppose 0*u - 2*u = 8. Let i be -1 - u - (1 - 2). Suppose 0 = -p + 3 + i. Is p a prime number?
True
Let l(n) = -n**2 - 11*n + 5. Let b be l(-11). Let j(i) = -i**2 - 4*i + 7. Let r be j(-5). Suppose -b*y = -r*y - 78. Is y prime?
False
Let s(q) = 73*q - 5. Let f be s(2). Let u = f - 35. Is u prime?
False
Let z = 1293 - -118. Suppose -6*u - 517 = -z. Is u a composite number?
False
Suppose -5*t + 11 = -4. Suppose t*v - 628 = -v. Is v a prime number?
True
Suppose -4*g + 15 = 7. Suppose 20 = 5*z - g*m, 0 = 3*z - 2*m - 1 - 7. Is z composite?
True
Suppose -p - 12 = 2*x, 3*p - 5*x + 3 = -0*p. Let u = 28 - p. Is u a composite number?
True
Let a = 3 + 0. Suppose -2*m + 56 = -2*v, v - a*v = 4*m - 142. Is m a composite number?
True
Let f(z) = 445*z**2 - z - 1. Is f(-1) a composite number?
True
Suppose -y = -6*y + 25. Suppose -i - 3*a + 130 = 0, -315 - 352 = -5*i + 2*a. Suppose 3*q - 46 = y*j + 19, i = 5*q + 4*j. Is q a composite number?
True
Suppose -36 = -3*l - 0*l + 3*d, -3*d + 84 = 5*l. Let o(c) = -c**3 + 8*c**2 - c + 7. Let b be o(8). Let z = b + l. Is z prime?
False
Let w be 6*21/9*8. Suppose -w = 4*d - 792. Suppose -4*n + 6*n = d. Is n composite?
True
Suppose 2*b + 467 = 3*b. Is b composite?
False
Let r = 49 + 74. Is r a composite number?
True
Suppose 2*p - 19 + 57 = 0. Let m = p - -27. Is (m/6 + -2)*-15 a prime number?
False
Let g = -12 - -18. Let w(f) = 0*f**2 + f**2 - 11 - f + g*f. Is w(-9) prime?
False
Suppose 3*t - 2 - 10 = f, 0 = -t + 5. Suppose -4*u = -3*u + 2*m - 133, 0 = 4*u + f*m - 517. Is u composite?
False
Suppose 4*v + 1032 = 4*i, 0*i + 1250 = 5*i + 3*v. Is i a prime number?
False
Suppose -4*x + 128 = 3*q, 4*x = -q + 3*q - 72. Suppose -4*l + q = -4*i, -3*i = -3*l + i + 34. Suppose -j - 95 = -l*j. Is j a prime number?
True
Let i(h) = 5*h**2 + h - 4. Let x be i(-5). Let s = 9 - -20. Let l = s + x. Is l prime?
False
Let b(l) = 5*l**2 + 4*l**2 - 5*l**2 - 12*l - 8 - 5*l**2. Let x(k) = -k**2. Let p be x(3). Is b(p) prime?
True
Let x(t) = 3*t - 7. Let d be x(10). Let w = d + 0. Is w a composite number?
False
Suppose 2*m - 63 = 75. Is m composite?
True
Let l = 7 + -5. Let t be (-186 + -1)*(1 - l). Suppose -4*r + t + 129 = 0. Is r composite?
False
Let h(w) = 26*w - 1. Let x(c) = -103*c + 4. Let r(s) = 9*h(s) + 2*x(s). Let y be (-3 - (-52)/16)/((-3)/(-24)). Is r(y) a composite number?
True
Let w = -131 + 72. Let h = -28 - w. Is h prime?
True
Let s = 2 - 2. Is s + 17 + (0 - -2) composite?
False
Let t = 1 + 2. Suppose 1055 = 2*z + t*z. Is z composite?
False
Suppose 37 + 268 = 5*j. Suppose 22 - j = -3*w. Is w a prime number?
True
Let k(b) = 3*b**2 - 9*b + 8. Let i be k(6). Suppose -4*o = -i - 42. Is o a composite number?
True
Let n(q) = q**2 + 8*q + 3. Let r be n(-6). Let a(x) = 3*x**2 + 12*x + 10. Is a(r) composite?
True
Suppose 0*q = 4*t + 3*q + 4124, -4*t - 4120 = 4*q. Let u = t + 1599. Is u a composite number?
True
Let m = 1984 - 1125. Is m a composite number?
False
Suppose 5*a + 9 = 8*a. Suppose -v + 5*d + 143 = 0, 0 = -a*v - 4*d - 0*d + 334. Is v composite?
True
Let o(a) = -a - 1. Let m be o(-3). Suppose 0*g - m*g = 0. Suppose -3*n = 4*w - 77, 6*n - 3*n + 3*w - 72 = g. Is n composite?
False
Suppose -z + 2*o = -222, o - 4*o + 932 = 4*z. Let n = -137 + z. Is n a composite number?
True
Is 3*(-23)/2*-2 composite?
True
Suppose 2*l = -5*v - 11, 5*v - 2*v - 15 = 0. Let f = -5 - l. Is f composite?
False
Let a(u) be the second derivative of u**4/12 + u**3 - 6*u**2 + 7*u. Let o = -21 - -12. Is a(o) a composite number?
True
Is 2*-2*133/(-4) a prime number?
False
Is 1479/27 + (-4)/(-18) a prime number?
False
Let p = 1 + -5. Let j(k) = 10*k**2 + 4*k + 3. Let u be j(p). Suppose 0 = 3*f + 4*q - u, -3*q + 98 = 2*f + 2*q. Is f a prime number?
False
Let z(i) = -i**3 - 4*i**2 + 6*i + 5. Let p be z(-5). Suppose p = -2*f - 3*f + 470. Is f a prime number?
False
Let n(z) = 10*z**2 - 13*z + 8. Is n(9) composite?
False
Let v(k) = k**3 - 4*k**2 - 5*k - 6. Let c(z) = z + 1. Let p(d) = 5*c(d) + v(d). Let s be p(4). Is (-14)/s + 1/(-1) composite?
False
Let u = -179 - -334. Suppose -16 = -4*w + 4. Suppose w*n = -0*n + u. Is n a composite number?
False
Suppose -6*x + 211 = -5*x. Is x prime?
True
Let r be (-2)/(-6) - (-65)/(-15). Let l(k) = k**3 + 5*k**2 + 4*k + 2. Let d be l(r). Is d - (2 - 3)*111 a prime number?
True
Is ((-2)/(-1))/(28004/9332 - 3) a prime number?
True
Suppose 5*v - 23 = -3. Let r = 7 - v. Is (6/(-4))/(r/(-28)) a composite number?
True
Let o be (-4)/18 + 346/18. Let k = o + -11. Suppose 3*h + k = 71. Is h a composite number?
True
Let r(v) = 21*v + 1. Let c be r(6). Suppose 3*m - 2*m - c = 0. Is m composite?
False
Let n(z) = -10*z**3 + z**2 - 1. Let s be n(-1). Let f be 24/s + 3/5. Suppose f*y = 6 + 3. Is y composite?
False
Let l(s) = -5 - 20*s - 6 + 1 + 7. Is l(-4) a composite number?
True
Let j(n) = 85*n - 1. Is j(