x = -u*n + 78. Is n a composite number?
True
Suppose -2*c - c + a = -5306, 5*a = 5*c - 8850. Suppose 2*k - 3*m - 3557 = -2*k, c = 2*k + 2*m. Is k a prime number?
True
Let i be (0 - 5)*(2 - 4). Let m = -6 + i. Suppose g - 4*y = 26, -6*y + m*y = 5*g - 130. Is g composite?
True
Let z(k) be the second derivative of 5*k**4/2 + k**3/3 + 11*k. Let l be z(-4). Let u = -239 + l. Is u a prime number?
True
Let o(q) = -5*q**2 - 5*q + 23. Let z(l) = 10*l**2 + 9*l - 45. Let u(h) = 7*o(h) + 4*z(h). Is u(-8) a prime number?
True
Let a(g) = 20*g**3 - 3*g - 1 - 2*g**2 - 1 + 6*g. Suppose 3 = 5*h + 3*s - 14, 4*h + 2*s - 12 = 0. Is a(h) prime?
True
Suppose -k + 10 = k, -11 = -4*v + k. Is 7036/v - (-1 - -1) composite?
False
Let r = -35357 + 138058. Is r prime?
True
Suppose 0 = 26*r - 8*r - 261558. Is r prime?
False
Let b(v) be the second derivative of -v**5/20 - 5*v**4/12 - 5*v**2/2 - 11*v. Is b(-15) a prime number?
False
Let f(r) be the first derivative of -2 - 2*r**2 + r + 1/3*r**3. Is f(-5) a composite number?
True
Let k = -803 + 1517. Suppose x = -161 + k. Is x prime?
False
Suppose -3*i + 13854 = -3*v, -2*i + 3*v = -5940 - 3293. Is i composite?
False
Let w = 784 + -535. Is w a prime number?
False
Let w = -2070 - -3171. Is w a prime number?
False
Suppose -3*i = -3, -2*n = -4*n - i + 11003. Is n composite?
False
Let f be ((-4)/5)/(2/(-5)). Suppose -3*p - 242 = -5*p - 5*u, -u = f*p - 242. Is p composite?
True
Suppose -3*u - 2*v = -16, -2*u - v - 6 = -4*u. Is 27027/36 - (-1)/u a prime number?
True
Let z = -15 - -22. Let k = z + -2. Suppose k*b - 39 = 146. Is b composite?
False
Let w(j) = -j**3 + 6*j**2 + j - 2. Let z be w(6). Let s be ((-1)/(-2))/(z/432). Suppose -2*d + 2*f = -s, -5*d + 2*f + 82 = -47. Is d composite?
True
Suppose -2*g + 125 = 3. Let u = g - 28. Is u a composite number?
True
Suppose 277*z - 271*z = 402. Let w be 3/(9/14)*3. Let f = z - w. Is f composite?
False
Is 6 + (-6)/(-12)*-2 - -11138 a prime number?
False
Suppose 0 = -f + 2. Suppose 7*w - f*w + 2320 = 5*t, -w = -5*t + 2340. Is t prime?
False
Let l(q) = -q**3 - 3*q**2 + q - 4. Let t be l(3). Let v = t + 80. Is v a prime number?
False
Let g(n) = -110*n + 1. Let p(r) = r**3 - 9*r**2 - r + 6. Suppose -5*i + 11 = 31, 0 = -4*l - 3*i + 24. Let b be p(l). Is g(b) a composite number?
False
Let o(a) = 130*a**2 + 3*a + 1. Let z(i) = -2*i - 3. Let y(j) = -5*j - 8. Let h(c) = -3*y(c) + 8*z(c). Let q(s) = 3*h(s) + o(s). Is q(1) a composite number?
False
Suppose v - 2*v = 2308. Let o = -803 - v. Is 21/28 + o/4 a prime number?
False
Suppose 11*k = 6*k. Let g be (4/6)/((-2)/(-1002)). Suppose 2*d - d = -r + g, -r - 4*d + 343 = k. Is r a prime number?
True
Let n(b) = b**2 - 7*b - 20. Let c be n(-5). Suppose -1985 = 35*u - c*u. Is u prime?
True
Suppose 0 = -2427*f + 2420*f + 198947. Is f prime?
False
Suppose -5*t - 4 + 14 = 0. Suppose 0 = -t*r - r + 7485. Suppose 13*j - r = 8*j. Is j composite?
False
Let n be (-5)/(50/4)*-20. Let t(r) = 9*r**2 - 4*r - 11. Let v be t(n). Let m = 1000 - v. Is m a prime number?
True
Let m = -9585 + 17971. Suppose 7*n = -0*n + m. Suppose 0 = 5*b - n - 457. Is b composite?
False
Let b = 631 + 4126. Is b prime?
False
Suppose 2*m + x = 456, 4*x + 684 = 3*m + 6*x. Suppose 0 = 3*y - 4*s - m - 145, 4*y = 2*s + 484. Is y prime?
False
Let p(u) = u**3 - 4*u**2 - 4*u - 1. Let d be p(5). Is (-82)/d*(-4)/(-8)*-44 a composite number?
True
Let x = 47 - 48. Is 625 + (-3 - x)/1 a composite number?
True
Let z be (-19184)/(-99) - (-4)/18. Let a = z + 93. Is a composite?
True
Let n(o) = -2*o**3 + 12*o**2 - 5*o + 39. Is n(-22) a composite number?
False
Suppose 2*a - 11 = -5*i - 0*a, 2*a + 4 = 0. Suppose 5*c + 7 = 4*h, 0 = -5*h + i*c + 2*c + 10. Suppose -5*z = -h*z - 46. Is z composite?
False
Let p(l) be the third derivative of l**4/24 + l**3/3 - l**2. Let f be p(0). Suppose 2*c - 105 = -a, -5*c - 203 + 38 = -f*a. Is a prime?
False
Let f be ((-10)/(-35))/((-1)/(-7)). Suppose -y - 131 = -f*y. Let m = -18 + y. Is m a prime number?
True
Let l(m) = 56*m**2 + 2*m + 1. Let y(k) = k**2 - 5*k + 5. Let c be y(4). Suppose 2*r - z = -c, -1 = z - 0. Is l(r) composite?
True
Let n(t) = 54*t**2 - 356*t - 9. Is n(25) a composite number?
False
Let l be 26/6 - 2/6. Let s(c) = 2*c - 6. Let w be s(l). Is -437*w*5/(-10) composite?
True
Let k = 39 - -31. Suppose -3*u = 2*u - k. Let p = 37 + u. Is p prime?
False
Let o = 1072 + -1651. Let t = 1408 + o. Is t prime?
True
Suppose -5*m + 25 = -3*c, -c + 3*m - 9 - 6 = 0. Suppose 3*b - 291 = -c*b. Is b composite?
False
Let v = -2559 - -5014. Is v composite?
True
Suppose 2*d + 46 - 6 = -2*a, -d = 4*a + 29. Let n = -17 - d. Suppose n = 2*z - 5*f - 245, z - 2*z - 3*f + 106 = 0. Is z prime?
False
Let i = 14 - 16. Let g(c) = -104*c**2 + 20*c + 9. Let y(j) = -35*j**2 + 7*j + 3. Let s(b) = -4*g(b) + 11*y(b). Is s(i) a composite number?
False
Suppose 2*f = -f - 2673. Let s = -190 - f. Is s prime?
True
Let c be (-3)/2*144/3. Is 54/c - 319/(-4) a composite number?
False
Let c = -9357 + 13684. Is c a composite number?
False
Let n = 32601 + -22738. Is n a composite number?
True
Let i(z) = -16*z - 55. Suppose p = -0*p - 27. Is i(p) prime?
False
Let j(a) = a**3 - 4*a**2 + 6*a - 23. Let m be j(4). Is (-1*8*m)/(-2) + 31 a composite number?
True
Let y be 14/21 - 19/(-3). Suppose -y*w + 6*w = 0. Suppose -p - 5*q + 129 = w, -p - 3*q + q + 141 = 0. Is p prime?
True
Let s(w) = 419*w + 3. Let k be s(-3). Suppose -4*g + 5809 + 1243 = 0. Let q = k + g. Is q prime?
True
Suppose n + 5*x - 23 = 0, 3 = -x + 2. Let h be (-313)/((n/(-16))/7). Suppose -o - 2*o = -12, -h = -4*a + 4*o. Is a a prime number?
True
Let o = -33290 + 53553. Is o a prime number?
False
Let k(g) = -105*g + 27. Let s(l) = -53*l + 14. Let f(h) = 6*k(h) - 11*s(h). Suppose p = -0*z - 2*z + 1, -3*p - 3*z - 12 = 0. Is f(p) a composite number?
False
Let m(i) = 392*i - 9. Suppose q = -0*q. Suppose q = 5*w - 20, -2*y + 0*w = 2*w - 16. Is m(y) a prime number?
True
Let s = 15 + 7. Let f = s + -3. Is f a prime number?
True
Let c(b) = -b + 8. Let o be c(6). Suppose o*m - 3*m = -97. Let g = 30 + m. Is g prime?
True
Let q be ((-2)/3)/((-6)/11331). Suppose 2*t + 3*k = 7156 - q, -4*t - 4*k = -11800. Is t a composite number?
False
Suppose -5*x + i + 18631 = 0, 0*x + 3*x = -3*i + 11193. Suppose 0 = 5*s + f + 4*f - 6205, 3*s + f = x. Is s composite?
True
Let l = -522 - -763. Suppose -l = -4*q + 91. Is q prime?
True
Let p(l) = l**2 + 15*l + 59183. Is p(0) a prime number?
True
Is (-2 - (-20)/4) + 338 composite?
True
Let v(w) = 4*w**2 + w - 12. Let i(x) = 4*x**2 + x - 11. Let z(b) = 3*i(b) - 2*v(b). Let r = -6 - 2. Is z(r) a composite number?
False
Suppose 5*y - 7 = -3*p + 2, 5*y = -5*p + 25. Suppose p = -4*j, -j + 2*j = 5*o - 22. Suppose 0*t - 305 = -o*t + 3*i, 0 = 4*t + i - 309. Is t a prime number?
False
Suppose -14 = -0*w - 2*w. Suppose 2*h = -3 - w, -3*h + 322 = -a. Let c = -174 - a. Is c composite?
False
Let g = -40 - -46. Suppose -m = g*n - 3*n, 4*m = -3*n. Is (4 - -550 - 1) + n prime?
False
Let l = 14085 + -3842. Is l prime?
True
Let o = -899 - -630. Let r = 122 - o. Is r a prime number?
False
Suppose 3*o - 19212 = 3*d, 3*o - 2*d - 24920 + 5705 = 0. Is o composite?
True
Let v be 1 - (-5 + 4)*-2. Is v/(4/(-118) - 0)*34 prime?
False
Let i = 6 - 8. Let w be (-1361)/i*(-4 - -2). Is (-2)/((-2)/w)*-1 a composite number?
False
Let x = 42 - 35. Is x prime?
True
Suppose -7 + 19 = 3*u. Let b(v) = -4*v - 4. Let y be b(-5). Suppose -4*d + 1384 = u*f, 0 = 2*f - 4*d + y - 714. Is f a composite number?
False
Let b be ((-49)/14 - -8) + 6/(-4). Suppose -12501 = -b*k + 1140. Is k a prime number?
True
Suppose -3*d + 12 = 3*u, d - 2 = 4*u + 2. Suppose -2*f + 2696 - 110 = u. Is f a composite number?
True
Suppose 5*t = 1 + 14. Suppose 0*a + 4*f = t*a + 3, -5*a + 3*f = -6. Is 8/24*a*79 a prime number?
True
Suppose -4*c - 12 = -3*l - c, -3*l + 2*c + 13 = 0. Suppose -i - l*i + 3174 = 0. Is i prime?
False
Suppose 9 = 2*t + 21. Let c(l) = 2*l**2 - 3*l + 7. Is c(t) a composite number?
False
Let c(i) = 2*i**2 - 81*i - 16. Is c(-41) composite?
True
Suppose 1665*j = 1671*j - 65838. Is j a prime number?
True
Suppose 0 = -5*p - g + 43313, -2*g + 0*g = 3*p - 25985. Is p a prime number?
True
Suppose 379 - 3222 = -p. Is p composite?
False
Let v(s) = -2259*s + 437. Is v(-14) prime?
True