). Suppose -m + 141 = -o*w, -4*m - 475 = -7*m + 2*w. Is m a prime number?
False
Let d(c) = -c**2 + 6*c - 7. Let k be d(3). Let p(h) = -1 + 4*h + k*h**2 + 5 + 5. Is p(11) a composite number?
True
Let k(n) be the third derivative of -n**6/120 - n**5/20 + n**4/24 + n**3/6 - 2*n**2. Let j be k(-2). Let q(y) = y**2 + y - 6. Is q(j) a composite number?
True
Let m be (21/14)/((-6)/152). Let g = m + 61. Is g prime?
True
Let l be -1 - 2/1*2. Let n(f) = -2*f**3 - 5*f**2 + 3*f + 1. Let p be n(l). Suppose 0 = -2*j + x + p, -202 = -3*j - j - 2*x. Is j a composite number?
False
Let s = 1067 - 318. Is s a composite number?
True
Suppose 91 + 183 = 2*s. Suppose -4*l + l = 3*c - 270, -164 = -2*l + 2*c. Suppose -d = -l - s. Is d a prime number?
True
Let b be (-1 - 0/2) + 1. Let y(j) = j**2 + 3. Let f be y(b). Suppose -z + 2*k + 30 = 0, -k = 1 - f. Is z a prime number?
False
Let z be 1/(-2)*(-12)/3. Let i be z*(9/(-2) + 3). Is i*34/(-3) - -1 a prime number?
False
Suppose -5*u = 5*v + 50, -5*u + 3*v - 23 - 51 = 0. Let i(g) = g**3 + 15*g**2 + 14*g - 7. Is i(u) a prime number?
True
Let d(r) be the first derivative of r**2 + 1. Let y be d(1). Is ((-21)/y)/((-4)/8) composite?
True
Let j = -7 + 5. Let u be (1/j)/(1/(-72)). Suppose -b = 3*f - u, 4*f - 97 = -3*b + 6*f. Is b prime?
False
Let w(a) = -6*a - 1. Let b be w(1). Let g(v) = -8*v + 8*v**2 - 3 - 2*v + 1 - 9*v**2. Is g(b) prime?
True
Let w(n) be the third derivative of -17*n**6/120 + n**5/20 + n**4/8 + n**3/2 + 4*n**2. Is w(-2) a composite number?
True
Let v be (10/4)/(2/4). Suppose 3*o - 4*t = 361, -v*t - 160 = -o - 47. Is o composite?
True
Let h(k) = 16*k**2 + k - 3. Suppose -3*r + 2 = 5*f + 5, -2*r - 3*f = 1. Let g be h(r). Let w = g - 66. Is w prime?
True
Suppose 4*n - 8 = -2*w, -w = w - 2*n - 2. Let x be (74/8)/(2/8). Suppose -29 = -3*r + w*b, -3*r = -6*r - 2*b + x. Is r a prime number?
True
Let d = -7 - -12. Suppose d*v - 5 = -0. Is (1 - 0)*(v - -52) prime?
True
Let n = 109 + 52. Is n prime?
False
Let x(y) = -y**2 + 9*y - 5. Let i = -11 + 19. Let t be x(i). Suppose 0 = -4*h + t*w + 13, 5*w = -2*h + 14 - 1. Is h a composite number?
True
Let m(n) = n + 1. Let f be m(-2). Is 123 + (f - (1 - 1)) a prime number?
False
Let m(l) = 4*l**3 + 2*l**2 + 4*l + 3. Let w be m(-2). Let r = -42 - w. Let c = 60 + r. Is c a prime number?
True
Let l(g) = 2*g**3 - g**2 - 2*g - 4. Let s = -6 - -11. Is l(s) prime?
True
Suppose -4*n + 2*n = -838. Is n a prime number?
True
Let v = 1 + 1. Suppose -m - f = -v*f - 395, -3*m + f = -1189. Is m composite?
False
Let g(b) = -b**2 - 5*b + 3. Let r be g(-5). Suppose 2*j = -r*j + 545. Is j a composite number?
False
Let g be (-12)/10*10/(-3). Let k(x) = 5*x + 1 + g*x**2 - x + 2*x**2. Is k(4) composite?
False
Let a = -195 - -574. Is a prime?
True
Let c(y) = -89*y. Is c(-13) composite?
True
Suppose 6*v + 249 - 2991 = 0. Is v composite?
False
Let c(k) = k + 12. Let w be c(-7). Let a(t) = 47*t - 2. Is a(w) composite?
False
Let y be -237*(2 - 20/12). Let h = 228 + y. Is h a composite number?
False
Suppose 4*g = 5103 + 7445. Is g a composite number?
False
Let j = 297 + -168. Is j a prime number?
False
Let z = 28 + -45. Suppose -5*w - 1 = 2*s - 33, -3*s + 74 = w. Let g = s + z. Is g composite?
True
Suppose -7 = -5*k + 3. Let g(j) = k - 7 - 3*j + 0*j. Is g(-5) prime?
False
Suppose 3*r = -2*r + 20. Suppose 0 = r*m - 260 - 336. Is m composite?
False
Let l = 12 - 26. Is (-1239)/l*4/6 a prime number?
True
Let q(k) be the third derivative of -k**4/24 + 5*k**3/6 + 3*k**2. Is q(-6) a composite number?
False
Is 30051/45 - 4/5 composite?
True
Let s = 285 - 94. Is s a composite number?
False
Let n be (42/9)/((-4)/(-786)). Let p = n - 622. Is p composite?
True
Let v = 64 + 187. Is v composite?
False
Suppose 0 = t - 0*t - 143. Let f = 70 - t. Let j = 124 + f. Is j composite?
True
Is 7/(-49) - (-4608)/14 a composite number?
True
Let g = 13 + -8. Suppose g*d - 62 = -7. Is d a composite number?
False
Suppose 3*a + 480 - 2385 = 0. Is a a composite number?
True
Let q = 107 + 7. Let r = q + -63. Is r a prime number?
False
Let x(z) = 4*z**3 - 2*z**2 - z - 1. Let j be x(2). Suppose 0 = 3*g - 4*g + j. Is g a composite number?
True
Let r = 9 - 11. Is (-3 - 0/r) + 14 prime?
True
Let t = 6 + -1. Suppose h - 55 = -2*o, 2*o - t*h = -4*h + 45. Is o composite?
True
Suppose -i + 150 + 103 = 0. Is i prime?
False
Let i = -448 + 809. Let q = i + -248. Is q composite?
False
Let p = 2 - -1. Let z(d) = d**3 + 4*d**2 - 5*d + 1. Let r be z(-4). Is (2/p)/(2/r) composite?
False
Suppose j + 2*t - 1 = 0, j - 2 + 0 = -t. Suppose -z = -5*c + 2*c - 40, j*c - 70 = -z. Suppose r + 6*m - 15 = 3*m, 3*r + 4*m = z. Is r composite?
True
Suppose 0*k - k = -3*d - 7, -5*d - 8 = 2*k. Let x be d/((-1)/(27/6)). Suppose x = -0*s + s. Is s a prime number?
False
Let h(x) = x**2 + x - 1. Let u be h(1). Let r = u + -3. Is r*(-2 - 111/2) composite?
True
Let s be 3*((-24)/9)/(-4). Is 0 - (-1 + s)*-55 a composite number?
True
Let v(z) = z**3 + 6*z**2 - 8*z + 5. Let f be (-2)/6 + 14/6. Suppose 0 = -c + 4*n - 26, -f*c - n - 19 = 2*c. Is v(c) composite?
False
Suppose 0 = 4*r - 2*r - 8. Suppose -3*t + u = -23 + 128, 4*u + 156 = -r*t. Let x = -17 - t. Is x a composite number?
False
Suppose 17*i + 634 = 18*i. Is i a composite number?
True
Suppose 0*s + s = 0. Let y(p) be the first derivative of p**3/3 + p**2/2 + 25*p + 1. Is y(s) a prime number?
False
Let j be (18/3)/(-2) - -3. Suppose 3*g + j = -12. Is 2/g + (-323)/(-2) prime?
False
Let z = -334 + 546. Suppose -5*g + z = -3*g. Is g a prime number?
False
Suppose 5*s - 67 = -3*u, 47 + 48 = 3*u - 2*s. Let z be 76/10 + 4/10. Suppose -b + u = z. Is b prime?
False
Suppose -3*g = 2*g - 5. Let b = 5 - g. Suppose b*a - 82 = -22. Is a a composite number?
True
Let z be 1365/12 + (-1)/(-4). Let g = z + -19. Is g a composite number?
True
Let x = 2282 + -1305. Is x a prime number?
True
Suppose 0 = 3*l + 7 - 64. Suppose -f = 4*r - 2*f - 90, r - 2*f = l. Let x = r + 2. Is x a prime number?
False
Let t(l) = l**2 - 6*l - 1. Let x be t(5). Let y = 11 + x. Suppose -j + 3*j = -q + 180, -y*j + 447 = q. Is j a composite number?
False
Suppose 5*u = 5*k + 2025, -5*k + 3*k = -u + 403. Is u a prime number?
False
Let s(q) = -18*q - 5. Let w be s(-3). Is 4081/w + (-4)/14 composite?
False
Let p(y) = -2*y + 2. Let w be p(11). Suppose 0 = 2*l + 70 + 76. Let s = w - l. Is s a composite number?
False
Let z(t) be the first derivative of -9*t**4/4 + t**3/3 + 2*t**2 + 5*t + 3. Is z(-4) prime?
False
Let g(n) = 8*n**2 - 2*n - 9. Is g(-7) a composite number?
False
Let u = -55 - -106. Is u a prime number?
False
Let f = 219 - -46. Is f prime?
False
Suppose -2*h = 6, -t + 47 = -0*h + 3*h. Suppose -2*c + t = 2*c. Suppose p - 17 = c. Is p a prime number?
True
Let d be (-2)/7 - 6/(-21). Suppose 3*u - 2*f = -23, d = 4*u - 0*f + 5*f. Is (-14)/u - (-1)/5 a composite number?
False
Let c = -950 - -2373. Is c a composite number?
False
Let d(p) = p**2 + 2*p - 1. Suppose -5*v - 22 = -3*s + 2*s, 2*s - 20 = 4*v. Let b be d(s). Let g(t) = t**2 + 3*t + 9. Is g(b) a prime number?
True
Suppose -3*v + 3 = -4*i, 2*i - v - 6 = 3*v. Let p be 2*i/9*-3. Suppose -x + 3*h = p*x - 264, 3 = 3*h. Is x prime?
True
Let x = 0 + -4. Is x/8*0 - -25 a composite number?
True
Let r be (-5 - -1)*3/(-6). Let j = -20 + 46. Suppose -4*q + r*q = -j. Is q a prime number?
True
Suppose 5*c - r - 16 = r, 3*c - 3*r = 6. Suppose -t - c*q = t, -2*q - 10 = 0. Is t a composite number?
True
Let q be (84/(-10))/((-3)/10). Suppose q + 108 = 4*o. Is o a composite number?
True
Let g be 40/4*(-2)/(-5). Let i be g/6 + (-1230)/(-18). Let t = i + -47. Is t a composite number?
True
Let a = 10 - 7. Let j(q) = -q + 3*q**2 + q - 5*q + a. Is j(5) a composite number?
False
Suppose 0*g - 2*g = -58. Suppose 2*t - 3*m = -19, -10 - g = 4*t - 5*m. Is -3 - (-2)/1 - t composite?
True
Suppose 3*t = 4*o - 3, -3 = t - 3*t + o. Let y(w) = 3*w - 2. Let j be y(t). Suppose 0 = 3*l - 4*c - 35, -3*l + j*l - 47 = 5*c. Is l a prime number?
True
Is 2852 + -6 + -2 + 1 composite?
True
Let r(d) = -17*d**3. Let b be r(-1). Let f = 2 + b. Is f a composite number?
False
Is -3 - -6 - 0 - -86 prime?
True
Let q be (1 - 6) + 2 + 3. Let d(b) = -b - 2. Let x be d(q). Let m(r) = -r**3 - r**2 - 2*r + 1. Is m(x) a composite number?
True
Suppose 5*o - 4*h +