 p - s - n. Is p composite?
True
Suppose -5*f = -2*f + 3*v + 6, 0 = -f - 3*v - 12. Let g(y) = 225*y - 44. Is g(f) a composite number?
False
Suppose 1 = -a + 3. Suppose -3*d - i + 1454 = 0, 0 = -a*d + i + 3*i + 960. Let b = 953 - d. Is b composite?
True
Let r = -993 + 7040. Is r composite?
False
Suppose 5*o = -i - 580, -3*i - 4*o - 1701 = -2*o. Let j = i + 1148. Is j prime?
False
Let j be (-2952)/(-18) - (-1 - 0). Suppose 4*q - j = q. Is q prime?
False
Is ((-320)/480)/((-2)/57867) a prime number?
True
Suppose 9880 = 7*u - 5625. Is u prime?
False
Let h be -2 - 7/((-7)/(-10653)). Let g = -7420 - h. Is g prime?
False
Suppose 318*h = 320*h - 6. Let m = -9 + 34. Suppose p + 143 = -h*d + 7*d, 0 = 5*p - m. Is d composite?
False
Let v(w) = -29 + 2 - 12 + 8*w - 6. Is v(16) composite?
False
Let d(y) = -92*y + 2. Let k be d(2). Is (-2)/(-7) - 102414/k composite?
False
Let n(w) = -w**3 + 5*w**2 - 4*w - 3. Let s be n(4). Let i(f) = -2*f. Let d be i(s). Is d/(-24) + (-618)/(-8) a prime number?
False
Suppose 5*m + 0*m - 1187 = 3*u, -3*u - 1227 = 3*m. Let j(a) = 6*a**3 - 7*a**2 - a + 25. Let h be j(5). Let v = u + h. Is v prime?
True
Suppose -9*n + 4*o - 21572 = -13*n, -5*o = 2*n - 10798. Is n composite?
True
Suppose -8*y = -6*y + 1342. Let v = y + 9726. Is v prime?
False
Let d(x) = 3*x**3 - x**2 + 6*x - 1. Suppose -k - k + 2*z = 0, -2*z = -6. Is d(k) a prime number?
True
Let p(z) = 228*z**2 - 9*z + 1. Let y be p(-8). Suppose -9*j + 4*j = -y. Is j a composite number?
True
Suppose 0 = -15*y + 19*y - 29764. Is y a composite number?
True
Let c be -1 + -2 + 8 + 2. Suppose -c*z + 191 = -6*z. Is z a prime number?
True
Suppose 40*j = 31*j + 27639. Is j a composite number?
True
Let p = -29 + 21. Suppose -2666 - 160 = -2*h. Is 2/p - h/(-4) composite?
False
Let p = -17056 - -24461. Let u = p - 5204. Is u a prime number?
False
Let b(z) = z**2 + 9*z + 12. Let u be b(-8). Suppose -2*m + u*m = 374. Is m composite?
True
Suppose 5*w = s + 5648, -4*w - s + 4512 = -5*s. Let c = w + -393. Is c composite?
True
Let s(y) = 4*y**3 - y**2 - 2*y + 22. Is s(5) prime?
True
Suppose 4*q = 4*v + 5*q - 94852, 3*v - 71139 = -3*q. Is v composite?
True
Suppose -10*h = -5*h + 15. Let j(s) = -979*s - 2. Is j(h) a composite number?
True
Suppose -o - 5 = 0, -15*s = -14*s + 3*o + 12. Let j be -6*(-1 + 2/(-4)). Suppose 0 = 2*g - s - j. Is g prime?
False
Suppose -2*c + 10 = 6. Suppose -c*v = -52 - 1110. Is v a composite number?
True
Let n = -10 - 1. Let b = 15 + n. Let j = b + 2. Is j composite?
True
Let j(y) = 59 + 87 - 2*y - 17. Is j(0) a prime number?
False
Suppose -4*y - 1122 = -n - n, n = -5*y + 596. Suppose -n = z - 1854. Is z a composite number?
False
Is (-2)/14 + (-111168)/(-56) a composite number?
True
Let m(c) = -2831*c + 259. Is m(-12) a prime number?
True
Suppose t - 1 + 4 = -4*b, -2*b + 5*t = 29. Is 4 - ((-1040 - -1) + 0/b) prime?
False
Suppose -9*z = -12*z + 5*n + 30106, n + 30110 = 3*z. Is z a composite number?
False
Let y(k) = -4*k**3 - 6*k**2 + 13*k + 20. Is y(-9) a prime number?
True
Let k = -900 - -5011. Is k a prime number?
True
Let p(w) = w - 1. Let n be p(3). Suppose n*d + 75 = -5*x + 233, -d + x + 65 = 0. Is (d/(-12) + 4)*-148 composite?
True
Suppose 3*m = 4*j - 802, -5*m - 81 - 1251 = -2*j. Let d = -135 - m. Is d a composite number?
False
Suppose l = -3*j - 8, -3*j = -3*l + 23 + 1. Suppose 4*r - 8 = 2*r + l*m, -16 = -4*r - 4*m. Let y(b) = b**2 - 4*b + 7. Is y(r) prime?
True
Suppose 4*v = 20, 0 = -2*h - v + 5*v - 4. Suppose 0*a = -3*a - o + 2297, -2*o = h. Is a a prime number?
False
Suppose -2*c + 270 = 5*q - 979, 3*q - 5*c - 768 = 0. Is q a prime number?
True
Suppose 0 = -5*h - 4*b + 20, -6*h + 2*h - 3*b = -17. Suppose 3*y = a - h, -5*y = -0*a + a - 40. Suppose 5*f + a = 0, 682 = 5*q + 5*f + 107. Is q composite?
True
Let y(r) = 7*r + 4237. Is y(0) composite?
True
Let w(y) = y**2 + 14*y + 3. Let j be w(-14). Suppose 67 = -3*m - g, -79 = j*m + 5*g - 8. Is 2064/22 + (-4)/m prime?
False
Suppose 5*g = 3*o + 46888, -46882 = -6*g + g - 3*o. Is g a prime number?
True
Let v(n) = -n**2 + 7*n + 10. Let f be v(8). Suppose 0 = -f*j + 5 + 1. Suppose -j*g + 6*g + 5*i - 802 = 0, -5*g + 1310 = 3*i. Is g a composite number?
True
Let z(l) = l**3 + l**2 - l + 2. Let d be z(0). Is (-2)/3*(-447)/d composite?
False
Let y(a) = 29*a - 44*a - 105*a + 1. Let s be 2 + 4/((-8)/6). Is y(s) composite?
True
Suppose 0 = -5*g - 3*o, -2*g - 4*o = -2*o + 4. Is ((-1074)/(-18))/(g/45) a composite number?
True
Suppose -71339 = -35*g + 113706. Is g composite?
True
Is 146202/35 + 1/(-5) prime?
True
Let c(z) = -z**3 + 19*z**2 - 19*z + 37. Let q(u) = -3*u**3 + 57*u**2 - 56*u + 112. Let t(p) = 11*c(p) - 4*q(p). Is t(20) a composite number?
False
Suppose -15*r + 64 = -7*r. Suppose -10*h = -r*h - 5342. Is h a prime number?
True
Let l be -22*(4 + -2)/((-4)/5). Suppose l - 193 = -3*u. Is u prime?
False
Let y be -2874*((-22)/(-6) - 4). Suppose 4*f + 2*c = 1172, 3*f = 5*c - 79 + y. Is f a prime number?
True
Let k = -1461 - -2209. Let c = -453 + k. Is c a prime number?
False
Suppose -21*l = -7*l. Suppose -5*n = -2*n. Suppose 2*j - s - 1404 = n, 4*j + 3*s - 167 - 2631 = l. Is j a prime number?
True
Let m(k) = k**3 - 6*k**2 + k - 6. Let z be m(6). Suppose z = -25*s + 20*s - 20. Is (s + 3)*(-1 - 222) composite?
False
Suppose -18*m + 85368 + 77154 = 0. Is m prime?
True
Let u be (-3)/(6/9 - 1). Let l(f) = -f**3 + 10*f**2 + 6*f + 8. Let n(j) = 2*j**3 - 21*j**2 - 13*j - 16. Let t(p) = -5*l(p) - 2*n(p). Is t(u) prime?
True
Let n(w) be the third derivative of 31*w**5/60 - w**4/6 - w**3 - 22*w**2. Is n(5) a composite number?
True
Suppose 0*z - 2*z = 5*j + 16, -3*z + 4*j = -22. Let y be z + (6 - (0 + 3)). Suppose -5*i = -2*i + a - 362, 3*a + 580 = y*i. Is i a composite number?
True
Let r(k) = -4*k. Let t be r(-1). Is 0 - 3/(-2) - (-926)/t prime?
True
Let c(g) = -2*g - 59. Let z be c(0). Is z/(0 + 5/(-25)) a composite number?
True
Suppose 4*p - 5*v - 6469 = 2929, 4*v + 4696 = 2*p. Let q = -883 + p. Is q a composite number?
True
Let h be (3/(-3) + -1)*15/(-10). Is h/1 - 104/(-4)*53 a prime number?
True
Let n = 18 - 14. Suppose 0 = 4*o - 12 - n. Let t = 17 + o. Is t prime?
False
Let w(u) = -u**3 + 2*u**2 - 2*u - 2. Let j be w(4). Let q be (-16)/14*j/12. Suppose -q*a + 185 + 3 = 0. Is a a prime number?
True
Let q(u) be the first derivative of -98*u**2 + 95*u - 49. Is q(-29) prime?
True
Suppose -3*i + 3 = -2*g, -4*i = 3*g + 14 - 1. Let q(p) = p**3 + 4*p**2 + 4*p. Let f be q(g). Is 2/f - 8512/(-42) a composite number?
True
Suppose -2*j - 5*a + 58951 = 0, 10*a - 13*a - 117941 = -4*j. Is j a prime number?
True
Let o = -42 + 96. Let m = -67 + 131. Suppose 0 = 2*f - o - m. Is f a composite number?
False
Let f(r) = 499*r**3 + 2*r**2 - 6*r + 2. Is f(1) composite?
True
Let g(y) = 17*y**2 + 2*y - 17. Let x be g(9). Suppose -5*z - x = -4583. Is z prime?
True
Let s(a) = -a - 14. Let o be s(-7). Let t = 1 + o. Is (2/t)/((-4)/1164) composite?
False
Suppose 2*w + 166 = 52. Let y = 86 - w. Is y prime?
False
Let n(w) = w + 6. Let t be n(-7). Let r(y) = 789*y**2 - y - 2. Let h be r(t). Is 2 + h/(4 - 0) composite?
False
Suppose 4*o - 1 = -5*v + 8, 0 = -o + v. Let p(d) = 4*d**2 + d - 1. Let r be p(o). Suppose 5*u - r*n - 966 = 0, -u - n = -2*n - 193. Is u composite?
True
Let v = -5667 - -12056. Is v prime?
True
Let n(f) = f**2 - 2*f + 6. Let q be n(4). Let s = 21 - q. Is (-4404)/(-28) + (-2)/s prime?
True
Let l = 1309 - -1584. Is l prime?
False
Let b be (2*15)/((-110)/20 - -4). Let l = 74 - 17. Let x = l + b. Is x composite?
False
Let p(l) be the third derivative of 3*l**4/2 - 5*l**3/6 - l**2. Let r be (-33)/(-44)*-4*(-4)/6. Is p(r) prime?
True
Let c(q) = q**3 - q**2 + q + 277. Let v be c(0). Let y = 948 - v. Is y a composite number?
True
Let w = 1 - 3. Let l = w - -2. Suppose 2*i + 4*h - 74 = -l*i, 4*h = 4*i - 112. Is i prime?
True
Let z(l) = 150*l**2 - 5*l + 64. Suppose -2*y - 22 = -0*y. Is z(y) a prime number?
True
Suppose 17*d + 0*d = 144313. Is d composite?
True
Let b be 590/(-1)*(-2)/5. Is (b - -1)/(8 - 7) prime?
False
Suppose 66882 = 21*g + 1383. Is g a composite number?
False
Let o be 9 - 20/4 - (-2 - -71). Let s = o + 592. Is s composite?
True
Is 2/12*-4*-1713 composite?
True
Let p be 4*(-6)/(-56)*7. Suppose -6*o + 2*r = -p*o - 308, o = r + 103. L