 h = -399 - 865. Let c = h - -1805. Is c prime?
True
Let g be (-13 - -10)/(6/(-4)). Suppose -g*o = -o - 6. Is o a composite number?
True
Suppose 34*j - 35*j - 450449 = -3*z, -20 = -5*j. Is z a prime number?
True
Suppose -2*n + 1337 = 8*f - 11*f, 5*f - 2707 = -4*n. Is n composite?
False
Suppose 0 = 4*j - 16, f + 22 = 3*f + 4*j. Let d(i) = 3*i**2 + 8*i - 16. Let m be d(-8). Suppose 2*c + 4*v - f*v = 75, 3*c = -v + m. Is c a composite number?
False
Let w(i) = 6*i**2 - 5*i - 136. Let d be w(18). Suppose -4*t - s + 4425 = -0*s, 0 = 3*t + 3*s - 3312. Suppose -d = -5*n + t. Is n a composite number?
True
Suppose -y + 215621 = 3*q - 136557, -5*y - 352148 = -3*q. Is q a prime number?
False
Let l = 1552 + -917. Is l a composite number?
True
Let p = -492 - -22751. Is p a composite number?
False
Let c = -930 + 1390. Suppose -3*h - h = -c. Is h a prime number?
False
Let p(j) = 1 + 1 + 4*j**2 - 488*j**3 - j - 1 - 5*j**2. Let o be p(1). Let d = o - -712. Is d a composite number?
False
Let z(o) = -95*o + 17. Let n be (-4)/3*(-21)/(-7). Is z(n) a prime number?
True
Let h = -184 + -284. Let p = 841 + h. Is p a prime number?
True
Suppose -4*l + 5*w + 136 = 0, -2*l - l - 2*w + 79 = 0. Let a = l - 29. Suppose -5*v + a*v = -275. Is v a prime number?
False
Let u(j) = j**3 + 21*j**2 - 3*j - 3. Let s be u(-19). Let p = -145 + s. Is p a composite number?
False
Suppose -3*p + 2379 = -2*q, 2*q = -3*q. Suppose 4*a - p = g + 221, 3*a = -2*g + 766. Is a a composite number?
True
Suppose 0 = v + 4*f - 706 - 9143, 3*v + 3*f = 29520. Suppose 3*x + 1086 = v. Is x a composite number?
False
Suppose 130 - 382 = 2*r + 3*k, -4*r = k + 514. Let x = 184 + r. Is x prime?
False
Let m be -4*(-3)/(-10)*(-20)/6. Suppose v + m*v = 5275. Is v prime?
False
Let r(s) = -1 - 12*s - 8 - 7*s**2 - s**3 + 0 + 12. Is r(-11) composite?
False
Let m(j) = 140*j - 174. Is m(4) prime?
False
Let g = 583 - -137. Let c = g + -503. Is c a prime number?
False
Suppose 5*y - 1126 = 4*f - 4424, -f = 4*y - 835. Suppose -3*t = f - 3272. Is t a composite number?
True
Suppose 0 = j - 2*s, -2*j - 2*j + 6 = -5*s. Suppose -l = j*h - 15, -l = h + h - 7. Is 1 + 144/(h/1) prime?
True
Let g = 469 + 4016. Suppose -8*x + g = -851. Is x composite?
True
Is (3/(-4)*2)/(93/(-106826)) a prime number?
True
Suppose -62*b + 69*b - 199003 = 0. Is b prime?
True
Let n be ((-3424)/24)/((-1)/3). Let r = n + -135. Is r prime?
True
Suppose 0 = -3*z + z - 2*s + 131846, 65927 = z + 3*s. Is z a composite number?
False
Suppose -n + 2*y = -67, -3*n - 67 = -3*y - 283. Is n a prime number?
False
Let x = 59 + -93. Is (-12210)/x + 8/(-68) prime?
True
Let i = 1924 + -1121. Let a be 3 + -2 - 334 - (9 + -6). Let f = i + a. Is f a composite number?
False
Let w(y) = -y. Let c(n) = -238*n - 11. Let f(q) = c(q) - w(q). Is f(-2) a prime number?
True
Suppose -8*t = -3*o - 7*t + 44045, 0 = 2*t - 8. Is o a composite number?
False
Let w(j) = 1. Let c(g) = g**2 - 39*g + 74. Let m(k) = -c(k) - 4*w(k). Is m(35) a prime number?
False
Let u = -236 + 244. Let y(z) = 4 + 36*z + 5 - 4. Is y(u) a prime number?
True
Suppose 3*q + 833 = -25*y + 26*y, -5*y = q - 4197. Is y composite?
False
Let t = -37 + 39. Suppose l + 252 = p, 3*p + t*l = 6*l + 755. Is p a composite number?
True
Suppose -7*v - 17 + 10 = 0. Let y(k) = -37*k**3 + 2*k + 2. Is y(v) prime?
True
Let g(t) = 3*t**2 + 8*t - 8. Let o = -4 - 3. Is g(o) composite?
False
Let b = -5128 + 2045. Let a = -1966 - b. Is a composite?
False
Suppose 0 = -4*f + 5*w - 1267, -4*f - w - 1274 = w. Let u = 1882 - 1157. Let x = u + f. Is x composite?
True
Let w(m) = -m**3 + 9*m**2 + 9*m - 9. Let d be w(7). Suppose 786 = 2*c + d. Is c a prime number?
True
Is (-22373)/(-5) - (-69)/(-115) a composite number?
True
Let p be 12/(-21)*(-2 + -2 + -3). Suppose -p*l - l + 2595 = 0. Is l composite?
True
Suppose 3*x - 3*h = 5700, -5*x + 14*h + 9509 = 18*h. Is x composite?
False
Let j(m) = m**3 - 13*m**2 + 10*m - 6. Let d be j(6). Suppose -74 = 2*g + 48*k - 52*k, 0 = g - k + 39. Let c = g - d. Is c a prime number?
True
Let n(o) = -o**3 + 6*o**2 + 6*o + 9. Let l = -18 + 25. Let u be n(l). Suppose 322 = u*w + 4*v, 5*w - 3*v - 18 = 774. Is w a prime number?
False
Let z(g) = 594*g**2 - 84*g + 29. Is z(-11) prime?
False
Let n = -17 - -15. Let y be 44 + 3/(-3)*n. Suppose -4*g + 142 = -y. Is g prime?
True
Let o(f) = -68*f + 9. Let a be o(-8). Suppose -a - 331 = -4*p. Is p a prime number?
False
Suppose -272 - 144 = -w. Let d = -129 + 360. Let v = w - d. Is v composite?
True
Let n(a) be the first derivative of -11*a**2 + 2*a - 3. Let j be n(-3). Suppose 306 = 2*w + j. Is w a composite number?
True
Let d(w) = 17*w + 18. Let v be d(5). Suppose -1819 = -104*o + v*o. Is o a prime number?
False
Suppose 0 = 5*g - q - 3*q + 31, -4*g - 4*q + 4 = 0. Let x = -3 - g. Suppose 5*v - 357 = 4*c, 5*v + 2*c = -x*c + 339. Is v a prime number?
False
Suppose 3*d - 8 = 4*d + c, -d + 3*c - 4 = 0. Let o = 16 + d. Let p(m) = m**3 - 8*m**2 - 8*m + 12. Is p(o) a prime number?
False
Let p(g) be the second derivative of -g**5/20 + 5*g**4/4 + 3*g**3/2 - 3*g**2 + 3*g. Suppose 4*w + 0*o + o - 31 = 0, -w + 3 = 5*o. Is p(w) prime?
False
Suppose 39 = 5*t - 176. Let y = t + -40. Is y a prime number?
True
Suppose -2*p + 15*p - 169 = 0. Let w(h) = 5*h**2 - 6*h - 16. Is w(p) a composite number?
False
Suppose 525 = 8*w - 11. Suppose 5*u - 3 = 7. Suppose u*x - x = w. Is x a prime number?
True
Let r(t) = 11*t**2 - 36*t + 39. Is r(20) prime?
True
Let h(z) be the second derivative of 5*z**4/12 + 2*z**3/3 - 4*z**2 - 14*z. Is h(-5) a composite number?
False
Let f = -642 - -1343. Let p = -340 + f. Is p prime?
False
Let g = -8 - -43. Let u = 42 - g. Suppose u*l - 543 = 318. Is l a prime number?
False
Suppose 30*b + 244139 = 37*b. Is b a composite number?
False
Let y = -1809 - -5586. Is y composite?
True
Let q be (-7968)/20 + (-15)/25. Let h = -28 - q. Is h a prime number?
False
Let v(q) = 1359*q - 2. Let g be (-6)/8 - 140/(-80). Is v(g) a composite number?
True
Let p(d) = 73*d**2 + 8*d + 20. Is p(11) composite?
False
Let b = -76 - -142. Let k be 3/(-12) + b/8. Is 2/k - 675/(-4) a composite number?
True
Suppose 4*g = 68900 - 6144. Is g a composite number?
True
Let m(y) = 9*y + 18 + 25 + 0*y - 46. Let l be m(-2). Is 353/4 - l/28 a composite number?
False
Let a(f) = 18*f**2 + 17*f + 495. Is a(-28) prime?
False
Is (-42)/(-28)*(-4)/18*-4083 a composite number?
False
Suppose -3*a + 2*a - 4 = 0, -r - 2*a + 12 = 0. Let b = -12 + r. Suppose -3*u + 4*d = -713, 3*u - 2*d - 701 = b. Is u a composite number?
True
Let v = -136 - -111. Let l = 71 + v. Is l a composite number?
True
Let j(b) = b + 6 + 4*b - b**2 + 0*b. Let s be j(5). Is ((-14)/s)/(2/(-174)) a prime number?
False
Is (-93297)/(-33) - (-5)/55*-2 composite?
True
Let j = 100 - 86. Suppose 0 = -j*f + 8*f + 1830. Is f a composite number?
True
Let n be (-2 + -3)*(-1)/1. Suppose 2*u - n*z = -7*z + 2382, 0 = -u - 5*z + 1183. Is u composite?
False
Suppose 0 = 4*c - c - 5*d - 1548, -c = d - 524. Is c prime?
True
Let b(p) = 59*p**3 - 5*p**2 - p - 6. Let c(j) = 30*j**3 - 2*j**2 - 3. Let l(o) = -3*b(o) + 7*c(o). Let y be l(1). Suppose v - 85 = y. Is v a prime number?
False
Suppose -22*w + 175817 = -5089. Is w prime?
False
Let u = 43 - 39. Suppose -2*k = -4*s + 604, -2*s = -0*k - u*k - 314. Is s a composite number?
False
Suppose -3*v + d = -4*d - 578, v - 3*d - 194 = 0. Is v a composite number?
False
Suppose -5*k - 5*y + 97375 = 0, 7*k = 3*k + 4*y + 77884. Is k a composite number?
True
Let n = -382 + 3819. Is n prime?
False
Let o(w) = w**2 - 8*w + 3. Let u be o(8). Suppose g = 4*s + 13, 0 = -u*s - 2*g - 5 - 2. Is s/(-9)*(-2 - -395) a prime number?
True
Suppose 4*f - 129 + 19 = -2*u, 5*u - 2*f - 263 = 0. Let j = 440 - 260. Let a = j - u. Is a a composite number?
False
Suppose 0*i - 124 = 4*i. Let w be (16/(-10))/((-12)/(-1770)). Let h = i - w. Is h composite?
True
Let f be (-3702)/9*(-18)/4. Let i = 3482 - f. Is i composite?
True
Suppose 5 = 5*j - 5*a - 40, 0 = 5*j + a - 21. Suppose 0 = -c + 5*c - j*r - 165, 81 = 2*c - r. Suppose 4*t + 7 = -1, 0 = n + 3*t - c. Is n composite?
True
Let m be (-9575)/(-5) + (-3)/1 + 5. Let u = m + -556. Is u prime?
True
Let w = 5212 - 2783. Is w a prime number?
False
Let u be 1/((-4)/274)*-18. Suppose 2012 = 5*h - u. Is h composite?
Tr