Suppose -4*d = q - 5758, 3*d + 3*q - 4325 = -q. Is d a prime number?
True
Suppose 2077 = -5*s + 9072. Is s a composite number?
False
Let a(y) = -y**2 + 5*y - 3. Let c be a(4). Let k be 3 - c - 0/(-3). Suppose -4*t + 4*l + 213 = 3*l, -101 = -k*t - 5*l. Is t prime?
True
Let p(f) be the third derivative of f**6/120 - f**5/15 + f**4/6 - f**3 + 7*f**2. Let s be (-2 - -7) + (-2)/2. Is p(s) a composite number?
True
Let u(a) = 2*a**3 + a**2 + 4*a + 13. Let j(q) = -q**3 - q. Let f(i) = 3*j(i) + u(i). Is f(0) a composite number?
False
Suppose -36*w + 33*w = -2235. Is w a prime number?
False
Suppose 3*w - 1224 = 3*q, w - 9*q = -5*q + 405. Is w a composite number?
False
Let s(o) = 54*o + 5. Let d be s(6). Let i = 42 + d. Is i a prime number?
False
Let l(m) = -m - 4. Let y = -13 + 4. Let q be l(y). Suppose 24 - 134 = -q*z. Is z composite?
True
Let y be ((-552)/(-20))/((-3)/15). Let z = -32 - y. Is z a prime number?
False
Is (-7)/(28/8) + (-1386)/(-2) a prime number?
True
Suppose 0 = h - 0*h - p - 6, -2*p - 18 = -4*h. Suppose 182 = 2*f - 4*j, h*f + f = 4*j + 364. Is f a composite number?
True
Is 2635 + 3 - 20/4 prime?
True
Suppose 0*u - 2*u + 6 = 0. Suppose -v = u*t - 494, -t - 2*t + 479 = -2*v. Is t prime?
True
Let d(o) = -11*o - 2. Suppose 0 = 3*j + 9, 0*a = a + j + 5. Let v be d(a). Let h = -6 + v. Is h a prime number?
False
Suppose -4*m = 4*u - 4, m - 1 = -3*u + 5*u. Is 62/(-1*(m - 3)) composite?
False
Let a(w) = 2*w**2 - 13*w - 5. Is a(-6) a prime number?
False
Let c be (6/4)/(6/8). Let p(f) = f**3 - 9*f**2 + 17*f - 10. Let x be p(7). Suppose -c*q + x + 143 = 0. Is q composite?
True
Let g be (3 - -103) + (0 - -2). Suppose 618 = 4*b - 2*s, -191 - g = -2*b + 3*s. Is b prime?
True
Let d(a) be the third derivative of -a**4/4 - 3*a**3/2 - 2*a**2. Is d(-7) a prime number?
False
Suppose 1909 = 4*f - 5*d, -1428 = -5*f + 2*f + 5*d. Is f prime?
False
Suppose 2*l + 23 = -19. Suppose -3*b - 54 = a, 2*a - 3*b = -72 - 0. Let x = l - a. Is x prime?
False
Suppose z - 4*z = -4*b + 6, -b - 3 = 0. Is 85 + (-4)/6*z prime?
True
Let i(w) = 4*w**2 + w - 12. Is i(7) a prime number?
True
Let g = 3227 - 2256. Suppose 0 = -4*b + 4*w + 748, -5*b - 4*w + 0*w + g = 0. Is b a composite number?
False
Let n = 7 - 11. Let q = n + 6. Suppose -3*p + 15 = 0, 139 = q*l + 5*p - 2*p. Is l composite?
True
Suppose -2*n = -4*n - 8, -4*n = -5*r + 31. Suppose 4*i = -3*l + 14, -r*i + 3*l + 21 = -0*i. Suppose -4*b - g = -873, -2*b - i*g = b - 676. Is b prime?
False
Let y(n) = n**3 + 12*n**2 + 12*n - 3. Let i be y(-10). Let x = i - 44. Is x a prime number?
False
Let x = 27 + 56. Is x a prime number?
True
Let o = 10 - -18. Suppose 0 = 3*b - 169 + o. Is b a prime number?
True
Suppose -3*a - 2*h + h = -13, 0 = 3*h - 12. Is a/(-9) + 548/6 a prime number?
False
Suppose 0 = 4*q + q - 1735. Is q composite?
False
Suppose 1067 - 3469 = -2*z. Suppose -z = -5*j - 0*j - 3*g, 5*j - 1199 = -2*g. Is j a prime number?
True
Suppose 106 = -b + 357. Is b a prime number?
True
Suppose 0 = 3*v - 0*v. Suppose -2*d = -v*d - 286. Is d prime?
False
Let h = -238 - -759. Is h a prime number?
True
Suppose 1 - 16 = -5*g, -g = 2*a - 305. Suppose 3*d - 6*b = -2*b + a, 149 = 3*d - 5*b. Is d composite?
False
Let t(o) be the second derivative of -o**6/144 + o**5/30 - o**4/4 + 2*o. Let r(b) be the third derivative of t(b). Is r(-11) a prime number?
True
Suppose -4*j - 15 = -3*p - j, -3*p - j = 1. Is (0/1 - -127)*p composite?
False
Suppose -4*f = -2*f - 1382. Is f a composite number?
False
Let y be -2 + (-2 - (1 - 3)). Let o be (-37)/y - 1/2. Let m = -3 + o. Is m composite?
True
Let h(i) = -8*i**3 + 5*i**2 + 10*i - 1. Is h(-6) a prime number?
True
Suppose -w = 3*w - 1180. Is w a composite number?
True
Let l(v) = -v - 7 - 5*v**2 - v**3 + 6*v - 4*v. Is l(-6) a composite number?
False
Suppose -5 - 10 = -3*l. Suppose -g + j = -6*g - l, -3*g + 9 = 3*j. Is (g/(-6))/((-1)/(-45)) a composite number?
True
Let i(k) = 2*k**2 - 7*k + 10. Let c(w) = -w**2 - 2*w - 3. Let n be c(-5). Let m = -11 - n. Is i(m) composite?
False
Suppose -4*p - 567 + 3839 = 0. Is p a prime number?
False
Suppose g = 5*x + 332, 0 = 2*g - x - 779 + 106. Is g a composite number?
False
Let h be -85 + 3/(6/(-4)). Let o = 152 + h. Is o composite?
True
Is 1 - (-13)/(26/852) a composite number?
True
Let y = -110 - -1387. Is y prime?
True
Let d = 7 + -11. Let j be 270/33 + d/22. Is (-37 - 0)*(7 - j) prime?
True
Suppose -3*y + 1 = -5. Suppose -o = 5*a - 59, y*o = -0*o + 2*a + 94. Is o a prime number?
False
Let m be 100/15 + 1/3. Suppose -4 = 3*i - m*i. Is i/((-1)/(-2)) - -24 a composite number?
True
Let n(p) = -p**2 + 5*p - 2. Let i be n(5). Let q be i/5 + 24/10. Suppose -26 = -j + 3*s, q*j + 3*j - 5*s - 160 = 0. Is j prime?
False
Suppose -q + 5756 = 3*q. Is q prime?
True
Let o(v) = -v**3 - 9*v**2 - 8*v + 10. Let k be o(-8). Suppose 0 = 5*u + k, 6*q - q + 4*u - 3157 = 0. Is q prime?
False
Let h = 17 + -25. Let f(k) = -k - 8. Let c be f(h). Suppose c = 5*a - 345 + 110. Is a prime?
True
Suppose -4*t + 3*t + 31 = 0. Is t a prime number?
True
Suppose -5*s + 4*d = -25, -2 = -4*s - d - 3. Let k(z) = 20*z - 1. Is k(s) a composite number?
False
Let o(w) = w**3 + 16*w**2 - w + 13. Is o(-14) composite?
False
Let z(v) = 18*v + 19. Let l(d) = -9*d - 10. Let p(r) = 11*l(r) + 6*z(r). Is p(7) a prime number?
True
Suppose -24*v + 33*v = 16623. Is v a composite number?
False
Let o = 494 - 38. Suppose 4*l = 6*l - o. Suppose -40 - l = -4*t. Is t prime?
True
Suppose 236 - 46 = 2*h. Is h composite?
True
Suppose -19*j = -5465 - 140. Is j a composite number?
True
Suppose 22 + 17 = 3*r. Suppose -r = 5*q - 3. Is ((q - -2) + -1)*-62 a prime number?
False
Let p = 14 + -10. Suppose -p*l + 0*l = 148. Is (l/2)/(1/(-2)) a prime number?
True
Is ((-94017)/14 - 5)/(2/(-4)) a prime number?
True
Let k(d) = 29*d**2 - 4*d - 4. Is k(-3) prime?
True
Suppose -3*d + 4*x = -179, -x - 2*x - 53 = -d. Let c(s) = -2*s**2 + 5*s + 3. Let j be c(-3). Let v = j + d. Is v prime?
False
Let j(u) = u**2 - 5*u - 16. Let y be j(7). Is -4 + 2 + (-66)/y prime?
True
Let c(f) = -15*f - 5. Let b be c(-5). Let a = 181 - b. Is a prime?
False
Suppose -15 = 3*i + 3*y, 5*i - 4*y - y = -45. Let u = -2 - i. Suppose -490 = -u*w + 3*b, -4*w = -3*b + 46 - 441. Is w a prime number?
False
Suppose -20 = -5*z + 2*i - i, 0 = z - 3*i - 4. Suppose z*k - 476 = 2*j - 6*j, 4*k - 238 = -2*j. Is j a composite number?
True
Is (-4770)/(-25) - 2/(-10) composite?
False
Let v = 39 - -8. Is (v + 1 - -1) + 0 composite?
True
Let m be 2/(8/(-4)) + 25. Suppose -c = -m + 17. Is c a prime number?
True
Suppose -5*b + 0*n = 3*n + 147, 0 = -4*n + 4. Is 18/15*b/(-9) composite?
True
Is ((-27070)/20)/((-1)/2) a composite number?
False
Is (-4 - -3)/((-5)/13885) composite?
False
Suppose 7*r = 3*r + 308. Is r a composite number?
True
Let h(n) = n**3 - 7*n**2 + 7*n - 8. Let p be h(6). Let l be 3/2 - 1/p. Suppose l*z = 34 - 12. Is z prime?
True
Let h(n) = -n**2 + 2*n. Let i be h(2). Suppose -5*r + 239 - 64 = i. Let d = r - -24. Is d a prime number?
True
Is 1/(9/(-366)*(-6)/207) composite?
True
Let g(d) = d**3 - 5*d**2 + 3*d - 4. Let l be ((-5)/(-2))/((-3)/(-6)). Let w be g(l). Let u = -4 + w. Is u a prime number?
True
Let i(v) = 4*v - 4*v + 0*v**2 - v**3 + 9*v**2 + 11. Let w be i(8). Suppose w = 3*o - 2*t, 0 = -0*o + 2*o + 4*t - 34. Is o a composite number?
False
Is ((-8)/(-16))/((-1)/(-862)) prime?
True
Suppose -4*v + 397 = 5*x - 5*v, -4*x + 3*v + 322 = 0. Is x a prime number?
True
Let r(a) = 22*a**2 - a - 1. Let h be r(-1). Let b = -7 + h. Let w = b + 4. Is w a composite number?
False
Let f(k) = -2*k**2 + 4*k + 3. Let h(y) = 3*y**2 - 5*y - 3. Let u(w) = 7*f(w) + 6*h(w). Let i be u(-3). Is (-10)/i - 832/(-18) a prime number?
False
Is (142/10)/(6/30) a composite number?
False
Suppose -4*s - 26 = 4*t - 102, -3*s + 3*t = -39. Let y be ((-8)/s)/((-2)/(-32)). Let o(c) = -13*c + 11. Is o(y) a prime number?
False
Let x(v) = 9*v**2 + 1. Let o = -2 + 1. Is x(o) a composite number?
True
Let y = 2 + -1. Let u = y + -5. Is (97/(-4))/(1/u) a prime number?
True
Suppose 796 = 8*c - 4*c. Is c composite?
False
Is (-8)/16 + (-259)/(-2) prime?
False
Let b = -748 - -1577. Is b prime?
True
Let y(z) = 314*z + 3. Is y(2) composite?
False
Let k(s) = -2*s**3 - 4*s**2 - 3*s - 1. Let w be k(-2). Suppose h + 