*h + 38. Is (x/9)/(h/(-1014)) composite?
True
Let h(f) = f**2 - f + 181. Let n be (2 - 3)/1*18. Let k = n + 18. Is h(k) a prime number?
True
Let d(o) = -27*o**3 - 5*o**2 - 3*o. Let x(v) = v - 1 - v**3 - 2*v**2 - 3*v**2 + 6*v**2. Let f(u) = -d(u) - 3*x(u). Is f(2) a composite number?
False
Suppose s + 5*m - 197 = -0*s, 5*m - 414 = -2*s. Suppose -w - 3*o = -2*w + s, -2*w + 2*o + 426 = 0. Is w a composite number?
False
Let m(g) = -g + 4. Let p be m(0). Suppose 267 = p*b - 3*b. Let w = b - 118. Is w prime?
True
Let r(i) = -i**3 - 10*i**2 + 3*i + 15. Let v be r(-10). Is 505*7/((-175)/v) a prime number?
False
Let f = 0 + 4. Let b = 150 - 76. Suppose -d + 70 = -0*t + 3*t, d - b = -f*t. Is d a composite number?
True
Suppose 6*g - 5*g - 4*a = 4213, -4*a = 5*g - 20945. Is g composite?
True
Suppose 3*i = 4*n - 15221, -5*n - 2*i + 9139 = -9916. Is n a composite number?
True
Let n = -9139 + 15252. Is n composite?
False
Let s = 12 - 9. Suppose -5*i + 138 = -s*i. Suppose -223 + i = -2*n. Is n a composite number?
True
Let a be 237*(-1 + (3 - -3)). Let o = a + -256. Is o prime?
True
Let c(h) = -h**3 - 116. Let u be c(0). Let a = 261 + u. Is a prime?
False
Suppose -3*o + 4*u + 20 = -6*o, -u - 5 = -5*o. Suppose -3*n - 2*b + 14 = 0, -b + 14 = 8*n - 3*n. Suppose -n*d = -o*d - 310. Is d composite?
True
Suppose 6*v - v - 60 = 0. Suppose v = -5*g - 8. Is (2 + 450/(-8))*g prime?
False
Let c(p) = 442*p**2 + 16*p + 5. Is c(9) prime?
True
Let w(l) = -11*l**3 - 8*l**2 - 5*l - 1. Let k be w(-5). Suppose 0 = 3*c + x - 951 + 47, -4*c + 5*x = -k. Is c a composite number?
True
Let k be (14/5)/((-4)/(-10)). Let j = k - 11. Let q(z) = 3*z**2 + 4*z + 1. Is q(j) a prime number?
False
Let x(d) = -d**3 - 9*d**2 - 7*d - 6. Let f be 16/(-12)*3*2 + -1. Is x(f) composite?
True
Let b be ((-420)/(-16))/((-3)/(-72)). Is 6/(-3) + b/6 a composite number?
False
Suppose 22 = 5*n + 2*w, -2*w = 2*n - 7*w - 3. Let l = 5 - -2. Suppose l*o - n*o = 42. Is o prime?
False
Suppose 0 = 10*o - 79 - 11. Suppose o*d - 460 = 1547. Is d composite?
False
Let p be 12*(2 - 1)*1. Let n(o) = -4*o**3 - 4*o**2 - 12*o + 8. Let y be n(p). Is (-2)/(-5) + y/(-40) a composite number?
False
Suppose -148409 = -4*f + 2*r + 226389, -3*f + 2*r + 281097 = 0. Is f prime?
True
Let n be 20/(-30)*657/(-2). Let b(j) = -130*j**2 + j + 1. Let l be b(-1). Let z = n + l. Is z a prime number?
True
Suppose 5*p - 7 = -r, 5*p - 5*r = -1 + 26. Let l be (-1)/p + 14/4. Suppose l*q = 241 + 104. Is q composite?
True
Suppose 12*y + 13*y = 13075. Is y a prime number?
True
Let s(i) = 2*i + 1. Let j be s(2). Suppose 2*k - j*k - 11 = -5*x, 4*k - 4*x + 4 = 0. Suppose -k*z - 3*y = -7*z + 382, -5*z = -2*y - 481. Is z prime?
True
Is (-1694 - (2 - 3))*(-1254)/114 composite?
True
Suppose 2*z = -2*v + 46, -4*z + 94 = -0*z + 3*v. Suppose 17*t + 3576 = z*t. Is t prime?
False
Let a = -6 - -6. Suppose d - 1374 - 461 = a. Is d composite?
True
Suppose 614 = 5*h - 4*b, -h + 4*b + 125 = b. Let g be 1/4 - (-5494)/8. Let a = h + g. Is a composite?
False
Let c be ((-10)/4)/(4/(-8)). Suppose 2095 = c*z - 0*z. Is z prime?
True
Let m(x) = 25*x**2 + 39*x + 49. Is m(-17) a composite number?
True
Let p(f) = 756*f - 637. Is p(25) composite?
True
Suppose u - 2*g = 14497, -5*u + 5567 + 66993 = 5*g. Is u a prime number?
False
Let z(s) = 17*s**3 - 3*s**2 - 8*s + 8. Is z(5) a composite number?
True
Let m(j) be the first derivative of 2*j - 3/4*j**4 + 2*j**2 + 3 + 4/3*j**3. Is m(-5) a composite number?
False
Let j(c) = -c**3 - 9*c**2 - 7*c + 7. Let m be j(-8). Let k(o) = 507*o**3 - 2*o - 1. Let l be k(m). Let a = -343 - l. Is a composite?
False
Suppose 0 = -9*q + 257811 - 78594. Is q composite?
False
Suppose -3*c - k = -11381, -3*c + 11371 = -11*k + 7*k. Is c prime?
True
Let d(z) = -1221*z + 94. Is d(-25) composite?
True
Let f(a) be the first derivative of -a**4/4 + 4*a**3/3 - a**2/2 - 4*a - 8. Let d be f(-6). Let b = 676 - d. Is b prime?
False
Suppose -x = -z + 14, 5*z + 3*x - 35 = x. Suppose -4*j + 3 = 7. Is (-57)/z*(-4 - j) a prime number?
True
Suppose -17*g - 3449 = -18*g. Is g prime?
True
Let l(c) = 6*c**3 - 3*c**2 - c - 2. Let v be l(5). Suppose 5*f - 4*w + 975 - 134 = 0, 4*f - 2*w + v = 0. Let d = 326 + f. Is d prime?
False
Suppose 4*b = 10*b - 8754. Is b composite?
False
Let o(u) be the third derivative of -17*u**4/6 - 11*u**3/6 - 16*u**2. Is o(-6) prime?
True
Let o(t) = -2*t**3 + t**2 - t + 3. Suppose -4*n = -3*f - 3, 5*f - 9 = 3*n - n. Let c(x) = x**3 - 3*x**2 - 3. Let u be c(n). Is o(u) a composite number?
True
Suppose o - 8 = -o. Suppose 0 = -2*d + 4*m + 1034, o*d + 5*m = 2*m + 2035. Is d a composite number?
True
Suppose 0 = -6*d - 6*d + 58236. Is d composite?
True
Let x = 1603 + -1132. Is x + (-3 - (4 - 5)) a prime number?
False
Let p = -10 - -12. Suppose -p*h + 1225 = 447. Is h a composite number?
False
Let p be 2 + -5 - (2 - 6088). Suppose 0 = 7*a - p - 371. Let v = a + -557. Is v composite?
True
Is 140887/21 - (12 + (-3048)/252) prime?
True
Suppose -2*u = -2*v + 388, 4*u - 3*u = 3*v - 192. Let c = -4 - u. Is c composite?
False
Suppose 64*q + 2287 = 65*q. Is q composite?
False
Let x(l) = -2132*l + 167. Is x(-3) a composite number?
False
Let c(i) = -114*i - 1 - 6 + 642*i. Is c(2) a composite number?
False
Let l(k) = -k**2 - 18*k - 8. Let b be l(-7). Suppose -i + b = 420. Let n = 190 - i. Is n composite?
False
Suppose 2*v + 5*l - 25925 = 0, -33*v + 37*v - 51805 = 5*l. Is v a prime number?
False
Let s(o) = 2*o**3 - 2*o**2 - o**2 - 2*o**2 + 4*o + 15 - o**3. Is s(7) composite?
True
Let g = 15 + -10. Suppose -3803 = 2*s - 6*s + 3*w, 968 = s + g*w. Is s a composite number?
False
Suppose 0*q + 4*q = -6*q. Let y = -8 - -14. Suppose 3*r + b - 216 = q, y = -b + 3*b. Is r prime?
True
Let q(o) = 11*o**2 - 23*o - 5. Suppose -i = 2*j - 16, i - 2 = -j + 2*i. Is q(j) a composite number?
True
Let l(s) = 13*s**2 + 209 - s**3 + s + 6*s**2 - 20*s**2. Is l(0) a composite number?
True
Suppose -3*a = -2*a + 342. Is -1 - 0 - (6 - 5)*a composite?
True
Suppose -4*d + 46 = o, 0*d + d - 14 = o. Is 42/8*112/d a prime number?
False
Suppose 5*v = u + 477, v + v - 3*u = 196. Suppose -5*r - 4*w + v = 0, 0*w = r + 5*w + 2. Is r a composite number?
False
Suppose -5*t = -3*u + 22075, 2*u - 14458 - 262 = 4*t. Is (-5)/(-20) + 0 + u/8 composite?
False
Let j(w) be the first derivative of 2*w**3/3 - w**2 - 6*w + 22. Let l be 1*-2 + (-5 - -3). Is j(l) composite?
True
Suppose 9 = 3*r + 5*o, o = 4*r - 3 - 9. Suppose -r*h + 4*h + 1222 = 3*t, 4*h = -t + 429. Is t composite?
False
Let j = 15095 - -41474. Is j a prime number?
True
Let i be (-28)/(-49) + (-6250)/(-14). Suppose 0 = 5*a - 20, -2*u + 5*a = -7*u - 530. Let z = i + u. Is z prime?
True
Let n be (-20)/6*(-24)/20. Suppose 2*l - n*l = 0. Suppose l = r - 6*r + 815. Is r a composite number?
False
Suppose 5*l - 5*m + 53 = 8, -l - 3*m = -7. Let r(h) = -h**3 - 5*h**2 - h. Let c be r(l). Suppose 0 = -a - 3, 2*a - c*a + 245 = 2*g. Is g composite?
False
Suppose 618 = 4*b + 38. Is b composite?
True
Let t be (1 - 213)/(5 + -3). Is (t + -1)/(25/13 - 2) a prime number?
False
Let g(q) = q**2 - 6*q + 5. Let z be g(6). Let s be (63/12)/((-3)/(-24)*3). Suppose -2*j - 240 = -5*u, -85 + s = -u + z*j. Is u composite?
True
Let m(t) be the second derivative of 10*t**3/3 - t**2/2 - 2*t. Let b = 56 - 55. Is m(b) prime?
True
Let t(u) = 16*u**3 - 5*u**2 + 4*u - 31. Is t(6) prime?
False
Let i = 19 + -4. Suppose -6 = 3*j - i. Suppose 4*g - 2117 = -2*b - b, j*b = -5*g + 2650. Is g composite?
True
Suppose -5*m + 53174 = 4*r, 2*r - 2*m - 673 - 25905 = 0. Is r a composite number?
False
Suppose 5*i = -4*f + 144, 2*f - 3*f = 5*i - 156. Suppose -42 = -j + 3*k, -j + 2*k + i = -12. Suppose -5*o = 2*u - 53, -5*u + j + 41 = -2*o. Is u a prime number?
True
Suppose 0 = -5*s - 3*q + 26522, 37*q - 34*q - 5302 = -s. Is s composite?
True
Let k(s) = 17*s + 7. Let n be k(-8). Let x be n/(-1) + 0/2. Suppose x = -4*h + 949. Is h prime?
False
Suppose -5*p - 14 = 16. Let o(s) = -9*s - 1. Let g be o(1). Is (-7815)/g*p/(-9) a composite number?
False
Suppose 0 = 7*x - 8993 + 1174. Is x a composite number?
False
Is ((-3)/(-18))/((-7)/(-4069 + -5)) composite?
False
Let j(f) = 4*f**2 - 10*f - 27. Is j(-16) a composite number?
True
Let h = 12 + -12. Suppose 5*n - 9 = -2*s + 5*s, -4*s - 12 = h. Suppose -d =