. Suppose 0 = -5*w + q*w + 15. Is w a composite number?
True
Suppose 4*h + 5*u - 186 = 0, 0 = -h + 3*u + u + 36. Let t = h + -31. Is t a composite number?
False
Is 11030/18 - 8/(-36) a prime number?
True
Suppose 0 - 6 = f. Is (2/6)/(f/(-666)) composite?
False
Suppose -6*x + 152 = -2*x. Is x a composite number?
True
Suppose 3*q - f - 3 = -1, 5*q = -4*f + 9. Let h(a) = 2*a**3 - 2*a**2 + 2*a - 1. Let j be h(q). Let n(s) = 192*s - 1. Is n(j) prime?
True
Is ((-1)/(-3))/(4/2604) prime?
False
Let g be (-75)/(-11) - (-4)/22. Suppose -14 = -s + g. Is s a composite number?
True
Is (-6)/15 + ((-1344)/(-10))/6 a composite number?
True
Suppose -5 = i + 3*i - 5*x, -4*x + 4 = -5*i. Suppose 4*o = -i*o + 148. Is o a composite number?
False
Let r(l) = -5 + 2 + 2*l - 4. Let y be r(5). Let z = 10 - y. Is z composite?
False
Let g = 13 + 1. Is g prime?
False
Suppose -3*v + 638 = j, v = -v - j + 427. Is v composite?
False
Suppose 0*f - 30 = -2*f. Suppose -32 = -4*n + 4*c, -5 - 11 = 4*c. Let q = n + f. Is q a prime number?
True
Let j = -1 - -4. Suppose -4*i = h - j*h + 4, 0 = 4*i + 5*h - 10. Suppose 3*g = i, -5*u + 3*u = -2*g - 74. Is u composite?
False
Let p = 39 + -24. Suppose 4*q - q - 15 = 5*g, 5*q - 5*g = p. Suppose q = -4*z + 62 + 70. Is z composite?
True
Suppose 2*x - 3 = -x. Let j be 4*x*2/4. Suppose 4*y - 13 = -h, -4*h + j*y = -27 - 7. Is h a prime number?
False
Let k = 329 + 416. Is k a prime number?
False
Let w(s) = -s**2 + s + 2. Let q be w(5). Let i be ((-172)/(-5))/(q/(-45)). Let g = i - 33. Is g composite?
False
Let u = -16 - -14. Let z = 32 - u. Is z prime?
False
Suppose 0 = -i, 5*v - 3*i = -0*v + 3135. Suppose -2*m + v = 125. Is m a composite number?
False
Let b(q) = -8*q**3 - q**2 - 5*q - 4. Let l be b(-4). Suppose 2*c - l = -2*s - 2*s, 2*c + s = 512. Let a = c + -111. Is a prime?
False
Let r(y) = 2*y**3 - y**2. Let n be r(1). Suppose 0 = -b - 3 + n. Let i = b - -17. Is i prime?
False
Let t = -18 - -4. Let m = 1 - t. Is m a prime number?
False
Let r be (0 - -6)*6/(-3). Is -1 - 0 - (r + 2) a prime number?
False
Let l(v) = v**3 + 7*v**2 - 10*v - 11. Let z be l(-8). Suppose -6*q = -z*q - 33. Suppose -2*s + s = -q. Is s prime?
False
Suppose 5*m - 62 = -2*f + 186, -3*m - 2*f + 152 = 0. Let b = m + -1. Is b a composite number?
False
Suppose 5*r + 0 = 2*j - 3, 4*j + 3*r = -33. Let v(z) be the third derivative of -5*z**4/24 - 7*z**3/6 + z**2. Is v(j) composite?
False
Suppose 275 = 2*m - 3*r, 2*m - 176 - 102 = 2*r. Suppose -352 = -4*g - 4*f, -3*g + 3*f + 110 + m = 0. Is g a prime number?
False
Let t(p) be the second derivative of p**4/4 - 3*p**3/2 + 5*p**2/2 - 2*p. Is t(6) a prime number?
True
Let s(w) = -3*w - 7. Let a be s(-5). Let c(d) = -d**3 + 9*d**2 - 5*d + 11. Is c(a) prime?
False
Let z = 10 - 6. Suppose 0 = z*b - 213 - 383. Is b a composite number?
False
Let i(a) = 14*a**2 - 18*a**2 + 15*a**2. Is i(1) composite?
False
Let v(q) = 12*q - 7. Let l be v(4). Suppose 3*b + 2 - l = 0. Is b prime?
True
Let t(v) = -4 - 18*v + 1 + 2. Is t(-2) a composite number?
True
Let l = -10 + 13. Suppose 0 = -l*x + 4*h + 549, 2*x - 3*h = -x + 552. Is x composite?
True
Let n(s) = -s**2 - 6*s. Let a be n(-6). Suppose v + v - 194 = a. Is v a prime number?
True
Suppose 5565 = 5*h - 2*i, -5*i = -3*h + 4271 - 951. Is h a composite number?
True
Suppose 0 = 5*x - 15, -2*x + 282 + 1579 = 5*h. Is h composite?
True
Suppose -5*z + 49 = -26. Is z a composite number?
True
Let q = 108 + 143. Is q a prime number?
True
Suppose 4*a - 11 = 1. Suppose a*z - 844 = -z. Is z a composite number?
False
Is (1422/(-27))/((-4)/6) prime?
True
Let w(y) = 108*y - 1. Is w(4) prime?
True
Suppose 0 = -3*b + 22 + 257. Is b prime?
False
Let c(r) be the second derivative of 1/20*r**5 + 0*r**4 - r**2 + 0 + 3*r + 2/3*r**3. Is c(3) composite?
False
Let k(a) = 2*a**2 - a - 2. Let b(n) = n**2 + 2*n - 5. Let u be b(-4). Is k(u) a prime number?
True
Suppose 1029 = 5*t - 296. Is t prime?
False
Is 1336 - (-1 + 2 + -4) a prime number?
False
Suppose 0*a + a = -6. Is (-312)/a + -1*1 a composite number?
True
Let o = 11 + -6. Suppose -4*u + 2*g + 146 = 0, o*u + g = -0*u + 172. Is u composite?
True
Suppose -d - 15 = -6*d. Suppose -5*c - 329 = -d*k, 0 = -2*k + c + 143 + 67. Is k a prime number?
True
Let k(b) = b**2 + 2*b + 10. Is k(-11) prime?
True
Suppose 0*m + m - 4 = 0. Suppose 3*g + 3*s = -2*g + 10, m*g + 3*s - 11 = 0. Is 130 + g/((-3)/(-9)) a prime number?
True
Suppose -14*w + 4220 = -10*w. Is w composite?
True
Suppose 0 = -5*v + v + u + 740, u = 0. Is v a prime number?
False
Let n = 91 + -40. Is n composite?
True
Suppose -5*a + 0*i = 3*i - 91, 0 = -2*a + i + 32. Let o = 5 + a. Is o composite?
True
Let x(t) = 129*t**2 - 3*t + 3. Is x(6) prime?
False
Let l = 1644 + -849. Suppose -3*f + 4*r + 16 = f, -20 = -5*f - r. Suppose f*a = a + l. Is a prime?
False
Suppose -2*g + 2692 = 4*r - g, 4*r - g = 2692. Is r a prime number?
True
Suppose 17 = 5*p + 2*v, 4*p = -0*p + 2*v + 28. Suppose 4*z - 2*f = 128, -4*z - p*f + 144 = 30. Is z prime?
True
Let x(d) = -d + 7. Let t be x(7). Suppose -2*y + 8 = -t*y. Suppose -y*j - 66 = -2*p, -3*j - 20 = j. Is p a prime number?
True
Is 0 + -2 + (-3410)/(-10) a prime number?
False
Let q(w) = 3*w**3 + 9*w**2 + 6*w + 2. Let v(g) = -2*g**3 - 4*g**2 - 3*g - 1. Let r(f) = 3*q(f) + 5*v(f). Suppose 35 = 5*x - 0*x. Is r(x) composite?
True
Suppose 3*g = -5*f + 1237, -2039 = -g - 4*g + 3*f. Is g composite?
False
Let b(i) = -i. Let h be b(0). Let d be h/(-1 - (-1 - 1)). Suppose d = 4*v - v - 393. Is v a composite number?
False
Let n(r) = -149*r**2 + 2*r - 1. Let b be n(1). Let w = b + 291. Is w a prime number?
False
Let k = -4 - -4. Suppose z + 0*z - 2 = k. Suppose -2 = -3*c + z*r + 61, 3*c + r = 54. Is c a prime number?
True
Suppose 4*q + 9 = 5*b, 0 + 10 = -5*q + 5*b. Let o(y) = -254*y. Is o(q) prime?
False
Let g be (30/(-4))/((-3)/4). Let n = g - 7. Let a = 9 - n. Is a a composite number?
True
Let s be -1 + ((-34)/2 - -1). Let y = 5 - s. Is y prime?
False
Let k(f) be the first derivative of f**3/3 + 79*f - 5. Is k(0) composite?
False
Suppose v + 5*i = -v - 30, 3*i = 0. Let n = 5 - v. Suppose -5*s = -n, -6*d - s = -10*d + 304. Is d a prime number?
False
Let z(r) = -9*r - 9. Let u(d) = -2*d - 2. Let m(b) = -24*u(b) + 5*z(b). Is m(6) prime?
False
Let c(l) = -l**3 - l**2 - 6*l - 3. Let j be c(-5). Suppose x - j = 274. Is x a prime number?
True
Let s be 3 - (-432 + 2 - 0). Let g = -222 + s. Is g prime?
True
Let q(d) = -4*d + 4. Let t be q(-6). Suppose t = -0*l - 4*l. Let f(b) = -b**3 - 7*b**2 + b + 9. Is f(l) a prime number?
True
Suppose -k = 4*q + 208, 5*k + 260 = -4*q - q. Let i = q + 74. Is i a prime number?
False
Is 596/(-2)*((-15)/(-10) + -2) prime?
True
Suppose 0 = -4*r + 40 + 516. Is r prime?
True
Let p(i) = 127*i + 6. Is p(5) prime?
True
Suppose -4*n + 2532 = -0*n. Is n prime?
False
Let o = 4 + 3. Let l = o + -3. Suppose 16 = 2*k - l. Is k composite?
True
Let l = 148 - 86. Suppose -n + l = -129. Is n prime?
True
Let p = -1010 + 1939. Is p composite?
False
Let i(b) = 9*b**2 + 4*b. Let k be i(3). Suppose -7*u + k = -4*u. Is u a prime number?
True
Let i be (16/(-6))/(20/(-30)). Let y = -2 + 3. Let t = i - y. Is t a composite number?
False
Suppose 4*f + 16 = -0*f. Let b(q) be the second derivative of -5*q**3/3 - 3*q**2/2 + q. Is b(f) a composite number?
False
Suppose -4*j + 11 = 5*v, 5*v - j + 3*j = 13. Suppose 4*n + 5 + 36 = v*l, -2*l + 26 = -2*n. Is l a composite number?
False
Let w(t) = -273*t**2 - 2*t - 1. Let p be w(-1). Let j be p/(-6) + 12/18. Suppose r = -r + j. Is r prime?
True
Let d be (-2)/(-1) + (-2)/(-2). Suppose d*h = 2*h + 31. Is h a prime number?
True
Suppose 3*x - x - 2 = 0. Is (x/4)/(1/508) a composite number?
False
Let x = 318 - 107. Is x a prime number?
True
Let m be (2/(-2))/(4/(-28)). Suppose 3*o + 1313 = 5*g + m*o, -3*o = 4*g - 1051. Suppose -4*w - w = -g. Is w a composite number?
False
Suppose 0 = 6*w - 3*w - 9. Let m = 1 + -1. Suppose m = -i - w*i + 88. Is i prime?
False
Let a(b) = 14*b**3 - 3*b**2 - 3*b - 3. Is a(3) prime?
False
Suppose 7*u + 1143 = 10*u. Is u a prime number?
False
Let c = -77 + 142. Is c prime?
False
Let f be (-4274)/(-14) + (-6)/21. Let y = -178 + f. Is y prime?
True
Suppose -5*i + 11 = -184. Let g = i + -14. Is g prime?
False
Suppose -167 = 4*k - 5*k. Is 