 = c + 214. Is s a composite number?
True
Is (-2 - (0 + -3))/((-9)/(-10953)) a composite number?
False
Suppose -9*k = -7*k - 6. Let d(i) = 19*i - 4. Let m(b) = 1. Let t(p) = d(p) + 6*m(p). Is t(k) prime?
True
Let h be (-429)/((-1)/((-2)/3)). Let v = h - -440. Suppose 0 = -2*a + v. Is a a composite number?
True
Let j be -1 - -4 - (7 + -6). Is 0 - (j - (-1 - -74)) prime?
True
Let g = -51 + 92. Let s = g + 14. Is s - 0*(-1)/(-3) a composite number?
True
Suppose -4*u + 43 = c - 9*u, 5*c = 5*u + 215. Is c composite?
False
Let z(d) = d**2 - 7*d - 1. Let m be z(6). Let j be 2/m + (-16)/(-7). Suppose 2*o + 4*f + 2 = 0, o + 3 = -3*f - j. Is o a composite number?
False
Suppose -12 = -i + 2. Is (-113)/(-3) + i/(-21) a prime number?
True
Suppose -6*z = -9*z + 18. Is z prime?
False
Suppose -f - f = 4. Let q be 17*(-1)/((-2)/f). Let u = q - -30. Is u a composite number?
False
Is -5 + 807 + 0 + -3 prime?
False
Let g be 4*1/2 - -2. Suppose 3*m = 8*m + g*t - 8, 4*m + 2*t - 10 = 0. Suppose -m*a = -24 - 36. Is a a composite number?
True
Suppose -7301 = -7*i + 3780. Is i a composite number?
False
Suppose 2*o - 3*d = 31, 0 = -0*o + o - 3*d - 20. Let t = o - -2. Is t a composite number?
False
Let d(u) be the second derivative of -u**4/12 + u**3/2 - 3*u**2/2 - 4*u. Let a be d(3). Is a - 11/(11/(-42)) composite?
True
Let r(z) = 3*z**2 - 22*z + 3. Is r(10) a composite number?
False
Suppose 3*o - 2346 = 1899. Suppose 570 = 5*t - o. Is t prime?
True
Let g be 382/4*(-60)/(-6). Suppose -f + g = 4*f. Is f prime?
True
Let a = 711 - -184. Is a a prime number?
False
Let m = -1581 - -949. Is 2 + (4 - 3 - m) prime?
False
Let v = 56 - 38. Suppose 0 = -5*g + 62 + v. Let q = g - -17. Is q a prime number?
False
Let r = 16 - 11. Suppose -66 = -r*v + 3*v. Is v composite?
True
Suppose -3*w + 5*j + 2 = -30, -2*w - 4*j - 8 = 0. Suppose -96 = -w*h + 56. Is h a composite number?
True
Suppose -85 = -3*h + 200. Is h composite?
True
Suppose -2*n + 34 = 2*y, -y + 3 = -0*y. Is n a composite number?
True
Suppose 3*x - 10146 = -3*k, 0*x = -5*x + 2*k + 16931. Is x composite?
True
Suppose p - 1057 = 4*j, p - j = 85 + 960. Is p composite?
True
Suppose s - 39 = -2*s. Is s composite?
False
Suppose 0 = 2*u + 3*u - 210. Suppose 0 = 2*c - 5*f - 406, c - 3*f - 161 = u. Is c a prime number?
False
Let y(i) = 584*i - 13. Is y(3) composite?
True
Suppose 3*f = 6*f - 30021. Is f a composite number?
False
Suppose 2*w + 19 = 63. Let r = w + -9. Is r a prime number?
True
Let d(p) = p**3 + p**2 + p + 1. Let b(v) = -5*v**3 + v**2 - 8*v - 7. Let q(f) = -b(f) - 4*d(f). Let g be q(4). Is ((-7)/(-3) + 2)*g composite?
False
Let o be (-52)/(-12) - (-6)/9. Suppose 4*c - o = 11, 4*c - 281 = -5*a. Is a a composite number?
False
Let t = 212 + -71. Is t prime?
False
Suppose h = -2*l + 892, -4*h + 8 = -0*h. Suppose a = 6*a - l. Is a composite?
False
Let b = 224 - 145. Is b composite?
False
Let y = -5 + 13. Is 4/y + (-21)/(-2) prime?
True
Let c = 31 - 19. Let m be c/(-42) - (-4)/14. Is (m + 2)/(12/942) a composite number?
False
Let z = 13 - 7. Let g = z - 13. Is 6/21 - 180/g a composite number?
True
Suppose n = 206 + 377. Let r(p) = 2*p - 7. Let y be r(6). Suppose 188 - n = -y*m. Is m composite?
False
Let g = 10 + -8. Suppose r - g = b, 0 = -3*r - 5*b + 5 + 1. Suppose 9 = -r*o + n + 84, 3*o - 130 = 5*n. Is o a composite number?
True
Suppose -3*q + 2*q + 2 = -u, 5*u + 2*q = -10. Let w = 17 + -17. Is (w + u)*(-3)/2 a prime number?
True
Suppose -k - 3*d - 4 - 85 = 0, 5*k - 3*d + 463 = 0. Let j = 175 + k. Is j a composite number?
False
Suppose 5*o = -3*a + 3816, 4*a - 5*o + 0*o = 5123. Is a composite?
False
Let y = -127 + 259. Let b = y + 35. Is b a prime number?
True
Let r(l) = 136*l - 19. Is r(8) prime?
True
Let h(f) = 91*f - 4. Is h(3) a prime number?
True
Let g(t) = -t + 4. Let z be g(2). Suppose 8 = -3*q - 4*s, q - 7*s = -z*s + 10. Suppose q*o - 28 = -4*o. Is o a prime number?
True
Suppose -3*g = -629 - 994. Is g a composite number?
False
Let r = -264 + 720. Let c = -255 + r. Is c prime?
False
Suppose -v - 2 = -m, 0*m + 18 = -v + 5*m. Is 2 - (-3)/6*v composite?
False
Let t be (-6)/(-27) - (-44)/(-36). Is 91*t/(-3)*3 prime?
False
Let x(g) be the third derivative of -g**6/120 + g**5/15 + g**4/3 - g**2. Let j be x(6). Let f = 43 + j. Is f prime?
True
Suppose -2*p = -4 - 10. Let o be 12/21*p/2. Suppose -o*c + 0*c + 4 = 0. Is c a composite number?
False
Let y = 12 + -7. Suppose -5*z = -2*u - 25, 2*u = -10*z + y*z + 45. Is z a prime number?
True
Let u(s) = s**3 + 6*s**2 - 4*s - 12. Let b be u(-8). Let i = b + 167. Is i composite?
False
Let t be (4/6)/((-2)/(-6)). Suppose t*g = 47 + 29. Is g prime?
False
Suppose 4*n = 3*r + 310, -r + 374 = 5*n + 2*r. Is (n/10)/((-10)/(-25)) composite?
False
Suppose -3*q = -g + 41, 13 = -3*g + q + 168. Let p = 168 - g. Is p a prime number?
False
Let n(a) = 110*a - 1. Let d be n(-1). Let i = 166 + d. Is i a composite number?
True
Let v(t) = -6*t**2 - 4*t + 2. Let z be v(9). Let l = 76 - z. Suppose -7*y + 3*y = -l. Is y composite?
False
Let s = 18 - 10. Let q = 0 + 6. Let p = s + q. Is p a composite number?
True
Let q = -2 - -8. Let y(u) = 2*u**3 - 5*u**2 + 3*u + 8. Is y(q) a composite number?
True
Suppose -z - 5 = -4*r, -4*z - 20 = -4*r + r. Suppose 4*v + r*v + 208 = 0. Is (21/(-6))/(2/v) a composite number?
True
Let h(z) = z**2 + z + 2. Let k be h(-2). Suppose -k*j = -2 - 6. Suppose -110 + 292 = j*x. Is x composite?
True
Suppose -5*j = -2*p - 4773, 2*j - 3*p = -0*p + 1918. Is j prime?
True
Let a be -48 - (0 - -1)*2. Let l = -28 - a. Is l a prime number?
False
Suppose 4*s = 6*s - 140. Suppose 40 = 5*r - s. Is r a prime number?
False
Suppose 3*k + 255 = -0*k. Let t = 6 - k. Is t composite?
True
Let m(k) = k**3 + 19*k**2 + 16*k - 24. Let u be m(-18). Let d(r) = -r**2 + 18*r - 14. Is d(u) composite?
True
Let t(p) = -p**2 + 10*p + 4. Is t(9) prime?
True
Suppose 5*i - 7 - 13 = 0. Let c be i + -1 - (3 - 1). Let k(n) = 7*n**2 - n + 1. Is k(c) prime?
True
Let h(d) = 7 + 47*d - 3*d - 2*d. Let y = -1 - -6. Is h(y) a composite number?
True
Let y = -326 - -190. Let h = 123 - y. Is h prime?
False
Let l(y) = 3*y**2 - 10*y + 7. Let r be l(10). Suppose -4*g + 301 = -r. Is g a composite number?
False
Suppose x + 57 = 4*x. Let c = x - 10. Is (3/c)/((-3)/(-126)) prime?
False
Let k(a) = -a**3 + 9*a**2 - 6*a - 1. Let n be 0/(2 - 0 - 3). Suppose 4*z - z - 21 = n. Is k(z) prime?
False
Let r(o) = -o**2 + 6*o - 1. Let i be r(4). Let x be 2/i - 99/(-21). Is 1/5 - (-34)/x prime?
True
Let a(c) be the third derivative of c**5/60 - c**4/6 + 5*c**3/6 - 2*c**2. Let s be a(4). Let y(z) = z + 5. Is y(s) a prime number?
False
Let y(b) = -b + 8. Let l be y(7). Let s(g) = -g. Let z(d) = 7*d + 115. Let r(v) = l*z(v) + 6*s(v). Is r(0) a composite number?
True
Suppose 0 = 8*n - 3*n - 1865. Is n composite?
False
Let l(s) = -s + 7. Let w be l(8). Let q be -3*(w/(-1) + -2). Suppose -7*y + q*y - p + 308 = 0, 0 = y - p - 77. Is y prime?
False
Suppose -3*m + 6905 = -2353. Is m a composite number?
True
Let j = -11 - -14. Suppose -5*n = j*x - 278, 2*x + 50 = n - 3*x. Is n composite?
True
Suppose -i + 15 - 1 = 0. Is i a prime number?
False
Let b(t) = 1 + 5*t - 4*t + 7*t. Let i(n) = n**3 - 7*n**2 + 8*n - 8. Let f be i(6). Is b(f) composite?
True
Suppose 5*o = 137 + 23. Let t(m) = 22*m - 27*m - 16*m - o*m. Is t(-1) prime?
True
Suppose g - 4*j = -15 + 3, -g + 3*j = 11. Is (-598)/(-18) - g/(-36) composite?
True
Let y be (-1206)/4 - 12/24. Let d = y - -789. Is d composite?
False
Suppose 4*a + 0 = -2*r - 6, -3*r - 2*a = -3. Let n(l) = -6 - r*l - l - 1. Is n(-10) prime?
False
Let x(u) = -u**2 - 3*u - 1. Let s be x(-2). Is 2230/20*s*2 a prime number?
True
Suppose 0 = -3*y - 4*d - 14 - 54, 3*d + 15 = 0. Let c be -4*(-6)/y*-2. Is ((-8)/12)/((-1)/c) composite?
False
Let q(p) = p + 6. Let r be q(-5). Let g be 190/6 - r/(-3). Suppose -3*t + 96 = t - 4*d, t = -3*d + g. Is t prime?
False
Let k(i) = i**3 + i**2 - 3*i - 2. Suppose 5*y - 6 = 9. Let l be k(y). Is 1*l + -4 + 2 a composite number?
False
Let w(h) = -h**2 - h - 6. Let r be w(0). Let q be 32/6*r/(-4). Is 2/q - 295/(-20) a composite number?
True
Suppose 4 = 2*f - 0*f. Suppose -2*l + f = -2. Suppose -a + l*s + 26 = -27, 3*a + 2*s = 159. Is a a composite number?
False
Suppose 2*s + 2*g = -0*s + 6, 5*g + 3