 be the third derivative of o**4/3 - o**3/6 + o**2. Is m(x) a prime number?
False
Let x be -1*(3768/(-1))/4. Suppose a + x = 7*a. Is a composite?
False
Suppose 3*f + 8*k - 534 = 3*k, 5*f - k = 918. Is f a composite number?
True
Let y(r) = 12*r**2 + 8*r - 2. Let d be y(-7). Suppose 3*p + d = p. Let t = p + 392. Is t a prime number?
True
Let m(u) = -u - 3. Let w be m(-6). Suppose w*h = -b + 46, 4*b + 0*b - h - 184 = 0. Let d = 101 - b. Is d prime?
False
Let b(h) = -h**3 + 10*h**2 + 6. Let q(u) = -u**2 + 5. Let d be q(0). Is b(d) a composite number?
False
Let a(q) = q**2 + 12*q + 1. Is a(10) a composite number?
True
Let b(c) = c - 9. Let x be b(-8). Suppose -376 = 4*t - 8*t. Let h = x + t. Is h composite?
True
Is (944/24)/((-4)/(-6)) a prime number?
True
Is -23*((-9)/(-12))/((-4)/16) a prime number?
False
Suppose a = -c - 114, 5*c = -0*a + a - 582. Let k = -75 - c. Suppose 0 = 2*p + v - 0*v - k, -p - 4*v = -3. Is p composite?
False
Suppose -2*u + 5*u = 9, -w = -u + 4. Is w/(-8) + (-2455)/(-8) prime?
True
Suppose 3*n = s - 10, -3*s = -0*n - 2*n - 16. Suppose -11 = -s*q + 49. Is q a composite number?
True
Suppose 10442 = 5*c + 1467. Is c a prime number?
False
Let z(a) = -3*a**3. Let i = -4 - -3. Let r be z(i). Suppose -r*c - 4 = -5*x + 70, c + 55 = 4*x. Is x a prime number?
True
Let d(i) = -162*i**2 + 4*i + 3. Let o(r) = 161*r**2 - 3*r - 2. Let f(q) = 3*d(q) + 4*o(q). Is f(1) a composite number?
True
Is (7/(-5))/(2/(-1070)) prime?
False
Let p = 6 + 2. Suppose -4*u - 4*j + p = 0, 0*j = -4*u + 3*j + 8. Suppose -3*a - u*g = -40 - 199, 2 = 2*g. Is a prime?
True
Suppose 172 = 2*q - 3*k, -q + 4*k = 3*q - 348. Is q a prime number?
True
Let q be -2 + (2/(-1) - -1). Let t be (q/(-2))/((-6)/(-12)). Suppose 0 = t*r - 2*r - 46. Is r composite?
True
Suppose v - 723 = 3*s - 173, -5*s = 15. Is v prime?
True
Let s = 3012 - 1481. Is s composite?
False
Suppose -4*w = g - 14, -w + g + 1 = -0. Let z be -20 + 1 + (-9)/w. Is (-22)/(-1*(-4)/z) composite?
True
Suppose 4 = -5*q - 1. Let t be (-8141)/(-28) - q/4. Let l = t + -200. Is l composite?
True
Let p be 2/2*4 - 1. Let f = p + 11. Is f prime?
False
Let z = 0 + 3. Let h be z*-2*3/(-18). Let c(p) = 10*p**2 + p. Is c(h) a prime number?
True
Let y be 2 - -1 - (2 + 3). Is (-119)/((-2)/y)*-1 a prime number?
False
Let d(o) = 6*o + 9. Let u(n) = -3*n - 4. Let a(m) = 2*d(m) + 5*u(m). Let q be a(-2). Suppose -39 = q*h - 7*h. Is h a prime number?
True
Suppose 3*s - 209 = -u, -5*s + 193 + 160 = -3*u. Suppose 0 = 2*a + s + 170. Let h = -41 - a. Is h composite?
False
Suppose 0*w + 2*w = 2*h - 2, 4*w = -2*h - 22. Is h*46/(-12)*2 a prime number?
True
Suppose 12 + 213 = 4*s + 3*q, 0 = 3*s - 2*q - 173. Suppose 523 = 4*f - s. Is f a prime number?
False
Suppose 229 = -2*o + 4*n + 3235, 0 = -3*o + 2*n + 4501. Is o composite?
False
Suppose -2*c - 3*c + 10 = 0. Is 1065/3 + (2 - c) prime?
False
Suppose -163 = 5*z + 4*i, 0 = -2*z + 5*z + i + 95. Let w = z + 53. Is w a prime number?
False
Let j = 3 - -3. Suppose -q - j = q. Is -2 + q + 3 + 133 a composite number?
False
Let y(m) = 4*m - 33. Is y(10) composite?
False
Let f = -278 - -164. Let k = 171 + -340. Let y = f - k. Is y a composite number?
True
Suppose -9 = 3*p + 27. Let o = 7 - p. Is o prime?
True
Let i = -3 - -38. Is i composite?
True
Let f be ((-2)/3)/(2/(-24)). Let i(c) = c. Let g be i(3). Suppose 4*m = f, 0 = g*r - 2*m + 16 - 57. Is r composite?
True
Suppose -5*m = -0*m + 5*q - 940, 3*m = 3*q + 558. Is m a composite number?
True
Let c be (-12)/6*(-3)/2. Suppose -c*d = 5*g - 3155, 6*d = 3*d. Is g a prime number?
True
Suppose 2*j + 526 - 84 = 0. Let f = 506 + j. Suppose -4*i + 47 = -f. Is i prime?
True
Is (-19350)/(-66) - (-2)/(-11) a composite number?
False
Let b(u) = u**3 + u**2 - 1. Is b(7) a composite number?
True
Let a(v) = 63*v**3 - 9*v**2 - 7*v. Let s(t) = 32*t**3 - 5*t**2 - 4*t. Let l(u) = -4*a(u) + 7*s(u). Let m be l(-1). Let r = -16 + m. Is r a prime number?
True
Suppose -4*h - 5*j + 35 = 0, 3*h - 28 = -0*j - 2*j. Let b be 60/h*(-2)/(-4). Suppose -i + 121 = -3*d, -2*i + b*i + 2*d - 131 = 0. Is i composite?
False
Let h = -43 - -138. Suppose 0 = 4*j + j - 3*c - 101, -5*c = -5*j + h. Is j prime?
False
Let j be 0/(-1) + (8 - 6). Let g(u) = 6*u + 13*u - j*u. Is g(3) a prime number?
False
Let k(t) = -t**3 - 4*t**2 - t + 5. Suppose 3*i - 101 = 4*g, 0 = 2*i + 2*g - 7 - 65. Suppose 3 = b - 1, 0 = 3*n - 5*b + i. Is k(n) prime?
False
Let s be ((-16)/20)/((-2)/10). Suppose 3 = s*g - 9. Let q(t) = 3*t - 2. Is q(g) a composite number?
False
Let v = 0 - -34. Suppose -2*j + r = -72, 5*j - v = 5*r + 151. Suppose j = 6*x - x. Is x a prime number?
True
Let f(j) = j**3 + j**2 + 3. Let i be f(0). Suppose c + 1346 = 3*q, -q = -i*c - 2*c - 472. Is -2*q/(-6)*1 a prime number?
True
Let t(p) = 3*p**2 - 2*p - 1. Let c(x) = x**2 - x + 1. Let i(q) = q**3 + 5*q**2 + 2*q - 4. Let l be i(-4). Let g(j) = l*c(j) - t(j). Is g(4) prime?
True
Suppose -4*m = 4, 0*m = -4*l - m + 479. Suppose 0 = 2*n - 5*n - 5*d + 147, -4*d - l = -3*n. Let k = -31 + n. Is k composite?
False
Suppose 0 = -3*k + 295 + 32. Let z = -63 + k. Suppose -2*s + 144 + z = 0. Is s a prime number?
False
Suppose -k - 2*g = 130 + 388, -3*k - 4*g = 1544. Is k/(-12)*3*1 composite?
False
Let a be (-1)/((-10)/6 + 2). Let y = -5 - a. Is (-255)/y - 2/4 prime?
True
Suppose -5*p = -200 - 2490. Suppose -1595 - p = -3*j. Is (j/(-6))/(-3)*2 a composite number?
False
Let s(b) = 8*b + 4. Let m be s(4). Is ((-7)/4)/((-3)/m) a composite number?
True
Let r = -1132 + 2787. Is r a prime number?
False
Let k = 4276 + -2419. Is k prime?
False
Suppose -4*i + 0*j + 8 = -3*j, -5*i - 2*j + 10 = 0. Suppose 3*p + 5*z = 391, 0 = 5*p - z + i*z - 637. Is p a prime number?
True
Let a(k) = 191*k**2. Is a(-1) composite?
False
Let b = -478 + 801. Is b a prime number?
False
Is 6902/6 + 36/54 a prime number?
True
Let q(p) = -25*p + 3 - 2 + 2. Let b be 1 + (-3)/(10/5 + -1). Is q(b) a composite number?
False
Suppose 5 = 4*u - 7. Let a(c) = 14*c**2 - 3*c - 2. Is a(u) a composite number?
True
Let h(j) = 2*j**2. Let m be h(-1). Suppose 4*f + 2*d - 14 = 0, 5*f - m*d = -3*d + 16. Is ((-191)/f)/((-6)/18) prime?
True
Let h(d) be the first derivative of -d**2/2 - 4*d + 1. Let r be h(-7). Suppose 50 = r*p - 25. Is p prime?
False
Let a(g) = -4*g**2 + 4*g**3 - 3 - 9*g - 2 + 7*g + 0. Is a(4) prime?
True
Suppose 5*b = -1497 + 11292. Is b a composite number?
True
Let d be (-4)/18 - 12/(-54). Suppose d = 3*i - 8*i + 445. Is i prime?
True
Suppose -156 - 742 = -2*n. Suppose 0 = 5*l - k - 711, -3*l - 40 + n = -5*k. Is l a prime number?
False
Let b(a) = -a**3 + 10*a**2 - 7*a + 7. Is b(5) a prime number?
True
Is ((-419)/4)/(-2 - 28/(-16)) prime?
True
Is -5 - 8*-188*1 prime?
True
Suppose 4*w + 0*w - 1312 = 0. Let f = -119 + -4. Let j = f + w. Is j a prime number?
False
Let l(u) = 3*u**2 - 10*u + 9. Let y be l(11). Let v = -185 + y. Is v prime?
False
Let g(h) be the first derivative of 45*h**2/2 + h + 1. Suppose 2*w - 10 = -3*w. Is g(w) a composite number?
True
Let p(o) = o - 3. Let j be p(5). Let k be 2/(4/806) - j. Suppose 356 = 3*b - 5*g, 2*b + 4*g - k = -b. Is b composite?
False
Let n = 48 - 11. Let t = n + -16. Is t composite?
True
Let g = -342 - -601. Is g composite?
True
Suppose -6932 = 3*g - 7*g. Is g a composite number?
False
Let a = -11 + 36. Suppose -2*k = 0, -5*o - k - 5 - a = 0. Let l = o + 20. Is l a prime number?
False
Suppose 2 = -2*t, -h - 8 = -5*h - 4*t. Suppose -h*j + 3*u + 9 = 0, 0*j = -j - 4*u - 12. Suppose -4*c - 16 = 2*z - 58, -c - z + 12 = j. Is c a prime number?
False
Suppose -4*l + 533 = 193. Is l a composite number?
True
Let u = -78 - -257. Is u prime?
True
Let y(b) = -b - 5. Let c be y(5). Let w be c/35 - 46/(-14). Is 65/w + (-1)/(-3) composite?
True
Let z be ((-2)/1)/((-1)/2). Let i(d) = -d**3 + 7*d**2 - 6*d + 4. Let t be i(6). Suppose 59 = t*k + j, 22 = -2*k + z*k - 2*j. Is k a composite number?
True
Let c(i) = 4*i**2 - 11*i - 2. Is c(9) composite?
False
Let n be (-1)/2 + (-35)/(-10). Let f(k) = -k**2 + 7*k - 8. Let o be f(6). Is o/1 + n + 14 prime?
False
Let f = 10 - -26. Suppose x - 3*n - f = 0, 0 = x + 3*x + 5*n - 229. Is x a prime number?
False
Let y(c) = -2*c - 13. Let n be y(-10). Let q = n + -5. Let o(z) = 12*z - 2. Is o(q) a composite number?
True
Let h(r) = -21*r