s o a prime number?
False
Let n = 12 + 32. Let v = n + 25. Is v composite?
True
Suppose 9*x - 13*x = 168. Let a = 23 - x. Is a a prime number?
False
Let q(s) = 2*s - 4. Let h be q(4). Let n be h - 0*(-3)/(-6). Suppose -c = -v - 24, 4*c + n*v - 102 = -c. Is c composite?
True
Let y(a) = -2*a**3 - 11*a**2 + 3*a - 7. Is y(-9) a composite number?
True
Is 1408 - (-4 - -1)*(-2)/(-6) a composite number?
False
Let o(t) = 25*t**2 - 4*t + 5. Is o(2) prime?
True
Is (8/(-4) - -193)*1 a composite number?
False
Let c = 197 + -118. Let f be ((-45)/12 - 3)*8. Let n = f + c. Is n a prime number?
False
Suppose 41 = 2*s - 129. Is s a prime number?
False
Let o be (8 - -2)*3/6. Suppose 0*v + 5*v - 125 = -o*j, -2*j + 10 = 0. Let x = 35 - v. Is x prime?
False
Let l(b) = 80*b**3 + b**2. Let o be l(1). Suppose -2*n - x + 5*x + 150 = 0, -n + o = 4*x. Is n*(-3)/6*-2 prime?
False
Suppose -j + 8 = -6. Suppose -d + g - 5 = -0, -5*g + 25 = 5*d. Suppose -2*b + j = -d*b. Is b composite?
False
Let u(z) = -12*z + 1. Let d(w) = -w - 1. Let a(y) = -3*d(y) + u(y). Is a(-11) composite?
False
Let r(j) = j**2 + 2*j + 2. Let q(n) = 6*n**2 + 2*n + 1. Let p be q(-1). Is r(p) composite?
False
Suppose 5*m - 319 = 4*w, -w + 0*m = -3*m + 71. Let o = 16 + w. Let d = o - -137. Is d a prime number?
True
Let h = 1323 - 236. Is h a composite number?
False
Suppose 20 = -4*x, 2*b + b + 4*x + 14 = 0. Let t = b - -1. Suppose -2*i + 15 = t. Is i composite?
True
Suppose 0*h - 9 = -3*h. Suppose -4*b + h*y = -174, 3*b - 134 = 6*y - 2*y. Suppose 90 + b = 4*o. Is o composite?
True
Suppose 2*i - 2*w - 2*w - 2966 = 0, -4*i + 5928 = -4*w. Is i a composite number?
False
Suppose 5*k - 1105 = 130. Is k a composite number?
True
Is (-32395)/(-38) - 1/(-2) a prime number?
True
Let m(l) = l + 1. Let u be m(1). Let y be -1 + -10*1/(-2). Suppose 2*p - u*t + y = -0*t, -2*p + t = 0. Is p composite?
False
Let r(n) = 7*n - 1. Let g be (1 - 0)*5/(-5). Let v be r(g). Is (2 + 134/v)*-4 a prime number?
True
Let r be (2 - (-12)/(-8))*8. Is 2981/r - (-3)/(-12) prime?
False
Let p = -35 - -13. Let y be p/(-5) + (-4)/10. Suppose -4*l + a - y*a + 40 = 0, -l - 3*a = -19. Is l prime?
True
Suppose 3*q - 2061 - 5052 = 0. Is q composite?
False
Let a = 2 + 0. Let y(q) be the third derivative of 25*q**4/12 - q**3/2 - 12*q**2. Is y(a) a prime number?
True
Suppose -4*a = a + 55. Let v = a - -26. Is v a composite number?
True
Let q = -10 + 10. Suppose r + 3 = q, 5*h = 3*r - r + 361. Is h a prime number?
True
Suppose 0 = -3*i - 0*i + 291. Is i composite?
False
Suppose -2*y - 2 = -28. Is y composite?
False
Let y(s) = -s**3 + 7*s**2 + s - 4. Let f be y(7). Suppose 5*q - f = 2*q. Suppose 6 = r + c - q, 4*c = -2*r + 10. Is r composite?
True
Let b(n) = n**2 + 12*n + 8. Let v be b(-11). Let a(z) = 15*z**2 - 6. Let j(r) = -8*r**2 + 3. Let h(f) = -2*a(f) - 5*j(f). Is h(v) a prime number?
False
Let p(k) = -53*k**3 - 1. Let b be p(-1). Let c = 107 - b. Is c prime?
False
Let g(q) = q**3 + 5*q**2 + 4*q + 3. Let r be g(-2). Let h(v) = -2*v**2 + 2 + v - r*v + v**2. Is h(-5) prime?
True
Let c = -225 + 331. Is c prime?
False
Let x = 200 - -449. Is x a composite number?
True
Suppose 0 = -2*k + 5*z + 204, -k + 3*k = z + 196. Is k prime?
True
Let i(w) = 8*w - 30. Is i(13) a prime number?
False
Let y = 3 - 9. Let q = -4 - y. Is (2/q)/(3/159) a prime number?
True
Let p(d) = 0*d**2 + 6*d + 3 - 2*d**2 + 3*d**2. Let k be p(-5). Is 2 + k - -1*19 a prime number?
True
Let j be (14/(-4))/(1/2). Let z = 9 + j. Is z prime?
True
Suppose -3*v = -3*c + 2*v + 4, 2*v = 8. Let o be -2*2/c*-6. Suppose -2*b + 125 = 3*a, -75 = -o*a + 2*b + 34. Is a composite?
True
Suppose -29 = 5*u - 1174. Let c = u + -147. Suppose -22 = -4*v + c. Is v prime?
False
Let s = 13 - 8. Let t be (s*1*-2)/(-1). Is t + (-3)/(5 + -2) prime?
False
Let v be (-3)/(-15) + 14/5. Is v/6*1*154 prime?
False
Let l = -18 + 33. Suppose 2*f = -s + 8, -6*f + 3*f + l = 2*s. Is s a composite number?
True
Let m(y) = 108*y + 5. Is m(9) prime?
True
Suppose 2*z + m = 4, -z - 3*m = 3*z - 8. Suppose -4*v = -z*v - 14. Is v a composite number?
False
Let j(q) = -3*q**3 - 4*q**2 + 4*q - 3. Let d(y) = y - 1. Let p be d(-3). Is j(p) a composite number?
False
Suppose 0*w - 2*w + 75 = s, 349 = 5*s - 3*w. Is s a composite number?
False
Is (-21)/(-2)*8 - 2 a composite number?
True
Suppose 4 = 2*y - 0*y. Let z(t) = -155*t - 1. Let h be z(-2). Is (y/(-6))/((-1)/h) composite?
False
Suppose 3*w - 31 = 5. Suppose -9 = -3*o + w. Is o a prime number?
True
Suppose 3*i - 943 = -5*o, -3*i - 114 = -4*o + 662. Is o composite?
False
Is 616 - (-2)/((-2)/3) a composite number?
False
Suppose -j + 178 = 3*j + 3*v, 5*j - v = 232. Is j prime?
False
Let o = 464 + -210. Is o a composite number?
True
Suppose 0 = 5*t + 5*k - 3355, -5*t + 3355 = -3*k - k. Is t a prime number?
False
Let o(u) = -u**3 + 6*u - 6. Suppose 7*n + 20 = 3*n. Is o(n) a prime number?
True
Let u = -5 + 6. Suppose o + 0*o = -u. Let y(d) = -32*d**3 - 2*d**2 + 1. Is y(o) a prime number?
True
Let m(a) = -22*a - 11. Suppose -2 = z + 7. Is m(z) composite?
True
Let q be (-158 - (-2 + -1)) + 2. Is (-5)/(-4 + q/(-39)) composite?
True
Suppose 1678 - 72 = 2*a. Suppose -5*t + 4*f + a = 0, -4*t - 304 = 2*f - 962. Is t prime?
True
Is ((-10)/15)/((-2)/1737) a prime number?
False
Let f = -261 - -452. Is f a prime number?
True
Let x(b) be the second derivative of -b**5/20 + b**4/12 - b**3/2 - 3*b**2/2 + 2*b. Is x(-4) prime?
True
Let l(z) = 77*z - 12. Is l(5) composite?
False
Let i(u) = -u**2 + u + 5. Let a be i(0). Suppose -15 = a*h - 2*h. Is 1359/15 + (-2)/h prime?
False
Let x(n) = -n**3 + 8*n**2 - 5*n + 3. Is x(5) prime?
True
Let j = -45 - -164. Is j a prime number?
False
Let i(z) = 11*z**2 + 13*z + 3. Is i(-13) a prime number?
True
Let k be 0 - 1 - (-4 - -3). Suppose k = 5*u - 139 - 146. Is u composite?
True
Let o(g) = -37*g**2 - 4. Let d be o(-3). Let u = d - -503. Suppose -q - 5*a + u = 0, -3*a + 318 = 2*q - 49. Is q prime?
True
Let o be ((-2331)/(-27))/(1/3). Suppose -760 = -3*g - c, -5*c + 239 = 2*g - o. Is g a prime number?
False
Let r = -24 + 63. Is r a prime number?
False
Let x(v) = -39*v + 1. Suppose -24 = z + 3*z. Is x(z) prime?
False
Suppose 2*z = 3*x - 1, -5*z = -z + 4*x + 32. Is -2*((-55)/(-2))/z composite?
False
Let z be ((-66)/(-8))/(6/80). Suppose -2*f - 44 = 3*w - 257, 2*w + z = f. Suppose 103 + f = t. Is t composite?
False
Suppose 9380 = 4*i + 2064. Is i a prime number?
False
Let h(a) = a**3 - 5*a**2 - 2*a. Let j be h(6). Suppose 2*l - 122 = -j. Is l composite?
True
Suppose -228 = -3*j + 2*p + 239, -3*p + 6 = 0. Is j a composite number?
False
Let p = -2 - -4. Let h be p*(-2)/4 + 5. Suppose 0 = -3*a + 5*o + 110 + 106, -4*a - h*o = -256. Is a a composite number?
False
Let v(n) = -n + 8. Let u be v(6). Suppose -x = u*x - 3*c + 12, -20 = x - 5*c. Suppose 3*m + m - 104 = x. Is m prime?
False
Suppose 5*b + 44 = b. Let z = b - -88. Is z prime?
False
Suppose -633 = -2*h - h. Is h a composite number?
False
Suppose -b + 346 = -337. Is b a prime number?
True
Let y be (-10)/(3 + 0 + -2). Let g = -5 + y. Is g*(14/(-3))/2 a prime number?
False
Let z(n) = n**2 - 2. Let u be z(2). Let a be 5/5 - 1*u. Is (2/(-4))/(a/42) a prime number?
False
Let y(l) = 41*l - 2. Let f be y(3). Suppose 4*i - 3*b = 2*i + 81, -4*b = -3*i + f. Let w = i - -26. Is w a prime number?
False
Let o(l) = 4*l - 2. Let j be o(6). Let m = -12 + j. Is m prime?
False
Let v = 6577 - 4455. Is v composite?
True
Suppose -2032 = -5*l - 387. Is l prime?
False
Let r be ((-8)/2 - -1)*-159. Let a = r - 718. Let z = -92 - a. Is z composite?
False
Suppose 8*r = 2*r + 2238. Is r a composite number?
False
Let n = -39 - -57. Suppose n + 15 = -3*a. Let p(v) = -17*v - 2. Is p(a) a prime number?
False
Suppose 5*n - 3*g - 101 = 0, -2*n - 3*g + 21 + 11 = 0. Is n composite?
False
Let q(w) = w + 1. Let b(o) = -8*o + 1. Let c(r) = b(r) + 5*q(r). Let l be c(4). Let x(g) = -2*g + 7. Is x(l) composite?
False
Suppose 0 = -2*z - 32 - 14. Let m be (z/(-3))/(5/15). Suppose -3*o + 53 = -4*g, -39 = -3*o - 5*g + m. Is o a composite number?
False
Suppose 148 = -w - 115. Let u = w + 444. Suppose -5*i + r = 3*r - 185, 0 = 4*i - 5*r - u. Is i prime?
False
Suppose 0*w + 11 = 2*w - d, 4*d = 4. Suppose w = 3*x - 33. Suppose -x = q - 144. Is q a composite number?
False