 -15345 = -5*i + 2*t + 39210, -3*i = -3*t - 32733. Suppose 39*z + i = 42*z. Is z composite?
False
Let j = -2260 + 1076. Let v = j + 2501. Is v prime?
False
Suppose 0*t + 4*t = -488. Suppose 0 = -0*m - 2*m - 686. Let a = t - m. Is a prime?
False
Suppose -z - 4*z = 5*j - 5, 45 = 5*j - 5*z. Suppose t - 7 = 2*v, 2*t + 0*t = -j*v + 5. Suppose -32 = -t*b + b + 3*n, 3*n = -b + 23. Is b a prime number?
True
Suppose 16*x - 81599 = 9*x. Is x prime?
True
Suppose 5*h - 7*d = -6*d + 52474, -4*h = -4*d - 41976. Is h a prime number?
False
Let i(n) = -n**3 - 3*n**2 - 34*n + 13. Let w be i(-9). Let v(l) = -16*l**2 + 7*l + 3. Let f be v(-5). Let r = w + f. Is r prime?
True
Suppose -11*s = 71 + 72. Let r be (-1)/4 + 918/24. Let d = r - s. Is d prime?
False
Let t(f) = 2*f**2 + 10*f + 16. Let z be t(-6). Suppose z = u - 9. Is u prime?
True
Suppose 159223 + 335665 = 8*a. Is a a prime number?
True
Suppose 12*s + 8 = 14*s. Suppose 5*l - 14657 = -4*d, -2*d = -s*l - d + 11734. Is l a composite number?
True
Let u be (-4)/14 - (-792)/126. Suppose -41 = u*d - 413. Is d a composite number?
True
Suppose -g - 2*q + 22 = -0*g, 10 = g - 4*q. Suppose -5*n = -2*c + 91 + g, 2*c + 2*n - 130 = 0. Let h = c + 351. Is h composite?
True
Is 3 + 8 + -7 - -783 a prime number?
True
Let m be (669 + -12)/(3/2). Suppose 2*w + i = -i + m, 3*w - 5*i = 657. Let n = -130 + w. Is n composite?
False
Suppose 0 = 5*s + 4*q - 7565 + 2298, -3*s + q + 3167 = 0. Suppose a - s = -178. Is a a prime number?
True
Let l be 2 + (-1 - -2) + 0. Let i(h) = -h**3 + 3*h**2 + h + 4. Let m be i(l). Is (m/4)/((-7)/(-56)) composite?
True
Let j(b) = 17*b**2 + 2*b - 6. Let z = 17 - 22. Is j(z) a prime number?
True
Let p(w) = w - 2. Let g be p(-7). Let b(f) = f**2 + 9*f + 2. Let m be b(g). Let o(a) = 33*a**2 - a - 3. Is o(m) a prime number?
True
Suppose -31 = 3*w + 3*p - 7, 3*p = -5*w - 40. Is 1219 - (-8 - w)/(-2 - 0) prime?
False
Let q(b) be the third derivative of b**5/60 - b**4/12 + b**3/6 - 5*b**2. Let m be q(-2). Is (634/4)/(m/18) a prime number?
True
Let n(f) be the third derivative of f**5/30 + f**4/3 + 31*f**3/6 + 7*f**2. Is n(9) prime?
False
Let c = -480 + 667. Is c composite?
True
Suppose 4*q + 16 = 4*m - 0*m, 3*m = q + 8. Suppose -2*y = -4*y + 4, 3*v - 1645 = -m*y. Is v composite?
False
Suppose -x = -4*b - 27, -2*b + 6*b - 35 = -x. Let c = x - 21. Suppose -129 = -r + 5*h, 6*h = h - c. Is r prime?
False
Let p be (-77)/2*(-108)/(-63). Let u(y) = -y**2 - 13*y + 3. Let d be u(-7). Let i = d - p. Is i a prime number?
False
Is (41868 - 1) + (-14 - -11) + 3 prime?
False
Suppose 7*k - 117 = -6*k. Is (4092/7 - 2) + k/21 prime?
False
Suppose -23193 = -8*z + 3*z - 4*y, -4*z + 18558 = 5*y. Is z prime?
True
Suppose 0 = 4*n - 376 + 100. Suppose -5*b = 2*w - n - 269, -3*w - 3*b + 498 = 0. Suppose -y + w = y. Is y prime?
False
Suppose 2*u = -3*i + 8826, -2*i + 4102 = 3*u - 1782. Is i a prime number?
False
Let l(g) = -g**2 + 5*g + 5. Let v be (-12)/(-3 - 1) + 2. Let d be l(v). Suppose d*t - 281 = 174. Is t composite?
True
Suppose -59*a = -53*a - 11586. Is a composite?
False
Suppose 0*p - 12 = -4*p. Suppose w = p*w - 1724. Is w a composite number?
True
Let b = 2636 + -738. Let a = 3049 - b. Is a a prime number?
True
Suppose -a + 2*z - z = -377, -3*a - z = -1139. Is a prime?
True
Let y be 3 - (-4 + 2 + 3). Let h(m) = 2*m**2 + 9*m - 2 - 2*m**3 - m**y + m**3 + 0*m**3. Is h(-5) prime?
True
Suppose 0*u - 3*u = 5*d - 72, 3*d + u = 44. Is (d/(-10) - -1)*-6326 prime?
True
Is (3 - 23161)*((-3)/(-6))/(-1) a prime number?
True
Is 30/(-210) - 155556/14*-1 prime?
False
Let z = -8862 - -15685. Is z prime?
True
Suppose 0 = -2*x + 4*g + 10, -14 = 2*x + 5*g - g. Let c(z) = -436*z + 3. Let w be c(x). Let h = w + -20. Is h a composite number?
False
Is (114/(-18) + 6)*-10641 a prime number?
True
Let z(v) = 2*v**3 + 6*v**2 + 8*v - 12. Let p be z(-8). Is (1 + -2)*3 + p/(-1) a prime number?
False
Let q(f) be the first derivative of 37*f**4/2 - 2*f**3/3 + f**2 - f - 8. Is q(3) a prime number?
False
Suppose -2*l + 114 = 2*w, 5*w + 89 = 2*l + 2*w. Suppose 5*p + l = 4*v, -3*p + v = -0*p + 34. Let h = 307 - p. Is h a composite number?
True
Let q(w) = 4*w + 7. Let v be q(-5). Let h = v - -9. Is (3 + h)*1*-77 a composite number?
True
Let q be -4 - (-2 - 3*-2). Let b be ((-6)/q)/(12/32). Suppose b*k + 375 - 1873 = 0. Is k a composite number?
True
Let p(z) = -z**3 + z + 2. Let g = 26 - 26. Let s be p(g). Suppose 2*q - 772 = -s*l, -3*q + 873 = 4*l - 666. Is l a prime number?
False
Let l(j) = 17*j**2 + 161*j - 25. Is l(-37) a prime number?
True
Suppose 4*o + u - 17 = 0, -o + 19 = -5*u - 1. Suppose 0 = -o*g + i + 2495, 4*i = 2*i. Is g composite?
False
Suppose 0 = -4*y + 4687 + 3621. Let f = -883 + y. Suppose i - f = -2*i. Is i a composite number?
True
Let k = -47668 - -85287. Is k a prime number?
True
Let b = 46487 + -26118. Is b a prime number?
True
Let n = 30781 - 19074. Is n composite?
True
Suppose x - 2*q - 6 = -0, 2*x + 2*q + 18 = 0. Let l = 2 + x. Is l/6 - 8944/(-12) composite?
True
Suppose -29 = -6*a + 1. Suppose -4*b = -2*s + 3*s - 4273, -a*s = 5*b - 21425. Is s a composite number?
False
Let s = -7096 - -19187. Is s composite?
True
Let g = 12802 + -5897. Is g prime?
False
Suppose 2*y = -3*v - 17, 4*v = 2*v - 2. Let u(r) = 260*r - 5. Let x(n) = 87*n - 2. Let d(t) = 3*u(t) - 10*x(t). Is d(y) composite?
True
Let t(s) = -157*s + 26. Is t(-1) a composite number?
True
Let l be -5 + (-340)/(0 + -5). Suppose -l - 1607 = -3*s - p, 1112 = 2*s + 2*p. Is s composite?
False
Let a be (-1908)/(-14) + 68/(-238). Is 51/a - (-11765)/8 a prime number?
True
Let g = -205 + 117. Let i be (-18)/(-4)*g/(-33). Is ((-220)/6)/((-8)/i) prime?
False
Let h = -781 - -1112. Let t be (-2)/(-12) + (24890/(-12))/(-5). Suppose 0 = -2*d + t + h. Is d a composite number?
False
Suppose 4*t - 5*d - 15052 = 0, 5*d - 3591 = -5*t + 15224. Is t a prime number?
False
Let x(d) = 37*d**3 - 6*d**2 - 15*d + 27. Is x(7) a composite number?
True
Let g(q) be the first derivative of -q**2/2 - 21*q + 7. Let s be g(-12). Is (1 - -138)/(s + 10) a composite number?
False
Suppose 59*x = 41085 + 33314. Is x prime?
False
Let q = -90 + 94. Suppose -q*c = -2*b - b - 9932, 0 = -5*c - b + 12415. Is c prime?
False
Suppose 3*y + y = -160. Is 1 + -2 - -7 - 3 - y a prime number?
True
Suppose -2*f - 3*h = -0*h - 2, 4*h = -2*f. Suppose r = 3*j - 110, -f*j - r + 3*r = -150. Is j composite?
True
Let y = -32709 - -66824. Is y prime?
False
Suppose 9*b = 4278 + 10788. Let g = b + -753. Is g composite?
True
Let b be -2 - 2*(-1)/(-2). Is b + (-2886)/(-9) + (-2)/3 a composite number?
False
Suppose 4*h = 1128 - 276. Suppose -2*n - 4*s + 739 - h = 0, n - 263 = 4*s. Is n a composite number?
False
Let i = 1170 + -645. Suppose 2110 = 5*p - i. Is p prime?
False
Let c be 7/(-56) - 1913/(-8). Suppose -t = -o + t + c, -3*o + 4*t + 727 = 0. Is o prime?
False
Suppose -12062 = -5*g - 4*b + 38036, 4*g - 4*b - 40064 = 0. Is g a composite number?
True
Let r be (-3)/2*(-14 - -8). Let h = r - -86. Suppose 21 = -2*x + h. Is x composite?
False
Let j(z) = 5*z**2 + 7*z + 17. Let d be j(-9). Suppose -2*q + 723 = -d. Is q prime?
True
Suppose 433082 = -0*d + 26*d. Is d a composite number?
False
Is (-8 - 17/(-2))*9502 composite?
False
Suppose -4*q - 16*f = -18*f - 389686, 2*q = -5*f + 194861. Is q a composite number?
False
Suppose -2*r = h + 2*r - 2119, -4178 = -2*h + 4*r. Is h a prime number?
True
Suppose -4*n + 4636 = 2*g - 0*n, 3*g + 5*n = 6958. Suppose 0 = -2*f - u + 2316, 2*f - 8*u + 4*u = g. Is f prime?
False
Suppose -62*k + 75*k - 61451 = 0. Is k prime?
False
Let h(f) be the second derivative of f**5/20 - 5*f**4/12 + 2*f**2 + 4*f. Let v be h(5). Suppose 0*j = -v*j + 3892. Is j composite?
True
Let s(i) = 1095*i - 58. Is s(4) prime?
False
Let r(f) = 24*f - 7. Let g be r(5). Suppose 0 = 5*v + 15, g = s + v + 25. Is s a composite number?
True
Let j(w) = -w**3 - 3*w**2 - 7*w. Suppose -4*r = -4*c, 5*c = -3*r + 2*c + 6. Suppose 0 = d + 2*n + r, 0 = 2*d - 3*d + 4*n - 13. Is j(d) prime?
False
Suppose -5*p - a - a + 1451 = 0, 0 = -5*p + a + 1457. Let f be (-96)/45*-3*180/9. Let h = p - f. Is h prime?
True
Let b = 277 - 90. Is b composite?
True
Suppose 4*v - 3*s - 34437 = 28622, 5*v - s = 78832. Is v prime?
True
Let v = 17915 - 8172. Is v prime?
True
Is 