e 8*q - 63414 = -16030. Is q composite?
False
Let g be 3/(4/((-12)/(-3))). Suppose -332 = -c - g*c. Is c prime?
True
Let t(s) = 45*s**2 + 8*s + 1. Let l be t(4). Suppose 359 = 2*m + 3*n, 3*n = 4*m + 2*n - l. Is m a prime number?
False
Let k(c) = -3747*c - 4. Is k(-6) a composite number?
True
Let x(d) = -3*d - 6. Let c be x(-3). Suppose -c*u = -3*v + 49 + 5, -4*u + 8 = v. Let j = 22 - v. Is j a prime number?
False
Let j(b) = b**2 - 3*b - 5. Let g be j(-2). Suppose -g*s = 2*q - 485, 97 = -3*s + 4*s + 4*q. Is s a prime number?
True
Suppose 84*k - 259162 - 665090 = 0. Is k a prime number?
True
Let y be ((-248)/3)/(4/(-90)). Let p be -2*-3*8/(-12). Is (2/(-6))/(p/y) prime?
False
Let l(j) = j**2 + 5*j + 8. Let v be 1*3/(-3)*-5. Is l(v) a composite number?
True
Suppose -9*c + 70 = -14*c. Let h(q) = -q**2 - 16*q - 20. Let v be h(c). Suppose 3*p = 3*a - v*a + 2323, 0 = 4*p + 16. Is a a prime number?
True
Let j be (-6 - -3)*783/(-1). Suppose 0*h = 4*h - i - j, 0 = 5*h + 3*i - 2932. Is h composite?
False
Let u(n) = -3*n + 83. Let d be u(26). Let m(s) = 48*s**3 - 7*s**2 - 12. Is m(d) prime?
True
Let q(i) = -i**2 + 5*i - 4. Suppose 5*w - 5 = 20. Let a be q(w). Is 2/4*a + 468 composite?
True
Let f(n) = -253*n**3 + n**2 + 5*n - 1. Let t(k) = -2*k**3 - k**2 + 2*k - 1. Let o be t(1). Is f(o) prime?
True
Let h(f) = -f**2 - 7*f - 8. Let n be h(-5). Suppose 0 = -3*j - 3, 5*j + 3 = -i - n. Suppose 0 = -2*l + 5*c + 419, -c + 1007 = 5*l - i*c. Is l a prime number?
False
Suppose -4*r + 9*r = 35. Suppose 0 = r*u - 5*u - 4362. Is u prime?
False
Suppose -90 = -3*k - 33. Suppose 12 = 3*d, -4*d = -2*l - d - 4. Suppose l*x = 5*x - k. Is x composite?
False
Let x be ((-318)/6)/(-1 + (-4)/(-6)). Suppose -8*y + x = -1129. Is y a composite number?
True
Let u(k) = -k**2 - 6*k + 1. Let d be u(-4). Suppose -4*s = -d*s. Is (s - -1)/((-6)/(-1542)) prime?
True
Suppose -2*s + 10 = -7*s. Is (3 - 3) + (21 - s) prime?
True
Let j = -28 + 60. Suppose g + 31 = -5*a, 0*g + 15 = -g - a. Let s = j + g. Is s a composite number?
True
Suppose 4*t - 3*f = 4 + 1, -4*f = -2*t. Suppose -b + 696 = t*b. Is 9/(-2)*b/(-12) prime?
False
Let d be (-5*1)/1 + 0. Let g(a) be the second derivative of -a**3/2 + 7*a**2/2 - 10*a. Is g(d) composite?
True
Suppose 3 = -5*r + 2*o, -r - 3*r + 20 = 4*o. Let g be (0*1/(-2))/r. Suppose 2*m - 5*t - 43 - 41 = g, -t + 2 = 0. Is m a composite number?
False
Let l be (-273)/28 - (-2)/(-8). Let q = l + 12. Suppose q*t - 291 = -t. Is t a composite number?
False
Let t = 2450 + -619. Let h = t - -114. Is h a prime number?
False
Let y(s) = -188*s + 89. Is y(-14) a composite number?
True
Suppose -42*m - 10 = -47*m. Suppose 4*j = m*u + 452, -4*j = -8*j - 3*u + 452. Is j a composite number?
False
Let i(x) be the first derivative of 90*x**3 + 3*x**2/2 - 28*x + 39. Is i(5) composite?
False
Let l(s) = -s**3 - 11*s**2 + 11*s - 15. Let k be l(-12). Let i be k/((-6)/4) - -2. Suppose 2*j + 134 = i*q, -5*q - 5*j + 94 + 96 = 0. Is q a composite number?
True
Let r(s) = 13*s**2 - 3*s - 8. Let y be r(3). Is (3122/5)/(40/y) composite?
True
Suppose 4*q - 15 = -q. Suppose 2*r + q*w - 893 = 0, -2*r + 154 + 745 = w. Is r prime?
False
Let r = 4041 - -18392. Is r a composite number?
False
Let v = -1 + 4. Suppose 4*r - 3*o = 1 - 7, 4*o = -v*r - 17. Let u(s) = -13*s**3 + 2*s**2 - 4*s. Is u(r) a prime number?
False
Suppose 0 = 3*r + 193 + 284. Let a = 1092 - r. Suppose d = 3*m + 410, -4*d = -2*m - 399 - a. Is d composite?
True
Let k be (-112)/(-52) + 6/(-39). Suppose -k = -4*p + 3*p, -3*p = -3*x + 5931. Is x a prime number?
True
Suppose 2*i - 7*i = -5*z - 18725, -i - z = -3753. Is i composite?
True
Let n = -522 + 1429. Is n composite?
False
Suppose -7*y + 18814 = -4*y + u, u - 1 = 0. Is y prime?
True
Let o(r) = r + 11. Let q be o(-9). Let n(z) = -94 + z + 187 - 88 + 100*z**2 - 6*z. Is n(q) prime?
False
Let d(u) = 2*u + 51. Let q be d(-27). Is 20 + 1268 + 1*q a composite number?
True
Let b = 129 + -79. Suppose -2*z = -4*z + b. Suppose u = -0*u + z. Is u composite?
True
Suppose 5*q - 12438 = 3*q. Suppose -8*x - x = -q. Is x prime?
True
Let w(y) be the first derivative of 33*y**2/2 + 28*y + 2. Is w(7) composite?
True
Suppose -3*q + l + 1374 = 2*l, 4*q - 1840 = -4*l. Is q prime?
True
Let v(m) be the third derivative of -49*m**4/6 - m**3/6 - 14*m**2. Is v(-2) a composite number?
True
Suppose -2 = 2*c, 3*a = -c - 3*c + 5. Let h be (a + 4/(-10))*5. Let d = 304 + h. Is d composite?
False
Suppose -d = -2*v - 6 - 4, 4*d = 5*v + 31. Is (d + (-51)/12)*1*-2836 composite?
False
Suppose 31709 + 13204 = 3*p. Is p prime?
False
Suppose 5*f + 1 = -3*h + 21, 5*h + 5*f = 50. Let c be (-12)/(-15) - 12/h. Suppose 3*k + 40 = -2*o + 817, c = 5*k - 4*o - 1295. Is k a composite number?
True
Let k = -427 - -301. Let h be 8 + -9 - (-1)/(-1) - 287. Let d = k - h. Is d composite?
False
Let u(c) = -49*c**3 - 4*c**2 + 5*c + 43. Is u(-6) composite?
False
Suppose -4*x = -29*x + 208475. Is x a prime number?
False
Let l(u) be the first derivative of 119*u**2 + 25*u + 28. Is l(3) a prime number?
True
Let u(l) = 21*l - 2. Let j(t) = 63*t - 5. Let w(i) = 4*j(i) - 11*u(i). Is w(7) composite?
False
Let c = 3685 - -112. Is c composite?
False
Let h(r) = 12*r + 70. Is h(12) a prime number?
False
Let y(c) = 3*c**3 - c**2 + c. Let u be y(-1). Let t(m) = 2*m**2 + 7*m - 3. Let x be t(u). Let j(d) = 22*d + 7. Is j(x) composite?
False
Is 28/21*(-4964184)/(-96) composite?
False
Suppose -36*j = -97*j + 335561. Is j prime?
True
Let q(r) = r**3 - 5*r**2 + 8*r - 5. Let i be q(6). Is 2 - (i*-8 - -3) a prime number?
True
Is 3460/75*183 - (-3)/5 a prime number?
True
Let t(w) = -118*w - 1. Suppose 2*o - i + 9 = 0, 3*o = -o - 5*i + 3. Is t(o) prime?
True
Suppose 0 = 2*h - 73 - 3. Suppose -d - d + h = 0. Suppose 2*v + 1 - d = 0. Is v composite?
True
Let b(j) be the third derivative of -j**6/120 - j**5/10 - 5*j**4/24 - 17*j**3/6 - 7*j**2. Is b(-7) a prime number?
True
Let j = 5647 - 3548. Is j a composite number?
False
Suppose f + 2025423 = 4*o, -3*o + 9*f - 8*f + 1519066 = 0. Is o composite?
False
Is 2 - -3 - (3 - (2439 - -5)) a composite number?
True
Let p be (-150)/(-4) + 12/(-8). Let o be (p/(-54))/(2/(-21)). Suppose -6*z = -o*z + 331. Is z composite?
False
Let g(d) = d**3 + 11*d**2 - 8*d + 36. Let s be g(-12). Let z(r) = r**3 + 13*r**2 - 6*r - 17. Is z(s) a prime number?
True
Let l be (-4 - -1)*(12 - 13). Suppose 3*j - l*g + 3 + 63 = 0, 5*j = g - 118. Let u = j - -211. Is u a prime number?
False
Suppose 2*q - 7*q + 67715 = 0. Suppose -2*s + q = -3007. Suppose -41*n = -46*n + s. Is n a prime number?
False
Let l(j) = -2162*j - 17. Let d be l(-2). Let w = 7188 - d. Is w composite?
True
Let z(k) = 411*k - 55. Is z(8) a composite number?
True
Suppose 66052 - 5758 = 4*y + 2*p, -60289 = -4*y + 3*p. Is y a prime number?
True
Let c(q) be the first derivative of 65*q**2 - 7*q - 12. Is c(2) composite?
True
Let d(w) = -11*w**3 + 3*w**2 + 2*w - 1. Let l be d(4). Let f = 308 + 636. Let j = f + l. Is j a prime number?
False
Let v be (-48)/36*6/(-8). Let k(n) = 876*n**3 - n**2 + n + 1. Is k(v) a composite number?
False
Suppose 158*i = 144*i + 2124038. Is i prime?
True
Let w be -1 - ((-6)/(-2))/(6 - 7). Suppose 5*v - 3*p = 114, -5 = -w*v - 4*p + 25. Is v composite?
True
Let a = -171 + 1678. Is a a composite number?
True
Let t(d) be the second derivative of -d**3/3 - d**2/2 - 3*d. Let r be t(-2). Suppose -393 = -r*s - 0*s. Is s composite?
False
Suppose 4 = 8*m - 6*m, 2*y + m - 2 = 0. Suppose -3*s + 3*z = s - 5336, y = 5*s - 3*z - 6673. Is s a prime number?
False
Suppose -114*m + 2*m = -1860880. Is m prime?
False
Let f(x) = -x**3 + 3*x**2 - 21*x + 44. Is f(-23) prime?
True
Suppose 3*s = -4*y + 243, 0 = -4*s + 2*y + 483 - 137. Suppose -4*t + s = -575. Suppose -2*h - t = -5*h. Is h a prime number?
False
Let i(k) be the second derivative of k**4/12 + 5*k**3/3 + k**2/2 + 3*k. Let n be i(8). Suppose 4*w - n = -b - 0*b, -w + 46 = -3*b. Is w a prime number?
True
Suppose -2*n + 2728 = -3664. Suppose 3*b - 3*q - 2385 = 0, q = -4*b - 3*q + n. Is b prime?
True
Suppose 6*u - 4*u + 24029 = j, 2*u - 96106 = -4*j. Is j a composite number?
True
Let v = -13616 + 19737. Is v a prime number?
True
Let j = -136 + 220. Let w = 139 + j. Is w a composite number?
False
Suppose 5*j - 2*t = 375 - 61, j 