47*v - 1553223 = 31*v + 2521321. Is v prime?
True
Let j = 16091 - 3856. Suppose -9297 = -4*w + j. Is w a composite number?
True
Let h(n) = 3*n**2 + 4*n + 23. Let k(p) = p**3 + 5*p**2 - 4*p - 9. Let s be k(-5). Let u be h(s). Let b = u + -107. Is b composite?
True
Suppose 104*p - 125*p = -2500197. Is p a composite number?
False
Let x(k) = -13*k**3 - 11*k**2 - 3*k + 46. Suppose -20*w + 31*w + 165 = 0. Is x(w) a prime number?
True
Let g be (-1)/(-2)*(-11)/(-33)*-6. Is g + -4 + (-6)/9*-2463 prime?
True
Let x = 1265878 - 772013. Is x a composite number?
True
Suppose 7*b - 143345 - 176422 = 0. Is 3/(27/b) + (-24)/(-18) prime?
True
Let s(x) = -1102*x + 82. Let o be s(-18). Suppose -o - 25418 = -12*h. Is h composite?
True
Let c(v) = -v**2 + 12*v + 6. Let o be c(12). Let p be o*2/5*10. Is 71/3*(p - 3) composite?
True
Let b(d) = -8*d**3 - d**2 + 6*d + 7. Suppose 2*s + 16 = -4*z, 0*z - 23 = s + 5*z. Suppose -13 = s*m - 1. Is b(m) composite?
False
Suppose -401*r + 792*r - 416*r + 3954075 = 0. Is r a composite number?
True
Suppose 4*v = 3*r - 26, 0 = 5*r + 5*v - 3*v. Let u(p) = p**3 + 3*p + 2. Let h be u(r). Suppose -3*k + 1477 = 5*q, 0 = -10*k + 6*k + h. Is q a composite number?
False
Let j(x) be the first derivative of x**3/3 + 3*x**2/2 + 1794*x + 13. Let u be j(0). Suppose 5*r + 5*i + u - 11514 = 0, -2*r - 3*i + 3883 = 0. Is r composite?
False
Let l(o) = -193*o + 93. Let g be 3*(-1 + 2)*144/(-54). Is l(g) prime?
True
Let d(y) = -1476*y**2 + 8*y - 5. Let p(t) = -984*t**2 + 5*t - 3. Suppose 0 = -4*j + 3*j + 5. Let z(s) = j*d(s) - 8*p(s). Is z(-1) a composite number?
False
Let v be ((-6)/4)/(89/(-178)). Suppose -5*y = -4*r + 20276, 4*r - 6*y - 20276 = -v*y. Is r prime?
False
Let p(n) = -n**2 - 17*n - 38. Let h be p(-14). Suppose 9*l - 7112 = -4*s + h*l, -3*l - 5361 = -3*s. Is s prime?
True
Let m(v) = 14*v**3 + 859*v**2 - 84*v + 77. Is m(-60) a composite number?
False
Let a = 1054427 + -473496. Is a prime?
False
Let l = 7 - 114. Let q = l + 421. Is (0 + -8)*q/(-8) prime?
False
Suppose 0 = -3*o + a + 22, 3*a = 1 - 4. Let n be 0/((o/14)/((-2)/4)). Suppose 5*s = -3*k + 1180, n = 2*k - 3*k - 5. Is s a prime number?
True
Suppose x - 749 + 745 = 0. Suppose -4*b - 483 = k - 2526, x*b - 8220 = -4*k. Is k a composite number?
True
Let j(o) = -o**3 + 10*o**2 - 4*o - 31. Let d be j(9). Suppose -d*y + 42293 + 27077 = 0. Is y a prime number?
False
Suppose -10*p + 1364 = -86. Let j = 244 + p. Is j composite?
False
Let w(u) = -439*u - 84. Let v be w(-8). Suppose 9828 = 8*q - v. Is q a prime number?
True
Let n(f) be the first derivative of 9*f**2/2 + 16*f - 1. Let a be 480/288 - (-34)/3. Is n(a) prime?
False
Suppose 17*s + 97509416 = 153*s. Is s a composite number?
False
Let k(c) be the second derivative of 20*c + 0 - 1/2*c**2 + 97/3*c**3. Is k(6) a prime number?
True
Suppose -163*b - 1396236 = -12218947. Is b prime?
False
Let n(o) = -o**3 - 52*o**2 - 15*o + 617. Is n(-70) composite?
False
Let g = 63 + -41. Suppose -g + 4 = -3*x. Let q(v) = 6*v**2 + 9*v - 21. Is q(x) a prime number?
False
Suppose 40*b - 41*b = -5*k + 254457, -b - 2 = 0. Is k composite?
False
Let g = -46 + 44. Let c be 3 - (g - (2 + -1)). Suppose -c*v + 1160 + 1294 = 0. Is v composite?
False
Suppose 32*s - 26*s = 30. Suppose 2*q = 4*b - 24, -s*b = -q + 6*q. Suppose -3*v - 5*t + 4233 - 1065 = 0, 0 = -3*v - b*t + 3171. Is v prime?
True
Suppose 342*v - 344*v = 2*y - 714250, -3*y + 714244 = 2*v. Is v composite?
False
Let n = 10 + -5. Let a(s) = 4*s**3 - 5 + 979585*s - 979580*s - 3*s**2 - 2*s**2. Is a(n) composite?
True
Let o(h) = -h**3 - h. Let b(r) = -4*r**3 + 5*r**2 - 9*r + 3. Let q(a) = a**3 - 7*a**2 + 6*a + 2. Let s be q(6). Let x(m) = s*o(m) - b(m). Is x(6) composite?
True
Let k(n) = -n**3 + 35*n**2 - 33*n - 28. Suppose -4*i = 9*i + 533. Let d = 74 + i. Is k(d) prime?
True
Let u(o) = 92782*o**3 - 9*o**2 + 5*o + 1. Is u(1) a composite number?
False
Let k = 2819 + -425. Suppose -m = f - k, -5 + 3 = 2*f. Is m composite?
True
Let z = 648136 - 443015. Is z a prime number?
False
Suppose -69*s + 71*s = 0. Suppose -5*x + y = -8263 - 14530, 3*x - 3*y - 13671 = s. Is x a composite number?
True
Suppose -1258*i + 5776295 = -1223*i. Is i a composite number?
False
Suppose -7*j + 18 = -j. Suppose -7896 = j*m - 67419. Is m composite?
False
Let q(d) = -d**3 - 45*d**2 - 45*d - 39. Let s be q(-44). Suppose 0 = -u - 4*c + 18955, -s*u + 2*c + 94800 = -3*c. Is u prime?
True
Let q = -534433 + 878120. Is q prime?
True
Let o be -3 + 1 + 4715/5 + 4. Suppose o + 29517 = 6*m. Is m composite?
False
Let h = 161028 + -91435. Is h composite?
False
Let x(g) be the second derivative of 11*g**4/6 - g**3/3 - 41*g**2/2 - 179*g. Is x(-9) prime?
True
Is (207179/8 - -1)/(1/(-32 + 40)) prime?
True
Let d be (-6 + 0)*(-24)/36. Suppose -4*b + 67 = -4*l + 1219, -1176 = -4*l - d*b. Is l a prime number?
False
Let k(l) = -l**2 + 11*l + 9. Let r(v) = -92*v + 41*v + 46*v - 4. Let z(x) = -2*k(x) - 5*r(x). Is z(7) composite?
True
Suppose 11*u - 73142 = 90142. Let h = u + -10261. Is h a composite number?
False
Suppose 4*n + 5*l - 9377 - 155308 = 0, 82345 = 2*n + 5*l. Is 12/16 + (-1)/((-8)/n) prime?
True
Let r(b) be the third derivative of 211*b**4/12 + 21*b**3/2 - 11*b**2 - 3. Is r(7) a prime number?
False
Let b = 6 + -5. Let h(v) = 101*v - b - 34*v + 4 + 61*v. Is h(7) a prime number?
False
Suppose 19*x = -2*x + 26*x - 1491205. Is x prime?
False
Let s = 2358953 - 210192. Is s composite?
False
Let t(a) = 7506*a**2 - 17*a - 22. Is t(-3) prime?
False
Let q = 24056 + 10059. Is q a composite number?
True
Suppose -16*d - 8165 = 813723. Is (-72)/48*(d/(-6))/(-2) a composite number?
False
Let u be ((-18)/(-30))/(3/15). Suppose -5*z + 14920 + 18110 = -5*g, 2*z + u*g - 13217 = 0. Is z a composite number?
False
Let o = -231287 - -596224. Is o a composite number?
False
Suppose -8957715 = 46*r - 35992421. Is r a prime number?
True
Let z(p) = -28*p - 1 + 20*p - 13 - 3. Let x = 30 + -46. Is z(x) composite?
True
Suppose -280 = -23*u + 21*u. Let k = u + -130. Suppose -20*m = -k*m - 16230. Is m a prime number?
False
Let g(q) be the second derivative of -68*q**3/3 + 89*q**2/2 + 2*q. Let k = 954 - 965. Is g(k) composite?
True
Suppose 9 = -3*t, 6*h + 3*t - 91 = h. Suppose 5*w + h = 0, -4*m + 5*m + 3 = -2*w. Suppose m*b - 986 = -3*c, b - 2*c - 4 = 201. Is b a composite number?
False
Let j = -32040 + 76207. Is j a composite number?
True
Let u = 35352 + 59725. Is u composite?
True
Let f(w) = 4519*w**2 - 12*w - 5. Let y be f(5). Is y/16 - (3 - 300/96) a prime number?
True
Is -765356*(-7)/70*((-49)/14 + 6) prime?
True
Let p be -2 + (-32)/(-8)*16273. Let x = p + 671. Is x a composite number?
False
Let m(c) = -c**2 - 19*c + 51. Let i(o) = 1. Let n(q) = -2*i(q) + m(q). Let p be n(-22). Is (1/3*389)/(p/(-51)) a composite number?
False
Let j be ((-54)/36)/(-3 - (-27)/12). Suppose j*k - 9462 + 744 = 0. Is k a prime number?
False
Suppose 5*r - 8350 = 2*r + 5*m, 3*r + 3*m - 8358 = 0. Is r prime?
False
Let x = -68 + 72. Let v be 1/((-6)/(-12)*x/(-978)). Let t = v + 1076. Is t a composite number?
False
Suppose 8762 = 7*t + 55886. Is (-16)/64 - 9/12 - t prime?
False
Let m be 2/(-13) - 479/13. Let v = -11 - -4. Is m*6/(6/v) composite?
True
Suppose 5*x + 25*x = -4*x + 11699774. Is x prime?
True
Suppose 0 = -2*t + 4*o + 6, 0 = 3*t - t - 3*o - 8. Suppose t*b - 97 = 127. Let p = 217 + b. Is p a composite number?
True
Let w(l) be the third derivative of 5*l**5/3 - l**4/6 + l**3/6 - 24*l**2. Let d be ((-8)/24)/(((-4)/(-9))/(-4)). Is w(d) prime?
False
Suppose v - 4*p + 24 = 1756, -4*v + 6976 = -4*p. Suppose 470 = 2*m + 3*i - 677, i = 3*m - v. Is m composite?
True
Let l = 31 + -29. Suppose -2*d + 11 = 5*i - d, 6 = l*i + 2*d. Suppose 744 = i*v + v + 5*n, 3*v - 768 = 3*n. Is v composite?
True
Is ((-10)/20)/(6 + (-1339815)/223302) a composite number?
False
Let b = 309 + -305. Suppose 0 = -y - 3*j + 24275, -54900 = -3*y - b*j + 17915. Is y composite?
True
Suppose 3*z + 51 - 63 = 0. Let t(y) = -z - 2 + 1 - 52*y + 2. Is t(-4) a prime number?
False
Suppose -5*f = 4*s - 166891, 3*s + 49*f - 46*f - 125166 = 0. Is s prime?
True
Let f be (-3)/(((-1)/(-4))/((-3)/(-12))). Let g be (f - (-586)/6)/((-4)/(-12)). Suppose 0 = -5*k + 1069 - g. Is k composite?
False
Let a be 5/5*(2275 - 8)*-9. Let y = a + 34040. Is y c