True
Let n be 7*(-1)/(14/12). Let v(o) = -18*o - 530. Let b be v(-29). Is (-1940)/n - b/(-24) a composite number?
True
Suppose 96*a - 39939 = -z + 98*a, -3*z + 2*a + 119825 = 0. Is z a prime number?
False
Let g be -42*(17 + -18 + (-3)/(-2)). Let l(k) = -62*k + 25. Is l(g) a prime number?
True
Let j(c) = 87*c**2 + 45*c + 1271. Is j(-32) a composite number?
False
Suppose -17031*n = -17008*n - 7468583. Is n a prime number?
False
Suppose 71826607 = 110*y - 120286083. Is y prime?
False
Let s(x) = 109*x**2 - 120*x - 4187. Is s(-28) a prime number?
True
Suppose -6*u + 10*u - 4 = 0, 2*u - 394793 = -3*j. Is j a prime number?
False
Let g = -482 - -446. Let d = -20 - -8. Is (2321/3)/(d/g) prime?
False
Let a = 1008160 + -548457. Is a a prime number?
True
Suppose -2*o - 5*j - 10 = 9, -3*o + j + 14 = 0. Suppose -o*n - 3*z + 9961 = -45086, -z = -5*n + 91733. Is n a composite number?
True
Suppose -3*b + 3*c - 6 = 0, 5*b - 12*c + 9*c + 2 = 0. Suppose 0 = -5*p + 4*n + 21249, -b*p + 2*n = -0*p - 8498. Is p a prime number?
True
Let b(k) = 100*k + 1. Let o be 18 + (3/4 - 9/12). Is b(o) prime?
True
Let h(q) = q**3 + 3*q**2 - 11*q + 7. Let u be h(-5). Is 6*335/u*2 a composite number?
True
Suppose -4*g - n + 8865 = 0, g = -0*g - 4*n + 2205. Let f = -1568 + g. Is f prime?
False
Let w = -10544 - -36285. Is w a prime number?
True
Let i = -40 - -28. Let z(b) be the second derivative of -5*b**3/3 - 13*b**2 + 3*b + 141. Is z(i) composite?
True
Let v be (-6)/15 - (-68)/20. Suppose -6*i = v - 33. Suppose 4*r - 114 = -c - r, 670 = i*c + 5*r. Is c a prime number?
True
Let n(u) = -24*u + 26. Let k be n(9). Is 3803 + ((-38)/k - 6/5) composite?
True
Let i(m) = m**2 - 2*m + 8. Let n(g) = -g**2 + 7*g. Let w be n(10). Let s be (-18)/(-135) + 154/w. Is i(s) composite?
False
Let x(r) = 3*r - 28. Let f be x(9). Let d be (-199*3/f)/1. Let b = d + -158. Is b a prime number?
True
Let x be -4 + (3 - -3) - -325. Suppose -x = 16*q + 521. Let d = 96 + q. Is d composite?
False
Let x = 143102 - 43531. Is x a composite number?
False
Let l(h) = 28*h**2 - 307*h + 102. Is l(-85) prime?
False
Suppose -108586585 = 611*h - 756*h. Is h a composite number?
True
Let n(x) = x**3 + 10*x**2 + 3*x - 13. Let c be n(-10). Let q = c - -41. Let s(j) = 351*j**2 + 4*j + 5. Is s(q) prime?
False
Let g = -220360 + 421167. Is g a composite number?
False
Let x(f) = -911*f + 50. Let s be x(-18). Suppose -2*w + 0*i + 5*i + 8242 = 0, -4*w + i + s = 0. Is w a prime number?
True
Let v = -387 - -391. Suppose -26*g + 98714 = -v*g. Is g a composite number?
True
Suppose -487892 + 1420504 + 1610893 = 15*n. Is n a composite number?
False
Suppose 0 = -t - 9*t + 20. Suppose t*i + 9*q = 8*q + 24160, -2*q = 2*i - 24162. Is i a composite number?
True
Suppose 7*t - 4068 = 4*t - 3*g, -3*t = 5*g - 4058. Let x = -483 + t. Is x a prime number?
False
Let q = 45 + -42. Suppose f + 3*v - 14 + 9 = 0, -13 = f - q*v. Let w(d) = 168*d**2 - 8*d - 19. Is w(f) a composite number?
True
Is (-622547)/((33 - 18) + -16) a prime number?
True
Let o(z) = 22*z**2 + 19*z**2 - 7*z - 22 + 28. Let w be o(-4). Let i = w + -416. Is i a composite number?
True
Suppose 63*w - 1868 = 59*w. Let y(h) = 86 + w*h - 104 + 29 + 46. Is y(8) a composite number?
False
Let a = 1990304 + -1394790. Is a a prime number?
False
Suppose 3*z - 2*z - 6 = 0. Suppose -q + 4*k = -2217, 2*q - 4434 = -z*k + 3*k. Let y = -1490 + q. Is y a prime number?
True
Let u = 536541 - 377884. Is u a composite number?
False
Suppose -4*f = 28, -3*f + 24243 = 2*y + 6546. Is y a composite number?
True
Suppose 11850 = 4*r + r + 5*k, 5*r - 2*k - 11850 = 0. Suppose 0 = 84*i - 79*i - r. Suppose 4*c - 1790 = -i. Is c a prime number?
False
Suppose 11 = 4*q + n + 4, 2*n + 16 = 2*q. Suppose -3*v - 5*s = -6*v + 6522, -v + 2170 = -q*s. Is v prime?
True
Let v = -539 - -184. Let k = v + 4298. Is k a prime number?
True
Let a(o) = 2*o**2 - 33*o - 367. Let w be a(-12). Let s(q) = q**2 - 4*q - 3. Let t be s(5). Suppose 4*m = -5*n + 2003, w = -t*m + 4*n + 1325. Is m composite?
True
Let g = -776 - -779. Suppose 4 = 4*f - 2*f. Suppose -b + 1051 = 5*m, -g*m + f*b = -3*b - 653. Is m prime?
True
Let n = 367 + -367. Suppose j - 7214 - 1573 = -4*b, n = -3*j - 5*b + 26389. Is j a composite number?
False
Let u(q) = -217*q**2 - 3. Let l(a) = -1086*a**2 - a - 15. Let w(m) = 2*l(m) - 11*u(m). Let d be (-3)/(-4) + (-145)/(-116). Is w(d) composite?
False
Let r(v) = 11*v**2 - 8*v - 41. Let s(m) = -2. Let h(x) = r(x) - 3*s(x). Is h(-6) a prime number?
True
Suppose 144 = 26*d + 40. Suppose h + 4*y - 5147 = 0, -2*h + 0*h = d*y - 10290. Is h a composite number?
True
Let z(b) = 234*b - 1. Let c be z(9). Let m = c + -1043. Suppose m + 3842 = 8*f. Is f composite?
False
Suppose 19*d - 784 = 18*d. Let m = 193 - d. Let w = m - -830. Is w composite?
False
Let o be ((-832)/(-30) + 4/6)*-190. Let w = o - -13467. Is w prime?
False
Suppose 83*l + 37785 = 298654. Is l composite?
True
Suppose 4*n - 5*n = -5*d + 986, 8 = 4*d. Let i = -329 - n. Is i composite?
False
Suppose -o = -2*f - 12, 5*o = 4*f - 3*f + 6. Let d(v) = 3*v**3 - 8*v**2 - 7 - 5*v - 2*v**3 - 3*v**3. Is d(f) a prime number?
True
Suppose -3*s = -4*y - 61474, s + 54*y = 50*y + 20470. Is s a composite number?
True
Let q(v) = 1131*v**2 + v + 29. Is q(6) prime?
True
Let n(t) = -1248*t - 1. Let r(c) = 1242*c + 1. Let f(d) = -4*n(d) - 5*r(d). Is f(-2) a composite number?
True
Suppose -3829548 - 4954061 = -5*u - 4*a, 0 = -2*u + a + 3513441. Is u prime?
False
Let y be (-30)/(-3) - 4 - 4. Suppose -2*h + 8 = 0, y*b + 2*b + 5*h = -912. Let g = -12 - b. Is g a prime number?
False
Let q = 13574 + -3043. Is q a composite number?
False
Let s be 6/(-12) + ((-6131)/2)/(-1). Let x be (0 + 20)*(-9)/(-2). Suppose 0 = 5*k - x - s. Is k composite?
False
Let p = -53978 - -98223. Is p prime?
False
Let u = -25282 + 52179. Is u composite?
True
Let b = 321826 - 128543. Is b composite?
False
Let f(v) = 113*v + 5*v**2 - 93*v + 38 - 50*v - 2*v**2. Is f(11) a composite number?
False
Let d = 121 - 113. Let p(j) = 6*j**3 + 15*j**2 - 22*j - 23. Is p(d) prime?
True
Suppose 2*a - 4*d - 114 = 0, 233 = -a + 6*a + 3*d. Suppose -45*k = -a*k + 2492. Is k a prime number?
False
Let u(z) = -7016*z - 373. Is u(-6) a composite number?
True
Suppose 0 = 5*x - 5*q - 5, 0*q + q - 7 = -x. Suppose 8411 - 30415 = -x*c. Is c a prime number?
True
Let v be ((4857*1)/(-3))/(33 + -32). Is v/4*(-1 - 18/6) a composite number?
False
Let p(u) be the first derivative of 43*u**7/280 + u**6/180 + u**5/60 - u**4/24 + 10*u**3 - 31. Let x(d) be the third derivative of p(d). Is x(2) composite?
True
Let r = -29422 + 41603. Suppose -2*a - 5*j + r = 1530, 4*j = 2*a - 10678. Is a a prime number?
True
Let y = 1575128 - 786463. Is y a prime number?
False
Let o be 606/(-15) - -3*2/15. Let a = o - -44. Suppose -a*d + 6*d - 2534 = -4*k, -5*d = 4*k - 2525. Is k a composite number?
True
Let j(a) = 14*a - 2*a - 2*a - 1 + 2 + a**3. Let k be j(-9). Is (k/8)/((-18)/72) composite?
False
Suppose i + 3*g - 3 = 7, 0 = -2*i - 2*g + 12. Let t(y) = 6*y**3 - 3*y**2 - 5*y - 9. Is t(i) a composite number?
False
Let g(b) = -5*b + 11 + 9*b - 6*b. Let f be g(4). Suppose f*y = 135 + 4566. Is y prime?
True
Let b = 30877 - -9052. Is b prime?
True
Let k(j) be the third derivative of 0*j + 87/8*j**4 + 0 - 2*j**3 - 15*j**2. Is k(5) a prime number?
False
Suppose -4*m - 7 = -2*t + 13, -5*m - 20 = 0. Suppose -5*l = -t*b - 16025, -2*l - 3178 = -3*l - 5*b. Is l prime?
True
Let u = -12767 - -18724. Let q = -7596 - -7600. Suppose -3*p + u = q*p. Is p composite?
True
Let n(p) = -p**2 - p + p + 10*p + 59 - 217*p**3 - 25 + 5*p. Is n(-3) a prime number?
True
Let h(f) = -3*f**3 + 3*f**2 + 23*f - 76. Let m(x) = -8*x**3 + 5*x**2 + 45*x - 153. Let i(o) = 7*h(o) - 3*m(o). Is i(18) a composite number?
True
Let o(h) = -h**3 + 62*h**2 + 8*h - 43. Is o(20) a composite number?
True
Suppose -8*m + 23829510 = 19*m + 3*m. Is m a prime number?
False
Let l = -114 - -127. Let h(c) = 578*c - 37. Is h(l) prime?
True
Let a = -8544 - -95699. Is a composite?
True
Suppose 5*t + 3*h - 4919971 = 0, -t - 3*h + 995940 - 11941 = 0. Is t a prime number?
True
Let n = -144833 + 377166. Is n composite?
False
Let f(c) = 2*c**3 - 12*c**2 + 56*c - 89. Is f(37) a prime number?
True
Let u = -11 + 14. Suppose 0 = 2*o + u*a - 761, -5*o 