
Let z(m) = -m**3 + 4*m**2 + 3*m + 6. Let s be z(5). Let u(o) = 8*o**2 + o. Let x be u(s). Suppose 2*i - x = -k + i, 0 = -2*k - 4*i + 258. Is k prime?
False
Suppose 4*h + 3*m = 568 + 588, 3*m - 1445 = -5*h. Is h a prime number?
False
Let n(s) = s**3 + 8*s**2 - 4*s + 9. Let u be n(-7). Suppose -u = -t + 141. Suppose -15 = 4*h - t. Is h prime?
True
Let c be 5 - 6/((-6)/2). Is 5283/21 - 4/c composite?
False
Let g(b) = -b**3 - 4*b**2 + 6*b + 3. Let v be g(-5). Let c be (v/(-5))/((-3)/(-15)). Suppose -4*r + 2 = c*q, 3*q = r - 8 - 10. Is r a composite number?
False
Let z be (-1 - 12/(-9))*267. Suppose -2*m + z = -m. Is m prime?
True
Suppose -2*m = -1 - 3. Suppose -3*a = -m*a - 145. Is a composite?
True
Let i be -1 + 5 - 4756/4. Let z = -700 - i. Is z a prime number?
False
Is 14322/9 - (-1)/(-3) a composite number?
True
Let j = 49 - 34. Let w = 11 - j. Is 2*1 + 12 + w prime?
False
Let i(s) be the first derivative of s**3/3 + 3*s**2/2 + 3*s - 5. Is i(8) a prime number?
False
Let v(q) = 10*q**2 - q + 1. Suppose 5*t = 2*m - 21 + 1, -18 = 4*t - 2*m. Is v(t) a prime number?
True
Suppose 28 - 78 = -5*c. Is c composite?
True
Suppose 45 = 5*c + 4*m, c - 2*m = -m. Let s = 42 - 26. Suppose -s - c = -3*r. Is r composite?
False
Let y(k) = 2*k + 397. Is y(0) composite?
False
Let j be 4/8 + 6/4. Suppose j*h = -2*x + 100, 2*h + x - 103 = -0*h. Is h composite?
False
Let d = -27 - -22. Is 5/(-25) + (-1296)/d composite?
True
Let s = -64 + 17. Let j(n) = 97*n**2 + 2*n - 1. Let w be j(1). Let h = s + w. Is h composite?
True
Let k(j) = 2*j**3 - j**3 - 2 - 9*j + 11*j - 2*j**2. Is k(4) a composite number?
True
Suppose -5*w = -2*r + 17, 3*r - 4*w + 0 - 22 = 0. Let p(d) = 3*d**2 - 6*d + 5. Is p(r) a composite number?
True
Suppose -42 = -3*l + l. Is l a composite number?
True
Suppose -7*q = -8357 - 6084. Is q a prime number?
True
Let z(g) = 70*g**2 + 7*g - 4. Is z(-5) a composite number?
True
Let j(k) = 19*k - 1. Let i be j(6). Let h = i - -123. Suppose -h = -3*v + 31. Is v composite?
False
Let i(t) = -13*t**3 - 19*t**2 + 3*t + 23. Let m(c) = 7*c**3 + 10*c**2 - c - 12. Let n(a) = -6*i(a) - 11*m(a). Is n(-5) composite?
True
Is (5/15)/(2/978) prime?
True
Let v = -88 + 63. Let z = v + 11. Let p = z - -24. Is p prime?
False
Let a = 0 - -2. Suppose -r = a*m, -r = -3*m + 3*r. Suppose 2*u - 2*k - 66 = m, 8 = 2*k - 0*k. Is u a composite number?
False
Suppose 3*m - 12 = -0*m + r, 0 = -2*r. Suppose 3*h = 6, 10*h = -m*w + 5*h + 502. Is w a composite number?
True
Suppose -2*v - 2 = -4. Let a(t) = 2*t + 1. Let y be a(v). Is (-21)/y*6/(-7) composite?
True
Is 2/8 + ((-94518)/8)/(-9) prime?
False
Let j be -1 + 0 - (-707 - 1). Suppose 0 = 5*v + 2*a - 711, -4*a = 3*v + 2*v - j. Is v a prime number?
False
Let u be 4/6*81/18. Let i(v) = 49*v + 2. Is i(u) prime?
True
Let a = 14 + -6. Suppose 3*i - 4*i = 5*p - 11, -5*p + 2*i = -a. Is 67/(-3)*(-1 - p) a composite number?
False
Let r = 1235 - 516. Is r a composite number?
False
Let l(x) = -x**3 + 19*x**2 + 10*x - 13. Is l(9) a composite number?
False
Let p(d) = -2*d - 3. Let c be p(-4). Suppose 4*z - 654 = -z - 4*x, -c*z = -5*x - 690. Is z a composite number?
True
Suppose t - 2*t + 919 = 3*n, 2*n - 611 = -t. Suppose -2*y + n = 2*y. Is y a prime number?
False
Let i(z) = -16*z**3 - 4*z**2 + 2*z - 7. Is i(-5) composite?
True
Let j(w) = w**3 - 9*w**2 - 4*w - 7. Let d be j(10). Suppose 0 = -x + 3, x - d - 84 = -2*n. Is n a composite number?
False
Let m be 3/((-1118)/562 + 2). Is (-10)/45 - m/(-9) prime?
True
Let w(n) = -n**3 - 8*n**2 - 7*n + 6. Let j be w(-7). Let d(x) = 2*x**2 - 2 + 0*x**2 + j + 3*x. Is d(-5) composite?
True
Let z(u) = 6*u**2 + u + 3. Is z(4) composite?
False
Let r(i) = -2*i**3 - 7*i**2 - 5*i + 1. Let o be r(-4). Let u = -14 + o. Is u a prime number?
True
Let z(b) = 70*b - 13. Is z(5) a composite number?
False
Let x be (-2 - -1)*85 + 1. Let r = 146 + x. Is r a composite number?
True
Suppose 106 = 4*b - 18. Is b a composite number?
False
Suppose -s = 2*x + s + 740, -x + 2*s - 361 = 0. Let f = -252 - x. Is f a composite number?
True
Let o(t) be the second derivative of t**3/3 + t**2 - t. Let b be o(2). Let i(x) = x**3 - 4*x**2 - 6*x + 1. Is i(b) composite?
False
Let f be ((-5)/3)/((-2)/6). Suppose 215 = 4*q - 0*q - 3*b, -2*b - 267 = -f*q. Is q a composite number?
False
Let i(z) = 13 + 1 - 3 + 20*z. Is i(10) a prime number?
True
Suppose 4*j - 228 - 616 = 0. Is j a composite number?
False
Let c = 942 - 251. Is c a prime number?
True
Let k = 8 - 8. Suppose -6*o + 4*o + 24 = -z, 3*o + 4*z - 47 = k. Is o a composite number?
False
Let x = 14 - 12. Is (8/(-32))/(x/(-6376)) a composite number?
False
Let z be 1/(-4) + (-429)/(-4). Suppose 5*y - z - 120 = -3*m, -237 = -3*m - 3*y. Suppose -3*p - 15 = -m. Is p a composite number?
False
Let i(g) = -g**2 + 12*g - 8. Let d be i(8). Let p(z) = z**3 - 13*z**2 - 15*z + 7. Let a be p(14). Let u = d - a. Is u a composite number?
False
Suppose -4*m + 2 = -6. Is m/18 + 782/9 a composite number?
True
Let k(w) = -16*w + 3. Let p be k(-4). Let t = p - 41. Is t a composite number?
True
Let j be 2 - (2 + (-2 - 3)). Let c(w) = -748*w**3 - 3*w - 5. Let a(l) = 374*l**3 + l + 2. Let v(o) = j*a(o) + 2*c(o). Is v(1) a prime number?
True
Let a = 1 - -1. Let g(r) = -r**3 + r**2 + 2*r. Let p be g(-2). Suppose -2*c - 5*f = -25 - 65, 0 = -a*f + p. Is c composite?
True
Suppose -s + 188 = s. Is s composite?
True
Suppose 0 = -t + 2, 3*t - 615 = -5*v + 2*v. Is v composite?
True
Suppose -5*h = u - 6992, -3*h - 4*u + 0*u = -4185. Is h composite?
False
Let k be (3 + -2)*11*1. Let x(p) = -p**3 + 13*p**2 - 12*p - 15. Is x(k) prime?
False
Is 164 + -2 - (-1 - 0) prime?
True
Suppose 0 = 5*h - 25 - 5. Let p be (-260)/15 + 2/h. Is -3*p*(-5)/(-3) a prime number?
False
Suppose -2*z + 13 = 3. Suppose 2*l + l = 0. Suppose 0 = 5*r - f - f - 23, -5*r + z*f + 35 = l. Is r prime?
True
Suppose 5*q + 3*i - 2279 - 3668 = 0, -5*i + 3581 = 3*q. Is q prime?
True
Suppose 44 = y + 5*u, 5*y = -3*u + 261 - 63. Is y a prime number?
False
Let k(i) = 15*i - 2. Let j be 3 + 3 + 3 + 0. Is k(j) composite?
True
Let g(l) = -l**2 - 6*l - 3. Let a be g(-5). Is (2 - a) + 253 - 0 composite?
True
Let r(q) = -q**3 + 7*q**2 - 9*q + 8. Let g be r(6). Let o be 390/12*8/g. Is (o/(-4))/((-1)/(-2)) a prime number?
True
Suppose -5*s - a = 0, -5*s + 15 + 5 = -3*a. Suppose -5*z + 24 = -3*m, 2*m - s = -2*z + 15. Is z/15 - 273/(-5) composite?
True
Let x(y) = -18*y - 1. Let a(p) be the first derivative of -55*p**2/2 - 3*p + 1. Let g(m) = 4*a(m) - 11*x(m). Is g(-2) composite?
False
Suppose 0 = 4*t - 3*a - 307, -4*t = -0*a - 5*a - 301. Is t composite?
False
Let h be (3 + -2 - -2) + -1. Let w be (1/(-3))/(h/(-42)). Let f(t) = 3*t + 10. Is f(w) a composite number?
False
Let z(v) = v**2 - 2*v - 3. Let i be z(-2). Let t = -1 + i. Suppose -2*n = n - 6, 0 = -t*r - 2*n + 176. Is r prime?
True
Let h(l) = -l**3 - 30*l**2 + 42*l + 33. Is h(-32) a prime number?
False
Is 814/33*(-6)/(-4) a composite number?
False
Let d(i) = 18*i - 1. Let s(c) = -c**3 + c**2 - c + 2. Let l be s(2). Let n be ((-2)/l)/(1/6). Is d(n) a composite number?
False
Suppose -3*x + 0*w = -2*w - 9, 0 = 3*x - 5*w. Let b be 2/(21/(-9) + 3). Suppose -5 = y, -x*t + b*y = 4*y - 25. Is t composite?
True
Suppose -j + 527 = -3*r, 3*j - 2*r + 5*r = 1581. Is j prime?
False
Suppose 5*l - 1780 = 4*c, 3*l = -5*c + 487 + 581. Let g = -145 + l. Is g composite?
False
Suppose -2*n + 4*g = -n - 6, 4*g + 32 = 2*n. Suppose 0 = -4*u + 42 + n. Suppose 3*q - u = 2*a - 115, 4*a + q = 224. Is a prime?
False
Suppose 14784 = -8*g + 62840. Is g a composite number?
False
Let x(o) = -o + 3. Let f be x(3). Suppose 8 = 4*j - f*j. Suppose -2*n = 4*z - 582, j*z + 3*z + 1455 = 5*n. Is n a composite number?
True
Let v(j) = j - 3. Let m be v(6). Suppose -2*n + m*p = 11, 3*p = 17 - 2. Suppose 4*f + 5*d = 192, 2*f = -n*f - 2*d + 204. Is f a prime number?
True
Let s = -1 + 3. Suppose -j = 2*w - 8, 2*w - 7 - 5 = -2*j. Suppose s*g = j*g - 154. Is g composite?
True
Suppose 45 = 3*z + 240. Let c be ((-12)/10)/(1/(-100)). Let w = c + z. Is w prime?
False
Let q(k) be the third derivative of -k**6/60 + k**5/60 - k**4/24 - k**2. Let m be q(1). Is (-145)/(-15) - m/6 a composite number?
True
Suppose -5*p = h + 9, 3 = -p + 6*p - 2*h. Let j = p - -4. Suppose 6*f - 345 = j