 = g, i + 2687 = 2*g. Is g a composite number?
True
Let q = -89 + 558. Is q prime?
False
Let f(h) = 136*h + 8. Let q be f(-10). Is 2/(-4)*q/4 a composite number?
True
Let f(z) = z**3 - 6*z + 5*z - 13*z**2 + 2*z**2 + 21 - 7. Let i be f(11). Let a = i - -11. Is a composite?
True
Let o(k) = 173*k**2 + 5*k - 1. Is o(2) composite?
False
Suppose 4*i - 4029 = -3*r, i + 4*i - 5035 = -4*r. Let l = 1720 - i. Is l composite?
False
Suppose -8*h + 3*h - a + 200 = 0, -3*a + 210 = 5*h. Is h composite?
True
Let c = 215 + 333. Let a = -190 + c. Is 1/(-3) - a/(-3) composite?
True
Suppose 0 = -s - 3 - 4. Let l = 7 + s. Suppose 0*x + x - 13 = l. Is x prime?
True
Let z = 17 + -22. Let s(v) = v**3 + 8*v**2 + 7*v - 4. Let a(d) = d**3 + 8*d**2 + 7*d - 3. Let k(j) = 3*a(j) - 2*s(j). Is k(z) a composite number?
True
Let i(u) = -2*u - 8. Let d be i(-6). Suppose 0 = -z + 3*z + 6, -d*g = z - 85. Is g a prime number?
False
Let h(x) be the second derivative of x**5/2 - x**3/6 - x**2/2 + x. Let c be h(2). Suppose -5*k = 4*b - 71, 3*b - k = -b + c. Is b composite?
False
Suppose -3*n = -8*n. Suppose -3*j + 8*j - 335 = n. Is j composite?
False
Let u(n) be the third derivative of n**5/60 + n**4/24 + 37*n**3/6 - 18*n**2. Suppose -4*j = -0*j. Is u(j) composite?
False
Let y = 223 - 0. Is y a composite number?
False
Suppose 10*t + 12 = 14*t. Suppose 471 = t*b - 0*b. Is b prime?
True
Suppose -46 = -z + 3*d, -2*z - 3*d + 9 + 92 = 0. Is z a composite number?
True
Let t = 3 - 1. Suppose 3*y = c + 791, c + t*c = y - 269. Is y prime?
True
Let o(p) = 3*p + 3*p - 7*p + 233. Is o(0) a prime number?
True
Let l(p) = -2*p + 3 + p + 0. Let z be l(5). Is (1*4)/(z/(-31)) a composite number?
True
Let a(s) = 19*s**2 - 19*s + 15. Let f be a(-14). Is 2/4 - f/(-18) composite?
False
Suppose -5*y + 3*f = 8*f - 1275, 0 = -4*y + 3*f + 992. Is y a composite number?
False
Suppose 12*n = 10*n + 3482. Is n prime?
True
Suppose 48 = -0*j + 3*j. Suppose -u + j = -15. Is u prime?
True
Let o = -531 + 1000. Is o a composite number?
True
Suppose -4*c = 3*p - 17, -29 = -4*c - c + 4*p. Suppose -46 = -2*m - 0*m. Suppose c*j - 98 = -m. Is j a composite number?
True
Suppose 378 = 2*h - 5*j, h + 3*h = 2*j + 788. Is h prime?
True
Let n(x) = -x**3 - x**2 + 6*x - 7. Is n(-8) composite?
True
Let k(u) be the third derivative of -u**6/120 + u**5/10 + u**4/8 - u**3/2 + u**2. Is k(3) a prime number?
False
Suppose 3*o = 7*o - 1060. Is o a composite number?
True
Suppose 0*j + 9 = 4*u - j, 5*u - 21 = -2*j. Suppose 0 = u*x - 5*x. Suppose 8 = 4*n - x, 0 = 2*a + n - 72. Is a a composite number?
True
Suppose -5 = -6*o + o. Suppose -5*n + 4*n = -2*s + 14, -4*n + 52 = 4*s. Is 3/s*(10 - o) a prime number?
True
Let h(q) = -2*q**2 + 2*q**3 - 5*q - 4*q**2 + 3 - 3*q**3 - 4*q. Is h(-7) composite?
True
Let z be -3 - (-2 + -2) - 1. Suppose -2*n + 18 = -z*n + 5*p, -5*n + 5*p + 115 = 0. Is n prime?
True
Let o = 820 + 67. Is o composite?
False
Let s(x) = -x. Let j be s(-3). Let c be (-7)/(-21) - (-74)/j. Suppose -5*a + c = 5, -5*q - 4*a + 801 = 0. Is q a composite number?
False
Let s be 44/16 + (-1)/(-4). Suppose 69 = s*o - w, 4*w + 6 + 17 = o. Is o prime?
True
Suppose 3*k = -3*h + 9, 3 + 9 = 3*h + 4*k. Suppose -2*d - j + 47 = h, 5*d - 7*j + 3*j = 98. Is d a prime number?
False
Suppose 3*y + 0*j - 660 = -5*j, 0 = -4*y + 2*j + 880. Let u = y + 31. Is u a prime number?
True
Let k(v) = v**2 + 9*v - 7. Let o be k(-10). Let z(w) = -w**2 - 20*w**3 + w**3 - w**3 - 3*w**o. Is z(-1) prime?
False
Suppose 4*x = 3*z + 27, -x + z + z = -13. Suppose -3*y + 1287 = -x*o + 450, 4*y - 1110 = o. Suppose 3*p - 68 = y. Is p a composite number?
True
Suppose -4*z - 36 = -720. Suppose 0*b + 3*b = z. Is b composite?
True
Suppose -g - 2*w + 16 = 3*g, 4*w = -4*g + 24. Suppose -g = 2*c - 10. Let p = 7 - c. Is p prime?
True
Let p = 106 + 7. Is p a composite number?
False
Let x = -46 + 337. Is x composite?
True
Let l be 12/18 - (-44)/6. Suppose -310 = -l*z + 3*z. Is z composite?
True
Let a(f) = 5*f**2. Let i be a(-1). Suppose 3*v + 4*d - 254 = 0, -4*v = -0*v + i*d - 338. Is v prime?
False
Let d = 9 - 4. Suppose 5*h = -3*x + 360, d*h + 0*h - 365 = -4*x. Is h prime?
False
Let j(w) be the third derivative of w**6/120 + 7*w**5/30 + 5*w**4/12 - 7*w**3/3 + 3*w**2. Is j(-13) composite?
True
Let u be (-1)/(142/47 - 3). Let i = u + 234. Is i a composite number?
True
Is ((-6)/(-4))/(3/262) a prime number?
True
Let k be -15 - 3/(-9)*3. Let h = -7 - k. Is h composite?
False
Let a(x) = 6*x**2 - 4*x + 5. Let u be (0 - 1)*(-16)/4. Is a(u) prime?
False
Is (10/(-15))/(4/(-126)) composite?
True
Let b be (-2)/(-3) - 4/(-3). Suppose -h - b*w + 4*w + 185 = 0, -2*h + 378 = 4*w. Is h prime?
False
Let c(s) = 35*s**2 + 2*s + 2. Is c(3) a composite number?
True
Suppose -2*u - 4 = -5*l - 0, -l + 4*u - 10 = 0. Let g be 141 + -5 - (-1)/1. Suppose 4*q - l*b - g = 125, -q - 3*b = -62. Is q a prime number?
False
Suppose 5*x + 9 = 2*t + 270, -3*x + 2*t = -159. Is x composite?
True
Let f = -202 + 106. Let r = -67 - f. Is (14/(-2))/((-1)/r) a composite number?
True
Let q be -1 + (-3)/(-6)*2. Suppose q*s + 4 = -4*s. Let d = s + 8. Is d a prime number?
True
Let h = -3265 + 1683. Let j be h/(-10) + 1/(-5). Suppose -2*y + 3*y = j. Is y prime?
False
Let h(c) = -c**2 + 10*c - 11. Let z be h(8). Suppose -5*w + 0*w + z*q + 250 = 0, -5*w + 3*q + 244 = 0. Is w a composite number?
False
Let r(k) = 10*k - 18. Is r(14) composite?
True
Let i(j) = j**2 + 7*j + 6. Let q be i(-4). Let x = -3 - q. Is x prime?
True
Suppose -5*p + 36 = w - 3, 5*p = -5*w + 295. Let s = w + -27. Is s prime?
True
Suppose -4*p = -2*p - 6. Suppose p*b + 244 = 5*h, -3*h + b - 202 = -7*h. Let u = h + -4. Is u composite?
True
Let j(p) = -p + 10. Let i be j(0). Suppose -2*q + k + i = -k, 5*q + 5*k = -5. Suppose -q*o - 54 = -300. Is o prime?
False
Suppose 8 = 4*x - 2*j, 3*j - 9 = -x - 0*j. Suppose -6*c + 21 = -2*c + 3*f, -x*c + 3 = -2*f. Suppose -3*h + 103 = 4*i, 5*h - c*i - 86 = 76. Is h composite?
True
Let o(j) = 54*j - 2. Let q be o(1). Suppose 0 = -3*t + p + 284, -t - 2*p + q = -31. Is t prime?
False
Let w be (-17)/3 + 2/3. Let t(f) = f**3 + 6*f**2 + f + 1. Is t(w) a composite number?
True
Let o be -2 + (2 - 52)/(-2). Is 2/2*1*o a composite number?
False
Let b(r) = r**3 + 22*r**2 - 17*r - 19. Is b(-11) a prime number?
True
Let n = -3 - -11. Let l(r) be the second derivative of 7*r**4/12 - 3*r**3/2 - 5*r**2/2 + r. Is l(n) a prime number?
False
Let p be 6/(-15) + 16474/10. Let j = p - 476. Is j prime?
True
Let n(i) = 6*i**2 + 4*i - 3. Let m be (-3)/(-6)*-8*1. Is n(m) composite?
True
Suppose 4*u = -5*y + 26, -4*y + 5*u + 45 - 16 = 0. Suppose 4*q - y*q + 18 = 0. Suppose 3*d - q = -0*d. Is d prime?
True
Let u(k) = 3*k**2 - 2*k - k**2 + 7*k**3 - k. Suppose 3*r + 3*y - 15 = 0, -4*r = -5*y + 4 + 3. Is u(r) prime?
False
Suppose 5*y + 0*r + 3*r = -3, 5 = -3*y - 5*r. Suppose y*h - h + 131 = 0. Is h a composite number?
False
Suppose -282 = 5*p + 268. Let v = -61 - p. Is v a prime number?
False
Suppose 0 = 5*k - 0*k. Suppose k = 5*f - 568 - 1327. Is f a prime number?
True
Suppose y = -4*u + 14, 26 = 5*y + 4*u + 4. Suppose y*t + 0*t = 0. Suppose t = -m + 4*l + 39, 0*m - 2*m + 78 = -l. Is m composite?
True
Let y(a) = -2*a**3 - 4*a**2 - 3*a - 2. Let x be y(-2). Suppose 4*k + 5*n = 215, 2*k + x*n + 40 = 152. Is 0 + 6 + -3 + k prime?
True
Let z(d) = 89*d**3 + 3*d**2 - 4*d + 3. Is z(2) a prime number?
True
Let r = 9 - -286. Is r a composite number?
True
Suppose 167 = 3*j - 2*j. Suppose -j = -3*o + 112. Suppose o = 3*i - 6. Is i composite?
True
Suppose 3*d + 2*x = -316, -2*d = -7*d + 2*x - 500. Let m = -45 - d. Is m composite?
True
Suppose -d + 2 = -4. Let m(a) be the second derivative of -a**4/12 + 2*a**3 - 5*a**2/2 + 6*a. Is m(d) a composite number?
False
Let a = -22 - -205. Is a prime?
False
Suppose -4*q + 12165 = 5*m, 2*m + q - 4878 = -3*q. Is m a prime number?
False
Let d(k) = 8*k**3 - 2*k**2 + 2*k + 1. Let h be d(3). Let w = h - 104. Let b = w + -68. Is b composite?
True
Let x(k) = k**2 + 0*k**2 - 5*k + 6*k**2 + 7. Let u be x(5). Let d = -78 + u. Is d a prime number?
True
Let k(x) = 3*x**2 - x - 1. Let b be k(2). Let z be (-16)/(-9) - 2/(-9). Is 3/z*84/b prime?
False
Let b(m) = 600*m**2 + 1. Let c be b(1). Let n = c + -344. Is n a prime number?
True
Suppose -312 = 