 composite?
False
Let l(v) = -v**2 - 45*v + 213. Is l(-23) composite?
False
Let n = -5611 - -54369. Is n prime?
False
Suppose -4*a - 3 + 15 = 0. Suppose a*m = -0*m + 381. Is m composite?
False
Is 5 + (-188352)/(12/(-3)) a prime number?
True
Let r = 2547 - 144. Suppose -r - 1442 = -5*v. Is v prime?
True
Let u(k) = -k**3 - 11*k**2 - 14*k - 12. Let n be u(-10). Let m = -29 + n. Is (-4 - m) + 58 + 4 a composite number?
False
Suppose 4*f = 3*y + 332, -f - y - y = -72. Suppose -2*j - 5*x + f = -0*j, -x = 3*j - 107. Let o = j + 12. Is o a prime number?
True
Suppose -6*p + 6865 = 3*u - 4*p, 2300 = u + 3*p. Is u composite?
True
Suppose -40532 = -4*d + v, 0 = -0*v + 2*v. Is d prime?
True
Let o(z) = 9*z**2 + 17*z**2 + 1 - 7*z**2 + 8*z. Is o(4) a composite number?
False
Let g be (-1 + -153)/(312/(-304) + 1). Suppose -4413 - g = -5*t. Is t a composite number?
False
Let i(h) = -h**2 + 7*h - 4. Let g be i(6). Suppose -3*b + 4*k + 285 = -502, -k = -g. Is b a prime number?
False
Let n(l) = 2 - 6*l + 2 - l**2 + 2*l**2. Let a = 10 - 1. Is n(a) composite?
False
Let l(w) = w**2 - 10*w - 4. Let h(r) = -r**3 - 4*r**2 + 9*r + 7. Let z be h(-5). Let b be l(z). Suppose -4*n + b = 59. Is n prime?
True
Suppose 0 = 7*c - 3*c - 20, 3435 = n - 2*c. Suppose -a = 2*x - 1721, 3*x = -0*a - 2*a + n. Is a a composite number?
True
Let w = 69451 - 45300. Is w prime?
True
Let c be 2 - (3 + -3) - -3046. Suppose 3*k - 5*k = -c. Is ((-3)/(-2))/(18/k) a prime number?
True
Let i be (-117)/((18/128)/(-3)). Let t = -1752 + i. Suppose 0 = -3*y + 807 + t. Is y prime?
False
Let y = -1154 + 824. Let q = y - -545. Is q composite?
True
Let f be 6/21 + (-82116)/(-28). Suppose 3*x - 203 = -f. Let b = x + 1457. Is b composite?
False
Let c(y) = -163*y**3 + 2*y**2 + 5*y + 3. Suppose 4*x + 1 = 3*h + 20, 2*x - 3 = -5*h. Is c(h) a composite number?
False
Let y = -236 - -849. Is y a prime number?
True
Let w be (-6)/(-10) - 252/(-30). Let m be (-3)/w + 4/12. Suppose 0*j + 5*j - 105 = m. Is j composite?
True
Let z(n) = -2*n**3 - 19*n**2 - 10*n - 6. Let k be z(-9). Is (k + -1)/(12/11694) a prime number?
True
Let c(f) = -f**2 - 4*f + 3. Let r be c(2). Let z = -4 - r. Suppose -4*b + 3*n = -1522, -z*b + 799 = n - 1094. Is b a prime number?
True
Let p be ((-2)/5)/(3/(-13785)). Let o = p + -1147. Is o a prime number?
True
Let h(r) = r**2 - 17*r + 35. Let n be h(21). Suppose -1 = 2*q - 9. Suppose w + n = l - 0*w, -3*l + q*w + 353 = 0. Is l a composite number?
True
Let n(j) be the first derivative of -j**4/4 - j**3/3 - 2*j**2 + j + 10. Is n(-3) composite?
False
Let c(s) = 3*s**2 - 9*s - 67. Is c(-14) prime?
True
Suppose -7*m + 24 = 108. Is m/18 - 14758/(-6) a composite number?
False
Let z(w) = -w**2 - 2. Let h be z(-2). Let m be ((-32)/10)/(h/165). Suppose m = 5*b - 87. Is b a composite number?
True
Let z(q) = -66*q**2 - 2*q + 3. Let c be z(-4). Let x = c - -1530. Is x a prime number?
False
Let n = -188 + 188. Suppose -1879 + 95 = -2*y. Suppose -y = -n*m - 4*m. Is m prime?
True
Let x(n) = -5*n**3 - 11*n**2 + 2*n - 1. Is x(-15) composite?
False
Is (4 - 16) + 22159 - 6 a prime number?
False
Suppose 5*i - 1274 = -5*y - 444, -4*y + 649 = -i. Is y a composite number?
False
Let t(s) = s**2 + 3*s - 3. Let b = 15 - 29. Let y = -22 - b. Is t(y) prime?
True
Let a(f) = -2*f - 7. Let w(m) = -3*m + 13. Let l be w(6). Let q be a(l). Suppose 7*t - q*t - 508 = 0. Is t composite?
False
Let n = 3256 + -1903. Suppose 0 = -9*j - 75 + n. Is j a prime number?
False
Suppose -2*w + m = 3*w - 168, 2*w + 4*m - 54 = 0. Suppose w = 4*n - 7. Is (-613)/(-5) + 4/n composite?
True
Is 0/1 - (-2166 - -5) a composite number?
False
Let m(i) = -3*i + 22. Let a be m(4). Is (-26)/(((-2)/785)/(2/a)) a composite number?
True
Let i be 1 - 9*(3 - 4). Suppose 3*f = f, -2*g = -3*f - i. Suppose g*k - 720 = -0*o + o, 600 = 4*k + 4*o. Is k a prime number?
False
Suppose -d - 4890 = 1846. Is d/(-10) + 39/(-65) prime?
True
Let d = -2176 - -3957. Is d a prime number?
False
Let z(g) = 12*g**2 - 2*g + 3. Let w(l) = -11*l**2 + 2*l - 3. Let n(v) = -6*w(v) - 5*z(v). Is n(5) composite?
True
Let k = 13538 - 5319. Is k a prime number?
True
Suppose -13*r + 7*r = 2634. Let a = r - -1758. Is a composite?
False
Let o(v) = v**3 - v - 2. Let x be o(2). Suppose -4*q = -k - 2, 3*q - 10 + 0 = 5*k. Suppose q = -y + 303 + x. Is y a composite number?
False
Suppose l + 1 + 6 = 0. Let r = 11 + l. Suppose r*a - 3005 + 667 = -2*s, -602 = -a + 3*s. Is a a composite number?
False
Let z = -24981 + 53364. Is z prime?
False
Suppose 2301 = b - 3*a + 391, b + 3*a = 1904. Is b composite?
False
Let v(y) = 26*y**2 + 37*y**2 + 2*y + 1021 - 1021. Is v(7) composite?
True
Is (-88916)/(0 - (-40)/(-10)) a composite number?
False
Let r(v) = -110*v - 91 - 30*v + 230*v. Is r(23) composite?
False
Suppose -g = -1670 - 191. Let h = 2750 - g. Is h a prime number?
False
Let x = 33 + -47. Is (-7)/(x/2344) + -1 a composite number?
False
Suppose -9*l + 2236 = -7*l + 2*t, 5*l - 5605 = -2*t. Is l a composite number?
False
Let n = 212 + 97. Let j = -118 + n. Is j prime?
True
Is (1 - -2) + 8205 - 5 a composite number?
True
Suppose -4*x + 6*x + 5*r + 10 = 0, 0 = 2*x + 3*r + 6. Suppose -3*d + 2*o + 2*o + 166 = x, -o - 57 = -d. Is d a prime number?
False
Suppose 0 = -41*x + 40*x. Suppose x = -0*z + z - 109. Is z prime?
True
Let w be 6/(-4)*(1 + 1). Let m(p) be the third derivative of -23*p**4/4 - p**3/6 + 14*p**2. Is m(w) a composite number?
True
Let i be (-114)/(-22) + 6/(-33). Suppose 0 = -k + i*k - 1324. Is k a prime number?
True
Suppose 6*r + 25 = r. Let n = -7 - r. Let u(p) = -6*p**3 + 2*p**2 - 2*p - 2. Is u(n) a prime number?
False
Let m(r) = 1611*r + 358. Is m(15) a prime number?
False
Let h = 28 + -23. Is (h/10)/(3/894) composite?
False
Let m(y) = 1604*y + 43. Is m(2) prime?
True
Suppose 2*f - 4792 = -3*w, -2*w - w = 4*f - 4796. Let r = -917 + w. Is r prime?
False
Let d = 143 - 7. Let c = 295 - d. Is c prime?
False
Let o = -34387 + 49080. Is o a composite number?
True
Let r = 5 - 4. Let p be 3/9*(r - -8). Suppose -2*o - o + 2*z = -111, -p*z = -4*o + 148. Is o prime?
True
Let d = 14 - 11. Suppose 0 = -3*c - 2*a + 14, -d*c + 5*a - 14 + 0 = 0. Suppose 92 = c*f - 66. Is f a composite number?
False
Suppose 7*s - 90 = 2*s. Let o = -6 - -10. Suppose 0 = o*j + 5*u - s - 105, -5*j = 2*u - 175. Is j a composite number?
False
Let q be 2*2/6*(5 - -808). Is q + 0 + (-1 - 0) a composite number?
False
Let w = 84 - 77. Is 2907/w + (-57)/(-21) + -3 a prime number?
False
Suppose -t + 5*g + 64 = 0, 4*t - 212 = -t - 2*g. Suppose 3*q - t = q. Suppose -q = 5*n - 257. Is n composite?
False
Let n = -394 - -456. Is n prime?
False
Suppose k + 1 = 3. Let b be (-1 + 0)/(k/(-8)). Suppose b*l - 1065 = l. Is l prime?
False
Let r(d) = 49*d**2 + 5*d - 15. Let m be r(-7). Is (-3)/24*6 - m/(-4) a composite number?
False
Let g = 7288 + -2961. Is g a composite number?
False
Suppose -9 = 5*u - 19. Suppose -224 + 30 = -u*s. Is s prime?
True
Let v = -11 - -7. Let y(r) = 3*r**3 + r**2 - 8. Let a(b) = -7*b**3 - b**2 + b + 15. Let i(l) = 3*a(l) + 5*y(l). Is i(v) prime?
True
Suppose -47*o + 903022 = 27*o. Is o a prime number?
True
Suppose 5*j - m + 4 = 26, j - 2*m + 1 = 0. Suppose 2*c = j*q - 601 - 208, -q - 3*c = -172. Is q composite?
False
Suppose 26310 = 44*a - 14*a. Is a composite?
False
Let q(v) = -v**3 + 12*v**2 - 21*v + 6. Let f be q(10). Let s be (-8 - f) + 834/(-2). Let z = s + 740. Is z a prime number?
False
Let y = -21142 - -40400. Is y a composite number?
True
Let q be 1 - (-2)/2 - -737. Suppose r + 2*r + 3 = 0, 0 = -3*x - 4*r + 5192. Suppose -302 + q = o - 3*y, -4*o + x = -4*y. Is o composite?
False
Let o be -2*(-1 - (-3 + 3)). Suppose 3*d - b + 1 = 3, -o*d = -b - 1. Suppose j + d = -0, 5*k - 75 = 5*j. Is k prime?
False
Suppose -3*y = -2*z + 2*y + 11, 0 = -3*z - 2*y + 26. Is 2 + (-14)/z - (-1701)/12 composite?
True
Let s(h) = -h**2 - 4*h - 11. Let l be s(0). Is (99/9)/((-1)/l) composite?
True
Suppose -5*d = -0*b + 2*b + 10, d - 2*b = -2. Is d/(-4 - 170/(-45)) prime?
False
Let o be 2*(-2)/(-2) + 97. Let y = 0 + 10. Suppose y = b + b, -4*f = -b - o. Is f a composite number?
True
Is (0 - -4)/2*8974/28 composite?
False
Suppose 3*z = -z + 24. Suppose -3*v + z = -9, 0 = -b - 4*v + 1089. Is b prime?
True
Let n = 20 + -17. Suppose n*i + 2*i = -4*z