ber?
True
Let i(w) = w**2 + w - 1. Let c be i(-2). Is (389/3)/(c/3) a prime number?
True
Let s(z) = 3*z**2 - 2*z + 1. Let h be s(1). Suppose -224 = h*q - 606. Is q a prime number?
True
Let d = 57 + -6. Suppose -d = -z - 7. Suppose -4*p + 2*p = -z. Is p a composite number?
True
Let x(z) = 39*z + 6 - 2 + 6. Let v be x(-10). Let j = -157 - v. Is j a composite number?
False
Suppose -3*y = -i - 4154, 1701 + 2452 = 3*y - 2*i. Is y a composite number?
True
Suppose 32115 + 36553 = 4*p. Is p prime?
True
Let b = 8345 + 4112. Is b composite?
False
Let n be -1*((-3)/(-1) + -8). Suppose -4*f - 2*j + 922 = 0, -n*f + 6*j + 1146 = 2*j. Let s = 441 - f. Is s a composite number?
False
Let i(u) = 43*u**2 + 2*u - 7. Let c be i(3). Suppose -5*o - c = -3341. Is o composite?
True
Let g(w) be the second derivative of 5*w**4/12 - 5*w**3/6 + 11*w**2/2 - 44*w. Let n be -1 + -1 + (-2 - 1). Is g(n) prime?
False
Is 1201 + (-9 - -1)/4 a prime number?
False
Let l be (2/5)/(1/5). Let q be 1 - (-6)/4*l. Is (2/q)/(5/1630) a prime number?
True
Suppose 240 = 12*x - 14*x. Is (-24)/x - (0 + (-11148)/10) composite?
True
Let o = -215 - -368. Let j be 5 - 6 - (0 - o). Let d = j - -315. Is d a composite number?
False
Let t(d) = 46*d**2 + 2*d + 77. Is t(-16) a prime number?
True
Let a(l) = 84*l**2 - 4*l - 3. Let m(p) = -p**2. Let y(k) = a(k) + 6*m(k). Suppose 8*r + 16 = -0. Is y(r) a composite number?
False
Let x(m) be the second derivative of -5*m**2 - 19/6*m**3 + 6*m + 0. Is x(-5) a composite number?
True
Suppose p = -4*p + 20, n + 5*p = -1. Is 6/n - (-1308)/21 composite?
True
Let s(c) = 2610*c**2 - c. Suppose 0 = -5*b + b - 4. Is s(b) a composite number?
True
Let y(f) = 2*f - 1017. Let m be y(0). Let c = 2030 - m. Is c composite?
True
Let s = -4065 - -7078. Is s composite?
True
Let o(j) = 589*j**3 - j. Let a be o(1). Suppose -a = -3*d - 0*d. Suppose -5*c + 189 = -d. Is c a prime number?
False
Let n = -1717 - -10026. Is n prime?
False
Let d(t) = -122*t**2 + t + 3. Let a(s) = -122*s**2 + 2. Let y(b) = -6*a(b) + 5*d(b). Is y(-2) a composite number?
True
Let x(w) = 20*w**2 + 2*w + 7. Let t be x(-5). Suppose 2*v + v - o - 1475 = 0, -t = -v + 3*o. Is v a prime number?
True
Let c(b) = -b**2 - b + 1. Let m(j) = j**3 + 7*j**2 - 12*j + 5. Let i(p) = -2*c(p) + m(p). Let y be i(-10). Suppose y*v = 2*v + 691. Is v prime?
True
Let m(v) = -v**3 + 6*v**2 - 2*v - 4. Let u be m(5). Let a(q) be the second derivative of q**5/20 - q**4 + 5*q**3/2 + 9*q**2/2 + 5*q. Is a(u) a prime number?
True
Suppose -5*b + 0*r - 2*r = -149, b = -r + 31. Suppose -4909 = 28*l - b*l. Is l a prime number?
True
Let g be (-7)/14*-6*(-5)/(-3). Suppose 3*o - q = -g*q + 7315, -2*q - 9746 = -4*o. Is o prime?
True
Suppose 1 = 2*u - 1. Let x be (u + 2 + -6)*2. Is x/10 + 54/15 a prime number?
True
Let t(k) = -19*k**2 + 4*k - 1. Let h(z) = 39*z**2 - 8*z + 1. Let j(v) = -2*h(v) - 5*t(v). Let m be (2/5)/(4 - 156/40). Is j(m) a prime number?
False
Let y(h) = -3*h**2 - 3*h + 1. Let b(j) = -9*j**2 - 8*j + 3. Let d(c) = -3*b(c) + 8*y(c). Is d(10) prime?
False
Let j = -5065 + 11018. Is j composite?
False
Suppose -5*c + 1970 = 3*m + 2*m, 5*c = -4*m + 1967. Suppose -4*f = 4*p + 1148, -7*p - 2*f = -3*p + 1154. Let t = c - p. Is t a composite number?
True
Let p(r) = r + 1. Let h be p(5). Let a(k) = -2*k**2 + 15*k - 14. Let z be a(h). Suppose 4*i - 228 = -2*f, -z*i + 0*i + 2*f + 212 = 0. Is i a prime number?
False
Let x be (-5 + 1)*45/(-12). Let d = x + -13. Suppose m + 16 = j, 3*m + 12 - d = j. Is j a prime number?
True
Let p(t) = 166*t**2 - t. Suppose -y - 4 = 2*g - 2*y, -4*y = -2*g - 10. Let m be p(g). Let v = -100 + m. Is v a prime number?
True
Suppose 2*r + 1010 - 2784 = 0. Suppose 2*k + 151 + r = -2*o, 4*o + 2082 = 2*k. Let x = o + 743. Is x a prime number?
True
Suppose 10080 + 32606 = 14*v. Is v a prime number?
True
Suppose 782*n = 776*n + 228234. Is n a prime number?
True
Suppose -5*c + 3*u = -6849 - 124, -3*u + 1409 = c. Is c a prime number?
False
Let g(b) = -7819*b**3 - 2*b**2 - 6*b - 6. Is g(-1) a prime number?
True
Let y(q) = 203*q**2 - 126*q + 6. Is y(-4) composite?
True
Let u(b) be the second derivative of -b**6/240 + b**5/120 - b**4/3 - 2*b. Let k(h) be the third derivative of u(h). Is k(-10) a composite number?
False
Let z be 20/(-6)*(-2)/20*12. Suppose 2*k + 478 = z*y, 3*y + k = -y + 487. Is y composite?
True
Suppose 2*v + 3*v - 3070 = 5*f, -3*v - 614 = f. Suppose 5*r = -4*n + 40, 2*n = -4*r - 4 + 24. Is (f/(-4))/(5/n) composite?
False
Let q be ((-243)/12)/((-1)/52). Suppose -276 + q = 7*t. Is t a prime number?
False
Suppose 16 = -14*a + 18*a. Suppose -4*g = -0*g - 12, 5*o + a*g - 4447 = 0. Is o composite?
False
Suppose 41*w = 15*w + 1194518. Is w composite?
False
Let w = -296 + 559. Is w a prime number?
True
Suppose -2*a + 2*r + 2 = 0, -a + 6*r - 7 = 3*r. Suppose -3*o - 662 = -a*o. Is o a composite number?
False
Suppose 5*d + 8528 = d. Is d/13*(-10)/8 a prime number?
False
Suppose -9*k = -5*k - s - 43480, -s = -4. Is k composite?
True
Let t = 23 - 5. Let u(h) = 6*h**2 + 2*h - 7. Is u(t) a composite number?
False
Is ((-5)/(-10))/(21611/4322 - 5) a prime number?
True
Let w = 6296 + -2841. Is w a prime number?
False
Let y = -8572 + 25493. Is y a prime number?
True
Suppose 0 = 2*r - r. Suppose -5*p - p + 1578 = r. Is p a composite number?
False
Suppose -2*i - 7 + 17 = 0. Suppose 5*u - 5*y - i = 5, 0 = -y + 3. Let b(g) = 3*g**2 - 5*g + 3. Is b(u) composite?
False
Suppose -2*b = g - 5613, -g - 3*g - 5*b = -22467. Is g a composite number?
False
Suppose 24 = -8*o - 0. Is 1599/(-6)*(o - -1) prime?
False
Suppose -s + 19544 = 7*s. Suppose 2*x - s = -3*x + 2*m, -3*x + 1453 = 2*m. Is x prime?
True
Let r be (2 + 6)/(2/328). Suppose -r = -2*u + 98. Suppose -v - 4*y - 54 + 219 = 0, -5*v + 4*y = -u. Is v prime?
False
Let b be 1 - (-2 - 0) - 3. Suppose b = 3*o + o + 864. Is o/(-7) + (-1)/(-7) a prime number?
True
Let c(b) = -b**2 + 5*b - 3. Let g be c(3). Suppose 0 = -2*t - g*t - 3*u - 117, -2*u - 71 = 3*t. Is (-2)/(-14) - 1656/t a composite number?
False
Suppose 0 = b - 5*s - 14033, -6755 - 21287 = -2*b - 2*s. Is b prime?
False
Suppose o = -3*o. Suppose 5*i + 5*z - 1900 = o, -5*i + 0*z = z - 1920. Suppose 4*v = 3*j - 1139, 6*v - 2*v = j - i. Is j a composite number?
True
Suppose 3*n - 13878 = -18*g + 23*g, 4*g + 18512 = 4*n. Is n prime?
False
Let d(b) = 14475*b - 5. Let y be d(1). Let n = y + -3357. Is n prime?
True
Suppose -11*g = -48119 + 5560. Is g a prime number?
False
Suppose -2*n = -3*n + 26. Suppose -k + 5*y + 28 = 0, -5*y - 6 = 3*k + 10. Is (-39)/n*(-74)/k prime?
True
Let l = 13490 - -6171. Is l a composite number?
False
Let m be 8/(-6)*(-4350)/4. Suppose -5*i + m = -5*b, 0*i = 2*i - b - 585. Is i composite?
True
Let k(a) = a**2 + 3*a - 6. Let c be k(7). Let i = c - -415. Is i a prime number?
True
Let l(h) = 6*h**3 - 6*h**2 - 2*h - 4. Is l(5) a prime number?
False
Suppose 5*o = o. Suppose 4 + 2 = 2*d. Suppose o*t + 111 = d*t. Is t prime?
True
Let t(b) = -b**3 - 5*b**2 - 4*b - 6. Let p(u) = -2*u**3 - 5*u**2 - 4*u - 6. Let w(m) = -2*p(m) + 3*t(m). Let i be w(6). Is (2534/i)/(5/15) prime?
False
Let x be (855/(-2))/(-1) - (-7)/14. Suppose -11*h = -551 - x. Is h a prime number?
True
Let j(u) = -89*u + 273. Is j(-26) composite?
True
Suppose 0 = 5*v - 2*p - 7 + 1, 4*p = v + 6. Let s(k) = 1 - v + 155*k + 0 - 4. Is s(2) composite?
True
Let k(r) = 287*r**2 + 21*r - 69. Is k(4) a composite number?
True
Let z(j) = 2*j**2 - j + 1693. Is z(0) a prime number?
True
Let c(g) = 65*g - 47. Let v be c(5). Let b = v + -75. Is b prime?
False
Let g(q) = q**3 - 11*q**2 - 20*q + 23. Let k be g(17). Let b = k + -674. Is b prime?
True
Suppose 0*m = -m - 6. Is (8 + m)/(4/1538) a prime number?
True
Let j = 5537 - 3364. Is j prime?
False
Let j(w) = -22*w - 3. Let p be j(-9). Suppose -3*o + 2826 = p. Is o a prime number?
True
Let w(p) = -391*p - 88. Is w(-39) a prime number?
True
Let x(p) = 2 + 1 - 20*p**3 - p**2 - 6 - 4*p. Let n(t) = t**3 - 9*t**2 + 8*t - 2. Let d be n(8). Is x(d) a prime number?
False
Suppose -271 = -2*u + 175. Let v = -146 + u. Suppose 4*l - v = 59. Is l composite?
True
Let w(c) = 109*c - 45. Let d = -23 - -37. Is w(d) a composite number?
False
Suppose 18*f - 2 = 17*f. Suppose -4*w + 5*d = -4269, -f*w + 450 = d - 1667. Is w a prime number?
Tr