 i be (-6 + 0 + -1)/1. Let w = -4 - i. Suppose 0 = -4*y + 20, -x + 253 = x - w*y. Is x composite?
True
Let q be 1/((-15)/(-18) + -1). Is (-4)/q*138 - 3 prime?
True
Suppose 0 = -2*t + 4. Suppose -t*z = 5*i - 789 - 696, 2*i + z = 595. Is i composite?
True
Let g = 2862 - -1721. Is g composite?
False
Suppose -f - 1341 = -4*j, -4*j - 2*f = -7*j + 1012. Is j a composite number?
True
Let j = -2 + 0. Let d be j/5*(-173 - 7). Suppose y = -m + 6*y + 23, -d = -2*m - 3*y. Is m composite?
True
Let d = -14 + -112. Let z = -50 - d. Suppose r + z = 5*r. Is r composite?
False
Suppose 0 = -3*q - n + 2663, -3*q - 1785 = 3*n - 4452. Is q a composite number?
False
Let l(h) be the first derivative of 31*h**2/2 - 2*h - 2. Let v(q) = -30*q + 2. Let z(a) = 5*l(a) + 6*v(a). Is z(-5) a prime number?
True
Let x = -164 - -705. Is x a composite number?
False
Let m(i) = 23*i**2 - 2*i + 1. Let n(l) = l**2 - l + 2. Let q be n(0). Is m(q) a prime number?
True
Let a(t) = t**3 - 4*t**2 - 3*t + 2. Let n be a(5). Suppose 0 = 5*k - o - 584, -o = -4*o - n. Suppose -20 = -d - w, -5*d + w = -2*w - k. Is d a prime number?
False
Suppose 466 = 5*j - 339. Is j a composite number?
True
Let o(a) = a. Let b(u) = -u**2 + 4*u + 7. Let p(g) = b(g) + 3*o(g). Is p(7) prime?
True
Suppose 4*l = -5*p + 406, 4*l - 2*p - 420 = -0*p. Let c = -67 + l. Is c composite?
False
Suppose -4*d - 6*d = -290. Let q be -6*52/(-18)*3. Let o = q - d. Is o prime?
True
Suppose z - 339 = -2*z. Is z a prime number?
True
Let b be -37*1 + 5/5. Is (-4010)/(-18) - 8/b a prime number?
True
Let d(a) = a**3 + 8*a**2 - 3*a + 3. Let r be d(-8). Let p = r + 28. Is p composite?
True
Suppose -3*l + 119 = -4*w, -2*l + w + 66 = -20. Suppose -4*c - l = -897. Suppose -3*t + 180 = -c. Is t composite?
False
Let y(s) = -9*s**3 - 2*s**2 - 6*s - 3. Is y(-4) a composite number?
True
Is 293 - 8/12*6 composite?
True
Let i = 50 - -152. Is i a composite number?
True
Let y = 60 + 31. Is y a composite number?
True
Suppose -3*y - 4*m + 2771 = 0, -3*m + 7 = 1. Suppose -3*b + 0*b = -y. Is b a composite number?
False
Let p(z) = 61*z - 4. Let a be (3 - 1 - 1)*5. Suppose -y + 0 + a = 0. Is p(y) prime?
False
Let n(m) be the third derivative of -27/8*m**4 + m**2 + 1/6*m**3 + 0*m + 0. Is n(-2) a composite number?
False
Is (40 - 3)/(5 - 4) a prime number?
True
Suppose i = 22 - 1. Is i a composite number?
True
Suppose 4*s + 17 - 81 = 0. Suppose 5 + s = t. Is t a prime number?
False
Let n(s) = -70*s + 11. Let c(k) = -35*k + 5. Let f(u) = 9*c(u) - 4*n(u). Is f(-6) prime?
True
Let x be 4/(-6)*(-6)/4. Suppose 0 = 2*l - l - x. Is l/((-3)/75*-1) prime?
False
Let j(c) = 120*c**2 + c + 1. Let f be j(-1). Suppose 0 = 4*v - 3*y + 7*y - f, -2*y = 10. Is v a composite number?
True
Let u(h) = -h**2 + 3*h + 3. Let g be u(-4). Is (-3935)/g + (-2)/5 prime?
True
Suppose 2*f + 3*t + 4 = 0, 2*f - 5*t + t - 24 = 0. Suppose 0 = r + p + p - 2, -5*r = -f*p - 10. Suppose -5 = -r*w - 1, -5*w + 24 = 2*i. Is i prime?
True
Suppose 3*h + 2*i + 0*i = 19, 2*i = h - 1. Let y(j) = 5*j**3 - 5*j**2 + 6*j. Let t be y(6). Suppose 3*b = -2*b - 15, -3*x + h*b = -t. Is x prime?
True
Let y(o) = o**3 + 5*o**2 - o + 4. Let g = 4 - 9. Is y(g) a composite number?
True
Suppose -5*n + 23 = i, -3*n + 17 = 4*i - 5*i. Let v be (-38)/(-10) - i/10. Let y = v - -33. Is y composite?
False
Let n = 23 - 20. Suppose 2*i - n*j - 119 = -0*j, 5*i - 278 = j. Is i composite?
True
Suppose g = 3*m - 5, m - 5*g = -2*m - 11. Suppose -4 = -2*a, a = m*u + 4*a - 111. Is u prime?
False
Let f(u) = -u**3 - 6*u**2 + 14*u + 14. Is f(-10) a prime number?
False
Let y(d) = 4*d + 1. Let o be y(1). Suppose -o*r = -4*c - 173, 5*c = -5*r - 0*r + 200. Is r composite?
False
Let f = 6 - 8. Is 37*-1*(f + 1) a composite number?
False
Let h(c) = 4*c**3 + 11*c**2 - 4*c - 2*c**3 - 1 - 3*c**3. Is h(8) prime?
False
Let q(g) = g + 5. Let v be q(0). Is -19*(1 + -2)*v a composite number?
True
Let r(z) be the third derivative of 13*z**4/8 + z**3/6 + z**2. Is r(2) composite?
False
Let c(z) = z**2 + 2*z + 2. Let o be c(-3). Is (-21)/35 + 1018/o prime?
False
Let o(v) = -1 + 2 + 1 + 22*v - 3. Is o(4) a prime number?
False
Let s(a) = a**2 + 8*a + 3. Let m be s(-7). Let y be (-3)/((15/m)/5). Let u(k) = k**2 + 2*k - 3. Is u(y) prime?
False
Let q(g) = -26*g. Let r be q(4). Let v be (1 + -7)*r/12. Suppose -3*x + 3*a + 87 = 0, 3*x - v - 37 = 2*a. Is x prime?
True
Suppose 0 = 2*b - 65 + 3. Is b prime?
True
Let n(y) = -12*y + 1. Let d be n(3). Let w(z) = z**3 + 7*z**2 + 3*z. Let o be w(-7). Let m = o - d. Is m a prime number?
False
Suppose 18 = 5*l - 2. Let a = -3 + 1. Is (l/(-6))/(a/201) composite?
False
Let a(c) = -19*c - 1. Let v = -9 - -7. Is a(v) a prime number?
True
Let a be 5/(-7) + 4/(-14). Let z(y) be the first derivative of 38*y**3/3 - y + 3. Is z(a) a prime number?
True
Let d be 36*((-10)/(-4) - 1). Suppose 2*w = 52 + d. Is w composite?
False
Suppose 5*n = -5*y - 10, -2*y + 0*y + 4 = -2*n. Let g be y/(-1 - -3) - 6. Is (g/(-8))/((-2)/(-56)) a composite number?
True
Suppose 2 = -2*z + 4*o + 18, 5*o = 4*z - 20. Suppose 0 = -4*x - z*t - 5*t - 560, 5*t = -3*x - 420. Let v = x - -267. Is v composite?
False
Suppose 4*b - 4*y - 324 = 0, -8*b + 3*b + 399 = -2*y. Is b composite?
False
Let y(n) be the third derivative of -n**6/360 + 19*n**5/120 - 11*n**4/24 - n**3/6 + n**2. Let p(z) be the first derivative of y(z). Is p(10) composite?
False
Let n be -3 + 2 + 169/(-1). Let r = -113 - n. Is r a composite number?
True
Let g(y) = 4*y**2 - 6*y + 7. Let q be g(6). Let i be (1 + -4)/(6/(-52)). Let r = q - i. Is r prime?
True
Let r = 280 + 99. Is r composite?
False
Suppose -o = -2*v - 55, -3*o - 4*v - 15 = -150. Is o prime?
False
Let f be ((-12)/10)/(3/15). Let u be ((-6)/(-12))/(1/f). Is 48 - u/6*6 prime?
False
Suppose 5*p - 3*p = 8. Suppose 3*o - 3*s = 96, p*o + s - 32 = 91. Is o a prime number?
True
Let y be -8 - (-3)/9*3. Let w(s) = 3*s**3 - 4*s**2 - 14*s - 2. Let q(b) = b**3 + b**2 - b. Let t(i) = -4*q(i) + w(i). Is t(y) a prime number?
True
Is 2/(-17) - 96122*2/(-68) a prime number?
False
Let w = 12 + -19. Let q = 61 + w. Let s = q + -1. Is s prime?
True
Suppose 3091 = -5*o + 2*j, -3*o = j + 3*j + 1865. Let g = -302 - o. Is g a prime number?
True
Is 2789 - (-4)/3*(0 + -3) composite?
True
Let j = -7 - -3. Let y(c) be the second derivative of -8*c**3/3 + 3*c**2/2 + 2*c. Is y(j) composite?
False
Let u be (3/2)/((-3)/(-18)). Suppose -u - 1 = -5*d. Suppose d*m + 260 = 4*b, 3*b = -5*m + m + 217. Is b a composite number?
False
Let c be (1 + 2)*6/2. Suppose -3*g + 9 = 0, 6 + c = 5*f + 5*g. Suppose k + 2*z = 7*z + 37, f = 3*k - z - 111. Is k a prime number?
True
Let c(f) = -f**3 + 9*f**2 - 6*f + 2. Is c(6) composite?
True
Let s be (-396)/(-3)*1/(-2). Is (-10218)/s + 4/22 a prime number?
False
Let v(m) = m**2 - m - 1. Suppose -4*c = -9 - 7. Suppose -12 = 2*w - c. Is v(w) a prime number?
True
Suppose 0 = -3*g + 145 + 41. Let x = -12 - -37. Let p = x + g. Is p a composite number?
True
Suppose 3*x - 4 = x. Suppose -i + 10 = 4*i. Suppose -5*v = x*z - 53, v - 22 = -i*z + z. Is z a prime number?
True
Let s(z) = -2*z - 9. Let v be s(-6). Let j be 0 + -2 + 0 + v. Is 53 + 0*j/2 a composite number?
False
Suppose -2 + 7 = -5*g. Let x(b) = 5*b**2 - 1. Let a be x(g). Suppose 212 - 24 = a*t. Is t a composite number?
False
Let f(r) = -5*r**3 + r**2 - 3*r - 4. Suppose k - 5*k + 20 = -l, 0 = 3*k + 3*l. Let j be f(k). Is j/(-15) - 1/3 composite?
True
Suppose -4*z = 5*n - 6151, -3*n + n + 2*z = -2446. Is n a composite number?
True
Suppose -l + 2*l - 7 = 3*y, -2*y = -4*l + 18. Let n be (-2)/(-2)*(100 + y). Suppose 4*b - b = n. Is b a prime number?
False
Suppose -s + 2*l = -5*s + 222, 2*s + 4*l = 114. Is s a composite number?
True
Let n(v) = v**2 + 6*v + 4. Let x be n(-6). Suppose l + 429 = 6*l + x*m, 4*l = 3*m + 337. Is l a prime number?
False
Suppose 2*d + 6 = 2*m - m, 9 = m - 5*d. Suppose 288 - 76 = m*g. Is g composite?
False
Suppose 2*k - 183 = -2*q + 7*q, 5*k - 446 = q. Is k a prime number?
True
Let i(f) = f**2 - 11*f + 12. Let b be i(10). Let z = 182 + b. Suppose 2*n + 2*w - 80 = 12, -3*w = 4*n - z. Is n a composite number?
True
Suppose 2*p - 426 = -p. Is p composite?
True
Is ((-4)/6)/(2/(-5019)) a prime number?
False
Let g(k) be the third derivative of k**4/24 + 7*k**3/6 + 2*k**2. Le