 = 3*u(s) - 2*v(s). Let w be a(-1). Is 38 + w*(1 - 2) a prime number?
False
Let l(w) = 9*w**2 - 11*w + 13. Is l(-14) a prime number?
True
Suppose 3*q + 0*q = 1623. Is q a prime number?
True
Let d be (-2)/9 - (-116)/36. Is (-1)/d + 88/12 composite?
False
Suppose -13 = -4*q - 1. Suppose 0 = -5*p + 7*p. Suppose -2*m - q + 17 = p. Is m a composite number?
False
Suppose 4*g = -o + 804 + 1870, g - 662 = 3*o. Suppose 0*a = 2*a - g. Is a prime?
False
Let w = 30 + 9. Suppose 0 = -5*d - 15, -3*n + d + w = 4*d. Suppose 0 = -3*r + n + 14. Is r a prime number?
False
Let i be 18/8 + (-18)/(-24). Suppose 0 = -2*w + 4*w + i*s - 35, 3*s = w - 40. Is w a composite number?
True
Suppose 8*i = 12*i - 1876. Is i a composite number?
True
Let j = 2 - 1. Is j/(4/2344*2) prime?
True
Let j(v) = 19*v - 16. Let d be 4 - (3 + -20) - 4. Is j(d) prime?
True
Is 804/5 + 3/15 a composite number?
True
Suppose 3*c = 2 - 8. Let p(r) = 5*r**2 + 0*r**2 - 3 + 3*r - 5*r. Is p(c) composite?
True
Suppose 388 + 167 = 3*p. Is p a composite number?
True
Let m = 275 - 24. Is m composite?
False
Let s(y) = 28*y**2 - 2*y - 2. Is s(2) a composite number?
True
Let l(r) be the second derivative of r**6/120 - r**5/10 - r**4/6 + r**3/6 + r**2/2 - r. Let p(q) be the first derivative of l(q). Is p(8) prime?
True
Suppose -n + 5*n + 320 = 0. Suppose -2*m + 117 = -m. Let v = n + m. Is v composite?
False
Suppose -5*c - 165 = -1100. Is c composite?
True
Let u(w) = 61*w**3 + 2*w**2 - w - 1. Let f be u(2). Suppose f + 114 = 5*d + 4*m, 0 = 4*m - 12. Is d a composite number?
True
Let q be (2 + -2)*1/2. Let b = 0 + q. Suppose b = -0*u + u - 21. Is u composite?
True
Let j be 87 - (-1 - -7)/3. Suppose -2*h - 7 + j = 0. Is h composite?
True
Let k(b) = 41*b**2 + 2*b. Let z be k(-2). Suppose 399 = 5*c - s, -5*s = -5*c + z + 255. Is c composite?
False
Let p = -37 - -61. Let r be (-8)/p - (-32)/6. Suppose -y + 189 = 5*a, -2*a = -r*a + 4*y + 95. Is a a prime number?
True
Suppose 5*i = 4*i + 5. Suppose 140 = i*o + 3*l - 230, 0 = -3*o - 3*l + 216. Is o a composite number?
True
Let d be 1*7 - (7 - 6). Suppose 3*o = d*o - 12. Suppose -r = o*z - 0*r - 311, -z = -2*r - 89. Is z prime?
True
Suppose 7*b - 3*b = -72. Let g be (-10)/(-3) + 6/b. Is (-1 - g*-8) + -1 a prime number?
False
Let f be (-10)/(-4) + 1/2. Suppose f*c - 426 = 5*s + 46, 4*c = -3*s + 639. Is c prime?
False
Suppose 2*s = -3*z + 7*s + 440, -800 = -5*z - 5*s. Suppose 4 = -3*h - h, k + 2*h - z = 0. Is k a composite number?
False
Let d = -3 - -3. Let v = 15 + -4. Is -1 + d + 0 + v composite?
True
Let z(a) be the second derivative of a**3/3 + 5*a**2/2 - a. Let b(n) = -n. Let l(r) = 4*b(r) + z(r). Is l(-4) a composite number?
False
Let n = -17 + 56. Is n/(-6)*(0 + -2) prime?
True
Let z(a) = a**3 + a**2 - a + 5767. Is z(0) a composite number?
True
Let a = 1 - -1. Let m = -5 + a. Is -5*(m - -7)/(-2) a prime number?
False
Let x(d) = d**3 - 2*d**2 + d + 2. Suppose 14 - 2 = -4*b, -k - 69 = b. Let p be (-1)/(-4) + k/(-24). Is x(p) a composite number?
True
Let x = 698 + -163. Is x composite?
True
Let s be (4 - 10)*45/2. Let t = -178 - -504. Let b = t + s. Is b a composite number?
False
Let x(d) = -1 + 3 + 4*d**2 + 0 + d - 3*d**2. Is x(11) prime?
False
Let r(v) = 322*v - 20. Is r(7) a prime number?
False
Suppose 3*n - 7 = -1. Suppose g = -n*g - 4*s + 57, 3*s = 4*g - 101. Is g composite?
False
Suppose -9*g + 4*g + 385 = 0. Is g composite?
True
Suppose -x = 5*w - 99, 4*w - 25 = -x + 55. Is w prime?
True
Suppose 4*i = 3*i - 2. Let q(l) = l**3 + 7*l**2 + 4*l - 1. Let y(n) = -n**3 - n**2 + 1. Let g(k) = i*y(k) - q(k). Is g(6) composite?
False
Let f(z) = z - 2. Let q be f(2). Suppose -3*h = -0*u + 3*u - 6, 3*h + 4*u - 4 = q. Suppose 0*v - 2*l = 3*v - 34, -44 = -2*v + h*l. Is v a prime number?
False
Suppose -49 + 14 = -7*o. Is o/((-30)/(-633))*2 a composite number?
False
Let g(d) = d**2 + 7*d - 8. Suppose 5*n + 48 = 8. Let y be g(n). Suppose -2*c + 6*c - 184 = y. Is c composite?
True
Let a(k) = -k**3 - 2*k**2 + 10*k - 11. Is a(-8) prime?
True
Let x = -11 - -7. Is (-2145)/(-12) - x/16 composite?
False
Let q = -100 + 141. Suppose 3*y = -q + 308. Is y a prime number?
True
Suppose 10*k - 5*k = 1185. Is k a prime number?
False
Let i(d) = -1636*d + 1. Is i(-1) a composite number?
False
Let w be 466/(-3) + 8/(-12). Let z = 289 + w. Is z a composite number?
True
Let n = -8 + 13. Suppose -8*p = -n*p - 114. Is p prime?
False
Let m(k) = k**3 - 5*k**2 + 3. Suppose -4*w + 12 + 8 = 0. Let g be m(w). Suppose -g*j = -0*j - 18. Is j prime?
False
Let a be (-156)/(-10) + (-6)/(-15). Let s = a - 10. Is s a prime number?
False
Let c = 896 - 415. Is c a prime number?
False
Let d(q) = -q**2 - q + 168. Let m be (0/(-3 + 1))/1. Let r be d(m). Suppose 0 = 3*j + 39 - r. Is j prime?
True
Let a(d) = 90*d**2 - 4*d - 1. Is a(3) a composite number?
False
Let q(h) = 164*h - 3. Let g be q(-4). Let f = -364 - g. Is f a prime number?
False
Is 76275/63 + (-2)/(-7) a composite number?
True
Suppose -m = -a - 0*a - 47, -4*m + a + 188 = 0. Suppose l = 138 - m. Is l composite?
True
Suppose 2*o - 458 + 132 = 0. Is o prime?
True
Let x(a) = 47*a - 16. Is x(5) prime?
False
Is (4 + -211 + -4)/(-1) a prime number?
True
Is (4/(-8) + 0)*-1102 a composite number?
True
Is 2/(3 + (-355)/119) composite?
True
Let v = -90 + 175. Is v a prime number?
False
Suppose -1869 = 12*c - 10305. Is c composite?
True
Let d = 5 + -1. Suppose -d*s = -7*s + 447. Is s a prime number?
True
Suppose 0*q - 40 = -2*q. Suppose -w - 7 + q = 0. Suppose -276 + w = -f. Is f prime?
True
Let p(l) = -7*l - 2. Let u be p(-2). Suppose -2*f + u + 18 = 4*a, 2*f = 10. Suppose -a - 39 = -4*s. Is s composite?
False
Let c = -9 + 5. Is ((-2)/3)/(c/318) composite?
False
Let z(f) = -160*f + 4. Let i be z(6). Is i/(-3) - (-2)/6 a composite number?
True
Suppose -4*x + 7 = -1. Suppose -4*s + 159 = 3*m, -4*s + x*m + 114 = -40. Is s prime?
False
Let y = 5 + -10. Is (-1)/((y + 1)/212) prime?
True
Suppose -3 = d, 5*k = -3*d + 6*d + 4. Suppose -2*c = -c - 5. Is (k - -100) + -7 + c a prime number?
True
Let y = 2 + 1. Suppose -y*k = -8*k + 795. Is k a composite number?
True
Suppose -2*r - 30 = 5*z + 7, -z + 79 = -5*r. Let y = 63 - r. Is y a composite number?
False
Let i = 7 + -3. Suppose b - i*v - 6 = 8, 2*b - 3*v - 13 = 0. Suppose -b*y - 7*z = -2*z - 45, 4*y = -5*z + 115. Is y composite?
True
Is 4/10 - 6531/(-35) prime?
False
Let v(c) = 452*c**3 - 1. Is v(1) prime?
False
Is (10/3 - 3)*159 composite?
False
Suppose 10*l - 4543 = 3*l. Is l prime?
False
Let f be (6/(-4))/(3/(-2)). Is f/(0 - 3/(-63)) a composite number?
True
Suppose -3428 - 3647 = -5*f. Is f composite?
True
Let g(w) be the second derivative of -w**5/20 + 7*w**4/12 + 2*w**3/3 + w**2 - 3*w. Let r be g(6). Let a = r + -40. Is a composite?
True
Suppose 17 = -5*o + 12. Is o/((-1)/38) + -1 prime?
True
Let p(f) = 8*f**2 - 2*f - 3. Is p(-2) prime?
False
Suppose 3*h + 253 = 4*h. Is h a prime number?
False
Let w = 1 - -3. Suppose -2*n + 0*n = -3*o - 136, -73 = -n + w*o. Is n a prime number?
False
Let i be 12/(-18) + 2/3. Suppose -k - 3*k = 3*x - 20, x - 4 = i. Let s(p) = 2*p**3 + 2*p**2 + p - 1. Is s(k) composite?
True
Let g(h) = -143*h + 10. Is g(-11) a composite number?
False
Let d(x) = x**2 - 4*x - 3. Let t be d(4). Suppose -2*b + 6 = -6. Is (-28)/b*9/t prime?
False
Suppose 3*r + 5584 = 5*f, r + r = -2*f + 2224. Is f composite?
True
Let s = -2 + 4. Suppose -2*l + 6 = 2*l + s*g, 0 = 5*g + 25. Suppose -l*h - 34 = -126. Is h a prime number?
True
Let d be -3 - 3/3*-3. Suppose d*y + 98 = 2*y. Is y prime?
False
Let b = 239 + -156. Is b composite?
False
Let b be 2 + 0 + -1 + -28. Let s = b - -42. Is s prime?
False
Suppose 4*s = -3*v + 4, -23 - 5 = -5*v + 4*s. Let m be (v - (1 + -1))*16. Suppose 3*l - 173 = m. Is l a prime number?
True
Let i = -291 - -668. Is i a composite number?
True
Let i(c) = 12*c**2 - 20*c + 9. Is i(5) a prime number?
False
Is -3 - (0 - 1 - 9) prime?
True
Let d(t) = -10*t + 2. Let u be (-7)/14*(3 - -1). Is d(u) prime?
False
Let v(j) = j**2 - 2*j - 9. Let c be v(5). Is 3284/c*3/2 a prime number?
True
Let r = 0 + 2. Suppose -g - r*g = -114. Let x = g - 25. Is x composite?
False
Is 390/8 - (-5)/20 a prime number?
False
Let y(l) = l - 3. Let q be y(5). Suppose w - 158 = d, -312 = q*d - 0*w + 2*w. Let x = -8 - d.