(h) = 3*h**2 - 11*h + 5. Let k(o) = -2*o**2 + 10*o - 6. Let i be ((-2)/4)/((-4)/24). Let x(p) = i*m(p) + 4*k(p). Is x(-9) a composite number?
True
Is (9/(-27))/(1/(-237)) composite?
False
Let c(z) = 48*z**2 + 3*z + 5. Suppose -24 = 2*d - 5*n, 0 = 5*d + 6*n - n - 10. Is c(d) a composite number?
False
Let q be 1 + (-1)/1*1. Let r = 4 - q. Suppose -r*b = -d + 48 + 43, -4*d + 364 = -b. Is d a prime number?
False
Let c(t) = -470*t**3 + 3*t + 2. Is c(-1) prime?
False
Suppose -4*s = -3*j + 12, 4*s + 4*j = 25 - 9. Let g be 247/(-3) + (-2)/(-6). Is s/(-2) - (3 + g) prime?
True
Suppose 2*p = 37 + 75. Let k = p + 85. Is k a composite number?
True
Suppose -2 = v - 4. Suppose -v*z = -3*z + 60. Suppose -z = -3*h + 171. Is h a composite number?
True
Let f = 209 + 128. Is f prime?
True
Suppose -2*i = 7*g - 2*g + 246, 2 = g. Suppose 11*j = 9*j - 414. Let r = i - j. Is r composite?
False
Let s(h) = 2*h**3 - 4*h**2 + h + 3. Let v be s(3). Is (-16)/v + (-862)/(-6) a prime number?
False
Is 3/(-9) + 2010/9 a composite number?
False
Suppose -5*q - 179 = -2374. Is q a prime number?
True
Let v = -790 + 1327. Is v a prime number?
False
Let d(v) = -v**2 - 2*v - 69. Let j(q) = 4*q**2 + 7*q + 208. Let i(t) = -7*d(t) - 2*j(t). Let m(p) = -p**2 - 5*p - 4. Let o be m(-4). Is i(o) a prime number?
True
Suppose -2*b = b - 942. Let k = b - 186. Suppose k - 393 = -5*i. Is i composite?
False
Let d = 82 - 51. Is d prime?
True
Suppose 3*u + 23 = 8, j = -3*u + 982. Is j a prime number?
True
Suppose -2*j + 204 = 2*j - 2*f, -5*j + 255 = 4*f. Suppose -3*d + 186 + j = 0. Is d composite?
False
Suppose -4*l + 379 = -3*l. Is l a composite number?
False
Suppose -4*h - 4*f = -84, -h + 2*f = 4*h - 77. Suppose -3*d - 4 = h. Let s = 13 + d. Is s a composite number?
True
Let u(d) = d**2 + 4*d - 5. Let r = -1 - 5. Is u(r) a prime number?
True
Let y = -5 + 27. Let v be 5/(10/(-6)) + y. Suppose 108 + v = t. Is t composite?
False
Let i = 4 + 0. Suppose 34 = i*z + 6. Let w(h) = h**3 - 7*h**2 + 4*h - 9. Is w(z) composite?
False
Let i(o) = -13*o + 1 - 5 + 0. Let y = -2 + -1. Is i(y) a prime number?
False
Let x(v) = v - 17. Let h be x(14). Is h/6*2 + 332 a composite number?
False
Suppose -w = -3, w - 1745 = -f - f. Is f a composite number?
True
Suppose p = -3*p + 8. Suppose 0*r = -r + p. Is (-1)/(0 + r/(-430)) a prime number?
False
Let j(o) = o**3 + 2*o**2 - 4*o - 4. Let a be j(-3). Let f(r) = 21*r**2 + r. Let u be f(a). Is (u/6)/(3/9) prime?
False
Let k(m) = 2*m + 18. Let q be k(10). Let b = 29 + q. Is b a prime number?
True
Suppose 4*m + 56 = 4*a, -4*a - 6 + 52 = -2*m. Let v = a + 11. Suppose -3*d = -d - v. Is d a prime number?
False
Let b(q) = 2*q - 3. Let f be b(4). Suppose 0 = 6*c - f*c - 37. Is c composite?
False
Let a = 964 - 633. Is a prime?
True
Is -2*(((-5300)/(-8))/(-5) + 1) composite?
False
Let n = 36 - 30. Suppose 2*d + 796 = n*d. Is d prime?
True
Let j(n) = 5*n**2 + 5*n + 7. Suppose -3*v = -6, 4*o - 8 = v - 34. Is j(o) prime?
True
Suppose 2*r = -3*r + 10. Suppose -r*v = h - 97, -4*h = -h - v - 263. Is h composite?
False
Suppose -40 = -8*a + 4*a. Suppose a*w - 270 = 5*w. Suppose -34 = -x - 5*s, 0*x - 3*s + w = 3*x. Is x a prime number?
False
Let v be ((-1)/2)/((-1)/2). Suppose 0 = -6*x + 32 + 4. Is v + 52 + -6 + x composite?
False
Let j = 41 - -196. Is j prime?
False
Suppose -140 = -2*v - 2*v. Is v prime?
False
Suppose 0 = -4*a - 11 + 35. Suppose 2*i = 2*w + a*i - 198, -4*w + 4*i + 348 = 0. Is w a prime number?
False
Suppose 11*c = -6*c + 29767. Is c a prime number?
False
Suppose 22 = t + 5*v, -29 = -5*t + 2*v - 0*v. Let x(p) = p - 5. Let n be x(t). Suppose -3*y = n*y - 275. Is y composite?
True
Suppose 16 = o + o. Suppose -3*l = -o*l + 1325. Is l a prime number?
False
Let w = -244 - -373. Is w prime?
False
Suppose 6*n + 68054 = 20*n. Is n a prime number?
True
Is -2 - 3/((-12)/44) a prime number?
False
Let d be -1*7 + (1 - 2). Let r be 15060/d*4/(-6). Suppose 6*n - n = r. Is n a composite number?
False
Suppose 5*c + 1 = 6*c, -2592 = -p - 5*c. Is p prime?
False
Suppose n = 3*n + 4, -5*c - n - 7 = 0. Let q = 10 - c. Is q a prime number?
True
Let y(t) = -43*t - 1. Let v = -4 + 1. Let s be y(v). Let q = s + -45. Is q prime?
True
Let l be 51/15 + (-6)/15. Suppose -a + 26 = -l*y + 4*y, -5 = a. Suppose 5*m = y + 79. Is m a composite number?
True
Suppose h + 3*u - 493 = -u, -3*u = 5*h - 2516. Is h a composite number?
True
Suppose 0 = -c - 0*c + 15. Is c composite?
True
Suppose 441 = 4*r - 23. Suppose 2*b = r + 120. Is b a composite number?
True
Let n = -286 - -2441. Is n a prime number?
False
Suppose -8 = w - 3*w. Suppose -w*q + 2*q = -710. Suppose -a + p = -113, 5*p = -a - 2*a + q. Is a prime?
False
Let i be 2 - (1 - 724) - -2. Suppose 5*d = -n + i, 2*d = n - 3*d - 687. Is n a prime number?
False
Suppose -166 = -2*p + 4*y, -3*p + 350 = p - 2*y. Is p a prime number?
True
Let m(f) = -341*f**3 + f**2 + f - 1. Let b be m(1). Let j = b + -149. Is j*(10/6 - 2) a composite number?
False
Suppose -4*z + 1121 = -515. Is z a prime number?
True
Let j(y) = 150*y - 1. Suppose 2*q = 4*x - 10, x - 20 = -2*q - x. Is j(q) a prime number?
False
Let f(v) = -2*v**3 + 5*v**2 - 5*v - 1. Let q(l) = 5*l**3 - 11*l**2 + 10*l + 2. Let h(j) = -7*f(j) - 3*q(j). Is h(-6) a prime number?
False
Let k(g) = -367*g. Suppose -2*x + 6 = 4*m, -x + 4*m = -0*x + 15. Let a be k(x). Suppose v + v - 446 = -3*c, 4*c = -5*v + a. Is v a composite number?
True
Suppose 3*s = -s + 20. Let a(h) = -6*h**3 + h**2 - 8*h + 3. Let n(i) = -i**3 + i**2 - i + 1. Let l(q) = s*n(q) - a(q). Is l(-2) a prime number?
False
Let m(o) = -o + 4. Let n be m(4). Suppose s + 3*s = n. Is (s + 130)/1 + -3 a prime number?
True
Suppose 9*h + 2*h = 13849. Is h a composite number?
False
Let o(k) = -k**2 + 7*k - 1. Let g be o(8). Let j(a) = -4*a + 11. Is j(g) a composite number?
False
Suppose -3*y + 50 = -y. Is y composite?
True
Suppose -23 = -5*y + 2*q, 5*y - 22 - 5 = 3*q. Let n be (4/(-6))/((-2)/102). Suppose -2*c + i = -y*i - n, 5*c - 97 = -2*i. Is c a composite number?
False
Suppose -4*n - 3*i + 5 = -15, n = 5*i - 18. Suppose -3*b + 335 = n*b. Is b prime?
True
Suppose -b + 190 + 207 = 0. Is b composite?
False
Suppose -4*g + 309 - 21 = 2*o, 5*o - 655 = 3*g. Let r = 283 - o. Is r prime?
True
Let v(c) = 10*c**2 - c. Let d be v(-2). Suppose 8*r - 10 = 3*r. Suppose r*w - 4*w + d = 0. Is w a composite number?
True
Let z = 14 - 8. Suppose m = 5*h + 60, -z*h + 3*h - 190 = -5*m. Suppose -4*o + m = o. Is o a prime number?
True
Let z(v) = 6*v**2 - 6*v**2 + 7*v**2 - 1 - v. Suppose 0*h = -2*m + 5*h + 3, -3*m - 2 = -h. Is z(m) a prime number?
True
Let o be 2/(-4)*(5 - 9). Suppose 5*z - 159 = -2*t, -z + 5*z + o*t = 128. Is z composite?
False
Suppose 2*u - 26 = -4*m, 3*u - 4*m - 1 = -2. Suppose 0 = a - u*a. Suppose -2*v - v + 57 = a. Is v a prime number?
True
Let f = -294 - -114. Let z = -123 - f. Is z prime?
False
Let l be ((-21)/2)/(9/12). Let o = l - -8. Let w = o - -19. Is w a prime number?
True
Suppose -c = -6*c + 2445. Is c prime?
False
Suppose -z = z - 10. Suppose 5*r + 5*a = 300, -a - 3*a = -z*r + 291. Is r composite?
False
Let f(l) = 42*l**2 + 3*l + 1. Is f(4) prime?
False
Let s be ((-232)/(-5))/(2/10). Suppose -2*d = -6*d + s. Is d composite?
True
Let p = -8 + 11. Is 490/p - (-2)/(-6) a prime number?
True
Let b(n) = -2*n + 13. Is b(-10) a prime number?
False
Let t(w) = w**3 - 9*w**2 - 13*w - 4. Let n(a) = a**2 - 4*a - 1. Let d be n(6). Is t(d) a composite number?
True
Is ((-2)/4 + 0)*-254 a composite number?
False
Let k(j) = 7*j**2 + 4*j + 14. Is k(-7) prime?
False
Let f be 10 - (1 - (2 - 2)). Suppose -5*h + 6 = -f. Suppose h*l - 21 = 24. Is l a prime number?
False
Let w(i) = 674*i - 9. Is w(2) prime?
False
Let u be (-2)/(2 - (0 + 3)). Suppose -u*i + 51 = -11. Is i prime?
True
Let u(c) = -c**2 + c - 1. Let n(w) = w**2 - 6*w + 1. Let p(b) = -n(b) - 3*u(b). Let a be p(-2). Is (3 - 5)*(-78)/a a composite number?
True
Suppose 0 = 3*v - 0*v. Suppose v + 36 = 4*i. Is 734/8 - i/12 prime?
False
Let r(p) = 116*p - 1. Is r(1) prime?
False
Let l(f) = f**3 + 2*f - 5. Is l(4) a prime number?
True
Suppose 2*a - 556 = -0*a. Suppose 5*g = 4*w + 369, 5*g - a = 5*w - 2*w. Let l = w - -138. Is l composite?
False
Let z be ((-2)/2)/(2/(-10)). Let t = -2 - -2. Suppose 5*x + 95 = -0*f + z*f, f 