/2 composite?
False
Suppose -4 = -2*k, -2*k - 1132 = -5*x - 3*k. Is x composite?
True
Suppose 0 = -3*k + 2*s + 6, -2*s = -k - 4 + 10. Let b = k - -4. Suppose 4*a - 5*t + 2 - 38 = 0, 2*t + 48 = b*a. Is a composite?
True
Let r(v) = -v - 5. Let o be r(-5). Let a be 6 + -4 + o + 1. Suppose -a*q + 0*q - 104 = -5*s, -s + 12 = -5*q. Is s prime?
False
Suppose 2*r - 2 = -4. Let s be r + -1 - (-173 - 4). Is (6 + s)/(0 - -1) a prime number?
True
Let u(y) = 2*y**2 + 23*y + 16. Suppose 0 = -4*j - 37 - 23. Is u(j) prime?
False
Suppose -424 = -o + 129. Is o/42 + 2/(-12) a composite number?
False
Suppose 3*y + 0*y = 15. Suppose -3*z + 1 + 13 = 4*x, 3*x = y*z - 33. Is (93 - -1)*3/z a composite number?
False
Suppose -7*j = -4*j - 204. Is j/(-6)*21/(-2) a prime number?
False
Let j = 17 - 18. Is 3/(j*(-3)/337) prime?
True
Let z = 36 + -11. Suppose z = g - 10. Is g prime?
False
Let h(l) = 2*l**2 - 5*l - 6. Let o be h(5). Suppose 16 = x - o. Is x a composite number?
True
Suppose -2*g - 3 = -51. Suppose 4*z + 0*z = g. Is (4/z)/((-12)/(-2682)) a prime number?
True
Let x = -6363 + 13166. Is x a prime number?
True
Suppose 2*t - 4 + 0 = 0. Let v = -2 + t. Suppose v = -2*f + f - 5*q + 57, 3*q - 65 = -f. Is f a composite number?
True
Let t(m) = -m**3 - 3*m**2 - 2*m + 1. Let i be t(-4). Let s = 37 + i. Is s a composite number?
True
Let o = -52 - -229. Let i = -93 + o. Let b = 121 - i. Is b composite?
False
Let w = 5 + -13. Is (-762)/w + 1/(-4) composite?
True
Let f = 45 - 108. Let h = -807 + f. Is h/(-25) + 2/10 a composite number?
True
Let r = -2 + 5. Let k be (3/r - 1) + -2. Is ((-158)/8)/(k/8) a composite number?
False
Suppose -5*x + 5296 = 4*z - 0*z, 0 = 5*z + 3*x - 6607. Is z a composite number?
False
Let p(t) = t**3 - 7*t**2 + t + 9. Let u be p(7). Suppose -2*c - 65 = -5*w - 479, 4*w - u = 0. Is c a composite number?
True
Let z(f) = 4*f**3 - f**2 + f. Let u be z(1). Suppose -282 = -u*g + 378. Suppose -3*w - 2*w + g = 0. Is w a prime number?
False
Let z = -3 + 3. Suppose -90 = -z*q - 5*q. Is q/(-6)*22/(-3) a composite number?
True
Suppose 0 = s - 3*s + 674. Is s a prime number?
True
Suppose 0 = -5*d - 20 - 5, d = 3*q + 1. Let b be (-4 - -79)*q/(-2). Let m = 162 - b. Is m a prime number?
False
Let k = 16 - 15. Is 78 + (2 - 1)*k prime?
True
Let u = -526 - -945. Is u a prime number?
True
Let m(o) = -3*o - 15. Let n be m(-15). Is 6/n - 184/(-5) prime?
True
Suppose 4*k = k + 18. Is 2/(k/21 - 0) a composite number?
False
Let y(u) = -24*u**3 + u**2 - u - 5. Is y(-3) composite?
True
Suppose -2*u = 1 + 7. Let l(h) = -h - 2. Let c be l(u). Suppose -c*p - 3*p - n + 657 = 0, -5*n - 121 = -p. Is p a prime number?
True
Let t(h) = h**2 + h - 3. Is t(2) a composite number?
False
Let w(v) = 33*v + 7. Let h be w(6). Suppose 5*c - p + 0*p - 1089 = 0, 0 = -c - 3*p + h. Is c composite?
True
Let p be (0 - (5 - 1))*1. Is (p/6)/((-6)/333) prime?
True
Suppose -q + 3*q + 5*j = 16, -q = -5*j + 7. Suppose q*h = -3*k + 144, -4*h + 117 = -5*k - 120. Is h a prime number?
True
Let h(q) = -247*q**2 + 7*q. Let m(x) = 124*x**2 - 3*x. Let j(a) = 2*h(a) + 5*m(a). Is j(-1) prime?
True
Let h(r) = -r**3 - 6*r**2 - 3*r - 2. Let x be h(-5). Suppose 4*i = -4*z + 204, 4*z - 203 = -0*z - 3*i. Let a = x + z. Is a a composite number?
True
Suppose 8*d - 2165 = -5*a + 3*d, -4*a + d = -1742. Suppose 6*c - a = c. Is c composite?
True
Let h(q) = -4*q**3 + 5*q**2 - 5*q + 2. Let m be h(4). Let i = m + 313. Is i prime?
False
Let m be (564/(-8))/(3/(-16)). Suppose -489 = -t + m. Let h = -600 + t. Is h prime?
False
Suppose -s + 2*s = 291. Let r = s + -208. Is r composite?
False
Suppose -3*d - 1 - 9 = 5*g, -5*g = 5*d + 10. Let m(z) = -260*z - 5. Is m(g) composite?
True
Let o(h) = h**3 - 5*h**2 + h - 7. Suppose -w - 4*w + 50 = 0. Let z be (1 - w)*2/(-3). Is o(z) composite?
True
Let g = 183 + -115. Suppose -2 = -2*v + g. Is v composite?
True
Suppose -f + 5*z = -18, 2*f = 5*z - 14 + 35. Suppose 5*p = -f*w + 182, -2*w + 109 = 4*p - p. Is p a composite number?
False
Let r(a) = -2*a**2 - 39*a - 21. Is r(-16) composite?
True
Let u = 3 - -3. Let n = -3 + u. Is n composite?
False
Let p = 3 - -3. Suppose -p*v = -10*v + 172. Is v prime?
True
Suppose 0 = 4*x + 1 + 15, -4*m + 496 = 3*x. Is m composite?
False
Suppose -q = 3*h - 12, 0*h + 5*q = -3*h. Suppose 0 = -3*k, 2*g - h*k - 139 - 73 = 0. Is g prime?
False
Let s(r) = -4*r**3 - 2*r**2 + 2*r + 2. Let i be s(4). Is i/(-6) + (-5)/15 a prime number?
False
Suppose -2*m - 77 = -2*f + 85, 4*f - 356 = -4*m. Is f composite?
True
Let i be (-12)/(-18)*(0 - 39). Suppose 4*p = -4*c - 4, -c + 5*c + 18 = 3*p. Let x = c - i. Is x a composite number?
False
Let w(y) = 6*y + 7. Let x = 5 + 11. Suppose -4*q + x = 4*g, -6 = q - 3*q - 4*g. Is w(q) a prime number?
True
Is (1 - 2)/((-1)/623) composite?
True
Let v(p) = -p**3 - 9*p**2 + 9*p - 4. Is v(-10) a composite number?
True
Suppose 0*o = -4*o - 5072. Let p = o + 1777. Is p a prime number?
True
Let j(u) = -u**3 - 6*u**2 - 4*u + 5. Let s be j(-5). Suppose 80 = 2*z + 3*g, 195 = -s*z + 5*z + 5*g. Is z a prime number?
True
Is ((-2)/10)/(10/(-31550)) a prime number?
True
Suppose 5*d = 4*d + 65. Let i = -40 + d. Is i a prime number?
False
Let r(g) = 58*g - 3. Let j be r(6). Let o be (0 - (-3)/(-2))*(-24)/9. Suppose -o*v - v = -j. Is v a composite number?
True
Suppose -b = b + 8. Let p = 0 - b. Suppose 2*i - l - 28 = -5, p*i - 3*l = 47. Is i a composite number?
False
Is -3 - (-1 - -7)/(4/(-664)) composite?
True
Let r be ((-1)/2)/(1/18). Suppose -5*o + 4*o + 86 = 0. Let v = o + r. Is v prime?
False
Is 1303/6 + 1/(-6) a prime number?
False
Let l(n) be the second derivative of n**5/20 + 2*n**4/3 + n**3/3 - n**2/2 + 3*n. Is l(-6) a composite number?
False
Suppose -4*j + 48 = 5*t, -j = -3*t + 1 + 4. Let n = j - 2. Suppose -2*p + 4*r = 2*p - 152, -n*p = -r - 170. Is p composite?
True
Let m be (9/6 + 1)*2. Suppose -3*a = -2*q + 125, 0*q = -2*q - m*a + 149. Is q prime?
True
Let t = -71 - -433. Is t composite?
True
Suppose h = -4*h - 10. Let p be (6 + h)*3/(-4). Is (-1)/(-3) - 68/p a composite number?
False
Let h = -1 + 5. Let n = h - -19. Let c = n + -4. Is c a prime number?
True
Let b = -15 - -19. Suppose -79 = b*a - 307. Is a prime?
False
Suppose 5*y - 384 = 731. Is y a composite number?
False
Let q = 4 + -6. Let h be (q*5)/((-2)/(-9)). Let s = h - -68. Is s a prime number?
True
Suppose 0 = -3*n - 1 + 4. Let x(g) = 64*g**3 - 2*g**2 + 2*g - 1. Let j be x(n). Suppose -3*s = -0*s - j. Is s composite?
True
Let l be (1 + -1*26)*1. Is (l/(-5))/((-1)/(-7)) composite?
True
Let i = -254 - -389. Let p = i - 53. Is p composite?
True
Let d be (-20)/(1*(-1)/13). Suppose 5*w - d = 255. Is w composite?
False
Let d = -250 - -447. Suppose 3*k = 52 + d. Is k a prime number?
True
Let n(c) = -68*c**2 + c + 1. Let f be n(-2). Let i = -167 - f. Is i composite?
True
Suppose -4*j + 106 = -14. Let y = j + 13. Is y composite?
False
Suppose 8*s - 154 = s. Is s prime?
False
Is 3314/10 + 26/(-65) a prime number?
True
Suppose 3*k - 2*t - 7 - 12 = 0, 3*t = -4*k + 14. Is k*4/10*37 a prime number?
False
Let k(i) = -1 + 2*i + 0 - 4 + 2*i**2. Let p be (6/15)/(2/30). Is k(p) composite?
False
Suppose o - 1101 = -o + a, 2*a - 2775 = -5*o. Is o composite?
True
Is (3 - 1)/(6/381) prime?
True
Let x = 217 + -138. Suppose -x = -i + 98. Is i a prime number?
False
Let g(v) = 4*v**2 + v. Suppose 0 = -3*q + 12, 3*o = 2*q + 13 - 6. Let m = o - 8. Is g(m) composite?
True
Suppose 3*b - b - 286 = 0. Is b composite?
True
Suppose -5*d - 9 = -8*d. Suppose 3*g - 65 = -2*k - 2*k, -5*g + d*k = -118. Is g a composite number?
False
Suppose -2*n = n. Suppose 2*h - 5*h + 18 = n. Is h a prime number?
False
Suppose -48 = 2*a - 10. Let x(v) = -v**2 + 6. Let z be x(0). Let i = z - a. Is i a prime number?
False
Let i = -123 + 272. Is i a composite number?
False
Let a(o) = o**2 - 10*o + 11. Let s be a(-9). Suppose 7*j - 11*j - 8 = 0. Is (0 - 1)/(j/s) prime?
False
Suppose 5*f + 25 = 0, -a - 2*a - 4*f = -3757. Is a a prime number?
True
Let q be 1/((-1 - 2)/(-177)). Let z = q - 37. Suppose z + 8 = 5*t. Is t a composite number?
True
Let z(f) be the third derivative of f**5/60 + f**4/24 + 11*f**3/3 + f**2. Let j = -33 - -33. Is z(j) prime?
False
Suppose -2*w - 4 = -4*y, -2 = 3*y - 3*w + 1. Let c(o) = -5*o + 2*o**2 - 2 + 3*o + 7*o. Is 