1 + 7856. Let z = g + 6853. Is z*3/(-24)*(-1 - 3) a prime number?
True
Let n = 457428 - -117875. Is n a prime number?
True
Suppose 0 = 9*f - 30190 + 5125. Suppose -15605 = -20*g - f. Is g composite?
False
Let o = 65 - 53. Is ((-3)/(54/o))/((-2)/33639) prime?
True
Suppose -5*s - 165 = 3*q + 3, 2*s - 4*q + 88 = 0. Let h = 40 + s. Suppose 3*z = h*l + 3789, 0 = 2*z - 3*l - 2776 + 251. Is z a composite number?
True
Let f(y) = 2*y**3 - 3*y**2 - 15*y + 12. Let h(i) = i**3 - 2*i**2 - 7*i + 6. Let a(j) = 3*f(j) - 7*h(j). Let n be a(6). Is -1 + 4 + (-648)/n a prime number?
False
Suppose 4*a + 4*x - 747416 = 0, 25*a - 22*a - x - 560574 = 0. Is a a composite number?
True
Let l = -52 - 29. Let y = -76 - l. Suppose 6*p - 779 = y*p. Is p a prime number?
False
Let o = 17158 + 42877. Suppose 20000 = f - b, 17*f + o = 20*f + 4*b. Is f a composite number?
True
Suppose o + 22 = -10*o. Let n be o/17 - -1*(-33513)/(-51). Let f = n + -178. Is f composite?
False
Let f = 222087 - 110068. Is f a prime number?
True
Let x = 1660 - -147045. Is x composite?
True
Let s = -22 + 42. Suppose 18*f = s*f + 8. Is f*(165/(-12) + -3 + 5) composite?
False
Let r = -144 - -147. Suppose -r*p - 34*q = -31*q - 33540, -p + 5*q + 11174 = 0. Is p prime?
False
Is ((-46)/(-92))/((-2)/(-723596)) prime?
False
Let y(o) = -3225*o + 134. Let x be y(9). Let q = x + 47960. Is q prime?
True
Suppose 2*o + 442885 = 5*k + 4*o, 2*o = -4*k + 354308. Is k a prime number?
False
Let v(b) = 4*b**2 + b - 2. Let z be -1 + 7/((-14)/(-16)). Let c be (z + -14)/(2 + -1). Is v(c) a prime number?
False
Let n(v) = v**3 - 7*v**2 + 3*v - 9. Let a be n(7). Suppose -4*o - 4*r = 0, 0 = 5*o - 3*o - 2*r + a. Is (-4)/2 + o + 386 composite?
True
Let z = 242 + -242. Suppose -4*c + q + 24261 = z, -q + 2708 + 9421 = 2*c. Is c composite?
True
Suppose -8*z - 2*z + 40 = 0. Suppose -f = 5*i - 215, 911 = z*f - 3*i + 6*i. Suppose 3*p = -2*p + f. Is p composite?
True
Suppose 455299 = -454*l + 467*l. Is l composite?
False
Let q = 197707 - 136884. Is q a prime number?
False
Let k(l) = 3*l**3 - 2*l + 1. Let g be k(1). Let b(y) = 7*y + 0 + 5 + 159*y**g - 4 + 4. Is b(-4) prime?
True
Let m = 39 - 37. Let r be (0 - (1 + 1))*m. Is (-333)/r + 5/(-20) prime?
True
Suppose 9*o - 9495955 = 4*w, -7 = -4*w + 1. Is o prime?
False
Suppose 14*p = -20*p + 7*p + 23301702. Is p a prime number?
False
Suppose -47586 = 4*x - 18*x. Suppose -x = -3*b + 684. Is b composite?
False
Let l(c) = -19*c + 139. Let s be l(7). Is (s - 20/3)/(4/(-51978)) a composite number?
False
Let s(y) = 59*y**3 - 15*y**2 - 2*y + 9. Let m be s(5). Is -6*(m/(-18) + -4) prime?
True
Let k be 3*(-2)/4 - (-1134)/252. Suppose -5*i + 63451 = 4*q, 0 = -2*q - 4*i + k*i + 31733. Is q prime?
False
Let c = 29244 - 4927. Is c a prime number?
True
Suppose -3*v - 205*g + 207*g + 40947 = 0, -2*g + 54596 = 4*v. Is v a prime number?
True
Suppose 17*j - 12*j - 2*s - 91467 = 0, 2*s + 54881 = 3*j. Let k = j - 12276. Is k a prime number?
False
Let v = 1349 - -2910. Let w = -2862 + v. Is w a prime number?
False
Let z be (12 - 12446)*1/4*-2. Suppose 0 = 6*u - 10517 - z. Is u a prime number?
True
Suppose 0 = 9*c - 214348 + 85459. Let d = c - 9280. Is d prime?
False
Let s(u) = 13162*u - 5535. Is s(8) a prime number?
True
Suppose -3874 = 3*p - 4640 - 21341. Is p a composite number?
False
Suppose -60 = 9*x - 6. Let n = 81 - x. Is n prime?
False
Is (30 - 8) + 109042 + -41 a composite number?
True
Let r(g) = 4*g**3 - 9*g**2 - 10*g - 41. Suppose -t + 17 = 5*l + 2, -4*l - 46 = -5*t. Is r(t) a composite number?
True
Suppose 592*s - 644129 = 585*s + 56004. Is s composite?
False
Let a be -2 + (-6)/(-4 - -2) + -1. Suppose a = 2*p + 10*p - 16920. Suppose 0 = 3*z - 5*c - 1418, -z = 2*z + 3*c - p. Is z composite?
True
Suppose 0 = -13*k - 16*k + 33*k - 72796. Is k a composite number?
False
Let n(w) = 3*w**3 - 54*w**2 - 90*w - 1. Is n(48) prime?
True
Suppose 5*o = 4*u + 111243, 0 = 4*u + u + 10. Is o prime?
True
Suppose -3*i - 149 = -1769. Suppose -9*r + 14*r + i = 0. Is 1262/6 + (-9)/(r/8) a prime number?
True
Let z(r) = 6*r**3 + 42*r**2 - 25*r + 81. Let n(l) = 2*l**3 + 20*l**2 - 13*l + 40. Let a(j) = -9*n(j) + 4*z(j). Is a(15) a prime number?
False
Suppose 2*t - 24 = -2*t. Let r be (343 - 6)/(1/t). Suppose -2*h + 1528 = -4*z + 194, -3*h - z + r = 0. Is h prime?
True
Suppose 2585*p - 1295*p - 1308*p = -4301226. Is p a composite number?
True
Suppose 0 = t - 5, -k + 5*k - 2*t + 326 = 0. Let n = -74 - k. Suppose -4*d - 4*p = -292 - 1500, 0 = 5*d - n*p - 2190. Is d a prime number?
True
Let x be 3 + (-9288)/(-51) + (-16)/136. Suppose 0 = -14*z + x + 683. Is z prime?
False
Suppose -66*m - 32 = -70*m. Let k(c) = 6*c**3 - 3*c**2 + 6*c + 11. Is k(m) composite?
False
Suppose 95*i - 204*i + 98591 = -90*i. Is i a prime number?
True
Let s = -81 + 87. Let a be (-10)/s*(-4)/((-4)/51). Is (a/(-2))/((-4)/(-8)) composite?
True
Suppose -5*g = 4*t + 12975, 4*g + 15731 = 4*t + 5387. Is 1 - 3 - (-2 + g - -2) composite?
True
Suppose -98*t - 10 = -100*t. Suppose f - 5 = -3*j + t, 0 = -2*f - 2*j + 32. Is f a prime number?
True
Let c = 2528 + -866. Let a = -9069 - -14032. Suppose 5*z - 4386 = -2*v, -3*v + c = -4*z - a. Is v prime?
True
Suppose -14*m - 2166350 = -64*m. Is m a composite number?
True
Let h(p) = 2*p**3 - 4*p**2 + 39. Let w be h(-10). Is (w/4)/(((-126)/(-56))/(-3)) prime?
True
Let p(g) = -5*g**3 + 156*g**2 + 9*g + 13. Is p(-30) a composite number?
True
Let w(y) = -3*y**2 - 10*y - 14. Let i be w(-4). Let d be -2 + (-40)/i + 340/55. Suppose -d*o - 3594 = -8*o. Is o composite?
True
Suppose -4*r - 832 = -4*i, -r + 2*r = -i + 216. Suppose -l + i + 373 = 2*f, -5*f = 5*l - 2920. Let y = l + 1536. Is y a prime number?
False
Suppose -18088 = -7*s + 67403. Let k = 19816 - s. Is k prime?
True
Let d(n) = -561*n**3 - n**2 - 5*n - 3. Let l = 64 - 65. Is d(l) prime?
False
Let x(l) = -337*l**3 + 70*l**2 + 345*l - 5. Is x(-5) composite?
True
Let q(c) = 1147*c - 737. Is q(34) composite?
False
Let g(y) = -y**2 + y - 1. Let r = -27 + 28. Let n(p) = p - 6. Let u(w) = r*n(w) - 3*g(w). Is u(-8) prime?
False
Suppose 13*w = -13561 + 1783. Is 16/(-16) + (2 - (w + 0)) composite?
False
Let k = 96219 + -53552. Is k composite?
False
Suppose -3*j - t + 7390 = t, 3*j - 7365 = 3*t. Let u = 13437 - j. Is u a prime number?
False
Let n(s) = -10994*s - 8203. Is n(-16) a prime number?
False
Suppose -9*p + 650794 = 4*n + 10*p, 3*n - p = 488187. Is n a prime number?
True
Let q(a) be the second derivative of -a**4/12 - 13*a**3/6 + 14*a**2 + 2*a. Let v be q(-15). Is (v/(-18))/((-1)/3)*-3147 prime?
True
Let d be ((-135)/75)/(6/(-10)). Let h be 10/15*22955 - 1/d. Suppose 9*p - h = -3810. Is p a composite number?
False
Is (-321)/(-4494) + (-180570)/(-28) a prime number?
True
Suppose 1696680 = 5*t + z, 4*z + 79 - 59 = 0. Is t a prime number?
False
Let i(t) = t**3 - 13*t**2 + 3. Let f be i(13). Suppose 0 = f*p + 6, 72 = 3*h + p - 2434. Suppose -4*o = -h - 720. Is o a composite number?
False
Let h = 11696 - 2169. Is h a prime number?
False
Let s be (-19 - -4)/((-6)/262). Let g = s - -7698. Is g a composite number?
False
Let t(u) = 3*u**2 + 12*u + 6. Let v be t(-10). Suppose b = -m + 42, 5*b - b = 5*m + v. Suppose 3*x - b = 2*d + 161, 0 = 3*x - d - 200. Is x composite?
True
Let i be (4 - 3)/(3/84). Suppose 0 = 5*w - 0*q + 2*q - i, -3*q - 4 = -4*w. Suppose -w*k = -8*k + 596. Is k composite?
False
Let m(y) = 19*y**3 + 3*y**2 + 2*y - 1. Let l(r) = -19*r**3 - 4*r**2 - 3*r. Let w(s) = 4*l(s) + 5*m(s). Suppose -54*i + 34*i = -100. Is w(i) a prime number?
False
Suppose 4*x + 2394 = t - 6031, t = -2*x + 8443. Let y(v) = v**3 + 6*v**2 + 3*v - 9. Let o be y(-4). Suppose -o*z + 0*z = -t. Is z a prime number?
False
Let p(n) be the third derivative of -359*n**4/24 - 101*n**3/6 + n**2 - 9. Is p(-6) a composite number?
False
Let v be (-5)/(-15) - ((-4889)/3 + 2). Suppose 5*b - 7*b = -v. Is ((-5 - -1)/(-2))/(4/b) a composite number?
True
Suppose 4*m = -3*r - 1696, -r = 5*m + 2069 + 62. Let o = -5838 - -10556. Let y = o + m. Is y a composite number?
True
Is -2242*(2 + -75) - 5 composite?
False
Let v(h) = 8*h**2 + 15*h - 1. Let t = 7 + -22. Let k be v(t). Suppose -z = -5*d - 544, 2*z = -2*d - 522 + k. Is z prime?
False
Suppose -5*k = 2*i + 9, -1053 + 1083 = 5*i - 5*k. Suppose -a - 15 - 75 = 0. Is (-3