503 prime?
True
Let u(f) = 894*f - 7. Suppose 18*b = 9*b + 9. Is u(b) prime?
True
Let q(l) = l**2 + 22*l - 20. Let b be q(-23). Suppose 0 = s + b*w - 2228, -4*s + 3807 + 5084 = 5*w. Is s prime?
False
Let a = 12079 + -3156. Is a composite?
False
Suppose 0 = 2*k - 4*k - 4*r + 10858, 4*k + r - 21723 = 0. Is k a composite number?
False
Suppose -m = -2*a + 9 + 8, 0 = -2*m + 2*a - 26. Let r(s) = s + 8. Let q be r(m). Let l(x) = -70*x - 1. Is l(q) prime?
False
Let p = 1 - -4. Suppose 5*a - 3*a + 4*t - 840 = 0, -849 = -2*a + 5*t. Suppose p*h - n = a, h + 91 = 2*h + 2*n. Is h a composite number?
True
Let y be (1 - 44*1) + -2. Let q = -34 + y. Let n = 10 - q. Is n a prime number?
True
Suppose -3*v - 72 = -2*p - v, -132 = -3*p - 5*v. Let o = p + 96. Let y = o - 92. Is y composite?
False
Let p(s) = -3*s - 14. Let x be p(-6). Suppose 7*m - x*m - 90 = 0. Let r = -23 + m. Is r prime?
True
Let x be (-3 + 28/8)*6. Suppose 2*u - x*u + 712 = k, 3*k = -5*u + 2142. Is k a composite number?
False
Let n(f) = 3*f + 4. Let h be n(-2). Let k(i) = -2173*i - 8. Let p be k(h). Suppose -5*c + p = -1637. Is c a composite number?
True
Let s = 0 + -1. Is 3 - (-448 - 2/s) composite?
False
Suppose -f = 2*f. Suppose 0 = 3*m - i - 1585, 0 = -m - i - f*i + 523. Is m a prime number?
False
Suppose -12699 = 3*m + 14*m. Let q = -638 + 1942. Let a = m + q. Is a a composite number?
False
Suppose 4*h + 2*g = 5251 - 527, -4*h + 4*g = -4724. Is h composite?
False
Suppose 3*p - 262 = 5*p. Is p/((-4)/(8/2)) a composite number?
False
Let f(q) be the first derivative of -q**4/4 - 5*q**3/3 + 7*q**2/2 + 6*q + 4. Let r be f(-6). Suppose -3*n + 2*n + 19 = r. Is n a composite number?
False
Suppose -k - 2395 = -2*k - v, 2*k - 4806 = 2*v. Is k prime?
True
Suppose -3*r + 5*r = 4. Suppose -3*i - r*i = 0. Let s = 19 + i. Is s a composite number?
False
Suppose 3*a - 3*j + 126 = 0, j + 15 - 137 = 3*a. Let t be 4/10 + 39736/a. Let f = t - -1400. Is f a prime number?
False
Suppose 3*t - 232 = 1913. Suppose -y - 4*y - t = 0. Is y/(-2) - (-7)/(-14) a prime number?
True
Is (-5 - (-2 - 5))*(-15986)/(-4) a composite number?
False
Suppose -1 = 2*y + 1. Let p(q) = 13*q**2 + 7*q + 7. Let i(k) = k**2 - k - 1. Let z(h) = 6*i(h) + p(h). Is z(y) a prime number?
True
Let z(m) = m**3 - 8*m**2 + 8*m - 9. Let l be 195/27 - (-4)/(-18). Let y be z(l). Is 52 + y - (-21)/(-7) prime?
True
Suppose -5*i + 2*h - 4444 = 0, 0 = -2*i - i + 5*h - 2674. Suppose 4*u + k + 2252 = -3*k, 0 = -3*u + 3*k - 1665. Let q = u - i. Is q composite?
True
Suppose -l + 4*k + 5 = 0, -l - 4*k + k - 2 = 0. Is (145/(-20))/(l/(-124)) composite?
True
Suppose 4*j + 5*l - 75419 + 20320 = 0, 0 = -4*j + 4*l + 55144. Is j prime?
True
Let l(s) = 2*s - 1. Let f be l(-1). Let k be 8 - (0 + f + 6). Suppose -k*g + 353 = -2*q, -2*q = 4*g - 3*q - 280. Is g a prime number?
False
Let c(d) = -559*d - 564. Is c(-55) prime?
True
Let n(h) = -5*h - 64. Let u be n(-10). Is (3353/u)/((1*-2)/4) prime?
True
Let p = -69740 + 142503. Is p a composite number?
False
Let s(m) be the first derivative of -m**2/2 - 2*m + 2. Let f be s(-6). Suppose 507 = f*o - 1489. Is o a prime number?
True
Let x(p) = 15*p**2 + 18*p + 22. Is x(19) prime?
True
Suppose -y + w = -14, 1 = -y - 5*w + 3. Suppose -y - 12 = -6*g. Is ((-614)/g)/(2/(-8)) composite?
True
Suppose 0 = 9*d - 673343 - 206812. Is d a prime number?
False
Let n(b) be the third derivative of b**5/60 + b**4/24 + 23*b**3/3 + 4*b**2. Let y be n(0). Suppose -o + 0*o + y = 0. Is o a composite number?
True
Suppose -2*r = -3*x - 2403, -x - 82 - 719 = 2*r. Let y = 1294 + x. Is y a prime number?
False
Is 1/(6897/(-3449) + 2) prime?
True
Suppose 39*n - 42*n = -15. Suppose 5*y = -5*f + 3448 + 792, y = n*f - 4210. Is f a prime number?
False
Let z = 19639 + -10270. Suppose -z = -12*r + 3*r. Is r prime?
False
Let r(z) = 1449*z + 50. Is r(23) a prime number?
True
Let b = -62 + 194. Suppose 2*p + 28 = k, 3*k - 11*p + 12*p - 77 = 0. Suppose -2*d + b = -k. Is d a prime number?
True
Let d(o) = 5*o**2 + 18*o + 17. Let x(q) = q**2 - 5*q + 8. Let h be x(6). Is d(h) prime?
True
Suppose 3*w = -3, -4*r + w + 14684 + 7473 = 0. Is r composite?
True
Suppose -w - 2*w + 2820 = 0. Suppose 3*x + a + 1989 = 0, -w = x - 3*a - 287. Is x/(6/3*-1) a prime number?
True
Suppose -20*f = -16*f - 65084. Is f composite?
True
Let b(r) = 2*r**2 + 3*r - 2. Let y be b(-2). Suppose -2302 = -y*k - 2*k. Is k prime?
True
Let i(m) = 17577*m - 7. Is i(2) prime?
False
Suppose 354899 = 20*y - 11481. Is y prime?
False
Let w(j) = 4*j**2 + j - 11. Let n(c) = c**3 - 10*c**2 - 4*c + 30. Let u be n(10). Is w(u) prime?
True
Let g(c) = 183*c**2 - 29*c + 15. Is g(-8) a prime number?
True
Let t = 15627 + -10790. Is t a prime number?
False
Let u(h) = -3*h**3 - 4*h**2 + 10*h + 7. Suppose 2*t + 5*f + 28 = 0, 5*f - 3 = 4*t - 7. Let a be (-120)/12 - 1*t. Is u(a) a composite number?
True
Suppose 0 = -3*u + 4*f + 8597, 2*u - 52*f - 5723 = -51*f. Is u composite?
True
Let y(j) be the first derivative of 27*j**2/2 - 4*j - 15. Let a = 4 - 1. Is y(a) a prime number?
False
Suppose -4*p - 4*j + 66 = -1950, p = j + 514. Is p composite?
False
Suppose 4*o - 3*j - 19221 = -o, -j + 3849 = o. Suppose -12*x - o = -13*x. Is (5/(-15))/((-2)/x) a composite number?
False
Suppose x = 5*k - 58, 3*x + x + 4 = k. Let y be 4/(-10) - 60/(-25). Is ((-3)/k)/(y/(-5944)) prime?
True
Let m = -61 + 60. Is (m - (-1028)/(-2))/(-10 - -9) a composite number?
True
Let t = 11815 - -1342. Is t a prime number?
False
Suppose 2*k = 2*f - 33332, -19*k - 16672 = -f - 20*k. Is f a prime number?
False
Is 3/12 - 6955/(-4) a composite number?
True
Suppose 0*j + 1524 = 3*j. Let i = -1307 + 1307. Suppose i = 5*u - 82 - j. Is u prime?
False
Let k(g) = 3*g**2 - 19*g + 63. Suppose -7 = -2*n + 31. Is k(n) composite?
True
Suppose -87*y + 91*y = -3*g + 350767, -3*y + 2*g = -263071. Is y a composite number?
False
Suppose 32*i + 1964 = 36*i. Is i a composite number?
False
Let u(n) = 1. Let c(j) = 9*j**2 - 5*j + 3. Let a(d) = c(d) - 2*u(d). Let p = -54 - -49. Is a(p) a composite number?
False
Let u(h) = 326*h**2 - 39*h + 380. Is u(11) composite?
False
Suppose 51*r + 425607 = 72*r. Is r a composite number?
True
Suppose -2*n + n - 23 = -b, 0 = -n + 3*b - 27. Let a = n - -21. Suppose a*y + 469 = y. Is y a prime number?
False
Let c(l) = 4*l**3 - l + 1. Let n be c(1). Suppose -2 = -8*i + 3*i - n*s, 3*i = 3*s + 12. Suppose -i*d + 156 = -34. Is d prime?
False
Let w = 49969 - 9992. Is w a composite number?
True
Let i(q) = -q**2 - 5*q - 3. Let y be i(-4). Suppose -31 = -2*f + 4*s - 3, 4*f + 3*s = y. Suppose -4*n - f*k = -168, 4*n + 3*k - 4*k - 173 = 0. Is n prime?
True
Suppose 0 = -4*w - 5*j + 10532, w + 5*j - 4*j = 2633. Suppose -4*p + w = 3*s - 1170, -2*p + 2532 = 2*s. Is s a composite number?
True
Is 7858 + 9 + (-108)/6 prime?
False
Let t = -49699 - -75222. Is t prime?
True
Suppose 0 = -4*k + 2 + 10. Suppose k*d + 2697 = 6*d. Is d a composite number?
True
Suppose 0 = -o - 229 - 53. Let v = o - -1120. Is v composite?
True
Let s(k) = 5*k**2 - 36*k - 103. Is s(-22) composite?
False
Suppose 3*s + 2*r = -17, 0 = s - 2*r + 18 + 1. Let l be 3/s - 40/(-12). Suppose 3*q + p - 6*p = 262, -l*q - 2*p + 269 = 0. Is q composite?
False
Let p(h) = -233*h**3 + 3*h**2 - 3*h + 20. Let q be p(4). Is (q/(-5))/3 + 123/205 a composite number?
False
Let d = 113 + 158. Let p = d - -282. Is p a prime number?
False
Let r(o) = o**2 - 2. Let q be r(0). Let g(l) = -17*l**2 - 14*l**2 - 2*l - 3 + 59*l**2. Is g(q) prime?
True
Is 15/(-40) - (-116085)/120 a composite number?
False
Suppose -4*t - 16 = 0, -r + t - 186 = 4. Let u = r - -307. Is u composite?
False
Suppose 53*a + 16 = 55*a. Suppose 0 = 9*j - a*j - 3907. Is j prime?
True
Suppose 0 = 4*s - 12, s - 15 = 4*b - 0. Let u = 7 + b. Suppose -3*x - 127 = -u*x. Is x a prime number?
True
Let u(d) = 241*d - 41. Let t be u(22). Suppose 5*l - 4*z + z - 6580 = 0, -3*z - t = -4*l. Is l composite?
False
Let u(b) = b - 2. Let g be u(6). Suppose 19 = -g*q + 2227. Let p = q + -361. Is p a prime number?
True
Suppose 2*l + 2696 = 3*s - 1929, -s = 3*l - 1549. Is s*(0 - (-3)/(0 - -3)) a prime number?
True
Let w(u) = 4*u**2 - 16*u + 1. Let t be w(-14). Suppose -5*n = 3*y - t, 2*n + 201 = 3*n + y. Is n composite?
True
Let g = 64 - 64. Suppose 2*z + g*z - 4*r - 1158