0 = -w*q. Is o a composite number?
True
Suppose -5*t + 6 + 9 = 3*v, -10 = 2*v. Let u = 85 - t. Is u prime?
True
Let o be (-5)/(5/(-8)) - 3. Suppose -2*k + o = -n, -4*k - k + 14 = -2*n. Suppose -251 = -n*r + 184. Is r a prime number?
False
Let s(l) = -566*l**3 - 6*l**2 + 4*l + 1. Is s(-3) a composite number?
False
Let r = -853 - -294. Let v = r + 822. Is v a prime number?
True
Let a be (-4)/2 + -1 + -349. Let y = 1281 + -744. Let t = y + a. Is t composite?
True
Let f be ((-18858)/4)/((-21)/(-28)). Is (f/(-49) - -5) + 4/(-14) a composite number?
True
Let y = 7 - 7. Suppose -f + 2 + 2 = y. Suppose 3*z = f*z - 127. Is z a composite number?
False
Suppose t = -3*h + 4, -19 = -3*h + 3*t - t. Is h + -3*(-4)/(-3)*-34 a prime number?
True
Is 4741 + 1/((-5)/(-5)) a prime number?
False
Let b be (-2)/(-5) - (-13)/5. Suppose 0 = -4*h + b*d + d + 2092, -4*d - 16 = 0. Is h prime?
False
Let a(q) = -1495*q**3 - 17*q**2 - 32*q + 3. Is a(-2) a composite number?
False
Suppose -7*o + 13613 = -32321. Let x = 9504 - o. Is x a composite number?
True
Suppose 0 = -h - 5*s + 30, 5*h - 2*h + 4*s = 134. Suppose -53*l + 4137 = -h*l. Is l composite?
True
Let n be 0 + (4 + -2)*2. Suppose -2*z = -2*q + 118, 3*q - n*z + 9*z - 177 = 0. Is q a composite number?
False
Suppose 0*g + 10724 = 7*g. Let m = 3003 - g. Is m a composite number?
False
Let k = -6246 + 11873. Is k composite?
True
Let d(a) = -a - a**3 + 1 - 3 + 2*a - 4*a. Let o be d(-4). Let g = o - -111. Is g a prime number?
False
Is 135/(-54)*(4604/(-10) + 0) composite?
False
Suppose 4*w + 40 = 4*a, 3*a = 2*w - 3 + 38. Let v = a + -1. Is v a prime number?
False
Suppose 0 = -0*f + 3*f - 1125. Let r(c) = 13*c - 26. Let b be r(9). Suppose b = p - 4*q + q, -5*q + f = 5*p. Is p composite?
False
Is (25989/(-1))/((-1)/1) a prime number?
False
Suppose n + 2*w = -n - 52, -4*w = -3*n - 92. Suppose 3*s = 4*s - 1053. Is n/7 + s/1 prime?
True
Is ((-156)/16)/(6/(-56)) composite?
True
Suppose -63*o + 579145 = -58*o. Is o composite?
True
Let j(u) = 54*u**2 + 5*u - 11. Let o be j(-7). Suppose a = -3*a + o. Suppose -5*q + 5*d = -a, -3*q = -5*d - 151 - 245. Is q prime?
True
Suppose -5*q - 193886 = -27*q. Is q a prime number?
False
Let c be ((-8)/(-10))/(13/(-130)). Is c/20 + 8874/10 prime?
True
Let t(d) = d**2 + 6*d + 69 - 4*d + d - 2*d. Is t(0) a prime number?
False
Let f = 4310 + -2899. Is f prime?
False
Suppose 0 = 4*f + 2*y + 50, 5*f = -3*y + y - 64. Let s(i) = -61*i - 12. Let o be s(f). Suppose -b - 3*b - l = -o, -4*b = 4*l - 836. Is b prime?
True
Let x be 4/((-1)/(2 + -4)). Suppose -9*z = -x*z - 118. Is (-1 + (-3)/(-2))*z composite?
False
Let a(h) = -h - 1. Let r be a(-2). Is (3 + -172)*(-1)/r a composite number?
True
Suppose s = -4*c + 1001, -3*s - 3*c + 7*c = -2955. Suppose -5*h = 4*y - s, -3*h + 0*h = 3*y - 744. Is y prime?
True
Let h = 11418 - 7727. Is h prime?
True
Suppose p - 4*p + 18 = 0. Suppose -t = -p*t - 25. Let n(w) = 35*w**2 - 4*w - 6. Is n(t) prime?
False
Let c(r) = -r**3 + 1. Let d(k) = 3*k**3 + 5*k**2 - 10*k - 29. Let b(x) = 2*c(x) + d(x). Is b(11) a prime number?
False
Let s(k) = -22*k**2 - 11*k - 20. Let t(j) = -43*j**2 - 20*j - 39. Let n(l) = 5*s(l) - 3*t(l). Is n(-6) composite?
True
Let d be (-16)/12*9186/(-4). Let a = -1963 + d. Is a a prime number?
False
Let b = -85 - 5. Let x = -56 - b. Is x a prime number?
False
Let z be 2/(-3) - (-19552)/24. Suppose t = -5*p - z + 2351, 5*p - 3*t = 1529. Is p a composite number?
False
Let g(q) = 3*q**3 + 14*q**2 + 3*q - 3. Let t be g(6). Suppose z + t + 1138 = j, 4*j + 2*z - 9220 = 0. Is j a prime number?
False
Let a = -62 + 89. Suppose a*l + 1233 = 30*l. Is l prime?
False
Let k = 949 + -182. Let g = k - 460. Is g a composite number?
False
Let u(n) = -49 - 76*n - 42 + 82. Is u(-5) prime?
False
Let u = -40 - -43. Suppose -5*z + h + 5296 = 0, 3*h + 3181 = u*z - h. Is z a prime number?
False
Let z(r) = 2 - 7 + 8*r + 6*r. Let k(i) = 4*i - 45. Let j be k(13). Is z(j) a prime number?
False
Is (-93)/2*(-1036)/42 composite?
True
Suppose 0 = 3*l - 0*l - 9. Suppose -7*k = -l*k. Suppose 3*t - 2*b - 1617 = k, 7*t - 6*t + 4*b = 553. Is t a composite number?
False
Let l = 6422 - 2731. Is l composite?
False
Suppose -4*d + 2*y + 1692 = -2*y, 407 = d + 3*y. Is d composite?
False
Suppose 14*s - 3*s + 99 = 0. Is (6/s)/((-2)/2463 - 0) a prime number?
True
Let d = 691 + 2. Let u(j) = 99*j + 11. Let r be u(-5). Let v = d + r. Is v a composite number?
True
Suppose -5*x + 3*n + 9898 + 118659 = 0, 2*x = -n + 51414. Is x composite?
True
Suppose -2 = -3*x - 0*u - u, 4*u - 8 = -4*x. Let j be 710 - ((x - -2) + -3). Suppose -4*y + 2*o - 7*o + 1437 = 0, 2*y - 5*o = j. Is y prime?
False
Let a = 62 - 63. Let q(c) = -749*c**3 + 3*c**2 + 3*c. Is q(a) composite?
True
Let y(j) = -j**3 - 15*j**2 - 29*j - 17. Let r be y(-13). Is 40/r + -2 + (-12289)/(-11) composite?
False
Suppose x - 1 = 0, -b = -0*b - x - 24. Suppose 0 = -3*w + 5*z - 4, -3*w - 9 = 5*z - b. Suppose 10 = w*f, f + 2*f = 4*t - 565. Is t prime?
False
Let l(d) = 21*d**2 - 24*d + 599. Is l(30) composite?
True
Let z be 3/2 - 2/(-4). Suppose 3*f - 1225 = -25. Suppose 5*i = -5*v + f, z*i - 326 = -3*v - v. Is v composite?
False
Is (1 + -2)*(67 + -8954) prime?
True
Suppose -11*g + 23*g - 154740 = 0. Is g a prime number?
False
Let g(t) = -t**3 - t**2 - t - 1. Let d(s) = 35*s**3 - s**2 + 15*s - 19. Let w(k) = d(k) + 4*g(k). Is w(6) composite?
True
Is (1/(-4))/((-3)/(-31632)*-4) a composite number?
False
Suppose -25*y - 4*f = -22*y - 6655, 0 = -5*y + 2*f + 11109. Is y a composite number?
False
Let p(h) = h + 1. Let w be p(1). Suppose -3*z + 260 = -w*y - 2113, -2*y = 3*z - 2361. Suppose -5*b = -396 - z. Is b composite?
True
Is 234014/14 + (7 - (-510)/(-70)) composite?
True
Suppose -3*u - 182 = -4*c, 2*c - 1 = -9. Is 3/u*-4 - (-41541)/33 prime?
True
Let y(h) = 988*h**2 - 2*h + 37. Is y(3) composite?
False
Suppose y + 6732 = -5973. Is 4/((-12)/y) + 2 + 0 a prime number?
False
Suppose -3*f = -5*g - 13043 + 4958, -2712 = -f - 4*g. Let j = f - 798. Suppose 5*m = j - 217. Is m a composite number?
False
Suppose 0 = m + 5*g - 160, 5*m + 4*g + g - 700 = 0. Suppose -5*v + m = 4*l, 2*l = 4*v - 2*l - 72. Is v a composite number?
False
Let o be ((-382)/4)/((-5)/10). Suppose 0*l + l + o = 0. Is l/2*-1*2 a prime number?
True
Is (131979/111)/(2/2) a prime number?
False
Suppose 4*p - 5*z - 3341 = 0, -2*z - 3338 = -4*p - 0*z. Suppose -4*f = 2*r - p, -3*f - 3*r + 248 = -370. Is f composite?
False
Let v(d) = 878*d - 14. Let a be v(-2). Let x = a - -4703. Is x composite?
True
Suppose -4 = -3*n + m - 6, 12 = -2*n - 2*m. Is (-5 - -39)/(n/(-11)) composite?
True
Is (-8 + (-387351)/27)*-3 composite?
False
Suppose 16488 - 3322 = 2*i. Is i a prime number?
False
Suppose 2*f + 1983 + 28462 = 3*l, 4*l - 40620 = -4*f. Is l a composite number?
False
Suppose 8*p = 1276 + 10564. Suppose -3*g = -r + 2354, g - 870 - p = -r. Is r prime?
True
Let f(j) = 2043*j**2 - 17*j - 25. Is f(-3) prime?
True
Let u = 2 + 5. Let b(t) = 0*t + t - 11*t**3 + 10*t**3 + 7*t**2. Is b(u) a composite number?
False
Suppose -35 = -12*g - 11. Suppose 5*o - 76 = -3*v + 5879, g*o - 2382 = -v. Is o a composite number?
True
Let c(y) = y**3 - 7*y**2 + 2*y + 6. Let k be c(6). Is ((-1)/(-3))/(2/k) + 77 a composite number?
True
Let y be 11/1*46/2. Suppose -3*v = -y - 104. Suppose -v - 123 = -2*a. Is a a prime number?
False
Is (62056/10)/2 + (-119)/(-595) composite?
True
Let n be 0 + (7 - (0 - -1)). Suppose -574 - 2438 = -n*p. Suppose -t = -2*t - b + p, b + 500 = t. Is t prime?
False
Suppose -12 = 6*z - 0. Let o be 0/(z/(-1)) + 4. Suppose t = 2*t + 3*y - o, -t + 4*y = -11. Is t a composite number?
False
Let a = 26 - 10. Let g = 6 + a. Is 1478/g - (-6)/(-33) composite?
False
Let y(m) = 98*m + 7*m**2 - 54*m - 51*m + 10. Let t be y(12). Let r = t - 477. Is r composite?
False
Let u = -140 - 19. Let d = 59 + -141. Let h = d - u. Is h composite?
True
Suppose -2*j - 132 = 4*j. Is (2767/(-2))/(11/j) a composite number?
False
Let r(c) = -28*c - 20. Let d be r(8). Is (d/3)/((-3)/(27/6)) prime?
False
Let p(u) = 2*u - 9. Let x be p(6). Suppose -816 = -4*a - 2*q, -3*a - 2*q + 626 = x*q. Is a composite?
True
Let o = -218 - -717. Is o a composite number?
False
Suppose 0 = h + 2*i - 5261, -6*h + 21056 = -2*h - 4*i. Is h composite?
True
Suppose -k 