) = 6*k**2 + 3*k + 10. Suppose 9*m - 4*m - 2*t + 35 = 0, 4*m + 5*t = 5. Let s(j) = m*q(j) - 4*b(j). Is s(13) prime?
True
Let a(i) = -4*i - 17. Let b be a(-6). Suppose 4*l + 3*g = b, 4*l = 6*l - g - 11. Suppose 0 = 5*x - 2*u - 1009, -5*u + 191 = l*x - 3*x. Is x a prime number?
False
Suppose 3*r = 2*v - 13 - 24, v - 29 = -2*r. Let z = v + -22. Is (-576)/(-3 - 1) + z a composite number?
True
Suppose x - 669 = -2*n, 3*n = 6*x - x - 3345. Suppose -983 = -4*c + x. Is c a prime number?
False
Suppose 0 = 7*s + 2660 + 1533. Let p = -228 - s. Is p composite?
True
Let r(m) = m**2 - 14*m - 15. Let o = -3 + 18. Let y be r(o). Suppose 3*x = -l - y*x + 1658, -x = 4*l - 6621. Is l prime?
False
Let m = 13750 - -2976. Is m composite?
True
Let y be (3 - 314)/((-2)/4). Suppose 3*z = -19 + y. Is z composite?
True
Let o(j) = j**3 - 5*j**2 - 8*j + 5. Let x be o(6). Let h(q) = -31*q - 18. Let b(z) = 32*z + 17. Let r(a) = -6*b(a) - 5*h(a). Is r(x) a composite number?
True
Let p(j) = -j**2 + j + 13. Let m be p(-11). Let o = -171 - m. Is 1/4*(-8 - o) prime?
True
Is (-9)/(-18)*28414*(1 + 0) prime?
True
Suppose 0 = 3*v - o - 15 + 36, -15 = v - 3*o. Let h be v/(-2) + 0 + -1. Is (8 - 11)*(-118)/h a prime number?
False
Let r be -1*2/1 - -4. Is r/2 - 9648/(-8) a prime number?
False
Suppose b = 4*h - 5*h + 9231, -4*h - 2*b + 36916 = 0. Is h composite?
False
Suppose -6*f + 5*c - 25352 = -8*f, -2*c = -3*f + 38009. Is f prime?
True
Let g be ((-13070)/30)/(1/(-6)). Let w = g + -921. Is w composite?
False
Let h = -3226 - -7929. Is h prime?
True
Suppose 4*l - 5*w - 106960 = 0, -47*w + 53454 = 2*l - 43*w. Is l composite?
True
Let l = -28 + 34. Suppose 1729 = 3*c - 4*h, l*h - 2*h + 563 = c. Is c a prime number?
False
Let t be (-20)/(-6)*(3 - -48). Suppose 0 = -5*n + t + 245. Is n composite?
False
Let p be (-74)/10 - (-10)/25. Let g = p + 4. Is 146 - g/2*2 a prime number?
True
Let q = 353 - 130. Let b = q + 36. Is b prime?
False
Let w(g) = -18*g**3 + g**2 + g + 9. Is w(-3) a prime number?
False
Let a = -40 - -46. Suppose -a*r = -13*r + 938. Is r prime?
False
Is (-380 + (-24)/8)/(1/(-29)) prime?
False
Let b = -61 - 21. Let f = b + 165. Is f prime?
True
Let q(z) = -138*z. Let u be q(-2). Suppose -1518 = -2*n - u. Suppose 6*h - 885 - n = 0. Is h prime?
True
Let l(p) = p**2 - 8*p + 15. Let x be l(6). Suppose 447 = -x*m + 6*m. Is m prime?
True
Is (-11 - -8)/((-3)/11243) composite?
False
Suppose 0 = 14*u - 20*u + 24426. Suppose u + 254 = 5*y. Is y composite?
True
Let l be (-8)/6*6/(-4). Suppose -l*r - 6 = 6. Is 0 + 51/(-6)*r composite?
True
Let w(s) be the third derivative of 19*s**4/4 - 11*s**3/6 - 24*s**2 + 4*s. Suppose -18 = -a - 2*a. Is w(a) a prime number?
True
Let z = -15543 - -28360. Is z a composite number?
True
Suppose -2*j - j = 3*a - 5835, 20 = -5*a. Is j a composite number?
False
Suppose 0 = 9*a - 10*a + 599. Suppose -2*k + a = y, 7*k + 2*y - 899 = 4*k. Is k prime?
False
Let g(h) = h + 15. Let w(d) = -12*d**2 - 2*d - 1. Let x be w(-1). Let b be g(x). Suppose -3*c + 658 = b*f, 5*f - 351 = -5*c + 474. Is f prime?
True
Let x = -22 - -22. Suppose x*t = 2*t - 24. Suppose t*v - 653 = 11*v. Is v a composite number?
False
Let l(o) = 13*o**2 + 3*o + 1. Let u be 26/4*28/(-14). Is l(u) a composite number?
True
Let h = 1 - -3. Let f(n) = -11*n + 4*n - 3*n + 4 - h*n. Is f(-5) a composite number?
True
Let q(a) be the first derivative of -a**4/4 - a**3/3 + a**2 + 697*a - 4. Is q(0) a prime number?
False
Suppose -6 = -4*p + 3*n, -6*p + 3*p - 2*n = -13. Suppose p*b - 16 + 1 = 0. Suppose b*f = -0*f + 345. Is f a composite number?
True
Let x be 54/(-21)*(-98)/21. Suppose 5*r = -h + 4*h + 6044, 0 = 4*h + x. Is r a composite number?
True
Let r(s) = 10*s**3 - 4*s**2 - 2*s - 3. Let p be r(5). Suppose -p = a - 4*a. Is a prime?
True
Suppose -4*p + 3464 + 564 = 0. Let o be p/19*(-1 + 5). Suppose o = 4*d - 0*d. Is d prime?
True
Let j = -8704 - -18927. Is j composite?
False
Let i = 3155 - 148. Is i a prime number?
False
Let y = -1 - -3. Suppose 4*j + 8 = -4*q, 4*j + y - 24 = 2*q. Suppose k + j*k = 1052. Is k composite?
False
Suppose -9*r + 6516 = 423. Let l = 474 + r. Is l prime?
True
Let j = -148467 + 262732. Is j a prime number?
False
Suppose -72*y = -155 - 61. Let v(x) = 36*x**3 - 3*x**2. Let a be v(2). Suppose y*l - 951 = 3*n - a, -4*l + 896 = -3*n. Is l a prime number?
False
Suppose 0 = -0*g - 5*g + 16860. Let o = g - -1685. Is o a prime number?
False
Let o = 91 + -94. Let d(k) = 24*k**2 - 2*k + 4. Is d(o) a composite number?
True
Let a(t) = t + 4. Let n be a(-2). Let y be (5 + -7)*(-153)/n. Let g = 218 - y. Is g a prime number?
False
Is ((-4)/(-6))/((-50)/(-335025)) prime?
False
Let i(h) = -h**2 - 4*h + 3. Let o be i(-4). Let v(j) = 14*j**3 + j - 2. Is v(o) a composite number?
False
Let o(m) = 944*m**2 + 10*m + 5. Is o(-2) prime?
True
Let q(t) = 14866*t**2 + 1. Is q(1) prime?
True
Suppose 0 = -50*h + 20818 + 19932. Is h prime?
False
Suppose -5*u + 4 = -6. Suppose 3 = t - u. Let k = 48 + t. Is k composite?
False
Let v(a) = 51*a**2 - 2*a + 10. Let l be v(-13). Suppose 2*m = x - 1124 - 599, 2*m = 5*x - l. Is x composite?
False
Suppose 0 = -3*z + 4*b + 4725, -3*z + 4*b = -b - 4728. Is z composite?
False
Let w(y) = -y - 1. Let f(g) = 36*g - 18. Let z(j) = f(j) + w(j). Let n be (-2)/7 + (-1026)/(-63). Is z(n) a composite number?
False
Suppose -5*t - 15 = 2*d - 6*d, -d - 4*t - 12 = 0. Suppose d = -r + 5*r. Suppose 0 = -r*n + n - 647. Is n prime?
True
Suppose -2*s - 4 + 2 = -4*a, a + 4 = -4*s. Suppose a = -3*c + 231 + 807. Suppose 0 = -2*f - m - 2*m + 697, -f + c = m. Is f a composite number?
True
Suppose -4 = -0*o - 2*o. Suppose 8 + 20 = o*h. Let k = 33 - h. Is k composite?
False
Suppose -5*b + 113 = -0*b + v, -b = -5*v - 7. Let k be b/99 - (-4820)/18. Suppose 5*l - 3*l = k. Is l a prime number?
False
Suppose p = -2, l - 3*p + 1 = 7. Suppose -2*v + l*v = 0. Suppose v = 4*o - 7 - 141. Is o composite?
False
Suppose 0 = -t - 34 - 228. Suppose -7*n + 401 = -8*n. Let s = t - n. Is s composite?
False
Suppose 0 = -5*c + 2*d + 15179, 6415 = 5*c + 3*d - 8779. Is c a prime number?
True
Let j be (-36)/5*-52 + 8/(-20). Suppose 0 = 3*i - 691 - j. Is i prime?
False
Let w(c) = -6*c - 4. Let g(u) = u + 1. Let q(f) = 3*g(f) + w(f). Let i be q(-1). Is 500/i + -1 + -2 composite?
True
Suppose 0 = -4*i - 4*j - 72, -2*i + j = -0*i + 45. Let k be (-4)/6*i/14. Is (-1 - (-4)/k)*59 composite?
True
Suppose 85768 + 96813 = 7*w. Is w a prime number?
True
Let u be ((-282)/8)/((-2)/(-8)). Let t = 420 + u. Let p = t - -248. Is p prime?
False
Is (-2)/3*(-11 - (-79556)/(-8)) a prime number?
True
Suppose -32*s - 13379 + 233091 = 0. Is s composite?
True
Let o(j) = 298*j - 5. Let n(q) = 2*q**2 + 7*q + 7. Let a be n(-2). Is o(a) prime?
True
Suppose -142696 = 9*j - 49834. Let r = 15665 + j. Is r a prime number?
True
Is ((-1)/1)/(211/(-14508149)) a prime number?
False
Let m(t) = 3013*t + 6. Suppose -4*q = -18*q + 14. Is m(q) composite?
False
Let u(t) be the first derivative of 2*t**7/21 - t**4/24 - t**3/3 - 5. Let w(i) be the third derivative of u(i). Is w(1) a prime number?
True
Suppose -2*k + 17 = -j, 0 - 24 = 2*j + k. Let w(t) = -7*t**2 - t + 4. Let z be w(-3). Let i = j - z. Is i a prime number?
True
Let w(g) be the first derivative of -g**2 - g + 5. Let l be w(1). Is l/5 - 4992/(-20) a composite number?
True
Suppose -5*d - 2*z = -41, 3*z + 0*z - 9 = 0. Suppose 2 = -2*v + 6, -y = -v + d. Is ((-28)/10)/(2/y) composite?
False
Let k(g) = -2 - 5*g + 447*g**3 + 4*g + 2. Is k(1) a composite number?
True
Suppose -y - 10*y = -165693. Is y composite?
True
Is (-1)/(-11) + (-4211060)/(-770) composite?
True
Suppose -5*v = 4*l - 25235, 53*v = 56*v + l - 15148. Is v composite?
False
Let g be (-1)/(-2*4/(-152)). Let r = g + 18. Is 254*7/(-2)*r prime?
False
Let g(n) = -469*n + 5. Is g(-6) prime?
True
Suppose 2*b - 12 = -o + 2*o, b - 2*o = 9. Is 3 - (3 + b)*-56 a prime number?
False
Let q(j) = 11*j**2 - 4*j. Let y = -47 - -54. Is q(y) composite?
True
Suppose 5*t + 4*v - 16123 = 5638, 3*t - 5*v = 13027. Is t composite?
False
Let o be -3 - (-8 - -4 - 1403). Suppose 3*b - o = 75. Is b a prime number?
False
Let y be 100/8 - 3/6. Let c be (184/y)/((-8)/(-12)). Suppose 5*o = 15, -5*o + 323 + c = f. Is f a prime number?
True
Let b be 7 - -1 - (-12)/(-3). Suppose