 13 - 1. Let n be ((-18)/k)/(6/(-472)). Suppose 0 = -2*m - 0*f - 4*f + n, 3*m - f - 205 = 0. Is m prime?
True
Let y(v) = 4*v - 12. Let o be y(-12). Let x = 106 + o. Is x prime?
False
Let c = 3426 - 2263. Is c composite?
False
Let a(t) = -9*t**2 + 2*t - 12. Let g(x) = 10*x**2 - x + 13. Let m(i) = -6*a(i) - 5*g(i). Let u be m(6). Let d = 220 - u. Is d prime?
False
Let t(r) = r + 5. Let b be t(0). Let g(f) = f**3 - 2*f**2 - 4*f + 5. Let o be g(b). Suppose 3 - o = -3*w. Is w a prime number?
True
Suppose -5*r = -0*r - 25. Suppose 0*a - 14 = a - 4*g, -3*a - r*g = -43. Let y(q) = -q**3 + 7*q**2 - 4*q + 1. Is y(a) a composite number?
False
Suppose 3*a + 3*g - 1941 = 8*g, g + 1294 = 2*a. Is a a prime number?
True
Suppose 0*x - 6*x + 8886 = 0. Is x a composite number?
False
Let w = -76 + 203. Is w prime?
True
Let f be 4/(-6) + 33/9. Let b be f/(-6)*(-46)/1. Suppose 2*p = 5 + b. Is p prime?
False
Is (2 - 0)*(-2)/12*-111 a prime number?
True
Suppose 0 = 6*n - 53 - 2185. Is n a prime number?
True
Let y(a) = a**3 + 8*a**2 - 3*a - 1. Suppose n + 8 = 2. Is y(n) prime?
True
Let t(w) = 2*w**2 - w - 1. Let o = -7 + 6. Let m be t(o). Suppose -v - 2*a = -7*a - 182, 3*v + m*a = 495. Is v composite?
False
Suppose -5*q + 4*f = -254, f - 3 = 1. Suppose 5*h - q = 61. Is h a prime number?
True
Let t = -59 + 41. Is 8466/54 - 4/t composite?
False
Is 1/(3*(-2)/(-84)) a composite number?
True
Suppose -3*u = -3*c - u - 537, 5*c - 5*u = -890. Let i = c + 306. Suppose -2*x + d = 3*x - i, x - 4*d - 25 = 0. Is x composite?
True
Let f = 3 - 3. Suppose 3*x - 6 = f, -4*x - 37 = 3*j + 2*j. Is (9 + -2)/((-3)/j) a prime number?
False
Suppose 2*y - 15 - 11 = 0. Let u be y/(-3) - (-2)/6. Is 2/8 + (-55)/u composite?
True
Is 1/((-2)/(-12)) + 2 + -5 a composite number?
False
Suppose -4*s = -s - 6. Suppose -s*w + 1748 = 2*w. Is w prime?
False
Let i = 3 + -2. Suppose 0*a = -a + 1, i = -d - a. Is (d - 0)*(-19)/2 prime?
True
Let p(u) = u**2 - 4*u + 6. Suppose -2*t + 4*t - 8 = 0. Let b be p(t). Is (-923)/(-3) + (-4)/b prime?
True
Suppose 56 - 354 = -2*m - 4*b, -b - 560 = -4*m. Let s = -273 - -185. Let p = s + m. Is p prime?
True
Let t(y) = 4*y**3 - 6*y**2 + y - 5. Let b be t(5). Suppose -4*j - 2*w = -470, -w + b = -2*j + 5*j. Is j a composite number?
True
Suppose -u + 809 = 5*v, -5*v + 1038 - 237 = -u. Is v composite?
True
Suppose 0 = -6*c + 2*c + 5*y + 419, 2*y - 565 = -5*c. Is c a prime number?
False
Let i(o) = -693*o - 10. Is i(-5) composite?
True
Let u = -55 - -112. Let s = 21 + -42. Is (-4)/(-14) - u/s a composite number?
False
Let a(n) = -39*n + 4. Is a(-3) a prime number?
False
Let w be (2 - 4) + (0 - -5). Suppose 0*v = 2*v - w*t - 65, 100 = 3*v - 2*t. Is v a prime number?
False
Is 911/(-3)*(-4 + 1) a composite number?
False
Is (239 - (-3 - -4)) + 1 composite?
False
Let t be -1 + (412 + -2 - 1). Let u = t + -173. Is u a prime number?
False
Let a(d) = d**2 + 4*d - 10. Let x be a(-6). Suppose 0*k - k = m - 46, -x*k + 6 = 0. Is m a prime number?
True
Let c(f) = -41*f**2 + 9*f + 2. Let n(o) = 14*o**2 - 3*o - 1. Let s(x) = -4*c(x) - 11*n(x). Let u be 1 + 2 + -1 + 0. Is s(u) prime?
True
Suppose 0 = -0*s + 2*s - 136. Let f be (-2)/(-9) + s/18. Suppose -f*k = 12, -2*k + 18 = 5*b + 2*k. Is b a composite number?
True
Let y(n) = -17*n + 1 + 3 + 0*n + 7. Is y(-10) composite?
False
Let f = -1795 - -3354. Is f a composite number?
False
Let l(u) = -u**3 - 6*u**2 - 6*u - 6. Let t be l(-5). Let b(k) = 5*k**2 - 2*k - 1. Let a be b(t). Suppose w - 20 = a*w, 3*m = 2*w + 53. Is m composite?
True
Is (3 - 286/(-4))*10 a prime number?
False
Let o(n) = n**2 - 3*n + 2. Let w be o(4). Suppose -2 + w = 2*z. Suppose -m = x - 13, -z*m = 2*m + 5*x - 51. Is m a prime number?
False
Suppose -2*d + 356 = 4*i, -2*d - 335 = -5*i + 128. Suppose -c = m - 42, 5*c - m - 89 = i. Is c a prime number?
True
Let n = 582 - 404. Is n composite?
True
Let c(w) = -5*w**2 + w. Let g be c(-1). Let r(k) be the second derivative of k**5/20 + k**4/2 - k**3/2 + k**2/2 - k. Is r(g) a prime number?
True
Let c(u) = 84*u**3 + 1. Let w(h) = h**2 + 9*h + 9. Let x be w(-9). Suppose -2*r = -3*d + x, -4*d - 12 = 5*r - 1. Is c(d) a composite number?
True
Suppose 225 + 1974 = 3*n. Is n prime?
True
Let g(a) = 2*a**3 - 6*a**2 - 6*a + 7. Let d be (-2)/5 - (-54)/10. Is g(d) a prime number?
False
Is (-16)/72 - (-8086)/18 composite?
False
Suppose 4*z = 3*z + 493. Suppose 4*q = -4*f + q - 985, -2*f - z = q. Let y = -162 - f. Is y a prime number?
False
Let h = 109 + -71. Suppose 5*k + 16 = b, -4*b = k - 89 - h. Is b prime?
True
Let q(z) be the second derivative of z**4/2 - 3*z**3/2 - 7*z**2/2 - 5*z. Is q(-6) a prime number?
True
Let a(s) = s**3 + s**2 + s + 2. Let f be a(2). Suppose -5*d + 3*r - 9 = 0, -d + f = -5*d - 2*r. Is (-221)/(-6) - d/18 a prime number?
True
Is 11 + 8/(4 + 0) composite?
False
Suppose i = -3*j - 8, -4*i + 5*j + 43 = 7. Suppose -83 - 497 = -i*v. Is v prime?
False
Suppose 2*q = -5*c + 21, -q - 3*q = -2*c + 18. Let i = c + -7. Is 74*(-1)/(4/i) a composite number?
False
Suppose p + 5*t = 159, -4*t - 534 = -3*p - 0*t. Suppose -10 = -b - 4*y, -y - 6 + 4 = -2*b. Suppose -p = -4*q - b. Is q a prime number?
True
Let o(l) = l**3 + 8*l**2 - 2*l - 9. Let i be o(-8). Suppose 11*y - 5036 = i*y. Is y prime?
True
Suppose 315 - 88 = z - 4*b, -2*z - b = -427. Let y = -12 + z. Is y a prime number?
False
Let q(m) = 3*m**2 - m + 2. Suppose -2 = -2*a + 2. Let w be q(a). Suppose 0 = -v - 3, 35 = 2*y + 5*v + w. Is y a prime number?
True
Suppose -16 = -3*o - 7. Suppose 157 = 3*c + t - 0*t, 0 = -o*c + t + 155. Suppose -4*q = -0*q - c. Is q a composite number?
False
Suppose -228 = 2*z + 2*z. Let l be z + (-2 - -2 - -2). Let b = l + 94. Is b a prime number?
False
Let q(j) = 473*j - 32. Is q(5) prime?
True
Is (0 - (-489)/(-6))/((-3)/6) a composite number?
False
Let d(i) = 6*i**2 - 7*i - 2. Is d(5) prime?
True
Let m(q) = q + 6. Let k be m(-4). Let r be (-15 - 2)*(-13)/1. Suppose k*x - 2*n - 112 = 0, -n = 4*x - 2*n - r. Is x prime?
False
Suppose w + 1 = -3*l + 2, 5*w - 33 = -l. Suppose -u + 2*z + 124 = w*z, 0 = u + 2*z - 133. Is u/2 - 3/6 composite?
True
Let d(f) = 11*f**2 - 14*f + 22. Is d(-11) composite?
True
Suppose -i = 2*i - 444. Suppose 2*y = 2*h - 2*y - i, -4*y = -5*h + 346. Suppose h = -o + 4*o. Is o prime?
False
Let a = 3 - 3. Suppose -3*w + 3*b - b + 3 = a, -4*w = -3*b - 4. Suppose 5*p + 6 = w, 0 = 3*q + 2*p - 31. Is q prime?
True
Is 90 + (-3)/9*-3 composite?
True
Let j be -1 - -1 - (-927 - 2). Suppose 0 = 4*o - j + 285. Is o a composite number?
True
Let t(r) = 8*r**2 + 30*r + 3. Let x(y) = 4*y**2 + 15*y + 1. Let u(v) = 3*t(v) - 5*x(v). Is u(-6) prime?
False
Let c(x) = -521*x**3 - x - 1. Is c(-1) a composite number?
False
Let o be 2/(-5) + 44/10. Let s(j) = -j**3 + 5*j**2 - 4*j**2 + 7*j + 2*j**2 - 6. Is s(o) composite?
True
Suppose 47 = 3*s + 4*a - 14, s + 4*a = 31. Is ((-534)/(-9))/(10/s) prime?
True
Let w(v) = v**3 - 13*v**2 + 12*v - 5. Suppose -3*q - 12 = -4*q. Let z be w(q). Let k = z - -7. Is k composite?
False
Let p(r) = 0*r**2 + 2*r + 1 + 5*r - 7 - r**2. Let c be p(5). Is ((-106)/(-4))/(c/8) composite?
False
Suppose g - y - 17 = 0, 2*g + 3*y - 26 = y. Let k be (g - 1)/((-6)/24). Let r = k - -115. Is r a composite number?
False
Is 4 - 3966*(-12)/8 a composite number?
False
Let u(n) = n**2 - 6*n + 5. Suppose -4*y + y = 6. Let l be -5 + (1 - (4 + y)). Is u(l) composite?
True
Suppose -3*d + 5*d = 10. Suppose 2*j - 63 = y + 512, 0 = 3*j + 3*y - 840. Suppose -d*a - 20 = -j. Is a a prime number?
True
Is 2347/7 + (-8)/28 composite?
True
Suppose -5*m + 2*m + 2103 = 0. Is m prime?
True
Let f = -171 - -298. Is f prime?
True
Suppose -3*i + 15 = 2*i. Let w = i - -12. Is w a composite number?
True
Let q be 10/(-8)*(1 + -5). Suppose -3*u - 10 = 2*u + 5*c, 3*u = q*c + 26. Is u a composite number?
False
Let p(s) = -160*s - 13. Is p(-5) a composite number?
False
Let x be (7/(-2))/((-1)/(-2)). Let q = x - -16. Is q composite?
True
Suppose -10 - 20 = -5*b + z, -3*z = 0. Let k(j) = 10*j**2 + 8*j + 5. Is k(b) a prime number?
False
Let x(m) = m**3 - 22*m**2 + m + 29. Is x(23) a prime number?
False
Let w(n) = -n**2 + 2*n - 2. Let t(f) = -f**2 - 5*f - 4. Let s be t(-3). Let l be w(s). Is (1 + l - -4) + 410 a composite number?
True
Let z(i) = -i**3 - 5*i**2 + 8*i - 5. Is z(