-1))*1 a composite number?
True
Let w(r) = -r**2 - 5*r - 2. Let j be w(-3). Suppose n = -j*n + 15. Let y(d) = 5*d**2 + 2. Is y(n) a prime number?
True
Let j(t) = 133*t**3 - t**2 + t. Suppose 3*i - 2 = w, 0 = 3*w + i - 4. Is j(w) a prime number?
False
Let k(p) = 4*p**2 - 13*p - 22. Is k(-7) prime?
False
Let a = -80 - -103. Is a a prime number?
True
Let v = 161 - -212. Is v a composite number?
False
Is 32 + 0/3 + 3 a composite number?
True
Let j(w) = 2*w - 7. Let i be j(5). Let y = i - -1. Let a(m) = 2*m**3 - 4*m**2 - 3*m - 5. Is a(y) composite?
False
Let t = -68 + 98. Suppose -2*d = -t - 20. Is d a composite number?
True
Let c be 153/(1/2 + 1). Let d be 0 - 129/(-3) - -4. Let l = c - d. Is l a prime number?
False
Suppose 0 = -4*l - 4*q + 8, -5*l + 2*q = -0*l - 10. Suppose l*f + 2*f - 308 = 0. Is f prime?
False
Let s = 6 + -6. Suppose s = 5*h - 181 - 654. Is h composite?
False
Let j be -3 - -8 - (2 + -1). Suppose -2*o = -3*o - 5*g + 60, o = j*g + 15. Is o a composite number?
True
Let x = 0 - -22. Suppose 3*i - 4*i = -x. Let h = i - 11. Is h a prime number?
True
Is -7 - -6 - 1*-39 a prime number?
False
Let y(l) = 10*l**3 + l**2 - 3*l + 3. Let j be y(2). Suppose j - 1041 = -3*z. Is (-2)/6 - z/(-6) prime?
True
Let u(v) = 12*v - 7. Let l be u(-6). Let g = l + 166. Is g a prime number?
False
Suppose -8 = -3*j + j + 4*v, -4*v = -4*j + 8. Suppose -s + 14 = -j*s. Suppose 5*t = 81 + s. Is t a prime number?
True
Let h = 7 - 7. Suppose -4*m - 5*z + 431 = h, z = -0 - 5. Let w = -61 + m. Is w a prime number?
True
Suppose -5*h = 4*q - 1228, -q - h + 120 = -187. Is q prime?
True
Suppose -3*v = -0 - 9. Suppose -2*j = -7*j + v*f + 124, -3*f - 32 = -j. Is j a composite number?
False
Suppose -195 = 3*k + 270. Let h = k + 252. Is h a composite number?
False
Let j(d) = 828*d**2 + 1. Is j(-1) composite?
False
Let g(s) = -s**3 + s**2 - 8*s - 5. Suppose 0 = 4*r + 24 - 4. Is g(r) a prime number?
False
Let c(y) = -2*y**3 + 3*y + 2. Let d = -4 - -2. Let h be c(d). Suppose -s = -2*s - 2*w + h, 5*w = 5*s - 135. Is s a composite number?
True
Suppose 5 = 5*j - 5*m - 35, -m - 16 = -3*j. Suppose -75 = -6*d + 5*d. Suppose -l = j*l - d. Is l a composite number?
True
Suppose -3*u - 9757 = -4*y, 2*y + y + 5*u - 7296 = 0. Is y composite?
False
Is 6673*(6 - (-3 + 8)) composite?
False
Suppose -28*s + 27*s + 701 = 0. Is s prime?
True
Is (26/(-4))/((-19)/5662) a composite number?
True
Let g = 62 - 4. Is g prime?
False
Let a be (-7 + 2)*(1 + 0). Let i = a + 12. Is i composite?
False
Let p(w) = 2*w**2 + 4*w - 11. Is p(14) composite?
True
Let s(j) = j + 8. Let x be s(-7). Suppose -2*r + 20 = 2*r. Suppose -4*d - 16 = 0, -r*d - x = -0*m + m. Is m prime?
True
Let x be (-4)/(-6) + (-12)/(-9). Let z be ((-1)/2)/(x/(-4)). Is (2 - z)*(3 - -1) a composite number?
True
Is (4/(-8))/(9/(-32814)) a composite number?
False
Let i = 123 + 18. Is i a prime number?
False
Suppose 5 = 2*t - 1. Suppose 4*a = -y + 9, 3 + t = a + 4*y. Suppose a*i = -q + 45, 2*i - 3*q = 24 + 9. Is i a composite number?
True
Let u(b) = -2*b - 6. Let l be u(-5). Suppose -c - 3*n - 126 = -423, -c - l*n = -301. Suppose 0 = 2*v + v - c. Is v a composite number?
True
Suppose 2*m - m = -7. Let y = m + 10. Suppose 0 = -y*h - h + 76. Is h prime?
True
Let f be (-3)/18*-2*15. Suppose -740 = -f*t + t. Is t a prime number?
False
Let p = 4 - 7. Let n(m) = -m - 1. Let x be n(p). Suppose -x*t = 2*t - 76. Is t composite?
False
Let k(r) = r**2 + 7*r. Let h be k(-6). Let v be (h/(-8))/(2/8). Let y(c) = 8*c**2 - 5*c + 2. Is y(v) a prime number?
True
Let p(g) be the first derivative of 4*g**3/3 + 3*g**2/2 + 2*g + 1. Let b be p(-2). Let f = 25 + b. Is f prime?
True
Let v be 4*(-57)/(-6)*13. Let x = -9 + v. Is x a composite number?
True
Let a(p) = -p - 3. Let c be a(-3). Suppose -3*v = 2*u - 0*v - 167, u - 5*v - 116 = c. Is u prime?
False
Let g(b) = b - 1. Let p(u) = -6*u - 10. Let o(y) = 5*g(y) - p(y). Let n be o(-10). Let r = -14 - n. Is r a prime number?
False
Let h(g) = g**3 + 9*g**2 + 2*g + 12. Let w be h(-9). Is (-4)/6 - 82/w a composite number?
False
Let u be ((-176)/12)/((-2)/6). Suppose 27 + u = v. Is v composite?
False
Let i = -526 - -1277. Is i a prime number?
True
Suppose 0 = -6*a + 7*a - 923. Is a prime?
False
Suppose -4*k - 4*x = -4, -3*k - k + 3*x + 25 = 0. Suppose o + k = 87. Is o composite?
False
Let o(n) = 248*n + 1. Let b be o(1). Is b + (0 + 0)/3 a prime number?
False
Let q(x) = 2*x**2 - 10*x + 5. Let d = -10 - -1. Is q(d) a prime number?
True
Let x(y) = -3*y**3 + 3*y**2. Let i be x(2). Let c be 1114/(-9) + 10/(-45). Is (c/i)/((-2)/(-6)) composite?
False
Suppose -2*c - 1 = -3*c. Is (-77)/(-2*1 + c) composite?
True
Let y be (-2)/8 + 42/8. Let h(f) = -f**3 + 7*f**2 - 4*f - 4. Is h(y) composite?
True
Let z(o) = -o**3 + 5*o**2 + 6*o + 2. Let w be z(6). Let v(c) = 4*c - c**2 + 6 + 4*c**w - 2*c. Is v(-4) prime?
False
Let a = 33 - 29. Suppose -6*v = -a*i - 3*v + 1273, -639 = -2*i - v. Is i a prime number?
False
Suppose -4*i + 2*i + 2 = 0. Let d(b) = 6*b + 6*b - i - 9*b**2 - b**3 + 2*b. Is d(-11) composite?
True
Let v = -1 + 0. Suppose 4*y + 414 = -3*n, y - 3*n - 9 + 120 = 0. Is 1/(3*v/y) prime?
False
Suppose u - 3*t - 277 = 1611, 5*u - 9491 = -2*t. Is u prime?
False
Let g = -1 + -5. Let d = g - -9. Suppose 4 = -m + 5*l, -l = -d*m - 5*l + 83. Is m a prime number?
False
Suppose 0 = -3*f - 4*z - 44, 0 = -4*f + 4*z + 12 - 52. Let g = f - -33. Is g a prime number?
False
Let q be (-2)/4*(0 + 2). Is 470/1*q/(-2) a composite number?
True
Let x(c) = c**3 + 4*c**2 + 3*c + 2. Let w be x(-3). Suppose -4*n - 3*k = -81, 2*k - 58 = -w*n - 18. Is n composite?
True
Let q(t) = -t**3 - 5*t**2 - 6*t - 1. Let k(d) = d**2 + d + 1. Let p(z) = -2*k(z) - q(z). Is p(3) composite?
True
Let z(m) = -2*m - 3. Let c be z(-4). Suppose -3*d - 12 = 0, -4*d = -q + c*q - 132. Is q a prime number?
True
Suppose -4*t + 8*t - 24 = 0. Suppose -4*q - 1160 = -4*o, -3*o - t*q + 905 = -2*q. Is o prime?
False
Is ((-705)/10)/((-3)/6) prime?
False
Suppose -6*i - 2355 = -11*i. Is i a composite number?
True
Let b = -2064 + 3773. Is b a prime number?
True
Suppose -10 = s + 3*h, 5*s - 8 = 5*h + 22. Suppose 14 = 3*z + s. Is (-698)/(-18) + z/18 prime?
False
Let t(z) = 22*z - 1. Suppose 13 = 3*q - 2*c, 4*q + 0*q = 2*c + 14. Is t(q) prime?
False
Suppose -y - y = -8. Suppose -2 = -y*l + 6. Is l prime?
True
Let f = 142 + -27. Is f a prime number?
False
Is 36325/45 - 4/18 prime?
False
Suppose -4*c + 5*n = -0*n - 4224, 0 = -4*c - 3*n + 4256. Is c prime?
True
Let f(n) be the second derivative of n**7/2520 + n**5/120 - n**4/12 + n. Let w(i) be the third derivative of f(i). Is w(6) prime?
True
Let l(v) = v**2 - 2*v - 2. Let j be l(2). Is 2*94/(-8)*j composite?
False
Suppose 3*m + f - 38 = 0, 2*m + 3*m = 5*f + 50. Suppose -i = -2*x + 8, 5*x - m = 4*i + 14. Suppose -z + 47 = -x. Is z composite?
True
Suppose 3*z = 4*b - 13 + 4, -10 = -3*b - z. Suppose 3*d - 5 = 7. Suppose -b*c - 6 = -d*c. Is c a prime number?
False
Let c(t) = 5*t**3 - 3*t**2 + 4*t - 3. Let g be c(2). Suppose -g = -i - 2*i. Is i a composite number?
False
Suppose -6*f = -3*f - 573. Is f composite?
False
Let o(p) = -1151*p + 6. Is o(-1) a prime number?
False
Let f be 1 - (2 - (1 - 2)). Let r be 0 - f - (9 + 1). Let s(i) = -i**2 - 14*i - 11. Is s(r) a prime number?
True
Let v = -7 - -4. Let m be 3/(0 - v) + 352. Suppose 2 = 2*f + 12, -m = -4*o + f. Is o a composite number?
True
Let l be 1 + -2 + (124 - -7). Suppose r - 105 = l. Is r prime?
False
Let v(y) = y**3 + y**2 - y + 35. Let s(i) = i**2 + 4*i - 5. Let k be s(-5). Is v(k) prime?
False
Let j(f) = -f**2 - 6*f. Let i be j(-6). Suppose 0 = -i*s + 2*s + 16. Let y(r) = -r**3 - 8*r**2 - 7*r - 3. Is y(s) composite?
False
Is 0 - -3 - (-4 + -187) prime?
False
Suppose 10 = -2*q, q = 4*i + 5*q - 25536. Is i prime?
True
Let k = -449 + 636. Is k a prime number?
False
Suppose 0 = -0*h + h + 5, -4*h = -o + 15. Let s = -7 - o. Is (s + 0)*14/(-4) a composite number?
False
Let s = 1063 - 272. Is s prime?
False
Let i = 807 + 1406. Is i prime?
True
Let k(u) = -9*u**3 + 4*u**2 + 3*u - 7. Is k(-5) composite?
True
Suppose -3*l + 44 = 200. Let n be (-2)/7 - l/(-14). Is (n - -3)/((-1)/33) composite?
True
Suppose -4*j = -4*l + 5 + 11, 3*l = -2*j + 12. Suppose -3*q + l*i = -50, -i + 4*i = -5*q + 122. Is q a