3*f + 47 = 0. Let j(l) = l**3 + 14*l**2 - l - 3. Is j(y) a composite number?
True
Let c = 2267 + -1886. Is c composite?
True
Let l = -46 - -50. Suppose -3*a - 4*x + 131 = 0, 3*a - x - 126 = -l*x. Is a a prime number?
True
Suppose -19 = -4*v - l, 4*v - 3*l = l + 4. Suppose -53 = -v*m - 9. Is (-13 + m)/(2/(-69)) prime?
False
Suppose -80*d - 2*v = -79*d - 28391, d + v = 28392. Is d a composite number?
False
Let w be (-3)/(-2) + 116/8. Suppose -5*d + w = -f, 4*d - 36 = -0*d - 5*f. Suppose 0 = d*o + 5*v - 531 - 90, 4*v + 725 = 5*o. Is o prime?
True
Let r = 306 + -148. Let w = -19 + r. Is w a composite number?
False
Let t(n) = -9 - 3*n + 2*n + 7*n - 3*n**2 + 4*n**2. Is t(-10) a composite number?
False
Suppose -4*a + 3*c = -20, 5*c + 4 = -5*a - 6. Suppose -i + 3*i - 198 = -5*n, 0 = -5*i - a*n + 453. Is i a prime number?
True
Let i be ((-2)/(-5))/(2/10). Let k be -112 - (-2)/(i - 0). Is (k/(-12))/(2/40) a composite number?
True
Let q be -13 - -10 - 8*4. Suppose -4*w + 16 = 0, -4*i - 4*w + 152 + 32 = 0. Let p = i - q. Is p composite?
True
Is 3/(-6)*(1452 + -5)*-4 composite?
True
Is (3 - 13609)/((-6)/(-1 - -4)) a composite number?
False
Let f(s) = s**3 + s**2 - s + 2077. Let g be f(0). Let r be -1337 - (3 + -2)*-3. Let v = g + r. Is v prime?
True
Suppose 4*o - 6*u - 6 = -4*u, u = 1. Is 8 - -53 - o/1 a composite number?
False
Let j be 2/((-2)/2 + 3). Suppose -j = 2*i - 5. Suppose 2*u = -i*u - 2*o + 270, -2*u + 3*o + 115 = 0. Is u a prime number?
False
Suppose -2*n - 2*o = -0*n + 2, -n - 3*o + 3 = 0. Let y(v) = 71*v**2 + 3*v + 5. Is y(n) a prime number?
False
Let w(n) = -57*n - 6. Let t be w(-4). Suppose t = -2*s - 0*u - u, 4*u = 5*s + 568. Is 6/(-15) - s/5 prime?
False
Let v = -9056 + 16125. Is v prime?
True
Let n(t) = 39*t**2 + 5*t + 49. Is n(-9) prime?
True
Let z(x) = -4 + 69*x + 4 - 4. Let g(i) = i**2 - 3*i + 3. Let b be g(3). Is z(b) a composite number?
True
Let m(d) = d + 78. Let l be m(11). Let t(h) = -h - 4. Let u be t(-6). Suppose -u*i = l - 343. Is i a prime number?
True
Suppose 0*z - 8 = -4*z. Let s be (0 - z)*(-4849)/26. Suppose -4*d + s = -7. Is d composite?
True
Suppose 101771 + 149563 = 18*j. Is j a prime number?
True
Let b = -9057 - -13406. Is b prime?
True
Is 306782/6 + (-520)/39 + 14 prime?
True
Is (-4)/(-74) + (-4986470)/(-370) a prime number?
True
Suppose 5*d - 27250 = -0*d - 5*m, -2*m = 5*d - 27241. Is d composite?
True
Is ((-8182)/3)/(3 - 66/18) a prime number?
True
Suppose 5*y - 43 + 3 = -4*d, 4*d - 4 = 4*y. Suppose -6*g + 3 = -d*g. Suppose 0*u + g*o - 237 = -u, 2*o - 1237 = -5*u. Is u composite?
True
Suppose -5*k = k - 24294. Is k a composite number?
False
Let u be ((-336)/64)/(3/(-8)) + -2. Suppose 3475 = u*m - 17. Is m a composite number?
True
Suppose 5*h - 44231 = -4*d, 0 = -4*h - 5*d - 2451 + 37843. Is h prime?
False
Let t = -1638 + 4637. Is t a composite number?
False
Suppose 0 = 5*j - 4*j - 951. Suppose -o + j = z + 4*z, -2*o = -3*z + 568. Suppose -4*u + 270 = -z. Is u a prime number?
False
Is (-88428)/(-6)*(-2)/(-4) prime?
True
Suppose -4*x = -5*u + 350403, u + 1628 - 71699 = -4*x. Is u a prime number?
True
Let w(l) = -650*l + 6. Let y be w(-2). Is 4/24 + y/12 a prime number?
True
Suppose 4*l = 20 + 28. Suppose -l*t = -21*t + 27333. Is t a composite number?
False
Let k be (5/(-15))/((-3)/(-9)). Let z be (k/(-3))/((-4)/(-12)). Is -1*z/((-4)/232) prime?
False
Let u be (24/(-30))/(4/(-10)). Let v(n) = 0*n + 3 - 15 - 2*n**u - 5*n**3 + 6*n + 6*n**3. Is v(5) composite?
True
Is 6/21 + (-3375)/(-21) prime?
False
Let w = -1920 - -3681. Is w composite?
True
Let b be (1/2)/((-2)/(-12)). Suppose -b*q = q - 1268. Is q a prime number?
True
Suppose d = 3*i - 2*i + 22, -4*i - 3*d - 88 = 0. Is i*(0 - (-82)/(-4)) composite?
True
Let s(k) = -k**3 + 12*k**2 + 6*k - 12. Let d be s(12). Let r be (1/(-2))/((-10)/d). Suppose -t + 404 = 3*j, -2*t + 2050 = r*t + 5*j. Is t composite?
True
Let i = -3 + 5. Suppose -3*k = 2*t - 21, k + 5*t - i = 5. Suppose -9*d + 506 = -k*d. Is d composite?
True
Let f = -20 - -24. Is ((-6)/f)/((-3)/314) a composite number?
False
Suppose 4*m = n + 37 + 15, -m + 24 = -3*n. Let r(h) = -h**3 + 21*h**2 - 11*h - 13. Is r(m) composite?
False
Let k(d) = 5823*d + 137. Is k(16) prime?
False
Suppose 0 = -5*b + 30 - 15. Suppose -b*v + 601 = -188. Is v composite?
False
Suppose -4*v + 4888 = 4*b, 4*b - 7*b - 4*v + 3671 = 0. Is b a composite number?
False
Let p(o) = o**2 - 17*o + 12. Let m be p(19). Suppose 8*n - m = -130. Let i = n + 489. Is i a prime number?
True
Let u(r) be the first derivative of -13*r**2/2 + r - 14. Suppose 4 = 3*a + a + 2*w, -5*a + 4*w = 21. Is u(a) prime?
False
Let z = -21540 + 33457. Is z a prime number?
False
Suppose 0 = -5*p + 3*u + 18367, -2*u + 18343 = 5*p + u. Suppose 0 = 6*w - 10327 - p. Is w a composite number?
False
Let p(f) be the third derivative of -53*f**4/24 - f**3/3 - 15*f**2. Is p(-1) a prime number?
False
Let a be 12208/(-40) + 2/10. Let q = a - -210. Let x = 240 + q. Is x a composite number?
True
Suppose 0*y + 175 = -5*y. Is (-5520)/y - (-4)/14 a prime number?
False
Let s(u) = 2*u + 18. Let j be s(-10). Is (-477)/j - (4 - (-45)/(-10)) composite?
False
Suppose q = 2*i + 13, 0 = 3*q - 16*i + 11*i - 35. Suppose 964 = q*l - 931. Is l a prime number?
True
Let u = 8255 + -3324. Is u composite?
False
Suppose -2*o + 56262 - 15733 = -u, -2*o = -4*u - 40520. Is o composite?
True
Let w = 25201 + -12704. Is w composite?
False
Let p be (-27)/36 + 22/8. Suppose x + p*x - 2229 = 0. Is x a composite number?
False
Suppose -4*v + 2*p = -8682, -3*p = -v - 1103 + 3271. Let d = v + -1492. Is d a composite number?
True
Suppose 743 = 4*c - 293. Let a(l) = 2*l**2 - 3*l + 4. Let u be a(1). Suppose 0 = u*n - 350 - c. Is n a composite number?
True
Let q(w) be the first derivative of 33*w**2/2 - 6*w + 37. Is q(9) a prime number?
False
Let j be 6/((18/(-4))/(-3)). Let c = 143 + -134. Suppose c*z - 2785 = j*z. Is z a composite number?
False
Suppose 6 + 12 = -2*b. Let r(v) = v**2 + 9*v + 12. Let k be r(b). Is (1 - 1) + 7 + k a composite number?
False
Suppose 2*z - 500 = -3*z. Let p be 20 + -21 - (0 + -5). Suppose p*l - z = -0*l. Is l prime?
False
Let w be 25 - (21/14)/((-3)/4). Is (-6)/w - 1451/(-9) a composite number?
True
Suppose -c + 17 = 8. Suppose -74 = 7*k - c*k. Is k prime?
True
Let p be -3 + (-111)/(-3) - -3. Let t = 64 - p. Is (-1 - -35)*t/18 a prime number?
False
Let n(t) = 22*t**3 + 7*t**2 - 32*t + 4. Is n(7) a composite number?
False
Let z = -26553 + 46490. Is z a composite number?
False
Let l(f) = 59*f + 8*f + 23 + 12*f + 33*f. Is l(6) a prime number?
False
Is 128772/42 + (-2 - 3) a prime number?
True
Let t(d) = 0*d**2 - 7*d - 7*d**2 - 7 - 4*d**3 + 11*d**2. Is t(-4) composite?
True
Suppose 0 = 2*o - 0*o - 4*n - 11934, 20 = 5*n. Suppose 14*m = 9*m + o. Is m a composite number?
True
Let a(w) = 33*w**3 + 6*w**2 - 10*w + 6. Let h be a(3). Suppose 0 = -d - 2*b + h, d + 3*d - 3684 = -b. Is d composite?
True
Suppose 2*m = -2 + 12, 35 = 2*r - 3*m. Suppose -2*p = 3*p - r. Suppose 89 = 6*x - p*x. Is x prime?
True
Let d be (20 - -1)/(12/16). Let v be (8/d)/((-2)/(-14)). Suppose -v*h + 11 = -h. Is h a prime number?
True
Suppose 19*d + 45 + 12 = 0. Let o(i) = 289*i + 13. Let j(y) = 144*y + 7. Let x(l) = 11*j(l) - 6*o(l). Is x(d) a composite number?
False
Let n be (-1)/(-1 - 16/(-12)). Is 2 + n/(6/(-802)) composite?
True
Suppose -n - 3999 = -4*n. Suppose 435 + n = 8*h. Is h composite?
True
Let k = 16721 - 11082. Is k prime?
True
Is (-35396)/(-3)*321/428 a composite number?
False
Is 4/((-16)/36) + 5 + 875 a prime number?
False
Let b = 1682 + 807. Suppose -3*f + 4204 + b = 0. Is f a prime number?
False
Let d(b) = -7*b + 12*b**3 + b**3 + 1 + 11*b**2 + 2*b. Is d(4) a prime number?
False
Suppose s - 3714 = -1481. Let j = 46 + -45. Is (1 + s*j)/2 composite?
False
Let h(o) = o**3 - 20*o**2 - o + 2. Let k be h(8). Is -2 + -1 + -2 - k a composite number?
False
Let j be (-3*(-3)/(-3))/1. Let x(l) = -162*l + 5. Is x(j) a composite number?
False
Let t be ((-18)/(-12))/(6/16). Suppose -f - 4*f - 10 = t*y, -2*y + 10 = -5*f. Suppose 3*b - 7*b + 524 = y. Is b prime?
True
Let a = 8063 + -4908. Is a prime?
False
Let y = -1553 - -3116. Is y composite?
True
Let n(m) = m**3 - 6*m**2 + 1. Let k be n(6). Let r be (1 - k) + 500/2. Let j = r - -