. Is b composite?
False
Suppose 2*a = 5*u - 17, 5*u - 7 = 2*u + 2*a. Let y be u + -3 - 6/3. Suppose y = -7*b + 3*b + 596. Is b prime?
True
Suppose 11205 = 2*s - 8781. Is s a prime number?
False
Let a(g) = 30*g + 1. Let l be a(1). Suppose l = 5*z - 2*k, 5*z = k - 3*k + 19. Suppose -z*m + 2*m + 753 = 0. Is m a composite number?
False
Suppose 3*u + 50 = 13*u. Suppose -4*h - 20 = -5*x, h = -3*x - x + 16. Suppose u*c - 815 = -h*c. Is c a composite number?
False
Suppose 0 = -2*k + 4*v + 14, 6 + 4 = 2*k - 3*v. Let r be -6*k/(-2) + 20. Is r - (4*-2 + 4) a composite number?
True
Let h(j) = 5*j - 65. Let v be h(14). Is v*(-2154)/(-60)*(1 + 1) a composite number?
False
Let a = 3004 - 237. Is a a composite number?
False
Let u = -3902 + 5747. Suppose 2*p = k - 381, -3*k - 2*p = 2*k - u. Is k prime?
False
Suppose f + 4*y - 17687 = 0, -3*y = 3*f + 2*f - 88486. Is f composite?
True
Suppose -3*a - 2*f = -7711, -3*f + 1145 = a - 1416. Is a a composite number?
True
Let b be ((-12)/(-10))/(909/150 - 6). Suppose 0 = l + 2*l + 24. Is b/l*1434/(-15) composite?
False
Let d = 1 + 13. Suppose 19*o - d*o = 3040. Suppose -3*l + 5*x + o = 0, -l + 216 = -0*l + x. Is l a composite number?
False
Suppose -3*d = -w - 6612, 3*w - 8*w + 2204 = d. Suppose 3*y - d = -b, 0*b + 716 = y + 5*b. Let j = y - 245. Is j a composite number?
False
Let j = 2002 + -1011. Is j a composite number?
False
Let y be (-11 - -4)*2/(-7). Let m = 14 - y. Let k(n) = 6*n - 7. Is k(m) a prime number?
False
Suppose 0*l = 2*h + 5*l + 41, 4*h - 5*l + 67 = 0. Let b = h + 97. Is b/2*(-5 - -7) a prime number?
True
Let b(f) = f + 16. Let x be b(-15). Let y(j) = 4*j**2 + j. Let g be y(x). Suppose 0*o - 885 = -g*r - 3*o, -o = 0. Is r a composite number?
True
Let q(x) be the second derivative of x**4/2 - 5*x**3/6 + 3*x**2/2 + 4*x. Is q(-4) a composite number?
True
Let x = -157 + 56. Let d = x + 586. Is d a composite number?
True
Let d be (-1372)/(-3) - (-2)/(-6). Suppose t - 417 = 4*i, 0*t - d = -t - 4*i. Is t a composite number?
True
Suppose -2*q + 4*q - 14 = 0. Let c(r) = -2*r + 3*r - q + 0*r**2 + r**2. Is c(-15) a prime number?
False
Suppose 0 = -3*n + 3*a + 1545, n + a - 1015 = -n. Suppose -n = -5*w - 5*i, 452 - 149 = 3*w + 4*i. Suppose -w = -o - 2*o. Is o a composite number?
True
Let t(q) = -q**2 - 25*q - 22. Let m = 6 + -17. Let p be t(m). Suppose 0 = -2*i + 2*f + 98, -2*f + p = i + 2*i. Is i composite?
True
Let o be 11/(-44) + (-2)/(-8). Suppose o = g, 5*t + g - 15 = -5. Suppose 0 = t*u + 70 - 332. Is u a prime number?
True
Let c be (-5 - -7)*1*(-3)/(-2). Let d be (3/6)/((-3)/(-888)). Suppose 287 = 2*b - 3*a, -b + 2*b + c*a - d = 0. Is b a prime number?
False
Let r = 15 + -17. Let o(i) = 65*i**2 - 4*i - 6. Let u(n) = -22*n**2 + n + 2. Let s(q) = r*o(q) - 7*u(q). Is s(-3) prime?
True
Let q = 2306 - 1132. Let a = 2005 - q. Is a prime?
False
Suppose 13 = -11*r - 20. Is (2/2 - 1480/15)*r a prime number?
True
Suppose -1958*f = -1942*f - 907952. Is f a composite number?
False
Suppose 4*b = 4*j - 306300, 5*j - 475160 + 92281 = 4*b. Is j prime?
True
Suppose 2*w = 3*h + 13, -7 - 12 = -5*w + 3*h. Suppose 2*a + 60 = -2*s - w*a, -3*s - 4*a = 96. Is (-6)/(-4)*(-3792)/s a prime number?
False
Let l(o) = -o**2 + 2*o + 1. Let i be l(4). Let a be (1/(-3))/(i/(-1743)). Let p = a + 240. Is p a prime number?
True
Suppose -2*s - 10 = -7*s. Let w be (-2 + 3)*38/s. Let p = w - -40. Is p composite?
False
Let l be (6/15)/((-2)/(-26050)). Suppose -26*n + l = -16*n. Is n prime?
True
Let j = 11726 - 6178. Suppose -z - j = -v - 1640, -15672 = -4*v - 4*z. Suppose -5*x = -v + 548. Is x a composite number?
False
Let r = -11 + 8. Is (-444)/(-8)*(-14)/r composite?
True
Let b = 141 + -772. Let d = -1751 - -2969. Let m = d + b. Is m a composite number?
False
Let f be (16/6)/((-12)/(-18)). Let g(h) = 4*h - 1. Let u be g(f). Suppose 2*v = -2*c - 2*v, -c = -v - u. Is c composite?
True
Let q(b) = 3877*b - 60. Is q(11) composite?
True
Let c be 296/20 + (-1)/(-5). Let l(s) = s**3 - 15*s**2 + 2*s - 19. Is l(c) composite?
False
Let f be -2 - -4*(-111)/(-2). Suppose 0*v + 5*v - 360 = 0. Suppose f - v = 4*b. Is b a composite number?
False
Suppose j = 3*j + x + 9, 5*x = 4*j - 17. Is 23/j*(4 - (3 - -23)) a prime number?
False
Suppose -4*n + 2*n + 12 = 0. Suppose -n*s - s = -8813. Is s a composite number?
False
Let i(u) = 41*u + 8. Let q be i(-6). Let w = 961 + q. Is w prime?
False
Let y(d) = -d**3 - 10*d**2 + 5*d + 9. Let n be y(-8). Suppose -4*r - 56 = -0*r. Let m = r - n. Is m composite?
True
Suppose 0 = 2*x - 0*x. Suppose 4*a + 0*q + 5*q - 40 = 0, x = -2*q + 8. Is 1/a - 1084/(-5) composite?
True
Suppose -25*q + 48792 = 4*l - 20*q, -3*l + 3*q + 36567 = 0. Is l a composite number?
True
Suppose 20*t + 3080 = 25*t. Suppose 3*v - 377 = t. Is v a composite number?
False
Let h(a) = 22*a + 18*a - 47*a + 8 - a**2. Let v = -22 - -16. Is h(v) composite?
True
Suppose -5*s = 43 - 3. Let n(f) = 12*f**2 + f - 6. Let y(x) = 23*x**2 + 3*x - 11. Let t(g) = -5*n(g) + 3*y(g). Is t(s) a prime number?
True
Suppose 0*u + 4*f - 161696 = -4*u, 0 = -3*u - 4*f + 121267. Is u prime?
True
Let n(r) be the third derivative of 91*r**5/60 - r**4/24 + 7*r**3/6 - 20*r**2. Is n(4) composite?
False
Let j = 17 - 13. Suppose j*a - a = 216. Let b = -51 + a. Is b a prime number?
False
Suppose 0 = -3*x - 4*n + 2681, 3*n + 0*n = -4*x + 3563. Is x a composite number?
False
Suppose -115236 = -42*c + 41046. Is c composite?
True
Suppose 4*z - 1057 = 3. Is z a composite number?
True
Is -4909*((-14)/10 - 4/(-10)) composite?
False
Let j(z) be the second derivative of -z**5/20 - 5*z**4/6 - 3*z**3/2 + 9*z**2/2 + 2*z. Let b be j(-9). Suppose 4*f = b*f - 165. Is f composite?
True
Suppose 13*m = -982 + 5285. Is m composite?
False
Suppose 4187 = 6*p + 1445. Is p a prime number?
True
Let x(o) = -223*o + 19. Suppose -q + 6*q = -40. Let r be x(q). Suppose -2*s = 5*z - 5*s - 2220, -4*z - 3*s + r = 0. Is z composite?
True
Is (-1 - -3) + 2 - (-1253 - 2) composite?
False
Let q be 72/16*4/3. Let a(p) = 14*p**2 + 2*p - 5. Is a(q) a prime number?
False
Suppose -z + 2819 = d, -2*z - 2*z + 3*d = -11248. Suppose 15*n - 10*n - z = 0. Is n a prime number?
True
Suppose -w = 5*l + 391, 0 = w - 5*l - 0*l + 381. Let v = w + 983. Suppose 5*r + 22 = v. Is r a prime number?
False
Let b = 5658 - 2269. Is b a composite number?
False
Let d(f) = 17180*f - 1. Is d(4) composite?
True
Let j be (1/(-3))/(3/(-142686)*2). Let v = j + -4422. Is v a composite number?
True
Suppose 2*c - 25 = -3*c. Suppose -3827 = -3*o - 3*q + 214, 3*o - c*q = 4001. Suppose -277 = 3*r - o. Is r prime?
False
Let i(b) = -1029*b + 13. Is i(-12) a prime number?
False
Let n(r) = -24*r**2 - 4*r - 1. Let c be n(-1). Let v = c - -43. Is v a composite number?
True
Suppose -8 = -5*u + u. Let v be -2*u*(-5)/10. Suppose 5*h = -4*f + 1507, -293 = v*f - 3*h - 1030. Is f a composite number?
False
Suppose 4*f = -a + 8*f + 4, f + 1 = 0. Suppose 0 = 3*l - a*l - 1599. Is l composite?
True
Let r = -985 + 2058. Let n = 1080 + r. Is n composite?
False
Let j = -447 - -634. Suppose -4*x + 6*h - 2*h + 140 = 0, h = 5*x - j. Is x prime?
False
Let t be (-1)/(-2 - (-180)/92). Suppose -7 = 4*z - t. Suppose -z*x = x - 385. Is x composite?
True
Is ((-268)/24 - -11)/((-2)/397284) prime?
True
Let k be 18/15*30/9. Let v be 243 + (3 - k) - -2. Let f = v - -135. Is f composite?
False
Suppose 0 + 6 = 2*x. Suppose -2*g + 3 = -x. Is (77/2)/(g/6) a prime number?
False
Suppose -b - 12 = -3*w - 4*b, 0 = 4*w - b + 9. Let r(p) = 1631*p. Let f(u) = -136*u. Let m(o) = -35*f(o) - 3*r(o). Is m(w) prime?
False
Let n be -1 + 105 - 24/(-24). Suppose -21445 - n = -10*o. Is o a prime number?
False
Let r = -388 - -549. Suppose -4*i + 693 - r = 0. Is i prime?
False
Is (-4513176)/(-54)*6/8 prime?
True
Suppose 6*y = 5*y - 1. Let x(w) = -5747*w**3 + 2*w**2 + w - 1. Is x(y) prime?
False
Suppose 12*l = 11*l - 3*s + 6598, -6598 = -l - 4*s. Is l prime?
False
Suppose 5*t - 8 = 5*h + 2, -5*h + 4*t = 10. Let r be h/(-3)*3 + 3. Suppose r*g - 8*g = -207. Is g a prime number?
False
Suppose 4447 = 5*a - 3423. Is a composite?
True
Let b = 16 - 18. Let g be (b - 9)*13*-1. Suppose -3*f = -3*k + g + 16, 4*k = 2*f + 212. Is k a prime number?
True
Let o = -1 + 16. Suppose -d + o = -4*d, -5*a - 3*d = 5. Suppose z - 1905 = -a*z. Is