Let c = 6344 - v. Is c a prime number?
True
Suppose 13*b - 9*b - 659679 = -5*c, -2*b - 25*c + 329997 = 0. Is b composite?
False
Suppose -54318 = -4*y + w, 13589 = y - 6*w + w. Suppose 3*b + 4432 = y. Is b a prime number?
True
Let y = 7040 - -1830. Suppose 0 = 5*g + 3*u - y, 3*g - 3*u - 2*u = 5356. Is g a composite number?
False
Is 438046/22 - (-730)/(-4015) a composite number?
True
Let z(a) be the second derivative of 7*a**4/2 - a**3/2 - 2*a**2 + 4*a. Let m(p) = p**2 - 7*p + 5. Let u be m(5). Is z(u) a composite number?
False
Suppose d + 4*w = 7583, 2297*d + 3*w = 2298*d - 7625. Is d prime?
True
Suppose -5*n = 5*v - n - 9302, -3*v = -4*n - 5562. Suppose -12*m = -14*m + v. Is m prime?
True
Suppose -r + j = -65, 30*j = 2*r + 32*j - 142. Is -6863*(-3)/4 - 17/r composite?
False
Let a = -42 + 30. Let o(j) be the second derivative of j**4/6 + 5*j**3/3 + 13*j**2 - 4*j. Is o(a) a composite number?
True
Let u = 379028 - -1807879. Is u composite?
True
Let n be 11794/8 + 2/(-8). Suppose 0 = -2*b + 432 - n. Is (12/4 + -2 - b) + -1 composite?
False
Is 1668 - (-7 + 8) - 12 a composite number?
True
Suppose -3*q = 5*m - 147829, -59128 = -2*m - q - 2*q. Is m a prime number?
True
Let u(k) = -35481*k + 704. Is u(-7) composite?
True
Let z(g) be the second derivative of 197*g**6/360 + g**5/60 - 11*g**4/24 - 2*g**3/3 + 44*g. Let m(r) be the second derivative of z(r). Is m(-6) composite?
False
Let v(p) = 743*p**3 + 5*p**2 - 33*p + 44. Is v(3) a prime number?
True
Let f(k) = k**2 + 4*k + 3. Suppose 0*i = i - 5*i. Let l be f(i). Suppose -4456 = -5*r - l*r. Is r prime?
True
Let j be 2/((20/(-5) + 5)*2). Suppose -7*b + 2*w + 6834 = -3*b, -j = -w. Is b composite?
False
Is (-6)/1 + (121944 - (-7 + 24)) composite?
False
Let q = -161 + 145. Is (-151614)/(-24) + 1*4/q composite?
False
Suppose -3*g - 4*k = -9577, -3*g + 3*k - 6*k + 9573 = 0. Let z = g + -1644. Is z a prime number?
True
Suppose 0 = 5*s + 3*l - 8, -l - 1 = -5*s + 23. Suppose s*h - 16 = 4*f, 7*f - 8 = -h + 4*f. Suppose -444 + 2339 = h*j. Is j a prime number?
True
Let q be (2/2)/(3/6). Let o(p) = 192*p**3 + 6*p**2 - p + 3. Let d(s) = -192*s**3 - 7*s**2 + 2*s - 4. Let i(y) = 6*d(y) + 7*o(y). Is i(q) a prime number?
True
Suppose 10 - 26 = 4*z, -z = 4*o + 3412. Let d = o - -1471. Suppose d + 546 = x. Is x prime?
False
Let p = -31220 - -69132. Suppose 0 = 8*m - 22992 - p. Is m composite?
True
Let x(o) = -o**2 - 27*o - 110. Let h be x(-24). Let j(l) = 2*l**3 - l**2 + 3*l - 2. Let q be j(2). Is (-2 + (-218)/4)*(q + h) composite?
True
Let g be (7 - (-2 - 24/(-4)))*1960. Suppose -g = -5*i + 1165. Is i composite?
False
Let v(l) = 55*l + 44. Let c be v(26). Let j = 2088 - c. Is j a composite number?
True
Let q = -2681 + 7398. Is q prime?
False
Let f be 21/(-1) - (1 + (1 - 4)). Let v be f/((5/17)/5). Let y = v + 912. Is y prime?
False
Suppose -3*f + 38116 = -7*c + 3*c, -2*c = f + 19058. Let b = c - -17588. Is b composite?
False
Let i be ((-264)/(-56) - 5)/(2/(-14)). Let x be 0/1 + 1100 + 0. Suppose -5*f - 5*u + x = 0, -i*u - 324 = -4*f + 574. Is f a prime number?
True
Suppose 0 = -5*l + 2*i + 84, 0*i = -5*l - 5*i + 105. Let w be (-447)/l*1 + 2/(-12). Is 10/w + (-2234)/(-10) composite?
False
Let s(g) = 8*g**3 + g**2 + 8*g - 2. Let o be s(3). Let q = o + 1942. Is q composite?
True
Suppose -5*i = 2*a - 2898385, -1193*a + 1196*a - 579664 = -i. Is i composite?
True
Let v be (-9)/(-4)*(-64)/24. Is v + 1961 + -5 - 1 a prime number?
True
Suppose -2*y + 83948 - 17958 = 2*l, 4*l = 4*y - 131980. Is y a prime number?
False
Suppose -7*r - 51 = -58. Is 3897 + (-14)/(-7) - (r - 1) composite?
True
Suppose 10*d - 34*d = -20*d - 188068. Is d a prime number?
True
Let b be ((-3416)/(-12))/(14/21). Is (b*9)/(26 + -25) + 2 prime?
False
Let i(v) = -v**3 - 10*v**2 + 175*v + 75. Let f be i(-19). Let g = -1671 - 50789. Is g/(-50) + f/5 composite?
False
Let n(s) = 8*s**2 - 5*s + 7. Suppose -5*m = 2*r + 20, -3*m - 5*r + 3*r = 12. Let j be ((-1080)/28)/(-5) - m/14. Is n(j) composite?
False
Suppose -62*b = -4806234 + 1192407 - 4259491. Is b a prime number?
True
Suppose 2*w = 4*d + 42818, -48*w + 44*w + 85701 = 5*d. Is w a composite number?
False
Let n = 5828 + 2781. Is n a composite number?
False
Let z be 13 + -2 - (1 + 1). Suppose 80 = -25*h + 41*h. Suppose -h*o = -z*o + 12044. Is o composite?
False
Let g = -314 + 408. Suppose g = 4*t - v + 4*v, -2*t + 4*v = -36. Is t a prime number?
False
Let o = 1380 - -4322. Suppose -4*p = -19*y + 24*y - 9501, o = 3*y + p. Is y a composite number?
False
Let l = 42 - 35. Let i(c) = -c + 17. Let w be i(l). Suppose 15*n - 1335 = w*n. Is n a composite number?
True
Suppose 3*v + 254709 = 3*x, 84909 = x + 245*v - 249*v. Is x a prime number?
False
Suppose 0 = 4*u - 4*l - 20, 4*u - 26 = -2*l + 3*l. Let y(f) = f**3 - 7*f**2 - 2*f + 11. Let c be y(u). Let r(g) = -65*g - 4. Is r(c) a composite number?
False
Let g(r) = -2*r**3 + 111*r**2 - 81*r - 319. Is g(48) a prime number?
False
Let o(l) = 10 + 11*l - l**3 + 11*l**2 - 18 + 20. Let m be o(12). Suppose 5*s - 558 - 9277 = m. Is s composite?
True
Suppose -4*j + 4*x = -39024, 4*j = -0*j + 3*x + 39021. Is j prime?
False
Let u be ((-9)/(-9))/((-2)/44). Is (-21 - u)/((-1)/(-4829)) a composite number?
True
Suppose -n = -4*v - 455427 - 270714, 5*v - 3630880 = -5*n. Is n prime?
True
Suppose -66*s + 282*s = 193768632. Is s a prime number?
True
Let i = -31 + 36. Suppose i*c = h + 3*h + 7561, 3*c = 3*h + 4536. Suppose 3*o = 2*o + c. Is o composite?
True
Suppose 24*m - 4*m - 2729902 + 608442 = 0. Is m composite?
True
Let u be 10512/(6 - 0) + 0. Let s = u + 827. Is s prime?
True
Let m be (77020/(-5))/(1 + -3). Let h = m + -4319. Is h prime?
False
Let g(a) = -1641*a - 414. Is g(-55) a prime number?
False
Let b = 1125845 + -439254. Is b a prime number?
False
Suppose -38*o + 59*o + 579726 = 0. Let s = o - -40915. Is s prime?
True
Suppose 2*g + 93923 = 5*b, 4*b - 29*g = -32*g + 75166. Is b composite?
False
Let c(h) = -1234*h - 60. Let t be c(-11). Let x = t - 9129. Is x a composite number?
True
Let y(x) = 5670*x**3 - 18*x**2 - 29*x + 3. Let w be y(-2). Let l = 67642 + w. Is l a composite number?
False
Suppose -s - 4*t - t + 3087 = 0, 3*s - t = 9309. Suppose 22*f = -5*f - 20981 + 141482. Let y = f - s. Is y a composite number?
False
Let k(q) = q**3 - q**2 - 5*q + 46. Let d be k(0). Suppose 115 = -d*j + 51*j. Let c(b) = 58*b + 65. Is c(j) a prime number?
True
Suppose -21 = -3*j - 9. Suppose -5*v = 5*d - 2535, 4*d - j*v = -v + 2049. Suppose 2*u - 262 = -4*y + 260, -2*y = -2*u + d. Is u a composite number?
False
Suppose 434222 + 90229 = 3*f. Is f composite?
True
Let y(l) = 93*l**2 + 32*l + 35. Is y(-12) composite?
False
Let k be 5/((-5)/(-2664)) - 6. Suppose 29*j - 20696 = -k. Is j a composite number?
True
Let r(c) = 29*c + 110. Let b be r(-4). Is b/24 + ((-19077)/(-4) - 4) composite?
True
Let t = -29 + 38. Let i(a) = 69*a - 3. Let x be i(t). Let l = 29 + x. Is l prime?
True
Suppose -2*z + 13665 = 10*t - 5*t, t = 5*z - 34230. Let i = 21804 - z. Is i prime?
False
Suppose 4*y + 59616 = 4*w, 5*w = 140*y - 145*y + 74470. Is w a prime number?
False
Suppose 60*n - 111350 + 124520 = 272430. Is n a prime number?
False
Let n(v) = v**3 + v**2 - 11*v + 7. Suppose 2*s + 14 = s - 3*c, -5*c + 10 = -5*s. Let p be n(s). Is (18 - 11)/((-2)/p) composite?
True
Let u = -464396 - -795279. Is u prime?
False
Suppose -3 - 7 = -5*g. Suppose 459 = -3*q + 3*l + 36, -g*q + 4*l = 288. Let a = 116 - q. Is a a composite number?
True
Is 2866975/20 - ((-567)/12)/(-27) a prime number?
False
Suppose -5*u - 243*q + 241*q = -803793, 5*q = 20. Is u a prime number?
True
Suppose 58*y = 13103218 + 11419530. Is y a prime number?
False
Suppose -5*f + 3*h + 224 = 0, 28*f + 5*h = 24*f + 194. Is f a composite number?
True
Suppose 6*b - 2027 = -791. Suppose -k - 151 = f - 9, -5*k + 613 = -4*f. Let p = f + b. Is p a composite number?
False
Suppose -w + 4*n = 10, -47*n = 4*w - 42*n - 2. Let b(g) = -909*g + 2 + 1 - 20. Is b(w) a composite number?
False
Let l(k) = -k - 15. Suppose -20 = a - 9. Let x be l(a). Is -723*1*x/6 a composite number?
True
Let j(s) = s**3 - 9*s**2 + 11*s - 21. Let o be j(8). Suppose -4*a - o*a = -7238. Suppose 13*d + a = 5311. Is d a prime number?
False
Let j = -14 - -8. Let g(r) = 3*r + 22. Let h be g(j). Suppose f = 5