
False
Let k(p) = 13*p + 12. Suppose 2*o - 15 = -5*x + 4*x, 0 = 2*o - 10. Is k(x) prime?
False
Let y(q) = -307*q - 44. Is y(-9) prime?
True
Let o = -12 - -15. Suppose o*d - 2230 = -2*d. Is d composite?
True
Is (422/6)/(2/6) a prime number?
True
Suppose 0*r + 150 = 3*r. Suppose -2*p - r + 188 = 0. Is p composite?
True
Let g(j) = 9 + 2*j**2 - 7 + 3 - 4*j. Is g(6) a composite number?
False
Let k(h) = 3*h**2 + h + 163. Let y(c) = -4*c**2 - c - 164. Let o(m) = 5*k(m) + 4*y(m). Is o(0) composite?
True
Is -4 + 2 + -2 - (-1622)/1 composite?
True
Let u be -6*(4/3 - 2). Suppose u*o - 517 = 119. Suppose o = 5*j - 2*j. Is j composite?
False
Let b = -115 - 16. Let m = b - -276. Is m composite?
True
Suppose 0 = 6*r + 2328 - 26622. Is r prime?
True
Suppose -2*y - 2*y = -8. Suppose -3*u = -y*f + u + 28, -2 = -f - 2*u. Suppose 362 = 2*q - f. Is q a composite number?
True
Let u = -1901 - -3408. Is u composite?
True
Let i be 2/(-10) - (-87759)/45. Let u be 8/(-28) - i/(-14). Suppose 0 = 4*w - u - 193. Is w a composite number?
False
Is (-26)/22 + (-8)/(-44) + 1348 prime?
False
Suppose -2*p - 2 = 0, -p - 201 = 2*u + 3*u. Is (0 + -29)/(8/u) composite?
True
Let a be -2 + 0 - (-3 + 9). Let f(c) = c**2 + 4*c + 1. Is f(a) composite?
True
Is -1 - (-2 + 5)*-384 prime?
True
Let t = 42 - 21. Is t composite?
True
Suppose -13 = -2*y - 3. Suppose -4*s + 2*s = 3*g - 243, -y*s + 252 = 3*g. Is g a prime number?
True
Let y(p) = -p + 2. Let g be y(-4). Suppose 0*r - 3*r = -g. Suppose -3*o - 83 = -4*b, -r*b + 2*o - 98 = -6*b. Is b a prime number?
True
Let z(j) = -3*j - 5. Let c = -20 + 16. Is z(c) a prime number?
True
Suppose 2*g + 4*b - 884 = 0, -2*g - 5*b + 3*b + 890 = 0. Let z = -271 + g. Is z a composite number?
True
Let z(w) = -w**2 + 12*w - 15. Let h be z(10). Suppose -r + 5 = -3*t, r - 4*t = -3 + h. Is r a prime number?
False
Suppose -4*r + 4*z = -9*r - 6, -8 = 2*z. Is -1 - -1 - (-158)/r prime?
True
Suppose -1551 = 2*s - 5*s. Is s prime?
False
Let k(j) = -j**2 - 6*j - 6. Let u be k(-4). Let l be (-4)/(-4*u/4). Suppose 0 = -l*g - 0*g + 66. Is g a composite number?
True
Let c(i) = -i**3 + 3*i**2 + 5*i + 3. Is c(-8) a composite number?
True
Let j(y) be the first derivative of 47*y**2 - y - 4. Is j(1) prime?
False
Let a(y) = -3*y**3 - 5*y**2 + y + 2. Let r be a(4). Let z = -143 - r. Is z composite?
True
Let b(s) = -13*s. Suppose 8*t - 3*t = 25. Suppose o + o = -k - 10, -t = o - k. Is b(o) a prime number?
False
Let j = -4 + 4. Suppose 3*c - 6 = -j. Is -5*(2/c + -3) a prime number?
False
Is 2333*2/(-8)*-4 prime?
True
Let f(a) = a**2 + a + 1. Let s be f(-1). Is s/(-1) + 1 + 134 a prime number?
False
Let h(n) be the second derivative of n**7/105 + n**6/360 + n**5/120 - n**4/24 + n**3/3 + 2*n. Let o(t) be the second derivative of h(t). Is o(1) a prime number?
False
Is 2029/3 + (-30)/(-45) a prime number?
True
Suppose -5*j + 347 = 2*f - 173, 3*j - 281 = 5*f. Is ((-152)/(-24))/(2/j) a prime number?
False
Let p = 0 - -2. Suppose -p*a = -5*a + 1965. Is a a prime number?
False
Let l = 248 - -663. Is l a prime number?
True
Let n = -859 - -1646. Is n a composite number?
False
Let b(h) = -h**2 + 7*h + 2. Let d be b(6). Suppose 0 = -t + 87 - d. Is t prime?
True
Suppose -k - 5 = -2*k. Suppose -21 = -3*x - 9. Suppose 5 = b, k*a - x*b - 3 = 92. Is a a prime number?
True
Suppose 5*b - 2 = 4*i, -3*b + 0*b = -i - 4. Suppose -2*u = i*u - 16. Suppose 0 = -5*g - v + 257, 6*v - 259 = -5*g + u*v. Is g prime?
False
Suppose 328 = 5*z - 2*b - 11, -z + 69 = -b. Is z a composite number?
False
Suppose 2*f = 4*c - 194, -2*c - 4*f + 3*f = -107. Is c prime?
False
Let k(t) = t**3 + 12*t**2 - 4*t - 4. Let s be k(-10). Suppose -a = -5*a + s. Is a a composite number?
False
Let z(r) = -18*r + 10. Let p be z(-14). Let q = p + -99. Is q prime?
True
Let b be (-3 - (-15)/6)*-2150. Suppose -3*x + b = 196. Is x prime?
True
Suppose 0 = -3*x + 1 + 5. Let k(s) = s**3 - s - 1. Let y(p) = 9*p**3 + 2*p**2 - 2*p + 1. Let h(b) = x*k(b) - y(b). Is h(-4) prime?
False
Suppose -3*b + 2371 = 4*y, -2267 - 1723 = -5*b + y. Let n = 1400 - b. Suppose -4*o = r - 165, -4*r + 2*o + 147 = -n. Is r composite?
True
Let a(g) = g**3 - 7*g**2 + 3*g - 4. Let i be a(6). Let c = i + 33. Is c a composite number?
False
Let i(t) = 2*t - 9. Let f be i(7). Let o(u) = -u**2 + 8*u + 7. Is o(f) prime?
False
Let f be (-39)/(-3) + 5 + -3. Suppose h + f = -11. Let y = 105 + h. Is y a composite number?
False
Let f be (3 - -1) + -1*1. Suppose 0 = z - 5*b + 5, -3*z + f*b + 5 + 16 = 0. Is z prime?
False
Let a(s) = s**3 - 3*s**2 - 4*s + 1. Let w be a(4). Suppose 5*n - w = 14. Is (28 - n) + (1 - 1) a composite number?
True
Suppose 5*v - b = 19, 2*v - 2*b - 10 = -4*b. Suppose 2*o - v*o = 5*p - 949, -p + 3*o = -200. Is p prime?
True
Suppose -2*t - 3*k = 2*k - 1242, 8 = -2*k. Is t a composite number?
False
Suppose -a + 70 = -0*a - u, 4*a + 4*u - 272 = 0. Let s = 165 - a. Is 1/(-5) + s/5 a prime number?
True
Let x(z) = 7*z - 1 + 0*z + 0*z**2 + 6*z**2. Is x(6) a composite number?
False
Let z(r) = 389*r**2. Let s be z(1). Suppose 2*c - f - 153 = 0, -f - 3*f = 5*c - s. Is c a prime number?
False
Let m(i) = 373*i**2 + 2*i + 16. Let c(r) = -124*r**2 - r - 5. Let o(d) = -7*c(d) - 2*m(d). Is o(-2) prime?
False
Suppose 0 = 23*m - 24*m + 49. Is m a composite number?
True
Suppose 5*c - 267 = 2*c. Is c a composite number?
False
Suppose -4*h + 7209 = -0*h - v, -2*h - 4*v = -3582. Is h composite?
False
Let g be 2/6 - 99/(-27). Suppose -2 = z - g, 4*s - 756 = -4*z. Is s a composite number?
True
Let q = -405 - -35. Let f = q + 549. Let k = f - 102. Is k composite?
True
Let g be ((-2)/(-4))/((-9)/(-918)). Suppose 121 = -4*c + 9. Let m = g + c. Is m composite?
False
Suppose 10*j - 22605 = -6035. Is j a composite number?
False
Let p(o) = 847*o - 1. Let y be p(1). Is 3/21 - y/(-7) prime?
False
Let a = 12 + 21. Suppose -5*n = -5*s - 10, -a = -n - 3*n - s. Let o = n + 0. Is o composite?
False
Suppose -2*v + 5 + 10 = 3*s, -s = 3*v - 12. Suppose -r - 5 = v. Is (r/6)/(8/(-228)) composite?
True
Suppose 6*p + 5*h - 30 = p, -4*h = -2*p - 18. Let k(q) = -94*q**3 + 2*q**2 - 2*q + 1. Let i be k(p). Is (1 - 0)*(-2 - i) composite?
True
Let t(c) = 0*c**2 + 14*c - 13*c - 2 + 5*c**2. Let f be t(2). Suppose -2*j + 46 = 5*d + f, 0 = d - j - 8. Is d composite?
True
Let p(d) = 5 - 4 + 3 - 2*d + 4*d**2 - 2. Is p(4) prime?
False
Suppose 0*o = 3*o - 18. Suppose -o*s - 222 = -8*s. Is s a prime number?
False
Let t(l) = -l**2 - 8*l + 3. Let v be t(-9). Is 132/18 + 2/v prime?
True
Suppose 18 - 179 = -b. Is b a prime number?
False
Suppose 2*w + 441 - 1529 = -2*a, -4*w + a = -2161. Is w composite?
False
Let y(o) = 13*o**3 - 3*o**2 - o + 2. Let u be y(2). Suppose q + 2*l - 12 - 18 = 0, l = -4*q + u. Is q prime?
False
Let r(w) = 6*w - 1. Let q be r(1). Suppose -3*g = -4*l - 9, 12 = 6*g - 2*g - q*l. Let j(v) = 24*v**2 - 2*v + 1. Is j(g) prime?
True
Let w be 3800/3 + (-1)/(-3). Suppose -u + 189 = 2*a, -4*u - 2*a + w = 523. Is u prime?
False
Suppose 151 - 981 = -5*d. Suppose -d - 19 = -5*a. Is a prime?
True
Let k = 838 + -579. Is k a composite number?
True
Suppose 399 = 3*c - 0*c. Is c prime?
False
Let g be (-18)/(2 + 7/(-3)). Let w = 183 + g. Is w prime?
False
Let o = -4 - -9. Let w(s) = -15*s - 5. Let q(n) = n. Let x(r) = -5*q(r) - w(r). Is x(o) composite?
True
Is (-2)/4 - (-6712)/16 composite?
False
Suppose -2*j - 12 = 3*r - r, 3*j + r + 10 = 0. Let x be (3 + -2)/(j/(-764)). Suppose o - x = -o. Is o a composite number?
False
Is -4 + 9 + -1 - -141 a composite number?
True
Let w(l) = l**2 + l - 1. Suppose -3*q - 29 = -3*y + y, 3*y + q = 16. Is w(y) composite?
True
Is (2 - 183/12)/(3/(-276)) a composite number?
True
Suppose 2*r - 5*r + 1113 = 0. Is r a composite number?
True
Let a = 1761 + -1174. Is a a composite number?
False
Is (-934)/(-2) + 0/(-10) prime?
True
Let t be ((-17)/(-2))/((-1)/(-2)). Let r = -9 + t. Is (-4)/r*-1*326 prime?
True
Suppose -w = 2*w. Let o be (-2)/(-2) + 2 + w. Suppose -2*q = -3*g + 437, -4*g + o*q - 5*q + 564 = 0. Is g a composite number?
True
Let s(h) = 4*h**2 - h - 2. Let p(u) = -u**3 - 8*u**2 - u - 5. Let q be p(-8). Is s(q) prime?
True
Suppose g + 3 = 5*g - 3*p, p = 3. Let k(q) = -g*q - q + 3*q + 2. Is k(-8) a composite number?
True
Suppose 6*m - 6605 = 2*m + 5*x, 5*x - 15 = 0. Is m prime