*m - 360 - 132. Let i = m + -115. Let h = i + -35. Is h composite?
True
Suppose -3*m - 65 = -8*m. Suppose -416 = 4*i - 4*p, -5*i + 3*p - 524 = -0*p. Let b = m - i. Is b prime?
False
Let h be -2 + -1 + (2 - 2). Is 9/3*(-37)/h a prime number?
True
Let r = 115 - -339. Is r a prime number?
False
Suppose 23 = 5*r - 12. Suppose -5*w + 459 = f, 2*w - 1417 = -3*f + r*w. Is f a prime number?
False
Let q be ((-9)/(-4))/((-18)/48). Is (-718)/q - 18/27 a prime number?
False
Let y(u) be the first derivative of -4*u**2 - 1/3*u**3 - 1 - 2*u. Is y(-6) a composite number?
True
Let j(d) = d + 7. Let u be j(-4). Suppose 9 = -u*i + 45. Suppose -3*v - i = 0, 3*x - 3*v + 0*v = 159. Is x composite?
True
Let l(f) = f + 1. Let z be l(-5). Let x = z + 6. Is (-3*(x - -17))/(-1) prime?
False
Let g = 5 - 4. Let v be (g + 1 - 2) + -2. Is 74/4 - 1/v a prime number?
True
Suppose 3*a + 3*i = 471, -3*i = -3*a - 22 + 523. Suppose 38 = -2*p - 4*o + 240, 3*p + o - 318 = 0. Let r = a - p. Is r a prime number?
False
Let d(x) = -18*x - 39. Is d(-16) prime?
False
Suppose 6*j + 10 = j. Let c be 5/4 + j/8. Let p = 20 - c. Is p a prime number?
True
Let w(y) = 10*y - 21. Let i be w(10). Suppose 0 = 5*b - i - 36. Is b a prime number?
True
Suppose 5*g + 5 = 0, 0*g + 14 = 3*y - 5*g. Suppose -66 - 111 = -y*m. Is m a composite number?
False
Let t = 513 + -352. Is t/3 + (-2)/3 prime?
True
Suppose -5*s - 5*u + 2380 = -4305, 5*s - 6683 = -4*u. Suppose -4*z = z - s. Is z a composite number?
True
Let d(k) = 31*k**2 - 4*k - 23. Is d(-6) prime?
True
Let b be 12/(-4)*(-154)/(-6). Let t be (4 - 2 - -113) + -1. Let u = t + b. Is u composite?
False
Let z(t) = 3*t**2 + 4*t - 4. Let l = 2 + 0. Suppose l*j - j = 3. Is z(j) a prime number?
False
Let s(x) = -x**2. Let t be s(0). Let c(n) = n**3 + n**2 - n + 53. Is c(t) a composite number?
False
Let k(h) = 129*h - 23. Is k(6) a composite number?
False
Suppose 4*o = 295 - 79. Suppose 1 = f, -f + 35 = 4*p - o. Suppose -2*v = -2*g - p, 6*g - 15 = g. Is v a composite number?
True
Suppose 2*u - 608 = 158. Is u a prime number?
True
Suppose 3*p - 2*i + i = -89, 0 = -4*p - 3*i - 136. Let b = p - -18. Is (-2)/b + 245/13 a composite number?
False
Let d(h) = -2*h**3 + 5*h**2 + h + 7. Is d(-4) prime?
True
Let g(l) = -23*l**2 - 9*l - 3. Let a(y) = -12*y**2 - 5*y - 2. Let h(w) = 11*a(w) - 6*g(w). Suppose 4*o = 10 + 2. Is h(o) prime?
True
Suppose -i = -5*r - 107, -i + 70 = 4*r - 55. Let s = 196 - i. Is s prime?
True
Suppose 2*x - 2*v = -3*x - 142, 3*x + 4*v + 106 = 0. Let d = -16 + x. Is 2/(-4) - d/4 prime?
True
Suppose 4*m + 7895 = w, -1977 = m - 0*m + 3*w. Is 1 + -1 - m/6 a prime number?
False
Suppose -3*v = 3*x - 0*x - 162, -3*v + 3*x = -186. Is v prime?
False
Suppose -705 = -2*r - r. Is r composite?
True
Let h(s) = 3*s**2 + 6*s + 4. Let t(v) = v**3 + 6*v**2 - 6*v + 4. Let z be t(-6). Suppose 23 = -3*y + 2*f, 4*y - 3*f - 2*f = -z. Is h(y) composite?
True
Suppose -2*z - 1321 = -3*z. Let y = 2514 - z. Is y prime?
True
Let n(b) = 170*b**2 - b + 3. Is n(2) a prime number?
False
Let w be (3 - -1)*1*-1. Let g(j) = -42*j + 1. Is g(w) prime?
False
Let r = 7 - 5. Suppose -r = -2*i + j, 5*j - 5 + 0 = 5*i. Suppose 725 = 2*d + i*d. Is d composite?
True
Let m = 4 + -4. Suppose -3*o - 2*o - 6 = -4*a, -4*a = -3*o - 10. Suppose m = h + o*h - 357. Is h prime?
False
Let j = -4 - -4. Suppose 9*z - 8*z - 35 = j. Is z a composite number?
True
Let c(r) = r**3 - 7*r**2 - 3*r + 6. Let x be c(7). Suppose 0*j + 25 = j. Let k = j + x. Is k a prime number?
False
Let a(g) = -3*g**3 + 4*g**2 + 2*g - 2. Let h(x) = -2*x**2 - x. Let w be h(1). Is a(w) a prime number?
True
Let v be 3/((-6)/(-4))*79. Suppose 5*h + v + 12 = 0. Let s = 65 + h. Is s prime?
True
Suppose 0 = k + 3. Let c = k + 34. Is c a composite number?
False
Let d = 182 - 121. Let r = d - 42. Is r a prime number?
True
Suppose 2*o - 3787 = o. Is o composite?
True
Let r = -553 + 147. Let g = r - -617. Is g prime?
True
Let q be -3229 - (-4 - (-9)/3). Is q/(-18) + (-3)/9 a composite number?
False
Suppose -2 = w - 2*w. Suppose 0 = -w*s - 1 + 159. Is s a prime number?
True
Suppose 19*s - 24*s = -1085. Is s composite?
True
Let p = 5 + -5. Is (-2 + p)*89/(-2) a prime number?
True
Suppose -5*g + t = -400, 0 = -2*g - 0*g - t + 153. Suppose -5*j + 291 = -g. Let r = -41 + j. Is r a composite number?
True
Let l be ((-77)/(-2))/((-3)/(-18)). Let q = l + -157. Is q prime?
False
Let x = -2 + 7. Let u = 5 - x. Suppose -2*c - c + 237 = u. Is c composite?
False
Let l = -153 + 222. Suppose l = 3*s - 42. Is s a composite number?
False
Suppose d = 2*d + 36. Let y = 62 + d. Is y a prime number?
False
Suppose 3*u + 2*s = 11, 3 = 3*s - 0. Is 2*(-1 - (u + -6)) prime?
False
Let o(x) = x**2 - 16. Is o(-7) composite?
True
Suppose 0 = 4*b - 2*b + 578. Let t = b + 416. Is t a composite number?
False
Is 0 - (-1 + -2) - -686 a composite number?
True
Let b(i) = i**2 - 9 - 4*i**2 + 5*i + 2*i**2 + 5*i. Suppose 10 - 50 = -5*k. Is b(k) prime?
True
Let o = 520 - -181. Is o composite?
False
Let q(t) = 30*t + 5. Let j(l) = 4*l + 1. Let z be j(1). Let a be q(z). Suppose 0 = 2*g + 3*g - a. Is g prime?
True
Let y(d) = -d**2 + 9*d + 6. Let c be y(7). Suppose j = -j + c. Let u = -4 + j. Is u a prime number?
False
Let z(t) = 178*t**2 + 5*t + 5. Is z(-2) a composite number?
True
Suppose -4*k = 5*h - 819, -2*h + k + 331 = 6*k. Is h composite?
False
Let n(l) = l**3 - 2*l**2 + 6*l - 5. Let v be n(3). Let s = -15 + v. Is s a composite number?
False
Suppose 4*u - 6 = -2. Is 2*u/(6/267) a prime number?
True
Suppose -2*b = -23 - 55. Let j(d) = -d**3 - 10*d**2 - d - 8. Let r be j(-10). Suppose -t = -r*t + b. Is t a composite number?
True
Let v be (3/(-2))/(24/(-1984)). Suppose 0 = -2*m - 2*m + v. Is m prime?
True
Suppose 5*k + 15 = 3*o, 5*o + 5*k - 22 = 3. Suppose -j - 2*p + p - 7 = 0, 4*p - 44 = o*j. Is (j/(-3))/((-14)/(-21)) a prime number?
False
Let p = 20 - 16. Suppose -390 = -5*m + 5*n, -230 = -3*m - p*n + 6*n. Is m composite?
True
Suppose 4*m - 1 = 3. Let h(c) = 0 - m + 19*c - 8*c. Is h(6) a composite number?
True
Suppose 8*s = 2*s + 1506. Is s a prime number?
True
Suppose 2*r = -7*d + 2*d - 135, 2*d = -4*r - 70. Is (-134)/(-10) + 10/d prime?
True
Suppose -3*y + 2*b + 15 = -0, y = b + 5. Is (-171)/45*-1*y composite?
False
Suppose 0 = 2*d - 1079 - 299. Is d a composite number?
True
Let p(u) = -10*u - 3 - 4 + 2 + u. Is p(-8) a prime number?
True
Let g be -2 - (-1 + 0 - -2). Let a be -2 - 0 - 15/g. Is (167 + -1)*a/6 a prime number?
True
Let w(j) = -j**3 + 3*j**2 + 10*j + 1. Let d(f) = f**3 + f - 1. Let c(p) = -6*d(p) + w(p). Is c(-3) composite?
False
Suppose -3*w + 272 = -5*v, 0*v = -2*w + 4*v + 182. Is w a prime number?
True
Let t = -3 + 5. Suppose -98 - 150 = -5*f + 3*d, t*f + 2*d - 112 = 0. Let h = 105 - f. Is h a prime number?
True
Suppose -2*z - 3676 = -4*u, z + 643 = u - 276. Is u a composite number?
False
Suppose 5*m + 4 = 34. Let s = m - 8. Is s/2 - 27*-2 prime?
True
Suppose 28 = -4*h - 0. Let x(c) = c**2 + 7*c + 4. Let t be x(h). Suppose j = t*j - 99. Is j a composite number?
True
Suppose -5*p - 4*i + 7*i = -2110, 4*p - 5*i - 1701 = 0. Is p a prime number?
True
Let p = -340 - -591. Is p a composite number?
False
Let a(t) = -20*t - 5. Let l be a(4). Let p = -32 - l. Is p a composite number?
False
Let n(u) = -35*u**3 + u**2 - 1. Let f(g) = -g + 2. Let d = 10 - 7. Let t be f(d). Is n(t) composite?
True
Suppose -14*s + 356 = -10*s. Is s composite?
False
Suppose 4*r = -2*i + 2*r + 14, 3*i = -r + 15. Let o(a) = 2*a**3 - 6*a**2 + 6*a - 3. Is o(i) a composite number?
False
Let w = -278 - -196. Let f = w - -149. Is f a prime number?
True
Let o(m) = m**3 - m**2 + 2*m + 149. Is o(0) composite?
False
Let u = 264 - -133. Is u a composite number?
False
Is (-15)/(-60)*3/(6/43496) prime?
True
Let v be 489/(-9) + 1/3. Let t = 12 + -125. Let m = v - t. Is m a composite number?
False
Let n(k) = -44*k - 5. Is n(-3) composite?
False
Let h(s) = -s**3 + s**2 - s + 578. Let w be h(0). Suppose -5*d = -4*j + w, 0 = 2*j + j - 3*d - 432. Suppose 0 = 5*k + 47 - j. Is k composite?
False
Let i = 95 + -36. Is i prime?
True
Suppose -283 - 185 = -4*c - 4*q, -4*c + 464 = 3*q. Is c composite?
False
Suppose 2365 - 10970 = -5*s. Let q = 1081 - s. Let y = -423 - q. Is y composite?
True
Suppose 0*g + 14092 = 5*g - 3*f