 Let g be a(-5). Let n(f) be the first derivative of f**4/4 + 3*f**3 + 5*f**2 + 9*f - 83. Is n(g) prime?
True
Suppose 0 = -2*r + g - 11 + 34, -4*r = -3*g - 49. Is r a composite number?
True
Let q = -157 + 3988. Is q a composite number?
True
Let y = 46 - 30. Let d = y + -14. Suppose 5*u = d*u + 21. Is u a prime number?
True
Suppose -100 = -9*n + 1367. Let u = n - 94. Is u a prime number?
False
Let k(h) = -887*h - 341. Is k(-6) prime?
False
Let s = 1670 + -13. Is s composite?
False
Is (3 + -5 + 7)*1788/20 prime?
False
Let d be (8*-53)/(-1)*(2 - -6). Let t = d + -2191. Is t composite?
False
Suppose -2044*o - 6995 = -2049*o. Is o a prime number?
True
Suppose -3*l = 34*l - 230399. Is l composite?
True
Is ((-792)/(-660))/(0 + 3/19105) prime?
False
Let z be (-4)/10 + (-22)/(-5). Suppose 5*c - 9 = z*i, 3*c - 31 = -2*i - 2*i. Suppose c*w = 1132 + 843. Is w composite?
True
Suppose -2*g = -4, 0 = q - 2*q - g + 1951. Is q a composite number?
False
Let n(x) = 13*x + 3 - 13*x**2 + 1 + 1. Let l(z) = 25*z**2 - 25*z - 10. Let c(d) = 6*l(d) + 11*n(d). Is c(6) prime?
False
Suppose 2*c - 16 = -u, 0 = u - 2*u - 4. Let q = c + -7. Suppose -h + 2*f = 3*f - 226, q*h = f + 658. Is h a prime number?
False
Let c(l) = -l**2 - 9*l - 14. Let x be c(-6). Suppose -5 = p, -x*m = -3*p - p - 2096. Is m composite?
True
Let q(v) = -v**2 + 3*v + 173. Let n be q(18). Let k(b) = 6*b + 2. Let y be k(2). Let l = y - n. Is l prime?
False
Suppose -73352 = -1388*y + 1380*y. Is y a prime number?
False
Suppose -k = -6*k - 370. Let q be 238 + -4 + -4 - (-5 + 0). Let h = k + q. Is h a composite number?
True
Suppose 4*g + 505 = 3*g + 2*r, 0 = -4*g + 3*r - 2020. Let y be 2746/6 + 1 - 32/(-24). Let t = y - g. Is t a prime number?
False
Suppose -545*p = -550*p + 1055. Is p composite?
False
Suppose 3*y - 2573 - 214 = 0. Is y a prime number?
True
Let k(h) = h**3 + 9*h**2 + 16*h + 10. Let a be k(-7). Is a/(-20) + (-5008)/(-10) prime?
False
Suppose 0 = -4*y - 1106 - 98. Let k = y + 478. Is k a prime number?
False
Suppose k + 2 = -2*j - 7, -3*j = 4*k + 16. Let n(q) = 2*q + 14. Let l be n(-10). Is (-16)/l*(-21)/j composite?
True
Suppose -3*o - 3*j - 15 = -3, -o = -2*j + 13. Let l(n) = 7*n**2 + 9*n + 4. Let p be l(o). Let t = 53 + p. Is t composite?
False
Suppose -7*p = -28143 + 8410. Is p a prime number?
True
Suppose 8*j - 1424 = 4*j. Let g = -67 + j. Is g a composite number?
True
Let q(w) = w**3 + 2*w**2 - 5*w - 4. Let f be q(-3). Suppose 1 = -f*p - 1, p = 4*j - 5. Is (-1 - j)/((-12)/762) a prime number?
True
Suppose 2*l + 545 = -3*c + 3100, -5*l = -c + 846. Suppose -k + 842 = -c. Is k prime?
True
Let v(p) = 3*p - 12. Let r be v(8). Let o = 18 - r. Is o/10 - 4208/(-20) prime?
True
Suppose 1266 = -4*d + 6*d. Suppose 2*i - 844 = -4*u - i, -3*i = -3*u + d. Is u a prime number?
True
Let d(i) be the third derivative of i**7/210 - i**6/180 - i**5/40 - i**4/6 + i**3/2 + 7*i**2. Let l(v) be the first derivative of d(v). Is l(3) a prime number?
False
Suppose 6*s - 17545 = 12689. Is s a composite number?
False
Let u = -10 - -13. Suppose -3*d = 5*j - 83, -4*d + 116 = j + u*j. Is d prime?
True
Let d be (-1)/12*2*-6. Let m be d + (0 + 2 - -2). Is 598/m - (-15)/(-25) a composite number?
True
Suppose u = 6*u - 3*w - 4356, 0 = -4*u - 5*w + 3507. Suppose v + v + 4 = 0, g = 4*v + u. Is g a prime number?
False
Suppose 2*n = -0*n + 78. Let x be (-52)/n*6/(-4). Suppose 2*s - 2119 = -5*d + 5*s, -x*d + 838 = 2*s. Is d composite?
True
Let i(a) = -a**3 - 8*a**2 + a + 10. Let c be i(-8). Let p(x) = 15*x**c + x**3 - 2*x + 9*x - 11 + 10*x. Is p(-12) a composite number?
True
Let k = 31 - -317. Suppose 0 = -14*y - k + 2014. Is y a prime number?
False
Suppose 3*b = 2*m + 2 + 4, -3*m - b = -2. Suppose 0 = p + 2, 4*h = -m*h + 2*p + 1952. Is h a prime number?
True
Let j(f) = 14*f**3 + 15*f**2 - 17*f + 31. Is j(17) a prime number?
True
Let q = -30595 - -55946. Is q a prime number?
False
Let m be (3955/(-10) - 3)/(2/(-4)). Let s = 2632 - m. Is s a composite number?
True
Let g = 17336 + -5457. Is g a composite number?
True
Let t(n) = -2*n + 7. Let g be t(6). Let o be (-6)/g*400/12. Is -3 + o + 4/2 composite?
True
Suppose -103*i = -109*i + 23754. Is i a prime number?
False
Suppose 170 = 2*z + 4. Suppose 0 = -8*k + 7*k + z. Is k composite?
False
Is (26055/225)/(((-9)/(-10))/3) a composite number?
True
Suppose -20443 = -10*s + 35347. Is s a composite number?
True
Let m(d) = 1 + 6*d**2 - 17*d - 10*d + 12*d + 0*d**2. Is m(6) a prime number?
True
Is (-46)/(-4)*-109*(6 + -8) a composite number?
True
Let b = 19 + -11. Suppose 0 = x - 2*u + 12, -3*x - 8 - b = -u. Is 47/x*28/(-1) a prime number?
False
Suppose -783 - 721 = 4*l. Let m be 2/(-1) + l*1. Let y = 1595 + m. Is y a prime number?
True
Let z(s) = 379*s**2 + 10*s + 20. Let a be z(-6). Suppose 3168 - a = -4*f. Is f prime?
True
Let v(b) = -73*b. Let f(g) = g - 9. Let u be f(10). Let n be v(u). Let d = 76 - n. Is d a composite number?
False
Is (-6*(-1)/(-3))/((-6)/25989) a composite number?
False
Let o be 12/(-6)*(-109)/1. Let w = -59 + o. Suppose w = 4*n - n. Is n a composite number?
False
Suppose 6*s + b + 322 = s, -5*s + 4*b = 337. Is s/(-26)*(1 - 4842/(-10)) a prime number?
True
Let i(l) = 22*l**2 + 49*l + 305. Is i(44) a composite number?
False
Let k = -2010 - -2044. Is k a composite number?
True
Let c = -3494 - -9615. Is c composite?
False
Suppose 0 = 2*x - 4*t - 21628, 5*x + 4*t - 15537 = 38533. Is x a composite number?
True
Let s(m) = -203*m**3 - 4*m**2 + 9. Let q be s(3). Is (-6)/4 - q/24 - 2 a composite number?
True
Let p = -1110 + 13159. Is p prime?
True
Let g = 167 - 453. Let r(y) = -16*y + 15. Let w be r(12). Let x = w - g. Is x prime?
True
Is 12/(-6)*(-6)/((-36)/(-8691)) a composite number?
False
Let d(k) = -2*k**3 - 2*k**2 - 5*k - 1. Let q be -1 + -2 + 5 - 5. Let z be (-2 + 4 + q)*4. Is d(z) a composite number?
True
Let s(b) be the second derivative of 109*b**3/6 + 7*b**2 - 4*b. Is s(12) composite?
True
Suppose w + 18 = 3*w - 3*s, w + s = 14. Suppose -8*q + w*q - 628 = 0. Is q composite?
False
Suppose 181440 + 26481 = 21*t. Is t a prime number?
True
Is ((-44686)/(-3))/((-38)/(-57)) prime?
True
Let s(f) = 21*f**2 + 9 - 3*f - 6 - 4*f + 4*f. Is s(-3) prime?
False
Let h be 12/(-3*1/(-219)). Let r be 1*-1*0/(-4). Suppose 1762 = 4*w + 5*c, 2*w = -r*w - 5*c + h. Is w composite?
False
Suppose 2*c + 6 = -x, -1 + 4 = 2*x - c. Suppose x*i - 50 = 2*i. Let p = 42 - i. Is p prime?
True
Is 15/60 + (-17)/4*-299 composite?
True
Suppose -d = 2*i - 16809, -12*d + 8*d - 5*i = -67230. Is d a prime number?
False
Let x = -45 + 50. Suppose 0 = 3*r - 4*g - 20389, -5*r = -8*r + x*g + 20384. Is r a prime number?
True
Let p = -19 - -24. Suppose -x = -4*y + 24, 4*x - 6 + 47 = p*y. Suppose 3*m = y*m - 586. Is m prime?
True
Let b(v) = v**3 + v**2 - 21*v - 10. Let a be ((5 - 8) + -3)*(-6)/4. Is b(a) composite?
True
Suppose -2*w + 0*w + 11707 = 5*h, 0 = -2*h - 5*w + 4666. Suppose 52 + h = 5*c. Is c prime?
True
Let x(s) = 5*s**2 - 18*s - 19. Is x(40) a prime number?
False
Is (6/4 - 0)/(96/249536) prime?
False
Suppose -5*c = -4*w + 59420 + 25559, -4*w + c + 84967 = 0. Is w a prime number?
False
Let p(m) = 467*m**2 - 3*m. Let l be p(4). Let n = 6 + -36. Is 6/(-4)*l/n a composite number?
False
Let g(a) = a**2 + 6*a - 1. Let z be g(-6). Let p = z - -2. Is p/(-2)*-182 + 3 a prime number?
False
Suppose -o - 7 = -3*i, 3*i - 2*i + 1 = o. Suppose s = -0*s + i. Suppose 422 = -5*c + 3*f + 3379, 0 = s*c + 3*f - 2344. Is c a composite number?
True
Is (-3)/(-2 - (-12646)/6326) composite?
False
Let c(u) = -u - 3. Let s be c(-8). Suppose -s*h = 3*z - 1462, -h - 1921 = -4*z - 2*h. Is z prime?
True
Let t(j) be the first derivative of 0*j**2 + 19*j + 16/3*j**3 - 1/4*j**4 - 10. Is t(14) a prime number?
False
Let n = -24678 + 56029. Is n a composite number?
True
Suppose 0 = 12*g - 7*g + 20, 5*u - 5*g - 131485 = 0. Is u a composite number?
False
Suppose 20*a - 17*a = 0. Let g be 4562*1 - (-4 - a). Is (-2)/(-4) + g/12 a prime number?
False
Let k be -3 - -441 - (3 + -1). Let x = k - 141. Is x composite?
True
Suppose -20*u - 17587 = -144207. Is u composite?
True
Suppose 31*g - 4*y = 28*g + 1043, -2*y + 1773 = 5*g. Is g a composite number?
False
Suppose 9*p = 5*p + 16. Suppose p*b - 1091 - 185 = 0. Is b composite?
True
Let d(c) = c*