*t + 3*c + 570. Let n = z - t. Is n prime?
True
Let a be 1/((6/(-567))/(-2)). Suppose -a = -3*u + 348. Is u a prime number?
True
Let q(u) = -2675*u - 143. Is q(-12) composite?
False
Let g(n) = 9*n**3 + 6*n**2 - 10*n + 7. Let f(y) = -13*y**3 - 9*y**2 + 15*y - 10. Let h(w) = 5*f(w) + 7*g(w). Let l = -13 - -9. Is h(l) composite?
False
Let p = 9 - -3. Let a be (p/(-9))/((-8)/(-36)). Let x = a + 17. Is x composite?
False
Suppose 2*l = -3*l + 75. Suppose 5*i = 20 + l. Is i a prime number?
True
Suppose -71*m + 74*m = 12. Suppose -143 = -5*f + m*f. Is f composite?
True
Let w(g) = 1644*g - 665. Is w(27) a composite number?
True
Suppose -2304052 - 1566416 = -36*w. Is w a composite number?
True
Let h = -7 + 9. Suppose 3*b + 2*v = 2987, -4*b + h*v + 2612 = -1380. Is b prime?
True
Let m = 55227 + -33080. Is m a prime number?
True
Suppose -2*t + 4*g = -52678, 9*g + 131695 = 5*t + 11*g. Is t a composite number?
False
Is -43 + 43 - (-2 + -4199) a prime number?
True
Let q = 21423 + -12703. Suppose 4*g - q = -7*k + 5*k, 0 = -4*g - 5*k + 8708. Is g composite?
True
Suppose z + 4*x - 32 = 3*x, 5*z + 2*x - 145 = 0. Is 3/z + (-41496)/(-27) composite?
True
Suppose 3*m - 3*u - 2 - 10 = 0, 3*u = 4*m - 14. Let z be 432 - 1/3*(8 + 1). Suppose 0 = 5*j - m*j - z. Is j composite?
True
Suppose 4*g = 8*g - 80. Suppose 4*b + b = g. Suppose -265 = -v - b*v. Is v prime?
True
Let j(t) = -t**3 - 2*t**2 - 2*t - 489. Let w be j(0). Let v = w + 1368. Is v a prime number?
False
Suppose 76*p - 71*p - 7180 = -5*k, 0 = 3*k + 5*p - 4302. Is k a prime number?
True
Let s = 2404 + -3583. Let b = 699 + s. Let q = -275 - b. Is q a composite number?
True
Let u = 26 - -534. Suppose 5*w = 5*r - 2040, u = 3*r - 4*w - 661. Is r prime?
False
Let a = -6 - -3. Let p be (-14)/(a/(-1 + -2)). Let w = 113 - p. Is w a composite number?
False
Let k(n) = -n**3 - 3*n**2 + 4*n - 1. Let d be k(-4). Is 253/(2 - d - 2) a composite number?
True
Suppose -5*n - 25 = 0, 2*h - 4*h = 3*n + 11. Suppose -2*m - h*m = 0, b + 3*m - 6617 = 0. Is b a composite number?
True
Suppose -2*j = 5*a - 1414, 4*a = 2*a - 4. Suppose 3*f = v - 356 - j, -5*v + 5301 = -2*f. Is v prime?
False
Suppose 3*j = 3, j + 1983 + 349 = d. Is d prime?
True
Let f = 6 - 13. Let g(m) = -2*m**3 + m**2 + 3*m + 3. Let z(o) = -5*o**3 + 3*o**2 + 8*o + 9. Let x(c) = 8*g(c) - 3*z(c). Is x(f) a prime number?
False
Let v = 4 + -19. Let i be -6 - -2 - (0 + v). Suppose i*g = 7*g + 2204. Is g a composite number?
True
Let u be (-8)/3*9/(-6). Suppose 0*d + 28616 = 4*n + u*d, 0 = 2*n - 2*d - 14288. Is 2/15 - n/(-45) a composite number?
True
Let o = 11007 - 4202. Suppose 3*x = -2*l - l + 4083, -5*l + o = -3*x. Is l prime?
True
Let l = -681 + 265. Let v = -115 - l. Is v a composite number?
True
Let f(q) = 303*q + 31. Let y(t) = t - 1. Let v(d) = -f(d) + 4*y(d). Is v(-8) prime?
True
Let j(l) = -17302*l - 11. Is j(-1) composite?
False
Suppose w + 752 = -3*w. Let c = w + 376. Suppose 214 + c = 6*m. Is m composite?
False
Is (-14307)/(-7 - -4) + -4 a composite number?
True
Suppose -10*r = -r + 144. Is (-327)/(-7) + r/(-56) prime?
True
Suppose 5*y + 5*b = y + 124989, 4*b - 20 = 0. Is y a prime number?
False
Is ((-531410)/(-60) - 0) + (-1)/(-6) prime?
False
Let q = -3500 - -6421. Is q composite?
True
Let i(w) = w**3 - 5*w**2 + 4*w. Let q be i(6). Suppose 7*x = 5*x + q. Is 12/x + (-26)/(-10) composite?
False
Is (8/6)/((-8)/(-5996))*3 composite?
True
Is 3 - (-1256)/3*(-3)/(-2) a composite number?
False
Let k = -1644 - -5195. Is k composite?
True
Let x be ((-1)/(-4))/(9/108). Suppose 0 = 3*t - 4*d - 573, -5*t + 932 = -x*d + 4*d. Is t a composite number?
True
Is 5 + 1/(4/57912) prime?
False
Let r be (-6)/16 + (-189)/(-56). Let w be (r + (1 - 4))*1. Suppose a - 464 = -2*i + 295, -2*a - 6 = w. Is i prime?
False
Suppose j - 18 = -2*q, 5*q + 54 = -5*j + 7*j. Suppose -4 - j = -2*s + 3*w, 0 = -3*s - w + 39. Let a = s + -2. Is a a composite number?
False
Let s be 264/7 - (-6)/21. Suppose 50 = 5*p + m - 195, -p + 2*m = -s. Suppose -6*h = -h + l - 126, 2*h = -l + p. Is h a prime number?
False
Let g = 55 - -148. Is g composite?
True
Let u = 32 - 48. Let m = u - 7. Let h = m - -46. Is h a prime number?
True
Let z = -2596 + 17855. Is z prime?
True
Suppose -3*v + 1730 = -5*v. Let k = -474 - v. Is k a composite number?
True
Is (-2)/(33417/234213 + (-1)/7) prime?
False
Suppose -15 = 3*d, -12*d = 5*l - 9*d - 62990. Is l a composite number?
False
Let d(l) = -2*l**2 - 2*l**2 - 6*l + 2*l**3 - l - 10 - 6*l**2. Let h be d(-7). Is -3*(0 + h/9) prime?
True
Is (-1 + (-42)/(-18))/((-12)/(-724743)) prime?
True
Suppose s + 3*s + 2*t = 1072, -4*t = -s + 268. Let b = -1 + 1. Suppose b = 8*m - 4*m - s. Is m composite?
False
Let l = -26 - -18. Let o be 2/l - (-204)/(-16). Is o/26 - (-870)/4 a composite number?
True
Let b be (-35)/(-15) + (-2)/(-3). Is 327 - (b + -1)*-1 a prime number?
False
Let v(x) = 88*x**2 - x - 2. Let c(d) = -d**2 - 32*d + 3. Let l be c(-32). Is v(l) a composite number?
False
Is (907/3)/(92/1380) a prime number?
False
Suppose 109448 = 20*s - 176012. Is s a composite number?
True
Let r(j) = j - 3. Let k be r(3). Suppose k = -v - 4*v + 3985. Is v prime?
True
Let p = 12639 + -2826. Is p composite?
True
Is ((-4)/(-20))/((-27)/(-1294245)) composite?
False
Let y(k) = -36*k**3 - 2*k + 1. Suppose 2*t - 2 + 6 = 0. Is y(t) composite?
False
Let t = 1274 - -7193. Is t a prime number?
True
Let o = -94 + 102. Suppose -o*b = -15*b + 15113. Is b composite?
True
Suppose 0 = -0*j - 5*j + 20. Suppose -j*o + 541 = -3*o. Is o composite?
False
Let m(l) = l**2 - 4*l + 3. Let a be m(3). Let q be 263 - (a + 3 + 0). Let i = q - 145. Is i composite?
True
Let j = 191886 - 131533. Is j prime?
True
Let s(t) be the third derivative of t**5/30 - t**4/3 - 31*t**3/6 + 3*t**2 - 4. Is s(-11) a prime number?
False
Let y(q) = 2*q**2 - 6*q + 3. Suppose 2*r + 3*r - 4*j = 6, 0 = -4*r + j + 7. Let s be (-11 - -3)*r/(-4). Is y(s) composite?
False
Let n = 20 + -32. Let h(q) = -q**3 - 6*q**2 + 8*q + 19. Is h(n) composite?
False
Suppose 21*m - 1460 = 29389. Is m a composite number?
True
Let r = 6 - 5. Let z(h) = 703*h**3 - 2*h**2 + 3*h - 1. Is z(r) composite?
True
Let v be (416/12)/((-1)/3). Is (-78)/v - 801/(-4) composite?
True
Suppose 8 = -4*k, -v - k = -0*k - 1880. Let u = v - 1340. Is u prime?
False
Let w be ((-176)/660 + (-2)/5)*-3. Suppose 0 = -2*y + 73 + 93. Suppose k = -2*k - w*c + y, 3*c = -15. Is k prime?
True
Suppose 4*z - 18 - 35 = -3*t, -z - 3*t = -2. Let p be (0 - 1)/(-1) - 11. Let y = z + p. Is y a composite number?
False
Suppose 57 = -8*p - 39. Let k(n) = -n**3 - 10*n**2 - 10*n + 3. Is k(p) a composite number?
True
Let i = -36 + 41. Is (-3 + 5)/(i*8/82060) composite?
True
Let w(v) = 12*v - 16. Let y be w(-6). Is (-2006)/(-22) - (-16)/y prime?
False
Let b = 80 - 82. Is b*-3*3/(-18)*-631 prime?
True
Let d = -35477 + 54426. Is d prime?
False
Let u be 1159/(-114) + 2/12. Let m = 5 + u. Let q = 138 + m. Is q a prime number?
False
Suppose 4*g - 4*c - 24 = 0, 4*c = 2*g - 0*c - 18. Suppose 437 = 3*y + g*h - 1429, 0 = 2*y - 2*h - 1236. Is ((-14)/(-8))/(5/y) a prime number?
False
Suppose 2*y = -2*y + 12. Let u be 0/9*(y + -2). Is ((-6096)/(-8))/(2 - u) composite?
True
Let l = -1219 + 1664. Is l prime?
False
Suppose 4*i - 34 = -l + 2*l, 0 = 4*l + 8. Suppose -5*t + i*t - 471 = 0. Is t prime?
True
Suppose -4*r = -38 + 6. Suppose 3*k - r*k = 0. Suppose 4*i = -5*w + 355, 3*i - 2*i - 5*w - 120 = k. Is i a composite number?
True
Let n(r) = -r**2 + 6*r + 2. Let v be n(6). Suppose 2*d - 2 - 6 = -l, 0 = v*d - 3*l + 8. Let p(u) = 81*u**2 - u + 4. Is p(d) prime?
False
Let z = 51 - 47. Suppose z*s - 6*s = -586. Is s a composite number?
False
Suppose -24 = -3*u - 6. Suppose u*p - 39 = 21. Is p a composite number?
True
Let a(u) be the third derivative of 5/24*u**4 + 6*u**2 - 1/6*u**3 + 7/60*u**5 + 0*u + 0. Is a(4) a prime number?
True
Let k be 2 - (72 + -8 - 1*3). Let p = -37 - k. Is p a prime number?
False
Let t(r) = -r + 9. Let i be t(4). Suppose -703 - 359 = -3*s - 3*q, 0 = 5*q - i. Is s prime?
True
Suppose -4*p = -u - 330 - 449, 0 = -3*u - 9. Is p a composite number?
True
Let w = -784 - -1235. Is w composite?
True
Suppose 4*w - i - 14 = w, -2*i - 24 = -5*w. Suppose -3*h = -0*h - 9, -4*h = -w*f. Suppose -3*j = -3, -n - 326 = -f*n - 4*j. 