prime number?
False
Let n = -2063 + 3460. Is n a composite number?
True
Is (-12318)/(-1) + 4 + 8/8 prime?
True
Let n = 3932 - 620. Suppose -3*q + 4973 = f, -n = -2*q + f - 0*f. Is q a composite number?
False
Suppose -4*f + 9*f = 15. Suppose 2*u - 66 - 462 = -r, 0 = f*r + u - 1564. Suppose 5*d - 620 = -5*o, 4*o = -d + 5*d + r. Is o composite?
False
Let y(a) = -a**3 + 5*a**2 + 8*a - 8. Let p be y(6). Suppose -2*o = -p*o. Suppose -5*u + 257 = v, o = u - 1 - 1. Is v prime?
False
Let s(k) = -2314*k - 7. Is s(-2) composite?
False
Let g(l) = l**2 - 6*l + 2. Let y be g(6). Suppose y*r + 0*r - 1436 = 0. Is (-4)/6 + r/6 a prime number?
False
Suppose 4*h + 0*p = 5*p - 1, -3*h - 2*p = 18. Suppose -2092 = -17*k + 7768. Is (k/6)/(h/(-6)) a composite number?
True
Let s(c) = -17 + 11 + 88*c - 16 - 19. Is s(6) composite?
False
Suppose -5*l + l + 45631 = m, -4*m = 5*l - 182568. Is m a composite number?
True
Is (-22137)/(-12)*67 - (-12)/16 prime?
False
Suppose -v - 11355 = -l, 2234 = -l - 2*v + 13601. Is l a composite number?
True
Suppose l + 79420 = 3*y, 2*y + 12*l - 52949 = 15*l. Is y composite?
True
Let t = 5147 - 1782. Is t composite?
True
Suppose 6*v - 14203 = -v. Let o = v + -1394. Is o a composite number?
True
Let i = -54765 + 77108. Is i composite?
False
Suppose -v + 132511 = 4*w, 24377 - 190009 = -5*w + v. Is w prime?
False
Let k be (3/(-2 + 5) + 0)*-127. Let a = k + 248. Is a prime?
False
Let h = -19 - -22. Suppose -h*z + 3 = 27. Let f(o) = -29*o + 15. Is f(z) a composite number?
True
Let g(j) = 412*j - 139. Is g(5) a composite number?
True
Let g(q) = 116*q**2 - 8*q - 13. Let n be g(-3). Suppose -527 = -w - 13. Let c = n - w. Is c prime?
True
Suppose -317 - 331 = -3*q. Let k = 415 + q. Is k a composite number?
False
Is (-2337)/38*(-452)/6 prime?
False
Let d = 477 + -36. Let n be (2/6)/(3/d). Suppose -n = w - 172. Is w a composite number?
True
Let w be 1 + (4 - 3)*1. Let x be w/(20/6 + -3). Suppose -7*o + x*o + 1151 = 0. Is o composite?
False
Let l(b) = 0 - 2*b + 8*b + 6*b**2 - 3 - 7*b**2. Let c be l(4). Is 51/(-6)*(c + -15) a prime number?
False
Let c(v) = v**3 + 9*v**2 + 8*v + 3. Let s be c(-8). Suppose -s*p + 0*p = 0. Suppose 371 = l - p*l. Is l a prime number?
False
Suppose -2*m + 7*m = -s + 55, 3*m + 183 = 3*s. Suppose 81 = 9*v - 0*v. Let c = s + v. Is c a prime number?
False
Let p(z) = 56*z**2 + 50*z - 13. Is p(-16) a composite number?
False
Let k(y) = 24*y**3 - 7*y**2 + 29*y - 407. Is k(14) a composite number?
False
Let y(n) = -19*n - 6. Let o be y(-6). Suppose -o = l + 2*l. Let s = l + 55. Is s prime?
True
Let q(j) = 76*j**2 + 24*j - 1. Is q(-4) composite?
True
Let c = -34 + 34. Suppose p - 5*u + 1 = 0, 0 = -c*p + 2*p + 2*u - 10. Suppose -f + 5*q = -1082, 4*f - q = -p*q + 4351. Is f a prime number?
True
Suppose -4*w + 7*w = 75. Let m be (3 - 1)*(-1 + 318). Is 5/w - m/(-5) a composite number?
False
Let y be ((-40)/(-12))/((-10)/45*-3). Suppose 5*w + 1930 = 4*p, 6*p - 491 = y*p - 3*w. Is p composite?
True
Let c(s) = 223*s. Let v be c(-2). Let x = -262 - v. Suppose -3 = 3*b, -6*i + i - b + x = 0. Is i a prime number?
True
Let v be (7/(-2))/((-2)/(-4)). Let m(r) = -r**3 - 6*r**2 - 8*r - 10. Let t be m(v). Let z = t + -2. Is z composite?
True
Suppose 811 + 165 = 8*n. Suppose -126*s = -n*s - 260. Is s prime?
False
Let u = 272 - 149. Suppose -b - 4*m + 94 = -41, 0 = b - 2*m - u. Is b composite?
False
Let v = -1323 + 2427. Suppose -1413 - v = -3*i. Is i a prime number?
True
Suppose -3*c + 4*q = -4423, 3*c - 903 = 5*q + 3521. Suppose -c = 15*n - 18*n. Is n prime?
True
Let j(b) = b**2 + 2*b + 10. Let k(v) = v**2 - 8*v - 24. Let z be k(10). Let a = z + 10. Is j(a) composite?
True
Let d = -121 - 81. Let y = 171 + -504. Let u = d - y. Is u a composite number?
False
Let u(v) = 11*v - 50. Let k be u(5). Suppose 2*x = 8 + 2, -2*x = -k*m + 8545. Is m composite?
True
Suppose 21803 - 7731 = 8*x. Is x composite?
False
Let f(r) = 2*r + 6. Let b be f(-5). Let h be (b/(-6))/((-12)/(-72)). Suppose -128 = h*n - 1404. Is n prime?
False
Let l(i) = 82*i**2 + 7*i - 5. Is l(-12) prime?
True
Let d(o) = 11821*o**2 + 52*o + 52. Is d(-1) a prime number?
True
Let p(h) = -629*h + 43. Let b be p(-13). Suppose 3*u - m = b, 0*m = -4*m + 12. Is u a prime number?
True
Let z(w) = -26*w - 3. Let q be z(-4). Let y = q + -68. Is y a composite number?
True
Let q(d) = -25*d - 63. Is q(-6) composite?
True
Let g(s) = -s**3 + 19*s**2 + 6*s - 2. Is g(10) a composite number?
True
Suppose 419024 = -34*z + 50*z. Is z prime?
True
Let m = -29 + 15. Let u = 8 - m. Let t = -9 + u. Is t composite?
False
Suppose i + 17 = 11. Let b(q) = -25*q - 23. Is b(i) a composite number?
False
Let l(m) = 11 + 95*m**2 - 6 + 11*m - 5*m. Is l(-1) prime?
False
Suppose -6*x + 11*x - 23 = -p, -p + 11 = 2*x. Suppose -2*k + 31 = f, 0*f - 47 = -4*k + p*f. Is (-6)/k - (-2484)/63 a prime number?
False
Suppose -y = -4*z + 876, 12*z - 4*y = 10*z + 452. Is z prime?
False
Let x = -71488 - -109166. Is x a composite number?
True
Let l(b) be the first derivative of 17/3*b**3 - 13*b - 1/4*b**4 + 9 - 6*b**2. Is l(11) a prime number?
False
Let s(g) = 356*g - 71. Is s(3) a composite number?
False
Suppose -10*z + 20*z - 55190 = 0. Is z composite?
False
Let x be 4/14 - (0 + 74/14). Let u(v) = 38*v**2 + v + 14. Is u(x) a prime number?
False
Is 2/((-2)/(-38169)*9) prime?
True
Let m(v) be the first derivative of -v**2/2 + 5*v + 4. Let g be m(6). Is 261 - g/((-1)/(-2)) a prime number?
True
Let p(y) be the second derivative of -19*y**5/10 + y**2/2 + 4*y. Let a be p(-2). Is (0 - -4) + a/5 a prime number?
False
Suppose -37039 = -5*k - 10009. Suppose 4*v = -2*v + k. Is v composite?
True
Let h = 228 - -153. Suppose -4*b + 47 = -0*b - 3*y, 3*b - 4*y - 44 = 0. Let s = h - b. Is s prime?
True
Let i be (2/(-2) + -1)/((-2)/1395). Let k = -536 + i. Is k prime?
True
Let d(w) = 22*w - 3. Let z be (2 - 4) + (-12)/(-2). Let i be d(z). Suppose -3*f + i = -2*f. Is f prime?
False
Is -33244*((-21)/(-12) - 2) a prime number?
True
Let v(b) = 4*b**3 - 18*b**2 + 5*b - 59. Is v(12) a composite number?
True
Let n(z) = 56*z + 369. Is n(57) composite?
True
Suppose 0 = 4*j + 4, -8*j = -5*g - 3*j + 180. Is 100751/g + (-2)/(-5) a composite number?
False
Is (1 - 0)*57463*(-8)/(-56) prime?
True
Suppose -164 = 2*h + 24. Let a = h + 163. Is a a prime number?
False
Suppose p = -p, -4*k + 8 = -2*p. Suppose 5*o - y = 4*y + 1485, -3*o + k*y = -887. Is o composite?
False
Let f = -231 - -581. Let k = f - 240. Suppose -2*x + k = 2*q, -x - 2*q + 284 = 4*x. Is x prime?
False
Suppose d - 8 + 1 = 0. Let z(t) = 112*t - 11. Let m be z(d). Let j = m + -139. Is j composite?
True
Let k(w) = -2538*w - 725. Is k(-14) composite?
False
Let u = -288 - -482. Is u a prime number?
False
Suppose 0 = -6*y + y - 3*q, -5*q = -25. Let n be ((-57)/6)/(y/12). Suppose n = o + 1. Is o a prime number?
True
Suppose 19*g - 60 = 14*g. Is g/30 + (-9166)/(-10) composite?
True
Is (24/12)/((-4)/39370*-5) prime?
False
Suppose -7*p = 36*p - 5341159. Is p a prime number?
True
Suppose 2*g - 7*g = 0. Let l = g + -2. Is (-9)/l*(-76)/(-6) composite?
True
Suppose -2*w + 3*w = 24. Suppose w = -4*z + 4*q, -5*z + 2*z - 2*q = -7. Is (-2)/z - (-4191)/3 a prime number?
True
Let k = 932 + 2231. Is k prime?
True
Suppose 3*h - 27 = -0*h. Let x = -16 + h. Let r(y) = -55*y - 14. Is r(x) composite?
True
Let j(m) = 89*m**2 + 1. Let p be j(-2). Suppose d + 2232 = p. Is (-6)/21 + d/(-21) a prime number?
True
Let c(f) = -8*f**3 - 8*f**2 - 16*f + 7. Is c(-6) composite?
False
Let b = 242 - 5. Let i = -134 + b. Is i composite?
False
Suppose -42401 - 14701 = -6*q. Is q a composite number?
True
Let z = -758 - -331. Let n = -272 - z. Suppose -105 = -4*g + n. Is g a prime number?
False
Let x be (-4)/4 - (-2 - -7). Suppose -6*z + z - 5 = 0, 0 = -3*l - 5*z - 26. Is 12*21 + (l - x) a prime number?
True
Let t(r) = 0 - 1 + 3*r + 50*r**2 - 5*r**2 - 1. Is t(1) a composite number?
True
Let t = 1154 + 6831. Is t prime?
False
Is (38 - 8784)*2/(-4) prime?
True
Let o(c) = 561*c - 41. Is o(4) composite?
False
Let b = -3501 - -5404. Is b composite?
True
Let u = 207 + 62. Is u a prime number?
True
Let i(z) be the first derivative of -91*z**4/4 - 2. Let p be i(-1). Suppose 0*w + p = w. Is w prime?
False
Is (-27792)/(-72) + 4/(-1) a prime number?
False
Let b(v