e
Suppose c = -3*c + 4*l + 42088, 3*c - 5*l - 31576 = 0. Suppose c = -10*o + 34257. Is o composite?
True
Let x(q) = 1656*q**3 + 2*q**2 - 139*q + 281. Is x(2) prime?
True
Suppose 0 = 8*c - 4*c - 5*v + 12, 3*c = -4*v + 22. Suppose 4*x - 50 = c*q, -2*q = -5*x - 23 + 87. Is (3787/x)/(2/4) a composite number?
False
Let j = 34 + -60. Let h = -23 - j. Suppose 2*w - 72 = 5*n - 589, h*n - 4*w - 313 = 0. Is n a composite number?
False
Suppose 5*a + 484 = 2*v, -5*v = 2*a + a - 1210. Let p = 639 - v. Is p composite?
False
Suppose 443584 = 4*v - 2*h, 5*v + 3*h - 239167 = 315346. Is v composite?
False
Suppose -5 + 293 = -4*w. Let v be w/(7/((-1218)/(-9))). Let y = v + 2461. Is y prime?
True
Let x(h) = h**2 + 14*h + 24. Let m be x(-12). Let i(s) = s**3 - s**2 + s + 446. Is i(m) a composite number?
True
Is (-9)/(90/(-175220)) + (-3)/1 a prime number?
True
Is 2750132/6 + (-20)/(-12) a prime number?
True
Suppose 0 = t - 4*l - 9349, 4*l + 10944 = 2*t - 7734. Suppose -t = -4*f - 3*o, -f + 1438 = -4*o - 899. Is f prime?
True
Let k(r) be the first derivative of -22*r**2 - 15*r + 7. Let a(i) = i**2 - 6*i - 2. Let x be a(5). Is k(x) a prime number?
True
Let k = 48965 - -45512. Is k a composite number?
False
Suppose 0 = -4*y - 384 + 3884. Suppose -1756 = -2*g + k + k, g - y = -2*k. Is g prime?
True
Let t(i) = 2*i**3 - 4*i**2 + 15*i - 6. Let u(r) = -6*r**3 + 13*r**2 - 45*r + 19. Let g(w) = -11*t(w) - 4*u(w). Is g(7) composite?
False
Suppose 2*p + 5*g - 989999 = 0, -2*p + 3*g = -4*p + 990001. Is p a prime number?
False
Suppose -4*o - x - 13 = -7*o, -5*o + 5*x = -25. Suppose -4*s + 4*g = -1768, 5*s - 1333 = 2*s - o*g. Is s composite?
False
Let n be ((4 + -1)*1)/(16 + -17). Let t be (2/(-5))/((-2)/(-150)*n). Suppose -5*j - t = 0, 2*l - 927 = -4*j + 1127. Is l prime?
True
Let a(y) = 1589*y**2 + 286*y - 41. Is a(10) composite?
True
Suppose 0 = 70*g - 65*g - 32985. Suppose -3*a + g = 27*i - 24*i, -2*a - 8 = 0. Is i prime?
True
Suppose -185*z - 557951 = -189*z + h, -5*z + h + 697440 = 0. Is z a prime number?
False
Let s(t) = -5058*t + 28. Let d be s(-7). Is d/14 + 1 + 1 composite?
True
Suppose -15 = 2*b - 7*b. Suppose -h - 22 = -b*h. Let u(f) = f**2 - 2*f + 4. Is u(h) prime?
True
Let x(t) = -t**3 - 12*t**2 - 11*t + 2. Let r be x(-11). Suppose s - z - 5542 + 620 = 0, r*s = -4*z + 9868. Suppose -i = 5*i - s. Is i a prime number?
True
Suppose -11*n + 6*n + 105 = 0. Let a(u) = -u**3 + 20*u**2 + 21*u + 12. Let r be a(n). Is (-2)/(-4) - (-3030)/r a prime number?
False
Suppose o = -2*o - 27. Let p(t) be the first derivative of -277*t**2/2 - 2*t + 218. Is p(o) prime?
False
Suppose -3*m - 17 = 28. Is -2*(-3)/m - (-16047)/5 composite?
False
Let a(n) = -26257*n**3 + 14*n**2 + 32*n - 1. Is a(-2) prime?
False
Suppose p = -2*w + 5231, 3*p + 2*p = 5. Suppose -5*a - s + 2595 = 0, 5*s - w = -4*a - a. Suppose 0*i - a = -2*i. Is i a composite number?
True
Let g be 112/(-18) + (-14)/(-63) + 3. Is (81/27)/(g/(-9897)) a composite number?
True
Suppose -2*m - 1309 = j - 4*j, 5*m + j = -3281. Let r = m + 2395. Is r a prime number?
False
Is 72*(-192109)/(-57) + 2 + -7 a prime number?
True
Suppose -d = 2*i - 2178, 0 = i + i - d - 2174. Suppose -2*y + 1383 = 5*f, -3*f - f + 3*y = -i. Is ((f/15)/5)/((-2)/(-78)) composite?
True
Let v = -79983 - -170656. Is v a prime number?
False
Suppose 0 = 3*m - 0*b + 3*b, -4*b = -2*m. Let w(a) = a**3 + 2*a + 12481. Is w(m) prime?
False
Suppose 0 = 5*y - 10, 4*u - 5591664 = -3*y - 2070526. Is u a prime number?
True
Let x(n) = 547008*n**2 + 111*n + 110. Is x(-1) a prime number?
True
Let n = -55 - -60. Suppose 0 = z + 4*j - 2991, 10*j - 8*j + 14999 = n*z. Is z composite?
False
Let o(y) = -y**2 - 8*y + 24. Let p be o(-10). Suppose 4*i - 3*d = 7*i - 7125, p*d = 3*i - 7118. Suppose -29*s + 27*s + i = 0. Is s prime?
True
Suppose -6*l - 4*n + 460387 = -l, -2*l = 5*n - 184165. Suppose -9*z + l = 16*z. Is z composite?
True
Let f be (-7)/(-28) - (-5522)/(-8). Let t = f + -152. Let u = t + 1425. Is u prime?
False
Suppose -21*t + 9*t - 3876 = 0. Is (t/76)/((-2)/3688) composite?
True
Let d be (24/(-10))/((-5)/(-200)*6). Let n be d/1*6/(-12). Suppose 0 = -2*j + 4*j - 3*v - 1520, -4*v + n = 0. Is j a prime number?
False
Suppose 12*n - 9*n - 216 = 0. Let i be (-128)/n + (-4)/18. Is i/(-3) - (-48776)/24 a prime number?
False
Suppose b = -3 - 0. Let x(i) be the third derivative of 61*i**5/20 + i**4/24 - 5*i**3/6 - 7618*i**2 - i. Is x(b) prime?
False
Let s(b) = 5665*b**2 - 2*b + 2. Let t be s(1). Let y = -3462 + t. Is y prime?
True
Let o be 6/15*15/6. Suppose -4*z = g + 2882 - 8395, -z + o = 0. Is g composite?
True
Let a be (1/2)/((5/14)/5). Suppose -2*c = 2*r - 0*c - 10, 0 = 4*r - 5*c + a. Suppose 0*i + 5*v + 1510 = r*i, 0 = 5*i - 5*v - 3745. Is i prime?
False
Suppose 0 = 4*h - 151985 - 95459. Is h a prime number?
True
Suppose 3*g - 4*j - 13 = 0, 6 - 11 = -2*g - j. Suppose -g*r + 7*r + 2*n - 3186 = 0, r = -4*n + 814. Is r a prime number?
False
Suppose 3*i + 9 = 0, 0 = -107*u + 109*u + 4*i - 358226. Is u a composite number?
False
Is ((-190724)/14)/(11 - (-2844)/(-252)) prime?
True
Let k(b) = -1649*b + 3100. Is k(-41) prime?
True
Let o(t) be the third derivative of t**4/3 + 17*t**3/3 + 18*t**2. Let v be o(0). Is 19*(-5 - v/(-1)) a prime number?
False
Suppose 31165 = k + 50. Let r be 2/(3 + (-93335)/k). Suppose 2*j + 5*j = r. Is j prime?
False
Is ((0 - -2) + -3)*(9 - 225220) a composite number?
True
Let i be (-151519)/2 + 31/(-62). Is (1/((-4)/6))/(24/i) prime?
False
Let k(u) be the third derivative of -u**4/4 + 3*u**3 - 20*u**2. Let l be k(3). Suppose l*a - a + 223 = 0. Is a a composite number?
False
Let c(z) = -z**2 + 5*z - 6 + 0*z**2 + 1 + 3. Let n be c(3). Suppose -2*o - 4*g = -g - 1353, 0 = 2*o - n*g - 1374. Is o composite?
True
Let g be 4 - (-1)/(-3)*9. Suppose 2*y = g - 15. Let z(t) = 8*t**2 - 9*t - 18. Is z(y) a prime number?
False
Let i(g) = 11*g**3 - g**2 - 4*g + 3. Let h be i(1). Suppose h*v - 1786 = 2165. Is v a composite number?
False
Let r be (0/(-2 + 6))/(-1). Suppose -30278 + 8591 = -2*z + 5*t, r = -5*z - 5*t + 54130. Is z a prime number?
True
Let m = 11923 - 3585. Suppose 3*b - m = -19*b. Is b composite?
False
Suppose 4*j - k - 3 = 0, 5*j - 5*k + 17 = 2. Suppose 3*x - 5*g - 429 = 0, j*g = x + 62 - 205. Is x a prime number?
False
Let f(o) = 2*o**3 + 97*o**2 - 178. Is f(-47) composite?
False
Let h(u) = u**3 + 4*u**2 - 11*u + 5. Let l be h(-6). Let x(s) = -194*s - 1. Let z(m) = 389*m + 1. Let o(j) = -7*x(j) - 4*z(j). Is o(l) a composite number?
True
Let l be 0 + (-1 + 0)/(1/152). Let s = 18 - l. Let f = -57 + s. Is f a composite number?
False
Suppose 14969 - 2189 = 2*h. Suppose -r - q = -1715, -2*q - h = -5*r + 2199. Suppose -4*k = -2*m - 2276, -3*k + r = m - 0*m. Is k prime?
True
Suppose 21*x + 2618 = -x. Let k = 32 - -166. Let i = x + k. Is i a prime number?
True
Suppose -35 = -20*l + 15*l, -5*q - l + 4482092 = 0. Is q a composite number?
False
Let d(w) = -15*w + 209. Let c(y) = 10*y - 139. Let a(i) = 8*c(i) + 5*d(i). Let x be a(14). Suppose x*o - 424 - 1481 = 0. Is o composite?
True
Let l = -27 - 26. Let m = 2872 + l. Is m a composite number?
False
Let s be (-1)/(-11) - (-5)/(-55). Suppose n - 2*f - 27939 = 0, -5*f + s = 15. Is n prime?
False
Let i = 996000 + -622205. Is i composite?
True
Let t(k) = -k**3 + 4*k**2 - 2*k - 4. Suppose -5*x + 7 = -8. Let n be t(x). Is ((-557)/(-1))/(0 - n) a prime number?
True
Suppose -23*b = -77*b + 23593302. Is b a composite number?
False
Let q = -72 - -72. Suppose q = 19*o - 16*o. Suppose -3958 = -2*j - 4*m, o = -0*j + 2*j + m - 3970. Is j a composite number?
False
Suppose -2*g - w = -1795, 0 = -g + 4*g - 5*w - 2686. Suppose o + 9*h - g = 7*h, 2*o - 4*h = 1762. Is o prime?
False
Suppose 49495 = 2*u - 14*f + 11*f, 2*u + f = 49491. Is u composite?
True
Let p(u) = -171*u - 35. Let t(c) = -343*c - 71. Let w(b) = 13*p(b) - 6*t(b). Is w(-3) a composite number?
True
Suppose -30*p + 13*p = -850. Let i = p - -332. Is i a composite number?
True
Let d = -230 + 232. Suppose -d*r = 5*b - 2083, -6*r + 2*r = b - 4157. Is r a prime number?
True
Let o = -10 - -12. Suppose -o*n + w = -8, n + 2*w = 4*n - 14. Suppose -15100 = -5*q - c, -n*q = 2*q - c - 12071. Is q a composite number?
False
Suppose 47*k = 52*k - 35. Suppose k*t = -1 + 22. Suppose t*o = -0*