*w = -2*f + 86, -2*f - 5*w = -r - 38. Suppose n = f + 39. Is n a prime number?
True
Let w(q) = q**2 + 5*q - 9. Let i be w(-7). Suppose 0 = -3*v + i*n - 2197, 2152 = -3*v - 3*n - n. Let c = 1137 + v. Is c a prime number?
False
Let p(c) = -2*c**2 + 2*c + 35. Let d be p(-7). Is -4 + (-33 + 4)*d prime?
False
Let m(g) = 893*g - 564. Is m(35) composite?
True
Let u = -18 + 24. Let z be (5/(-2))/((-3)/u). Is 29*2*z/2 prime?
False
Let z(t) = t**3 - 2*t**2 - t - 2. Let y be z(3). Suppose -2*f - 3*n = -2, -8 - y = -5*f - 4*n. Suppose 4*d = -f*w + 60 + 268, -3*w = -2*d - 221. Is w composite?
True
Is 13/((2024/674 - 5) + 2) prime?
False
Suppose 1983 - 5039 = -2*x. Suppose 4*i - 5*i - 3*j = -x, -2*i + 2*j = -3096. Is i a composite number?
False
Let z = -896 + 4820. Let m = -1987 + z. Is m composite?
True
Is (10119 - -10)*(-2 - (-3)/1) a prime number?
False
Suppose 180 = -91*n + 79*n. Suppose 0 = -2*x - 2*j + 74, -x - 11 = -j - 54. Let v = n + x. Is v prime?
False
Suppose -10 = q + 2*t, -3*t = 4*q - 4*t + 49. Is 8/q*1341/(-2) a composite number?
True
Suppose l = 4*l - 363. Suppose -5*v = -l - 164. Is v a composite number?
True
Is (4/10)/((-1)/(-145)) prime?
False
Suppose -5*x + 19 = 59. Is -5*x/10 + 75 composite?
False
Is ((-264664)/16)/((-3)/6) composite?
False
Let q = -64 + 66. Is 840 + q + -1 - 3 composite?
True
Let j be 4/(-8)*-6 - 108. Suppose -9*w + 90 = -15*w. Is (-2)/w + (-131761)/j prime?
False
Is ((-106535)/(-15))/11 + (-8)/(-6) a composite number?
False
Let v be (-4)/(-5)*(0 + (-15)/(-6)). Suppose -4*m + 2*f + 1123 = -m, 2*m + v*f = 742. Is m prime?
True
Let g = -35 + 80. Suppose -43*j - 8986 = -g*j. Is j prime?
True
Let t = 8 - 12. Let n(f) = f**2 + 4*f - 3. Let q be n(t). Is (-402)/q*(-1)/(-2) prime?
True
Let j(c) = -39*c**3 + 10*c**2 - 8*c - 2. Let q(i) = i**2 + 4*i - 17. Let u be q(-6). Is j(u) a prime number?
False
Let p(q) = -23*q**3 - q**2 + 17*q + 44. Is p(-5) a composite number?
True
Let n(f) = 9*f**2 + 1. Suppose 0 = 2*k + 5*w - 2, 5*k = -5*w + 15 + 5. Suppose -3*r + k = -o + r, 4 = -o + 3*r. Is n(o) composite?
False
Let a(q) = 371*q**3. Let m(f) = -f**2 + 3*f + 5. Let y be m(4). Is a(y) a prime number?
False
Let v = -5 - -3. Let a be v + ((-216)/3 - -3). Let d = a + 628. Is d prime?
True
Is (-99730)/(-130) - 2/13 a prime number?
False
Let j(m) = 5*m - 3 + 8*m + 0*m - 15*m. Let q be j(2). Is 2/q + (-2487)/(-7) a composite number?
True
Let z be 1 + 3/(-2 - -3). Suppose -z*a - h + 40 = -a, 2*a - 5*h = 21. Suppose 0 = -a*x + 17*x - 236. Is x a composite number?
False
Let z = 4 + -4. Suppose z*y = 3*y - 1113. Suppose -5*i = -1704 - y. Is i prime?
False
Let q = -22 - -27. Suppose -2*d - 2391 = -q*d. Is d a composite number?
False
Suppose -5*b + 214520 = 5*p, -4*b + 171581 = 4*p - 7*p. Is b composite?
False
Let j(m) = -8*m + 29. Let d be j(-19). Let g = -96 + d. Is g composite?
True
Suppose -3*r - 16 + 4 = 0. Let n be 4 - r/((-4)/(-17)). Suppose 4*c - 115 - n = 0. Is c a prime number?
False
Let u(h) = -6*h - 2. Let v be u(-1). Suppose a + 4*p = 51, 17 - 127 = -2*a - v*p. Is a prime?
True
Let w(j) = -j**3 - 15*j**2 + 28*j + 23. Let t be (-3)/4*-4 - (-1 + 28). Is w(t) a composite number?
True
Suppose -7*m - 73420 = -27*m. Is m composite?
False
Let g be (-44)/(-16) - (-2)/8. Suppose -g = 2*d - 7. Is d/2*(69 + -2) composite?
False
Let w(s) be the third derivative of -s**6/20 + s**5/20 + 5*s**4/24 + s**3/2 - 16*s**2. Is w(-2) composite?
False
Is ((40/(-6))/10)/(2/(-24801)) a composite number?
True
Let y(s) = -206*s - 228*s - 9 + 103*s. Is y(-6) a composite number?
True
Suppose 5*t = -5*g + t + 36, 0 = 5*g + t - 24. Suppose 5*x = -2*c + 195, -2*c + g*x = x - 155. Is c composite?
True
Suppose f = 2*h + 19549, -3*f - 5*h = -0*f - 58603. Is f a composite number?
False
Suppose 7*y = 2*y + 5*z + 40, -2*y + 16 = -4*z. Is (-1745)/(-6) + y/(8 - -40) prime?
False
Let o = -10302 - -17135. Is o a composite number?
False
Let a(u) = -416*u - 5. Is a(-1) a composite number?
True
Let z be 0/((0 - -1)*-4). Suppose -l + 1049 = -z*l. Is l prime?
True
Suppose 53*m = 42*m + 148907. Is m a prime number?
True
Let t(r) be the first derivative of -r**4/2 - 13*r**3/3 - 11*r**2/2 - 19*r - 19. Is t(-13) composite?
True
Let x(r) = 2*r**2 + 4*r - 4. Let w be x(-6). Let s = w - -3. Is s a prime number?
True
Let b be (-1)/(-2)*-6*2. Let o = b + 10. Suppose -45 = -2*h + 3*u, -4*h - o*u + 34 = -6. Is h prime?
False
Let g(a) = 132*a**3 - 7*a**2 + 85*a - 13. Is g(6) a composite number?
True
Let v = 12104 + -6591. Is v a composite number?
True
Let w be 3 + (-5 - 5490)/(-5). Let t = 3153 - w. Is t prime?
False
Suppose u - 3 = -s, 5*s + 3 = 4*u - 18. Let w(y) = -3*y - 2*y - 4 + 2*y**2 + 2. Is w(u) a prime number?
False
Suppose 0 = -5*w - 3*c + 43048, -5*w + 34723 = -4*c - 8318. Is w composite?
False
Is -2228*(5/25 - (-14)/(-20)) a composite number?
True
Suppose g - 9 = -0*g. Let i = -12 - g. Let s = i + 54. Is s a prime number?
False
Let w = 7546 + -5152. Suppose 0 = o + 2*s - 795, 2*o - 5*o + 3*s = -w. Is o a prime number?
True
Suppose -2*b - 415 = -3*j, 5*b = 2*b + 12. Is j a composite number?
True
Suppose 2*o + 2856 = -0*o. Let u = 2395 + o. Is u composite?
False
Suppose 4*r + 2*h + h = -12, 3*r - 3*h - 12 = 0. Is (r + -3)/(((-18)/(-1294))/(-3)) composite?
False
Let f(q) be the first derivative of -1 - 1/2*q**2 + 11*q + 1/4*q**4 + 8/3*q**3. Is f(-8) prime?
True
Is (-42852)/(-6) - (2 + 10/(-5)) composite?
True
Let m = 30014 + -12993. Is m a composite number?
False
Let c(u) = -2*u - 1. Let m be c(-3). Let r(k) = 0*k + 17*k + m*k + 9*k. Is r(1) composite?
False
Suppose 3*d - 7*d - 3 = -3*k, 4*d = 4*k - 4. Is k*537 - (6 + -4) a composite number?
True
Let x(z) = 27*z - 8. Let m be 42/14 + 4*1. Let c be x(m). Suppose c = -7*p + 3716. Is p prime?
False
Suppose -17688 = 38*n - 41*n. Suppose 6*g + n = 14*g. Is g prime?
False
Let h(f) be the third derivative of -f**9/30240 + f**8/20160 + f**6/240 - 3*f**5/20 - 5*f**2. Let n(m) be the third derivative of h(m). Is n(-2) a prime number?
True
Suppose 4*u - 15 - 5 = 0. Suppose 2*l + 0*d + 9 = -5*d, 0 = u*d + 15. Is l a composite number?
False
Suppose -6*m = -7*m + 6. Suppose p - 2*a + m = 0, p + 7 = 4*a - 9. Suppose p*y - 278 = 2*y. Is y a prime number?
True
Let x = -150 - -155. Is 8/2 + (x*57 - -4) a prime number?
True
Let b = 281 + -154. Let g(q) = 59*q**2 - 1. Let y be g(1). Let j = b + y. Is j prime?
False
Is -3 + 3645/25 + 2/10 composite?
True
Suppose 0 = -5*q - 9909 + 31864. Is q prime?
True
Let s(r) be the third derivative of 7*r**4/4 - 7*r**3/6 - 11*r**2. Suppose 1 = 4*h - 11. Is s(h) composite?
True
Suppose -7*q + 2*q + 3 = -4*s, 2*s - 5*q + 9 = 0. Is -3 + 6 + 211 + s a composite number?
True
Let c be 70*(10/(-4) - -1). Let h = -22 - c. Is h a composite number?
False
Let m(l) = l**2 + 5*l - 3. Let p be m(-6). Suppose -p*c + 3254 = -91. Suppose 0*o - 5*o + c = 0. Is o prime?
True
Suppose -2*n + l = -4*l - 438, 189 = n + 5*l. Let r be (-4 - -873) + 1 + -6. Suppose -3*q = t - n, 4*t + 2*q + 3*q = r. Is t a composite number?
True
Suppose -2*l - 3*m = -5742, -2*l - m + 4*m = -5766. Let c = -244 + l. Is c prime?
True
Let r(h) = -15*h + 5331. Is r(0) a composite number?
True
Let w(b) = -b + 12. Let m be w(8). Let g be ((-2)/m)/(5/(-60)). Suppose -2*s + g*s - 2348 = 0. Is s a prime number?
True
Suppose -y + 55 = 59. Let m(n) = -4*n - 1. Let f be m(1). Is 398 + (f - y) + 0 a composite number?
False
Suppose 0 = 5*f - 5*q - 21130, -4*q - 884 = -2*f + 7576. Is f prime?
False
Suppose -3*d + d + 10 = 0. Suppose 0*y + 2328 = 3*y. Suppose -k + d*k = y. Is k composite?
True
Let o = -3918 + 8162. Suppose -5*x = -x - o. Is x composite?
False
Suppose 3*m = -2*m - 4*o - 12, 4*m + 2*o = -6. Let f be 3 + -3 - (-3 - m). Suppose -f*a + 220 = k, 2*a = -3*k - a + 642. Is k prime?
True
Suppose -u = 2*u - 6. Suppose 4*a - 3188 = -u*q, 7*q = 2*q - 20. Is a prime?
False
Let n(g) = -g**3 + g**2. Let j be -4*(-2)/(-7 - -3). Let i be n(j). Suppose -57 = -3*v + i. Is v a prime number?
True
Is (-233)/((0 - -1)/(-37)) a prime number?
False
Let l(s) = -1752*s**3 + 2*s**2 + s - 2. Let b be l(1). Is 3 + 0/5 - b composite?
True
Suppose -5*q + f = -25, -3*f = -q - 0*f + 19. Suppose 818 = q*n + 94. Is n a prime number?
True
Let v(r) = r**3 - r**2 + 2*r + 191. Suppose s = -s. L