s s(14) composite?
True
Let y(u) = 2*u**3 - u**2 + u + 21. Is y(0) composite?
True
Let b be (2 - 1)*-1 + 5. Let u = -3 + b. Is (131 + -4)*1/u a composite number?
False
Is (5 + -11 + 5)/(2/(-5438)) prime?
True
Let o(g) = 2*g - 2. Let y be o(2). Suppose -y*v + v = -163. Is v prime?
True
Let f(s) = s**2 + 3*s - 9. Suppose 0*z - 3*z = 24. Let v be -2 + 3 + -1 + z. Is f(v) a composite number?
False
Let u(l) = -l**3 + 6*l**2 + 8*l - 5. Let a be u(7). Is (-11)/(a*(-2)/28) a prime number?
False
Let h = 349 + -51. Let d = h + -141. Is d a prime number?
True
Suppose 2*u = 0, -w + 48 = w + u. Suppose -3*a - w = a. Is 369/a*-2 + 0 a prime number?
False
Is 2/(-4) + (-375)/(-2) prime?
False
Suppose -3*l + 0*q - 2*q = 12, -2*q = -3*l. Is l/((-2)/(-3)) + 74 composite?
False
Let f(n) = -274*n**3 - 4*n**2 - 2*n - 3. Is f(-2) prime?
False
Suppose -5*r - 3*c = -2273, r = -8*c + 11*c + 469. Is r composite?
False
Let u(j) = -j**2 - 10*j + 4. Let b be u(-5). Let h = 62 - 98. Let p = b - h. Is p composite?
True
Let k(u) be the third derivative of 39*u**5/20 + u**3/6 - u**2. Let p = -99 - -100. Is k(p) a composite number?
True
Let x = 12219 + -4924. Is x a prime number?
False
Suppose 5*d - 1 = -w + 20, 3 = 2*w - 3*d. Suppose w*r = 11*r - 3985. Is r composite?
False
Let x be (1 + 2 + 0)/1. Suppose 48 = -x*p - p. Is (4/p)/(2/(-18)) composite?
False
Is (6 - 5)*2533/1 a prime number?
False
Let t(b) = -3*b**2 - 7*b + 20. Let o(v) = -6*v**2 - 14*v + 39. Let l(h) = -3*o(h) + 5*t(h). Is l(-12) a prime number?
True
Let d be 3/(-6) - (-1)/(-2). Let h(l) = -53*l**3 + l**2 + l. Is h(d) composite?
False
Suppose 295 = 2*t + h, -h - 413 = -2*t - 128. Is t a composite number?
True
Let o = -127 + 182. Is o composite?
True
Let b(q) = 15*q**2 - 5*q - 1. Is b(3) a composite number?
True
Suppose 0 = 3*d - d. Let c(j) = d + 10*j + 6 + 1. Is c(9) a prime number?
True
Suppose -5*w + 2198 = -3097. Is w composite?
True
Suppose -3*t = -2*g - 13, t = -2*t - g - 2. Suppose 3*p + 62 - 290 = 0. Let i = p + t. Is i prime?
False
Suppose 33 = 4*j + 5. Suppose 5*k - 4 = -4*b, 0 = -4*k - j - 9. Is b composite?
True
Let m = -3759 + 5938. Is m composite?
False
Suppose 0*y + 25 = 5*y. Suppose y*k - 15 = -s, -s - s + 3*k = -17. Is s/(-25) + (-334)/(-10) a prime number?
False
Let g be 2/6 - 2324/(-12). Suppose 0 = h - 3*h + g. Is h a prime number?
True
Let u = 23 - 10. Is u composite?
False
Let f be 0*(0 + 1)/2. Is (f - -2)/(4/26) prime?
True
Let y(r) = -r**3 - 8*r**2 - r - 8. Let w be y(-8). Suppose -4*h - 183 + 71 = w. Is 1749/21 - (-8)/h composite?
False
Let x(r) = r**2 + 2*r - 2. Let u be x(-4). Suppose u*s = 3*s + 2151. Is s a prime number?
False
Let m(x) = -198*x**3 - 1. Let a be m(1). Let l = a - -378. Suppose 3*b + 6 = 2*w + l, b - 3*w - 53 = 0. Is b prime?
True
Suppose -2*d + 125 + 71 = 0. Let i = d + 107. Is i a composite number?
True
Suppose -3*r - 449 = -4*r. Is r a prime number?
True
Suppose -2947 = m - 5*m + 5*j, 3*j + 3700 = 5*m. Is m prime?
True
Let l(j) = 3*j + 0*j + 0*j - 3. Let w be ((-12)/(-5))/((-9)/(-30)). Is l(w) a prime number?
False
Suppose 0 = 4*g + 6*v - 4*v - 34, -2*v = -10. Is 5/(-30) - (-559)/g composite?
True
Suppose -3 = -4*q + 9. Suppose 6*r + 96 = q*r. Let u = -19 - r. Is u a prime number?
True
Is ((-25)/(-15) + 2)*15 prime?
False
Let y = 5 - 7. Let r(k) = -k**2 - 2*k - 2. Let m be r(y). Is m/7 + (-156)/(-7) prime?
False
Let o(r) be the third derivative of 7*r**5/120 - 5*r**4/12 + r**3/2 - 3*r**2. Let x(l) be the first derivative of o(l). Is x(9) prime?
True
Let v(f) = f**2 - 10*f + 2. Let b be v(4). Is 3*1/((-2)/b) a prime number?
False
Let b = -790 + 1799. Is b a prime number?
True
Suppose -4*p + 0*p + 24 = -2*a, -p + 60 = -5*a. Is ((-74)/(-6))/((-4)/a) prime?
True
Let x = -189 - -97. Let k = x + 64. Let z = 86 + k. Is z a composite number?
True
Let k(n) = n**3 + 5*n**2 - 8*n - 4. Let l be k(-6). Is 2 + 222*4/l composite?
False
Let n = 2648 + -1533. Is n composite?
True
Suppose -3*p + 735 = -5*l - 34, 4*l = 4*p - 1020. Is p prime?
False
Let d be 74*(-2)/(-4)*4. Let p = -9 + 78. Let z = d - p. Is z a prime number?
True
Suppose 5*o = o + 8. Is o*3/(-6) + 54 prime?
True
Let o(h) = h**3 + 5*h**2 - 6*h + 3. Let j be ((1 - -1) + -3)*6. Let n be o(j). Suppose -n*i = -8*i + 385. Is i a prime number?
False
Suppose -3*u + 34 = -2*u - 2*i, 3*u = 4*i + 96. Suppose -b + 2 = -l, -3*l + 5*b = -4*l + u. Is (-1)/((-2)/376) + l composite?
False
Suppose 4*s + 5*l + 175 = -0*l, 157 = -4*s + l. Let x be (2 + 1)/(3/(-2)). Is ((-31)/x)/((-4)/s) a composite number?
True
Let w = 291 - 152. Suppose -4*t + w = l, 4*l - 3*l + 3*t - 137 = 0. Is l prime?
True
Is (11674/(-65))/(2/(-35)) a composite number?
True
Let t be ((-6)/15)/((-1)/20). Suppose -4*g + 181 = 3*x - t*g, -x - 5*g + 92 = 0. Is x a prime number?
True
Let g(f) = -8*f**3 - 3*f**2 - 7*f + 1. Is g(-3) composite?
False
Suppose 86 + 226 = 3*o. Let g = -22 + o. Suppose -4*t + 114 = -g. Is t composite?
True
Suppose 0 = -4*b + 17 - 5, 0 = -5*m + 2*b - 531. Let q = m - -179. Is q a prime number?
False
Suppose -d = -3*d. Let h(k) = -4*k**3 + 4*k**2 - 2*k - 14. Let f(x) = 11*x**3 - 11*x**2 + 5*x + 41. Let q(m) = 3*f(m) + 8*h(m). Is q(d) a prime number?
True
Suppose 0*g = -g. Let b = g + 5. Let l(j) = 29*j - 2. Is l(b) composite?
True
Suppose -4*x = 3*x - 77. Is x a prime number?
True
Let y(k) = k**3 + 7*k**2 - 10*k - 1. Let n be y(-8). Suppose -n = -m - 4*m. Suppose 0 = -i - 2*p + 5, m*i = 5*p + 34 - 8. Is i a prime number?
True
Let s(b) = 156*b + 59. Is s(5) a composite number?
False
Let m = -42 - -23. Let d = m - -12. Is (d/2)/((-1)/22) a composite number?
True
Let b(a) = -a**2 - 15*a - 14. Let t be b(-14). Suppose 2*k - 6*k + 4388 = t. Is k prime?
True
Let y(l) = -l**2 - 12*l. Suppose -4*i = j + 2*j - 27, 5*i = -j + 20. Let d(v) = -v**2 + 5*v - 5. Let n be d(j). Is y(n) a prime number?
False
Suppose 3*z - 11 = 10. Is z composite?
False
Let g be 4/(-4)*-2 + -1. Let r = 34 - g. Is r prime?
False
Let n(v) = -v - 5. Let p be n(-8). Suppose 0 = 2*f + 2 - 4. Is p/(-9)*(-141)/f a composite number?
False
Let d(h) = -1 - 10*h - 33*h - 17*h. Suppose 3*f = -f - 4. Is d(f) composite?
False
Is 3/(((-3)/53)/(-1)) composite?
False
Let c = -636 - -901. Is c composite?
True
Let p(k) be the first derivative of -k**3/3 - 2*k**2 + 5*k + 2. Let n be p(-5). Suppose -325 = -5*d - n*d. Is d prime?
False
Let t be 4/(-18) + 20/9. Is (4/(-2))/(t/(-155)) composite?
True
Let o(r) = -8*r + 19. Is o(-14) a composite number?
False
Suppose 3*m - 6 = -0*m. Suppose m = -i - 1. Is ((-26)/6)/(i/63) composite?
True
Let c(d) = -2*d**3 - 5*d**2 + 6*d + 2. Is c(-5) composite?
False
Let p = 2 + 3. Suppose p*o - 183 - 240 = -2*v, 2*o - 158 = 2*v. Is o a composite number?
False
Let y(m) = -67*m - 2. Let s be y(-3). Suppose 3*p - 4*u + 1 - s = 0, -5*u = 15. Is p prime?
False
Suppose 2*g - 5*p - 279 = 0, 5*g - g = -5*p + 483. Is g a composite number?
False
Let y be (-6)/3 - 27*-1. Suppose -6*h = -h + 90. Let q = y + h. Is q prime?
True
Suppose -3*b - 4*s + 489 = 0, -2*b + 327 = -0*s + 3*s. Let j(g) = g**3 - g**2 + g - 2. Let r be j(2). Suppose -5*m = r - b. Is m composite?
False
Let d(t) = -t**3 + 4*t**2 + 2*t. Suppose 2*y = 6*y + 20. Is d(y) prime?
False
Let u(l) = -l**2 - 9*l + 5. Let f be u(-9). Suppose x + 16 - 59 = 3*s, -s = -f*x + 159. Is x a composite number?
False
Let z(d) be the first derivative of d**3/3 - 5*d**2 + 7*d - 1. Let b = -6 + 16. Is z(b) a prime number?
True
Let r(p) = p**3 - 2*p**2 + 4*p - 9. Is r(8) composite?
True
Suppose 2*g = 59 + 11. Is g prime?
False
Let t(p) = 268*p - 25. Is t(8) prime?
False
Let v = -30 + 15. Is 4/(-6) - 355/v composite?
False
Suppose 3*v - 3*r - 36 = 0, r - 11 = -2*v + 16. Is v a composite number?
False
Suppose 0*k - 379 = -h + 2*k, -4*k = 4. Let c = 264 + h. Is c a prime number?
True
Suppose 3*b - 5 - 8 = -4*t, 40 = 5*b + 3*t. Let d(w) = -1 - b*w - 2 + 0 + 3*w. Is d(-7) prime?
True
Suppose -2*v + b = 6*b + 10, -3*v + 5*b + 10 = 0. Suppose v*s - 111 = -3*s. Is s prime?
True
Let l = 70 + -23. Suppose 74 = 5*g - 3*g + 3*n, -g + l = -n. Is g a composite number?
False
Suppose k - 11 = 144. Is k prime?
False
Suppose -3*i + 0*i + 771 = 0. Is i a composite number?
False
Let a(z) = 17*z. Let w be a(1). Suppose 5*v + b - 29 = -0, 2*v - 5*b = w. Is 