Suppose -10*h = 7 - 67. Let s be 2/(-9) - 1225/(-45). Is 17616/54 - h/s composite?
True
Let m(x) = 21*x**2 - 10*x + 7. Let l = -1 - -7. Let o be m(l). Let u = -366 + o. Is u prime?
True
Let q(j) = 107*j + 126 - 90 + 20*j. Is q(5) a composite number?
True
Let j(w) = 18*w - 13. Suppose 0 = 11*x - 12*x + 12. Is j(x) composite?
True
Suppose 160 = -6*l + 16. Let g = l - -741. Is g a composite number?
True
Let b be -1 - (4 + -4) - -176. Let g(x) = -x**2 + 48. Let q be g(0). Let i = b - q. Is i a composite number?
False
Suppose -4*s = -4*z - 2340, -s - 2918 = 5*z + s. Let h = z - -1171. Is h prime?
True
Suppose 4*q + j - 1 = 0, 0*q + 2*j = 4*q - 10. Let z be (-2)/(4*q/(-370)). Suppose -58 + z = g. Is g composite?
False
Let i be 13/15 - ((-124)/30 + 4). Let b(c) = 46*c**3 + c**2 - c. Is b(i) composite?
True
Let u = -7 - 9. Is (-2313)/(-6)*u/(-24) composite?
False
Is 236/826 + 9264/14 a composite number?
True
Let j(i) = 104*i - 4*i**2 - 2 - i**3 + 0*i**3 - 96*i. Is j(-7) composite?
False
Let f(u) = 110*u - 9. Let l(h) = -h + 1. Let d(q) = -f(q) - 6*l(q). Suppose 3*v - 9 = 3*c, -4*c - v - 5 = -c. Is d(c) a prime number?
True
Let x = -20236 + 34155. Is x composite?
True
Let y = 10 - 27. Let x = -17 - y. Suppose -i + 118 = 3*t - x*t, t + 459 = 4*i. Is i a composite number?
True
Suppose 4*v = 21224 + 5324. Is v prime?
True
Let h(n) = 3*n**2 + 481. Suppose -4*v + 5 = 5*k - 3*v, -4*v = -3*k - 20. Is h(k) prime?
False
Let q = -6905 + 13083. Is q composite?
True
Let t(i) = 188*i**3 - i**2 - 18*i + 16. Is t(5) composite?
True
Let m = 127 - 305. Let g = 1099 + m. Is g prime?
False
Let l(z) = -693*z**2 + z - 4. Let m be l(-3). Is (-5 + 4)/(4/m) a composite number?
True
Let n be 1/(-6) + (-34)/12. Let c(p) = -p**2 - 3*p + 3. Let d be c(n). Suppose -d*b = -3*i - 402, 0 = -b - 2*i - 0*i + 131. Is b a prime number?
False
Let z(a) = -233*a - 1. Let t be z(2). Let l = t + 976. Is l prime?
True
Is (-6)/3*-46542*(-6)/(-24) composite?
True
Let u be -4*(982/4 - -4). Let f = 1519 + u. Is f a prime number?
True
Is (-10 + 9)*(-67706)/2 a prime number?
False
Let s = -3487 + 2180. Let l = -820 - s. Is l a composite number?
False
Let g(w) = -335*w + 7. Is g(-6) prime?
True
Let x = -108 - -52. Let q = x + 190. Is q a composite number?
True
Let f(t) = 73*t**2 + 9*t + 3. Is f(4) composite?
True
Let p be 164 + (-5 + 1)/1. Let u = 1225 + p. Is u a composite number?
True
Suppose 0 = -7*o + 4*o + 6. Suppose 2*s = c + 15, 0 = -4*s - o*c - c + 45. Is 3/s - 996/(-9) a prime number?
False
Let q(k) = 19*k - 5 - 30*k - 54*k. Let y be q(-5). Suppose 109 = -z + y. Is z prime?
True
Let i be 2/(21/18 + -1). Let z be ((-8)/i)/(1/30). Is (-12)/z - 4442/(-5) a composite number?
True
Let j(x) be the first derivative of x**4/2 + x**3/3 - 3*x**2/2 + 2*x - 10. Let a be j(1). Suppose -3*o + 1445 = 4*t, -a*o + 2*t + 190 = -792. Is o prime?
True
Let u be (8/(-10))/(-1 - (-3)/5). Suppose -5*m = -4*c - 999, -u*c - 414 = -2*m - 4*c. Is m a composite number?
True
Suppose -r - 4 = -2. Is (-4 + (-89)/2)*r a composite number?
False
Let w(i) = -i - 2. Let y be w(-7). Suppose 11 + 11 = y*n - 4*l, -2*l - 14 = -4*n. Suppose -n*s + 26 = -4*k, -s - s = -k - 20. Is s a prime number?
False
Let r be (0 - 2) + -5 + 4. Let q be 28 - (12 + r)/3. Let m = q - -28. Is m a prime number?
True
Let p(g) = 2*g**2 - 2*g - 1. Let w be p(-1). Suppose 4*q + 21 + w = 0. Is (-12)/8 + (-2679)/q a composite number?
True
Let k(m) = 10221*m + 5 + m**3 + 1 - 10235*m + 12*m**2. Let f be (13/1)/((-1)/1). Is k(f) prime?
True
Let k = 10771 - 2352. Is k a composite number?
False
Let r = -3 - -4. Let b = r + -1. Suppose b = -l + 4*l - 138. Is l a prime number?
False
Suppose 3*b = 422 + 526. Suppose -17*w + 1755 = 10*w. Suppose -3*g = -b - w. Is g composite?
False
Let r(s) = -s**2 + 2*s + 446. Let d = -15 + 19. Suppose 4*l - 5 = 5*g, 5*g + 5 = -d*l + 5*l. Is r(l) a prime number?
False
Let u(x) = -4*x - 4*x + 22*x**2 + x**3 - 15*x**2. Let l be u(-7). Suppose 2*y + 0*f = -2*f + l, f + 3 = 0. Is y composite?
False
Let s = 136916 - 34087. Is s prime?
True
Let z = -84 + 80. Let s(t) = -3*t**3 - 3*t - 13. Is s(z) a composite number?
False
Let s(u) = -u**2 + 16*u - 10. Let f be s(15). Suppose f*j - 2 = 18. Suppose 0 = -j*t + 11 + 45. Is t prime?
False
Let y(w) = 129*w**3 - 2*w**2. Let a(u) = -889*u**2 + 48271*u**3 - 2 + 2 + 9006*u**3. Let i(k) = 2*a(k) - 889*y(k). Is i(-1) composite?
False
Suppose -9*i = 2*z - 5*i - 18266, -z + 4*i = -9115. Is z a composite number?
False
Let t be (-63)/18 - ((-15)/(-6))/5. Let y(x) = 9 - 5*x + 0*x - 2*x. Is y(t) a composite number?
False
Let x(f) = -82*f + 31. Suppose -186 - 12 = 9*o. Is x(o) prime?
False
Let u(g) = 8 + 1 - 2*g**2 + 9*g + 4*g**2 + g**2. Let p be u(-10). Let y = -56 + p. Is y prime?
True
Let b = 4472 - -4509. Is b composite?
True
Let r be 3/(-3 + (-750)/(-251)). Let u = 582 + r. Is u composite?
False
Suppose -2*w + 2*r - 344 = 0, 5*w = 4*r + 409 - 1269. Let x = w + 569. Is x a prime number?
True
Let w = -3861 - -5788. Is w composite?
True
Suppose -8 = -3*h + 1, 2*h = -5*z + 186. Let m = 214 - z. Suppose m = 2*x - 176. Is x a composite number?
True
Let h be (-38)/4*(0/(-2) - 2). Suppose h = -2*d + 809. Is d a composite number?
True
Suppose 140487 = 6*i - 58347. Is i composite?
True
Let l = -23 - -38. Let v be (3063/9)/(5/l). Suppose -2*d + v = 259. Is d prime?
False
Let v(p) = 5*p**2 + 2*p + 18355. Is v(0) a composite number?
True
Is 6/8 + (7913785/(-44))/(-19) a composite number?
False
Let j(p) = -24*p + 3. Suppose 0 = -13*a + 11*a + 20. Suppose 0 = -0*f + 5*f + a. Is j(f) a composite number?
True
Let g(s) = -s**3 + 6*s**2 - 9*s - 15. Let h be g(5). Let q = h - -109. Is q a prime number?
False
Let a(n) = -20*n**3 - 18*n**2 - 46*n + 41. Is a(-12) composite?
False
Let r = -28713 - -58660. Is r prime?
True
Suppose -x + 5552 + 10941 = 0. Is x a prime number?
True
Suppose 6*n - 2*n = 37108. Is n a prime number?
True
Let t(d) = -d**2 + 6*d + 3. Let v be t(7). Is ((-2)/(-3))/(v/(-2682)) composite?
True
Suppose o = -4*o + 20. Suppose -o*m - 1 = -9. Suppose u - 5*p = 22, m*p = -u + 4*u - 14. Is u prime?
True
Let i(k) = -110*k - 141. Is i(-5) a composite number?
False
Let p(x) = 157*x + 3. Suppose 2*s - b - 29 = -s, 5*s = -3*b + 25. Is p(s) a composite number?
False
Suppose 0 = -x - 5*r + 7, 0*x - r - 37 = 5*x. Let v = 50 - x. Suppose 4*h = -12, -w + 2*h + 31 = -v. Is w a composite number?
False
Suppose -5*s + 19415 = h + 1953, -h = -5*s - 17472. Is h composite?
False
Suppose 5*b - 3*r + 9698 = 49654, -2*r + 6 = 0. Is b prime?
True
Let f(l) = -82*l**3 - 4*l**2 - 33*l + 1. Is f(-4) a prime number?
False
Let f(o) = o**3 + 2*o**2 + 667. Is f(0) a prime number?
False
Is 15/40 - (-1817123)/56 composite?
True
Let k(w) = 18*w - 7. Let d(u) = 54*u - 21. Let v be 14*(10/(-4) - -2). Let h(p) = v*k(p) + 2*d(p). Is h(-6) a prime number?
False
Let z(g) = -392*g - 47. Is z(-20) a composite number?
False
Suppose 6*j = 2*j + 16. Let f be (-2)/j*4*-334. Suppose -23*k = -21*k - f. Is k a composite number?
True
Let y(v) = 2*v**3 + 21*v**2 + 3*v - 81. Is y(20) prime?
True
Suppose -6*l + l = -50. Suppose 75 = -5*x + l*x. Is x a prime number?
False
Let c(y) = -149*y**3 - 10*y**2 + 15*y + 31. Is c(-5) a prime number?
False
Suppose -4 = 4*g + 4*s, 1 = -2*g - 4*s + 3*s. Is 1103 + (-5)/(-10)*g a composite number?
False
Let r = -3192 + 4535. Is r a composite number?
True
Let f be (4 - 22/5)*-5. Suppose -i - y = -375, 4*i - f*y - 2*y = 1484. Suppose 0*x = x - i. Is x composite?
False
Suppose -3*y - 4*j = -7887, -4981 = -4*y + 2*j + 5535. Is y prime?
False
Let a be (-29)/(-9) + 2/(-9). Suppose -5*x + 10 = -0. Suppose -x*q = a*q - 635. Is q prime?
True
Suppose 3*l - l + 5*q - 69323 = 0, -2*q = 3*l - 103957. Is l prime?
True
Suppose 2*a = 4*d + 8, -3*a + 0*d + 24 = -3*d. Suppose a = 5*j - j. Is (j + 0)/(3/94) composite?
True
Suppose 0 = 31*m - 14317 - 27874. Is m prime?
True
Let w = 574 - 192. Is w composite?
True
Suppose -a - 447 = -4*l, 0*l + 109 = l - 3*a. Suppose l - 1453 = -9*m. Is m composite?
False
Suppose -5*q - 4*q + 74349 = 0. Is q prime?
False
Let y be 15 - (25 + -20)/((-2)/(-2)). Let i(n) = 113*n**2 - 4*n + 3. Let p be i(2). Suppose 0 = -7*d + y*d - p. Is d a prime number?
True
Suppose -19112 = 25*c - 69837. Is c composite?
False
