 = 41 - 26. Suppose 5*y + j = 0, 6*y = -4*p + 3*y + 1579. Is p a prime number?
True
Let k = 1019 + 327. Let n = k + -927. Suppose 2*f + 3*x = 341, -n + 108 = -2*f + 3*x. Is f a composite number?
False
Let o be (-19316)/(-7) + (-3)/7. Suppose 4*x - o = -4*n - n, -2*x + 1387 = -5*n. Is x composite?
False
Let v be 6/(-2) - (-8 - -5). Suppose 3*a = j - 416 - 81, v = 2*a. Is j prime?
False
Is 2/(-16)*2 - (-1226533)/68 composite?
True
Suppose 5*s = -5*y + 3245, -2*s + 16 = -4*y + 2606. Suppose 3*k = -3*v + y, v - 4*k - 824 = -3*v. Is v prime?
True
Let o(k) = 833*k + 4. Let r be o(1). Suppose 654 = 3*s - r. Is s prime?
False
Let d = 355 - -534. Is d composite?
True
Let g = 98 + -86. Is g/(-78) + (-1809)/(-13) a prime number?
True
Let y(c) = 18*c**2 + 22*c - 29. Is y(13) prime?
True
Let u be (-379)/(-5) + 2/10. Suppose -5*n + 2*c = -2*c - u, 5*n + 2*c - 82 = 0. Suppose o - 135 = -n. Is o composite?
True
Suppose -3*o + 50*o = 1112161. Is o a prime number?
True
Let a(s) = -s**3 + 2*s**2 + 5*s - 3. Let o be a(3). Let r(k) = 76*k**2 - k - 8. Is r(o) prime?
True
Let c be (-25)/2*-6*1. Let p = c - -31. Is p composite?
True
Let x(r) = -r**2 + 10*r + 14. Let a = 14 + -3. Let f be x(a). Suppose 0 = -3*p + 5*h + 376, -2*p + f*h + 378 = p. Is p prime?
True
Let u(g) = -g**3 - 9*g**2 + 2*g + 13. Let r be u(-9). Is r/(-10)*8 + 165 a prime number?
False
Let s(o) = 14*o + 89. Let v be s(-7). Let k(x) = 24*x + 13. Let g(m) = 23*m + 13. Let t(b) = -6*g(b) + 5*k(b). Is t(v) composite?
False
Let r(w) = 1 + 5 + 17*w + 2. Let x be (-14)/3*30/(-20). Is r(x) composite?
False
Let b(f) = 4*f**2 - 27*f + 121. Is b(38) a prime number?
True
Let k = 61 + -59. Suppose -2*a = 2*a - 788. Suppose 797 = 4*i + 5*t, -2*i + a = -i + k*t. Is i a composite number?
True
Let u(o) = 28*o + 9. Let b(h) = 29*h + 7. Let s(w) = 4*b(w) - 3*u(w). Let k(m) = m**2 + 3*m + 3. Let f be k(-3). Is s(f) prime?
True
Suppose -4*k - 6711 = -n, 0 = n + 3 - 2. Let v = k + 3095. Is v composite?
True
Let l be 2 - 0*(-3 + 2). Suppose y + l*z = 2311, 4*z + 6983 = 5*y - 2*y. Is (2/2)/(11/y) a composite number?
False
Suppose -2*w + 0 = -4. Suppose -65 + 325 = -w*g. Let r = 423 + g. Is r a composite number?
False
Let g = 387 + -219. Suppose t + 299 = 5*w, 3*w + 3*t - g = -3. Is w prime?
True
Suppose s + s = -u + 12323, 2*u = 3*s + 24646. Is u a prime number?
True
Let d(c) = -23*c + 15. Let k(f) = -12*f + 8. Let o(y) = -3*d(y) + 5*k(y). Let r(a) = a**2 + a + 2. Let w be r(-3). Is o(w) a composite number?
False
Suppose -g + w + 14 = -0*g, 5*g = 2*w + 70. Let d(o) = -o**3 + 13*o**2 + 14*o - 1. Let m be d(g). Is (m*1317/(-3))/1 prime?
True
Suppose -4*w = 3*w - 294. Suppose -5*l + 125 = -0*l + 2*h, 61 = 3*l + 4*h. Let x = w + l. Is x prime?
False
Let r(f) = -2*f**2 + 14*f + 14. Let p be r(8). Is (1*(-2 - p) - -985) + -2 prime?
True
Let q = 25 - 20. Suppose -q*s = -3*s - 446. Is s composite?
False
Let j = -1277 + 2253. Is (-1 - j)/(11 - 12) composite?
False
Let u be -21 - (3 + -3)/(-3). Let f be (13 + u)/(1*-2). Suppose f*s - 156 - 688 = 0. Is s a prime number?
True
Let h(n) = 68*n**2 + 28*n + 43. Let o(q) = -17*q**2 - 7*q - 11. Let k(y) = -2*h(y) - 9*o(y). Is k(-7) a composite number?
False
Suppose 0 = 5*o + 3*s - 34040, -11*o + 3*s + 13595 = -9*o. Is o a composite number?
True
Let c = -3892 - -7251. Is c a composite number?
False
Suppose 4 + 2 = 3*h. Suppose 6*w = -2*w - 40. Is (-1433)/w - h/(-5) prime?
False
Suppose -8*h + 770 = -h. Suppose 0 = -m + 1647 + h. Is m a prime number?
False
Suppose 0 = -4*f - t + 200279, 2*f + 14*t - 100141 = 13*t. Is f prime?
True
Let v(y) = 200*y + 369. Is v(7) prime?
False
Is 84/(-98) + (-2126625)/(-21) composite?
False
Suppose -20741 = -2*b + 5*n, 2*b - n - 19873 - 880 = 0. Is b a prime number?
False
Suppose 3*o = 4*o + 5. Let y(c) = -c - 2. Let v be y(o). Suppose 0*k + v*k - 159 = 0. Is k a composite number?
False
Let q = -29 + 52. Let z = q + -24. Is (154 - -3)*(-1)/z composite?
False
Suppose -5*b + 643 = -3*l, 0 = 4*l - 2*b + b + 846. Let g = -257 + 133. Let d = g - l. Is d a prime number?
False
Let x(v) = -725*v + 3. Is x(-11) composite?
True
Let d = -71203 - -110672. Is d prime?
False
Suppose 3 + 5 = 4*g. Suppose 283 - 1664 = -g*y + 3*l, 703 = y - 4*l. Is y composite?
False
Let j = 6 + 7. Let q(m) = j - 9 - 14*m - 12 + 59*m. Is q(7) a prime number?
True
Suppose -3 = -o - 9. Let d = o + 9. Suppose -d*z + 393 = -0*z. Is z prime?
True
Let o be 1/6 + (245/42 - 6). Let x be 1/(-4) - (-17)/4. Suppose -161 = -v - x*j, o = 4*v - j - j - 716. Is v a prime number?
False
Suppose -24*s + 12 = -20*s. Suppose 5*f = s*f - 14. Let b(w) = w**3 + 9*w**2 + 4*w - 5. Is b(f) composite?
True
Let v be 2/(0 + 3/3). Let g(f) = -1 + 14*f + v*f + 8*f + 2. Is g(1) a composite number?
True
Let p be 4/26 - (-50)/13. Suppose -2*v = -0*v - p*d - 1822, -v + d + 909 = 0. Is v prime?
True
Let m be (2/1)/(-2)*127. Let x = 132 - m. Is x composite?
True
Suppose 3*r = h + 4 - 19, 5*h - 5*r - 45 = 0. Suppose -4*k = 5*v - 6069, -h*k + v = -2*k - 6039. Is k a composite number?
False
Suppose -q - 616 = -9*q. Let x = q + -3. Is x a prime number?
False
Let j = -3572 - -10869. Is j prime?
True
Let v(a) = a + 7. Let g be v(-7). Suppose g = -u - 4 - 2. Let f(b) = -14*b - 10. Is f(u) a composite number?
True
Suppose -4*u = 148 + 432. Let l(p) = p**3 - 9*p**2 - p - 12. Let s be l(11). Let i = s + u. Is i a prime number?
False
Suppose -5*p - 5325 = -5*l, 0 = 4*p - 8. Suppose -g - 4*n + 789 = -277, 3*n - l = -g. Suppose 5*t + 3*s = g - 40, -822 = -4*t - 2*s. Is t a prime number?
False
Let o(v) = -125*v**2 + 3*v - 14. Let k(j) = -42*j**2 + j - 5. Let h(d) = 11*k(d) - 4*o(d). Let c be h(1). Let n = c - -15. Is n composite?
False
Is (18/(-4) + 2)*(-1 - 2973) a prime number?
False
Suppose y = -5*m + 5*y - 2, -3*m + 2*y = 0. Suppose 0*s - m*s = -1614. Is s a composite number?
True
Suppose -b - 4*u - 1024 = 0, 3*b + 3*u - 4*u = -3085. Let q = -445 - b. Is q a prime number?
False
Let m(z) = 76 + 2*z + 156 + 214 + z**3. Is m(0) composite?
True
Let m be (2 + -1)/(11/22). Suppose 0 = 2*a - 4*a + m. Let u(k) = 188*k**3 - 2*k**2 + 1. Is u(a) composite?
True
Suppose 352*b = 335*b + 206533. Is b composite?
False
Suppose -640381 = -6*l - 30691. Is l a prime number?
False
Is (-3)/8 + (-131088)/(-384) prime?
False
Suppose 312 = 4*b - 400. Let l be (3 - -3)*27/(-2). Let v = b + l. Is v a composite number?
False
Suppose 3*o - 15 = 8*o. Is (-2 - (2 - 1)) + (491 - o) a prime number?
True
Suppose -2*k - 5*y = -13, y - 2 = -k + 3*y. Suppose 3*n - k*t - 1112 = t, 5*n + t - 1900 = 0. Is n prime?
True
Suppose 7*z = 13 - 6. Is (z*-1)/((-8)/1352) a composite number?
True
Let z(n) = 3*n - 22. Suppose 3*m - 2*m + 5 = q, -5*m - 46 = 2*q. Let i be ((-2)/m)/(5/220). Is z(i) a composite number?
False
Suppose 0 = -y + 625 + 410. Let d be (y/6)/((-3)/(-6)). Suppose d = 8*r - 3*r. Is r a composite number?
True
Let l be (-10)/10 - (0 + 1/1). Is ((-9)/18)/(l/52) a prime number?
True
Let p = 31867 + -21520. Is p a prime number?
False
Is 149/3*2*5193/6 composite?
True
Let v be (-2)/8*(5 - 1). Let z(g) = -68*g - 1. Is z(v) a composite number?
False
Let l(k) = 625*k**2 + k + 1. Let f be l(-2). Let n = f + -806. Is n composite?
False
Is 849/2*304/24 a composite number?
True
Suppose 968 = v - w, -2977 - 1845 = -5*v - w. Is v prime?
False
Suppose 4*t + 4 = 5*z, -2*z + 3 = -5*t - 2. Is (t/(-3))/(4/3180) prime?
False
Let c(x) be the third derivative of 298*x**5/15 - x**4/24 + x**3/3 - 18*x**2. Is c(-1) prime?
False
Suppose 28*i - 12*i = 47984. Is i prime?
True
Suppose -5*m = -4*h - 69, 62 = 2*m + 3*m + 3*h. Let a(y) = -y**3 + 16*y**2 - 8*y - 14. Is a(m) prime?
True
Suppose 35*y = 20*y + 175755. Is y prime?
True
Let x = 1714 - 771. Is x a composite number?
True
Suppose 4*k = -1 + 13, 0 = -5*j - 5*k + 15. Suppose j = -3*x - x + 2*n + 3004, 0 = 5*n. Is x prime?
True
Suppose 4*u - 146432 - 452684 = 0. Is u prime?
False
Let p(i) = -4*i**3 - 9*i**2 + 7*i + 17. Let q be p(-9). Let l = q + -1174. Is l a composite number?
False
Let y(j) = 13*j + 2553. Let f(c) = -9*c - 1702. Let d(o) = 7*f(o) + 5*y(o). Is d(0) a prime number?
False
Let v be (-30)/(-70) + 11/7. Suppose 0 = v*d - 886 - 184. Is d composite?
True
Let d(f) = -24*f + 9. Let o be 16/72 - (-75)/27. Suppose j - 3 = 0, o*z - 3*j