False
Let s(u) = 24*u + 5. Let m be s(-4). Let n = -38 - m. Is n prime?
True
Suppose -3 + 1 = -2*k, -3*k - 1182 = -5*m. Is m composite?
True
Let t = 128 + -264. Let x = -78 - t. Is x composite?
True
Let q = -75 - -169. Suppose q = 3*s - 83. Is s a composite number?
False
Suppose -x = x. Suppose -1304 = -x*r - 4*r. Is r a prime number?
False
Suppose -5*i - 13 = -4*z, -3 = z + i + 4*i. Suppose s = 3*k - 181, z*k - 3*k - s = -55. Is k a composite number?
False
Suppose -4*n = -3*y - 593, 5*n = -0*y + y + 744. Is n composite?
False
Let f = 1205 - 501. Let j = 454 + f. Is 4/14 + j/14 prime?
True
Suppose -4*b + 1022 = -2*b. Is b prime?
False
Let m be -2*(-1 + 3)/(-1). Suppose 1950 = 5*r - d, 0 = r - m*d - 205 - 204. Is r a composite number?
False
Is (-9 - -8)/((-1)/751) prime?
True
Let b(h) = 0*h**2 + h + 3*h**2 - 4*h - h + 4. Let t be 46/10 - (-4)/10. Is b(t) a composite number?
False
Is (262/6)/((-5)/(-15)) composite?
False
Suppose -3*p = 5*w - 659, -2*w - 515 = -4*p + 381. Is p prime?
True
Suppose -2*f - 10 = -3*o, 3*o = f - 2*f - 5. Let v = o - 78. Is (2 - v) + 0 + -3 a composite number?
True
Let g(o) = 2*o**3 - 9*o**2 - o + 9. Let b(k) = k**3 + 17*k**2 - 18*k + 6. Let v be b(-18). Is g(v) a prime number?
False
Let d = 711 + -506. Is d prime?
False
Suppose -5*d + 24 = -d. Suppose 0 = f - 2*h - 93, 4*f - d*f + 184 = -5*h. Is f prime?
True
Let l = 403 - 242. Is l composite?
True
Suppose -5*p = -5*w + 455, 2*w + 3*p - 181 = 4*p. Suppose -319 = -g - w. Suppose -111 = -4*b + g. Is b composite?
True
Suppose 3*s - 5 = 1. Let i be (-1)/(1*2/(-10)). Suppose i*c - 53 - s = 0. Is c composite?
False
Let t(f) = -2*f + 2. Let w be t(6). Suppose -3*b = 2 - 20. Is (w*(-15)/b)/1 composite?
True
Suppose 5*n = 2*a - 1046 - 865, -5*n - 3817 = -4*a. Is a composite?
False
Let r = -422 - -1105. Is r prime?
True
Let s = 57 - -67. Suppose 4*h - 6*i + i + 530 = 0, 0 = h + 3*i + s. Let f = 61 - h. Is f a prime number?
True
Let j = -19 + 5. Let t = j - -35. Is t a composite number?
True
Suppose 0 = -4*g - 5*o - 33, -2*g = g + 2*o + 23. Let b = g + 5. Let i(z) = 29*z**2 + 3*z + 3. Is i(b) composite?
False
Suppose 64 = 5*a - 26. Let z = a + -42. Let c = 29 - z. Is c composite?
False
Suppose 5*n + 18 = -12. Is (381/n)/((-1)/2) prime?
True
Let c(g) = -g**2 - 3*g + 3. Let y be c(-3). Suppose -4*f - 3 = -y*f. Is -31*(3/1)/f a composite number?
False
Let r be (-4)/(-10) + 52/20. Suppose -5*f + 61 = -r*b + 5*b, 0 = 4*f - 4. Suppose b = -2*t + 4*t. Is t prime?
False
Let u(w) be the second derivative of 31*w**4/4 + w**3/6 + w. Is u(1) a prime number?
False
Suppose -4*y + 148 = -1080. Is y composite?
False
Let a(y) = 2*y + 2*y**3 - 2 - 2 - 7*y**2 + 2. Is a(5) a composite number?
False
Let b(i) be the third derivative of i**6/120 - 17*i**5/60 + 11*i**4/12 - 19*i**3/6 + 4*i**2. Is b(16) composite?
True
Let j(f) = 70*f + 1. Suppose -3*w + 1 = -4*w + 3*v, -5*v = -w - 3. Is j(w) a prime number?
False
Suppose -2*y + 1817 = -l + 456, -708 = -y - 5*l. Is y a prime number?
True
Let n(y) = 6*y**2 + 5*y - 10. Is n(-8) a prime number?
False
Let w(t) = -10*t + 4 - 3*t - 3. Is w(-6) prime?
True
Let w(g) = -1149*g**3 - g**2 + 1. Let j be w(-1). Suppose 0 = 3*r - 4*h - j, 6 = -6*h + 4*h. Is r prime?
True
Let j be ((-42)/4)/((-1)/(-18)). Let n = 322 + j. Is n a prime number?
False
Let z(t) = -t**3 - 6*t**2 + 6*t - 3. Let x be z(-7). Suppose -c - 5 = 2*c + h, -4*c - x*h = 4. Is 1334/6 + c/(-3) a composite number?
False
Suppose a + 17 = 158. Is a a composite number?
True
Let w(b) = -4*b - 13. Is w(-18) prime?
True
Suppose 5*i + 55 = 210. Is i prime?
True
Let t(c) = 4*c - 1. Let o be t(1). Suppose -o*q + 30 = 2*q. Is q a prime number?
False
Suppose 0 = -2*i + 3*m + 19, i - 5*m = -3*m + 12. Suppose i*z = 7*z - 155. Is z prime?
True
Is 121/(-2)*(-4)/((-2)/(-1)) a composite number?
True
Is 14*(1 - 324/(-8)) prime?
False
Suppose 3*w - 4*j = -2, -4*w + 8*j = 3*j + 3. Let z(q) be the second derivative of -5*q**3/6 - 3*q**2/2 + q. Is z(w) a composite number?
False
Let t = 4 + -2. Let n be 7/t + (-2)/(-4). Is ((-5)/n)/(3/(-132)) a composite number?
True
Suppose -5*p + 385 = r, 4*r + 2*p - 796 = 672. Suppose -h + 330 = 5*t - 4*h, 4*h - r = -5*t. Is t a composite number?
True
Let i(o) = -14*o + 21. Let k(p) = p - 1. Let j(g) = -i(g) - 21*k(g). Let m = 12 - 19. Is j(m) a composite number?
True
Suppose 79 = 2*j - j. Is j composite?
False
Suppose -4*w + 10 + 10 = 0. Let y(u) = 2 - 4*u**2 - w*u - 4 - 5 + u**3. Is y(6) prime?
False
Let x(u) = 5*u + 11*u - 6*u + 2 - 5. Is x(6) prime?
False
Suppose 5*o + 10 = 0, 0*f + 2*o - 203 = -3*f. Is f prime?
False
Let f = 6 + -2. Let h = 29 - f. Let l = 74 - h. Is l a composite number?
True
Let g(a) = -2*a**3 - 5*a - 1 + 2*a**2 - 9*a**2 + a**3. Let x be g(-6). Let l = 0 - x. Is l a prime number?
True
Let n(g) = 80*g**2 - 2*g + 1. Let q be n(1). Let p be 211/(-7) + 2/14. Let d = q + p. Is d a composite number?
True
Let s = 575 + -76. Is s a composite number?
False
Suppose 0 + 15 = 3*x. Let a(w) = -w**2 + 6*w - 1. Let g be a(x). Is g/(-10) + 1094/10 a prime number?
True
Suppose -m - 6*o = -2*o - 2, 0 = -3*o - 3. Let f(p) = p - 6. Let z be f(m). Suppose 4*y - 32 - 20 = z. Is y a prime number?
True
Is (0/2 - 1)/(27/(-190377)) composite?
True
Let h = -66 - -18. Let j = h + 115. Is j prime?
True
Let a be (0 + (-10)/(-8))*12. Let i = a + 37. Suppose -3*t - 2*t = p - 26, -2*t = 2*p - i. Is p a composite number?
True
Let m(i) be the third derivative of -i**4/12 + 13*i**3/6 + 2*i**2. Is m(-9) a composite number?
False
Let r(u) = 50*u**2 - 9*u - 2. Let k = 10 + -6. Let c(w) = -17*w**2 + 3*w + 1. Let z(m) = k*r(m) + 11*c(m). Is z(2) a prime number?
False
Is -5 + 640 + -1 + -1 prime?
False
Let r(h) = 5*h**2 - 2 + 3*h - 3*h**3 + 2*h**3 + 0*h. Is r(5) composite?
False
Let m be (-1)/(1 + 52/(-54)). Is (-1248)/m - (-6)/(-27) a composite number?
True
Let s(n) = 84*n + 4. Let v(t) be the third derivative of -167*t**4/24 - 7*t**3/6 - 3*t**2. Let i(z) = 5*s(z) + 3*v(z). Is i(-2) composite?
True
Suppose -2*a = -r + a - 3, 2*a = 2*r - 2. Suppose -4*d + 1757 = r*y, 2*d - 1326 = -d - 5*y. Is d a composite number?
True
Suppose l - 5 = -2, 0 = -5*m - l - 112. Let g be (-10)/(48/m - -2). Let i = g - 82. Is i a composite number?
True
Suppose -2*s - 543 = -4*s - w, -2*s + 5*w + 573 = 0. Is s a prime number?
False
Suppose 0*j = 2*j - 134. Is j prime?
True
Suppose 2*a - 11 = -5. Suppose a*b - 349 = 4*t, 5*b + 5*t - 2*t - 601 = 0. Is b prime?
False
Suppose o = 4 - 6. Let d(i) = 40*i**2 + i - 3. Is d(o) composite?
True
Let g = 92 + -272. Let k = g - -335. Is k a composite number?
True
Suppose 4*d + 20 = -4*l - 44, -87 = 5*l - 2*d. Suppose 0 = 6*j - 2*j - 120. Let i = j + l. Is i prime?
True
Suppose 2*n - 2534 = -13*s + 18*s, 0 = 5*n + 5*s - 6405. Is n composite?
False
Let d = 4 + -2. Suppose 1172 = 4*u + d*r + 2*r, 0 = -u + 2*r + 293. Is u composite?
False
Let h = -17 + 29. Let x be h*(-2 + 7/3). Suppose 0 = -9*o + x*o + 175. Is o a composite number?
True
Let a(u) = -68*u - 1. Let b be 9/((-2)/32*-6). Suppose d - 6 + 3 = 2*t, 3*t + 5*d = -b. Is a(t) prime?
False
Is (3 + 15/(-3))*1778/(-4) a prime number?
False
Let v = 5 - 6. Is 48 - (3 + -3 + v) composite?
True
Let n = -7 + 11. Suppose -n*s + 2*s + 154 = 0. Is s composite?
True
Let c(a) = -1 - 3*a**3 + 3*a**2 - 3*a**2 - 2*a**2 + 6*a**2 + 5*a. Is c(-4) a composite number?
True
Let c be 2 + 0 + -1 + 21. Let m = 53 - c. Is m a prime number?
True
Let n = -36 + 67. Is n a composite number?
False
Let q = -18 - -21. Suppose -4*i - 3*k + 28 = -326, 271 = q*i + 5*k. Is i composite?
True
Suppose 4*n - n - 4*h - 381 = 0, 254 = 2*n - 3*h. Is n composite?
False
Let m = -21 + 11. Let u = m - -16. Suppose 0 = -2*k + u*k - 136. Is k composite?
True
Let g(c) = 2*c**2 - 6*c - 1. Let o be g(6). Suppose o = -5*q + 5*y, -4*q + y - 17 - 14 = 0. Let b(r) = -9*r + 7. Is b(q) prime?
True
Let d(b) = -b**2 + 8*b + 6. Let v be d(8). Suppose q + 1270 = v*q. Is q a composite number?
True
Let n(p) = -11*p + 1 + p**2 + 1 + 12*p. Let h be n(0). Suppose -2*s - 3*s + 439 = -3*i, -5*s - h*i + 424 = 0. Is s a composite number?
True
Let r be (-2)/(-3) - 128/(-6). Suppose w = -w + r. Is w prime?
True
Suppose -m + 318 = -4*b, m + 322 = -2*b - 2*b. Let v = -45 - b. Is v a prime number?
False
Let s = 