Let f = 12 + -10. Let k be (65/39)/(f/(-162)). Let g = k + 614. Is g composite?
False
Let f = 111 + -98. Suppose 347 = 8*p - f. Suppose -3*c - 3 = 3*s - p, 37 = 3*c + 4*s. Is c a prime number?
True
Let y(f) = 5*f**2 - 6*f - 3343. Let a(l) = 2*l**2 - 2*l - 1114. Let r = 28 + -20. Let w(q) = r*a(q) - 3*y(q). Is w(0) composite?
False
Let j be (35/(-5))/(2*1/(-2)). Let u be 13/(-4)*(3 - j). Let r(o) = 4*o + 1. Is r(u) a prime number?
True
Let x(j) = -5*j + 56. Let g be x(13). Is (-14907)/g + (-2)/(-3) a prime number?
True
Let q be 3/9 - (-10)/(-6)*-1. Let n be (6 + 1 + q)*(-11)/(-33). Is ((-3)/n)/((-2)/422) a prime number?
True
Suppose r + 4*p - 17830 - 1925 = 0, 59205 = 3*r - 3*p. Is r prime?
True
Let t be (-136)/6*(-2 + 5). Is t*((-4205)/20 + 4 + 1) prime?
False
Let x(m) = -m**2 - 13*m - 39. Let r be x(-6). Let u(f) = 392*f**2 + 10*f - 7. Is u(r) a composite number?
True
Let l be (-23)/(0 + (-2)/20). Let p be 2/3*13*45/10. Let a = l - p. Is a a prime number?
True
Let k(h) = -2816*h + 54. Let f be k(-7). Let a = f + -12829. Is a a prime number?
False
Let p be -6*3/(12/118). Let c be (-10)/35 + (2 - p/7). Suppose -c*z + 11*z = -5424. Is z a prime number?
False
Let p = 21779 + -16980. Is p a prime number?
True
Suppose -14*x - 62461 = -21*x. Is x prime?
True
Let u be (108/28 - 3)*1561. Suppose 0 = 5*i - 0*i. Suppose i = 48*r - 45*r - u. Is r composite?
True
Let g = 83 - 85. Is 1/g - ((-28740)/(-8))/(-5) composite?
True
Let a(b) = 6*b**2 + 4. Let v be a(0). Suppose -5*g + g + v = 0, 4*k - 9441 = -5*g. Is k a prime number?
False
Let g = -61 - -118. Let j = -54 + g. Suppose -5*r = 2*v - 1778, -v + 889 = j*r - 0*r. Is v composite?
True
Suppose 4*i + 121 = -143. Let j = -64 - i. Suppose -2*s + 750 = j*v, s = 5*v - 3*s - 1857. Is v prime?
True
Suppose 0 = -w + 5*q + 637993, -3*w - 9*q = -13*q - 1914045. Is w composite?
False
Let f(v) = -96*v + 7. Suppose 6*t = -7 - 5. Let z be f(t). Suppose -k = -374 - z. Is k composite?
True
Let o(p) = -p**2 + 4*p + 1. Let r be o(3). Let k(t) = -193*t**2 + 1933*t + 4. Let j be k(10). Suppose -58 = -r*d + j. Is d a prime number?
True
Is (584562/(-297))/(4/(-18)) composite?
True
Let p be ((-68)/(-170) - 6/(-10))*3. Suppose -2442 = -3*b + p*v + 972, 5*v + 1126 = b. Is b composite?
True
Let c be (-4)/(56/(-7746)) + 8/(-28). Let l = 6 + -2. Suppose 0 = -l*x + 3*x + c. Is x composite?
True
Let u(o) = -10*o**2 - 71*o - 2. Let b be u(-37). Let q = -5192 - b. Is q composite?
True
Suppose -d - 19*m + 70938 = -20*m, -141878 = -2*d + 4*m. Is d a composite number?
False
Suppose -h - 3*h + 2*j + 2 = 0, j + 5 = -2*h. Let u(i) = 731*i + 60. Let r(v) = -v - 34. Let f(a) = -2*r(a) - u(a). Is f(h) prime?
False
Suppose 104066029 = 27*u + 32*u. Is u a composite number?
True
Suppose h = 3*q + 14138, -18*h + 56552 = -14*h - 5*q. Let b = h - 5319. Is b prime?
True
Is ((-1)/(-4))/((-4 - 141892/(-35474))/(-88)) a composite number?
True
Suppose -10*y + 49*y - 78 = 0. Is (-6)/12*628*(-7)/y a composite number?
True
Let t = -42 + 53. Suppose -t*w + 19024 = -3*w. Suppose 4*x - 3066 = w. Is x prime?
True
Suppose -63931 - 67617 = 8*k - 12*k. Is k prime?
True
Let o = -6423 + 10771. Suppose -14*i - o = -18*i. Is i a prime number?
True
Let b = -118 + -16. Let a = b - -252. Suppose -a + 12 = -2*w. Is w composite?
False
Suppose 6*i + 0*i = 3007884. Suppose -66*l - 35552 = -i. Is l a prime number?
True
Let b(o) = -11 + 7*o**2 + 24 - 29*o - 2. Suppose 2*c = -w + 15 + 9, -5*c - w = -66. Is b(c) a prime number?
True
Suppose 24*s = -14*s + 1123397 - 222075. Is s prime?
True
Let p = -2960 + 24735. Suppose 11*q - p = 13018. Is q prime?
True
Suppose 1 + 3 = l + 2*b, 0 = l + 4*b + 2. Let k be 21086/l + (-2)/(-5). Suppose -k = -6*f + 3*f. Is f a prime number?
False
Let b = 27201 + -14614. Is b a prime number?
False
Is 119683 + (-12)/(-132)*0 a prime number?
False
Let a(z) be the first derivative of -z**4/4 + 20*z**3/3 - 19*z**2 - 63*z - 237. Is a(16) composite?
False
Let y be (-4 + (-24)/4)/(5/2860). Let c = y + 12217. Is c a prime number?
False
Let i = -1099 + 1606. Let v = 14336 - i. Is v a prime number?
True
Let h be (28/30)/(-7) - 154/(-30). Suppose 170 = -h*r + 3750. Suppose 0 = 4*v - 3*p - r, 2*p = 5*p. Is v a prime number?
True
Let z be 4/(-16)*-2586*4. Let m be z/15*30/12. Let c = m + -60. Is c a composite number?
True
Suppose 52*a - 410700 - 58489 = -12057. Is a a composite number?
True
Let v(o) = -2*o - 24. Let f be v(-19). Suppose 4 = -h, -j - j - 5*h = f. Suppose -a - 2*a - w = -1677, -j*a + 1677 = 2*w. Is a composite?
True
Suppose 14437 = w + y, 15*y = 2*w + 12*y - 28874. Is w a prime number?
True
Is 5*(-4 + 5)*(-57554)/(-70) composite?
False
Suppose 2*b - 7301 = 4*i + 3395, -3*i - 4*b - 8022 = 0. Let y(w) = -w**3 + 8*w**2 + 89*w + 8. Let l be y(-15). Let k = l + i. Is k a prime number?
False
Suppose -10*v - 500 = -5*v. Let b = 1015 - v. Is b a prime number?
False
Suppose 164 = 6*c + 152. Suppose -c*h + z = -2301, 2*z + 1324 = h + 175. Is h composite?
False
Suppose -8*n + 11*n = 0. Let u be -15 - -17 - (4 - n). Is ((-1)/u + (-9)/3)*-926 a prime number?
False
Let d(u) = -u**2 - 15*u + 18. Let x be d(-16). Suppose -p + v - x*v = -6, -p + 4*v - 14 = 0. Suppose -p*y - 2*y = -948. Is y composite?
True
Let r(m) = -744*m + 83. Suppose 3*i + 42 = 3*f, -i - 35 = -3*f - 17. Is r(i) a prime number?
True
Suppose 3*f - 5*k - 6 = 0, -3*f = 5*k - 4 + 28. Let c(g) = -1822*g + 38. Let a(h) = -1823*h + 38. Let w(l) = -5*a(l) + 6*c(l). Is w(f) a composite number?
True
Suppose 68*k - 5*t = 64*k + 187668, 0 = 5*k - 5*t - 234575. Is k prime?
False
Let z = -140419 + 199382. Is z a prime number?
True
Suppose -4*z + 11964 - 37861 = -5*o, -z - 5180 = -o. Is o a prime number?
False
Let z(m) = -6*m + 2389 - 2420 - 41*m + 4*m**2. Is z(-32) a prime number?
True
Is 71297 + (-136)/(-17) + -12 a composite number?
False
Is ((-3)/2)/3*(72 - 148 - 2344390) a prime number?
True
Suppose -4*s = -3*z + 274152 + 93529, 367695 = 3*z + 3*s. Is z prime?
False
Suppose 5*z = -4*z + 3305700. Suppose 0 = -4*h - 16*h + z. Is h a composite number?
True
Suppose 3*s + 43075 = z + 201648, 4*z = 16. Is s a composite number?
False
Let q = 3333106 + -2150217. Is q composite?
False
Let c(k) = k**3 - 3*k**2 + 2*k + 3. Let x be c(-1). Is -1 - x*(-190)/(-15) composite?
False
Suppose -8*p + 5*n + 883145 = -3*p, -883145 = -5*p - 5*n. Is p prime?
True
Let o(t) = -3*t + 38. Let r be o(17). Is 6 + r + 448 + 8 a prime number?
True
Let c(k) = -6277*k + 8114. Is c(-31) a composite number?
True
Suppose -17*h + 284424 = -5*h. Suppose 4*c - 5*f - h = 0, -15071 = -2*c - 2*f - 3229. Is c a composite number?
False
Suppose -4859595 = -3*o - 2*f, -15 = -11*f + 6*f. Is o prime?
False
Let s(q) = q**3 - 4*q**2 + 12*q - 37. Let g be s(4). Let a(m) = 6*m**3 - 15*m**2 + 8*m - 12. Is a(g) composite?
False
Let y(i) = 4*i**3 + 3*i**2 + 4*i + 5. Let n be y(-2). Let q(j) be the third derivative of j**5/30 + 17*j**4/12 - 7*j**3/6 - 3*j**2. Is q(n) a composite number?
False
Suppose 6*y - 241388 + 97265 = 444219. Is y composite?
False
Let l be (-50)/(-35)*126/45. Is ((-22)/6 + l)*(-16572)/(-4) a prime number?
True
Let u = 22410 + -1141. Is u composite?
False
Suppose -34*h + 7047 = 30*h - 6969. Is h composite?
True
Suppose -81 + 19 = -2*t. Suppose 4*i - 27 = -3*f, -5*f + 0*i = 2*i - t. Suppose f*j = 6*j - 967. Is j a composite number?
False
Let f be 2/(-18) - 216847/(-171). Suppose 0 = -h + 2*w + 16, 11 = 5*h + 2*w - 9. Suppose 3*k - 3750 = -3*g + h*g, f = k + 5*g. Is k a composite number?
True
Suppose 3*t - 81 = -4*g, 2*g = 8*t - 9*t + 43. Is 167517/5 + -3*g/180 a prime number?
True
Suppose 411426 = 185*o - 131*o. Is o composite?
True
Suppose -24*h = -16*h - 42824. Let y = 11144 - h. Is y composite?
False
Let q(c) = -215*c + 155. Let n(d) = 18*d - 13. Let r(v) = 35*n(v) + 3*q(v). Let t be r(-6). Suppose 4*h = 4*b - 1164, 391 - t = b - 3*h. Is b prime?
False
Suppose 4*c - 3*c = -l - 83, -5*c - 427 = 2*l. Let r = -85 - c. Suppose -j + 2*o = -656 - 1557, -r*j = 4*o - 4386. Is j composite?
False
Suppose 154 = 7*l - 210. Let h(f) = 311*f**2 + 6*f + f - 55 - l + 102. Is h(2) composite?
True
Suppose -8*u - 19393 = 154711. Is -4 - (8/(-2) + u) a prime number?
False
Let q(y) = 4*y**3 + 3*y**2 + 8*y + 29. Let d be q(9). Suppose -5*f = -2*z - 8169, 