(-221)/(-3))/((-2)/a) a composite number?
True
Let u(c) be the first derivative of -c**3/3 + 7*c**2/2 + 2. Let i be u(7). Suppose 2*a + a - 39 = i. Is a composite?
False
Suppose u + x - 18 = 0, -x = -u + x + 15. Let i be 0 + 0 + 2 + 29. Let g = i - u. Is g prime?
False
Is (27/6 + -4)*1814 a prime number?
True
Let d = -2 + 4. Is (8 + -50)*d/(-6) composite?
True
Suppose -n + 60 = 4*h, -70 + 8 = -3*h - 5*n. Suppose 3*v = -h - 1. Is (-10)/(-4)*(-18)/v composite?
True
Is (-73096)/(-48) + (-1)/(-6) a prime number?
True
Let n = -6061 + 8988. Is n composite?
False
Let r(p) = 6132*p + 7. Is r(1) composite?
True
Let x(w) = -w - 8. Let u(q) = 2*q + 15. Let j(k) = -2*u(k) - 5*x(k). Is j(9) composite?
False
Suppose -5*s + 2*o = -23, 3*s + 3*o + 6 = s. Suppose u = -2*z + 12, 2*u + 3*u = -s*z + 25. Suppose -u*q + 49 = -q. Is q prime?
False
Is 191 - (-1)/((-3)/(-9)) composite?
True
Let b = 736 + -457. Suppose -m + 328 + b = 5*t, 4*m = -3*t + 371. Is t composite?
True
Let h = 579 - 954. Let w = -248 - h. Is w composite?
False
Suppose 0 = 3*d + 3*q - 2763, 6*d - d = 2*q + 4605. Let f = d + -502. Is f prime?
True
Let m(p) = 2*p + 2. Let b be m(-2). Let o(a) = -25*a - 3. Is o(b) a composite number?
False
Suppose -2*i + 99 = -275. Is i a composite number?
True
Let w = 9 - 11. Let g be (-8)/5 + 4/(-10). Is 1/w + (-323)/g prime?
False
Let g(f) = 514*f - 5. Is g(4) a composite number?
True
Let d(z) = -z**2 - 3. Let f be d(0). Is 0 + 31*(-3)/f prime?
True
Suppose -3*i - 378 = -l - 1512, -l - 755 = -2*i. Is i composite?
False
Let p(f) = -2*f + 10. Let i be p(3). Suppose 2*z = z + i*o + 55, 4*o = -2*z + 110. Is z composite?
True
Suppose -6*q = -3637 - 11225. Is q a composite number?
False
Let h(j) = 162*j**2 + 2*j - 1. Let k be h(2). Suppose k = 4*z + 2*n + 83, 4*z - 3*n = 578. Is z a composite number?
True
Let h(k) = k**2 - 11*k - 2. Let v be h(10). Is 258/2 + v/6 prime?
True
Let f = 337 + -150. Is f a prime number?
False
Let i = -154 + 533. Is i prime?
True
Suppose f - 9 = -2*f. Suppose -f*h - 3*i + 73 = i, 3*i = 3. Let s = 12 + h. Is s prime?
False
Let s(p) = p**2 - 4*p - 2. Suppose m - 5 = 4*t, t = 5*m - t + 11. Let o = 3 - m. Is s(o) a composite number?
True
Let y(m) = -9*m**3 - 3*m - 2. Let a be y(3). Let b = a + 371. Suppose 3*q = b - 6. Is q a composite number?
False
Suppose -2*o - 6 = -16. Suppose 8 = -2*j, o*j + 22 - 68 = -2*b. Is b a prime number?
False
Suppose -r + 50 = -161. Let d = r - 120. Is d composite?
True
Let d = 11 - 15. Let r(k) = -2*k**3 - 7*k**2 - 4*k + 5. Is r(d) composite?
False
Let l be (3/(-2))/((-9)/30). Let x = -3 + l. Is 4*1 - (x - 2) a prime number?
False
Let m be (-1)/(2 + -4)*70. Suppose -4*q = -m - 45. Let r = q + -10. Is r composite?
True
Suppose k = 4*f + 213, -4*f - 228 = 2*k + 2*k. Let o be 3/(1 - f/(-57)). Suppose 0*i = -3*i + o. Is i prime?
True
Let r(s) = 12*s - 4. Let i be r(5). Suppose 0 = 4*t + 5*b - 174, 0*t + i = t - 5*b. Is t composite?
True
Let r(f) = f**3 - 16*f**2 + 18*f + 8. Let q(x) = -3*x - 12. Let c be q(-9). Is r(c) prime?
True
Let y(i) = i**3 + i + 225. Let q be y(0). Let m = q + -148. Is m composite?
True
Suppose 6*b - b - 20 = 0. Suppose -2*i + 54 = -b*h, 0 = -3*i - 4*h + h + 45. Is i a prime number?
True
Suppose 7464 = 10*u - 5726. Is u a composite number?
False
Let p(n) = -n - 3*n - 7 + 2*n - 2*n. Is p(-5) prime?
True
Let s(o) = 27*o**2 + o + 4. Let y be s(-5). Suppose c - 261 = 3*g - 80, 2*g = 4*c - y. Is c prime?
False
Let s be (-1 + -1)*-1 - -614. Let c = -425 + s. Is c composite?
False
Let q = -11 + 15. Suppose 0*g - q*g = 660. Is 1/(492/g - -3) composite?
True
Let b(a) = -7*a - 5 + 5*a + 31*a**2 - 8*a**2. Is b(4) composite?
True
Let u(m) = m**2 - 10*m - 1. Is u(-7) composite?
True
Let l(j) = -j**3 - 2*j**2 - 4*j + 5. Is l(-4) composite?
False
Suppose 5 - 28 = -a. Is a composite?
False
Suppose -4*s + 2*x - 6*x - 40 = 0, -4*x = 3*s + 34. Let f = 31 + s. Is f a composite number?
True
Suppose -5*r = -2*r + 3. Let m(a) = 33*a**2 + 2*a + 1. Let h be m(r). Let i = h + -19. Is i a composite number?
False
Suppose 0 = -4*j + 9 + 7, 5*j = 4*s - 5424. Is s a prime number?
True
Suppose 2*q + 2*q = -5*b - 97, -b - 23 = 2*q. Let y = 82 + b. Is y prime?
False
Let r(q) be the second derivative of 7/12*q**4 + q - 1/2*q**3 + 0 + 2*q**2 - 1/20*q**5. Is r(3) prime?
True
Suppose -g + 340 + 73 = 0. Is g composite?
True
Suppose -s - 1 = -4. Suppose 3*d - s*q + q = 103, 2*d - 57 = -q. Is d a composite number?
False
Suppose 3*b - 1473 = 3*h, -6*b + b + 2419 = 4*h. Is b prime?
True
Let j = 291 + -729. Let z = -311 - j. Is z a prime number?
True
Let m = -11 - -5. Let z be (-2)/(-1*m/(-9)). Suppose -z*j = -5*j + 28. Is j composite?
True
Is (-56)/2*(-1 + (-210)/8) a prime number?
False
Let q(m) = m**3 + 5*m**2 + m + 6. Let v be q(-5). Is 191/(2 + v - 2) a prime number?
True
Let f be 24/14*518/(-4). Is (-2 - -1)/(3/f) a prime number?
False
Let y(z) = 2*z**2 - 5*z + 23. Let a be y(12). Suppose -a - 140 = -k. Is k a composite number?
True
Let w(k) = k**3 - 14*k**2 + 22*k + 18. Is w(17) prime?
True
Suppose -5*a + 42 = 2*x, 2*x - 55 = 4*a + 23. Let n = x + -12. Is n composite?
False
Let u = -398 + 652. Is u a composite number?
True
Let o = -97 + 137. Suppose -2*n + 0*b = -5*b - 64, -b + o = 2*n. Is n prime?
False
Suppose -z = z - n - 4, -5*n - 20 = 2*z. Let w(v) = v + 4. Let i be w(z). Suppose 655 = 9*y - i*y. Is y a prime number?
True
Suppose -2*n = n - 27. Let v be 4/18 + 43/n. Suppose r + 18 = 4*r + v*t, 3*t + 18 = 3*r. Is r a composite number?
True
Suppose 0 = -2*z + 3*c + 19, 5*z - 13 = 4*c + 17. Let a be (3 + 61/z)*6. Suppose -a = -o - 2*o. Is o a composite number?
False
Let x(c) be the first derivative of 23*c**2/2 - 7*c + 10. Is x(6) a prime number?
True
Let c be 180/14*(-14)/(-3). Let w = 9 + c. Is w a composite number?
True
Is (-11172)/(-30) - 9/(-15) a prime number?
True
Let o = 6 - 4. Suppose i - 11 = -8. Suppose i*q = -o*l + 43, q - 2*l - 1 = -0*q. Is q a composite number?
False
Let u(d) = -3*d**3 + d**2. Let r be u(-1). Let b(t) = 42*t - 5. Is b(r) composite?
False
Let i(y) = 70*y**2 - y + 2. Let w be i(-3). Suppose 0 = -0*o - 5*o + w. Is o prime?
True
Let u(s) = -4*s - 1. Let v be u(-5). Suppose 2*o - 3*o = -v. Is o a composite number?
False
Let u(l) = 3*l**2 - 3*l - 1. Let j be u(-1). Suppose -h + j*h = 1348. Is h composite?
False
Let m be (-202)/8 - 2/(-8). Let s(o) = 14*o - 12. Let w be s(5). Let v = w + m. Is v prime?
False
Let s be 1 - (52 - (1 - -1)). Let a = s - -77. Suppose 0 = -i - i + a. Is i a prime number?
False
Let x(v) = -25*v + 1. Let h(w) = w**2 - 8*w + 4. Let f be h(8). Suppose f*n = -n - 5. Is x(n) a composite number?
True
Let x(j) = -j**3 + 8*j**2 - 7*j + 6. Let t be x(7). Let k be (t/8)/((-3)/(-120)). Let l = 51 - k. Is l composite?
True
Is ((-3 - 3) + -1)*-19 composite?
True
Suppose b - 2*b = -2*h + 7, 5*h - 31 = -2*b. Let v = h - 2. Suppose v*y = 8*y - 335. Is y a composite number?
False
Suppose 0 = 5*o + 5*l, -2*l = -5*o + l + 32. Suppose o*g = 247 + 597. Is g a composite number?
False
Let a be (9/6)/((-12)/(-40)). Suppose 0 = -w + 28 + a. Is w a prime number?
False
Let z(l) = l**3 - l - 3. Let j be z(0). Is 82 + (-1)/(j/(-9)) composite?
False
Let j = 1477 - -1540. Is j a composite number?
True
Suppose a - 4*i - 361 = 0, -2*i - 560 = -3*a + 473. Suppose j - a = -3*l + 16, 0 = -j. Is l a composite number?
True
Suppose -l + u + 8 = -13, -97 = -5*l + 3*u. Suppose 4*r - 3 = l. Suppose 0 = -o + 3, o = -r*t + 342 + 46. Is t composite?
True
Suppose -2*u = 3*g - 0*g - 436, 4*g = 5*u + 589. Suppose 4*m + 5*l - g = 0, 0 = 4*m - 6*l + l - 126. Is m a prime number?
False
Let m(w) = 5*w + 4. Suppose 4*x - u = -5*u + 4, 4*u - 4 = -2*x. Suppose -4*h + 17 = 5*v, 8 = h - x*v + 5*v. Is m(h) a prime number?
True
Let m = 3 + 1. Suppose -8 = 3*q - 5*q - 2*r, -r + m = 0. Suppose 2*z - 3*z + 25 = q. Is z composite?
True
Let g = -385 + 780. Is g prime?
False
Let y = -45 + 167. Let t = -130 - -83. Let v = y - t. Is v composite?
True
Suppose 0 = -9*r + 6*r - 15. Let j(f) be the second derivative of -2*f**3 + 7*f**2/2 - 2*f. Is j(r) a composite number?
False
Let r(a) = -a - 7. Let q(u) = -u**3 - 4*u**2 + 3*u + 5. Let c be q(-4). Let n be r(c). Suppose n = m - 3*m + 5*v + 85, -5*v + 55 = 2*m. Is m a prime number?
False
Is ((