 p - 8. Suppose -2*c = -0*c - p. Suppose 5*o - c*o = 6. Is o a composite number?
True
Let u = -7 - -10. Let o(q) = 2*q**3 - 3*q**2 - 2*q. Is o(u) a composite number?
True
Suppose 5*q = 5*w - 0*w + 595, -2*w - 2 = 0. Is q composite?
True
Let d = -148 + 387. Is d composite?
False
Suppose 3*d = -m - 2*m + 222, m - 79 = 4*d. Suppose -3*l + m = 2*l. Is l a composite number?
True
Let p(u) = u**3 - 2*u + 3. Let h(o) = -o**3 - o + 2. Let j be h(0). Is p(j) prime?
True
Suppose 3*o = -0*o + 1641. Is o a composite number?
False
Let f(i) = -i - 4. Let b be f(-6). Suppose -2*r - a = -33 + 2, 57 = 3*r + 5*a. Is (r + -3)*14/b prime?
False
Suppose 39 = 5*c - h - 0*h, 5*c - 43 = 2*h. Suppose 2*x - 13 = c. Is x a composite number?
True
Let k(a) = -a**2 - 7*a - 2. Let u be k(-6). Suppose 0 = u*o + 4*d - 176, -o - 4*d + 15 = -17. Suppose 2*n = i - 1, -3*n + 11 = 4*i - o. Is i a composite number?
False
Let w = 78 - -461. Let y = -276 + w. Is y a prime number?
True
Let n be 4/8 + (-10)/(-4). Suppose 0 = s + n*s + 5*i - 763, s - 2*i = 181. Is s a prime number?
False
Suppose 3*d - 469 = 758. Is d a prime number?
True
Suppose 0 = 2*s - 26352 + 4586. Is s composite?
False
Let o(u) = 60*u - 7. Is o(5) composite?
False
Let w = 0 - -5. Is 267/w + (-6)/15 composite?
False
Is 2162 - 1*(2 + -1) prime?
True
Let o(b) = -b**3 - 3*b**2 + 4*b + 9. Let q(v) = -3*v + 2. Let t be q(3). Is o(t) prime?
False
Let b(o) = 66*o**2 + 2*o - 1. Let d = -3 + 4. Is b(d) composite?
False
Suppose 220 - 985 = 5*f. Let r = f + 220. Is r a composite number?
False
Let r(d) = 23*d - 1. Let w be (-6)/4*4/(-3). Suppose w*j + j = 3. Is r(j) a composite number?
True
Suppose a + 0*a - 159 = 0. Let j = 23 + -19. Suppose -r = -j*r + a. Is r composite?
False
Let m = -1809 - -831. Is 4/(-14) + m/(-42) a composite number?
False
Suppose 2*h - 2337 = -5*o, -o + 0*o + 457 = 3*h. Is o a composite number?
True
Suppose 2*f - 3*y = -6*y - 98, -5*y = f + 42. Let o = -33 - f. Is o prime?
True
Let j(y) = -3*y**3 - y - 1. Is j(-5) a composite number?
False
Let u(l) = 3*l**2 + 5*l + 5. Let y(b) = -7*b**2 - 11*b - 11. Let w(h) = -5*u(h) - 2*y(h). Let c be w(-3). Is ((-42)/1)/c - 1 composite?
False
Let x(g) = 2*g**2 - g + 3. Let q = 10 - 12. Let w be 2 + -4*1/q. Is x(w) composite?
False
Let u be 2/11 + (-896)/(-154). Is (u/6)/((-1)/(-55)) a composite number?
True
Suppose -3*x = -19 + 7. Suppose -x*n + 5*b = 2*b - 847, -5*b = -n + 216. Is n composite?
False
Let k = 74 - 45. Let w = k - 15. Is w a prime number?
False
Let r be ((-9)/(-2))/(2/4). Suppose 2*m + r = -0*v + 3*v, -2*m - 5*v = -15. Suppose -2*w + 2*u + 64 = -m*u, -w - 3*u = -40. Is w a prime number?
False
Is (-14937)/26*((-80)/(-6))/(-4) composite?
True
Suppose 1020 = -2*i + 6*i. Let r = i + -137. Is r composite?
True
Is 376 + 2 + 6/6 a composite number?
False
Let c(r) = r - 5. Let z be c(4). Let y(o) = -10*o**2 - 7*o + 6. Let w(f) = f**2 + f - 1. Let j(p) = z*y(p) - 5*w(p). Is j(-2) composite?
True
Let n(p) = 1379*p + 12. Is n(1) a prime number?
False
Let z(s) = -694*s**3 - s**2 - s + 1. Is z(-1) a prime number?
False
Let q be 2/(-5) - 36/(-15). Suppose -4*n + q*n = 12. Is ((-435)/n)/((-1)/(-2)) a prime number?
False
Let y(a) = -a + 8. Let z be (-14)/(-63) + (-65)/9. Is y(z) a prime number?
False
Let v(i) = 2*i**2 + 3*i - 4. Let p be v(-3). Suppose p*w + 5 = -0. Is 15 + (-2)/((-2)/w) a prime number?
False
Suppose 3*a = -2*f - 2*f + 1035, -5*f = -2*a - 1311. Suppose y - f = -2*y. Is y composite?
True
Let y be 2 + 44/(-8)*-2. Suppose -y*w + 88 = -9*w. Is w composite?
True
Let t(o) = -o**2 - 7*o - 6. Let m be t(-5). Suppose 8*c - 5*c - 12 = 0. Is c/(-6)*(-222)/m composite?
False
Suppose 0 = -2*j - 0*j - 8. Is 2 - ((-8)/j + -79) prime?
True
Suppose 2*o + 1 = o. Is -2 + (o - -3) + 11 a prime number?
True
Let j be 1 + 139 + 24/(-8). Suppose 0 = -2*y + 369 + j. Is y a prime number?
False
Let x(n) = -5*n - 7. Let i = -17 + 9. Is x(i) a prime number?
False
Let p = -310 - -84. Let r = 321 + p. Is r composite?
True
Suppose -20 = 4*g, -3*t + 6*t = -5*g + 5498. Is t a composite number?
True
Let z(y) = -y**2 + 27*y - 7. Is z(23) composite?
True
Let n = -196 - -1161. Is n prime?
False
Is (-2)/5 - 2174/(-10) a composite number?
True
Let m = 8 + -11. Let g(u) = -3*u**3 + 4*u**2 - u - 1. Is g(m) prime?
False
Suppose 0 = -5*k + 552 + 563. Is k prime?
True
Is -2 + (2 - 1 - -1258) composite?
True
Suppose 2*f - 210 = -0*f. Let v = 254 - f. Is v a prime number?
True
Let k = 201 - 57. Let m(q) = 11*q**3 + 3*q**2 - 3*q + 3. Let f be m(2). Let z = k - f. Is z a prime number?
True
Let w(h) = 3834*h**3 - 2*h**2 + 3*h - 2. Is w(1) a prime number?
True
Suppose -2*p + 32 = -34. Suppose 0*o - 3*o = -p. Is o a composite number?
False
Suppose -d + 7 = 2. Suppose 2*u = d*u - 1293. Is u prime?
True
Let c(g) = 15*g**2 + 2*g + 34. Is c(-21) prime?
True
Let q(u) = u + 4. Let a be q(0). Suppose -a*v + 174 = 2*o, 3*o - 2*v + 4*v - 245 = 0. Suppose 0 = 2*w - o - 103. Is w composite?
True
Let h be (-271)/7 + (-14)/49. Let s = 118 + h. Is s a composite number?
False
Suppose -2*j + 400 = 2*j. Suppose 436 = 4*p + 4*x + j, 3*x = 2*p - 143. Is p prime?
True
Suppose -2*o + m = -22, 9*o = 4*o + 5*m + 65. Is o a prime number?
False
Suppose 0 = -4*w + 2*w + 298. Is w a prime number?
True
Let l(a) = 18*a + 4. Is l(3) a composite number?
True
Let x = 738 + -493. Suppose 0*q - 5*q + x = 0. Is q composite?
True
Let r = -463 - -2222. Is r a composite number?
False
Suppose -12*p + 11*p = -123. Is p a composite number?
True
Let n be ((-10)/25)/(1/(-10)). Let g(a) = -13*a - 7 + n + 15*a + 2*a**2. Is g(4) composite?
False
Let h = -533 + 792. Is h a prime number?
False
Is 254*((-3)/(-1))/6 a prime number?
True
Let o(x) = 7*x**2 - 5*x + 33. Is o(-8) prime?
True
Let k = -2 + 11. Let f be (3 + -2 - -12)*k. Let r = -70 + f. Is r composite?
False
Suppose 74*a = 76*a - 254. Is a prime?
True
Let r(j) = 17*j**3 + 0*j - 2*j**2 - 15*j**3 - 3 - 4*j - 4. Is r(6) prime?
False
Let l be 2/(-3) - (-16)/6. Suppose l*n - 6*n = -24. Is n a composite number?
True
Suppose -7*n + 5012 = 567. Is n prime?
False
Let u(p) = 68*p - 5. Is u(2) prime?
True
Let c = -3258 - -5081. Is c composite?
False
Suppose 5*w = 15352 + 683. Is w prime?
False
Let o(y) = -5 + 10*y + 11 + y. Is o(3) composite?
True
Let u(j) = -133*j**3 - j - 1. Is u(-1) prime?
False
Let v = 3300 + -1939. Is v prime?
True
Suppose 0*p + p - 2590 = -3*s, -3*s + p + 2588 = 0. Is s a composite number?
False
Let x(n) = -n**2 + 6*n + 4. Let f(k) = 5*k**2 + k. Let a be f(1). Let c be x(a). Is 3/(-12) + 29/c a composite number?
False
Suppose 0 = 2*r - 10, -r + 6*r - 199 = 3*o. Let z be (-4)/6 - o/6. Suppose -n + z = -26. Is n a prime number?
False
Suppose -2 = o + 4*h - 3, 2*h = -o + 11. Is o a composite number?
True
Suppose -t - 273 = -5*k - 0*k, 3*t - 2*k = -884. Is t*((-4)/(-2))/(-4) prime?
True
Let y be (224/(-4))/((-2)/(-8)). Is y/(-3) + 10/(-15) composite?
True
Let p be 73/(172/56 + -3). Suppose 5*z - p = 3503. Is z composite?
True
Let t(r) = 13*r**2 - r - 1. Let z be t(-1). Let q be (2 + 1)*z/3. Suppose 2*m - m = q. Is m a composite number?
False
Let y = -4 + -2. Let m(a) = 7*a**2 - 3 - 7*a + 0*a**3 - 2 + 9*a + a**3. Is m(y) a prime number?
True
Let r = -11 - 7. Let a = r - -52. Is a composite?
True
Let d(o) = -o**2 + 14*o - 15. Let w be d(10). Suppose -4*u - k = -3*k + 30, u - 4*k = -w. Let c = 36 + u. Is c prime?
True
Suppose 2*v - 3*y + 420 = -2*v, y = 5*v + 525. Let r = -16 - v. Is r prime?
True
Is 65 + 1 - (8 + -9) composite?
False
Let g(k) = 3*k**3 - 4*k + 3. Let i be g(2). Suppose 0*u - u - i = -5*b, u = -4*b + 8. Let n = 0 + b. Is n prime?
True
Let u(n) = -6 - 5 + 7 + 21*n. Is u(6) composite?
True
Suppose 3*n - 670 = -2*n. Let s = n + -55. Is s a prime number?
True
Let w(u) = -u**3 - u + 133. Suppose -5*c + 8 = 4*g, 4*c - 1 = 4*g - 9. Is w(c) a composite number?
True
Let s = 15 - 10. Suppose -3*j + 87 = s*p - 100, 2*j = 4*p + 154. Suppose 2*v - j = 41. Is v a prime number?
False
Suppose -6 - 3 = -3*h. Suppose h*q = -q. Suppose q = 4*c + c - 110. Is c a prime number?
False
Let u(a) = -62*a - 6. Let c be u(-4). Suppose 2*d = -8, -2*d = -2*x + 2*d + c. Is x a composite number?
False
Suppose -10*r + 13258 - 5388 = 0. Is r a composite number?
False
Let s(l) = -l**2 + 7*l - 2. Let r