2 - 5, -k = -2*z + 3. Suppose o - 2*i - 18 = -5*i, z*o - 4*i = -11. Suppose 0 = -o*j - 2*j + 12575. Is j a composite number?
True
Suppose 0 = -21*r + 895072 + 1225739. Is r prime?
False
Suppose 11*h = 27*h - 7*h - 2158371. Is h composite?
True
Suppose -170 = -9*f + 145. Is f/(-7) + -2 + 1170 prime?
True
Let d = 182 + -182. Suppose d = 3*g - 24*g + 15603. Is g composite?
False
Let j be -73 - (22 + -24 - (1 - -2)). Is (-1)/(-2)*5509/(-14)*j a composite number?
True
Suppose 2*j + j + 2*v - 771 = 0, 0 = -5*j - 3*v + 1284. Let u = j + 2324. Is u prime?
True
Let i = -4674 - -2724. Let y = i + 15073. Is y a composite number?
True
Let r = 2639 - 1302. Is r a prime number?
False
Suppose 5*o - 2739985 = -4*j - 109626, -j - 5*o + 657616 = 0. Is j a composite number?
False
Let o = -112512 + 160075. Is o composite?
False
Let r = -92 - -96. Suppose r*w + 6*s - 4*s = 6542, -4*w = -3*s - 6557. Is w a prime number?
True
Suppose 4*h = d + 35, 3*d - h = 2*h - 60. Is (246460/50)/((-6)/d) a prime number?
True
Let f(a) = 113759*a**3 - 3*a**2 - 2*a + 3. Let n be f(1). Suppose -17*t + n + 50378 = 0. Is t a composite number?
True
Let y(f) = 238*f**2 - 101. Suppose -t - 25 + 14 = 0. Is y(t) a composite number?
False
Let w(f) = 486*f**3 - f + 6. Let z(v) = -v**3 - 1. Let a = -114 - -115. Let r(g) = a*w(g) + 5*z(g). Is r(2) prime?
True
Suppose 3*t - 15 = 0, 5*t = -2*h + 164187 - 9744. Is h a prime number?
False
Let w = -1044989 - -2058142. Is w prime?
True
Suppose 49*l + 7595 = 66787. Suppose l = -m + 2565. Is m a composite number?
True
Suppose 0 = 37*l - 509804 - 1361096 - 1322089. Is l a prime number?
True
Suppose -m = -5*g + 4, g + 3*g - m = 4. Let t(j) = j**3 + j**2 + 2*j + 2021. Is t(g) prime?
False
Let w = -109 + 112. Suppose n - r + 119 = -w*n, 0 = -3*n - 3*r - 93. Is 841/1 - (-5)/n*0 prime?
False
Suppose 115*d - 2224212 = 37*d - 24*d. Is d a composite number?
True
Let y = -1163 + 818. Suppose 0 = 11*z - 30*z - 11438. Let p = y - z. Is p composite?
False
Let t(r) be the second derivative of -11/2*r**2 - 13*r + 5/2*r**4 - 3/2*r**3 + 0. Is t(-6) composite?
False
Suppose 8*x = 68 + 4. Is -8*(18/(-4))/x - -1713 a composite number?
True
Let x(p) = -6*p**3 - 23*p**2 + 124*p - 16. Is x(-33) prime?
False
Let u be 2 - (0 + 126/(-12)*-2). Let n(t) = -351*t + 132. Is n(u) a prime number?
False
Suppose -4*k - 5*y + 15 = 0, 5*y = 2*k + 8*y - 9. Let t(j) = -j**2 + 4*j + 1901. Is t(k) a prime number?
True
Let b = -23 - -27. Suppose -2*l + 3*k = 646 + 22, 1358 = -b*l - 5*k. Let v = 624 - l. Is v composite?
True
Let p(h) be the first derivative of -2*h**4 - 10*h**3/3 + 13*h**2/2 + 14*h - 100. Is p(-9) a prime number?
True
Let x(g) = -g**3 - 4*g**2 - 3*g. Let n be x(-3). Let s(q) = 115 - 157*q + 158*q - 9*q**2 + 3*q**2 + 3*q**2. Is s(n) composite?
True
Let l = 110 - 106. Is ((-8289)/18)/((-6)/l) a prime number?
True
Suppose -5*c + 44 = -16. Suppose l - 2*n + 88 = -2*l, -2*l = -2*n + 60. Is (-2)/((c/(-165))/(l/(-10))) a composite number?
True
Is 193 + 146417 - (2 - -1 - 2) a composite number?
False
Suppose -2*j + 21 = 245. Let g(q) = -q**2 - 24*q + 326. Let s be g(11). Let d = s - j. Is d composite?
False
Suppose 1024480 = 20*m - 2318274 - 4093186. Is m a prime number?
True
Suppose -4*g + 12 = 4*t, -t = -3*g - 14 + 3. Suppose -s - s - 510 = -5*z, t*s = 2*z - 183. Let h = z + 35. Is h composite?
False
Is (24/18)/(144/1003644) prime?
True
Let r(i) = -33*i**2 + 15*i - 19. Suppose -21*y + 17*y + 20 = 0. Let m(v) = 17*v**2 - 7*v + 9. Let k(d) = y*m(d) + 2*r(d). Is k(4) prime?
False
Suppose 761*w + 106805 = 382*w + 384*w. Is w prime?
False
Let h(j) = 3403*j + 482. Is h(9) composite?
True
Let p(j) = j + 2858. Let r be p(0). Suppose 4*g = -4, 2*g - 5390 = -3*k + g. Let u = r - k. Is u prime?
True
Let g(k) = -8*k - 4. Suppose 0 = -4*i - 5*t - 1 - 3, 0 = 2*i + 2*t + 2. Let z be g(i). Is z/(-6) - (-8172)/27 a prime number?
False
Suppose 3*v = -2*s - 3091 + 16985, -18530 = -4*v - 5*s. Suppose x + v = 2*x. Suppose -2*k = -9*w + 4*w + 5791, x = 4*w - 3*k. Is w composite?
True
Let g(p) be the second derivative of 482*p**3/3 + 33*p**2/2 - 27*p. Let q be g(6). Is (-3)/15 - (q/5)/(-7) a prime number?
False
Suppose -52 + 17 = -7*m. Suppose 4*t - 3*i = 49168, -t - m*i + 6*i = -12291. Is t a composite number?
True
Suppose -3*a - 31 + 19 = 0. Is (18/a)/3*63284/(-78) prime?
True
Let h = 20 - 14. Suppose 0 = h*z - 5 - 157. Let d = 1958 + z. Is d composite?
True
Let u(d) = 63*d**2 + 6*d + 4. Let c be u(6). Suppose -25465 + c = -9*m. Is m a prime number?
False
Let o(i) = i**2 - 11*i + 8. Let x(g) = -g**2 + 11*g - 8. Let h(n) = -5*o(n) - 4*x(n). Let m be h(12). Is ((-1676)/(-10))/(m/(-50)) a prime number?
True
Suppose 3*u + 10 = 5*q, 4*q + 5*u + 0*u = 45. Suppose 17987 = q*c - 57083. Is c a composite number?
True
Let v(r) = -3*r**3 + 24*r**2 + 88*r - 48. Is v(-31) a prime number?
True
Suppose -6*w - 2*w = -352. Let o = w + -39. Suppose -296 = -o*c + 1359. Is c a composite number?
False
Is (-4 - -1)/((-42)/2241638) composite?
False
Let g = 316189 - 80418. Suppose -15*w = -g - 57344. Is w a composite number?
False
Let k be 14/98 + 227877/7. Suppose 13*b - 22059 = k. Is b a prime number?
True
Suppose 3*a + 92 = 7*a + 4*w, -4*w = 2*a - 50. Suppose -a*r + 11*r + 13190 = 0. Is r a composite number?
False
Let g(p) = -3*p + 7. Let i be g(3). Let m be i + (-14)/(-4) - (-21)/(-6). Is 5030/5*(-3)/m - 2 prime?
False
Suppose -20*t - 4*h - 9401 = -23*t, 3*t - 9361 = -4*h. Is t composite?
True
Let y(a) be the second derivative of 1/2*a**4 + 0 - 1/6*a**3 - 1/2*a**2 + 2*a. Is y(12) a prime number?
False
Suppose -3*t - 5627 = -3*j - 178952, 0 = 4*t + j - 231090. Is t a prime number?
True
Let c(g) = 18696*g - 1975. Is c(10) a composite number?
True
Suppose 175*h + 65*h = -16*h + 48525824. Is h prime?
False
Let z(f) be the first derivative of -23*f**3/3 + 2*f**2 - f - 1. Let y be z(2). Let m = 78 - y. Is m a composite number?
False
Let j(f) = -2*f. Let b be j(1). Let d be -4*(-4 + (-136)/(-32)). Is (d - -2) + 7 + 1025 + b composite?
False
Suppose -5 - 10 = -3*r, -3*r - 571 = -2*l. Let g = l - 108. Is g composite?
True
Let m(d) = 9*d**2 + 37*d - 21. Let q be m(19). Suppose -8*g + 21683 = q. Let w = g - 834. Is w composite?
True
Suppose 4*t + 5*x - 2299007 = 0, 7*x - 3*x - 2299008 = -4*t. Is t prime?
False
Suppose 0 = j - 15 + 13, 2*j = -4*x + 23784. Let v = 8919 - x. Is v prime?
False
Let x = -295 + 278. Is 157268/10 + x/(-85) prime?
True
Suppose -5*c + 22 - 7 = 5*r, 4*r = 3*c + 5. Is (-1 - c)/(6/(-47181)) a prime number?
True
Let q(h) be the third derivative of -h**6/40 - 2*h**5/15 - h**4/2 + 5*h**3/3 - h**2. Is q(-9) a prime number?
True
Let x = -144 - -165. Suppose x*y - 5505 = 60. Is y composite?
True
Let l be 8402/(-14) + -7*(-11)/539. Let s = 5501 - l. Is s composite?
False
Let y be -4 + (-2)/(-6)*21 + 2. Suppose 2*j + 4*g = -j - 3821, j = y*g - 1261. Let v = j + 2434. Is v composite?
False
Let n(y) = 29*y**3 + 29*y**2 + 11*y - 3. Let o(s) = 10*s**3 + 10*s**2 + 4*s - 1. Let p(w) = -6*n(w) + 17*o(w). Let x be p(3). Let u = x + 584. Is u prime?
False
Suppose 0 = 234*s - 241*s. Suppose 109*x - 99*x - 52510 = s. Is x prime?
False
Let p = 88 - 90. Let j be p + (5 - (-1 - -2)). Suppose -3*w + 2819 = -j*w. Is w prime?
True
Let n(t) = t**3 - 5*t - 10*t**2 + 10 - 2*t**3 - 10*t. Let q be n(-8). Let m(k) = 27*k - 1. Is m(q) a composite number?
False
Let h be (1011/6 + -2)*4. Let o = 108 + h. Suppose 3*p - o - 3309 = 0. Is p a composite number?
False
Let n = -37 + 35. Let x be (13/39)/(n/(-36)). Suppose -4*f + x - 18 = 0, -m - f = -514. Is m a composite number?
True
Suppose -10*i = r - 7*i - 6, 4*r - 4*i = 8. Suppose -4*h + 5*c = -2112, -r*h + c + 1595 = -0*c. Is h a composite number?
True
Let a(o) be the second derivative of 65/6*o**3 + 0 + 23/2*o**2 - 40*o. Is a(6) prime?
False
Suppose -3*i + 198869 = 5*h, -4*i = -81*h + 78*h - 265178. Is i prime?
True
Let b(t) = 5246*t - 1117. Is b(33) a composite number?
False
Let i = 62389 - 41117. Is (-65)/(-26)*i/10 a prime number?
False
Let c(u) = u - 12. Let t be c(25). Suppose -t*q - 20040 = -37*q. Is q a composite number?
True
Suppose -v + 5625 - 1614 = 0. Suppose -3*k + 5*r + v = -0*k, -5*r = 0. Is k composite?
True
Suppose 0 = -114*u + 39363490 + 128293286 - 40855602. Is u composite?
