 0 = -3*y - w + 4. Is -3 - -14*(y - -2) prime?
True
Is 925/5 + (1 - 1) a composite number?
True
Let v = 459 + -221. Suppose -s = -3*s + v. Is s a composite number?
True
Suppose -54 - 68 = -x. Suppose x = 5*w - 2*o + 3, -3*o = -9. Is w a prime number?
False
Let z(b) = -3 + 0*b + 5*b + 4*b. Suppose -15 = -5*x + 5*g, -x - g + 0*g + 13 = 0. Is z(x) a composite number?
True
Suppose 0*p + 11771 = 4*c + 5*p, -3*c + 8823 = 2*p. Is c prime?
True
Is 1 - (-382)/2 - 1 a composite number?
False
Let m(t) = -t**2 - 5*t + 9. Let j be m(-6). Let p = -40 - -86. Suppose p = a + j. Is a prime?
True
Suppose 9*b - 7*b = 422. Is b a prime number?
True
Let z be (-1 + 1)/(0 - -2). Suppose z = w + 4*w + 15. Is 161 - 3*2/w a prime number?
True
Is (889/21)/((-2)/(-6)) composite?
False
Suppose -q - 770 = -2*q + 5*x, -4*x = 20. Is q a prime number?
False
Suppose 7*g - 2110 = 2*g. Is g a composite number?
True
Let m(a) = -a**2 + 5*a - 2. Let f(v) = -3*v**2 + 15*v - 5. Let d(g) = 6*f(g) - 17*m(g). Let j be d(5). Suppose -6 = -j*h + 82. Is h a prime number?
False
Let h = 184 - 0. Let q = h + -126. Is q a prime number?
False
Is (-40)/(-4)*(-179)/(-2) a composite number?
True
Is 7/14*(-418)/(-1) a prime number?
False
Suppose 6*z = z + 95. Suppose -z = -3*t + 26. Is t composite?
True
Let c be (-12)/(-10)*15/6. Let b be 7/3 + c/(-9). Suppose u = -0*t - t + 52, -b*u = -4*t - 110. Is u a composite number?
False
Let x(f) = 5 + 83*f - 4 + 45*f - 18*f. Is x(2) a composite number?
True
Suppose 11*i = -24 + 277. Is i a composite number?
False
Suppose 0 = -5*n + 4*b - 3*b + 9110, -3*n = -5*b - 5444. Is n composite?
False
Let u = -1 + 4. Suppose -g - 2 - 49 = 0. Is 2 + -3 + u - g a prime number?
True
Let l be ((-10)/(-4))/(1/6). Suppose 50 = c + l. Is c a prime number?
False
Is (52239/(-22))/(6/(-4)) prime?
True
Let h be (-4)/((-8)/58)*5. Let w(o) = -o**2 - 4*o + 2. Let m be w(-4). Suppose -h = -m*l + l. Is l prime?
False
Let w be 4/3*(-6)/4. Is -3 + 41 + 1 + w a composite number?
False
Suppose 0 = 4*o + 20, -x - 23 = -5*x + 3*o. Suppose -f - x*l + 107 = 0, 0 = -2*f + 3*f - l - 116. Is f composite?
False
Let y(u) = -32*u. Let t be y(-1). Suppose -t = 3*q + 10. Let x = 21 + q. Is x composite?
False
Suppose 3*l = 2*l + 251. Let g = 474 - l. Is g prime?
True
Suppose 4*g = 3*y + 1724, -3*y = -0*y. Is g composite?
False
Let t = -340 + 591. Is t a prime number?
True
Let x(k) be the third derivative of 11*k**5/30 - 7*k**3/6 + 8*k**2. Is x(-3) prime?
True
Let w be 4/(2*(-3)/15). Let l be 112/5 - (-4)/w. Suppose -a + l = 3. Is a a composite number?
False
Let w(g) = -306*g + 1. Is w(-1) a composite number?
False
Let s(g) = 8*g - 4. Let p be s(-6). Let o = 105 + p. Is o prime?
True
Let s = 233 + 47. Suppose 5*m - 895 = -s. Is m prime?
False
Let r = 146 + -57. Is r prime?
True
Is (2452/16)/(1/4) a prime number?
True
Let s = -700 - -1171. Is s composite?
True
Let a = -196 + 327. Is a a composite number?
False
Is (-72)/(-7) - (-6)/(-21) composite?
True
Let v = 1438 + -959. Is v a prime number?
True
Suppose 167 = 4*h - 257. Is h a composite number?
True
Suppose -2*s + 22 = -p - 15, -2*s + 62 = 4*p. Is s a composite number?
True
Suppose z = 4*z - 201. Let t = z + -36. Is t composite?
False
Let o = -66 + 244. Is o a composite number?
True
Let z = 244 - 165. Is z composite?
False
Let z = 2 + 1. Suppose -z*p + 2*p = 0. Suppose -28 = -p*w - 2*w. Is w prime?
False
Suppose -4*j - j + 4*n + 320 = 0, -287 = -4*j - 3*n. Suppose -5*p + j = -227. Is p a prime number?
True
Is ((-9291)/(-38))/((-2)/(-4)) prime?
False
Let l(b) = 5*b + 6. Suppose 4*k - 1 = t - 0*k, 0 = -3*t + 3*k + 15. Let c be l(t). Suppose 0 = -0*v + 2*v + 4*f - 38, -3*v = -2*f - c. Is v a composite number?
True
Let a(n) be the first derivative of -5*n**2/2 + 2*n + 1. Let g be a(2). Is 253/2 - 4/g a composite number?
False
Suppose 2*c + 2*b + 660 = 1764, 4*c - 2232 = 4*b. Suppose -3*f + 6*f - c = 0. Suppose 7*o - f = 2*o. Is o a composite number?
False
Let g = 324 + 1295. Is g a prime number?
True
Suppose -2*s = -3*s. Suppose -3*o - o + 88 = s. Is o a prime number?
False
Let u(h) = 10*h + 10. Suppose -3*d - q = d - 51, q = -2*d + 27. Let g be u(d). Suppose 0 = -2*o - k + 15 + 100, 4*k = 2*o - g. Is o prime?
True
Let j(l) = -213*l + 2. Is j(-3) a prime number?
True
Let b be 0 + (-2 - -4) + 0. Suppose b*t = 2 + 22. Let k = 25 - t. Is k a composite number?
False
Let z(y) = 22*y + 3. Suppose -5*q + 7 = -4*s - 2, -3*s = -5*q + 13. Let b be z(s). Is b + 1 + 1/(-1) a composite number?
True
Let p(u) = -u**2 + 30*u - 11. Let g be p(12). Let q = g + -82. Is q prime?
False
Suppose 4105 = 4*j + j. Is j a prime number?
True
Let v(p) = p. Let s be v(3). Suppose 0 = -2*g + s - 65. Is 4/22 - g/11 a composite number?
False
Suppose -598 = -2*f - 4*h, 5*f - 4*h - 1420 = h. Is f composite?
True
Let w = 1085 - -852. Is w prime?
False
Suppose -3*v - 256 = -1297. Is v composite?
False
Let h(t) = t**2 + 6*t - 3. Is h(6) a prime number?
False
Suppose 4*h + 2*n - 5*n = 1066, 1317 = 5*h + 4*n. Is h a prime number?
False
Is (-2 + 1)*-4*3944/32 prime?
False
Let f(y) = 258*y - 4. Is f(5) a prime number?
False
Let x be ((-12)/15)/(3/15). Let r be 20/(-8)*x/5. Suppose 447 = -r*i + 5*i. Is i a composite number?
False
Is (-4)/(-6)*(-3501)/(-6) prime?
True
Let p(h) = 6*h - 7. Let l be (-1)/6 + (-201)/(-18). Is p(l) prime?
True
Let t = 804 - -1043. Is t composite?
False
Let h(o) be the second derivative of -o**5/20 + 2*o**4/3 + 5*o**3/6 - 5*o**2/2 + o. Let r be h(9). Let l = r + 72. Is l prime?
True
Let l = 5 - 3. Suppose 0*k - l = k. Is (37/k)/(1/(-2)) prime?
True
Is -61*(3 + (2 - 36)) a composite number?
True
Suppose 2*q = q + 27. Suppose 2*y = -4*i + 136, 0 = -0*i - i + 3*y + q. Is i prime?
False
Suppose -11 = 3*n + 5*o, 0 = 2*n + 3*o - 0 + 6. Let x = -1 + n. Suppose 4*u + 50 = x*g, -4*g + u + 40 = 5*u. Is g a composite number?
True
Suppose -922 - 543 = -5*v. Is v composite?
False
Let i(b) = -2 - 6*b**2 + 5 - b + b - 2*b**3. Let t be i(-4). Let p = 92 + t. Is p a composite number?
False
Suppose -8 - 16 = -4*z. Let w be 194/2 + -1*2. Suppose 0 = z*k - k - w. Is k composite?
False
Is -2*2228/(-8) + 0 composite?
False
Let z(q) = -319*q**3 + 2*q + 2. Is z(-1) composite?
True
Suppose 5*c - 2*x = 3165, -2530 = -6*c + 2*c + 2*x. Is c prime?
False
Suppose -2*u = -3*o - 651, -202 = -u - 5*o + 130. Is u a prime number?
False
Suppose 5*n - 4*v - 557 = 0, -v = 4*n + v - 456. Is n a prime number?
True
Let b = 83 - 314. Let s = -162 - b. Let r = -18 + s. Is r a prime number?
False
Suppose -5*q = q - 4866. Suppose -3*g + q = 2*g + 2*n, -2*g + 334 = -4*n. Is g prime?
True
Let s be (15/(-9) - -2)*3. Let b = s + 1. Is 135/7 - b/7 a composite number?
False
Let z = 2082 - -421. Is z composite?
False
Let l(p) = 168*p**2 - 2*p - 7. Let m(x) = -84*x**2 + x + 3. Let a(j) = -3*l(j) - 7*m(j). Is a(1) a prime number?
True
Suppose 80 = 3*a + 2*d, -48 = -2*a + 3*d - 7*d. Suppose 166 + a = 2*m. Is m a composite number?
False
Let h(a) = -67*a + 6. Is h(-17) prime?
False
Let c = 242 - 165. Is c a prime number?
False
Suppose 3*v - 21 = 3*m, -3*v - m = -0*v - 17. Is (-263)/(-3) - v/9 a composite number?
True
Let h = 17 - -74. Suppose h = 3*n - 56. Is n a prime number?
False
Suppose -15*d = -13*d - 614. Is d a composite number?
False
Is (20/(-6))/((-8)/(-1614))*-2 prime?
False
Let j = -14 + 39. Suppose 3*b = -2*b + j. Suppose b*h = 53 + 212. Is h prime?
True
Let o = -25 + 90. Suppose 4*t + o = 717. Is t a composite number?
False
Suppose 2*j - 39 = j. Suppose 0 = -4*d + 3*x - 138, d - 2*x + j = x. Is d/(-6)*(1 + 3) prime?
False
Let x(q) = -2*q - 3. Let z be x(-4). Suppose 1395 = 5*v - 2*v. Suppose -z*s + 2*s = -v. Is s a prime number?
False
Let h(w) = 39*w**3 + w**2 - w. Let g be -3 + 9/3 - -2. Suppose -2*n - g = -4*n. Is h(n) a composite number?
True
Let s = 6 - 5. Let a(j) = 36*j**2 - 2*j + 3. Let u(c) = c**2 - c + 1. Let n(z) = s*a(z) - 2*u(z). Is n(1) composite?
True
Suppose 1 = 2*m + 3, 5*m = 2*b - 15. Suppose b*d - d = 1384. Is d prime?
False
Let z = 42 - -175. Is z prime?
False
Let p(l) = l**3 - 5*l**2 + 3. Let b be p(5). Suppose 3*f + 7 = -2*r, -b*r = -3*f + 8*f + 12. Is 0 + r - (-3 + -29) prime?
False
Let l = 4 - 2. Suppose -3*o + l*y + 19 = -3, 0 = o - y - 9. Is o/(-8) - 318/(-4) composite?
False
Let j(