*f + 793*f**2 - 31*f + 8. Is l(t) a prime number?
False
Let y = -42 + 45. Suppose -y*f = -61 - 509. Is f + 5 + (5 - 1) a prime number?
True
Let k(n) = n**3 - 4*n. Let y be k(-4). Let f be ((-1762)/3)/(-5 - y/9). Let u = 3401 + f. Is u composite?
True
Suppose 622*u - 607*u + 308248 = 927463. Is u a prime number?
True
Let f(y) = 16*y**3 - y**2 - y + 12. Let l be f(5). Suppose 5*n = -3*b + 9820, n - b - l = 2*b. Is n prime?
False
Let h(b) = -2*b**2 - 23*b - 26. Let d be h(-10). Suppose -4*y = k + d, -3*k + 3*y - 5*y = 2. Suppose -26*l + 18*l + 15064 = k. Is l a prime number?
False
Is 6*(-6)/9 + (-13 - -297520) composite?
False
Is -2 + (-1850030)/(-21) + 30/(-18) a prime number?
True
Let o(y) be the second derivative of y**4/6 + y**3 + 739*y**2/2 - 99*y. Is o(0) composite?
False
Suppose -14*o = -19*o + 4*i + 70049, o = i + 14010. Is o a prime number?
True
Let a = -32489 + 68218. Is a prime?
True
Is 4/(-14)*(-2)/(-4) + (-11644890)/(-35) prime?
True
Let x(m) = -9*m + 87. Let a be x(9). Let q(o) = 44*o**2 + 47*o - 5. Is q(a) a composite number?
False
Suppose 4*r = -8536 + 57172. Suppose 3*w - r = -4*l, -3*l + 15 = 6. Is w a composite number?
False
Let a = -3 + 188. Suppose 3*s - a - 1463 = -n, n = s - 548. Suppose g - s = -167. Is g prime?
False
Let x = 796 - 803. Let f be ((-18)/4)/((-2)/12). Is 19/(f/x - -4) prime?
False
Let q(s) = -s - 1. Let k = 7 - 10. Let i be q(k). Suppose 0 = i*h - h + 4*v - 223, 446 = 2*h + 3*v. Is h a composite number?
False
Suppose -3*m + 9138 = p, -45750 = 27*p - 32*p + 5*m. Suppose o - 5*g - p = 0, -3*o - 18246 = -5*o - 2*g. Is o a composite number?
False
Let s = -102 - -266. Let a be 1/(13/(-3) + 4). Is s/6*(a - 117/(-6)) composite?
True
Let j = -49827 + 103176. Is j composite?
True
Suppose -2*s = -12*y + 15*y - 8, -2*y = -s - 3. Suppose 13041 - 2171 = y*m. Is m prime?
False
Let n be (47 + 0)*(-315)/21. Suppose -4*v + 0*v + 4256 = 0. Let a = v + n. Is a prime?
True
Let n(w) = -13 + 0*w**3 + 12*w**3 - 9*w**3 - 17*w**2 + 24*w. Let m be -11*2/(-2) + -2 + 1. Is n(m) a composite number?
True
Suppose -4*s - 173 = 1495. Let b = -294 - s. Let n = b + 374. Is n a prime number?
False
Suppose 85*z - 56058943 = -96*z + 32222178. Is z a composite number?
False
Let u(k) = k**3 - 18*k**2 - 41*k + 28. Let x be u(20). Suppose x*v = 6652 + 28364. Is v composite?
True
Suppose -5*j - 2052 = -n + 266, 2*n - 4675 = -3*j. Let s = n - -1338. Is s prime?
True
Let s(m) = m**3 - 5*m**2 - 2*m + 9. Let a be s(5). Is (-1)/(5/83705*a) a composite number?
False
Suppose 4*x - 10921 - 3604 = 5*c, 20 = -4*c. Suppose 6*r - x - 7793 = 0. Is r a composite number?
True
Let t(v) = -v**2 - 1. Let j(q) = -q**3 - 7*q - 5. Let r(w) = -j(w) - 6*t(w). Let s be r(-5). Let b(k) = 1199*k**3 + 2*k**2 - 2*k + 2. Is b(s) composite?
False
Let b = -22543 + 105216. Is b composite?
True
Let r be 0 - (-2955)/10*8/6. Let s be ((-1)/(-2))/((-7)/2002). Let g = s + r. Is g composite?
False
Let k(z) = 3*z. Let q be k(1). Let n = -1693 - -1698. Suppose 2*h - 283 = -q*w + 7*h, -n*w - h = -425. Is w composite?
True
Suppose -6*j + 4*j = -2308. Suppose 5*p + 324 = j. Suppose 694 = -p*d + 168*d. Is d a composite number?
False
Let p(u) = -17*u**3 + 5*u**2 + 5*u + 27. Let l(h) = -24*h**3 + 8*h**2 + 8*h + 40. Let d(n) = -5*l(n) + 7*p(n). Suppose -8 - 2 = -w. Is d(w) prime?
True
Suppose -2*y + 2 = -18. Suppose 4*p + 4*x - 2*x = y, 0 = -4*p - 5*x + 13. Suppose 3*r - 8*r = p*d - 2826, -4*d - 2*r + 5684 = 0. Is d composite?
False
Let o(h) = -3*h**3 + 29*h**2 + 3*h + 12. Suppose -4*z + 14 = -t - 0*t, 2*z = -2*t + 12. Let w be (z/4*6)/((-6)/(-9)). Is o(w) prime?
False
Let x = 405 - 392. Suppose -x*u = -6822 - 56761. Is u a prime number?
False
Suppose 480*w = -20665886 + 192490046. Is w prime?
True
Let x = 3 - -42. Is 38858/18 - (-10)/x prime?
False
Let c = -274 - -287. Suppose -11*a = -c*a + 10822. Is a a prime number?
False
Suppose -y + 5 = -0. Suppose 654 = 2*s + b, 3*b - 648 = -2*s + y*b. Suppose -s = -4*g + 2*g. Is g a prime number?
True
Let a(q) = -q**3 - 3*q**2 + 4*q + 10. Let t be a(-3). Is 113796/24 + t/4 prime?
False
Let w(l) = l**3 + 2*l**2 - 5*l - 3. Let n(f) = -f. Let m be n(3). Let z be w(m). Suppose 4*i - 574 = -2*j, 2*i + z*j = 6*j + 283. Is i prime?
False
Let r = -26959 - -83222. Is r a prime number?
True
Suppose 2*r - 2*m = m + 4, 3*r = 3*m + 6. Suppose -3*a + r*s = -10, 4*s + 20 = -2*a - 3*a. Suppose a = 10*w - 11*w + 1087. Is w a prime number?
True
Suppose 6*w - 10*w = 3*c - 90936, -w + 6*c = -22707. Is w a prime number?
False
Let i be (3/(-9))/((-2)/12). Suppose -2*b - 44 = -4*x, i*x = 3*b - 2*x + 56. Is 3/((-9)/b) - -513 composite?
True
Let o be (136/20)/((-1)/5). Let n = -30 - o. Suppose -2*v + 266 = 2*y, -n*y = -2*v - 0*y + 272. Is v a composite number?
True
Suppose -3*g = 4*g + 46179. Let i = g + 10418. Is i prime?
True
Is (43/(-43))/((-1)/193513) a composite number?
False
Let u = 273744 - 96071. Is u prime?
False
Let k(a) = -9246*a - 415. Is k(-18) a prime number?
True
Let v(o) = 82*o - 164. Let r be v(11). Let s = r + 259. Is s prime?
True
Let b(k) = -72*k**2 + 11*k - 29. Let o be b(10). Let h = 19262 + o. Is h a prime number?
True
Let m(o) = 91*o + 37. Let w be m(16). Suppose -4*x - 386 = -3*b + 1109, -3*b + 5*x + w = 0. Is b prime?
False
Is (-3514)/(-4) + 9/(-12)*2 prime?
True
Suppose 3*o + o = 44664. Suppose 3317 = r + o. Let u = 11828 + r. Is u prime?
False
Let c be (1 - 0) + 187/1. Let l = -8791 - -8822. Let a = c - l. Is a a composite number?
False
Let w(t) = -t**3 + 9*t**2. Let m be w(9). Suppose -146 = -4*i + 2*h - 0*h, i - 2*h - 35 = m. Is i*(5 + 6) + (1 - -1) a prime number?
True
Suppose 0 = -2*i + 4*j - 502, 0*i + 2*i + 502 = -4*j. Suppose -7*x + 9*x + 1260 = 0. Let r = i - x. Is r prime?
True
Let b be (3 - 2)*4*2. Suppose -b*u + 4*u + 5*y + 77 = 0, 3*y - 11 = -2*u. Is -879*(4 + u/(-3)) a composite number?
False
Suppose -5*t = -3*t + 2*x - 16922, -2*t + 16922 = -x. Is t/(-4)*-2*(-1 - -3) a prime number?
True
Let j be 55 + 6*6/(-12). Is (-8)/j*1 - 31074/(-26) composite?
True
Let o be (20 - 1 - -2)/((-6)/(-4)). Suppose 2*t + 2*v = o, 2*t - 4*v = -8 - 2. Suppose -t*q + 0*m - 3*m = -3786, -2*m = 4*q - 5042. Is q prime?
True
Let s = -23 + 26. Let g be (s - 16) + 2 + -5. Is 4/(g/382)*-2 composite?
False
Let a = 297830 + -61725. Is a a composite number?
True
Let a(p) = -3*p + 52. Let j be a(19). Is -1643*((-2)/(-4))/(j/10) prime?
False
Let r = -203 + 225. Is 11/r*(-8)/(-1) - -629 prime?
False
Let x = -204656 - -544257. Is x composite?
False
Suppose -2*p = 4*w - 30410, -223*w - 5*p - 15211 = -225*w. Is w a composite number?
False
Let b(s) = -25*s**3 + 13*s**2 - 12*s - 24. Let m be b(-12). Is m/(9 + -1)*(-1)/(-3) a prime number?
False
Suppose 0 = 5*s + 3 - 13. Suppose 4*k + 5*r = 32, k = -s*r + r + 7. Suppose 0 = -3*p + k*l + 1089, -5*p - 2*l = -2*p - 1064. Is p prime?
False
Let o(l) = 257*l**2 - 7*l - 3. Let u be o(-5). Suppose -2683 - 41577 = -20*w. Suppose -u = -4*t - w. Is t composite?
False
Suppose -5*z - 24 = -p, p = -2*p + 3*z + 48. Suppose p*j - 28 - 28 = 0. Suppose n - 2*n = -j. Is n prime?
False
Suppose -83592 = -10*x + 2*x. Suppose 30003 = 12*a - x. Is a a prime number?
True
Let k = 270257 - -611090. Is k a composite number?
True
Let c be 4 + 230/(-55) + (-35)/(-11). Suppose 4*j = 4*t - 1404, 4*t - 2*j = c*t + 356. Is t a composite number?
True
Suppose 647138 = 35*o - 134867. Is o a prime number?
True
Let p = -116 + 155. Suppose -p*q + 29*q = -370. Is q composite?
False
Let f be -1*(-3 - -4) + 11. Let p(i) = 3*i**3 - 9*i**2 - 30*i - 7. Is p(f) a prime number?
False
Suppose -7*g - 4*f - 11 = -2*g, -3*g - f - 1 = 0. Let i be (g + 4 - 4)*-4. Let c(h) = -15*h**3 - h**2 - 6*h + 3. Is c(i) composite?
False
Let j be (3 + 0 - (9 - 4)) + 4. Suppose -13827 = -11*h + 6*h - j*z, -5*h = -5*z - 13855. Is h a prime number?
True
Suppose -5*g + 10*g = 5*m - 1106765, 2*m = -5*g + 442748. Is m prime?
False
Let x be (-12)/((-3 - 2 - -5) + 1). Let p(l) = -2*l**2 + 6*l**2 + 1 + 12*l - l**2 + 16. Is p(x) a prime number?
False
Let b(o) = -4*o + 7. Suppose -q - 4*q - 10 = 0. Let m be b(q). Is 2/5 + 0 + 40599/m prime?
True
Suppose 154810 = -925*b + 930*b + 5*p, -4*b - p + 123863 = 0. Is b a prime number?
False
Let k = 253118 - 163995. Is k composite?
False
Suppose -3 = 4*x - 27