e u(a). Let r = b + 86. Is r a composite number?
True
Let u(q) = -252*q - 2. Let z be u(-3). Suppose -2*b + 688 = -z. Is b a composite number?
True
Suppose -2*u + 0*u = -4. Is 488/4 + u/(-2) a prime number?
False
Let o(a) = 8*a**2 - a - 2 + 58*a**2 + 1. Let h be o(-1). Suppose w - h = -w. Is w a composite number?
True
Let p(l) = -l**2 + 35*l + 1. Is p(17) a prime number?
True
Suppose 0 = 3*h + h - 28. Let m(n) = n**3 - 6*n**2 + 4. Is m(h) a prime number?
True
Let d(f) = -2*f - 6. Let x be d(-4). Suppose 0*o + 2*v = o - 65, 5*o + x*v = 337. Is o composite?
False
Let m be 53*2/6*3. Suppose 0*n + 2*x - 164 = -5*n, -2*n + 56 = 4*x. Let o = m - n. Is o a prime number?
True
Let r = -1 + 1. Let u(l) = l - 51. Let n be u(r). Let t = n + 72. Is t a prime number?
False
Let t = 127 + 52. Is t a composite number?
False
Let g(n) = n**2 + n + 1. Let p(f) = 2*f + 4*f + 0*f**2 + 3*f**2. Let t(y) = -2*g(y) + p(y). Is t(-6) composite?
True
Suppose -27 - 114 = -3*f. Is f a composite number?
False
Suppose -3*f - 5*d = -f, 0 = 5*f + 4*d. Suppose -3*z + 4*j + 8 = f, -3*j + 2 = -10. Suppose z = a - 25. Is a a prime number?
False
Suppose -i + 3 + 6 = 0. Is 2/6 - (-6054)/i a prime number?
True
Let d(h) = -h + 1. Let o be d(1). Suppose o = 5*x + 31 - 416. Is x a prime number?
False
Let u = 19 + -13. Is 3/(-6) + 117/u prime?
True
Let a(r) = 3*r - 15. Let o be a(10). Let g be 68/3 + (-2)/3. Let v = g - o. Is v composite?
False
Suppose 4*l - 2*l - 2 = 0, 0 = -3*q - 3*l + 15. Suppose -3*x - 14 = -q*m, -2*x = 5*m + 3*x. Suppose -2*v + 76 = m*v. Is v a composite number?
False
Suppose 0*k = -2*k + 32. Let r(x) = -x**2 - 8*x + 5. Let o be r(-6). Let y = k + o. Is y prime?
False
Let m(b) = b**3 - 5*b**2 + b - 3. Let h be m(5). Is ((-5)/(-15))/(h/18) prime?
True
Suppose -2*a + 145 = 3*a. Let u = a + -9. Is (-3)/5 - (-1312)/u composite?
True
Let l = -134 + 433. Is l a composite number?
True
Let m = 22 + -13. Let z = m + -7. Suppose 4*g - 2*o = z*o + 180, 0 = g + 5*o - 57. Is g prime?
True
Let r(m) = 6*m**2 - 2*m + 8. Let p be r(-6). Suppose 4*a = -2*g + 73 + 163, p = 4*a + 5*g. Is a a composite number?
False
Let i(q) = 256*q**3 - q**2 + q. Let n be i(1). Suppose 86 = 5*d + n. Is (d/5)/(4/(-20)) composite?
True
Let b = 46 - -43. Is b a composite number?
False
Suppose 5*b + 530 = h + 2187, 5*h = -3*b + 983. Is b a composite number?
False
Let p be 1*-3 - (-4 + 471). Is p/(-4)*(-12)/(-10) a composite number?
True
Let p = 13 + -8. Suppose -4*w + p*k + 112 = 0, -4*w - 2*k + 173 = w. Suppose 2*r - 102 + w = -3*c, -2*c = r - 46. Is c a prime number?
True
Let g(c) = -c**3 - 6*c**2 - c - 6. Let j be g(-6). Let n(r) = -r**2 - r + 709. Is n(j) composite?
False
Let f be (98/(-6))/((-1)/(-3)). Let g = -12 - f. Is g prime?
True
Let g(x) = -169*x - 5. Is g(-6) composite?
False
Let f be 2 + -1 - (0 + -1). Let o be (2 - 33) + 3 + f. Let z = o - -39. Is z a composite number?
False
Let b be -5 + -7 + 1 + 1. Is b + 10 + (0 - -118) prime?
False
Let s be 29/5 + (-2)/(-10). Is (-5)/(-1)*366/s prime?
False
Is (-55)/4*((-10 - -3) + 3) prime?
False
Let d(k) = 6*k - 8. Suppose 5*b = 4*b + 11. Is d(b) prime?
False
Let u = 21 + -31. Let o(s) = -8*s - 11. Let a be o(u). Suppose -r = -3*f + r + 72, 3*f - 3*r - a = 0. Is f a prime number?
False
Let g(n) = -220*n**3 + 11*n**2 + 15*n - 21. Let u(v) = 44*v**3 - 2*v**2 - 3*v + 4. Let p(k) = 2*g(k) + 11*u(k). Is p(1) a prime number?
True
Suppose -2*x - 4*n + 1798 = 0, 2*n + n - 2706 = -3*x. Is x prime?
False
Let m(u) = 21*u**2 + 2 + 11*u**2 - 1 + 4*u**2 - 2*u. Is m(-2) a prime number?
True
Suppose -y - 7 = -2*d, 5*d = -5*y + 7*y + 16. Suppose 0 = d*c + 5*s - 19, -4*c - 3*s + 15 = -2. Suppose 0 = c*z + z - 285. Is z a composite number?
True
Let z(q) be the first derivative of 3*q**3 + q**2 - 4*q + 1. Let g be 1/3 - 32/(-12). Is z(g) composite?
False
Let j(z) = z**3 - 2*z**2 - 2*z - 4. Let s be j(3). Let q(g) = -g + 8. Let f be q(0). Let u = s + f. Is u a prime number?
True
Let z(b) be the first derivative of -b**4/4 + 2*b**3 - b**2 + 5*b - 2. Let o be z(8). Let w = -12 - o. Is w a prime number?
True
Let n(b) be the second derivative of 3*b**4/4 - b**3/3 - b**2/2 + 3*b. Is n(-3) composite?
True
Let z(f) = 0*f + 1 - 3*f + 4*f. Let c be z(5). Suppose g - c - 3 = 0. Is g a composite number?
True
Let b(o) = -14*o + 5. Is b(-6) a composite number?
False
Suppose 0 = 3*n + 1 - 13. Suppose 32 + 476 = n*k. Is k a composite number?
False
Suppose 4*j - h + 16321 = 66384, 4*j - 5*h - 50075 = 0. Is j composite?
True
Let l(w) = 12*w - 21. Is l(9) a composite number?
True
Is 1*-1*(-13 + -54) prime?
True
Let v be (-357)/(-28)*(0 + 20). Let c = -142 + v. Is c composite?
False
Suppose 3*a = a - 8. Let p = 33 - a. Is p a composite number?
False
Let i be 4/2 + (-2 - -5). Suppose -5*s = -2*g - 1269, -g - 1261 = -i*s - 3*g. Is s prime?
False
Let w(u) = -5*u - 16. Is w(-7) composite?
False
Suppose -26 = 5*x - 11. Is 87 - x*4/(-6) composite?
True
Let t = 2 + -1. Let x be (-3)/t + (3 - 2). Is (-4 - 155)*x/6 a prime number?
True
Suppose c - 3*d = 199, 2*c - c = 5*d + 191. Is c composite?
False
Let w be (-9)/(-12) + (-17)/(-4). Suppose 19 = -2*l + 5*d, -4*l + w*d + 4 = 17. Let a(k) = 9*k**2 - 3*k + 2. Is a(l) a composite number?
True
Suppose q + 57 = 1. Let l = 177 + q. Is l a prime number?
False
Let n = 77 + 190. Is n composite?
True
Suppose 0 = 22*j - 40*j + 20718. Is j prime?
True
Let j = -7 + 4. Let c(i) = -13*i**3 - 3*i**2 - 2*i + 2. Let r be c(j). Suppose -7*u + 3*u = -r. Is u prime?
True
Suppose i = -i + 308. Let m = 313 - i. Is m composite?
True
Let k(d) be the first derivative of -d**4/2 - d**3/3 + 3*d - 1. Let p be k(-3). Suppose 37 = c - p. Is c a prime number?
False
Let d(w) = 1220*w**2 - w - 2. Is d(-1) a composite number?
True
Suppose 5*n = -6 + 96. Suppose -n = -c + 16. Is c a composite number?
True
Let t(u) = -10*u**2 + 8*u - 12. Let b be t(-7). Is 1/(-2) + b/(-4) a composite number?
False
Let s(h) = -46*h**3 - h + 1. Let y be s(1). Let v = 77 - y. Is v a composite number?
True
Let n = 6 - 5. Let u be (3/(-1) - n)/(-1). Suppose 0 = -5*j - 5*l + 260, u*l - 261 = -5*j - 0*j. Is j prime?
True
Suppose -4*c + 0*k + 8 = -2*k, k = -4*c + 14. Is 113 - (c/(-3) - 1) prime?
False
Let z = 1 - -1. Let u(x) = 2*x + 3*x**2 - 2*x**z - 1 + x**2. Is u(3) prime?
True
Suppose -2*l - 23718 = -5*w, 12*w + 3*l - 18956 = 8*w. Is w prime?
False
Suppose 5*n + 0*n - 1465 = 0. Is n a composite number?
False
Suppose 5*o + 2*x = 6797, -3*o + 5179 = -2*x + 1088. Is o prime?
True
Let r(v) = 6*v**3 - 4*v**2 - v + 4. Is r(3) a composite number?
False
Let f(x) = x**2 + 7*x - 3. Let h be f(-8). Suppose -4*b = -h*c + 477, -3*c = -c - 2*b - 192. Is c composite?
True
Let o(h) = -h**2 + 3*h + 9. Let y be o(7). Let x = -91 + 193. Let q = y + x. Is q prime?
True
Suppose 0 = -3*h + 5*g + 1566, 0*g - 2117 = -4*h - 3*g. Is h a prime number?
False
Suppose 0 = -4*l + 181 + 379. Let f = 255 - l. Is f prime?
False
Let c be (2 - -20)*1/(-2). Let y(q) = -24*q + 23. Is y(c) a prime number?
False
Suppose 5*p - 4*p = -2*v + 3086, 0 = -3*v - p + 4629. Is v a prime number?
True
Let d(u) = u**2 - u - 2. Let r be d(2). Suppose -w + 13 + 9 = r. Is w prime?
False
Let k(b) be the third derivative of b**6/120 + 7*b**5/30 + 2*b**4/3 + 11*b**3/6 + 4*b**2. Is k(-10) a prime number?
True
Is 16840/24 - (4/6 + 0) composite?
False
Let h(d) = 9*d**2 - 4*d - 3. Let i be h(-2). Suppose -n - 6 = -i. Is n composite?
True
Let m = 27 + -15. Suppose -2*z + 86 = m. Is z composite?
False
Let j(m) = -m + 1. Let d(k) = -86*k - 1. Let x(h) = -d(h) - 2*j(h). Is x(1) a composite number?
True
Suppose 5*c - 5*i + 205 = 0, -3*i = 2*c - 0*i + 72. Let o = c - -94. Is o prime?
False
Let c = 2223 - 1072. Is c prime?
True
Suppose -5*d - 3*m + 3563 = 285, 1308 = 2*d + 2*m. Let t = d + -395. Is t a composite number?
False
Suppose 0 = -4*j + 2*v - 6*v - 4, -3*j + 2*v = 23. Is (j/2)/((-4)/24) composite?
True
Let j be (-3)/((-3)/(-7)) + 1. Let l(f) = f - 15. Let a be l(11). Let v = a - j. Is v prime?
True
Let n(i) = i**2 - 3*i + 3. Let d(b) = 4*b - 1. Let o be d(1). Let p be n(o). Is 69*(6 - 3)/p prime?
False
Let o(j) = -j**3 + 5*j**2 + 6*j + 2. Let k be o(6). Suppose -3*l = 4*m - 223, 4*l + 65 = -k*m + 179. Is m prime?
False
Suppose -4*m = 3 - 15. Suppose -2*d = m*d. S