-91*n**3 + 7*n**2 + 10*n + 61. Is o(-7) prime?
True
Suppose 12*v - 421 - 107 = 0. Is (v/(-6))/((-4)/366) a composite number?
True
Let r = -4372 + 2385. Let u = r + 2906. Is u prime?
True
Let d(l) = 5*l**3 - 29*l**2 - 18*l + 19. Let m(r) = -2*r**3 + 14*r**2 + 9*r - 9. Suppose 0 = 4*w - 8*w + 12. Let f(t) = w*d(t) + 7*m(t). Is f(-10) prime?
False
Is ((-59366)/(-4))/(163/326) composite?
False
Let z(x) = -149*x - 70. Let d be 34/3*18/(-12). Is z(d) a prime number?
False
Let j(u) = -u**3 - 3*u**2 + u - 2. Let l be j(-3). Suppose 0 = 5*r - 3*m + 112, -2*r + m = 3*r + 104. Is (-8)/r + (-443)/l composite?
False
Let q(g) = 9*g - g + g + 6*g - 12. Let r be q(7). Suppose -r = c - 4*c. Is c composite?
False
Suppose 4*q = 20, 2*s - 5*q = 5*s - 43. Let w(d) = -3*d + 2 - 2*d + s*d**2 + 1. Is w(-6) a composite number?
True
Suppose 3*q - 2*q + 3*j = -6, -3*q + 3*j + 6 = 0. Suppose q = -45*w + 39*w + 1146. Is w a composite number?
False
Let a = -2876 - -5455. Is a composite?
False
Suppose 48 = -y - 2*y. Let v be 3*-9 - (-15 - y). Is (-26668)/v + (-4)/(-7) composite?
False
Let o = 3 + -2. Let p be (-5)/1*o*-2. Let z = p - -12. Is z prime?
False
Suppose 0 = 4*f + b + 43, -6*b + 26 = -2*f - 2*b. Let i(s) = -36*s + 21. Is i(f) composite?
True
Let t = 22413 + -15466. Is t prime?
True
Suppose 25*n = 27*n - 12058. Is n composite?
False
Let y = -25526 + 42027. Is y a prime number?
False
Suppose 0 = -5*z - 0*q + 4*q + 9, z + q = 0. Let x be (2 - z)/(1/25). Let y = 30 + x. Is y prime?
False
Suppose -3*k = 2*k - 20. Suppose -k*n + 175 = n. Is n composite?
True
Let f = -90 + 93. Suppose f*l - 5725 = 392. Is l prime?
True
Suppose -52711 = -14*l + 43959. Is l composite?
True
Suppose 8376 = 4*p - 2268. Let u = p - 1732. Is u a composite number?
False
Let s = 221 - -222. Is s a prime number?
True
Let k = -3 + 28. Let d be ((-710)/k)/((-2)/(-10)). Let n = -15 - d. Is n a composite number?
False
Is 30/36 + (-23306)/(-12) a prime number?
False
Suppose -5*m = -d - 51, -2*d + 17 + 2 = m. Let z(f) = 81*f + 20. Is z(m) a composite number?
False
Let j(o) = 93*o**3 + 12*o**2 - 12. Let n be j(-5). Is 10/85 - n/17 a composite number?
True
Let v(y) = 47*y**2 + 4*y - 47. Is v(6) a composite number?
False
Let x(w) = -27000*w + 37. Is x(-2) a prime number?
True
Let g = 18 + -28. Let w = g - -13. Is (-6)/9 + 257/w prime?
False
Let x be (209 - -1) + 4 + -1. Let q = x - -50. Is q composite?
False
Suppose 0 = -8*k - 19*k + 7*k. Suppose z - 4*y - 1485 = k, -2*z + 3754 - 802 = y. Is z a composite number?
True
Suppose 1959 = -g - 3*l + 12620, 42684 = 4*g + 2*l. Is g a composite number?
True
Let g(p) = 21*p**3 - 4*p**2 + 2*p + 1. Let i(o) = o**3 + 7*o**2 + o + 10. Let m be i(-7). Let v be 2 + (-4 - -1) + m. Is g(v) a prime number?
True
Let k be (-23)/(-4) - (-2)/(-16)*6. Suppose 5*u = -3*j + 4926, -3*j + 3*u - 3283 = -k*j. Is j prime?
True
Suppose -2*l + 3032 = 2*i, -2*i + 4*l = 3*i - 7580. Suppose -2*r + 5822 = i. Is r a composite number?
False
Let i(u) = -u**2 + 10*u - 2. Suppose 3*x - 10 = 20. Let b be i(x). Is (36/15 + b)*55 composite?
True
Suppose 3*k = -0*k + 3. Suppose k = -u, 2*c + 0*u + u - 291 = 0. Is c a composite number?
True
Let r(a) = 114*a**2 + 12*a + 19. Is r(-3) prime?
True
Let o = 14 + 13. Let r = 22 - o. Is (-1072)/r + (-12)/(-20) composite?
True
Let v(i) = 1680*i + 3. Suppose 4*q + 12 = -0*x - 2*x, 0 = x + 4*q + 10. Let s be v(x). Is s/(-3) + (-2 - 2) prime?
False
Suppose 4*w - 31 = -3*d, -w - 4 = -8. Suppose -9 = 2*x - d*x. Suppose -r + 1780 = x*r. Is r prime?
False
Suppose 0 = -13*l + 65886 + 256748. Is l a prime number?
False
Suppose 4*b = 5*b - 4*n - 2491, -2*b - 5*n + 4943 = 0. Is b a composite number?
True
Suppose -2*c + 3218 = 4*d, 3*c - 7*c + 6448 = -4*d. Suppose 3*r - 2152 = 2*j - 6*j, -3*r = 3*j - c. Is j prime?
True
Suppose 5*v = 7*v - 96. Suppose -22 = -2*p + v. Is (4326/p)/((-4)/(-10)) prime?
False
Suppose -19*u + 4 = -18*u. Suppose -u*z = -8*z + 11140. Is z a composite number?
True
Let z(h) = -2*h**2 + 17*h - 2. Let y be z(8). Is 18480/9 - (2/y + 0) composite?
False
Let c = 21614 + -14397. Is c composite?
True
Suppose -36*q + 95*q - 357953 = 0. Is q composite?
False
Let c(j) = -j + 9. Let v be c(7). Suppose v*w - 5*m - 1591 = -4*m, w - m = 796. Suppose -332 = -7*t + w. Is t prime?
False
Let y(z) = 748*z + 81. Is y(5) a prime number?
True
Let r be (10 + -4 + 4)/2. Suppose 4*k - 6 = 3*a + 3, 0 = -4*a - r*k + 19. Is ((-254 + -3)*a)/(-1) composite?
False
Let a = -515 + 27. Let j = a + 1059. Suppose 3*m - j = -100. Is m composite?
False
Let k = -34548 + 57691. Is k composite?
False
Let l = 7124 - 1609. Is l prime?
False
Let n = 1422 - 5359. Let y = 9600 + n. Is y a prime number?
False
Let b(c) = -10 + 4*c - 4*c - 4*c - 10*c. Let g be b(-4). Let l = g + 87. Is l composite?
True
Let v(p) = 4*p**3 - 9*p**2 - 5*p - 10. Let w(r) = -3*r**3 + 10*r**2 + 6*r + 11. Let u(q) = 2*v(q) + 3*w(q). Is u(10) a composite number?
False
Let x = 22342 - 7049. Is x a prime number?
False
Let y be 26/13 - 2*-1. Suppose y*d = 3*r + 742, -2*r - 2*r = -3*d + 553. Is d prime?
False
Let i be (-7)/1 - (-2 - -2). Let d(q) = -q**3 + q**2 + 17. Is d(i) a composite number?
False
Let p(q) = 321*q**2 + 7*q - 1. Suppose -4*x + 16 + 4 = 0. Is p(x) composite?
False
Let q = 6 + 1. Let d(j) = 8*j - 2. Let s(v) = -7*v + 2. Let o(h) = -4*d(h) - 5*s(h). Is o(q) prime?
True
Let j(i) = 155*i**2 + 4*i + 33. Is j(8) a prime number?
False
Let z(o) = o**2 - o - 2. Let x be z(-1). Suppose -3*y - y + 324 = x. Suppose g + y - 260 = 0. Is g prime?
True
Suppose -2*j + 2084 = 6*k - 4*k, -j = -1. Is k a composite number?
True
Let p = -56 - -14. Is (-1)/6 - (7987/p + 3) a composite number?
True
Suppose -3*f - l + 542 = 0, -68 - 114 = -f - l. Suppose 5*q - 45 - f = 4*s, q - 4*s - 29 = 0. Suppose -5*b + 1514 = q. Is b prime?
True
Let y(o) = 4475*o + 6. Let b be y(1). Suppose b = -8*i + 23145. Is i a composite number?
False
Suppose -2*j = -7 + 1. Suppose y = -j*q + 839, q = y - 5*y + 276. Let g = 55 + q. Is g a prime number?
False
Let j(y) be the second derivative of y**4/6 - 13*y**3/3 + 41*y**2/2 - 10*y. Is j(17) a prime number?
False
Let h = 8 - 5. Suppose h*b = 139 + 980. Suppose 3*c = 14 + b. Is c a composite number?
True
Let y be 4/(-8)*(0 - -250). Let l = 322 + y. Suppose 0 = 3*g - l - 556. Is g a composite number?
False
Let n be 8/24 + (-40)/(-6). Suppose 2*a - 4*s + n = a, 3*s - 3 = 0. Is (-490)/(-3) - a/(-9) a composite number?
False
Let m = 2937 + 452. Is m composite?
False
Let g be 5*-1 + -12 + 13. Let b = g - -8. Suppose 0 = -3*n + b*n - 331. Is n prime?
True
Let w(q) = 31*q**2 + 9*q + 15. Is w(5) composite?
True
Let y(o) = 286*o**2 - 5*o + 4. Let b be 9/27 + (-8)/(-3). Let d be y(b). Suppose -892 = 3*z - 2*h - d, 0 = -3*z - h + 1671. Is z prime?
True
Let a = -21031 + 39180. Is a prime?
True
Suppose 5864 = 9*m - 6277. Is m composite?
True
Suppose 0 = -h + k + 595, h - 3*k = -4*h + 2979. Suppose -89 = -a + 135. Let d = a + h. Is d prime?
True
Let n(z) = z**2 + 9*z - 11. Let d be n(-10). Let b(x) = 94*x**2 + 1. Let c be b(d). Suppose -5*w = -5*l - 475, c = 2*w - w + 5*l. Is w a composite number?
True
Suppose y + 5 = 2. Let c = y + 5. Is 5/(-15)*(c + -251) composite?
False
Let a be -3 + (-3 - 160 - -2). Let c = a - -106. Let i = c - -83. Is i prime?
False
Suppose 44*h = 55*h - 62359. Is h a prime number?
True
Suppose 28 = p - 5*z, -p = -0*p + z - 4. Let q be -1*((3 - p) + 1). Suppose -3*g = -3*b + q*b - 174, 0 = 2*b. Is g a prime number?
False
Let g(i) = i**3 - 9*i**2 - 12*i + 21. Let c be g(11). Suppose -c*o - 611 = -132*o. Is o a prime number?
False
Let t = 1128 - 442. Let h(j) = 27*j**2 - 2*j - 1. Let m be h(4). Let f = t - m. Is f a prime number?
True
Let m be ((-4)/(-6))/(19/(-228)). Is (-2*(-5444)/m)/(-1) prime?
True
Suppose -7*g + 20 = -2*g. Suppose p = 2*w - 183 + 32, -w + g*p = -86. Is w a prime number?
False
Let y(d) = 6 + 0 - d + 10*d**2 - d**3 + 3. Let k(l) = -l**2 - 6*l - 2. Let f be k(-3). Is y(f) a prime number?
True
Suppose -b + 8 = 4*m, b - 8 = -5*m + 2. Is (787 + 8/m)*1 a prime number?
False
Suppose j = -4*n - 0*j + 8207, -3 = -j. Is n composite?
True
Let b(p) = p**3 + 93. Suppose 3*n + 12 = -m, 4 + 0 = 4*m - n. Let f be b(m). Is (3/(-9))/((-1)/f) prime?
True
Suppose m + 6 = -1. Let d(q) = q**2 + 7*