+ 179 + -1 composite?
False
Let r = 3627 - 1738. Is r composite?
False
Suppose 3*j - 5*w + 65 = 0, 4*j + 125 = -0*j - w. Let f = 25 - j. Is f a composite number?
True
Is (-5103)/(-119) + (-4)/(-34) a composite number?
False
Suppose -4*r - 9 = -7*r, 10 = 2*u + 2*r. Is (35 + u)*(-2 - -3) prime?
True
Let g(z) = -2*z**3 + z**2 - 2*z - 23. Let t(c) = 4*c**3 + 46 + c**2 + c**3 + 5*c - 3*c**2. Let o(k) = -7*g(k) - 3*t(k). Is o(0) a composite number?
False
Let b(a) = -a - 6. Let w be b(-6). Suppose 83 = q - w*q. Is q a prime number?
True
Is (-2 - -1)/((-3)/1437) a prime number?
True
Let p be (-6)/(-4)*292/6. Let w(l) = l. Let v be w(-4). Is (2 + p/(-4))*v composite?
True
Suppose 7*c - 2*c - 865 = 0. Suppose 198 = 2*i - 4*t, t = -i - i + c. Is i prime?
True
Suppose -5*b - 3 = 7. Let k = 1 - b. Is k + 28 + (-2 - -2) a composite number?
False
Let d(t) = 11*t**2 - 2*t - 2. Suppose -n + c - 3 = -c, -5*n = -5*c. Suppose y + 0*y = n. Is d(y) prime?
False
Let a(h) = -34*h - 2. Let w(r) = -17*r - 1. Let t(u) = -3*a(u) + 5*w(u). Is t(2) a composite number?
True
Suppose 3*i - 986 = -5*t - 0*i, 2*i = -t + 193. Is t composite?
False
Suppose 5*a - 3 = 7. Suppose p = 5*n - a*p - 119, 81 = 3*n - 5*p. Suppose u + 5*t = 4*u - 52, 0 = 3*u + t - n. Is u a prime number?
False
Suppose -p + 9 = -z, 5*p + 0*p = -2*z + 17. Suppose 0 = -2*k - 2*k + 20, p*d - 90 = 5*k. Is d prime?
True
Let d(q) be the first derivative of -q**4/4 + 10*q**3/3 - 4*q**2 - 7*q - 1. Suppose n - 10 = -1. Is d(n) a prime number?
True
Suppose -5*u = -2*a + 5212, -3*u - 10438 = a - 5*a. Is a prime?
False
Let a(h) = -15*h + 7. Let g be a(-8). Let r = g - 60. Is (r/(-4))/((-5)/20) prime?
True
Let m = 438 - 251. Is m a composite number?
True
Is ((-2122)/(-4))/(2*1/4) a prime number?
True
Suppose 25 = -6*b + 11*b. Is (-3)/b*(-35 - -10) prime?
False
Let u be ((-276)/15)/(6/(-105)). Suppose -3*d + 5*d - u = 0. Is d a prime number?
False
Let y(g) = g**2 - 4*g - 3. Let v be y(5). Suppose 0 = -2*a - u + 173, -4*u - 293 = -v*a - 95. Is a composite?
False
Suppose 0 = 2*u - 65 - 681. Is u a composite number?
False
Let r(l) = 4*l - 2 + 1 - 5*l. Let b be r(-3). Suppose -t = -2*c + 152, -2*c + 381 = 3*c - b*t. Is c composite?
True
Let y(v) = 38*v - 3. Is y(1) composite?
True
Let x(q) = -2*q**3 - 11*q - 4. Is x(-9) prime?
True
Let b = 1439 + -552. Is b composite?
False
Suppose s - 3 = -0. Suppose -65 = -m - 3*a + 104, -479 = -s*m - 2*a. Is m a composite number?
False
Suppose 238 = a - 211. Is a a prime number?
True
Let o = 1 + 1. Suppose o*z - 27 = 91. Is z a composite number?
False
Let p be 1/1 - (-2 - 1). Let j(v) = -v**3 + 3*v**2 + 6*v - 4. Let z be j(p). Suppose 6 = z*k - 30. Is k composite?
True
Let y = 11 - 8. Suppose y*f - z - 205 = -0*z, 3*z - 256 = -4*f. Is f a composite number?
False
Suppose t = 4 + 9. Let y = t - 8. Suppose -5 = -f, y*f = o + 3 + 7. Is o a prime number?
False
Is 3 + 0 + -3 + 4705 a prime number?
False
Suppose 0 = -4*t + t. Suppose t + 3 = f. Suppose 2*m + 225 = 5*g - 3*m, -f*g + 145 = 2*m. Is g a prime number?
True
Let t(r) = 3*r**3 + 4*r**2 - 4*r + 2. Is t(2) a composite number?
True
Let a = -23 - -46. Is a composite?
False
Suppose -168 = -f - x + 309, 2*f - 960 = x. Is f a prime number?
True
Let r(k) = k + 3. Let x be r(-6). Let c(f) = 4*f**2 - 4*f - 2. Is c(x) prime?
False
Let o(r) = -r - 8. Let q be o(-8). Suppose q = -4*t + 5*t - 46. Suppose -4*v = -g + t, 2*g - 86 = -v + 42. Is g a composite number?
True
Suppose 23*i - 22*i + 4 = 0. Let s(v) = -v**3 - 4*v**2 + 4*v. Let a be s(-3). Is a/i*16/4 prime?
False
Let h be (0 - -1)/((-2)/(-10)). Suppose h*x - 68 = 27. Is x a composite number?
False
Let t(o) = o**3 - 4*o**2 - 2*o + 10. Is t(7) prime?
False
Let r = -28 - -20. Let j(m) = m**2 + 7*m - 10. Let f be j(r). Is (-3)/6*23*f a composite number?
False
Suppose 6*r = y + 4*r + 4, -y = r - 5. Suppose -4 - 2 = -y*d. Suppose 78 = d*g - 153. Is g a prime number?
False
Suppose -b + 5*b = 0. Is (-1)/((4 - b)/(-860)) a composite number?
True
Let s(m) = 26*m + 1. Is s(6) prime?
True
Suppose -v - 3*i = -2*v + 200, -3*v = 3*i - 624. Suppose 12 = -d - 4*f + 73, -v = -4*d + 3*f. Is d prime?
True
Suppose -3*m - m - 1679 = -3*r, 1134 = 2*r + m. Is r composite?
True
Suppose 6 = -3*a, -2*h + 3*a + 2354 = 2*h. Is h a composite number?
False
Suppose -3*g + g = -538. Is g a prime number?
True
Suppose 4*x = -20, 0*t - 5*t + 45 = -5*x. Let q be (3 + (-22)/6)*-3. Suppose -t*y + 477 = -g, -2*y + 0*g = q*g - 236. Is y a prime number?
False
Let b = -361 + 654. Is b a composite number?
False
Let i = -426 - -1165. Is i prime?
True
Let o(u) = -u**3 + 5*u**2 - 5*u + 4. Let z be o(4). Let y be (2 - (-3)/(-2))*2. Is (-2 - -55)/(y - z) prime?
True
Suppose x + o = 5, -4*o + 0*o + 4 = -4*x. Let m(v) = 5*v**3 - 3*v + 1. Is m(x) prime?
False
Let i(q) = -q**3 + 9*q**2 - q + 6. Let x be ((-1)/(-2) + 3)*2. Is i(x) a composite number?
False
Suppose 0 = -3*c, 0*w + 4*w + 4*c = 2516. Is w prime?
False
Suppose h = 6*h - 25. Let g be 530/7 + 6/21. Suppose h*s = s + g. Is s a prime number?
True
Let d = 454 + -313. Is d a prime number?
False
Let l(w) = -20*w**3 - 3*w + 3. Let g(f) = f**3 - 3*f**2 - 2*f + 2. Let n be g(3). Let r be l(n). Suppose 0 = -2*i - 3*i + r. Is i a prime number?
False
Let i = 4030 - 2114. Is (2/4)/(2/i) composite?
False
Let q be (3/(-9))/((-2)/18). Suppose -3 = -q*f + 15. Suppose -2*n - 3*a + 125 = -f*a, -4*a - 244 = -4*n. Is n a composite number?
True
Is (324 + 10)*(-2)/(-4) a prime number?
True
Suppose -4*p = -3 - 13. Suppose -1 = -5*q + p*x + 3, -q - 1 = x. Suppose n = -q*n + 11. Is n composite?
False
Suppose 0 = -11*u + 7229 - 1938. Is u prime?
False
Let s(h) = -9*h + 1. Suppose 4 - 16 = 3*o. Is s(o) prime?
True
Suppose 2*a = -a + 15. Suppose 2*o - 942 = -3*m - m, -1170 = -5*m + a*o. Is m composite?
True
Let p = -154 - -293. Is p a composite number?
False
Suppose -17 - 25 = -2*m. Suppose 0 = -5*b + 2*c + 70 + m, -3*b = -3*c - 51. Is b a prime number?
True
Let h(k) = 2*k - 2. Let w be h(3). Let z = -4 + w. Suppose 93 = 3*a - z*a. Is a a composite number?
False
Suppose 3*u = -4*f - 22, f - 11 = 2*f - 2*u. Is (-9 - f) + (61 - 0) a prime number?
True
Let b(a) = -a**3 + 7*a**2 - 8*a + 13. Let w(r) = 2*r**3 - 7*r**2 + 8*r - 14. Let q(d) = -3*b(d) - 2*w(d). Is q(-9) a prime number?
True
Let m = -1 - -3. Let n = m - 2. Suppose n = t - 3*t + 170. Is t prime?
False
Suppose 4*c = 2*q + 26, 32 = c - 4*q + 8. Suppose 1271 = c*f - 405. Is f a composite number?
False
Is 482 - 1 - (-3)/3 composite?
True
Let n be (-6 - (-5 + 2))*-2. Suppose -74 = -n*a + 4*a. Is a a prime number?
True
Suppose 0 = -4*v + 1302 + 486. Is v a composite number?
True
Let q(y) = 3*y**3 - y**2 - 18*y - 1. Is q(8) a composite number?
False
Let p be 2/(-4) - 389/(-2). Suppose -3*i = -i - p. Is i composite?
False
Suppose 5*z = -a + 5, 0*z - 5*z - 5 = 0. Suppose -62 = -4*n - a. Is n a prime number?
True
Let l(s) = -330*s**3 + 2*s + 1. Let p be l(-1). Suppose -3*j - 2*y + 129 = -214, -3*j + 5*y + p = 0. Is j composite?
False
Let g be (-606)/(-5) - 3/15. Suppose 4*n - 3*x - 40 = 3*n, -4*n + g = x. Is n prime?
True
Is 109*-3*-1 - -4 composite?
False
Suppose -3*h - 24 = 42. Let v = h + 61. Is v prime?
False
Suppose m + 5*x = 3*m + 5, -5*x + 10 = -m. Suppose -4*j = -m - 11. Suppose -j*d - 98 = -6*d. Is d a composite number?
True
Suppose 129 = -4*y + 341. Is y composite?
False
Suppose -3*b = 0, 0 = -3*x + x - b + 12. Let m = 1 + x. Is m a composite number?
False
Let t(j) = j. Let r be t(5). Let z(k) = 2*k - 4*k + 2*k + r + k**2 - 3*k. Is z(7) composite?
True
Is (-7371)/(-28) - 3/12 composite?
False
Suppose 0 = 2*y + 8, -l - 1547 = -2*l - 3*y. Is l a prime number?
True
Suppose -4*p = 3*y - 1691, -7*y = -2*y - 2*p - 2827. Is y prime?
False
Let l = 1991 + -302. Suppose 3*i = -5*x + 1167 + 522, x + l = 3*i. Is i prime?
True
Let d be -2 - (-1)/((-1)/(-4)). Suppose 2 - 16 = -d*v. Is v prime?
True
Suppose -2*w + 7 = 19. Is (-38)/((w/(-21))/(-1)) composite?
True
Suppose -19*p + 6*p = -42263. Is p composite?
False
Suppose 0 + 4 = 4*a. Let s(t) = 6*t**3 - 2*t**2 + 2*t - 1. Let v be s(a). Is v*2/(30/573) a composite number?
False
Let v = 443 - -180. Is v composite?
True
Let k(i) = -i**2 + 5*i - 1. Let o be k(2). Suppose -2*n = -2*z + 72, 3*n - o*z + 69 + 29 = 0. Let s 