646*b - 32. Let t be n(8). Let z = 9835 - t. Is z composite?
True
Suppose -8*m - 14 = -6. Is (-7)/((-14)/4) - 6767/m a prime number?
False
Suppose 2*p - 5*g = 5*p - 61348, -20426 = -p + 3*g. Is p prime?
True
Let m(w) = -69*w - 498. Is m(-25) a composite number?
True
Let l = -87 + 44. Let i = 177 - 115. Let n = i + l. Is n composite?
False
Suppose 2*c - 920 = 194. Is c composite?
False
Suppose 3 = 5*k - 7. Is 26185/25 + k/(-5) composite?
True
Suppose 7130 = h + 4*h. Suppose 0 = -5*d - h + 6201. Is d a prime number?
False
Suppose 7 = 6*o - 5. Suppose -o*p - 13 = -6215. Is p prime?
False
Let a(x) = -x**2 - 62*x + 32. Is a(-17) a composite number?
False
Suppose 0 = u + 3*u. Let c(a) = -a - 6. Let q be c(-11). Suppose 5*b + u*o - 295 = -o, -q*b + o = -295. Is b a prime number?
True
Suppose 0 = -2*t - 208 + 794. Is t - 0 - 7/(28/8) a prime number?
False
Suppose -3*s = 4*j - 4, 0 = -2*s + 7*j - 3*j - 4. Suppose s*p - 4*y - 1111 = -5*p, -4*y = -3*p + 665. Is p composite?
False
Let w = 36 + -30. Let x(m) = 39*m - 17. Is x(w) composite?
True
Suppose -3*o = 2*x - 20520, -2*x + 0*x + 6 = 0. Suppose 0 = 13*v - o + 1027. Is v prime?
False
Let v(j) = 3*j + 12. Let p be v(-11). Let q = -39 - p. Is 22764/108 + (-4)/q prime?
True
Let w be (-1)/(-3*(-4)/(-24)). Suppose -300 = -w*v - 46. Is v a prime number?
True
Let x be (2*1)/((-40)/100). Let v be (x + 3 - -9)*-2. Is 4/v - (-20718)/42 composite?
True
Let f(w) = -24*w - 65. Let b be f(-21). Let q = -248 + b. Is q a composite number?
False
Suppose 20*d = 8172 + 119248. Is d prime?
False
Let d = 668 - 321. Let g = 888 - d. Is g a composite number?
False
Suppose -3*c + 8093 = 5*m, c - m = 4*m + 2711. Suppose 0*h - 4*h = 3*o - c, -654 = -h - 5*o. Is h prime?
False
Let j(q) = 105*q**2 + 20*q - 4. Is j(5) composite?
True
Let h(c) be the first derivative of 3*c**4/4 - c**3/3 - 3*c**2 + 11*c - 4. Is h(5) a prime number?
True
Suppose k = 0, 2*x - k - 3*k = -8. Let p be -1 - x*(3 + -1). Let h(s) = 17*s - 6. Is h(p) prime?
True
Suppose 7493 = -483*q + 484*q. Is q composite?
True
Let c(q) = 4*q**2 + 25*q + 14. Let k(j) = -j**2. Let m(p) = -c(p) - 3*k(p). Is m(-12) prime?
False
Let d = -1192 + 2653. Is d a prime number?
False
Suppose z - 3*u = -3*z + 3362, 5*z - u - 4197 = 0. Is z a prime number?
True
Let j(y) = 21*y**2 + 6*y + 13. Let i be j(-6). Let s = -482 + i. Is s composite?
False
Let h = 297 - 191. Suppose t = h + 693. Is t a prime number?
False
Suppose -k + 206719 = 3*r - 3*k, -3*k = 6. Is r a prime number?
False
Let b(d) = d**2 + 3*d - 6. Let z be b(-5). Suppose 3*i = -2*k + 229, -i = -z*k - 51 - 30. Is i composite?
True
Suppose -4*t + 4*s + 192 = 0, 5*s + 55 = -5*t + 265. Let d be (-4)/1*t/(-18). Is 4/20 - (-68)/d composite?
False
Suppose 16*x + 1131 = 19*x. Let q = 729 - x. Suppose -178 = -2*v - a, -q = v - 5*v - a. Is v prime?
False
Suppose 1543 = 4*z - 1089. Suppose 2*j - z = 4*f, 0 = -0*f - 4*f - 20. Is j a prime number?
False
Let j(q) = -5*q**3 + 3*q**2 + 4*q - 4. Let r be j(-5). Suppose -r = -5*w + 1169. Suppose p - w = -104. Is p composite?
True
Suppose -p - 1 = 14. Let q be p/(-4) - 36/48. Suppose q*d + 0*g - 181 = 4*g, 0 = -4*d + 2*g + 258. Is d composite?
False
Suppose -2*y + 2 = -y, 0 = 2*w + 2*y + 26. Let i = 39 + w. Suppose t + i = 107. Is t composite?
False
Is (333048/9 + -1)/((-21)/(-63)) a prime number?
False
Let f(q) = 5*q**2 - 6. Suppose 5*x - 15 - 10 = 0. Let n be f(x). Let i = -72 + n. Is i a composite number?
False
Let l be 100573/66 - (-3)/18. Suppose 2*x - 5*j = l, -5*x = -0*x + j - 3837. Is x prime?
False
Is (-1)/(2 - 3)*9127 a prime number?
True
Let b(y) = -y**3 + 9*y**2 - 8*y + 7. Let v be b(6). Let x = v + -30. Let k = 594 - x. Is k a composite number?
False
Let k(q) = -q**3 - 4*q**2 + 2*q - 2. Let i = -11 - -6. Let x be k(i). Suppose -812 = 9*f - x*f. Is f a composite number?
True
Let a(l) = 18*l**3 + 2*l**2 - 1. Let s(x) = -17*x**3 - 3*x**2 + x + 2. Let b(m) = -3*a(m) - 2*s(m). Is b(-1) a prime number?
False
Suppose 0 = u - 42 - 100. Is u a prime number?
False
Suppose 521 - 109 = 3*u - 5*s, -u + 3*s = -144. Let g = u - 92. Is g a composite number?
False
Let b be 2*3/4*20/6. Suppose -b*j - 143 = -598. Is j a prime number?
False
Let y(j) = 17*j - 2*j + 34*j - 2*j - 51. Is y(20) a composite number?
True
Let s(h) = h**3 - 9*h**2 - 9*h - 12. Suppose 0*f + 20 = 2*f. Let z be s(f). Is z/(-6) + 3536/12 prime?
False
Is 4 - (-87704)/((-56)/(-7)) prime?
False
Let k = 5302 + -2328. Is k a composite number?
True
Let l = -2 - -4. Suppose 105 = l*q - 253. Is q a prime number?
True
Let w(g) = 33*g**2 - 17*g + 31. Is w(4) composite?
False
Is 176820/108 + 6/(-27) composite?
False
Let m(j) = 206*j**3 + 3*j**2 - 29*j + 55. Is m(2) composite?
False
Let d = -81 - -79. Let z(y) = -11*y**3 + 2*y**2 + 4*y - 5. Let n(c) = c**3 - c**2 - c + 1. Let k(r) = 4*n(r) + z(r). Is k(d) a prime number?
True
Let y(p) = p**3 - 4*p**2 - 2*p - 4. Let d be y(-4). Let b = 335 + d. Is (-2 - -3)/1*b a composite number?
False
Let c = 248 - -30. Let u = -63 + c. Is u a prime number?
False
Suppose a - 8259 = -2*a. Let s = -1596 + a. Is s a composite number?
True
Let w = -48 - -95. Suppose 5*h - 14 - 1 = 0. Suppose -h*t + w = -148. Is t a composite number?
True
Suppose -4*k + 36952 = 5*c - 3925, 0 = -5*k - 2*c + 51109. Is k composite?
False
Is (1477/21 + -3)/(16/1416) a composite number?
True
Suppose -35*p = -27738 - 577. Is p a composite number?
False
Let j be ((-460)/(-8) + -3)*42. Let v = 731 - j. Is 9/6 + v/(-4) prime?
False
Suppose x - 7 = -2. Suppose -3*q = 2*c - 5, 2*q + 1 = c + x*q. Suppose c*n - 786 - 481 = s, 0 = -5*s + 5. Is n prime?
True
Suppose 0 = 2*i - 2*f - 934, 3*f + 2*f + 15 = 0. Suppose 322 = 3*j - i. Is j prime?
False
Let n(a) = 770*a + 303. Is n(50) prime?
True
Let v(d) = 192*d**2 - 3. Let f be v(2). Suppose 0 = 5*m + 25, -4*m = -y + 6*y - f. Is y a composite number?
False
Let i(r) = -r**3 - 24*r**2 - 10*r + 17. Is i(-24) a prime number?
True
Let s(h) = 336*h**2 + 1. Suppose -l + 8 = 3*l. Suppose -t = 3*u - 2, -3 = -2*u + l*t - 15. Is s(u) prime?
True
Let a = -8 + 8. Suppose a = -9*w + 8*w. Suppose 3*d - 4*o = 2*d + 39, -4*d + o + 141 = w. Is d composite?
True
Let l(h) = 29*h**2 - 51*h - 14. Let t(w) = 10*w**2 - 17*w - 5. Let j(n) = 4*l(n) - 11*t(n). Is j(-10) prime?
True
Suppose -13*b = -19*b - 96. Is (-4)/(b/(-4))*-407 composite?
True
Let c(t) = -t**3 + 3*t**2 + 5*t + 2. Let o be c(4). Suppose -o - 4 = 2*b. Is (3 + b + 3)*51 a prime number?
False
Suppose -5*t - 20 = -4*f, 4*t - 5 = 3*f - 20. Suppose 5*p + t*p = 1115. Is p a composite number?
False
Suppose -n + 5*f = -8, 0 = 3*f + 3 - 0. Suppose 3*i + 30 = m, 4*i - m + n*m + 30 = 0. Is 532/36 + (-2)/i a prime number?
False
Let m(q) = -280*q + 21. Let j(f) = -560*f + 42. Let d(c) = 4*j(c) - 9*m(c). Is d(5) a composite number?
True
Suppose 3*i + 15 + 16 = 5*c, 2*c - 3*i - 16 = 0. Suppose -c*d = 3*a + 11, -2*d + 3 = 4*a - 1. Suppose -a*n + 3*g = -30, -5*g = -n - g + 7. Is n prime?
True
Suppose -6*d = -d + 855. Let w = d - -274. Is w prime?
True
Let z(q) = 3 + 4 + 1 - 5 + 14*q**2. Is z(2) a prime number?
True
Suppose 5*l = l + 8. Suppose -q - 3*o = -6*o - 201, o = l*q - 422. Is q composite?
True
Let z(n) = 128*n**2 + 4*n + 2. Let i(m) = -129*m**2 - 5*m - 3. Let j(h) = 5*i(h) + 6*z(h). Is j(-2) a composite number?
False
Let m = -488 + 4599. Is m prime?
True
Suppose 3*h + 717 = -3*i, -4*i = -3*h - 0*i - 682. Suppose -3*f + 142 = -5*a - 565, 243 = f + 2*a. Let n = f - h. Is n a prime number?
False
Let l(v) = -7*v - 3. Let o be l(-1). Suppose -4*n + 4432 = -o*z - 0*z, -4*z - 12 = 0. Let d = -542 + n. Is d prime?
True
Let z = 3464 + -901. Is z a prime number?
False
Is (64/24)/(-2)*(-10977)/4 composite?
False
Let r(i) = -9*i**2 + 17*i - 19. Let m(p) = -4*p**2 + 8*p - 9. Let l(k) = 7*m(k) - 3*r(k). Let n be l(6). Let c(h) = h**3 + 13*h**2 + 10*h - 14. Is c(n) prime?
False
Let f(w) be the first derivative of -41*w**4/4 + w**3/3 + 5*w**2/2 + 7*w + 12. Is f(-2) a prime number?
False
Let x(h) = -54*h - 71. Is x(-6) a prime number?
False
Let n(r) = 2*r**3 - 60*r**2 - 13*r + 26. Is n(33) a composite number?
False
Let u(n) = 14*n - 7. Suppose 4*g - 12*g + 96 = 0. Is u(g) a composite number?
True
Let n be (-135)/(-18) + 1/2. Suppose 4*d - 3676 = 4*q, 5*q - q = n. Suppose 0 = 2