39, -n*m = -2*j + 39 - 154. Is m a prime number?
True
Let b(d) = 184*d - 3. Let u be b(2). Suppose -j + 2*t + 359 = 2*j, -t + u = 3*j. Is j composite?
True
Let r be 0*(-3)/6 + 1. Is -4 + 5 + r*54 a composite number?
True
Let n = 11 + -7. Suppose -n = 4*h - 2*h, 4*i = h - 118. Let o = i - -83. Is o a prime number?
True
Let f be 35/(-14)*(-4)/5. Suppose -f*k - 447 = -5*k. Is k composite?
False
Let g be -1 + 3 + (-3)/3. Let m = 66 + g. Is m prime?
True
Let y(o) = 87*o - 21. Is y(6) composite?
True
Suppose 4*u + 98 = -2*o, o - 4*o - 147 = 3*u. Let z = -73 - o. Let r = z - -61. Is r a composite number?
False
Suppose -2*b + 0*b = 4*f - 2550, 0 = b - 5. Is f/2 + (-5)/10 a composite number?
False
Suppose -5*q + 3*i = -10*q + 3357, 2*q = -4*i + 1354. Is q a composite number?
True
Let y(a) = a + 13. Let g be y(-8). Let c = 14 + g. Is c a composite number?
False
Let w = 3 - 0. Suppose -4*p + 63 = z, 2*z - 3*z + 28 = -w*p. Is z a composite number?
False
Suppose 0 = m - 3 - 0. Suppose -i = -m*i + 4. Is ((-2)/(-6))/(i/282) a composite number?
False
Suppose 0 = -5*v - 10, v = o - 3*v - 427. Is o a prime number?
True
Let t(u) be the first derivative of u**4/4 + 7*u**3/3 + u**2 - 2*u + 3. Let g = 9 + -15. Is t(g) prime?
False
Suppose -2*c - 2*c = -4*u + 5044, -3*u = -5*c - 3787. Is u prime?
True
Let r(k) = -19*k**2 - k - 15. Let i(b) = 9*b**2 + b + 8. Let c(m) = -5*i(m) - 3*r(m). Is c(-4) prime?
False
Let m = 6 - 4. Let x(l) = l**3 + 2*l - 1. Is x(m) prime?
True
Let r(q) = 3*q**2 - 7*q + 9. Suppose -k + 24 = -4*k. Is r(k) a prime number?
True
Suppose 3*p + 2*v + 10 = 0, -5*p + v = -p - 5. Let a(f) = f**2 + 2*f + 149. Is a(p) a prime number?
True
Suppose d = -6*d + 3451. Is d a prime number?
False
Suppose -3*l = 3*l + 12. Is 3 + 6 - (0 - l) a prime number?
True
Let s(x) = 0 + 2 - 19*x + 0 + 4. Is s(-13) prime?
False
Let c = 390 - 222. Suppose 187 + c = 5*n. Is n a prime number?
True
Suppose 5*o = -2*a - 26 - 6, 0 = -2*o - 3*a - 15. Is 9/(-27) - 224/o composite?
False
Is ((-2 + 4)/(-2))/((-1)/799) a prime number?
False
Let b(d) be the second derivative of -d**3/6 + 2*d**2 - d. Suppose 5*p = -10, g + 2*p + 10 = -g. Is b(g) a prime number?
True
Let h(f) = -f**2 - 4*f + 3. Let b be h(-4). Suppose -111 = -o - 4*w - 42, 328 = 5*o + b*w. Is o composite?
True
Suppose 3*a - 225 = -4*k + 1742, -5*k + 1316 = 2*a. Is a a prime number?
True
Let r be 9/(-2)*(-1 + -1). Suppose -5*m = -5*l - 35, m + 4*l + r = l. Suppose m*a - 6*a = -45. Is a composite?
True
Let p = 35 + -21. Let x = p - -221. Is x prime?
False
Let w = 13 + -12. Suppose -45 = -u + w. Is u prime?
False
Let p be 3 + (-9)/(3/1). Suppose k = n + 7, -5*k + 2*n + p*n + 44 = 0. Is k composite?
True
Suppose 4*m - 2*c - 388 = 0, -2*m + c + 2*c + 202 = 0. Is m composite?
True
Let h = -126 + -12. Let d = h - -265. Is d prime?
True
Let s be 3/(-9) + (-40)/6. Let f be ((-588)/2)/(-3) + -2. Let l = s + f. Is l a prime number?
True
Let b(w) = -w - 4. Let a be b(-5). Is (a - 4)*79/(-3) a composite number?
False
Suppose 19 = 5*n - 91. Let a = n - -105. Is a prime?
True
Let h(r) be the second derivative of 23*r**4/12 + r**3/6 + r**2/2 + 3*r. Is h(-3) a prime number?
False
Let u(a) = a + 10. Let s = -18 + 10. Let g be u(s). Is 5*g + 2 + 2 prime?
False
Is (57 - (-4 - -2))/1 a prime number?
True
Let r be (-4)/(-10) - 23/(-5). Suppose -r*v + 137 = -128. Suppose -g = -2*g + v. Is g prime?
True
Let m be ((-3)/6)/((-2)/252). Suppose -2*d - d + m = 0. Is d prime?
False
Is (-9 - -4) + 1072 - 0 a composite number?
True
Let h(i) = -i**3 - 12*i**2 + 9. Let b be h(-12). Suppose -c = 3*l - b, -l - 48 = -5*c + 61. Is c a composite number?
True
Let y be 1/(-3) - (-4)/3. Suppose 5*w + f + y = 4, 3*w = -3*f + 9. Suppose w = 2*z - 96 - 10. Is z composite?
False
Suppose -5*n + 10 = 2*w, 4*n - 2*w = -6*w + 8. Suppose -n*u - 50 = -f, f - 2*u - 36 = -7*u. Is f a composite number?
True
Let c(v) = v + 11. Let p be c(-9). Let l be (2/2)/(1/p). Suppose 2*a - 188 = -l*u, -2*u + 82 = a + 3*u. Is a a prime number?
True
Let f(q) = 3945*q + 11. Is f(2) a composite number?
False
Suppose 5*f + 7 = -4*i - 8, -2*f = i + 6. Suppose -4*r = -i*r - 376. Is r a composite number?
True
Suppose 0 = -3*u + 8 - 2. Suppose v - u*v + 98 = -2*b, 2*b = 3*v - 314. Suppose -2*d - o + v = 0, -5*d + 55 = o - 212. Is d a composite number?
False
Let t = -4 - -7. Suppose -24 - t = -3*r. Is 1 - r*-21 - -1 a composite number?
False
Suppose -4*j + 4*m = -1488, -m + 1867 = 5*j + m. Is j prime?
True
Let g be 1*(-1)/((-3)/(-15)). Let r(i) = -i**3 - 5*i**2 - 3*i. Is r(g) composite?
True
Is 7/(166/82 - 2) prime?
False
Let j = 11 + 3. Suppose 5*y - z - 160 = 0, -5*z = -5*y - j + 194. Is y prime?
True
Is 5/5*-1*-457 composite?
False
Let h = 26 - 24. Suppose -2*p - p - 1455 = -3*b, h*b = p + 972. Is b a composite number?
False
Is 12228/28 + (-6)/(-21) prime?
False
Let y = -154 + 281. Suppose 6*m - y = 5*m. Is m a composite number?
False
Let o = 6 + -3. Let b be (-1)/((-6)/o)*2. Suppose t = 6*t - 4*c - 14, t + c - b = 0. Is t a prime number?
True
Suppose -151 = -x + 316. Is x prime?
True
Suppose u - 3*p - 55 = 150, 4*u - 2*p = 850. Suppose -l - u = -3*l. Let m = -16 + l. Is m prime?
False
Let v = 0 - -5. Let g(f) = -f - 3. Let x be g(-3). Suppose -239 = -3*c - 2*p, x*c + v*p = -4*c + 328. Is c a composite number?
True
Let x be -162*(2 - 3) - 1. Let j = x + -90. Is j composite?
False
Suppose 0 = 2*r - 627 - 35. Is r a composite number?
False
Let d(g) = g - 8. Let i be d(6). Let v be (14/3)/(i/(-87)). Is (2 - 7 - -3) + v a composite number?
True
Let s = 564 - 102. Let a = -179 + s. Suppose -8*q + 3*q + 2*c + a = 0, -5*c = -3*q + 166. Is q composite?
True
Suppose b = -4*b - 2855. Let j = b - -320. Let p = -172 - j. Is p prime?
True
Suppose -4*d + 400 = -h, 5*d + h = -2*h + 500. Let l = 8 + -4. Suppose l*t + 8 = d. Is t prime?
True
Let u = -104 - -291. Is u a prime number?
False
Is (-2)/((-2)/(-5))*11416/(-20) a composite number?
True
Let w(a) = 8*a**3 + 2*a**2 - 4*a + 3. Let q be w(3). Suppose -3*x + 708 = q. Is x a composite number?
True
Let j be (-3 + 4)*-2 + 2902. Suppose -2*k = -7*k + j. Suppose -10*z + 6*z + k = 0. Is z a composite number?
True
Let n = -612 - -1897. Is n composite?
True
Suppose -x + 6*x = -95. Let u = x - -34. Is u a composite number?
True
Let u(z) = z + 6. Let k be u(-3). Suppose -5*y = f - 244, -f + 144 = k*y + 2*f. Is y prime?
False
Let m = 63 - 22. Let n = m - 18. Is n prime?
True
Let b(n) = -n**2 + n + 4. Let h be b(0). Let s(r) = 9*r - 5. Is s(h) prime?
True
Let s(n) = -2*n + 13. Suppose -36 = -0*b + 3*b. Is s(b) a prime number?
True
Let u = -42 - -29. Let j = u + -2. Let w = j - -134. Is w a composite number?
True
Suppose -4*x = 4*t - 196, 5*t = 3*x - 50 - 65. Let m be (-2)/(-4) - x/10. Is 894/18 + m/6 composite?
True
Let q be (7 - -19)*7/(-2). Let o = q - -218. Is o composite?
False
Is (4/10)/(12/12270) prime?
True
Let h(q) = 19*q**2 + 6*q. Is h(-7) composite?
True
Let j(g) = -5*g**3 + 5*g**2 - 4*g - 1. Is j(-7) prime?
True
Is (-4 + 3)*(-57 - -2) a composite number?
True
Let j(f) = 37*f**3 - f**2 + f. Let m(n) = -n**3 - 10*n**2 - n - 9. Let w be m(-10). Is j(w) a composite number?
False
Let l be (8/(-6))/(2/(-9)). Is -3 + l/(-3) + 216 prime?
True
Let p(u) be the first derivative of u**4/4 - 2*u**3 - 3*u**2/2 - 9*u - 5. Is p(7) prime?
True
Let r = -6 + 0. Is (-4473)/(-14) + 3/r prime?
False
Suppose 0 = -y + 3*y. Suppose y = -4*o - o + 355. Is o a composite number?
False
Let n = -77 - -331. Suppose -w + 2*w - n = 0. Is w prime?
False
Let r(c) = c**2 - 5*c + 1. Suppose 3*q = 12 + 3. Let j be r(q). Is j*47 + 0/(-1) a prime number?
True
Let q be (0 + 344/(-20))*-5. Suppose 0 = -3*p - 5*u + 47, u - q = -4*p + 6*u. Is p prime?
True
Let u(y) = -y**2 - 4*y + 3. Let i be u(-4). Suppose -2 = -i*j + 4. Suppose 0 = -4*n - 3*b + j*b + 199, 4*n - 190 = 2*b. Is n prime?
False
Suppose -3*p - 1820 = 2*p. Let w = p - -511. Suppose 8*t - 5*t - w = 0. Is t a prime number?
False
Suppose -176 = -6*a + 2*a. Let n = -3 + 16. Let y = a - n. Is y prime?
True
Suppose 0*k - 1336 = -4*k. Is k a prime number?
False
Suppose -5*x + 4743 = 3*h, -3*h = -5*x + 2*h + 4775. Is x a composite number?
True
Let h = -845 + 1228. Suppose -5*o + h = -3*j, 138 = -4*o + 6*o - 5*j. Is o a prime number?
True
Let 