-2))/((-2)/s) composite?
False
Suppose 14*c - 4*c = 3340. Suppose j - 2757 = c. Is j a composite number?
True
Let r(i) = -175*i**3 - i**2 + 38*i + 119. Is r(-3) composite?
False
Let z(w) = -w**2 - 5*w + 1. Let d be z(-7). Let q be (-2)/(-6)*(d - -19). Suppose -119 - 159 = -q*b. Is b prime?
True
Let f(b) = 3*b**3 + 5*b**2 - b - 7. Let p be f(3). Suppose 17021 = -114*w + p*w + k, 2*w = 5*k + 17003. Is w a prime number?
False
Suppose -3*m + 5 = 2*k, -442*m = -441*m + 2*k + 5. Let t be 3*(0 - -9838)/2. Suppose t - 5045 = 5*z - 2*d, 0 = -3*z - m*d + 5821. Is z prime?
False
Let n(k) = 19*k**2 - 2*k + 13. Let c be n(12). Suppose 3*r - 4*h - c = 0, -9*h + 5*h + 8 = 0. Is r a prime number?
True
Is 2129*(2/4)/((-5)/(-230)) a prime number?
False
Suppose -5*y = -21 + 1. Suppose -3*v - 3*m - 1837 = -7*v, y*m + 12 = 0. Is v composite?
False
Let n = 795427 - 335678. Is n prime?
True
Suppose 0 = -k + 5*f + 158272, -3*k + 6*f - 4*f + 474777 = 0. Is k prime?
False
Let y(j) be the second derivative of 148*j**3/3 + 67*j**2/2 - 91*j. Is y(6) prime?
False
Suppose -148*v + 25*v = -58187487. Is v a prime number?
False
Is 1 + (-23668490)/(-18) + -29 + 5720/198 composite?
False
Let d(n) = n + 15. Let o be d(-10). Let t be 13148*4/20*o. Is (-4)/(-22) + t/44 prime?
False
Let f = 69242 + -25573. Is f a composite number?
False
Let t(d) = 2*d - 3. Let s be t(7). Suppose 0 = -w - n + 103, 3*w - 301 = -n + 6*n. Let g = s + w. Is g a composite number?
False
Let v be -4 - (-11)/(55/(-140)). Let m = v + 14. Is (-52535)/(-171) + 4/m a prime number?
True
Let v(w) = -6*w**2 - w + 17. Let f(q) = -6*q**2 + 16. Let z(j) = 2*f(j) - 3*v(j). Let o be z(9). Let c = o - 205. Is c a prime number?
False
Let j = -946409 + 1371294. Is j a prime number?
False
Suppose 4*a = 3*r + 2*r - 156781, a = 3*r - 94070. Is r a composite number?
False
Let b(w) = 20*w + 15 - 2*w**2 - 3*w**2 + 4*w**2 - 6*w. Let r be b(15). Is 0 + 3 + r - -108 prime?
False
Let x be (4/8)/(4/72). Suppose 2*b + 3 = -4*l - x, b - 5*l - 29 = 0. Suppose 3*a = z + 903, -2*a + b*z + z + 602 = 0. Is a a prime number?
False
Let s(c) = -30*c + 13. Let y be s(9). Suppose -2*u - 70 = -m + 41, 0 = -4*u + 5*m - 231. Let t = u - y. Is t prime?
False
Let c be 4/(-14) + (-6141)/(-7). Let b = -1170 + 628. Let j = b + c. Is j composite?
True
Let n(w) = 16*w - 9. Let d(l) = -6*l - 16. Let i be d(-4). Let c be n(i). Suppose -2*s - c = -649. Is s composite?
True
Suppose 73511 = -k + 319668. Is k composite?
True
Let q = 2094 - 188. Suppose 8*j - q = 6*j. Is j prime?
True
Let n(u) = 2742*u**2 - 22*u + 13. Is n(6) a composite number?
True
Let k(f) = 11972*f - 315. Is k(8) composite?
False
Let g = -907 - 8740. Let r = g - -19746. Is r prime?
True
Suppose 0 = -77*d - 72*d + 139*d + 930390. Is d composite?
True
Let d = 49 - 47. Suppose 0 = n + d, -2*n = -z - 4*z + 14. Is 41063/77 - z*(-1)/(-7) a prime number?
False
Let b(x) = 5*x**2 + 32*x + 98. Let c be 162/12*-2 - (-6 - -1). Is b(c) composite?
True
Is (-9838734)/(-20) - ((-18)/16)/((-150)/(-40)) a composite number?
True
Let w(m) = 2*m**2 + 2*m - 24. Let i be w(3). Suppose i = 14*n - 22759 - 1503. Is n a composite number?
False
Suppose -2*k + 48 + 28 = 0. Let g = k + -38. Suppose g = -n + 65 + 62. Is n prime?
True
Suppose -3*l + 82 = 55. Suppose -2495 - 4444 = -l*n. Is n a composite number?
True
Let m(w) = 1778*w**2 + 2*w. Let g be m(-2). Suppose -70*k - g = -74*k. Is k prime?
True
Let a = -6900 + 3596. Let q = a + 5457. Is q composite?
False
Suppose 0 = 12*m + 5274 - 56166. Is m composite?
False
Is 3704444/16 - (-530)/424 composite?
False
Let n(b) = b + 1. Let j(y) = -10. Let k(m) = 3*j(m) + 6*n(m). Let l be k(8). Is 1728 - 6/(l/(-20)) a prime number?
True
Let u(f) = f**3 - 9*f**2 - 10*f - 1. Let w be u(10). Let n be w/((-12)/(-7592))*18/(-12). Let y = -656 + n. Is y a prime number?
True
Let b(s) = -s**3 + 41*s**2 - 39*s + 64. Let n be b(29). Let k = n - -1318. Is k composite?
False
Suppose -17 = -5*y + 5*j + 8, 5*y - j = 37. Suppose y*t - 114830 + 28582 = 0. Is t a prime number?
True
Let b be 43761*(-38)/5 - 10/25. Is (-8)/36 + b/(-72) prime?
False
Suppose c - 13*c = -199615 - 1359629. Is c prime?
True
Let c = -1854 - 3612. Let s = c + 13977. Is s a composite number?
True
Let r be -13 - (14/8 - (-1)/4). Let h be (-12)/90 - 9077/r. Let p = 444 + h. Is p prime?
True
Suppose 29*s - 30*s = -1448. Let o(t) = 64*t + 21. Let b be o(10). Let r = s - b. Is r a composite number?
False
Let a = 1253 - 1922. Let u = -116 - a. Is u a prime number?
False
Let b(y) = 2*y + 15. Let z be b(-5). Suppose 2*o + 3*o = -4*f + 95597, -z*f + 5*o + 119440 = 0. Is f prime?
True
Let d = 1160 + -546. Suppose 23*r = 21*r + d. Is r prime?
True
Let j = -43228 + 89709. Is j a composite number?
True
Suppose 47*w + 5058821 = 118*w. Is w prime?
False
Let a(o) = -o**2 - 18*o - 14. Let x be a(-17). Suppose -r - 5 = -0*r, 0 = -x*f + 2*r + 28. Suppose -4*l = 2*s - 346, 5*s - 853 = -f*l + 2*l. Is s composite?
True
Let k = -9024 + 17063. Is k a composite number?
False
Suppose 3*z = 26 + 10. Let l be z/(-36) + (0 - 2/(-6)). Suppose 0*a + 2*n = -4*a + 712, l = -3*a + 5*n + 521. Is a a composite number?
True
Let b be (-2)/(12/(-42)) - 6. Is (b/(-4))/(5/(-589080)*6) prime?
True
Suppose 4*g + p = 6*p + 76, 0 = -5*g - 4*p + 54. Suppose 0 = 15*q - g*q + 44. Is (-6750)/(-22) - 8/q a prime number?
True
Let x = -283 + 283. Suppose x = -3*m - r + 10298, -4*m = 41*r - 46*r - 13737. Is m a prime number?
True
Let x(y) = 9248*y + 3071. Is x(6) prime?
False
Let x(u) = -2*u - 10. Let y be x(-7). Let t(j) = -j**2 + j + 3. Let b(v) = -76*v**2 + v - 7. Let n(p) = -b(p) + 2*t(p). Is n(y) composite?
False
Let i = 472 + -558. Let g = i - -2415. Is g a prime number?
False
Let a be (21/(-9))/((-21)/210 - 14/60). Let x(r) be the first derivative of 43*r**2 + 39*r - 1. Is x(a) a prime number?
True
Let g = 260 - 143. Let r be g/6*(-20)/(-12)*-16. Let t = 1391 + r. Is t a composite number?
True
Let z be (-48)/(-64) + 5/4. Suppose 15 = -z*f + 7*f. Suppose 0 = 5*x + 3*u - 200, -4*x - f*u - 38 = -201. Is x a prime number?
True
Let i be (-1 + 93)*1650/(-44). Is (15 - 7) + -1 - i composite?
False
Suppose z = -11*z - 120. Let t(s) = -6*s**3 - 3*s**2 + 11*s - 12. Is t(z) a prime number?
False
Let f = 617 + -386. Let j = f - 1930. Let c = -982 - j. Is c a prime number?
False
Let g(y) be the first derivative of -y**4/2 - 2*y**3 + 5*y**2/2 + 31*y + 25. Is g(-16) a composite number?
False
Suppose -32 = 18*u + 4. Let o(h) = 2803*h**2 - 2*h - 19. Is o(u) prime?
True
Suppose -3*o - 4*q + 20147 = 0, 0 = 2*o + 2*q - 4*q - 13408. Suppose -j + 4*w + 2245 = 0, -w = -5*j + 8*j - o. Is j a prime number?
True
Let j = 397 - 392. Suppose -4*w + w + 3*z = -1419, -j*z = 3*w - 1387. Is w prime?
False
Let h(q) be the second derivative of 40*q**4 + 83*q**3/6 + q**2 - 37*q + 2. Is h(-11) a prime number?
False
Let q = 24 - 7. Suppose q*d - 7*d = -50. Let o(b) = -222*b + 7. Is o(d) a composite number?
False
Suppose 9*q - 5*z = 7*q + 66133, 4*q + z - 132189 = 0. Is q a prime number?
True
Let o = 30099 + -58477. Let v = -20072 - o. Is v a prime number?
False
Let v(z) = z**2 + 5*z - 9. Let n be v(-7). Suppose 0 = -n*b + 9315 + 8400. Is b a composite number?
True
Suppose 84099 = -13*p - 4*p. Let q = p + 8569. Is q composite?
True
Let m(r) = -2*r - 4. Let o be m(-3). Let i(x) = -x**3 + 41*x**2 - 12*x - 49. Let g be i(-8). Suppose k - g = -o*k. Is k composite?
False
Let c(q) = 23*q + 38. Let w be c(8). Suppose -2*b = -w - 620. Suppose v - g - 425 = 2*g, v - b = g. Is v prime?
True
Is (26472 + (-1)/(-1))/(246 - 245) prime?
False
Let w(q) = -q + 1. Let y(v) = -600*v + 5. Let c = -60 - -54. Let j(d) = c*w(d) + y(d). Is j(-2) composite?
False
Suppose -6*f = -3*f + 3*z - 69, -f + 3*z + 15 = 0. Is (51/(-6))/(f/(-4242)) a composite number?
True
Is ((-24)/30 - -2 - (-55)/(-25)) + 31272 composite?
False
Suppose 582773 - 2049541 - 2024345 = -47*q. Is q composite?
False
Let d(r) = -15*r**3 - r**2 + 10*r - 22. Let a be d(-7). Is a/10 - 21/15 a prime number?
True
Suppose -126 = 8*j - 158. Suppose 0 = j*g - 2776 - 672. Is g composite?
True
Let w(k) = -4*k + 44. Let n be w(-16). Suppose 4*q = 4*y + 4080, 5*q + 3*y - n - 4984 = 0. Is q a composite number?
False
Is (-2432)/256*(-20715 - -1) a composite number?
True
Let 