-0*o, 3*o - 12 = 0. Is l prime?
False
Suppose -2*c + 9722 = 5*j + 819, -4*j = 4*c - 7120. Is j prime?
False
Let l be (16/(-6))/(6/(-441)). Suppose 1314 + l = 2*v. Is v composite?
True
Suppose 5*m + 2*q - 356 = -0*m, 2*q - 284 = -4*m. Suppose -135 = -4*g - o, -3*g - o - o = -100. Suppose 0 = -2*p + m + g. Is p a prime number?
True
Suppose -r = -6*r + 10. Suppose 5*s = r*s + 66. Is s composite?
True
Suppose 24 = 3*f - 69. Let k be 138/8 - 2/8. Let h = f - k. Is h a composite number?
True
Let s be (0 + 1 - 46)/1. Let x = 64 + s. Is x a prime number?
True
Suppose -7*w + 1119 = -3*w + o, -w = 5*o - 275. Let r = w + -95. Suppose 4*u - r + 37 = 0. Is u composite?
False
Suppose -23 = -3*n - 5*f, n - 6*n + 4*f + 100 = 0. Suppose -2*z + 82 = n. Is z a prime number?
False
Let i(v) = 43*v + 3. Let g be i(6). Is 2/8 - g/(-12) prime?
False
Let v(r) = r**3 + 23*r**2 + 20*r - 35. Is v(-21) composite?
True
Suppose 2*t = t + 2, -2*t - 4 = -4*h. Suppose -57 = 2*i - 155. Is i + h - (-3 + 1) prime?
True
Let l(b) = b + 1. Let f be l(3). Let d be f/26 + (-320)/52. Is 3*29 + d/(-3) a composite number?
False
Is (-4)/(-2)*(-191)/(-2) a composite number?
False
Let r = 26 + -24. Let a be (-417)/(((-2)/(-3))/2). Is r/(-5) + a/(-15) composite?
False
Suppose -19 + 109 = 5*q. Suppose 0 = -2*z - 0*z - q. Let f(r) = -r**2 - 10*r + 6. Is f(z) prime?
False
Suppose -2*g + 4*g - 1 = 5*i, 0 = 4*g - 4*i - 8. Suppose 0 = -3*x + 9 - 0. Suppose -s - 25 = -2*s - x*v, -2*s - g*v = -35. Is s a prime number?
False
Let k be (-2)/(-7) + 176/(-77). Is 16/2 + k/(-1) a composite number?
True
Suppose -3 = -4*b + 3*q - 38, -18 = 2*b - 2*q. Is ((-68)/b)/((-4)/(-24)) prime?
False
Suppose q - 5*q + 80 = 0. Suppose -q = -5*y, 0 = i - 2*i + 2*y - 12. Is i*2/(-12)*15 composite?
True
Suppose 4*g - 3*l - 696 - 69 = 0, -959 = -5*g + l. Suppose -g = 5*z - 702. Suppose -2*c + 284 = z. Is c prime?
False
Let t = 3035 - 2128. Is t composite?
False
Let a be 120 + 1 + 1 + -2. Suppose -2*j - 2*j + a = 0. Let u = j - 11. Is u prime?
True
Let v = 2 + 0. Let z(w) = -30*w - 6. Let j be z(6). Is (v/(-6))/(2/j) a prime number?
True
Suppose 0 = -4*p + 5*m + 57, -5*p + 2*m = -3*m - 70. Let t(y) = 5*y - 8 + 2 - p*y. Is t(-4) a composite number?
True
Let i(y) = -201*y**3 - 2*y - 2. Is i(-1) composite?
True
Let l(z) = 4*z**2 - z + 5. Is l(4) a prime number?
False
Let x(s) = -126*s + 1. Let a(b) = -b. Let g be a(1). Is x(g) prime?
True
Let j(t) = -t + 12. Let c be j(9). Let w(g) = 24*g + 7. Is w(c) composite?
False
Suppose 2*s + 44 + 14 = 0. Let b = s + 66. Is b a composite number?
False
Let p(t) = -40*t**2 - t. Let o(f) = -f - 9. Let b be o(-10). Let k be p(b). Let a = k + 62. Is a composite?
True
Suppose 5*b - 2*b = 2*v - 128, 203 = 3*v + b. Is v a composite number?
False
Is -557*3*8/(-2*12) composite?
False
Let o be (238/6)/(3/(-9)). Let t = o - -208. Is t prime?
True
Let a be (4/(-6))/(3/(-27)). Is (-3485)/(-6) + 1/a a prime number?
False
Let c(h) be the first derivative of 7*h**2 + h + 2. Is c(5) prime?
True
Suppose 4*f = f + 1461. Is f a prime number?
True
Suppose 11 = -3*h - 1. Let i = h - -7. Suppose 2*a - 3*p - 70 = p, 0 = -i*a + 5*p + 106. Is a composite?
False
Suppose 0 = 3*b - 10 - 53. Suppose 0 = -3*r + 339 + b. Suppose z + 6*g - 75 = g, -2*z = -5*g - r. Is z composite?
True
Suppose 2*f = 3*p - 20, 14 = 2*p - 2*f - 0*f. Suppose 0 = 5*g + 2*m - 1981, -p*g + g + 1978 = m. Is g a prime number?
False
Let c(n) = n - 1. Let i(q) = 1. Let z(f) = -c(f) - i(f). Let v be z(8). Let u(o) = o**2 + 6*o - 7. Is u(v) prime?
False
Let n(z) = 4*z**2 + 6*z + 17. Is n(-9) a prime number?
False
Let p(a) = 2*a**2 - a - 1. Let h(m) = -m**2 + m + 1. Let x(f) = 3*h(f) + 2*p(f). Let s be x(-2). Suppose -93 = -s*b + 21. Is b prime?
False
Let i(b) = -b**3 - 5*b**2 + 3. Let d be i(-6). Is (d - 1) + (-1)/1 composite?
False
Let p(n) = n**3 + 8*n**2 + 9*n + 10. Let l be p(-7). Is l + 8 - -2*1 a composite number?
True
Suppose -3*l - 288 = -r, 4*r + 0*l - 1185 = l. Let c = r - 46. Is c composite?
False
Suppose 0 = -3*h + 5*z + 166, 5*h - 2*z - 245 = -0*h. Is h prime?
True
Let b = -302 - -215. Suppose -o + 488 = 3*o. Let c = o + b. Is c a composite number?
True
Let r be 1/(1/1) + 17. Suppose 0 = 5*q - 2*q - r. Is (-3152)/(-24) - 2/q a prime number?
True
Let b(z) = z**3 - z**2 + 3*z - 3. Let g be b(8). Suppose 4*v - 5*c - g = 0, 2*v + 2*c - 83 = 129. Is v a composite number?
True
Let s(j) = 88*j**3 - 4*j - 1. Is s(4) composite?
True
Suppose 4*f - 229 - 267 = 0. Let k = -75 + f. Is k a composite number?
True
Let p(j) = -j**2 - 4*j + 9. Let x be p(-5). Is x - (8/2 - 113) composite?
False
Is 3/((-9)/(-438)) + 3 a composite number?
False
Let b(l) = 153*l - 3. Is b(2) a composite number?
True
Suppose -5*d + n + 1010 = 0, 0 = 5*d - n - n - 1005. Is d a prime number?
False
Let k(s) = -15*s**2 - 13*s - 13. Let a(t) = 7*t**2 + 6*t + 6. Let d(j) = 13*a(j) + 6*k(j). Let f be d(2). Let c(g) = g**2 + 3. Is c(f) a composite number?
False
Is 57/9*(2 - -1) prime?
True
Let s be 34*2/4 - 1. Suppose 2*x - l = 0, 0*x - 2*l + s = 4*x. Is (x*1)/(1/11) prime?
False
Suppose -l = 2*l - 333. Is l a prime number?
False
Suppose 71 + 15 = 2*a. Suppose -3*m = -4*m + 3*u + a, -m - u = -43. Suppose 0 = 4*c - 177 - m. Is c a prime number?
False
Is (43 - 42)/(((-1)/(-1361))/1) prime?
True
Suppose 2*y + 19 = 65. Is y prime?
True
Let a be (12/(-15))/(2/(-75)). Suppose -2*r + a - 4 = 0. Suppose r - 123 = -5*g. Is g prime?
False
Let c(z) = -z**3 + 8*z**2 - 6*z - 5. Let h be c(7). Suppose -3*s = s - h*n - 202, 134 = 3*s + 2*n. Let g = 71 + s. Is g a prime number?
False
Is 0 + 1 + 441 - -1 a prime number?
True
Let j = 11430 + -8135. Is j composite?
True
Let w(o) = o**2 + 4*o + 5. Let u be w(-6). Suppose 3*z + 2*i - 45 = 2*z, -z + 5*i = -u. Is z a prime number?
True
Suppose 59 + 95 = 4*y - 3*w, -146 = -4*y - w. Is y prime?
True
Let x(c) = c**3 - 9*c**2 - c + 11. Let q be x(9). Suppose -3*k + 0*k - q*u = -4, -3*u + 6 = 0. Suppose k = 3*o + 12, -4*t - 5*o + 506 = -2*t. Is t composite?
False
Let j(x) = 6*x + 11. Let d(l) = -5*l - 10. Let z(f) = -7*d(f) - 6*j(f). Let q(i) = i**2 + 7*i + 6. Let c be q(-4). Is z(c) composite?
True
Suppose -458 = -2*g - 4*l, -10 = -3*l - 1. Is g a composite number?
False
Let r = 893 + -408. Let w = -294 + r. Is w prime?
True
Let b(q) = 3*q**2 - 14*q - 10. Is b(11) a prime number?
True
Let d(n) be the third derivative of -n**4/24 + 7*n**3 - 2*n**2. Let u be d(0). Suppose -f - f + u = 0. Is f prime?
False
Suppose 5 = z - 0. Suppose b - 2*y - 179 = -z*y, 0 = -4*b + 5*y + 750. Is b a prime number?
False
Let n = 192 + -295. Let o = 162 + n. Is o prime?
True
Let m(n) = -n**2 - 2*n - 1. Let q be m(-1). Suppose -x - 3*l + 20 = q, 2*l = -3*x + 6*l + 8. Suppose x = -4*t, -3*z - 2*t + 84 = z. Is z a prime number?
False
Let p(z) = z**2 - 4*z + 5. Let k be p(10). Suppose -l + 152 = 5*w, 2*w + 3*l - k = 4*l. Let m = w - 18. Is m a prime number?
True
Let f = -411 + 721. Suppose -2*y + f = 3*y. Is y composite?
True
Suppose 0 = 3*m - 5*p + 20, -m - 4*p = -9 - 7. Suppose m = 2*b - 306 + 42. Let g = -89 + b. Is g composite?
False
Let j be ((-3)/6)/((-2)/(-4)). Let x = 4 + j. Suppose 8 = -x*f + 173. Is f prime?
False
Let q(i) be the second derivative of i**8/80 - i**6/720 - i**4/4 - 3*i. Let p(r) be the third derivative of q(r). Is p(1) a composite number?
False
Let a = -413 + 624. Is a a composite number?
False
Let t(x) = -3*x**3 + 7*x - 2. Let k(i) = 7*i**3 + i**2 - 15*i + 4. Let d(z) = -4*k(z) - 9*t(z). Is d(-4) a composite number?
True
Is 4/12 + (-43692)/(-9) a composite number?
True
Suppose -2*p = z - 2 + 6, 0 = 5*z - 5*p + 5. Is -37*2*z/4 composite?
False
Suppose 3 = -l - 1, 5*a - 2*l - 13 = 0. Let n be 400/(5 + -3 - a). Suppose r = 6*r - 5*w - n, -3*r + 252 = 3*w. Is r composite?
True
Let x(i) = 132*i. Let n be x(1). Suppose 4*o = -n + 992. Is o a composite number?
True
Let s be -2*(-1 - 0) - 6. Let x(z) = -2*z + 25. Let p be x(12). Is (p - -88) + s/(-2) prime?
False
Is (-2 + 1*-141)/(-1) composite?
True
Let t be 12/18*3/1. Let r = -7 + 10. Suppose 2*d - r*y = 28, -5*d + 3*d + t*y + 28 = 0. Is d prime?
False
Suppose -5*o - 51 = -21. Let f(c) be the second derivative of -11*c**3/6 - 9*c**2/2 - 2*c. Is f(o) composite?
True
Let y = 1 + 1. Suppose -m - y*d = 3*m - 82, -4*m