 - 99. Is v prime?
False
Suppose 3*z - 12836 = 1099. Is z composite?
True
Suppose -6*c = -9*c + 2355. Is c prime?
False
Let l = -14 - -307. Is l a composite number?
False
Let q(b) be the second derivative of 3*b**4/2 + b**3/6 - 2*b**2 + 3*b. Is q(3) prime?
False
Let s(m) = -3*m - 4. Let a = -4 - -1. Let c be s(a). Suppose c*n + 3*q - 422 = 0, n + 4*q - 7*q = 88. Is n a composite number?
True
Let m be 3 - 16*(1 - 4). Suppose -8 = -i + 2. Is m/(-2)*i/(-3) composite?
True
Let w(b) = 47*b**2 + 1. Is w(-6) prime?
True
Let p(u) = 9*u**2 - 4*u - 3. Is p(8) composite?
False
Suppose 7*d = -1394 + 4257. Is d a prime number?
True
Suppose 5*v + 5*m - 755 = 0, 2*v - 3*v = 2*m - 153. Is v a composite number?
False
Let f(u) = -4*u**2 + 2*u - 4. Let z be f(5). Let l be (2/4)/((-1)/(-262)). Let d = l + z. Is d composite?
False
Suppose 6*f = 5*f + 5. Suppose 2*x - 597 = -f*k, 6*k - 2*x - 355 = 3*k. Is k prime?
False
Suppose -2*x + 2826 = 2*d, -d - 2836 = -2*x + 2*d. Is x a composite number?
True
Let w be 4 + 1/(0 - 1). Let a be (-2)/w - (-16)/6. Suppose -25 + 3 = -a*u. Is u a prime number?
True
Suppose 18 = 4*c + 2*c. Suppose 0 = -c*x + 386 + 367. Is x a prime number?
True
Let p = -5 - -94. Is p a composite number?
False
Suppose -2*t + 0*t = 252. Let a = 179 + t. Is a prime?
True
Suppose -4*p + 5*j + 7621 = 0, j = -2*p - 1218 + 5039. Is p composite?
True
Let u(b) = 16*b - 6. Let n(s) = 49*s - 18. Let v(i) = 3*n(i) - 8*u(i). Suppose -2*c - 2*c + 2*x + 18 = 0, 0 = 2*c + 4*x - 14. Is v(c) a prime number?
True
Let z = 12 - 0. Suppose -4*m - 4 = -z. Suppose v - 1 = m. Is v a prime number?
True
Let s(f) = 16*f**2 - 3*f + 3. Is s(4) prime?
False
Let l = -1812 - -3347. Is l a composite number?
True
Let m(g) be the third derivative of -7*g**4/24 + g**3/6 - 3*g**2. Is m(-10) composite?
False
Is (0 - (6 - 3)) + 541 prime?
False
Let g = 1615 - 1058. Is g prime?
True
Suppose s - 4 = 6. Let g(h) = h**2 - 3*h - 11. Is g(s) prime?
True
Let x(i) = -2*i - 6. Suppose -3*s - 4 - 8 = 0. Let c be x(s). Suppose 90 = c*j + 4*o, 86 - 21 = j - 2*o. Is j a prime number?
False
Suppose -2*k + 3*f = -k - 122, -5*f = 4*k - 505. Let i = k + -88. Is i a prime number?
True
Suppose -v + 0*t - 2*t + 553 = 0, -2*t - 2242 = -4*v. Is v composite?
True
Suppose 0 = -11*k + 6*k + 2255. Is k a composite number?
True
Suppose 0 = 21*w - 17*w - 340. Suppose 6*h - w = 5*h. Is h prime?
False
Is (-25 - -21)*1597/(-4) composite?
False
Suppose -3*s = 4 + 2. Suppose -y + 1 = -1. Is (0 - y)/(s/67) composite?
False
Let v(q) = -q**3 - 6*q**2 + 7*q. Let l be v(-7). Suppose -m - 4*m + 1255 = l. Let c = m - 93. Is c prime?
False
Let a(c) = -c + 17. Let m be a(12). Suppose m*d - 18 = -n, 3*n + 5*d = -n + 42. Is -69*(1 - n/6) a composite number?
False
Suppose -6*b + 20 = -2*b. Let v = 11 - b. Is v a prime number?
False
Let p(j) be the second derivative of j**5/10 + j**4/12 - j**3 + j**2 + j. Let y be p(5). Suppose -228 = -5*b + y. Is b a composite number?
True
Let s = 1431 + -634. Is s a composite number?
False
Let o(x) = 10*x - 7. Is o(9) a prime number?
True
Suppose -5*x + 2 = -13. Suppose x*m + 2*o + 0*o = 209, -2*m + 5*o + 114 = 0. Is m prime?
True
Suppose 0 = -3*t + 4*s - 1 + 10, t - 3 = -4*s. Suppose -t*h + 65 = -46. Is h a prime number?
True
Let o(v) be the second derivative of v**5/10 + v**4/6 - v**3/3 + 3*v**2/2 + 5*v. Is o(2) composite?
False
Suppose -5*d + 10 = -k, d + 2*k + 10 = 6*d. Let x be (-39)/d + (-2)/(-4). Is x/((-1)/(-2)*-2) a composite number?
False
Let y be 87/((63/(-6))/(-7)). Is 1*y + 0/(-2) prime?
False
Let l(t) = 4*t**2 + 7*t - 4. Let q(f) = 7*f**2 + 14*f - 9. Let g(u) = -5*l(u) + 3*q(u). Is g(-10) prime?
True
Let f be ((-3)/2)/(9/(-60)). Let m = f + -7. Suppose -o - m*o = -132. Is o composite?
True
Let o be 4/18 - (-2)/(-9). Suppose o = q - 3*q + 26. Suppose 162 = 5*a - q. Is a a composite number?
True
Is (-2)/15 + 20614/30 composite?
True
Is (41236/16 - -3) + 3/4 composite?
True
Let d(y) = y**2 + 2*y. Let j = 1 + 1. Suppose 3*v = -j*f - 9, -3*f = -v - 4*v + 4. Is d(f) prime?
True
Let g be (-392)/32 + 6/(-8). Let j(m) = -m**3 - 12*m**2 + 10*m - 8. Is j(g) prime?
True
Let c(o) = -5*o + 17. Let y be c(10). Let m = 18 - y. Is m a prime number?
False
Suppose -i - i = 2*s + 2, -25 = -3*i + 4*s. Suppose -10 = -i*j + 2. Suppose j*o + 157 = d, -3*d = -o - 81 - 368. Is d a composite number?
False
Let u(v) = -v**2 + v + 2. Let r be u(0). Suppose 33 = r*w + w. Is w a prime number?
True
Suppose 2*a = -y + 5, a - 3*y + 0*y = 13. Suppose 26 = 4*p - p - 4*c, -a*p + 18 = 3*c. Suppose -v = -p*v - d + 134, -20 = -5*d. Is v a prime number?
False
Let g be 4/(-5)*(2 - 12). Let a = g - 2. Is (75/a)/((-1)/(-2)) a prime number?
False
Let d be 2/(-3) + (-20)/(-12). Let o(b) = 99*b**2 + 1. Let h be o(d). Suppose 3*l + l - h = 0. Is l prime?
False
Suppose -4*k = -20, -k - 830 = 5*u - 5*k. Let w = -114 - u. Let t = 67 - w. Is t a composite number?
False
Let g(c) = c**3 + 2*c**2 - c + 2. Let p be g(-2). Suppose 0 = -p*u + 8, 2*q + 0*u - 3*u = -46. Let k = 1 - q. Is k prime?
False
Suppose 0 = -5*r + 3*r + 238. Is r prime?
False
Is (-2*((-675)/(-6) + -1))/(-1) prime?
True
Suppose 3*n + 3 = 5*l, -n + 3 = -5*l - 6. Let s(c) = c**3 + 6*c**2 + c + 6. Let u be s(n). Suppose u = -h + 3. Is h prime?
True
Let q be ((-332)/6)/(-2)*27. Suppose -3*w + 1374 = -q. Is w a composite number?
True
Suppose 6*d - 777 = 3*d. Is d a prime number?
False
Let r = -381 - -818. Is r a prime number?
False
Let y be -6 + (-1 - 2/1). Let w(x) = 4*x**2 - 5. Is w(y) composite?
True
Let r = 3 + -3. Suppose 0 = -r*m + 3*m - 9. Suppose -16 = -m*v + 95. Is v composite?
False
Is -879*(15/9 + -2) prime?
True
Let h(p) be the second derivative of -p**4/12 - p**3 - 2*p**2 + 2*p. Let s be h(-4). Suppose 5*r - 2*k - 161 = 0, -2*r + s*k - 13 = -87. Is r prime?
True
Suppose 0 = -0*q - q - 9. Let s = q + 13. Suppose s*b = -3*x + 347, -5*b + 3*x + 240 + 160 = 0. Is b a prime number?
True
Let q(y) = -y**3 - y + 1. Let p(u) be the second derivative of u**5/5 - u**4/2 - 3*u**2 - 3*u. Let r(n) = -p(n) - 5*q(n). Is r(-4) prime?
True
Let h be -107*((-2 - -1) + 2). Let p = h - -217. Suppose 15 = -5*x + p. Is x a composite number?
False
Let o(n) be the first derivative of 16*n**4 + n**2 - n - 3. Is o(1) composite?
True
Let q(l) = 3*l**3 + 0*l + l - 4*l**3 - l**2. Let o be q(-2). Suppose 0 = -3*k + o*k + 119. Is k a prime number?
False
Let v be (-46)/(-6) - (-1)/3. Let i = v + 87. Is i a prime number?
False
Let u = 127 + 96. Suppose -75 = 4*i - u. Is i a prime number?
True
Let d(v) = -v + 8. Suppose 0 = -x + 5*q + 1, 2*q - 22 = -4*x + 4*q. Let i be d(x). Let b(g) = 10*g - 1. Is b(i) composite?
False
Let f be (-2 + 5)/(2 + -1). Suppose -2*m - 782 - 52 = -4*d, -f*d - 4*m + 653 = 0. Is d prime?
True
Let k(i) = i**3 + 6*i**2 + 5*i + 5. Let s be k(-4). Let l = s - -2. Is l a composite number?
False
Let q(g) = -80*g + 11. Is q(-6) a prime number?
True
Suppose 800 = 3*m + a, m - 185 - 65 = 3*a. Is m a composite number?
True
Suppose -o = -0*o - 5. Suppose 4*v - 2*c = 0, 11 + 9 = o*c. Suppose 0 = l + 2*y - 9, -v*l + l + 4*y = -9. Is l composite?
True
Suppose -3*h + 7 = -5. Suppose h*l = 361 - 21. Is l prime?
False
Let z(n) = n**2 - n + 7. Let k be z(5). Let i = k + -2. Is i a composite number?
True
Let g = 2 + 2. Suppose 3*z - h - 70 = 0, -5*h + g = 9. Is z a composite number?
False
Suppose y = -5*c + 4765, -c = 2*c - y - 2867. Let r be c/10 - 4/10. Suppose 4*m = -m + 3*v + 238, 2*m - r = v. Is m composite?
False
Let b(j) = -4*j - 3 + 110*j**2 + 4 + 2*j + 0*j. Is b(1) prime?
True
Suppose 0 = 3*k - 3*a - 18, 0 + 2 = 3*k + 5*a. Suppose 0 = -2*r + l + k, 5*r + 5*l - 2*l = 10. Is (1*34 - r) + 1 a prime number?
False
Suppose 0 = -4*b + 400 + 748. Is b prime?
False
Let g = -84 - -16. Let l = 11 - g. Is l composite?
False
Let u = -4 + 6. Suppose -u*j = -171 - 59. Is j composite?
True
Let u = 12 - -23. Is u a prime number?
False
Is (279/(-18))/((-1)/26) a prime number?
False
Let d(t) = -t**3 + 2. Let k be d(-3). Let m(s) = 24*s + 4. Let x be m(5). Suppose 5*n = -k + x. Is n a prime number?
True
Suppose -4*k - k = -20. Let y = 6 - k. Is y composite?
False
Let g be (-3)/6 + 52/(-8). Let t = g + 14. Is t a composite number?
False
Suppose o = -2*o + m + 2032, 3*m - 1351 = -2*o. Is o a prime num