a - 2*b + 2443 = v, 2*b - 3*b + 4 = 0. Is a prime?
True
Is (-2)/(-12) + (-345750)/(-180) a prime number?
False
Let s(m) = 901*m**2 + 20*m - 46. Is s(3) a composite number?
False
Let h(b) = -7282*b + 5. Let z be h(-1). Let f = z - 4994. Is f a prime number?
True
Let u = -216 + 422. Let z = u - -124. Suppose -2*p = -4*k + z, -5*k + 2*p = 124 - 537. Is k composite?
False
Suppose 2*o - 6 = -12. Suppose -2*p = p - 2*w + 6, -3*p + 4*w = 6. Is (p/o)/(10/855) a composite number?
True
Suppose 2*k + 6 = 2*g, 4*k - 5*g - 7 = -19. Is -3 + (-3 - k) - -626 prime?
False
Suppose 2*y - 220513 = -b, 245096 = 4*y - 3*b - 195915. Is y a composite number?
True
Let z = -76 + 223. Let x = 382 - z. Is x prime?
False
Suppose 5*g + 3492 = 8*g. Suppose 3*c = -2*t + 2*c + 1166, 2*c - g = -2*t. Let b = t + -317. Is b composite?
True
Suppose -5*z - 5*s + 63330 = 0, 0 = -3*z - 0*z + 4*s + 37963. Is z composite?
True
Let d(i) be the first derivative of -i**3/3 - 7*i**2/2 - 7*i + 3. Let o be d(-5). Suppose h + 2107 = 3*t, 2*t + o*t + 3*h - 3493 = 0. Is t a prime number?
True
Suppose 0 = -5*k - 3*a + 10684 + 3945, 5*k - 14633 = -a. Is k a prime number?
True
Suppose -1551 = -4*b + 1057. Suppose 14*u + b = 18*u. Is u a prime number?
True
Let t be (6/(-4))/(15/(-50)). Suppose -5*c = -3*m - 1615, -4*c - t*m + 1655 = c. Is c composite?
True
Is -1 + (143277/7 - (-13)/(-91)) composite?
True
Let i = -31599 + 53150. Is i prime?
False
Suppose -2*d = 5*j + 36, 0*j - 2*j - 48 = 5*d. Let r = d - -10. Suppose -r*w + 0*w + 114 = 0. Is w a prime number?
False
Suppose 239 = -8*l + 9*l - 2*k, 3*k = -2*l + 471. Is l a prime number?
False
Is (-1652)/59*53986/(-8) a prime number?
False
Is (-3)/15 - ((-287964)/20 + 3) a prime number?
False
Let h(n) = 106*n + 2 + 2 - 2 - 527*n. Is h(-7) composite?
True
Let y = 307745 + -126686. Is y a prime number?
False
Suppose -5*h = 3*o - 4 - 20, h = -2*o + 9. Let n(k) = 4*k**2 - 2*k + 3 - 7*k + o*k. Is n(6) a prime number?
False
Is 2/((-24)/(-130163)) - (-6)/72 composite?
False
Suppose 3*j + 11388 = 3*z, 154*j = 2*z + 159*j - 7571. Is z prime?
True
Suppose 2*t + 5*m = -2*t + 960, -3*t - 4*m = -719. Suppose 2*p = 3 + 3. Suppose -t = -p*d - 2*d. Is d a composite number?
True
Let c = -41 - -41. Suppose c*n + 2085 = 3*n. Is n a prime number?
False
Let i(h) = 69*h**2 - 40*h - 232. Is i(-5) composite?
False
Let s(n) = 547*n**2 + 5*n + 1. Let y be s(-3). Suppose -3*g + 7363 = 4*t, 3*g + 3*t = g + y. Is g a prime number?
False
Let w be (2/(-4))/((-3)/30). Let m = 1 + w. Suppose -4*p + m*p - 530 = 0. Is p composite?
True
Suppose n + 178 - 3752 = 0. Is n composite?
True
Is 14/21 + 52579/(-3)*-1 a composite number?
True
Suppose -184*m = -194*m + 132170. Is m prime?
True
Let b = 9095 + -2854. Is b a prime number?
False
Let o(d) = -100*d - 40. Let y(u) = -67*u - 27. Let g(h) = 5*o(h) - 7*y(h). Is g(-8) composite?
True
Let b(j) be the first derivative of j**4/4 - 23*j**3/3 + 12*j**2 + 9*j + 2. Is b(22) a prime number?
True
Let k = 22 + 111. Let s = 256 - k. Is s prime?
False
Let n(g) = -1311*g**2 + 6*g - 1. Let t(m) = 1310*m**2 - 5*m + 1. Let h(i) = 5*n(i) + 6*t(i). Is h(1) composite?
True
Suppose -42 = 10*q - 182. Suppose q*t = 7*t + 31409. Is t a composite number?
True
Suppose -5*y + 9153 = -2*u - 8082, -y - 4*u + 3469 = 0. Is y composite?
False
Let h = 10642 - 6591. Is h composite?
False
Let q = 12208 - 4605. Is q prime?
True
Let w = -88 + 10815. Is w a prime number?
False
Is (-16)/12*1 + (-56075)/(-15) prime?
False
Suppose 23*t = 5*t + 131094. Is t prime?
True
Suppose 219*k - 226*k = -46459. Is k a composite number?
False
Suppose -32*n = -33*n + 7143. Let b = n - 3200. Is b a composite number?
False
Suppose 3*a - t + 9 = 1025, -3*a = -2*t - 1015. Suppose -44*u = -43*u - a. Is u a composite number?
True
Let d(l) = -364*l**2 + 3*l - 2. Let y be d(2). Let i = y + 2133. Is i a prime number?
False
Let m be 2*28/(-8)*-3. Let u = m + -19. Suppose i = u*i - 213. Is i a prime number?
False
Suppose 5*d - g - 62216 = 0, d - 5771 - 6669 = -3*g. Is d a prime number?
False
Suppose 22*f = 5*f + 143803. Is f composite?
True
Let b = 48 - 46. Is 42*2 - (-3*b - -3) a composite number?
True
Suppose -4*h - 3225 + 11093 = 0. Is h prime?
False
Suppose 6*z - 9361 = -17*z. Is z a composite number?
True
Let l(j) = 4533*j - 7. Is l(2) a composite number?
False
Suppose 21396 - 253063 = -19*b. Is b a composite number?
True
Let s(t) = -t + 32. Let u be s(12). Is -370*(u/8 - 3) a composite number?
True
Let k(p) = 5*p - 15. Let r be (4 - 2 - 1) + 37. Let m be -3*(r/(-6) + 3). Is k(m) composite?
True
Let j = -151 + 106. Let f = 262 - j. Is f a composite number?
False
Suppose -3*o = -3*c - 1956, -3*c - 3254 = -6*o + o. Let r(n) = 2*n**3 - 4*n**2 - 5*n - 2. Let h be r(6). Let t = o - h. Is t composite?
True
Suppose -15548 = -12*g + 10216. Is g composite?
True
Suppose -2*s + 14 = -m, -s = -3*s - 4*m - 6. Let k(r) = -s - 3 + 2 + 5*r. Is k(5) composite?
False
Is 3 + (-165296)/(-30) - 12/(-90) prime?
False
Let p(a) = 61*a**2 - 14*a + 41. Is p(12) a prime number?
False
Is -4*(-808)/64 + 2/4 a composite number?
True
Let u(n) = n - 5. Let s be u(5). Suppose s = 2*t - 7*t + 5305. Is t composite?
False
Let y(m) be the first derivative of 11/3*m**3 - 3/2*m**2 - m + 4. Is y(3) composite?
False
Suppose -66023 + 25533 = -10*a. Is a composite?
False
Suppose -84*h + i + 114446 = -81*h, -4*h + 152601 = 5*i. Is h composite?
False
Let k be 3/(-3) + -2 + 5. Suppose k = -c + 15. Is c a prime number?
True
Let m be -2 - ((-2)/(-9) + 465/(-27)). Suppose m*r = 3*r + 3012. Is r a prime number?
True
Let t(y) = -57*y**3 + 5*y**2 - 13*y**2 - 1 - 2*y + 4*y**2 - 3*y. Is t(-2) composite?
False
Let f(y) = 119*y**2 - 5*y + 11. Is f(-5) composite?
False
Suppose 91*q - 95*q = -2972. Is q a prime number?
True
Suppose 0 = 6*y - 1612 - 986. Let x(v) = 92*v**3 - 3*v + 2. Let t be x(2). Let o = t - y. Is o a composite number?
True
Let w(v) = -v**2 + 3*v + 6. Let f be w(0). Suppose 5842 = -f*c + 21616. Is c a composite number?
True
Suppose 8*z - 9*z + 2098 = y, 4*y - 3*z - 8399 = 0. Is y composite?
False
Suppose -3*h = 4*a - 1 - 0, -3*h - 1 = 5*a. Let l be -1 - -150 - 9/h. Suppose -l = -5*m + 189. Is m a composite number?
False
Let q = 28 - 24. Suppose -q*w + 23 + 533 = 0. Is w a composite number?
False
Suppose 3*m + 5444 = 5*b - 0*m, -2*b + 5*m = -2189. Is b composite?
False
Let y = -4 + 6. Is (4888/12)/(y/3) prime?
False
Let d(c) = c + 16. Let n be d(-11). Suppose -2*x = 2*s + 14, -n*s - 3*x - 36 + 3 = 0. Let i(y) = -y**3 - 7*y + 1. Is i(s) a composite number?
True
Let s = 978 + -589. Suppose -9*g + 2720 = s. Is g prime?
False
Let h(o) = -11*o**2 + 9*o - 17. Let u(p) = -17*p**2 + 13*p - 26. Let g(k) = 7*h(k) - 5*u(k). Let z be 0 - ((-10)/(-1) + -1). Is g(z) prime?
True
Suppose -28592 = -58*s + 4874. Is s a composite number?
False
Let h = 16777 + -10779. Is h composite?
True
Suppose -4*y + 5*y = -3, -537 = -o + 3*y. Suppose 4*z - 4*i - o = 0, -2*i + 196 = -5*z + 850. Suppose -2*j - 13 = -5*t - 38, -5*j + z = t. Is j composite?
True
Suppose -4*z + 4738 = 870. Is z composite?
False
Let x(t) = 1669*t**2 + 17*t + 33. Is x(-4) prime?
True
Suppose -75*r + 30190 = -65*r. Is r a composite number?
False
Let r(h) be the first derivative of h**7/840 + 13*h**6/360 - h**5/10 + h**4/8 + 10*h**3/3 - 11. Let g(v) be the third derivative of r(v). Is g(-11) composite?
True
Let h(u) = -7 + u + 22*u - 7*u + 16*u. Let v = 44 + -36. Is h(v) a prime number?
False
Let d(h) = -5*h**3 + 4*h + 3. Let c be d(-3). Suppose 4*j = c + 14. Is j composite?
True
Suppose 0*s - 12 = 2*s. Let n = 9 + s. Suppose 58 = 2*r + 2*q, -4*r + q = -n*q - 156. Is r a composite number?
True
Let i be ((-22)/18 - -1) + 9427/99. Let g(c) = 2*c**3. Let m be g(1). Suppose i = -n + m*n. Is n a composite number?
True
Let i = 15279 + -2018. Is i prime?
False
Let v(f) = -f**3 - 4*f**2 - 2*f - 5. Let h be v(-4). Suppose 3*o - 4 = -n, h*n = -2*n + o + 20. Suppose -7*j + n*p = -3*j - 816, -2*j + 401 = 5*p. Is j prime?
False
Suppose 0 = -5*v + 2*v - 8328. Suppose -3*w - 3 = -4*f + 8, -4 = -3*f - 2*w. Is (-3)/(12/v*f) a prime number?
True
Let f(q) = 2*q**2 - 2*q + 2. Let y be f(0). Suppose -2*u - 16 = 2*u + 4*k, 3*u - k = -4. Is ((-149)/u)/(1/y) prime?
True
Let j(r) = 4*r. Let t be j(1). Suppose -t*q = 