+ 255 = 2*c. Is o a prime number?
True
Let w = -14 - 7. Is (-7)/w + 16/6 composite?
False
Let i(z) = z - 1. Let f be i(2). Let t be 11*f*(-2)/(-2). Suppose -4*w - t = -5*w. Is w composite?
False
Let n(h) = -76*h**3 + h**2 + 4*h + 3. Let d be n(-2). Let v = -422 + d. Is v a composite number?
True
Let v = -2094 - -3387. Is v a prime number?
False
Suppose -3*r - 5*o + 1 = 5, -5*r = 4*o + 11. Let y be 6 + r - 3 - -3. Suppose 145 = y*p + 34. Is p a prime number?
True
Let z = -17 + 254. Suppose -k + z = 2*k. Is k composite?
False
Suppose -4*h + a - 221 = 0, 2*h = 2*a - 3*a - 103. Let v be (h/4)/3*2. Is (6/v)/(2/(-69)) a composite number?
False
Suppose 0 = -2*f - 2*f + 4*m - 28, 19 = -2*f + 3*m. Let t be (-6)/(f - (-89)/46). Suppose o - 5*o = -t. Is o a prime number?
True
Let q = 13 - 9. Suppose -q*w + 481 = 133. Is w a composite number?
True
Let q(j) = -j**3 - j + 31. Let r be ((3 - 3)/(-4))/2. Is q(r) a prime number?
True
Let r be 20/6*3/2. Suppose -2*w = -a + 5, w + 5 = 3*a + r*w. Suppose 2*m + 196 = 2*x + 2*x, 3*x - 165 = -a*m. Is x a composite number?
True
Suppose -k = 2*k - 12. Suppose 0*h + k*h = 472. Suppose -2*b + 3*a = -118, -b = b + a - h. Is b a composite number?
False
Suppose q - 4*q = -1068. Let l = q - 247. Is l a prime number?
True
Suppose -4*v = 2*i - 254, 3*v = -5*i - 100 + 735. Is i a prime number?
True
Let m(z) = 47*z**3 + z**2 - z + 1. Is m(2) a composite number?
False
Let s(f) = 131*f - 3. Is s(2) a composite number?
True
Let o(x) = 59*x**2 - 2*x - 1. Is o(10) composite?
False
Let d = 2 - 4. Let m = d - -55. Is m a prime number?
True
Let z = -5 + 4. Is z - (3*38)/(-1) a prime number?
True
Let t(u) = 2*u**3 - 2*u - 1. Let v be t(3). Let a = 12 + -22. Let f = a + v. Is f a prime number?
True
Let c(t) = -t**3 + 4*t**2 + 9*t + 1. Suppose -y - 29 = 5*p, y = -4*p - 0*y - 23. Is c(p) composite?
False
Let j be 0 - 183/(-3)*8. Suppose -3*a = z - j - 271, -4*z = -4*a + 1012. Is a composite?
True
Suppose -5*v = 11 - 41. Is v/4*1048/12 a prime number?
True
Let g(q) = 7*q**2 - 1. Is g(6) prime?
True
Let n = -1 - -4. Suppose -6 = n*y - 3*q, -5*q - 4 = -q. Is (y/(-6))/((-2)/(-52)) prime?
True
Suppose 2*m = q - 14, 0*m = 3*q + m - 7. Suppose 2*k - 16 - q = 0. Is k a prime number?
False
Suppose -4*f = v - f + 18, -f + 2 = -v. Is (-2)/v + 353/3 composite?
True
Let j = -609 - -202. Let p = j - -1270. Is p composite?
False
Let r = 427 - -1626. Is r a prime number?
True
Let x = -12194 - -17455. Is x composite?
False
Suppose -58 = 3*m - 8*m - 3*o, 0 = -4*m - 3*o + 44. Let s be (2/3)/(m/63). Suppose 94 - 340 = -s*d. Is d a composite number?
True
Suppose 3*j + 3*t = 12, -6*j + 2*j - 5*t = -14. Let q = 12 - j. Is 3/q + (-75)/(-2) a prime number?
False
Let t be (-2)/(-8) - (-21)/12. Suppose -t - 10 = -3*c. Suppose k - c*k = -111. Is k a prime number?
True
Suppose -h - 34 = -m, -5*m = -3*m - 5*h - 65. Suppose -23 + 263 = 4*d - 4*y, 0 = -d - y + 52. Let j = d + m. Is j prime?
False
Suppose -2*d - 3*w + 299 = 0, -116 + 850 = 5*d + 3*w. Is d prime?
False
Suppose 2*u = -5*q + 606 + 192, -421 = -u + 3*q. Is u composite?
False
Let m = 236 + -113. Is m a composite number?
True
Let g(t) be the second derivative of -19*t**5/10 - t**4/12 + t**3/6 + t**2/2 + 7*t. Is g(-1) a composite number?
False
Let s = 8 - 6. Let a be 54/15 + s/5. Suppose 461 + 340 = a*v - f, 4*v + f = 807. Is v composite?
True
Let a = 5 - 0. Suppose 9 = 3*b, -2*j + 4*j + a*b - 185 = 0. Is j prime?
False
Suppose 5*d = 3*q + 10, -2*d + 10 = 3*d - q. Suppose d*b - 42 = -b. Is b a composite number?
True
Let s be 0 + -2 + (2 - -1). Suppose -3*t = -16 + s. Suppose -2*p = -4*y + 3*p + 301, 2*y = t*p + 143. Is y a composite number?
False
Let z(a) = 9*a + 2. Let x be z(4). Suppose -x + 523 = d. Is d a composite number?
True
Let g(f) = -2*f. Let x be g(-4). Let m(h) = h**3 - 12*h**2 + 7*h + 7. Let b(d) = -d**3 + 11*d**2 - 6*d - 8. Let k(c) = -4*b(c) - 3*m(c). Is k(x) prime?
False
Let l(v) = v - 5. Let f be l(-4). Let w(u) = -u**3 + 2*u**2 - 3*u + 1. Is w(f) prime?
True
Suppose 2*t + 0*t - 512 = -3*a, 1016 = 4*t + 2*a. Is t a prime number?
False
Suppose 5*g - 9739 - 1531 = -5*w, -2*w = -g - 4499. Is w a prime number?
True
Is -6 - -3 - (-208)/1 a composite number?
True
Suppose 3*j - a - 11 = 3*a, 5*j - a = 7. Is 44 - j/(3/(-9)) prime?
True
Suppose -x = -0*x - 677. Is x a composite number?
False
Let v(x) = -1268*x - 1. Is v(-1) a prime number?
False
Let w(y) be the first derivative of 4*y**3/3 - 2*y**2 + 5*y + 3. Is w(4) prime?
True
Let b(p) = p**2 + 15*p + 7. Let z be b(-17). Suppose m - z = -4. Is m a prime number?
True
Let r(g) = -2*g**2 + 3*g + g**2 + 1 + 4*g**2. Let z be 23/(-7) - 4/(-14). Is r(z) a prime number?
True
Let r = -407 - -1084. Is r a composite number?
False
Let n(g) = 8*g**2 - 10*g - 31. Is n(-13) composite?
False
Let a(f) = f - 7. Let u be a(-4). Let r(k) = -333*k - 1. Let n be r(1). Let j = u - n. Is j a composite number?
True
Let s = -462 - -866. Suppose 3*z + 23 - s = 0. Is z a composite number?
False
Let k(j) be the third derivative of j**5/60 - 7*j**4/24 + 7*j**3/6 + 7*j**2. Is k(11) a composite number?
True
Let k(v) = v**3 - 4*v**2 + 6*v - 2. Let z = -8 + 13. Is k(z) a prime number?
True
Suppose 0*i - 758 = -2*i. Is i a prime number?
True
Let g be (-3)/3 - (-21 - 2). Let d be 2/3 + g/(-6). Is 5*1*(-33)/d a prime number?
False
Let l(w) = -w**3 + w**2. Let c be l(-1). Suppose 5*i = -3*v + c*v + 170, 3*v - 55 = -2*i. Is i composite?
True
Suppose 2*l = 4*q + 302, -3*q = -l + 3*l - 316. Suppose 4*d + d = l. Is d prime?
True
Let z be (-1 - (-2)/(-4))*-10. Let j be 6/z*(-116 + 1). Let m = 137 + j. Is m prime?
False
Let p = 306 + -215. Is p prime?
False
Let o be (-1 + 6/(-3))/(-1). Is 69/o*-1*-1 a prime number?
True
Let d(x) = -3*x**3 - 2*x**2 + x - 2. Let c be d(-3). Let y = -3 + c. Is y a composite number?
True
Let s be 1 + -2 + 2/1. Let j = 4 - s. Suppose -k + 52 = j*k. Is k a composite number?
False
Let c be (-6)/(-21) + (-264)/42. Is (-2)/c*(4 + 155) a prime number?
True
Let l be 69/((-1)/2*2). Let b = -8 + 30. Let o = b - l. Is o a prime number?
False
Suppose 0 = -5*a + s + 2*s + 529, -5*a + 508 = 4*s. Let h = -27 + a. Is h a composite number?
True
Let z = 54 + -13. Suppose -4*c + z + 3 = 0. Is c composite?
False
Is ((-42)/9)/(8/(-708)) a prime number?
False
Let k be (4 - (-18)/(-7))*14. Let o(p) = 3*p**2 - 4. Let d be o(-5). Let g = d + k. Is g composite?
True
Let n = 786 + -221. Is n prime?
False
Suppose -3*g - 4*u = -430, -5*g - 4*u - u = -715. Suppose a + k - 51 = 0, 18 + g = 3*a - 4*k. Is -1 + 1*(-2 + a) prime?
False
Is 8214/14 - 10/(-35) composite?
False
Let o(g) = 31*g**2 + 3*g + 4. Is o(5) a prime number?
False
Suppose 6*k = 4*k. Suppose u - 13 - 36 = k. Suppose -2*z - u = -3*z. Is z composite?
True
Let t(p) = -3*p**2 - 25*p + 2. Let s(j) = 2*j**2 + 17*j - 1. Let k(x) = 7*s(x) + 5*t(x). Let f(y) = y**2 + 6*y + 5. Let b be f(-3). Is k(b) a prime number?
True
Let t be (-164)/(-4) + 0/(-1). Let c = 66 - t. Is c prime?
False
Let n(y) = 0*y + y + 25 - 2*y. Is n(12) prime?
True
Let f(g) = g**3 + g + 40. Let z be f(0). Let s(u) = 7*u**3 + 2*u**2 - u + 1. Let a be s(-2). Let x = z - a. Is x composite?
True
Suppose -4*s + 1655 = 3*r, -4*s - 1381 = -4*r + 835. Is r a prime number?
False
Suppose 20 + 26 = w. Let g = 77 - w. Suppose -93 - g = -4*o. Is o prime?
True
Suppose 4*f - 16 = -6*y + 4*y, -y + f - 7 = 0. Let v be (-44)/7 + 4/14. Is (-4)/v*(-699)/y composite?
False
Let o be 1/1 + 3 + -9. Let u be -5 + 4 + 0 + o. Let b(h) = -3*h + 3. Is b(u) a composite number?
True
Let z be (-388)/36 - 4/18. Let x(a) = a**2 + 3*a - 9. Is x(z) prime?
True
Let d(o) = -37*o - 3. Let r be d(-3). Let i = r - 42. Is (-1 + 0)/((-2)/i) a composite number?
True
Suppose 2*q = 7*q + d - 750, 0 = q + 2*d - 159. Is q composite?
False
Let g(p) be the first derivative of -p**4/24 + 53*p**3/6 + p**2/2 + 2. Let m(i) be the second derivative of g(i). Is m(0) a composite number?
False
Let i be (6936/85)/(1/(-5)). Let o = 227 - i. Is o a composite number?
True
Suppose 2*l - 5 = -1. Is 1 + 2 - -86 - l prime?
False
Suppose -2*m + 6 = -5*k - 0, 5*m - 15 = -5*k. Suppose k = 4*z - z. Is (z + 1)/(-1) + 66 composite?
True
Suppose 3*w = i - 4*i + 18, -2 = 5*i - 3*w. Is i*1/((-6)/(-69)) prime?
True
Is (970/8)/(2/8) a prime 