5*h - 415 = 4*l + l, -k*h = 5*l - 368. Is h prime?
False
Let c = -446 - -1834. Let w = -877 + c. Is w prime?
False
Suppose -5*w + w = -316. Let c(q) = q**3 - 8*q**2 - 7*q + 10. Let k be c(7). Let g = w - k. Is g prime?
True
Let y = -10 + 35. Suppose 5*g + 2 = a - y, 0 = 5*a + 3*g - 191. Is a a composite number?
False
Let d = 5 - -86. Is d prime?
False
Let t(c) = c**3 - 4*c**2 + 2*c. Let z(i) = 5*i**3 - 16*i**2 + 7*i. Let j(x) = -9*t(x) + 2*z(x). Let s be j(-3). Let k = 30 - s. Is k a composite number?
True
Let f(w) be the third derivative of w**4/24 + w**3/2 - 4*w**2. Let r be f(-4). Let n = r + 50. Is n a prime number?
False
Suppose z = -0*z + 112. Suppose -151 = -4*c + w, -2*w + w - z = -3*c. Suppose c = 2*x + x. Is x composite?
False
Suppose 5*a + 2*z - 273 = 0, 2*z + 298 = 5*a + 41. Is a a composite number?
False
Let d(p) = 6*p**2 + 3*p + 8. Let a be d(-6). Suppose 3*h - a = 31. Is h a prime number?
True
Let r = -1 + -2. Let b = 85 - 144. Is 2/r + b/(-3) prime?
True
Suppose -2*c = 2*b - 228, -4*c - b + 429 = -30. Is c prime?
False
Let a be (1/1)/1 - -11. Let k = 31 - a. Is k composite?
False
Let v be (-20)/(2 + 0 + -1). Let w be ((-24)/(-10))/((-6)/v). Is 58/4 + 4/w composite?
True
Let w(f) = -263*f - 9. Is w(-6) a composite number?
True
Suppose 0*p + 3*p - 258 = 0. Suppose -5*b + 49 = -p. Suppose -t = -26 - b. Is t a prime number?
True
Let f = 21 - -12. Suppose 0 = -3*c - 28 + 220. Let a = c - f. Is a prime?
True
Let q(u) = -u**3 - 4*u**2 - 6*u - 1. Suppose -p - 1 = 3. Let i be q(p). Suppose i + 421 = 4*m. Is m a composite number?
True
Suppose 0 = 2*b - 846 - 268. Is b a composite number?
False
Suppose 0 = -4*m - 4611 - 4845. Is m/(-30) - 2/(-10) prime?
True
Let l be 6/9 + (-284)/(-6). Suppose -57 - l = -3*i. Is i prime?
False
Let r(i) be the first derivative of -i**2 + i**3 - i**2 - 4 + 4 - 2 - 6*i. Is r(5) a prime number?
False
Let r = -3 - -2. Is 1 - 11*2*r a prime number?
True
Suppose -9 = 4*w - 5*h, -4 = -w - 4*h - 1. Is (37*w/(-1))/1 prime?
True
Suppose -4*x = 30 - 6. Is (x + 4)/(2/(-79)) a composite number?
False
Let m(j) = -j**2 - 4*j + 10. Let k be m(-5). Suppose -k*o - 640 = -5*t, 2*t + o = 6*o + 259. Is t composite?
False
Let o be 1*6 - (3 - 1). Suppose 4 = o*w - 4. Is (-12 + w)/(0 + -1) composite?
True
Suppose 5*t - 44 - 401 = 0. Is t a composite number?
False
Suppose 1 + 43 = 2*k. Suppose -3*s + 15 = 2*s, -4*x - 2*s + k = 0. Is 122/8 + x/(-16) prime?
False
Let o(m) be the second derivative of -5*m**5/4 + m**4/6 + m**3/6 - m**2 + 3*m. Let j be o(-2). Suppose -g - 162 = -3*p, -3*p + 4*g - 33 = -j. Is p prime?
True
Let a(v) = -v**3 - 4*v**2 + 6*v + 6. Let o be a(-5). Let d = 8 + o. Suppose 210 = 5*f + 3*w, -4*w = -29 + d. Is f prime?
False
Let p(s) = -4*s - 5*s + 5*s + 1. Let y be p(-2). Let j = y - 3. Is j composite?
True
Let b = 8 + -5. Is b - 4/2 - -8 a prime number?
False
Suppose -4 = -2*r - 32. Let f(m) = -4*m - 7. Is f(r) composite?
True
Let l(i) = 2*i - 3. Let v be l(3). Let g(k) = 2*k**3 - k**2 - 2*k - 2. Is g(v) a composite number?
False
Let n(j) = j**2 - j. Suppose 0*g - 5*g = 5. Let d(c) = -c**3 - c**2 + 2*c + 5. Let y(m) = g*d(m) - n(m). Is y(5) composite?
True
Let u(n) = n**2 - 3*n - 1. Suppose 5*a - 16 = 9. Is u(a) prime?
False
Let n(j) = -j**3 + 5*j**2 - 6*j + 4. Let y be n(3). Suppose y*p = 4*o + 843 + 1893, p - 690 = 3*o. Is p prime?
False
Let i(q) = -2*q**3 - 8*q**2 - 6*q + 2. Let x(j) = -j**3 - 7*j**2 - 7*j + 2. Let r(v) = -2*i(v) + 3*x(v). Is r(7) prime?
True
Suppose -2*w + 7*w - 6255 = 0. Suppose 0*v + w = 3*v. Is v a prime number?
False
Suppose 3*t - k = -2, -2*t = -t - 3*k - 2. Suppose 5 = -3*q + 2. Is -3*q/t*-11 prime?
False
Suppose -2*j - 2*g + 174 = 0, 2*j + g = -j + 257. Is j composite?
True
Suppose 3*t - 5 = -0*t + w, 2*t - 2 = w. Suppose -7*c + 92 = -t*c. Is c a prime number?
True
Let a = 4030 - 2447. Is a composite?
False
Suppose -38 = -z - 5*f, -2*z - f = 2*z - 209. Is z a prime number?
True
Suppose g - 634 = -4*l - 206, 3*l - 336 = 3*g. Suppose -d = d - l. Let h = -35 + d. Is h prime?
True
Let x be ((-5)/(-2))/(2/(-4)). Let t = 8 + x. Let v(j) = 5*j**3 + 2*j**2 + 2*j - 2. Is v(t) composite?
False
Let n(u) = -52*u + 43. Is n(-24) a prime number?
True
Let d(l) = l**2 - 6*l + 7. Suppose 7 = -4*r - 5*o, 4*r - 2*r - 4 = -4*o. Is d(r) composite?
True
Let x be -1*2 + 5/1. Let b(d) = d**3 - 3*d**2 - 2*d + 4. Let s be b(x). Is -2 + 0 + (s - -29) composite?
True
Suppose 9*c + 127 = 10*c. Is c a prime number?
True
Suppose -4*j + 2872 = -4*s, -3*j = -4*j - s + 720. Is j a prime number?
True
Let u(a) = -a**2 + a. Let f be u(0). Suppose 3*x + f*x = 0. Suppose x = d + d - 26. Is d a composite number?
False
Let j(x) = 4*x + 2. Let l(p) = -4*p - 3. Let f(o) = -2*j(o) - 3*l(o). Is f(8) prime?
True
Let a = 3 + 0. Let h(n) = n**3 - 4*n**2 + 3*n + 2. Let r be h(a). Suppose -4*x - 3*l + 181 = 0, -r*x - l + 0*l + 89 = 0. Is x composite?
False
Let s(a) = -a**3 + 7*a**2 - 3*a - 4. Let h be s(6). Suppose h = w - 173. Is w a prime number?
False
Let x(g) = 10*g**2 - 17*g + 8. Is x(7) composite?
False
Let k = 42 - 76. Let s = -41 - -94. Let d = s + k. Is d a composite number?
False
Let u(p) = -p - 12. Let o be u(-12). Suppose -5*x = -o*x - 125. Is x prime?
False
Let c = 7 - 3. Suppose 0*w - k = -w + 3, 2*w + c*k + 24 = 0. Let n = 31 - w. Is n a prime number?
False
Suppose -24 = -2*p - 5*w + 40, 5*w = 20. Let u = p - -21. Is u a composite number?
False
Suppose 3*p = 4*k - 8*k, -k = 3*p. Suppose 0*b + b - 31 = k. Is b composite?
False
Suppose -6*g = -g + 405. Let n = g - -338. Is n a composite number?
False
Let p = -3 + 5. Suppose -3*a + 480 = p*a. Let u = a + -59. Is u prime?
True
Suppose -4 = 3*c - 1, -755 = -3*i + 2*c. Is i a prime number?
True
Let v(u) = -67*u + 5. Is v(-12) prime?
True
Let w be ((-10)/(-3))/5*3. Suppose 2*h + w*o = h + 79, -3*o = 2*h - 153. Is h prime?
False
Is (-752 + -1)*2/(-6) prime?
True
Is 0 + 3/3 + 850 a prime number?
False
Suppose 0 = -2*x - 2*x + 3572. Is x a prime number?
False
Let o = 0 + 3. Suppose 0 = -o*k + 720 - 249. Is k prime?
True
Suppose -2161 + 10 = -3*h. Is h a prime number?
False
Suppose 3*p + 2*d - 385 = 0, -p + 5*d = -251 + 100. Is p prime?
True
Let b = 278 - -33. Is b a prime number?
True
Suppose -4 = 2*l - 4*l. Suppose -6 = -4*s + 10, 0 = -l*d - 3*s + 26. Is d a composite number?
False
Suppose h = -r + 153, r + 5*h + 6 - 175 = 0. Is r composite?
False
Suppose -103 - 322 = -l. Let t = -302 + l. Is t a composite number?
True
Suppose -5*q - 2*l + 196 = 47, -5*q = -5*l - 135. Let x = 52 - q. Let v = -14 + x. Is v composite?
True
Suppose 2*a = -3*a + 1790. Is a composite?
True
Suppose 0 = u - 3, -r - 2*r + 2*u + 192 = 0. Let j = -47 + r. Is j prime?
True
Let m(w) be the third derivative of 3*w**4/4 + w**3/6 - 2*w**2. Let u be m(2). Suppose 0 = -3*k - 5*q + 25 + u, -3*q - 92 = -5*k. Is k composite?
False
Suppose -18978 = 4*t - 10*t. Is t prime?
True
Let k = 0 - 2. Is (k - -1) + 180/2 a prime number?
True
Suppose -3*z = 2*z - 185. Let v = 4 + -30. Let x = z + v. Is x a prime number?
True
Suppose -20 = -2*d - 3*d. Is 586*(3 + (-10)/d) a prime number?
True
Let f be (64/80)/(4/850). Suppose k = 3*k - f. Is k a composite number?
True
Suppose -2*v + 127 = -3*u, v = 2*u - v + 82. Let c = u + 104. Let i = c + -36. Is i a prime number?
True
Let v(g) = -5*g**2 - 2. Let l be v(-2). Let q = l + 149. Is q composite?
False
Let y be (654/(-4))/(8/16). Let v = y - -490. Is v composite?
False
Let o be 0 + 3 - (1 + 9). Let r(i) = -3*i + 14. Is r(o) a composite number?
True
Is ((-34)/6)/((-6)/(3132/6)) a composite number?
True
Let s = 483 - 182. Let u = s + 591. Suppose -u = -4*j + 336. Is j a prime number?
True
Let o(n) = -n**3 + 12*n**2 - 7*n + 5. Let i be o(8). Suppose 5*z - i = 1030. Is z prime?
False
Let q be 92/6 + (-2)/6. Let g be (1 - 27/q)*-5. Suppose -g*f + 57 = -f. Is f composite?
False
Let w be (-59)/(-4) + 2/8. Let l(p) = 2*p + 14. Let r be l(-10). Let x = r + w. Is x a prime number?
False
Suppose 5*i + 248 = 963. Suppose -4*h + 181 = 5*b, -i = -4*b - 8*h + 3*h. Is b prime?
True
Let g = -235 - -564. Is g composite?
True
Let k(l) = -l**2 + 11*l - 4. Let f be k(11). Let r be f/(-2) - (-1 + 3). Suppose r = -2*d + 33 + 41. Is d a prime number?
True
Let m(n) = 73*n - 9. Is m(16) prime?
False
S