s(b) - 8*c(b). Is w(-5) composite?
True
Let m = 55179 - -31498. Is m a composite number?
False
Let q(l) = -48*l**3 - 1. Let m be q(-1). Suppose j - 808 + m = 0. Is j a composite number?
False
Suppose m = 5*k + 22, -2*m + 0 = 3*k + 8. Suppose -m*j + 199 = -n, 5*n = -j - 0*n + 72. Is j a composite number?
False
Let d = -1039 + 2146. Let v(o) = 23*o. Let c be v(6). Suppose -c = -5*g + d. Is g a composite number?
True
Let x be (-14)/14 - 3*-1. Suppose 2*v + 2959 = 5*a, x*v - 5*v + 2974 = 5*a. Is a prime?
True
Suppose 0*o + o + 8 = 3*q, -5*o = -5*q + 10. Let b(u) = -2*u + 3. Let t be b(q). Is (113/t)/((-2)/6) prime?
True
Let i(y) = 4853*y**2 + 41*y + 41. Is i(-1) prime?
False
Let v(i) = -15*i - 1. Let j be v(1). Let w = -781 + -1447. Is w/j - 3/12 prime?
True
Let p = -8 + 13. Is 73820/25 + 1/p composite?
False
Let o be ((-10)/5)/2 - 132. Let y = o - -932. Is y composite?
True
Suppose 4*k + 3*u - 29 = 0, -16 = -2*k - 0*k - 2*u. Let j(c) = 6*c + 25. Is j(k) a composite number?
True
Let l = -50 - -56. Suppose h + 3*h - 28 = 4*j, 4*h - 16 = 0. Is (537/l - j)*2 composite?
True
Suppose -t + 14 = 2*u + t, 4*u + 3*t = 26. Suppose n + u*j = 17, -6 + 1 = -4*n + j. Suppose -4*o = n*d - 358, 0 = 5*o + 3*d + 2*d - 450. Is o composite?
False
Suppose 5*r - w - 2730 = 0, 0*w - w = -5. Let g(i) = 133*i**2 + 2*i + 1. Let q be g(-1). Let j = q + r. Is j composite?
True
Is (-3 + 0 - -45488) + (5 - 9) composite?
False
Suppose 15*s - 10*s + 2315 = 0. Let l = 259 + s. Is 3 - l - (6 + -2) a composite number?
True
Suppose -w - 30 - 134 = 0. Let b = -33 - w. Is b a composite number?
False
Let y(x) = -51*x + 24. Let o(r) = 26*r - 12. Let w(z) = 7*o(z) + 4*y(z). Is w(-5) a composite number?
True
Suppose -797*l + 790*l + 261695 = 0. Is l prime?
False
Suppose 3*n = 5*n + 30. Suppose 0 = -4*p - 3*s + 3668 + 4943, 0 = -3*s - 9. Is (-4)/6 - p/n a composite number?
True
Let f = 5233 + -3438. Suppose f = 5*j - 160. Is j a prime number?
False
Suppose -4*z + 135210 = 26*z. Is z a prime number?
True
Let x(k) = 2*k**3 + 8*k**2 + 22*k - 19. Is x(7) composite?
False
Let h be (-4)/(12/(-33)) - 0. Suppose h*g = 5*g + 1506. Is g a prime number?
True
Suppose -2*z = 3*g - 40528, -z + 6*z - 101303 = g. Is z a composite number?
False
Suppose -2*c = -7*c + 75260. Suppose 5*i - 3993 - c = 0. Is i a prime number?
False
Suppose -5*m + 4*o = 4, -2*m + 3*o - 5*o = -2. Suppose m = -5*z + 967 + 88. Is z prime?
True
Let n(r) = r + 1. Let z(g) = 2*g + 3. Let f(a) = 5*n(a) - 3*z(a). Let c be f(-9). Suppose -c*u + 176 = -159. Is u a prime number?
True
Is 16/(-36)*1 + 224221/9 a composite number?
True
Let w be ((-6)/(-4))/(1/8). Let h(p) be the first derivative of p**3/3 + p**2/2 - 17*p + 41. Is h(w) a prime number?
True
Suppose -2*h = -20 + 2. Let n be 16/h - (-8)/36. Suppose -4*w + 30 = -n*w. Is w a prime number?
False
Suppose 4 + 2 = -2*j, 2*g = -5*j - 73. Let n = g - -69. Suppose n = h - 22. Is h a composite number?
True
Suppose -222*m = -170*m - 133484. Is m composite?
True
Is (-16)/152 + 979471/19 prime?
True
Let f(k) = 188*k**2 + 29*k - 23. Is f(-8) a prime number?
True
Let u(d) = d**3 - 3*d**2 + d + 1. Let n(h) = 22*h - 12 - 12*h - h**3 + 8*h**2 - 8*h. Let v be n(8). Is u(v) a prime number?
False
Let d = 255 - -2302. Is d composite?
False
Let c be 4 - 161*(-3 + 2). Let v = 287 - c. Is v a prime number?
False
Let a(m) = -55*m**2 - 4*m + 8. Let z(t) = -109*t**2 - 8*t + 17. Let w(u) = -7*a(u) + 3*z(u). Is w(-4) a composite number?
False
Let m(h) = -80*h + 117. Is m(-10) prime?
False
Let y(a) = 106*a + 1. Let l = 18 + -18. Suppose 5*p = -l*p + 15. Is y(p) composite?
True
Let t(m) = m**3 + 6*m**2 + 6*m - 3. Let w be t(-4). Let x = w - 2. Let y = x + 44. Is y prime?
True
Let a(d) = 2*d - 39. Let v be a(15). Let c(w) = 16*w**2 + 38*w + 7. Let j(i) = -11*i**2 - 25*i - 5. Let n(r) = -5*c(r) - 8*j(r). Is n(v) prime?
True
Is 104495 - (-8)/(9 - 8) a prime number?
False
Let q(b) = -72*b - 7. Let x be q(-16). Suppose 3380 = 5*l + x. Is l a prime number?
False
Let a be (8/(5 - -19))/((-2)/(-12)). Is a/(-14) + (513360/35)/3 composite?
False
Is (15/(-5) + 6)*(634 + -3) prime?
False
Suppose 4*r + 1 - 23 = 5*o, 0 = 3*r - 4*o - 17. Suppose 4*i = 4*c + 7016, r*c + 3 = -0. Is i prime?
True
Let v(a) = 402*a**2 - 14*a - 7. Is v(3) a composite number?
True
Let d(u) = -30*u - 3. Let b(q) = q**3 + q**2 + q + 12. Let o be b(0). Suppose o = -3*a - a. Is d(a) prime?
False
Let d(a) = -a**3 + 11*a**2 + 8*a - 13. Let v = 30 + -20. Let c be d(v). Let x = c + -100. Is x composite?
False
Let v(f) = -f**3 - 4*f**2 + 5*f + 4. Let g be v(-3). Let o = -38 - g. Is ((-6)/o)/((-2)/(-318)) composite?
False
Let q(i) = -10904*i**3 - 2*i**2 - 2*i - 1. Is q(-1) composite?
False
Suppose 22 = -3*r + 7, 0 = d + 4*r - 7797. Is d composite?
False
Let s = 110 - 51. Is s prime?
True
Let x(z) be the first derivative of 5*z**3/3 + 3*z**2/2 + 5*z + 19. Is x(4) prime?
True
Let j = -488 + 1012. Is 1*(j - (5 - 4)) composite?
False
Let u(j) = 11*j**2 - 7*j**2 - 1 - j**2 + 0. Is u(5) composite?
True
Is ((-54)/36)/((-7)/100114) a composite number?
True
Let j(y) = 508*y**3 - 2*y**2 + 10*y - 47. Is j(3) composite?
False
Suppose -2 - 4 = -3*o. Is (2403/45)/(o/10) a composite number?
True
Let g(t) = -57*t**3 - 10*t**2 - 4*t + 8. Is g(-9) composite?
False
Let r = 114 + -109. Suppose 4*w - r*z = 21607, -w + 9042 = 5*z + 3634. Is w a prime number?
False
Suppose 3*k = -3*n + 47640, -k - 5*n = 1542 - 17434. Is k a prime number?
True
Suppose 0 = -7*o + 7836 - 1627. Is o a prime number?
True
Suppose l - 1 = -4*p, 4*p = 2*l - 6*l - 8. Let z = -140 + 140. Is (-12)/(-2) - (z - l) prime?
True
Let y(o) = -o - 1. Let j(q) = -q**3 + 2*q**2 + 4*q + 1100. Let v(r) = j(r) + 3*y(r). Is v(0) prime?
True
Let c = -305 - -151. Let m = c - -594. Let d = -297 + m. Is d a prime number?
False
Suppose -11*f = -5*f - 30. Suppose 41835 = 5*h + f*c, 7*c = 4*c. Is h a prime number?
False
Let d = -59 + 26. Let a be d/(-9) - (-8)/(-12). Is 1*a/(3/143) a composite number?
True
Suppose 0 = 19*t - 93878 - 84551. Is t a prime number?
True
Let r(t) = 86*t - 1. Let s be r(-6). Is 2/(((-12)/s)/6) composite?
True
Suppose 0*z = 2*z - 750. Let u = z + -64. Is u prime?
True
Suppose 5*r - 2*x - 70087 = 0, 30*r - 34*r - 2*x = -56084. Is r a prime number?
False
Is (2 + 31165)*(-2)/(-6) prime?
False
Let f(u) = 2*u**2 + u - 2. Let a be f(-3). Let o(z) = -2*z + 7 + 3 + 3*z. Is o(a) a composite number?
False
Let y(d) = -d**3 + 43*d**2 - 21*d + 53. Is y(32) composite?
True
Let t(y) be the first derivative of 0*y**2 - 5 + 2/3*y**3 - y. Is t(-8) a prime number?
True
Let h(w) be the second derivative of -1/2*w**2 + 13/12*w**4 + 3/2*w**3 + 1/20*w**5 + 0 - 3*w. Is h(-12) a prime number?
False
Let i be (1 + -3)*10519*-1. Is i/10 + (-12)/15 prime?
False
Suppose 3*p + 3 + 3 = 0, 20 = 3*y - p. Suppose y*s + k - 9 = 3*s, -s + 3*k = 7. Suppose 2*i - h - 2*h = 44, s*i + 4*h - 44 = 0. Is i composite?
True
Suppose -4*a + 27874 - 5110 = 0. Suppose -4*w = q - a, -5*w = 5*q - 1273 - 5822. Suppose -2*z - 261 = -y, w = 5*y - 5*z + 144. Is y a prime number?
True
Let c(q) = 2*q + 18. Let w(t) = 6*t + 56. Let l(b) = -16*c(b) + 5*w(b). Let p be (1 + 0)/(2/(-14)). Is l(p) a composite number?
True
Let f = -76 + 79. Suppose -34 = -b - f*g, 3*b = -2*b + 5*g + 150. Is b composite?
False
Let q(o) = 206*o + 525. Is q(23) a composite number?
True
Let u(h) = 26 + 10*h - 50 + 19. Let w be u(2). Suppose n - 6*n + 2*x + 475 = 0, -3*x = -w. Is n prime?
True
Is -2 + (169995/20 - 6/8) a prime number?
False
Suppose -264 = -4*c + 2*p + p, -3*p - 12 = 0. Suppose -3*f + c = -0. Suppose -3*z + f = -12. Is z composite?
False
Let h = -296 + 507. Is h composite?
False
Let k(q) = -q**3 + 40*q**2 + 30*q + 115. Is k(40) a prime number?
False
Suppose 11*m = -2596 + 151349. Is m a composite number?
False
Let f = -48529 - -81410. Is f composite?
True
Is ((-4866)/(-4) + 2)*2 prime?
True
Suppose 24*f = 45567 + 19761. Is f a prime number?
False
Let g be 15*(186/9 + (-6 - -5)). Suppose -3*q = -2*q. Suppose q = -4*h + g + 1. Is h a prime number?
False
Let x(c) be the first derivative of -c**3/3 + 5*c**2 + 6*c - 24. Is x(9) a prime number?
False
Let y(g) = -110*g - 24. Is y(-5) a composite number?
True
Let b be (-1)/(-3)*9/1 - -211. Let u = 687 - b. Is u a prime number?