0 = 5*m - v + 3. Let l be g(m). Is (1/2)/((-9)/l) composite?
False
Let y = 33 + 4. Is y prime?
True
Let d(y) = 3*y - 5. Is d(12) prime?
True
Let l = -77 + 112. Suppose l = 4*b - 1433. Is b a prime number?
True
Suppose o = -0*o. Suppose 2*i = 2*h + 166, o = -3*i - 2*h - h + 225. Is i composite?
False
Suppose -6 = -5*i + 54. Suppose -q + 3*m + i = q, m = -3*q + 7. Is q prime?
True
Let i = -123 + 3346. Is i prime?
False
Let a(m) = 28*m**2 + 6*m + 21. Is a(-5) a prime number?
True
Let z(a) = 2*a**2 + a. Let v be z(1). Suppose -4*t + v = -13. Suppose c + 121 = 2*d, 2*c = -t*d + 7*c + 251. Is d composite?
False
Let j(d) = 2*d**2 - 4*d + 1. Is j(-4) prime?
False
Let z = -682 + 1131. Is z composite?
False
Let n(s) = -24*s - 3. Let f = -6 - -3. Is n(f) a composite number?
True
Let w = -83 + 240. Is w prime?
True
Suppose 2*b = 2*a - 1926, 3*a - 1318 - 1563 = 5*b. Is a prime?
True
Suppose -4*q - 2*p = 3 + 5, 0 = q - 5*p - 20. Suppose -s + 9 + 16 = q. Is s composite?
True
Let f be ((-1)/2)/((-1)/38). Let k = 9 - 9. Let i = k + f. Is i prime?
True
Let u = 402 + 389. Is u a composite number?
True
Let o be (-2)/6 - (-72)/(-27). Is 98 + o/6*2 a composite number?
False
Let x = 11 - 9. Is 2348/36 - x/9 prime?
False
Let v(b) = 3*b + 4*b**3 + 7 - b + 2*b**2 - b. Let y(i) = -9*i**3 - 3*i**2 - 3*i - 15. Let r(u) = 7*v(u) + 3*y(u). Is r(-5) composite?
True
Let z(f) = -10*f + 7. Is z(-3) prime?
True
Is -3 + (-10 - -14) + 1163 + -1 prime?
True
Let u = -253 + 476. Is u a prime number?
True
Suppose -7*l + 15505 = -826. Is l a composite number?
False
Suppose 0 = -5*a - z + 319 + 856, 0 = 4*a - z - 940. Is a composite?
True
Let n(g) = g + 91. Let j = -3 - -6. Suppose -m = -z + 1, 3*m + m - 3*z + j = 0. Is n(m) prime?
False
Suppose t + 3*t - 8 = -m, 3*m - 6 = -3*t. Suppose -4*q - t*w + 502 = 0, 0 = -2*w - 3*w - 15. Is q a composite number?
False
Suppose 0 = -2*u + 3*u - 573. Is u prime?
False
Is (-32010)/(-14) + (11/7 - 1) prime?
True
Suppose 6*o = 4132 - 286. Is o composite?
False
Let x(f) = 30*f**2 - 30*f - 1. Is x(-11) prime?
False
Let r be -1 - 3/((-3)/7). Suppose 2*c + 0*o + 3*o - 4 = 0, 3*c - r = -5*o. Suppose -3*b = c*b - 215. Is b a prime number?
True
Let z be 6 - (-3 - (-9 + 3)). Let i(l) = -4*l**2 - 4*l + 3. Let q be i(z). Is q/(-4) + 3/(-12) a composite number?
False
Let z(q) = -q. Suppose -5*f = -3*v - 7, 0*f - 2*f = 2. Let c be z(v). Suppose 0 = -5*a + 121 + c. Is a a prime number?
False
Let g(o) = o**2 + 2*o - 14. Let f be g(0). Is (-16533)/(-21) - f/(-49) prime?
True
Suppose -254 = h - 2*h + 5*r, 1292 = 5*h - 3*r. Is h prime?
False
Suppose -y + 5*j + 71 = -67, 0 = -4*y - 2*j + 442. Is y composite?
False
Let l = 4 - 1. Suppose -b = -l*b + 818. Is b a composite number?
False
Let i = -12 - -21. Let j be (2 - 21/i)*-15. Let c = j + 17. Is c prime?
False
Let v(p) = -2*p. Let s be v(2). Let w = s - 1. Is 144/15 - 2/w composite?
True
Suppose -4*u + 28 = -7*u - 2*c, 3*u - 2*c + 8 = 0. Suppose -2*s - 5*m + 2 = 0, -4*m = -s + 2 - 1. Is s + 12 - (6 + u) composite?
False
Suppose -49 + 531 = y. Let n be 7*37/(-3)*-3. Let q = y - n. Is q composite?
False
Suppose y - 4*j = -0*y - 8, 3*y = 5*j - 3. Suppose 3*x + y - 10 = 0. Suppose -23 - 23 = -d - f, 0 = -x*f. Is d a prime number?
False
Suppose -74 = -2*s - 0*s. Is s prime?
True
Let n = -672 + 1225. Is n a composite number?
True
Let o be -33*2*1/(-3). Suppose 2 = m, -4*v + o = 3*m - 6*m. Is v a prime number?
True
Suppose -4*v = -0*v - 416. Let j = 189 - v. Is j composite?
True
Let k be (-2 - (2 - 5))*-3. Let v be (63/k)/(1/(-11)). Suppose 2*w = -w + v. Is w a composite number?
True
Suppose -4*z + 5*q - 2090 = -6*z, 0 = z - 4*q - 1045. Let b = -576 + z. Is b prime?
False
Let i(g) be the first derivative of -g**4/4 - 4*g**3/3 - g**2 + 2*g + 5. Is i(-4) composite?
True
Let z = 392 - -351. Is z a composite number?
False
Suppose 3*r + 4*p = -0*r + 2839, 4*p + 1866 = 2*r. Is r a composite number?
False
Let o be 20/50 + (-36)/(-10). Let t be (-12)/(-30) + o/(-10). Suppose t*d - 11 = -d. Is d composite?
False
Let t = 151 + -36. Is t a prime number?
False
Let o(r) = r**2 - 4*r - 7. Let u be o(6). Let w = u - 3. Let l(z) = 60*z**3 - 2*z**2 - z - 1. Is l(w) a prime number?
False
Let o(h) be the second derivative of 31*h**4/3 - 3*h. Let q be o(1). Suppose q = 5*y - y. Is y composite?
False
Let q(m) be the first derivative of m**4/24 + 7*m**3/6 + m**2 + 2. Let v(a) be the second derivative of q(a). Is v(0) composite?
False
Let q = 12 + -9. Let k be (-5 + 1)/(3/q). Is (1 - -46)*(-4)/k a prime number?
True
Suppose -2*c - 2425 = -7*c. Is c a composite number?
True
Let r(v) = -v**2 - 9*v + 2. Let n be r(-9). Suppose -n*f = -5*g + 4345, -5*g - 156 + 4496 = -3*f. Suppose -5*x - 66 + g = 0. Is x composite?
True
Let i(a) = 9*a + 30. Let l be i(-12). Suppose 270 = 2*b - 4*h, -h - 2*h = -2*b + 269. Let w = l + b. Is w a prime number?
False
Let q be (1 + 5 + -2)*4. Suppose q + 6 = k. Is k composite?
True
Let t(h) = -h**3 - 10*h**2 - 10*h - 5. Let f be t(-9). Suppose 0 = -p - f, -4*a + 5*p + 153 = -79. Is a prime?
True
Suppose 8 = -l + 3*l. Suppose 226 = l*m - 282. Is m a prime number?
True
Suppose -14 - 32 = -k. Is k a prime number?
False
Let w(t) = 2*t**3 + t - 1. Let j be w(1). Suppose -f - 38 = -j*f. Is f a composite number?
True
Let a = 91 - 54. Let g = a + 42. Is (g - -6) + 0/2 prime?
False
Let z(f) = 2*f**2 + 2*f - 7. Let k = 1 + 4. Is z(k) prime?
True
Suppose 2*v + 446 = 2*o, -3*v = 2*v. Let r = -154 + o. Is r composite?
True
Let r(m) = m**2 - m - 2. Let w be r(3). Suppose w*x - d = 207, -4*x - d = -4*d - 213. Is x prime?
False
Let k(t) = 23*t + 2. Let o be k(-2). Let f = -68 - o. Let y = -9 - f. Is y composite?
True
Suppose -31 = -5*y + 4*y. Is y prime?
True
Suppose 6*j - j + 250 = 0. Let u = 127 - j. Is u prime?
False
Suppose c = -d + 9, 4*d - c - 3 - 28 = 0. Let n(r) = -r**2 + 7*r - 3. Let g be n(d). Let l(w) = -16*w - 10. Is l(g) composite?
True
Let u(j) = j**2 + 4*j - 10. Let k be u(10). Suppose -4*o + 50 = -5*x - 99, -5*o - 5*x = -k. Is o composite?
False
Let m = -2 - 2. Is 12/6*(-134)/m a composite number?
False
Suppose 10 = 2*t - t. Let b be ((-6)/(-5))/(4/t). Suppose 0 = -2*a + b*a - 19. Is a composite?
False
Let p(i) = 6*i**2 - i**2 - 10*i - i**2 - 2*i**2 - 13. Is p(9) composite?
False
Suppose -3*t = -7*t - 32. Let z(a) = -a**3 - 7*a**2 - 10*a + 5. Is z(t) prime?
True
Let r(z) be the third derivative of 7*z**6/120 + z**3/3 - 2*z**2. Is r(2) prime?
False
Let u(f) = 2*f**3 - 2*f**2 + 1. Let p be u(-1). Let b(q) = -q**3 - q**2 + 2*q - 1. Is b(p) a composite number?
False
Suppose -2*x = -5*p + 456, x = 6*x - p + 1163. Let g = x - -377. Let w = g - 26. Is w a prime number?
False
Let b(h) = 413*h - 4. Is b(1) a composite number?
False
Suppose 0 = 3*f + 2*z - 37, -10 = f - 4*z - 41. Is f a prime number?
False
Let n = 13 + -9. Suppose 0 = -2*b + 16 - 6. Suppose 0 = d - 2*v - n, -d - b*v + 2*v = -9. Is d prime?
False
Let z = 6 + -19. Let v = -7 - z. Suppose -v = -5*n + 3*n, 4*p + 4*n = 280. Is p prime?
True
Let c(f) be the first derivative of -f**4/4 + 8*f**3/3 - 2*f**2 + 4*f + 3. Is c(3) composite?
False
Suppose 2*p = 4*p - 22. Let j(u) = u**3 - 12*u**2 + 11*u + 15. Is j(p) a prime number?
False
Let v be ((-10)/(-8))/((-4)/(-496)). Suppose 0*b = -5*b - v. Let n = b + 126. Is n prime?
False
Is (36/54)/((-769)/771 - -1) a prime number?
True
Let f be 420/11 - (-4)/(-22). Suppose a - f = -a. Is a a prime number?
True
Let z(q) = 61*q - 12. Let t be z(-5). Let u = t - -528. Is u a composite number?
False
Let y = 606 - 301. Is y prime?
False
Let r(v) = v**2 - 6. Is r(-11) composite?
True
Suppose -2*c + 2 = 4*l - 4, -4*c = 3*l - 17. Suppose -2*a = -7*j + 3*j - 92, -c*j + 4*a - 112 = 0. Is (-2)/4*j/3 composite?
True
Let z = -321 - -512. Is z a composite number?
False
Suppose -5*x - 2*u = -x - 10, 0 = -3*x - 2*u + 8. Let g(o) = -5*o + x*o**2 + o**3 - 2*o**2 + 4*o + o**2. Is g(2) prime?
False
Let k(f) = f + 1. Let b be k(-1). Suppose 524 = -b*p + p. Let h = p - 337. Is h a prime number?
False
Let x be ((-36)/30)/((-4)/10). Suppose h + 20 = x*h. Is h a composite number?
True
Suppose -3*c - i + 408 = -0*c, -2*c = 5*i - 272. Suppose 25 - c = -r. Is r composite?
True
Suppose 7*f = 23*f - 8656. Is f a composite number?
False
Let u(o) = o + 6. Let q 