 a composite number?
True
Let h(n) = -n**3 + 1. Let x be h(1). Suppose x = -12*v + 3479 + 781. Is v prime?
False
Let u = 12 - 15. Let c(w) = 15*w**2 + w + 9. Let k(j) = -7*j**2 - 4. Let l(h) = -3*c(h) - 7*k(h). Is l(u) a composite number?
True
Let x(o) = 32*o + 3. Let n be x(-3). Let y = n - -46. Let u = 70 + y. Is u a prime number?
True
Suppose 4*t = 5*y + 8, -3*t + 0*t - 3*y = 21. Let f be t*(-7)/(63/24). Is f*20/(-64)*-4 a composite number?
True
Let f be (14/(-3))/(5/(-3600)). Suppose 5*i + 3*z - 1369 = 3*i, 0 = 5*i - 5*z - f. Is i a prime number?
True
Let o = 146219 + -85218. Is o a prime number?
True
Let x = 108 - 101. Let q(m) = -5 - 5 + 32*m + 1. Is q(x) a prime number?
False
Suppose -2*a = -2 - 2. Suppose 190 = 5*f + 5*q, 2*f - 152 = -2*f + a*q. Suppose -k + 5*l + 26 = 0, 3*k - 4*l - l - f = 0. Is k prime?
False
Suppose 2*n = -3 + 9. Suppose 2*h - n*h = 0. Suppose 0*t + 4*t - 1580 = h. Is t a prime number?
False
Suppose -2*z = 2*v - 54 - 6, -3*z + 116 = 4*v. Suppose x + 9 = -i, -3*x = -3*i - 7*x - v. Let q(p) = p**2 + 5*p + 9. Is q(i) composite?
False
Let o(y) = -11*y**3 + 5*y**2 + 9*y + 15. Let g be o(-6). Suppose 10*p = 7*p + g. Is p a prime number?
True
Suppose 4*i - 4*s - 48 = 0, 2*i - 2*s = -3*s + 12. Suppose -i = -2*y + 60. Suppose 4*x + 6 = y. Is x a composite number?
False
Let t = -1 + 8. Let p be t - (1 + 2 + -3). Suppose -3*v + p*v = 88. Is v a composite number?
True
Let u = -31789 + 48548. Is u a prime number?
True
Let w(x) = 176*x**3 - x**2 + 7*x - 1. Let i be w(2). Suppose i = 3*o - 1484. Is o prime?
True
Let f = -5 + 0. Let a = 4 + f. Is (-3)/a - (-72 + -2) a composite number?
True
Let u(g) = 1130*g**2 + 9*g - 10. Is u(-3) prime?
True
Suppose d - p = -3*d + 23673, d = 3*p + 5910. Is d a composite number?
True
Suppose -o = 5*a - 8921, o - 6*a = -10*a + 8925. Is o a prime number?
True
Suppose 0 = 8*h - 3*h - 10. Let y = h + 33. Is y composite?
True
Is (-937)/(-2) + (-144)/96 composite?
False
Is 4/16*(4656/3 + 4) composite?
False
Let y(i) be the second derivative of 67*i**3/3 - i**2/2 + 13*i. Is y(2) a prime number?
False
Suppose 36756 = 27*a - 16515. Is a prime?
True
Let k = 72584 + -49361. Is k composite?
True
Suppose 2*d + d - 5*k - 19 = 0, -k - 2 = 0. Suppose d*y = y + 8. Is 3/y - 8890/(-40) a composite number?
False
Let b(u) = -1127*u**3 + 8*u**2 + 3*u + 5. Is b(-4) a composite number?
True
Suppose 4*c = 2*m - 16, -11 = m + 3*c + 6. Let p be ((-29)/m)/((-4)/(-8)). Let k = 2 + p. Is k a composite number?
False
Let z be 4/(-16) + (-396)/16. Let y(c) = 11*c - 2. Let b be y(-3). Let q = z - b. Is q prime?
False
Suppose -j + 1659 = 2*p, -4*p - 3730 + 404 = -2*j. Is j a composite number?
True
Let z(s) = 251*s**3 + 4*s**2 - 18*s - 6. Is z(5) a prime number?
True
Let d be (-555)/(-20)*16/4. Suppose l = 784 - d. Is l composite?
False
Suppose 195179 = 11*f + 42136. Is f a composite number?
False
Let v be ((-6)/4)/((-15)/20). Suppose v*u - 227 = 5*z, 3*u + 4*z = u + 182. Is u + (5 - 6/2) prime?
True
Is (7 - -12064)/(1/1) a prime number?
True
Let s be (2 - 15)/((2/1)/718). Let p = s - -8080. Is p a composite number?
False
Suppose s = -4*d + 1575, -3*d + 4692 = 3*s - 2*d. Let l = s + -818. Is l a composite number?
True
Suppose -4*v + 0*v - 1152 = 0. Let a = -175 - v. Is a a composite number?
False
Suppose 2*v + 5*h - 6433 = 0, 5*v - 5*h = -2*h + 16160. Is v composite?
False
Let y(g) = g**2 + 0*g**2 + 2*g + 2*g - 3. Let n be y(-5). Is n/6 - (-185)/3 a composite number?
True
Let x(k) = 56*k**2 - 1. Let u(a) = -a - 17. Let n be u(-16). Let f be n*(-2 + 0)/(-2). Is x(f) composite?
True
Suppose 5*s - 6861 - 1684 = 0. Suppose -2*p = -4*d - 858, d = 4*p - 0*d - s. Is p a prime number?
False
Let l = 43005 + -14576. Is l a prime number?
True
Suppose 0 = 6*w - 2097 + 12519. Let r = 949 + w. Is 1/(r/(-787) + -1) prime?
True
Let c = 305 - -464. Suppose c + 653 = 6*v. Is v a composite number?
True
Let v = -5716 + 11187. Is v composite?
False
Suppose -2*v = -4*c - 10494, -3*v = -3*c + 2*c - 15736. Suppose -5*u + 0*u = -v. Is u composite?
False
Let l be 870 - (-1)/3*(-6 - -3). Let x = -532 + l. Is x a composite number?
False
Let o be (7 - 1) + -2 + -1. Suppose -o*a - 16 = 2. Is a/(-15) + (-2506)/(-10) a prime number?
True
Let s be -205*(138/(-18) - 4/(-6)). Suppose 2*a + 437 = s. Is a a composite number?
False
Let t = 2809 + -250. Is t a composite number?
True
Suppose -4*a - 2498 = -2*m + 348, 0 = -5*m + 5*a + 7115. Is m a prime number?
True
Let s(y) = 2*y**2 + 10*y - 4. Let k be s(2). Suppose -k*n + 6595 = -19*n. Is n a composite number?
False
Suppose 0*k + 3*k = -x + 2503, 0 = -4*x + 5*k + 10080. Is x composite?
True
Suppose 56*j = -25*j + 1937115. Is j a prime number?
False
Let x = 1503 - -2318. Is x a prime number?
True
Let f be (1 + 0)/(5/(-30)). Is (1 - 0)/(-1) - (f - 302) a composite number?
False
Suppose 88 = -0*v + 5*v - w, -4*v + 65 = w. Let m = v + -168. Let s = m + 242. Is s a prime number?
False
Let b = -106 - -176. Suppose 1958 = -68*d + b*d. Is d prime?
False
Is (-16)/(64/(-14052)) - 2 prime?
True
Let t(y) = -2*y - 4. Let l be (3/(-6))/((-2)/(-12)). Let c be t(l). Suppose 5*i = 4*h + 1987, -c*i + h = 2*i - 1583. Is i a composite number?
True
Let r(x) = 383*x**2 - 9*x - 9. Is r(-2) a prime number?
False
Is ((483540/(-8))/(-15))/((-2)/(-4)) a composite number?
False
Suppose 2*k - 34400 = 2138. Is k a prime number?
True
Let l be (4 - 7) + -341 - 3. Let m = 246 - l. Is m a composite number?
False
Let q(m) = 3*m**3 - 9*m**2 + 11*m + 9. Let d be q(9). Suppose 2*n = -n - d. Let f = n - -931. Is f composite?
False
Suppose 176 = 4*y - 864. Suppose 101 = -l + y. Is l a prime number?
False
Let w be 6/4*1256/6. Let g = w - 221. Is g a prime number?
False
Let w(h) = 10*h - 7*h - 14*h + 3*h**3 - 13*h**2 - 13*h - 27. Is w(11) composite?
False
Let m = -9 - -14. Suppose m*z - 6 = 2*r, -12 = -5*r - 2. Suppose -o - z*o + 12 = 0. Is o a prime number?
False
Let r = -681 + 3452. Suppose 3*x - r - 664 = 0. Is x a prime number?
False
Let d(x) = -41*x + 6. Suppose 4*p - 33 = 59. Suppose 0 = 4*g + 5 + p. Is d(g) prime?
True
Suppose 3*c + 7 = 22. Suppose 282 = c*r - 2*r. Is r prime?
False
Let b(p) = -1629*p - 34. Is b(-3) a composite number?
True
Let g = 128 + -86. Is g/(-105) + (-2514)/(-10) composite?
False
Suppose -11*v - 60 = -15*v. Is ((-430)/(-25))/(3/v) composite?
True
Let k(a) = -a + 1. Let z be k(-1). Suppose 0*g - z*g - 368 = 0. Let o = 271 + g. Is o a prime number?
False
Suppose 3*g + 2*v + 2946 + 424 = 0, 1118 = -g - 2*v. Let f = -473 - g. Is f composite?
False
Let m = 25 - 19. Let t(n) = 6*n**2 - n + 3. Is t(m) prime?
False
Suppose 633 = 5*o - 492. Suppose 96 = 3*s - o. Let b = -76 + s. Is b composite?
False
Suppose 3*t = 2*t + 63. Let w = t - -39. Suppose 2*d + 2*v + w = 4*d, 5*d - 267 = -v. Is d prime?
True
Suppose -11*y + 8*y + 4623 = 3*v, -2*y + v = -3088. Is y a prime number?
True
Let a(t) = 246*t**2 - 19*t - 50. Is a(-13) composite?
False
Let b(u) = -u**3 - 8*u**2 - 9*u - 10. Let j be b(-7). Is 2508*6/j - -1 a prime number?
False
Suppose 5*f + 5 = -15. Let r be (-1 - -1335)/(6 + f). Suppose r = 5*a - l, -4*a + 2*l + 396 = -a. Is a composite?
True
Suppose -432657 = 29*a - 38*a. Is a composite?
False
Let r(a) = 216*a**2 - 16*a - 57. Is r(-7) a prime number?
True
Let q(x) = 8*x**2 - 9*x - 4 + 15 + 19 - 5. Is q(12) a composite number?
False
Let k = -6 + 4. Let w be (-46)/(-3) + k/6. Suppose 2*l = 6*l + 4*i - 88, 0 = 5*i - w. Is l a composite number?
False
Suppose -3*h + 1575 = b - 2102, 3*b - 2456 = -2*h. Let g = h + -346. Suppose 4*d - g = d. Is d a composite number?
False
Let d(p) = -3*p - 2*p + p**2 - 2*p - 2*p**2 + 5. Let z be d(-7). Suppose m = -w + 43, -4*w - 182 = -z*m + 33. Is m prime?
True
Let n(i) = i**3 - 9*i**2 - 31*i - 2. Let x be n(13). Suppose 6*p - 365 = x. Is p composite?
True
Is -1*(-116562)/10 - (-220)/275 prime?
True
Let f be 2 + 21/(-15) + 28/20. Suppose -7*u + 715 = -f*u. Is u a prime number?
False
Suppose 5*p - 256 = -3*p. Suppose -5*i + p = -1043. Is i a prime number?
False
Suppose 0 = -2*d + 2, 0*w - 4*w + 3*d - 15 = 0. Is (921/1)/w*(8 + -9) prime?
True
Is (12/60*-312764)/((-6)/15) composite?
True
Suppose 3*j + o - 11557 = 0, 4*o + 1871 = -4*j + 17267. Suppose j = 12*y + 1010. Is y a prime number?
False
Let z = -28