 5*o - 16, o + x = 3*j. Is j prime?
True
Suppose 0 = 4*i - 3*p - 3221, -i - 3*p + p + 819 = 0. Is i a prime number?
True
Suppose -5*f - 2*r + 174 = -3*f, -5*f + 419 = r. Is f prime?
True
Suppose -13*g - 1099 = -14*g. Is g composite?
True
Let w(u) = u**2 + 7*u - 2. Let y be w(-7). Let o be (345/(-9))/(y/(-12)). Is o/(-6) - (-8)/12 a composite number?
True
Let b = -177 - -370. Suppose -57 = 4*t - b. Is t composite?
True
Let w = 3 - 3. Suppose -y + 2*y - 4 = w. Is y prime?
False
Let r = 18 + -14. Suppose 89 = r*p - 3*p. Is p composite?
False
Let n(v) = 3*v**2 + 2*v + 2. Let c be n(-5). Let u = 116 - c. Is u a prime number?
False
Suppose -10*s = -9 - 31. Suppose -4*p = -3*r + 32, -3*r = 2*p - 3*p - 17. Suppose 6*h - 5*h - 157 = -s*c, r*c - 4*h - 132 = 0. Is c prime?
False
Suppose 5*f = 8*f - 3651. Is f composite?
False
Suppose 0 = -5*s - 2*g + 2380, 5*g = s - 3*s + 931. Is s a composite number?
True
Let r(s) = s**2 - 4*s - 7. Let w be r(5). Let p(j) = -6*j**2 + 3*j + 3. Let l be p(w). Let o = l + 58. Is o a prime number?
True
Let i = 7 - 4. Suppose 0 = -i*c - 8 + 95. Suppose 3*s = 2*z - 26, -c + 2 = -5*z - 2*s. Is z a composite number?
False
Let i(v) = v**2 + 18*v - 36. Let p(k) = 6*k - 12. Let g(z) = 3*i(z) - 8*p(z). Is g(-9) prime?
False
Is -4 + (-2697)/6*-2 a composite number?
True
Suppose 7 + 1 = 2*q. Suppose -s - 347 = -q*m, 5*s + 0 - 5 = 0. Is m a prime number?
False
Suppose -13 = -5*w + 2. Suppose -f - 16 = -2*x, -3*x - 4 = w*f - 1. Is ((-22)/f)/((-2)/(-6)) composite?
False
Let y = -2 - -5. Let g = y - -13. Suppose j = x + 2*x - g, 0 = -j + 5. Is x composite?
False
Let q = -3 - -6. Suppose -5*b + 3*w = -563, q*b = -b - 5*w + 480. Is b a composite number?
True
Suppose 2*o + 3*q - 24 = -2*q, 6 = -o + 2*q. Let f(h) = 45*h**2 + h - 4. Is f(o) composite?
True
Suppose 0 = 5*d - a - 3710, a - 365 = -d + 383. Is d prime?
True
Is 0*(4 - 3) - -371 a prime number?
False
Let f be (-2)/7 + (-32)/(-14). Suppose -2*w - 3*u = -15 - f, 2*w - 5 = u. Suppose 2*p = w*l - 843 + 81, 5*l - 5*p = 950. Is l a composite number?
False
Let w(q) = 50*q**3 + q**2. Let y be w(1). Let m be y/(-2)*(5 - 9). Suppose m = 4*u - 46. Is u prime?
True
Suppose -12*j + 9*j + 1191 = 0. Is j a composite number?
False
Let j(b) = -6*b**3 - 4*b - 3. Suppose -5*l - 10 = -0*l. Is j(l) a composite number?
False
Let y(k) = -k**3 - k**2 - k - 5. Let q(h) = h**3 + 6. Let d(p) = 3*q(p) + 4*y(p). Is d(-4) a prime number?
False
Suppose -4*u - 3 = -19. Let h(d) = 4*d**3 - 2*d**2 + 2*d + 1. Let f be h(2). Suppose -f = -i - 2*a, -u*a = -0*i - i + 53. Is i a composite number?
False
Let q be -1 + (0 - -2) + 4. Suppose 0 = 2*o - 3*u - 1, 5*o - q*u + u - 13 = 0. Suppose -d = -2*t - 0*d + 229, o*d = -t + 98. Is t a prime number?
True
Suppose 508 = 5*z - z. Is z a prime number?
True
Suppose 0 = 5*g - 6 - 9. Suppose 0 = -2*j + g*p - 6, 0*j + 5*p = -2*j + 10. Suppose -3*w + b + 126 + 142 = j, b + 450 = 5*w. Is w prime?
False
Suppose 4*o + 2*m = 4344, 5*o + 2*m = -m + 5429. Is o composite?
False
Let o(m) be the first derivative of -m**3/3 + 5*m**2/2 - 2*m - 1. Let r be o(3). Suppose -33 = -r*w + 51. Is w prime?
False
Suppose 7*s + 1018 = 9*s. Is s a composite number?
False
Is (-1 - (-189)/12)/(3/84) prime?
False
Let b(s) = 9*s**2 - 2*s. Suppose -5*o + 8 = 33. Is b(o) prime?
False
Let p be (0 - (2 + -2))/1. Suppose p = -q + 391 - 129. Is q/8 + 1/4 composite?
True
Let l = 17 + -12. Suppose 2*r + l*b = 190, -5*r + 0*b = -4*b - 508. Suppose -2*a - 2*a + r = 0. Is a prime?
False
Suppose 4*x + 3*f = -x + 489, x + 2*f = 102. Let r = x - 59. Let a = 82 + r. Is a composite?
True
Let c be 0 + (4 - 3)*5. Suppose 34 = 2*p - 3*w, -2*w = 3*p - c*p + 32. Suppose 0 = -3*l + 119 - p. Is l prime?
False
Let r(l) = 274*l - 7. Is r(9) composite?
False
Suppose c + 5 = 8. Let b(i) = 29*i + 4 + 1 - 3. Is b(c) a composite number?
False
Let p(n) = 35*n**2 - 2*n + 4. Let f be p(4). Suppose 0 = 5*b - 2*x - 702, -3*b - b = -3*x - f. Is b prime?
False
Let c(q) = 120*q**2 - 2*q + 1. Let u(x) = x**2 + 6*x + 6. Let b be u(-5). Let d be c(b). Let j = d + -28. Is j a prime number?
False
Suppose 0 = -3*s - 5*d + 2391, -3*s = -4*s - 2*d + 797. Is s composite?
False
Suppose -m = m - 2174. Is m composite?
False
Suppose -8 = -6*d + 2*d. Suppose d*t - 3 - 3 = 0. Suppose 2*l - 19 = t. Is l composite?
False
Is (-423 + -1 + 2)/(-2) prime?
True
Suppose -15*t = -19341 - 25644. Is t a prime number?
True
Suppose -11 = -o + 276. Is o composite?
True
Suppose 2*p = -3*q + 12, 2*p = 3*q + 2*q - 4. Is -3 + (p - 1 - -92) composite?
True
Let d(p) = 9*p + 2. Let c be d(-2). Let y = c + 35. Is y a prime number?
True
Let h(w) = -w**3 - 23*w**2 - 31*w - 65. Is h(-22) a composite number?
True
Suppose x = -2 - 2. Is 16/(-4)*47/x a composite number?
False
Suppose 0*f + 32 = -2*f + 5*s, s = -2*f - 8. Let z be (-52)/f + (-2)/3. Suppose 2*d = -2*x + z, x = -0*d - 2*d + 11. Is d a composite number?
False
Let s(c) = -4 - 1 - 10*c - 13*c + 5*c. Let g be s(-6). Suppose 0 = -v + g - 24. Is v prime?
True
Let v(y) = 59*y**2 - 4*y + 5. Is v(2) prime?
True
Let p(o) be the first derivative of o - 1 + 1/4*o**4 - 1/3*o**3 - 3/2*o**2. Is p(3) prime?
False
Suppose -14 = -d + 1. Let u = d - 10. Suppose 5*i = 3*i, u*q - 1265 = -2*i. Is q a composite number?
True
Suppose -7 = -2*h + 1. Suppose 0 = 3*m - 1 - 5, 4*m = h*k - 532. Suppose -k = -o + w, -w + 111 = o + 4*w. Is o prime?
True
Suppose -g + 269 = -66. Is g composite?
True
Suppose 2932 = -2*m + 5*m + 5*q, 2*m - 1950 = -q. Is m a composite number?
True
Is (-4)/(-30)*3 - (-99304)/40 a composite number?
True
Let h be 3*-1 - (-2 - -3). Let l = h + -1. Is (l/2)/((-6)/60) composite?
True
Let j(l) = -l**2 + 5*l. Let k be j(5). Suppose -r - y + 3 = 0, 5*y + 18 - 3 = k. Is r prime?
False
Let v be (-389)/7 - (-36)/63. Let d = 92 + v. Is d composite?
False
Let y(i) = -15*i. Let j be y(-5). Suppose 3*v = 2*u - j, -2*v = 4*u - 0*v - 142. Suppose 5*q - u = 14. Is q a prime number?
False
Let m be (-4)/((-2)/2) - 2. Let c = 39 - m. Is c prime?
True
Let z = -45 + 77. Suppose -2*y - 3*y + 520 = 0. Suppose -4*k + z = -y. Is k a composite number?
True
Let t(c) = -18*c**2 + c - 1. Let z be t(1). Is (-2073)/z + (-3)/18 prime?
False
Let l be (4/12)/(-1)*-6. Let y(s) = 90*s**3 - s**2 + 3*s - 3. Is y(l) a prime number?
True
Let n(v) = -65*v**2 + 3*v + 9. Let y(f) = 33*f**2 - f - 4. Let s(c) = 3*n(c) + 7*y(c). Let z be 4 + (-2 - -2) + -3. Is s(z) prime?
True
Let r(b) = 26*b + 12. Let j be r(-8). Suppose g = 3*g + 690. Let k = j - g. Is k composite?
False
Let k(l) = 111*l - 1. Let g be (-4)/10 - 12/(-5). Is k(g) composite?
True
Suppose 1 = -2*f + 5. Suppose -2*l + u = 0, -2*l + 5*l - f = u. Suppose -4*i - 2*y = -48, -l*i - 3*y - 45 = -5*i. Is i a composite number?
False
Let a = 74 - -29. Is a a prime number?
True
Let y be (-10)/35 - (-9)/7. Suppose -l = y - 39. Is l prime?
False
Suppose 4*l - 190 = 2*l. Is l prime?
False
Let f = 3564 + 105. Is f a composite number?
True
Let s(u) = -2*u**3 + 4*u**2 + u - 2. Let i(l) = l**3 - l. Let r(p) = -3*i(p) - s(p). Let n(h) = -h**3 - 6*h**2 - 5*h - 6. Let x be n(-5). Is r(x) composite?
True
Let b(h) = 32*h**3 + 2*h**2 + 8*h - 13. Is b(4) composite?
False
Let l(d) = -d**2 - 4*d + 7. Suppose 0 = 3*w - 4*f + 11, -5*f - 8 - 2 = w. Let y be l(w). Suppose -3*p = -y*p - 119. Is p composite?
True
Is (-2)/((12/(-22278))/1) a prime number?
False
Let g = 298 - 143. Is g composite?
True
Suppose 42760 = 11*t - 3*t. Is t prime?
False
Let n = -15 - -28. Suppose -4*m + n = -w, w - 10 = -m - w. Suppose m*t - 87 = 133. Is t prime?
False
Suppose -2*w - 1 = -5. Suppose 0 = -w*k + 3*k. Is k + 66 + 0 + -1 a composite number?
True
Let n = -2 + 1. Let p(f) = 4*f - 5*f - f**2 - 1 + 8*f**2 + 8*f**2. Is p(n) a composite number?
True
Let w(n) = n. Let y be w(6). Suppose 0 = -k + 3*k + 130. Is (-1 - k) + (y - 5) composite?
True
Suppose 305 + 649 = 6*m. Is m a prime number?
False
Let f(k) = -10*k**3 + 11*k**2 + 6*k + 14. Is f(-9) a prime number?
False
Let k = -700 + 1502. Is k prime?
False
Let v(s) be the second derivative of -s**2/2 - 2*s. Let m(d) = 21*d. Let t(u) = -m(u) + 5*v(u). Is t(-6) prime?
False
Suppose -4*i - 5*a + 6 = -0*i, -4*i - 2 = a. Let b(z) = -5*z - 1. Let p be b(i). Suppose 5*s = 3*m - 5*m + 167, 2*s = -p*m + 70. Is s a compos