Let u = -15 - -16. Suppose -2 = -d + u. Suppose -w = -d*p + 705 + 530, 4*p + 2*w - 1660 = 0. Is p composite?
True
Suppose 4*q - 12842 = -2*h, -5*h = -4*q - 21686 - 10433. Let o = -4052 + h. Is o a prime number?
True
Suppose -11*t = -15*t + 12. Suppose -h = -t*h + 148. Is h composite?
True
Let n = -4 + 3. Let t be 1 - 41*(2 + n). Let j = t + 75. Is j a composite number?
True
Let u(h) = -h**3 + 3*h**2 + 5*h + 2. Let g be u(4). Suppose -5*v - g - 4 = 0, 3*k = -3*v + 1005. Is k prime?
True
Suppose 3*x - 4*c = -16808, 3*x + c - 2*c = -16811. Let a = -3359 - x. Is a a prime number?
False
Let i(x) = 9 + 19*x + 45*x - 29*x. Is i(4) a prime number?
True
Let m = 10 - 10. Let g be 0 + m + -2 + 5. Suppose -5*z = 4*l - 40, -83 = -5*l - z + g*z. Is l prime?
False
Let u = 2965 - 6318. Is -2*(u/6)/(-7)*-9 prime?
False
Let l = -487 + 31. Let n(u) = 4*u**3 + 5*u**2 - 5*u - 1. Let q be n(6). Let p = l + q. Is p a composite number?
False
Let p(l) be the first derivative of 5*l**4 + l**3 + 3*l**2/2 + 3*l - 10. Is p(3) a composite number?
True
Suppose 3*v - 72 = 7*v. Let q = v + -161. Let g = q - -266. Is g composite?
True
Suppose 2*m = -0*m + 26. Let d(c) = -2*c + 4. Let i be d(5). Let g = m - i. Is g a composite number?
False
Suppose -3*u + i - 12 = 0, 9 = -2*u + i - 0. Is (-4858)/(-3) - u/(-54)*6 a composite number?
False
Suppose 19*k = 10*k + 45. Suppose 3*x = k*x + 5*v - 153, -5*x + 391 = 4*v. Is x prime?
True
Let x be (-8)/(-36)*3 + (-66)/(-9). Suppose -774 = -x*z + 9034. Is z prime?
False
Let m = 10578 + -5804. Let d = -3231 + m. Is d composite?
False
Let j(a) = -a**2 + 15*a + 17. Let b be j(14). Suppose 0 = v - 46 - b. Is v composite?
True
Let w = 39 - 22. Suppose -5*p + a + 276 = 0, -5*a + 177 = 3*p + w. Is p prime?
False
Suppose -5*u = -m - 32496, 3*u - 5*m = -0*u + 19502. Is u a composite number?
True
Is 1/6 - 18/(648/(-70590)) a prime number?
False
Let o(n) = n**3 + n**2 - 5*n - 6. Let f be o(3). Suppose 0 = -q + 6*q - f. Suppose b + q*b = 2492. Is b a prime number?
False
Let l be 0 - (2 + -3) - 5. Let k = -3 - l. Is -269*k*(1 + -2) a prime number?
True
Let j = -1574 - -2469. Suppose -3*z - j + 175 = 0. Let r = -99 - z. Is r a composite number?
True
Is (62428/5)/((-156)/(-390)) a composite number?
True
Let r(u) = 86*u - 3. Let c be r(-3). Let n = c + 2464. Is n composite?
False
Suppose -5*n - 3*j + 24 = 7, 3*j = -4*n + 13. Suppose -3*x + 0*x = n*t - 2755, 0 = 5*x + 3*t - 4588. Is x a composite number?
True
Suppose 0 = -5*y + 4*c + 43910, -3*y = -7*c + 2*c - 26346. Is y prime?
False
Let a(n) = 26*n - 1 + 3 + 4 - 3. Is a(7) composite?
True
Is 642/4*2/(-9)*-9 composite?
True
Let u(j) = -1605*j + 29. Let m be u(-24). Suppose -m = -0*t - 7*t. Is t prime?
True
Let c = -15 + 20. Suppose 5*v + 0*s - 2765 = -3*s, -c*s + 2765 = 5*v. Is v composite?
True
Let a = 4013 + -2514. Is a a prime number?
True
Let a = -481 + 487. Let u(q) = -q + 8 + 1 + 2*q. Is u(a) a composite number?
True
Suppose -6 + 1 = d. Is (-2288)/(-12) - d/15 composite?
False
Let v(n) = -103*n**3 - 4*n**2 + 12*n + 17. Is v(-6) a prime number?
False
Let p(f) = f**2 + 7*f - 2. Let g be p(-4). Let y = -236 - -244. Is 1622/y + g/(-56) a prime number?
False
Suppose 109*c - 100*c = 55071. Is c composite?
True
Let q be (-67)/(-5) + 3/5. Let t = 8 - q. Let b = t - -109. Is b prime?
True
Let h be 4/(-2)*20/(-8). Suppose -5*a + 9*b = 4*b - 950, 5*b - 990 = -h*a. Is a composite?
True
Suppose -5*u - 55 = -3*r, -r + 11 = -u - 2*r. Let j(n) = n**3 + 13*n**2 + 15*n - 26. Is j(u) a prime number?
False
Suppose -2*q - 4 = 0, q = 2*h - 10485 - 3837. Let t = h - 4263. Is t a composite number?
False
Let q = -16620 - -33223. Is q a prime number?
True
Suppose 48*r + 8 = 52*r. Suppose 4*h - 356 = -2*d, -r*d = 2*h - 0*h - 182. Is h prime?
False
Suppose 1 = -5*h + l, -h + 1 = -4*l + 5. Suppose h = 16*y - 17*y + 305. Is y prime?
False
Let m(d) = 22*d**2 + 3*d. Let p be m(-3). Let f = 15 + 110. Suppose 0 = -2*w + f + p. Is w a prime number?
True
Let m be ((-6)/15)/((-8)/20). Is 3882/(-4)*(0 - (m - -1)) a composite number?
True
Let d(i) = -i - 7. Let u be d(-12). Suppose -2402 - 4983 = -u*s. Is s composite?
True
Let m = -1220 - -2997. Is m composite?
False
Let l = 2097 - -3110. Is l a composite number?
True
Let m be 65/10*(-4)/(-13). Suppose 0 = -0*i + 3*i - 12. Is (m - i)*993/(-6) a composite number?
False
Suppose -154 = -5*f + 996. Suppose -n - n = f. Let x = 170 + n. Is x a composite number?
True
Let v(f) = 763*f**2 + 11*f + 43. Is v(-5) a composite number?
True
Let q(i) = 145*i + 48. Let m(v) = 434*v + 145. Let j(n) = -4*m(n) + 11*q(n). Is j(-5) composite?
False
Let j(o) = o**3 - 5*o**2 - 6*o + 4. Let r be j(6). Suppose r*u = -5*f + 181 + 450, -3*f + 376 = 5*u. Is f composite?
False
Suppose 34674 = 161*r - 158*r. Is r a composite number?
True
Is -4 + -3 + 4210 - 2 a composite number?
False
Let m = 2551 - 1013. Suppose -2156 - m = -2*k. Is k a prime number?
True
Let o(g) = g**2 + g - 9. Let d be o(-4). Suppose -6 = -3*r, -90 = -2*x - d*r + 14. Is x a prime number?
False
Let c be 8/12 + (-5948)/(-6). Let n = c + -1596. Let f = 1659 + n. Is f prime?
False
Suppose 0 = -4*r - 12, -4*a - 4*r - 18 = -a. Let p be (a - (-9)/3)*2. Suppose 211 + 7 = p*x. Is x composite?
False
Let t be (-1)/2*10*-3. Let m = -11 + t. Suppose m*f - 807 - 229 = 0. Is f a composite number?
True
Let i = -7 + 1. Let w = i - -99. Is w composite?
True
Suppose 16*x = 15*x + 10. Suppose k = -x*t + 6*t + 6717, 25 = 5*k. Is t a composite number?
True
Let r(x) = -x**2 - 4*x + 11. Let l be r(-6). Let h(k) = -3*k**2 + 1. Let b be h(l). Is b + 0 + 79 + 2 a prime number?
True
Suppose 5*l + 12210 - 1759 = 4*b, -3*b - 2*l + 7821 = 0. Is b a composite number?
False
Let f(c) = 4*c**3 + c**2 - 2*c - 3. Let q be f(-2). Let j be q/36 - 62/(-8). Let d(y) = y**3 - y**2 - 11*y + 6. Is d(j) prime?
True
Let c = 8 + -36. Let m be c*((-301)/2)/7. Let i = m - 417. Is i prime?
False
Suppose 149 - 893 = -l. Suppose -2*c + k = 6*k - 362, 4*c = -5*k + l. Is c a composite number?
False
Suppose -a - 278 = 2*r - 0*a, -5*a - 410 = 3*r. Let d = r - -393. Is d composite?
True
Let l(p) = -p**2 - 10*p + 1. Suppose -3*y = -5 + 23. Let h be l(y). Suppose -h + 77 = 4*w. Is w prime?
True
Let z be (65 + -1)*24/6. Suppose k - 47 - z = 0. Is k a prime number?
False
Let y = -122 + 122. Suppose y = -7*j + 1989 + 4360. Is j prime?
True
Let n(f) = f**2 + 7*f - 4. Let z be n(-6). Let k be 3 + (-5)/(z/48). Suppose 0 = 4*i - k - 29. Is i a composite number?
True
Suppose 9*h = -h - 4380. Let v = h + 731. Is v a prime number?
True
Let p = 224 + -61. Let j = p - -704. Suppose -1178 = -4*u - 2*b, 3*u - b - 3*b = j. Is u prime?
True
Let u = 11457 - -752. Suppose 5531 = 10*y - u. Is y a composite number?
True
Suppose -67*y + 781960 = -27*y. Is y composite?
True
Let y(l) = -2*l**3 + 2*l**2 - 1. Let u be y(2). Let p be (-21)/(5/((-20)/(-3))). Let g = u - p. Is g a prime number?
True
Suppose -466113 - 22787 = -20*g. Is g a composite number?
True
Let k = 6 - 6. Let r(v) = -19*v - v**2 - 3 - 2 + k + 0. Is r(-12) composite?
False
Let b be 90/4*(-18)/(-27). Suppose -b = -n - i + 36, -5 = -i. Suppose -3*y - 15 = 0, -15 = 3*j - 2*y - n. Is j a prime number?
True
Let c = -3310 + 7255. Suppose -2*z + c = 5*j, -2*j + 3*j - z = 789. Is j prime?
False
Suppose -2*l + 12 = 4*b, b + 1 - 4 = -2*l. Suppose 9 = 3*h - l*h. Suppose g + 4*q = 2*g - 27, -4*g = h*q - 13. Is g a prime number?
True
Let u = 46 - -25. Let a = u + -28. Is a a composite number?
False
Let h(y) = 30*y - 11. Let m(p) = p + 16. Let z be m(-7). Is h(z) composite?
True
Let x(p) = 631*p**2 + 32*p - 106. Is x(3) a prime number?
True
Let q = -9 + 5. Is (58/2)/(q/(-52)) a prime number?
False
Suppose 15*c + 0*c - 930 = 0. Suppose -6 - 92 = -2*i + 4*p, 4*i + 2*p - 196 = 0. Let h = c + i. Is h a composite number?
True
Suppose 0 = 5*z + 1641 - 13936. Is z prime?
True
Let t(a) = -a**2 + 6*a - 2. Let x(y) = y**2 - 11*y - 7. Let l be x(12). Let v be t(l). Suppose 5*p - 285 = -0*p - 5*j, -v*j = -p + 65. Is p a composite number?
False
Suppose 0 = -4*z + w + 4374, 4*w + 3 = 11. Is z composite?
True
Suppose 4*x = 46 + 86. Let p = x - -82. Is p a composite number?
True
Let d(f) = -14*f**3 + f**2 + 2*f - 2. Let x be d(1). Let o(a) = -a**3 - 11*a**2 + 4*a + 15. Is o(x) prime?
Fal