Let a be n(6). Suppose -2*d = 3*j - 171, -2*j + a*d = 2*d - 114. Is j prime?
False
Let k be (-18)/(-8) - (-5)/(-20). Suppose 0 = -4*o - t + 6 + 10, 0 = 2*o + 5*t - 8. Suppose -o*a - k*g = -58, 4*g = -2*a + 2*g + 30. Is a a prime number?
False
Suppose -x = -2*x + 38. Let p be x/8 - 1/(-4). Suppose 0 = -i + b + 178, 0 = -3*i + p*b + 88 + 448. Is i composite?
True
Let z(q) = -14*q - 2 + 5 - 4. Let n(m) = -m**3 - 15*m**2 + 14*m - 33. Let d be n(-16). Is z(d) composite?
False
Let m(n) = 14*n**2 - 4*n - 11. Is m(-8) a prime number?
False
Suppose o = 5*o. Is o - (-2)/(4/446) a prime number?
True
Let z(j) be the third derivative of -j**6/120 + j**5/20 + j**4/2 + 5*j**3/6 + 2*j**2. Is z(-6) a composite number?
False
Let s be (-2)/(-9) - (-80)/45. Suppose s*i - 15 = -i. Suppose -487 = -i*r - n, -2*r + 3*n = r - 285. Is r a composite number?
False
Suppose 0 = -w - 3*w - 8. Let s = w - -1. Is (1/s - -3) + 91 a composite number?
True
Let s(i) = -4*i - 2. Let k(t) = t - 1. Let z(q) = 3*k(q) + s(q). Let p be z(-5). Suppose -4*a + 4*n = n - 67, p = -a - 2*n + 3. Is a a composite number?
False
Let f = -10 - -15. Suppose 5*g - 4 = -f*n + 11, 5*n = -2*g + 3. Is 2*2*47/g a prime number?
True
Suppose -4*n = -5*l - 6*n + 68, 5*l = n + 71. Let j(c) = c + 6. Let r be j(0). Suppose -l - r = -2*y. Is y prime?
False
Suppose 0 = -4*q - 3*w + 1436, 234 - 1311 = -3*q - w. Is q a composite number?
False
Let y be ((-4)/(-3) - 1)*6. Suppose p - 159 = 4*u, -p + y*u = p - 294. Is p a prime number?
False
Suppose 0 = 3*k - 0 - 3. Let y(b) = -4*b - 6 + 2 - 2 - k. Is y(-10) a prime number?
False
Suppose 3*h - 115 = -2*h. Is h composite?
False
Suppose 0 = -5*r - h + 155, 5*r + 5*h = -48 + 223. Suppose -2*d + r + 52 = 0. Let p = 63 - d. Is p a composite number?
True
Suppose -3*x - 3*q + 54 = -0*x, -q - 47 = -4*x. Is x prime?
True
Let f(y) = -4*y - 14. Let g be f(6). Let x = g - -69. Is x a composite number?
False
Let d(l) = 2*l. Let f be d(1). Suppose -f*z = -6*z + 476. Is z composite?
True
Suppose 5*q = -5 - 5. Let u be 2/q + (1 - 1). Is (2 + -3)*(-11 - u) composite?
True
Suppose 0 = 9*g - 8*g - 629. Is g a composite number?
True
Let r = -136 - -348. Let l = 201 + -54. Let p = r - l. Is p a prime number?
False
Let w = 3 + -6. Let p(c) be the second derivative of -c**5/10 + c**4/12 + c**3/2 + c**2/2 - c. Is p(w) a prime number?
False
Let x be (-1 + 0)/(2/12). Let y(j) = -12*j + 7. Is y(x) prime?
True
Suppose -2*s + 4 + 4 = 0. Let j be 207/12 - 1/4. Suppose -2*l + 3*l - s*v - 21 = 0, 2*v = l - j. Is l a prime number?
True
Let x = -4 + 6. Let a(v) = 40*v**3 + 2*v**2 + 2*v - 1. Is a(x) prime?
True
Is 20/15 - (-11578)/6 a prime number?
True
Let q = -34 - -48. Let r be (-3)/((-12)/q)*-6. Is 11*r/9*-3 a composite number?
True
Let j = -16 - -23. Let v(f) be the third derivative of 7*f**4/12 - f**3/2 + 8*f**2. Is v(j) a prime number?
False
Let a be 0 + (-1 - 1)*-1. Let r be -39 - (4 + a)/2. Is ((-15)/6)/(3/r) a prime number?
False
Let o be ((-24)/(-2))/(9/12). Let z = o - 91. Is (-2 + z/2)*-2 prime?
True
Let t(w) = -w**2 + 4*w - 4. Let f be t(3). Is (f - 7 - -1)*-2 composite?
True
Let r be (1*4)/((-2)/(-1)). Suppose r*z = -61 + 163. Is z a composite number?
True
Let l = -6 - -4. Let q be ((-2)/4 - l)*2. Suppose 2*m = 5*g + 40, g - 2*g = q*m - 77. Is m a composite number?
True
Let k be (50/(-1) - 3) + 3. Let x = 77 - k. Is x composite?
False
Suppose -n = -6*n + 1265. Is n prime?
False
Is (-11 - -21)/(2/11*1) a prime number?
False
Let t = 61 - 14. Is t a composite number?
False
Suppose 2*t - 2076 = 1336. Is t composite?
True
Suppose 4*w = 2*k + 14, -4*w = k + 3*k - 20. Let g(t) = 49*t + 7. Is g(w) a composite number?
True
Let q(v) = -v**3 - 3*v**2 + 2*v + 1. Let c(s) = -s**2 - 1. Let b be c(2). Let f be q(b). Suppose -j = t - f, 0*t - 8 = -2*t. Is j a prime number?
True
Let w(i) = i**3 + 8*i**2 + 8*i + 3. Let u be w(-7). Let m = 57 + u. Is m composite?
False
Suppose 0 = d - 1. Suppose -v - 3*t + 2*t = -d, 4*t = -4. Suppose v*z - 5*m - 134 = 0, -3*m = -5*z - 0*m + 373. Is z composite?
True
Suppose j = -4*j + 110. Let v = 61 - j. Is v a composite number?
True
Let b = -13 - -13. Suppose b = -q + 2 + 95. Is q a prime number?
True
Let q = -19 - -9. Is (-2)/q + (-2442)/(-15) prime?
True
Let l(p) = -p**3 + 11*p**2 - 13*p + 9. Is l(8) composite?
False
Let u(m) = -3*m - 8. Let x be u(6). Let n = x - -121. Is n composite?
True
Suppose -4*r = h - 2221, -2*r = 4*h - 839 - 289. Is r prime?
False
Suppose -5*w + 12119 = 3729. Suppose -2*v + w = 4*z, -5*z - 2*v + 2092 = -5*v. Is z composite?
False
Suppose -4*o - 2*i - 44 = 0, -2*o + 0*i = 2*i + 18. Let d = -177 + 248. Let w = d + o. Is w a composite number?
True
Suppose 0*o + 312 = -4*o. Let l = -114 - o. Let i = l - -73. Is i composite?
False
Let z(n) = 114*n**2 + 2*n - 1. Let u = -13 - -20. Suppose 4*l + 2*g - 4 = u*g, 5 = 5*l + 4*g. Is z(l) a composite number?
True
Let y be (66/(-15))/(1/(-35)). Let c = y + -12. Is c a composite number?
True
Let l(w) = -4*w**2 + 4*w + 5. Let r(n) = n**2 - n - 2. Let u(a) = -2*l(a) - 7*r(a). Is u(-5) a composite number?
True
Suppose -410 = -17*n + 12*n. Is n a prime number?
False
Suppose 0 = -3*x + 12. Suppose f - 2*f + x = 0. Suppose 2*p - 190 = -5*r, -4*r + 3*r + 344 = f*p. Is p prime?
False
Let c be -68*(12/4)/(-12). Let h(m) = -m**3 - 4*m**2 - 5. Let t be h(-5). Suppose c = z - t. Is z prime?
True
Suppose 0*v = 2*g - 3*v - 24, 4*g - 40 = 2*v. Let r = -4 + g. Suppose -99 = -r*c + 4*d, -4*c + 84 = -4*d + 2*d. Is c composite?
False
Let p = 108 + -70. Suppose -9*q = -4*q - 120. Let t = p - q. Is t prime?
False
Suppose 5*o + 335 = p, 3*p - 5*p = 4*o - 726. Is p prime?
False
Let w(l) = 110*l**2 + 3*l**2 + 2 - 2. Is w(1) composite?
False
Suppose 2*h - 8 = -0*h, 2*h = 3*b - 1. Suppose -4*u = -4*f - 2 + 66, -80 = -b*f - 5*u. Suppose l - 7*z - 22 = -3*z, -l + f = -3*z. Is l prime?
False
Let f(r) = r - 3. Let d be f(3). Suppose d = 3*o - 7*o - 56. Is (o/(-5))/(2/10) prime?
False
Suppose g - 902 - 821 = z, -15 = 3*z. Is g prime?
False
Let z be ((-10)/4)/(-1)*-2. Let t(i) = -4*i + 3*i**2 - 6 - 3*i - 3*i**2 + 2*i**2. Is t(z) composite?
False
Suppose -4*u + 288 = -u. Suppose 284 = 4*a - u. Is a a prime number?
False
Let p be (-42 + (-2)/(-1))/(-2). Is p/(-110) - (-8109)/11 a composite number?
True
Let s(x) = 31*x - 2. Let t(d) = -d**2 + 6*d + 10. Let v be t(7). Is s(v) a prime number?
False
Suppose 4*t = -5*r + t + 57, 2*t - 35 = -3*r. Let w(x) = x + 22. Is w(r) a composite number?
False
Let v(t) be the third derivative of 1/3*t**3 + 0*t + 0 + 3*t**2 + 3/20*t**5 + 1/12*t**4. Is v(3) a prime number?
True
Suppose -l = m + 3*m - 168, 5*l = 3*m - 149. Is m prime?
True
Let a = -50 + 103. Is a prime?
True
Let y = 1078 - 543. Is y prime?
False
Let y(f) = 2*f**2 + 10*f + 39. Is y(17) prime?
True
Suppose 3*z - 8*z = -1775. Is z composite?
True
Let p = 7 - 11. Let q be (p + 6)/((-1)/4). Let j(m) = -m**2 - 11*m - 9. Is j(q) a prime number?
False
Suppose -3*c + 120 = -327. Is c a composite number?
False
Suppose 4*z + 985 = 3*i, -5*z = -z - 20. Is i a composite number?
True
Suppose 5*t - 2*z = 4723, -z + 1 = 5. Suppose r = 5*k - t, -k + 576 = 2*k - 4*r. Suppose 4*i = 5*y + k, 3*y - 155 = -5*i + 80. Is i composite?
False
Suppose 0 = t - 3 - 2. Suppose 4*y = 5*j + 385, 0 = -t*y + 3*j + 512 - 34. Is y prime?
False
Let o = 1565 - 665. Let q = o - 637. Is q a prime number?
True
Let u be 2 - (3 + -1 + -4). Suppose u*n - 193 = 123. Is n a prime number?
True
Let o be 7 + (-4 - (0 - 2)). Let r(y) = 5*y**2 + 6*y. Is r(o) a composite number?
True
Let u(q) = -3*q**2 + 3*q**2 - 1 + 5*q**2 + 2. Let o = 3 - 2. Is u(o) prime?
False
Suppose -4*v - 8 = 0, -192 = -3*o - 2*v + 293. Is o prime?
True
Let h(f) = -f**3 + 6*f**2 + 2*f + 8. Let x = -14 + 20. Let y be h(x). Suppose -2*z + 0 + y = 2*d, -2*d - 4*z = -26. Is d composite?
False
Suppose -m - 1454 = -5*m + 3*q, 3*m - 1085 = 5*q. Is m composite?
True
Let d be ((-16)/(-2))/((-12)/18). Is 4/d - 160/(-3) prime?
True
Suppose -6*d + 3*d = -993. Is d a composite number?
False
Is -10299*(3/9 + (-10)/15) composite?
False
Let m(w) = -w - 4. Let y be m(-6). Let k = -7 + 21. Suppose 3*v - 27 = -y*z + k, 4*v = 2*z + 64. Is v prime?
False
Let r(h) = h. Let n be r(7). Let j = -4 + n. Is j a composite number?
False
Let c(t)