Let u be w(1). Let j(s) = 6*s**3 - 2*s + 1. Let o be j(1). Suppose 0 = -o*c - u*r + 453, 184 = 3*c - c + 3*r. Is c composite?
False
Let z(a) = -a**2 + 8*a + 1. Let u be z(6). Let k = u + -8. Suppose k*p = 1532 + 2213. Is p a prime number?
False
Suppose 4*d = 4*n - 370 - 326, 2*n = 4*d + 354. Suppose 0 = -4*f + 3*u + 1275, 3*u + 141 = f - n. Let o = f + -188. Is o prime?
False
Suppose -u + 5*u - 4 = 0, 0 = 4*i + 3*u - 17311. Is i prime?
True
Let b(z) be the first derivative of -z**4/4 - 4*z**3 + 5*z**2 - 22*z + 10. Let h be b(-15). Let w = h - 292. Is w a prime number?
True
Let n = -87 + 494. Suppose 11*l - 12*l = -n. Is l a composite number?
True
Let n be (-40)/100 - 2/(-5). Suppose n = -4*a + 954 + 394. Is a prime?
True
Let q = 358 - -921. Is q a prime number?
True
Suppose 0 = 246*p - 240*p - 9798. Is p composite?
True
Suppose 0 = 6*o - 8*o + 480. Let u be 2/(-5) - 643/5. Let a = u + o. Is a composite?
True
Suppose -6 = -3*p + 2*c + 6, -42 = -5*p - 4*c. Suppose 0 = 2*y - 2*u - p, -y + u + 13 = -5*y. Is ((-3015)/(-18))/((-1)/y) a composite number?
True
Suppose 5*g - 15 = -5*z, -4*g - 2*z = -6*g + 10. Is 2461 + 0 + 1 + (1 - g) a composite number?
False
Suppose -15*r = -30300 - 17145. Is r a prime number?
True
Suppose -b + 4*b = 0. Suppose b = h - 0*h - p - 106, 3*h - 358 = -5*p. Is h a composite number?
True
Suppose -2*l = -z - 2*z - 7, 4*l - 4*z - 16 = 0. Let m = 10 - l. Suppose m*o + 2*p - 173 = 0, -3*o + 4*p = -4*o + 31. Is o composite?
True
Suppose 0 = -2*w - l + 13, 4*l + 8 = -3*w + 8*l. Suppose -o + 5*r = 4*o, -5*r = -w*o - 3. Suppose o*n + 4*v = 1737, v - 1734 = -3*n - 4*v. Is n prime?
False
Let k(t) = -t**3 - 12*t**2 - 9*t - 11. Suppose -5*g - 53 = -4*z + 7, -4*g + z - 48 = 0. Is k(g) composite?
False
Let s(d) = 316*d**3 + 8*d**2 + 9*d - 68. Is s(5) prime?
False
Let m be (-36)/(-28) - 4/14. Let v be 6/m*(6 - 7). Is 132/(-8)*v + -2 composite?
False
Suppose -2*y = 4*d - 386, 386 = 2*y - 2*d - 0*d. Suppose -22 = -4*h - 4*b + 94, -2*h = -5*b - 65. Let u = y + h. Is u composite?
False
Let a = 1247 - 447. Let d = a + 123. Is d a prime number?
False
Suppose -3*b + 3*y = -5*b + 1158, 4*b = -2*y + 2300. Suppose 0 = -o + 1160 + b. Is o a prime number?
True
Suppose r = -2, 0 = y - 3*r - 110 - 585. Is y a prime number?
False
Let z(o) be the first derivative of -o**4/2 - o**3/3 + 2*o**2 - 3. Suppose -6*i - 71 + 53 = 0. Is z(i) prime?
False
Is 94892/8 + 18/(-60)*-5 a composite number?
False
Suppose -f - 3*p = -5*f + 24, -f - 9 = 3*p. Let a(x) = -1 + f + 124*x - 5. Is a(11) composite?
False
Suppose 2*b = o + 6*b - 10067, 3*o = b + 30240. Is o a prime number?
True
Let s(r) = -3*r + 20. Let m be s(7). Let g(i) = -i**2 - 3*i - 3. Let q be g(-3). Is (4 + q)/(m/(-59)) prime?
True
Let n be 1 - -1 - 94*(-1 - 2). Suppose 21*k = 17*k + n. Is k composite?
False
Suppose 0 = u - 5*u. Suppose u = -5*q + 3*q - 5*w + 5, 5*q + 4 = 4*w. Let b(t) = t**2 + 178. Is b(q) a prime number?
False
Suppose 19*v = -15*v + 1509634. Is v a prime number?
False
Let p(u) = -11*u**3 - 2*u**2 - 2*u - 1. Let q be p(-1). Let j = 12 - q. Suppose 0 = -3*f - j*t + 1493, 989 - 2979 = -4*f - 2*t. Is f a composite number?
True
Suppose -5*f + 14 + 1 = 0. Suppose 0 = f*a - 4 - 5. Suppose 2*r + a*r - 545 = 0. Is r a composite number?
False
Suppose 5*d + 22107 = 3*f, -3*d = 5*f - 4*f - 7369. Is f a composite number?
False
Let j(v) = v**3 - 10*v**2 + 9*v + 4. Let t be j(9). Suppose -i = -t + 2. Suppose 0 = i*n + 3*n - 50. Is n a composite number?
True
Suppose -476553 + 65730 = -9*m. Is m a composite number?
True
Suppose -5*c + 3*d = 0, 0 = c + 2*c + 2*d. Suppose -10*n + 15*n - 30 = c. Suppose n = 3*l, -y + 4*l + 174 = -83. Is y prime?
False
Let s = -22 + 2. Is (-4)/(s/(-15)) - -10 prime?
True
Suppose -13501 = 12*v - 60817. Is v a prime number?
True
Let t be 2/(8/5964) + -1. Let f = -46 + 1045. Let u = t - f. Is u a prime number?
True
Let g(a) = 4 + 18*a**2 - 6 + 10*a**2 + 2*a. Let y be g(5). Is (-4)/10 + y/20 a prime number?
False
Let o(p) be the third derivative of p**5/15 - 5*p**4/12 + p**3/2 - p**2. Is o(8) a composite number?
False
Let s(o) = -2*o**2 + 2 + 2 - 4 + 1 + 4*o. Let b be s(-9). Let u = -112 - b. Is u composite?
True
Let n be (-11)/(-55) + 154878/10. Suppose -2*y - n = 1232. Is y/(-25) - 6/15 prime?
False
Suppose c = -2*h + 195, -4*h = 3*c + 46 - 627. Suppose c = 4*s - 129. Suppose -4*i = a - s, 4*i = -3*a + 46 + 26. Is i prime?
False
Let v(y) be the second derivative of 13*y**5/4 - y**4/12 - 8*y. Let j be v(3). Suppose 4*s - j = -662. Is s prime?
True
Is 7/28*-4*2 - -445 composite?
False
Let n = -4258 - -7749. Is n a composite number?
False
Let n(y) = 117*y**2 - 52*y + 61. Let l(s) = -29*s**2 + 13*s - 15. Let c(a) = -9*l(a) - 2*n(a). Is c(11) a composite number?
False
Suppose -32*r + 12360 = -8344. Is r composite?
False
Let u(v) = -v**3 - 15*v**2 - 17*v - 35. Let q be u(-14). Suppose -11*w + 39222 = q*w. Is w a prime number?
True
Let q(d) = -3*d**3 - 5*d**2 - 6*d - 2. Let c be q(-2). Suppose -3*l = -c*l + 7535. Is l composite?
True
Let z = 7 + -13. Let r(n) = n + 11. Let x be r(z). Suppose 5*u - 1030 = x*v, -2*u - 3*v + 646 = 209. Is u a composite number?
False
Let c(x) = -454*x + 8. Let k be c(-1). Suppose -4644 - k = -6*m. Is m a prime number?
False
Suppose 0 = 5*i - 3114 - 11881. Is i a composite number?
False
Let p = 1894 - -9265. Is p prime?
True
Suppose -5*o - 4*k = -8*k - 2189, o + 5*k = 432. Is o prime?
False
Suppose 5*z = -6 + 1. Let b(j) = 1472*j**2 - j - 2. Is b(z) a prime number?
True
Suppose -10*z - 18346 + 130836 = 0. Is z a prime number?
False
Let h(w) = -4694*w - 69. Is h(-5) composite?
True
Suppose 5*f - 2*p - 7872 = 0, 0*p + 4717 = 3*f + 5*p. Let n = f + -787. Is n composite?
False
Let a be 791 + 3 + -2 + 0. Let l = -437 + a. Is l prime?
False
Let f be (-1)/(-2) - (-60)/(-8). Is (-3912)/f + (-4)/(-28) a prime number?
False
Let k be 1936/3 - (-1)/(-3). Is ((-22)/3)/((-10)/k) prime?
False
Let w(f) = -3*f - 22. Let u be w(-9). Suppose s + 8568 = 5*s + u*a, 3*s + a - 6437 = 0. Is s a composite number?
True
Suppose 2*f - 1306 = -n + 1502, -2*f = -2*n - 2820. Suppose 2*o - f = -82. Is o prime?
False
Suppose 2*m = -2*m. Suppose 0 = -2*c - m - 4. Is (-4389)/14*c/3 prime?
False
Let g be -4*66/12*-1. Let z = 3 + 0. Suppose z*a = a + g. Is a prime?
True
Suppose 3*r - 2*a - 3*a - 1620 = 0, -a - 1073 = -2*r. Suppose -3*q + r = -2*q. Suppose q = t - 262. Is t a prime number?
True
Let t(f) = -240*f + 2 - 6 - 19*f. Is t(-5) a prime number?
True
Suppose 0 = -2*p + 796 + 1866. Suppose 5*h - 5755 = -b, -2*h + p = b - 971. Is h composite?
False
Let y = -61 - -65. Let d be 2 + (-4)/4 - -1. Suppose -370 = d*h - y*h. Is h a composite number?
True
Let v = 11 - -13. Suppose -2*g = -0*k - 2*k - 22, -4*g + v = k. Is (238/4)/g*10 prime?
False
Let p(b) = -60*b - 19. Let g be p(14). Let x = g + 1360. Is x composite?
True
Suppose 6*k - 19651 = 1835. Is k prime?
True
Suppose -26 + 6 = -5*o. Suppose -2*f = -2*k - 452, 10*f - 5*f + o*k = 1085. Is f prime?
False
Suppose 0 = -k - 4*k + d - 5, -d + 5 = 0. Let i(w) = -w - 1. Let g be i(-4). Suppose k = -g*n + 366 + 381. Is n a prime number?
False
Let k = 85494 + -53197. Is k composite?
False
Let u be (-8)/(-12)*6/2. Let r be 1255*-3*4/(-12). Suppose -4*p + t + 5013 = 0, u*t + r = p - 0*p. Is p a composite number?
True
Let r = -5363 - -9514. Is r a prime number?
False
Let o(j) = 3552*j - 7. Is o(1) a composite number?
True
Let m be -3*(-1)/6*24. Let c be ((-3)/4)/((-3)/m). Suppose -c*n = n - 628. Is n a composite number?
False
Let v(w) = w**2 - 6*w - 73. Is v(18) prime?
False
Suppose -6*v + 52511 - 4553 = 0. Is v composite?
False
Let j = 1897 - -424. Is j composite?
True
Let n = -173 - -290. Let s = n - 64. Is s prime?
True
Suppose 10*j + 2073 = -16027. Let z = j + 2763. Is z a prime number?
True
Suppose 2*a - 2401 = -a + v, -3*a + 2381 = 4*v. Suppose 2*m = -2*c + 109 + 217, -5*c + a = -3*m. Is c prime?
False
Let d = -165 - -169. Suppose 0 = -u - d*t + 2103, 3*u - 7*u + 8374 = -3*t. Is u a prime number?
False
Suppose 0 = 6*w - 7 + 67. Is w/20 + (-391)/(-2) - 4 prime?
True
Is (-7*(-236194)/49)/2 composite?
False
Let u(l) = -88*l + 3. Let h(x) = 87*x - 3. Let s(o) = -6*h(o) - 7*u(o). Is s(4) composite?
False
Let g(h) = h**3 + 18*h**2 - 41*h - 31. Let 