7 = -3*d. Is d composite?
True
Let s be -3 - (-1)/((-3)/(-27)). Let b be (-88)/(-3) - 8/s. Suppose 2*w - 40 = b. Is w composite?
True
Let o(d) = 2651*d + 1001. Is o(30) prime?
False
Let u(s) = s**2 + 6*s - 4. Suppose -5*q + 18 + 6 = -x, -q = -2*x - 21. Let n be u(x). Is 11*n - (4 - 4) a composite number?
True
Let g = -217 + 334. Suppose -3*o - 33 = -2*b - 8*o, 2*b = 2*o - 2. Suppose b*j = j + g. Is j prime?
False
Let y(k) = -k**2 + k + 1. Let t(j) = -8*j**2 + 21*j + 11. Let w(f) = -t(f) + 6*y(f). Let r be w(13). Let z = r - -53. Is z a prime number?
True
Let y = -6 - -4. Let s be (8/6 + y)*9. Is (2 + 10/s)*9 prime?
True
Let t(z) = 4*z**3 - 32*z**2 + 23*z + 3. Is t(16) prime?
True
Let y be ((-6)/5)/((-4)/10). Suppose -3*j + 2*j + 185 = -5*u, 0 = y*j + u - 555. Is j prime?
False
Suppose 4*b + 2*c = 58, 3*b + 3*c + 73 = 7*b. Suppose -u = u + b. Is 2/8 + (-902)/u a composite number?
False
Let c = -19 + 19. Suppose -y + 1069 - 66 = c. Is y composite?
True
Suppose -a = 3*r - 24371, 5*a = 10*a - 10. Is r prime?
True
Suppose 4556 = 197*l - 193*l. Is l a prime number?
False
Suppose -5*g - j + 4*j + 657 = 0, 3*g - 379 = -2*j. Let f = g + 347. Let y = f - -77. Is y a prime number?
False
Suppose h = -451 - 130. Is (h/119 + 2/(-17))*-277 a prime number?
False
Let g(d) = -18*d**3 - 4*d**2 + 4*d - 3. Let y(u) = 4*u - 1. Let a be y(-1). Is g(a) composite?
True
Suppose 5*x - 1545 = -0*x. Let d = x - -343. Suppose 87 = -5*t + d. Is t composite?
False
Let t(p) = 5*p**3 - 7*p**2 + 5*p - 4. Let y be t(5). Suppose -3*g = -0*g - y. Is g composite?
False
Let w(u) = u**3 + 4*u**2 - 2*u - 5. Let n be w(-4). Suppose -l + n*l = 2230. Is l a prime number?
False
Let v be (11/(-22))/(((-10)/84)/(-5)). Let m = v + 35. Is m a prime number?
False
Let x(b) = -637*b - 2. Let j be (-12)/(-18)*(-6)/4. Is x(j) prime?
False
Suppose -4*k = 2*p - 4*p - 68974, 0 = -3*k - p + 51738. Is k prime?
False
Suppose -2*c - 5 = 3*c. Let p be 3/((3/c)/3). Is 257 + (-8)/(-6)*p a composite number?
True
Let a(n) = -221*n + 11. Let s be a(-4). Suppose -5*v = -0*v - s. Is v a prime number?
True
Suppose 20 = -5*s, 2*h + s - 2*s + 26 = 0. Is -958*(1 + h/10) a prime number?
True
Is (-128891)/(-11) - 232/638 a prime number?
True
Let q be (16/10)/(3/(-15)). Let x be (-810)/21 - q/14. Is 0 + (-4 - -1) - x prime?
False
Let b(w) = -w + 14. Let r be b(6). Suppose -r*z + 6*z = -62. Is z composite?
False
Suppose 7*f - 2782 = 5800. Is f a prime number?
False
Let b(r) = 2*r + 17. Let o be b(-9). Is (15/(-10) - o)*-586 a composite number?
False
Is (-2 - -9)*-1 - -770 prime?
False
Suppose 0 = -15*v + 17267 + 27478. Is v a composite number?
True
Let l be (-12)/14 + (-3)/21. Let r(w) = 43*w**2. Let k be r(l). Suppose -4*j - k = -615. Is j a composite number?
True
Is ((-38)/76)/((-2)/67148) a prime number?
True
Let d be (-3)/(-4 + 1)*3. Is 4/2 + 305 + (d - 3) a prime number?
True
Suppose 3*u - 3*r = -r + 61, 4*r = -5*u + 87. Is u/((3/303)/1) composite?
True
Let v = -71 + 364. Is v composite?
False
Suppose 12*i - 4*i - 5856 = 0. Let d = i - -75. Is d a composite number?
True
Let i be ((-12)/15)/(2/(-365)). Let m = i - 79. Is m a composite number?
False
Suppose -5*w = 2*a - 0*w - 23, 0 = -3*a - 5*w + 27. Suppose 2*l + 2*q - 162 = 0, -5*l + a*l + 80 = 2*q. Is l composite?
True
Let f be 68/(-12) + 1/(-3). Let o be (108/(-7))/(f/84). Let y = o - 127. Is y composite?
False
Suppose -z - 298 = 4*t, -291 - 301 = 2*z + 4*t. Let n be ((-2)/(-2) - 205) + -1. Let l = n - z. Is l a composite number?
False
Suppose 0 = 9*o - 12*o - 12. Is 3 + (o - (0 - 252)) a composite number?
False
Let s = 4441 + 5850. Is s a prime number?
False
Let g(y) = y**3 + y**2 + 26*y + 3011. Is g(0) a composite number?
False
Let n(r) = 116*r**2 + 4*r - 5. Let w = -35 + 31. Is n(w) a prime number?
False
Let l be (-2)/(-6) - ((-8)/(-6) + -1). Suppose 7*b = -l*b + 4417. Is b a prime number?
True
Let x(z) = z**2 - 9*z + 5. Let y(g) = -g**2 + 9*g - 6. Let q(n) = -4*x(n) - 5*y(n). Let t(o) = -6*o**2 - 1. Let d be t(1). Is q(d) a prime number?
False
Let m = -4211 - -8758. Is m a prime number?
True
Suppose -5*o + 0 = 10. Let f be (-6 + 2)*(-4)/o. Is (-117 - f)*(0 + -1) composite?
False
Let i = 788 - -1415. Is i a composite number?
False
Let i(r) = r**2 - 2*r. Let n be i(3). Suppose 23 = -n*l + 5. Let b(m) = m**3 + 8*m**2 + 7*m + 7. Is b(l) a composite number?
False
Is 16918/(-11 + 16 + -3) composite?
True
Suppose 4*r - b = 26375, 2*r - 10757 = b + 2428. Is r a prime number?
False
Let p(v) = 41*v**2 + v + 4. Let y be p(6). Suppose -2*m = -4*m + y. Is m composite?
False
Suppose 0 = -5*c + 3*n + 16, -7*c - 3*n = -2*c - 34. Suppose c*y + 5*h = 435, -5*h + 10*h + 245 = 3*y. Is y prime?
False
Suppose 4*u - 539 = 2*o - 47, -3*u + o = -371. Suppose -i + 738 = -u. Is i a composite number?
False
Let h(v) = -28225*v - 33. Is h(-2) composite?
False
Let h = -12773 + 23412. Is h composite?
False
Suppose -19 = -6*u + 29. Suppose -u*m + 1113 = -5*m. Is m composite?
True
Suppose 5*l - 121 = -36. Let n = -15 + l. Let z = 29 + n. Is z prime?
True
Suppose 4*m + 32 = -0*m. Let q = m - -4. Is -62*((-18)/4 - q) a composite number?
False
Suppose 3*h - 47 = -5*m, 7*m = -h + 3*m + 18. Let v(j) = 3*j**2 - 7*j + 15. Is v(h) prime?
False
Let y be (-2)/7 - 338/(-7). Let z be 5*(y/10 + -4). Suppose 319 = z*c - 93. Is c composite?
False
Let k(v) = v**2 - 10*v + 2. Let r be k(9). Is (-92 - (4 + r))*-1 a prime number?
True
Suppose -o - 1065 + 3863 = 0. Suppose -c = 4*l - o, -2 = -2*c + 2. Is l a composite number?
True
Let z = 134 - 410. Let a = -165 - z. Is a a prime number?
False
Suppose -11015 - 16001 = -8*u. Is u prime?
False
Let a(j) = -44*j - 3. Let p(t) = 88*t + 7. Let r(d) = -5*a(d) - 2*p(d). Let o(b) = -b**3 + 6*b**2 - 7*b + 5. Let s be o(4). Is r(s) a composite number?
False
Let m(x) = x**2 - 6*x + 1. Let k be m(6). Is 745/2 + (4/8)/k composite?
False
Let c(g) = 2180*g - 87. Is c(25) a composite number?
False
Suppose -15*q + 66 = 6. Suppose -q*k = 3*s - 1955, 3*s = 2*k + 3039 - 1096. Is s a composite number?
True
Suppose -5*u + 3*b + 4 = -11, -4*b = 5*u - 15. Is u*97/(-9)*-21 prime?
False
Let d = -32 - -35. Suppose 0 = s + d*s - 10068. Is s composite?
True
Suppose -3*m - 11*s + 5240 = -16*s, 0 = -4*m - 4*s + 6976. Is m a composite number?
True
Let i(n) = -779*n + 432. Is i(-53) a composite number?
False
Suppose -13*g - 441 = -6*g. Is 2/9 - 28273/g a prime number?
True
Suppose -25*i + 523015 = 4*i. Is i prime?
False
Let v(y) = 7*y**2 - 6*y + 16. Let b = -49 - -42. Is v(b) composite?
False
Let x(p) = 23*p**3 - 2*p**2 + 10*p - 12. Let f be x(5). Suppose 4*b + 2*s - 2869 = b, 3*b = s + f. Is b prime?
False
Is (-4)/38 + (-285354)/(-114) a composite number?
False
Suppose -2*d + 24 = -z + 6*z, 2*z = -4*d + 16. Suppose -2*h - 51 = -n, 2*h + 151 = 3*n - 14. Suppose d*j - n - 5 = g, -g = -4*j + 124. Is j composite?
False
Let r(m) = -m**3 - m + 3. Let x be r(0). Let h(w) = -3*w + 3. Let l be h(x). Is ((-2524)/l)/((-2)/(-3)) a prime number?
True
Suppose -9*h - 18132 = -21*h. Is h a composite number?
False
Let c(g) = -2*g**3 + 6*g**2 + 14*g + 6. Let n be c(7). Let b = n - -646. Is b composite?
True
Suppose -4*i - 2*p + 34 = 0, 0*i + 22 = 2*i - 4*p. Suppose i*h - 4*h = 2*m + 995, 2*h + 2*m = 412. Is h prime?
False
Suppose 6242 = -15*z + 33707. Is z a composite number?
False
Let d = 5 - -6. Suppose 3*a - d - 1 = 0. Suppose p + 39 = a*p. Is p prime?
True
Let n be 6/(-4)*(-16)/2. Let w = -8 + n. Is 323/2 - w/8 a prime number?
False
Suppose 0 = 3*z + z + 20, -95233 = -3*v - 4*z. Is v a prime number?
True
Let y be -3*(3 - (-11)/(-3)). Suppose 2*n = -y*m + 12 + 88, -4*m = 5*n - 254. Suppose -5*q + c = -633, q - 83 = -5*c + n. Is q a composite number?
False
Let z = 126 + -13. Is z + 3 - (6/(-3))/(-2) composite?
True
Suppose -3*f - g + 2*g - 4 = 0, -5*f = -5*g + 10. Is 335/1*(f - 6)/(-7) composite?
True
Suppose -2482 - 7773 = -7*f. Is f a composite number?
True
Let n = -22 + 31. Let r be (6/n)/((-8)/(-420)). Suppose -10*p = -5*p - r. Is p composite?
False
Suppose -g - g - 8 = 0, 2*m - 24410 = 4*g. Is m prime?
True
Let r(c) = 22*c**2 + 19*c - 82. Is r(15) composite?
False
Let t(r) = -r**2 - 18*r + 17. Let a be t(-18). Suppose a*y = 14*y + 1635. Is y a prime number?
False
Let x(g) = 5*g. Let r be x(-3). Is (-