Let r be u(v). Is 48*r + 1 - -4 prime?
True
Let j(v) = 316*v - 11. Let q(g) = -158*g + 5. Let k(f) = 4*j(f) + 9*q(f). Is k(-2) a prime number?
True
Let p(l) = 2*l**2 + 7*l - 5. Let m be 1 + 3 + -1 + 1. Is p(m) a composite number?
True
Let l = -19 - 60. Let v = l - -193. Is (-2 - -3)/1 + v a prime number?
False
Let n(f) = 117*f - 44. Let g(w) = w - 5. Let t be g(18). Is n(t) a composite number?
True
Suppose -2*l = -5*o - 8063 - 37561, -5*o = 3*l - 68411. Is l a composite number?
False
Let l = -8 + 15. Suppose -3*a + 2*c + 490 = l*c, -2*a - c = -315. Is a prime?
False
Suppose 1110 = -3*o + 8*o - 5*y, -3*y - 232 = -o. Let s = o + -101. Suppose -3 - s = -l. Is l a prime number?
False
Suppose -5*o - 5*c - 6 - 19 = 0, 5*o - 11 = 4*c. Let q = -1601 - -837. Is (q/(-8))/(o/(-2)) a composite number?
False
Let t = 21959 - 12322. Is t a prime number?
False
Let n(w) be the first derivative of -w**4/4 - 4*w**3/3 - 2*w**2 - 3*w - 6. Let x be n(-2). Is ((-754)/39)/(1/x) a prime number?
False
Let i(u) = 1768*u**2 - 42*u - 87. Is i(-2) a prime number?
True
Let u be -12*(-3)/(-18)*-2. Suppose -2*b + y = -u*b + 542, -3*b + 813 = -y. Suppose -4*m + 325 + b = 0. Is m a composite number?
False
Is 3817*(5 - 32/8) a composite number?
True
Suppose 2*k + 5 = -0*h + h, -k + 2*h = 10. Suppose -r + 855 + 712 = k. Is r composite?
False
Suppose 3*n - b - 5689 = 3*b, -2*b + 1883 = n. Suppose -3*h + n = -1256. Suppose 0 = 2*p + 4*k - 522, -3*p + 7*p - h = -3*k. Is p a prime number?
True
Let g be ((-2)/6)/((-14)/(-42)). Let y be g/(2/(-20))*8. Is y/12 - (-3)/9 a prime number?
True
Suppose 7061*i + 11651 = 7062*i. Is i prime?
False
Let t be (-30)/(-10)*(-28)/(-6). Let k be -18*((3 - t) + 2). Suppose k = 3*q + 3*j, 2*q - j + 4*j = 103. Is q composite?
False
Let d(h) = -5664*h**3 + 2*h**2 + 8*h + 7. Is d(-2) a prime number?
False
Let x(u) = u**2 - 8*u + 2. Let p be x(8). Suppose p*i + 1 - 7 = 0. Is ((-1)/4)/(i/(-4044)) a composite number?
False
Suppose -v + 186 = -131. Is v a prime number?
True
Let a = 1748 - 1197. Is a a composite number?
True
Let g = -113 - -121. Suppose 4*r - r - 2*u = 3265, -g = -2*u. Is r a prime number?
True
Let z(b) = -66*b. Let g be z(-4). Suppose -5*h - g = -2484. Let q = 785 - h. Is q a composite number?
True
Suppose 3*i = -5*b + 114586, 5*b = -8*i + 3*i + 190980. Is i composite?
False
Let q(p) = -56*p**3 + 11*p**2 - 6*p - 4. Is q(-11) a composite number?
True
Suppose -20*m + m + 22268 = 0. Suppose g = 3*y + m, 0 = g - 3*y + 2*y - 1182. Is g a composite number?
False
Let s(k) = 6*k - 2. Let l be s(5). Let j be (1 - 70)*(-16)/24. Suppose m - l = j. Is m a prime number?
False
Let n = -4 + 2. Let j = 328 - 574. Is j/n + 3 + -7 a composite number?
True
Let n(d) = 24*d - 1. Suppose -5 - 13 = -2*l. Let o be 0 + (0 - 0) + l. Is n(o) composite?
True
Let s(k) = -k**3 - 8*k**2 - 16*k + 1. Let p be s(-5). Suppose -p*d + 362 = -2956. Is d prime?
False
Let i = 21 + -21. Suppose 2*t - 2*k - 326 = i, 4*t - k - 652 = -6*k. Is t a composite number?
False
Let f(a) = 231*a**2 + 15*a + 59. Is f(-6) a composite number?
True
Is (-4)/12 + (-4)/(-3) - -10746 composite?
True
Is ((-6095)/10)/((-3)/6) a composite number?
True
Let t(u) = -32*u**2 - 2*u - 3. Let r(q) = 97*q**2 + 6*q + 9. Let n(m) = 3*r(m) + 8*t(m). Let c be n(-2). Suppose -c + 1151 = 4*l. Is l composite?
True
Let k = -960 + 472. Let i = k - -867. Is i a prime number?
True
Let b(k) be the first derivative of -258*k**2 + 26*k - 38. Is b(-3) a composite number?
True
Let n = 2 + -1. Let m = 3 - n. Suppose 2*r + 2074 = -3*c + 7*c, m*c + 2*r = 1052. Is c a prime number?
True
Suppose -3*u - 5*f + 1477 = 0, u - 4*u = -4*f - 1513. Suppose -x = -4*w + 2*x + u, 12 = 4*x. Is w a prime number?
True
Let u(h) = 169*h**2 + 36*h + 118. Is u(-13) prime?
True
Suppose 25 = -4*h - h, 5*h + 54220 = 5*q. Is q composite?
True
Suppose 5*f = 2574 + 1436. Let o be 0 + 110/25 + 4/(-10). Suppose 3*l = o*r - f, 5*l - 2 = 4*l. Is r a composite number?
True
Suppose -a = -5*s - 19990, -33*s = 3*a - 31*s - 60021. Is a a composite number?
True
Let d(b) = b**3 - b**2 - 3*b + 6. Let o be d(3). Let r = o - -394. Is r composite?
False
Suppose 5*y + 4*a + 21151 = 0, -3*y - 12673 = -2*a - 0*a. Is ((-5)/(-3))/(-5)*y prime?
True
Let b(u) = 20*u**2 - 6*u + 19. Let w = 9 + -4. Is b(w) prime?
False
Suppose -r + 2*r - 2 = 0. Is ((-1190)/21)/(r/(-3)) prime?
False
Suppose 3*w = 6, -b + 1 = w + 5. Is 306 + (3/b)/(5/(-10)) prime?
True
Let r(f) = -4*f**3 + f**2 - 5*f - 1. Is r(-6) composite?
False
Let i = 3 + 1. Suppose 1 + 11 = i*g. Is (g/3)/(1/487) prime?
True
Let p(r) = r - 7. Let s be p(9). Suppose -4*a = 5*k - 25552, s*a = -k - 2*k + 15330. Suppose -3*n + k = n. Is n a composite number?
False
Let y = 68 + -64. Suppose w = -y*w + 6995. Is w a prime number?
True
Is (-81)/(-18) - 2451/(-6) a composite number?
True
Suppose 4*w + 9521 = 5*l, 0 = -13*w + 9*w - 16. Is l prime?
True
Let h(c) = -c - 6. Let q = -15 - -7. Let i be h(q). Suppose -i*d + 6*d = 844. Is d a prime number?
True
Suppose 2*y = 11*h - 16*h + 2544, -3823 = -3*y - 4*h. Is y composite?
False
Let k(p) = p**2 + 10*p + 20. Let h = -16 - -10. Let m be k(h). Is 4/4 + (-136)/m a prime number?
False
Suppose 5*c + 4*y = 36, -5*y + y + 8 = -2*c. Suppose x - 41 = -c*l, -11 = -2*l - 3*x + 22. Let s(d) = -d**3 + 12*d**2 + 5*d + 5. Is s(l) a composite number?
False
Suppose -9 = 3*n, -4*l + n + 89 = 2*n. Is l prime?
True
Let q = 9786 + -1858. Suppose -15*f = -7*f - q. Is f composite?
False
Let w(q) = 38*q + 23. Let b(h) = -1. Let l(f) = 6*b(f) + w(f). Is l(10) prime?
True
Let c = 11 - -42. Suppose 0 = 58*h - c*h + 1245. Let v = h + 1162. Is v a composite number?
True
Is (-9874)/(-7) - (51/(-21) + 2) a composite number?
True
Let u(y) = 19*y**2 + y**3 - 3 + 5*y**2 + 10*y + 9*y. Is u(-9) composite?
True
Suppose 3155 + 3316 = d. Suppose 8*f = -f + d. Is f prime?
True
Suppose p = -5*j + 2517, 648 = 3*p + 3*j - 6855. Is p a composite number?
True
Let r(d) = -4*d + 23. Let x be r(5). Is 2/x*15258/4 a prime number?
True
Suppose -3*d - 7*j + 2771 = -3*j, 4*j = d - 913. Is d composite?
True
Let c(a) = -6*a**2 + a + 16*a**3 + a**2 + 9 + 6*a**2 + 2*a. Is c(4) prime?
True
Let w = 94171 - 8180. Is w a composite number?
False
Suppose 0 = -6*q + 37*q - 332971. Is q a prime number?
False
Let u = -3296 + 8443. Is u prime?
True
Let y(s) be the first derivative of s**3/3 + 3*s**2 - 10*s - 6. Let l be y(-8). Suppose 0 = -l*t + 5*t + 157. Is t a prime number?
True
Let z(m) be the first derivative of 18*m**3 + 3*m**2/2 + 2*m + 12. Is z(-1) a composite number?
False
Let q(h) = -80*h**2 + 4. Let m(i) = 161*i**2 + i - 7. Let w(y) = 3*m(y) + 5*q(y). Is w(2) a prime number?
True
Let p = 45 - 42. Suppose -y + 134 = p*z, 3*z - 139 = -3*y + y. Is z composite?
False
Let w be 1/(0 + (-3)/(-78)). Suppose -5*t = -t + 5*x - w, -2*x - 8 = -3*t. Suppose -t*a = -5*s + 1069, s - 5*a + 0*a = 197. Is s a composite number?
True
Let o(j) = 3*j**2 - j. Let i be o(-1). Suppose -i = -u, -5*f - 3*u = -510 - 967. Is f a composite number?
False
Let y be (-24)/(-18) - 2/(-3). Is y/(-13) + 3/(195/36215) a composite number?
False
Suppose 0 = 2*g - 3*w - 47855, -2*g = -10*w + 13*w - 47861. Is g a prime number?
True
Let v(l) = 2*l**3 - 5*l**2 + 3*l + 3. Let q be v(2). Suppose -6 = -y - y, q*y + 3230 = 5*j. Is j a prime number?
False
Let u(o) = -9*o + 16. Let n be u(3). Let t(p) = -236*p + 9. Is t(n) composite?
True
Let y(o) = 16*o - 7. Let w(v) = -v**2 - 9*v + 7. Let q be w(-6). Suppose 4*s = -t + q, -5*t - 3 = 2*s - 20. Is y(s) a prime number?
True
Let t(x) be the first derivative of 5 + x + 1/4*x**4 - 5/3*x**3 + 0*x**2. Is t(6) prime?
True
Let s be (4/3)/2*6. Let k be (2 + 2)*(-16 + s). Let y = k + 233. Is y a composite number?
True
Let v be (-1)/(-1 - (-65)/66). Suppose -3*j + v + 89 = -y, y + 2 = 0. Is j composite?
True
Let j(c) = c**3 + 5*c**2 - 7*c - 4. Let m be j(-6). Suppose m*d - 6 = -2. Let h(b) = 90*b - 3. Is h(d) composite?
True
Let p(z) = 230*z - 56. Let s(f) = -77*f + 19. Let t(k) = 2*p(k) + 7*s(k). Let b be t(5). Let j = -217 - b. Is j prime?
True
Let g(u) = -u**2 - 10*u - 8. Let z be g(-7). Suppose 3*i - 12 = -0*i. Is ((-2)/i)/(z/(-4966)) prime?
True
Let k(w) = -w**2 - 6*w - 4. Let l be k(-4). Suppose 0 = -10*y + 179 - 159. Suppose -l*g + a + 2535 =