 l*t - 1734, 3*t = -5*g + 792. Is t/1 + 1 + -1 prime?
False
Let u(o) = o - 7. Let s = 9 - 4. Let v be u(s). Is (-177)/(-2) + (-1)/v a prime number?
True
Suppose -3*c + 213 - 6 = 0. Is c prime?
False
Suppose -5*m - 6 + 16 = 0. Suppose -111 = -3*t - m*w + 28, -3*t + w + 133 = 0. Suppose t + 12 = 3*d. Is d composite?
False
Suppose 6797 = -0*g + 7*g. Is g a prime number?
True
Let m = 0 - -7. Let w(s) = 9*s**2 - s + 5. Is w(m) a prime number?
True
Let t(k) = -33*k. Let z(b) = -34*b - 1. Let f(o) = 5*t(o) - 4*z(o). Is f(-3) prime?
False
Let p = -2032 - -2909. Is p composite?
False
Let y = -7 + 7. Suppose y = 5*k - 2*i, -k - 7 = i - 0*i. Is -2 - (k + 0) - -49 a prime number?
False
Let k(f) = 171*f - 26. Is k(7) prime?
True
Suppose -1488 = -0*k - 4*k - u, k - 387 = -4*u. Is k a composite number?
True
Let d(g) = 2*g**2 + 2*g - 2. Let n = 3 + -5. Let t be d(n). Suppose 0*u = -4*w - u + 79, t*w + 2*u = 32. Is w composite?
True
Let k be 4/(-3) + (-4)/6. Is ((-148)/8)/(k/8) prime?
False
Let y = 10 - 7. Suppose -y*x + 12 = x. Let n(i) = 2*i**3 + 2*i**2 + 2*i + 1. Is n(x) prime?
True
Let n(o) = o**2 - 4*o - 4. Let p be n(4). Let d be 6/p + 18/4. Suppose -2*t + 90 = -5*j, d*t - 4*j = t + 86. Is t composite?
True
Let f = -2652 - -3801. Is f a composite number?
True
Let h = -136 + 306. Suppose 6*p = p + h. Let d = p - -43. Is d prime?
False
Let m(w) = w**2 + 5*w + 1. Is m(-14) a prime number?
True
Let s(v) be the third derivative of -1/3*v**3 - 1/24*v**4 + 1/120*v**6 + 0*v - 4*v**2 + 1/20*v**5 + 0. Is s(3) a prime number?
False
Suppose -2*g - 2*g = -4*f - 3392, -5 = -f. Is g a prime number?
True
Suppose -5*q + b + 42 = 0, -5*q + 2*q + 5*b = -34. Let w(d) = 16*d + 13. Is w(q) prime?
False
Let x be -1 - (-2 - (248 - 3)). Suppose -2*m = m - x. Is m prime?
False
Let d = -25 + 37. Let j = 17 - d. Suppose -l - 91 = -4*l + 5*x, 0 = 2*l - j*x - 69. Is l a prime number?
False
Suppose -4*p = 5*z - 6, 5*z = -p - p - 2. Suppose 0 = -p*o + 28. Is o a prime number?
True
Let m(u) = u**3 - 6*u**2 + 7*u + 1. Suppose -10 = 2*l, 5*v + 3*l + 2*l = 0. Is m(v) composite?
False
Suppose 3*z - 8*z = 5. Let j = 1 - z. Is (14/j)/(4 - 3) a prime number?
True
Is (38*(-111)/18)/((-4)/12) composite?
True
Let z be 9/2 - 3/(-6). Suppose -4*y - 71 = -z*y - 5*d, 2*d - 240 = -5*y. Is y a prime number?
False
Let m = -6 - -9. Suppose 0 = m*y + y - 132. Is y prime?
False
Suppose -s - 2*s = -897. Is s a prime number?
False
Let h(q) = 29*q - 15. Let z = -3 - -9. Is h(z) a composite number?
True
Let m be 1 - (4/(-2) - -4). Let n = 40 + m. Is n a composite number?
True
Let i(y) = -y + 11. Let k be i(10). Let h(d) = 2*d**2 + 3*d - 3*d + 18*d**3 + 1 - 2*d. Is h(k) prime?
True
Let z = 13 - 5. Suppose 904 = -4*y + z*y. Is y prime?
False
Suppose 0 = 5*g - 4*g - 172. Suppose -5*d = -g - 568. Suppose d = -0*l + 4*l. Is l a composite number?
False
Let t = 2754 + -1771. Is t a prime number?
True
Let n(o) = 8*o**2 + 3*o - 8. Let f be n(6). Suppose -3*z = -z - f. Is z a prime number?
True
Let c(b) = b**3 - 8*b**2 + 6*b + 4. Let u be c(7). Suppose -2*o + 5 = 15. Is (16 - 1)*u/o composite?
True
Let k = 714 + -307. Is k a composite number?
True
Let j = -2 + 1. Let z be 86 - (-1 - j)*1. Let u = 165 - z. Is u composite?
False
Suppose -h - 2*j - 2 = 23, 86 = -3*h + 5*j. Let k = h - -108. Suppose -k = -5*q + 74. Is q composite?
False
Let o(c) = -c. Let x be o(-2). Suppose -x*f - 4*p = 220, -108 = f + p + 3*p. Let i = -43 - f. Is i a composite number?
True
Let u(b) = b**2 + 7*b + 5. Let v be u(-7). Suppose -v*z + 13 = -197. Suppose -3*h = -h - z. Is h a composite number?
True
Suppose i - 4*i = 540. Let a = i - -311. Is a prime?
True
Is 3/(4 - (-23245)/(-5815)) prime?
True
Let y(h) = 2*h**3 - 4*h**2 - 2*h - 11. Is y(6) prime?
False
Let f(x) = x**2 - 3*x. Let o be f(5). Is (959/(-14))/((-1)/o) a composite number?
True
Let r = 18 + -15. Suppose -f = r*f - 1652. Is f composite?
True
Let d(n) = 5*n**2 - 4*n - 5. Suppose -5*v + 15 + 6 = z, 25 = 5*v. Is d(z) a prime number?
False
Let q = 134 - -407. Is q a composite number?
False
Let f be ((-4)/6)/((-10)/45). Let g be 2*(f - 2)*3. Let d = 12 - g. Is d prime?
False
Suppose -5 = -5*c + 5. Let w(m) = 89*m + 1. Is w(c) a prime number?
True
Is 3/(-2)*(-382)/3 a composite number?
False
Let a be ((-28)/(-21))/((-2)/(-3)). Is (a + -1)/((-2)/(-530)) a prime number?
False
Is 5 + 0 + 216*9 a composite number?
False
Let h = -3899 + 5592. Is h prime?
True
Suppose 0 = 3*j - 24 - 6. Suppose j = 4*z - 2. Suppose z*w + 176 = 413. Is w a prime number?
True
Let l(v) = v**3 + 2*v**2 - 4*v - 2. Let j be l(-3). Is (0 + j)*(-3 + 80) a prime number?
False
Let t = -1 + 1. Suppose 0 = -t*v - 4*v + 12. Is v composite?
False
Suppose 0*v + 5*v = -3*g - 35, -3*g + v = 11. Let m = 43 + g. Is m a prime number?
False
Let z(q) = q**3 - 6*q**2 + 4*q - 1. Let d be z(5). Let j = -6 - d. Suppose -290 = -2*g - j*g. Is g prime?
False
Let i(v) be the first derivative of -v**6/120 - v**5/20 - v**4/24 + v**3/2 + v**2 + 1. Let j(g) be the second derivative of i(g). Is j(-3) prime?
False
Let x = -20 - -40. Let l = x - 12. Let u(t) = t**2 - 5*t - 11. Is u(l) a composite number?
False
Let q(b) be the first derivative of b**5/24 - b**4/6 - 2*b**3/3 + 2. Let o(a) be the third derivative of q(a). Is o(5) composite?
True
Suppose -i - 27451 = -5*u + i, -4*i + 5477 = u. Is u a composite number?
True
Is -2 - (-1 + -86)*1 composite?
True
Let d = -261 + 844. Is d prime?
False
Suppose 4*w - o + 6*o + 18 = 0, -2*w = -5*o + 24. Is (-7 - -10)*(0 - w) prime?
False
Suppose r - 360 + 67 = 0. Is r composite?
False
Let m(p) = -6*p + 11. Is m(-7) prime?
True
Let h = 2 - -3. Suppose 0*r + 5*r = -h*w + 280, -4*w = -3*r - 231. Suppose 5*t = -5*i + 280, -4*t - w + 6 = -i. Is i a composite number?
True
Is (-2235)/(-7) + 10/(-35) composite?
True
Suppose i + 0*x = x + 6, -4*x = 3*i + 10. Suppose -i*c + 2*p + 14 = 0, 3*c = -2*p + 4*p + 25. Let u = 48 - c. Is u prime?
True
Let f = -2 + 4. Let l(i) = i**3 - 10*i**2 - 9*i - 1. Let k be l(11). Suppose 3*t = f*r - 27 - 14, 0 = -r + t + k. Is r a prime number?
False
Suppose 2*f - 8 + 2 = 0. Is f + (1 + -1 - -182) a composite number?
True
Let y(u) = u**2 + 7*u + 3. Let v be y(-6). Let h(f) be the third derivative of -2*f**4 + f**3/6 + f**2. Is h(v) prime?
False
Suppose 0 = 3*o - 12, -3*r + 5*o = -6*r + 29. Suppose -f - r*f + 172 = 0. Let b = f - -70. Is b prime?
True
Suppose 0 = 4*h + 210 - 1390. Is h composite?
True
Let g be 6/9 - (-20)/(-3). Is 3*(0 - 526/g) composite?
False
Is (-2)/(-3)*(14595/(-14))/(-5) a composite number?
False
Suppose w - 4*w - s + 4 = 0, 4 = -2*w + s. Suppose -3*n + 16 - 1 = w. Suppose 0 = -i + d + 93, -3*i = n*d + 1 - 264. Is i a prime number?
False
Suppose -4*k + 200 = -0*k. Suppose 2*x - q - 46 = -x, -k = -3*x + 5*q. Is x a prime number?
False
Suppose -3 = 2*i - 3*a, 1 + 2 = -4*i + 5*a. Suppose -5*p + 4 = k, 0*k + i*p - 6 = 3*k. Let o = k - -12. Is o composite?
False
Suppose 7*l - 53 = 6*l. Is l a prime number?
True
Let f(k) = -k + 1. Let d(g) = -2*g**2 + 9*g - 4. Let q(t) = -d(t) - 5*f(t). Is q(-5) composite?
True
Let r(z) = -z**3 + 14*z**2 + 5*z - 4. Let n be r(6). Suppose 2*a + n = 4*a. Is a a prime number?
True
Let m(o) = 2*o**2 + 4*o + 7. Let d(w) = -w**3 - 5*w**2 - 6*w - 4. Let h be d(-4). Let t be -2 + (1 - h)*1. Is m(t) a composite number?
False
Suppose 2*j + 16 = 4*l, -2*j + 4*j + 4 = -2*l. Suppose -l*w + 181 + 1 = 0. Is w a composite number?
True
Suppose 2*x - 4*v + 12 = 0, -x - x - v = 7. Let j be (-46)/(-4) - 2/4. Is 387/j - x/(-22) composite?
True
Let r(a) = 119*a + 2. Let x(c) = 178*c + 3. Let d(u) = -7*r(u) + 5*x(u). Let y be d(1). Suppose 259 = 3*g + y. Is g prime?
True
Let r(w) be the first derivative of 2*w**3/3 + 2*w**2 - w - 2. Let v be r(-3). Suppose v = 2*m - 33. Is m a prime number?
True
Let j be 2/(-4) - 13/(-2). Let z(v) = 11*v - 4 - 5*v + 11 - 3*v. Is z(j) composite?
True
Let h be 42/(-18) + 2/6. Is 1908/20 - h/(-5) a composite number?
True
Suppose -4 = 2*q, -4*s - 4*q + 632 = -3*s. Suppose -3*t = 2*t - s. Let x = 179 - t. Is x a prime number?
False
Let v = -2 + 1. Let h(z) = 66*z**3 + 2*z**2 - 1. Let x be h(v). Let t = 102 + x. Is t a composite number?
False
Let a(z) = 2*z + 6*z + 1 - 3 - 3*z + z**2. Let l be a(-4). Let o(x) = x**2 + 3*x - 5. Is o(l