Let s(o) = 4*o**2 + 3*o + 2. Let c be s(-1). Suppose 0 = 5*n - 4*n + c*n. Suppose -j - 29 + 984 = n. Is j prime?
False
Let j(v) = -11*v - 41. Let m(y) = y**2 + 12*y - 24. Let o be m(-12). Is j(o) composite?
False
Let v(j) = -12311*j - 3. Let q be v(-1). Let x = 9839 + q. Is x a prime number?
True
Suppose -2714663 = 2405*x - 2424*x. Is x a composite number?
True
Let c(i) = 4 - 6*i + 5*i**2 - 14*i**3 - 71*i**3 - 1. Let r be c(-6). Is 8/(-10) + r/55 a composite number?
False
Suppose 15*o - 5*o = 78180. Let q = o - -2771. Is q prime?
True
Let m be 75*(4/8)/(12/(-8)). Let i(l) = 7*l**2 + 15*l - 57. Is i(m) composite?
False
Let z be ((-10)/40 - 291/(-12))/2. Suppose 19268 = z*b - 85552. Is b a prime number?
False
Suppose 7143527 + 8708510 = 50*z - 506113. Is z prime?
True
Suppose d - 3*z - 13 = 0, -d = 3*d + 4*z - 4. Is 885 - (10 + d + -6) a prime number?
True
Let j(g) = -30*g**3 + 5*g**2 + 4*g + 4. Let q be j(-3). Let c = -437 + q. Suppose -2*a = -c - 764. Is a a prime number?
True
Is (6 - ((-10)/(-30) - (-33)/9)) + 627629 prime?
False
Let a(k) = -2*k**2 - 22*k + 143. Let u be a(5). Is ((-6197)/(-1))/(u - -18) a composite number?
False
Let k(y) = 78*y**2 + 19*y + 184. Is k(33) composite?
True
Is (0 + (-15700)/(-8) + -1)/((-13)/(-78)) a prime number?
False
Let o = -55699 - -89010. Is o prime?
True
Let f = -670 - -904. Suppose -2*a = 3*m - 629, m + 3*a = f - 29. Is m prime?
True
Let r be (-4)/5*(5/(-2) - 0). Suppose -2*b - 5*c = -2705, 2*b - r*c + 1355 = 3*b. Suppose -66 - b = -9*x. Is x prime?
False
Suppose -5 = -2*v + 7. Let y(g) = 727*g - 23. Let b be y(1). Suppose -b = -v*f + 274. Is f prime?
True
Suppose -197*g + 481487 = -168*g. Is g a composite number?
False
Let h = -751 + 1111. Let f(l) = 7*l**2 - 3*l - 1. Let g be f(6). Let b = h - g. Is b a composite number?
False
Suppose 0 = -4*p + 4*d, 2*p - 6*p + 3*d = -2. Suppose -406 = -4*g - 2*n + 5750, -p*n = -5*g + 7713. Is g composite?
True
Let g(p) = -2*p**2 - 9*p. Let q be g(-3). Let c(d) = -6*d - q*d + 2*d**2 + 11*d - 8 - d**2. Is c(15) a prime number?
True
Is 999/(-54)*((-5 - 1) + -8020) composite?
True
Let g(p) = 11707*p**2 - 27*p + 33. Is g(2) composite?
False
Let b = 82404 + -39667. Is b composite?
False
Let q = -354 - -695. Let b(x) = -x**3 + x + 293. Let p be b(0). Suppose -r + p + q = m, 616 = m - 5*r. Is m prime?
True
Let i(a) = -5*a - 65. Let s be i(-7). Is ((-1)/(-2))/(15/s) - -5580 prime?
False
Let h be (252/15)/6*-1960. Let k = 9999 - h. Is k composite?
True
Suppose 2*w = -4, 4*s - 8 = 3*w + w. Suppose -4*z + 7*z = s. Suppose z = -x - 4*m + 1267, -3*m + 7 = 1. Is x a prime number?
True
Suppose -t - 11447 = -5*z - 4*t, -2*z = -4*t - 4558. Suppose 4*f - 2283 = 3*f - 4*o, f + 5*o - z = 0. Is f prime?
True
Let l = -92413 - -155374. Suppose 3*f = 3*t - l - 327021, -3*t = -2*f - 389985. Is t/28 - (-3)/12 composite?
False
Suppose 23131*z = 23146*z - 3385245. Is z composite?
False
Suppose 4*s = 2*i - 655766, -4*i - 4*s = -1151620 - 159912. Is i a prime number?
False
Suppose 5*q - 861210 = -5*b, -23*b - 688958 = -27*b - 2*q. Is b a composite number?
True
Suppose 5*f = -5*p - 11880, 2*p - 7128 = 5*p - f. Let k = p + 4103. Is k composite?
True
Let n be 21/14 + 822/4. Is 5/(n/51 - 4) a prime number?
False
Let w be (7 + -3)*-1 - 8. Is (-16)/24 - 1142/w*10 prime?
False
Let q(s) = 9*s + 27*s**2 + 3 - 26*s**2 - 39360*s**3 + 6. Is q(-1) prime?
False
Suppose -2272669 = -245*r + 196*r. Is r a prime number?
True
Suppose -4*c - 3*x - 185 = 0, 6*c + 3*x = 3*c - 135. Let h be -42 + 2/(-9) + c/18. Let g = 76 - h. Is g composite?
True
Let h be 2 + (1 - (-953 - -7)). Suppose -h - 6568 = -3*n + 4*m, -5*m = -5*n + 12525. Is n a composite number?
False
Suppose -684 - 7289 = -17*b. Suppose -t + 864 = -x, -3*t - 4*x + 2130 + b = 0. Is t composite?
True
Let t = 144 + 2434. Is t a composite number?
True
Suppose -3*o + 238 = -10*o. Let a = o + 34. Is (a - -3)/1 - -436 a composite number?
False
Let n(p) = 19151*p + 44. Is n(3) a composite number?
True
Let l = 187550 + 14669. Is l a prime number?
True
Let k = -96724 + 147261. Is k prime?
False
Suppose 59*s - 39*s - 28*s = -3654296. Is s composite?
True
Let c(a) = a**3 - 17*a**2 - 17*a + 41. Let t(w) = -2*w + 32. Let j = 30 + -23. Let i be t(j). Is c(i) a prime number?
True
Suppose -38*n = 104963 - 1020984 - 22161. Is n prime?
False
Suppose t - 2*t = 2*v - 13953, 2*t - 3*v - 27899 = 0. Is t composite?
True
Let g(s) = s + 10. Let i be g(-6). Suppose -2*v = 7*c - 65295, 5*c + 3*v = -v + 46629. Suppose 4*q = 3*m - 6995, q = i*m - 2*q - c. Is m a prime number?
True
Let w = 16 - 20. Let u be -9 + 15 + -4 - (-1 - 642). Is (-2)/((-546)/u - w/5) composite?
False
Suppose -2*b - y = -7988, 32*y + 30 = 37*y. Is b a prime number?
False
Let f = -78 + 68. Is 710328/120 + 4/f a prime number?
False
Let q(m) = -3*m**3 - 39*m**2 + 8. Let h be q(-13). Let g(j) = 3*j**3 - 13*j**2 + 10*j + 13. Is g(h) composite?
False
Let n be (-3)/((0 + 1)*-1). Let k = -10664 + 10714. Suppose 352 = 3*u - y - k, -n*u + 2*y + 405 = 0. Is u a composite number?
True
Suppose -w + 3*l - 9771 = 0, -w = -0*w + 4*l + 9736. Let v = -5045 - w. Is v a composite number?
True
Let y(f) = 4 - 14*f - 10 + 5 - 5*f. Let u be (-3)/6*-2 - 3. Is y(u) prime?
True
Let u = 9222 - 5511. Is u composite?
True
Suppose 0 = -6*i - 37 - 23. Let g be (-4)/i + 18/5. Suppose 16 = -4*j, g*j + 4731 = 2*b - 275. Is b a prime number?
False
Suppose -6198664 = -122*h + 36*h - 2527410. Is h prime?
True
Let x(j) = -75*j + 34. Let f(y) = -y + 2. Let r(v) = -2*f(v) + x(v). Is r(-7) prime?
True
Let s(v) = -v**2 - 4*v + 12. Let y be s(-7). Is -2 - 18930/y - (-2)/(-6) composite?
True
Is (-1207498)/(-8)*((-648)/(-252))/(6/28) a composite number?
True
Let r(j) = -8*j - 3. Let m be r(-1). Suppose 0 = -2*a - a + 3*v + 513, m*v - 639 = -4*a. Is a prime?
False
Let h = -43 - -43. Suppose h = -31*a + 34*a - 19317. Is a composite?
True
Let b(t) = -349*t - 196 + 0 - 440*t. Is b(-5) a composite number?
True
Let s(r) be the second derivative of -r**6/24 - r**5/24 - 5*r**4/6 + 7*r. Let y(b) be the third derivative of s(b). Is y(-4) a prime number?
False
Suppose 0 = -8*v - 5188 + 16636. Let x = v - 2376. Let t = x - -1748. Is t a prime number?
False
Let d be (2 + 0 - ((-30)/(-10) + -14))*1. Let v(i) = 4*i + 33. Let k(q) = 2*q + 17. Let r(y) = -11*k(y) + 6*v(y). Is r(d) a composite number?
False
Let t = -124 + 124. Suppose 0*c = c - 14. Suppose t = r - c - 569. Is r prime?
False
Suppose 0 = 3*u + 4*o - 35371, 0 = -855*u + 851*u - 11*o + 47116. Is u prime?
True
Let r(x) = -x**2 + 8*x + 309. Let o be r(22). Suppose 4*n - n = -2004. Is 12 + -12 - (o + n) a prime number?
False
Let r(g) = 9*g**2 + 2*g + 19. Let d be (-1 + -1 - 0) + 10 + 5. Let a(s) = -s**3 + 14*s**2 - 13*s - 6. Let b be a(d). Is r(b) composite?
False
Let d(n) = -16*n**3 + 21*n**2 + 26*n - 1. Let g be d(-16). Suppose 4*p = -3*t - 27138 + g, 3*t - 43321 = 5*p. Is t a composite number?
False
Suppose 5*a - 2308 = -2*q, 0*q + 5801 = 5*q - 3*a. Is q prime?
False
Suppose 5*u - 17 = -t + 2*t, -7 = -3*u - t. Let b(k) = -2*k**u - 3 + 13*k**2 - 2*k**2 + k**3 - 3*k - 3*k. Is b(10) composite?
False
Let l = 40959 - 26458. Is l prime?
False
Is -663 - -670 - (2/(2*-1) + -410055) a composite number?
False
Let f = -32 + 29. Let w = 1 - f. Suppose -w*r + 3260 + 0 = 0. Is r composite?
True
Let c be -3*(-5)/(-60) - 1082/(-8). Let b be 122/15 + (-18)/c. Suppose b*w - 1330 = 4966. Is w a prime number?
True
Is ((-46)/(-12) - (-1540)/1848)*1393563/2 a prime number?
False
Let x(y) = -6*y**2 - 11*y + 31. Let s(m) = -6*m**2 - 10*m + 33. Let n(l) = -5*s(l) + 4*x(l). Is n(-10) prime?
True
Let w = -45 - 10. Let o = w + 59. Let u(s) = 21*s**3 - 7*s**2 + 6*s - 1. Is u(o) a prime number?
False
Is (-5)/(-45) - (-3179930)/117 prime?
True
Suppose 141*o = 147*o - 1784154. Is o a prime number?
True
Suppose -4*g = 3*k + 6, -3 = 4*g + 2*k + 5. Let t be 13*204/(-7 - g). Let r = -256 - t. Is r prime?
False
Let t(i) = i**2 + i - 38. Let n be t(7). Let w = n + -12. Is ((-3)/5)/(w/(-8130)) a prime number?
False
Let c(j) be the second derivative of 29*j**5/4 + j**4/4 + j**3/3 - 3*j**2/2 - 21*j. Let w be c(4). Is ((-3)/12)/1 - w/(-4) a prime number?
True
Suppose -93511694 = 27*x - 36*x - 269*x. Is x a composite number?
False
Let k(q) = q**3 - 8*q**