Is n/(-18) + (-141)/54*-3428 prime?
True
Let o = 4926 + 1595. Is o a prime number?
True
Let z(c) = -c**2 + 17*c + 22. Let r be z(19). Let u be -1*103*(r - -15). Let d = u - -148. Is d composite?
False
Let s = 359 + -505. Let v be s/18*-3*3. Suppose 0 = 5*b - 318 + v. Is b prime?
False
Suppose h - 4*n + 122 = -n, 0 = h + 2*n + 112. Let x = h + 24. Is ((-5)/(-10))/((-2)/x) composite?
False
Let c be (12/(-4) - -1)*-263. Suppose 2*t - c - 252 = 0. Is t a composite number?
False
Suppose 72*k + 250248 = 96*k. Is k composite?
False
Let n = 17254 - 9353. Is n a prime number?
True
Suppose 2*k - w - 48398 = -1920, -5*w = 0. Is k composite?
True
Suppose u + 2*m = 4*u - 1324, -3*m + 861 = 2*u. Let z be (9/(-15) - -1)/((-2)/(-1090)). Is 1/(u/z + -2) a composite number?
False
Let t(v) = v. Let s be t(0). Let k be s - (-1 - 0)*1614. Suppose 4*z - 2407 = -4*y + y, -2*y + k = 5*z. Is y prime?
True
Suppose 2*x = q - 3161, 7030 - 703 = 2*q + x. Is q prime?
True
Let v(u) = -3*u**2 + 4*u - 1. Let t be v(1). Suppose t = -7*w + 39 + 178. Is w a prime number?
True
Let x(z) = -59*z - 48. Is x(-13) prime?
True
Is ((-1)/((-27)/954))/((-4)/(-102)) prime?
False
Let a = 1 + -1. Let x = 185 - -277. Suppose -3*m + 3*f + x = a, -m - m + 324 = 2*f. Is m prime?
False
Let a(l) = -19*l + 14. Let r(u) = u - 1. Let w(b) = a(b) + 3*r(b). Is w(-12) composite?
True
Suppose -3*p + 4*k + 601 = 0, 3*p + 0*k = 2*k + 593. Let d = -61 + p. Is d a prime number?
False
Suppose 0*h - j - 31 = 5*h, -4*h - 29 = 5*j. Let l = 11 - h. Suppose 425 = -12*o + l*o. Is o a composite number?
True
Let n(d) = 253*d + 3. Let u be n(3). Suppose 3*i - 15 = 0, 2*r = 5*i - 204 + 81. Let h = u + r. Is h a composite number?
True
Let k be 3 + -6 + (0 - 1). Is 2/k - (-8396)/8 prime?
True
Let i = -66 + 95. Suppose 5*y - 1 = i. Suppose -166 = 4*m - y*m. Is m composite?
False
Suppose 0 = -3*p - 1 - 14. Let a(q) = -2*q - 9*q + 14 - 28*q. Is a(p) a prime number?
False
Let n(i) = 4*i - 17*i - 69*i - 5 - 21*i. Let c(f) = 205*f + 10. Let a(d) = -3*c(d) - 5*n(d). Is a(-3) a prime number?
False
Let r = -870 + 872. Suppose 6*q = 2*v + 3*q - 4, 8 = 4*q. Suppose -y - 23 = v*c - 502, -y + r*c = -479. Is y composite?
False
Let g be -1 - ((-16)/(-4) + -4). Is g + 3 - (-2355)/15 a prime number?
False
Let d be ((-15)/(-10))/((-6)/1721)*-8. Let p = 4835 - d. Is p composite?
True
Let b = 305 - 5. Suppose z + b = 6*z. Let c = z - -35. Is c composite?
True
Suppose 0 = 45*g + 169835 - 633380. Is g composite?
False
Suppose 0 = -23*h + 102725 - 25974. Is h a composite number?
True
Let n(o) = 4*o**3 - 6*o**2 + 5*o - 8. Let c be n(6). Let s be (9/4 - 7/14)*364. Suppose -v = 3*m - s, 5*m = -v + c + 389. Is m a prime number?
True
Let u be ((-16)/(-6))/(2/3). Let m be (-1*u/4)/1. Is (413/(-21))/(m/3) composite?
False
Let k be (-5)/(-20) + 11/4. Suppose m + 180 = -3*m - 4*t, k*m - t = -139. Is (20/(-8))/(1/m) composite?
True
Let b be ((-894)/8)/((21/(-12))/(-7)). Is b/2*18/(-27) a prime number?
True
Let z(w) be the second derivative of 15*w**3/2 + w**2/2 + 11*w. Suppose 0*a + 1 = a. Is z(a) prime?
False
Let v be -6 - -3 - (-1 - 2). Suppose -5*q + 0*q + 25 = v. Suppose 197 = 5*m - 4*s, m - 4*m = q*s - 96. Is m a prime number?
True
Let y(m) = 52*m + 5. Let u be y(2). Suppose 108*l + 3449 = u*l. Is l a prime number?
True
Let y = 10 + 16. Let t = y - 38. Is (-6)/t*4*53 prime?
False
Let i(m) = -m**3 + 5*m**2 - 3*m - 3. Let r be i(4). Suppose -r + 2 = 3*a - x, -a + x + 1 = 0. Suppose a = -2*t - t + 261. Is t composite?
True
Let c(m) = m**3 - 12*m**2 - 11*m - 16. Let u be c(13). Suppose u*t = 1734 + 2776. Is t a composite number?
True
Let w = 1251 + 5746. Is w a prime number?
True
Let d(m) = -26*m**2 - 51*m + 95. Let p(l) = 5*l**2 + 10*l - 19. Let g(z) = 2*d(z) + 11*p(z). Is g(8) a prime number?
False
Let f(z) be the first derivative of 103*z**4 + z - 9. Let n be f(1). Suppose 4*c + n = g, c = -3*g - 4*c + 1222. Is g prime?
True
Let a(k) = -84*k - 1. Let s be a(8). Let z = s - -287. Let d = 865 + z. Is d a prime number?
True
Let b(w) be the second derivative of -85*w**3/2 - 7*w**2 - 8*w. Is b(-9) prime?
True
Suppose -94821 = -12*n - 20601. Is n composite?
True
Let k(a) = 786*a**2 - 241*a + 1477. Is k(6) composite?
True
Suppose 2*c - 22917 = -5*h, -22913 = -5*h - 29*c + 31*c. Is h prime?
True
Let f(n) = n**2 + 10*n + 3. Let o be f(-7). Let j be (-6)/o + (-1)/3. Suppose -3*z - y - 805 = -8*z, j = 2*z - 4*y - 322. Is z prime?
False
Suppose 7*f - 53033 - 38534 = 0. Is f prime?
False
Let d = 28 + -24. Suppose -19395 = -5*t - d*t. Is t composite?
True
Let g(s) = 4688*s - 12. Let a = -17 - -11. Let j(w) = -1563*w + 4. Let p(m) = a*g(m) - 17*j(m). Is p(-1) a composite number?
True
Suppose 33 = -2*v + 5*v - 3*c, -58 = -4*v - 3*c. Let n = v + -8. Suppose 0 = -n*u + u + 316. Is u composite?
False
Let f = 388 - 223. Suppose 2*y + 2*r = 460, 2*y + 2*r = -3*r + 454. Let d = y + f. Is d prime?
True
Let k = 41 - 22. Suppose -k + 7 = -3*s. Suppose s*g = 5237 - 1401. Is g composite?
True
Let d = 2 + 1. Suppose -6*g = -3*g - m - 64, g + d*m - 28 = 0. Is g composite?
True
Let r(b) = 334*b**2 - b - 104. Is r(-9) prime?
True
Let n be 3/(-2)*478/(-3). Let k be (-4128)/(-5) - (-52)/130. Let p = k - n. Is p composite?
False
Let a(s) = 2*s**2 - 29*s - 139. Is a(24) a composite number?
False
Suppose -4*r + 0*l = 4*l + 8, 38 = -4*r + 2*l. Let y be r/14 + 6/4. Suppose v - 3 = -y. Is v composite?
False
Suppose 0 = 15*f - 12*f - 177. Is f a prime number?
True
Let l(f) = f**2 - 5*f - 9. Let h be l(8). Let i(d) = -d**2 + 21*d - 13. Is i(h) a composite number?
True
Let z(a) = 1657*a + 235. Is z(16) composite?
True
Suppose 0 = 9*s - 18*s + 63603. Is s prime?
False
Let z(t) = 15*t. Let n be z(3). Let x(c) = n*c**2 - 16*c**2 - 9*c - 17*c**2 - 2. Is x(7) prime?
True
Suppose 16*w + 16 = 20*w. Suppose w*y + 337 = 5*a, 4*a = 2*y + 2*y + 268. Is a a composite number?
True
Suppose -3*n - 6 + 5 = i, 5*i = -3*n - 41. Is 4209/115 + (-4)/i composite?
False
Suppose -4*i - 3*s + 90274 + 15781 = 0, -2*s = -2. Is i a composite number?
False
Suppose 3*v - 685 = 410. Let m = -44 + v. Is m composite?
True
Let n be (-8)/(-44) - (-8)/(-44). Suppose 3*t - 209 - 13 = n. Is t composite?
True
Suppose 0*u - 4*u = -8. Let v be u/4*(-3 + 1). Is v/4 + (-35695)/(-44) composite?
False
Suppose x - v + 4*v = -14, 2*x - 16 = 5*v. Let o = x + 5. Suppose -o*n = -5*n + 502. Is n a prime number?
True
Let x = -1 - -3. Suppose 0 = v - g - 47, 2*g - g = -x*v + 85. Suppose -a - 3*t = -42 - v, -3*t - 86 = -a. Is a a prime number?
False
Is 8/72 + (-224880)/(-27) a composite number?
False
Let f = 6 - 4. Suppose 2*r = u - 2*r - 10, -f*r = 3*u - 2. Is (u/3)/((-2)/(-177)) composite?
False
Suppose -3*l - q = -15949, 4*q - 6903 - 9040 = -3*l. Is l composite?
True
Suppose 5*c + 3*g - 120629 = 0, 0 = 4*c - 3*c - 2*g - 24131. Is c composite?
True
Suppose 2*h - 27080 = y, 28*h + 13543 = 29*h - 2*y. Is h a prime number?
False
Let z(w) = 3*w**2 + 2*w + 59. Is z(-24) composite?
True
Let x be 4322/10 - 9/45. Suppose -5*t + x + 303 = 0. Suppose -2*m - t = -549. Is m a composite number?
True
Let q(g) = -331*g + 14. Let o(t) = -110*t + 5. Let u(s) = 8*o(s) - 3*q(s). Let i be u(-2). Let f = i + 385. Is f composite?
False
Let l(b) = b**3 + 22*b**2 - 24*b - 14. Let j be l(-18). Suppose 8*s - 6015 = 3*s. Let g = j - s. Is g prime?
False
Is (55/11)/((-2)/(3452/(-2))) a composite number?
True
Let n = -3531 + 7372. Is n prime?
False
Let c(b) = 5*b**3 - b**2 + 1. Let l be c(1). Suppose -2*o - 28 = -l*i - 9, 3*i = 15. Is 62 - (4 + (2 - o)) prime?
True
Let g = -1732 - -33915. Is g prime?
True
Let c be 1 + -2 + 0 + 14*25. Suppose 5*w + c = 2*g, -w - 61 = -g + 115. Is g a composite number?
True
Is 13*12/390 - (-31443)/5 prime?
False
Suppose -5*p + 30 = -3*g + 7, 3*p - 4*g - 16 = 0. Let j(d) = 31*d**2 + d + 1. Let s be j(p). Suppose 0 = -4*u + s + 7. Is u a prime number?
True
Let h(m) = -5*m + 5. Let z be h(6). Let a = z - -27. Suppose -4*x = -2*x - 2*s - 18, -27 = -a*x + 5*s. Is x composite?
True
Let n(t) = 3*t - 2. Let b be n(4). Suppose l + b = 6*l. Suppose 0*f + 4*f + 4*w = 1184, l*w + 1459 = 5*f. Is f a prime number?
True
Suppose -4*g - h = -19, 4*g - 5*h - 2 = -1. Suppose -9*y - 3599 = -13*y + 3*v, -g*y = -2*v - 3598. Is y a composite number?
True
L