
Let m(o) = -654*o - 1. Let c be m(-1). Suppose -4*i + c = -75. Is (i/(-21))/((-4)/6) prime?
True
Let b(k) = -k**3 - 5*k**2 - 4*k + 4. Let u be b(-4). Suppose -6*y + 2*y = -u. Let x(l) = 84*l**3 + 2*l**2 - 2*l + 1. Is x(y) a prime number?
False
Let j(m) be the first derivative of 4*m**2 - m + 2. Suppose -u = -1 - 0. Is j(u) composite?
False
Let w(n) = -3*n + 4*n**2 + 3*n**2 + 0*n + 1 - 2*n**2. Let y be w(-3). Suppose l - y = -2. Is l prime?
True
Suppose 0 = -4*l - 2*o + 2, -3*l + 0*o + 12 = -2*o. Suppose -m = 3*n - 26, l*m - 34 = -n - 3*n. Is 277/n - 6/(-27) prime?
True
Is 12/15*5 - -219 a composite number?
False
Let k(m) = -862*m + 3. Is k(-1) a prime number?
False
Let d(r) be the second derivative of -r**6/144 - r**5/15 - r**4/12 + 2*r. Let k(z) be the third derivative of d(z). Is k(-9) composite?
False
Suppose 0*m = -3*m + 978. Suppose 0 = -3*t + m - 119. Is t prime?
False
Suppose -2*m - 3*m + 20 = 0. Suppose -m*n + z = -z - 320, -4*n = z - 314. Is n composite?
False
Suppose 3*s - 21 = -3. Let d(u) = -2 + s*u + 15*u + 6. Is d(5) prime?
True
Let n be ((-3)/(-3))/(3 - 2). Is 36 + (n - (-2 + 5)) a composite number?
True
Let o = -4 - -4. Let z(b) = o + 3 - 8*b - 1. Is z(-3) composite?
True
Let p(r) = -6*r**3 - 2*r**2 - r - 7. Is p(-5) a composite number?
True
Let p(m) = 2*m + 3 + 0*m + 4*m. Let r be 27/5 + (-6)/15. Is p(r) a prime number?
False
Suppose 3*w - 8*w = 5*v - 2445, 2*v - 5*w = 964. Is v a composite number?
False
Suppose 5*j - 260 = 375. Is j a prime number?
True
Suppose 3*y + 33 + 9 = 0. Let v be (-74)/y + (-2)/7. Let w(a) = -a**3 + 6*a**2 - 3*a - 4. Is w(v) prime?
False
Is 2*212/(-16)*-2 prime?
True
Suppose -2*r - 3 = -3*a - 5*r, r = 3*a - 15. Suppose w - t = 374, -a*w + 902 = 3*t - 587. Is w prime?
True
Suppose 2*w + 4*w = -2508. Let u = -159 - w. Is u composite?
True
Let p(l) = -2*l**2 - l + 8. Let n(v) be the second derivative of v**4/4 + v**3/6 - 9*v**2/2 - 3*v. Let d(t) = 3*n(t) + 4*p(t). Is d(-4) composite?
True
Let p(i) = 3*i**2 - 10*i - 1. Is p(-18) a prime number?
True
Let c(p) = -80*p + 9. Is c(-5) a prime number?
True
Let q(u) = 2*u**3 - 11*u**2 - 8*u + 11. Let d be q(8). Is (d/(-12))/((-1)/4) a prime number?
True
Let s(u) = u**2 + 6*u + 5. Let y be s(-5). Let k = 2 + y. Suppose -3*x = -k*x - 55. Is x composite?
True
Let f(o) = -o. Let k be f(-3). Suppose -k*r = -2*h - 9, 4*h - 2*h + r = -21. Let x(p) = -10*p - 1. Is x(h) composite?
False
Suppose -3*n - 2*n - 10 = 0. Is (0/n)/3 - -123 composite?
True
Let b = 285 + -20. Is b a composite number?
True
Let p be 1*-1*(-8)/4. Let k be (p/(-1) - 1) + 3. Suppose -c - 4*w + 179 = -k*c, -4*c + 3*w = -754. Is c a composite number?
True
Let g be 6/(-5)*(-15)/6. Suppose m - 628 = -g*m. Is m prime?
True
Suppose -5*j - 3*x + 23 = 0, -x = -j + 3*x. Is j prime?
False
Let m(f) = -f**2 - 2*f - 2. Let h be m(9). Let n = h + 38. Is 2*(1 + n/(-6)) prime?
True
Let w = 6 - 3. Suppose 0*x = -w*x. Suppose -g + m + 94 = -68, 3*g - 2*m - 481 = x. Is g prime?
True
Is (2 - (1 - 0))*(52 + 1) a prime number?
True
Let v(y) = y**2 + 7*y - 5. Let x be v(-7). Let b(p) = -p**3 - 2*p**2 + 4*p + 4. Is b(x) a composite number?
False
Let c(i) = 2*i**2 - i + 291. Is c(0) composite?
True
Let q(k) be the third derivative of -k**6/120 + 7*k**5/60 + 5*k**4/24 + k**3/3 + 7*k**2. Is q(5) a prime number?
False
Is (-108)/(-24) - 3/2 a composite number?
False
Let m be 217/5 - (-4)/(-10). Suppose m + 70 = g. Is g prime?
True
Let d be ((-4)/(-5))/(4/10). Let i(q) = -q**3 + q**d + 4 - q**2 + 4*q**2 - 3*q. Is i(3) prime?
False
Let t = 49 + -88. Is (0 - -2)*-1 - t a composite number?
False
Let s be (-4)/14 + (-4260)/(-14). Let o = -177 + s. Is o a composite number?
False
Let v = -4019 + 6952. Is v a composite number?
True
Suppose -r - 6105 = -5*p, -3*p + 5*r - 505 = -4168. Suppose 0 = -0*s - 3*s + p. Is s composite?
True
Let b(v) = -v**2 - 6*v + 6. Let z be b(-7). Let a = z - 0. Is (0 - 1)*(-12 + a) a prime number?
True
Let q(g) = 20*g**2 + 1. Let x be q(1). Suppose 1 + 9 = -5*p + 4*o, -5*o = -2*p - x. Is -2*((-25)/p + 1) a prime number?
True
Let o(d) = -16*d + 21*d - 2 + 18*d. Is o(3) a composite number?
False
Let t(n) = -11*n + 1. Let w be t(-3). Suppose w = 2*c - 5*l, c + 2*l = -3 + 2. Is c composite?
False
Let w(b) = b**2 - b. Let n be w(0). Suppose n = -2*v + 5*v - 39. Let i = v - 0. Is i a prime number?
True
Let q be 9/6*3*(-10)/15. Let k = 4 + 2. Let m = k + q. Is m a composite number?
False
Let l(u) = 701*u**2 - 2*u + 2. Is l(1) a prime number?
True
Let a(u) = u**2 - u + 971. Is a(0) composite?
False
Let i(s) = s**3 - 8*s**2 - 8. Let a be i(8). Let m be 948/a*(-4)/(-3). Is 9/(-6)*m/3 prime?
True
Suppose 462 = 3*f - 7*m + 4*m, 3*f + m = 474. Is f prime?
True
Suppose -5*v - g = -11, 5*g + 29 = 2*v + v. Let w(o) = -o + 1. Let k be w(v). Is ((-18)/(-2) + k)/1 a composite number?
False
Let n = 463 - 242. Suppose 0 = -w + 3, 0 = -z - 3*w + 33 - 126. Let f = z + n. Is f prime?
False
Suppose 0 = 5*c + 2*h - 2457, -3*h + 1103 = 3*c - 364. Let x = c - 302. Is x composite?
False
Let w be (-4)/6 + (-4)/(-6). Suppose w = -3*n + 150 + 348. Suppose -2*o + 4*k + n = 44, -4*o + 2*k + 226 = 0. Is o prime?
False
Let v be -1*(-2 - (-12 + 1)). Is (-57)/v - (-2)/3 prime?
True
Let v = 7 + -5. Suppose -s - 234 = -v*t, 0 = 2*t + 3*t + 3*s - 563. Is t a composite number?
True
Let c(u) = u**2 + 3*u + 3. Is c(-5) composite?
False
Suppose -2*s = -h - 258, -s = 4*h - 82 - 29. Is s a composite number?
False
Let k be (-1 - 15)/(1/(-1)). Let x = k + -10. Let g(w) = w**3 - 5*w**2 - 3*w + 1. Is g(x) a composite number?
False
Let n be 2/(-5) + (-44)/(-10). Let s = 8 - n. Suppose 0 = -s*a - a + 30. Is a prime?
False
Suppose 4*h + 0*t + 5*t = 16191, -8100 = -2*h + 2*t. Is h prime?
True
Suppose q = -2*q - 3, -4*h + 5*q + 353 = 0. Suppose 0*b = -b + h. Is b a composite number?
True
Let a(v) = -v**2 + 17*v - 20. Let b be a(15). Is (-1)/5 + 10432/b a prime number?
False
Let w = -92 + 129. Suppose m + n = -w, -5*m - 120 = -n + 95. Let k = m + 63. Is k a prime number?
False
Suppose 9 = 4*n - 2*n - q, 3*n - 16 = 4*q. Suppose 0 = -n*t + 291 + 153. Is t prime?
False
Let l = 123 + -73. Suppose 4*d = 3*m - 333, -m + 161 = -4*d + l. Is m a prime number?
False
Let a = -12 - -7. Let d = -2 - a. Suppose -2*t - 37 = -d*t. Is t prime?
True
Let s = -66 + 153. Is ((-66)/(-9))/(2/s) prime?
False
Suppose -4*p - 1584 = -n, n + 893 = -3*p - 288. Let d be (4/(-2))/((-10)/p). Let w = 174 + d. Is w prime?
False
Let k be -2 + -729 + 2 + -1. Is (-2 - 0)/(10/k) prime?
False
Is (-20)/10*(-861)/6 a prime number?
False
Let g be -3 - (-2 + 1)/(-1). Let o be ((-5346)/g)/(3/6). Is o/21 + (-2)/7 a composite number?
False
Suppose 0*l - 2*l = 0. Suppose l*d = -4*d. Suppose -4*r + 2*z = -2*z - 280, 5*r - 4*z - 351 = d. Is r a composite number?
False
Let p = 1208 - -1218. Is p prime?
False
Let h = -1 + 19. Let g(a) = 3*a**2 + 1. Let u be g(-2). Let m = h + u. Is m prime?
True
Let w(c) = c + 3. Let m be w(-1). Suppose -r + m*o + 0*o + 12 = 0, -3*o - 39 = -5*r. Is r prime?
False
Let q be 1/(-2)*(0 - 12). Is (-1 - 1)*(-1293)/q a composite number?
False
Suppose n - 144 = -3*n. Let k = n - -198. Let y = -155 + k. Is y prime?
True
Let p be (-8)/(-12) + 4/3. Let q be 16/p*2/4. Suppose -124 = -q*v + 88. Is v a composite number?
False
Let b = 22 + -38. Let f = b - -7. Let y = -6 - f. Is y a composite number?
False
Let v(i) = 7*i. Suppose 3*y = -y + 8. Let p be (1 - y)/(2/(-6)). Is v(p) a prime number?
False
Let x(n) = 23*n + 1. Suppose 3*r - 4 - 2 = 0. Is x(r) a composite number?
False
Let m(d) = -d**2 - 5*d - 12. Let p be m(-9). Let t = 73 + p. Is t prime?
False
Is -1 + -1 - 489/(-3) composite?
True
Let q(f) = -f. Let n(h) = -2. Let o(b) = b + 1. Let y(j) = n(j) + 2*o(j). Let g(z) = -5*q(z) - 3*y(z). Is g(-9) a prime number?
False
Let k(m) be the second derivative of -7*m**3/6 + m**2 + 3*m. Is k(-3) prime?
True
Let n = 4 + -6. Let k be n*2/4*1. Is (-73)/(-2) - k/2 composite?
False
Let h(z) = -4*z - z + 21 - 23 - 3*z. Is h(-3) prime?
False
Let v(f) = f**3 - 9*f**2 + 2*f - 12. Let s be v(9). Let z be 624/(-18)*s/(-4). Suppose 0*p = -4*p + z. Is p a prime number?
True
Let c(p) = -p**2 + 20*p - 14. Let h be c(13). Let t = -18 + h. Is t a composite number?
False
Let f = -3 + 5. Let z be (f/(-6))/((-3)/(