-18). Suppose 0 = -9*a - v + 31556. Is a a composite number?
False
Suppose 13*a - 8*a + 3*w - 1054106 = 0, -3*a + w = -632472. Is a a prime number?
True
Let j(y) = 11*y**3 - 6*y**2 - 23*y + 23. Let x be j(12). Suppose 5*d + 4*v - 157 = 44536, 2*d - 3*v = x. Is d a prime number?
True
Let i = 312845 - 212076. Is i composite?
False
Let q be (-2 - -6 - 36/10)*6265. Suppose 12*a - q = -2*a. Is a a composite number?
False
Suppose 0 = 71*m + 353275 - 1120004. Is m a prime number?
True
Let w = -360 - -385. Let g(i) = 31*i - 144. Is g(w) prime?
True
Let s(x) = -31*x - 221. Let a be s(-7). Is (-2)/a*(50854 - 8) a prime number?
True
Suppose 11462 = -10*v + 38492. Let y = v + 2438. Is y a prime number?
False
Let g(i) = 21*i**3 + 7*i**2 + 38*i - 13. Let c(p) = 2*p**2 + p - 1. Let t(d) = 2*c(d) - g(d). Is t(-7) composite?
True
Let b = 67 + -34. Let t = 2039 - 2415. Let z = b - t. Is z prime?
True
Suppose -6*g - 54*g + 7*g + 2270891 = 0. Is g composite?
True
Suppose -7829481 = -283*k + 250*k. Is k composite?
False
Let m(t) = 2305*t**2 - 2*t - 22. Let i be m(-4). Suppose -10*p + 174496 = i. Is p a prime number?
True
Let n = 103111 + 203418. Is n a composite number?
False
Suppose 5*t - 2*p = 136685, -t - t = 3*p - 54693. Let q = -13936 + t. Is q prime?
False
Suppose -16*r + 9*r - 105 = 0. Is (-12)/r - (-15911)/5 a prime number?
False
Suppose 0 = -6*t - 5821 + 73. Let f = -545 - t. Is f a composite number?
True
Let q be (2 + 880/(-6))/(4/(-114)). Suppose 6*n = -1 + 13. Suppose -q = -3*c + 4*v, -7*c + 3*c + 5514 = -n*v. Is c a prime number?
True
Suppose -j = -i - 4, -3*j + 12 = i - 5*i. Let o = 0 + j. Suppose o*h - 457 = 1147. Is h a composite number?
False
Let c(u) = -35*u + 25. Let y = -10 - -8. Let x be ((-6)/((-30)/(-5)))/((-1)/y). Is c(x) a composite number?
True
Is -7 + 25*(63735/9 + (-23)/(-69)) composite?
False
Suppose 2*q + 4 = 3*q, 0 = 2*f + 5*q - 1124. Suppose 4*j = -2*z + 6*j + 520, -5*j + 513 = 2*z. Let w = f - z. Is w a composite number?
False
Let a = 37 - -3. Suppose -2*t = b + 4, -2*t - a = -8*b + 3*b. Is (5 - (-2 + b)) + 130 composite?
False
Let o(m) = -1449*m + 671. Is o(-50) prime?
True
Let c(v) = v**3 + 4*v**2 + 5*v + 24. Suppose -7 = o - 3. Let j be c(o). Suppose j*w - 447 - 6181 = 0. Is w composite?
False
Let j(d) = 2*d - 1. Let v be j(1). Suppose 38856 = -3*q + u, 3*u - 48623 - 3185 = 4*q. Is q/(-16) + v/(-2) composite?
False
Let d be 5/40 + 85/(-40). Let v(u) = -1331*u - 2. Let s(c) = 1330*c + 1. Let n(b) = d*v(b) - 3*s(b). Is n(-2) composite?
False
Suppose -13*u = -27*u - 84. Is (-12319)/u + (-3)/(-108)*-6 prime?
True
Suppose -581*n + 580*n + 2 = 0. Suppose -n*p = 4*a - 2586, -a + 482 + 182 = -3*p. Is a composite?
True
Let a be (-15 - -1)*1/(-2). Let g be ((-32362)/(-4))/11*(8 - (-8)/4). Suppose 12*k = a*k + g. Is k a composite number?
False
Suppose 84*a = 49*a + 429065. Suppose 3*t = 16*t - a. Is t a prime number?
False
Suppose 2*h - 2*k + 465 = -h, 0 = -5*k + 15. Let u(q) = 19*q**2 - 4*q - 7. Let f be u(-5). Let i = h + f. Is i a composite number?
True
Suppose -16*r + 13*r = 63. Let i(m) = m**2 + 20*m - 16. Let d be i(r). Suppose -3*v = -j - 2671, 4*v - d*j = v + 2687. Is v a composite number?
True
Let x be 1 + (-8 - -13) + (-3 - 0). Let r(j) = -2*j**2 + 3*j**2 - 3 - 2*j - 2 - x. Is r(9) a composite number?
True
Let a be 2*(-81)/(-18)*(0 + 1). Suppose 23*k - 17824 = -a*k. Is k a prime number?
True
Suppose j = o - 9747, 25*o - 22*o + j - 29225 = 0. Is o composite?
False
Let t(c) = c - 1. Let m(s) = -397*s + 13. Let q(a) = m(a) + 6*t(a). Let w be q(7). Let y = 5203 + w. Is y composite?
False
Let t = -8 + 31. Suppose 14 = -a + t. Let l = 400 - a. Is l a composite number?
True
Let b = 147 - 143. Let m(r) = 104*r**2 + 4*r + 13. Is m(b) composite?
False
Let k = 347219 - -19024. Is k a prime number?
False
Let s = 119215 + -5784. Is s a prime number?
False
Let p(a) = -505*a - 3. Let o = 27 - 24. Let f be p(o). Is f/4*46/(-69) composite?
True
Let t = 3420 + 223. Is t a prime number?
True
Let o = 143 - 143. Suppose 4*k - 5*k + 2 = o. Is (2 + -2796)*(-1)/k composite?
True
Suppose 7*v + 2802 = 4*v. Let t = v - -1763. Is t a prime number?
True
Let a be (4 + 4/1)/(-1). Let g = a - -18. Suppose g*k - 1974 = 1756. Is k a composite number?
False
Let k(t) = -14 + 0*t - 7 - 13*t - 4 - t**2. Let y be k(-11). Is (0 + -74)*y/(2 - -4) prime?
True
Let t(j) = -1325*j - 12. Let c(h) = -2650*h - 23. Suppose -7*x + 12*x = 15. Let r(m) = x*c(m) - 5*t(m). Is r(-2) prime?
False
Is (-1833939)/(-21) + 30 + 412/(-14) a prime number?
False
Is (228/(-1254))/(4/(-359018)) a prime number?
True
Suppose 2*q + 3*s = 358622, -5*q + 7*s + 896601 = 3*s. Is q composite?
False
Let p = 9157 + -3025. Let r = p + -4162. Suppose -5*f - r = -6*x + x, -758 = -2*x - 4*f. Is x a prime number?
True
Suppose 49*y + 9*y = 1571793 + 1334645. Is y prime?
True
Suppose 23 = -7*f + 2. Is 4385*-17*f/15 a prime number?
False
Let r be (-48)/84 - 11/(-7). Suppose -3*x + 10 = r. Let g(p) = 84*p**2 - 2*p - 1. Is g(x) a composite number?
True
Suppose -1 = -u, -2*h - 27*u + 25*u + 97494 = 0. Is h a composite number?
True
Let h = -5 - -5. Suppose 2*k - 5*k + z - 5 = h, 0 = -k - 2*z + 10. Suppose k*o - 5*w = -o + 474, o - 454 = w. Is o prime?
True
Suppose 5*n - 2*s - 4174 = 0, 2*s - 2494 = -3*n - 2*s. Let x = n + -201. Suppose -7*a + 704 = -x. Is a a composite number?
False
Suppose 0 = -79*q + 75*q + 8. Let u(z) = -21 + 211*z**q + 5*z - 21 + 53. Is u(-5) composite?
False
Let i be (-3 - -1)*(8 + (-16558)/4). Suppose 0 = 2*p + 3*z - i, 11819 = 3*p - z - 559. Is p prime?
True
Let g(u) = -u**2 + 5*u + 68. Let a be g(35). Let i = 6189 + a. Is i a prime number?
False
Is (502 - -1299697) + 2*-9 prime?
True
Let q(d) = -2*d + 11. Let y be q(3). Suppose -3*g - 1781 = y*h, -5*h + h - 3*g = 1423. Let n = h - -851. Is n a composite number?
True
Suppose -o + 6*h = -153191, 4*o + 39*h - 612764 = 42*h. Is o a prime number?
True
Let b = -2827 + 4091. Let t = 11055 - b. Is t a prime number?
True
Let n = 149 + -134. Is (-1951 - -4)*(-5)/n prime?
False
Let l(i) = -i + 11. Let p be l(11). Suppose p = 9*y + 28 + 35. Let g(t) = -3*t**3 - 10*t**2 + 2*t - 4. Is g(y) prime?
True
Let o be (-6)/4 - (-24830)/20. Let j = 1781 - o. Is j a composite number?
False
Let b(p) = -285*p + 118. Let q = 353 + -374. Is b(q) a prime number?
False
Let y be 842/(-7) - 7/((-392)/16). Let z = 125 + y. Suppose -z*f + 1139 = -1196. Is f prime?
True
Let x = 48 - 45. Let n(c) = x*c - 1989*c**2 - 4*c + 2011*c**2 + 1. Is n(2) a prime number?
False
Suppose -2*z - 2*v = -6*v - 6, v = 0. Suppose -5*o - z*o = -24. Suppose -3241 = -2*w + 8*t - 3*t, 4857 = 3*w - o*t. Is w a composite number?
True
Suppose 407715 = 5*g - 5*m, -5*g = -g + 4*m - 326204. Is g a prime number?
True
Let t(m) = -3*m**2 - 17*m. Let d be t(-6). Let l(a) = -a**3 - 4*a**2 + 2*a - 1. Let u be l(d). Suppose -63*w = -u*w - 1916. Is w a composite number?
False
Let n = 250 - 483. Suppose 540 = -3*r + 2*r. Let z = n - r. Is z prime?
True
Suppose 949505 = 45*d - 1593940. Is d prime?
False
Let o(t) be the second derivative of t**6/360 + t**5/24 + 145*t**4/24 + 17*t**3/3 + 6*t. Let r(g) be the second derivative of o(g). Is r(0) composite?
True
Let z(w) = 7*w**2 + 9 - w - 5*w - 4*w**2 + 143*w**3 + 80*w**3. Is z(2) a prime number?
False
Let i(d) = -619*d + 144. Let w be i(-32). Suppose -2*c - 3682 + w = 0. Is c prime?
False
Suppose 151*i - 161982 = 133*i. Is i composite?
False
Suppose 165*h + 40*h - 176873154 = 131663531. Is h a composite number?
True
Suppose 0 = -4*n - 2*n + 24. Let o(r) = -530*r + 2. Let g be o(n). Is ((-20)/6)/(-4*(-1)/g) composite?
True
Let k(u) = -6*u**3 - 8*u**2 - 111*u - 2821. Is k(-24) composite?
False
Suppose 2*l + 4*a = -l - 7, 0 = 2*a - 4. Is l/15*9 - -4261 composite?
True
Suppose -10*y + 72513 + 14367 = 0. Suppose 13*h - 10*h = 3*w + y, -w = -1. Is h a prime number?
True
Suppose 0 = 4*p - 2*c - 31104, -148*c = -151*c - 18. Is p composite?
True
Let t = 261162 + -151165. Is t prime?
False
Let l be (-1)/3 + 5/(30/188). Suppose -4*n - 18 = -3*q, 5*q - l = 5*n - 6. Suppose 4*j + 242 = 2*g, 0*g + 4*g - 514 = -q*j. Is g a prime number?
True
Suppose -45*q - 620393 = -4951688. Is q prime?
False
Suppose 0*x + 4*u = 3*x - 84942, 0 = 4*u + 24. Is x prime?
False
Suppose 5*j - 2593576