t z be -5*((-4)/(-5))/(-2). Suppose 13 + z = 5*s. Is s/(-2) - 1351/(-14) composite?
True
Is -1 + 60*(-42)/(-4) composite?
True
Is (-1)/(1060/(-1055) - -1) prime?
True
Let i(a) = 3*a**2 - 6*a + 1. Let u be i(4). Suppose -73 = -2*d + u. Is d a prime number?
False
Let i(w) = -9*w**2 + 7 + 2*w**3 - 9*w + 0*w - w**3 + 5. Is i(10) a composite number?
True
Suppose -x + 5*q = -1217, -9*x = -5*x + 3*q - 4822. Is x a prime number?
False
Suppose 0 = -3*p - 2*d + 447, -3*d - d = -5*p + 745. Is p composite?
False
Suppose 274 = -3*v + 2215. Is v a composite number?
False
Let r(d) = d**2 + 7*d - 4. Let t be r(-6). Let w be (5/t)/((-1)/4). Is 4 - 1 - (-1 - w) a composite number?
True
Suppose -168 = -4*a + 2*a + 2*j, -2*a + 186 = 4*j. Is a composite?
True
Let u(q) be the first derivative of q**4 + q**3/3 + q**2/2 - q + 2. Let l be u(1). Suppose 18 - 88 = -l*w. Is w a composite number?
True
Suppose -2*p + 161 = -145. Let w = p - 98. Is w a prime number?
False
Let v(m) = 3*m - 1. Let g be v(1). Let s(z) = 1 + 4*z**g + z - 4*z**2 + z**2. Is s(-6) composite?
False
Let z(g) = g**3 - 4*g**2 - 9*g + 1. Let j be z(6). Is j/2*10/5 prime?
True
Suppose 8*v - 39 = 5*v. Suppose -366 = v*g - 16*g. Is g prime?
False
Let z(l) = -3*l**3 + 3*l**2 - 7*l - 9. Is z(-4) a composite number?
True
Let k = 195 - 113. Let x = k - 49. Is x a composite number?
True
Let l(r) = r**2 - 5*r - 1. Let o be l(6). Suppose 4*x = 3*m + 827, 913 = o*x + 4*m - 82. Is x composite?
True
Let y be 64*1 - 6/(-3). Suppose -29 = -5*k + y. Is (-1)/(2 - 39/k) composite?
False
Suppose c - 3*d = -3*c, -5*d + 32 = 4*c. Suppose 0 = c*o - 0*o - 111. Suppose 2*t - 6*t = -5*j - 48, -3*t + o = -4*j. Is t a composite number?
False
Let p(h) = h**2 + 29*h - 13. Is p(17) a composite number?
False
Suppose 0 = w - 0*w - 62. Is w a composite number?
True
Is (-864)/(-10) + (-10)/25 composite?
True
Let h(x) be the first derivative of 7*x**3 + 2*x + 4. Is h(-3) a prime number?
True
Let o(l) = -21*l - 6. Let a be o(-5). Let i = -32 + a. Is i composite?
False
Suppose f = -5*z + 1716, 4*f - 4*z + 9*z - 6849 = 0. Is f composite?
True
Suppose -4*d = 8, -4*d - 28 = -0*p - 2*p. Let t be 2/(2/(-4) - -1). Suppose -p + 54 = t*g. Is g composite?
False
Let a = -11 - -8. Let l be (1/a)/(1/(-15)). Let y = l - -5. Is y composite?
True
Let a = -246 - -448. Is a prime?
False
Let h(f) = 2*f**2 - 2*f - 1. Let j be h(2). Suppose j*w - 1015 = -4*w. Is w composite?
True
Let n(j) = 6*j + 4. Let d be n(-5). Let x = 5 - d. Is x a prime number?
True
Suppose 2*w + 72 = 5*w. Let k = -2 + 7. Suppose 2*z - k*z = -4*p + 27, -3*p + w = -z. Is p a prime number?
False
Suppose -2*s + 5*f + 4393 = s, 0 = 4*f - 16. Is s a composite number?
False
Suppose 2*j = b - 2*j + 1, 0 = -4*j + 8. Suppose 0 = 4*y - 3*y - b. Is y composite?
False
Suppose 0 = -z - 3*w + 1811, 7*w + 8 = 3*w. Is z a prime number?
False
Let c(r) = -1 + r - 2*r**3 + r**2 + 2 - 2*r**3. Let i be c(-1). Is (-5)/(-10) + i/2 a prime number?
True
Let x be 0 + -3 + -6 + 3. Is (x/(-2) + -2)*11 composite?
False
Let x = -1 + 1. Suppose x = -y + 3*y - 170. Is y prime?
False
Suppose 0 = -2*g + 276 + 3290. Is g a prime number?
True
Let y = -20 + 22. Suppose 4*j = y*q - 1034, -5*j = -0*q + 2*q - 1007. Is q composite?
True
Suppose -3*s - 2145 = -a + s, -2*a + 4302 = -5*s. Is a prime?
True
Let a = -2 - 12. Let d = 0 - a. Is (-4)/14 + 3518/d a composite number?
False
Suppose -4*k + 23 + 5 = 4*q, 2*q - 20 = -5*k. Let h(r) = -r + 3*r**k - 3*r**2 + 4*r**2 + 5 + 3*r. Is h(5) composite?
True
Let g(i) = -33*i - 7. Is g(-6) a prime number?
True
Let n(u) = 4*u**3 + 3*u**2 - 1 - 3*u + 2*u - 3*u**3. Let h be n(-3). Is (h + -3 - -3) + 47 a composite number?
True
Suppose 150 = 6*t - t. Let p = 24 - 20. Suppose p*v - t = -2. Is v composite?
False
Let l(r) = r**3 + r**2. Let y be l(1). Suppose y = 4*s + 18. Is (2/s)/((-2)/84) composite?
True
Is 30/4*1*2 a prime number?
False
Let j(u) = -u - 33. Let g be j(0). Let z be -1 + 2 + (3 - 3). Is 0 + 2/z - g a prime number?
False
Suppose 6*c - 279 = -3*c. Is c composite?
False
Let f be 135*(12/3 + -3). Suppose -3*v - v + 175 = 5*s, 5*s = 4*v + f. Is s composite?
False
Let g = -3 + 6. Suppose 4*c = -2*y + 14, 8*c - g*c = -2*y + 19. Suppose -z + 47 = -4*x - 46, -373 = -c*z - 3*x. Is z a prime number?
False
Let k = 0 + 1. Let m(x) = x**3 - 2*x**2 - x - 1. Let w be m(3). Suppose -w*h + k = -184. Is h prime?
True
Let t(g) = g**3 + 9*g**2 - 4*g - 1. Let d be t(-9). Let o = -20 + d. Is o prime?
False
Suppose 5*w + 5497 = 2*k, -5*w = -3*k + 2956 + 5302. Is k prime?
False
Suppose 0 = -4*d - 2*u - 38 - 642, -4*d - 682 = 3*u. Let v = -84 - d. Is v a prime number?
False
Let x = 208 - 82. Suppose -l - l + x = 0. Let q = 112 - l. Is q a composite number?
True
Let t(n) = 24*n**2 - 5*n - 12. Is t(5) a prime number?
True
Let n(g) = -g**3 - g + 397. Is n(0) a prime number?
True
Suppose -4*u - 158 = -3*v + 449, -u - 604 = -3*v. Is v prime?
False
Let g be (-4)/(-30) + 13526/30. Suppose 3*i = 14 + g. Is i prime?
False
Let t = 444 + 55. Is t a prime number?
True
Is -4348*(1/(16/60) + -4) prime?
True
Let o = -7 + 9. Let f = 3 - o. Let t(n) = 76*n + 1. Is t(f) a composite number?
True
Let d be 6296/6*(-9)/(-6). Is (-2)/5 - d/(-10) a composite number?
False
Is 345/6 + 3/6 composite?
True
Suppose -6*y = -4*y - 212. Is y composite?
True
Let v(f) be the third derivative of f**5/60 + 5*f**4/24 + f**3 + f**2. Let w be v(-5). Is w/(-9)*(-1542)/4 a prime number?
True
Suppose 5*q = -4*y + 188, 3*y + q = 2*y + 47. Suppose -5*j + y = m - 335, 3*m = 5*j + 1106. Suppose -4*i + 2*a + m = 0, 447 = 5*i - 4*a - 12. Is i composite?
True
Let f be 40/6 + 2/6. Let t = f - 8. Let b(h) = -54*h**3 + 2*h + 1. Is b(t) a composite number?
False
Let r = 145 - -324. Is r a composite number?
True
Let g(m) = m**3 + 5*m**2 + 2*m - 5. Let q be g(-4). Suppose q*c - 7 = 2*u + 2, 0 = -2*u + 2*c - 4. Suppose 2*h - 44 = 3*x, u*x + 103 - 9 = 4*h. Is h prime?
False
Suppose -5*w = -8 - 12. Suppose 2*l - 7 = 2*h - 43, -w*l + 45 = 5*h. Is h - (0 - -1) - -2 prime?
False
Suppose -5*w + 5*t + 4753 = 9*t, -4*t + 941 = w. Is w a composite number?
False
Let p(x) = 113*x**2 + 4*x + 1. Is p(-6) a prime number?
False
Let r be (-40)/(-15) + 2/(-3). Let u be 3/((-370)/188 + r). Suppose u - 330 = -4*l. Is l a composite number?
False
Is ((-4)/5)/((-12)/30) - -444 a composite number?
True
Suppose -o = -g + 10, 0 = -2*g - 2*o + o + 5. Suppose -g*b + 1475 = -0*b. Is b a prime number?
False
Let h(u) = -u**2 + 1. Let y(g) = -g**3 - 11*g**2 - 6*g + 4. Let x(a) = -5*h(a) + y(a). Is x(-6) composite?
True
Is 3800/24 - 1/3 composite?
True
Let q be (-6)/(-21) - (-789)/7. Suppose 0 = -v - 2*c + q, -4*c - 234 = -3*v + v. Is v a composite number?
True
Suppose -3*b + 5*b + 78 = 0. Let k = 88 + b. Is 3*(-4)/(-6) + k a composite number?
True
Suppose 6*g - 6 = 3*g. Suppose 4*m = 5*k - 3*k + 632, 0 = k + g. Is m prime?
True
Suppose 0*d + 2*d - 290 = 0. Is d prime?
False
Suppose -5*t + 9 = -4*t. Is -123*3/t*-3 a prime number?
False
Let t be 2*(-1 + (-38)/(-4)). Suppose t*s - 21*s + 476 = 0. Is s prime?
False
Suppose 8*r = 6*r + 2078. Is r a prime number?
True
Let b = -5 - -422. Is b prime?
False
Let z be -2 - (0 - 0) - -2. Let a(v) = v + 20. Let w be a(z). Suppose s = 11 + w. Is s a prime number?
True
Suppose 4*u - 863 = 2969. Let k = u + -401. Is k a composite number?
False
Suppose 0 = 2*d + 3*d + 45. Suppose -5*m + 126 = -4*a - 105, 90 = 2*m - 4*a. Let n = m + d. Is n prime?
False
Let d(h) = 4*h**3 - 4*h**2 - 4*h + 3. Suppose -y + 4 = -2*m - 2*m, -2*y + 2*m = -8. Is d(y) prime?
True
Is (-6197 - 0)/(-6 + 5) composite?
False
Let s(h) = 120*h**2 + h. Is s(1) prime?
False
Suppose -4*z - 48 = 168. Let a(y) = -20*y**2 + y. Let b be a(1). Let q = b - z. Is q a composite number?
True
Let j = -50 + 215. Suppose -a = 4*a - j. Is a composite?
True
Let v be 12 + -5 - (1 - -1). Suppose v*q - 2*s - 284 = 0, -2*q = 5*s - 138 + 7. Is q a prime number?
False
Let a(s) = -2*s + 3*s**2 - 2*s**2 + 4*s**2 - s**2 + 3. Is a(-6) a prime number?
False
Let h(m) = -24*m + 6. Let l be h(8). Is 2/(-1) - (-1 + l) prime?
False
Let r be 0 - (26/2 - -1). Let n be 402/(-14) - (-4)/r. Let y = 108 + n. Is y a composite number?
False
Let d = 943 - -386. Suppose 0 = z - 4*z + d. Is z a prime number?
True
Suppose -3