prime number?
False
Suppose 0 = 5*w, w - 1663 = -4*l - 347. Suppose -4 = -2*c, 2*d - 2*c - l = -d. Is d composite?
True
Suppose 4*s - c - 1921 = -148, 2*s - 3*c = 889. Is s a prime number?
True
Is 1/(-3) - (-191734)/111 a prime number?
False
Suppose -3*t + 81 = 5*n, 0 = 5*t + n - 132 + 19. Let y = t - 12. Is y a prime number?
False
Is 2/9 + (-162420)/(-54) - -3 prime?
True
Suppose -425 = 2*u - 7*u. Is u a composite number?
True
Suppose 2*h - 5*o = 6*h - 9231, 2305 = h + 4*o. Is h a composite number?
False
Suppose -273 = -7*l + 532. Is l composite?
True
Is 178/(-4)*(-2 - 0) a composite number?
False
Let n be (-66700)/(-12) - (-2)/(-6). Is n/8 + 4/16 composite?
True
Let w(j) = j**3 + 8*j**2 + 9*j + 6. Let a(d) = d**3 + d**2 + d. Let x(m) = -2*a(m) + w(m). Suppose -n - 4*y = 1, n - 2*y = -7*y - 3. Is x(n) composite?
True
Let x(k) = 3*k**2 - 2*k - 8. Let z be x(-6). Suppose z = 4*v - 5*s, -3*s - 66 = -3*v + 21. Is v prime?
False
Let b be ((-2)/(-6))/((-2)/(-12)). Suppose -46 = -o - 0*i - b*i, 219 = 4*o + i. Let a = o + 21. Is a a composite number?
True
Suppose 4*v - 6 = 2*v, 0 = -5*a + 2*v + 9. Let s(i) be the first derivative of i**3 + i**2 + 2*i - 5. Is s(a) a prime number?
False
Let k(r) = -r**3 + r + 1. Suppose -3*o - 10 = 5. Let c(u) = -4*u**3 - 7*u**2 + 9*u + 8. Let b(n) = o*k(n) + c(n). Is b(7) a composite number?
False
Let w = 13 + -8. Suppose 4*a + f + 44 = 0, -w*a - 9 = 2*f + 49. Let i = a + 33. Is i composite?
False
Let d = 0 - -15. Is d a composite number?
True
Let f = 2213 - 1404. Is f composite?
False
Let f(a) = -a**3 + 5*a**2 - 4*a + 2. Suppose 2*z = 3*z - 3. Let x be f(z). Is 1 + -2 + x*4 a composite number?
False
Let l = 4 + 7. Let d(x) = -2*x**3 + 21*x**2 + 5*x + 15. Let t(k) = k**3 - 11*k**2 - 3*k - 8. Let q(v) = l*t(v) + 6*d(v). Is q(4) a prime number?
False
Let j(r) = 2*r**2 + 3. Let b be (-3)/(-2) - 3/6. Let k = -5 + b. Is j(k) a composite number?
True
Suppose -3*h - h + 92 = 0. Suppose h = -3*t + 5. Is (-298)/t - 4/6 a prime number?
False
Let b be (-1)/(-3) + 4/(-3). Suppose r = -y - 2*y - 7, -r + 11 = -3*y. Is r/(21/(-23) - b) a prime number?
True
Let z(s) = -s**3 + s**2 + s + 1. Let w be z(-1). Let v be 0/3 - (0 - 0). Suppose 3*b - 5*b - w*c + 152 = v, -5*b + c = -386. Is b a composite number?
True
Suppose 0 = -4*f + 2*h - 2 + 12, -25 = -f - 4*h. Suppose -r - 16 = -f*r. Is 154/10 - r/10 prime?
False
Let a = 5 - 4. Suppose -x - 22 + a = 0. Is (-279)/x + (-4)/14 a composite number?
False
Let h(f) = -f**3 - 7*f**2 - 7*f. Let r be h(-6). Let k = r + -13. Is 1278/14 - (-2)/k prime?
False
Let w(r) = 2*r**2 + r - 1. Let x(p) = -3*p**2 - 3*p + 2. Let l(v) = 5*w(v) + 3*x(v). Let n be l(3). Let d(s) = -4*s**3 - s**2 - 3*s - 1. Is d(n) prime?
False
Suppose -143 = -p + 306. Is p composite?
False
Is -2 + 23/((-5)/3 - -2) composite?
False
Suppose 0 = 2*o - 65 - 19. Suppose 0 = k - o + 5. Is k composite?
False
Suppose -2*a + 9 = a. Suppose -4*i - 35 = -a. Is i/(-4) - (-1 + -10) a composite number?
False
Suppose 5*i - 8 = 182. Let s = -15 + i. Is s a prime number?
True
Let a(q) = -q**2 + 4*q + 3. Let b be a(4). Is (-5)/2*-16 + b a prime number?
True
Let d(l) = -2*l - 1. Let g be d(-2). Is (-1)/(((-6)/g)/526) a prime number?
True
Suppose 3*j = -4*f + 671, 2*j - 5*f - 191 - 241 = 0. Is j a prime number?
False
Suppose 0 = -5*u + n + 30 + 163, -u + 3*n + 33 = 0. Suppose -5*l = 3*f - 28 - u, -2*f + l = -36. Is f a prime number?
True
Let j = 19 + -22. Is (0 + -508)*j/4 a composite number?
True
Let j = -257 - 130. Is j/(-4) + (-5)/(-20) a prime number?
True
Let x(p) be the first derivative of 46*p**3/3 + p**2/2 - 1. Is x(1) composite?
False
Suppose 0*a + 2*b - 96 = 2*a, a = 4*b - 60. Let o = a + 87. Is o a prime number?
True
Suppose 0 = -5*y + 4*s + 2031, -6*y + 1628 = -2*y - 4*s. Is y a composite number?
True
Suppose -3*s = -839 + 257. Is s a prime number?
False
Is (-19 - -18) + (0 - -592) a prime number?
False
Let s(l) = 3*l + 1663. Is s(0) composite?
False
Let m(w) = 136*w**2 - 5*w - 10. Is m(-5) a composite number?
True
Let l(t) = -125*t + 14. Is l(-3) prime?
True
Suppose 0 = 4*m - m - 6. Let s = 0 + m. Suppose -8 - 2 = -s*d, p - 4*d = 29. Is p a prime number?
False
Let h(x) = 5*x**2 + 3*x - 15. Suppose -17 + 6 = w. Is h(w) a prime number?
True
Suppose 4*l - 802 + 38 = 0. Is l composite?
False
Suppose 0 = 3*p - p. Suppose p = -0*c - 4*c. Suppose c*n - n + 2 = -3*m, 0 = 4*n + 5*m - 8. Is n a composite number?
False
Let j(i) = -i**3 - 11*i**2 + 10*i - 5. Is j(-12) a composite number?
False
Let l(v) = 9*v - 7. Let u be l(6). Suppose 0 = -2*q + u + 251. Is q a prime number?
True
Let u(c) = -c + 3. Let x be u(0). Suppose -3*n - 5*b + 3*b = -389, -n = -x*b - 148. Is n a composite number?
True
Suppose 4 = -4*z + 5*z. Suppose -4*m = -5*w + 2499, -m - 483 = -w + z*m. Is w a prime number?
True
Is (-1)/((-1)/466) + 3 a composite number?
True
Let w(f) = -f**3 + f**2 + 5. Let l be w(0). Suppose -3*t + 420 = 2*t + 5*x, l*t + x = 440. Is t a prime number?
True
Let b = -864 + 1237. Is b composite?
False
Suppose 2*s + 4*h - 222 = 56, -3*s + 4*h + 457 = 0. Suppose s = 3*t + 48. Is t composite?
True
Let v be -4 - -5 - (-4 - -1). Suppose 3*s - 3*i = -2*s + 19, v*i + 14 = s. Suppose -s*k - 21 = -5*k. Is k a prime number?
True
Let v be (-2)/6*9615/(-5). Let h = -456 + v. Let i = 408 - h. Is i a prime number?
True
Let m = -2002 + 3057. Is m prime?
False
Let z = 446 + -75. Is z a prime number?
False
Let v be (268/(-2))/1 + -2. Let i = v + 269. Is i composite?
True
Suppose -3*u = 4*p - 7613, 2*p = u - 2*p - 2559. Is u a composite number?
False
Let p(n) be the second derivative of -17*n**3/6 - 2*n**2 + 3*n. Let m be p(3). Is m/(-4) + 1/4 prime?
False
Let v = -135 - -232. Is v prime?
True
Let l(c) = -c**3 + 2*c**2 + 3*c + 2. Suppose 3*a - a + 2 = 2*y, -a + 15 = 3*y. Let u be l(a). Suppose -u*v + 693 = 23. Is v prime?
False
Suppose -4*d + 774 = 5*i - 542, -5*d + 1666 = i. Is d a composite number?
True
Suppose 0*x = -2*x + 920. Suppose 3*l - x = -l. Is l prime?
False
Suppose i + 15 = 3*k + 45, -i + 4*k = -27. Is i prime?
False
Suppose -2*i - 2053 = -5*n - 0*n, -n - 3*i + 397 = 0. Is n composite?
False
Let v be 6/(-15) - 24/(-10). Suppose 4*m = -2*z + 86, -v*m + 4*z + 14 + 4 = 0. Is m a prime number?
True
Let k(g) be the second derivative of 5/6*g**3 - 5/2*g**2 + g + 0. Is k(6) a composite number?
True
Suppose -5*g - p + 16 = 0, -g + 2*p = -4 + 3. Let n = g + -1. Is n/(-4) + 21/2 composite?
True
Let h(r) = -2*r**2 + 4. Let i be h(3). Is (-2)/16*i*76 composite?
True
Let d(u) = 86*u**2 + 5*u - 4. Is d(1) composite?
True
Suppose 0*j = j + 18. Let g be -1 - j/3 - 0. Suppose 2*a + 3*t = 15, a = g*t - 8 + 48. Is a a prime number?
False
Let z = 305 + -102. Is z a composite number?
True
Let l be (-1 + 8)*(-161)/(-7). Suppose -3*i - 4*u - 208 = 0, -i = 2*i - 3*u + 180. Let t = i + l. Is t a composite number?
False
Let n = -11 - -7. Is (n - 31/(-2))*10 a composite number?
True
Let z = -192 + 383. Is z a prime number?
True
Let b(w) = w**3 + 9*w**2 - w - 5. Let x be b(-9). Suppose -h - x*h = -185. Is h prime?
True
Let p(o) = o**2 + 6*o + 4. Let c be p(-5). Let v(t) = 83*t**2 - t - 1. Let g be v(c). Suppose d = -4, 3*w = -d + 6*d + g. Is w a prime number?
False
Let a be ((-27)/(-12))/(9/24). Suppose -a*t + 2113 = 67. Is t prime?
False
Suppose 18*b = 12*b + 1758. Is b a prime number?
True
Let i(d) = d**2 + 6*d + 5. Let q be i(-5). Suppose 2*g - 45 = -u - q*u, -51 = -2*g + 5*u. Is g prime?
True
Suppose -8*m + 5*m = -4533. Is m composite?
False
Let q(n) = 6*n - 4. Let p be q(-6). Suppose -338 = -4*o - 86. Let z = o + p. Is z a prime number?
True
Let o = 50 + -1. Is o prime?
False
Suppose 5*c + 2*p = 16, c + 10 = -0*c + 4*p. Suppose w - c*w = 0. Suppose q + 2 = w, -7*r + 14 = -2*r + 3*q. Is r a composite number?
True
Let u(m) = 94*m + 27. Is u(14) a prime number?
False
Let k(l) be the third derivative of 3*l**6/20 + l**5/30 - l**4/12 + l**3/6 - 2*l**2. Is k(1) composite?
False
Is 156/15 - 8/((-240)/18) a composite number?
False
Let z(c) be the third derivative of c**5/20 + 5*c**4/24 + c**3/2 + 3*c**2. Is z(-4) a prime number?
True
Let r(x) = -x**3 + 9*x**2 + x - 4. Let w be r(9). Suppose 19 = -w*n + 264. Is n composite?
True
Let a be (-12 - -14) + 0/2. Suppose -2*c + 29 + 3 = -3*l, 