ite?
True
Suppose -38*v = -81115 - 121539. Is v a composite number?
False
Let b(p) = 4*p**3 - 7*p**2 - 9*p. Let i be b(3). Suppose -3*q = 2*c - 10, -q = -3*c - 2 + 28. Is i/c + 6/(-24) composite?
False
Suppose 0 = -5*f - 3*b - 20177, 2799 = -f - 4*b - 1250. Let m = 3533 - f. Suppose -43*i = -37*i - m. Is i composite?
True
Let k(j) = j**3 + 6*j**2 + 3*j - 6. Let a be k(-5). Let z be (6/a)/(6/20). Suppose -370 = z*w - 1160. Is w prime?
False
Let f = 277 + -271. Is (1/(f/(-12603)))/((-13)/26) prime?
True
Is 11*(-3598)/(-7)*(-3)/(-2) + 8 a composite number?
True
Suppose 4*a - 9*t = -11*t + 147614, -2*t + 2 = 0. Is a a prime number?
False
Let t be (-20)/(-12) + (-55)/(-3). Suppose t = 9*a + 101. Let u(o) = -39*o + 58. Is u(a) a composite number?
False
Let c(u) = 3*u + 2 + u**3 - 4*u + 9*u - 2*u**2. Let d be c(6). Let n = d - -17. Is n a prime number?
True
Is 800811943/1112 + 9/24 a prime number?
False
Let u(f) = -f - f**3 + 312*f**2 - 313*f**2 + 44*f**3 + 2. Let l(t) = -t - 2. Let q be l(-3). Is u(q) composite?
False
Suppose 9 = 10*j - 21. Suppose j*y + 1406 = y. Let t = 1622 + y. Is t composite?
False
Let n = 18 + -10. Suppose o + 22 = 57. Suppose -4*d + n = 0, -3*d + 151 = 5*p + o. Is p composite?
True
Let y = 6660 + -4683. Is y composite?
True
Let d(x) be the third derivative of x**4/8 - x**3/2 + 13*x**2. Let v be d(2). Suppose 4*z = t + 1040, v*z + 5*t = 106 + 651. Is z a prime number?
False
Suppose -69*x - 86*x + 18264425 = 0. Is x prime?
False
Let k(w) = -6*w**2 - 7*w + 25. Let s(j) = 3*j - 54. Let d be s(22). Let t be k(d). Let b = 354 - t. Is b a prime number?
True
Let d(l) = -2*l - 3. Let k be d(-3). Suppose -53*t + 13753 + 6440 = 0. Suppose 0 = 4*u + 2*r + k - t, 3*u = 5*r + 316. Is u prime?
True
Let s be (-324)/(-63) - 3/21. Suppose -s*g - f = -32513, 2*f = 4*g - 0*g - 26016. Is g a prime number?
False
Let n = -106210 + 171029. Is n a prime number?
False
Let b be 8*(4 - (0 - -3)). Let f(m) = 28*m - b*m - 67 + 22. Is f(13) a prime number?
False
Let l(h) = 2*h**2 + 220*h - 41. Is l(40) a prime number?
True
Is (0 + 1)/((7 - (13 - 5))/(-1248829)) a composite number?
False
Is 41 + -54 - (-191999 + -3) prime?
False
Let y(k) = -k**3 - 49*k**2 - 46*k + 100. Let m be y(-48). Suppose m*x = -21*x + 477625. Is x prime?
False
Suppose 4 = 2*i - 0. Suppose -20 = -5*n + c, 4*n = -n + i*c + 15. Suppose 5*x + n = 0, x = 4*u - 3*x - 2064. Is u a composite number?
True
Let o(w) = 1842*w - 27. Suppose 7*n + 5 = 6*n - 4*u, 41 = 5*n - 2*u. Is o(n) composite?
True
Suppose 30*m - 38600 = 25*m. Suppose 2*x - 3*p - 6268 = 0, 4*p - 1454 = 2*x - m. Is x composite?
False
Suppose -424887 + 25817 = -14*d. Suppose d = 4*q - 5*z + 2705, 12 = 3*z. Is q a prime number?
False
Suppose -4*y + 2*t - 73180 = 0, -4*y - 103936 = 4*t - 30732. Let b = y - -26960. Is b prime?
True
Let r = -48 - -175. Let y = 2328 + r. Is y composite?
True
Let a be -1 - 8/(-4) - 1. Suppose 432 = 3*o - 4*y - 819, 3*o - y - 1260 = a. Let x = o + -222. Is x a composite number?
False
Let z(c) be the first derivative of c**4/4 - 20*c**3/3 - 6*c**2 + 3*c - 36. Let t be z(21). Suppose 6*y - 3*y + 5*x = 104, -4*y + 4*x + t = 0. Is y prime?
True
Let g = -173 + 194. Suppose -30120 = -g*b - 3*b. Is b a prime number?
False
Suppose 10*s + 6 = 13*s. Suppose s*d + 12 = -6. Is -5*118*-4 - d/9 prime?
False
Suppose 3*w - 104*w + 2946888 = 115*w. Is w a composite number?
True
Let f = 74 + -72. Let q be ((-4 + 6)/1)/2. Is q*f/(6/267) a prime number?
True
Suppose 9*l - 452209 = 952416 + 540797. Is l a prime number?
False
Let n(t) be the first derivative of -59*t**2/2 - t + 23. Let i(u) = -u - 6. Let o be i(-5). Is n(o) a composite number?
True
Let o(b) = 7*b**3 - b**2 + 2*b - 3. Let s(m) = -m**3 - m**2 - m + 1. Let p(k) = o(k) + 6*s(k). Is p(16) a prime number?
True
Suppose -4*c = -3*d + 4*d - 2259, 4*d + 586 = c. Let s = c - -1031. Is s a prime number?
True
Suppose 0 = 26*o - 11521573 - 9013669. Is o composite?
True
Let o(q) = 13*q**3 - q**2 - 7. Let c be o(10). Suppose 0 = -2*s - 2*s + 17600. Suppose 0 = -3*j + c - s. Is j prime?
False
Let f(o) = -12*o + 3*o**2 - o**3 + 9*o**2 + 17*o + 5 + 24*o. Is f(14) prime?
True
Let d = 666778 - 374855. Is d prime?
True
Let x(m) = -m**3 + 33*m**2 + 46*m - 19. Suppose -4*i - 11 = 9, -v - 3*i + 10 = 0. Is x(v) prime?
True
Let a(i) = -352*i + 205. Let q(s) = 3*s - 1. Let r(c) = -a(c) - 4*q(c). Is r(22) prime?
False
Suppose t + 12 = i, -10 = -2*i - 2*t - 3*t. Suppose -20 = -4*d, -i*r = -12*r - d + 11911. Is r prime?
True
Let c(y) = -496*y + 9. Let g = -10 - -21. Let s be 0/(-2) - (-10 + g). Is c(s) prime?
False
Let w be -3*-2*2/3 - -1. Suppose -10 = 5*x + w*i, 3*x + 4*i + 7 = -4. Suppose 4461 + 2027 = x*l - 5*f, -3*l = 3*f - 6480. Is l a prime number?
True
Let l(c) = 172*c**2 - 5*c + 2. Let x be -1*(4 - (-8)/(-1)). Suppose -3*b - x*d = -13, 0 = -2*b + d - 0*d + 5. Is l(b) composite?
True
Let v = 1437352 - 982553. Is v a prime number?
True
Let v = -32261 - -1187262. Is v a prime number?
True
Let g(y) = -22 - 21 + 47 + y. Let f be g(-5). Is (f/(-2))/(6/6036) a prime number?
True
Let l(q) = -1 + 3*q - 3*q + 2*q - 6*q + 624*q**2. Is l(-2) a composite number?
False
Let j = -172 + 177. Let d(i) = 11*i**3 + 3*i**2 - 12*i + 7. Is d(j) prime?
False
Let v = 45850 + -12941. Is v prime?
True
Let k(m) = -m**2 - 20*m + 8. Let z be k(-20). Suppose 2945 + 23191 = z*w. Suppose -7*r + 4440 + w = 0. Is r prime?
False
Let o be 1/1 - (-4)/(20/45). Let z(a) = 10*a**2 - 5*a + 41. Let m(n) = n**2. Let t(l) = -6*m(l) + z(l). Is t(o) prime?
False
Suppose -2*b - 5*l + 35 = 3*b, -5*b + 34 = 4*l. Let q(k) = -26*k + b - 1 + 2 + 4. Is q(-12) a prime number?
False
Suppose -4*r - t = -41374, -9582 = -r - t + 760. Suppose -z - 7*c = -3*c - 3433, -3*c - r = -3*z. Suppose -13*a + 0*a + z = 0. Is a composite?
True
Let f(o) = o**3 + 3*o**2 + 3*o - 10. Let w(d) = -3 + 0 + 0*d**2 + 9*d + d**2. Let t be w(-10). Is f(t) a composite number?
True
Suppose 1784*o = 1798*o - 1458926. Is o composite?
True
Suppose -56*y - 68*y + 1012834 = -7224610. Is y composite?
False
Suppose 148*s = 459*s - 28528963. Is s a composite number?
False
Let a(s) = 122*s + 38. Let k be a(-19). Let h = -1271 - k. Is h composite?
False
Let r(i) = -58*i**3 - 2*i**2 - 3*i. Let l be r(-1). Is (-2)/6*912/(-16)*l a prime number?
False
Let c(p) be the third derivative of 79*p**5/30 - p**4/24 - 79*p**3/6 - p**2 - 135. Is c(-10) prime?
True
Let n(x) = -8*x + 106. Let y be n(12). Suppose y*r - 99943 = -7*r. Is r a prime number?
True
Let m = 37 - 32. Suppose -3*j = -2*i + 16, -m*i + 5*j - 9 = -39. Suppose 0 = 4*w + 5*q - 19439, 0*w + w = -i*q + 4859. Is w a prime number?
True
Let x = 24385 + 1483. Suppose -3*a + q + 38785 = 0, -5*q + x = -0*a + 2*a. Is a composite?
True
Let q(m) = -146*m**3 - 21*m**2 + 37*m + 183. Is q(-10) a composite number?
True
Let h(q) = 292*q**2 + 21*q - 1058. Is h(29) composite?
True
Let c(s) = 28*s**2 + 8*s + 3. Let w be 2*1 - (-4 - (3 - -19)). Suppose -3*t = 4*t + w. Is c(t) composite?
False
Let y(v) = -13*v + 107. Let x be y(8). Suppose 5*z = -x*n + 18641, 0 = 5*z - 18 - 2. Is n a composite number?
True
Let i(x) = 6*x**3 + 7*x**2 + 27*x - 32. Let t be i(12). Suppose -5*p + 61910 = 5*s, 37884 = 4*s - 4*p - t. Is s a composite number?
True
Let l(y) = 67668*y - 1205. Is l(18) a composite number?
True
Suppose 0 = 30*y + 14*y - 4489408 - 3421836. Is y prime?
True
Suppose 14 = -q - 6*q. Let j be -1 + (q + -8)/(-5). Is (-1)/(-5) - -3954*j/5 a prime number?
False
Suppose -f + 6*y = 9*y - 7123, -2*y = 5*f - 35550. Suppose v + 8 - 10 = 0, -h + f = -5*v. Is h composite?
True
Suppose -3*b - 15668 = -4*b + 3*j, j - 78276 = -5*b. Let h = b - 4243. Is h prime?
False
Suppose -5*f + 6*f + 59261 = v, 118520 = 2*v - 3*f. Is v prime?
True
Suppose 6*t + 3*t - 54 = 0. Let h = 0 + 0. Suppose 3*z + 5*a - 1486 = h, -t*z + a - 1466 = -9*z. Is z prime?
True
Let j(u) = 9*u**2 - 4*u - 34. Suppose 10 = 2*k - 5*d, 2*k + 0 = 2*d - 2. Is j(k) a composite number?
False
Let g = 50396 + 26337. Is g prime?
True
Let j be (-42)/84*(-2 - -14). Is 5 + (432/(-7))/(j/42) composite?
True
Let v = 69544 + 1988. Suppose 5*m + v = -4*m. Let z = -1145 - m. Is z prime?
True
Is (-42)/(-21) + (-7218512)/(-16) prime?
True
Is 32 + 471960 - -26 - (10 - 1) prime?
False
Let m = -12 + 63. Su