 9 + 2*i - 8 - 28*i**3 - 23*i**3 - i**2 - 3*i**2. Is l(-2) a prime number?
True
Let u be 1*2*-3*(-4)/12. Suppose -w - 4*q + 703 = -2223, -u*w = -3*q - 5830. Is w composite?
True
Suppose 5*u + 341853 = 4*n, 0 = 2*u + n - 4*n + 136737. Let g = -48734 - u. Is g prime?
False
Suppose 27*d - 1023117 = 1657389. Is d prime?
False
Suppose 327*n = 323*n + 16, 3*n = 5*i - 834958. Is i a prime number?
False
Suppose 2*m = -3*m - 15. Let c(x) = -5*x**3 + 2*x**2 + 3*x - 1. Let i(g) = -g**3 + g**2 - 2. Let h(t) = c(t) - 4*i(t). Is h(m) a prime number?
True
Suppose 0 = -8*k + 3*k. Suppose 3*r - 5*t = 41 + 272, 0 = -3*r - t + 301. Suppose -g + 2*f + r = -300, k = 3*g + 3*f - 1212. Is g a prime number?
False
Let j = 635 - 614. Let u(f) = 293*f - 236. Is u(j) composite?
True
Let r be -3 - ((-4 - 8) + 6). Suppose -f - 10 = f, 4*u - 22877 = -r*f. Is u composite?
True
Suppose -d = -5*n + 8*n - 30616, -15 = 3*n. Is d composite?
False
Let b = 49520 - 20619. Is b a prime number?
True
Suppose -16*r + 15*r = -5. Suppose -5*m + 0 - 20 = -r*n, n = -3*m. Suppose 11*p = -n*p + 23366. Is p a composite number?
False
Is ((-341)/44)/31 + 814533/4 prime?
False
Suppose 2*b - 4*w + 36 - 122 = 0, 230 = 5*b + 5*w. Is (-5)/(b/(-6))*(1 + 3452) a prime number?
False
Let z(j) be the second derivative of 16*j**3 + 4*j**2 - 2*j. Let m be z(2). Suppose -6*g + 436 = -m. Is g prime?
False
Let t(d) = 16426*d**2 - 57*d - 89. Is t(-10) prime?
False
Let i = -124 - -130. Suppose -i*j - j + 5271 = 0. Is j a composite number?
True
Suppose -4*w - 6 = o - 2*w, -5*o + 4*w = -26. Suppose 3*j + 2*u + 2808 = 6846, 0 = -o*j + 4*u + 2676. Suppose -5*d - 2*k + j = -d, 3*d - 1001 = 2*k. Is d prime?
False
Suppose -10*x = 12 - 42. Suppose -13 = -w + 2*k - 7*k, 3*w - x*k - 3 = 0. Is 3/9*w*79 prime?
True
Let n = -2696 + 5198. Let t = -6020 + n. Is t/(-1)*(-1)/(-2) prime?
True
Let p(n) = 70888*n + 1035. Is p(1) a prime number?
False
Is (-3 - (-271)/(-1))*7/((-56)/2564) a composite number?
True
Let k(z) = z**3 + 9*z**2 - 7*z + 14. Let c(m) = 7*m. Let w(t) = -t - 1. Let v(b) = c(b) + 5*w(b). Let p be v(-1). Is k(p) prime?
False
Suppose -3*c + 6 = 7*s - 3*s, 3*s = -2*c + 5. Let w = -29 + 32. Suppose k - 2*k - 15117 = -s*n, 5*n = w*k + 25195. Is n composite?
False
Suppose 0 = 5*g - 5*l - 178357 + 8357, 3*g = -5*l + 101976. Is g prime?
True
Let i = 366078 + -244955. Is i a prime number?
True
Let b(l) = -l**3 + 3*l**2 + 5*l + 5. Suppose 3*j = 8 + 19. Suppose s + 80 = -j*s. Is b(s) prime?
False
Let n be (-30)/(-45) - 26/(-6). Suppose n*v + 5*g = 1220, 4*v = 2*g - 0*g + 958. Let k = v - -90. Is k a prime number?
True
Is ((3 - -1) + -5)/(16/(-482896)) a composite number?
False
Let n = 54263 - 19042. Is n a composite number?
False
Suppose 3*l - 19129 = 3806. Let u be l/35 - (-12)/21. Is -8 + 3 + u + 1 + -4 composite?
False
Suppose 3932727 = 179*h - 40*h. Is h a prime number?
False
Let v(f) = 758*f**2 - 457*f - 553. Is v(44) composite?
True
Suppose -5*k = -4*g - 21 + 6, 5*k - 2*g - 15 = 0. Suppose -5*m - 13604 = -4*i, -5*i + i + k*m + 13604 = 0. Is i a prime number?
False
Let d = -45 + 33. Let i be 8*250/4 - d/4. Let r = i + 132. Is r a composite number?
True
Suppose 3*l - 396*f - 1957231 = -394*f, -3*f - 2609639 = -4*l. Is l prime?
False
Let t(y) = y + 5. Let m be t(0). Let x(f) = 31*f**2 + 4*f**3 - f + 7 - 35*f**2 - f. Is x(m) prime?
True
Suppose -6 = -170*n + 172*n, 3*t - 5*n = 3014904. Is t prime?
True
Suppose f = -20*f + 5403751 + 399095. Is f prime?
False
Is (-3408519)/(-33) + (-336)/(-616) prime?
True
Let v(h) = 1317*h - 214. Is v(49) a prime number?
True
Let n = 6 + -4. Let h be 2 + -2 + n + -7. Is ((-1)/3)/((10/3126)/h) a prime number?
True
Let y be (4/10)/(((-3)/(-5))/3). Let g = 12 - 8. Suppose -2*m = g*z - 2116, -z - y*z + 1587 = 2*m. Is z a prime number?
False
Let u(a) = a**2 - 6*a - 13. Let t(w) = -w**2 + 3*w + 6. Let q(g) = -7*t(g) - 3*u(g). Let b be q(2). Suppose -13*i = -b*i - 7662. Is i composite?
False
Let s = -764 + 787. Suppose 0 = -s*p + 29*p - 142314. Is p a composite number?
False
Let s(k) = -k**3 + 31*k**2 + 30*k - 37. Let o be s(28). Suppose 3*z = -4*f + o, -3*z + 3153 = 13*f - 10*f. Is z composite?
False
Suppose -j + 4*d + 50 = 2*j, -j + 4*d = -22. Let r(p) = 2*p - 22. Let q be r(j). Is ((-3)/(-3))/(q/3534) a composite number?
True
Is (-3 - ((-8813204)/(-8) - -10))*-2 a composite number?
True
Let u(p) = -p**3 + 10*p**2 + 9*p + 15. Let f(m) be the second derivative of -m**3 + 51*m**2/2 + 28*m. Let j be f(7). Is u(j) a prime number?
False
Is (538870/15 + 15)*(4 - 1) composite?
True
Let g = -10648 + 19766. Suppose 0 = 3*n - n + u - 3646, g = 5*n + 4*u. Is n a prime number?
False
Suppose 4*g + 2 = 18. Suppose 1 = l - g. Is 970/4*(12/l)/2 prime?
False
Suppose -25*z + 4385 + 6615 = 0. Suppose 30*y + z - 18050 = 0. Is y prime?
True
Let b be 2*((-55)/(-10) - -3). Suppose 0 = -3*i + b + 46. Let d = 35 - i. Is d a composite number?
True
Let l be 96/15 - (-12)/(-30). Suppose -4*b - 34227 = -3*y, 9*y - 34200 = l*y - 5*b. Is y prime?
False
Let s = 782914 + 25923. Is s a prime number?
True
Let g = 15383 + -4054. Suppose -16370 - g = -7*a. Is a composite?
True
Let q = -1252 + 19. Suppose -4*r - 5*z = -8513, -7*r + 10*r - 6411 = 5*z. Let c = q + r. Is c a prime number?
False
Suppose -36*o + 20338795 = 149*o + 14*o. Is o prime?
False
Let h(u) = -64*u + 1095. Let f be h(12). Suppose 0*b = 2*b + 3*w - 308, 3*w = -4*b + 628. Suppose -4*t - x + f = -250, t - 5*x = b. Is t composite?
True
Suppose 97*k = 57*k + 49*k - 1202157. Is k a prime number?
False
Let b(v) = -286*v**3 + 7*v**2 - 11*v + 15. Let x(d) = -571*d**3 + 13*d**2 - 22*d + 28. Let w(i) = 11*b(i) - 6*x(i). Is w(5) prime?
True
Let i(h) = 3*h**3 + 27*h**2 + 17*h - 3. Let s(a) = 5*a**3 + 40*a**2 + 25*a - 5. Let v(u) = 8*i(u) - 5*s(u). Suppose -k = 6 - 15. Is v(k) a prime number?
False
Let d(a) = -11*a + 24. Let l be d(2). Suppose l*o - 8 = 0, 3781 = c + 4*o + o. Is c a composite number?
False
Let l = 88 - 105. Let m be 0*((-1)/12 - l/(-68)). Suppose m = -3*z + 12, 0 = -g + 4*z - 77 + 816. Is g a prime number?
False
Suppose 146*s - 35663181 = 24919373. Is s a prime number?
True
Suppose -6*k + 20*k - 338490 = 251624. Is k prime?
False
Suppose 2420*c + 497409 = 2453*c. Is c prime?
True
Let n = 13792 - -171. Is n a prime number?
True
Suppose 3*f = -5*t - 5278, 4*f + t + 1378 = -5631. Suppose 5*n + 5518 = -4*r, n + 194 = 5*r - 898. Let c = n - f. Is c composite?
True
Suppose 98*o + 779655 - 10411299 = -34*o. Is o composite?
True
Let w be (-1377)/68 - -1*(-2)/(-8). Let c = w - -1475. Let y = -826 + c. Is y composite?
True
Let p be (-1 + 0 + 8)/(-1). Is 838*(-2)/(p - -3) composite?
False
Let n(i) = -29*i**3 - 23*i**2 - 33*i - 61. Is n(-18) prime?
True
Suppose 3*s - 3*a = 12483, a - 3774 + 12091 = 2*s. Let q = s + -2439. Is q a composite number?
True
Suppose -5*h + 6*h = 3*o + 98123, -3*h - 2*o + 294325 = 0. Is h composite?
True
Suppose 2*p - 156775 = -3*x, -4*x = 6*p - 2*p - 209028. Is x a prime number?
False
Suppose -2*f = -2*h - 13 + 17, h - 5 = 2*f. Is (-15)/2*6296/(-10) + h composite?
False
Suppose 88*g = 90*g + 78. Let w = g - -230. Is w a prime number?
True
Let h(l) = 552*l - 307. Is h(7) composite?
False
Let u(y) = 791*y - 4438. Is u(49) composite?
True
Let o(g) = -3*g + 5. Let y be o(0). Suppose 0 = 5*n - 4*c - 8443, n - 1706 = -0*n - y*c. Is n composite?
True
Let w(s) = s**3 - 13*s**2 - 2*s + 28. Let r be w(13). Let m(k) = 216*k**3 - k + 1. Is m(r) prime?
False
Let p(q) = -387924*q + 12401. Is p(-5) composite?
False
Let c(d) = 31006*d**2 - 80*d + 303. Is c(4) prime?
True
Let a be 8 - ((-2)/15 - (-273)/(-315)). Is a/15 + 4242/5 a composite number?
True
Let x = 200 + -195. Suppose -x*u = 4*n - 15431, 0*n - 4*u = -2*n + 7722. Is n composite?
True
Let t = 32 + -32. Suppose t = 4*s - 5*s + 3. Suppose -s*w - 2*r = 100 - 1768, -5*r + 15 = 0. Is w composite?
True
Let h(i) = -2*i**3 - 4*i**2 - 2*i - 2. Let u be h(-2). Suppose u*v = 22372 + 5286. Is v composite?
False
Let t(g) be the third derivative of g**6/60 - g**5/15 + g**4/6 - g**3/6 - 2*g**2. Let v(x) = x**3 - 95*x**2 + 186*x + 4. Let j be v(93). Is t(j) prime?
True
Let t(r) be the first derivative of 17*r**6/180 - r**5/15 - 13*r**4/24 + 4*r**3 + 5. Let h(n) be the third derivative of t(n). Is h(-3) a prime nu