2*v**2 + v + 17519. Let d = -41 + 41. Is g(d) prime?
True
Suppose 0 = w - 3*i - 63886, -4*i + 4 + 16 = 0. Is w prime?
True
Suppose -z + 1608 = z + 2*x, -5*x = 0. Suppose 799*b + 111970 = z*b. Is b a prime number?
False
Is (-39 + 38)/(-1 + (-1890)/(-1893)) prime?
True
Let l(f) = 12*f**2 - 2*f + 69. Let s(a) = -8*a - 70. Let j be s(-7). Is l(j) a composite number?
True
Let u = -308 - -312. Suppose 0*s - u*s = -3*y + 10937, 4*y - 2*s = 14566. Is y composite?
True
Suppose 0 = 5*g + 3*z - 8179, 0 = 2*g + 22*z - 23*z - 3276. Is g prime?
True
Suppose 0*h + 80*h - 22830513 = 11*h. Is h composite?
False
Suppose z = 3*i + 37453, i + 102508 + 47238 = 4*z. Is z a prime number?
False
Is (24 - 7)*(-2 + 7 + 7502) a prime number?
False
Let g = -362 - -371. Suppose g*f - 3862 = 7*f. Is f a prime number?
True
Let c = -236640 - -336907. Is c composite?
False
Is ((-776601)/(-39) - 0) + 78/507 a prime number?
True
Let l(a) = a**3 + a**2 + 2*a + 5. Let z be l(0). Suppose 3*y - 14121 = -4*p, 0 = 5*y + z*p - 13996 - 9544. Let k = -2102 + y. Is k composite?
False
Suppose 23*j + 10*j + 1665377 = 40*j. Is j a composite number?
False
Let w be -5 - (-2 + -1 + 21). Let o = 976 + w. Is o a composite number?
False
Let r(g) = 2*g**2 - 16*g + 24. Let c be r(8). Let v be (18/c - -2) + 2/8. Suppose 4*z - 7*z + 5*t = -310, z - 80 = -v*t. Is z a composite number?
True
Suppose 2*u + 4*t - 685994 = 0, 233*u = 236*u - 3*t - 1029018. Is u a composite number?
True
Suppose -i = -r + 80028, 22*i = 4*r + 27*i - 320121. Is r prime?
False
Suppose 111*n - 98*n = 0. Suppose -2024 - 1340 = -4*s - 2*b, n = 5*s + 4*b - 4202. Is s a prime number?
False
Suppose -17*t + 12951 = -92302 + 4256. Is t a prime number?
False
Suppose 0 = 5*l - 5*d + 8435, -19*d + 15*d = -l - 1687. Let t = 8320 - l. Is t composite?
False
Let f = 31 + -61. Let r = f - -34. Suppose -3*d - a = 4*a - 5644, r*d = -5*a + 7527. Is d a prime number?
False
Suppose 18*r - 1733 = 103. Suppose 3*a = -2*y - r - 17, 0 = -2*y + a - 131. Is (-35664)/y + 2/(-8) a prime number?
True
Is (-22524468)/(-60) + (-8)/10 a composite number?
False
Let h = 300 + -928. Let f = h - -1301. Is f prime?
True
Let w(h) = 1763*h - 300. Let l be w(18). Suppose -91244 = -10*d - l. Is d composite?
False
Let j(z) = 563*z**3 + 2*z**2 - 8*z + 11. Let o = 165 - 163. Is j(o) a prime number?
True
Let y(b) be the first derivative of -26 - 5*b - 3*b**2 + 22/3*b**3. Is y(-3) prime?
True
Suppose 2 = u - 23. Let n(i) = 4*i**2 + 12*i + 2. Let r be n(7). Suppose r = k + u. Is k prime?
True
Let i be (0 + 1)/(6 - 5). Let g(r) = 19842*r**2 - 6*r + 5. Is g(i) prime?
True
Suppose -6*p + 1 = -5*p. Let f(z) = z**3 + z**2 + 21*z + 24. Let l be f(0). Is ((-1433)/(-9))/p + l/(-108) a prime number?
False
Let x = 1281 - 669. Let c = 2093 - x. Is c a prime number?
True
Let i = 10351 + 29448. Suppose -15*o + i = -13466. Is o prime?
False
Suppose 4*u - 5*i + 3753 = 0, -u - 940 = i - 4*i. Let m = u - -1643. Is m a prime number?
False
Let n(r) = 2*r**2 - 3*r + 1. Let w be n(1). Suppose w = 13*v - 79504 - 55839. Is v prime?
False
Let q = 5002 + -461. Is q a composite number?
True
Suppose -85*z - 68*z + 16891800 = 1195989. Is z a composite number?
False
Suppose 2*u = -4*a + 7*u - 850, 4*u = 4*a + 852. Let l = a + 55. Let n = l + 281. Is n a prime number?
False
Let k(w) = 8*w**3 - 10*w**2 + 12*w + 8. Let p be k(8). Suppose 4*a = 2*r + 1329 + 5787, 2*r = 2*a - p. Suppose -5*v + a = -3*v. Is v composite?
True
Let b(u) = -u**3 + 72*u**2 + 135*u - 789. Is b(62) a composite number?
False
Let v = 416649 + -256070. Is v composite?
False
Let o(c) = 116396*c**2 + 139*c + 15. Is o(2) composite?
True
Let o(g) = g. Let d be o(2). Let u = 1253 + -1248. Suppose 1305 = -x + 6*x + 5*i, 536 = d*x - u*i. Is x a prime number?
True
Let f(o) be the first derivative of -o**4/2 - 4*o**3/3 - o**2 - 20*o + 2. Let z be f(-6). Suppose -s - z = -1067. Is s prime?
True
Suppose 4*g = z - 4, 4*z + 5*g - 16 = 7*g. Let h(y) = 1583*y + 215. Is h(z) composite?
False
Let w(u) = 23*u**3 + u**2 - 3*u + 3. Let o(i) = 24*i**3 + i**2 - 2*i + 2. Let f(h) = -5*o(h) + 4*w(h). Suppose 2 = -5*v - 8. Is f(v) composite?
True
Let c be 2*2/(-3)*(7 + -1). Let b(d) = 41*d**2 + 5*d + 43. Is b(c) a composite number?
True
Let t = 1579398 + 30329. Is t composite?
True
Is ((-742)/53)/(3/(6813/(-6))) a prime number?
False
Let k(w) = -2*w**3 + 4*w**2 + 3*w + 1. Let m be k(-2). Let l be ((m/6)/(-3))/((-7)/56). Suppose l*f = 461 + 871. Is f a composite number?
True
Suppose 53*k - 52*k = 2*u + 43837, 2*k - 87647 = -5*u. Is k a composite number?
True
Let n(t) = -33*t**3 - 39*t**2 - 252*t - 1. Is n(-6) a composite number?
True
Let m be 44/2 + 1 - (0 - -1). Suppose -m*c + 21*c + 793 = 0. Is c composite?
True
Let c(t) = t**3 + 2*t**2 + 3*t + 422. Let g be c(0). Suppose 3*j = -5*z + 2454, 5*z - 396 = -j + g. Is j a composite number?
True
Let y(h) = -143*h + 14 + 55*h + 13. Is y(-5) prime?
True
Let q(u) be the first derivative of 359*u**3 + 8. Let r be q(-2). Suppose -5*j + 11*j = r. Is j prime?
False
Suppose 9 = 4*v - 2*q - 11, 0 = 4*v + 5*q - 6. Is 3453/v + (-25)/100 composite?
False
Let q(i) = 191*i**2 + 3*i + 25. Let l(c) = c**3 - 15*c**2 + 11*c + 39. Let x be l(14). Is q(x) a prime number?
False
Suppose 5*s - 71 = -6. Suppose v - s*k - 2238 = -18*k, -2*v = 3*k - 4483. Is v composite?
False
Let y(i) = -9*i + 104. Let r be y(11). Suppose -20156 = -9*o + r*o. Is o a prime number?
True
Let f = -61 - -80. Let v = -26 + f. Is (-3 - -1)*((-21411)/18 + v) a prime number?
True
Suppose 4*n + 40 = 4*b, -2*n + 5 = -3*n. Suppose 143 - 1 = b*h + 3*z, 4*h - 84 = 5*z. Suppose -7841 = -5*p - h. Is p prime?
False
Suppose -3*c = w - 542326, -w + 5*c + 230757 = -311561. Is w a composite number?
False
Let z(o) = -o - 6. Let x be z(-8). Let k be 4*3/(-30) - 256/(-40). Suppose 4*q - 832 = x*v + k, -9 = -3*v. Is q a prime number?
True
Let f(j) = 2*j - 26. Let s(z) = -3*z + 26. Let h(a) = -2*f(a) - 3*s(a). Let w be h(7). Suppose w*y - 7*y = 2798. Is y composite?
False
Is (21 + -22 - (-457453)/2) + 36/24 a composite number?
True
Let v = 4362 + 7654. Suppose -3*y + o = -v, -3*y + 7*y + 2*o - 16018 = 0. Suppose -7*s = 568 - y. Is s a prime number?
True
Suppose 2*d + 1 - 11 = 0. Let u(v) = -v**3 - 4*v**2 + 8*v - 17. Let n be u(-6). Suppose -2*f - 945 = -d*q - n*f, -3*q = -5*f - 607. Is q a composite number?
True
Let f(x) = 48*x - 33. Let v(s) = 240*s - 164. Let i(h) = 11*f(h) - 2*v(h). Is i(9) prime?
True
Is ((-20266)/6)/(21/(-369)) - 20/(-35) a prime number?
True
Suppose -40*i + 1525630 = -30*i. Is i a composite number?
False
Is ((-82 - -80)*5273/(-2))/1 a prime number?
True
Let k(y) = 4*y**2 + 49*y + 1. Let h be k(10). Let s(v) = -73*v - 8. Let n be s(8). Let u = h + n. Is u prime?
False
Suppose 0 = 5*s + w + 29, s - 6*s + w - 31 = 0. Let j be 38/s - 4/(-3). Is 1*-426*j/10 + -2 a composite number?
False
Suppose 2*d + 0 = 12. Let j be (-95 + -2)/(-7 + d). Suppose j*v - 98*v = -95. Is v a prime number?
False
Let b = -216 + 216. Suppose 85805 = 13*l - 8*l + 2*a, -5*l - 4*a + 85815 = b. Is l composite?
False
Is (4 + 1396124/12)/(26/78) a prime number?
True
Let u be 54/90 + (-3)/5. Suppose -187*q + 185*q + 1146 = u. Is q prime?
False
Let u(w) = -w**3 - 35*w**2 + 73*w - 35. Let o be u(-37). Is o*(2/6 + (-691866)/(-108)) a prime number?
False
Let f(t) be the first derivative of -1615/2*t**2 + 55*t - 30. Is f(-6) composite?
True
Let w = 122 + -114. Suppose -5*b = 2*c - 16387, w*b + 3*c = 7*b + 3280. Is b a prime number?
False
Let m be 33 - 7 - (-1 + -1). Suppose 4*y + 252 = -2*j, -4*j + 212 + m = -4*y. Is (-46)/(-1)*y/(-4) composite?
True
Let k be ((-14)/(-35))/(-1 + (-51)/(-45)). Suppose 4*l - 59759 = k*b, 5*b - 108144 = -5*l - 33454. Is l composite?
False
Let o be (690/20)/((-3)/16). Let y = 347 + o. Let j = -105 + y. Is j composite?
True
Suppose -261*q = -249*q + 36. Is -674*(-18)/(-12)*q/9 a prime number?
True
Let g(a) = 2513*a**2 + 6*a + 13. Let r be g(-4). Suppose s = -2*b + r, 0 = 4*s - 8 + 28. Is b a prime number?
True
Let w be (8/(-3))/((-2)/9). Suppose -3*a = -w - 3. Suppose -a*g - 3*n + 14450 = 0, 0 = -7*n + 3*n + 20. Is g a composite number?
False
Let m = 97 - 91. Let q(u) = 1263*u + 143. Is q(m) prime?
False
Let n(i) be the third derivative of i**6/120 - i**5/15 - 5*i**4/