 - 150109 = -3*y. Is s composite?
True
Let v = -9 + 19. Let t(g) = -10*g**2 - 51*g + 7. Let l be t(-5). Suppose l = 4*c, -4*s + 8*c + 282 = v*c. Is s a composite number?
True
Let k = -417 + 57. Is (-2)/(-9) + (-5883400)/k prime?
False
Suppose -10*h + 1858959 = 678107 - 897118. Is h a prime number?
True
Suppose 0 = 2*h - 4*g - 152, -2*h - 2*h = -3*g - 314. Let v(z) = -5*z - 46. Let p be v(-21). Let y = h + p. Is y a prime number?
True
Let k(d) = 642*d**2 - 2*d - 14. Let g be k(7). Suppose 4*n + 10*n - g = 0. Is n a prime number?
False
Let v(j) = -305*j**3 - 2*j**2 + j + 2. Suppose -5 = -5*o + 6*b - 3*b, b = o - 3. Let h be v(o). Let m = h + 1079. Is m a composite number?
False
Let h(d) = -2*d**2 + 40*d - 8. Let u be h(21). Let p = -44 - u. Suppose 0 = o + o - p, o = -4*x + 19447. Is x prime?
True
Suppose -5*q + 1774545 = 5*i, -16*i - 9*q = -18*i + 709840. Is i prime?
True
Let t = 222 - 217. Suppose t*q - 5527 = q - r, -r = 1. Is q a composite number?
True
Let x(s) = -3318*s + 505. Is x(-46) composite?
False
Suppose 13*g = 11*g + 24. Suppose g = 4*s - o + 5*o, 5*s + 5 = -o. Is s/8 + (-8938)/(-8) composite?
False
Let g(n) = -2514*n - 51. Let b be g(4). Let t = -1250 - b. Is t prime?
False
Suppose 0 = -4*i + 5*k + 817555, -i + 3*k + 140174 = -64206. Is i prime?
False
Suppose c + 264 = 7*c. Suppose c*i - 67192 = 36*i. Is i prime?
False
Suppose 0 = 4*o + 12, -o - 15 = 4*r - 8*r. Suppose -4*k + 4867 = -3*d, -r*k + d + 2035 = -1609. Is k composite?
False
Let w(i) = -i**3 + 12*i**2 + 9*i - 80. Let d be w(12). Suppose d*c = 42*c - 16478. Is c a prime number?
False
Suppose -5*o - 2*n = -31, 5*o = 4*n - 2*n + 19. Suppose -4 = -3*h + o. Is (-3)/h*(-1478)/2 a composite number?
False
Let o be (-4 + -2 + 97)*1. Suppose -93*r = -o*r - 4534. Is r a prime number?
True
Is (-2)/14 + 119069676/378 composite?
True
Suppose -76196 = -7*b + 103683. Is b a prime number?
False
Let q = -264740 - -397149. Is q a prime number?
True
Suppose 5*t + 135 = 2*q, t = 4*q - q - 222. Let x = q - 73. Suppose -2*l = o - 4551, -4*l + 4555 = -o + x*o. Is o prime?
True
Let t = 184941 + -79646. Suppose 72*o - t = 67*o. Is o prime?
True
Let h(u) = 1530*u**2 + 11*u - 10. Let y be h(1). Suppose -4*r + 5727 = y. Is r a prime number?
True
Let d = -47 + 49. Suppose d*v - 104 = -0*w - w, -w - 5*v = -101. Is w a prime number?
False
Let a(w) = -w**3 + w**2 - 1. Let t be a(1). Let k be 4 + t + -1 - 5/(-5). Suppose 0*o - 2386 = -3*o + 5*r, k*o = r + 2366. Is o a composite number?
False
Suppose -4620457 = 822*h - 853*h. Is h prime?
False
Let u = -14952 - 16749. Let a = -7256 - u. Is a composite?
True
Let q(c) be the third derivative of 39*c**5/4 - c**4/24 + c**3/3 + 2*c**2. Suppose 3*s + 2*b + 1 = 0, 29*s - b = 32*s - 1. Is q(s) a prime number?
False
Suppose 723822 = -12*d + 1029388 + 952238. Is d a prime number?
False
Let k(g) = -18*g + 114. Let n be k(6). Let p(u) = 353*u**2 + 34*u - 257. Is p(n) a prime number?
False
Suppose -35*s + 5166359 = 156*s. Is s a prime number?
False
Let r = 37 + -36. Let p be (-3 - -6) + (-5 - r)*2. Let m(s) = -s**3 - 6*s**2 + 10*s - 4. Is m(p) a composite number?
False
Let r = -103 + 108. Suppose -2*z + r*s = -174, s - 268 - 124 = -4*z. Let y = z - 46. Is y composite?
True
Let c = 19782 + -13268. Let n = c - 3129. Is n prime?
False
Let f = -93 + 99. Suppose -f*x + 4*x = -4. Suppose 2*y - 8586 = -x*i - 0*y, 4*i + 3*y = 17174. Is i a composite number?
True
Let x be -1 - -13070 - (-63)/(-9). Let o = x - 7359. Is o composite?
True
Suppose 86*u - 77*u - 2448 = 0. Suppose -u = 9*k - 1037. Is k prime?
False
Let d(w) = 20*w**3 - w + 2*w - 405 - w**2 + 412. Is d(3) a composite number?
False
Let a(j) = -j**2 - 13*j - 34. Let p be a(-9). Suppose p*v - 19898 = -796. Is v a composite number?
False
Suppose -c + 14337 = -2*r, c + 2*r - 11048 = 3313. Is c composite?
True
Let d be 4 + 7908/3*(-4)/(-16). Suppose -5*q = u + 657, -4*q - 4*u - d = q. Let s = 292 + q. Is s prime?
False
Let z = 101416 + 8931. Is z a prime number?
False
Let i = -14533 + 537834. Is i prime?
False
Let c = 1262 + -803. Let u = c + 20. Is u a prime number?
True
Let r = 321 + -321. Suppose -2*p + 14132 = -2*z - 3604, -4*p + 2*z + 35482 = r. Is p prime?
False
Suppose 3*f = -5 + 20. Suppose -420 = f*l + 5*l. Is 1/((-9)/21)*(3 + l) a composite number?
True
Let g be 2/4*-2*(-851 - 2). Let y = 1332 - g. Is y composite?
False
Suppose 5*n - 1592 = q - 11857, q + 5*n = 10315. Let u = -6610 + q. Let c = u - 2491. Is c prime?
False
Let b(n) be the third derivative of -53*n**4/8 + 5*n**3/6 - 69*n**2. Suppose 0 = 5*s - 2*v + 15 + 5, -4*v = 5*s - 10. Is b(s) composite?
True
Let v(j) = j**2 - 27*j - 58. Let q be v(-2). Suppose -17*o + 18*o - 697 = q. Is o a composite number?
True
Is (6 - (-200)/(-35))/(6/1680441) a prime number?
True
Is 13456/80*(3 - -2) a prime number?
False
Suppose 3*n = 5*c + 300444, n + 5*c = -0*c + 100168. Suppose n = -9*g + 704242. Is g prime?
True
Let g(f) = 191*f**3 + 8*f**2 - 17*f - 4. Let a be g(4). Let i = a - 7253. Is i composite?
True
Let f = 32 - 66. Let a = f - -38. Suppose 0 = j - a*h - 21, -20 = -2*j + j + 5*h. Is j a composite number?
True
Let d be 10968/42 + 2/(-14). Suppose 0 = -d*o + 267*o - 50118. Is o prime?
True
Let g(f) = -51*f**3 + 9*f**2 - 2*f - 1. Let u(w) = w**2 - w. Let h(m) = g(m) + 4*u(m). Is h(-6) composite?
False
Let a be 0/(-1)*(-46)/46. Suppose a = 2*j - 4126 - 5376. Is j a composite number?
False
Suppose a - 2*o = -832 + 2406, -a = o - 1565. Let t = a - 881. Is t a composite number?
True
Suppose 3*v - 3817 + 339 = -4*h, h = 3*v - 3488. Suppose -v = -4*r + 970. Is r prime?
False
Suppose -4*y = -80 + 128. Let w be 1893*(1 + y/(-9) + -2). Suppose q - 5*a - w = -107, 2006 = 4*q - 2*a. Is q a prime number?
True
Let y = 57046 + 44527. Is y prime?
True
Let r be ((-2 + -2)*13)/(2/(-8)). Let s = r - 95. Suppose -3*z + 3320 = s. Is z composite?
False
Let n be (-46)/(-14) + (-10)/35. Suppose -n*k + 7*k - 4*f = -16, 0 = -5*f + 10. Let a(b) = -622*b + 5. Is a(k) composite?
False
Let z(g) = -56*g + 154. Let u be z(-15). Let w = u + 5295. Is w composite?
True
Suppose -5*j + 37 = 27. Suppose 4*f - 432 = -j*z, 2*z = 5*f + 6*z - 537. Is f a prime number?
True
Let i(s) = 70*s**2 - 2*s + 3. Let r = -92 - -94. Suppose -r = 11*f - 10*f. Is i(f) composite?
True
Suppose -72*w = -71*w - 1053. Suppose -b - w = -5*s, -s + 4*b - 219 = -2*s. Is s prime?
True
Let m(c) = c**3 + 22*c**2 - 33*c + 29. Let a = -75 + 52. Let j be m(a). Is j + 0 + 1/1 + -3 composite?
False
Suppose 24*c + 44*c = 3*c + 4914845. Is c a prime number?
False
Let f = 171 + -167. Suppose -12*a + 59944 = -f*a. Is a prime?
False
Suppose -4*h + 1903 = -3*g, h + 12*g - 490 = 8*g. Let c = 3885 - h. Is c a composite number?
False
Let c(t) = -t**3 + 7*t**2 + 22*t + 2. Let y be c(-5). Let z(u) = -13 + 28 - 10 - 4 + y*u. Is z(7) prime?
False
Suppose -3*a + 4*a + 18627 = 2*o, -o + 9291 = 4*a. Is o a prime number?
True
Let u(r) = r**3 + 11*r**2 - 13*r - 9. Let t be u(-12). Suppose z - o - 6 = 0, 0*z = t*z + 3*o. Is (z - (-5)/(-2))*1358 a composite number?
True
Let i(h) be the first derivative of h**4/4 + 7*h**3/3 - 41*h**2/2 - 14*h - 8. Is i(13) prime?
True
Suppose 30*x - 22*x - 25568 = 0. Let f = 4653 - x. Is f prime?
False
Let f = -100482 - -157493. Is f a composite number?
True
Let a(u) = u + 8. Let p be a(-6). Let z(o) be the first derivative of 2*o**3 + o**2/2 - 773. Is z(p) a composite number?
True
Let r(n) = 310*n - 1. Let a be r(-1). Let q(z) = z**2 - 35*z - 176. Let m be q(-32). Let w = a + m. Is w composite?
False
Is ((2 - 2) + -1)*(-10 + 6 - 2547) prime?
True
Let w(z) = 934*z**3 + 5*z**2 + 5*z - 23. Let i be w(3). Suppose 12*t - 7*t - i = 0. Is t composite?
False
Suppose 3*j - 20 = 4. Let a be j/(-2) + 15 + 1. Is (1558/(-4))/((-6)/a) prime?
False
Suppose -2*t = r - 7 - 4, -13 = -5*r + 4*t. Suppose -5*h = -r*x - 11185, 3*x = -h + 3*h - 4469. Suppose 591 - h = -d. Is d a prime number?
False
Let x(h) = -3*h + 46. Let s be x(14). Suppose 5*m - 4*u - 50112 = m, s*m - 50100 = u. Is m/12 - 2/3 a composite number?
True
Let r be (-1)/4 - 10/(-120)*3. Suppose -2*a + 3*u + 17882 = r, 0*a + a + 3*u = 8941. Is a a prime number?
True
Let o(s) = 6*s + 27 - 27 + 191 + 17*s + 33*s. Is o(13) composite?
False
Is (86852*(-1)/7)/((-124)/434) a composit