 be h(12). Suppose 2*y = -q - 1, 3*y - 4*q = 2*y + 22. Suppose 0 = y*n + f*w - 174, -4*n - w + 324 = w. Is n prime?
True
Let k = 10 + 11. Is 6/k + (-887)/(-7) prime?
True
Let d(a) = -43*a + 3. Let v be d(-4). Let h = -6 + v. Is h prime?
False
Suppose -38*o - 2332 = -42*o. Is o a prime number?
False
Is (-8)/(-14) + (2040870/(-35))/(-6) a composite number?
False
Let n(v) = 3*v + 2*v**2 - 2 + 3 + 8*v - 9. Is n(-9) prime?
False
Suppose -18*o = -14*o - 3796. Is o a prime number?
False
Is (-5)/(25/5)*-1733 a prime number?
True
Suppose 4*o + 2*x - 4*x - 28 = 0, 4*o - 26 = x. Let y = o - 3. Let b(f) = 16*f + 1. Is b(y) a prime number?
False
Let o(g) = -g - 10. Let l be o(-17). Suppose l*m = 12*m - 385. Is m prime?
False
Let l be ((-516)/9)/((-5)/(-15)). Let x = 91 - l. Is x prime?
True
Suppose -7 - 13 = -5*h + u, 0 = -2*h + u + 11. Suppose -5*b - 3*g + 0 = -7, -4*b - h*g + 5 = 0. Is (-136)/(-6) - b/3 a prime number?
False
Let i(l) = l**3 - 7*l**2 + 5*l + 6. Let t be i(9). Let v = -130 + t. Is v prime?
True
Let p(t) = -5*t - 1. Let n be p(-1). Suppose 0 = 7*s - 2*s - n*z - 2425, s - 4*z - 485 = 0. Is s prime?
False
Let z(o) = 16*o + 7 - 2 + 3*o + 4*o. Is z(4) composite?
False
Suppose -3*d + 657 = -0*d. Is d a composite number?
True
Suppose 45 = 3*k - 192. Is k prime?
True
Suppose -2312 = -4*r - 4*b, b - 1932 = -3*r - 188. Suppose 3*o = r + 128. Is o a composite number?
True
Let r be 5*(3 - (-324)/(-20)). Let y = r - -103. Is y composite?
False
Let s = 75 + 19. Is s composite?
True
Suppose 2*t - x - 50 = 0, -2*x + 7 + 31 = 2*t. Is t a composite number?
False
Let a(r) = r**3 - 10*r**2 + 9*r - 3. Let i be a(8). Suppose 0 = -f + p + 10, -4*f + 0*p + 2*p = -32. Is (i/3)/((-2)/f) composite?
False
Suppose -228 = g + g. Let s(d) = 80*d**2 - 4*d - 3. Let f be s(-2). Let c = g + f. Is c composite?
False
Suppose -5*z + 6 = 4*f, 6*z = 3*f + z + 13. Let v be 4/14 - 400/28. Is 7*v/(2*f) a prime number?
False
Let q(d) = d**3 + 5*d**2 - d - 4. Let r be q(-5). Let c be r/(-3) - 91/(-21). Suppose a = -2*g - c*a + 46, 0 = a. Is g a prime number?
True
Let b = -136 - -401. Is b a composite number?
True
Let t = -14 - -21. Let y(z) = -z**3 + 10*z**2 - 2*z - 6. Is y(t) a composite number?
False
Suppose -3*f = -168 + 9. Is f prime?
True
Let d = 6 - 87. Let k = -48 - d. Suppose a - k = -2. Is a a prime number?
True
Let z be -2*3/6*-21. Suppose 3*j + 0*j = z. Is j prime?
True
Suppose 462 + 120 = 4*q + 2*h, 4*q + 3*h = 587. Is q a prime number?
False
Let g = -54 - -128. Suppose 0 = 2*b - 412 + g. Is b composite?
True
Let v(w) = w**3 + 6*w**2 - 7*w + 2. Let b be v(-7). Suppose -o - 1 + b = 0. Is 207/3*o/3 a composite number?
False
Let i be ((-8)/10)/(2/(-310)). Suppose b = 4*v - 248, -i = -2*v - 0*b - b. Suppose r - 52 = -4*k, -v - 3 = -5*k - 5*r. Is k composite?
False
Let m(f) = -5*f**3 + f**2 + 6*f - 5. Let g(c) = c**3 - c - 1. Let x(n) = -4*g(n) - m(n). Is x(6) a prime number?
False
Suppose -100 = 2*m - 3*q, -m + 4*m + 5*q = -150. Let r be (-12)/(-15)*m/4. Let p = 1 - r. Is p composite?
False
Let q be ((-1026)/(-30))/(3/10). Let b be q/(-12)*(4 - -2). Let p = 90 + b. Is p a composite number?
True
Let y(v) = -2*v + 2. Let h be y(-2). Suppose h = -0*n - n. Is 19 + n/(-2) + -1 a composite number?
True
Suppose 2*y + 58 = -3*y - 4*f, -12 = y + f. Let v(w) = -9*w - 13. Is v(y) prime?
False
Let r = 7 - 4. Suppose 4*t = 5*w - 0*t - 1415, r*t + 272 = w. Is w composite?
True
Let j(b) = -12*b - 5. Suppose 8 = 7*x - 3*x. Let g = x + -10. Is j(g) prime?
False
Suppose 3*d - 20 = d. Let o(c) = 12*c + 7. Is o(d) composite?
False
Suppose -3*w + 12488 = 5*w. Is w a composite number?
True
Suppose r = 4*k + 257, 2*r - 3*k + 5*k = 464. Is r a composite number?
True
Is (-372)/6*(-2)/((-4)/(-29)) a prime number?
False
Let y(w) = -w**3 - 5*w**2 + 17*w + 17. Is y(-14) composite?
False
Suppose 3*z + 5*t = 5*z - 4934, 2*z - 4938 = 4*t. Is z a prime number?
True
Let q(l) = l - 3. Let b be q(3). Suppose 3*j - 2*j - 2*t + 13 = b, -5*t = -25. Is (j/(-2))/(-3)*-382 prime?
True
Suppose 5*y - 2*v = y + 2, 2*y + 9 = 3*v. Suppose o = -3*i - 2*o + 336, 224 = 2*i - y*o. Let z = i + -33. Is z a composite number?
False
Let g be ((-7)/(-3) + -2)*9. Let v = g - 2. Is (3 - v - -11)*7 composite?
True
Let p(j) = -11*j - 1. Let k be (-3)/(2 + 7/(-2)). Suppose 3*b = -k*b - 10. Is p(b) a composite number?
True
Let t = 27 - 4. Suppose -3*m - 9 = 0, 4*s - 20 = 5*m + t. Is s composite?
False
Let t be 33/(-39) - (-4)/(-26). Is (53/t + 2)*-1 prime?
False
Suppose -2*s - 2 = -r - 10, -7 = -3*s - r. Suppose -s*q + 12 = q. Is q composite?
False
Let s = 24 + 20. Let f = s + 39. Is f a prime number?
True
Suppose 2*h - 7 = -f, 5*f + 0*h - 3*h = 22. Let a be (f - 5) + 1 + 0. Is 474/9 + a/3 prime?
True
Let w = 207 - 116. Is w composite?
True
Suppose y - 2*y = -17. Let f = 74 - y. Is f composite?
True
Let x(g) = g - 1. Let s be x(4). Suppose -12 = s*u - 5*u. Is u a prime number?
False
Let j = -1 - -3. Let g be (j - (-4)/(-2))/2. Suppose g = k - 2 + 3, 5*k = -3*h + 250. Is h a composite number?
True
Suppose 0*l + 60 = 5*l - 5*n, -3*l = 5*n - 68. Suppose 4*i + l = 0, 5*x = 2*i - 3*i + 181. Is x composite?
False
Let z(i) be the second derivative of 18*i**4 + i**3/3 + i**2/2 + 3*i. Is z(-1) a composite number?
True
Let v(k) = -2*k**3 - 5*k**2 - 8*k + 23. Is v(-8) a composite number?
True
Suppose 3*y + 0*y = 753. Is y a prime number?
True
Let z = -1 + 4. Is ((-38)/z)/(4/(-6)) a prime number?
True
Let w = -140 + 405. Is w a composite number?
True
Suppose 4*k - 732 - 20 = 0. Is 2 + -1 + k/2 prime?
False
Suppose 2*x = -0*x + 6. Suppose x*j - 5*j + 130 = 0. Suppose -2*u = -j - 65. Is u composite?
True
Let p = 10 + -8. Is -2 + p - -1*38 a composite number?
True
Let s = -903 - -1276. Is s prime?
True
Suppose 2*p - 4*g = 830, -1533 = -5*p - g + 531. Is p composite?
True
Suppose -1421 = -5*u + 5159. Suppose 4*q - u - 1400 = 0. Is q a composite number?
True
Suppose -3*w = 12, 5*c + 5*w + 97 = 27. Let p be (42/c)/(3/(-15)). Suppose 84 - p = 3*t. Is t a composite number?
True
Suppose -5*c + 1090 + 1305 = 0. Is c a composite number?
False
Let v(r) = -13*r**3 - 3*r**2 - 6*r + 5. Let t be v(4). Let d = -432 - t. Is d a composite number?
False
Let n be 225/(-10)*(-8)/(-10). Is ((-6)/4)/(3/n) a prime number?
False
Suppose p + 3631 = 4*k + 4*p, 2719 = 3*k - 2*p. Is k composite?
False
Let x be (1/(-3))/((-4)/24). Suppose -25 = -5*c, x*c - 123 = -5*t + 282. Is t a prime number?
True
Let d = 33 + 16. Suppose -3*h + 16 = 94. Let a = d + h. Is a prime?
True
Suppose 3*r = 6*r - 609. Is r a prime number?
False
Suppose 2*l + 2 + 0 = 0. Let i be l/(-4) + 75/20. Suppose -4*q = i*g - 32, 2*q - 4*g - 5 = 5. Is q prime?
True
Let l(y) = 11*y**3 + 3*y**2 + 8*y + 3. Is l(4) a prime number?
True
Suppose -3*m = -5*i - 59, m + 4*i = 3*i + 33. Suppose -2 + m = n. Is n prime?
False
Suppose -2*j = 8 + 190. Let g = j - -157. Is g a composite number?
True
Suppose -3*u + 43 + 74 = 0. Let c = 58 - u. Is c composite?
False
Suppose 6*s - 5205 = 2169. Is s a composite number?
False
Let a(x) = 77*x**2 + 3*x + 3. Let p be a(-3). Let h = 980 - p. Is h composite?
False
Is 10263/55 + (-3)/((-30)/4) prime?
False
Let y(s) = s**2 - 5*s - 3. Is y(9) a prime number?
False
Suppose 4*j - 1057 = -u, -4*u - 7*j + 6*j + 4273 = 0. Is u a prime number?
True
Let p(k) = 14*k. Let w be p(-2). Suppose 4*i + 287 - 51 = 0. Let s = w - i. Is s a prime number?
True
Let n be (-9)/(-3) + -5 - 4. Let w = n + 3. Is 3/((w + 2)*-1) a prime number?
True
Suppose -800 = s - 5*s. Let v = s + -69. Is v a prime number?
True
Suppose -t + 1 = -3. Suppose 0*m + t*z = -m + 39, 2*z = 4*m - 66. Is m a prime number?
True
Let y(s) = -s**2 + 4*s + 4. Let l be y(4). Suppose f - 145 = -h - 54, -364 = -l*f + h. Suppose f = -0*d + d. Is d prime?
False
Suppose -5*x + 4*x = -4, -8 = -2*n - 2*x. Suppose n*r - 1 = r. Let p(i) = -36*i**3 + 2*i**2 - 1. Is p(r) prime?
True
Let d(s) = s**3 - 7*s**2 + 3*s + 2. Suppose 3*m = -2*m - 30. Let r be (2/3)/(m/(-63)). Is d(r) a prime number?
True
Suppose -f - 4*x = 2, -f + x = -5*f + 7. Is 4445/21 + f/(-3) a composite number?
False
Let l = 41 + -8. Is l a prime number?
False
Let i be 1 + 111 - 1*2. Let g = -50 + i. Suppose 4*y = -0*y + g. Is y composite?
True
Suppose -3*s = -12, -5*k = 3*s - 23 + 1. 