 -n + m = 2*n. Is n composite?
True
Is 10/5 + -1 + 184 a composite number?
True
Let y(f) be the first derivative of f**4/2 + 2*f**3/3 - 2*f**2 + 4*f - 2. Let w be y(3). Is w/6 + (-2)/(-6) composite?
False
Let v(n) = n**2 - 5*n + 5. Is v(-17) a composite number?
False
Let r be -1 - 1 - (-92)/(-4). Let j = 36 + r. Is j a composite number?
False
Let v = 3 + -3. Suppose -c + 0*c = v. Suppose -4*q + 7 + 45 = c. Is q a prime number?
True
Let z be 352/(-1*(-6)/9). Suppose 2*h - 4*m + 2*m - z = 0, 3*h = 2*m + 787. Is h a prime number?
False
Let c be (-6)/(-12)*(-8)/2. Is 149*(c/(-1) - 1) prime?
True
Let q = 776 + -349. Is q a composite number?
True
Suppose 4 - 2 = 4*r - 5*t, -7 = -5*r + 4*t. Suppose -4*f = -2*k - 68, -r*k + 62 = 4*f - 26. Is f a composite number?
False
Let h(g) be the first derivative of 25*g**2 - 3*g - 3. Is h(2) prime?
True
Let f(q) = 5*q**2 - 1. Let b be f(-2). Let i = b - -38. Is (2/1)/(2/i) a prime number?
False
Let j = 8 - 4. Suppose j*h + 563 = m, 3*m + 3*h = -m + 2290. Is m a composite number?
False
Let j = -105 - -120. Is j a prime number?
False
Let g(k) = -8*k**3 + 2*k**2 - k. Let b be g(-2). Suppose -2*h = -b - 12. Is h a prime number?
True
Let o be 3/(1 - 1/(-2)). Suppose -149 - 266 = 5*a - 3*w, -o*a = -2*w + 162. Let m = a + 123. Is m a prime number?
True
Let q = -12 + 37. Let u(a) = a + q*a**2 - 1 - a + 2*a. Is u(1) composite?
True
Let r(w) = 223*w**2 - 4*w + 3. Is r(2) a composite number?
False
Let w(j) = j**3 + 10*j**2 - 10*j + 3. Let y be w(-11). Let r = y - -13. Suppose -r*p + 252 = 87. Is p a composite number?
True
Let o(n) = -n**3 - 5*n**2 + n - 7. Let d(j) = -2*j**2 + j - 4. Let a(p) = -5*d(p) + 3*o(p). Suppose 6*b - 3*b + u = -17, 0 = -b - 2*u - 14. Is a(b) composite?
True
Let b(p) = -40*p**3 + p. Suppose 0 = 3*v, -2 - 1 = -3*i - v. Suppose i = -x - 0. Is b(x) prime?
False
Suppose -15 = -3*l - 0*l, 3*o + 5*l = -329. Let k = 239 + o. Let n = k + -36. Is n composite?
True
Suppose 0 = r + 2*f - 71, 5*f = 3*r - 0*r - 180. Is r a composite number?
True
Let n(d) be the third derivative of d**6/120 - d**5/12 - d**4/12 + 7*d**3/6 - d**2. Is n(6) composite?
False
Let a be 1*(-5)/((-5)/14). Let j = -9 + -8. Let b = a - j. Is b a composite number?
False
Let m(v) = v**2 - 6*v + 26. Is m(9) prime?
True
Suppose 0 = 10*p - 8*p. Suppose 0 = 5*i - p*i - 255. Is i a prime number?
False
Suppose -1 = 4*i - 5. Is -5 + i + 274 + -13 a composite number?
False
Let u = 107 + -64. Is u a prime number?
True
Suppose 0*d = 5*d - 3*m + 30, -3*d - 19 = -2*m. Let p(t) = 4 - 2*t - 19*t + 3*t. Is p(d) a composite number?
True
Let w(b) = -7*b**2 + 2*b - 1. Let v be w(1). Is 9/(-6)*124/v prime?
True
Let a(y) be the third derivative of 5*y**4/24 + y**3/6 - y**2. Is a(2) a prime number?
True
Suppose 2*x + 662 = 4*x. Is x prime?
True
Let p = -1 + 3. Suppose 0*y = -p*y. Suppose 0 = 4*k - 2*v - 28, 3*v - 7 = -k - y*k. Is k prime?
True
Let q(k) = 7*k**3 + 12*k**2 + 5*k - 1. Is q(8) prime?
True
Let f be (-18)/45 - 437/(-5). Let v = f - 54. Is v a prime number?
False
Let k = 3 + -1. Is -1*(-1 - (k + 10)) prime?
True
Let i be ((-4)/5)/(10/(-3025)). Suppose -5*j + i = -s, -5*s + 14 + 1 = 0. Is j a prime number?
False
Let q = -121 + 260. Is q a composite number?
False
Suppose -145 = -p - 2. Is p a prime number?
False
Let n(y) = 4*y**2 - y + 967. Is n(0) composite?
False
Let w(p) = 2*p**2 - 22*p + 27. Is w(19) composite?
False
Let o be 1*(2 + -3)*0. Let u(y) = y + 97. Is u(o) prime?
True
Is (-4324)/(-6) + (-2)/(-6) composite?
True
Let s be 3/(-15) - (-112)/10. Let f(q) = q**3 - 10*q**2 - 8*q + 1. Is f(s) composite?
True
Let h(z) = -50*z - 3. Let o be h(-4). Let t = o + -48. Is t a composite number?
False
Suppose -2*v - 2*q = -248, -3*v + 2*q + 348 = -3*q. Is v a prime number?
False
Suppose 4*p = -4*t - 37 - 235, -5*p = -2*t + 361. Let h = 105 + p. Is h prime?
False
Is (59/(-1))/((-3)/3) prime?
True
Suppose 7*w - 5*w - 518 = 0. Is w prime?
False
Let a(p) = 2*p**3 - 2*p**2 - 2*p - 1. Is a(4) composite?
True
Let z = -6 - -99. Is z a composite number?
True
Suppose 1046 = 4*a + 2*n, -3 = 2*n + 3. Is a prime?
True
Let j(a) = -47*a + 17. Is j(-12) composite?
True
Suppose -2*g - 2 = -4*g, 0 = -3*f - g + 28. Let z = 134 - 90. Let m = f + z. Is m composite?
False
Let c = 63 + 202. Is c a composite number?
True
Suppose 3*w + 112 - 484 = 0. Let p(b) = 3*b**3 - 2*b**2 + b. Let k be p(1). Suppose k*z + 2*z - w = 0. Is z a prime number?
True
Let n be (870/12)/((-1)/(-2)). Suppose 0 = -i - 0*i + n. Is i composite?
True
Let c(b) = 30*b - 12. Let s be c(5). Suppose 0*r = -3*r + s. Is r prime?
False
Suppose -4*f = 4*s + 8, 0 = -2*s + 3 + 5. Let m(y) = -162*y + 11. Is m(f) composite?
False
Suppose 512 = 5*h + f, 0 = -5*h - f - f + 514. Suppose o + h = -31. Is o/(-2)*14/7 a prime number?
False
Suppose -5*j + 18 = 3. Suppose -g = j*g + 20. Let a = 1 - g. Is a a composite number?
True
Suppose -3*y - y + 60 = 0. Is y a composite number?
True
Is 898/(-10)*(1 - 6) composite?
False
Let m(w) = w**2 - w - 3. Let o be m(3). Suppose -2*p - 3*n = -46 + 5, -o*p + 59 = 5*n. Is (-2)/(-7) - (-2540)/p prime?
False
Suppose 12 = -5*h - 13. Let l = h - -8. Suppose j - v - 17 = 0, -53 = -l*j + 4*v + 1. Is j prime?
False
Let f be (1 - 1) + 1 + 10. Suppose 3*s - f = 1. Suppose l = s + 7. Is l composite?
False
Suppose -4*h = 3*v - 0*h + 490, 3*v = -5*h - 491. Suppose 2*a = 497 - 15. Let r = a + v. Is r prime?
True
Let c(b) = -b**3 - 6*b**2 + 8*b + 8. Let m be c(-7). Let i be (3/2)/(m/2). Suppose 53 = i*p - 52. Is p prime?
False
Suppose 4*y - 593 = o + 2*o, 4*y - 203 = o. Suppose -2*q - 124 = m, -128 = m - 0*m + 3*q. Let u = m - o. Is u a composite number?
False
Suppose 0*z - 3*z + 13621 = 4*w, 3*z + 2*w = 13631. Is z composite?
False
Suppose 6153 = 5*k - 2*k. Suppose -k = -5*n - 621. Suppose -3*z = -5*z + n. Is z composite?
True
Let z(c) = 225*c**2 - c + 1. Let r be z(1). Let i = -151 + r. Is i composite?
True
Let v be (-5 + 2)/3 - -7. Suppose 2*p - v*p + 300 = 0. Suppose 0 = 4*l + l - p. Is l composite?
True
Suppose 5*a = -0*i - 4*i + 1277, 5*i = a - 267. Is a composite?
False
Let x(s) = s - 1. Let c(i) = -2 - 34*i - 5 + 2. Let q(w) = -c(w) + 6*x(w). Is q(3) a prime number?
False
Suppose 4*b - 3*b - 149 = 0. Is b a prime number?
True
Suppose -3*g = -5*q + 19, -2*q + 23 = 5*g + 3. Is (-2 - q/(-2))*86 prime?
True
Let v(o) be the second derivative of -o**4/12 - 3*o**2/2 + 4*o. Let y be v(-5). Is 131/7 + (-8)/y composite?
False
Let g(b) = b**3 - b**2 - 1. Suppose -2*w + 6*w = 2*q - 28, 3*w + 10 = -4*q. Let t(a) = 5*a**3 - a - 5. Let h(x) = w*g(x) + t(x). Is h(5) composite?
True
Is ((-1)/3)/((-6)/4266) composite?
True
Suppose 3*x = 13880 - 2615. Is x a prime number?
False
Suppose 4*v - 2*w = 13014, -4*w + 705 - 16980 = -5*v. Is v prime?
True
Let w(z) = -27*z - 3. Let i be w(-7). Suppose -8*d = -7*d - 305. Let p = d - i. Is p composite?
True
Let o = 4253 - 1464. Is o composite?
False
Let v(l) = 1 - l + 2*l - 2*l. Let c be v(-1). Suppose -277 = -3*s - 4*h, -h - 227 = -c*s - 46. Is s prime?
False
Is 2 - -1 - 3 - -191 composite?
False
Suppose o - 1074 = -3*o - z, 3*o - 817 = 5*z. Is o composite?
False
Let f be 78/21 + 4/14. Is (-2)/f*31*-2 prime?
True
Suppose -5*b + n - 149 = -0*n, 34 = -b - 4*n. Let a be (-228)/14 + (-2)/(-7). Let t = a - b. Is t prime?
False
Suppose 3*o = -2*f + 3*f - 530, 15 = -5*o. Is f prime?
True
Let l = 2 + 2. Suppose 5*w - l*w + 74 = 0. Let n = -21 - w. Is n a composite number?
False
Let o(d) = -d**2 + 6*d. Let g be o(6). Suppose g*j - 3 = -j. Suppose -l + 56 - j = 0. Is l composite?
False
Let b = 69 + -17. Suppose 2*q - b = 10. Is q composite?
False
Let p(j) = 8*j**2 + 2*j + 1. Let q be p(-1). Suppose q*y = 4*y. Suppose y = -5*n + 239 + 536. Is n prime?
False
Let z(o) be the first derivative of 93*o**4/4 + o**3/3 - o**2 + o + 2. Let g be z(1). Suppose -y - x - 286 = -4*y, g = y + 2*x. Is y composite?
True
Suppose -c - 3*c = 0. Let w = 10 - c. Let b = w + 4. Is b a prime number?
False
Suppose -2*w - 2*x + 0*x + 1570 = 0, 0 = -5*x. Is w a composite number?
True
Suppose 3 + 1 = l. Let h = 0 + -3. Let b = l - h. Is b prime?
True
Let n = 919 + -474. Is n prime?
False
Suppose 0 = 2*f - 0*f + 24. Let s = -22 - f. Let c = 16 + s. Is c prime?
False
Let m = 0 + 0. Let i(w) = -3*w + 133. Let