posite?
False
Let n(h) = 2*h - 11. Let r be n(8). Suppose 2*k - 4*s = 8, 5*s - 3*s - 8 = -5*k. Suppose -r*i + 2259 = -k*i. Is i a prime number?
False
Let f = -1 + 2. Let c(h) = -5*h**2 - 2*h - 4. Let u(b) = -6*b**2 - 2*b - 3. Let p(i) = 4*c(i) - 5*u(i). Is p(f) a prime number?
True
Suppose c + 5 = f, c + 0*f - 1 = -f. Let r(h) = 22*h**2 + h + 1. Is r(c) composite?
True
Is (((-6)/(-2))/(96/52544))/2 a prime number?
True
Suppose -9*s = -586 - 3725. Is s prime?
True
Let f = -28070 + 57841. Is f a composite number?
True
Let g(o) = -o**2 + 81*o + 9. Is g(31) prime?
True
Suppose -d + 6*d = 13980. Suppose 0 = -4*w + 4*c + 7880, 3*w - c + d = 8700. Is w prime?
False
Suppose -f + 106 + 1155 = 0. Is f composite?
True
Is 4/1 + (16 - -3407) a composite number?
True
Let g(m) be the second derivative of 53*m**3/6 - 11*m**2/2 - 15*m. Is g(6) prime?
True
Suppose 13*l = 4*l + 59031. Is l prime?
False
Let p(x) = 2*x - 34. Let t be p(19). Suppose 0 = -2*l + 3*a + 771, -286 = -l + 3*a + 104. Suppose k - t*k = -l. Is k a composite number?
False
Let j(x) = 65*x**2 - 4*x - 8. Let y be ((-18)/21)/(3/63). Let c = 15 + y. Is j(c) a composite number?
True
Suppose 0 = 3*m + 4*b - 53488 - 475289, 2*m - 352519 = -3*b. Is m a composite number?
True
Let c(k) = k**3 - 41*k**2 - 210*k + 9. Is c(46) a prime number?
True
Suppose -1929344 = -48*q - 16*q. Is q a prime number?
False
Suppose -3*n + 1 = -2. Let f(t) = -25*t + n - 20*t**3 + 106*t**3 + 23*t. Is f(1) a composite number?
True
Let n be (5 + 78/(-18))*9. Suppose -n*z - z = -5873. Is z a prime number?
True
Suppose -29103 = -2*o - 6677. Is o prime?
True
Let n = -2040 + 3205. Let y be 4*-1*1*1/(-1). Suppose -y*l + 0*f - 4*f = -1548, -3*l + n = f. Is l composite?
False
Suppose -3*z - 18780 = 2*u, 2*u + 6*z - z + 18776 = 0. Is u/(-9) - (-14)/(-21) a composite number?
True
Let f be (18/3 + -3)/(-1). Let i(j) = 15*j**2 + 4*j + 4. Is i(f) composite?
False
Suppose -475 = -7*w + 13840. Let c = 3318 - w. Is c composite?
True
Let u = 267 + 442. Suppose -p - u = -1824. Is p composite?
True
Let y(g) = -2*g**2 - 3*g - 7. Let q be y(7). Let p = -69 - q. Suppose 0 = 17*d - 20*d + p. Is d composite?
False
Suppose 2*o + 4*c = 654 + 11664, -3*c = -o + 6154. Is o a prime number?
False
Let g(x) = -x**2 + 6*x - 3. Let d be g(4). Suppose 3*b = -5*y + d*b + 4, -21 = -3*y - 5*b. Suppose 5*o + 20 = 0, 0*h + 3*h - y*o = 389. Is h a prime number?
True
Let f = 576 + -545. Is f a prime number?
True
Let i be (8 + -5)*(2 - 1). Suppose -2*v = -i*p - 0*p - 299, -4*v + p = -623. Is v prime?
True
Let i = 167696 + -89005. Is i a composite number?
False
Suppose 0 = -6*o + 2912 + 35362. Is o prime?
True
Let n = -2974 - -5019. Is n prime?
False
Let k = 235133 - 138246. Is k a prime number?
False
Suppose 4*j + 4*r - 5828 = 0, j = -8*r + 3*r + 1441. Is j a prime number?
False
Suppose -4*b + 6951 = 3*b. Is b a prime number?
False
Let c = 15 + -10. Suppose 137 = c*x - 138. Suppose v = 48 + x. Is v prime?
True
Let o(q) = -14*q**3 + 2*q**2 + 3*q + 1. Let p be o(-3). Let r = -276 + p. Suppose -r - 324 = -4*x. Is x prime?
True
Let m = 81 - 79. Suppose -3*z = -2*h + 545 - 1794, -m*z + 850 = 3*h. Is z prime?
True
Suppose 0 = 16*k + 41881 - 121577. Is k composite?
True
Is 683 + (-4)/8*8 a composite number?
True
Let f be -2 + (-8)/(-2) - -2. Suppose 0 = -f*u - u - 5*s + 40, 0 = -2*u - 4*s + 16. Is (-134)/u*(-14 - 14) a composite number?
True
Let j = 15 - 15. Suppose 2*x - 3*x + 8 = j. Suppose -a = -x*a + 6055. Is a a prime number?
False
Suppose 9*v = 10946 + 5821. Suppose -3*k = -v - 411. Is k a composite number?
True
Let r = 12540 - 7267. Is r a prime number?
True
Let o be 2 - ((-1830)/5 + 2). Suppose 3*g - o = g. Is g a prime number?
False
Suppose 296 = -7*n + 3*n. Is n/333 + (-740)/(-9) a prime number?
False
Let g be 4/14 - 658/(-98). Let c(k) = 37*k**2 - 4*k + 16. Is c(g) a composite number?
False
Let c(r) = -r**2 - 1. Let h(z) = -113*z**2 + 9*z - 11. Let k(m) = 6*c(m) - h(m). Is k(3) prime?
True
Suppose 5*d - 64 = -2*m, -77 = -5*m + 2*d + 54. Is (1 + 2950/6)/(18/m) composite?
False
Is ((-3786)/(-12))/((-1)/(-2)) a prime number?
True
Let x(n) = 50*n + 11. Let k be x(4). Suppose 0 = o - 2*o + k. Is o composite?
False
Suppose 0 = 3*h + 2*z - 17, 0 = z - 1 - 3. Let j(a) = 2*a - 15. Let r be j(9). Suppose f - 97 = -r*s, h*f - 7*f = 4*s - 140. Is s a composite number?
False
Let m(q) = q**2 + 8*q. Let f be m(-9). Suppose -3*v - v + 4*k = -652, -5*k = 4*v - 607. Let d = v - f. Is d composite?
False
Suppose 0 = 4*n - 20, 61*y = 64*y + 3*n - 262452. Is y composite?
True
Suppose 5*c - 3*u - 23 = c, 0 = 4*c - 5*u - 25. Suppose -5*n + 1330 = -3*m, -2*n + 38 = -c*m - 475. Is n composite?
False
Suppose 0 = 2*s - 3*s + 7. Suppose 20 = 3*u + 4*x, 0 = -u - 3*x + s + 8. Suppose -3*w = -5*i + 252, w = -u*i + 5*i - 254. Is i a composite number?
True
Let j(u) = 266*u**2 + 44*u + 215. Is j(-6) composite?
True
Suppose -j = n - 572, j + j = 2*n - 1160. Let r be 0 + 1 - -3 - 2. Suppose 0 = -2*i - i - 3*f + n, 0 = r*f - 2. Is i a composite number?
False
Let x(z) = 4*z + 1754. Suppose -4*i = -3*i. Is x(i) a prime number?
False
Let x(o) = -o**2 - 8*o - 8. Let p be x(-6). Suppose -57 = -5*y - p*k, -5*y - 5*k + 78 = 18. Suppose 13 = 2*c - v, y = 2*c - 7*v + 2*v. Is c composite?
False
Let t be (-80)/10*(1*-31 - -2). Is -8 + 9 + t*1 prime?
True
Let q = 14 - -1239. Let j = q - 874. Is j a composite number?
False
Suppose q - 61 = -4*p, q + 1 - 2 = 0. Let a = p + -15. Suppose 2*r + 3*r - 575 = a. Is r a composite number?
True
Suppose 5*q = 5*n + 8420, -6*n - 2*n = 3*q - 5085. Is q prime?
False
Let j(k) = -k**3 - k**2 - 4. Let c be j(-3). Let g be (-56)/3 + c/21. Let z = 44 + g. Is z prime?
False
Let s = 28718 - 12199. Is s prime?
True
Let i(y) = -157*y + 7. Let t(m) = -158*m + 6. Let n(f) = -2*i(f) + 3*t(f). Let a be n(-4). Let w = -421 + a. Is w a composite number?
False
Suppose 0 = -4*l + h + 4553, l + 2264 = 3*l + 2*h. Suppose -3*b - 39 = -l. Suppose s = -2*s + b. Is s prime?
False
Let s(x) = x**3 + 12*x**2 + 12*x + 15. Let c be s(-11). Suppose 37 = c*g + v - 20, -5*v + 75 = 5*g. Is 22/77 + 2558/g composite?
True
Suppose d - c = 1259 + 6079, 3*c = -3*d + 22020. Is d composite?
True
Let p be 18/(-5) - 6/15. Let x be 1 + 1 - 3830/5. Is (1/p)/(1/x) a composite number?
False
Let o(x) be the second derivative of 631*x**3/6 + 3*x**2/2 - 6*x. Is o(1) composite?
True
Suppose 5*n - 4*v - 4 = 0, -5*v + 6 = -4*n + 2. Suppose -22 = n*p - 6. Is -3 - 240/p - -2 composite?
False
Let w = 471 + 43. Suppose -7*h - w = -8*h. Suppose 2*r + 0*r = h. Is r composite?
False
Let l(d) = -d**3 + 18*d**2 - 12*d + 22. Let z(o) = o**2 - 5*o + 9. Let k be z(6). Is l(k) prime?
False
Let x(a) = -107*a - 1. Suppose 4*n - 4*c + 35 = -n, -2*n = -5*c + 31. Let h be (-5)/((-10)/(-6)) + n. Is x(h) a composite number?
False
Suppose 33229 = 9*h - 31904. Is h a composite number?
False
Suppose 0 = -5*c + 2*c + 2403. Let f = -222 + c. Is f a prime number?
False
Let n(u) = -u**3 + 3*u**2 + 52*u + 43. Is n(-15) a prime number?
True
Let t = -21 + 23. Suppose l = 3*y - 0*y + 920, 3690 = 4*l - t*y. Is l a prime number?
False
Let d = -223 - -321. Suppose -120 = -s + d. Suppose 4*x - 2*o = s, 3*x + 2*x + o - 262 = 0. Is x a composite number?
False
Let i = 11 - 2. Let x = 67 + -60. Suppose -i*b + x*b + 258 = 0. Is b prime?
False
Suppose 2*q - 5*q - 36 = 0. Let n be (1054/6)/(4/q). Let o = -372 - n. Is o prime?
False
Let h = 15442 + -10181. Is h composite?
False
Let g be ((-116)/(-6))/((-10)/(-30)). Suppose -28 - g = -2*t. Is t a prime number?
True
Let d(c) = 73*c**2 + 1. Let t(k) = 13*k - 14 + 0 - 14*k + 0. Let x be t(-15). Is d(x) composite?
True
Let w = -5181 + 9508. Is w composite?
False
Suppose -4*y + 2*a + 46 = 0, -y - 4*a + 8*a = -15. Suppose 0 = -6*o + y*o - 30. Let b = 31 + o. Is b a prime number?
True
Let t(g) = -g**3 + 9*g**2 + 10*g - 2. Let r be t(10). Let m be 33 - (-2)/2*r. Let a = m + -5. Is a a prime number?
False
Suppose -419 = 2*t + 283. Let b be (25/10)/(2/408). Let m = b + t. Is m a composite number?
True
Suppose m = 6*m - 5. Let n(d) = 586*d + 1. Is n(m) prime?
True
Let m(v) = -433*v - 38. Let p(k) = -433*k - 38. Let z(y) = -3*m(y) + 2*p(y). Is z(5) a prime number?
True
Suppose z + 10 = 6*z. Suppose 2*d + p = 293, 5*d - 534 - 16