 -f - f = -l. Is f a prime number?
True
Suppose -p - p = -38. Let t(m) = -m**3 - 5*m**2 - 2*m - 1. Let q be t(-5). Let f = p - q. Is f a prime number?
False
Suppose 0 = -4*n + 4, i = -0*i + 4*n - 2. Is i/5 - (-1647)/45 composite?
False
Let m be (-2)/5 + 135/25. Let f(p) = -m*p - 3*p + 2 + 8*p + 4*p**2 + 2*p. Is f(-2) a composite number?
True
Suppose 0 = -2*a, 82 + 26 = -3*n - 4*a. Is 0/(-4) - n - -1 composite?
False
Let x = -4 + 0. Is (-109)/(-2) - 2/x a prime number?
False
Suppose 0 = 24*f - 28*f + 628. Is f composite?
False
Suppose -5*h + 11 = -4. Suppose 2*l = 4*w + 198, -2*w - 2*w = -h*l + 287. Is l composite?
False
Is (-390)/5*(-2)/4 composite?
True
Let m = 630 + -335. Suppose k - m = -5*f + 3*k, -3*f = k - 177. Is f composite?
False
Let w(s) = 241*s - 10. Is w(3) a composite number?
True
Suppose -2*q + 3*g + 1152 = 0, 3*q + 1713 = 6*q + 3*g. Is q composite?
True
Let x(i) = i**3 - 8*i**2 + 6*i + 10. Let t be x(7). Suppose 3*b = 2*v + 183, -103 = -2*b - 4*v + t. Is b a prime number?
True
Suppose -23 = -3*g - 8. Suppose -v = -4*s - 347, 4 = 4*s - g*s. Is v composite?
False
Let l(f) = -f**2 + 5*f + 2. Let j be l(5). Suppose j*i - 56 = -12. Is i composite?
True
Let z(f) = f**2 - 14*f - 4. Is z(19) a prime number?
False
Let x = 227 + 154. Suppose 2*r = -r + x. Is r a composite number?
False
Suppose 5*a - 2*g = 2*g, 0 = -g. Let q(v) = -v**2 + v + 103. Let s be q(a). Suppose -3*y - 4*w = w - 60, -4*y + w + s = 0. Is y a prime number?
False
Suppose 4*h = 2*h + 178. Is h prime?
True
Let j(s) be the third derivative of -s**6/30 + s**5/15 + s**4/8 - 2*s**3/3 - 7*s**2. Is j(-5) composite?
True
Let f(h) = 5*h**3 + 13*h**2 + 11*h + 6. Let o(z) = 6*z**3 + 13*z**2 + 12*z + 6. Let a(s) = 5*f(s) - 4*o(s). Is a(-7) composite?
False
Let g = 2 + 18. Suppose 3*o = 241 + g. Is o prime?
False
Let a(k) = 38*k**2 + 6*k + 12. Let j be a(-5). Let d = -555 + j. Is d a composite number?
True
Suppose -2*r = 4*z - 3*r - 6, 12 = 2*z + 4*r. Let m(o) = 0*o**z + 6*o + 2*o**2 + 3 + 10*o. Is m(-11) composite?
True
Let y = -921 + 1438. Is y composite?
True
Let i(h) = h**2 + 12*h + 2. Let a be i(-5). Let b = 6 - a. Let q = b - -18. Is q composite?
True
Suppose -4580 = -11*m + 711. Is m composite?
True
Let a(z) = -z**3 + 6*z**2 + 2*z - 6. Is a(4) prime?
False
Let t = -1744 - -2463. Is t composite?
False
Suppose 5*l + 0*l = -10. Is l + (-3 - -18) - -1 composite?
True
Is (1/3)/((-15)/(-45))*2603 composite?
True
Let p(a) = 4*a**3 - 2*a**2 + 1. Let u be p(1). Suppose 2*s + 576 = 4*d, 0 = d - 0*d + u*s - 151. Is d a prime number?
False
Suppose 4*f - 2*r - 85 + 705 = 0, 2*f - 5*r + 302 = 0. Let a = -106 - f. Suppose -5*g = -0*u + 3*u - a, -17 = -g - 2*u. Is g composite?
False
Let o(b) = 24*b - 84*b + 11 - 6. Is o(-3) a prime number?
False
Let t(i) = i**3 + 13*i**2 + 4*i - 7. Is t(-11) a composite number?
False
Let k = 2499 + -860. Is k prime?
False
Let q = 91 - 36. Is q a composite number?
True
Suppose -t - 90 = -3*t. Suppose 0 = -i - 3*i + 2*j - 54, t = -5*i - 2*j. Let y = 33 + i. Is y a prime number?
False
Suppose -3*u - 5*i + 136 = 0, -u = -2*u - 2*i + 47. Is u a composite number?
False
Let z(m) be the first derivative of m**3/3 + m**2/2 + 47*m - 4. Is z(0) prime?
True
Suppose 5*q - 47 - 3 = 0. Let i(u) = 15*u + 7. Is i(q) a prime number?
True
Let q be 2 + -2 - (1 + -71). Suppose w = -w + q. Is w composite?
True
Suppose -2*m = -0*i + 2*i - 386, 3*m - i - 571 = 0. Is m a prime number?
True
Suppose -5*p = -4*u - 38 + 115, -2*p = -2*u + 36. Let v = 36 - u. Is v prime?
True
Suppose a - 1099 = -5*x, -2*x - 1574 = -a - 475. Is a a prime number?
False
Let l(a) = a + 1. Let w(i) = -i**2 - 2*i + 1. Let d(f) = -5*l(f) + w(f). Let s be d(-5). Suppose -5*r - s + 26 = c, 46 = 4*c + 3*r. Is c composite?
True
Suppose 2*p = -3*v + 170, -4*p + v + 372 = 46. Is p prime?
False
Suppose y + 310 = 1063. Is y prime?
False
Let a(o) = -9*o - 4. Let z(f) = -f**2 + 6*f - 6. Let u be z(6). Let w be a(u). Suppose -3*y = -121 - w. Is y a prime number?
False
Let i = 30 - 61. Let g = i + 43. Let n = 7 + g. Is n prime?
True
Suppose -2*f = -2*m - 22, -5*f + 0*m + 2*m = -49. Let l be 30/f*36/10. Suppose -4*v = 2*r - v - l, 18 = 3*r - 2*v. Is r a prime number?
False
Is 2/6 + 52/6 prime?
False
Suppose -z + 441 = -206. Is z composite?
False
Let g = 42 + 43. Let y = -34 + g. Is y a composite number?
True
Let q(h) = -h**3 - 6*h - 8. Is q(-7) composite?
True
Suppose -3*s - w = -25, -w + 5 = 5*s - 34. Let h(z) = z + 7. Is h(s) a composite number?
True
Let u be 4 - 1 - (-5 + 14). Let h be ((-12)/(-6))/((-4)/u). Is h/2 - (-393)/6 a composite number?
False
Suppose y + p = 91, -2*y + 177 = -0*p + p. Suppose 10 - y = -4*r + 4*j, 3*j - 53 = -2*r. Is r a prime number?
False
Let f be 51 + (-5)/(5/(-2)). Suppose -2*v - 5*i = -91, -4*v + f = i - 156. Is v a prime number?
True
Let o be ((-98)/(-3))/(2/6). Suppose -3*z = -193 - o. Let x = 212 - z. Is x composite?
True
Suppose -2*b + 445 = -279. Is b a composite number?
True
Let a(o) = -15*o + 7. Let l be a(-7). Suppose 4*i - 3*h + 7*h = l, 0 = -4*i - 5*h + 115. Is i a composite number?
True
Is 4 + (607 - -4) - 2 prime?
True
Let f(n) = 9*n**2 - 3*n - 1. Let i(k) = -k - 11. Let s be i(-9). Let r be f(s). Suppose 3*t - r = 118. Is t prime?
True
Suppose 0 = 6*b - 2*b - 204. Is b composite?
True
Let v(l) = -l**2 + 8*l - 4. Let n be v(8). Let a = -4 - n. Suppose -4*h - q + 80 = a, -2*h + 4*q + 73 - 15 = 0. Is h a composite number?
True
Suppose -32*a - 16674 = -38*a. Is a a composite number?
True
Suppose 4*y - 438 = 7*y. Let j = -100 - y. Is j a prime number?
False
Let a(u) = u**2 - u - 2. Let k be a(-2). Suppose 4*c + 105 - 365 = 0. Suppose -65 = -5*g + 4*g + 5*j, -g = -k*j - c. Is g composite?
True
Suppose 5*x = -3*t + 16869, 0 = -2*t - 5*x + 16313 - 5067. Is t a composite number?
False
Let y = 39 - -44. Is y composite?
False
Is (-6597)/6*(-8)/12 a composite number?
False
Let i = -4 + 5. Let y be (-4 + i)*(-4)/(-3). Let n(s) = 10*s**2 + 5*s + 1. Is n(y) a prime number?
False
Is 0 - -91*(-1)/(-1) a composite number?
True
Suppose 4*j + 2*a = -2*a + 460, -5*j - 3*a = -567. Is j a composite number?
True
Suppose 11 = 4*u - 4*v - v, -5*u - 2*v = -22. Suppose -5*p - 91 = 5*i - 441, 2*p = u*i - 250. Is i prime?
False
Is 327 + 4/(-6)*-3 composite?
True
Let b = 3 + -3. Suppose n - 3 = -b*n, 2*g - 324 = -2*n. Is g a composite number?
True
Let k = -39 - -135. Let v be k/56*(-7)/(-2). Is v/9 - (-193)/3 a composite number?
True
Let f(n) = -2*n + 27 - n + 2*n + 130. Is f(0) a composite number?
False
Suppose -7 - 1 = 4*y. Let w = y - -5. Suppose -w*g + 6 = -2*g. Is g a prime number?
False
Let t = -1 + 4. Suppose -4*m + 0*m = 2*p - 1868, -m + t*p = -481. Is m a prime number?
False
Let w(b) = 6*b**2 + 3*b + 30. Is w(-7) composite?
True
Suppose 318 - 42 = 6*m. Is m a prime number?
False
Suppose -26 = 2*y - 66. Is (-5)/((-10)/4) + y a composite number?
True
Let o = -5 + 7. Suppose -4*i + 459 = i - v, -190 = -2*i + o*v. Is i a prime number?
False
Let h = 941 + -610. Is h prime?
True
Let q be (-3)/(-1) + 763/1. Is 16/(-24) + q/6 a prime number?
True
Suppose 0 = j - 2, -3*j = 4*m + 690. Let d = 20 - m. Is d composite?
True
Suppose -l - 2*z = 11, 4*l + 3 = 5*z + 11. Is ((-18964)/22)/(l - -1) a composite number?
False
Let w = 452 + -710. Is ((-2)/6)/(2/w) composite?
False
Suppose 0 = 3*s + 3*s. Is (-7 - s)/((-1)/139) composite?
True
Suppose 3*g - 259 + 49 = 0. Let h = g + -45. Is h a prime number?
False
Let j be 44/16 + (-2)/(-8). Let o = j - 0. Suppose -9 = -3*f + o*n, 3*f = 7*f - 2*n - 18. Is f a composite number?
True
Suppose -5*p = 240 - 5455. Is p a composite number?
True
Let z = 20 + 329. Suppose 3*x - 189 = -3*c, -c = 4*x + 85 - z. Is x a composite number?
False
Let f be (-3 - 0)/(1 - 2). Let y be (-1)/(-2) + (-2060)/(-40). Is f*(y/6 - 1) prime?
True
Suppose -3*b + b = -166. Is b a prime number?
True
Suppose -2*u + 21 = -1631. Suppose 3*m - 1039 = -2*m + 3*n, 5*n = 4*m - u. Is m composite?
True
Suppose r + 3*j = -8, -2*r = 4*j - 2*j - 4. Let h be 2/r + 540/21. Suppose -z + h = -57. Is z a composite number?
False
Suppose 156 = 6*c - 2*c. Let g = 116 - c. Is g composite?
True
Suppose 3*t = 9, -4*t - 8 = a - 3*a. Let f = -3 + 5. Is (f/(-3))/(a/(-705)) a prime number?
True
Let z(f) be the first derivative 