. Is g(n) prime?
True
Suppose 59590 = 6*h + 868. Suppose 15*z - h = 27428. Is z composite?
True
Suppose -5*g - c = -40, -c - 4 = -2*g + c. Let k be g/(-14)*(-558 - -2). Suppose -y + k = -893. Is y composite?
False
Let f(b) be the first derivative of 13*b**3/3 + 3*b**2 + 9*b + 4. Is f(-14) a composite number?
False
Let w = 33 - 31. Let c = 13 - w. Suppose c*d + 4*o - 2897 = 6*d, -o = 5*d - 2888. Is d prime?
True
Suppose -3*p = -y - 162, p = -0*y + 2*y + 54. Suppose -5045 = 49*i - p*i. Is i composite?
False
Suppose 3*f + 2 = 26. Let p be 9754 + (-3)/((-6)/f). Suppose 0*u + 14*u - p = 0. Is u composite?
True
Let x(b) = 918*b + 2375. Is x(9) composite?
True
Suppose -o + 262 = -111. Let l = o + -34. Is l prime?
False
Let r(x) = 154*x**2 - 23*x + 23. Let u be r(1). Suppose 10671 - u = m. Is m a composite number?
True
Suppose -3*i = -5*p + 19, 0 = -4*p + 14 - 6. Let r(h) = 1318*h**2 + 10*h + 19. Is r(i) prime?
False
Suppose 16*j = 12730 + 92758. Suppose 4*c + j = 35557. Is c a composite number?
True
Is (-22 - -2) + 44 + 58379 a prime number?
True
Let t = 37293 + 9008. Is t a prime number?
True
Let p(t) be the first derivative of 2219*t**3/3 - 5*t**2/2 - 3*t - 9. Let d(i) = 14*i + 111. Let g be d(-8). Is p(g) a prime number?
True
Let h = 192877 - 13530. Is h a prime number?
False
Let q be ((-34680)/9 + 4)*(-9)/2. Suppose -3*d - 3*l + q = 0, -18*l = -3*d - 23*l + 17312. Is d a composite number?
False
Suppose -119824 = -4*r + 5*q + 716563, 5*r - 5*q - 1045480 = 0. Is r composite?
True
Let p = 36 - -19. Let r = -55 + p. Suppose 5*d = -c + 93, r = 2*c - 0*d + 2*d - 218. Is c composite?
False
Let d = 4636958 + -2552553. Is d prime?
False
Let x = 126825 - -79707. Is (x/(-54))/(15/(-9) - -1) prime?
True
Suppose t - 32341 = -872. Is t composite?
False
Suppose -4*q + 32*q - 6160 = 0. Suppose -126*d = -130*d + q. Is d prime?
False
Suppose 1773303 = 3*j + 714421 - 2311165. Is j a prime number?
True
Let r be 1 - (1 - (-1 + 1))/(-1). Let q be r + 1 + (-9 - -6). Suppose -23*w + 21*w + 298 = q. Is w composite?
False
Let w = 320 - 320. Let l be (-2)/((-1)/((-538)/(-4))). Suppose -2*u - 5*n + w*n = -l, -5*u = -4*n - 623. Is u prime?
True
Suppose -3*l - 4 = -2*l. Let z(m) = 3*m**2 - 3*m - 4. Let r be z(l). Is 1/7 + 48432/r a composite number?
True
Suppose -s = 3*s - s. Suppose 7*j - 2 - 5 = 0. Is (2 + -1659)*(s - j) prime?
True
Let t = 81251 + -47572. Is t a prime number?
True
Suppose 5*h - 34051 = 929938 + 1263906. Is h a composite number?
True
Suppose 0 = -2*b - 12 + 16. Let o be b/3 + (-57048)/36. Let d = o + 3127. Is d prime?
True
Let x(g) be the second derivative of 145*g**3/6 - g. Let a = 441 - 440. Is x(a) composite?
True
Let k(w) = w**3 + 7*w**2 - 19*w - 9. Let m be k(-9). Suppose 0 = -m*c - 2*c + 5206. Is c a prime number?
False
Let v = 109 - 107. Suppose v*z = -2*z + 3*m + 4544, 2*z - m = 2274. Is z composite?
True
Suppose 83*t - 10*t = -54*t + 11137265. Is t a composite number?
True
Suppose -6 = 2*v - 4*s, 12 = -0*s + 4*s. Suppose 6*g = v*z + 2*g - 15017, 4*z + 4*g - 20004 = 0. Is z a composite number?
False
Suppose 39*j - 215 = -4*j. Suppose m + 8*z - 549 = 6*z, -20 = j*z. Is m prime?
True
Let z be 6 - (-2 + 8/2). Suppose -b + 544 = 4*b + 4*t, 3*b = -t + 325. Suppose 5*o - 143 = -g - 2*g, -z*g + b = 4*o. Is o prime?
True
Let c(b) = -107*b + 17. Let y be c(-5). Suppose 0 = -0*l - l + y. Suppose -5*r - 5*i = -1525, -5*r + l = 2*i - 979. Is r a composite number?
False
Let n = -300 - -303. Is 3731/21 - (n + 21/(-9)) a composite number?
True
Let r = 49 - 49. Suppose 337*x - 335*x - 5806 = r. Is x prime?
True
Let v be -2*3/((-12)/(-10)). Let w(x) = 3*x + 13. Let a(m) = -23*m + 12. Let u(q) = 3*a(q) - 4*w(q). Is u(v) a prime number?
True
Let d(r) = -11*r**2 - 8*r - 7. Let q be d(-1). Is (3 - (-3466)/5) + (-8)/q composite?
True
Let h = 642 + 1657. Let j = h + -1410. Is j a prime number?
False
Let n(l) = l**3 - 93*l**2 + 283. Is n(106) a composite number?
True
Let d = -211 - -16067. Let h = d + -5727. Is h prime?
False
Suppose -184*b + 17746202 - 607806 = -18644268. Is b a composite number?
False
Let c(v) = -4377*v - 3005. Is c(-18) a composite number?
False
Suppose -1 = -l, -b - 268*l + 266*l = -192973. Is b a prime number?
True
Suppose 4*b = 19*b + 6*b - 1258341. Is b a prime number?
True
Suppose -8*q + 4*q - 11 = -5*x, 0 = -2*x - 2*q + 8. Suppose -2*y + 3*j + 2831 = 0, 2*j - 5 = -x. Is y a prime number?
False
Suppose 0 = -r - 4*d - 2, 2*r - r = -2*d + 2. Let o(y) = -12*y + 15. Let b be o(r). Let h = b - -326. Is h a composite number?
False
Let r be 3 + -2 + (-2 - 3). Let u(j) = -28*j**3 - 15*j**2 + 3*j + 3. Is u(r) prime?
True
Suppose -4*m = -9 - 7. Suppose -3*k + 7*k + 4064 = f, 0 = 5*f + m*k - 20344. Suppose 6*u = f + 4326. Is u composite?
False
Let w = -1024 - -2177. Let j = w - 752. Suppose i + j - 2875 = 0. Is i prime?
False
Let f be (8/(-10))/(4/(-10)). Suppose 0 = -2*a + j - 0*j + 14, f*a + 5*j = 14. Suppose -3*q = -a*q + 40. Is q a composite number?
True
Suppose -3*h + 1845769 = 117*j - 113*j, h - 922881 = -2*j. Is j composite?
False
Suppose -6*o + r = -o + 7674, 2*o + 3084 = 4*r. Let p = o + 5477. Is p a prime number?
True
Let u be 17/4 + (-2)/8. Let k(j) = -43*j - 13. Let b(i) = 43*i + 12. Let h(a) = u*k(a) + 3*b(a). Is h(-3) a composite number?
False
Is ((-14)/63 + (-8198806)/(-18))/(-45 + 46) composite?
False
Let v = -428675 - -643218. Is v a prime number?
False
Suppose -3*w + 6 = 3*r, -w - 6*r + 9*r = -10. Suppose 5*g = w*d - d - 1386, -d + 470 = g. Is d a prime number?
True
Suppose -22*f = -20 - 2. Is (-667 - -3)/(-2) - f composite?
False
Let b(n) = -14*n + 14. Let y be b(1). Suppose 7*s + 3134 - 13711 = y. Is s a prime number?
True
Let d = -80 + 80. Suppose -31 + 7 = -3*b. Is (1 + d)*(b - -183) a prime number?
True
Let a be (-42)/(-5) - 66/165. Suppose 12*l - a*l = -4. Is ((-100)/l - -2)*(-2)/(-6) prime?
False
Let w = -831210 - -1515607. Is w a composite number?
True
Let o be 3344/32 + (-2)/(-4). Suppose o*b = 100*b + 43705. Is b a composite number?
False
Let m = 836937 + -534958. Is m composite?
False
Let o(y) = 2*y + 22. Let w be o(-10). Let t be 5 + (4 - 3) + 880. Suppose 4*k + v - 3545 = -w*v, -t = -k - v. Is k a prime number?
True
Suppose 24 = 4*v, -3*v + 380652 = 5*x + 67429. Is x a prime number?
False
Suppose -5*w - 3*q + 12010 = 0, -7739 - 1856 = -4*w - 5*q. Is 1 + 3 + -2 + w a prime number?
False
Suppose 120*c - 26362373 = 28788787. Is c prime?
True
Let s(j) = 2*j**2 - 5*j. Let g be s(3). Suppose -5*t = g*v + 206, v = -0*v - 4*t - 71. Let n = -61 - v. Is n prime?
False
Suppose 0 = 5*s - 122 - 678. Let w(j) = -18 - 30*j + s*j + 17. Is w(8) composite?
False
Let c(z) = -z**3 + z**2. Let o be 4/(1 + (3 + -2)/(-5)). Let n(d) = -2*d**3 - d**2 + 4*d - 10. Let g(v) = o*c(v) - n(v). Is g(-7) prime?
True
Let o(r) = 7181*r + 2134. Is o(5) composite?
False
Suppose -14291532 = 5*k - 24*k - 17*k. Is k prime?
False
Suppose -10*h - 4*g + 1497116 = -6*h, g - 1497134 = -4*h. Is h composite?
True
Is (4777007/(-2480)*8)/(1/(-10)) a composite number?
False
Is (-6)/9 + (-364630)/(-42) composite?
False
Suppose 5*w = -3*r + 2273933, r + 0*r = 4*w - 1819126. Is w a composite number?
True
Let s = 76282 + 68349. Is s composite?
True
Let l = -22960 + 40237. Suppose 2 = -m + 8. Suppose m*x - 15201 = l. Is x prime?
True
Let i(w) be the first derivative of -9*w**5/2 + w**4/12 + w**3/3 - w**2/2 - 18*w - 31. Let x(y) be the first derivative of i(y). Is x(-2) prime?
True
Suppose -v + 18 = 2*v. Let u be 2 + 42/(-18) + (-3)/(9/(-4)). Is (-3)/u + (11 - v - -2349) prime?
True
Let o(w) = -37 - 2*w + 5*w - 16*w**2 - w + 0*w**2 + 4*w**3. Let c(l) = -9*l**3 + 33*l**2 - 4*l + 74. Let h(p) = 3*c(p) + 7*o(p). Is h(15) prime?
True
Let y be (2010/(-8) - 6)/((-1)/(-8)). Let p be 22/(-8)*(-1086 - (3 + -5)). Let j = y + p. Is j prime?
False
Suppose -79698 = -5*h + 377. Suppose -5*p + h = 5*y - 0*p, 4*y - 4*p = 12828. Suppose 0*u - 5*u + y = 0. Is u prime?
True
Suppose w + 5*o - 37898 = 28499, -3*w - 2*o + 199191 = 0. Is w composite?
True
Suppose -16*d - 5*d = -7*d - 44282. Is d a composite number?
False
Let l(w) = -12539*w + 428. Is l(-13) a prime number?
False
Let l(n) be the second derivative of -26*n + 1/2*n**4 + 5*n**2 + 5/3*n**3 + 0. Is l(9) a composite number?
True
Suppose 66*p