 prime number?
True
Suppose -5*h = 116 - 431. Let j = -51 - -19. Let l = h + j. Is l prime?
True
Let i be ((-3)/(-2))/(27/18). Is (i/2)/(1/382) a prime number?
True
Let m = -2 + 3. Suppose 2*l + 4 = 4*s, -3*l - s + m + 7 = 0. Suppose 0 - 12 = -l*u. Is u prime?
False
Let f(x) = x**3 - 11*x**2 + 11*x - 5. Let t be f(10). Suppose 0*g - 3*g = 5*d - 226, 381 = t*g + 4*d. Is g composite?
True
Let d(x) = -x**3 - 8*x**2 - 6*x - 4. Let l be d(-9). Let o = 322 - l. Is o a prime number?
True
Let g be ((-4)/(-8))/(1/6). Suppose 889 = 4*v - 5*b, -2*v + 374 = -g*b - 71. Is v a prime number?
False
Let o = -30 - -193. Is o composite?
False
Let j be (-14)/4 + 1/2. Let s(r) = r**2 + 2*r + 1. Let u be s(j). Let n(f) = 8*f + 3. Is n(u) a prime number?
False
Let n(b) = -b - 7. Let a be n(-7). Suppose -3*x + 921 = -a*x. Is x composite?
False
Suppose 0 = 2*w + 2*c + 3*c - 5148, 5*c - 10 = 0. Is w prime?
False
Suppose 5*f - 10419 = -0*t - 4*t, 0 = -4*f - 20. Is t prime?
False
Let p(l) = 0*l + 4*l + 2*l + 5*l + 4. Is p(3) composite?
False
Suppose -5*r + 142 = 3*d, -3*r = -3*d - 13 - 53. Suppose 22 = -4*x - r. Is (-1)/4 + (-3807)/x a composite number?
False
Let u = -13 + 38. Is u prime?
False
Suppose -2*r - 18 = r. Is 21 + -4 - r/(-2) a prime number?
False
Suppose 2*u + 2*u - 884 = 0. Is u prime?
False
Let v = -103 + 264. Let u be v/(-4) - (-1)/4. Let f = 75 + u. Is f a composite number?
True
Let l(w) = w**3 + 17*w**2 + 20*w + 17. Let p be l(-13). Let j = p - -46. Is j a prime number?
True
Let l = 1891 - -208. Is l a prime number?
True
Let f(m) = -m**2 + 8*m + 9. Let y be f(8). Suppose -r - y = -56. Is r a composite number?
False
Let z(s) = 2*s**2 - s - 14. Is z(-11) a composite number?
False
Suppose x + 1 = -8. Is 178*(x/(-6) + -1) a prime number?
True
Let m be (-496)/(-6) - (-4)/(-6). Suppose 2*k - 252 - m = 0. Is k a prime number?
True
Let n = 7 - 1. Let d(b) = 3*b**2 - b - 4*b**3 - 2*b + 3*b**3 + 1 + 4*b**2. Is d(n) composite?
False
Suppose -2*b - 2*b = 5*h + 2009, 3*h - 9 = 0. Is (-2)/(-4) - b/4 a prime number?
True
Let n(s) = s**2 - 9*s + 20. Let z be n(6). Suppose z*u = c + 613, 2*u + 57 = -3*c + 674. Is u a prime number?
True
Suppose -4*n = -2*n - 6. Let d be (-9)/(-6)*(-20)/n. Is 4/10 - 786/d a prime number?
True
Let i = 7 - 8. Let t = i - -3. Suppose 110 = t*w - 0*w. Is w prime?
False
Let q be 1/(-3) - (-104)/24. Suppose q*x + 2*s - 141 = 3*s, -4*x + 136 = 4*s. Is x composite?
True
Let g(z) = z**3 + 8*z**2 + 5*z. Let m = -19 + 58. Suppose 5*i + 4*k + m = 0, -k + 9 = 2*i + 24. Is g(i) composite?
True
Suppose -v + 11 = -10. Let b be 2/3*(-255)/(-2). Let a = v + b. Is a a composite number?
True
Let i = 51 - 25. Is i a composite number?
True
Let m(x) = -6*x + 1. Let d be (-4)/6*(-6)/(-4). Let r be m(d). Let z(g) = 6*g - 7. Is z(r) a prime number?
False
Let q = -443 + 930. Is q a composite number?
False
Suppose -4*r = -3 - 17. Suppose u + 5 = t, 0 = -r*u - 0*t + 4*t - 28. Let d(l) = 2*l**2 - l + 9. Is d(u) prime?
False
Suppose -1 = 3*y - 2*w + 3, -5*y + 5*w = 0. Is y/(-6) + 152/6 prime?
False
Let u(r) = -r + 5. Let x be u(6). Let q(f) = -69*f. Is q(x) a prime number?
False
Let w be 0 - 1 - 1006/2. Let i = 173 - w. Is i a composite number?
False
Let c be 0 - -11 - (1 - 4). Let v = c - -1. Is v prime?
False
Suppose 0 = 3*k - 4*a - 1421, -a = 4*k - 3*a - 1878. Is k prime?
True
Suppose -3*i + i + j = 0, 0 = -j. Suppose i*p = -p + 295. Is p prime?
False
Suppose 5*n + 267 = -5*o + 917, 5*o + n = 634. Let r = o - 73. Is r prime?
True
Let s = -3 - -10. Let u(y) = -y**2 + 8*y - 3. Let x be u(s). Suppose 29 = x*c + 4*m - 15, -4*m + 51 = 5*c. Is c a prime number?
True
Suppose -14*t + 17976 = -6*t. Suppose 3*z = -5*j + 3749, -5*j + 2*j + t = 3*z. Is j composite?
False
Let x be (419/(-4))/(6/(-24)). Let f = x - 196. Is f prime?
True
Suppose -9*l = -6*l - 855. Suppose -3*j - 12 = 5*d + 943, 990 = -5*d + 4*j. Let w = l + d. Is w composite?
True
Let z(f) = -f**3 - 5*f**2 + 7*f + 6. Let y(x) = -x**3 - 9*x**2 - x - 13. Let g be y(-9). Let c be z(g). Let l = 45 - c. Is l a composite number?
False
Let d(y) = y**2 - 5*y - 5. Let g be d(6). Is 13 + 4 + (3 - g) a composite number?
False
Let s(h) be the second derivative of 7*h**6/360 + h**5/40 - h**4/6 + 2*h. Let l(n) be the third derivative of s(n). Is l(4) composite?
False
Let k(v) = 148*v - 27. Is k(14) a composite number?
True
Suppose -s = -3*o + 1837, -5*o = 4*s - s - 3071. Is o prime?
True
Let z(x) = x**3 - 4*x**2 + 5*x - 4. Let l be (-2)/8 - 13/(-4). Let d be z(l). Suppose d*r - 131 = r. Is r composite?
False
Let g(s) = -21*s - 10. Suppose -c = 3*c + 20. Is g(c) composite?
True
Let b(f) = -f**3 + 21*f**2 - 19*f + 4. Let m be b(20). Let z be 3 + (-1)/((-1)/(-1)). Suppose u - z = m. Is u prime?
False
Let f(x) = x - 6. Let j be f(10). Let o = -2 + j. Suppose 6*r = -5*c + o*r + 203, -r + 169 = 4*c. Is c a prime number?
True
Let l(u) = -u**3 - 2*u**2 + 1061. Is l(0) a composite number?
False
Let x = -1195 + 2226. Is x a prime number?
True
Let q = 21 + -9. Is (4 - q/3) + 83 prime?
True
Is 2/(-8)*4244*-1 a composite number?
False
Is ((-3)/2)/((-3)/114) prime?
False
Suppose 0 = -4*c + 7*c + 4*s - 23, -4*c + 72 = -5*s. Let w(u) = c*u - 2 + 2. Is w(5) a prime number?
False
Let f = -190 + 321. Suppose f = 5*v - 114. Is v a composite number?
True
Suppose -5*q + 73 = 3*w, -q + 31 = w + 4*q. Let v = 52 - w. Is v a prime number?
True
Suppose 2*k - k - 1 = 0. Let i(d) = 2*d. Let b be i(k). Is (b + 0)/(2/85) composite?
True
Suppose -14 = 3*y - 5*h, -y - 4 = -2*h + 2. Suppose -j - 3*l = -y*j, 0 = 5*l - 5. Suppose -2*u = j*u - 565. Is u composite?
False
Let c = -633 + 1042. Is c composite?
False
Suppose -2*c + 18 = -4*c. Let d = -6 - c. Suppose 2*g = -0*n + 5*n - 191, 5*g - 96 = -d*n. Is n composite?
False
Suppose 3*y + 4*o = 319 + 30, -600 = -5*y - 3*o. Suppose -5*n + y = -212. Is n composite?
False
Let g = -23 - -48. Let z = 12 + g. Is z composite?
False
Suppose 2*z - 22 = -4*i, -2*i - 4*z = -4*i - 14. Suppose -3*d - i*b = 3 - 69, d + 3*b - 22 = 0. Is d a composite number?
True
Let w(m) = m. Suppose 2*t - 2*k = -t + 9, 0 = -2*t + 3*k + 11. Let b(o) = o**2 + 3*o - 1. Let h(i) = t*b(i) - w(i). Is h(2) a prime number?
True
Suppose 6*j = j + t - 2, -3*j + 4*t = 8. Suppose 0 = -j*b - 3*b - 12, -2*g + 84 = -3*b. Let y = -17 + g. Is y composite?
False
Let a = 275 - -1788. Is a composite?
False
Let u = -8 - -13. Suppose u*t - 612 = 503. Is t a prime number?
True
Suppose -2*s + 4 = -0*s. Let f = 51 + s. Is f a composite number?
False
Let t(n) = -n**3 - 4*n**2 + 4*n. Let l be t(-5). Suppose -5*q + l*g = 63 - 2498, 2*q - 976 = 3*g. Is q prime?
False
Let z(p) = 148*p + 5. Is z(7) a composite number?
True
Let j be 4/((-32)/100)*-62. Suppose -5*g = -10*g + j. Is g a prime number?
False
Is (1 + -17*22)*-1 a prime number?
True
Let f(o) = 276*o - 17. Is f(4) a composite number?
False
Suppose -3*i + 2*r = -0*r - 520, 5*r - 701 = -4*i. Suppose f + 142 = -i. Let d = -225 - f. Is d a composite number?
True
Suppose -4*d + 16 = -0*d. Let c(h) = 5*h + 29 + 8 - d*h. Is c(0) a prime number?
True
Let c = 15 - 11. Suppose c = h + 1. Suppose -2*j - 87 = -h*a + 2*a, -5*a + 447 = -4*j. Is a a prime number?
False
Let j = -10 + 14. Suppose 4*x = -5*z + 190, 8*x - 202 = j*x + z. Is (x - 0) + (-2)/2 composite?
True
Let o(y) = -38*y - 3. Let f = 3 - 7. Is o(f) a prime number?
True
Let q(v) = v**3 - 6*v**2 - 9*v + 8. Let w be q(7). Let y be 40/3*w/(-4). Suppose -p = p - y. Is p composite?
True
Is (-5 - 23288/(-6)) + 6/9 composite?
False
Suppose 2*w - 6 = -2. Suppose -w*f + 104 + 30 = 0. Is f a composite number?
False
Let t(v) = 26*v + 1. Let z be t(-3). Let m = z + 171. Is m a prime number?
False
Let d = 111 + -49. Is d a prime number?
False
Let p(r) be the third derivative of -r**5/60 - 11*r**4/24 + 3*r**3/2 + r**2. Is p(-10) prime?
True
Let p be ((-22)/8 - -1)*-4. Suppose -2*f + f = -3*j + 11, -3*j + p = -5*f. Suppose -7 = -j*k + 3*k. Is k a prime number?
True
Suppose -l = p - 9, 4*p - 3*l = l - 4. Let m(c) = 394*c**2 - c. Let q be m(1). Suppose -p*s = -3*x - 385, -5*x + 0*x + q = 4*s. Is s composite?
False
Let o(s) = -13*s. Let m be o(3). Is (-6596)/(-52) - 6/m composite?
False
Let h be 3*678 + (-3)/(-1). Is 1/(-5) + h/35 a prime number?
False
Let t(g) = 7*g**3 + 2*g**2 + 3*