se -b*q = -3*q + 278. Is q a composite number?
True
Suppose 0 = l - 5. Let k(a) = a**3 - 4*a**2 - 4*a + 5. Is k(l) composite?
True
Suppose 0*v + 3 = v. Suppose v*u = 6*u. Suppose -2*q + 3*m = -298, -4*q + 0*q + 3*m + 584 = u. Is q prime?
False
Is (57 - (0 - 4)) + -3 composite?
True
Let n(h) = 54*h - 5. Suppose 0 = 4*x - 1 - 15. Is n(x) a prime number?
True
Suppose -65 = 5*d + 30. Suppose -3*f - 3*o - 195 = 0, -o - 3*o + 4 = 0. Let v = d - f. Is v composite?
False
Suppose -a - 4*o - 70 - 102 = 0, 5*a + o + 784 = 0. Let u = 305 + a. Is u a prime number?
True
Let b(n) = n**2 - 5*n - 2. Let t be b(5). Is (-644)/8*(0 + t) composite?
True
Suppose 0 = 5*v - 3*j - 27, 0 = -v - j - 1 - 0. Suppose 3*q - 480 = 3*k + k, v*q = -2*k + 480. Suppose -q = -4*i + 220. Is i a prime number?
False
Let q be 118*(4 - 0)/8. Suppose 270 = k + q. Is k a prime number?
True
Suppose 5*s = -11 - 4. Let p = s - -7. Suppose 11 = -p*f + 195. Is f composite?
True
Let n(f) = -26*f**2 + f + 2. Let s(u) = -130*u**2 + 6*u + 11. Let r(m) = -11*n(m) + 2*s(m). Suppose -5 = -2*t + 7*t. Is r(t) prime?
False
Let o = -268 + 477. Is o a prime number?
False
Let h(v) = 43*v**2 + 4*v + 2. Let q be h(-3). Suppose 284 = -4*c + 2*x - 0*x, -5*c = 3*x + q. Let m = c - -116. Is m prime?
True
Let u = -335 + 522. Is u a composite number?
True
Let k be 3/2*(-32)/(-12). Let b = -7 + 13. Is (k - -3)*(b + -1) a prime number?
False
Suppose -4*x + 5*g = -25, x - 2*g = 5 + 5. Suppose x = 3*q - 41 + 8. Is q composite?
False
Suppose 0 = 3*n + 4*h + 6, -3*n - 2*n - 2 = 4*h. Let j(g) = 3*g**3 - 2*g**2 + g + 1. Is j(n) a prime number?
True
Let n(s) = -s + 2. Let u be n(0). Suppose -u*y - 1083 = -5*l - 440, 0 = 5*l + 5*y - 615. Is l a composite number?
False
Let d(v) = -v**3 + 12*v**2 - 19*v + 2. Let s be d(13). Is (-1)/(3*2/s) composite?
True
Suppose -z + 86 = -897. Is z a prime number?
True
Suppose 5*c + 4*l = 8*l - 6, -1 = -c + 3*l. Is 35 + (-4 - -2 - c) a prime number?
False
Let h = 230 + -387. Let x = h - -342. Is x a composite number?
True
Suppose 2*y - 38 = 5*m, -y + 3*m + 16 = -m. Let j = -34 + y. Is j/(-4)*(-72)/(-30) a composite number?
True
Suppose -22*v + 27*v = 2605. Is v a composite number?
False
Suppose -1 = 4*b - 21. Suppose b*f + 74 = v, f = 4*f + 3. Is v prime?
False
Suppose -7 - 1 = -5*a + 3*f, a + 3*f + 2 = 0. Is ((-58)/4)/(a/(-10)) a prime number?
False
Let m(w) = 11*w**2 + 5*w + 1. Is m(-4) composite?
False
Let p(m) be the third derivative of -1/8*m**4 + 0 + 0*m + 1/60*m**5 + 2/3*m**3 + m**2. Is p(6) composite?
True
Let a(c) = c**3 + 5*c**2 + 2. Let t be a(-5). Suppose 267 = t*n + n. Is n a composite number?
False
Let s(u) = 2*u - 6. Let g be s(4). Suppose 4*w + 0*d - 148 = d, g*d = w - 37. Is w composite?
False
Let o(g) = -g + 10. Let j be o(7). Suppose 0 = -j*p + 2*x - 4, 4*p + 4*x = 4 + 4. Suppose p = -5*k - 3*z + 398, 4*k + 4*z = 3*k + 83. Is k composite?
False
Suppose 11*q - 15*q + 92 = 0. Is q composite?
False
Let h(s) = 2*s**2. Let o be h(-1). Suppose -o*g - g + 15 = 0, 5*b - 2*g = 190. Let t = 66 - b. Is t a composite number?
True
Let k = -6 - -8. Suppose -39 = -k*w - 5*b + 163, -4 = -b. Is w composite?
True
Let a(v) = -445*v**3 + 2*v**2 - 2*v + 1. Let g be a(1). Let r = -118 - g. Suppose 0*k - 2*k = -r. Is k prime?
True
Suppose -2*d + x + 1758 = 0, -d + 3*x = 4*x - 873. Is d prime?
True
Let q = 429 - 260. Is q composite?
True
Suppose 2*j = -0*j + 120. Let h = -7 + j. Is h prime?
True
Let p = -8 - -8. Let n(f) = f**2 + 275. Let l be n(p). Let v = l + -196. Is v a composite number?
False
Suppose -2 - 1 = a + 2*q, 0 = q + 5. Let p(l) = 3*l - 5. Let z be p(a). Let t = -1 + z. Is t composite?
True
Is (-18)/12*-46*1 a prime number?
False
Suppose -3*t + 2*q - 5*q + 1455 = 0, 0 = -4*q. Is t a composite number?
True
Let a(f) = f**3 - 5*f**2 - f - 4. Let w be (10/(-4))/(3/(-6)). Let n be a(w). Is 6/27 - 313/n a prime number?
False
Let u(g) = -g**3 - g**2 + 5*g + 3. Let m be (0 - -4)/(2/(-3)). Let f(v) = -v**3 - 6*v**2 - 4. Let z be f(m). Is u(z) prime?
True
Is ((-716)/6)/(((-56)/12)/7) a composite number?
False
Suppose 4*g - g = 1413. Is g a composite number?
True
Is (35 + -37)/((2/835)/(-1)) prime?
False
Suppose 2*o + f - 2 = -4, -5*o + 1 = f. Let k(b) = b - 1. Let n(p) = 14. Let z(v) = o*k(v) + n(v). Is z(0) prime?
True
Let v be (1 - (-2 + 2)) + 1. Suppose v*a = 0, 2*a - 63 = 4*h - 391. Is h composite?
True
Suppose 19831 = -5*n + 12*n. Is n a composite number?
False
Let l = -12 - -17. Suppose 237 = l*h - 188. Let r = h - -4. Is r prime?
True
Let d(o) = -o**3 - 3*o**2 + 3*o + 1. Let r be d(-3). Let c(j) = j**3 + 10*j**2 + 10*j - 9. Is c(r) prime?
False
Let p(u) = 5*u. Let a be p(8). Is ((-17)/(-4))/(5/a) a prime number?
False
Let i(s) = 2*s + 7*s - s**3 - 5*s**2 - 2*s + 9. Let l be i(-6). Suppose -w = 3*o - 10, -l*w + 31 = -2*w - 4*o. Is w a composite number?
False
Let w(b) = b**2 + b. Let o be w(0). Suppose o = 6*u - 2*u + 4. Is 1 + 12 - (1 + u) a prime number?
True
Let c(x) = -x**2 + 7*x - 6. Let j be c(5). Is -1 + -2 + j + 64 composite?
True
Let w be (-4 + 4)/(3 - 1). Let u be (-2)/6 + 13/3. Suppose 0 = 2*y + 2*o - 6*o - 8, w = u*y - 2*o - 22. Is y a prime number?
False
Let p(v) = v**3 + 12*v**2 - 21*v - 1. Let w be p(-13). Let u = 5 + -3. Suppose -u*j + w = -67. Is j composite?
True
Suppose -5*b = -2*b + 3*m - 6, -7 = -b + 4*m. Suppose 8*z - b*z = 4*f - 455, -5*f - 2*z + 577 = 0. Is f a prime number?
False
Suppose -14 = -5*s - 3*j, -2 - 12 = -4*s - j. Let l(t) = 4*t**2 - 2*t + 0 - 3 + s. Is l(2) prime?
True
Suppose 2*a + 4*t - 34 + 10 = 0, a - 4*t + 6 = 0. Let h be ((-14)/a)/((-2)/12). Suppose v = -v + h. Is v a prime number?
True
Let r be (177/6)/((-1)/26). Let p = 1402 + r. Is p prime?
False
Suppose -119 = 2*r + 39. Is 1 + -4 - -1 - r composite?
True
Let p = -3 + 5. Let k(u) = 2*u**2 + 2*u. Let b be k(-2). Suppose -b*f - p = -46. Is f a prime number?
True
Let k(u) = -4*u + 1. Let d be k(-1). Suppose 145 = n - 18. Suppose 0 = -4*m - d*q + n + 47, 0 = 3*m - q - 167. Is m prime?
False
Let l(k) = -19*k + 5. Let v(c) = -10*c + 3. Suppose -3*h - 2*a + 17 = 0, h = -a - 3*a + 19. Let g(b) = h*l(b) - 5*v(b). Is g(-3) a composite number?
True
Suppose 0 = -4*x + 16, 4*v - 5*x = -0*x + 16. Is v prime?
False
Let q be ((-1)/(-3)*0)/1. Suppose t + t - 398 = q. Is t a prime number?
True
Let g be ((-8)/(-10))/(1/5). Let r(h) = 7 + 5*h**3 + 4*h - g*h**3 - 8*h - 3*h**2. Is r(6) prime?
False
Let i = 38 - -59. Let k = i + -26. Is k a composite number?
False
Let i(p) = 284*p**3 + p. Let v be i(1). Let m = v - 57. Let s = m - 161. Is s a composite number?
False
Let w be 2*(0 + (2 - 1)). Suppose -4*g + 4*r - 12 = 2*r, 0 = 3*g - w*r + 8. Let a = g + 8. Is a composite?
True
Let x(i) = -i**3 + i**2 + 0*i**3 + 2*i**2 + 1 + 4*i. Suppose 0 = -j - 3*l + 4 + 5, -2*l = -5*j + 11. Is x(j) a prime number?
True
Let v(x) be the third derivative of -5*x**4/12 - 7*x**3/6 + 2*x**2. Is v(-6) prime?
True
Let b(g) = 2*g - 2. Let h be b(3). Suppose 25 = v + h*v. Suppose -203 + 18 = -v*m. Is m composite?
False
Let h be 48/21 + 8/(-28). Suppose -s + 9 = h*u, -u + 2*s + 6 = s. Let k(o) = o**2 - 4*o - 2. Is k(u) a prime number?
True
Let v(h) = 3*h**3 - 6*h - 4*h**2 + 5*h + h**2 - 3. Let o be v(3). Is (-1 - -1) + (o - 2) composite?
True
Suppose -l + 10 = -79. Is l a composite number?
False
Let x(k) = k**2 + k + 3. Let g be (1/2)/((-2)/12). Let s be -3 - (-6)/g - 1. Is x(s) prime?
False
Suppose -7252 = -3*i + 2861. Is i a prime number?
True
Let g(m) = -5*m - 6. Let p be (-340)/(-35) - 2/(-7). Let f = 1 - p. Is g(f) a composite number?
True
Let b(d) = d**3 - 4*d**2 - 5*d + 3. Let i be b(5). Let w(l) = 25*l - 4. Is w(i) a prime number?
True
Suppose -3 = -r, 3*j - 3*r + 1 + 8 = 0. Is 56 + j + (16 - 19) a composite number?
False
Let x be 1 - (0 + -2 - -342). Is (-3 - -6 - 4)*x a prime number?
False
Let z(j) be the second derivative of 7*j**3/2 + 2*j. Is z(1) prime?
False
Let s = -38 - -201. Is s composite?
False
Let l be 2/(-10) - 1473/(-15). Let z = l + -65. Suppose d + 0*d - z = 0. Is d composite?
True
Let m(u) = u**3 + 8*u**2 - 10*u + 2. Is m(-8) prime?
False
Let w(g) be the first derivative of 3 + 2*g + 1/2*g**2. Is w(5) composite?
False
Let x = -299 + 151. Is 3 - (-5)/((-10)/x) a prime number?
False
Suppose -4*y = -3*j + 5, 10 