8 + 1544 = -s. Suppose -4*g = 2*o - 326, -3*o = -2*g - f + 174. Is o a prime number?
True
Suppose 4*h + 652 = 8*h. Is h prime?
True
Let j be (-2 - -2)/(-1 + -1). Suppose 0 = -j*d + d - 94. Is d a composite number?
True
Suppose 15 = 5*f, -2*f - 3*f - 480 = -5*z. Let i = z - 66. Is i composite?
True
Suppose -2*t - 62 = -t. Let w = 121 + t. Is w prime?
True
Let w(d) = 39*d**2 + 1. Let q(p) = -156*p**2 - 5. Let i be 12/7 - 8/(-28). Let b(k) = i*q(k) + 9*w(k). Is b(1) a prime number?
False
Is 5 + (1755 + -1)/1 prime?
True
Let h(t) = 33*t**2 + 2 - 8 - 4*t + 3. Is h(-4) composite?
False
Suppose -5*z - 7 = r, -z + 2 = 5*r - 11. Suppose 0 = u - k - 122, 138 = r*u + 3*k - 258. Is u a prime number?
True
Suppose -3*v - 6 = 0, 59 = 4*t + v + 1637. Let x = t + 555. Is x prime?
False
Suppose -8 = 3*g + 7. Let a = -1 - g. Suppose a*o - 4 = 8. Is o a prime number?
True
Let z(q) = 13*q - 2. Suppose 4*u + 16 = -2*f - f, 20 = f - 5*u. Suppose f = -2*d + 6. Is z(d) a prime number?
True
Let a(p) = -7*p**3 + p**2 + 2*p + 1. Let f be a(-1). Let y(n) = 6*n + 4. Is y(f) composite?
True
Let b(n) = -n + 13. Let w be b(9). Suppose w*y = 773 + 711. Is y composite?
True
Suppose 0*x = -x - 2*q + 1221, -2*q + 6073 = 5*x. Is x a prime number?
True
Is 1/(-4) + ((-20972)/16)/(-7) a prime number?
False
Let z(s) = 2*s**2 - 4*s + 1. Let n be z(-3). Let x = 31 + -11. Let p = n - x. Is p composite?
False
Let y(o) = -118*o - 3. Is y(-1) a prime number?
False
Suppose 5*t - 3*v - 8 = -0*t, -4*v = -5*t + 9. Suppose -t = l - 23. Is l prime?
False
Let i(h) = 12*h**2 - 5*h + 2. Is i(3) prime?
False
Let w(h) = -25*h. Let o be w(-2). Suppose 515 = 5*i - o. Is i prime?
True
Is (69 - -1) + 1/(1 + -2) a composite number?
True
Is 2/(-11) + (-624)/(-44) prime?
False
Suppose 0 = 5*h - 5*s - 3840, h + 2296 = 4*h + s. Is h composite?
True
Suppose 2*x - 51 = 23. Suppose 369 = 4*y + x. Is y a composite number?
False
Let o(s) be the first derivative of -s**4/4 + s**3/3 + 4*s - 2. Let j be o(0). Suppose -2*p - p + 4*d + 261 = 0, j*p - 349 = 5*d. Is p a prime number?
False
Let s be (-12)/16*(-4)/1. Let d(i) = i**2 + 7*i + s - i**2 - i**2. Is d(7) prime?
True
Let z(q) = 7*q**2 - q + 3. Is z(-3) composite?
True
Let n(l) = -l + 5. Let o be n(4). Let d = o - 4. Is (2 - (-1 - d)) + 33 prime?
False
Suppose -5*s + 0*k + 1348 = k, 0 = -s - 2*k + 275. Is s composite?
False
Suppose p - 344 = 1809. Is p composite?
False
Let f(p) = p + 11*p + 1 + 0. Let q(m) = m + 3. Let l be q(5). Is f(l) a prime number?
True
Suppose 2*b = 12919 + 40057. Is b/49 - 6/(-14) composite?
False
Suppose -5*t = s + 31, 0*s - 4*t = 3*s + 148. Let h = 99 + s. Is h prime?
True
Let d be (-2 + 3)/(2/(-8)). Let y be (-8)/16*d/1. Suppose z + 443 = y*t + 4*z, -2*z - 894 = -4*t. Is t composite?
False
Let b = -1 + 1. Let q be (-1)/(-2)*(10 - b). Suppose q*k - k - 40 = 0. Is k a prime number?
False
Let h(d) = -19*d**2 - 2*d - 3. Let s be h(-2). Let p = s + 132. Is p prime?
False
Suppose 19 = 2*z + z - 4*i, 4*z - 18 = -2*i. Suppose z = 2*h - 3*u, -2*h + 5*u - 1 + 4 = 0. Suppose -h*q = t - 198 - 107, -q + 89 = -4*t. Is q prime?
False
Let r be (1/3)/((-1)/(-6)). Let m = r - 2. Is 47 - m - (-2 + 2) prime?
True
Suppose -4*x + 7*x - 561 = 0. Is x prime?
False
Let z(u) = 25*u**2 - 1. Let w be z(-1). Suppose 2*l + 2*l - w = 0. Suppose -2*r - 356 = -l*r. Is r prime?
True
Suppose -8 = -2*z + 162. Is z - 0/(1/1) composite?
True
Let y(t) = -39*t - 20. Is y(-11) prime?
True
Let y = -765 - -2530. Is y composite?
True
Let r(t) = -3*t**3 - t**2 + t + 1. Let n be r(-1). Suppose -q + 0*d + 37 = d, -n*q - 5*d + 80 = 0. Is q a prime number?
False
Let i = 1561 - 1080. Is i a composite number?
True
Suppose -20 = -2*h - 2*h. Suppose -h*x + 821 = 176. Is x a composite number?
True
Suppose 3570 = v + 4*v. Let h = v - 449. Is h a composite number?
True
Let v be (1/2)/(3/(-12)). Let y be (v - 4)*(-1)/2. Suppose -b = 4*i - 17, -y*i - 25 = -b + i. Is b composite?
True
Let a(d) = 3*d**2 + 5*d - 1. Let k(c) = c**2 - 5*c - 2. Suppose 5 - 25 = -5*y. Let h be k(y). Is a(h) a composite number?
True
Let h(m) = -3*m + 0 + 6 + 46*m. Is h(5) a prime number?
False
Suppose -3*w = 4*j + 12, w = 5*j + 4*w + 12. Suppose -4*b + 4*y + 660 = j, -3*b = 3*y - 562 + 91. Is b a prime number?
False
Let y(z) = -228*z**3 - 2*z**2 + 3*z. Let f be y(2). Let s be 6/(-4) + f/(-4). Suppose s = 5*j - 30. Is j a prime number?
True
Let m be -12*(1 + (-12)/9). Suppose 0*r + 85 = 5*r - 5*p, -121 = -5*r - m*p. Is r a prime number?
False
Let u(l) = -4*l**2 - 2*l - 1. Let i be u(-2). Let z be (-2)/4*(1 + i). Suppose 3*w - z*w + 63 = 0. Is w prime?
False
Suppose 5*d - 7*d = -6. Is d a composite number?
False
Suppose -q = 4, 4*l - 2*l - q - 1086 = 0. Is l prime?
True
Let h = 1995 - 1210. Suppose -2*k + 181 = h. Let u = k + 465. Is u prime?
True
Let n be -2*7/(7/(-10)). Let i = -14 + 3. Let g = n + i. Is g prime?
False
Is (0/(-2))/(-4) + -2 + 1695 prime?
True
Let s(k) be the second derivative of 2/5*k**5 + k + 0*k**4 + 0 - 1/6*k**3 + 2*k**2. Is s(3) composite?
True
Let s(a) = 26*a**2 + 4*a + 1. Is s(-5) composite?
False
Let x = -20 + 337. Is x prime?
True
Suppose 0 = 4*n - u - 15, 0 = -5*n - 3*u - 2*u. Let a(b) = -1 + 2 + n - 9*b. Is a(-5) a prime number?
False
Let i(c) = -157*c**3 + c**2 - 2*c + 1. Let a be i(1). Let r = 248 + a. Is r a composite number?
True
Suppose -8*f + 5*f = -753. Is f a prime number?
True
Let b = 7 + -4. Let d be 0 + 1/(b/12). Suppose d = -3*u + u, 3*u - 113 = -l. Is l a prime number?
False
Let h(k) = -k - 1. Let n be h(3). Let y = n - -6. Suppose y*o = -3*o + 325. Is o a prime number?
False
Suppose o = -o + 132. Suppose -3*i + s + 65 = 0, 2*i + i + 5*s = 89. Let a = o - i. Is a a prime number?
True
Suppose 0 = -20*t - 5511 + 75331. Is t a composite number?
False
Let d = 0 - 3. Let j = -3 + d. Is (-510)/j + 2*-1 a composite number?
False
Let q(o) be the third derivative of o**5/3 + o**4/8 + o**3/2 + o**2. Is q(-2) a prime number?
False
Suppose -4*h = -147 + 47. Suppose 614 + 91 = 5*f + 4*z, -5*z = h. Is f composite?
True
Let m(r) = 2*r**2 - 2*r - 5. Suppose -23 = -4*i - 5*o, 2*i - 3*o - 9 - 8 = 0. Is m(i) a prime number?
True
Suppose -w = 4*u - 8202, 3*w + 5059 = 5*u - 5202. Is u a prime number?
False
Let y be (5 + -5)/(3/(-1)). Suppose 0*l - 5*l = -5, -h - l + 10 = y. Is h a composite number?
True
Suppose 4*y - 5*y + 2*g = -4, -3*y - g - 9 = 0. Let k(b) = b**2 + 1. Let q be k(-1). Is y/(2*(-1)/q) a prime number?
True
Suppose -p + 2 = 5*c - c, 5*p - 4*c = -38. Let h(t) = t**3 + 8*t**2 + 5*t - 7. Is h(p) a composite number?
True
Let o(q) = -2*q. Let u be o(-14). Let b = u - -46. Is b a prime number?
False
Suppose 4*z = 5*z - 243. Suppose 9*l - z = -2*i + 4*l, 124 = i + 3*l. Is i a prime number?
True
Let h(z) be the second derivative of -z**5/10 - z**4/12 - z**3/3 - z**2/2 + 3*z. Let q be h(-1). Suppose q*p + 0*p = 106. Is p prime?
True
Suppose 0 = 4*t - 26 - 58. Suppose 5*a - 10 = 0, 0 = -2*o - a - 3 + 1. Let m = o + t. Is m prime?
True
Let t = 159 + -285. Let y = t - -213. Is y composite?
True
Let z(l) = 10*l**3 + 2*l - 1. Let k be 6*(-2 + 7/3). Is z(k) a composite number?
False
Let r(x) = 3*x**2 + 4*x - 6. Is r(13) prime?
False
Suppose -5*r = u - 10741, 0*r - 4*u + 4282 = 2*r. Is r composite?
True
Let o(j) = 21*j**2 + 2*j - 1. Is o(-2) a prime number?
True
Suppose -5*g - 10 = 0, -4*o = 4*g - 2790 - 5822. Is o a composite number?
True
Suppose 472 = 4*r - 4*v, r - 4*r - 2*v = -334. Suppose 0 = z + 23 - r. Is z a prime number?
False
Suppose 0*i + 3*y - 42 = -4*i, -53 = -5*i - 4*y. Let m(a) = -a + 14. Let r be m(i). Suppose -4*t - 3*s + 621 = 0, -5*t - r*s + 348 = -422. Is t composite?
True
Let p = 191 + -104. Is p a prime number?
False
Let g = -14 + 35. Is g prime?
False
Let o = -900 + 1979. Is o a prime number?
False
Let u(a) = 54*a**2 + 8*a + 1. Is u(5) prime?
False
Suppose -4*q - 3*q = -1393. Is q a composite number?
False
Let d(i) = -56*i + 23. Is d(-9) composite?
True
Let j(m) = 371*m + 2. Let z(l) = l**3 - 5*l**2 - 5*l - 5. Let o be z(6). Is j(o) a composite number?
False
Suppose -3 = -3*u, -d - 166 = -6*d - u. Let h = 20 + d. Is h prime?
True
Let v(l) = -2 + 0*l**3 + 6*l - 5*l - l**3 + 3. Let n(q) = -2*q**3 - 5*q**2 + 8*q + 2. Let s(c) = n(c) - 4*v(c). Is s(4) composite?
True
Suppose 3*