5, -m + 8 = 3*s - 11. Let v be l(s). Is w(v) a prime number?
True
Suppose 3*p - 7007 = 4*n, 0*p - 3*n = 3*p - 6993. Is p composite?
False
Let p be ((-4)/4*7)/1. Let u(b) = b**3 + 13*b**2 + 3*b - 2. Is u(p) a composite number?
False
Suppose 0 = 2*p + 3*p - 475. Is p a prime number?
False
Let z = -33 + 55. Let j be 6/(-9) + (-71)/(-3). Suppose 3*p - j = z. Is p composite?
True
Suppose 3*i = 12, 5*m - 585 = 2*m - 3*i. Is m a composite number?
False
Suppose -4*q + 116 = -240. Is q composite?
False
Let y(v) = -1 - 164*v - 1 - 46*v + 3. Is y(-1) composite?
False
Let h(z) = z - 4. Let s be h(4). Is (-35 + s)*(3 + -4) prime?
False
Let x(t) = 91*t - 3. Let w be x(6). Let z = w - 212. Is z a prime number?
True
Let f = 109 + 61. Suppose 0 = -2*v - 3*v + f. Is v a prime number?
False
Suppose -4*u - 20 = -3*m, -2 = -4*m - 5*u - 27. Is 2 - (m + 0) - -33 a composite number?
True
Let q = 9 - 6. Suppose -2*f - q*k + 0*k + 154 = 0, 77 = f + 3*k. Is f a prime number?
False
Is ((-1438)/3)/((4/(-3))/2) prime?
True
Let n be 6/(-24) - (-2041)/4. Suppose 5*a - 2*u - 164 - 331 = 0, 0 = 5*a - 5*u - n. Is a a prime number?
True
Let i be 1/4 + 57/12. Suppose -4*c = 3*a - 136, i*a - 136 = 2*c - 6*c. Let z = 55 - c. Is z a prime number?
False
Suppose 2*k = -k + 801. Let j = -106 + k. Is j a prime number?
False
Is 3/15 - 22220/(-25) composite?
True
Suppose 2*c - 216 = -5*f, -6*f = -2*f + 8. Let w = c - 71. Suppose 3*x = w + 69. Is x prime?
True
Let d be -4*4/(3 + 1). Is (-1 - 2756)*d/12 a composite number?
False
Let s(r) = r**3 + 6*r**2 + 5*r + 4. Let h be s(-5). Suppose h = q - 181. Is q a composite number?
True
Let d(t) be the second derivative of t**4/12 + 13*t**3/6 - 2*t**2 - t. Let l be d(-6). Let m = 21 - l. Is m prime?
True
Suppose -3*t - 16 = -7*t. Suppose -j + 3*j = 2*h - 16, 5*h + 5*j = -10. Suppose 3*i - 8*i - t*r = -147, h*i - 5*r = 103. Is i a prime number?
True
Let c = -42 - -71. Let n(w) = -w**3 - 7*w**2 - 8*w + 2. Let t be n(-5). Let j = c - t. Is j a composite number?
False
Is 10 - 6 - (-2 - 441) prime?
False
Let z(b) = -b**3 + 6*b**2. Let u be z(5). Is (8/10)/(2/u) composite?
True
Suppose -3*t = -0*t - 111. Is t prime?
True
Let w be 2/6*(-1 + 1). Suppose w*k - 3*k = -159. Is k a prime number?
True
Let m(k) = -81*k - 5. Is m(-2) prime?
True
Suppose 4*s + 2*f = 6*f + 24, -2*s - 3*f = -2. Suppose 5*n + 59 - 716 = -s*v, 3*v + n - 490 = 0. Is v a prime number?
True
Suppose 2*q + 2*q + 36 = 0. Let w = 22 + q. Is w a composite number?
False
Let u be (-2)/(-6) - (-2926)/33. Suppose 5 = -2*d + u. Suppose -o - 2*o + d = 0. Is o a prime number?
False
Let j(l) = 10*l**2 + 5*l - 2. Is j(11) a prime number?
False
Let h = -524 - -895. Is h prime?
False
Let s be (6/5)/((-4)/(-10)). Let h be s*3/9*4. Suppose -3*o = -2*g - 273, 0 = 2*o + h*g - 0*g - 166. Is o prime?
True
Suppose -5*m - 81 + 1981 = 5*b, -3*m - b + 1142 = 0. Is m a prime number?
False
Let o = 650 - 410. Suppose -2*l + o = l. Let x = l + -27. Is x prime?
True
Let r(c) = 0 - 4 - 2*c + 2 - 3*c. Is r(-5) a composite number?
False
Let m(n) = 3*n**3 + 4 + 6*n**2 - 5*n**3 + 3*n**3 + 3*n. Let b be m(-5). Suppose -4*d = -6*d + b. Is d a composite number?
False
Let q = 397 - 79. Suppose 0*f - q = -3*f. Suppose -5*s + 32 = 4*u - f, 3*u - 4*s = 119. Is u a prime number?
True
Let u(m) = -m**3 - 5*m**2 + 2*m. Let h be u(-6). Suppose 2*t = 3*l - 93, 7 = l + 3*t - h. Let z = l - -4. Is z prime?
False
Suppose 5*t = 1417 + 24678. Is t composite?
True
Let v be 2/(4/6) + -79. Let a = 179 + v. Is a prime?
True
Let i = -5810 + 8767. Is i a composite number?
False
Let x = -36 - -59. Suppose 4*w - 2*w - x = -3*l, -2*l = -3*w + 67. Is w a composite number?
False
Suppose 5*u + i = -3, -i + 6*i = u + 11. Let b be (-1)/u*(1 + 2). Let l(q) = 5*q - 2. Is l(b) a prime number?
True
Let o be 2/(-5) + 562/5. Suppose -2*l = -6*l - o. Let r = -17 - l. Is r a prime number?
True
Suppose -c + 0 = -2. Suppose -s - c*h + 5 = 0, 0*h = 4*s + 2*h - 14. Is 68 + s/(1 + -2) a composite number?
True
Suppose 4*s + 16 - 40 = 0. Let k be (-2)/(s/(-9)) - -8. Let i = 32 - k. Is i a composite number?
True
Let n(g) = g**3 - g**2 - g + 36. Let v be n(0). Suppose -103 = -3*l + 4*p, p = -5*l + v + 128. Is l a composite number?
True
Let o(i) = 8*i**2 - 3*i - 2. Let l be o(8). Suppose 0 = 5*c - l - 569. Is c composite?
False
Let g(c) = -c**3 - 3*c**2 + 3*c - 2. Suppose 7 - 19 = 3*o. Let y be g(o). Suppose -24 = -y*m + 4. Is m prime?
False
Let m(c) = 76*c**2 + 6*c - 11. Is m(-7) composite?
False
Suppose 5*t + 3*a = 24, 2*t = 4*t + 5*a - 21. Let c be t*(196/6 + 2). Suppose 3*q + 35 - c = 0. Is q a prime number?
True
Let p = 14 - 3. Suppose 4*d - 17 = -4*u - d, -3*u - 3*d + 15 = 0. Let w = p - u. Is w composite?
False
Let s = -301 - -2124. Is s a composite number?
False
Let t(d) = -d. Let n be t(-4). Is 13/26 + 450/n a prime number?
True
Let q(k) = -k**2 + 9*k + 1. Let h be q(9). Let a(y) = -1 + 43*y - h - 1. Is a(2) a composite number?
False
Let d be 3/(((-9)/(-6))/3). Let j be ((-9)/d)/(-3)*86. Let f = j + -20. Is f a composite number?
False
Suppose -2 = -3*u + 4. Let n = u + -11. Is 4/(-6) - 96/n a prime number?
False
Let w(o) = 7*o**2 + 3*o + 1. Let m(d) = -d**3 - 3*d**2 + 5*d + 4. Let g be m(-3). Let p(y) = -y**2 - 10*y + 16. Let x be p(g). Is w(x) a prime number?
True
Suppose 2*r + 2*w - 20 = 14, 0 = 5*r + 2*w - 73. Is r a composite number?
False
Let l(o) = o + 10. Let d be l(-5). Suppose 1272 = d*b - 43. Is b a composite number?
False
Let n = 0 - 6. Let o(d) = d**2 + 6*d - 2. Let m be o(n). Is (-100)/(-4) - (-2 - m) a prime number?
False
Let o = -5 + -18. Let g = -106 + 64. Let l = o - g. Is l composite?
False
Let k be 17 - (-1 + 2 + -1). Let a = k + -6. Is a a prime number?
True
Suppose -2*g = -6*g + 892. Is g composite?
False
Let u be ((-8)/(-20))/((-3)/15). Let f(p) = -18*p**3 - 2*p - 3. Is f(u) composite?
True
Is 0 + 4452/3 + -3 prime?
True
Let c = 5 - 15. Let x = 0 - c. Is x a composite number?
True
Suppose 4*v - 12 = -0*v. Is 157/(3 - (-1 + v)) a composite number?
False
Suppose 5*g - g = 2980. Suppose t = -4*t + g. Is t a prime number?
True
Suppose -3*s - 6 = -0. Let f(y) = -5*y - 1. Is f(s) a composite number?
True
Let y(f) = -24*f + 1. Let i(o) = -24*o + 1. Let j(n) = 2*i(n) - 3*y(n). Let q = -3 + 4. Is j(q) composite?
False
Let f(t) = 2*t - 6. Let v be f(3). Suppose -j - 165 + 694 = v. Is j composite?
True
Suppose 3*i + a - 6 = 0, -3*a = -2 + 11. Suppose -i*o - 160 = -4*z, 6*z - 119 = 3*z + 2*o. Is z a prime number?
True
Let h(x) = -3*x - 7. Let k be h(6). Let l = -12 - k. Is l a composite number?
False
Let u be 1934*(1 - (-1)/2). Suppose 4*r - 583 - 396 = -s, u = 3*s + 3*r. Suppose 2*c = 3*a + 2*a - s, -3*a + 2*c + 581 = 0. Is a prime?
True
Suppose -3*q + 31 = -0*q - 2*n, -2*n - 4 = 0. Let o = q - 7. Suppose 2*y = -o*y + 92. Is y composite?
False
Suppose 0 = -v + 3*v - 4. Suppose v*o = q - 2*o - 91, 2*q - 152 = -2*o. Is q a composite number?
False
Suppose -7*w + 1127 = -0*w. Is w a prime number?
False
Let d be ((-8)/10)/((-8)/(-140)). Let s be 22 + 0 + 1*-1. Let m = d + s. Is m prime?
True
Let t be 154/(-6) + 2/(-6). Is (-4)/t - (-2117)/13 prime?
True
Suppose -17 = -2*o + 19. Let m be 6/4 - o/(-4). Is 118/m - (-8)/(-12) a composite number?
False
Let v(i) = 4*i**2 + 0*i**3 - 5*i + 3 - i**3 + 3 + 3*i**3. Is v(5) a composite number?
False
Suppose -z - z - n = -331, -4*n + 494 = 3*z. Is z composite?
True
Is -2 - (3 + -7 - 155) composite?
False
Suppose -3*r + 4*r + 1110 = 0. Is (-2)/7 + r/(-14) a prime number?
True
Let g be 2292/9 + 3/9. Suppose 4*c - g = c. Is c prime?
False
Suppose -2*s = -6 - 2. Suppose -2*w - 5*u = -1, -w + 4*u + s = -2*w. Is (42/w)/((-1)/(-4)) composite?
True
Suppose -1130 = -19*t + 14*t. Is t a prime number?
False
Let d = 1304 + 285. Is d a composite number?
True
Let w(q) = -q + q**2 + 0*q**2 + q**3 - 2*q**3 + 55. Suppose -4*m + 2*k = 8, -1 = -2*m + 2*k - 9. Is w(m) a prime number?
False
Let r(c) = -c**3 + 2*c**2 - c + 1. Let q be r(1). Suppose 6*d - d = -i - 26, -5*i - 4*d - 25 = 0. Is (q - i - 1)*7 a composite number?
False
Is ((-249)/(-5))/(5/25) a prime number?
False
Let l(k) = -k**2 + 10*k - 4. Let p be l(9). Suppose 4*y = -20, p*g + 2*y = -0*y + 95. Is 2/(6/g) + -1 prime?
False
Let v be 4/20 + 364/5. Let t(d) = 2*d**3 - 5*d**