 0 = n + 5*c - 259, -4*c = 13 - 5. Is n a prime number?
True
Let t(s) = -s**2 - 4*s + 1. Let m be t(-3). Suppose -o + 96 = z + 4*z, 5*z - 91 = m*o. Is z a prime number?
True
Is 3/((-3)/(-653)) + -4 a composite number?
True
Let t = 4 - -181. Suppose 5*l - t = -0*l. Is l a composite number?
False
Suppose -3*z = 3*r + 2*r - 10, 3*r - 2*z = 25. Suppose -r*i + 543 = -642. Is -2 - i/(-3)*1 prime?
False
Let a = -129 - -260. Is a a composite number?
False
Suppose -2*p = -p - 4. Suppose p*m - 10 = -m. Is m composite?
False
Let m(s) = s**2 + 4*s - 11. Is m(-13) a composite number?
True
Is (28/42)/((-1)/(-15)) a prime number?
False
Suppose -27 = k + 117. Is k/(-10) + 4/(-10) a prime number?
False
Let j(k) = -5*k - 23. Is j(-20) prime?
False
Let h(v) be the third derivative of -v**6/60 - v**5/60 - v**4/24 - v**3/3 + v**2. Let y be h(-2). Suppose -y = -3*f + f. Is f a prime number?
False
Let b = -74 + 195. Is b a composite number?
True
Suppose -7*b + 2*b = -15. Suppose -197 = -3*s - o + b*o, 3*s - 207 = -3*o. Is s composite?
False
Let q be 10/(-5)*(-9)/2. Let w(o) = q*o - 5*o + 5*o**2 - 3*o**2 + 3. Is w(-5) composite?
True
Let q be (5/20)/(1/4). Is -23*(q - 2*9) composite?
True
Let n be (0 + -3)*8/(-6). Suppose 0*b - i + 17 = 4*b, -n*i = 2*b + 2. Suppose 0 = b*o + 4*c - 103, c = 2*o - 2*c - 55. Is o composite?
False
Let r(b) = 9*b**2 - 3*b + 6. Let j be r(4). Suppose -j = -4*m + 3*z, -4*m - z + 0*z = -130. Is m a composite number?
True
Let z(p) = -4*p - 5. Let t be z(4). Suppose 0 = 5*d - 4 + 34. Let m = d - t. Is m a composite number?
True
Let c = 95 + 108. Is c a prime number?
False
Let m(q) = 11*q + 6. Let s(j) = 1. Let p(x) = m(x) + 2*s(x). Is p(6) composite?
True
Is ((-1016)/(-32))/(1/4) prime?
True
Let c(l) be the first derivative of l**6/60 + l**5/120 + l**4/24 + 2*l**3/3 - 2. Let b(o) be the third derivative of c(o). Is b(-2) a prime number?
True
Suppose 2*x = -4*t + 2114, -x - 1 = -0*x. Is t composite?
True
Let s = 22 - -288. Suppose 4*y = 6*y - s. Is y composite?
True
Suppose 0 = 2*b + 10, 3*u - 7173 = 3*b - 2079. Is u a composite number?
False
Let h = -3 + 5. Suppose -9 = 4*s + 3*n, 0 = 5*s - 2*n - 8 + h. Suppose -205 = -m - s*m. Is m prime?
False
Let s(a) be the first derivative of a**4/4 - a**3/3 - 7*a**2/2 + 3*a + 3. Is s(6) prime?
False
Let h(y) be the third derivative of -y**4/24 + y**2. Let s be h(0). Suppose 5*u - 7*u + 238 = s. Is u prime?
False
Is (530/(-6)*-3)/1 a composite number?
True
Suppose 5*j + 277 = h, 118 = 4*h - 3*j - 1075. Is h prime?
False
Let h(u) = -u + 3. Let g(l) = -4*l + 16. Let f(a) = -3*g(a) + 14*h(a). Let x be f(-4). Suppose 4*s = 4*v + 196, 7*s - 4*v = x*s + 249. Is s composite?
False
Let k(n) = -n**3 - n**2 + n + 35. Suppose 3*j = j. Is k(j) a prime number?
False
Suppose 6*o - 418 + 88 = 0. Is o a prime number?
False
Suppose 0 = -2*k + 5*k. Let y(f) = 2*f + 87. Is y(k) a composite number?
True
Let h = -11 + 15. Suppose -h*x + 2*x + 158 = 0. Is x a prime number?
True
Let h = 656 - -209. Is h a composite number?
True
Let t = 14 + -10. Suppose -2*j + 2*a = -1734, 0 = 5*j + t*a - 0*a - 4353. Is j a composite number?
True
Let t(x) = 2*x + 12. Let n be t(10). Suppose q - n = -5*o, -o - 4*o - 2*q = -29. Is o composite?
False
Let l(o) = 33*o**3 + o**2 - 3*o + 1. Is l(2) a prime number?
True
Suppose 0 = 5*d - 10 - 0, l = -2*d + 235. Let r = 98 - l. Let x = -76 - r. Is x prime?
False
Let s(w) = -17*w - 7 + 1 + 3 - 3. Is s(-4) a prime number?
False
Let u = 6 + -3. Suppose -k - 7*m + 33 = -u*m, -2*k + m = -102. Let g = k - -80. Is g a prime number?
False
Let q = 119 + 44. Let c = q - 52. Is c prime?
False
Let y(h) = 37*h - 3. Is y(8) a prime number?
True
Let b = -10 + 6. Let g = b - -6. Suppose -35 = -5*o + g*h + 526, -4*o + 442 = -5*h. Is o composite?
False
Let i be (-2)/(-6)*(-1773)/(-3). Suppose -3*x + 58 = -i. Is x a composite number?
True
Is (3 - (-11581)/7) + 3/(-7) prime?
True
Suppose 5*p - 4*p = 9. Let x = p - 17. Let c = 14 - x. Is c prime?
False
Let r = 24 + -38. Let u(c) = 18*c + 5. Let k be u(-6). Let f = r - k. Is f a prime number?
True
Let c be 8/(-20) + (-196)/10. Let h be 10/(-4)*c/2. Suppose 0*z - h = -z. Is z a prime number?
False
Let z(s) = -4*s + 2*s**2 + 2*s - 6 + 0*s - s**3 + 5*s**2. Is z(5) a composite number?
True
Suppose 2*j + f - 816 = -0*f, -2*j = -f - 808. Let n = j + -189. Is n prime?
False
Let f be 0/(2/2 + 0). Let v(p) = 2*p**2 + 67. Let g(z) = 3*z**2 + 101. Let j(y) = -5*g(y) + 8*v(y). Is j(f) a prime number?
True
Suppose -16313 = -4*j - g, -j + 2*g + 4074 = -2*g. Is j prime?
False
Suppose w = 5*u - 252, -w + 156 = 5*u - 2*u. Is u prime?
False
Suppose -2*q + 5*q = 15753. Is q a prime number?
False
Let r(s) = 5 - 2 + 4*s + 1 + 3*s**2. Let g = -1 - 2. Is r(g) prime?
True
Suppose -2*x = -5*l + 23, 18 = -0*l + 2*l - 3*x. Suppose 0 = 2*c - v - 3, l*c + v - 6 = 1. Suppose -8 = -c*i - 0*i. Is i prime?
False
Let d = 273 + 314. Is d prime?
True
Let r(a) = -7*a**3 - 11*a**2 - 11*a + 4. Suppose -5 = -3*p - 2*p. Let n(h) = h**3 + h. Let w(s) = p*r(s) + 6*n(s). Is w(-11) a composite number?
False
Suppose -4*z + 699 = -529. Is z a composite number?
False
Let q(w) = w**2 + 4*w - 2. Is q(11) a composite number?
False
Let q be -2 + (-1 - -4) + 0. Let j = -2 - q. Is (-1)/(j/6) - -11 a prime number?
True
Let m(t) = 2*t - 1. Let p be m(-1). Is 12/(-18) - 473/p a prime number?
True
Let j(i) = i**2. Let m(o) = 22*o**2 - o + 1. Let c(w) = 6*j(w) + m(w). Let l be c(1). Suppose 14 = 3*s - 3*d - 10, 3*d - l = -s. Is s prime?
True
Suppose -3*w = -s - 13, -6 - 3 = -3*w + 3*s. Suppose 3*j + 0*j = -3*r + 441, -j + 139 = w*r. Is j prime?
True
Suppose 0 = -4*j + 20, 0*j = -5*q - 3*j + 1300. Is q a composite number?
False
Let n = 1037 + -515. Is (n/12)/((-3)/(-4)) a prime number?
False
Let d(q) = q**3 + 4*q**2 + 3. Let x be d(-4). Let v be (x/(-9))/(1/(-57)). Suppose -67 - v = -2*o. Is o a prime number?
True
Is (-2 + 1350/(-8))/((-24)/96) a prime number?
True
Let s = 1292 - -1917. Is s prime?
True
Let b = 4 + -1. Suppose 34 = -b*q + 1264. Suppose 3*l = l + q. Is l a prime number?
False
Let z(b) = b**2 + 1. Let d(u) = 4*u**2 + 7*u + 2. Let s(h) = -d(h) + 5*z(h). Is s(8) composite?
False
Let o(a) = 28*a**2 + 13*a + 13. Is o(-6) composite?
True
Let j = 79 - 4. Suppose b = -2*b. Suppose -p + j + 4 = b. Is p composite?
False
Suppose 28 - 7 = a. Let v be 4/(-7)*a/(-6). Is v/3*(-36)/(-8) prime?
True
Is 3/(-3) + 296/1 a prime number?
False
Let x(f) = -25*f - 19*f + 3 - 4 + 2. Is x(-2) prime?
True
Suppose -3*x = -2*h + 6, h = -0*x - 3*x + 3. Let q = h - -2. Suppose 0*u + 30 = q*u. Is u composite?
True
Is -1 - 0 - -1*146 prime?
False
Let l(m) = -m**2 + 5*m - 6. Let p be l(4). Is -7*(-8 - 2/p) composite?
True
Let i(t) = -1. Let b(k) = 72*k - 3. Let c(h) = -b(h) - 4*i(h). Is c(-5) a composite number?
False
Let c(i) = -2*i**2 + 3*i + 7. Let a be c(6). Let q = a - -94. Is q a composite number?
False
Let x be (-3 + 1)/((-1)/2). Suppose c = 2*t - 125 + 19, x*c = -4*t + 236. Is t a prime number?
False
Let z(b) = 21*b - 6. Is z(3) a composite number?
True
Let l = -1896 - -2975. Is l prime?
False
Let k(w) = w**2 + 8*w - 10. Is k(-13) a prime number?
False
Suppose 9 = m + 3*d - 6, -15 = -4*m - 3*d. Suppose 5*k + 48 = 4*p, 5*k = -m*p + p - 27. Is p composite?
False
Suppose -3*f + 62 = y, 3*y = -f - 4*f + 206. Is y prime?
False
Let d(u) = -u - 1. Let a be d(-5). Let j = a + -1. Suppose j*l - 99 = 78. Is l prime?
True
Let z(g) = 2 + 5 + 90*g - 2. Let c be z(6). Suppose -2*p + 2*s + 218 = 0, 4*p + p - c = -s. Is p prime?
True
Let q = -58 + 107. Let d = -30 + q. Is d prime?
True
Let f be (-2)/8 + 713/4. Suppose -f - 282 = -4*u. Is u prime?
False
Let m(d) = -19*d - 5. Let f be m(-6). Let g(c) = c**2 - 9*c + 10. Let h be g(8). Suppose -49 - f = -h*r. Is r composite?
False
Let p(u) be the third derivative of -1/60*u**5 - 7/6*u**3 + 0 - 13/24*u**4 - u**2 + 0*u. Is p(-8) a prime number?
False
Is ((-2796)/(-24))/((-1)/(-2)) a prime number?
True
Let w be (-30)/4 - 2/4. Let i(q) = -q**3 - 9*q**2 - 7*q + 8. Let l be i(w). Suppose 5*t + 0 - 15 = l. Is t a composite number?
False
Let f(d) = -d**2 - 3*d - 35. Let a(n) = n**2 + 4*n + 34. Let u(m) = -3*a(m) - 4*f(m). Let w(q) = q**3 - 5*q**2 - q + 5. Let h be w(5). Is u(h) composite?
True
Suppose c - 5*a - 429 