 g a composite number?
True
Let y(u) = 3*u - 6 + 2*u**2 - u**3 + 0 - 6*u**2. Let f be y(-5). Suppose 0 = 2*l + 2*k - 40, -l - f*k = -3*l + 58. Is l a composite number?
False
Suppose -4*h - 12 = -2*c - 8*h, -h + 3 = 0. Suppose 2*q - 122 + 24 = c. Is q a prime number?
False
Suppose 912 = 4*c - 2*r, -3*r - 133 = -2*c + 319. Suppose -3*s - 291 = -3*n, 3*n - 5*n - 5*s = -c. Suppose -3*j + n = -165. Is j composite?
False
Suppose -11*a + 516 = a. Is a a prime number?
True
Let n(x) = -5*x - 1. Let l be n(-1). Suppose -l*r + 5*s = -251, -r + 39 = -s - 25. Is r composite?
True
Suppose -18 = 4*g + t + 3, 2*t - 30 = 4*g. Let p(a) = 4*a**2 + 3*a - 7. Is p(g) prime?
False
Suppose 3*h - 4*b = 18, 3*h - b - 12 = b. Suppose h*x = 4, -4*x + 37 = -4*d + 233. Is d a composite number?
True
Is (-6)/(-30) - 308/(-10) prime?
True
Suppose -3*k + 7*k - 20 = 0. Suppose -k*f + 3 = -7. Suppose f*t = -2*t + 260. Is t prime?
False
Let v(p) = -212*p**3 - p**2 - p - 1. Is v(-1) composite?
False
Let y = -2295 - -3428. Is y a prime number?
False
Suppose 0 = -y - 1, -5*f + 5*y + 18 = -7. Let m(z) = z**2 - f*z + 2*z + 0*z. Is m(3) prime?
True
Let z(f) = -f**2 - 6*f - 5. Let i be z(-4). Suppose 0 = -0*c + 3*c - 45. Suppose i*y + c = 45. Is y a prime number?
False
Let z = 152 + -229. Let w = z + 156. Is w a prime number?
True
Let i be 5 - (-2)/(-4)*2. Let y be (174/9)/(i/12). Suppose 3*j + 2*m = j + y, -113 = -4*j - 3*m. Is j a prime number?
False
Let f(v) = 9*v**2 - 7*v + 1. Is f(5) a composite number?
False
Let v(q) = q - 9. Let l be v(9). Suppose -k + l = 2*j - 239, 0 = -3*j + 4*k + 375. Is j prime?
False
Let t(a) = 70*a**3 + a**2 - a - 1. Let c be t(-1). Is (c/(-12) - 3)*92 a composite number?
True
Suppose 6 = c + c - 2*b, -c + 11 = -5*b. Let q(p) = 48*p + 1. Is q(c) a prime number?
False
Let l(k) = 194*k + 1. Is l(2) a prime number?
True
Let o(p) = -1. Let w(a) = -256*a - 5. Let z(l) = 4*o(l) - w(l). Suppose -4*h + 9 - 5 = 0. Is z(h) prime?
True
Suppose -2*j + 0*j + 930 = 0. Suppose -16 = z + 3*z, -5*z = -5*g + j. Is g a composite number?
False
Suppose -s = s - 214. Let j = s - 60. Is j prime?
True
Suppose -2*o + 4*o - 4614 = 0. Is o a composite number?
True
Let h be -67*(3 + 1 + -3). Let j = 156 + h. Is j a composite number?
False
Suppose -4*f + 3*b = -9 + 2, 0 = 3*f - 4*b - 7. Let h be (3/2)/(f/(-2)). Is (21/(-6))/(h/66) a composite number?
True
Let t(z) = 2*z + 53. Is t(0) a prime number?
True
Is (-4 + -2 + 2728)*(-2)/(-4) prime?
True
Is -10 + 1572 - 1/(2 + -1) prime?
False
Let t be 2/3*(-6)/4. Let a be 0 + t + (-9)/(-3). Let w = a - 0. Is w composite?
False
Let j(i) = -3 - 3 - i**3 - 6*i + 0*i**2 - 4*i**2. Is j(-5) a composite number?
True
Let b(a) = -2*a**3 - 2*a**2 - 2*a + 9. Let i be b(-5). Let j = i + -70. Is j composite?
False
Suppose 0 = 7*x - 3*x + 32. Let d(c) = -12*c + 17. Let s(q) = 4*q - 6. Let n(g) = 3*d(g) + 8*s(g). Is n(x) prime?
False
Let x(m) = m + 253. Suppose b = v - 3*b - 16, -4*b - 16 = 5*v. Is x(v) prime?
False
Suppose -2*f + 4*f - 5*i = 49, -f + 22 = -3*i. Is f prime?
True
Suppose 0 = 4*x + 3*f - 158, -5*x - 3*f = -112 - 84. Suppose -x - 9 = -p. Is p composite?
False
Let g(u) be the second derivative of u**4/4 - u**3/6 - 5*u**2/2 - 12*u. Let y = 20 + -14. Is g(y) composite?
False
Let s(v) be the second derivative of -v**5/20 - v**4/12 + 3*v**2/2 - v. Is s(-3) a prime number?
False
Suppose -2*c - 4 = y - 1, -45 = -5*y + 5*c. Let u(a) = -2*a - 2 + 4 + 3*a. Is u(y) prime?
True
Let r(x) = x - 2. Let n be r(5). Let m(z) be the first derivative of 10*z**3/3 - z**2 - z - 23. Is m(n) composite?
False
Let y(m) = m**2 - 8*m + 8. Is y(-7) a prime number?
True
Suppose -50 = -4*n + 134. Let o be 64 + (-2 - -2) - -1. Let u = o - n. Is u prime?
True
Suppose -281 = -f + 346. Suppose 5*a - 3259 + 88 = 3*u, -3*u = -a + f. Let g = a + -451. Is g prime?
False
Suppose 2*d + 100 = 518. Is d a composite number?
True
Let z(i) = -i**2 - 5*i - 2. Let m be z(-3). Suppose -m*v + 12 = -v. Suppose -o = v*o - 30. Is o a prime number?
False
Let a = 1 + 1. Let k(o) = 13*o**3 - 3*o**2 + o - 1. Let m be k(a). Suppose -4*q = 4*w - 372, 3*q - 198 - m = 3*w. Is q composite?
True
Let h(n) = 2*n. Let x be h(5). Let k = -7 + x. Suppose 28 = k*r - 2. Is r a prime number?
False
Suppose 2*k - 2927 = -109. Is k prime?
True
Let a = -4 + 8. Suppose a*y = 250 + 130. Is y a composite number?
True
Let p(k) = k**2 + 5*k + 2. Let m be p(-5). Suppose 44 = 2*n + m*n. Is n prime?
True
Suppose -k + 12 = 3*s, 0 = 4*s - 3*k + 2*k - 16. Suppose -3*l = -2*c - 10 - 691, 0 = 2*c + 8. Suppose s*r - l = r. Is r a composite number?
True
Suppose -4*s + 426 + 282 = 0. Is s a prime number?
False
Suppose -5*h - 2*i = -1035, 0 = 2*h + 2*i - 112 - 308. Is h prime?
False
Let w = -45 + 47. Suppose y - 17 = 15. Suppose -w*v + 10 = -y. Is v a prime number?
False
Suppose 4*s + 8 = -4*y - 0*s, 0 = 5*s + 15. Suppose -2 = -f + y. Is f prime?
True
Suppose 2*c - 6 = -0*c. Is -5*((-206)/5 + c) prime?
True
Let s(t) = -192*t**2 + 11 + 253*t**2 - 9 + 269*t**2 + 3*t. Is s(-1) a composite number?
True
Let f(s) = -7*s. Let g = -9 - -11. Suppose -3*o + l = 2*o + 13, 4*l + g = 2*o. Is f(o) prime?
False
Is 2/(-3)*-717 - -1 prime?
True
Is 22581/11 - 3/(-66)*4 a composite number?
False
Let a(s) = s**3 + 5*s**2 - 8*s - 5. Let i = 6 + -4. Let w = -8 + i. Is a(w) composite?
False
Let g be 50/15*306/2. Is 1/((-3)/g*-2) a composite number?
True
Suppose 2*f + 0*f + 510 = 0. Let k = f + 508. Is k a prime number?
False
Suppose 5*w = x + 21, 3*x = 2*w - w + 7. Suppose 5*q = 3*o - 156, -x*o + 113 = -2*q - 81. Is o a prime number?
True
Let r be (3 - 0)/(-1) + 3. Suppose 4*x + r*s - s + 340 = 0, 4*x + 4*s = -320. Is -4 - -3 - x*1 a composite number?
False
Let r be (123 + -2)/(-1) + -2. Let o = r + 250. Is o a prime number?
True
Suppose -p + 0*p + 5 = 0, 4*v + 5*p = 81. Let g be (-4)/v + (-6)/(-21). Suppose -4*b + b + 102 = g. Is b a prime number?
False
Is (1 + -2)*(9 + -62) prime?
True
Let y(m) be the first derivative of -55/2*m**2 + m - 1. Is y(-2) a composite number?
True
Let s = 446 + 11. Is s a prime number?
True
Suppose o - 6*o + 330 = 2*r, -o + 88 = -4*r. Suppose 133 - 9 = -4*y. Let q = o + y. Is q composite?
False
Let s = 7 + 136. Let i = s - 76. Is i a composite number?
False
Let p(l) = 48*l + 10. Is p(6) prime?
False
Suppose 5*p - 16 = -3*c, -5*c = -4*p + 1 - 3. Let b be (-17)/(-4) - (-1)/(-4). Suppose -p*x = -3*z + 231, x = b*z + 3*x - 308. Is z a prime number?
False
Let c = -370 + 701. Is c composite?
False
Let o(c) = -c**3 + 5*c**2 - 4. Let x = 20 + -13. Let m be o(x). Let l = -68 - m. Is l prime?
False
Let l be (1*4)/((-8)/32). Let u = l - -26. Is u prime?
False
Suppose 0 = 3*z - 6*z + 192. Let j = z + 1. Suppose -11 - j = -4*k. Is k a prime number?
True
Let k(z) = z**3 - 5*z**2 - 9*z - 1. Let s be (-2 + 0 + 1)*18. Let v = s + 25. Is k(v) a composite number?
True
Let j = -9 - -46. Is j a composite number?
False
Let y(k) be the third derivative of 19*k**4/24 - k**3/3 + 5*k**2. Is y(7) composite?
False
Let j(t) = 38*t**2 + 4*t - 3. Is j(5) prime?
True
Let b = 44 - -15. Let c = 93 - b. Is c a prime number?
False
Let z be (3 + -2)/(1/5). Suppose -k - 15 = -z*p - 0*p, p + k = 3. Suppose 4*y + p*m - 143 = 0, -2*m + 35 + 2 = y. Is y a composite number?
True
Let u(n) = 49*n**2 + n. Suppose 0 = -y - 2*y + 3. Let o be u(y). Let g = 81 - o. Is g a prime number?
True
Suppose -21*b - 2019 = -22*b. Is b prime?
False
Suppose -5*u = -1616 - 1529. Is u a prime number?
False
Let a(c) = c + 4. Let y be a(0). Suppose g - 2*u - 1 = 3, -y*g + 52 = 4*u. Is g a prime number?
False
Let g(w) = -w + 1. Let o be g(0). Is ((-2)/4)/(o/(-74)) a prime number?
True
Let f = -18 - -16. Is (-852)/f + 1 + 0 composite?
True
Let u = -392 + 1435. Is u composite?
True
Let c(i) = 2*i**3 + 7*i**2 - 6*i + 3. Let f be c(-7). Is (4/8)/((-1)/f) composite?
False
Let i(n) = -n - 2. Let k be i(7). Let h(b) = -b**3 - 10*b**2 - 8*b + 13. Let d be h(k). Suppose -d*m = -2*m - 28. Is m prime?
False
Suppose 5*j + 5*c + 0*c - 900 = 0, -170 = -j - 3*c. Is j a composite number?
True
Suppose 2 = -2*b + 6. Suppose 5*c = 3*c + b. Let z(t) = 132*t**3 - 2*t + 1. Is z(c) prime?
True
Let x be 1 + (-3 - -4) + 84. Is -1 + x + (6 - 4) a composite number?
True
Let p(t) = t + 6. Let c be p(-6). Let i(d) = 