r a prime number?
False
Let o(k) = k**3 + 2*k**2 - 3*k + 2. Let i be o(-3). Suppose i*v - 6 = -v. Suppose v + 1 = -p, 72 = 4*g + 4*p. Is g a composite number?
True
Let z(a) be the third derivative of -a**5/60 - 11*a**4/24 + 5*a**3/6 + a**2. Suppose 0 = 2*q + 31 - 13. Is z(q) a composite number?
False
Let q(i) = 3*i**3 - 8*i**2 - 11*i - 8. Let l(r) = 5*r**3 - 16*r**2 - 21*r - 16. Let d(j) = -4*l(j) + 7*q(j). Is d(-6) composite?
True
Let v(b) = 18*b**2 + 2*b + 1. Let p(h) = 17*h**2 + 3*h + 2. Let s(d) = -2*p(d) + 3*v(d). Suppose -o = -l - 2, 10 = 3*l + 2*o - o. Is s(l) a prime number?
True
Let x(a) be the second derivative of 13*a**4/12 - a**3/3 - a**2/2 + 2*a. Is x(2) composite?
False
Suppose 6*g = 2*g + 840. Suppose -g = -5*x + 480. Suppose 3*p = x - 27. Is p prime?
True
Let i(b) = -b**2 + 6*b - 4. Suppose o + 3*o = 24. Let c be i(o). Is (12/(-18))/(c/18) a prime number?
True
Suppose 544 = 5*p - 3*b, -6*p + 4*p = -2*b - 216. Suppose 0*k = 4*k - 372. Suppose 5*v + 5*y = p, -4*v + 3*y = 2*y - k. Is v a prime number?
True
Let x be 4/(-2)*(-4942)/28. Suppose 0 = 4*a - x - 651. Is a composite?
False
Let m(x) = -x**3 + 12*x**2 + x + 14. Is m(12) a composite number?
True
Let k = 497 - -620. Is k a prime number?
True
Suppose 2*i + 4*y = -4, y = 5*i - 3*y - 32. Let j(z) = 26*z + 2. Let s(v) = 13*v + 1. Let l(x) = 3*j(x) - 5*s(x). Is l(i) a composite number?
False
Let s(f) = -28*f - 1. Let l(h) = h**2 + 6*h + 4. Let k be l(-4). Let c be 0 + 1 + k/1. Is s(c) a prime number?
True
Suppose p - 200 = -62. Suppose -76 - 39 = 5*z. Let c = z + p. Is c a prime number?
False
Let s(h) = 2*h**3 - 6*h**2 - h + 6. Let k be s(5). Suppose 2*w - k = -0*u - u, w = u + 52. Is w prime?
False
Suppose 0 = 3*p - 2*p - 929. Is p prime?
True
Let v(x) = -2*x - 12. Let y be v(-8). Suppose -y*b - b = -1025. Is b a prime number?
False
Suppose -2*x + 3*l - 4*l = -246, -2*x = -4*l - 226. Is x a prime number?
False
Let w(l) = -l**3 - 1. Let t be w(-1). Suppose t = 4*c - 4*i - 666 - 214, 5*c - 1055 = -4*i. Is c a prime number?
False
Let q = -4 - 277. Let d = q + 586. Is d a prime number?
False
Suppose -5*q - q + 5694 = 0. Is q a composite number?
True
Let f(d) = -d**2 + 15. Is f(0) composite?
True
Suppose 5*r = -164 + 904. Let h = 1 + r. Is h a prime number?
True
Suppose 157 + 34 = d. Is d a composite number?
False
Suppose -k + 5*d - 6 = -2, 2 = d. Let u = k + -17. Let w = -1 - u. Is w a composite number?
True
Suppose 4*j = 16 + 8. Let i = j - -13. Is i prime?
True
Suppose 0 = -4*h - 34 - 294. Suppose 24 = 3*a + 171. Let c = a - h. Is c prime?
False
Is 3/((-33)/(-2323)) + (-10)/55 a prime number?
True
Let c = -7 - -9. Suppose d = -c*d + 9. Is d/(-2 + (-257)/(-127)) a prime number?
True
Suppose 3*y - 2*t - 97 = 0, -2*y - 2*t + 56 = t. Is y composite?
False
Let o(h) = 36*h + 0 - 2 + 1. Let n(x) = x + 7. Let k be n(-6). Is o(k) a composite number?
True
Let z = -2 + 9. Suppose 5*y - 5*b + 10*b - 910 = 0, y + 4*b = 176. Suppose -y = 3*j - z*j. Is j a prime number?
False
Suppose 10*z = -z + 34177. Is z prime?
False
Let a(t) = 2*t**3 - 2*t**2 + 2*t + 2. Let l be a(2). Suppose 4*o + 4*i + 16 = 0, 0 = 4*o - 0*o - 2*i - l. Is -1*(-2 + o) + 36 a prime number?
True
Suppose 0*z = 2*z - 228. Let w be 2 + (-41 - (1 + -3)). Let i = w + z. Is i composite?
True
Suppose 2*u - k + 0 = 2, -4*u - 5*k = -18. Suppose -o - 3 = -u*o. Suppose x + 94 = o*x. Is x prime?
True
Let z(m) = -m**3 + m + 5. Let g be z(0). Suppose 0*r - 3*r = 5*h - 100, 0 = 5*h + g. Is r a prime number?
False
Let m = -441 - -618. Is m a prime number?
False
Suppose 71 - 347 = -6*d. Is d a prime number?
False
Let k(d) = -d**3 + 19*d**2 + 12*d - 39. Is k(9) a composite number?
True
Suppose 2*i - 5 = i. Suppose r - i*r = -100. Is r composite?
True
Let x be -4*(162/(-4) + -2). Suppose -5*m = -10 - x. Is -1 + (m - (-4 - -2)) a composite number?
False
Let f = -1 - -1. Is f - 2/(-2)*19 prime?
True
Let o = 6 + -6. Suppose o*w = -3*w. Suppose -a + 10 + 24 = w. Is a a composite number?
True
Let d be (2 - 6/2)/(-1). Let y be d/3*(8 - 2). Suppose 77 = y*p + 3. Is p a prime number?
True
Suppose r + y = -2*r + 109, -4*y + 112 = 3*r. Let u = 71 - r. Is u a prime number?
False
Let v(o) = 14*o + 1. Let y be v(5). Let s = y - 16. Is s prime?
False
Let y(t) = 47*t**2 + t + 1. Let i(p) = p**2 + 2*p - 1. Let w(c) = 3*c**2 + 5*c - 3. Let u(l) = -5*i(l) + 2*w(l). Let r be u(0). Is y(r) prime?
True
Suppose 0 = 2*f - 75 - 3. Suppose 0 = -6*b + 3*b - f. Let p = b + 27. Is p composite?
True
Let y be (-1)/3 - 410/(-6). Suppose -5*k = x - 132, -3*x - y + 445 = -4*k. Is x composite?
False
Suppose 0 = -p + 488 + 1743. Is p a composite number?
True
Let q(r) = 91*r + 34. Is q(9) a prime number?
True
Suppose 0 = -7*v + 2*v - 3*o + 1, -2*o = 6. Suppose -3*i = y - 918, 874 = 5*i - v*y - 667. Is i prime?
True
Let l(u) = 5*u - 8. Let h be (-81)/(-15) - (-12)/20. Is l(h) a prime number?
False
Suppose -276 = -5*g + 44. Is g + 3/3*3 prime?
True
Let d be (-657)/(-6)*2/1. Let j = 376 - d. Is j composite?
False
Let p(l) = -l**3 - 7*l**2 - 6*l - 2. Let c be p(-5). Is 15630/66 + (-4)/c a composite number?
True
Let z(s) = 106*s**3 - s**2 - 2*s - 1. Is z(2) prime?
True
Suppose -216 = 2*i - 4*l, i + 5*l - l + 84 = 0. Let g = i - -315. Is g prime?
False
Let w be (-210)/4*(-2 - 0). Let d = w + -71. Is d prime?
False
Let s(k) = -5 + 6*k - k + 13*k. Is s(4) a prime number?
True
Let p(o) = -135*o - 1. Let b be p(-2). Suppose -101 = -2*d + b. Is d prime?
False
Let t(m) be the third derivative of 0 + 31/24*m**4 + 0*m**3 - m**2 + 0*m. Is t(1) composite?
False
Let k(a) = a**2 + 2*a + 4. Let s be k(-4). Let i(v) = v**3 - 9*v**2 - 3*v - 7. Is i(s) a composite number?
False
Let z(g) = -g**3 - 4*g**2 - 3*g + 1. Let d be z(-3). Suppose -d = -5*s + 14. Suppose 4*n - 2*a - 37 = -a, -s*n = 3*a - 39. Is n a composite number?
True
Let g = 1 + -3. Let s(f) = f**3 + 3*f**2 + 3*f + 2. Let u be s(g). Is 33/6*2 - u a composite number?
False
Suppose -4*p = -5*l + 10, 0 = -4*p + 2*p + 3*l - 6. Suppose 5*y - 2*y - 12 = p. Suppose 3*g + 4*b - 1 = -15, -3*g = -y*b - 26. Is g prime?
True
Let g be (-6)/3*(-1 + -1). Let j be (-30)/(-2) + (-6 - -3). Suppose -5*c = -g*y + 37 - j, 3*c - 39 = -3*y. Is y a composite number?
True
Is (-2)/(2*4/(-1324)) a prime number?
True
Let f(q) = 2*q + 7. Suppose -3*z = -3*l - 3, z - 23 = 5*z + 5*l. Let p = z - -8. Is f(p) prime?
True
Let f = -4 + 9. Suppose -363 - 272 = -f*c. Is c composite?
False
Suppose -3*t - 21 - 17 = -v, 121 = 2*v + 3*t. Is v composite?
False
Is -1 + 24 - 0/(6/3) a prime number?
True
Suppose 5*h - 2 - 3 = 0. Suppose h = 4*r + 5. Is r*1 - (-15 + 1) a composite number?
False
Let o(u) = 5*u**3 + 11*u**2 + 8*u + 25. Is o(12) a composite number?
True
Suppose -4*v + 69 = -2495. Is v a prime number?
True
Let x = 3 - 3. Let r(o) = o + 2. Let p be r(0). Is 117 + -4 + x + p prime?
False
Let o = -348 - -571. Is o a composite number?
False
Let z(f) = -f**3 + 14*f**2 - 23. Is z(10) prime?
False
Is (-2 - (-1 - 4))*1049 a prime number?
False
Let k(l) be the third derivative of l**6/120 - l**5/12 + l**4/4 - 5*l**3/6 - 2*l**2. Let z be k(4). Is 2 - z - 0 - -7 a composite number?
True
Let b(d) = -d**3 - d + 85. Let a(h) = h**2 + 2*h - 3. Let i be a(-3). Is b(i) composite?
True
Let b(x) = 8*x**3 + 2*x**2 - 5*x + 4. Is b(1) a prime number?
False
Let q = 54 + 475. Suppose -3 = -3*y, q = -0*k + 4*k - 3*y. Is k composite?
True
Let j = -4 + 3. Let z(t) = t + 1. Let g be z(j). Suppose -5*h + 23 + 42 = g. Is h a composite number?
False
Let q = 2 + 1. Suppose q*g = 2*m + 797, 1065 = 2*g + 2*g - 5*m. Is g composite?
True
Let b be -1*1/(3/(-6)). Suppose 5*w - 3*s - 815 = 2*s, -652 = -4*w - b*s. Is w composite?
False
Let y(w) = w**3 - 7*w**2 + 2*w - 9. Let s(l) = 2*l**2 - 2*l - 1. Let n be s(-1). Suppose 4*d - 2*d - 14 = -n*r, 4*r = -3*d + 17. Is y(r) a composite number?
False
Let y(u) = -308*u - 6. Let o(n) = -309*n - 5. Let i(s) = 7*o(s) - 6*y(s). Is i(-2) a composite number?
False
Let g(f) = 11*f + 1 + 0 - 10*f. Let v be g(2). Suppose 2*q - 263 = -5*s, 4*q = v*s + 4 - 141. Is s prime?
False
Let k = -395 + 804. Is k prime?
True
Let o(l) = 3*l**2 - 2*l - 6. Let a(b) = -2*b**2 + b + 6. Let s(i) = 5*a(i) + 4*o(i). Is s(7) a prime number?
True
Suppose -3*j + 25 = 2*j. Suppose 279 + 56 = j*i. 