*w + 19*w + 17*w + 1. Is v(h) composite?
True
Suppose 5*m + 15 = -5*j, 5*m - 17 - 8 = 3*j. Suppose 72 - 278 = -m*h. Is h a composite number?
False
Let g(f) = -22*f - 2. Let r be g(-7). Let w be (-3 - -1) + 3 + 1. Suppose 0 = w*j - 6, -2*p + r = -5*j - 131. Is p a composite number?
False
Suppose -4*f - 9629 = -4*u - f, 2*f = 4*u - 9634. Is u a prime number?
True
Let d(c) = -c - 1. Let y(m) = -m**2 + 12*m + 1. Let s(i) = -5*d(i) - y(i). Let f be s(7). Suppose -w = -4*b - 3, 0 = -f*w - 2*b + 10 + 20. Is w a prime number?
True
Let i(v) = v**3 - 5*v**2 + 4*v + 5. Let u be i(4). Let a = u + -27. Let x = a - -35. Is x a prime number?
True
Let m(z) = z**2 + 5*z + 4. Let p be m(-5). Let o be 2 + 2*2/p. Suppose -2*a + o*a - 58 = -3*c, -4*a - 5*c + 253 = 0. Is a a prime number?
True
Let j = -3 + 13. Suppose -5*c - 520 = -j*c. Suppose 0 = -2*w - 4*v + 137 - 15, 2*w - c = 5*v. Is w a prime number?
False
Suppose -4*w = -w + 3*u - 2268, -2*u - 2994 = -4*w. Is w prime?
True
Let y = -5545 + 8364. Is y prime?
True
Let s be (43/3)/(1/6). Let u = s + -196. Let m = u + 163. Is m prime?
True
Let p(n) = -2*n + 257. Is p(0) composite?
False
Suppose 4*d = 3*s + 5*d + 808, 0 = 2*s + 4*d + 552. Is s/(-8) + (-6)/(-4) prime?
False
Suppose 2*i - 185 = i. Is i a composite number?
True
Is (-2)/((-8)/173)*28 a composite number?
True
Let o = 5596 - 3189. Is o a prime number?
False
Suppose -5*p - 4 = 3*w - p, 4 = -4*w - 5*p. Suppose o = -w*d - 5, 0 = 4*d + 10 + 10. Suppose -3*k + o = 2*k. Is k a prime number?
True
Suppose 3*r = -32 - 13. Let y = 4 - r. Is y a composite number?
False
Suppose 46 = -4*y + 222. Let v = 34 + y. Suppose 0 = -2*o - 4*n + v, -2*n + 133 = 3*o - 0*n. Is o a prime number?
True
Let l be (-6)/15 - 8/5. Let s be 0*l/(-4) - -5. Suppose -s*d + 171 = -274. Is d a prime number?
True
Let b be (-197 - 2) + -1*1. Let v = b - -339. Is v a prime number?
True
Let r(a) = -a**2 + 9*a - 12. Let k be r(8). Let n = k + 2. Is 53/2 - (-1)/n a composite number?
True
Suppose -h - 2339 - 3192 = -3*f, -2*f - 2*h = -3682. Is f a prime number?
False
Suppose 3*g - 5*g + 3*u + 3874 = 0, 2*g + 3*u - 3874 = 0. Is g prime?
False
Suppose -5*f + 34 = 9, -39093 = -4*q - 5*f. Is q composite?
False
Suppose -f - 260 = -5*f. Is f prime?
False
Suppose -56 = 5*l - 1. Is (-1725)/l - (-4)/22 a prime number?
True
Let w = 0 + 1. Let b be (4/6)/(w/15). Is (b/25)/(2/70) a prime number?
False
Suppose 142 = 2*x - 840. Is x a prime number?
True
Is 2847/9 + 14/21 composite?
False
Suppose -5 = 5*o, 5*o + 0*o = h - 256. Is h prime?
True
Let m(h) = -h**3 + h**2 + 2*h + 1. Let w be m(4). Is -4 - 14*w/3 a composite number?
True
Suppose 0 = -46*k + 43*k + 426. Is k prime?
False
Let a(x) = x**3 + 6*x**2 - 2*x - 1. Is a(-4) prime?
False
Let w = 21 - 6. Suppose -4*c + 58 = 5*i, 4*i - 38 = -c + w. Is i a prime number?
False
Suppose 2*j = -3*k + 2711, 2*j = 5*k + 959 + 1760. Is j a composite number?
True
Let c = 7 - 2. Suppose 191 = c*o - 444. Is o prime?
True
Suppose 5*g = -0*g + 385. Is g prime?
False
Suppose 2*m + m = -3*k - 2784, -2*m + 2*k - 1864 = 0. Let i = -487 - m. Is -3 + 1 + i + 2 a composite number?
False
Is 10*((-8)/(-20))/(-1) - -115 composite?
True
Let r = -85 + 196. Is r a prime number?
False
Let d = 18 + -13. Suppose 2*r - d*r + 81 = 0. Suppose -k + 20 = -r. Is k a composite number?
False
Suppose 67 = 5*t + 5*g - 33, 2*g = -4. Suppose -5*c + 131 = 4*w, 0 = 2*w - 3*c - 93 + t. Is w prime?
False
Let q = -8 + 6. Let g be q + 12 - 3 - -3. Is (g/4 - -2)*2 a prime number?
False
Let z(m) = 3*m**2 - 5*m + 7. Let v(j) = 2*j**2 - 3*j + 3. Let h(l) = -5*v(l) + 3*z(l). Let p be h(5). Let s = 77 + p. Is s a prime number?
False
Suppose 3*v + 0 = 21. Let u(i) = -i**2 + 15 - 5 + 0*i**2 + v*i. Is u(7) a composite number?
True
Let x(r) = -131*r**3 - 6*r**2 + 5*r - 5. Let u(p) = 26*p**3 + p**2 - p + 1. Let v(w) = 11*u(w) + 2*x(w). Suppose 5 = -m + 6*m. Is v(m) composite?
False
Suppose 5*b + 0*f = 3*f - 5, 2*f + 3 = -3*b. Let r(y) = 5*y**2 + 2*y + 1. Let n be r(b). Suppose n*s - 755 = 3*i, -211 = -3*s - 4*i + 324. Is s a prime number?
False
Let m(x) = x**2 + 1. Let b(v) = -4*v**2 - 2*v - 10. Let p(y) = b(y) + 5*m(y). Is p(6) a prime number?
True
Suppose 4*g - 8 = -0. Let x(r) = -7*r - r**2 - r**3 - g*r - 6 - 2*r**2 + 2*r**3. Is x(7) a composite number?
False
Let x be (-3650)/(-6) - 8/(-12). Suppose 0 = 5*g - 2*i - x, 5*g + 3*i - 8*i = 615. Is g prime?
False
Suppose 0 = -4*h - 20, 5*h = -0*t - 2*t + 123. Is t a composite number?
True
Is ((-2594)/6)/(6/(-18)) a prime number?
True
Suppose -4*u + w = -42, 49 = 5*u - w - 2*w. Let g = u - -47. Is g composite?
True
Let g(s) = -s**3 - 4*s**2 - 4*s + 2. Let d be g(-5). Let h = d + 87. Is h prime?
False
Suppose -4*z = 0, 444 = 2*t - z + 3*z. Let n = t - 103. Is n composite?
True
Let w be (-45)/36*-8*1. Suppose 658 = -8*m + w*m. Is m a prime number?
False
Suppose i - 80 - 220 = -2*q, i = -q + 151. Is q composite?
False
Suppose -g - 2*g + 207 = 0. Is g a prime number?
False
Suppose 2*m = x + 2*x - 10, 2*m = 4*x - 14. Suppose 0 = 4*p + x*s - 311 - 437, -211 = -p + 5*s. Is p composite?
False
Let y(w) = 40*w + 19. Is y(4) prime?
True
Let y(v) = v**2 - 10*v + 1. Let m be y(9). Is -3 - 36/8*m a prime number?
False
Let n = 33 - -272. Let m = n - 190. Is m composite?
True
Let j(v) = v**2 - 5*v - 7. Let g be j(6). Let d be 686/(-21)*(g - 2). Suppose 133 = 3*f - d. Is f a prime number?
False
Let a(i) = 7*i + 1 + 0*i - 1 - 2. Suppose 4 = 4*l - 4*d, -5*l + 45 = d + 16. Is a(l) a composite number?
True
Suppose -1909 = 4*o - 777. Let z = -144 - o. Is z prime?
True
Let l(s) = 14*s**2 + 26*s + 23. Is l(-13) a prime number?
False
Suppose 3*j - 8 = 7. Suppose j*p - 105 = 2*p. Is p composite?
True
Suppose 0 = 4*z + 4*g + 104 - 268, -3*z + 2*g + 113 = 0. Is (221/z)/(2/42) prime?
False
Suppose -500 = -0*s - 5*s. Suppose -w - s + 417 = 0. Is w composite?
False
Suppose r = -2*r + 93. Is r a composite number?
False
Let j be (-939)/(-9) - 2/6. Let r = j - 7. Is r prime?
True
Let l = -3 - -7. Let r be (8 - 14)*(-54)/l. Let b = 192 - r. Is b a prime number?
False
Let d(l) = -38*l - 3. Let p(h) = -h**2 + 4*h + 1. Let x be p(5). Is d(x) a composite number?
False
Suppose -4*h + 25 = -5*d, d = -2*d - 3. Suppose -p = h*j - 23, 3*p - p = 5*j + 16. Is p composite?
False
Let g(v) = -v**2 - 10*v - 6. Let d be g(-9). Is 494/6 + 2/d a composite number?
False
Suppose -6 - 34 = -4*o. Let y = 12 - o. Is 3/(-5 + y) - -34 prime?
False
Let z = -286 - -545. Is z prime?
False
Let f = -10 - -3. Let z = f - -11. Suppose z*q + 13 = d, -37 = -5*d - 2*q + 138. Is d prime?
False
Suppose m = 2*b - 4*b + 2426, 2*b - 2*m = 2426. Is b a composite number?
False
Let a(d) = 29*d**2 + 4*d. Let l(f) = 28*f**2 + 4*f. Let p(o) = 7*a(o) - 6*l(o). Is p(-3) composite?
True
Suppose 2*f + 10 = 38. Let n be -8*f/(-4) - -1. Let o = n - 18. Is o composite?
False
Let w = 1787 - 402. Is w prime?
False
Is -745*(24/(-15))/4 composite?
True
Suppose 4 = 2*h, 3*c + 3*h + 2489 = 7046. Is c a composite number?
True
Let f(t) = -t**3 - 14*t**2 - 15*t + 7. Let v be f(-11). Is 1/(3 + 572/v) prime?
True
Let m(r) = r**3 - r + 186. Let i be m(0). Let w = i - 107. Is w prime?
True
Is (-2243)/(-5) - 10/(-25) prime?
True
Suppose -4262 = -7*w + 29. Is w prime?
True
Is 2/(5/((-16355)/(-2))) a prime number?
True
Let c be 1*13 + 0 + -3. Suppose 0 = -0*n - 2*n - 5*q + c, 4*n - 4*q = -8. Suppose f - 93 = -n*f. Is f composite?
True
Let f(d) = 5*d - 2. Let z be f(1). Suppose z*s = 3*q + 549, -3*s = -q - 47 - 506. Is s composite?
True
Suppose 0*d = d - 2. Suppose -d*s = -g - 419, -5*s + 0*s + 1067 = 4*g. Is s a composite number?
False
Suppose -19 - 81 = -4*z. Suppose 2*w + h - 19 = 4*h, -2*w = -5*h - z. Suppose 0 = w*t - 21 - 14. Is t a prime number?
True
Let s(u) = -u**3 + u**2 + u + 1. Let n(w) = w**3 - 10*w**2 + 6*w - 18. Let o(x) = n(x) + 2*s(x). Is o(-11) a prime number?
False
Let y(r) = -r**3 + 3*r**2 - r - 2. Let j be y(2). Suppose j = -4*w - 3*p - 34, 4*w - 5*p = -p - 20. Let h = w + 20. Is h a prime number?
True
Let k(i) = -5*i**3 - i**2. Let w be k(-3). Suppose -y + 3*v = -4*y + w, -y + 3*v + 22 = 0. Is y a composite number?
False
Is (-1)/(-2)*(-1 - 1 - -2140) prime?
True
Let t = 15 - 7. Is (30/(-24))/((-1)/t) prime?
False
Let l be 0 + (-3 - (-135 - 0)). Suppos