- 1917. Let i = y - m. Is i prime?
True
Suppose 18623012 = 219*v - 9645289. Is v composite?
True
Let d(k) = k**3 - 10*k**2 - 12*k + 44. Let q be d(11). Let s(u) = u - q*u - 21*u - 188*u + 51. Is s(-16) composite?
False
Suppose -5*j + 4*q = -689269, 2*j - 2*q - 125464 = 150246. Is j composite?
False
Let i(d) = d**2 - 7*d - 24. Let b(m) = m**2 + m + 1. Let v(t) = 5*b(t) + i(t). Suppose -4*a + 15 = x, -2*a - 5*x - 5 = 2*a. Is v(a) a composite number?
True
Let a(p) = -30 - 2*p + 860*p**2 + 0*p - 6*p - 11. Is a(-4) composite?
False
Let c be (-6)/(-15) - ((-81)/(-15) - 6). Is 2*2/4*c*1117 prime?
True
Suppose -3*c + 15 = 2*c. Suppose h + 7 = f, 0 = c*f - 5*h + h - 23. Suppose 2*a - f*y - 96 = 0, a - 3*y + 5 = 52. Is a a composite number?
False
Let x(h) = 6 + 69*h + 0 - 87*h + 13*h**2. Is x(7) a composite number?
True
Suppose 0 = 5*g - 197815 - 96252 - 72928. Is g prime?
False
Let o be (68/102)/((-1)/(-300)). Let b(y) = y**3 - y**2 - y - 2. Let v be b(2). Suppose -3*p - o = -4*m, 2*p + v*p + 102 = 2*m. Is m composite?
False
Let j(n) = 97*n**2 + 8*n - 4. Let a be j(8). Suppose -7*z + 2*z - 1567 = -h, z = -4*h + a. Is h a composite number?
False
Let i(g) = 14*g**2 + 74*g + 15. Let m = 205 + -183. Is i(m) a prime number?
True
Let f be (105/(-14) - -11) + (-1)/(-2). Suppose d - 11183 = -f*y - y, 5*y - 11195 = 5*d. Is y a composite number?
False
Suppose -113*y = -5*j - 108*y + 237265, y - 237265 = -5*j. Is j composite?
True
Suppose 0 = k + 14 + 10. Let s(x) = -2*x - 47. Let l be s(k). Is (l - 0/(-1)) + (2812 - 0) prime?
False
Suppose 7*m + 25496 - 65396 = 0. Suppose -5*o = -x + 2866, -3*x - 2*o - m = -5*x. Is x a prime number?
False
Let n(a) = a**2 + 17*a + 42641. Is n(0) a prime number?
True
Suppose -144*u = 586234 - 6924394. Is u a composite number?
True
Let i = -14 + 19. Suppose l = -4*s + 10, -5 - i = -l - 5*s. Let u(v) = -v**3 + 11*v**2 + 4*v - 19. Is u(l) a composite number?
True
Let g(f) = f**3 - 37*f**2 + 27*f - 52. Let u be g(27). Let q = -2732 - u. Is q composite?
False
Let p = -25 - -32. Suppose p*j = -2 + 23. Suppose -181 = -u + 4*g, -j*u + 468 = 4*g - g. Is u prime?
False
Suppose -358768 = -2*i - 3*z, -2*z + 358774 = 92*i - 90*i. Is i a prime number?
True
Suppose -5*b = 13*k - 18*k + 3800, 3035 = 4*k - 5*b. Suppose -4*z + 5*p = -1203, -2*p - 146 - k = -3*z. Is z composite?
False
Is 12/66 - (-11 - 13443804/121) composite?
True
Suppose 3*q - q - 94 = 0. Let d(y) = -2*y + q - 21*y**2 + 5*y**2 + 6*y**2 + 11*y**2. Is d(0) a composite number?
False
Let u(s) = 2005*s**2 + 37. Is u(4) composite?
False
Let k(r) = -r**3 - 9*r**2 - 10*r - 2. Let w be k(-8). Suppose 10 = -l + w. Is (l - 6)*393/(-6) composite?
False
Let p(r) = -r**3 + 2*r**2 + 5*r - 3. Let k be p(3). Suppose 0 = u - m - 0*m + 1356, -k*m - 4098 = 3*u. Let t = 2158 + u. Is t a composite number?
False
Let r(n) be the first derivative of -3/2*n**2 + 9*n**3 - 11 + 10*n. Is r(-4) prime?
False
Suppose 753*b = 748*b + 23315. Is b composite?
False
Let z(k) = 66*k - 181 - 26*k - 284 - 34. Is z(51) a composite number?
True
Let b = -20 - -22. Suppose -f + 2 = -b. Suppose -f*l + 2*l = -634. Is l prime?
True
Is (-3139875)/(-42) + (-96)/(-1344) prime?
True
Let c(v) = 15*v**3 + 7*v**2 + 383*v + 1921. Let b be c(-5). Let g = 280 + -2813. Let x = b - g. Is x prime?
True
Let y = -8540 + 39057. Is y a composite number?
False
Suppose 6*a + 11480465 = 101*a. Is a a composite number?
False
Let p be 4/(2 - 28/8)*-24. Let y = p + -67. Is (-6657)/y + 5 + -5 prime?
False
Let d be 90 + 3/(-6)*(-2 - -2). Is ((-18436)/6)/((-60)/d) prime?
False
Suppose 0 = v - 3 + 8. Let t(k) be the first derivative of 7*k**3 + 5*k**2/2 - k - 34. Is t(v) composite?
False
Let l(y) = y + 26. Suppose -3*s - 2*z = z + 39, 5*s + 53 = z. Let k be l(s). Suppose 28473 = k*o - 2742. Is o a prime number?
True
Suppose 0 = 3*o - 10 - 17. Let p(y) = 63*y**2 - 6*y + 19. Let k be p(o). Suppose 0 = -7*r + k + 1393. Is r prime?
False
Suppose -22*t = 452565 - 89851. Let p = 50442 + t. Is p composite?
True
Suppose -31*y + 8*y = 308821. Let v = -4300 - y. Is v prime?
True
Let z = -32 + 37. Suppose -46509 = -3*u - z*p, -4*u + 2*p = 4*p - 62012. Is u prime?
False
Suppose 0 = -297*i + 305*i. Suppose -44*k + 85343 + 46261 = i. Is k a prime number?
False
Let x be (363/(-9))/(1/(-6)). Suppose -9*c + x = -7*c. Suppose 756 = v + c. Is v prime?
False
Suppose 0*q - 5*q = 2*i - 39, 2*i + 6 = 4*q. Suppose -i*o = -8*o + 2. Suppose o*n + 3*k = -k + 378, -2*k - 575 = -3*n. Is n a composite number?
False
Let h = -164 + 166. Let t(w) = 325*w**3 - 5*w**2 + 3*w - 5. Is t(h) composite?
True
Suppose -z + 3*z = 5*b - 1, 0 = 2*b + 5*z - 12. Is 4911*(b - -5)/6 a prime number?
False
Let p(f) be the second derivative of f**5/15 + 5*f**4/6 - 11*f**3/6 - 5*f**2 + 14*f. Let t(w) be the first derivative of p(w). Is t(15) a prime number?
False
Let g(s) = 47759*s + 6160. Is g(9) prime?
False
Let a be (-1)/(1/6) - 0. Let c(w) be the second derivative of -w**5/5 - w**4 + 4*w**3/3 - 3*w**2/2 - 65*w. Is c(a) a prime number?
False
Suppose -8*o - 10490 = -9*o. Suppose 5*s - 3*x - o = 0, -5*s + 10480 = -2*x - 3*x. Is s composite?
True
Let l(p) be the first derivative of -368*p**3/3 + 3*p**2/2 + 8*p + 19. Let d(m) be the first derivative of l(m). Is d(-1) a composite number?
False
Let d = 176 - 193. Let l(p) be the third derivative of -p**6/120 - 4*p**5/15 - 35*p**4/24 - 25*p**3/6 + 16*p**2. Is l(d) prime?
True
Let j(s) = 381736*s**2 + 461*s - 460. Is j(1) a prime number?
True
Let c be 60/45 + (-14966)/6. Let x = c + 4803. Suppose 2*b = t - 30 + x, 5*t = -2*b + 2292. Is b a prime number?
False
Let p be 4/18 - 146192/144. Let f = 2945 + p. Suppose 3*k = -3*r + 735 + 393, -5*k = -5*r - f. Is k a composite number?
True
Suppose -3*s + 2*t = -50822, -5*s + 3*t = 9653 - 94357. Suppose 11*g - s = 62621. Is g a prime number?
False
Suppose -2*b + 4*n + 21220 = -26310, -4*b = 4*n - 95024. Suppose 15*p + 7094 = b. Is p prime?
False
Let p be 2 + 14 - 2 - 1*-2. Suppose 3*y - 21*k + p*k - 31757 = 0, -y - 4*k + 10597 = 0. Is y a prime number?
True
Let o(n) = -2*n**2 - 5*n - 7. Let x(m) = -m**2 - 2*m - 3. Let w(t) = -4*o(t) + 9*x(t). Let r be w(1). Suppose a - 2*a + 3831 = r*c, 4*a = 4. Is c composite?
True
Suppose -v = -2 + 6, -3*v = -2*g + 22. Let q(z) = -z**2 + 41*z + 26. Let k be q(38). Suppose k = g*x - x. Is x prime?
False
Suppose 119*p = -27*p + 1874786. Is p composite?
False
Let v(o) be the second derivative of -o**3/2 - 21*o**2/2 + 24*o. Let j be v(-7). Suppose -4*a + 18*a - 21602 = j. Is a a composite number?
False
Suppose -3*h = -4*g + 1627168, g - 361863 = 3*h + 44938. Is g a composite number?
False
Let b(w) = 5*w + 4. Let n be b(4). Suppose n*i - 36*i + 40620 = 0. Is i composite?
True
Let j(c) = 70*c**3 + 8*c**2 - c + 19. Let k = 144 + -138. Is j(k) composite?
True
Suppose 0 = -3*c - 4*h + 19, c + 2*h + 3*h - 10 = 0. Is c/10 - -155*(-492)/(-8) a prime number?
True
Let t be (-6)/(-5 + (-126)/(-24)). Let a = -66 + 196. Let i = a + t. Is i prime?
False
Suppose -4 = d, -2*d + 5*d = -4*z + 237856. Is z composite?
False
Let j(a) = -10*a - 1. Let v be j(1). Let y(l) = 45*l + 26. Let w(o) = 89*o + 52. Let q(p) = v*y(p) + 6*w(p). Is q(15) prime?
False
Let g = 0 - 4. Let r be ((-3)/6)/(g/40). Suppose -4*w + 12 = -w, -3*b - r*w = -5927. Is b a composite number?
True
Let t(c) = -140*c - 15*c + 31*c - 37. Is t(-6) a composite number?
True
Let i(k) = -k**3 - 8*k**2 - 16*k - 8. Let x be i(-6). Let o(w) = w**2 - 17*w + 22. Let r be o(x). Is ((-5889)/(-26))/(r/20) prime?
False
Let v(k) = 537*k**2 - 31*k + 33. Is v(4) prime?
True
Let r(o) = 37176*o + 89. Is r(35) a composite number?
False
Let p = 369824 - 71425. Is p a prime number?
True
Suppose -3*w + 2 = -2*u, 5*u = w + 8 - 0. Suppose 3*z - 14913 = -2*i, w*z + 22368 = 3*i + 7*z. Suppose -i = -6*a + 10317. Is a a composite number?
False
Let r(k) = 18*k**3 - k**2 + 3*k - 2. Let n be r(1). Suppose -5*o + 3*y + 14 + n = 0, 3*o = -4*y + 25. Is (10/4)/(o/98) a prime number?
False
Let u(y) = -3005*y**2 + 26*y - 62. Let d(i) = 9015*i**2 - 80*i + 185. Let b(r) = -2*d(r) - 7*u(r). Is b(3) prime?
True
Let t = 533604 + -360511. Is t composite?
True
Let d be (-1)/5 - (410/(-50) + 5). Let i(v) = v**3 + 8*v**2. Let l be i(-8). Suppose l = -0*t + d*t - 2589. Is t composite?
