, 1480 = 5*a - 3*n. Is a a composite number?
False
Suppose 1018 = 4*n - 4242. Is n composite?
True
Suppose -u + 4*u = 6. Let d = u + 1. Suppose d*t - 32 = 2*n, 2*n = 2*t + 7*n - 53. Is t composite?
True
Let g(i) = -38*i - 5. Is g(-3) prime?
True
Is (-19056)/(-14) + 14/(-98) a prime number?
True
Let w(z) = 77*z**2 - 2*z - 4. Is w(-3) a prime number?
False
Is 134/2 + (-6 - -8) composite?
True
Let u(z) = -z**3 - 5*z**2 - 5*z - 4. Let f be u(-4). Suppose -7*n + 3*n = -c + 357, -c - 4*n + 317 = f. Is c prime?
True
Suppose 0 = -5*f - 2*s + 451, f - 77 = 2*s + 2*s. Suppose 3*p = f - 26. Is p a prime number?
False
Suppose 0 = -4*m + 3*m + 201. Suppose -60 = 3*b - m. Is b composite?
False
Let x(l) be the third derivative of 23*l**6/60 - l**5/30 - l**4/12 + l**3/6 - l**2. Let j be x(2). Suppose 2*o = -o + j. Is o a prime number?
False
Suppose -19 + 4 = -3*a. Suppose -4*y = -3*m - 80 + 198, -158 = -a*m - 3*y. Is m a prime number?
False
Let a = -3245 + 5290. Is a a prime number?
False
Let a = 7098 + -4204. Is a prime?
False
Suppose -3*i + 25 = -2*q, 4*i - q - 38 = -3*q. Suppose -i = 3*u, 3*p + 13 = 5*u + 67. Is p composite?
False
Is 65/2*(-8)/(-4) composite?
True
Suppose -2*y - 46 = -2*p + 2*y, 5*y = -3*p + 102. Suppose 6 = 2*j - 94. Let l = p + j. Is l composite?
False
Let s be (-7431)/9 - (-6)/9. Is s/(-10) + (-2)/(-4) prime?
True
Let n(x) be the second derivative of -x**5/20 - 2*x**4/3 - x**3/6 - 5*x**2/2 - x. Let y be n(-8). Suppose y*a = -o + 42, 8*a - 3*a = 4*o - 253. Is o composite?
True
Suppose -h = -426 - 709. Is h a prime number?
False
Suppose -75 = -2*f - 3*f. Suppose 5*k = -f, -2*r - 2*k - 12 = r. Is r - ((0 - 2) + -31) composite?
False
Is (7 - 2)/(2/118) a composite number?
True
Suppose 0 = 3*d + 4*o + 4, 3*o - 8 = -5*d. Suppose -4 = -d*m + 52. Is m composite?
True
Let m = -19 + 34. Let a be 6/m - 171/15. Let c(i) = i**2 + 9*i - 16. Is c(a) a composite number?
True
Let t(y) = y**2 - 3*y + 7. Is t(-4) a composite number?
True
Suppose -v = -4*j + 1915, 2*j + v - 954 = 5*v. Is j prime?
True
Let l be (-18)/(-2) - (-2)/(-1). Suppose -3*w = -4*s - 237, -2*w + l*w + s = 395. Is w composite?
False
Let a(b) be the second derivative of 1/2*b**2 + 5/3*b**3 - b + 0. Is a(9) prime?
False
Let w = 124 - 53. Is w a composite number?
False
Suppose -2*z - k - 2 = -0, 3*z - 4*k = 8. Suppose z = -2*n - 3*n + 75. Is n prime?
False
Let h = 14 - -1. Is (79/3)/(5/h) composite?
False
Suppose -4*f - 8 = 0, 3*k - 44 = 3*f - 164. Is 2/(-7) - 10554/k prime?
True
Let z(r) = -r**3 - 8*r**2 - r + 5. Let b(t) = 25*t**2 - t. Let s be b(1). Suppose 2*x + 2*q = -2*q - s, -2*x = -3*q + 10. Is z(x) a composite number?
False
Suppose -x - 17 - 1 = 0. Let m = -7 - x. Is m a prime number?
True
Suppose -3*q = q + 36. Let g be (249/q)/(1/3). Let a = -58 - g. Is a composite?
True
Suppose -5*q + 3*i - 54 = 0, 3*i - 7*i = -q - 21. Let l be 38/(-6)*q/3. Suppose h = t + l, -5*t + 11 - 1 = 0. Is h prime?
False
Let d = 9 + 5. Let a = 111 - d. Is a a composite number?
False
Let k = -66 + 151. Is k + -1*(1 + 1) a prime number?
True
Let u = 146 + -63. Is u prime?
True
Let s = -8 - -11. Suppose s*a - 178 = a. Is a prime?
True
Suppose 1653 = 6*z - 351. Is z composite?
True
Suppose -j - 4*v = -1028, 4*j + 6*v - 4172 = 5*v. Suppose 0 = -2*w + 12 - 32. Is j/45 + 2/w a prime number?
True
Suppose 29 = 3*n + 4*k, n - 6*k + 17 = -2*k. Let b(a) = 16*a**2 - 3*a - 2. Let l be b(n). Suppose 4*m - 139 = -3*y, -3*y = -4*m - 0*y + l. Is m composite?
True
Let m = -54 - -104. Suppose n + 4*d - m = 0, 0*n - 4*d = -3*n + 230. Let z = n - 17. Is z a composite number?
False
Let j(g) = 8*g - 7. Let d(h) = -2*h - 13. Let n = -22 + 13. Let w be d(n). Is j(w) a prime number?
False
Let m(y) = 5*y**3 - 8*y**2 + 3*y - 6. Let n(b) = 2*b**3 - 3*b**2 + b - 2. Let c(i) = -4*m(i) + 11*n(i). Let x be c(4). Suppose s - 3*s + x = 0. Is s prime?
False
Suppose -3*i - o - 1 + 11 = 0, 5*o = 5*i - 10. Suppose i*c = 5*c - 134. Is c a composite number?
False
Suppose 3*m + 2*l = -474, 3*m + 142 + 332 = -4*l. Is 7/(-14) - m/4 a prime number?
False
Let f = 99 - 56. Is f prime?
True
Is (-5)/15*-1*1329 a composite number?
False
Let h = 1866 - 1117. Is h prime?
False
Let u(z) = 19*z**2 + 1. Let c be u(-1). Suppose 104 = 4*d - c. Is d composite?
False
Suppose 156 = 9*l - 8*l. Let y = l - 69. Is y composite?
True
Let t(z) = 12*z**3 - z**2 - z - 1. Let b = 2 - -1. Let d be 6*(1 + (-2)/b). Is t(d) a composite number?
False
Suppose 0*o + o - 252 = d, 5*d = 20. Suppose -4*t + o = 36. Is t composite?
True
Let j(a) = a**3 + 7*a**2 + 6*a - 6. Let h be j(-6). Let w = -1 - h. Suppose g + 5*o = 198, -1120 = -5*g - 4*o + w*o. Is g prime?
True
Suppose 6*f = 3*f + 561. Is f a prime number?
False
Let a = -8 - -11. Suppose 0 = c - a*c - 64. Let p = 26 - c. Is p prime?
False
Let c(d) = -11*d + 7 - 4 - 4 - 8*d. Let h be c(1). Let z = h - -35. Is z prime?
False
Suppose 0*z + z = 6. Is z/(-5)*(-275)/10 composite?
True
Is (-7 - 316)*1/(-1) composite?
True
Let g(t) = 4*t**3 - t**2 + t - 1. Let u be g(1). Let b(z) = -67*z + 2. Let j be b(u). Let y = j + 288. Is y a composite number?
False
Let g(l) = -l**2 - 3*l + 3. Let p(t) = 3*t - 2. Let w(r) = -2*g(r) - 3*p(r). Is w(11) a composite number?
True
Let t(j) = -7*j + 1. Let a(f) = -f + 1. Let i(l) = -6*a(l) + t(l). Let g be i(-5). Suppose g = -2*s - s + 93. Is s a prime number?
True
Let b(n) = -n**3 - 2*n**2 - n - 2. Let m be b(-2). Is 0 + 7*(m + 2) a composite number?
True
Let b(p) = p**2 + p - 4. Let z be (-2)/((-10)/(-3))*5. Let l be b(z). Suppose -s - 6*q = -q + 15, -l*s = -q - 25. Is s composite?
True
Let s(v) = 23*v**2 + 3*v + 0 - v - 3. Let t be s(2). Suppose -3*l = -5*m + 136 + t, -3*m + l = -139. Is m a composite number?
False
Is 1155 + -2 - (0 - -2) a composite number?
False
Suppose 0 = -38*a + 41*a - 1065. Is a a prime number?
False
Let o(v) = 12*v**2 + 6*v - 5. Is o(4) composite?
False
Let o(w) = 36*w + 7. Is o(7) a composite number?
True
Let o = 1168 + -495. Is o a prime number?
True
Suppose -5*j + 1 + 4 = 0. Let q be 4/3*(j - -245). Let y = q + -209. Is y a prime number?
False
Let p(u) = -u**2 + 11*u - 5. Let h be p(9). Suppose -r = -h - 5. Suppose -r = -z - n + 3*n, z - n - 16 = 0. Is z composite?
True
Let n(w) be the third derivative of -w**5/60 - w**4/3 + 2*w**2. Is n(-7) a composite number?
False
Let f = 17 - 19. Is -1 - (f + 2) - -266 a composite number?
True
Suppose 0 = 4*u + 2 - 14. Suppose 0 = u*s - s + 10. Is (-106)/(s/((-10)/(-4))) a composite number?
False
Is (0 - (-12573)/13) + (-18)/117 composite?
False
Let v(a) = 4 - 14*a - 4 + 3. Let u be v(-3). Suppose -5*q + 5 = -u. Is q a prime number?
False
Let o(c) = c + 223. Suppose 2*i = i - 4, k + 16 = -4*i. Let u be o(k). Suppose s - 57 = -2*j + 33, -3*s + u = 5*j. Is j a composite number?
False
Suppose -l + 2 = -2. Is l/(-8) + (-1870)/(-4) a prime number?
True
Suppose 0 = -2*f + x - 63, 0 = -f - 2*f + 4*x - 82. Let k be 48*1 - 0 - 1. Let l = f + k. Is l a composite number?
False
Suppose 2*l - 4 - 2 = 0. Suppose -5*f - l*c - 5 = 0, 0*f - 4*f + 4*c + 28 = 0. Is (-271)/(-3) - f/(-3) a composite number?
True
Let c be (0 - -1)/(-3 + 2). Let i(s) be the second derivative of 11*s**4/4 - s**3/6 - s**2/2 + s. Is i(c) composite?
True
Let w = 7 + -6. Let m(a) = 67*a**3 + a**2 - 2*a + 1. Is m(w) a composite number?
False
Let w(d) be the second derivative of -3/20*d**5 - 1/3*d**4 - 2/3*d**3 + 5/2*d**2 - d + 0. Is w(-4) prime?
True
Let w(q) = 20*q - 7. Suppose -3*n - 5*v - 11 = 0, 2*n + 4*v + 6 = v. Suppose n*y = 5*l + 13, 0 = -y - 4*l + 3*l + 7. Is w(y) a prime number?
True
Suppose -10*d = d - 429. Is d prime?
False
Let b(l) = 25*l + 5 + 2*l + 0 - 1. Is b(3) prime?
False
Suppose -4*n + 4*r - 10 = -n, 0 = -4*n + r + 4. Suppose 6*c = 2*v + n*c - 162, c + 171 = 2*v. Is v a prime number?
False
Let m(v) = 9*v**2 + 2*v - 5. Is m(-6) composite?
False
Let m(c) = -13*c + 9*c**2 - 9 - 5*c**2 + 8*c**2 + 2*c**2 - c**3. Is m(11) a composite number?
False
Let f(g) = -g**3 - 7*g**2 - 7*g - 6. Let v = -17 - -11. Let i be f(v). Is (-3 - 2)*(i + -5) composite?
True
Let j = -53 - -89. Let i = j - 19. Let s = 28 - i. Is s a prime number?
True
Suppose 2*h - h = -z + 93, -h = 2*z - 187. Is z a prime number?
False
Suppose z = 4*z - 1368. Let i = z + -240. Suppose 3*o = 3*b + i, 