k**3 + 13 - 4 - 8 + 2*k**2. Is l(2) composite?
True
Let j(d) = 8*d**3 - 20*d**2 + 3*d + 58. Is j(21) prime?
False
Let b be ((-84)/15)/((-10)/(-1075)). Let i = b + 3399. Is i a prime number?
True
Suppose -5*t + 8*t - 19 = 2*d, -2*t + 4*d = -26. Suppose 8*x - 3*k = 13*x - 27892, 3*x + t*k - 16734 = 0. Is x a composite number?
True
Suppose -120*m + 33*m = 150*m - 95269497. Is m prime?
True
Let d = -46 - 4. Let g be (8/(-20))/((1/d)/1). Suppose -4*c + g = 0, -a = 3*c - 125 - 341. Is a prime?
False
Let b(g) = 40*g**2 + 261*g + 100. Is b(17) prime?
True
Suppose 125*s = 130*s - 488765. Is s prime?
False
Suppose 90*s - 86*s = -x + 207939, 4*x - 5*s - 831672 = 0. Is x composite?
False
Suppose 3*g - 801 = 3*f, -301 - 248 = -2*g - f. Suppose 0 = -g*l + 270*l + 2494. Is l prime?
False
Let n be (-100)/(-10)*1/2. Let j(l) = -2*l**2 + 3*l + 1. Let o(a) = -5*a**2 + 17*a + 9. Let p(d) = -10*j(d) + 2*o(d). Is p(n) composite?
True
Let k(p) = 1042*p - 102. Let r be k(13). Suppose 0 = -21*v + r + 8837. Is v composite?
False
Let v(m) = m**3 + 8*m**2 + 9*m - 30. Let l be v(-5). Suppose -i + 74994 = 3*o, l*o + 4*i = -4*o + 100000. Is o a composite number?
True
Suppose 6*c - 24 = -4*y + 3*c, 0 = 4*y + 2*c - 20. Let w be (((-174)/5)/y)/((-1)/250). Let z = w - 1221. Is z a prime number?
False
Let k = -149 - -151. Is k/2 + 5995 + -15 a composite number?
False
Let y be 2393/4 + (-22)/88. Suppose y - 1459 = -3*b. Is b composite?
True
Let o = 272968 - 146031. Is o a prime number?
False
Let h(t) = -t**2 + 2*t + 13509. Let z be h(0). Let y be 12 + (-2 + 0)/1. Suppose -y*k + z = -k. Is k prime?
False
Suppose 5*r = 24289 - 584. Is r a prime number?
False
Suppose -166466 = -15*c + 525266 + 1103513. Is c composite?
True
Suppose 0 = 4*j - 0*k + 5*k - 17, 5*j + k + 5 = 0. Is (-1)/j + (-1 - 135/(-10)) composite?
False
Let w = 45588 + -22939. Let d = w - 13272. Is d composite?
False
Let l be ((-1)/((-9)/(-6)))/((-6)/45). Suppose 0 = 4*y - 12, -2*m - l*y + 24 = -7*y. Let a(f) = 11*f**2 - 3*f - 13. Is a(m) a prime number?
True
Let y(k) = 125*k**2 - 1271*k + 61. Is y(-36) a prime number?
False
Suppose 52400 + 41588 = 4*m. Is m a prime number?
True
Suppose 2*g = 11*w - 6*w + 171497, g - 4*w = 85747. Is g prime?
True
Is (4 - 6) + (-77)/(-44) + 60749/4 prime?
True
Suppose 36242 = k + 5*d, -4*k + 30*d = 26*d - 144992. Is k prime?
False
Let w = -4 - -2. Let a be (5/2 + w)/((-4)/(-54328)). Let t = -4592 + a. Is t a composite number?
True
Let u(h) = -h**3 - 3*h**2 + 1. Let t be u(-3). Let r(q) = -q**2 - 5*q + 1. Let a be r(-5). Is ((t + 0)*1217)/a composite?
False
Let z(a) = -a**3 + 80*a**2 + 510*a - 150. Is z(79) a composite number?
False
Let i be (-30)/(-35) + (-9)/(-63). Is (i + -2420 - -6)*(4 - 5) a composite number?
True
Let v(b) = 17618*b - 2777. Is v(5) composite?
False
Let t(s) = s**3 + 33*s**2 + 74*s + 35. Let r be t(-26). Let v = -6 + 8. Suppose -u = 4*d - 969, -r = -3*u - v*d + 6*d. Is u prime?
True
Suppose 19*d - 10 = 47. Suppose -3*a = -3*g + 5*g - 34859, a - d*g = 11605. Is a prime?
True
Is (-1)/6*(-215 - 7789351) prime?
True
Let i(g) = g**2 - 13*g + 13. Let y be i(12). Let r be (-3)/2*(-4*y + -2). Is (-12 + r)*((-280)/6 - 1) composite?
True
Let k = -35 - -37. Suppose 0 = z - k*z + 3*x - 3, 3*z + 5*x = 19. Suppose -z*c = 2*c - 185. Is c a prime number?
True
Suppose 2*s + 55 = 2*y - 3*y, 0 = -5*y - 3*s - 310. Let p = -64 - y. Is (0 - p)*(-2 + -91) a prime number?
False
Suppose 2*f + 45 = -5*l, -f + 5*f + 35 = -5*l. Is 3*10061*((-77)/l - 6) a composite number?
True
Let s(o) = 23101*o + 2008. Is s(9) a composite number?
False
Is 406/1421 + 25/(-14)*-1042 a prime number?
True
Let a(l) = -4*l - 22. Let m be a(-6). Suppose -6 - m = 4*z. Is (1/(-3))/(113/57 + z) a composite number?
False
Is 2173618/22 + (-2484)/253 + 10 composite?
False
Let k(g) = -15*g + 59. Let i be k(-16). Suppose i = 5*x + 464. Is (-11945)/(-55) - 0 - (-6)/x a composite number?
True
Suppose 33*w + 5*h - 13534 = 30*w, 0 = -4*w - 2*h + 18022. Suppose -4*c - m = -0*m - 18000, -c - m + w = 0. Is c a composite number?
True
Is (2 + 2/(-3))/(67150/67110 - 1) a prime number?
True
Let n(f) = -563*f + 705. Is n(-56) prime?
True
Let z = 13 + -46. Let a be 4006/4 - z/22. Let g = a + -522. Is g a prime number?
False
Let j(p) = 138*p**3 + 4*p**2 - 9*p + 43. Is j(4) prime?
False
Suppose -4*z - 83 = -3*n, 0 = 4*z - 5*n + n + 80. Let d = 23 + z. Suppose -5*u + 1897 + 11938 = d. Is u composite?
False
Let y(f) = -13*f - 1 - 6 + 7 + 5. Is y(-16) composite?
True
Let a = -91592 + 204135. Is a prime?
True
Let i(o) = -o**3 + 7*o**2 - 5*o - 3. Let k be i(6). Let x = 9552 + -9550. Suppose t = -5, -k*a - x*t = 2*a - 1955. Is a a prime number?
False
Suppose 48 = 7*a - 1289. Suppose -v + 7*m = 4*m - a, 0 = 2*v - 2*m - 398. Is v composite?
True
Let v(i) = -i**3 - 16*i**2 + 19*i - 43. Suppose -76 = 3*j - 7*j. Suppose 5*p + j = 4*p. Is v(p) a prime number?
False
Suppose -18 = -2*t - 20. Let y be ((3 - t)*-1 - -141) + 1. Suppose 269 - y = h. Is h composite?
False
Let l = 158862 - 101459. Is l a prime number?
False
Let x(y) = 114*y**3 - 12*y**2 - 9*y - 32. Is x(7) composite?
True
Let d = 37 + -33. Suppose -2765 = -d*m - m. Let v = m - 156. Is v a prime number?
True
Let k(o) = -o**3 - o**2 - 3*o + 1. Let f(x) = -2*x**3 - 15*x**2 - 3*x - 14. Let z(j) = f(j) + k(j). Is z(-12) a composite number?
False
Let f be 21 + 2/(4/(-10)). Suppose -g = 3*g - f. Suppose -1345 + 8117 = g*u. Is u prime?
True
Let y = 45931 + -20912. Is y composite?
True
Let m(c) be the third derivative of 31*c**5/6 - c**4/8 - 5*c**3/3 - c**2 + 4. Is m(3) a prime number?
False
Is 234137 + 4 - (-4 - 39/(-13)) composite?
True
Suppose 9 = 6*z + 33, 4*d = -z + 7072. Is d composite?
True
Suppose -30 = 2*m + 968. Let d = -1185 - -349. Let l = m - d. Is l composite?
False
Let y = 1794087 - 1159573. Is y composite?
True
Let n(m) = m**2 + 22*m + 41. Let b be n(-20). Is ((-20307)/(-4) - (-2)/8)/b a composite number?
False
Suppose 4*l = -5*z + 90, -2*z + 44 = 2*l + z. Suppose 5*r = 5 + l. Suppose -8*o + r*o = -764. Is o prime?
False
Let s be (-637 - -1)*1081/(-92). Suppose -3*o + 3*a + 31665 = s, 0 = 4*a + 12. Is o/6 - (-2)/(-4) a composite number?
True
Let v be 1/(-2)*((-30)/(-5) - 6). Is -2 + v + 370 + 8 + 1 a prime number?
False
Let s(b) be the third derivative of -b**4/24 + 7*b**3 + 10*b**2. Let y be s(28). Is 4/y - (-62793)/63 a composite number?
False
Let t(y) = 67*y**2 - 148*y + 98. Is t(43) a composite number?
False
Suppose 55*u = 53*u + 84. Suppose -u*k + k + 110905 = 0. Is k a prime number?
False
Let c = 16 - 13. Suppose 16 = v + p + c*p, 3*v + p = 4. Suppose -8*m + 1077 + 707 = v. Is m a composite number?
False
Suppose 0 = 4*z - 0 - 12. Let j(o) = -13 + 5*o - 6*o**3 + o**2 + 18*o**3 - 5*o**3 - 6*o**z. Is j(6) a prime number?
True
Let h(s) = 2*s**2 + 4001. Let l be h(0). Suppose 6 = -7*o + 5*o, 5*o - l = -4*w. Suppose -w = -4*z + 2*v, -4*z - 3*v = -3*z - 251. Is z prime?
True
Let v(f) = 759*f**2 + 14*f - 117. Is v(8) composite?
False
Suppose 22 = 2*t + 16. Suppose 8 - 20 = -t*i. Suppose i*u - 95 = -3*g + 894, -g = 5. Is u composite?
False
Suppose 3*u = 4*n + 1732289, -1099515 = -3*u - n + 632809. Is u prime?
False
Let s = -26 - -28. Suppose 3 = 2*f - c, 0 = f - s*c + 5*c + 9. Let j(w) = -w**3 + 1117. Is j(f) a prime number?
True
Let n(p) be the first derivative of 2*p**3/3 + 6*p**2 - 79*p + 105. Is n(24) composite?
False
Let q be (2/8)/(2/(-304)*-2). Let s(g) = 16*g - 12. Let u be s(q). Suppose u = -5*w + 1077. Is w composite?
False
Is 8 + (-510)/65 - 2531935/(-65) composite?
False
Suppose 132*o - 224386 = 129*o + w, 0 = -2*w + 10. Is o a prime number?
True
Let b(a) = 11*a**2 - 5*a + 2. Let l be b(1). Is ((-3084)/l)/3*-46 prime?
False
Suppose 6 = 2*g, -z - 3*g - 3334 = -12192. Is z composite?
False
Let l be 2/19 - 30/285. Suppose 23*r + 0*r - 26933 = l. Is r a composite number?
False
Suppose -23897*p + 23944*p - 3772643 = 0. Is p a prime number?
False
Let k be (-196)/6 - 4/(-6). Let q = k - -29. Is 1/q + 14092/39 a composite number?
True
Let v(y) = y**2 - 3*y + 5. Let w be 4*5/(-2 + 12). Let g be v(w). Suppose -5483 = -4*t + 3*q, -4*t - g*q = -5*q - 5486. Is t a prime number?
True
Let l(t) = 1643*t + 8. Let w be l(5). Suppose 4*k = 0, 4*c = 4*k + 10013 + w. Is c a prime number?
Fal