5*b - 1783 = -2*a. Is b a composite number?
True
Let o = -69 - -14. Suppose -2*s = 4*s - 12. Is o/3*(-1 - s) a composite number?
True
Let y(k) = k**2 - 3*k - 3. Let d = 4 + -6. Let w be y(d). Let g(u) = 2*u + 9. Is g(w) a prime number?
True
Let w(p) = -p**2 + 125. Let t be w(0). Suppose 3*d = 2*d + 5*l + 25, 5*d + l - t = 0. Is d prime?
False
Let y(w) be the second derivative of 11*w**3/2 + w**2/2 - 3*w. Is y(1) prime?
False
Suppose -15 = -3*i, v - 5*i + 37 = -0*i. Let o = 31 + v. Is o composite?
False
Let q be 6 + (1 - 0)*-2. Suppose 0 = 3*g - g + q. Is (-23)/(3/(g + -1)) prime?
True
Let g(y) be the second derivative of -13*y**3/6 - 9*y**2/2 - y. Is g(-6) a composite number?
True
Suppose -2*a + 148 = 2*a. Let h = -8 + a. Let q = -16 + h. Is q composite?
False
Let p(f) = f**3 + 6*f**2 + 6*f + 3. Let b be p(-5). Let c be -2 - (b - -3*3). Is 2/(-6) - 318/c a composite number?
True
Suppose -2 = -5*f + 13. Suppose 0 = 3*j, 44 + 22 = f*n - 3*j. Suppose q = n + 1. Is q composite?
False
Let v(y) = -92*y**3 + y. Let a be ((-9)/(-6))/((-3)/(-4)). Suppose -b + a = -w + 1, 4*w + 4 = -b. Is v(w) prime?
False
Let u be -4*(99/2)/(-1). Let w = u + 13. Is w a composite number?
False
Suppose -5*w + 5376 = -3*n, 0 = -3*w + 2*w + n + 1074. Is w composite?
True
Let y = 2 - -1. Suppose -y*f - f = 0. Let j(v) = v**2 + 69. Is j(f) composite?
True
Suppose 3*n + 0*n = 2037. Is n prime?
False
Suppose 3*c - 60 = q + 227, -4*c + 356 = 4*q. Is c prime?
False
Suppose 0 = -3*v - t - 25, 15 = v + 2*t + 3*t. Is (-2)/v - 616/(-20) a prime number?
True
Suppose 0 = -w - 2 + 11. Suppose 2*b - 23 = -w. Is b a prime number?
True
Suppose -5*y - 510 = -0*y. Let c = y + 289. Is c a composite number?
True
Let s(m) = -m**3 - 5*m**2 + 5*m - 2. Let x = -1 + -5. Is s(x) a prime number?
False
Suppose 2*b - 3050 = g - 6*g, 4*g = -4*b + 6124. Is b composite?
True
Suppose 13*r - 3812 = 9*r. Is r prime?
True
Let t(h) = -h**3 - 6*h**2 - 11*h + 4. Is t(-9) a prime number?
False
Let j = 2 - -116. Suppose -j + 12 = -2*v. Is v a prime number?
True
Suppose 2*b - 3*b = 6. Let l be 26/(-2 - (b + 2)). Suppose -5*h - 105 = -5*n, n - 3*h - l = 12. Is n composite?
False
Let n(g) = 6*g**2 + 5*g - 26. Is n(-7) prime?
True
Let r be (0 - 14)*(0 + 1). Let x(w) = -w**3 - 13*w**2 + 12*w - 9. Is x(r) composite?
False
Suppose 0 = -0*d - 2*d - 2. Let c = d - -16. Let k = c - -18. Is k a composite number?
True
Let f(j) be the third derivative of j**6/120 + 7*j**5/60 + j**4/4 + j**3 - 2*j**2. Is f(-6) a prime number?
False
Let h be 12 - (-2 - 0 - -2). Is (188/2)/(8/h) composite?
True
Let u(b) = -2*b**3 - 15*b**2 - 2*b - 43. Is u(-14) prime?
False
Suppose -2*w = s - 457, 0*w = 3*s - 3*w - 1344. Is s prime?
False
Suppose -4*z + 88 = -3*d + 7*d, z + 12 = d. Suppose 5*u - d = t, -u + 4*t - 3 - 5 = 0. Suppose 4*r - 957 = -y + u*y, -3*r + y = -714. Is r prime?
False
Suppose 0 = 4*y - 110 - 50. Suppose b + y = 3*b. Is (-10)/b - (-131)/2 a composite number?
True
Let q be (-9)/(3/6*-3). Let s be q - ((-6)/2)/3. Suppose -3*u = -140 - s. Is u a composite number?
True
Let f be 2*(3/6)/(-1). Let o(z) = 8*z**3 - z. Let r be o(f). Let p = r + 14. Is p prime?
True
Let l(h) = -2*h + 12. Let p be l(-9). Suppose 4 = i - p. Suppose -k = -4*f - i, 381 = 5*k + 2*f + 145. Is k prime?
False
Let c(t) = 9*t**2 + 10*t - 14. Let o(g) = 5*g**2 + 5*g - 7. Let l(y) = -6*c(y) + 11*o(y). Is l(-12) prime?
True
Is (12 + -11)/((-1)/(-967)) a prime number?
True
Is (-12 + 1)*370/(-10) composite?
True
Let t = 7395 + -5216. Is t a prime number?
True
Suppose -3*t + 3069 = -5*q + 7516, -3*q = t - 2657. Is q prime?
True
Let c(w) = 6*w - 1. Let g be c(1). Let p(j) = -2*j - g - 9*j - 4*j. Is p(-4) composite?
True
Let n(x) = -1 + 13*x - 2 + 0 - x. Let w(s) = -s**3 + 3*s**2 - 2. Let h be w(2). Is n(h) prime?
False
Let k be 2597/28 - 2/(-8). Suppose v + 0 = k. Is v prime?
False
Let g = -14 - -34. Suppose 2*i - 3*i + 2*c + 8 = 0, c = -4*i + 23. Suppose -i*r = -4*r - g. Is r a prime number?
False
Let u(l) = l**2 - 2. Let j be u(2). Is 3 + -3 - (j - 147) composite?
True
Is 3/(-3)*17*-3 a prime number?
False
Suppose 3*z - 356 = z. Let h = z - 93. Is h a composite number?
True
Suppose -j - 4*j = i - 2059, 0 = -4*j - 3*i + 1656. Let k = 706 - j. Is k composite?
True
Let l(s) be the first derivative of s**3/3 + 2*s**2 - 3*s - 1. Let v be l(-5). Suppose v*r - 4 - 24 = 0. Is r prime?
False
Suppose 3*l + l - 5*w + 2 = 0, 0 = l + w - 4. Let q be 1/(2 + -3)*-643. Suppose 2 = -l*b + 10, -5*f = 2*b - q. Is f a prime number?
True
Let b(z) = -111*z**2 + 2*z - 1. Let c be (0 + -1)/1 - -2. Let t be b(c). Let m = t - -165. Is m composite?
True
Let c(d) = -d**2 + 27*d - 27. Is c(11) prime?
True
Is -1 + (-2 - -1) - -181 composite?
False
Suppose 550 = 3*z + c, 2*z + 2*c - 397 = -37. Let a = z - 95. Let f = a + -52. Is f prime?
False
Let s = 7 - 3. Is -8*(-130)/s - 1 a composite number?
True
Suppose -2*w = -5*k, -6*k + 4*k = -3*w + 11. Is k prime?
True
Let t(d) be the second derivative of -53*d**5/20 + d**4/12 + d**3/6 + 2*d. Is t(-1) a prime number?
True
Let f = -10 + 14. Suppose -3*i = -0*i - 510. Suppose i = f*r - 2*r. Is r a composite number?
True
Suppose 4*f = 3*t - 137 + 393, 3*f - 3*t - 189 = 0. Is f prime?
True
Let x(v) = -v**2 - v + 3. Let n be x(-3). Let h(y) = -y**3 - 5*y**2 - 3*y + 2. Let l be h(n). Let m(z) = z**3 + 8*z**2 + 4*z - 10. Is m(l) a prime number?
True
Let h(f) = -f**2 - 4*f + 4. Let z be h(-4). Suppose 0*b + 5*b + 45 = 4*r, -45 = -5*r + z*b. Suppose -5*c = r*d - 27 - 18, c - 53 = -5*d. Is d a prime number?
True
Let t = 5 - 4. Let y be t + (-2)/4*2. Suppose -w + 0*w - 102 = -s, -s + 5*w + 122 = y. Is s composite?
False
Let b(v) = v**3 + 6*v**2 + 4*v - 2. Let g be b(-5). Suppose -p - 2 = -g*x, -5*p + 12 = x - 5*x. Suppose -267 = -5*f + x*f. Is f composite?
False
Suppose 4*b - 45 = 5*p, -20 = p + b - 4*b. Let v = p + 11. Is v composite?
True
Suppose 0*w - 3*w = 0. Suppose w = 9*b - 13*b + 508. Is b a prime number?
True
Let d be (20 - 0)*11/4. Suppose -5*y - 100 = 5. Let a = d + y. Is a a prime number?
False
Suppose -6140 = -4*r - 0*r. Is r composite?
True
Suppose -51 = 5*u - 131. Let t be 1/(-2) - (-2)/4. Suppose t = h - 2*h + 5*y + 17, -2*h + y = -u. Is h a prime number?
True
Suppose -1 = -g + 67. Suppose -2*x + 50 = -g. Is x a prime number?
True
Let o = 177 + -62. Is o composite?
True
Suppose -5*x + 33 = 8. Suppose -x*t + 15 = 0, -2*s - s - 4*t = -495. Is s a composite number?
True
Let u = -16 - -46. Suppose 10 = 5*r - 5, 4*b + u = 2*r. Is (-2042)/(-22) - b/33 a composite number?
True
Let i be ((-9)/27)/(1/(-12)). Let o(b) = -7*b. Let m be o(-2). Suppose i*r = 14 + m. Is r a prime number?
True
Let y(d) = 10*d + 2 - 14*d + 6*d. Is y(2) prime?
False
Let w(f) = f**3 + 12*f**2 + 7*f - 9. Is w(-10) a composite number?
True
Let j be -4 - 3/((-9)/39). Is (-2)/j + (-1600)/(-72) prime?
False
Let j = 9 - 4. Suppose -55 + 229 = 3*k. Let a = k - j. Is a composite?
False
Suppose -2*w + 0*b = 2*b - 322, 0 = -3*b + 12. Is w a composite number?
False
Let t = -2 - 0. Is t/((-5)/(250/4)) prime?
False
Suppose 4*s + s = 35. Let g(l) = 7*l - 2 + s*l - 8 - 3*l - l**2. Is g(8) a composite number?
True
Let v(u) = 17*u**2 - 16*u - 2. Is v(-13) a composite number?
False
Suppose -3*l = -5*l + 52. Is l a composite number?
True
Let a = -287 + 478. Let f = -104 + a. Suppose 4*y = 3*o + 6 - f, 0 = 5*y - 15. Is o composite?
False
Let s(x) = 7*x**3 + 8*x**2 + 1. Let d be s(7). Suppose 3*b + d - 7237 = 0. Is b a composite number?
False
Is (3/1)/(3/142) composite?
True
Suppose 6*m - 2*m - 88 = 0. Is m a prime number?
False
Let b(f) = -f - 3. Let z be b(0). Let a(q) be the second derivative of -q**5/5 - q**4/6 + 5*q**3/6 + 2*q**2 - 2*q. Is a(z) a composite number?
False
Is 318*3*1/6 composite?
True
Let f be ((-10)/15)/((-1)/3). Suppose 0 = -l + 4*l + 2*h - 23, 5*l - 17 = f*h. Let z = 28 - l. Is z composite?
False
Suppose 8 = 2*d - 2*h, 2*d = 5*h + 6 + 5. Let s(r) = r**3 - 2*r**d + 5*r**2 + 2*r**3 - 2 - 7*r. Is s(-6) a composite number?
True
Suppose -3*r = -0*r + 2*b - 853, 4*b + 4 = 0. Suppose 2*t - 5*t = -r. Suppose -3*d + t = -2*d. Is d a composite number?
True
Let b = 9 - 5. Suppose 6 = 5*x - b*x. Suppose n + 35 = x*n. Is n a prime number?
True
Let y(l) = l**3 + 5*l**2 - 2*l - 3. Suppose 38 