 m = 4*g - 6*f. Is g composite?
True
Let w(i) = 4487*i**2 - 24*i - 43. Is w(-2) composite?
True
Let f(r) = -r**3 - 53*r**2 + r - 12. Let d be f(-12). Let y = 12967 - d. Is y a prime number?
False
Let u(a) = 3*a - 331*a + 107 + 27*a - 29*a. Is u(-9) a composite number?
True
Suppose 2 = 2*q - 2*j - 28, -q = 2*j - 12. Let y(z) = 118*z - 3. Let d(b) = -3*b - 1. Let p(w) = -6*d(w) + y(w). Is p(q) a prime number?
True
Suppose -119*t = -10313608 - 483381. Is t a prime number?
True
Let w(y) = 63*y**3 - 12*y**2 - 6*y + 29. Is w(8) a prime number?
True
Suppose -7*p + 87750 = 15559. Is p a prime number?
True
Let f = 47 - 107. Let x = 78 + f. Is (2 - (x - 4))*3236/(-16) a composite number?
True
Suppose 0 = -3*g - 3*v + 24, 0 = 3*g - 3*v - 0*v. Suppose -1141 = -g*n + 17047. Is n a composite number?
False
Suppose 2*z - 5*q - 183974 = 288799, -z + 236404 = q. Is z composite?
False
Suppose -7*v + 1569 + 1819 = 0. Let a be v + 3/((-12)/(-16)). Suppose -4*k = -5*g + 3587 - a, 0 = -3*k + 12. Is g composite?
True
Let s(q) be the second derivative of -q**5/20 - 10*q**4/3 - 7*q**3 + 58*q**2 - 2*q + 4. Is s(-39) composite?
False
Let s(r) be the first derivative of -r**3/3 + r**2/2 + 2*r + 12. Let k be s(0). Suppose 0 = -2*u - 4*i + 578, 5*u - 871 = 2*u - k*i. Is u prime?
False
Let t(o) = 2*o**3 - 24*o**2 - 15*o + 16. Let y be t(-16). Is 1 - 2 - y/44 a composite number?
True
Suppose 0 = 2*k - 22*t + 17*t - 157201, -k = 3*t - 78562. Is k composite?
False
Let g = 1686592 + 3646057. Is g a prime number?
False
Suppose 145*a - 144*a = 9141. Suppose 0 = 82*b - 79*b - a. Is b a prime number?
False
Let l(b) = -99756*b - 1771. Is l(-2) prime?
True
Let g = -6348 - -11338. Suppose 5*v - 968 = -w, -9*v - g = -5*w - 4*v. Let a = 4144 - w. Is a a composite number?
True
Let s = -16 - -18. Suppose 5*f + 0*c - 2*c = 6095, 2438 = s*f - 5*c. Let h = f + -748. Is h a composite number?
True
Let v = -478996 - -2277105. Is v prime?
True
Suppose -4*o + 269 = -387. Let g = 27 + o. Is g prime?
True
Suppose -11*l - 2713 = 31222. Let f = l + 29418. Is f prime?
False
Let i = -1677 + 3966. Suppose -4*x = -7*x + i. Let o = x + -284. Is o prime?
True
Let v(x) = -3602*x - 1599. Is v(-19) a composite number?
True
Suppose 30*t + 4565 = 35*t. Suppose 4*o - j - t = 0, -2*o + 0*o + 467 = 3*j. Suppose -3*d = 4*b - 765, -5*d - o + 1487 = b. Is d composite?
False
Suppose -4*x = -2*n - 24, 4*x - 4*n - 1 - 27 = 0. Suppose f - 1 = -2*r - 7, -x*f + 2*r - 30 = 0. Let p(b) = -b**3 - b**2 + 2*b - 7. Is p(f) a prime number?
False
Let t(d) = -3960*d - 1007. Is t(-10) prime?
True
Let h = 509555 - 361972. Is h composite?
False
Let z = -4076 - -129405. Is z prime?
True
Suppose 5*i + 48 = -i. Let n(p) = -122*p + 1 - 2 - 1. Is n(i) composite?
True
Let w(i) = 1817*i**2. Let k be w(-1). Let f be -1244 + -4 + (-2 + 2 - -2). Let x = f + k. Is x a prime number?
True
Let b(a) = 15 + 4*a - 2*a - a + 1. Let w be b(-10). Suppose -7320 = -3*q + 3*p, 2*q + 2*p = w*q - 9754. Is q a composite number?
False
Suppose 42855 = -50*m + 154405. Is m a composite number?
True
Let g(c) = -8302*c + 1. Let d be g(-1). Suppose -d + 615 = 4*j. Let l = 3571 + j. Is l a prime number?
False
Let z = 41 + -26. Let k(i) be the third derivative of i**4 - 23*i**3/6 - 18*i**2. Is k(z) prime?
True
Suppose 0*g = -6*g - 156. Let x = g + 6. Is 0 - (-5)/(x/(-212)) prime?
True
Suppose -2*h - 3*o = -458295, 6*h = 9*h - 2*o - 687397. Is h a prime number?
False
Let o(t) = 16*t**2 + 6*t + 9. Let j be o(-3). Suppose j*n + 50036 = 139*n. Is n a composite number?
True
Suppose -177*a + 174*a - 12 = 0. Is (a/(12/5) - 2)*-669 a composite number?
True
Suppose -14992 = 73*z - 75*z. Let a = z + -5315. Is a a composite number?
True
Let d(m) = -13*m**2 - 50*m - 46. Let t(r) = 4*r**2 + 17*r + 15. Let o(f) = 2*d(f) + 7*t(f). Let v be o(-9). Suppose -v*n + 7*n = 3405. Is n a composite number?
True
Let q be 9/((-6025)/12070 + (-3)/(-6)). Suppose -5*x = -q + 98. Is x a composite number?
False
Suppose -9169559 = -165*j - 2091224. Is j a composite number?
False
Let c = 67118 - 47011. Suppose 2*r + 3129 = c. Is r a composite number?
True
Let f = 195539 + 56012. Is f a prime number?
False
Is (-10120623)/58*(-20)/30 a composite number?
False
Suppose -2*h - 976 = -63*h. Suppose -o = -3*o + 24. Suppose 4*w - o = h. Is w prime?
True
Let l(n) = 78*n**3 + 3*n**2 + 4. Let i be l(-7). Let x = 47850 + i. Is x prime?
True
Let a = 409 + -8485. Let r = -1757 - a. Is r a prime number?
False
Let p be ((-3139)/(-146))/((-1)/(-2)). Suppose 2*c + 4 = 0, -2*z = p*c - 45*c - 70. Is z prime?
False
Suppose 30*b = 32*b. Suppose 3*d - 8993 = d - 3*r, -5*d - 5*r + 22480 = b. Suppose 2*x = 5*p - 0*p + d, -5*p + 8975 = 4*x. Is x composite?
True
Let x(k) = 2*k**3 - 39*k**2 + 19*k. Let u be x(19). Suppose 0 = -4*p - u*p + 8, -n = 2*p - 6. Is n/6 + -1 - 111131/(-57) prime?
True
Suppose 5*h + 5*k - 633110 = 0, -h - 999*k + 1004*k = -126628. Is h a composite number?
True
Let d be 42 + 2*3/(-2). Suppose -37*j - 10 = -d*j. Suppose 1126 + 1579 = j*m. Is m a prime number?
True
Let v be (6 + -17 - -6) + (-1 - -10). Suppose 0 = -3*d - v*k + 5541, 1752 + 5636 = 4*d + 2*k. Is d a composite number?
False
Suppose 2*k = 3*g - 26, 3*k = g + g - 19. Suppose g*a - 14142 = 4410. Is a prime?
False
Let t(x) = x - 7. Let i be t(8). Let p be 6/((-2)/(-2*(-2 + i))). Is (7 + -5)/(p/(-627)) prime?
False
Let i(o) = -o - 1 + 3 - 1362*o**3 - o**2 + 3*o. Let t(v) = v**3 - 18*v**2 - 13*v - 115. Let b be t(19). Is i(b) a composite number?
False
Suppose 88*d + 33 = 99*d. Suppose 4*y + d*r - 7551 = 5101, 3*y + 3*r = 9489. Is y prime?
True
Suppose -5*w - d + 6*d = -17455, w - 4*d - 3482 = 0. Let u(v) = -709*v - 6. Let i be u(3). Let z = i + w. Is z a prime number?
True
Suppose -30*h + 26*h + 68638 = -w, 5*h - 4*w - 85803 = 0. Is h composite?
False
Let v(s) be the first derivative of 2026*s**2 - 7*s - 13. Let j be v(6). Suppose j = -22*y + 27*y. Is y a composite number?
False
Suppose -6*n + 602948 = -573718. Is n a prime number?
True
Suppose a = -2*h + 26, -3*h + 4*a + 61 = -0*h. Let w be 4/(-3 + -1) + h/5. Is (54074/57)/(w/6) a composite number?
True
Let p be (-1)/((-1368)/273 - -5). Suppose -3680 - p = -9*b. Is b composite?
False
Let p(t) = 804*t**3 - 11*t**2 + 23*t - 7. Is p(5) a prime number?
True
Suppose -11*t + 8*t + 6 = 0. Suppose -9 = a + 3*r, 4*r = t*a - 3*a - 13. Suppose 2*v - 28 = -z + 67, -a*z = 2*v - 301. Is z composite?
False
Is ((-165)/10)/((-390)/725140) a prime number?
False
Let v = 1611 + -1127. Let t = v + 1417. Is t a composite number?
False
Let i = 1068 + 109. Suppose 3531 = 18*y - 15*y - k, 0 = -y - 4*k + i. Is y a prime number?
False
Let k = 18688 + -4227. Is k a composite number?
False
Let p(z) = z**3 + 4*z**2 - z - 5. Let r be p(-2). Suppose -36949 = -6*q - r*q. Is q a composite number?
False
Let c = 268 - 171. Let u = 73 - c. Let l(g) = g**2 + 37. Is l(u) a composite number?
False
Suppose 17*p - 3615 = 37882. Is p a composite number?
False
Suppose -51*y - 3323112 = -207*y. Is y a prime number?
False
Let c(m) = 28*m**3 - 8*m**2 + 8*m + 7. Let b be c(6). Let v = b + -10987. Let r = 7489 + v. Is r prime?
False
Let b be (21/14)/(-3*(-1)/(-75560)). Is 6/4*5/((-75)/b) prime?
False
Suppose -391 = 6*v - 3073. Suppose v = g + 3. Suppose -g = -10*o + 6*o. Is o composite?
True
Let i = -49089 + 318550. Is i prime?
True
Suppose 61*p = 25*p + 684. Is 73665/p + 26/(-247) a composite number?
False
Suppose -10764 = -3*z + 14691. Suppose -f + q + 2122 = -0*f, -3*q - z = -4*f. Suppose 2*r = 3*r - f. Is r a prime number?
False
Suppose -5*p = 5*l - 43387 - 159833, 2*l = -7*p + 284503. Is p composite?
True
Suppose -g + 4559 = -h, -4*g = 55*h - 52*h - 18194. Is g a prime number?
False
Suppose 3*t = -3*j - 18, 0 = -2*j - 3*t - 2*t - 12. Is ((-5444)/(-6))/(j*(-3)/27) prime?
True
Suppose 31871630 = 50*r - 15*r + 35*r. Is r composite?
False
Suppose -c = 5*w - 85766, 5*w - 1083*c - 85764 = -1082*c. Is w a prime number?
False
Let x(p) = 1623*p**3 + 5*p**2 + 9*p + 17. Let n(d) = -812*d**3 - 3*d**2 - 5*d - 9. Let z(u) = -11*n(u) - 6*x(u). Is z(-2) a prime number?
False
Let l(n) = -n**3 - 12*n**2 + 10*n - 12. Let d be l(-13). Suppose 0 = d*p - 29*p + 1838. Is p a composite number?
False
Let m(r) = 15*r - 72. Let h be m(5). Suppose 2*a - h*v - 13613