posite?
False
Let d be 0 + (-270)/(-3) - 1. Suppose 4*i - 3*j - 262 = d, -i = j - 86. Is i prime?
False
Let d(o) = -9*o + 8. Let i(u) = 27*u - 23. Let b(p) = 8*d(p) + 3*i(p). Is b(4) a prime number?
True
Suppose z + 3*w - 325 = 0, 4*w - 334 = -2*z + 312. Is z prime?
False
Suppose 0 = -2*g + 2*j - 626, -5*g - 942 = -2*g - 4*j. Is (-1 + 0)/(5/g) prime?
False
Let c(l) = -2*l + 2. Is c(-2) prime?
False
Let c(k) be the third derivative of -k**5/60 - 5*k**4/12 + 5*k**3/3 - k**2. Suppose -34*m = -32*m + 16. Is c(m) a prime number?
False
Let r = -2 - 2. Let m(p) = -p**3 - p**2 + 3. Is m(r) a composite number?
True
Suppose -4*v = -1160 - 668. Is v a composite number?
False
Let i be 14/(-2) + 2/2. Let y be 2/i*(-6)/2. Is (y/2)/((-1)/(-326)) composite?
False
Let t(a) be the third derivative of 11*a**4/12 - 4*a**3/3 - a**2. Let s be t(8). Suppose b - s - 43 = 0. Is b prime?
True
Let q(v) = 14*v**2 + 3*v - 4. Is q(3) a composite number?
False
Let j = 23 - -51. Is j prime?
False
Let w = 6 + -13. Let k = -5 - w. Is (-3 - -1)/(k/(-223)) a composite number?
False
Let d(y) = -5*y**3. Let f be d(-1). Suppose f*i - 6*i - 10 = 0. Let r = i - -33. Is r prime?
True
Suppose -22*w = -29*w + 6769. Is w prime?
True
Let l = 5 - -366. Is l composite?
True
Suppose -o + 4*o = 1050. Suppose o = 4*y + y. Is 4/(-6) - y/(-15) composite?
True
Let y be 1/(-2 - (-7)/3). Let t be 4/(y - (0 - -1)). Suppose -4*p - 3*k - 48 = -148, -p + 5*k = -t. Is p composite?
True
Suppose 0 = 4*i + 4, 0 = -4*g - 4*i - 164 + 784. Suppose -5*o + 29 = -g. Is o prime?
True
Let n be (6/(-15))/(4/(-10)). Suppose -1 = 2*w + n. Let z = 128 + w. Is z a composite number?
False
Let f(p) = p**3 - 12*p**2 - 13*p - 1. Let k be f(13). Let c(l) = -503*l - 2. Is c(k) a composite number?
True
Let p = 11 + -6. Let u be p*-3*(-12)/45. Suppose -d - u*y = -5*d + 340, 0 = 2*y. Is d a composite number?
True
Let i(y) = -y**3 + 5*y**2 + 4*y + 7. Let h be i(5). Let t = 73 - h. Is t/2 + -2 + 2 composite?
False
Let c be (-10)/(-4)*(-12)/(-15). Let a(k) = -14*k**c + 28*k**2 + 40*k**2 - k. Is a(-1) a composite number?
True
Suppose -s - 99 = o, 3*o + 3*s = -s - 299. Let u = -18 - o. Is u composite?
False
Suppose -i + 2*j = -9, -j + 12 = -i + 6*i. Let n(b) = -7*b**2 + 3*b**3 - 2*b**3 + 5*b - 2*b**i - 11. Is n(-8) prime?
True
Let b = 0 + 2. Let h be 114/4*(4 - b). Suppose 4 = -d + h. Is d a prime number?
True
Let n(w) = 3*w**2 + 4*w - 1. Suppose -7*y = -2*y + 20. Is n(y) a prime number?
True
Suppose 0 = 10*v - 336 + 76. Is v a composite number?
True
Let d be (-3 - -1)/(-2) + 266. Suppose -3*r + o + d = -2*r, -4*o = -3*r + 803. Is r composite?
True
Let d(o) = 2*o - 13. Let g be d(8). Is 80 - 3 - (g + -3) a prime number?
False
Let m(n) = 8*n - 5. Let k = 8 - 3. Let h(b) = -16*b + 10. Let q(d) = k*m(d) + 2*h(d). Is q(5) prime?
False
Let m(q) = q**2 - 8*q + 8. Let c be m(8). Let f = c + -7. Is -2*(f + 163/(-2)) a prime number?
False
Suppose 4*x = l + 108, 2*x - 315 = 4*l + 173. Let r = -87 - l. Is r composite?
False
Is (-4)/(-6)*(-483)/(-2) prime?
False
Let z = 17103 - 9366. Is z a composite number?
True
Let b(f) = -f**3 + 3*f**2 + 2*f - 2. Let m be b(3). Let r(n) = n**2 - 3*n - 4. Let g be r(m). Suppose g = -3*k + 43 + 656. Is k composite?
False
Suppose 4*k - 4 = 8. Suppose -3*g - 3*q + 83 + 682 = 0, k*g + 5*q - 757 = 0. Is g a composite number?
True
Let j be 9*(7/3 + -2). Suppose -2*y = -2*o + 10, -5*y - 13 = -2*o + j. Suppose -2*r - 4*d + 42 = -0*r, 69 = o*r + 3*d. Is r a prime number?
False
Suppose 2*h - 2661 = -h. Is h composite?
False
Let l(f) = f**3 - 4*f**2 + f - 1. Let d be l(4). Suppose 0*a = d*a - 237. Is a composite?
False
Is 2/(-13) - (-27122)/26 a composite number?
True
Suppose -3*t = 5*y - 25, -2*t - 3*t = -4*y - 17. Let u = 452 - 320. Suppose v = u - t. Is v a composite number?
False
Let f(v) be the third derivative of v**6/120 + v**5/20 - 7*v**4/24 + 3*v**3/2 - 2*v**2. Is f(6) a prime number?
False
Let a(u) = -3*u - 4. Let g be a(-2). Suppose -g*f + 130 = -18. Is f a composite number?
True
Suppose -87 = -4*c + 2277. Is c a prime number?
False
Suppose 0 = -0*o + o - 4. Suppose -4*t + 25 = o*y - 35, -y + 4 = 0. Is t a prime number?
True
Suppose -2*f - c + 5*c + 344 = 0, -166 = -f - 4*c. Let u be (-77)/(-21) - (-4)/(-6). Suppose -3*q + 5 + 10 = 0, -q + f = u*k. Is k prime?
False
Suppose 0 = 2*a + 52 - 356. Suppose -a = 2*h - 4*h. Suppose 3*o = -v + h, v + 124 = 6*o - o. Is o a composite number?
True
Suppose -2*j + 0*j = 12. Let q be (3/j)/1*-38. Let p = q - -64. Is p a composite number?
False
Let m(t) = t**3 + 7*t**2 + 5*t - 2. Let s be m(-6). Is (-1)/(-1*s/852) a prime number?
False
Let a = -17 + 9. Is 1354/14 - a/28 a composite number?
False
Is ((-295)/(-10))/(-1*(-2)/4) a composite number?
False
Suppose d + 0*d + u = 25, 2*d - 62 = -5*u. Is d composite?
True
Let b(z) = z**3 - 6*z**2 + 8*z + 10. Is b(7) a composite number?
True
Let p(n) = 88*n**3 + 1. Is p(1) prime?
True
Suppose 0 = -4*t - r + 982 + 745, 2185 = 5*t - 4*r. Suppose 0 = -5*g - 5*w + 860, -2*g - 80 = 5*w - t. Is g a prime number?
False
Let o(w) = 2*w**2 + 5*w - 1. Let u be o(-4). Let g(m) = 4*m - 13. Is g(u) prime?
True
Let k(v) = v. Let f be k(-3). Let i be (4/f)/((-4)/6). Suppose -82 = -4*p - i*q, -2*q + 3 = -2*p + 47. Is p composite?
True
Let z = 2 + 0. Suppose -5*s = -4*s - 2*j - 45, -5*s + 185 = -z*j. Suppose 1 = -p + s. Is p prime?
False
Let g = -426 + 714. Let f = g - 143. Is f composite?
True
Let r(c) = -c**2 - 10*c - 8. Let u be r(-10). Is (1678 + u)/(4/2) composite?
True
Let q(j) = -j - 2. Let l = -10 - -6. Let r be q(l). Let y(n) = 4*n**3 + n**2 + 1. Is y(r) composite?
False
Let g be (30/(-24))/(2/(-152)). Suppose 3*y + g = 8*y. Is y a composite number?
False
Let v = -4 - -7. Suppose -v + 142 = d. Is d a prime number?
True
Suppose 2*u = -3*b + 465, 172 = b - 10*u + 5*u. Is b a composite number?
False
Suppose -i = -10 + 22. Let s be (184/i)/(4/(-78)). Is 4/(-18) + s/9 a prime number?
False
Let j(y) = y + 15. Let s be j(-13). Suppose a + 25 - 144 = 4*g, 5*a = s*g + 631. Is a composite?
False
Let d = -7 + 5. Let j = d + 25. Is j a composite number?
False
Suppose -5*z + 85 = 5*t, -2*z + 72 = 5*t + 23. Let o = 18 + -11. Let d = z + o. Is d a prime number?
True
Suppose x + 6*d = d + 28, 0 = 5*x - 3*d - 84. Let m = x + 4. Is m composite?
True
Suppose 2*k = -4*q - 70, -4*q - 34 - 33 = -k. Let i = q + 9. Is (-474)/i + 5/(-20) a composite number?
False
Let x be -3 + (0 + -2 - -1). Let s be (-26)/(-1)*(-2)/x. Suppose i - s = -0*i. Is i prime?
True
Let z(d) = -3*d - 2. Let u(x) = -x**2 + 7*x + 11. Let w(j) = -2*j**3 - j**2 + 2*j + 1. Let p be w(-2). Let n be u(p). Is z(n) a composite number?
False
Let p be ((-1098)/(-15))/(4/10). Suppose v + 0*v - 3*s = p, -2*v + 3*s = -372. Suppose -5*x - 3*j + 197 + v = 0, -9 = 3*j. Is x prime?
True
Suppose -5*l + l = 0, u - 4 = -4*l. Suppose -4*t - 3*d = -1069, u*d + 130 = -3*t + 937. Is t a prime number?
False
Suppose -2*c - 28 = -2*t, -3*c + 2*c = -4*t + 44. Let y(x) be the first derivative of x**3/3 + x**2/2 + 9*x - 5. Is y(t) a composite number?
True
Let q(i) = -i**2 + 29*i - 49. Is q(14) a prime number?
False
Is 39 + (-1)/(1/2) a prime number?
True
Suppose 0 = s + 7. Let u(i) = -14*i - 7. Is u(s) composite?
True
Suppose j = -2*j - 5*a - 4, j - 10 = 4*a. Suppose 0*y - 6 = -y + u, -2*y = 2*u + 4. Is 2*(j - (-7)/y) a composite number?
False
Is (-596)/(-6)*21/14 a composite number?
False
Suppose -7*h - 12 = -3*h. Let q be 6/4 - 34/4. Is q*(2 + h)*3 a prime number?
False
Is ((-623)/(-2))/((-28)/(-56)) a composite number?
True
Let l(f) = f**2 - 3*f - 19. Let a be l(8). Is -4 + 2 + a/1 composite?
False
Let y(x) = x - x**2 + x**2 + 3*x**3 - 6*x**3. Let f be y(-1). Is (f/(-3))/((-8)/444) a prime number?
True
Let b be (-14)/(-1 + (-1 - -4)). Is 2 - 1 - (-83 - b) a composite number?
True
Suppose -2*u - 76 = 5*f, 3*f - 20 = -2*f. Let x(v) = 3*v + 10. Let g be x(-7). Let q = g - u. Is q a prime number?
True
Suppose q = 205 + 150. Is q composite?
True
Suppose 4*t = 5*y - 24, 2*y - 7 = y + 3*t. Suppose a = 3*a + y, 4*a = -4*m + 48. Is m composite?
True
Let h = 87 + -34. Is h a prime number?
True
Let o = -7 - -11. Suppose 0 = o*k - 625 + 149. Is k composite?
True
Suppose 2*r - 5 - 5 = 0. Suppose 5*y - 3447 = 2*f, r*f - 681 = -y