i = -q, -q + 74 = 4*d. Is d a composite number?
False
Let s be (-97)/5 - (-4)/10. Let p be -2*s/2 - -2. Is 163/7 + (-6)/p prime?
True
Suppose 0*b - 5*b = 0. Let a(n) = -n**3 - n - 4. Let f be a(b). Let l = 45 - f. Is l composite?
True
Let n = -250 - -503. Is n prime?
False
Let c = 1162 - 624. Is c composite?
True
Let p = 1 + -1. Let i be (1 + p - 2) + 5. Suppose 2*v + 39 - 262 = -3*a, a = -i*v + 471. Is v prime?
False
Let x = -6 + 10. Let i(n) = 2*n**3 + n**2 + n + 1. Is i(x) a composite number?
False
Let j(u) = 153*u - 29. Is j(8) composite?
True
Let u = 129 - 14. Is u a composite number?
True
Suppose 2*p - 3*n - 2*n - 2169 = 0, -4*n + 4352 = 4*p. Is p composite?
False
Suppose -5*j = -339 + 29. Is j prime?
False
Suppose 13*l = 8*l + 830. Is l prime?
False
Suppose -70 = c - 2*l - 933, c - 3*l = 868. Is c composite?
False
Let x(p) = 11*p**2 - 12. Is x(-11) a prime number?
True
Let a = 13 - 25. Let l = a - -25. Is l prime?
True
Suppose -g = 2*d - 9561, 0*g - 2*g + 14339 = 3*d. Is d prime?
True
Suppose -2*l + 3*v + 474 = -v, 0 = 4*l + 2*v - 958. Is l composite?
False
Let l = -9 - -12. Suppose 5*z - 222 = l*z. Is z a prime number?
False
Let h(z) = z - 4. Let s be h(3). Let t = 1 - s. Suppose -w + 55 = -v - v, t*w + 4*v = 126. Is w a prime number?
True
Suppose -8*a = -6*a - 3158. Is a composite?
False
Suppose z = -4*h - 3*z - 716, 0 = 4*h - 3*z + 702. Let p = h + 310. Is p a composite number?
True
Suppose 3*i + j = -633, -4*i - 5*j - 1088 = -233. Is -3 - (i + -3 + -1) a composite number?
False
Suppose -2*j + 233 = -173. Is j a prime number?
False
Let a(s) = -s**2 + 5*s. Let h be a(4). Suppose 0 = 4*k + 4*c + 32, 0*k - k = -h*c - 12. Is ((-30)/(-9))/(k/(-42)) composite?
True
Let p = -8 + 11. Suppose p*s = -0 + 6. Suppose -s*t + 66 + 2 = 0. Is t composite?
True
Suppose g - 115 = -3*z, -4*g + 480 = -0*g + 2*z. Is g a prime number?
False
Let w = 5 - 11. Is (-15)/w*(-18)/(-5) composite?
True
Suppose 2*w = -11*w + 5447. Is w a composite number?
False
Let x(l) = l**2 + 2*l - 3. Suppose h + 1 + 2 = 0. Let y be x(h). Suppose 4*q = -y*q + 60. Is q a composite number?
True
Let f(p) = -127*p - 6. Is f(-1) composite?
True
Let w = 6 - 6. Suppose -3*y + w*y = -795. Is y a composite number?
True
Suppose 3*v - 4 = 2. Suppose 2*x - 4*x - 5*o + 257 = 0, v*x = 3*o + 265. Is x a composite number?
False
Let b = -6 + 8. Is (185/b)/5*2 a composite number?
False
Let s = 34 + -17. Let t = s + 9. Is t composite?
True
Let p be (-6)/(-4)*708/9. Suppose -2*n - 20 = -p. Is n a prime number?
False
Let g be -1*(-12)/2*2. Is 2*38*3/g prime?
True
Let d(a) be the second derivative of -3*a**5/20 - a**4/4 - a**3/2 - 2*a. Let v be d(-2). Suppose v = 5*n - 2*n. Is n prime?
False
Let o = 141 + -96. Suppose 10 = 5*s + 50. Let w = o + s. Is w a prime number?
True
Suppose -68 = -5*x + 4*z, -z + 34 = 5*x - 2*x. Suppose 0 = 2*h - b - x, -4*h + 5*b + 12 = -24. Suppose 175 = h*k - 205. Is k prime?
False
Suppose 2*h = -4*w + 160, 5*h = -3*w + 2*h + 126. Suppose 4*g = 5*g - w. Is g a composite number?
True
Is (-11 + 12)*3/((-3)/(-14)) prime?
False
Let g(u) be the third derivative of u**4/8 - u**3/2 + 3*u**2. Let b be g(2). Suppose 0 = 2*s + 3*n - 83, n = -2*s - b*n + 78. Is s a composite number?
True
Is 1516 + 5 + -11 + 3*1 prime?
False
Let i = -4 + 8. Suppose i*n + 364 = 4*b, -n - 85 = -b - 3*n. Is b a prime number?
True
Let d = -86 + 107. Is d composite?
True
Suppose 0*h = -5*l - 2*h + 1656, -2*l + 674 = -5*h. Suppose -4*t + l = -0*t. Is t composite?
False
Suppose -2*r - 2*r = n + 233, -5 = n. Let k = -20 - r. Is k composite?
False
Let g(j) = -51*j**2 - 1. Let r be g(-2). Let u = 498 + r. Is u a composite number?
False
Suppose -4*w = 0, -6*c = -c - 4*w + 4220. Is c/(-6)*(-6)/(-4) prime?
True
Is (-1)/(-6) - (-1570)/12 a prime number?
True
Let a = 439 - 230. Is a composite?
True
Let k be 5 + -4 + (-3 - -5). Suppose k*n + q - 92 = -n, -5*n + 102 = -2*q. Is n prime?
False
Suppose -x + 1493 = 2*w, 4*w - x - 3750 = -w. Is w composite?
True
Let r(p) = p**3 + 7*p**2 + p + 9. Let c be r(-7). Suppose 2*n - 288 = -0*n - c*t, -t = 1. Is n a prime number?
False
Let w = -22 - -68. Is w a prime number?
False
Suppose 0 = -3*d - 5*w + 107 + 444, -d - w + 185 = 0. Is d a composite number?
True
Suppose 5*w + 3*q - 4*q = -5, -2*w - 3*q = -15. Suppose w = 5*n - 91 - 39. Is n a composite number?
True
Suppose 156 = -4*m + 8*m. Is m a composite number?
True
Let h = -101 - -269. Suppose -3 = 3*p - h. Is p composite?
True
Let w(x) = x**2 - 8*x + 4. Let m be w(10). Is (573/(-4))/((-6)/m) prime?
False
Is 2345/8 - (-5)/(-40) a prime number?
True
Suppose 5*c + 1344 = 164. Let z = -145 - c. Let x = -32 + z. Is x prime?
True
Suppose -x + 441 = 50. Is x a prime number?
False
Let s(h) = 8*h**3 + 6*h**2 + 7*h + 7. Is s(6) composite?
False
Suppose s = 3*c - 10, s + s = -3*c + 25. Suppose -4*w - 5*u + 81 = -40, -c*u + 92 = 3*w. Suppose 5*r - 1 - w = 0. Is r a prime number?
False
Let h be 9/(-3) + (0 - -2). Let x be 55/20 - h/4. Let o(i) = 3*i**3 - 2*i**2 - 4*i + 2. Is o(x) composite?
False
Let g(q) = 2*q**2 - q**2 + 0*q**2 + 10*q. Is g(7) a prime number?
False
Suppose -7 + 4 = -g. Suppose g*k - 8 = -k. Is 2/k + (80 - -2) composite?
False
Let m(n) = -n**3 - 10*n**2 + 9*n - 6. Let i be m(-11). Suppose -p + 5 = -5*c + 22, -2*c + 5*p + i = 0. Suppose -2*j + 2 = -c*j, -51 = -x - 4*j. Is x prime?
True
Let t be 9*(0 - 2/(-6)). Let f(x) = x - 4*x + 0*x - 7*x + t. Is f(-5) a prime number?
True
Suppose -4*y + 12970 = 6*y. Is y composite?
False
Let n be ((-6)/4)/(6/(-16)). Let x(g) = 5*g**3 - 4*g**2 - g - 4. Let f be x(4). Suppose -n*t + 552 = 4*o - f, -597 = -3*o - 4*t. Is o a prime number?
False
Is 2/(-12) + 9042/36 a prime number?
True
Is (-12784)/(-48) - 4/(-6) a composite number?
True
Suppose -9 = 3*k - 3*t, 3*k + 3*t = 4*k + 3. Let h = 29 + k. Is h a composite number?
True
Let w be (-3 - -2) + (0 - 1). Let g = 2 + w. Suppose 3*j + d = 2*d + 70, g = -j - 5*d + 2. Is j a prime number?
False
Let y(l) = 156*l**2 - 2*l - 2. Let o be y(-2). Suppose o = 4*i + 54. Is i composite?
True
Let t = -10 - -12. Suppose t*g - 320 = 174. Is g composite?
True
Let o = 4 - 2. Let h be o/3*3/1. Suppose -2*m + h*c = -220, m - 122 = -2*c - c. Is m composite?
False
Let d be (-4 + 1)/(3/2). Let w(k) = -k. Let j be w(d). Suppose -4*b - j*n - n + 139 = 0, -4*n - 104 = -4*b. Is b prime?
True
Let m = 9 - -10. Is m a composite number?
False
Suppose -n - 2*l = -3*l - 29, 0 = 5*l - 20. Let h = n - 54. Is (-2)/7 + (-4689)/h composite?
False
Let f = -210 + 344. Let k = f + -46. Suppose -3*y + k = y. Is y composite?
True
Let y(p) = p**2 - 3*p - 5. Is y(-5) a prime number?
False
Let p = 999 + -110. Is p prime?
False
Suppose 2*q + 94 = -5*j, 3*q - 3*j = -0*j - 183. Let r = q - -186. Is r prime?
False
Let z(o) = -o**3 + 3*o + 1. Let k be z(-2). Suppose -k*l - 99 = -345. Suppose 2*n - n - l = 0. Is n a prime number?
False
Let r(k) = k**3 - 6*k**2 + 5*k - 6. Let p be r(5). Is (-2)/p - 1896/(-9) a prime number?
True
Let q be -1 + 5/((-10)/(-6)). Suppose -2*d = q*d - 16. Suppose d*h = s + 26, -h - 32 = -6*h + s. Is h a prime number?
False
Let c = -28 + 41. Suppose 2*w + c = k - 0*k, 3*k - 28 = -5*w. Is k a prime number?
True
Suppose -3*j + 4*j = -156. Is 2 - (-2 + 2) - j composite?
True
Suppose 35 = -2*u + 205. Suppose u = -p + 422. Is p prime?
True
Suppose 7*n = 4*n + 111. Is n prime?
True
Suppose 0 = -4*s + 3*s. Suppose s = -0*l - 2*l + 14. Is l composite?
False
Suppose -6*v + v + 5*a + 445 = 0, -388 = -4*v - 4*a. Is v a prime number?
False
Let n(a) = -4*a**2 + 4*a + 4. Let v be n(-4). Let y = -27 - v. Is y prime?
False
Let o = -1 - -6. Suppose o*m - 31 = -t, 4*t - 4 = -0*t. Is m composite?
True
Let w = -133 - -1004. Is w composite?
True
Suppose 0 = -3*p - 124 - 485. Let z = p + 352. Is z prime?
True
Suppose 5*h = 25, 5*u + 2*h = h + 26790. Is u a composite number?
True
Suppose -2*b + 3*b = f - 1203, -4*f = -5*b - 4810. Is f composite?
True
Let m(o) be the second derivative of 5*o**6/24 + o**3/6 + o**2/2 + 2*o. Let l(p) be the first derivative of m(p). Is l(1) composite?
True
Suppose 2*a + 2*a = 0. Let t(k) = 7*k**2 - 4. Let q be t(4). Suppose 5*v - 22 = -z, 3*z + v - q = -a*z. Is z composite?
False
Suppose -5*y = 2*n + 680 + 474, -3*y - 684 = -3*n. Let o = y + 484. Is o 