Is k a prime number?
False
Let u be 0 + -1 + 4 - 0. Let m(s) = 4 + 15 + 7 + 1 + 2*s - 28 + 32*s**2. Is m(u) a prime number?
True
Let d(u) = 321*u**2 + 54*u + 241. Is d(-40) prime?
False
Suppose -3*r = -2*k + 42, -2*r + 8 = -6*r. Suppose -21*z + k*z = -6477. Is z a composite number?
True
Is 13/(-273)*7*-150621 a prime number?
True
Let i(y) = 12*y + 12. Let w be i(-3). Let z = w + 27. Suppose -5*t + z*d = -201, 3*t - 4*d - 121 = -2*d. Is t a composite number?
True
Let x(j) = j**3 - j**2 - 13*j - 16. Let w be x(-2). Is 75978/35 - 3*w/30 a composite number?
True
Let m = 19925 - -17474. Is m prime?
False
Suppose -7 - 5 = -3*r. Suppose 0 = -r*d - 75 + 83. Suppose d*x = 2*q - 1970 - 468, -4*q = -3*x - 4874. Is q a composite number?
False
Let n be 414/10 + (-5)/(25/2). Suppose -n = -b + 70. Suppose -b = -5*z + 1619. Is z a composite number?
True
Let g(y) = 13269*y - 21191. Is g(6) composite?
True
Let u(d) = -8289*d - 536. Is u(-9) prime?
False
Is (464109/(-9))/((-116)/348) composite?
True
Let x(t) = 26761*t**2 + 119*t - 230. Is x(4) prime?
False
Is (1602820/80)/((-105)/12 + 9) a prime number?
True
Let h = 60308 + 86571. Is h a composite number?
True
Let n be ((-10)/3 + 3)/(16/(-96)). Is (n/(-6))/((-10)/94410) a prime number?
False
Suppose 4*i - 187848 = 4*z, -79*i + 82*i + 2*z = 140861. Is i a composite number?
False
Suppose 3*g - 5295 = -5*u, -11*g - 2134 = -2*u - 9*g. Let t = 3819 - u. Is t a composite number?
True
Let a = 420 - 694. Suppose 2*f = 4, 4*f - 301 = -4*r + 1375. Let k = r - a. Is k a prime number?
True
Suppose 88*k - 831060 = 83*k - 5*w, 831068 = 5*k - 3*w. Is k a composite number?
True
Let m be ((-3)/(-7))/(37/259). Is (19 - 26242)*(-1)/m prime?
True
Let d(f) = 90*f + 29. Suppose 11 + 39 = -j - a, 5*j + 274 = a. Let o = j - -57. Is d(o) a composite number?
True
Let p = 19617 - 8150. Is p a prime number?
True
Suppose 0 = -3*l - 3*y + 84, 2*l - 2*y = 19 + 17. Let j(m) = 24*m**2 + 3*m**3 - 2*m**3 - 2*m**3 + 10*m - 6. Is j(l) a composite number?
True
Let f = 489395 + -320452. Is f composite?
False
Suppose 18*f - 14813 = 469. Suppose b - 242 = -3*x + f, -3301 = -3*b + 5*x. Is b prime?
True
Let o be ((-140)/56)/(1/(1*-2)). Suppose 0 = -0*b + 5*b + o*l - 41550, 2*l - 24931 = -3*b. Is b prime?
True
Let o(v) = v**2 - 3*v - 12. Let k be o(0). Is ((-1)/2)/(k/62616) a composite number?
False
Let b = 388 + -375. Suppose -b*m = -0*m - 87893. Is m a composite number?
False
Let r be (-55)/2*-36*(-24)/(-18). Suppose q - r = -2*y, y - 3299 = -4*y - 2*q. Suppose -5*k + 2*m + 3243 = -0*k, 0 = k - 3*m - y. Is k composite?
False
Let v be 0*(14/(-3) + 5). Suppose 2*y = -v*y - 2*f - 10, -2*f = -4*y + 10. Suppose 805 + 4883 = 5*k + q, -4*k + 5*q + 4533 = y. Is k composite?
True
Let k(l) = l**2 - 6*l + 6. Let x(b) = b**3 + 16*b**2 - 41*b + 13. Let r be x(-18). Let j = -82 + r. Is k(j) composite?
True
Let t be (1 - 9019/(-3))*27/18. Let o = -814 + t. Is o a prime number?
True
Let x be -6*((-15)/(-10) + -2). Suppose 2*n + n + 2*v = 921, 3*v - 921 = -x*n. Is n prime?
True
Let m = -32 + 32. Suppose -2*l + m*l = -78. Let d = 332 - l. Is d composite?
False
Let h be ((-30)/4)/((-10)/40). Suppose h*a = -3*a + 1136487. Is a a prime number?
True
Suppose -2*c = b - 6113, -5*b - 4*c + 23999 + 6572 = 0. Suppose 2*k = i - b, -5*k = 3*i + 2799 - 21133. Is i prime?
True
Let v be 8 - (1 - -1) - 143/11. Is v + 3 + (1 - (-8754 + -2)) prime?
True
Suppose 10*j = -204 - 496. Let i = -66 - j. Suppose 5 - 3 = -2*w, -i*w = 4*k - 616. Is k composite?
True
Suppose 54*h = 41*h - 182. Is (20/(-70))/((-8)/h)*-2162 prime?
False
Let n(y) = 2*y**3 - 12*y**2 + 2*y - 8. Let h(j) = -j**3 + 7*j**2 - 9*j + 1. Let z be h(5). Let o be n(z). Is o/(-18)*3 - (-33097)/69 prime?
True
Suppose 3*w + 3 = 4*w. Let i(a) = -27*a**3 - 8*a**2 - 2*a - 5. Let v(y) = 41*y**3 + 13*y**2 + 3*y + 8. Let u(n) = -8*i(n) - 5*v(n). Is u(w) composite?
True
Suppose -5*f - 1216142 = -o + 138290, -3*f + 5417797 = 4*o. Is o a prime number?
False
Suppose -4*g - 25 = -t, 4 = -5*g - 21. Suppose -t = -i - 0. Suppose -2*l = -10, -3*q = -i*q - 4*l + 958. Is q a prime number?
False
Let l = 108 - 105. Suppose 6391 = 5*k + 3*q, l*k - 2*q = 2*q + 3823. Is k prime?
True
Suppose -24*o + 109312 = -10*o. Let u = o - 4047. Is u a prime number?
True
Suppose 0 = 2*b + t + 118, 2*b - 5*t + 20 = -86. Let l = 60 + b. Suppose -l*j - 2199 = -5*j. Is j composite?
False
Let k = -3678 + 14004. Suppose -2*g = 4*u - k, 646 + 14857 = 3*g - u. Is g a composite number?
False
Let v = 50 + 45. Let j = 58 - v. Let l = j - -222. Is l prime?
False
Let l(w) = 18*w**3 - 8*w**2 - 2*w + 14. Let o be l(6). Let u = 1594 - o. Is (-7)/(-21) - u/6 composite?
True
Let z(p) = -7*p**2 - 29*p - 12. Let j(t) = t**2 + t + 1. Let y(k) = -5*j(k) - z(k). Is y(-36) prime?
False
Let c = -12 - 38. Is (c/(-15))/(758/(-762) + 1) a composite number?
True
Let s be (-66)/((-4)/(-10) - 40/(-25)). Let z = 224 + s. Is z a prime number?
True
Let l(k) = -6*k**2 + 20*k + 4. Let z(v) = -7*v**2 + 19*v + 5. Let r(j) = 6*l(j) - 7*z(j). Let a(x) = 2*x**2 - 12. Let s be a(3). Is r(s) composite?
False
Suppose 0 = -29*r + 26*r + 3. Is -2*5/10 - -45 - r a composite number?
False
Suppose -3*k - 265767 = -n + 155377, 3369179 = 8*n + 3*k. Is n composite?
False
Suppose 0 = -181*x + 107506 + 101756941. Is x a prime number?
False
Let t(l) = -4067*l + 118. Let j be t(-6). Suppose -7*a + j = a. Is a a prime number?
False
Let i = -5684 - -5684. Let t = 16110 + -878. Suppose -2*b = 5*m - t, 5*m - 3*b - 8798 - 6429 = i. Is m composite?
True
Suppose i = -3*o + 70947, 12 = 3*i - 7*i. Suppose 6928 - o = -a. Suppose -f = -2, -f - 13422 = -2*x + a. Is x a composite number?
False
Let d = -205 - -21. Let x = 747 + d. Is x composite?
False
Let l = -90 - -100. Let s be ((-2)/l*0)/(1 + -2). Suppose s*h = f + h - 636, 2*f - 4*h = 1242. Is f a prime number?
True
Let a(h) = 63 - 9*h**3 + 25*h**2 + 2*h**3 - 15*h - 14*h + 6*h**3. Is a(22) a prime number?
True
Let h(f) be the first derivative of 170*f**2 + 9*f + 7. Let a be (-4 - -5)*(-4)/3*-3. Is h(a) composite?
True
Let r = -6702 - -14360. Suppose 5*l + r = 7*l - 4*y, -4*l + 15289 = y. Let f = l + 598. Is f a composite number?
False
Suppose -3*d + 0*d - 4 = -2*t, -d = 3*t - 17. Suppose -4*a = -7*a + x + 4400, d*x = 4*a - 5870. Is a prime?
False
Let h(z) = 10*z**2 + 2. Let a be h(0). Let q = -38 + 66. Suppose -a*r - q = -4*r. Is r composite?
True
Suppose -23*p = -6884357 - 2493228 + 2271666. Is p a prime number?
False
Suppose 0 = 3*k + 3*n - 5253, n = 187*k - 192*k + 8779. Is k a composite number?
True
Suppose -7*g + 1669 = -2*g - 2*x, 3*x = 3*g - 996. Suppose 4*w = j - g, -w - 1045 = -3*j + 3*w. Is j composite?
True
Suppose 0 = -3*r + 3*z + 42, 0 = r - 6*z + 4*z - 10. Suppose -2*d + r - 2 = 0. Is ((-2510)/(-40))/(2/d) a prime number?
True
Let u(y) = -72*y + 26. Suppose 4*r + 37 = -3*c - 77, 0 = 3*r - 2*c + 77. Let g be u(r). Suppose -x = 3*w - g + 641, -3*x = -2*w - 3943. Is x a prime number?
False
Let f(s) = 217359*s - 1414. Is f(7) composite?
True
Let f(z) = -z**3 - 6*z**2 + 14*z + 7. Let j be f(-8). Let u be (j - 1)*(-15)/(-30). Suppose 0 = -u*a + 14*a - 318. Is a a prime number?
False
Let z = -177615 + 339162. Suppose 167864 = 37*y - z. Is y prime?
False
Let a = 846 - 843. Suppose 760 = s - 149. Suppose -s = -a*g + 597. Is g a prime number?
False
Let s = -60 + 65. Suppose -3*x - 10 = -4*j, s*j - 5*x + 0*x - 15 = 0. Is -1257*(10/(-45) - j/9) a prime number?
True
Let w(o) = 1004*o**2 + 5*o + 36. Is w(-17) composite?
False
Suppose -3*d = 2*q - 5247, 5*q = 2*d + 9589 + 3519. Let l = q - 1319. Is l a prime number?
True
Let s = 22 + -24. Let v be 0/(4*(-1)/s). Suppose v*l = -2*l + 3*t + 1094, 0 = 4*l - t - 2168. Is l composite?
False
Let r = 40245 - 21146. Is r composite?
True
Suppose 5*k + 3*c - 3187886 = 0, 5*k - 1232646 - 1955212 = c. Is k prime?
True
Let h be 3 + (-10)/(-5) - -7546. Suppose 10*x + h = 19*x. Is x prime?
True
Let t = 4 + -6. Let y(m) = 639*m + 10*m**2 - 638*m - 1 + 25*m**2 + 4 - 11*m**2. Is y(t) a composite number?
False
Let r(h) = h**3 + 13*h**2 - 48*h + 6. Let y be r(-16). Is y/(-24) + (-3629)/(-4) composite?
False
Suppose 8*o - 44*o + 84975 + 78285 = 0. Is o a prime number?
False
Suppose -80612 = -2*g + 2*p, -g = -2*p - 13704 - 26603. Let l = g + -26560