 c**3 + 22*c**2 - 7*c + 132. Let s be x(-22). Suppose r - 13 = 3*w, -5*r + 0*w = 2*w - 48. Suppose -s = -12*k + r*k. Is k prime?
False
Let q = -540 - -786. Suppose 12*o + q = 1194. Is o composite?
False
Suppose 0 = 52*p - 56*p + 3*t + 96697, -5*t - 120880 = -5*p. Is p a prime number?
True
Let y = 183 + 1284. Suppose 3*p - y = 4*w + 486, w = 5*p - 3238. Is p prime?
True
Let g(l) = 4*l + 90. Let h be g(-22). Let p be ((-208)/(-12))/((-4)/(-78)). Suppose 0 = h*o - p - 396. Is o prime?
True
Let b = 80648 - 42613. Is b a composite number?
True
Is (18 + (-12880875)/70)*(-2)/3 a prime number?
True
Let s(m) be the first derivative of -m**4/4 + 7*m**3/3 + 15*m**2/2 + m + 18. Is s(7) a composite number?
True
Let m = -3969 + 9719. Is (m - 1) + 0 + 6 a composite number?
True
Suppose -2*s - 2*n + 11 = -9, -3*n = 4*s - 36. Suppose -6 = s*t - 30. Suppose -2*a + 1468 = 5*c, a - 741 = -3*c + t*c. Is a a prime number?
True
Let s(p) = -p**2 - 23*p - 116. Let u be s(-16). Let x(r) = -144*r**3 + 2*r**2 + 19*r + 1. Is x(u) prime?
True
Let h = 358 - 366. Is (2 - 3)/(h/6224) a prime number?
False
Suppose 225 = 7*f - 2*f. Suppose -45 = 3*h + 3*s - 4*s, -3*s = -3*h - f. Is (38470/h)/(8/(-12)) a prime number?
True
Suppose 16*g + 7*g + 7*g = 2666610. Is g a composite number?
True
Suppose 5*x - 2*p - 15 = 2*x, -5*x + 2*p = -29. Suppose -6382 - 5595 = -x*i. Is i composite?
True
Let v(y) = 121*y - 97. Let g(t) = -64*t - 102*t - 15*t + 146. Let c(u) = 5*g(u) + 8*v(u). Is c(19) prime?
True
Suppose 278*i + 2*o = 282*i - 139376, -5*o + 174175 = 5*i. Is i composite?
False
Let y(f) = -5581*f + 3551. Is y(-78) a composite number?
False
Let a = -41598 + 73685. Is a prime?
False
Suppose 0 = 198*c - 11839131 - 13777911. Is c a prime number?
True
Suppose 0 = 2*l + x - 28, -l + 2*x + 4 = -15. Let h(y) = -y**3 + 16*y**2 - 15*y + 3. Let f be h(l). Suppose -483 - 504 = -f*z. Is z a composite number?
True
Suppose 6*g = g - 3*c - 2, 2*g + 5*c = -16. Is 4906 - (-1 + (2/g - 1)) a composite number?
True
Is (-51770 + 1)/(((-16)/((-80)/(-10)))/2) composite?
False
Let j = 360 + -362. Is -3 + -5 + 3942 + (j - -3) composite?
True
Suppose -14*k - 7*k + 2923813 + 985736 = 0. Is k a prime number?
False
Let a(q) = 77*q + 80. Let m be a(-1). Let x(n) = -n - 1. Let l(j) = -413*j + 12. Let g(h) = -l(h) + 4*x(h). Is g(m) composite?
True
Suppose 0 = 6*i - 0 - 12. Suppose -i*b = 4*f - 1048, 1086 + 1010 = 4*b - f. Let r = b - -287. Is r prime?
True
Let b = -2725 + 1872. Let p = -518 - b. Is p a composite number?
True
Suppose -4*d = 20, 13*m - 2*d = 17*m - 2354. Let i be 392*-1*(-2)/(-4). Let s = m + i. Is s a prime number?
False
Suppose -w + 0*w + 8201 = 5*k, 5*k - 3*w - 8217 = 0. Suppose -1963 - k = -4*d. Let p = d - -166. Is p composite?
True
Suppose -94*r - 42686635 = -189*r. Is r a composite number?
False
Let b(a) = 1055*a. Let o = -46 - -43. Let k be b(o). Is (6/9)/(((-4)/k)/2) a prime number?
False
Let w(k) = 710*k**2 - k + 1. Let q(u) = 710*u**2 - u + 1. Let x(m) = -2*q(m) + 3*w(m). Suppose -4*t = 5*j - 8, t - 1 = -3*j + 1. Is x(t) a prime number?
False
Let l = -507 + 897. Is (-52)/l + (-411274)/(-30) composite?
False
Let j be 46742 + -3*8/(-24). Suppose -4*u - 2675 = -4*a + 34717, -5*a + 2*u + j = 0. Is a prime?
True
Let q(g) = -g**2 - 8*g - 13. Let o be q(-4). Suppose -2*x = 4*w - 3516, 3*x - 7017 = -x - o*w. Suppose -x - 1270 = -2*d. Is d prime?
True
Suppose -462 = 5*p + 5*i - 1852, -3*p + i + 826 = 0. Suppose -4*r - p = -4*c, 3*r - 2*c + 6*c = -242. Let k = 305 - r. Is k a composite number?
False
Suppose 0 = -5*o - 2*g + 6639, g + 5306 = 5*o - o. Let q = o + -428. Is q composite?
True
Let i = -196154 + 683631. Is i a prime number?
True
Suppose 9*m - 6*m = 4395. Suppose 9 = -y + 4*z + 28, -18 = -2*y - 2*z. Suppose y*j - m = 6*j. Is j composite?
False
Let y be 594205/(-69) - 2/(-3). Let j = -6096 - y. Is j a prime number?
False
Let s = -426 - -107. Let q = 4470 + s. Is q composite?
True
Suppose -22 = -24*o + 2*o. Is 1065 + (o - (4 - 2 - -3)) composite?
False
Suppose 158058 - 1718841 = -223*y + 13222556. Is y composite?
False
Let t be 1/(-5) - (160/(-25))/2. Let g be t + (-3 - (-4)/(-2)). Let q(b) = 641*b**2 - 7*b - 9. Is q(g) a composite number?
True
Suppose -4*g - 3*d + 99055 = -443169, 0 = g + d - 135557. Is g a composite number?
True
Let p(h) = -h**3 - 22*h**2 + 11*h - 5. Suppose 5*w = 4*s - 5, 3*w - 5*s + 8 + 8 = 0. Suppose 5*c = d - 120, -w*d + 87 = -4*c - 4*d. Is p(c) a composite number?
False
Suppose 4*y + 4*m = 8 + 4, -4*m = -4. Suppose y*v = -4*k + 698, 4*k = -0*v - 5*v + 683. Is k a composite number?
True
Let z = 256 + -261. Is 3*((-67186)/(-21) - z) a prime number?
True
Let u(m) = 844*m**2 + 172*m - 49. Is u(-13) composite?
False
Let i be (-2 + 2)*(-3 - -2). Suppose j = -i*j - 32. Let o = j - -42. Is o a prime number?
False
Suppose -3*v = -3*j - 66234, 22*j + 88315 = 4*v + 21*j. Is v composite?
False
Is 2/(-2)*128356*14*5/(-280) a composite number?
False
Suppose 5*f = -2*x - 71, -89 = 5*x - 2*f + 16. Let h(t) = -5*t - 6 - 25 - 40 - 53*t. Is h(x) prime?
False
Is -1*5/((-5)/299389) prime?
True
Suppose 7*g - 10*g + 4*j = 3, -4*g + 4*j = 0. Suppose g*p + 204 = 1083. Is p a composite number?
False
Let v be 0 + 1 + (-1)/3*3. Suppose -r - 5*r + 318 = v. Is r prime?
True
Let t(f) = f**3 + 5*f**2 - f - 4. Let k be t(-2). Is 3*(-3 + k)*641/3 a prime number?
False
Suppose -94*b - 359778437 = -217*b - 470*b. Is b composite?
True
Suppose 457 = w + 152. Let r(s) = 57*s**2 - s + 6. Let c be r(-3). Let z = c - w. Is z composite?
True
Let l(d) = 546*d**2 + 4*d - 9. Let f be l(-3). Is ((-118)/3)/((-14)/f) prime?
False
Let i be (-4 - 72)/(6/(-3)). Let j = 38 - i. Is 4524/18 + ((-1)/3 - j) prime?
True
Let w be (-9 - 14/(-2))/(-1). Let g be (-1 - -9)*(101 + 2). Suppose w*q = 470 + g. Is q prime?
True
Let v(p) = 7*p**2 + p. Let t be v(4). Suppose 337*u - 342*u = -3185. Let j = u - t. Is j composite?
False
Let n = 65 - 61. Suppose 0 = -s - 4*v + 107, 3*v = -n*s + 4*v + 462. Suppose -i - s = -444. Is i a prime number?
False
Let a(y) = -y**2 - 6*y. Let i = 8 + -16. Let f be a(i). Is (-2)/f + (-7822)/(-16) a composite number?
True
Suppose 0*c + 2*c + 1 = -3*u, 4*u + 12 = 0. Suppose 5*m - k - 7078 = 0, 0 = c*m - 5*m - 3*k + 1422. Is -3 + (m - 5) + 3 a composite number?
True
Let n(x) = 4*x - 12. Let u(a) = -a + 7. Let l be u(0). Let q be n(l). Suppose -2*p = -q*p + 21098. Is p a prime number?
False
Let z(q) be the second derivative of 1535*q**3/6 - 9*q**2/2 + 22*q. Let f be z(3). Let w = f - 3033. Is w a prime number?
False
Let l(n) be the first derivative of 23*n**4/4 + 2*n**3/3 + 5*n**2/2 + n - 11. Suppose -1 = 4*t - 13. Is l(t) a composite number?
True
Suppose -3*n = -0*n - 3*h + 24, -n + 2 = 4*h. Let a be 3 + n*20/15. Is (-32)/40 - 899/a prime?
True
Let d(u) = 245*u + 3327. Is d(70) a prime number?
True
Let z be (4/2)/(-2) + 15. Let l = z + -11. Suppose -b - l*b - 830 = -2*v, -3*v - 4*b = -1215. Is v a composite number?
False
Suppose -3*x = -5*z - 3499 - 2384, -5*z + 5883 = 3*x. Suppose 3*c - 5*a = 4265, -2*c + x + 849 = 5*a. Is c prime?
False
Let n(d) be the first derivative of -d**2 - 26*d - 24. Is n(-20) a prime number?
False
Let v = 12937 + -8021. Let m = 79 + -63. Is v/m - 1/4 a composite number?
False
Suppose 110*t - 106*t - o - 6205467 = 0, 0 = -3*o - 21. Is t a composite number?
True
Let p(y) be the second derivative of y**5/10 - 4*y**4 - 31*y**3/6 - 2*y**2 - 188*y. Is p(26) a composite number?
True
Let v = 44143 - -14746. Is v prime?
True
Let k = 775527 + -374054. Is k prime?
True
Suppose -11*h + 124239 = -24800. Let z = h + -9422. Is z prime?
True
Suppose d + 2 = -t + 7, 0 = d + 3*t - 15. Suppose 2*w - 5796 = -d*q - 4*q, 3*w = q + 8680. Is w a composite number?
True
Let y(d) = d**3 + 14*d**2 - 2*d - 21. Let l be y(-14). Suppose -4*s - 2*n + 38 = 0, 4*s - 73 = l*n - 2*n. Is ((-618)/(-9))/(s/18) a composite number?
False
Let k be (-145928)/(-24) - 3 - 2/6. Let z = 9084 - k. Is z composite?
True
Let d be (3 + (-33)/6)/((-3)/6). Suppose 3*i = d*r, -2*r + r + 5*i = 0. Suppose r = -5*j + j + 892. Is j a composite number?
False
Let p = 362049 + 101384. Is p a composite number?
False
Let d(g) = g**2 + g + 1. Let q(h) = -31*h**2 + 22*h + 11. Let k(y) = 3*d(y) - q(y). Is k(-5) a composite number?
False
Let g