= 0. Suppose -n = n - b. Is n composite?
True
Suppose -4*m + v + 577 = 0, 2*m - 2*v = 371 - 87. Is m a prime number?
False
Suppose -k - 1 = 4. Let g = -3 - k. Suppose 5*a + v = 2*a + 109, -a + 43 = g*v. Is a prime?
False
Let o(d) be the second derivative of d**7/2520 + d**6/720 + d**5/120 - d**4/6 + d. Let x(c) be the third derivative of o(c). Is x(-5) composite?
True
Let y = -7 + 9. Suppose -y*h - h = -201. Suppose 4*l - h - 25 = 0. Is l a composite number?
False
Is 19/(-57) - 3344/(-6) a prime number?
True
Let l = -1 + 122. Is l a composite number?
True
Let j = 61 + -25. Suppose j = c + 3. Is c composite?
True
Suppose 15*z + 184 = 19*z. Is z prime?
False
Let d = 24 + -14. Suppose 0*k + 2*z = 4*k - d, 25 = 4*k - 5*z. Suppose k = -4*g + 8*g - 52. Is g composite?
False
Is (1 + 1)/(2/37) composite?
False
Suppose g - 2*g + 5*a = -14, -3*a - 6 = 0. Suppose 83 = -g*q + 439. Is q prime?
True
Is 1/(-2) - (1 + (-1994)/4) a composite number?
True
Suppose 2*v = 954 - 128. Is v a composite number?
True
Let v be 3/3 - (-6)/3. Suppose 5*k = j + 13, 0*j + 11 = v*k + j. Is k composite?
False
Suppose -2*n = -0*n. Let z(v) = v**2 + v + 437. Is z(n) a prime number?
False
Suppose -3*b - 4*p = 2*b - 7, 0 = -4*b - 5*p + 2. Suppose -5*o + 637 = -2*y, -5*y - 386 = -b*o - 0*o. Is o composite?
False
Let s(m) = -m - 5. Let c be s(4). Let q = -31 - c. Let l = q + 57. Is l a composite number?
True
Let l = -1711 + 2528. Is l prime?
False
Let d(r) = -r**3 + 7*r**2 - 6*r + 2. Let j be d(6). Suppose j*l - 3*l = -12. Is 18/l + (-518)/(-4) a composite number?
False
Let u(m) = 37*m**2 + 4*m + 2. Is u(-5) composite?
False
Let f(x) = -x**2 + 7*x + 5. Let u be f(7). Suppose 0 = -5*b + 2*r + 61, -5*b + u*r + 57 - 2 = 0. Is b composite?
False
Let t be ((-5)/(-3))/(2/(-36)). Let b be 10746/117 - 2/(-13). Let u = b + t. Is u prime?
False
Let f = 8 + -8. Let q(h) be the second derivative of -h**5/20 - h**4/12 + h**3/6 + 77*h**2/2 + h. Is q(f) prime?
False
Suppose 417 = -8*q + 5*q. Let v = q - -258. Is v a composite number?
True
Let d be (-4 - -8) + 1 + -3. Suppose 0 = 3*r + 4 + 11, 0 = 3*p - d*r - 679. Suppose -f - 12 = -p. Is f a prime number?
True
Suppose -4*j + 12 = 0, 0*s + 1493 = 5*s + j. Is s prime?
False
Suppose -3 + 4 = w. Suppose a + w = 8. Is a composite?
False
Suppose 4*s - 137 = d, d + 71 = 2*s - 0*d. Is s composite?
True
Suppose -3*l - 3*l = -11922. Is l prime?
True
Let u(a) be the third derivative of -a**5/60 + a**3/6 + a**2. Let y be u(-2). Is 1/y + (-160)/(-12) composite?
False
Let v be 3*3/9*-1. Let m be (v - 2) + -15 + 2. Let p = m + 53. Is p composite?
False
Let l(z) = 3*z**2 + 1 + 0*z**3 + 3*z**3 - 4*z**2. Suppose 1 - 9 = -4*r. Is l(r) a prime number?
False
Suppose 0 = -4*t - t. Suppose -2*y = -t*y. Suppose 3*o = y, 0*o = 3*v - 2*o - 111. Is v composite?
False
Suppose -l - 5*i = -12, -5*l = -2*l + i - 22. Suppose l = -b - 0*b. Is 5/((-1)/b*1) a composite number?
True
Let l be ((-48)/18)/(2/(-111)). Let n = l + -63. Is n a prime number?
False
Let u(r) = r - 303. Let i be u(0). Let p = -140 - i. Is p a prime number?
True
Suppose -3*f = -9, 2*h = 4*h + 3*f - 227. Is h a composite number?
False
Suppose -4*w + 1530 = 3*u, -u + 1911 = 5*w + 2*u. Suppose w = 2*g + g. Is g prime?
True
Let v = -78 + 34. Let y be (10/(-4))/(2/v). Suppose -a = -3*s - y, 111 = -5*a + s + 386. Is a a prime number?
False
Let m(r) = r - 7. Let a be m(5). Let k be 6*a/(-2)*-1. Let l(c) = -c - 2. Is l(k) composite?
True
Let y be 13 + (6/(-3) - -1). Let h = -7 + y. Suppose -936 = -h*b - 141. Is b composite?
True
Suppose 0 = 5*j - 5, 476 = 3*s + j + 4*j. Is s a prime number?
True
Suppose -2*f - 3*x - 14 = -6*f, -2*f + 2*x = -8. Suppose -8 = -2*g + h, -f*g - 2*g + 5*h = -16. Suppose -z + 2*v = -67, -2*z - v + 133 = -g*v. Is z composite?
True
Suppose 0 = 5*o - 4*u + 121, -5*o + 3*u - 6*u = 93. Let x be (-6)/o - 10/(-14). Is (1/x)/(3/63) prime?
False
Suppose 5*m - 100 = -30. Suppose -z + m = -99. Is z a prime number?
True
Let t be ((-4)/(-5))/(2/5). Suppose 4*z - 129 - 99 = -2*q, 0 = -4*z + t*q + 212. Is z a prime number?
False
Suppose -4*t - 2 - 2 = 0. Let p be 4/16 + (-14)/(-8). Is (1/p)/(t/(-28)) composite?
True
Suppose 5 = 3*f + 2*f. Suppose -x + f = 5, 4*u + 4*x = 508. Is u prime?
True
Let a = -49 + 34. Is (-530)/a*3/2 prime?
True
Let j(q) = 8*q + 1. Let o = -1 + -1. Let x be -2*o*3/12. Is j(x) a composite number?
True
Suppose 0 = 4*z + 5*x + 42, 2*z + 0*z = -2*x - 22. Let a = -25 - -85. Let g = a + z. Is g a composite number?
False
Suppose 6*v - 17887 = 8231. Is v a prime number?
False
Let r(n) = 8*n**2 + n - 4. Is r(9) a composite number?
False
Let q(f) = 5*f**2 - 7*f - 4. Let h be q(8). Is (14/8)/(5/h) a composite number?
True
Suppose 12 = -3*m - 0*m, -4*m - 968 = -4*k. Suppose 5*t + 283 + 240 = -4*l, -396 = 3*l + 5*t. Let w = k + l. Is w prime?
False
Suppose -1 = -x + 4*c + 2, 5*c = 5*x + 15. Let g(f) = -f**2 - 7*f - 4. Let z be g(x). Is -1 + 52*z/4 prime?
False
Suppose 4*h - 673 = 411. Suppose 2*r + 4*m = 298, -m = 3*r - 176 - h. Is r composite?
False
Suppose -2*p + 6*p = -16. Let m(a) = -9*a + 3. Is m(p) a prime number?
False
Let b(l) = 4*l**3 - l**2 - 4*l + 35. Is b(8) composite?
False
Suppose m + 774 = 3*g, 5*m = -g - 21 + 295. Is g composite?
True
Let m be (1*75)/((-5)/(-35)). Suppose 110 = g - m. Is g a composite number?
True
Let i be 2*(-5)/((-30)/9). Suppose 49 = -i*t + 682. Is t composite?
False
Let g(v) = 2 + 0 - 3 + 27*v - 2. Let o be g(6). Suppose -53 = r - 2*r + 2*t, -3*r + o = t. Is r a prime number?
True
Let i(w) = -3*w**3 - 8*w**2 - 8*w - 13. Is i(-6) prime?
False
Suppose -3*h - 3*p + 12 = -0*h, 0 = -2*h + p + 23. Suppose 4*k - 31 = h. Is k/(-35) + 65/7 a composite number?
True
Let y = 6 + -1. Suppose y*h - 331 = 234. Is h prime?
True
Let g = -77 + 151. Is (15/6)/(1/g) composite?
True
Let n(g) = -2*g. Let x be n(4). Let d be 25/1*x/(-5). Let j = d + 51. Is j a prime number?
False
Let t be (-1 - -2) + (-3)/(-3). Is 225 - t/4*4 a prime number?
True
Let f be 3/(-2 - 62/(-30)). Let h = f + 34. Is h a prime number?
True
Let t be (2/(-4))/((-6)/84). Suppose t*v = 2*v + 775. Is v a prime number?
False
Suppose -2 + 9 = 5*y + 2*x, 2 = 4*y - 2*x. Is (8 + 203)/(y - 0) a prime number?
True
Is (-99)/6*(-138)/9 composite?
True
Is 225/6*(-4)/(-6) prime?
False
Suppose -3*m + 630 = -0*m. Suppose -6*z = -11*z + m. Suppose -t + z = t. Is t prime?
False
Let j(f) = -f**2 + f + 259. Let v be j(0). Let u = 386 - v. Is u prime?
True
Suppose -d - 4*d + 30 = 0. Let v(b) = 2*b**2 - 8*b - 1. Is v(d) a prime number?
True
Suppose 7*s - 241 = 3*s + 5*m, s - 2*m = 58. Suppose r = -3*r + s. Suppose 2*a - r = -2*j, 0*j - 3*a + 9 = -2*j. Is j a composite number?
False
Suppose -2*z - 4*k - 4 + 12 = 0, -z = 3*k - 6. Suppose z*l + 4*l = 20. Suppose -3*o = -4*u + 42, l*o = -4*u - 9 + 35. Is u composite?
True
Let w be (-64)/10 - 12/(-30). Let j be (w/(-8))/(4/112). Suppose 3*y - 21 = j. Is y a composite number?
True
Suppose -5*r = -940 + 335. Let z = r + -34. Is z composite?
True
Let k(d) = -18*d + 8. Let f(y) = -288*y + 129. Let x(z) = -2*f(z) + 33*k(z). Let l be x(6). Let w = 17 - l. Is w prime?
False
Let a be (-1 - -2)/(2/10). Let b be (-2)/(-7) - 244/(-28). Suppose -b*v + 1316 = -a*v. Is v prime?
False
Let t(a) = -a**2 - 5*a + 1. Let h be t(-4). Let l(m) = 29*m**2 + 6*m. Let g be l(-4). Suppose h*y = -4*z + 307, -z - 4*z + 5*y = -g. Is z a composite number?
False
Let q(b) = b**3 + 5*b**2 - 6*b + 4. Let y(h) = -5*h**2 + h. Let f be y(-1). Let l be q(f). Suppose l*c - 4*k + 7*k = 87, 2*k + 40 = 2*c. Is c a prime number?
False
Suppose 4*j - j + 3*o = 6, -4*j - o + 2 = 0. Suppose -5*s + 8*s + 261 = j. Let m = 126 + s. Is m a composite number?
True
Let d(m) = 52*m + 6. Let a(l) = l + 1. Let k(z) = 5*a(z) - d(z). Is k(-1) a composite number?
True
Suppose q + 3*m + 2 = -1, -5*q - 4 = 4*m. Suppose -8 = -q*t - 3*t + 4*v, t = 3*v + 11. Let k(p) = p**3 + 6*p**2 - 4*p - 5. Is k(t) a prime number?
True
Let o = 14149 + -8178. Is o a prime number?
False
Let s be ((-9)/12)/((-2)/(-8)). Let n be -1 - (1 + s) - -2. Is (-2)/(-6) - (-32)/n a prime number?
True
Let f be 0 - 2 - (-5 - -2). Let t = 5 - f. Is (t/5)/(4/50) prime?
False
Let r(i) = 2*i**2 - 6*i - 3. Is r(8) a prime number?
False
Let z(k) = 2 + 6*k**3 - 2*k**2 + 0 - 5 + 