/(-7) - x/(-21)) prime?
True
Let p = 979 + 823. Suppose 2*t - p = -4*h, 2*t - 583 - 1243 = 4*h. Is t composite?
False
Let i = 885 - 1290. Let s be 6*(-4)/16*-4. Is 1/(-2) - i/s prime?
True
Let p = 30 + -16. Suppose -10*k - 764 = -p*k. Is k prime?
True
Let h(p) = 6*p**2 - 5*p - 7. Is h(6) a prime number?
True
Let p = -6292 - -9249. Is p prime?
True
Is 58900/8 + 2/4 composite?
True
Let z(a) = -2*a**2 + 5 + 4*a**2 + 2*a**2 - 4*a + a**3. Let m be z(-5). Suppose -d + 5*d - 508 = m. Is d composite?
False
Let y(i) = -33 + i**2 - 9*i + 2*i**2 - 8*i + 2*i**2. Is y(14) prime?
True
Let i be 0/(-1) + (-3363)/3. Let h = 2602 + i. Is h a prime number?
True
Suppose -3*k = -n - 3*n + 1505, -4*n - 4*k + 1540 = 0. Let x be 0 + -3 - (-1 - n). Suppose 130 = 4*i - x. Is i composite?
False
Let v = -352 + 987. Let c = v - 1687. Is 2*(1 + c/(-8)) composite?
True
Let l(t) = -366*t + 125. Is l(-27) prime?
True
Let k = -6 + 9. Suppose k*d = -d + 724. Is d composite?
False
Suppose 50*b = 37*b + 81731. Is b a composite number?
False
Suppose 0 = 10*t + 5967 - 36617. Is t a prime number?
False
Suppose -3*t - 27 = -6*t. Suppose -3*m + 2*v + 9 = -v, 5*m + v = t. Suppose -m*c = -433 - 219. Is c a prime number?
False
Let x(r) = -r + 6. Let d be x(7). Let a = d - -12. Let s = 40 + a. Is s a prime number?
False
Suppose 4*x - 3583 = -f, 3*f + 11*x - 10728 = 6*x. Is f composite?
False
Suppose 4*c + 4*t - 300 = 0, 303 = 4*c + 3*t - 0*t. Suppose -c + 290 = 4*h. Is h composite?
False
Suppose 4*g = 5*r + 23 + 3, 12 = 4*r + 5*g. Is -4 - (1932/2)/r prime?
True
Suppose 2*r - 618 = -56. Let o = r + 46. Is o a prime number?
False
Let z be 16/(-56) + (-6)/(-21). Suppose f + 2*f - 3783 = z. Is f a composite number?
True
Let f = -5712 - -15299. Is f composite?
False
Suppose 4*p + p = -3840. Let f = -517 - p. Is f composite?
False
Suppose 3*s = 3*l + 2 + 4, -4*l - 2*s + 16 = 0. Suppose -l*d = -0*d - 236. Is -1 - -1 - d/(-1) a prime number?
False
Let v(o) = o**3 + 6*o**2 - 8*o + 2. Let p be v(-7). Let q be p/6*12/9. Suppose q*c - 192 = -3*h - c, 4*h + 5*c = 251. Is h prime?
False
Let c = 35406 + -17347. Is c a prime number?
True
Let q be 14 + -13 - 0/1. Let o be q + 2 - -4 - 4. Suppose 2*v + o*s = 255 - 38, -5*s + 98 = v. Is v a composite number?
False
Let m(b) = 3*b**2 - 19*b - 26. Let t be m(14). Suppose -p + t + 575 = 0. Is p a composite number?
True
Suppose -5*p = 5*l - 40750, -17*l + 8162 = p - 20*l. Is p composite?
True
Let h be (-20832)/155*(-20)/(-6). Let u = h - -747. Is u composite?
True
Let v(m) = -m**3 + 3*m**2 - m + 5. Suppose 0*c + 20 = 4*c. Let y be 1/(-1) - (8 - c). Is v(y) composite?
True
Let k be -4 - ((-4)/3)/(14/(-21)). Is (-11)/33 - 4040/k a prime number?
True
Let d(m) = m + 11. Suppose 4*c = -q - 39, 0*c = -5*c - q - 50. Let s be d(c). Suppose 5*g - 5 = s, -2*v - 2*g = -g - 103. Is v composite?
True
Let r(y) = 2 - 17 + 33*y + 61*y + 8. Is r(6) a composite number?
False
Let o be (-4)/(-6) + (-9176)/(-6). Suppose m + 3*m + 5*c = 3125, 2*m + 4*c - 1558 = 0. Let r = o - m. Is r a composite number?
True
Let i be (-1 + 2)/(1/(1 - -630)). Suppose f - 2*w = i, 666 = f - w + 6*w. Is f a composite number?
False
Let b be ((-28)/(-4) - 4) + -3. Suppose 2*g - 1166 = -b*g. Is g composite?
True
Let r(c) = -587*c + 2. Is r(-7) composite?
False
Let p be (16/(-5))/((-1)/5). Let x = p + 1551. Is x composite?
False
Suppose -55559 = 16*v - 529335. Is v composite?
False
Let f be (-41)/(-7) + 4/28. Suppose -9807 = -f*m - m. Is m a prime number?
False
Let a be (30/45)/((-6591)/(-6588) + -1). Let t be 97/(-2)*2*5. Let h = t + a. Is h composite?
True
Suppose 2*z - 5 = 1. Let k(q) = -5 + q**z + 13*q**2 - 2*q**3 - 4 + 0*q**3. Is k(11) a prime number?
True
Let m = -852 + 1677. Let d = m - -926. Is d prime?
False
Suppose 0 = -2*i - 0*i + 8. Let w(o) = 6*o - 7. Let k be w(-4). Let m = i - k. Is m composite?
True
Let z(a) = a**2 + a + 17. Let l = -13 + 13. Let j be z(l). Suppose -j = -5*i + 3, 5*k = i + 1171. Is k a composite number?
True
Let s(h) = -268*h**3 - h. Let v be s(-1). Let y = -648 - -462. Let t = v + y. Is t a composite number?
False
Let l = -536 + 942. Let x = -152 + l. Is x a composite number?
True
Suppose c - 15 = -4*f + 28, 5*f + 88 = 4*c. Let a = -24 + c. Is 2686/3 - a/9 a prime number?
False
Suppose 43*z - 50*z + 97489 = 0. Is z a prime number?
False
Suppose -6*n + n + 112154 = o, 0 = -3*o - 3. Is n prime?
False
Let b(j) = j**3 + 12*j**2 + 8*j + 10. Let k(c) = c**2 + c + 1. Let f(v) = b(v) - 6*k(v). Is f(-3) a prime number?
False
Let h = 17058 + -3965. Is h prime?
True
Suppose -5*b - 3*u - 20137 = 0, -3*b = -b + 5*u + 8051. Let z = -1187 - b. Is z a composite number?
True
Let l = 86 + -89. Let k be 4/18 - (-320)/18. Is (1266/k)/((-1)/l) a composite number?
False
Suppose 0 = -4*k - 0*k + 180. Let p = 325 + -195. Let i = p - k. Is i a prime number?
False
Suppose 4 = -3*q - 2*i + 3*i, 2*q = -i + 4. Suppose 0 = -0*u - 5*u - 10, q = -s - 5*u + 543. Is s a prime number?
False
Let z(s) = -s**3 + 29*s**2 - s - 19. Is z(12) a composite number?
False
Let o(u) = -u**3 + 9*u**2 + 17*u - 6. Let w be o(12). Let l = w + 368. Suppose l = -x + 3*x. Is x prime?
True
Suppose 2*q - 6 = -2, 0 = l - 2*q - 1005. Is l a prime number?
True
Let z be ((-12)/(-4) + 2)*-3. Let f be (-1)/(-3) + 20/z. Is (-293)/(1 - (-2)/f) a prime number?
True
Let r = 15 + -12. Suppose -p - 281 + 55 = -5*j, -3*j + r*p = -126. Let n = j - 9. Is n composite?
False
Suppose 8 - 4 = 2*f. Let y(i) = 298*i + 1. Is y(f) prime?
False
Suppose -12*t + 16*t + y = 73420, -3*y = -t + 18355. Is t composite?
True
Suppose 3*w - 5 = 1. Suppose -3*h = w*h + 20. Is h/(-6)*(-7326)/(-12) a prime number?
False
Suppose -10*b - 38045 = -17*b. Is b a prime number?
False
Let v be (4 + 28/(-8))*-4210. Let d = -1006 - v. Is d a composite number?
True
Let j(v) = 15*v**2 - 9*v - 115. Is j(-14) composite?
True
Suppose -4*j + 6172 = -3*v + 8*v, -3*v = 0. Is j composite?
False
Let s(y) be the second derivative of -4*y**3/3 - 4*y**2 + 4*y. Let b be s(11). Let j = -45 - b. Is j prime?
False
Let u(s) = 193*s**2 + 4*s + 15. Is u(4) a prime number?
True
Let j be (-24381)/(-42) - (-3)/(-2). Suppose -2*o - 1170 = -4*f - 0*f, 2*f + o = j. Is f composite?
True
Suppose -93758 = 10*v - 24*v. Is v a composite number?
True
Suppose 2*a = -5*n + 3, 5*a = -4*n + a + 12. Let j be (n/2)/((-10)/60). Suppose j*d - 608 = -107. Is d prime?
True
Let u(w) = -555*w - 26. Is u(-4) prime?
False
Let j(o) = -70*o**3 + 6*o**2 + 7*o + 11. Is j(-4) composite?
True
Suppose -3*f = -43256 - 10483. Suppose -14*k = 1967 - f. Is k a prime number?
False
Let q be (-4)/(-5) - 192/(-60). Suppose -q*d = -10*d - 138. Let a = 66 + d. Is a composite?
False
Suppose 2*r = -2*f + 562, -4*f = 2*r - 415 - 145. Suppose 0 = 3*a + 3*q - 882, -a + r = 2*q + 2*q. Is a composite?
True
Suppose 0 = -26*f + 104241 + 127341. Is f a composite number?
True
Let t be ((-30)/75)/(2902/(-1450) + 2). Suppose 0 = 2*q - g - t - 29, 15 = -3*g. Is q composite?
False
Let s(v) be the third derivative of 19*v**4/24 - 5*v**3/6 - 8*v**2. Let n be s(-7). Let h = n - -205. Is h a composite number?
False
Is 106*2055/18*(-12)/(-20) a composite number?
True
Let o be 10/(-14) + 1 - (-19)/7. Is (o + 1)/2 + 451/1 composite?
True
Suppose -5127 = -k + 2*x - 3*x, 2*k = -x + 10256. Is k a composite number?
True
Is -4*(-22492)/8 - 0/(-9) a prime number?
False
Let b(a) = 7*a**2 + 90*a + 82. Is b(19) a prime number?
False
Suppose 2*c = 3*d - 3*c - 15, 2*c = -6. Suppose d = 4*f + x - 1747, -3*x - 2183 = -5*f - 4*x. Suppose 5*y + 2*i + 81 = f, 0 = -3*i. Is y a prime number?
True
Let q(n) = -3793*n**3 - 3*n**2 - 3*n. Is q(-1) prime?
True
Suppose -4*b - 120508 = -8*b. Is b prime?
False
Suppose w + 3613 = -o, 3*o + 7759 - 530 = -2*w. Let s = w + 5267. Is s a prime number?
True
Suppose 5*v - 5*k - 19 = 11, 2*k = 0. Suppose 0 = -v*u + 7*u - 788. Suppose 4*y - 432 = u. Is y a prime number?
False
Let i(n) = 18*n**2 - 5*n + 1. Let p(k) = -17*k**2 + 4*k - 2. Let c(o) = -7*i(o) - 6*p(o). Let w be c(-8). Let v = -1128 - w. Is v composite?
False
Let m(a) be the second derivative of a**5/20 + 11*a**4/12 + 7*a**3/6 + 7*a**2/2 + 7*a. Is m(-10) a prime number?
True
Let d(w) = 43*w**3 - 10*w**2 + 5*w - 3. Is d(5) a composite number?
False
Let k = -220 - -1142. Let t = k 